Detection and Elimination of Non-trivial Reversible Identities
نویسنده
چکیده
Non-Trivial Reversible Identities (NTRIs) are reversible circuits that have equal inputs and outputs. NTRIs of arbitrary size cannot be detected, in general, using optimization algorithms in the literature. Existence of NTRIs in a circuit will cause a slow down by increasing the number of gates and the quantum cost. NTRIs might arise because of an integration of two or more optimal reversible circuits. In this paper, an algorithm that detects and removes NTRIs in polynomial time will be proposed. Experiments that show the bad effect of NTRIs and the enhancement using the proposed algorithm will be presented.
منابع مشابه
Reversible Logic Multipliers: Novel Low-cost Parity-Preserving Designs
Reversible logic is one of the new paradigms for power optimization that can be used instead of the current circuits. Moreover, the fault-tolerance capability in the form of error detection or error correction is a vital aspect for current processing systems. In this paper, as the multiplication is an important operation in computing systems, some novel reversible multiplier designs are propose...
متن کاملInequalities for full rank differences of 2-marked Durfee symbols
In this paper, we obtain infinitely many non-trivial identities and inequalities between full rank differences for 2-marked Durfee symbols, a generalization of partitions introduced by Andrews. A certain strict inequality, which almost always holds, shows that identities for Dyson’s rank, similar to those proven by Atkin and Swinnerton-Dyer, are quite rare. By showing an analogous strict inequa...
متن کاملExistence of non-trivial solutions for fractional Schrödinger-Poisson systems with subcritical growth
In this paper, we are concerned with the following fractional Schrödinger-Poisson system: (−∆s)u + u + λφu = µf(u) +|u|p−2|u|, x ∈R3 (−∆t)φ = u2, x ∈R3 where λ,µ are two parameters, s,t ∈ (0,1] ,2t + 4s > 3 ,1 < p ≤ 2∗ s and f : R → R is continuous function. Using some critical point theorems and truncation technique, we obtain the existence and multiplicity of non-trivial solutions with ...
متن کاملWard Identities and Chiral Anomaly in the Luttinger Liquid
Systems of interacting non relativistic fermions in d = 1, as well as spin chains or interacting bidimensional Ising models, verify an hidden approximate Gauge invariance which can be used to derive suitable Ward identities. Despite the presence of corrections and anomalies, such Ward identities can be implemented in a Renormalization Group approach and used to exploit non-trivial cancellations...
متن کاملCorrelation Functions from Two-dimensional String Ward Identities
We rederive the w∞ Ward identities, starting from the existence of trivial linearized gauge invariances, and using the method of canceled propagators in the operator formalism. Recursion relations for certain classes of correlation functions are derived, and these correlation function are calculated exactly. We clarify the relation of these results with another derivation of the Ward identities...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2012