Causal and compositional structure of unitary transformations
- URL: http://arxiv.org/abs/2001.07774v2
- Date: Fri, 16 Jul 2021 14:48:46 GMT
- Title: Causal and compositional structure of unitary transformations
- Authors: Robin Lorenz and Jonathan Barrett
- Abstract summary: We study whether causal structure can be understood in terms of compositional structure of a unitary.
We derive causally faithful extended circuit decompositions for a large class of unitaries.
We hypothesize that every finite-dimensional unitary transformation has a causally faithful extended circuit decomposition.
- Score: 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: The causal structure of a unitary transformation is the set of relations of
possible influence between any input subsystem and any output subsystem. We
study whether such causal structure can be understood in terms of compositional
structure of the unitary. Given a quantum circuit with no path from input
system $A$ to output system $B$, system $A$ cannot influence system $B$.
Conversely, given a unitary $U$ with a no-influence relation from input $A$ to
output $B$, it follows from [B. Schumacher and M. D. Westmoreland, Quantum
Information Processing 4 no. 1, (Feb, 2005)] that there exists a circuit
decomposition of $U$ with no path from $A$ to $B$. However, as we argue, there
are unitaries for which there does not exist a circuit decomposition that makes
all causal constraints evident simultaneously. To address this, we introduce a
new formalism of `extended circuit diagrams', which goes beyond what is
expressible with quantum circuits, with the core new feature being the ability
to represent direct sum structures in addition to sequential and tensor product
composition. A causally faithful extended circuit decomposition, representing a
unitary $U$, is then one for which there is a path from an input $A$ to an
output $B$ if and only if there actually is influence from $A$ to $B$ in $U$.
We derive causally faithful extended circuit decompositions for a large class
of unitaries, where in each case, the decomposition is implied by the unitary's
respective causal structure. We hypothesize that every finite-dimensional
unitary transformation has a causally faithful extended circuit decomposition.
Related papers
- Causal Decompositions of 1D Quantum Cellular Automata [0.0]
We present advances in the research program of causal decompositions.<n>Our results concern one-dimensional Quantum Cellular Automata (1D QCAs)<n>We show that this decomposition can be taken to be translation-invariant QCAs.
arXiv Detail & Related papers (2025-06-27T13:36:50Z) - Geometry of degenerate quantum states, configurations of $m$-planes and invariants on complex Grassmannians [55.2480439325792]
We show how to reduce the geometry of degenerate states to the non-abelian connection $A$.
We find independent invariants associated with each triple of subspaces.
Some of them generalize the Berry-Pancharatnam phase, and some do not have analogues for 1-dimensional subspaces.
arXiv Detail & Related papers (2024-04-04T06:39:28Z) - Unitary k-designs from random number-conserving quantum circuits [0.0]
Local random circuits scramble efficiently and accordingly have a range of applications in quantum information and quantum dynamics.
We show that finite moments cannot distinguish the ensemble that local random circuits generate from the Haar ensemble on the entire group of number-conserving unitaries.
arXiv Detail & Related papers (2023-06-01T18:00:00Z) - Algebraic Aspects of Boundaries in the Kitaev Quantum Double Model [77.34726150561087]
We provide a systematic treatment of boundaries based on subgroups $Ksubseteq G$ with the Kitaev quantum double $D(G)$ model in the bulk.
The boundary sites are representations of a $*$-subalgebra $Xisubseteq D(G)$ and we explicate its structure as a strong $*$-quasi-Hopf algebra.
As an application of our treatment, we study patches with boundaries based on $K=G$ horizontally and $K=e$ vertically and show how these could be used in a quantum computer
arXiv Detail & Related papers (2022-08-12T15:05:07Z) - Exponential Separation between Quantum and Classical Ordered Binary
Decision Diagrams, Reordering Method and Hierarchies [68.93512627479197]
We study quantum Ordered Binary Decision Diagrams($OBDD$) model.
We prove lower bounds and upper bounds for OBDD with arbitrary order of input variables.
We extend hierarchy for read$k$-times Ordered Binary Decision Diagrams ($k$-OBDD$) of width.
arXiv Detail & Related papers (2022-04-22T12:37:56Z) - Conditions for realizing one-point interactions from a multi-layer
structure model [77.34726150561087]
A heterostructure composed of $N$ parallel homogeneous layers is studied in the limit as their widths shrink to zero.
The problem is investigated in one dimension and the piecewise constant potential in the Schr"odinger equation is given.
arXiv Detail & Related papers (2021-12-15T22:30:39Z) - Causality Constraint on Circuit Complexity from $COSMOEFT$ [1.5643170704979468]
We study the behaviour of the circuit complexity measures and entanglement entropy with respect to the scale factor and $c_s$.
We find various interesting unexplored features within the window, $0.024leq c_sleq 1$, which is supported by both causality and cosmological observation.
arXiv Detail & Related papers (2021-11-22T19:09:51Z) - Scattering data and bound states of a squeezed double-layer structure [77.34726150561087]
A structure composed of two parallel homogeneous layers is studied in the limit as their widths $l_j$ and $l_j$, and the distance between them $r$ shrinks to zero simultaneously.
The existence of non-trivial bound states is proven in the squeezing limit, including the particular example of the squeezed potential in the form of the derivative of Dirac's delta function.
The scenario how a single bound state survives in the squeezed system from a finite number of bound states in the finite system is described in detail.
arXiv Detail & Related papers (2020-11-23T14:40:27Z) - Sub-bosonic (deformed) ladder operators [62.997667081978825]
We present a class of deformed creation and annihilation operators that originates from a rigorous notion of fuzziness.
This leads to deformed, sub-bosonic commutation relations inducing a simple algebraic structure with modified eigenenergies and Fock states.
In addition, we investigate possible consequences of the introduced formalism in quantum field theories, as for instance, deviations from linearity in the dispersion relation for free quasibosons.
arXiv Detail & Related papers (2020-09-10T20:53:58Z) - Epsilon-nets, unitary designs and random quantum circuits [0.11719282046304676]
Epsilon-nets and approximate unitary $t$-designs are notions of unitary operations relevant for numerous applications in quantum information and quantum computing.
We prove that for a fixed $d$ of the space, unitaries constituting $delta$-approx $t$-expanders form $epsilon$-nets for $tsimeqfracd5/2epsilon$ and $delta=left(fracepsilon3/2dright)d2$.
We show that approximate tdesigns can be generated
arXiv Detail & Related papers (2020-07-21T15:16:28Z)
This list is automatically generated from the titles and abstracts of the papers in this site.
This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.