Related papers: Bennett and Stinespring, Together at Last
A variety of tasks in quantum control, ranging from purification and cooling, to quantum stabilization and open-system simulation, rely on the ability to implement a target quantum channel over a specified time interval within prescribed…
The mechanism of irreversible dynamics in the mixing systems is constructed in the frames of the classical mechanics laws. The offered mechanism can be found only within the framework of the generalized Hamilton's formalism. The generalized…
Reversible computing is motivated by both pragmatic and foundational considerations arising from a variety of disciplines. We take a particular path through the development of reversible computation, emphasizing compositional reversible…
This article is an attempt to generalize the classical theory of reversible computing, principally developed by Bennet [IBM J. Res. Develop., 17(1973)] and by Fredkin and Toffoli [Internat. J. Theoret. Phys., 21(1982)], to the quantum case.…
This is the first of a series of papers in which a new formulation of quantum theory is developed for totally constrained systems, that is, canonical systems in which the hamiltonian is written as a linear combination of constraints…
Reservoir computing is a versatile paradigm in computational neuroscience and machine learning, that exploits the non-linear dynamics of a dynamical system - the reservoir - to efficiently process time-dependent information. Since its…
I discuss classical and quantum recurrence theorems in a unified manner, treating both as generalisations of the fact that a system with a finite state space only has so many places to go. Along the way I prove versions of the recurrence…
Organizing physics has been a long-standing preoccupation of applied category theory, going back at least to Lawvere. We contribute to this research thread by noticing that Hamiltonian mechanics and gradient descent depend crucially on a…
We describe a simple formalism for generating classes of quantum circuits that are classically efficiently simulatable and show that the efficient simulation of Clifford circuits (Gottesman-Knill theorem) and of matchgate circuits…
Quantization of constraint systems within the Weyl-Wigner-Groenewold-Moyal framework is discussed. Constraint dynamics of classical and quantum systems is reformulated using the skew-gradient projection formalism. The quantum deformation of…
We describe quantum and classical Hamiltonian dynamics in a common Hilbert space framework, that allows the treatment of mixed quantum-classical systems. The analysis of some examples illustrates the possibility of entanglement between…
We generalize a recent result stating that all analytic quantum dynamics can be represented exactly as the reduction of unitary dynamics generated by a time-dependent Hamiltonian. More precisely, we prove that the partial trace over…
We consider in general terms dynamical systems with finite-dimensional, non-simply connected configuration-spaces. The fundamental group is assumed to be finite. We analyze in full detail those ambiguities in the quantization procedure that…
This paper is the third part of a program aimed at building a unified operadic and multicategorical foundation for operator theory and quantum processes. Building on the multicategory HilbMult and the previously introduced Synergy Operad,…
We study the two dual quantum information effects to manipulate the amount of information in quantum computation: hiding and allocation. The resulting type-and-effect system is fully expressive for irreversible quantum computing, including…
Using semiclassical methods, it is possible to construct very accurate approximations in the short wavelength limit of quantum dynamics that rely exclusively on classical dynamical input. For systems whose classical realization is strongly…
This paper presents a theory of systemic undecidability, reframing incomputability as a structural property of systems rather than a localized feature of specific functions or problems. We define a notion of causal embedding and prove a…
We investigate unitary operators acting on a tensor product space, with the property that the quantum channels they generate, via the Stinespring dilation theorem, are of a particular type, independently of the state of the ancilla system…
A recent proposal for mixed dynamics of classical and quantum ensembles is shown, in contrast to other proposals, to satisfy the minimal algebraic requirements proposed by Salcedo for any consistent formulation of such dynamics. Generalised…
Dual-unitary brickwork circuits are an exactly-solvable model for many-body chaotic quantum systems, based on 2-site gates which are unitary in both the time and space directions. Prosen has recently described an alternative model called…