Related papers: Complete Equational Theories for the Sum-Over-Path…
The "Sum-Over-Paths" formalism is a way to symbolically manipulate linear maps that describe quantum systems, and is a tool that is used in formal verification of such systems. We give here a new set of rewrite rules for the formalism, and…
By the Gottesman-Knill Theorem, the outcome probabilities of Clifford circuits can be computed efficiently. We present an alternative proof of this result for quopit Clifford circuits (i.e., Clifford circuits on collections of $p$-level…
We introduce a complete equational theory for the fragment of quantum circuits generated by the real Clifford gates plus the two-qubit controlled-Hadamard gate. That is, we give a simple set of equalities between circuits of this fragment,…
We establish an optimal Calder\'{o}n-Zygmund theory for nonuniformly elliptic double phase problems with matrix weights. For $1<p<q<\infty$, $a(\cdot)\in C^{0,\alpha}(\Omega)$ ($0<\alpha\le1$), and a symmetric, almost everywhere positive…
We show that the formalism of "Sum-Over-Path" (SOP), used for symbolically representing linear maps or quantum operators, together with a proper rewrite system, has a structure of dagger-compact PROP. Several consequences arise from this…
A graph-theoretic parameter, in a form of a function, called the extra-factorial sum is discussed. The main results are presented in ref. [1] (Nastou et al., Optim Lett, 10, 1203-1220, 2016) and the reader is strongly advised to study the…
We derive (quasi-)quantum groups in 2+1 dimensional topological field theory directly from the classical action and the path integral. Detailed computations are carried out for the Chern-Simons theory with finite gauge group. The principles…
We propose a generalisation of the Cameron-Erdos conjecture for sum-free sets to arbitrary non-translation invariant linear equations over Z in three or more variables and, using well-known methods from graph theory, prove a weak form of…
We study general relativity at a null boundary using the covariant phase space formalism. We define a covariant phase space and compute the algebra of symmetries at the null boundary by considering the boundary-preserving diffeomorphisms…
Path sums are a convenient symbolic formalism for quantum operations with applications to the simulation, optimization, and verification of quantum protocols. Unlike quantum circuits, path sums are not limited to unitary operations, but can…
In quantum field theory the path integral is usually formulated in the wave picture, i.e., as a sum over field evolutions. This path integral is difficult to define rigorously because of analytic problems whose resolution may ultimately…
In this paper, we extend the method proposed by Cochelin and Vergez [A high order purely frequency-based harmonic balance formulation for continuation of periodic solutions, Journal of Sound and Vibration, 324 (2009) 243-262] to the case of…
This paper describes perturbative framework, on the basis of the closed-time-path formalism, in terms of quasiparticle picture for studying quasiuniform relativistic quantum field systems near equilibrium and nonequilibrium quasistationary…
We introduce here a new axiomatisation of the rational fragment of the ZX-calculus, a diagrammatic language for quantum mechanics. Compared to the previous axiomatisation introduced in [8], our axiomatisation does not use any metarule , but…
Two-phase composites with non-overlapping inclusions randomly embedded in matrix are investigated. A straight forward approach is applied to estimate the effective properties of random 2D composites. First, deterministic boundary value…
We study systematic errors of the ground-state parameters obtained by Shifman-Vainshtein-Zakharov (SVZ) sum rules, making use of the harmonic-oscillator potential model as an example. In this case, one knows the exact solution for the…
Equivalence checking of quantum circuits is a central verification task in quantum computing, ensuring the correctness of circuit optimizations, hardware mappings, and compilation pipelines. Among the primary symbolic methods for this…
An important combinatorial result in equivariant cohomology and $K$-theory Schubert calculus is represented by the formulas of Billey and Graham-Willems for the localization of Schubert classes at torus fixed points. These formulas work…
A path integral formalism for non-equilibrium systems is proposed based on a manifold of quasi-equilibrium densities. A generalized Boltzmann principle is used to weight manifold paths with the exponential of minus the information…
We set up a strategy for studying large families of logarithmic conformal field theories by using the enlarged symmetries and non--semi-simple associative algebras appearing in their lattice regularizations (as discussed in a companion…