English
Related papers

Related papers: Fast Computing the Algebraic Degree of Boolean Fun…

200 papers

The quantum query models is one of the most important models in quantum computing. Several well-known quantum algorithms are captured by this model, including the Deutsch-Jozsa algorithm, the Simon algorithm, the Grover algorithm and…

Quantum Physics · Physics 2020-02-26 Weijiang Chen , Zekun Ye , Lvzhou Li

We have proposed a method to accelerate the computation of Kubo formula optimized to vector processors. The key concept is parallel evaluation of multiple integration points, enabled by batched linear algebra operations. Through benchmark…

Materials Science · Physics 2023-09-14 Yuta Yahagi , Toshihiro Kato

We propose a quantum algorithm to estimate the Gowers $U_2$ norm of a Boolean function, and extend it into a second algorithm to distinguish between linear Boolean functions and Boolean functions that are $\epsilon$-far from the set of…

Discrete Mathematics · Computer Science 2020-07-01 C. A. Jothishwaran , Anton Tkachenko , Sugata Gangopadhyay , Constanza Riera , Pantelimon Stanica

We consider efficiency in the implementation of deep neural networks. Hardware accelerators are gaining interest as machine learning becomes one of the drivers of high-performance computing. In these accelerators, the directed graph…

Machine Learning · Computer Science 2021-04-28 George A. Constantinides

The ability to compose learned skills to solve new tasks is an important property of lifelong-learning agents. In this work, we formalise the logical composition of tasks as a Boolean algebra. This allows us to formulate new tasks in terms…

Machine Learning · Computer Science 2020-10-16 Geraud Nangue Tasse , Steven James , Benjamin Rosman

High-level vibrational calculations have been used to investigate anharmonicity in a wide variety of materials using density-functional-theory (DFT) methods. We have developed a new and efficient approach for describing strongly-anharmonic…

Materials Science · Physics 2017-06-20 Joseph C. A. Prentice , R. J. Needs

Bayesian optimization of function networks (BOFN) is a framework for optimizing expensive-to-evaluate objective functions structured as networks, where some nodes' outputs serve as inputs for others. Many real-world applications, such as…

Machine Learning · Statistics 2025-06-24 Poompol Buathong , Peter I. Frazier

Computational learning theory states that many classes of boolean formulas are learnable in polynomial time. This paper addresses the understudied subject of how, in practice, such formulas can be learned by deep neural networks.…

Machine Learning · Computer Science 2025-09-17 Marcio Nicolau , Anderson R. Tavares , Zhiwei Zhang , Pedro Avelar , João M. Flach , Luis C. Lamb , Moshe Y. Vardi

We consider the problem of enumerating relevant features hidden in other irrelevant information for multi-labeled data, which is formalized as learning juntas. A $k$-junta function is a function which depends on only $k$ coordinates of the…

Machine Learning · Computer Science 2019-07-16 Mikito Nanashima

We put forward a Quantum Amplitude Estimation algorithm delivering superior performance (lower quantum computational complexity and faster classical computation parts) compared to the approaches available to-date. The algorithm does not…

Quantum Physics · Physics 2024-07-25 Alet Roux , Tomasz Zastawniak

A new quantum algorithm for a search problem and its computational complexity are discussed. It is shown in the search problem containing 2^n objects that our algorithm runs in polynomial time.

Quantum Physics · Physics 2013-06-24 S. Iriyama , M. Ohya , I. V. Volovich

We examine the number T of queries that a quantum network requires to compute several Boolean functions on {0,1}^N in the black-box model. We show that, in the black-box model, the exponential quantum speed-up obtained for partial functions…

Quantum Physics · Physics 2007-05-23 Robert Beals , Harry Buhrman , Richard Cleve , Michele Mosca , Ronald de Wolf

We study tight bounds and fast algorithms for LCLMs of several linear differential operators with polynomial coefficients. We analyze the arithmetic complexity of existing algorithms for LCLMs, as well as the size of their outputs. We…

Symbolic Computation · Computer Science 2013-06-19 Alin Bostan , Frédéric Chyzak , Ziming Li , Bruno Salvy

Constantinescu and Ilie (Bulletin EATCS 89, 167--170, 2006) introduced the notion of an \emph{Abelian period} of a word. A word of length $n$ over an alphabet of size $\sigma$ can have $\Theta(n^{2})$ distinct Abelian periods. The…

Data Structures and Algorithms · Computer Science 2013-12-05 Gabriele Fici , Thierry Lecroq , Arnaud Lefebvre , Elise Prieur-Gaston

We discuss classical and quantum algorithms for solvability testing and finding integer solutions x,y of equations of the form af^x + bg^y = c over finite fields GF(q). A quantum algorithm with time complexity q^(3/8) (log q)^O(1) is…

Quantum Physics · Physics 2008-04-08 Wim van Dam , Igor E. Shparlinski

The provably asymptotically fastest algorithm within a factor of 5 for formally described problems will be constructed. The main idea is to enumerate all programs provably equivalent to the original problem by enumerating all proofs. The…

Computational Complexity · Computer Science 2007-05-23 Marcus Hutter

In large-scale computation of physics problems, one often encounters the problem of determining a multi-dimensional function, which can be time-consuming when computing each point in this multi-dimensional space is already time-demanding.…

Quantum Gases · Physics 2020-03-11 Juan Yao , Yadong Wu , Jahyun Koo , Binghai Yan , Hui Zhai

Based on the recent breakthrough of Huang (2019), we show that for any total Boolean function $f$, $\bullet \quad \mathrm{deg}(f) = O(\widetilde{\mathrm{deg}}(f)^2)$: The degree of $f$ is at most quadratic in the approximate degree of $f$.…

Quantum Physics · Physics 2020-10-27 Scott Aaronson , Shalev Ben-David , Robin Kothari , Shravas Rao , Avishay Tal

We show that Boolean matrix multiplication, computed as a sum of products of column vectors with row vectors, is essentially the same as Warshall's algorithm for computing the transitive closure matrix of a graph from its adjacency matrix.…

Discrete Mathematics · Computer Science 2017-11-08 Michiel de Bondt

Nowadays computational complexity of fast walsh hadamard transform and nonlinearity for Boolean functions and large substitution boxes is a major challenge of modern cryptography research on strengthening encryption schemes against linear…

Cryptography and Security · Computer Science 2020-04-27 Behrooz Khadem , Reza Ghasemi