Related papers: A Short Note on Improved Logic Circuits in a Hexag…
This article exhibits a particular encoding of logic circuits into a sheaf formalism. The central result of this article is that there exists strictly more information available to a circuit designer in this setting than exists in static…
We extend the nonlinear spin wave theory (NLSWT) for the spin 1/2 antiferromagnetic Heisenberg model on a triangular lattice (TAFHM). This novel NLSWT considers the corrections one order higher in 1/S than the linear spin wave theory…
In this paper we improve the layered implementation of arbitrary stabilizer circuits introduced by Aaronson and Gottesman in Phys. Rev. A 70(052328), 2004: to obtain a general stabilizer circuit, we reduce their $11$-stage computation…
We present a formal logic for quantitative reasoning about security properties of network protocols. The system allows us to derive concrete security bounds that can be used to choose key lengths and other security parameters. We provide…
In this study, electric power is processed using the logic operation method and the error correction algorithms to meet load demand. Electric power was treated as physically flow through the distribution network, which was governed by…
Linear optics quantum logic gates are the best tool to generate multi-photon entanglement. Simplifying a recent approach [Phys. Rev. A 65, 062324; Phys. Rev. A 66, 024308] we were able to implement the conditional phase gate with only one…
Recent advancements in the realizations of superconducting diodes have pushed the diode coefficient $\eta$ towards its theoretical maximum of $\eta=1$. In this work, we describe the construction of logic gates NOT, AND, OR, NAND and NOR…
In the age of information explosion, the conventional optical communication protocols are rapidly reaching the limits of their capacity, as almost all available degrees of freedom (e.g., wavelength, polarization) for division multiplexing…
Universal quantum computers require fault-tolerant logical qudits, as qudits naturally align with the simulation of multi-level physical systems. Here, we present a general framework and working examples for encoding fault-tolerant logical…
This thesis proposes novel ternary circuits aiming to reduce energy to preserve battery consumption. The proposed designs include eight ternary logic gates, three ternary combinational circuits, and six Ternary Arithmetic Logic Units. This…
Verification is one of the central tasks during circuit design. While most of the approaches have exponential worst-case behaviour, in the following techniques are discussed for proving polynomial circuit verification based on Binary…
Non-orthogonal bases of projectors on coherent states are introduced to expand hermitean operators acting on the Hilbert space of a spin s. It is shown that the expectation values of a hermitean operator A in a family of (2s+1)(2s+1)…
We present a sequent-style proof system for provability logic GL that admits so-called circular proofs. For these proofs, the graph underlying a proof is not a finite tree but is allowed to contain cycles. As an application, we establish…
The basic building blocks for Resonant Tunnelling Diode (RTD) logic circuits are Threshold Gates (TGs) instead of the conventional Boolean gates (AND, OR, NAND, NOR) due to the fact that, when designing with RTDs, threshold gates can be…
Recursive techniques have recently been introduced into quantum programming so that a variety of large quantum circuits and algorithms can be elegantly and economically programmed. In this paper, we present a proof system for formal…
In this work, we describe a logic device in which an act of computation is associated with finding a path connecting input and output ports. The device is based on an active ring circuit comprising electric and magnetic parts. The electric…
Probabilistic Soft Logic has been proposed and used in several applications as an efficient way to deal with inconsistency, uncertainty and relational representation. In several applications, this approach has led to an adequate description…
Nature often builds physical structures tailored for specific information processing tasks with computations encoded using diverse phenomena. These can sometimes outperform typical general-purpose computers. However, describing the…
Edible robotics is an emerging research field with potential use in environmental, food, and medical scenarios. In this context, the design of edible control circuits could increase the behavioral complexity of edible robots and reduce…
Over the last decades, light-emitting diodes (LED) have replaced common light bulbs in almost every application, from flashlights in smartphones to automotive headlights. Illuminating nightly streets requires LEDs to emit a light spectrum…