English
Related papers

Related papers: On almost Cap sets in three variables and the mult…

200 papers

The degree of a CSP instance is the maximum number of times that any variable appears in the scopes of constraints. We consider the approximate counting problem for Boolean CSP with bounded-degree instances, for constraint languages…

Computational Complexity · Computer Science 2011-09-19 Martin Dyer , Leslie Ann Goldberg , Markus Jalsenius , David Richerby

We prove that the tree almost automorphism groups admit exactly three commensurability classes of closed commensurated subgroups. Our proof utilizes an independently interesting characterization of subgroups of the tree almost automorphism…

Group Theory · Mathematics 2017-06-28 Adrien Le Boudec , Phillip Wesolek

For each vector $x\in \ell^{\infty}$, we can define the non-empty compact set $L_x$ of accumulation points of $x$. Given an infinite subset $A$ of $\mathbb{N}\backslash\{1\}$, we can therefore investigate under which conditions on $A$, the…

Functional Analysis · Mathematics 2023-03-08 Quentin Menet , Dimitris Papathanasiou

Let A be a subset of $\F_p^n$, the $n$-dimensional linear space over the prime field $\F_p$ of size at least $\de N$ $(N=p^n)$, and let $S_v=P^{-1}(v)$ be the level set of a homogeneous polynomial map $P:\F_p^n\to\F_p^R$ of degree $d$, and…

Number Theory · Mathematics 2010-11-30 Brian Cook , Akos Magyar

It has been recently shown that $|| F_n(A) ||\leq 2$, where $A$ is a linear continuous operator acting in a Hilbert space, and $F_n$ is the Faber polynomial of degree $n$ corresponding to some convex compact $E\subset \mathbb C$ containing…

Numerical Analysis · Mathematics 2013-10-07 Bernhard Beckermann , Michel Crouzeix

Suppose A is a finite set equipped with a probability measure P and let M be a ``mass'' function on A. We give a probabilistic characterization of the most efficient way in which A^n can be almost-covered using spheres of a fixed radius. An…

Probability · Mathematics 2007-07-16 Ioannis Kontoyiannis

We study some properties of graphs (or, rather, graph sequences) defined by demanding that the number of subgraphs of a given type, with vertices in subsets of given sizes, approximatively equals the number expected in a random graph. It…

Combinatorics · Mathematics 2014-05-28 Svante Janson , Vera T. Sós

An arc is a subset of $\mathbb F_q^2$ which does not contain any collinear triples. Let $A(q,k)$ denote the number of arcs in $\mathbb F_q^2$ with cardinality $k$. This paper is primarily concerned with estimating the size of $A(q,k)$ when…

Combinatorics · Mathematics 2020-10-13 Oliver Roche-Newton , Audie Warren

In this article we introduce the notion of a quasi-compatible system of Galois representations. The quasi-compatibility condition is a slight relaxation of the classical compatibility condition in the sense of Serre. The main theorem that…

Algebraic Geometry · Mathematics 2017-09-11 Johan Commelin

Approximate morphisms have seen significant study across many areas of mathematics, for instance, in the theory of Absolute (Neighborhood) Retracts in topology, or of almost-commuting unitary matrices in analysis. This paper initiates study…

Operator Algebras · Mathematics 2026-01-14 Samantha Pilgrim

It has recently been shown that fairly strong axiom systems such as $\mathsf{ACA}_0$ cannot prove that the antichain with three elements is a better quasi order ($\mathsf{bqo}$). In the present paper, we give a complete characterization of…

Logic · Mathematics 2023-05-03 Anton Freund , Alberto Marcone , Fedor Pakhomov , Giovanni Soldà

We study the first-order almost-sure theories for classes of finite structures that are specified by homomorphically forbidding a set $\mathcal{F}$ of finite structures. If $\mathcal{F}$ consists of undirected graphs, a full description of…

Combinatorics · Mathematics 2024-06-24 Manuel Bodirsky , Colin Jahel

Probabilistically checkable proofs of proximity (PCPP) are proof systems where the verifier is given a 3SAT formula, but has only oracle access to an assignment and a proof. The verifier accepts a satisfying assignment with a valid proof,…

Computational Complexity · Computer Science 2015-11-18 Shlomo Jozeph

We analyse the complexity of approximate counting constraint satisfactions problems $\mathrm{\#CSP}(\mathcal{F})$, where $\mathcal{F}$ is a set of nonnegative rational-valued functions of Boolean variables. A complete classification is…

Computational Complexity · Computer Science 2020-01-17 Miriam Backens , Andrei Bulatov , Leslie Ann Goldberg , Colin McQuillan , Stanislav Živný

Let $G$ be an almost simple sporadic group and let $H$ be a soluble subgroup of $G$. In this paper we prove that there exists $x,y \in G$ such that $H \cap H^x \cap H^y=1$, which is equivalent to the bound $b(G,H) \leqslant 3$ with respect…

Group Theory · Mathematics 2021-10-29 Timothy C. Burness

For any subshift, define $F_X(n)$ to be the collection of distinct follower sets of words of length $n$ in $X$. Based on a similar result of the second and third authors, we conjecture that if there exists an $n$ for which $|F_X(n)| \leq…

Dynamical Systems · Mathematics 2015-09-07 Thomas French , Nic Ormes , Ronnie Pavlov

Let $k\geq 2$ and $n\geq 3(k-1)$. Let $\mathcal{F}$ and $\mathcal{G}$ be families of $k$-element subsets of an $n$-element set. Suppose that $|F\cap G|\geq 2$ for all $F\in\mathcal{F}$ and $G\in\mathcal{G}$. We show that…

Combinatorics · Mathematics 2025-03-20 Hajime Tanaka , Norihide Tokushige

Given $k$ collections of 2SAT clauses on the same set of variables $V$, can we find one assignment that satisfies a large fraction of clauses from each collection? We consider such simultaneous constraint satisfaction problems, and design…

Data Structures and Algorithms · Computer Science 2014-07-30 Amey Bhangale , Swastik Kopparty , Sushant Sachdeva

We prove that finite perimeter subsets of $\mathbb{R}^{n+1}$ with small isoperimetric deficit have boundary Hausdorff-close to a sphere up to a subset of small measure. We also refine this closeness under some additional a priori integral…

Differential Geometry · Mathematics 2017-03-09 Erwann Aubry , Jean-François Grosjean

In prior work, we showed that subsets of $\mathbb{F}_{p}^{n}$ of $\mathrm{VC_{2}}$-dimension at most $k$ are well approximated by a union of atoms of a quadratic factor of complexity $(\ell,q)$, where the complexity $\ell$ of the linear…

Combinatorics · Mathematics 2025-10-17 C. Terry , J. Wolf