We investigate the concept of macroscopically distinguishable superpositions within an infinite array of boson sites. Our approach is rigorous within the frame of Hilbert space theory. In this context, it is natural to differentiate between states -- and corresponding dynamics -- that involve only finitely many degrees of freedom, referred to as local, and those that are inherently nonlocal. Previous studies have shown that such systems can support nonlocal coherent states (NCS). In this work, we demonstrate that NCS can dynamically evolve into nonlocal cat states under the influence of a nonlocal Hamiltonian -- specifically, the square of the total number operator. Crucially, the resulting dynamics cannot be decomposed into local factors. Furthermore, we explore broader mathematical implications of these phenomena within the framework of generalized bosons. Our findings highlight that the concepts of coherent states and nonlocal cat states are not inherently bound together; rather, their fusion is a distinctive feature of standard bosons. Finally, we propose that if the generalized boson framework can be physically realized in engineered quantum systems, the phenomena described here may hold significant relevance for both physics and materials science.
Comments
14 pages, 2 figures; accepted in the International Journal of Theoretical Physics
We investigate the concept of macroscopically distinguishable superpositions within an infinite array of boson sites. Our approach is rigorous within the frame of Hilbert space theory. In this context, it is natural to differentiate between states -- and corresponding dynamics -- that involve only finitely many degrees of freedom, referred to as local, and those that are inherently nonlocal. Previous studies have shown that such systems can support nonlocal coherent states (NCS). In this work, we demonstrate that NCS can dynamically evolve into nonlocal cat states under the influence of a nonlocal Hamiltonian -- specifically, the square of the total number operator. Crucially, the resulting dynamics cannot be decomposed into local factors. Furthermore, we explore broader mathematical implications of these phenomena within the framework of generalized bosons. Our findings highlight that the concepts of coherent states and nonlocal cat states are not inherently bound together; rather, their fusion is a distinctive feature of standard bosons. Finally, we propose that if the generalized boson framework can be physically realized in engineered quantum systems, the phenomena described here may hold significant relevance for both physics and materials science.
In this dissertation, I analyze certain problems in the following areas: 1) quantum dynamical phenomena in macroscopic systems of interacting, degenerate bosons (Parts II, III, and V), and 2) measures of macroscopicity for a large class of two-branch superposition states in separable Hilbert space (Part IV). Part I serves as an introduction to important concepts recurring in the later Parts. In Part II, a microscopic derivation of the effective action for the relative phase of driven, aperture-coupled reservoirs of weakly-interacting condensed bosons from a (3 + 1)D microscopic model with local U(1) gauge symmetry is presented. The effective theory is applied to the transition from linear to sinusoidal current vs. phase behavior observed in recent experiments on liquid 4He driven through nanoaperture arrays. Part III discusses path-integral Monte Carlo (PIMC) numerical simulations of quantum hydrodynamic properties of reservoirs of He II communicating through simple nanoaperture arrays. In addition to calculating the local superfluid density in these systems, new estimators for hydrodynamic observables and novel methods for extracting the length scale characterizing the decay of superfluidity at the system boundary from PIMC data are introduced with the aim of exploring the mechanism of superfluid weak-link formation in nanoscale containers.Part IV consists of an analysis of macroscopicity measures for a large class of Schrodinger cat states of N-mode photonic systems. For cat states of this class, it is shown that a well-known measure of superposition size based on the optimal distinguishability of the branches and another based on metrological usefulness of the superposition relative to its branches agree (i.e., designate the same superpositions as macroscopic) when the inner product of the branches of the superposition is sufficiently small. For certain superpositions in this class, a technique is presented for deriving a state-specific textit{metrological macroscopicity algebra} of observables. The dynamics of superposition size measures is also considered, leading to the notion of "distinguishability time,'' a generalization of the orthogonalization times of Mandelstam-Tamm and Margolus-Levitin. In Part V, an investigation of the nonequilibrium dynamics of a quantum dot-Josephson junction-quantum dot nanodevice is presented. The nonequilibrium action of the system is calculated by making use of the Keldysh formalism and a potential use of the device for transferring macroscopic superposition states between a spin-system and an s-wave superconductor is discussed.
The well-studied quantum optical Schr\"odinger cat state is a superposition of two distinguishable states, with quantum coherence between these macroscopically distinguishable states being of foundational and, in the context of quantum-information processing, practical use. We refer to these quantum-optical cat states as quantum dichotomous states, reflecting that the state is a superposition of two options, and we introduce the term quantum multichotomous state to refer to a superposition of multiple macroscopically distinguishable options. For a single degree of freedom, such as position, we construct the quantum multichotomous states as a superposition of Gaussian states on the position line in phase space. Using this nomenclature, a quantum tetrachotomous state (QTS) is a coherent superposition of four macroscopically distinguishable states. We define, analyze, and show how to create such states, and our focus on the QTSs is due to their exhibition of much richer phenomena than for the quantum dichotomous states. Our characterization of the QTS involves the Wigner function, its marginal distributions, and the photon-number distribution, and we discuss the QTS's approximate realization in a multiple-coupled-well system.
We study entanglement reachability in quantum many-body systems evolving under physically admissible local dynamics. While Lieb--Robinson bounds constrain the propagation of information, and complexity-based approaches characterize the resources required to represent or prepare quantum states, these frameworks do not by themselves determine which entanglement structures are dynamically attainable. The central question addressed in this work is therefore: which entanglement structures can arise under constrained quantum evolution, and which remain inaccessible despite being kinematically allowed? We introduce a unified axiomatic framework for entanglement reachability based on the notion of \emph{structural confinement}. The framework incorporates finite-range locality, finite-dimensional memory degrees of freedom, and abstract representability constraints expressed through operator subsystems. Rather than characterizing accessibility directly in Hilbert space, we formulate the problem on an induced structural space of entanglement configurations and quantum information patterns. We establish a structural confinement theorem showing that admissible dynamics generate only a restricted reachable region in structural space. The theorem provides a general criterion for identifying forbidden structures whenever their defining information cannot be preserved within the admissible representational framework. Thus, ocality, memory, and representability constraints do not merely limit the rate of information propagation; they impose additional dynamical restrictions on the set of quantum structures that can actually be realized. The generality of the framework is demonstrated through three explicit realizations involving multipartite coherence, tensor-network representability, and protected logical nformation in quantum error-correcting codes. Although these realizations involve distinct physical structures, they are governed by the same underlying confinement mechanism: dynamical accessibility is determined by the compatibility between physical evolution and the structural information retained by the chosen representation. These results establish structural confinement as a general organizing principle for entanglement reachability under constrained quantum dynamics. The framework provides a unified language for deriving dynamical accessibility limits beyond propagation bounds alone and for classifying which quantum structures are reachable, forbidden, or conditionally accessible in locally constrained many-body systems.
We consider fundamental limits on the detectable size of macroscopic quantum superpositions. We argue that a full quantum mechanical treatment of system plus measurement device is required, and that a (classical) reference frame for phase or direction needs to be established to certify the quantum state. When taking the size of such a classical reference frame into account, we show that to reliably distinguish a quantum superposition state from an incoherent mixture requires a measurement device that is quadratically bigger than the superposition state. Whereas for moderate system sizes such as generated in previous experiments this is not a stringent restriction, for macroscopic superpositions of the size of a cat the required effort quickly becomes intractable, requiring measurement devices of the size of the Earth. We illustrate our results using macroscopic superposition states of photons, spins, and position. Finally, we also show how this limitation can be circumvented by dealing with superpositions in relative degrees of freedom.
Bosonic statistics give rise to remarkable phenomena, from the Hong-Ou-Mandel effect to Bose-Einstein condensation, with applications spanning fundamental science to quantum technologies. Modeling bosonic systems relies heavily on effective descriptions: typical examples include truncating their infinite-dimensional state space and restricting their dynamics to a simple class of Hamiltonians, such as polynomials of canonical operators, which are used to define quantum computing over bosonic modes. However, many natural bosonic Hamiltonians do not belong to this simple class, and some quantum effects harnessed by bosonic computers inherently require infinite-dimensional spaces, questioning the validity of such effective descriptions of bosonic systems. How can we trust results obtained with such simplifying assumptions to capture real effects? Driven by the increasing importance of bosonic systems for quantum technologies, we solve this outstanding problem by showing that these effective descriptions do in fact capture the relevant physics of bosonic systems. Our technical contribution is twofold: firstly, we prove that any physical, bosonic unitary evolution can be strongly approximated by a finite-dimensional unitary evolution; secondly, we show that any finite-dimensional unitary evolution can be generated exactly by a bosonic Hamiltonian that is a polynomial of canonical operators. Beyond their fundamental significance, our results have implications for classical and quantum simulations of bosonic systems, they provide universal methods for engineering bosonic quantum states and Hamiltonians, they show that polynomial Hamiltonians do generate universal gate sets for quantum computing over bosonic modes, and they lead to an infinite-dimensional Solovay--Kitaev theorem.
We show how one may test macroscopic local realism where, differently from conventional Bell tests, all relevant measurements that lead to a violation of a Bell inequality need only distinguish between two macroscopically distinct states of the system being measured. Here, measurements give macroscopically distinct outcomes for some property of the system and do not resolve microscopically (of order $\ensuremath{\hbar}$). To obtain a quantifiable test, we define N-scopic local realism where the outcomes are separated by an amount $\ensuremath{\sim}N$. We show for N up to 20 that violations of N-scopic local realism are predicted for entangled systems of N bosons at each of two sites. We further demonstrate for arbitrarily large $\ensuremath{\alpha}$ the violation of $\ensuremath{\alpha}$-scopic local realism, for entangled superpositions of coherent states with amplitudes $\ensuremath{\sim}\phantom{\rule{1.0pt}{0ex}}\ensuremath{\alpha}$, infinitely separated in phase space, as $\ensuremath{\alpha}\ensuremath{\rightarrow}\ensuremath{\infty}$. To achieve the Bell violations, the two separated subsystems evolve dynamically according to a local nonlinear unitary interaction. The tests may be understood in two ways. First, they are macroscopic Bell tests involving spacelike separated measurement events, where the choice of measurement setting at each site corresponds to a choice between two different times of local interaction. The interaction may be seen as the unitary stage of a local measurement process. Second, the proposal is a strong version of a Leggett-Garg test of "macrorealism" that uses two trajectories, where the usual assumption of noninvasive measurability as applied to measurements at one site is replaced by that of macroscopic locality. For N=1, tests are feasible and give a way to demonstrate ``no classical trajectories'' without the assumption of noninvasive measurability, using instead that of locality.