English
Related papers

Related papers: Circuits with arbitrary gates for random operators

200 papers

This article provides a survey of circuit complexity bounds for basic boolean transforms exploited in digital circuit design and efficient methods for synthesizing such circuits. The exposition covers structurally simple functions and…

Data Structures and Algorithms · Computer Science 2026-03-26 Igor S. Sergeev

Block-encoding operators are one of the essential components in quantum algorithms based on Quantum Signal Processing. Their gate complexity largely determines the overall gate complexity of the full algorithm. Using variational methods, we…

In self-assembly, a $k$-counter is a tile set that grows a horizontal ruler from left to right, containing $k$ columns each of which encodes a distinct binary string. Counters have been fundamental objects of study in a wide range of…

Emerging Technologies · Computer Science 2020-05-29 Tristan Stérin , Damien Woods

The problem of constructing hazard-free Boolean circuits dates back to the 1940s and is an important problem in circuit design. Our main lower-bound result unconditionally shows the existence of functions whose circuit complexity is…

Computational Complexity · Computer Science 2021-01-01 Christian Ikenmeyer , Balagopal Komarath , Christoph Lenzen , Vladimir Lysikov , Andrey Mokhov , Karteek Sreenivasaiah

GCD computations and variants of the Euclidean algorithm enjoy broad uses in both classical and quantum algorithms. In this paper, we propose quantum circuits for GCD computation with $O(n \log n)$ depth with O(n) ancillae. Prior circuit…

Emerging Technologies · Computer Science 2013-04-30 Mehdi Saeedi , Igor L. Markov

One matrix structure in the area of monotone Boolean functions is defined here. Some of its combinatorial, algebraic and algorithmic properties are derived. On the base of these properties, three algorithms are built. First of them…

Discrete Mathematics · Computer Science 2019-02-19 Valentin Bakoev

Given a boolean n by n matrix A we consider arithmetic circuits for computing the transformation x->Ax over different semirings. Namely, we study three circuit models: monotone OR-circuits, monotone SUM-circuits (addition of non-negative…

Computational Complexity · Computer Science 2013-04-24 Magnus Find , Mika Göös , Matti Järvisalo , Petteri Kaski , Mikko Koivisto , Janne H. Korhonen

We study noisy computation in randomly generated k-ary Boolean formulas. We establish bounds on the noise level above which the results of computation by random formulas are not reliable. This bound is saturated by formulas constructed from…

Disordered Systems and Neural Networks · Physics 2014-11-21 Alexander Mozeika , David Saad

In this paper the theory of 2-Variable Boolean Operation (2-VBO) has been discussed on a pair of n-bit strings. 2-VBO serves to bring out the relation between numbers which when plot on a 2-D surface form interesting patterns; patterns that…

Chaotic Dynamics · Physics 2010-08-17 Sudhakar Sahoo , Ipsita Mohanty , Garisha Chowdhary , Arpit Panigrahi

In this paper, the linear differential expression of order $n \ge 2$ with distribution coefficients of various singularity orders is considered. We obtain the associated matrix for the regularization of this expression. Furthermore, we…

Spectral Theory · Mathematics 2023-03-29 Natalia P. Bondarenko

A scheme for logical computation using non-linear dynamical systems is presented. Examples of discrete-time maps configured as AND, OR, NAND and NOR gates are given. It is seen that the logical operations are flexible in the sense that an…

Chaotic Dynamics · Physics 2007-05-23 Madhekar Suneel

The circuit model of quantum computation can be interpreted as a scattering process. In particular, factorised scattering operators result in integrable quantum circuits that provide universal quantum computation and are potentially less…

Quantum Physics · Physics 2024-05-28 Akash Sinha , Pramod Padmanabhan , Vladimir Korepin

Consider a linear programming problem with n primal and m dual variables paired with n dual and m primal slack variables respectively, and aggregately denote these variables and slack variables as a vector z of length 2(n+m). Unlike…

Optimization and Control · Mathematics 2026-05-20 Wei Jing-Yuan

We associate to each Boolean function a polynomial whose evaluations represents the distances from all possible Boolean affine functions. Both determining the coefficients of this polynomial from the truth table of the Boolean function and…

Information Theory · Computer Science 2014-04-11 Emanuele Bellini

Uniformly controlled one-qubit gates are quantum gates which can be represented as direct sums of two-dimensional unitary operators acting on a single qubit. We present a quantum gate array which implements any n-qubit gate of this type…

Quantum Physics · Physics 2009-11-10 Ville Bergholm , Juha J. Vartiainen , Mikko Mottonen , Martti M. Salomaa

We describe several families of efficiently implementable Boolean functions achieving provable trade-offs between resiliency, nonlinearity, and algebraic immunity. In particular, the following statement holds for each of the function…

Cryptography and Security · Computer Science 2026-01-13 Palash Sarkar

Nonlinear phase gates are essential to achieve the universality of continuous-variable quantum processing and its applications. We present a deterministic protocol for generating nonlinear phase gates in trapped ion systems using…

Quantum Physics · Physics 2026-02-18 Akram Kasri , Kimin Park , Radim Filip

Gradients of neural networks can be computed efficiently for any architecture, but some applications require differential operators with higher time complexity. We describe a family of restricted neural network architectures that allow…

Machine Learning · Computer Science 2019-12-10 Ricky T. Q. Chen , David Duvenaud

Let $n\in\mathbb{N}$ and let $A$ be a closed linear operator (everywhere bounded or unbounded). In this paper, we study (among others) equations of the type $A^*A=A^n$ where $n\geq2$ and see when they yield $A=A^*$ (or a weaker class of…

Functional Analysis · Mathematics 2019-02-07 Souheyb Dehimi , Mohammed Hichem Mortad , Zsigmond Tarcsay

This document is an introduction to two related formalisms to define Boolean functions: binary decision diagrams, and Boolean circuits. It presents these formalisms and several of their variants studied in the setting of knowledge…

Data Structures and Algorithms · Computer Science 2024-04-16 Antoine Amarilli , Marcelo Arenas , YooJung Choi , Mikaël Monet , Guy Van den Broeck , Benjie Wang