Holomorphic quantization on the torus and finite quantum mechanics

In the absence of a satisfactory interpretation of quantum theory, physical law lacks physical basis. This paper reviews the orthodox, or Dirac–von Neumann interpretation, and makes explicit that Hilbert space describes propositions about measurement results. Kets are defined as conditional clauses referring to measurements in a formal language. It is seen that these clauses are elements of a Hilbert space, such that addition is logical disjunction, the dual space consists of consequent clauses, and the inner product is a set of statements in the subjunctive mood. The probability interpretation gives truth values for corresponding future tense statements when the initial state is actually prepared and the final state is to be measured. The mathematical structure of quantum mechanics is formulated in terms of discrete measurement results at finite level of accuracy and does not depend on an assumption of a substantive, or background, space–time continuum. A continuum of kets, ∣x〉 for x ∈ ℝ3, is constructed from linear combinations of kets in a finite basis. The inner product can be expressed either as a finite sum or as an integral. Discrete position functions are uniquely embedded into smooth wave functions in such a way that differential operators are defined. It is shown that the choice of basis has no effect on underlying physics (quantum covariance). The Dirac delta has a representation as a smooth function. Operators do not in general have an integral form. The Schrödinger equation is shown from the requirements of the probability interpretation. It is remarked that a formal construction of quantum electrodynamics (qed) avoiding divergence problems has been completed using finite dimensional Hilbert space. I conclude that quantum mechanics makes statements about the world with clear physical meaning, such that space is emergent from particle interactions and has no fundamental role.

We develope a local theory for frames on finite dimensional Hilbert spaces. In particular, a bounded frame on a finite dimensional Hilbert space contains a subset which is a good Riesz basis for a percentage (arbitrarily close to one) of the space. We also construct a normalized frame for a Hilbert space which contains a subset which is a Schauder basis for H but does not contain any subset which is a Riesz basis for H.

The notion of “exceptional family of elments (EFE)” plays a very important role in solving complementarity problems. It has been applied in finite dimensional spaces and Hilbert spaces by many authors. In this paper, by using the generalized projection defined by Alber, we extend this notion from Hilbert spaces to uniformly smooth and uniformly convex Banach spaces, and apply this extension to the study of nonlinear complementarity problems in Banach spaces.

Backward shift operator and finite dimensional de Branges Rovnyak spaces in the ball

Linear algebra is considered an essential mathematical theory that has many engineering applications. While many theorem provers support linear spaces, they only consider finite dimensional spaces. In addition, available libraries only deal with real vectors, whereas complex vectors are extremely useful in many fields of engineering. In this paper, we propose a new linear space formalization which covers both finite and infinite dimensional complex vector spaces, implemented in HOL-Light. We give the definition of a linear space and prove many properties about its operations, e.g., addition and scalar multiplication. We also formalize a number of related fundamental concepts such as linearity, hermitian operation, self-adjoint, and inner product space. Using the developed linear algebra library, we were able to implement basic definitions about quantum mechanics and use them to verify a quantum beam splitter, an optical device that has many applications in quantum computing.

The Roy-type even and odd nonlinear coherent states in a finite-dimensional Hilbert space are constructed. Their amplitude-squared squeezing effect, orthonormalized property, unitary property and completeness relations are discussed. The results reveal the existence of unitary property, completeness relations and non-orthonormalized property. There exists the amplitude-squared squeezing effect for the Roy-type even and odd nonlinear coherent states when the phase θ of parameter β meets the fixed condition. The relations between conditions of squeezing effect and parameters s,r and function f(n) are given. Finally using the numerical method, it is found that in some different ranges of r, the amplitude-squared squeezing effect exists in Roy-type even and odd nonlinear coherent states field in a finite-dimensional Hilbert space when the parameters s,θ and Lamb-Dike parameter η are given as the fixed value.

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 total set of states for which we have no resolution of the identity (a ‘pre-basis’), is considered in a finite dimensional Hilbert space. A dressing formalism renormalizes them into density matrices which resolve the identity, and makes them a ‘generalized basis’, which is practically useful. The dresssing mechanism is inspired by Shapley’s methodology in cooperative game theory, and it uses Möbius transforms. There is non-independence and redundancy in these generalized bases, which is quantified with a Shannon type of entropy. Due to this redundancy, calculations based on generalized bases are sensitive to physical changes and robust in the presence of noise. For example, the representation of an arbitrary vector in such generalized bases, is robust when noise is inserted in the coefficients. Also in a physical system with a ground state which changes abruptly at some value of the coupling constant, the proposed methodology detects such changes, even when noise is added to the parameters in the Hamiltonian of the system.

We consider a hierarchy of Hamilton operators Ĥ N in finite dimensional Hilbert spaces $$ \mathbb{C}^{2^N } $$. We show that the eigenstates of Ĥ N are fully entangled for N even. We also calculate the unitary operator U N(t) = exp(—Ĥ N t/ħ) for the time evolution and show that unentangled states can be transformed into entangled states using this operator. We also investigate energy level crossing for this hierarchy of Hamilton operators.

A conceptually simple method for derivation of lower bounds on the error exponent of specific families of block codes used on classical-quantum channels with arbitrary signal states over a finite dimensional Hilbert space is presented. It is shown that families of binary block codes with appropriately rescaled binomial multiplicity enumerators used on binary classical-quantum channels and decoded by the suboptimal decision rule introduced by Holevo attain the expurgated and cutoff rate lower bounds.KeywordsClassical-quantum channelsbinary block codeserror exponent

We review the definition of hypergeometric coherent states, discussing some representative examples. Then, we study mathematical and statistical properties of hypergeometric Schrödinger cat states, defined as orthonormalized eigenstates of kth powers of nonlinear f-oscillator annihilation operators, with f of the hypergeometric type. These “k-hypercats” can be written as an equally weighted superposition of hypergeometric coherent states ∣zl⟩, l = 0, 1, …, k − 1, with zl = ze2πil/k a kth root of zk, and they interpolate between number and coherent states. This fact motivates a continuous circle representation for high k. We also extend our study to truncated hypergeometric functions (finite dimensional Hilbert spaces), and a discrete exact circle representation is provided. We also show how to generate k-hypercats by amplitude dispersion in a Kerr medium and analyze their generalized Husimi Q-function in the super- and sub-Poissonian cases at different fractions of the revival time.

One-dimensional perturbations of cyclic operators

In this chapter we survey some particular topics in category theory in a somewhat unconventional manner. Our main focus will be on monoidal categories, mostly symmetric ones, for which we propose a physical interpretation. Special attention is given to the category which has finite dimensional Hilbert spaces as objects, linear maps as morphisms, and the tensor product as its monoidal structure (FdHilb). We also provide a detailed discussion of the category which has sets as objects, relations as morphisms, and the cartesian product as its monoidal structure (Rel), and thirdly, categories with manifolds as objects and cobordisms between these as morphisms (2Cob). While sets, Hilbert spaces and manifolds do not share any non-trivial common structure, these three categories are in fact structurally very similar. Shared features are diagrammatic calculus, compact closed structure and particular kinds of internal comonoids which play an important role in each of them. The categories FdHilb and Rel moreover admit a categorical matrix calculus. Together these features guide us towards topological quantum field theories. We also discuss posetal categories, how group representations are in fact categorical constructs, and what strictification and coherence of monoidal categories is all about. In our attempt to complement the existing literature we omitted some very basic topics. For these we refer the reader to other available sources.

In this article we propose a quantum version of Shannon's conditional entropy. Given two density matrices $\rho$ and $\sigma$ on a finite dimensional Hilbert space and with $S(\rho)=-\tr\rho\ln\rho$ being the usual von Neumann entropy, this quantity $S(\rho|\sigma)$ is concave in $\rho$ and satisfies $0\le S(\rho|\sigma)\le S(\rho)$, a quantum analogue of Shannon's famous inequality. Thus we view $S(\rho|\sigma)$ as the entropy of $\rho$ conditioned by $\sigma$.

We analyze the problem of finding a point strictly interior to a bounded, convex, and fully dimensional set from a finite dimensional Hilbert space. We generalize the results obtained for the linear programming (LP), semidefinite programming (SDP), and second-order core programming (SOCP) cases. The cuts added by our algorithm are central and conic. In our analysis, we find an upper bound for the number of Newton steps required to compute an approximate analytic center. Also, we provide an upper bound for the total number of cuts added to solve the problem. This bound depends on the quality of the cuts, the dimensionality of the problem and the thickness of the set we are considering.