Searcharxiv⌕ Search

arXiv subjects

Philipp A. Hoehn

Publications and source records attributed to Philipp A. Hoehn.

At least 19 recordsLinked to original sources

On the relation between perspective-neutral, algebraic, and effective quantum reference frames

The framework of internal quantum reference frames (QRFs) constitutes a universal toolset for dealing with symmetries in quantum theory and has led to new revelations in quantum gravity, gauge theories and foundational physics. Multiple approaches have emerged, sometimes differing in scope and the way symmetries are implemented, raising the question as to their relation. Here, we investigate the relation between three approaches to QRFs for gauge symmetries, namely the effective semiclassical, algebraic, and perspective-neutral (PN) approaches. Rather than constructing Hilbert spaces, as the PN approach, the effective approach is based on a quantum phase space parametrized by expectation values and fluctuations, while the emphasis of the algebraic approach is on the state space of complex linear functionals on a kinematical algebra. Nevertheless, external frame information is treated as gauge in all three formalisms, manifested in constraints on states and algebra. We show that these three approaches are, in fact, equivalent for ideal QRFs, distinguished by sharp orientations, which is the previous setting of the first two approaches. Our demonstration pertains to single constraints, including relativistic ones, and encompasses QRF changes. In particular, the QRF transformations of the PN framework agree semiclassically with those of the older effective approach, by which it was inspired. As a physical application, we explore the QRF covariance of uncertainties and fluctuations, which turn out to be frame-dependent. This is particularly well-suited for the effective and algebraic approaches, for which these quantities form a natural basis. Finally, we pave the way towards extending these two approaches to non-ideal QRFs by studying the projection and gauge-fixing operations of the Page-Wootters formalism, built into the PN framework, on algebraic states.

quant-ph↗

An algebraically closed family of informational n-qubit purity invariants

We present a family of quadratics in Pauli expectation values, and prove that they constitute state-independent invariants for all n-qubit pure states. This family generalises the two-qubit `pentagon identities', discovered in the reconstruction programme of [P. A. Höhn, Quantum 1, 38 (2017), P. A. Höhn and C. S. P. Wever, Phys. Rev. A 95, 012102 (2017)], where they characterise the space of pure states, as well as the unitary group, and are interpreted as complementarity equalities in the Brukner-Zeilinger information measure. The generalisation to arbitrarily many qubits is nontrivial as it requires new tools which in turn reveal novel structural properties that are absent in the two-qubit case. A thorough analysis of these properties, and their relation with mutual unbiasedness and complementarity in the n-qubit Pauli group, can be found in two companion papers.

quant-ph↗

Maximal complementarity in the n-qubit Pauli group

Observables in quantum mechanics are generally complementary, that is, they reveal mutually incompatible pieces of information about a given system. This property is not only a fundamental tenet of the quantum formalism, but also a key component in quantum cryptographic protocols. As such it has fuelled much research into finding sets of highly complementary observables. In its strongest form -- the one we consider in this work -- the information between complementary observables is not merely incompatible but mutually exclusive: maximal information about one observable implies no information about the other, and vice versa. Maximal sets of non-degenerate complementary observables are known to exist in systems of prime power dimension such as n-qubit systems. Here, we study complementarity of degenerate observables, specifically we prove that observables associated with the n-qubit Pauli group also exhibit complementarity under this restriction: first, we obtain a criterion for two such observables to be complementary and, second, we relate maximal sets of complementary observables with informational pure state complementarity equalities, further studied in two companion papers. Equivalently, these results can be formulated in terms of maximal complementary sets of (not necessarily maximal) Abelian subgroups of the Pauli group linking with (possibly coarse-grained) mutually unbiased bases. Finally, we prove that these complementarity sets entail strong entropic uncertainty relations.

quant-ph↗

Relational path integral, effective actions and quantum frame covariance in gravity

We propose a relational bundle-geometric formulation of the gravitational path integral by invoking the new tool of quantum reference frames (QRFs), which in gravity are gauge-covariant coordinate systems constructed from the available field content. Formulated in terms of relational (frame-dressed) observables, this yields a manifestly gauge-invariant path integral without ghosts and anomalies, and in which observables and their correlators are local to a frame. While eliminating the need for gauge fixing, it is equivalent to Faddeev-Popov versions in which the QRF is gauge-fixed, recovering certain previous proposals. A key feature is its covariance under QRF changes: it is a perspective-neutral path integral which encodes all internal QRF perspectives and the transformations between them. This leads to several qualitative predictions: local correlators and time evolution of relational observables in one QRF perspective become fuzzy in another, and a new spectrum of relational vacua arises. Comprised of frame-dependent no-boundary and asymptotic ground states, a vacuum from one perspective appears generally excited in another. Finally, we construct gauge-invariant, yet frame-dependent effective actions by coupling sources exclusively to relational observables, setting the stage for a relational definition of renormalization.

hep-th↗

Gauss law codes and vacuum codes from lattice gauge theories

We develop a comprehensive framework for constructing quantum error correcting codes (QECCs) from Abelian lattice gauge theories (LGTs) using quantum reference frames (QRFs) as a unifying formalism. We consider LGTs with arbitrary compact Abelian gauge groups supported on lattices in arbitrary numbers of spatial dimensions, and we work with both pure gauge theories and theories with couplings to bosonic and fermionic matter. The codes that we construct fall into two classes: First, Gauss law codes identify the code subspace with the full gauge-invariant sector of the theory. In models with matter coupled to gauge fields, these codes inherit a natural subsystem structure in which gauge-invariant Wilson loops and dressed matter excitations factorize the code space. Second, vacuum codes restrict the code subspace to the matter vacuum sector within the gauge-invariant subspace, yielding codes where errors correspond to gauge-invariant charge excitations rather than to violations of the Gauss law. Despite their distinct setup, we show that when the gauge group is finite, vacuum codes are unitarily equivalent to pure gauge theory Gauss law codes, and that when the group is continuous, this is only true upon a charge coarse-graining of the vacuum code. In all cases, QRFs provide a systematic apparatus for fully characterizing the codes' algebraic structures and correctable error sets. For clarity, we illustrate our general results in $\mathbb{Z}_2$-gauge theory, as well as in scalar and fermionic QED. These findings offer fundamental insights into the parallelism between quantum error correction and gauge theory and point toward practical advantages for simulating LGTs on noisy quantum devices.

quant-ph↗

Relational Dynamics with Periodic Clocks

We discuss a systematic way in which a relational dynamics can be established relative to periodic clocks both in the classical and quantum theories, emphasising the parallels between them. We show that: (1) classical and quantum relational observables that encode the value of a quantity relative to a periodic clock are only invariant along the gauge orbits generated by the Hamiltonian constraint if the quantity itself is periodic, and otherwise the observables are only transiently invariant per clock cycle (this implies, in particular, that counting winding numbers does not lead to invariant observables relative to the periodic clock); (2) the quantum relational observables can be obtained from a partial group averaging procedure over a single clock cycle; (3) there is an equivalence ('trinity') between the quantum theories based on the quantum relational observables of the clock-neutral picture of Dirac quantisation, the relational Schrödinger picture of the Page-Wootters formalism, and the relational Heisenberg picture that follows from quantum deparametrisation, all three taken relative to periodic clocks (implying that the dynamics in all three is necessarily periodic); (4) in the context of periodic clocks, the original Page-Wootters definition of conditional probabilities fails for systems that have a continuous energy spectrum and, using the equivalence between the Page-Wootters and the clock-neutral, gauge-invariant formalism, must be suitably updated. Finally, we show how a system evolving periodically with respect to a periodic clock can evolve monotonically with respect to an aperiodic clock, without inconsistency. The presentation is illustrated by several examples, and we conclude with a brief comparison to other approaches in the literature that also deal with relational descriptions of periodic clocks.

quant-ph↗

Fighting non-locality with non-locality: microcausality and boundary conditions in QED

In gauge theories, globally charged observables necessarily depend non-locally on the kinematical fields, with this dependence extending to the asymptotic boundary of spacetime. Despite this, we show that a subset of such observables can be consistently regarded as local to the bulk, in a manner that respects microcausality and leaves locality properties of uncharged observables untouched. A sufficient condition for this is to impose kinematically non-local boundary conditions on the large gauge sector of the theory, and to invoke a relational notion of localisation for observables. This reveals a relatively underappreciated link between boundary conditions, and different notions of microcausality and locality. We develop this point through a detailed case study in scalar QED, describing non-local boundary conditions that allow a large family of observables on a codimension-1 bulk surface to be viewed as local to that surface, despite being dressed by asymptotic Wilson lines. We show that this property continues to hold within a perturbative quantisation of the theory, and we argue that this leads to a consistent local net of algebras that includes these charged observables in bulk algebras. We explain how this setup may be understood in terms of a preferred dynamical reference frame for small gauge transformations appearing in the boundary conditions. Many features of the theory (such as microcausality, the vacuum state, and the net of algebras of observables) depend on the choice of this frame, and we briefly discuss some repercussions of this for algebraic formulations of QFT. While our analysis is performed in QED, we expect our results to carry over qualitatively to more complicated theories including gravity.

hep-th↗

A correspondence between quantum error correcting codes and quantum reference frames

In a gauge theory, a collection of kinematical degrees of freedom is used to redundantly describe a smaller amount of gauge-invariant information. In a quantum error correcting code (QECC), a collection of computational degrees of freedom that make up a device's physical layer is used to redundantly encode a smaller amount of logical information. We elaborate this parallel in terms of quantum reference frames (QRFs), which are a universal toolkit for dealing with symmetries in quantum systems and which define the gauge theory analog of encodings. The result is a precise dictionary between QECCs and QRF setups within the perspective-neutral framework for gauge systems. Concepts from QECCs like error sets and correctability translate to novel insights into the informational architecture of gauge theories. Conversely, the dictionary provides a systematic procedure for constructing symmetry-based QECCs and characterizing their error correcting properties. In this initial work, we scrutinize the dictionary between Pauli stabilizer codes and their corresponding QRF setups. We show that there is a one-to-one correspondence between maximal correctable error sets and tensor factorizations splitting system from error-generated QRF degrees of freedom. Relative to this split, errors corrupt only redundant frame data, leading to a novel characterization of correctability. When passed through the dictionary, standard Pauli errors behave as electric excitations that are dual, via Pontryagin duality, to magnetic excitations related to gauge-fixing. This gives rise to a new class of correctable errors and a systematic error duality. We illustrate our findings in surface codes, which themselves connect quantum error correction with gauge systems. Our exploratory investigations pave the way for foundational applications to gauge theories and for eventual practical applications to quantum simulation.

quant-ph↗

Soft edges: the many links between soft and edge modes

Boundaries in gauge theory and gravity give rise to symmetries and charges at both finite and asymptotic distance. Due to their structural similarities, it is often held that soft modes are some kind of asymptotic limit of edge modes. Here, we show in Maxwell theory that there is an arguably more interesting relationship between the asymptotic symmetries and their charges, on one hand, and their finite-distance counterparts, on the other, without the need of a limit. Key to this observation is to embed the finite region in the global spacetime and identify edge modes as dynamical $\rm{U}(1)$-reference frames for dressing subregion variables. Distinguishing intrinsic and extrinsic frames, according to whether they are built from field content in- or outside the region, we find that non-trivial corner symmetries arise only for extrinsic frames. Further, the asymptotic-to-finite relation requires asymptotically charged ones (like Wilson lines). Such frames, called soft edges, extend to asymptotia and, in fact, realize the corner charge algebra in multiple ways, for example, by "pulling in" the asymptotic one from infinity, or physically through the addition of asymptotic soft and hard radiation. Realizing an infinite-dimensional algebra requires a new set of soft boundary conditions, relying on the distinction between extrinsic and intrinsic data. We identify the subregion Goldstone mode as the relational observable between extrinsic and intrinsic frames and clarify the meaning of vacuum degeneracy. We also connect the asymptotic memory effect with a more operational quasi-local one. A main conclusion is that the relationship between asymptotia and finite distance is frame-dependent; each choice of soft edge mode probes distinct cross-boundary data of the global theory.

hep-th↗

Crossed products and quantum reference frames: on the observer-dependence of gravitational entropy

A significant step towards a rigorous understanding of perturbative gravitational entropy was recently achieved by a series of works showing that a proper accounting of gauge invariance and observer degrees of freedom converts the Type III algebra of QFT observables in a gravitational subregion to a Type II crossed product, whose entropy reduces to the generalized entropy formula in a semiclassical limit. The observers thus used are also known as quantum reference frames (QRFs); as noted in our companion work [arXiv:2405.00114], using different QRFs result in different algebras, and hence different entropies -- so gravitational entropy is observer-dependent. Here, we provide an in-depth analysis of this phenomenon, with full derivations of many new results. Using the perspective-neutral QRF formalism, we extend previous constructions to allow for arbitrarily many observers, each carrying a clock with possibly degenerate energy spectra. We consider a semiclassical regime characterized by clocks whose energy fluctuations dominate over the fluctuations of the energy of the QFT. Unlike previous works, we allow the clocks and fields to be arbitrarily entangled. At leading order the von Neumann entropy still reduces to the generalized entropy, but linear corrections are typically non-vanishing and quantify the degree of entanglement between the clocks and fields. We also describe an `antisemiclassical' regime as the opposite of the semiclassical one, with suppressed fluctuations of the clock energy; in this regime, we show how the clock may simply be `partially traced' out when evaluating the entropy. Four explicit examples of observer-dependent entropy are then given, involving a gravitational interferometer, degenerate clock superselection, a semiclassical approximation applying to some clocks but not others, and differences between monotonic and periodic clocks.

hep-th↗

Relational entanglement entropies and quantum reference frames in gauge theories

It has been shown that defining gravitational entanglement entropies relative to quantum reference frames (QRFs) intrinsically regularizes them. Here, we demonstrate that such relational definitions also have an advantage in lattice gauge theories, where no ultraviolet divergences occur. To this end, we introduce QRFs for the gauge group via Wilson lines on a lattice with global boundary, realizing edge modes on the bulk entangling surface. Overcoming challenges of previous nonrelational approaches, we show that defining gauge-invariant subsystems associated with subregions relative to such QRFs naturally leads to a factorization across the surface, yielding distillable relational entanglement entropies. Distinguishing between extrinsic and intrinsic QRFs, according to whether they are built from the region or its complement, leads to extrinsic and intrinsic relational algebras ascribed to the region. The "electric center algebra" of previous approaches is recovered as the algebra that all extrinsic QRFs agree on, or by incoherently twirling any extrinsic algebra over the electric corner symmetry group. Similarly, a generalization of previous proposals for a "magnetic center algebra" is obtained as the algebra that all intrinsic QRFs agree on, or, in the Abelian case, by incoherently twirling any intrinsic algebra over a dual magnetic corner group. Altogether, this leads to a compelling regional algebra and relative entropy hierarchy. Invoking the corner twirls, we also find that the extrinsic/intrinsic relational entanglement entropies are upper bounded by the non-distillable electric/magnetic center entropies. Finally, using extrinsic QRFs, we discuss the influence of "asymptotic" symmetries on regional entropies. Our work thus unifies and extends previous approaches and reveals the interplay between entropies and regional symmetry structures.

hep-th↗

Linearization (in)stabilities and crossed products

Modular crossed product algebras have recently assumed an important role in perturbative quantum gravity as they lead to an intrinsic regularization of entanglement entropies by introducing quantum reference frames (QRFs) in place of explicit regulators. This is achieved by imposing certain boost constraints on gravitons, QRFs and other fields. Here, we revisit the question of how these constraints should be understood through the lens of perturbation theory and particularly the study of linearization (in)stabilities, exploring when linearized solutions can be integrated to exact ones. Our aim is to provide some clarity about the status of justification, under various conditions, for imposing such constraints on the linearized theory in the $G_N\to0$ limit as they turn out to be of second-order. While for spatially closed spacetimes there is an essentially unambiguous justification, in the presence of boundaries or the absence of isometries this depends on whether one is also interested in second-order observables. Linearization (in)stabilities occur in any gauge-covariant field theory with non-linear equations and to address this in a unified framework, we translate the subject from the usual canonical formulation into a systematic covariant phase space language. This overcomes theory-specific arguments, exhibiting the universal structure behind (in)stabilities, and permits us to cover arbitrary generally covariant theories. We comment on the relation to modular flow and illustrate our findings in several gravity and gauge theory examples.

hep-th↗

Gravitational entropy is observer-dependent

In quantum gravity, it has been argued that a proper accounting of the role played by an observer promotes the von Neumann algebra of observables in a given spacetime subregion from Type III to Type II. While this allows for a mathematically precise definition of its entropy, we show that this procedure depends on which observer is employed. We make this precise by considering a setup in which many possible observers are present; by generalising previous approaches, we derive density operators for the subregion relative to different observers (and relative to arbitrary collections of observers and for arbitrary global physical states), and we compute the associated entropies in a semiclassical regime, as well as in some specific examples that go beyond this regime. We find that the entropies seen by distinct observers can drastically differ. Our work makes extensive use of the formalism of quantum reference frames (QRF); indeed, as we point out, the `observers' considered here and in the previous works are nothing but QRFs. In the process, we demonstrate that the description of physical states and observables invoked by Chandrasekaran et al. [arXiv:2206.10780] is equivalent to the Page-Wootters formalism, leading to the informal slogan "PW=CLPW". It is our hope that this paper will help motivate a long overdue union between the QRF and quantum gravity communities. Further details will appear in a companion paper.

hep-th↗

Quantum Euler angles and agency-dependent spacetime

Quantum gravity is expected to introduce quantum aspects into the description of reference frames. Here we set the stage for exploring how quantum gravity induced deformations of classical symmetries could modify the transformation laws among reference frames in an effective regime. We invoke the quantum group $SU_q(2)$ as a description of deformed spatial rotations and interpret states of a representation of its algebra as describing the relative orientation between two reference frames. This leads to a quantization of one of the Euler angles and to the new paradigm of agency-dependence: space is reconstructed as a collection of fuzzy points, exclusive to each agent, which depends on their choice of reference frame. Each agent can choose only one direction in which points can be sharp, while points in all other directions become fuzzy in a way that depends on this choice. Two agents making different choices will thus observe the same points with different degrees of fuzziness.

gr-qc↗

Matter relative to quantum hypersurfaces

We explore the canonical description of a scalar field as a parameterized field theory on an extended phase space that includes additional embedding fields that characterize spacetime hypersurfaces $\mathsf{X}$ relative to which the scalar field is described. This theory is quantized via the Dirac prescription and physical states of the theory are used to define conditional wave functionals $|ψ_ϕ[\mathsf{X}]\rangle$ interpreted as the state of the field relative to the hypersurface $\mathsf{X}$, thereby extending the Page-Wootters formalism to quantum field theory. It is shown that this conditional wave functional satisfies the Tomonaga-Schwinger equation, thus demonstrating the formal equivalence between this extended Page-Wootters formalism and standard quantum field theory. We also construct relational Dirac observables and define a quantum deparameterization of the physical Hilbert space leading to a relational Heisenberg picture, which are both shown to be unitarily equivalent to the Page-Wootters formalism. Moreover, by treating hypersurfaces as quantum reference frames, we extend recently developed quantum frame transformations to changes between classical and nonclassical hypersurfaces. This allows us to exhibit the transformation properties of a quantum field under a larger class of transformations, which leads to a frame-dependent particle creation effect.

quant-ph↗

Quantum Frame Relativity of Subsystems, Correlations and Thermodynamics

It was recently noted that different internal quantum reference frames (QRFs) partition a system in different ways into subsystems, much like different inertial observers in special relativity decompose spacetime in different ways into space and time. Here we expand on this QRF relativity of subsystems and elucidate that it is the source of all novel QRF dependent effects, just like the relativity of simultaneity is the origin of all characteristic special relativistic phenomena. We show that subsystem relativity, in fact, also arises in special relativity with internal frames and, by implying the relativity of simultaneity, constitutes a generalisation of it. Physical consequences of the QRF relativity of subsystems, which we explore here systematically, and the relativity of simultaneity may thus be seen in similar light. We focus on investigating when and how subsystem correlations and entropies, interactions and types of dynamics (open vs. closed), as well as quantum thermodynamical processes change under QRF transformations. We show that thermal equilibrium is generically QRF relative and find that, remarkably, QRF transformations not only can change a subsystem temperature, but even map positive into negative temperature states. We further examine how non-equilibrium notions of heat and work exchange, as well as entropy production and flow depend on the QRF. Along the way, we develop the first study of how reduced subsystem states transform under QRF changes. Focusing on physical insights, we restrict to ideal QRFs associated with finite abelian groups. Besides being conducive to rigour, the ensuing finite-dimensional setting is where quantum information-theoretic quantities and quantum thermodynamics are best developed. We anticipate, however, that our results extend qualitatively to more general groups and frames, and even to subsystems in gauge theory and gravity. [abridged]

quant-ph↗

Switching quantum reference frames in the N-body problem and the absence of global relational perspectives

Given the importance of quantum reference frames (QRFs) to both quantum and gravitational physics, it is pertinent to develop a systematic method for switching between the descriptions of physics relative to different choices of QRFs, which is valid in both fields. Here we continue with such a unifying approach, begun in arxiv:1809.00556, whose key ingredient is a symmetry principle, which enforces physics to be relational. Thanks to gauge related redundancies, this leads to a perspective-neutral structure which contains all frame choices at once and via which frame perspectives can be consistently switched. Formulated in the language of constrained systems, the perspective-neutral structure is the constraint surface classically and the gauge invariant Hilbert space in the Dirac quantized theory. By contrast, a perspective relative to a specific frame corresponds to a gauge choice and the associated reduced phase and Hilbert space. QRF changes thus amount to a gauge transformation. We show that they take the form of `quantum coordinate changes'. We illustrate this in a general mechanical model, namely the relational $N$-body problem in 3D space with rotational and translational symmetry. This model is especially interesting because it features the Gribov problem so that globally valid gauge fixing conditions, and hence relational frame perspectives, are absent. The constraint surface is topologically non-trivial and foliated by 3-, 5- and 6-dimensional gauge orbits, where the lower dimensional orbits are a set of measure zero. The $N$-body problem also does not admit globally valid canonically conjugate pairs of Dirac observables. These challenges notwithstanding, we exhibit how one can construct the QRF transformations for the 3-body problem. Our construction also sheds new light on the generic inequivalence of Dirac and reduced quantization through its interplay with QRF perspectives.

quant-ph↗

Edge modes as dynamical frames: charges from post-selection in generally covariant theories

We develop a framework based on the covariant phase space formalism that identifies gravitational edge modes as dynamical reference frames. They enable the identification of the associated spacetime region and the imposition of boundary conditions in a gauge-invariant manner. While recent proposals considered the finite region in isolation and sought the maximal symmetry algebra compatible with that perspective, we regard it as a subregion embedded in a global spacetime and study the symmetries consistent with such an embedding. This clarifies that the frame, although appearing as "new" for the subregion, is built out of the field content of the complement. Given a global variational principle, this also permits us to invoke a systematic post-selection procedure, previously used in gauge theory [arXiv:2109.06184], to produce consistent dynamics for a subregion with timelike boundary. Requiring the subregion presymplectic structure to be conserved by the dynamics leads to an essentially unique prescription and unambiguous Hamiltonian charges. Unlike other proposals, this has the advantage that all spacetime diffeomorphisms acting on the subregion remain gauge and integrable, thus generating a first-class constraint algebra. By contrast, diffeomorphisms acting on the frame-dressed spacetime are physical, and those that are parallel to the boundary are integrable. Further restricting to ones preserving the boundary conditions yields an algebra of conserved charges. These record changes in the relation between the region and its complement as measured by frame reorientations. Finally, we explain how the boundary conditions and presymplectic structure can be encoded into boundary actions. While our formalism applies to any generally covariant theory, we illustrate it on general relativity, and conclude with a detailed comparison of our findings to earlier works. [abridged]

hep-th↗