-
Adjusting Higher Chern-Simons Theory
Authors:
Gianni Gagliardo,
Dominik Rist,
Christian Saemann,
Martin Wolf
Abstract:
A fundamental problem in formulating higher Chern-Simons theories is the construction of a consistent higher gauge theory that circumvents the fake-flatness constraint. Here, we propose a solution to this problem using adjusted higher connections. In particular, we shall demonstrate that there is an obstruction to constructing such action functionals since, generically, adjusted higher gauge algeb…
▽ More
A fundamental problem in formulating higher Chern-Simons theories is the construction of a consistent higher gauge theory that circumvents the fake-flatness constraint. Here, we propose a solution to this problem using adjusted higher connections. In particular, we shall demonstrate that there is an obstruction to constructing such action functionals since, generically, adjusted higher gauge algebras do not admit an inner product. To overcome this obstruction, we introduce half-adjusted higher Chern-Simons theories. These theories have both well-defined underlying kinematic data as well as the expected properties of a higher generalisation of Chern-Simons theory. We develop the general construction of these theories in arbitrary dimensions and provide explicit details for the four-dimensional case. We also present the complete differential cohomological framework for principal 2-bundles with half-adjusted connections. Finally, we discuss an alternative approach introducing additional trivial symmetries.
△ Less
Submitted 2 July, 2025;
originally announced July 2025.
-
Quantum tomography from the evolution of a single expectation
Authors:
Hjalmar Rall,
Michael M. Wolf
Abstract:
We investigate the possibility of performing full quantum tomography based on the homogeneous time evolution of a single expectation value. Remarkably, every non-trivial binary measurement evolved by any quantum channel, except for a null set, in principle enables full quantum state tomography. We show that this remains true when restricted to Lindblad semigroups, although unitary evolution -- eve…
▽ More
We investigate the possibility of performing full quantum tomography based on the homogeneous time evolution of a single expectation value. Remarkably, every non-trivial binary measurement evolved by any quantum channel, except for a null set, in principle enables full quantum state tomography. We show that this remains true when restricted to Lindblad semigroups, although unitary evolution -- even with added simply depolarizing noise -- is insufficient beyond the qubit case, highlighting the necessity of non-trivial noise. We establish an analog of Takens' embedding theorem for quantum channels, which incorporates prior information into the framework. We also provide estimation bounds for finite statistics and analyze the feasibility of recovering an infinite time series of expectation values from a finite one using only spectral properties of the evolution.
△ Less
Submitted 18 February, 2025; v1 submitted 17 January, 2025;
originally announced January 2025.
-
Full S-matrices and Witten diagrams with (relative) L-infinity algebras
Authors:
Luigi Alfonsi,
Leron Borsten,
Hyungrok Kim,
Martin Wolf,
Charles Alastair Stephen Young
Abstract:
The $L_\infty$-algebra approach to scattering amplitudes elegantly describes the nontrivial part of the $S$-matrix but fails to take into account the trivial part. We argue that the trivial contribution to the $S$-matrix should be accounted for by another, complementary $L_\infty$-algebra, such that a perturbative field theory is described by a cyclic relative $L_\infty$-algebra. We further demons…
▽ More
The $L_\infty$-algebra approach to scattering amplitudes elegantly describes the nontrivial part of the $S$-matrix but fails to take into account the trivial part. We argue that the trivial contribution to the $S$-matrix should be accounted for by another, complementary $L_\infty$-algebra, such that a perturbative field theory is described by a cyclic relative $L_\infty$-algebra. We further demonstrate that this construction reproduces Witten diagrams that arise in AdS/CFT including, in particular, the trivial Witten diagrams corresponding to CFT two-point functions. We also discuss Chern-Simons theory and Yang-Mills theory on manifolds with boundaries using this approach.
△ Less
Submitted 20 December, 2024;
originally announced December 2024.
-
Undecidability in Physics: a Review
Authors:
Álvaro Perales-Eceiza,
Toby Cubitt,
Mile Gu,
David Pérez-García,
Michael M. Wolf
Abstract:
The study of undecidability in problems arising from physics has experienced a renewed interest, mainly in connection with quantum information problems. The goal of this review is to survey this recent development. After a historical introduction, we first explain the necessary results about undecidability in mathematics and computer science. Then we briefly review the first results about undecida…
▽ More
The study of undecidability in problems arising from physics has experienced a renewed interest, mainly in connection with quantum information problems. The goal of this review is to survey this recent development. After a historical introduction, we first explain the necessary results about undecidability in mathematics and computer science. Then we briefly review the first results about undecidability in physics which emerged mostly in the 80s and early 90s. Finally we focus on the most recent contributions, which we divide in two main categories: many body systems and quantum information problems.
△ Less
Submitted 21 October, 2024;
originally announced October 2024.
-
Ambitwistor Yang-Mills Theory Revisited
Authors:
Leron Borsten,
Branislav Jurco,
Hyungrok Kim,
Christian Saemann,
Martin Wolf
Abstract:
Inspired by the Movshev-Mason-Skinner Cauchy-Riemann (CR) ambitwistor approach, we provide a rigorous yet elementary construction of a twisted CR holomorphic Chern-Simons action on CR ambitwistor space for maximally supersymmetric Yang-Mills theory on four-dimensional Euclidean space. The key ingredient in our discussion is the homotopy algebraic perspective on perturbative quantum field theory. U…
▽ More
Inspired by the Movshev-Mason-Skinner Cauchy-Riemann (CR) ambitwistor approach, we provide a rigorous yet elementary construction of a twisted CR holomorphic Chern-Simons action on CR ambitwistor space for maximally supersymmetric Yang-Mills theory on four-dimensional Euclidean space. The key ingredient in our discussion is the homotopy algebraic perspective on perturbative quantum field theory. Using this technology, we show that both theories are semi-classically equivalent, that is, we construct a quasi-isomorphism between the cyclic $L_\infty$-algebras governing both field theories. This confirms a conjecture from the literature. Furthermore, we also show that the Yang-Mills action is obtained by integrating out an infinite tower of auxiliary fields in the Chern-Simons action, that is, the two theories are related by homotopy transfer. Given its simplicity, this Chern-Simons action should form a fruitful starting point for analysing perturbative properties of Yang-Mills theory.
△ Less
Submitted 28 April, 2025; v1 submitted 29 August, 2024;
originally announced August 2024.
-
Higher Gauge Theory
Authors:
Leron Borsten,
Mehran Jalali Farahani,
Branislav Jurco,
Hyungrok Kim,
Jiri Narozny,
Dominik Rist,
Christian Saemann,
Martin Wolf
Abstract:
This is an invited survey article on higher gauge theory for the Encyclopedia of Mathematical Physics, 2nd edition. In particular, we provide a lightning introduction to higher structures and to the construction of the kinematical data of higher gauge theories, i.e. connections on higher principal bundles. We also summarise the most important applications and dynamical principles that have appeare…
▽ More
This is an invited survey article on higher gauge theory for the Encyclopedia of Mathematical Physics, 2nd edition. In particular, we provide a lightning introduction to higher structures and to the construction of the kinematical data of higher gauge theories, i.e. connections on higher principal bundles. We also summarise the most important applications and dynamical principles that have appeared in the literature, and we close with comments on related areas.
△ Less
Submitted 10 January, 2024;
originally announced January 2024.
-
On the set of reduced states of translation invariant, infinite quantum systems
Authors:
Vjosa Blakaj,
Michael M. Wolf
Abstract:
The set of two-body reduced states of translation invariant, infinite quantum spin chains can be approximated from inside and outside using matrix product states and marginals of finite systems, respectively. These lead to hierarchies of algebraic approximations that become tight only in the limit of infinitely many auxiliary variables. We show that this is necessarily so for any algebraic ansatz…
▽ More
The set of two-body reduced states of translation invariant, infinite quantum spin chains can be approximated from inside and outside using matrix product states and marginals of finite systems, respectively. These lead to hierarchies of algebraic approximations that become tight only in the limit of infinitely many auxiliary variables. We show that this is necessarily so for any algebraic ansatz by proving that the set of reduced states is not semialgebraic. We also provide evidence that additional elementary transcendental functions cannot lead to a finitary description.
△ Less
Submitted 27 October, 2024; v1 submitted 28 August, 2023;
originally announced August 2023.
-
Double-Copying Self-Dual Yang-Mills Theory to Self-Dual Gravity on Twistor Space
Authors:
Leron Borsten,
Branislav Jurco,
Hyungrok Kim,
Tommaso Macrelli,
Christian Saemann,
Martin Wolf
Abstract:
We construct a simple Lorentz-invariant action for maximally supersymmetric self-dual Yang-Mills theory that manifests colour-kinematics duality. We also show that this action double copies to a known action for maximally supersymmetric self-dual gravity. Both actions live on twistor space and illustrate nicely the homotopy algebraic perspective on the double copy presented in arXiv:2307.02563. Th…
▽ More
We construct a simple Lorentz-invariant action for maximally supersymmetric self-dual Yang-Mills theory that manifests colour-kinematics duality. We also show that this action double copies to a known action for maximally supersymmetric self-dual gravity. Both actions live on twistor space and illustrate nicely the homotopy algebraic perspective on the double copy presented in arXiv:2307.02563. This example is particularly interesting as the involved Hopf algebra controlling the momentum dependence is non-commutative and suggests a generalisation to gauged maximally supersymmetric self-dual gravity.
△ Less
Submitted 27 November, 2023; v1 submitted 19 July, 2023;
originally announced July 2023.
-
Double Copy from Tensor Products of Metric BV${}^{\color{gray} \blacksquare}$-algebras
Authors:
Leron Borsten,
Branislav Jurco,
Hyungrok Kim,
Tommaso Macrelli,
Christian Saemann,
Martin Wolf
Abstract:
Field theories with kinematic Lie algebras, such as field theories featuring colour-kinematics duality, possess an underlying algebraic structure known as BV${}^{\color{gray} \blacksquare}$-algebra. If, additionally, matter fields are present, this structure is supplemented by a module for the BV${}^{\color{gray} \blacksquare}$-algebra. We explain this perspective, expanding on our previous work a…
▽ More
Field theories with kinematic Lie algebras, such as field theories featuring colour-kinematics duality, possess an underlying algebraic structure known as BV${}^{\color{gray} \blacksquare}$-algebra. If, additionally, matter fields are present, this structure is supplemented by a module for the BV${}^{\color{gray} \blacksquare}$-algebra. We explain this perspective, expanding on our previous work and providing many additional mathematical details. We also show how the tensor product of two metric BV${}^{\color{gray} \blacksquare}$-algebras yields the action of a new syngamy field theory, a construction which comprises the familiar double copy construction. As examples, we discuss various scalar field theories, Chern-Simons theory, self-dual Yang-Mills theory, and the pure spinor formulations of both M2-brane models and supersymmetric Yang-Mills theory. The latter leads to a new cubic pure spinor action for ten-dimensional supergravity. We also give a homotopy-algebraic perspective on colour-flavour-stripping, obtain a new restricted tensor product over a wide class of bialgebras, and we show that any field theory (even one without colour-kinematics duality) comes with a kinematic $L_\infty$-algebra.
△ Less
Submitted 18 November, 2024; v1 submitted 5 July, 2023;
originally announced July 2023.
-
Field Theory Equivalences as Spans of $L_\infty$-algebras
Authors:
Mehran Jalali Farahani,
Christian Saemann,
Martin Wolf
Abstract:
Semi-classically equivalent field theories are related by a quasi-isomorphism between their underlying $L_\infty$-algebras, but such a quasi-isomorphism is not necessarily a homotopy transfer. We demonstrate that all quasi-isomorphisms can be lifted to spans of $L_\infty$-algebras in which the quasi-isomorphic $L_\infty$-algebras are obtained from a correspondence $L_\infty$-algebra by a homotopy…
▽ More
Semi-classically equivalent field theories are related by a quasi-isomorphism between their underlying $L_\infty$-algebras, but such a quasi-isomorphism is not necessarily a homotopy transfer. We demonstrate that all quasi-isomorphisms can be lifted to spans of $L_\infty$-algebras in which the quasi-isomorphic $L_\infty$-algebras are obtained from a correspondence $L_\infty$-algebra by a homotopy transfer. Our construction is very useful: homotopy transfer is computationally tractable, and physically, it amounts to integrating out fields in a Feynman diagram expansion. Spans of $L_\infty$-algebras allow for a clean definition of quasi-isomorphisms of cyclic $L_\infty$-algebras. Furthermore, they appear naturally in many contexts within physics. As examples, we first consider scalar field theory with interaction vertices blown up in different ways. We then show that (non-Abelian) T-duality can be seen as a span of $L_\infty$-algebras, and we provide full details in the case of the principal chiral model. We also present the relevant span of $L_\infty$-algebras for the Penrose-Ward transform in the context of self-dual Yang-Mills theory and Bogomolny monopoles.
△ Less
Submitted 2 July, 2024; v1 submitted 9 May, 2023;
originally announced May 2023.
-
Tree-Level Color-Kinematics Duality from Pure Spinor Actions
Authors:
Leron Borsten,
Branislav Jurco,
Hyungrok Kim,
Tommaso Macrelli,
Christian Saemann,
Martin Wolf
Abstract:
We prove that the tree-level scattering amplitudes for (super) Yang-Mills theory in arbitrary dimensions and for M2-brane models exhibit color-kinematics (CK) duality. Our proof for Yang-Mills theory substantially simplifies existing ones in that it relies on the action alone and does not involve any computation; the proof for M2-brane models establishes this result for the first time. Explicitly,…
▽ More
We prove that the tree-level scattering amplitudes for (super) Yang-Mills theory in arbitrary dimensions and for M2-brane models exhibit color-kinematics (CK) duality. Our proof for Yang-Mills theory substantially simplifies existing ones in that it relies on the action alone and does not involve any computation; the proof for M2-brane models establishes this result for the first time. Explicitly, we combine the facts that Chern-Simons-type theories naturally come with a kinematic Lie algebra and that both Yang-Mills theory and M2-brane models are of Chern-Simons form when formulated in pure spinor space, extending previous work on Yang-Mills currents arXiv:2108.11708. Our formulation also provides explicit kinematic Lie algebras for the theories under consideration in the form of diffeomorphisms on pure spinor space. The pure spinor formulation of CK-duality is based on ordinary, cubic vertices, but we explain how ordinary CK-duality relates to notions of quartic-vertex 3-Lie algebra CK-duality for M2-brane models previously discussed in the literature.
△ Less
Submitted 18 December, 2023; v1 submitted 23 March, 2023;
originally announced March 2023.
-
Monge-Ampere Geometry and Vortices
Authors:
Lewis Napper,
Ian Roulstone,
Vladimir Rubtsov,
Martin Wolf
Abstract:
We introduce a new approach to Monge-Ampere geometry based on techniques from higher symplectic geometry. Our work is motivated by the application of Monge-Ampere geometry to the Poisson equation for the pressure that arises for incompressible Navier-Stokes flows. Whilst this equation constitutes an elliptic problem for the pressure, it can also be viewed as a non-linear partial differential equat…
▽ More
We introduce a new approach to Monge-Ampere geometry based on techniques from higher symplectic geometry. Our work is motivated by the application of Monge-Ampere geometry to the Poisson equation for the pressure that arises for incompressible Navier-Stokes flows. Whilst this equation constitutes an elliptic problem for the pressure, it can also be viewed as a non-linear partial differential equation connecting the pressure, the vorticity, and the rate-of-strain. As such, it is a key diagnostic relation in the quest to understand the formation of vortices in turbulent flows. We study this equation via an associated (higher) Lagrangian submanifold in the cotangent bundle to the configuration space of the fluid. Using our definition of a (higher) Monge-Ampere structure, we study an associated metric on the cotangent bundle together with its pull-back to the (higher) Lagrangian submanifold. The signatures of these metrics are dictated by the relationship between vorticity and rate-of-strain, and their scalar curvatures can be interpreted in a physical context in terms of the accumulation of vorticity, strain, and their gradients. We show explicity, in the case of two-dimensional flows, how topological information can be derived from the Monge-Ampere geometry of the Lagrangian submanifold. We also demonstrate how certain solutions to the three-dimensional incompressible Navier-Stokes equations, such as Hill's spherical vortex and an integrable case of Arnol'd-Beltrami-Childress flow, have symmetries that facilitate a formulation of these solutions from the perspective of (higher) symplectic reduction.
△ Less
Submitted 13 March, 2024; v1 submitted 22 February, 2023;
originally announced February 2023.
-
Hay from the haystack: explicit examples of exponential quantum circuit complexity
Authors:
Yifan Jia,
Michael M. Wolf
Abstract:
The vast majority of quantum states and unitaries have circuit complexity exponential in the number of qubits. In a similar vein, most of them also have exponential minimum description length, which makes it difficult to pinpoint examples of exponential complexity. In this work, we construct examples of constant description length but exponential circuit complexity. We provide infinite families su…
▽ More
The vast majority of quantum states and unitaries have circuit complexity exponential in the number of qubits. In a similar vein, most of them also have exponential minimum description length, which makes it difficult to pinpoint examples of exponential complexity. In this work, we construct examples of constant description length but exponential circuit complexity. We provide infinite families such that each element requires an exponential number of two-qubit gates to be generated exactly from a product and where the same is true for the approximate generation of the vast majority of elements in the family. The results are based on sets of large transcendence degree and discussed for tensor networks, diagonal unitaries, and maximally coherent states.
△ Less
Submitted 31 March, 2023; v1 submitted 14 May, 2022;
originally announced May 2022.
-
Explicit Non-Abelian Gerbes with Connections
Authors:
Dominik Rist,
Christian Saemann,
Martin Wolf
Abstract:
We define the notion of adjustment for strict Lie 2-groups and provide the complete cocycle description for non-Abelian gerbes with connections whose structure 2-group is an adjusted 2-group. Most importantly, we depart from the common fake-flat connections and employ adjusted connections. This is an important generalisation that is needed for physical applications especially in the context of sup…
▽ More
We define the notion of adjustment for strict Lie 2-groups and provide the complete cocycle description for non-Abelian gerbes with connections whose structure 2-group is an adjusted 2-group. Most importantly, we depart from the common fake-flat connections and employ adjusted connections. This is an important generalisation that is needed for physical applications especially in the context of supergravity. We give a number of explicit examples; in particular, we lift the spin structure on $S^4$, corresponding to an instanton-anti-instanton pair, to a string structure, a 2-group bundle with connection. We also outline how categorified forms of Bogomolny monopoles known as self-dual strings can be obtained via a Penrose-Ward transform of string bundles over twistor space.
△ Less
Submitted 5 February, 2024; v1 submitted 28 February, 2022;
originally announced March 2022.
-
Transcendental properties of entropy-constrained sets
Authors:
Vjosa Blakaj,
Michael M. Wolf
Abstract:
For information-theoretic quantities with an asymptotic operational characterization, the question arises whether an alternative single-shot characterization exists, possibly including an optimization over an ancilla system. If the expressions are algebraic and the ancilla is finite, this leads to semialgebraic level sets. In this work, we provide a criterion for disproving that a set is semialgeb…
▽ More
For information-theoretic quantities with an asymptotic operational characterization, the question arises whether an alternative single-shot characterization exists, possibly including an optimization over an ancilla system. If the expressions are algebraic and the ancilla is finite, this leads to semialgebraic level sets. In this work, we provide a criterion for disproving that a set is semialgebraic based on an analytic continuation of the Gauss map. Applied to the von Neumann entropy, this shows that its level sets are nowhere semialgebraic in dimension d>2, ruling out algebraic single-shot characterizations with finite ancilla (e.g., via catalytic transformations). We show similar results for related quantities, including the relative entropy, and discuss under which conditions entropy values are transcendental, algebraic, or rational.
△ Less
Submitted 19 December, 2021; v1 submitted 19 November, 2021;
originally announced November 2021.
-
Double Copy from Homotopy Algebras
Authors:
Leron Borsten,
Branislav Jurco,
Hyungrok Kim,
Tommaso Macrelli,
Christian Saemann,
Martin Wolf
Abstract:
We show that the BRST Lagrangian double copy construction of $\mathcal{N}=0$ supergravity as the `square' of Yang-Mills theory finds a natural interpretation in terms of homotopy algebras. We significantly expand on our previous work arguing the validity of the double copy at the loop level, and we give a detailed derivation of the double copied Lagrangian and BRST operator. Our constructions are…
▽ More
We show that the BRST Lagrangian double copy construction of $\mathcal{N}=0$ supergravity as the `square' of Yang-Mills theory finds a natural interpretation in terms of homotopy algebras. We significantly expand on our previous work arguing the validity of the double copy at the loop level, and we give a detailed derivation of the double copied Lagrangian and BRST operator. Our constructions are very general and can be applied to a vast set of examples.
△ Less
Submitted 8 September, 2021; v1 submitted 22 February, 2021;
originally announced February 2021.
-
'Interaction-Free' Channel Discrimination
Authors:
Markus Hasenöhrl,
Michael M. Wolf
Abstract:
In this work, we investigate the question, which objects one can discriminate perfectly by 'interaction-free' measurements. To this end, we interpret the Elitzur-Vaidman bomb-tester experiment as a quantum channel discrimination problem and generalize the notion of 'interaction-free' measurement to arbitrary quantum channels. Our main result is a necessary and sufficient criterion for when it is p…
▽ More
In this work, we investigate the question, which objects one can discriminate perfectly by 'interaction-free' measurements. To this end, we interpret the Elitzur-Vaidman bomb-tester experiment as a quantum channel discrimination problem and generalize the notion of 'interaction-free' measurement to arbitrary quantum channels. Our main result is a necessary and sufficient criterion for when it is possible or impossible to discriminate quantum channels in an 'interaction-free' manner (i.e., such that the discrimination error probability and the 'interaction' probability can be made arbitrarily small). For the case where our condition holds, we devise an explicit protocol with the property that both probabilities approach zero with an increasing number of channel uses, $N$. More specifically, the 'interaction' probability in our protocol decays as $\frac{1}{N}$ and we show that this rate is the optimal achievable one. Furthermore, our protocol only needs at most one ancillary qubit and might thus be implementable in near-term experiments. For the case where our condition does not hold, we prove an inequality that quantifies the trade-off between the error probability and the 'interaction' probability.
△ Less
Submitted 1 October, 2020;
originally announced October 2020.
-
Perturbative Quantum Field Theory and Homotopy Algebras
Authors:
Branislav Jurco,
Hyungrok Kim,
Tommaso Macrelli,
Christian Saemann,
Martin Wolf
Abstract:
We review the homotopy algebraic perspective on perturbative quantum field theory: classical field theories correspond to homotopy algebras such as $A_\infty$- and $L_\infty$-algebras. Furthermore, their scattering amplitudes are encoded in minimal models of these homotopy algebras at tree level and their quantum relatives at loop level. The translation between Lagrangian field theories and homoto…
▽ More
We review the homotopy algebraic perspective on perturbative quantum field theory: classical field theories correspond to homotopy algebras such as $A_\infty$- and $L_\infty$-algebras. Furthermore, their scattering amplitudes are encoded in minimal models of these homotopy algebras at tree level and their quantum relatives at loop level. The translation between Lagrangian field theories and homotopy algebras is provided by the Batalin--Vilkovisky formalism. The minimal models are computed recursively using the homological perturbation lemma, which induces useful recursion relations for the computation of scattering amplitudes. After explaining how the homological perturbation lemma produces the usual Feynman diagram expansion, we use our techniques to verify an identity for the Berends--Giele currents which implies the Kleiss--Kuijf relations.
△ Less
Submitted 21 August, 2020; v1 submitted 25 February, 2020;
originally announced February 2020.
-
Loop Amplitudes and Quantum Homotopy Algebras
Authors:
Branislav Jurco,
Tommaso Macrelli,
Christian Saemann,
Martin Wolf
Abstract:
We derive a recursion relation for loop-level scattering amplitudes of Lagrangian field theories that generalises the tree-level Berends-Giele recursion relation in Yang-Mills theory. The origin of this recursion relation is the homological perturbation lemma, which allows us to compute scattering amplitudes from minimal models of quantum homotopy algebras in a recursive way. As an application of…
▽ More
We derive a recursion relation for loop-level scattering amplitudes of Lagrangian field theories that generalises the tree-level Berends-Giele recursion relation in Yang-Mills theory. The origin of this recursion relation is the homological perturbation lemma, which allows us to compute scattering amplitudes from minimal models of quantum homotopy algebras in a recursive way. As an application of our techniques, we give an alternative proof of the relation between non-planar and planar colour-stripped scattering amplitudes.
△ Less
Submitted 6 July, 2020; v1 submitted 13 December, 2019;
originally announced December 2019.
-
Scattering Amplitude Recursion Relations in BV Quantisable Theories
Authors:
Tommaso Macrelli,
Christian Saemann,
Martin Wolf
Abstract:
Tree-level scattering amplitudes in Yang-Mills theory satisfy a recursion relation due to Berends and Giele which yields e.g. the famous Parke-Taylor formula for MHV amplitudes. We show that the origin of this recursion relation becomes clear in the BV formalism, which encodes a field theory in an $L_\infty$-algebra. The recursion relation is obtained in the transition to a smallest representative…
▽ More
Tree-level scattering amplitudes in Yang-Mills theory satisfy a recursion relation due to Berends and Giele which yields e.g. the famous Parke-Taylor formula for MHV amplitudes. We show that the origin of this recursion relation becomes clear in the BV formalism, which encodes a field theory in an $L_\infty$-algebra. The recursion relation is obtained in the transition to a smallest representative in the quasi-isomorphism class of that $L_\infty$-algebra, known as a minimal model. In fact, the quasi-isomorphism contains all the information about the scattering theory. As we explain, the computation of such a minimal model is readily performed in any BV quantisable theory, which, in turn, produces recursion relations for its tree-level scattering amplitudes.
△ Less
Submitted 21 October, 2020; v1 submitted 13 March, 2019;
originally announced March 2019.
-
Quantum Zeno effect generalized
Authors:
Tim Möbus,
Michael M. Wolf
Abstract:
The quantum Zeno effect, in its original form, uses frequent projective measurements to freeze the evolution of a quantum system that is initially governed by a fixed Hamiltonian. We generalize this effect simultaneously in three directions by allowing open system dynamics, time-dependent evolution equations and general quantum operations in place of projective measurements. More precisely, we stu…
▽ More
The quantum Zeno effect, in its original form, uses frequent projective measurements to freeze the evolution of a quantum system that is initially governed by a fixed Hamiltonian. We generalize this effect simultaneously in three directions by allowing open system dynamics, time-dependent evolution equations and general quantum operations in place of projective measurements. More precisely, we study Markovian master equations with bounded generators whose time dependence is Lipschitz continuous. Under a spectral gap condition on the quantum operation, we show how frequent measurements again freeze the evolution outside an invariant subspace. Inside this space the evolution is described by a modified master equation.
△ Less
Submitted 8 April, 2021; v1 submitted 27 January, 2019;
originally announced January 2019.
-
Are almost-symmetries almost linear?
Authors:
Javier Cuesta,
Michael M. Wolf
Abstract:
It $d-$pends. Wigner's symmetry theorem implies that transformations that preserve transition probabilities of pure quantum states are linear maps on the level of density operators. We investigate the stability of this implication. On the one hand, we show that any transformation that preserves transition probabilities up to an additive $\varepsilon$ in a separable Hilbert space admits a weak line…
▽ More
It $d-$pends. Wigner's symmetry theorem implies that transformations that preserve transition probabilities of pure quantum states are linear maps on the level of density operators. We investigate the stability of this implication. On the one hand, we show that any transformation that preserves transition probabilities up to an additive $\varepsilon$ in a separable Hilbert space admits a weak linear approximation, i.e. one relative to any fixed observable. This implies the existence of a linear approximation that is $4\sqrt{\varepsilon} d$-close in Hilbert-Schmidt norm, with $d$ the Hilbert space dimension. On the other hand, we prove that a linear approximation that is close in norm and independent of $d$ does not exist in general. To this end, we provide a lower bound that depends logarithmically on $d$.
△ Less
Submitted 24 December, 2018;
originally announced December 2018.
-
$L_\infty$-Algebras of Classical Field Theories and the Batalin-Vilkovisky Formalism
Authors:
Branislav Jurco,
Lorenzo Raspollini,
Christian Saemann,
Martin Wolf
Abstract:
We review in detail the Batalin-Vilkovisky formalism for Lagrangian field theories and its mathematical foundations with an emphasis on higher algebraic structures and classical field theories. In particular, we show how a field theory gives rise to an $L_\infty$-algebra and how quasi-isomorphisms between $L_\infty$-algebras correspond to classical equivalences of field theories. A few experts may…
▽ More
We review in detail the Batalin-Vilkovisky formalism for Lagrangian field theories and its mathematical foundations with an emphasis on higher algebraic structures and classical field theories. In particular, we show how a field theory gives rise to an $L_\infty$-algebra and how quasi-isomorphisms between $L_\infty$-algebras correspond to classical equivalences of field theories. A few experts may be familiar with parts of our discussion, however, the material is presented from the perspective of a very general notion of a gauge theory. We also make a number of new observations and present some new results. Most importantly, we discuss in great detail higher (categorified) Chern-Simons theories and give some useful shortcuts in usually rather involved computations.
△ Less
Submitted 10 June, 2021; v1 submitted 26 September, 2018;
originally announced September 2018.
-
When Do Composed Maps Become Entanglement Breaking?
Authors:
Matthias Christandl,
Alexander Müller-Hermes,
Michael M. Wolf
Abstract:
For many completely positive maps repeated compositions will eventually become entanglement breaking. To quantify this behaviour we develop a technique based on the Schmidt number: If a completely positive map breaks the entanglement with respect to any qubit ancilla, then applying it to part of a bipartite quantum state will result in a Schmidt number bounded away from the maximum possible value.…
▽ More
For many completely positive maps repeated compositions will eventually become entanglement breaking. To quantify this behaviour we develop a technique based on the Schmidt number: If a completely positive map breaks the entanglement with respect to any qubit ancilla, then applying it to part of a bipartite quantum state will result in a Schmidt number bounded away from the maximum possible value. Iterating this result puts a successively decreasing upper bound on the Schmidt number arising in this way from compositions of such a map. By applying this technique to completely positive maps in dimension three that are also completely copositive we prove the so called PPT squared conjecture in this dimension. We then give more examples of completely positive maps where our technique can be applied, e.g.~maps close to the completely depolarizing map, and maps of low rank. Finally, we study the PPT squared conjecture in more detail, establishing equivalent conjectures related to other parts of quantum information theory, and we prove the conjecture for Gaussian quantum channels.
△ Less
Submitted 17 June, 2019; v1 submitted 3 July, 2018;
originally announced July 2018.
-
Universality and Optimality in the Information-Disturbance Tradeoff
Authors:
Anna-Lena K. Hashagen,
Michael M. Wolf
Abstract:
We investigate the tradeoff between the quality of an approximate version of a given measurement and the disturbance it induces in the measured quantum system. We prove that if the target measurement is a non-degenerate von Neumann measurement, then the optimal tradeoff can always be achieved within a two-parameter family of quantum devices that is independent of the chosen distance measures. This…
▽ More
We investigate the tradeoff between the quality of an approximate version of a given measurement and the disturbance it induces in the measured quantum system. We prove that if the target measurement is a non-degenerate von Neumann measurement, then the optimal tradeoff can always be achieved within a two-parameter family of quantum devices that is independent of the chosen distance measures. This form of almost universal optimality holds under mild assumptions on the distance measures such as convexity and basis-independence, which are satisfied for all the usual cases that are based on norms, transport cost functions, relative entropies, fidelities, etc. for both worst-case and average-case analysis. We analyze the case of the cb-norm (or diamond norm) more generally for which we show dimension-independence of the derived optimal tradeoff for general von Neumann measurements. A SDP solution is provided for general POVMs and shown to exist for arbitrary convex semialgebraic distance measures.
△ Less
Submitted 19 September, 2018; v1 submitted 27 February, 2018;
originally announced February 2018.
-
Quantum compression relative to a set of measurements
Authors:
Andreas Bluhm,
Lukas Rauber,
Michael M. Wolf
Abstract:
In this work, we investigate the possibility of compressing a quantum system to one of smaller dimension in a way that preserves the measurement statistics of a given set of observables. In this process, we allow for an arbitrary amount of classical side information. We find that the latter can be bounded, which implies that the minimal compression dimension is stable in the sense that it cannot b…
▽ More
In this work, we investigate the possibility of compressing a quantum system to one of smaller dimension in a way that preserves the measurement statistics of a given set of observables. In this process, we allow for an arbitrary amount of classical side information. We find that the latter can be bounded, which implies that the minimal compression dimension is stable in the sense that it cannot be decreased by allowing for small errors. Various bounds on the minimal compression dimension are proven and an SDP-based algorithm for its computation is provided. The results are based on two independent approaches: an operator algebraic method using a fixed point result by Arveson and an algebro-geometric method that relies on irreducible polynomials and Bézout's theorem. The latter approach allows lifting the results from the single copy level to the case of multiple copies and from completely positive to merely positive maps.
△ Less
Submitted 22 June, 2018; v1 submitted 16 August, 2017;
originally announced August 2017.
-
Supersymmetric Yang-Mills Theory as Higher Chern-Simons Theory
Authors:
Christian Saemann,
Martin Wolf
Abstract:
We observe that the string field theory actions for the topological sigma models describe higher or categorified Chern-Simons theories. These theories yield dynamical equations for connective structures on higher principal bundles. As a special case, we consider holomorphic higher Chern-Simons theory on the ambitwistor space of four-dimensional space-time. In particular, we propose a higher ambitw…
▽ More
We observe that the string field theory actions for the topological sigma models describe higher or categorified Chern-Simons theories. These theories yield dynamical equations for connective structures on higher principal bundles. As a special case, we consider holomorphic higher Chern-Simons theory on the ambitwistor space of four-dimensional space-time. In particular, we propose a higher ambitwistor space action functional for maximally supersymmetric Yang-Mills theory.
△ Less
Submitted 26 July, 2017; v1 submitted 14 February, 2017;
originally announced February 2017.
-
Perturbation Bounds for Williamson's Symplectic Normal Form
Authors:
Martin Idel,
Sebatian Soto Gaona,
Michael M. Wolf
Abstract:
Given a real-valued positive semidefinite matrix, Williamson proved that it can be diagonalised using symplectic matrices. The corresponding diagonal values are known as the symplectic spectrum. This paper is concerned with the stability of Williamson's decomposition under perturbations. We provide norm bounds for the stability of the symplectic eigenvalues and prove that if $S$ diagonalises a giv…
▽ More
Given a real-valued positive semidefinite matrix, Williamson proved that it can be diagonalised using symplectic matrices. The corresponding diagonal values are known as the symplectic spectrum. This paper is concerned with the stability of Williamson's decomposition under perturbations. We provide norm bounds for the stability of the symplectic eigenvalues and prove that if $S$ diagonalises a given matrix $M$ to Williamson form, then $S$ is stable if the symplectic spectrum is nondegenerate and $S^TS$ is always stable. Finally, we sketch a few applications of the results in quantum information theory.
△ Less
Submitted 5 September, 2016;
originally announced September 2016.
-
An operational measure for squeezing
Authors:
Martin Idel,
Daniel Lercher,
Michael M. Wolf
Abstract:
We propose and analyse a mathematical measure for the amount of squeezing contained in a continuous variable quantum state. We show that the proposed measure operationally quantifies the minimal amount of squeezing needed to prepare a given quantum state and that it can be regarded as a squeezing analogue of the "entanglement of formation". We prove that the measure is convex and superadditive and…
▽ More
We propose and analyse a mathematical measure for the amount of squeezing contained in a continuous variable quantum state. We show that the proposed measure operationally quantifies the minimal amount of squeezing needed to prepare a given quantum state and that it can be regarded as a squeezing analogue of the "entanglement of formation". We prove that the measure is convex and superadditive and we provide analytic bounds as well as a numerical convex optimisation algorithm for its computation. By example, we then show that the amount of squeezing needed for the preparation of certain multi-mode quantum states can be significantly lower than naive approaches suggest.
△ Less
Submitted 4 July, 2016;
originally announced July 2016.
-
Higher Groupoid Bundles, Higher Spaces, and Self-Dual Tensor Field Equations
Authors:
Branislav Jurco,
Christian Saemann,
Martin Wolf
Abstract:
We develop a description of higher gauge theory with higher groupoids as gauge structure from first principles. This approach captures ordinary gauge theories and gauged sigma models as well as their categorifications on a very general class of (higher) spaces comprising presentable differentiable stacks, as e.g. orbifolds. We start off with a self-contained review on simplicial sets as models of…
▽ More
We develop a description of higher gauge theory with higher groupoids as gauge structure from first principles. This approach captures ordinary gauge theories and gauged sigma models as well as their categorifications on a very general class of (higher) spaces comprising presentable differentiable stacks, as e.g. orbifolds. We start off with a self-contained review on simplicial sets as models of $(\infty,1)$-categories. We then discuss principal bundles in terms of simplicial maps and their homotopies. We explain in detail a differentiation procedure, suggested by Severa, that maps higher groupoids to $L_\infty$-algebroids. Generalising this procedure, we define connections for higher groupoid bundles. As an application, we obtain six-dimensional superconformal field theories via a Penrose-Ward transform of higher groupoid bundles over a twistor space. This construction reduces the search for non-Abelian self-dual tensor field equations in six dimensions to a search for the appropriate (higher) gauge structure. The treatment aims to be accessible to theoretical physicists.
△ Less
Submitted 24 August, 2016; v1 submitted 6 April, 2016;
originally announced April 2016.
-
Size-Driven Quantum Phase Transitions
Authors:
Johannes Bausch,
Toby S. Cubitt,
Angelo Lucia,
David Perez-Garcia,
Michael M. Wolf
Abstract:
Can the properties of the thermodynamic limit of a many-body quantum system be extrapolated by analysing a sequence of finite-size cases? We present a model for which such an approach gives completely misleading results: a translationally invariant, local Hamiltonian on a square lattice with open boundary conditions and constant spectral gap, which has a classical product ground state for all syst…
▽ More
Can the properties of the thermodynamic limit of a many-body quantum system be extrapolated by analysing a sequence of finite-size cases? We present a model for which such an approach gives completely misleading results: a translationally invariant, local Hamiltonian on a square lattice with open boundary conditions and constant spectral gap, which has a classical product ground state for all system sizes smaller than a particular threshold size, but a ground state with topological degeneracy for all system sizes larger than this threshold. Starting from a minimal case with spins of dimension 6 and threshold lattice size 15 x 15, we show that the latter grows faster than any computable function with increasing local spin dimension. The resulting effect may be viewed as a new type of quantum phase transition that is driven by the size of the system rather than by an external field or coupling strength. We prove that the construction is thermally robust, opening the possibility that these effects are accessible to experimental observation.
△ Less
Submitted 3 February, 2018; v1 submitted 17 December, 2015;
originally announced December 2015.
-
Relative Entropy Convergence for Depolarizing Channels
Authors:
Alexander Müller-Hermes,
Daniel Stilck Franca,
Michael M. Wolf
Abstract:
We study the convergence of states under continuous-time depolarizing channels with full rank fixed points in terms of the relative entropy. The optimal exponent of an upper bound on the relative entropy in this case is given by the log-Sobolev-1 constant. Our main result is the computation of this constant. As an application we use the log-Sobolev-1 constant of the depolarizing channels to improv…
▽ More
We study the convergence of states under continuous-time depolarizing channels with full rank fixed points in terms of the relative entropy. The optimal exponent of an upper bound on the relative entropy in this case is given by the log-Sobolev-1 constant. Our main result is the computation of this constant. As an application we use the log-Sobolev-1 constant of the depolarizing channels to improve the concavity inequality of the von-Neumann entropy. This result is compared to similar bounds obtained recently by Kim et al. and we show a version of Pinsker's inequality, which is optimal and tight if we fix the second argument of the relative entropy. Finally, we consider the log-Sobolev-1 constant of tensor-powers of the completely depolarizing channel and use a quantum version of Shearer's inequality to prove a uniform lower bound.
△ Less
Submitted 27 August, 2015;
originally announced August 2015.
-
Constrained Quantum Tomography of Semi-Algebraic Sets with Applications to Low-Rank Matrix Recovery
Authors:
Michael Kech,
Michael M. Wolf
Abstract:
We analyze quantum state tomography in scenarios where measurements and states are both constrained. States are assumed to live in a semi-algebraic subset of state space and measurements are supposed to be rank-one POVMs, possibly with additional constraints. Specifically, we consider sets of von Neumann measurements and sets of local observables. We provide upper bounds on the minimal number of m…
▽ More
We analyze quantum state tomography in scenarios where measurements and states are both constrained. States are assumed to live in a semi-algebraic subset of state space and measurements are supposed to be rank-one POVMs, possibly with additional constraints. Specifically, we consider sets of von Neumann measurements and sets of local observables. We provide upper bounds on the minimal number of measurement settings or outcomes that are required for discriminating all states within the given set. The bounds exploit tools from real algebraic geometry and lead to generic results that do not only show the existence of good measurements but guarantee that almost all measurements with the same dimension characteristic perform equally well.
In particular, we show that on an $n$-dimensional Hilbert space any two states of a semi-algebraic subset can be discriminated by $k$ generic von Neumann measurements if $k(n-1)$ is larger than twice the dimension of the subset. In case the subset is given by states of rank at most $r$, we show that $k$ generic von Neumann measurements suffice to discriminate any two states provided that $k(n-1)>4r(n-r)-2$. We obtain corresponding results for low-rank matrix recovery of hermitian matrices in the scenario where the linear measurement mapping is induced by tight frames.
△ Less
Submitted 21 January, 2017; v1 submitted 3 July, 2015;
originally announced July 2015.
-
Connected components of irreducible maps and 1D quantum phases
Authors:
Oleg Szehr,
Michael M. Wolf
Abstract:
We investigate elementary topological properties of sets of completely positive (CP) maps that arise in quantum Perron-Frobenius theory. We prove that the set of primitive CP maps of fixed Kraus rank is path-connected and we provide a complete classification of the connected components of irreducible CP maps at given Kraus rank and fixed peripheral spectrum in terms of a multiplicity index. These…
▽ More
We investigate elementary topological properties of sets of completely positive (CP) maps that arise in quantum Perron-Frobenius theory. We prove that the set of primitive CP maps of fixed Kraus rank is path-connected and we provide a complete classification of the connected components of irreducible CP maps at given Kraus rank and fixed peripheral spectrum in terms of a multiplicity index. These findings are then applied to analyse 1D quantum phases by studying equivalence classes of translational invariant Matrix Product States that correspond to the connected components of the respective CP maps. Our results extend the previously obtained picture in that they do not require blocking of physical sites, they lead to analytic paths and they allow to decompose into ergodic components and to study the breaking of translational symmetry.
△ Less
Submitted 24 June, 2015;
originally announced June 2015.
-
Entropy Production of Doubly Stochastic Quantum Channels
Authors:
Alexander Müller-Hermes,
Daniel Stilck Franca,
Michael M. Wolf
Abstract:
We study the entropy increase of quantum systems evolving under primitive, doubly stochastic Markovian noise and thus converging to the maximally mixed state. This entropy increase can be quantified by a logarithmic-Sobolev constant of the Liouvillian generating the noise. We prove a universal lower bound on this constant that stays invariant under taking tensor-powers. Our methods involve a new c…
▽ More
We study the entropy increase of quantum systems evolving under primitive, doubly stochastic Markovian noise and thus converging to the maximally mixed state. This entropy increase can be quantified by a logarithmic-Sobolev constant of the Liouvillian generating the noise. We prove a universal lower bound on this constant that stays invariant under taking tensor-powers. Our methods involve a new comparison method to relate logarithmic-Sobolev constants of different Liouvillians and a technique to compute logarithmic-Sobolev inequalities of Liouvillians with eigenvectors forming a projective representation of a finite abelian group. Our bounds improve upon similar results established before and as an application we prove an upper bound on continuous-time quantum capacities. In the last part of this work we study entropy production estimates of discrete-time doubly-stochastic quantum channels by extending the framework of discrete-time logarithmic-Sobolev inequalities to the quantum case.
△ Less
Submitted 19 May, 2015; v1 submitted 18 May, 2015;
originally announced May 2015.
-
The Role of Topology in Quantum Tomography
Authors:
Michael Kech,
Péter Vrana,
Michael Wolf
Abstract:
We investigate quantum tomography in scenarios where prior information restricts the state space to a smooth manifold of lower dimensionality. By considering stability we provide a general framework that relates the topology of the manifold to the minimal number of binary measurement settings that is necessary to discriminate any two states on the manifold. We apply these findings to cases where t…
▽ More
We investigate quantum tomography in scenarios where prior information restricts the state space to a smooth manifold of lower dimensionality. By considering stability we provide a general framework that relates the topology of the manifold to the minimal number of binary measurement settings that is necessary to discriminate any two states on the manifold. We apply these findings to cases where the subset of states under consideration is given by states with bounded rank, fixed spectrum, given unitary symmetry or taken from a unitary orbit. For all these cases we provide both upper and lower bounds on the minimal number of binary measurement settings necessary to discriminate any two states of these subsets.
△ Less
Submitted 15 June, 2015; v1 submitted 2 March, 2015;
originally announced March 2015.
-
Positivity of linear maps under tensor powers
Authors:
Alexander Müller-Hermes,
David Reeb,
Michael M. Wolf
Abstract:
We investigate linear maps between matrix algebras that remain positive under tensor powers, i.e., under tensoring with $n$ copies of themselves. Completely positive and completely co-positive maps are trivial examples of this kind. We show that for every $n\in\mathbb{N}$ there exist non-trivial maps with this property and that for two-dimensional Hilbert spaces there is no non-trivial map for whi…
▽ More
We investigate linear maps between matrix algebras that remain positive under tensor powers, i.e., under tensoring with $n$ copies of themselves. Completely positive and completely co-positive maps are trivial examples of this kind. We show that for every $n\in\mathbb{N}$ there exist non-trivial maps with this property and that for two-dimensional Hilbert spaces there is no non-trivial map for which this holds for all $n$. For higher dimensions we reduce the existence question of such non-trivial "tensor-stable positive maps" to a one-parameter family of maps and show that an affirmative answer would imply the existence of NPPT bound entanglement.
As an application we show that any tensor-stable positive map that is not completely positive yields an upper bound on the quantum channel capacity, which for the transposition map gives the well-known cb-norm bound. We furthermore show that the latter is an upper bound even for the LOCC-assisted quantum capacity, and that moreover it is a strong converse rate for this task.
△ Less
Submitted 20 December, 2015; v1 submitted 19 February, 2015;
originally announced February 2015.
-
Undecidability of the Spectral Gap (full version)
Authors:
Toby Cubitt,
David Perez-Garcia,
Michael M. Wolf
Abstract:
We show that the spectral gap problem is undecidable. Specifically, we construct families of translationally-invariant, nearest-neighbour Hamiltonians on a 2D square lattice of d-level quantum systems (d constant), for which determining whether the system is gapped or gapless is an undecidable problem. This is true even with the promise that each Hamiltonian is either gapped or gapless in the stro…
▽ More
We show that the spectral gap problem is undecidable. Specifically, we construct families of translationally-invariant, nearest-neighbour Hamiltonians on a 2D square lattice of d-level quantum systems (d constant), for which determining whether the system is gapped or gapless is an undecidable problem. This is true even with the promise that each Hamiltonian is either gapped or gapless in the strongest sense: it is promised to either have continuous spectrum above the ground state in the thermodynamic limit, or its spectral gap is lower-bounded by a constant in the thermodynamic limit. Moreover, this constant can be taken equal to the local interaction strength of the Hamiltonian.
△ Less
Submitted 26 July, 2022; v1 submitted 16 February, 2015;
originally announced February 2015.
-
Undecidability of the Spectral Gap (short version)
Authors:
Toby Cubitt,
David Perez-Garcia,
Michael M. Wolf
Abstract:
The spectral gap - the energy difference between the ground state and first excited state - is central to quantum many-body physics. Many challenging open problems, such as the Haldane conjecture, existence of gapped topological spin liquid phases, or the Yang-Mills gap conjecture, concern spectral gaps. These and other problems are particular cases of the general spectral gap problem: given a qua…
▽ More
The spectral gap - the energy difference between the ground state and first excited state - is central to quantum many-body physics. Many challenging open problems, such as the Haldane conjecture, existence of gapped topological spin liquid phases, or the Yang-Mills gap conjecture, concern spectral gaps. These and other problems are particular cases of the general spectral gap problem: given a quantum many-body Hamiltonian, is it gapped or gapless? Here we prove that this is an undecidable problem. We construct families of quantum spin systems on a 2D lattice with translationally-invariant, nearest-neighbour interactions for which the spectral gap problem is undecidable. This result extends to undecidability of other low energy properties, such as existence of algebraically decaying ground-state correlations. The proof combines Hamiltonian complexity techniques with aperiodic tilings, to construct a Hamiltonian whose ground state encodes the evolution of a quantum phase-estimation algorithm followed by a universal Turing Machine. The spectral gap depends on the outcome of the corresponding Halting Problem. Our result implies that there exists no algorithm to determine whether an arbitrary model is gapped or gapless. It also implies that there exist models for which the presence or absence of a spectral gap is independent of the axioms of mathematics.
△ Less
Submitted 20 July, 2018; v1 submitted 13 February, 2015;
originally announced February 2015.
-
Will a physicist prove the Riemann Hypothesis?
Authors:
Marek Wolf
Abstract:
In the first part we present the number theoretical properties of the Riemann zeta function and formulate the Riemann Hypothesis. In the second part we review some physical problems related to this hypothesis: the links with Random Matrix Theory, relation with the Lee--Yang theorem on the zeros of the partition function, random walks, billiards etc.
In the first part we present the number theoretical properties of the Riemann zeta function and formulate the Riemann Hypothesis. In the second part we review some physical problems related to this hypothesis: the links with Random Matrix Theory, relation with the Lee--Yang theorem on the zeros of the partition function, random walks, billiards etc.
△ Less
Submitted 1 December, 2015; v1 submitted 5 October, 2014;
originally announced October 2014.
-
Sinkhorn normal form for unitary matrices
Authors:
Martin Idel,
Michael M. Wolf
Abstract:
Sinkhorn proved that every entry-wise positive matrix can be made doubly stochastic by multiplying with two diagonal matrices. In this note we prove a recently conjectured analogue for unitary matrices: every unitary can be decomposed into two diagonal unitaries and one whose row- and column sums are equal to one. The proof is non-constructive and based on a reformulation in terms of symplectic to…
▽ More
Sinkhorn proved that every entry-wise positive matrix can be made doubly stochastic by multiplying with two diagonal matrices. In this note we prove a recently conjectured analogue for unitary matrices: every unitary can be decomposed into two diagonal unitaries and one whose row- and column sums are equal to one. The proof is non-constructive and based on a reformulation in terms of symplectic topology. As a corollary, we obtain a decomposition of unitary matrices into an interlaced product of unitary diagonal matrices and discrete Fourier transformations. This provides a new decomposition of linear optics arrays into phase shifters and canonical multiports described by Fourier transformations.
△ Less
Submitted 4 September, 2015; v1 submitted 25 August, 2014;
originally announced August 2014.
-
Quantum channels with polytopic images and image additivity
Authors:
Motohisa Fukuda,
Ion Nechita,
Michael M. Wolf
Abstract:
We study quantum channels with respect to their image, i.e., the image of the set of density operators under the action of the channel. We first characterize the set of quantum channels having polytopic images and show that additivity of the minimal output entropy can be violated in this class. We then provide a complete characterization of quantum channels $T$ that are universally image additive…
▽ More
We study quantum channels with respect to their image, i.e., the image of the set of density operators under the action of the channel. We first characterize the set of quantum channels having polytopic images and show that additivity of the minimal output entropy can be violated in this class. We then provide a complete characterization of quantum channels $T$ that are universally image additive in the sense that for any quantum channel $S$, the image of $T \otimes S$ is the convex hull of the tensor product of the images of $T$ and $S$. These channels turn out to form a strict subset of entanglement breaking channels with polytopic images and a strict superset of classical-quantum channels.
△ Less
Submitted 11 August, 2014;
originally announced August 2014.
-
Semistrict Higher Gauge Theory
Authors:
Branislav Jurco,
Christian Saemann,
Martin Wolf
Abstract:
We develop semistrict higher gauge theory from first principles. In particular, we describe the differential Deligne cohomology underlying semistrict principal 2-bundles with connective structures. Principal 2-bundles are obtained in terms of weak 2-functors from the Cech groupoid to weak Lie 2-groups. As is demonstrated, some of these Lie 2-groups can be differentiated to semistrict Lie 2-algebra…
▽ More
We develop semistrict higher gauge theory from first principles. In particular, we describe the differential Deligne cohomology underlying semistrict principal 2-bundles with connective structures. Principal 2-bundles are obtained in terms of weak 2-functors from the Cech groupoid to weak Lie 2-groups. As is demonstrated, some of these Lie 2-groups can be differentiated to semistrict Lie 2-algebras by a method due to Severa. We further derive the full description of connective structures on semistrict principal 2-bundles including the non-linear gauge transformations. As an application, we use a twistor construction to derive superconformal constraint equations in six dimensions for a non-Abelian N=(2,0) tensor multiplet taking values in a semistrict Lie 2-algebra.
△ Less
Submitted 29 April, 2015; v1 submitted 27 March, 2014;
originally announced March 2014.
-
Perturbation Theory for Parent Hamiltonians of Matrix Product States
Authors:
Oleg Szehr,
Michael M. Wolf
Abstract:
This article investigates the stability of the ground state subspace of a canonical parent Hamiltonian of a Matrix product state against local perturbations. We prove that the spectral gap of such a Hamiltonian remains stable under weak local perturbations even in the thermodynamic limit, where the entire perturbation might not be bounded. Our discussion is based on preceding work by D.A. Yarotsky…
▽ More
This article investigates the stability of the ground state subspace of a canonical parent Hamiltonian of a Matrix product state against local perturbations. We prove that the spectral gap of such a Hamiltonian remains stable under weak local perturbations even in the thermodynamic limit, where the entire perturbation might not be bounded. Our discussion is based on preceding work by D.A. Yarotsky that develops a perturbation theory for relatively bounded quantum perturbation of classical Hamiltonians. We exploit a renormalization procedure, which on large scale transforms the parent Hamiltonian of a Matrix product state into a classical Hamiltonian plus some perturbation. We can thus extend D.A. Yarotsky's results to provide a perturbation theory for parent Hamiltonians of Matrix product states and recover some of the findings of independent contributions by S. Michalakis et al. [arXiv:1109.1588] and J. I. Cirac et al. [arXiv:1306.4003].
△ Less
Submitted 18 February, 2015; v1 submitted 17 February, 2014;
originally announced February 2014.
-
Quantum Subdivision Capacities and Continuous-time Quantum Coding
Authors:
Alexander Müller-Hermes,
David Reeb,
Michael M. Wolf
Abstract:
Quantum memories can be regarded as quantum channels that transmit information through time without moving it through space. Aiming at a reliable storage of information we may thus not only encode at the beginning and decode at the end, but also intervene during the transmission - a possibility not captured by the ordinary capacities in Quantum Shannon Theory. In this work we introduce capacities…
▽ More
Quantum memories can be regarded as quantum channels that transmit information through time without moving it through space. Aiming at a reliable storage of information we may thus not only encode at the beginning and decode at the end, but also intervene during the transmission - a possibility not captured by the ordinary capacities in Quantum Shannon Theory. In this work we introduce capacities that take this possibility into account and study them in particular for the transmission of quantum information via dynamical semigroups of Lindblad form. When the evolution is subdivided and supplemented by additional continuous semigroups acting on arbitrary block sizes, we show that the capacity of the ideal channel can be obtained in all cases. If the supplementary evolution is reversible, however, this is no longer the case. Upper and lower bounds for this scenario are proven. Finally, we provide a continuous coding scheme and simple examples showing that adding a purely dissipative term to a Liouvillian can sometimes increase the quantum capacity.
△ Less
Submitted 20 March, 2015; v1 submitted 10 October, 2013;
originally announced October 2013.
-
Fault-ignorant Quantum Search
Authors:
Peter Vrana,
David Reeb,
Daniel Reitzner,
Michael M. Wolf
Abstract:
We investigate the problem of quantum searching on a noisy quantum computer. Taking a 'fault-ignorant' approach, we analyze quantum algorithms that solve the task for various different noise strengths, which are possibly unknown beforehand. We prove lower bounds on the runtime of such algorithms and thereby find that the quadratic speedup is necessarily lost (in our noise models). However, for low…
▽ More
We investigate the problem of quantum searching on a noisy quantum computer. Taking a 'fault-ignorant' approach, we analyze quantum algorithms that solve the task for various different noise strengths, which are possibly unknown beforehand. We prove lower bounds on the runtime of such algorithms and thereby find that the quadratic speedup is necessarily lost (in our noise models). However, for low but constant noise levels the algorithms we provide (based on Grover's algorithm) still outperform the best noiseless classical search algorithm.
△ Less
Submitted 25 July, 2014; v1 submitted 2 July, 2013;
originally announced July 2013.
-
An improved Landauer Principle with finite-size corrections
Authors:
David Reeb,
Michael M. Wolf
Abstract:
Landauer's Principle relates entropy decrease and heat dissipation during logically irreversible processes. Most theoretical justifications of Landauer's Principle either use thermodynamic reasoning or rely on specific models based on arguable assumptions. Here, we aim at a general and minimal setup to formulate Landauer's Principle in precise terms. We provide a simple and rigorous proof of an im…
▽ More
Landauer's Principle relates entropy decrease and heat dissipation during logically irreversible processes. Most theoretical justifications of Landauer's Principle either use thermodynamic reasoning or rely on specific models based on arguable assumptions. Here, we aim at a general and minimal setup to formulate Landauer's Principle in precise terms. We provide a simple and rigorous proof of an improved version of the Principle, which is formulated in terms of an equality rather than an inequality. The proof is based on quantum statistical mechanics concepts rather than on thermodynamic argumentation. From this equality version, we obtain explicit improvements of Landauer's bound that depend on the effective size of the thermal reservoir and reduce to Landauer's bound only for infinite-sized reservoirs.
△ Less
Submitted 11 October, 2014; v1 submitted 18 June, 2013;
originally announced June 2013.
-
Six-Dimensional Superconformal Field Theories from Principal 3-Bundles over Twistor Space
Authors:
Christian Saemann,
Martin Wolf
Abstract:
We construct manifestly superconformal field theories in six dimensions which contain a non-Abelian tensor multiplet. In particular, we show how principal 3-bundles over a suitable twistor space encode solutions to these self-dual tensor field theories via a Penrose-Ward transform. The resulting higher or categorified gauge theories significantly generalise those obtained previously from principal…
▽ More
We construct manifestly superconformal field theories in six dimensions which contain a non-Abelian tensor multiplet. In particular, we show how principal 3-bundles over a suitable twistor space encode solutions to these self-dual tensor field theories via a Penrose-Ward transform. The resulting higher or categorified gauge theories significantly generalise those obtained previously from principal 2-bundles in that the so-called Peiffer identity is relaxed in a systematic fashion. This transform also exposes various unexplored structures of higher gauge theories modelled on principal 3-bundles such as the relevant gauge transformations. This enables us to formulate the non-Abelian differential cohomology that describes principal 3-bundles with connective structures.
△ Less
Submitted 9 July, 2014; v1 submitted 21 May, 2013;
originally announced May 2013.
-
Spectral convergence bounds for classical and quantum Markov processes
Authors:
Oleg Szehr,
David Reeb,
Michael M. Wolf
Abstract:
We introduce a new framework that yields spectral bounds on norms of functions of transition maps for finite, homogeneous Markov chains. The techniques employed work for bounded semigroups, in particular for classical as well as for quantum Markov chains and they do not require additional assumptions like detailed balance, irreducibility or aperiodicity. We use the method in order to derive conver…
▽ More
We introduce a new framework that yields spectral bounds on norms of functions of transition maps for finite, homogeneous Markov chains. The techniques employed work for bounded semigroups, in particular for classical as well as for quantum Markov chains and they do not require additional assumptions like detailed balance, irreducibility or aperiodicity. We use the method in order to derive convergence bounds that improve significantly upon known spectral bounds. The core technical observation is that power-boundedness of transition maps of Markov chains enables a Wiener algebra functional calculus in order to upper bound any norm of any holomorphic function of the transition map. Finally, we discuss how general detailed balance conditions for quantum Markov processes lead to spectral convergence bounds.
△ Less
Submitted 21 October, 2014; v1 submitted 21 January, 2013;
originally announced January 2013.
-
Nearest neighbor spacing distribution of prime numbers and quantum chaos
Authors:
Marek Wolf
Abstract:
We give heuristic arguments and computer results to support the hypothesis that, after appropriate rescaling, the statistics of spacings between adjacent prime numbers follows the Poisson distribution. The scaling transformation removes the oscillations in the NNSD of primes. These oscillations have the very profound period of length six. We also calculate the spectral rigidity $Δ_3$ for prime num…
▽ More
We give heuristic arguments and computer results to support the hypothesis that, after appropriate rescaling, the statistics of spacings between adjacent prime numbers follows the Poisson distribution. The scaling transformation removes the oscillations in the NNSD of primes. These oscillations have the very profound period of length six. We also calculate the spectral rigidity $Δ_3$ for prime numbers by two methods. After suitable averaging one of these methods gives the Poisson dependence $Δ_3(L)=L/15$.
△ Less
Submitted 7 January, 2014; v1 submitted 16 December, 2012;
originally announced December 2012.
