Related papers: A Short Note on Improved Logic Circuits in a Hexag…
The applications of terahertz metamaterials are being actively explored in recent times for applications in high-speed communication devices, miniature photonic circuits, and bio-chemical devices because of their wide advantages. The…
This is a supplementary material to "Realization of three-port spring networks with inerter for effective mechanical control" [1], which provides the detailed proofs of some results. For more background information, refer to [2]-[32] and…
The realization of quantum error correction protocols whose logical error rates are suppressed far below physical error rates relies on an intricate combination: the error-correcting code's efficiency, the syndrome extraction circuit's…
Synthesis of quaternary quantum circuits involves basic quaternary gates and logic operations in the quaternary quantum domain. In this paper, we propose new projection operations and quaternary logic gates for synthesizing quaternary logic…
Probabilistic programming provides a convenient lingua franca for writing succinct and rigorous descriptions of probabilistic models and inference tasks. Several probabilistic programming languages, including Anglican, Church or Hakaru,…
Surface operators in gauge theory are analogous to Wilson and 't Hooft line operators except that they are supported on a two-dimensional surface rather than a one-dimensional curve. In a previous paper, we constructed a certain class of…
In this proceeding, I discuss several models that extend the scalar sector of the Standard Model by additional matter states. I here focus on results for models with singlet extensions, which have been obtained recently and update some of…
Fault-tolerant quantum computers use decoders to monitor for errors and find a plausible correction. A decoder may provide a decoder confidence score (DCS) to gauge its success. We adopt a swim distance DCS, computed from the shortest path…
We present a comprehensive programme analysing the decomposition of proof systems for non-classical logics into proof systems for other logics, especially classical logic, using an algebra of constraints. That is, one recovers a proof…
It is well known that we can use structural proof theory to refine, or generalize, existing paradigmatic computational primitives, or to discover new ones. Under such a point of view we keep developing a programme whose goal is establishing…
The realization of higher-order exceptional points (HOEPs) can lead to orders of magnitude enhancement in light-matter interactions beyond the current fundamental limits. Unfortunately, implementing HOEPs in the existing schemes is a rather…
We present Proof-of-Perception (PoP), a tool-using framework that casts multimodal reasoning as an executable graph with explicit reliability guarantees. Each perception or logic node outputs a conformal set, yielding calibrated, stepwise…
I first review a few basic guiding principles that lead to the notion of a hierarchy of couplings in searches of New Physics involving weak bosons processes. The hierarchies within a linear and a non-linear realization of symmetry breaking…
In electronics, information has been traditionally stored, processed and communicated using an electron's charge. This paradigm is increasingly turning out to be energy-inefficient, because movement of charge within an…
We design and analyze a logical qubit composed of a linear array of electron spins in semiconductor quantum dots. To avoid the difficulty of fully controlling a two-dimensional array of dots, we adapt spin control and error correction to a…
This paper presents an example of formal reasoning about the semantics of a Prolog program of practical importance (the SAT solver of Howe and King). The program is treated as a definite clause logic program with added control. The logic…
We propose and describe a magnetic NanoFabric which provides a route to building reconfigurable spin-based logic circuits compatible with conventional electron-based devices. A distinctive feature of the proposed NanoFabric is that a bit of…
Current-driven switching of nonvolatile spintronic materials and devices based on spin-orbit torques offer fast data processing speed, low power consumption, and unlimited endurance for future information processing applications. Analogous…
We study algorithmic aspects of bending wires and sheet metal into a specified structure. Problems of this type are closely related to the question of deciding whether a simple non-self-intersecting wire structure (a carpenter's ruler) can…
The experimental detection of the sharp lines of the \ee Puzzle is viewed as a struggle against Doppler broadening. Gedanken experiments which are realistic in zeroth order of detail are analyzed to show that the ORANGE and EPOS/I…