English
Related papers

Related papers: Small circuits and dual weak PHP in the universal …

200 papers

While it is well known that a Turing machine equipped with the ability to flip a fair coin cannot compute more that a standard Turing machine, we show that this is not true for a biased coin. Indeed, any oracle set $X$ may be coded as a…

Other Computer Science · Computer Science 2007-05-23 Toby Ord , Tien D. Kieu

Recently it has been proven that simple GP systems can efficiently evolve a conjunction of $n$ variables if they are equipped with the minimal required components. In this paper, we make a considerable step forward by analysing the…

Neural and Evolutionary Computing · Computer Science 2023-10-09 Benjamin Doerr , Andrei Lissovoi , Pietro S. Oliveto

\textit{Weak moonshine} for a finite group $G$ is the phenomenon where an infinite dimensional graded $G$-module $$V_G=\bigoplus_{n\gg-\infty}V_G(n)$$ has the property that its trace functions, known as McKay-Thompson series, are modular…

Representation Theory · Mathematics 2022-06-22 Madeline Locus Dawsey , Ken Ono

Given a text $T$ of length $n$ and a pattern $P$ of length $m$, the string matching problem is a task to find all occurrences of $P$ in $T$. In this study, we propose an algorithm that solves this problem in $O((n + m)q)$ time considering…

Data Structures and Algorithms · Computer Science 2020-04-14 Satoshi Kobayashi , Diptarama Hendrian , Ryo Yoshinaka , Ayumi Shinohara

The Spearman footrule is a voting rule that takes as input voter preferences expressed as rankings. It outputs a ranking that minimizes the sum of the absolute differences between the position of each candidate in the ranking and in the…

Computational Complexity · Computer Science 2026-02-26 Martin Durand

Recently, Forbes, Kumar and Saptharishi [CCC, 2016] proved that there exists an explicit $d^{O(1)}$-variate and degree $d$ polynomial $P_{d}\in VNP$ such that if any depth four circuit $C$ of bounded formal degree $d$ which computes a…

Computational Complexity · Computer Science 2021-07-22 Suryajith Chillara

We study regular expression membership testing: Given a regular expression of size $m$ and a string of size $n$, decide whether the string is in the language described by the regular expression. Its classic $O(nm)$ algorithm is one of the…

Data Structures and Algorithms · Computer Science 2016-11-08 Karl Bringmann , Allan Grønlund , Kasper Green Larsen

A pseudorandom code is a keyed error-correction scheme with the property that any polynomial number of encodings appear random to any computationally bounded adversary. We show that the pseudorandomness of any code tolerating a constant…

Cryptography and Security · Computer Science 2025-10-01 Sanjam Garg , Sam Gunn , Mingyuan Wang

The class P is in fact a proper sub-class of NP. We explore topological properties of the Hamming space 2^[n] where [n]={1, 2,..., n}. With the developed theory, we show: (i) a theorem that is closely related to Erdos and Rado's sunflower…

Computational Complexity · Computer Science 2013-10-23 Junichiro Fukuyama

The paper presents fundamental metrical theorems for a class of continued fraction-like expansions known as $\theta$-expansions. We first prove Khinchine's Weak Law of Large Numbers for the sum of digits, followed by the Diamond-Vaaler…

Number Theory · Mathematics 2026-01-21 Andreas Rusu , Gabriela Ileana Sebe , Dan Lascu

We establish an explicit link between depth-3 formulas and one-sided approximation by depth-2 formulas, which were previously studied independently. Specifically, we show that the minimum size of depth-3 formulas is (up to a factor of n)…

Computational Complexity · Computer Science 2017-05-11 Shuichi Hirahara

We prove that constant-depth quantum circuits are more powerful than their classical counterparts. To this end we introduce a non-oracular version of the Bernstein-Vazirani problem which we call the 2D Hidden Linear Function problem. An…

Quantum Physics · Physics 2018-10-23 Sergey Bravyi , David Gosset , Robert Koenig

Given two strings $S$ and $P$, the Episode Matching problem is to find the shortest substring of $S$ that contains $P$ as a subsequence. The best known upper bound for this problem is $\tilde O(nm)$ by Das et al. (1997) , where $n,m$ are…

Data Structures and Algorithms · Computer Science 2024-02-15 Philip Bille , Inge Li Gørtz , Shay Mozes , Teresa Anna Steiner , Oren Weimann

We prove essentially optimal fine-grained lower bounds on the gap between a data structure and a partially retroactive version of the same data structure. Precisely, assuming any one of three standard conjectures, we describe a problem that…

Data Structures and Algorithms · Computer Science 2022-11-29 Lily Chung , Erik D. Demaine , Dylan Hendrickson , Jayson Lynch

This paper provides a new and more direct proof of the assertion that a Turing computable function of the natural numbers is primitive recursive if and only if the time complexity of the corresponding Turing machine is bounded by a…

Formal Languages and Automata Theory · Computer Science 2025-10-22 Daniel G. Schwartz

We generalize the problem of coin flipping to more than two outcomes and parties. We term this problem dice rolling, and study both its weak and strong variants. We prove by construction that in quantum settings (i) weak N-sided dice…

Quantum Physics · Physics 2015-05-14 N. Aharon , J. Silman

This paper is about certain string-to-string functions, called the polyregular functions. These are like the regular string-to-string functions, except that they can have polynomial (and not just linear) growth. The class has four…

Formal Languages and Automata Theory · Computer Science 2018-10-23 Mikołaj Bojańczyk

In earlier work we proposed a string theory dual to two dimensional Yang-Mills theory at zero coupling (which can also be thought of as a $BF$ theory), given by a Polyakov-like generalization of Ho\v rava's topological rigid string theory,…

High Energy Physics - Theory · Physics 2025-10-28 Ofer Aharony , Suman Kundu , Tal Sheaffer

Post-Newtonian theory is considered a reliable effective expansion of General Relativity in the weak-field and slow-motion limit. We argue that such a belief is misplaced. In generic many-body relativistic dynamics, the absence of globally…

General Relativity and Quantum Cosmology · Physics 2026-05-14 Marco Galoppo , Giorgio Torrieri

The present work proves that P=NP. The proof, presented in this work, is a constructive one: the program of a polynomial time deterministic multi-tape Turing machine M_ExistsAcceptingPath, that determines if there exists an accepting…

Computational Complexity · Computer Science 2017-03-21 Sergey V. Yakhontov