Related papers: Circuit Synthesis based on Prescribed Lagrangian
Basic multimode impedance analysis grounded in the availability of nonequilibrium charge carriers and their retarded path towards equilibrium is used to access the inadequacy of equivalent circuits in nonlinear systems with inherent memory.…
An algorithm for reversible logic synthesis is proposed. The task is, for a given $n$-bit substitution map $P_n: \{0,1\}^n \rightarrow \{0,1\}^n$, to find a sequence of reversible logic gates that implements the map. The gate library…
We analyse a continuum model for genetic circuits based on a partial integro-differential equation initially proposed in Friedman, Cai \& Xie (2006) as an approximation of a chemical master equation. We use entropy methods to show…
Quantum error-correcting codes can be used to protect qubits involved in quantum computation. This requires that logical operators acting on protected qubits be translated to physical operators (circuits) acting on physical quantum states.…
Recent theoretical and experimental investigations of coherent feedback control, the feedback control of a quantum system with another quantum system, has raised the important problem of how to synthesize a class of quantum systems, called…
We study the bispectrum in Lagrangian perturbation theory. Extending past results for the power spectrum, we describe a method to efficiently compute the bispectrum in LPT, focusing on the Zeldovich approximation, in which contributions due…
Reversible logic has applications in various research areas including low-power design and quantum computation. In this paper, a rule-based optimization approach for reversible circuits is proposed which uses both negative and positive…
Closed-form expressions for all matrix elements required for variational calculation of the electronic structure of periodic solids have been derived using a basis of explicitly correlated Gaussians (ECGs). Periodic basis functions are…
We show that the one-loop Euler-Heisenberg QED effective Lagrangian in a constant background field acquires a very different non-perturbative trans-series structure at two-loop and higher-loop order in the fine structure constant. Beyond…
This work provides a relativistic, digital quantum simulation scheme for both $2+1$ and $3+1$ dimensional quantum electrodynamics (QED), based on a discrete spacetime formulation of theory. It takes the form of a quantum circuit, infinitely…
Compiling quantum circuits into Clifford+$T$ gates is a central task for fault-tolerant quantum computing using stabilizer codes. In the near term, $T$ gates will dominate the cost of fault tolerant implementations, and any reduction in the…
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…
In some recent papers several authors used electronic circuits to construct loss and gain systems. This is particularly interesting in the context of PT-quantum mechanics, where this kind of effects appears quite naturally. The electronic…
Binary disordered systems are usually obtained by mixing two ingredients in variable proportions: conductor and insulator, or conductor and super-conductor. and are naturally modeled by regular bi-dimensional or tri-dimensional lattices, on…
In fault-tolerant quantum circuit synthesis, T gates supplied via magic states dominate space-time cost, while Clifford gates incur negligible overhead. Conventional flows minimize AND count in an {XOR, AND, NOT} basis as a proxy for T,…
We consider systems characterized by the presence of a rapidly oscillating force. A general method is presented for the construction of the effective action governing the large-scale nonlinear dynamics of such systems order by order in…
Stochastic computing (SC) is an emerging computing technique which offers higher computational density, and lower power over binary-encoded (BE) computation. Unlike BE computation, SC encodes values as probabilistic bitstreams which makes…
Use of explicit integration methods for power electronic circuits with ideal switch models significantly improves simulation speed. The PLECS package [1] has effectively used this idea; however, the implementation details involved in PLECS…
We present a method for the synthesis of polynomial lasso programs. These programs consist of a program stem, a set of transitions, and an exit condition, all in the form of algebraic assertions (conjunctions of polynomial equalities).…
In this paper we propose EPOC, an efficient pulse generation framework for quantum circuits that combines ZX-Calculus, circuit partitioning, and circuit synthesis to accelerate pulse generation. Unlike previous works that focus on…