English
Related papers

Related papers: Resilient functions: Optimized, simplified, and ge…

200 papers

Idempotent Boolean functions form a highly structured subclass of Boolean functions that is closely related to rotation symmetry under a normal-basis representation and to invariance under a fixed linear map in a polynomial basis. These…

Cryptography and Security · Computer Science 2026-02-03 Claude Carlet , Marko Ðurasevic , Domagoj Jakobovic , Luca Mariot , Stjepan Picek

We summarize recent results on the evolution of unpolarized parton densities and deep-inelastic structure functions in massless perturbative QCD. Due to last year's extension of the integer-moment calculations of the three-loop splitting…

High Energy Physics - Phenomenology · Physics 2008-11-26 W. L. van Neerven , A. Vogt

We give new quantum algorithms for evaluating composed functions whose inputs may be shared between bottom-level gates. Let $f$ be an $m$-bit Boolean function and consider an $n$-bit function $F$ obtained by applying $f$ to conjunctions of…

Quantum Physics · Physics 2021-09-22 Mark Bun , Robin Kothari , Justin Thaler

We develop a scheme for fault-tolerant quantum computation based on asymmetric Bacon-Shor codes, which works effectively against highly biased noise dominated by dephasing. We find the optimal Bacon-Shor block size as a function of the…

Quantum Physics · Physics 2013-03-08 Peter Brooks , John Preskill

We study the next-to-next-to-leading order (NNLO) evolution of flavour non-singlet quark densities and structure functions in massless perturbative QCD. Present information on the corresponding three-loop splitting functions is used to…

High Energy Physics - Phenomenology · Physics 2008-11-26 W. L. van Neerven , A. Vogt

In a distributed coin-flipping protocol, Blum [ACM Transactions on Computer Systems '83], the parties try to output a common (close to) uniform bit, even when some adversarially chosen parties try to bias the common output. In an adaptively…

Cryptography and Security · Computer Science 2024-10-29 Iftach Haitner , Yonatan Karidi-Heller

We propose a scheme for scalable and robust quantum computing on two-dimensional arrays of qubits with fixed longitudinal coupling. This opens the possibility for bypassing the device complexity associated with tunable couplers required in…

Quantum Physics · Physics 2023-03-08 Nguyen H. Le , Max Cykiert , Eran Ginossar

The paper discusses the gate complexity and the depth of reversible circuits consisting of NOT, CNOT and 2-CNOT gates in the case, when the number of additional inputs is limited. We study Shannon's gate complexity function $L(n, q)$ and…

Computational Complexity · Computer Science 2017-03-28 Dmitry V. Zakablukov

For each non-constant $q$ in the set of $n$-variable Boolean functions, the {\em $q$-transform} of a Boolean function $f$ is related to the Hamming distances from $f$ to the functions obtainable from $q$ by nonsingular linear change of…

Cryptography and Security · Computer Science 2017-11-09 Zhixiong Chen , Ting Gu , Andrew Klapper

One strategy to fit larger problems on NISQ devices is to exploit a tradeoff between circuit width and circuit depth. Unfortunately, this tradeoff still limits the size of tractable problems since the increased depth is often not realizable…

Quantum Physics · Physics 2021-09-08 Justin Yirka , Yigit Subasi

We use the venerable "fooling set" method to prove new lower bounds on the quantum communication complexity of various functions. Let f:X x Y-->{0,1} be a Boolean function, fool^1(f) its maximal fooling set size among 1-inputs, Q_1^*(f) its…

Quantum Physics · Physics 2012-09-26 Hartmut Klauck , Ronald de Wolf

We continue the investigation of Boolean-like algebras of dimension n (nBA) having n constants e1,...,en, and an (n+1)-ary operation q (a "generalised if-then-else") that induces a decomposition of the algebra into n factors through the…

Logic in Computer Science · Computer Science 2022-10-26 Antonio Bucciarelli , Antonio Ledda , Francesco Paoli , Antonino Salibra

An operational approach to the study of computation based on correlations considers black-boxes with one-bit inputs and outputs, controlled by a limited classical computer capable only of performing sums modulo-2. In this setting, it was…

Quantum Physics · Physics 2017-12-06 André L. Oestereich , Ernesto F. Galvão

In the noisy query model, the (binary) return value of every query (possibly repeated) is independently flipped with some fixed probability $p \in (0, 1/2)$. In this paper, we obtain tight bounds on the noisy query complexity of several…

Data Structures and Algorithms · Computer Science 2025-02-17 Yuzhou Gu , Xin Li , Yinzhan Xu

Several classes of quantum circuits have been shown to provide a quantum computational advantage under certain assumptions. The study of ever more restricted classes of quantum circuits capable of quantum advantage is motivated by possible…

Quantum Physics · Physics 2024-04-10 Michael de Oliveira , Luís S. Barbosa , Ernesto F. Galvão

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

We consider boolean circuits computing n-operators f:{0,1}^n --> {0,1}^n. As gates we allow arbitrary boolean functions; neither fanin nor fanout of gates is restricted. An operator is linear if it computes n linear forms, that is, computes…

Computational Complexity · Computer Science 2015-03-17 S. Jukna , G. Schnitger

It is known that the order of correlation immunity of a nonconstant unbalanced Boolean function in $n$ variables cannot exceed $2n/3-1$; moreover, it is $2n/3-1$ if and only if the function corresponds to an equitable $2$-partition of the…

Combinatorics · Mathematics 2023-04-11 Denis S. Krotov , Konstantin V. Vorob'ev

Inspired by Solomonoffs theory of inductive inference, we propose a prior based on circuit complexity. There are several advantages to this approach. First, it relies on a complexity measure that does not depend on the choice of UTM. There…

Machine Learning · Computer Science 2023-06-27 Cole Wyeth , Carl Sturtivant

We study Boolean functions of an arbitrary number of input variables that can be realized by simple iterative constructions based on constant-size primitives. This restricted type of construction needs little global coordination or control…

Neural and Evolutionary Computing · Computer Science 2016-06-16 Christos Papadimitrou , Samantha Petti , Santosh Vempala