English
Related papers

Related papers: Constant Degree Direct Product Testers with Small …

200 papers

Kawamura and Cook have developed a framework for studying the computability and complexity theoretic problems over "large" topological spaces. This framework has been applied to study the complexity of the differential operator and the…

Logic in Computer Science · Computer Science 2014-05-09 Walid Gomaa

The minimal faithful permutation degree of a finite group G is the least non-negative integer n such that G embeds in the symmetric group Sym(n). Work of Johnson and Wright established conditions for when the minimal degree of a direct…

Group Theory · Mathematics 2007-08-07 Neil Saunders

We develop new methods for computing the precise Dehn functions of coabelian subgroups of direct products of groups, that is, subgroups which arise as kernels of homomorphisms from the direct product onto a free abelian group. These improve…

Group Theory · Mathematics 2023-08-23 Robert Kropholler , Claudio Llosa Isenrich

The problem of group extension can be divided into two sub-problems. The first is to find all the possible extensions of $H$ by $K$. The second is to find the different ways a group $G$ can arise as an extension of $H$ by $K$. Here we prove…

Group Theory · Mathematics 2007-05-23 Ayoub Joseph

We prove a strong composition theorem for junta complexity and show how such theorems can be used to generically boost the performance of property testers. The $\varepsilon$-approximate junta complexity of a function $f$ is the smallest…

Computational Complexity · Computer Science 2023-07-11 Guy Blanc , Caleb Koch , Carmen Strassle , Li-Yang Tan

We study the problem of testing if a function depends on a small number of linear directions of its input data. We call a function $f$ a linear $k$-junta if it is completely determined by some $k$-dimensional subspace of the input space. In…

Computational Complexity · Computer Science 2018-11-05 Anindya De , Elchanan Mossel , Joe Neeman

In this paper, we use purely complex analytic techniques to prove two results of the first author which were hitherto given only probabilistic proofs. A general form of the Phragm\'en-Lindel\"of principle states that if the…

Complex Variables · Mathematics 2025-11-07 Greg Markowsky , Clayton McDonald

We prove that every continuous function on a separable infinite-dimensional Hilbert space X can be uniformly approximated by smooth functions with no critical points. This kind of result can be regarded as a sort of very strong approximate…

Differential Geometry · Mathematics 2007-05-23 Daniel Azagra , Manuel Cepedello Boiso

Closed testing procedures are classically used for familywise error rate (FWER) control, but they can also be used to obtain simultaneous confidence bounds for the false discovery proportion (FDP) in all subsets of the hypotheses. In this…

Methodology · Statistics 2019-11-15 Jelle Goeman , Rosa Meijer , Thijmen Krebs , Aldo Solari

In partial function extension, we are given a partial function consisting of $n$ points from a domain and a function value at each point. Our objective is to determine if this partial function can be extended to a function defined on the…

Data Structures and Algorithms · Computer Science 2018-12-17 Umang Bhaskar , Gunjan Kumar

We present a new distributed model of probabilistically checkable proofs (PCP). A satisfying assignment $x \in \{0,1\}^n$ to a CNF formula $\varphi$ is shared between two parties, where Alice knows $x_1, \dots, x_{n/2}$, Bob knows…

Computational Complexity · Computer Science 2017-11-02 Amir Abboud , Aviad Rubinstein , Ryan Williams

The metrical theory of the product of consecutive partial quotients is associated with the uniform Diophantine approximation, specifically to the improvements to Dirichlet's theorem. Achieving some variant forms of metrical theory in…

Number Theory · Mathematics 2023-09-19 Bo Tan , Qing-Long Zhou

We prove the Riemannian curvature-dimension condition $\mathsf{RCD}(KN,N+1)$ for an $N$-warped product $B\times_f^N F$ over a one-dimensional base space $B$ with a Lipschitz function $f: B\rightarrow \mathbb R_{\geq 0}$, provided (1) $f$ is…

Differential Geometry · Mathematics 2025-07-29 Christian Ketterer

We establish that finitely generated non-abelian direct products $G$ of free pro-$p$ groups have full Hausdorff spectrum with respect to the lower $p$-series $\mathcal{L}$. This complements similar results with respect to other standard…

Group Theory · Mathematics 2025-05-23 Iker de las Heras , Benjamin Klopsch , Anitha Thillaisundaram

We investigate the continued fraction expansion of the infinite products $g(x) = x^{-1}\prod_{t=0}^\infty P(x^{-d^t})$ where polynomials $P(x)$ satisfy $P(0)=1$ and $\deg(P)<d$. We construct relations between partial quotients of $g(x)$…

Number Theory · Mathematics 2018-03-08 Dmitry Badziahin

We prove that the most natural low-degree test for polynomials over finite fields is ``robust'' in the high-error regime for linear-sized fields. Specifically we consider the ``local'' agreement of a function $f: \mathbb{F}_q^m \to…

Computational Complexity · Computer Science 2023-11-22 Prahladh Harsha , Mrinal Kumar , Ramprasad Saptharishi , Madhu Sudan

The class $\MIP^*$ of promise problems that can be decided through an interactive proof system with multiple entangled provers provides a complexity-theoretic framework for the exploration of the nonlocal properties of entanglement. Little…

Quantum Physics · Physics 2015-10-02 Matthew Coudron , Thomas Vidick

We study a metric version of the simplicial volume on Riemannian manifolds, the Lipschitz simplicial volume, with applications to degree theorems in mind. We establish a proportionality principle and a product inequality from which we…

Geometric Topology · Mathematics 2014-02-26 Clara Loeh , Roman Sauer

We study dp-minimal infinite profinite groups that are equipped with a uniformly definable fundamental system of open subgroups. We show that these groups have an open subgroup $A$ such that either $A$ is a direct product of countably many…

Logic · Mathematics 2020-08-21 Tim Clausen

This paper was motivated by a question of Avner Ash, asking if it is possible to construct non-selfdual, non-monomial, cuspidal cohomology classes for suitable congruence subgroups \Gamma of SL(n,\Z). Such a construction, in special…

Number Theory · Mathematics 2007-05-23 Dinakar Ramakrishnan , Song Wang