arXiv++ Combinatorics

Let $B^d$ denote the Euclidean unit ball in $\mathbb{R}^d$ and $f(B^d)$ denote the largest constant $c$ such that every finite collection of congruent Euclidean balls contains a pairwise disjoint subcollection whose total volume is at least $c$ times the volume of the union of the original collection. The classical Vitali covering lemma gives $f(B^d)\geq3^{-d}$. In this paper, we establish two improvements. First, by a purely combinatorial argument, we prove that $$ f(B^d)\geq \frac{2}{3^d + 2^d} $$ for every integer $d \geq1$. This improves the Vitali bound by a factor tending to $2$ as d tends to infinity. Second, using a weighted hard-core model together with a weighted geometric estimate for intersections of Euclidean balls, we show that, for all sufficiently large $d$, $$ f(B^d)\geq \left( \log\frac{3}{1+\sqrt3} -O\left(\frac{\log d}{d}\right) \right)d\,3^{-d}. $$ Thus, the classical lower bound is improved by a factor of order $d$.

In this paper, we study the dot-product graphs in $\mathbb{F}_q^d$. We prove that if the size of the product of two adjacent sets is large enough, then the set of dot-product graphs has positive density. Our method is based on finite field Fourier analytic techniques.

In this paper, we study problems about the similar configurations in $\mathbb{F}_q^d$. Let $G=(V, E)$ be a graph, where $V=\{1, 2, \ldots, n\}$ and $E\subseteq{V\choose2}$. For a set $\mathcal{E}$ in $\mathbb{F}_q^d$, we say that $\mathcal{E}$ contains a pair of $G$ with dilation ratio $r$ if there exist distinct $\boldsymbol{x}_1, \boldsymbol{x}_2, \ldots, \boldsymbol{x}_n\in\mathcal{E}$ and distinct $\boldsymbol{y}_1, \boldsymbol{y}_2, \ldots, \boldsymbol{y}_n\in\mathcal{E}$ such that $\|\boldsymbol{y}_i-\boldsymbol{y}_{j}\|=r\|\boldsymbol{x}_i-\boldsymbol{x}_j\|\neq0$ whenever $\{i, j\}\in E$, where $\|\boldsymbol{x}\|:=x_1^2+x_2^2+\cdots+x_d^2$ for $\boldsymbol{x}=(x_1, x_2, \ldots, x_d)\in\mathbb{F}_q^d$. We show that if $\mathcal{E}$ has size at least $C_kq^{d/2}$, then $\mathcal{E}$ contains a pair of $k$-stars with dilation ratio $r$, and that if $\mathcal{E}$ has size at least $C\cdot\min\left\{q^{(2d+1)/3}, \max\left\{q^3, q^{d/2}\right\}\right\}$, then $\mathcal{E}$ contains a pair of $4$-paths with dilation ratio $r$. Our method is based on enumerative combinatorics and graph theory.

In this paper, we give some new lower bounds for the kissing number of $\ell_p$-spheres. These results improve the previous work due to Xu (2007). Our method is based on coding theory.

Define the superball with radius $r$ and center ${\boldsymbol 0}$ in $\mathbb{R}^n$ to be the set $$ \left\{{\boldsymbol x}\in\mathbb{R}^n:\sum_{j=1}^{m}\left(x_{k_j+1}^2+x_{k_j+2}^2+\cdots+x_{k_{j+1}}^2\right)^{p/2}\leq r^p\right\},0=k_1<k_2<\cdots<k_{m+1}=n, $$ which is a generalization of $\ell_p$-balls. We give two new proofs for the celebrated result that for $1<p\leq2$, the translative packing density of superballs in $\mathbb{R}^n$ is $Ω(n/2^n)$. This bound was first obtained by Schmidt, with subsequent constant factor improvement by Rogers and Schmidt, respectively. Our first proof is based on the hard superball model, and the second proof is based on the independence number of a graph. We also investigate the entropy of packings, which measures how plentiful such packings are.

We study some sum-product problems over matrix rings. Firstly, for $A, B, C\subseteq M_n(\mathbb{F}_q)$, we have $$ |A+BC|\gtrsim q^{n^2}, $$ whenever $|A||B||C|\gtrsim q^{3n^2-\frac{n+1}{2}}$. Secondly, if a set $A$ in $M_n(\mathbb{F}_q)$ satisfies $|A|\geq C(n)q^{n^2-1}$ for some sufficiently large $C(n)$, then we have $$ \max\{|A+A|, |AA|\}\gtrsim \min\left\{\frac{|A|^2}{q^{n^2-\frac{n+1}{4}}}, q^{n^2/3}|A|^{2/3}\right\}. $$ These improve the results due to The and Vinh (2020), and generalize the results due to Mohammadi, Pham, and Wang (2021). We also give a new proof for a recent result due to The and Vinh (2020). Our method is based on spectral graph theory and linear algebra.

For a graph $H$ and a $k$-chromatic graph $F,$ if the Turán graph $T_{k-1}(n)$ has the maximum number of copies of $H$ among all $n$-vertex $F$-free graphs (for $n$ large enough), then $H$ is called $F$-Turán-good, or $k$-Turán-good for short if $F$ is $K_k.$ In this paper, we construct some new classes of $k$-Turán-good graphs and prove that $P_4$ and $P_5$ are $k$-Turán-good for $k\ge4.$

Erdős posed the problem of finding conditions on a graph $G$ that imply the largest number of edges in a triangle-free subgraph is equal to the largest number of edges in a bipartite subgraph. We generalize this problem to general cases. Let $δ_r$ be the least number so that any graph $G$ on $n$ vertices with minimum degree $δ_rn$ has the property $P_{r-1}(G)=K_rf(G),$ where $P_{r-1}(G)$ is the largest number of edges in an $(r-1)$-partite subgraph and $K_rf(G)$ is the largest number of edges in a $K_r$-free subgraph. We show that $\frac{3r-4}{3r-1}<δ_r\le\frac{4(3r-7)(r-1)+1}{4(r-2)(3r-4)}$ when $r\ge4.$ In particular, $δ_4\le 0.9415.$

A Nikodym set $\mathcal{N}\subseteq(\mathbb{Z}/(N\mathbb{Z}))^n$ is a set containing $L\setminus\{x\}$ for every $x\in(\mathbb{Z}/(N\mathbb{Z}))^n$, where $L$ is a line passing through $x$. We prove that if $N$ is square-free, then the size of every Nikodym set is at least $c_nN^{n-o(1)}$, where $c_n$ only depends on $n$. This result is an extension of the result in the finite field case.