Finite-dimensional Hilbert Space Research Articles

On a Generalized Central Limit Theorem and Large Deviations for Homogeneous Open Quantum Walks

We consider homogeneous open quantum walks on a lattice with finite dimensional local Hilbert space and we study in particular the position process of the quantum trajectories of the walk. We prove that the properly rescaled position process asymptotically approaches a mixture of Gaussian measures. We can generalize the existing central limit type results and give more explicit expressions for the involved asymptotic quantities, dropping any additional condition on the walk. We use deformation and spectral techniques, together with reducibility properties of the local channel associated with the open quantum walk. Further, we can provide a large deviation principle in the case of a fast recurrent local channel and at least lower and upper bounds in the general case.

Driving quantum systems with periodic conditional measurements

We investigate the effect of conditional null measurements on a quantum system and find a rich variety of behaviors. Specifically, quantum dynamics with a time independent $H$ in a finite dimensional Hilbert space are considered with repeated strong null measurements of a specified state. We discuss four generic behaviors that emerge in these monitored systems. The first arises in systems without symmetry, along with their associated degeneracies in the energy spectrum, and hence in the absence of dark states as well. In this case, a unique final state can be found which is determined by the largest eigenvalue of the survival operator, the non-unitary operator encoding both the unitary evolution between measurements and the measurement itself. For a three-level system, this is similar to the well known shelving effect. Secondly, for systems with built-in symmetry and correspondingly a degenerate energy spectrum, the null measurements dynamically select the degenerate energy levels, while the non-degenerate levels are effectively wiped out. Thirdly, in the absence of dark states, and for specific choices of parameters, two or more eigenvalues of the survival operator match in magnitude, and this leads to an oscillatory behavior controlled by the measurement rate and not solely by the energy levels. Finally, when the control parameters are tuned, such that the eigenvalues of the survival operator all coalesce to zero, one has exceptional points that corresponds to situations that violate the null measurement condition, making the conditional measurement process impossible.

Dimension towers of SICS: II. Some constructions

A SIC is a maximal equiangular tight frame in a finite dimensional Hilbert space. Given a SIC in dimension d, there is good evidence that there always exists an aligned SIC in dimension d(d − 2), having predictable symmetries and smaller equiangular tight frames embedded in them. We provide a recipe for how to calculate sets of vectors in dimension d(d − 2) that share these properties. They consist of maximally entangled vectors in certain subspaces defined by the numbers entering the d dimensional SIC. However, the construction contains free parameters and we have not proven that they can always be chosen so that one of these sets of vectors is a SIC. We give some worked examples that, we hope, may suggest to the reader how our construction can be improved. For simplicity we restrict ourselves to the case of odd dimensions.

A representation of compact C-normal operators

Let C be a conjugation on a complex separable Hilbert space H. A bounded linear operator T is said to be C-normal if . In this paper, first, we give a representation of C-normal operators on finite dimensional Hilbert space and later extend it to compact C-normal operators on infinite-dimensional separable Hilbert spaces. In the end, we discuss the eigenvalue problem for C-normal operators and show that every compact C-normal operator has a solution for the eigenvalue problem.

Learning from non-random data in Hilbert spaces: an optimal recovery perspective

The notion of generalization in classical Statistical Learning is often attached to the postulate that data points are independent and identically distributed (IID) random variables. While relevant in many applications, this postulate may not hold in general, encouraging the development of learning frameworks that are robust to non-IID data. In this work, we consider the regression problem from an Optimal Recovery perspective. Relying on a model assumption comparable to choosing a hypothesis class, a learner aims at minimizing the worst-case error, without recourse to any probabilistic assumption on the data. We first develop a semidefinite program for calculating the worst-case error of any recovery map in finite-dimensional Hilbert spaces. Then, for any Hilbert space, we show that Optimal Recovery provides a formula which is user-friendly from an algorithmic point-of-view, as long as the hypothesis class is linear. Interestingly, this formula coincides with kernel ridgeless regression in some cases, proving that minimizing the average error and worst-case error can yield the same solution. We provide numerical experiments in support of our theoretical findings.

Ungappable edge theories with finite-dimensional Hilbert spaces

We construct a new class of edge theories for a family of fermionic Abelian topological phases with $K$-matrices of the form $K = \begin{pmatrix} k_1 & 0 \\ 0 & - k_2 \end{pmatrix}$, where $k_1, k_2 > 0$ are odd integers. Our edge theories are notable for two reasons: (i) they have finite dimensional Hilbert spaces (for finite sized systems) and (ii) depending on the values of $k_1, k_2$, some of the edge theories describe boundaries that cannot be gapped by any local interaction. The simplest example of such an ungappable boundary occurs for $(k_1, k_2) = (1, 3)$, which is realized by the $\nu = 2/3$ FQH state. We derive our edge theories by starting with the standard chiral boson edge theory, consisting of two counterpropagating chiral boson modes, and then introducing an array of pointlike impurity scatterers. We solve this impurity model exactly in the limit of infinite impurity scattering, and we show that the energy spectrum consists of a gapped phonon spectrum together with a ground state degeneracy that scales exponentially with the number of impurities. This ground state subspace forms the Hilbert space for our edge theory. We believe that similar edge theories can be constructed for any Abelian topological phase with vanishing thermal Hall coefficient, $\kappa_H = 0$.

Suspension spectra of matrix algebras, the rank filtration, and rational noncommutative CW-spectra

In a companion paper (Arone et al. in Noncommutative CW-spectra as enriched presheaves on matrix algebras, arXiv:2101.09775, 2021) we introduced the stable infty -category of noncommutative CW-spectra, which we denoted mathtt {NSp}. Let {mathcal {M}} denote the full spectrally enriched subcategory of mathtt {NSp} whose objects are the non-commutative suspension spectra of matrix algebras. In Arone et al. (2021) we proved that mathtt {NSp} is equivalent to the infty -category of spectral presheaves on {mathcal {M}}. In this paper we investigate the structure of {mathcal {M}}, and derive some consequences regarding the structure of mathtt {NSp}. To begin with, we introduce a rank filtration of {mathcal {M}}. We show that the mapping spectra of {mathcal {M}} map naturally to the connective K-theory spectrum ku, and that the rank filtration of {mathcal {M}} is a lift of the classical rank filtration of ku. We describe the subquotients of the rank filtration in terms of spaces of direct-sum decompositions which also arose in the study of K-theory and of Weiss’s orthogonal calculus. We prove that the rank filtration stabilizes rationally after the first stage. Using this we give an explicit model of the rationalization of mathtt {NSp} as presheaves of rational spectra on the category of finite-dimensional Hilbert spaces and unitary transformations up to scaling. Our results also have consequences for the p-localization and the chromatic localization of {mathcal {M}}.

Vanishing Hall conductance for commuting Hamiltonians

We consider the process of flux insertion for ground states of almost local commuting projector Hamiltonians in two spatial dimensions. In the case of finite-dimensional local Hilbert spaces, we prove that this process cannot pump any charge, and we conclude that the Hall conductance must vanish.

Quantum Systems Simulatability Through Classical Networks

We have shown that quantum systems on finite-dimensional Hilbert spaces are equivalent under local transformations. Using these transformations give rise to a gauge group that connects the hamiltonian operators associated with each quantum system. Different quantum systems are connected in such way that studying one of them allows to understand the other. This result can be applied to the field of simulation of quantum systems, in order to mimic more complicated quantum systems from another simulatable quantum system. Given that there is a bridge that allows to simulate a particular quantum system on this kind of Hilbert spaces using classical circuits we will provide a general scenario to extend this bridge to simulate the time evolution, via Schr\"odinger equation, of any of these quantum system using classical circuits. This classical systems can be implemented and controlled more easily in the laboratory than the quantum systems.

Uniform probability distribution over all density matrices

Let mathscr {H} be a finite-dimensional complex Hilbert space and mathscr {D} the set of density matrices on mathscr {H}, i.e., the positive operators with trace 1. Our goal in this note is to identify a probability measure u on mathscr {D} that can be regarded as the uniform distribution over mathscr {D}. We propose a measure on mathscr {D}, argue that it can be so regarded, discuss its properties, and compute the joint distribution of the eigenvalues of a random density matrix distributed according to this measure.

On the similarity of complex symmetric operators to perturbations of restrictions of normal operators

In this paper we consider a problem of the similarity of complex symmetric operators to perturbations of restrictions of normal operators. For a subclass of cyclic complex symmetric operators in a finite-dimensional Hilbert space we prove the similarity to rank-one perturbations of restrictions of normal operators. The main tools are a truncated moment problem in $\mathbb{C}$, and some objects similar to objects from the theory of spectral problems for Jacobi matrices.

Dictionary Learning of Symmetric Positive Definite Data Based on Riemannian Manifold Tangent Spaces and Local Homeomorphism

Symmetric Positive Definite (SPD) data are increasingly prevalent in dictionary learning recently. SPD data are the typical non-Euclidean data and cannot constitute a Euclidean space. Therefore, many dictionary learning algorithms cannot be directly adopted on SPD data. Reproducing Kernel Hilbert Spaces (RKHS) is now commonly used to deal with this problem. However, RKHS is an infinite-dimensional Hilbert space, rather than a Euclidean space, resulting in the inability of the dictionary learning to be directly used on SPD data. In this paper, we propose a novel dictionary learning algorithm for SPD data, which is based on the Riemannian Manifold Tangent Space (RMTS). Since RMTS is based on a finite-dimensional Hilbert space, i.e., Euclidean space, most machine learning algorithms developed on Euclidean space can be directly applied to RMTS. The introduction of RMTS provides a better mathematical platform for machine learning of non-Euclidean data. The proposed RMTS method first selects a point on a Riemannian manifold as an anchor point. It transforms the other points on the Riemannian manifold into tangent vectors of the geodesics between these points and the anchor point, with the tangent vectors at the anchor point. We set the length of the tangent vector equal to the length of the geodesic. As a result, such tangent vectors have an explicit geometric meaning, such as direction information, while the RKHS method may cause some geometric meaning to be lost in the original data during the mapping process. In addition, the proposed algorithm adds a regular term of local homomorphism between SPD data and its RMTS dictionary coding coefficients, so that the similarity of SPD data and its RMTS dictionary coding coefficients are as close as possible. Experimental results on four public datasets demonstrate that the proposed algorithm significantly outperforms five state-of-the-art algorithms. This work opens a new pathway towards SPD data dictionary learning methods.

On the complexity of equational decision problems for finite height complemented and orthocomplemented modular lattices

We study the computational complexity of the satisfiability problem and the complement of the equivalence problem for complemented (orthocomplemented) modular lattices L and classes thereof. Concerning a simple L of finite height, mathcal {NP}-hardness is shown for both problems. Moreover, both problems are shown to be polynomial-time equivalent to the same feasibility problem over the division ring D whenever L is the subspace lattice of a D-vector space of finite dimension at least 3. Considering the class of all finite dimensional Hilbert spaces, the equivalence problem for the class of subspace ortholattices is shown to be polynomial-time equivalent to that for the class of endomorphism *-rings with pseudo-inversion; moreover, we derive completeness for the complement of the Boolean part of the nondeterministic Blum-Shub-Smale model of real computation without constants. This result extends to the additive category of finite dimensional Hilbert spaces, enriched by adjunction and pseudo-inversion.

Completeness of Graphical Languages for Mixed State Quantum Mechanics

There exist several graphical languages for quantum information processing, like quantum circuits, ZX-calculus, ZW-calculus, and so on. Each of these languages forms a †-symmetric monoidal category (†-SMC) and comes with an interpretation functor to the †-SMC of finite-dimensional Hilbert spaces. In recent years, one of the main achievements of the categorical approach to quantum mechanics has been to provide several equational theories for most of these graphical languages, making them complete for various fragments of pure quantum mechanics. We address the question of how to extend these languages beyond pure quantum mechanics to reason about mixed states and general quantum operations, i.e., completely positive maps. Intuitively, such an extension relies on the axiomatisation of a discard map that allows one to get rid of a quantum system, an operation that is not allowed in pure quantum mechanics. We introduce a new construction, the discard construction , which transforms any †-symmetric monoidal category into a symmetric monoidal category equipped with a discard map. Roughly speaking this construction consists in making any isometry causal. Using this construction, we provide an extension for several graphical languages that we prove to be complete for general quantum operations. However, this construction fails for some fringe cases like Clifford+T quantum mechanics, as the category does not have enough isometries.

From quantum link models to D-theory: a resource efficient framework for the quantum simulation and computation of gauge theories.

Quantum link models provide an extension of Wilson's lattice gauge theory in which the link Hilbert space is finite-dimensional and corresponds to a representation of an embedding algebra. In contrast to Wilson's parallel transporters, quantum links are intrinsically quantum degrees of freedom. In D-theory, these discrete variables undergo dimensional reduction, thus giving rise to asymptotically free theories. In this way [Formula: see text] [Formula: see text] models emerge by dimensional reduction from [Formula: see text] [Formula: see text] quantum spin ladders, the [Formula: see text] confining [Formula: see text] gauge theory emerges from the Abelian Coulomb phase of a [Formula: see text] quantum link model, and [Formula: see text] QCD arises from a non-Abelian Coulomb phase of a [Formula: see text] [Formula: see text] quantum link model, with chiral quarks arising naturally as domain wall fermions. Thanks to their finite-dimensional Hilbert space and their economical mechanism of reaching the continuum limit by dimensional reduction, quantum link models provide a resource efficient framework for the quantum simulation and computation of gauge theories. This article is part of the theme issue 'Quantum technologies in particle physics'.

On the hydrogen atom in the holographic universe

We investigate the holographic bound utilizing a homogeneous, isotropic, and non-relativistic neutral hydrogen gas present in the de Sitter space. Concretely, we propose to employ de Sitter holography intertwined with quantum deformation of the hydrogen atom using the framework of quantum groups. Particularly, the quantum algebra is used to construct a finite-dimensional Hilbert space of the hydrogen atom. As a consequence of the quantum deformation of the hydrogen atom, we demonstrate that the Rydberg constant is dependent on the de Sitter radius, L Λ. This feature is then extended to obtain a finite-dimensional Hilbert space for the full set of all hydrogen atoms in the de Sitter universe. We then show that the dimension of the latter Hilbert space satisfies the holographic bound. We further show that the mass of a hydrogen atom , the total number of hydrogen atoms at the Universe, N, and the retrieved dimension of the Hilbert space of neutral hydrogen gas, , are related to the de Sitter entropy, , the Planck mass, , the electron mass, , and the proton mass , by , and , respectively.

Complete Incompatibility, Support Uncertainty, and Kirkwood-Dirac Nonclassicality.

For quantum systems with a finite dimensional Hilbert space of states, we show that the complete incompatibility of two observables-a notion we introduce-is equivalent to the large support uncertainty of all states. The Kirkwood-Dirac (KD) quasiprobability distribution of a state-which depends on the choice of two observables-has emerged in quantum information theory as a tool for assessing nonclassical features of the state that can serve as a resource in quantum protocols. We apply our result to show that, when the two observables are completely incompatible, only states with minimal support uncertainty can be KD classical, all others being KD nonclassical. We illustrate our findings with examples.

Bell's theorem, non-computability and conformal cyclic cosmology: A top-down approach to quantum gravity

This paper draws on a number of Roger Penrose's ideas—including the non-Hamiltonian phase-space flow of the Hawking Box, conformal cyclic cosmology, non-computability, and gravitationally induced quantum state reduction—in order to propose a radically unconventional approach to quantum gravity: Invariant Set Theory (IST). In IST, the fundamental laws of physics describe the geometry of the phase portrait of the universe as a whole: “quantum” process is associated with fine-scale fractal geometry, “gravitational” process with larger-scale heterogeneous geometry. With this, it becomes possible to explain the experimental violation of Bell inequalities without having to abandon key ingredients of general relativity: determinism and local causality. Ensembles in IST can be described by complex Hilbert states over a finite set ℂp of complex numbers, where p is a large finite integer. The quantum mechanics of finite-dimensional Hilbert spaces is emergent as a singular limit when p→∞. A small modification to the field equations of general relativity is proposed to make it consistent with IST.

Factorized Schemes for First and Second Order Evolution Equations with Fractional Powers of Operators

Abstract Many non-local processes are modeled using mathematical models that include fractional powers of elliptic operators. The approximate solution of stationary problems with fractional powers of operators is most often based on rational approximations introduced in various versions for a fractional power of the self-adjoint positive operator. The purpose of this work is to use such approximations for the approximate solution of nonstationary problems. We consider Cauchy problems for the first and second order differential-operator equations in finite-dimensional Hilbert spaces. Estimates for the proximity of an approximate solution to an exact one are obtained when specifying the absolute and relative errors of the approximation of the fractional power of the operator. We construct splitting schemes based on the additive representation with a rational approximation of the operator’s fractional power. The stability and accuracy of factorized two-level additive operator-difference schemes for the first order evolution equation and three-level schemes for a second order equation are established.

Vertices of the unit ball of subspaces in [formula omitted] and strong unicity of best approximation in [formula omitted

Let L(H) be the space of linear operators acting from the finite-dimensional real Hilbert space into itself. The purpose of this paper is to present results concerning the geometric properties of some subspaces of L(H). In particular, vertices of the closed unit ball of those subspaces are discussed. The problem of best approximation in the space L(l22) is investigated. Moreover, in this paper we show an example of an effective method seeking a unique minimal projection which is strongly unique.