English
Related papers

Related papers: On generalized corners and matrix multiplication

200 papers

A set $U\subseteq \reals^2$ is $n$-universal if all $n$-vertex planar graphs have a planar straight-line embedding into $U$. We prove that if $Q \subseteq \reals^2$ consists of points chosen randomly and uniformly from the unit square then…

Discrete Mathematics · Computer Science 2019-09-12 Alexander Choi , Marek Chrobak , Kevin Costello

In order to formally understand the power of neural computing, we first need to crack the frontier of threshold circuits with two and three layers, a regime that has been surprisingly intractable to analyze. We prove the first super-linear…

Computational Complexity · Computer Science 2018-02-01 Daniel M. Kane , Ryan Williams

Suppose that $A \subset \{1,\dots, N\}$ has no two elements differing by a square. Then $|A| \ll N e^{-c\sqrt{\log N}}$.

Number Theory · Mathematics 2025-01-13 Ben Green , Mehtaab Sawhney

A result of Simonovits and S\'os states that for any fixed graph $H$ and any $\epsilon > 0$ there exists $\delta > 0$ such that if $G$ is an $n$-vertex graph with the property that every $S \subseteq V(G)$ contains $p^{e(H)} |S|^{v(H)} \pm…

Combinatorics · Mathematics 2016-12-23 David Conlon , Jacob Fox , Benny Sudakov

We determine the structure of a finite subset $A$ of an abelian group given that $|2A|<3(1-\epsilon)|A|$, $\epsilon>0$; namely, we show that $A$ is contained either in a "small" one-dimensional coset progression, or in a union of fewer than…

Number Theory · Mathematics 2020-10-27 Vsevolod F. Lev

An old question of Erdos asks if there exists, for each number N, a finite set S of integers greater than N and residue classes r(n) mod n for n in S whose union is all the integers. We prove that if $\sum_{n\in S} 1/n$ is bounded for such…

Number Theory · Mathematics 2007-05-23 Michael Filaseta , Kevin Ford , Sergei Konyagin , Carl Pomerance , Gang Yu

We restrict our discussion to the orientable category. For $g > 1$, let $OE_g$ be the maximum order of a finite group $G$ acting on the closed surface $\Sigma_g$ of genus $g$ which extends over $(S^3, \Sigma_g)$, where the maximum is taken…

Geometric Topology · Mathematics 2016-06-07 Chao Wang , Shicheng Wang , Yimu Zhang , Bruno Zimmermann

Let $f(n, v, e)$ denote the maximum number of edges in a 3-uniform hypergraph on $n$ vertices which does not contain $v$ vertices spanning at least $e$ edges. A central problem in extremal combinatorics, famously posed by Brown, Erd\H{o}s…

Combinatorics · Mathematics 2025-07-10 Oliver Janzer , Abhishek Methuku , Aleksa Milojević , Benny Sudakov

In this paper, we improve the results in the author's previous paper \cite{Usu22}, which deals with the quantitative problem on Littlewood's conjecture. We show that, for any $0<\gamma<1$, any $(\alpha,\beta)\in\mathbb{R}^2$ except on a set…

Number Theory · Mathematics 2024-04-23 Shunsuke Usuki

Define $s (n) := n^{- 1} \sigma (n)$ ($\sigma (n):=\sum_{d|n}d )$ and $\omega(n)$ is the number of prime divisors of $n$. One of the properties of $s$ plays a central role: $s (p^a) > s (q^b)$ if $p < q$ are prime numbers, with no special…

Number Theory · Mathematics 2020-05-20 Robert Vojak

Let $N$ be an odd perfect number and let $a$ be its third largest prime divisor, $b$ be the second largest prime divisor, and $c$ be its largest prime divisor. We discuss steps towards obtaining a non-trivial upper bound on $a$, as well as…

Number Theory · Mathematics 2021-06-29 Sean Bibby , Pieter Vyncke , Joshua Zelinsky

Let $\mathcal{S}$ be the set of all positive-definite, symmetrizable integer matrices with non-zero upper and lower diagonal and $\mathcal{T}$ to be the set of all positive-definite real symmetric matrices with nonzero upper diagonal such…

Number Theory · Mathematics 2024-01-24 Srijonee Shabnam Chaudhury

Given a non-negative $n \times n$ matrix viewed as a set of distances between $n$ points, we consider the property testing problem of deciding if it is a metric. We also consider the same problem for two special classes of metrics, tree…

Discrete Mathematics · Computer Science 2024-11-15 Yiqiao Bao , Sampath Kannan , Erik Waingarten

We study large minors in small-set expanders. More precisely, we consider graphs with $n$ vertices and the property that every set of size at most $\alpha n / t$ expands by a factor of $t$, for some (constant) $\alpha > 0$ and large $t =…

Combinatorics · Mathematics 2025-08-22 Michael Krivelevich , Rajko Nenadov

For $f$ a Rademacher or Steinhaus random multiplicative function, we prove that $$ \max_{\theta \in [0,1]} \frac{1}{\sqrt{N}} \Bigl| \sum_{n \leq N} f(n) \mathrm{e} (n \theta) \Bigr| \gg \sqrt{\log N} ,$$ asymptotically almost surely as $N…

Number Theory · Mathematics 2025-11-10 Seth Hardy

We improve the previously best known upper bounds on the sizes of $\theta$-spherical codes for every $\theta<\theta^*\approx 62.997^{\circ}$ at least by a factor of $0.4325$, in sufficiently high dimensions. Furthermore, for sphere packing…

Metric Geometry · Mathematics 2023-10-10 Naser T. Sardari , Masoud Zargar

We construct a bounded $C^{1}$ domain $\Omega$ in $R^{n}$ for which the $H^{3/2}$ regularity for the Dirichlet and Neumann problems for the Laplacian cannot be improved, that is, there exists $f$ in $C^{\infty}(\overline\Omega)$ such that…

Analysis of PDEs · Mathematics 2023-03-27 Martin Costabel

In 2015, Dankelmann and Bau proved that for every bridgeless graph $G$ of order $n$ and minimum degree $\delta$ there is an orientation of diameter at most $11\frac{n}{\delta+1}+9$. In 2016, Surmacs reduced this bound to…

Combinatorics · Mathematics 2022-01-20 Garner Cochran

Motivated by intuitions from projective algebraic geometry, we provide a novel construction of subsets of the $d$-dimensional grid $[n]^d$ of size $n - o(n)$ with no $d + 2$ points on a sphere or a hyperplane. For $d = 2$, this improves the…

Combinatorics · Mathematics 2025-06-24 Zichao Dong , Zijian Xu

We show that a set $A \subset \{0,1\}^{n}$ with edge-boundary of size at most $|A| (\log_{2}(2^{n}/|A|) + \epsilon)$ can be made into a subcube by at most $(2 \epsilon/\log_{2}(1/\epsilon))|A|$ additions and deletions, provided $\epsilon$…

Combinatorics · Mathematics 2013-11-28 David Ellis