arXiv subjects

András Molnár

Publications and source records attributed to András Molnár.

12 recordsLinked to original sources

arXiv2026

The local characterization of global tensor network eigenstates

We study the conditions under which Matrix Product States (MPS) or Matrix Product Operators are exact eigenvectors of an extensive local operator, such as a Hamiltonian. By suitably choosing the local operator, this covers a wide range of settings: Exact eigenstates of Hamiltonians, including scar states, exact MPS trajectories for driven quantum systems, steady states of local Lindbladians, generalized symmetries of either Hamiltonians or density matrices, and many more. Our key result is that a local, fixed-size equation---namely, how a single term in the operator acts on a block of tensors---provides a necessary and sufficient condition for exact solutions. This local characterization allows us to obtain the full space of MPS solutions to all of the aforementioned problems; in particular, we exemplify the power of our results by recovering the quantum group symmetries of the XXZ model. We also discuss applications to numerical algorithms with MPS and the generalization of our results to 2D, i.e., projected entangled pair states (PEPS).

quant-ph↗

arXiv2026

Lower Bounds on Spectral Gaps of Parent Hamiltonians via Tensor Networks

Proving spectral gaps above the ground space is a central problem in quantum many-body physics. Yet, finding lower bounds on the gap is notoriously difficult. We revisit the martingale method, originally developed by Fannes, Nachtergaele, and Werner [Fannes '92, Nachtergaele '96] to prove the existence of spectral gaps of parent Hamiltonians of Matrix Product States (MPS), and provide improvements to the different steps of the method. Most importantly, we devise a new technique which allows to compute the key quantity in the martingale method -- the overlap of local ground spaces -- exactly and efficiently. This enables a clear improvement of the method, allowing it to outperform other existing techniques to lower bound gaps, which we demonstrate by benchmarking on several models. Remarkably, our -- numerically motivated -- approach at the same time also yields a significantly simplified proof of the fact that parent Hamiltonians of any (well-behaved) MPS are always gapped.

quant-ph↗

arXiv2025

Direct Equivalence between Dynamics of Quantum Walks and Coupled Classical Oscillators

Continuous time quantum walks on exponentially large, sparse graphs form a powerful paradigm for quantum computing: On the one hand, they can be efficiently simulated on a quantum computer. On the other hand, they are themselves BQP-complete, providing an alternative framework for thinking about quantum computing -- a perspective which has indeed led to a number of novel algorithms and oracle problems. Recently, simulating the dynamics of a system of harmonic oscillators (that is, masses and springs) was set forth as another BQP-complete problem defined on exponentially large, sparse graphs. In this work, we establish a direct and transparent mapping between these two classes of problems. As compared to linking the two classes of problems via their BQP-completeness, our mapping has several desirable features: It is transparent, in that it respects the structure of the problem, including the geometry of the underlying graph, initialization, read-out, and efficient oracle access, resulting in low overhead in terms of both space and time; it allows to map also between restricted subsets of instances of both problems which are not BQP-complete; it provides a recipe to directly translate any quantum algorithm designed in the quantum walk paradigm to harmonic oscillators (and vice versa); and finally, it provides an alternative, transparent way to prove BQP-completeness of the harmonic oscillator problem by mapping it to BQP-completeness construction for the quantum walk problem (or vice versa).

quant-ph↗

arXiv2025

Two-Dimensional Bialgebras and Quantum Groups: Algebraic Structures and Tensor Network Realizations

We introduce a framework to define coalgebra and bialgebra structures on two-dimensional (2D) square lattices, extending the algebraic theory of Hopf algebras and quantum groups beyond the one-dimensional (1D) setting. Our construction is based on defining 2D coproducts through horizontal and vertical maps that satisfy compatibility and associativity conditions, enabling the consistent growth of vector spaces over lattice sites. We present several examples of 2D bialgebras, including group-like and Lie algebra-inspired constructions and a quasi-1D coproduct instance that is applicable to Taft-Hopf algebras and to quantum groups. The approach is further applied to the quantum group $U_q[su(2)]$, for which we construct 2D generalizations of its generators, analyze $q$-deformed singlet states, and derive a 2D R-matrix satisfying an intertwining relation in the semiclassical limit. Additionally, we show how tensor network states, particularly PEPS, naturally induce 2D coalgebra structures when supplemented with appropriate boundary conditions. Our results establish a local and algebraically consistent method to embed quantum group symmetries into higher-dimensional lattice systems, potentially connecting to the emerging theory of fusion 2-categories and categorical symmetries in quantum many-body physics.

quant-ph↗

arXiv2025

On two-dimensional tensor network group symmetries

We introduce two-dimensional tensor network representations of finite groups carrying a 4-cocycle index. We characterize the associated gapped (2+1)D phases that emerge when these anomalous symmetries act on tensor network ground states. We further develop related tensor network unitaries that generate symmetric states representing (3+1)D symmetry protected topological phases. Although aspects of these constructions have been previously addressed, our contribution unifies them within a single tensor network framework and emphasizes the explicit formulation of local tensor equations encoding global consistency conditions.

quant-ph↗

arXiv2025

MPS Stability and the Intersection Property

We identify a property of the local tensors of matrix product states (MPS) that guarantees that their parent Hamiltonians satisfy the intersection property. The intersection property ensures that the ground space consists of MPS, with degeneracy bounded by the square of the bond dimension. The new local property, dubbed stability, generalizes (block) injectivity and is satisfied by the MPS tensors that construct the W state, domain wall superposition states, and their generalizations.

quant-ph↗

arXiv2025

Internal structure of gauge-invariant Projected Entangled Pair States

Projected entangled pair states (PEPS) are very useful in the description of strongly correlated systems, partly because they allow encoding symmetries, either global or local (gauge), naturally. In recent years, PEPS with local symmetries have increasingly been used in the study of non-perturbative regimes of lattice gauge theories, most prominently as a way to construct variational ansatz states depending only on a small number of parameters and yet capturing the relevant physical properties. For the case of one-dimensional PEPS (Matrix Product States - MPS) a bidirectional connection was established between the internal structure of the tensor network, i.e. the mathematical properties of the constituent tensors, and the symmetry. In higher dimensions this has only been done for global symmetries, where in the local (gauge) case it is known only how to construct gauge-invariant states, but not what the symmetry implies on the internal structure of the PEPS. In the present work we complete this missing piece and study the internal structure of projected entangled pair states with a gauge symmetry. The PEPS we consider consist of matter and gauge field tensors placed on the vertices and edges, respectively, of arbitrary graphs.

hep-lat↗

arXiv2023

Classifying phases protected by matrix product operator symmetries using matrix product states

We classify the different ways in which matrix product states (MPSs) can stay invariant under the action of matrix product operator (MPO) symmetries. This is achieved through a local characterization of how the MPSs, that generate a ground space, remain invariant under a global MPO symmetry. This characterization yields a set of quantities satisfying the coupled pentagon equations, associated with a module category over the fusion category that describes the MPO symmetry. Equivalence classes of these quantities provide complete invariants for an MPO symmetry protected phase: they are robust under continuous deformations of the MPS tensor, and two phases with the same equivalence class can be connected by a symmetric gapped path. Our techniques match and extend the known renormalization fixed point classifications and facilitate the numerical study of these systems. For MPO symmetries described by a group, we recover the symmetry protected topological order classification for unique and degenerate ground states. Moreover, we study the interplay between time reversal symmetry and an MPO symmetry and we also provide examples of our classification, together with explicit constructions based on groups. Finally, we elaborate on the connection between our setup and gapped boundaries of two-dimensional topological systems, where MPO symmetries also play a key role.

cond-mat.str-el↗

arXiv2022

Matrix Product Operator Algebras II: Phases of Matter for 1D Mixed States

The classification of topological phases of matter is fundamental to understand and characterize the properties of quantum materials. In this paper we study phases of matter in one-dimensional open quantum systems. We define two mixed states to be in the same phase if both states can be transformed into the other by a shallow circuit of local quantum channels. We aim to understand the phase diagram of matrix product density operators that are renormalization fixed points. These states arise, for example, as boundaries of two-dimensional topologically ordered states. We first construct families of such states based on C*-weak Hopf algebras, the algebras whose representations form a fusion category. More concretely, we provide explicit local fine-graining and local coarse-graining quantum channels for the renormalization procedure of these states. Finally, we prove that those arising from C*-Hopf algebras are in the trivial phase.

quant-ph↗

arXiv2022

Learning the parameters of a differential equation from its trajectory via the adjoint equation

The paper contributes to strengthening the relation between machine learning and the theory of differential equations. In this context, the inverse problem of fitting the parameters, and the initial condition of a differential equation to some measurements constitutes a key issue. The paper explores an abstraction that can be used to construct a family of loss functions with the aim of fitting the solution of an initial value problem to a set of discrete or continuous measurements. It is shown, that an extension of the adjoint equation can be used to derive the gradient of the loss function as a continuous analogue of backpropagation in machine learning. Numerical evidence is presented that under reasonably controlled circumstances the gradients obtained this way can be used in a gradient descent to fit the solution of an initial value problem to a set of continuous noisy measurements, and a set of discrete noisy measurements that are recorded at uncertain times.

cs.LG↗

arXiv2016

Rapid adiabatic preparation of injective PEPS and Gibbs states

We propose a quantum algorithm for many-body state preparation. It is especially suited for injective PEPS and thermal states of local commuting Hamiltonians on a lattice. We show that for a uniform gap and sufficiently smooth paths, an adiabatic runtime and circuit depth of $O(\operatorname{polylog}N)$ can be achieved for $O(N)$ spins. This is an almost exponential improvement over previous bounds. The total number of elementary gates scales as $O(N\operatorname{polylog}N)$. This is also faster than the best known upper bound of $O(N^2)$ on the mixing times of Monte Carlo Markov chain algorithms for sampling classical systems in thermal equilibrium.

quant-ph↗

arXiv2014

Approximating Gibbs states of local Hamiltonians efficiently with PEPS

We analyze the error of approximating Gibbs states of local quantum spin Hamiltonians on lattices with Projected Entangled Pair States (PEPS) as a function of the bond dimension ($D$), temperature ($β^{-1}$), and system size ($N$). First, we introduce a compression method in which the bond dimension scales as $D=e^{O(\log^2(N/ε))}$ if $β<O(\log (N))$. Second, building on the work of Hastings [Phys. Rev. B 73, 085115 (2006)], we derive a polynomial scaling relation, $D=\left(N/ε\right)^{O(β)}$. This implies that the manifold of PEPS forms an efficient representation of Gibbs states of local quantum Hamiltonians. From those bounds it also follows that ground states can be approximated with $D=N^{O(\log(N))}$ whenever the density of states only grows polynomially in the system size. All results hold for any spatial dimension of the lattice.

quant-ph↗