Product Hilbert Space Research Articles

Cluster State as a Noninvertible Symmetry-Protected Topological Phase.

We show that the standard 1+1D Z_{2}×Z_{2} cluster model has a noninvertible global symmetry, described by the fusion category Rep(D_{8}). Therefore, the cluster state is not only a Z_{2}×Z_{2} symmetry protected topological (SPT) phase, but also a noninvertible SPT phase. We further find two new commuting Pauli Hamiltonians for the other two Rep(D_{8}) SPT phases on a tensor product Hilbert space of qubits, matching the classification in field theory and mathematics. We identify the edge modes and the local projective algebras at the interfaces between these noninvertible SPT phases. Finally, we show that there does not exist a symmetric entangler that maps between these distinct SPT states.

Non-invertible symmetries and LSM-type constraints on a tensor product Hilbert space

We discuss the exact non-invertible Kramers-Wannier symmetry of 1+1d lattice models on a tensor product Hilbert space of qubits. This symmetry is associated with a topological defect and a conserved operator, and the latter can be presented as a matrix product operator. Importantly, unlike its continuum counterpart, the symmetry algebra involves lattice translations. Consequently, it is not described by a fusion category. In the presence of this defect, the symmetry algebra involving parity/time-reversal is realized projectively, which is reminiscent of an anomaly. Different Hamiltonians with the same lattice non-invertible symmetry can flow in their continuum limits to infinitely many different fusion categories (with different Frobenius-Schur indicators), including, as a special case, the Ising CFT. The non-invertible symmetry leads to a constraint similar to that of Lieb-Schultz-Mattis, implying that the system cannot have a unique gapped ground state. It is either in a gapless phase or in a gapped phase with three (or a multiple of three) ground states, associated with the spontaneous breaking of the lattice non-invertible symmetry.

Tracing quantum correlations back to collective interferences

In this paper, we investigate the possibility of explaining nonclassical correlations between two quantum systems in terms of quantum interferences between collective states of the two systems. We achieve this by mapping the relations between different measurement contexts in the product Hilbert space of a pair of two-level systems onto an analogous sequence of interferences between paths in a single-particle interferometer. The relations between different measurement outcomes are then traced to the distribution of probability currents in the interferometer, where paradoxical relations between the outcomes are identified with currents connecting two states that are orthogonal and should therefore exclude each other. We show that the relation between probability currents and correlations can be represented by continuous conditional (quasi)probability currents through the interferometer, given by weak values; the violation of the noncontextual assumption is expressed by negative conditional currents in some of the paths. Since negative conditional currents correspond to the assignment of negative conditional probabilities to measurements results in different measurement contexts, the necessity of such negative probability currents represents a failure of noncontextual local realism. Our results help to explain the meaning of nonlocal correlations in quantum mechanics, and support Feynman’s claim that interference is the origin of all quantum phenomena.

Weak and Strong Convergence of Split Douglas-Rachford Algorithms for Monotone Inclusions

We are concerned in this paper with the convergence analysis of the primal-dual splitting (PDS) and the split Douglas-Rachford (SDR) algorithms for monotone inclusions by using an operator-oriented approach. We shall show that both PDS and SDR algorithms can be driven by a (firmly) nonexpansive mapping in a product Hilbert space. We are then able to apply the Krasnoselskii-Mann and Halpern fixed point algorithms to PDS and SDR to get weakly and strongly convergent algorithms for finding solutions of the primal and dual monotone inclusions. Moreover, an additional projection technique is used to derive strong convergence of a modified SDR algorithm.

Weak Pullback Mean Attractor for \(p\)-Laplacian Selkov Lattice Systems with Locally Lipschitz Delay Diffusion Terms

This paper focuses on the dynamics of a class of nonlinear, reversible, random \(p\)-Laplace Selkov delay lattice systems defined by local lipschitz noise-driven \(\mathbb{Z}^d\). We first establish the global fitness of the system using the local Lipschitz delayed diffusion term. Under certain conditions, we demonstrate the existence and uniqueness of the mean stochastic dynamical system in relation to the stochastic equation in the product Hilbert space \(L^2(\Omega, \mathcal{F}_\tau; \ell^2\times\ell^2） \times L^2 （\Omega， \mathcal{F}_\tau; L^2((-\rho, 0), \ell^2\times\ell^2) \). The average stochastic dynamical system theory proposed by Wang (J.Equ., 31:2177-2204, 2019) is used to deal with the difficulties caused by nonlinear noise. Even if the discrete \(p\)-Laplace is replaced by the usual discrete Laplace, the results of this paper are new.

Mean attractors of stochastic delay lattice [formula omitted]-Laplacian equations driven by superlinear noise in high-order product Bochner spaces

This paper is concerned with the existence and uniqueness of mean random attractors of a class non-autonomous stochastic delay p-Laplacian lattice systems defined on a high-dimensional integer set Zd driven by a family infinite-dimensional superlinear noise. We first establish the global-in-time existence and uniqueness of the solutions in C([τ,∞),L2k(Ω,ℓ2(Zd)))∩Lq(Ω,Llocq((τ,∞),ℓq(Zd))) for any k⩾1 when the draft term has an arbitrary polynomial growth rate q>2 and the coefficient of the noise admits a superlinear growth order q̃∈[2,q). We then show that the mean random dynamical system generated by the solution operators has a unique weakly compact and weakly attracting mean random attractor in the high-order product Bochner space L2k(Ω,F;ℓ2(Zd))×L2k(Ω,F;L2k((−ϱ,0),ℓ2(Zd))), where ϱ is the time delay parameter. The dissipative property of the draft term is employed to carefully controlling the superlinear growth diffusion term. When k=1, our results are new even in the product Hilbert space L2(Ω,F;ℓ2(Zd))×L2(Ω,F;L2((−ϱ,0),ℓ2(Zd))). This work can be regard as a further study of mean attractors of stochastic p-Laplacian lattice systems in the works of Wang and Wang (2020) and Chen et al. (2023).

Weak mean attractors of stochastic p-Laplacian delay lattice systems driven by nonlinear noise

This paper deals with the existence and uniqueness of weak pullback mean random attractors for a class non-autonomous stochastic p-Laplacian delay lattice systems with local Lipschitz nonlinear terms driven by nonlinear noise defined on the entire integer set Z. We first establish the global well-posedness to non-autonomous stochastic p-Laplacian delay lattice system in C([τ,∞),L2(Ω,ℓ2)) when the nonlinear diffusion terms and drift terms are locally Lipschitz continuous functions, based on the uniform estimates of approximate solutions in a finite time-interval as well as an appropriate stopping time. We then define a mean random dynamical system via the solution operators and prove the existence and uniqueness of weak pullback mean random attractors in product Hilbert space L2(Ω,F;ℓ2)×L2(Ω,F;L2((−ρ,0),ℓ2)) under the condition that the constant λ in the system is relatively large.

Multiplicative topological phases

Symmetry-protected topological phases of matter have challenged our understanding of condensed matter systems and harbour exotic phenomena promising to address major technological challenges. Considerable understanding of these phases of matter has been gained recently by considering additional protecting symmetries, different types of quasiparticles, and systems out of equilibrium. Here, we show that symmetries could be enforced not just on full Hamiltonians, but also on their components. We construct a large class of previously unidentified multiplicative topological phases of matter characterized by tensor product Hilbert spaces similar to the Fock space of multiple particles. To demonstrate our methods, we introduce multiplicative topological phases of matter based on the foundational Hopf and Chern insulator phases, the multiplicative Hopf and Chern insulators (MHI and MCI), respectively. The MHI shows the distinctive properties of the parent phases as well as non-trivial topology of a child phase. We also comment on a similar structure in topological superconductors as these multiplicative phases are protected in part by particle-hole symmetry. The MCI phase realizes topologically protected gapless states that do not extend from the valence bands to the conduction bands for open boundary conditions, which respects to the symmetries protecting topological phase. The band connectivity discovered in MCI could serve as a blueprint for potential multiplicative topology with exotic properties.

A product space reformulation with reduced dimension for splitting algorithms

In this paper we propose a product space reformulation to transform monotone inclusions described by finitely many operators on a Hilbert space into equivalent two-operator problems. Our approach relies on Pierra’s classical reformulation with a different decomposition, which results in a reduction of the dimension of the outcoming product Hilbert space. We discuss the case of not necessarily convex feasibility and best approximation problems. By applying existing splitting methods to the proposed reformulation we obtain new parallel variants of them with a reduction in the number of variables. The convergence of the new algorithms is straightforwardly derived with no further assumptions. The computational advantage is illustrated through some numerical experiments.

Embedding classical dynamics in a quantum computer

We develop a framework for simulating measure-preserving, ergodic dynamical systems on a quantum computer. Our approach provides an operator-theoretic representation of classical dynamics by combining ergodic theory with quantum information science. The resulting quantum embedding of classical dynamics (QECD) enables efficient simulation of spaces of classical observables with exponentially large dimension using a quadratic number of quantum gates. The QECD framework is based on a quantum feature map that we introduce for representing classical states by density operators on a reproducing kernel Hilbert space, $\mathcal{H}$. Furthermore, an embedding of classical observables into self-adjoint operators on $\mathcal{H}$ is established, such that quantum mechanical expectation values are consistent with pointwise function evaluation. In this scheme, quantum states and observables evolve unitarily under the lifted action of Koopman evolution operators of the classical system. Moreover, by virtue of the reproducing property of $\mathcal{H}$, the quantum system is pointwise-consistent with the underlying classical dynamics. To achieve a quantum computational advantage, we project the state of the quantum system onto a finite-rank density operator on a ${2}^{n}$-dimensional tensor product Hilbert space associated with $n$ qubits. By employing discrete Fourier-Walsh transforms of spectral functions, the evolution operator of the finite-dimensional quantum system is factorized into tensor product form, enabling implementation through an $n$-channel quantum circuit of size $O(n)$ and no interchannel communication. Furthermore, the circuit features a state preparation stage, also of size $O(n)$, and a quantum Fourier transform stage of size $O({n}^{2})$, which makes predictions of observables possible by measurement in the standard computational basis. We prove theoretical convergence results for these predictions in the large-qubit limit, $n\ensuremath{\rightarrow}\ensuremath{\infty}$. In light of these properties, QECD provides a consistent simulator of the evolution of classical observables, realized through projective quantum measurement, which is able to simulate spaces of classical observables of dimension ${2}^{n}$ using circuits of size $O({n}^{2})$. We demonstrate the consistency of the scheme in prototypical dynamical systems involving periodic and quasiperiodic oscillators on tori. These examples include simulated quantum circuit experiments in Qiskit Aer, as well as actual experiments on the IBM Quantum System One.

Continuous frames in tensor product Hilbert spaces, localization operators and density operators

Continuous frames and tensor products are important topics in theoretical physics. This paper combines those concepts. We derive fundamental properties of continuous frames for tensor product of Hilbert spaces. This includes, for example, the consistency property, i.e. preservation of the frame property under the tensor product, and the description of the canonical dual tensors by those on the Hilbert space level. We show the full characterization of all dual systems for a given continuous frame, a result interesting by itself, and apply this to dual tensor frames. Furthermore, we discuss the existence on non-simple tensor product (dual) frames. Continuous frame multipliers and their Schatten class properties are considered in the context of tensor products. In particular, we give sufficient conditions for obtaining partial trace multipliers of the same form, which is illustrated with examples related to short-time Fourier transform and wavelet localization operators. As an application, we offer an interpretation of a class of tensor product continuous frame multipliers as density operators for bipartite quantum states, and show how their structure can be restricted to the corresponding partial traces.

One-dimensional lattice models for the boundary of two-dimensional Majorana fermion symmetry-protected topological phases: Kramers-Wannier duality as an exact Z2 symmetry

It is well known that symmetry-protected topological (SPT) phases host nontrivial boundaries that cannot be mimicked in a lower-dimensional system with a conventional realization of symmetry. However, for SPT phases of bosons (fermions) within the cohomology (supercohomology) classification the boundary can be recreated without the bulk at the cost of a non-onsite-symmetry action. This raises the following question: Can one also mimic the boundaries of SPT phases which lie outside the (super)cohomology classification? In this paper, we study this question in the context of $(2+1)$-dimensional $[(2+1)\mathrm{D}]$ fermion SPTs. We focus on the root SPT phase for the symmetry group $G={Z}_{2}\ifmmode\times\else\texttimes\fi{}{Z}_{2}^{f}$. Starting with an exactly solvable model for the bulk of this phase constructed by Tarantino and Fidkowski, we derive an effective one-dimensional (1D) lattice model for the boundary. Crucially, the Hilbert space of this 1D model does not have a local tensor product structure, but rather is obtained by placing a local constraint on a local tensor product Hilbert space. We derive the action of the ${Z}_{2}$ symmetry on this Hilbert space and find a simple three-site Hamiltonian that respects this symmetry. We study this Hamiltonian numerically using exact diagonalization and DMRG and find strong evidence that it realizes an Ising conformal field theory where the ${Z}_{2}$ symmetry acts as the Kramers-Wannier duality; this is the expected stable gapless boundary state of the present SPT. A simple modification of our construction realizes the boundary of the $(2+1)\mathrm{D}$ topological superconductor protected by time-reversal symmetry $\mathcal{T}$ with ${\mathcal{T}}^{2}={(\ensuremath{-}1)}^{\mathcal{F}}$.

A characterization of Riesz bases and pair of dual frames in tensor product of Hilbert spaces

A characterization of Riesz bases and pair of dual frames in tensor product of Hilbert spaces

On 2-inner product spaces and reproducing property

This paper is devoted to study the reproducing property on 2-inner product Hilbert spaces. We focus on a new structure to produce reproducing kernel Hilbert and Banach spaces. According to multi variable computing, this structures play the key role in probability, mathematical finance and machine learning.

Notes on Naimark’s dilation theorem

After a short review of the main properties of unsharp observables we provide examples of commutative unsharp observables obtained as the projection of sharp observables. In particular, we consider a family of PVMs defined on the tensor product Hilbert space which include the one introduced by Ozawa in his modification of the von Neumann position measurement model and show that their projections onto are commutative POVMs. Then, we make some observations on the concept of Naimark dilation and its connections with the integral representation of commutative POVMs. Finally, we introduce a partial order relation in the set of Naimark dilations, show that there is a minimal element and that it is unique. Minimality is a consequence of the partial ordered structure and coincides with the usual definition of minimal Naimark dilation. In passing, we use Naimark’s theorem in order to prove some well known properties of positive operator valued measures.

Quenched vs Annealed: Glassiness from SK to SYK

We show that any SYK-like model with finite-body interactions among \textit{local} degrees of freedom, e.g., bosons or spins, has a fundamental difference from the standard fermionic model: the former fails to be described by an annealed free energy at low temperature. In this respect, such models more closely resemble spin glasses. We demonstrate this by two means: first, a general theorem proving that the annealed free energy is divergent at low temperature in any model with a tensor product Hilbert space; and second, a replica treatment of two prominent examples which exhibit phase transitions from an "annealed" phase to a "non-annealed" phase as a function of temperature. We further show that this effect appears only at $O(N)$'th order in a $1/N$ expansion, even though lower-order terms misleadingly seem to converge. Our results prove that the non-bosonic nature of the particles in SYK is an essential ingredient for its physics, highlight connections between local models and spin glasses, and raise important questions as to the role of fermions and/or glassiness in holography.

Identical Quantum Particles as Distinguishable Objects

According to classical physics particles are basic building blocks of the world. These classical particles are distinguishable objects, individuated by unique combinations of physical properties. By contrast, in quantum mechanics the received view is that particles of the same kind (“identical particles”) are physically indistinguishable from each other and lack identity. This doctrine rests on the quantum mechanical (anti)symmetrization postulates together with the “factorist” assumption that each single particle is represented in exactly one factor space of the tensor product Hilbert space of a many-particle system. Even though standard in theoretical physics and the philosophy of physics, the assumption of factorism and the ensuing indistinguishability of particles are problematic. Particle indistinguishability is irreconcilable with the everyday meaning of “particle”, and also with how this term is used in the practice of physics. Moreover, it is a consequence of the standard view that identical quantum particles remain indistinguishable even in the classical limit, which makes a smooth transition to the classical particle concept impossible. Lubberdink (1998; 2009) and Dieks and Lubberdink (2011) have proposed an alternative conception of quantum particles that does not rely on factorism and avoids these difficulties. We further explain and discuss this alternative framework here. One of its key consequences is that particles in quantum theory are not fundamental but emergent; another that once they have emerged, quantum particles are always physically distinguishable and thus possess a physically grounded identity.

Exponential tractability of linear weighted tensor product problems in the worst-case setting for arbitrary linear functionals

We study the approximation of compact linear operators defined over certain weighted tensor product Hilbert spaces. The information complexity is defined as the minimal number of arbitrary linear functionals needed to obtain an ε-approximation for the d-variate problem which is fully determined in terms of the weights and univariate singular values. Exponential tractability means that the information complexity is bounded by a certain function that depends polynomially on d and logarithmically on ε−1. The corresponding unweighted problem was studied in Hickernell et al. (2020) with many negative results for exponential tractability. The product weights studied in the present paper change the situation. Depending on the form of polynomial dependence on d and logarithmic dependence on ε−1, we study exponential strong polynomial, exponential polynomial, exponential quasi-polynomial, and exponential (s,t)-weak tractability with max(s,t)≥1. For all these notions of exponential tractability, we establish necessary and sufficient conditions on weights and univariate singular values for which it is indeed possible to achieve the corresponding notion of exponential tractability. The case of exponential (s,t)-weak tractability with max(s,t)<1 is left for future study. The paper uses some general results obtained in Hickernell et al. (2020) and Kritzer and Woźniakowski (2019).

Existence and uniqueness of positive solution for non-variational elliptic systems

We prove the existence of solutions for strongly coupled elliptic systems in non-variational form involving second order uniformly elliptic linear operators in Ω. We also derive classes of systems having a multiplicity of solutions and the uniqueness of a solution. For this purpose, we use the Galerkin scheme in the product of Hilbert spaces. Using the comparison principle for systems of Lane-Emden we compare the obtained solutions.

Passage through exceptional point: case study

The description of unitary evolution using non-Hermitian but ‘hermitizable’ Hamiltonians H is feasible via an ad hoc metric Θ = Θ ( H ) and a (non-unique) amendment 〈 ψ 1 | ψ 2 〉 → 〈 ψ 1 | Θ | ψ 2 〉 of the inner product in Hilbert space. Via a proper fine-tuning of Θ ( H ) this opens the possibility of reaching the boundaries of stability (i.e. exceptional points) in many quantum systems sampled here by the fairly realistic Bose–Hubbard (BH) and discrete anharmonic oscillator (AO) models. In such a setting, it is conjectured that the EP singularity can play the role of a quantum phase-transition interface between different dynamical regimes. Three alternative ‘AO ↔ BH’ implementations of such an EP-mediated dynamical transmutation scenario are proposed and shown, at an arbitrary finite Hilbert-space dimension N , exact and non-numerical.