Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userWell-tempered ZX and ZH Calculi
71
0
0.0
(
0
)
Authors
Niel de Beaudrap
Ask ChatGPT about the research
No Arabic abstract
The ZX calculus is a mathematical tool to represent and analyse quantum operations by manipulating diagrams which in effect represent tensor networks. Two families of nodes of these networks are ones which commute with either Z rotations or X rotations, usually called green nodes and red nodes respectively. The original formulation of the ZX calculus was motivated in part by properties of the algebras formed by the green and red nodes: notably, that they form a bialgebra -- but only up to scalar factors. As a consequence, the diagram transformations and notation for certain unitary operations involve scalar gadgets which denote contributions to a normalising factor. We present renormalised generators for the ZX calculus, which form a bialgebra precisely. As a result, no scalar gadgets are required to represent the most common unitary transformations, and the corresponding diagram transformations are generally simpler. We also present a similar renormalised version of the ZH calculus. We obtain these results by an analysis of conditions under which various idealised rewrites are sound, leveraging the existing presentations of the ZX and ZH calculi.
rate research
Read More
ZX-calculus is graphical language for quantum computing which usually focuses on qubits. In this paper, we generalise qubit ZX-calculus to qudit ZX-calculus in any finite dimension by introducing suitable generators, especially a carefully chosen triangle node. As a consequence we obtain a set of rewriting rules which can be seen as a direct generalisation of qubit rules, and a normal form for any qudit vectors. Based on the qudit ZX-calculi, we propose a graphical formalism called qufinite ZX-calculus as a unified framework for all qudit ZX-calculi, which is universal for finite quantum theory due to a normal form for matrix of any finite size. As a result, it would be interesting to give a fine-grained version of the diagrammatic reconstruction of finite quantum theory [Selby2021reconstructing] within the framework of qufinite ZX-calculus.
Self tuning is one of the few methods for dynamically cancelling a large cosmological constant and yet giving an accelerating universe. Its drawback is that it tends to screen all sources of energy density, including matter. We develop a model that tempers the self tuning so the dynamical scalar field still cancels an arbitrary cosmological constant, including the vacuum energy through any high energy phase transitions, without affecting the matter fields. The scalar-tensor gravitational action is simple, related to cubic Horndeski gravity, with a nonlinear derivative interaction plus a tadpole term. Applying shift symmetry and using the property of degeneracy of the field equations we find families of functions that admit de Sitter solutions with expansion rates that are independent of the magnitude of the cosmological constant and preserve radiation and matter dominated phases. That is, the method can deliver a standard cosmic history including current acceleration, despite the presence of a Planck scale cosmological constant.
When faced with two nigh intractable problems in cosmology -- how to remove the original cosmological constant problem and how to parametrize modified gravity to explain current cosmic acceleration -- we can make progress by counterposing them. The well tempered solution to the cosmological constant through degenerate scalar field dynamics also relates disparate Horndeski gravity terms, making them contrapuntal. We derive the connection between the kinetic term $K$ and braiding term $G_3$ for shift symmetric theories (including the running Planck mass $G_4$), extending previous work on monomial or binomial dependence to polynomials of arbitrary finite degree. We also exhibit an example for an infinite series expansion. This contrapuntal condition greatly reduces the number of parameters needed to test modified gravity against cosmological observations, for these golden theories of gravity.
Well tempering is one of the few classical field theory methods for solving the original cosmological constant problem, dynamically canceling a large (possibly Planck scale) vacuum energy and leaving the matter component intact, while providing a viable cosmology with late time cosmic acceleration and an end de Sitter state. We present the general constraints that variations of Horndeski gravity models with different combinations of terms must satisfy to admit an exact de Sitter spacetime that does not respond to an arbitrarily large cosmological constant. We explicitly derive several specific scalar-tensor models that well temper and can deliver a standard cosmic history including current cosmic acceleration. Stability criteria, attractor behavior of the de Sitter state, and the response of the models to pressureless matter are considered. The well tempered conditions can be used to focus on particular models of modified gravity that have special interest -- not only removing the original cosmological constant problem but providing relations between the free Horndeski functions and reducing them to a couple of parameters, suitable for testing gravity and cosmological data analysis.
ZX-calculus is a graphical language for quantum computing which is complete in the sense that calculation in matrices can be done in a purely diagrammatic way. However, all previous universally complete axiomatisations of ZX-calculus have included at least one rule involving trigonometric functions such as sin and cos which makes it difficult for application purpose. In this paper we give an algebraic complete axiomatisation of ZX-calculus instead such that there are only ring operations involved for phases. With this algebraic axiomatisation of ZX-calculus, we are able to establish for the first time a simple translation of diagrams from another graphical language called ZH-calculus and to derive all the ZX-translated rules of ZH-calculus. As a consequence, we have a great benefit that all techniques obtained in ZH-calculus can be transplanted to ZX-calculus, which cant be obtained by just using the completeness of ZX-calculus.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
