Abstract Classes of discrete quantum models that describe a free non-relativistic quantum particle propagating on rescaled and shifted dual root lattices inside closures of Weyl alcoves are constructed. Boundary conditions of the discrete quantum billiard systems on the borders of the Weyl alcoves are controlled by specific combinations of Dirichlet and Neumann walls that result from sign homomorphisms and admissible shifts inherent in generalized dual root lattice Fourier–Weyl transforms. The amplitudes of the particle’s jumps to neighbouring positions are controlled by a complex-valued dual root lattice hopping function with finite support. The solutions of the time-independent Schrödinger equation together with the eigenenergies of the quantum systems are explicitly determined. The matrix Hamiltonians and eigenenergies of the discrete models are exemplified for the rank two cases A 2 and C 2 .
Abstract Classes of discrete quantum models that describe a free non-relativistic quantum particle propagating on rescaled and shifted dual root lattices inside closures of Weyl alcoves are constructed. Boundary conditions of the discrete quantum billiard systems on the borders of the Weyl alcoves are controlled by specific combinations of Dirichlet and Neumann walls that result from sign homomorphisms and admissible shifts inherent in generalized dual root lattice Fourier–Weyl transforms. The amplitudes of the particle’s jumps to neighbouring positions are controlled by a complex-valued dual root lattice hopping function with finite support. The solutions of the time-independent Schrödinger equation together with the eigenenergies of the quantum systems are explicitly determined. The matrix Hamiltonians and eigenenergies of the discrete models are exemplified for the rank two cases A 2 and C 2 .
Families of discrete quantum models that describe a free non-relativistic quantum particle propagating on rescaled and shifted dual weight lattices inside closures of Weyl alcoves are developed. The boundary conditions of the presented discrete quantum billiards are enforced by precisely positioned Dirichlet and Neumann walls on the borders of the Weyl alcoves. The amplitudes of the particle’s propagation to neighbouring positions are determined by a complex-valued dual-weight hopping function of finite support. The discrete dual-weight Hamiltonians are obtained as the sum of specifically constructed dual-weight hopping operators. By utilising the generalised dual-weight Fourier–Weyl transforms, the solutions of the time-independent Schrödinger equation together with the eigenenergies of the quantum systems are exactly resolved. The matrix Hamiltonians, stationary states and eigenenergies of the discrete models are exemplified for the rank two cases C2 and G2.
The concepts of von Neumann lattices and tight frames are used for defining discrete quantum mechanical transforms in the phase plane. These transforms are obtained by finite shifts la and mb in the coordinate x and momentum p, respectively, of the Weyl–Heisenberg group, and they are called the discrete Weyl–Heisenberg transforms ψ(la,mb). Here ab=h/N with h the Planck constant, l and m integers, and N a positive integer. A construction is carried out of ψ(la,mb) for a general Weyl–Heisenberg set by using the kq-representation, in which a useful formula is established for the frame operator. The construction is illustrated on an example of the ground state of a harmonic oscillator. It is shown that any physical quantity can be described by the discrete Weyl–Heisenberg transform. Connections are established between ψ(la,mb), the Bargmann representation, and the Husimi distribution function.
We define quantum cellular automata as infinite quantum lattice systems with discrete time dynamics, such that the time step commutes with lattice translations and has strictly finite propagation speed. In contrast to earlier definitions this allows us to give an explicit characterization of all local rules generating such automata. The same local rules also generate the global time step for automata with periodic boundary conditions. Our main structure theorem asserts that any quantum cellular automaton is structurally reversible, i.e., that it can be obtained by applying two blockwise unitary operations in a generalized Margolus partitioning scheme. This implies that, in contrast to the classical case, the inverse of a nearest neighbor quantum cellular automaton is again a nearest neighbor automaton. We present several construction methods for quantum cellular automata, based on unitaries commuting with their translates, on the quantization of (arbitrary) reversible classical cellular automata, on quantum circuits, and on Clifford transformations with respect to a description of the single cells by finite Weyl systems. Moreover, we indicate how quantum random walks can be considered as special cases of cellular automata, namely by restricting a quantum lattice gas automaton with local particle number conservation to the single particle sector.
Quantum mechanics of a linear harmonic oscillator in a finite-dimensional Hilbert space satisfying the correct equations of motion is studied. The connections to Weyl's formulation of the algebra of bounded unitary operators in finite space as well as to a truncated quantized linear harmonic oscillator are discussed. It is pointed out that the discrete Fourier transformation (DFT) plays a central role in determining the actual form of the position, the momentum, the number and the Hamiltonian operators. The explicit form of these operators in different bases is exhibited for some low values of the dimension of the Hilbert space. In this formulation, it is shown that the Hamiltonian is indeed the logarithm of the DFT and that by modifying Weyl's framework to include position and momentum operators with non-uniformly spaced spectra the equations of motion are satisfied.
The biharmonic equation is a prototypical fourth-order partial differential equation whose high-dimensional discretization suffers from rapidly growing degrees of freedom and severe ill-conditioning. We develop QSVT--VTAA quantum linear-system algorithms by constructing explicit block-encodings tailored to periodic, simply supported, and Dirichlet--Neumann boundary conditions. For periodic and simply supported problems, Fourier and sine-transform diagonalizations yield augmented Poisson systems with the condition-number scaling of a second-order operator. For Dirichlet--Neumann problems, we introduce a second-order boundary-corrected finite-difference discretization, establish mesh-independent stability, and construct an explicit block-encoding of the resulting nonsymmetric matrix. We also formulate a coupled-Laplace system with additional boundary unknowns and characterize its complexity in terms of the condition number of the complete augmented matrix. The analysis covers discretization error, block-encoding normalization, gate complexity, and solution extraction under an amplitude-input and quantum-state-output model. Numerical experiments validate the proposed discretizations and the corresponding linear solves.
The method of Weyl transforms is used to rigorously derive path integral forms for position and momentum transition amplitudes from the time-dependent Schrödinger equation for arbitrary Hermitian Hamiltonians. It is found that all paths in phase space contribute equally in magnitude, but that each path has a different phase, equal to 1/h/ times an ’’effective action’’ taken along it. The latter is the time integral of p⋅q̇−h (p,q), h (p,q) being the Weyl transform of the Hamiltonian operator H, which differs from the classical Hamiltonian function by terms of order h/2, vanishing in the classical limit. These terms, which can be explicitly computed, are zero for relatively simple Hamiltonians, such as (1/2M)[P−eA (Q)]2+V (Q), but appear when the coupling of the position and momentum operators is stronger, such as for a relativistic spinless particle in an electromagnetic field, or when configuration space is curved. They are always zero if one opts for Weyl’s rule for forming the quantum operator corresponding to a given classical Hamiltonian. The transition amplitude between two position states is found to be expressible as a path integral in configuration space alone only in very special cases, such as when the Hamiltonian is quadratic in the momenta.