Related papers: Circuit Synthesis based on Prescribed Lagrangian
The paper discusses various applications of permutation group theory in the synthesis of reversible logic circuits consisting of Toffoli gates with negative control lines. An asymptotically optimal synthesis algorithm for circuits…
The synthesis of a quantum circuit consists in decomposing a unitary matrix into a series of elementary operations. In this paper, we propose a circuit synthesis method based on the QR factorization via Householder transformations. We…
Optimal synthesis of reversible functions is a non-trivial problem. One of the major limiting factors in computing such circuits is the sheer number of reversible functions. Even restricting synthesis to 4-bit reversible functions results…
Kirchhoff's laws offer a general, straightforward approach to circuit analysis. Unfortunately, use of the laws becomes impractical for all but the simplest of circuits. This work presents a novel method of analyzing direct current resistor…
We describe a new method for approximating an arbitrary $n$ qubit unitary with precision $\varepsilon$ using a Clifford and T circuit with $O(4^{n}n(\log(1/\varepsilon)+n))$ gates. The method is based on rounding off a unitary to a unitary…
Theoretical studies and experiments in the last six years have revealed the potential for novel behaviours and functionalities in device physics through the synthetic engineering of negatively-curved spaces. For instance, recent…
Given an arbitrary $2^w \times 2^w$ unitary matrix $U$, a powerful matrix decomposition can be applied, leading to four different syntheses of a $w$-qubit quantum circuit performing the unitary transformation. The demonstration is based on…
We study the entropy production rate in systems described by linear Langevin equations, containing mixed even and odd variables under time reversal. Exact formulas are derived for several important quantities in terms only of the means and…
Experimental realization and quantitative investigation of common-noise-induced synchronization of limit-cycle oscillations subject to random telegraph signals are performed using an electronic oscillator circuit. Based on our previous…
In this paper, reversible circuits consisting of NOT, CNOT and 2-CNOT gates are studied. Several asymptotically optimal by the order of magnitude synthesis methods are described. Some circuit's complexity reduction approaches are…
We consider the most general effective field theory (EFT) Lagrangian with scalar fields and derivatives, and renormalise it to substantially higher loop order than existing results in the literature. EFT Lagrangians have phenomenological…
Landau-Zener tunneling (LZT) is a fundamental dynamical phenomenon, ubiquitous in various quantum systems. Here, we propose a time-varying electric circuit to address the question of whether the quantum LZT can occur in classical systems.…
We propose an approach to optimally synthesize quantum circuits from non-permutative quantum gates such as Controlled-Square-Root-of-Not (i.e. Controlled-V). Our approach reduces the synthesis problem to multiple-valued optimization and…
Resource-efficient and high-precision approximate synthesis of quantum circuits expressed in the Clifford+T gate set is vital for Fault-Tolerant quantum computing. Efficient optimal methods are known for single-qubit RZ unitaries, otherwise…
Nonlinear control algorithm for a self-energizing electro-hydraulic brake is analytically designed. The desired closed-loop system behavior is reached via a synthesized nonlinear controller.
The scope of this paper is to determine the generalized form for equivalent tension generator theorem (Helmholtz-Thevenin theorem) for three-phase electrical circuit. Any complicated electrical power systems we can reduce depending on any…
We propose a general framework for computing Retarded Green's Functions (RGFs) on quantum computers by recasting their evaluation as a problem of circuit differentiation. Our proposal is based on real-time evolution and specifically…
We train hierarchical Transformers on the task of synthesizing hardware circuits directly out of high-level logical specifications in linear-time temporal logic (LTL). The LTL synthesis problem is a well-known algorithmic challenge with a…
The asynchronous systems are the models of the asynchronous circuits from the digital electrical engineering. An asynchronous system f is a multi-valued function that assigns to each admissible input u a set f(u) of possible states x in…
In nonlinear electrodynamics, by implementing the causality principle as the requirement that the group velocity of elementary excitations over a background field should not exceed the speed of light in the vacuum and the unitarity…