Let $L$ be a fixed set of positive integers. A family $\mathcal{F}\subseteq 2^{[n]}$ is called $L$-differencing if $\lvert A\setminus B\rvert\in L$ for every ordered pair of distinct members $A,B\in\mathcal{F}$. A longstanding conjecture of Frankl, proposed in 1985, asserts that every $L$-differencing family has size at most $\binom{n}{|L|}$. We resolve this conjecture asymptotically for every fixed $L$, and obtain the exact answer in the only case in which the conjectured bound could be tight. (1) If $L\ne [s]$ and $n$ is large, then every $L$-differencing family satisfies $\lvert \mathcal{F}\rvert \le \left(\frac{s}{s+1}+o_L(1)\right)\binom{n}{s}$. (2) If $L=[s]$ and $n\ge 2s-1$, then $\lvert \mathcal{F}\rvert\le\binom{n}{s}$, with equality only for $\binom{[n]}{s}$ and $\binom{[n]}{n-s}$. The first result follows by reducing directed differences to restricted Hamming distances. For the exact result, we develop a new homogeneous polynomial method, which might be of independent interest.
For a positive integer $n$, write $[n]=\{1,\ldots,n\}$. A strictly increasing sequence of integers $x_1<\cdots<x_k$ is an \emph{ascending wave} if its consecutive differences are nondecreasing. Let $g(n)$ be the largest integer $k$ such that every set $A\subseteq[n]$ with $|A|\ge n/2$ contains an ascending wave of leng...
Let $\mathrm{Sym(n,k)}$ denote the set of permutations on $\{1,2,\ldots,n\}$ with exactly $k$ cycles. A family $\mathcal{F}\subset\mathrm{Sym}(n,k)$ is said to be intersecting if $\sigma^{-1}\tau$ has a fixed point for all $\sigma,\tau\in\mathcal{F}$. In this paper, we investigate the size and structure of maximum-size...
Let $\mu$ be a log-concave probability measure on $\mathbb R^n$ and let $f\colon\mathbb R^n\to\mathbb R^k$ be a polynomial mapping of degree at most $d$. We show that \[ \mu(f\in A) \le C\bigl(\lambda_k(A)\bigr)^{\frac{1}{k(d-1)+1}} \] for every Borel set $A\subset\mathbb R^k$ whenever the image measure $\mu\circ f^{-1...
An \emph{$n$-divisor set} is a finite set of positive integers containing a multiple of every integer from $1$ through $n$. Umans and Wang proposed, as the arithmetic-progression version of their Strong $(\alpha,\beta)$-Divisor Conjecture, an $n$-divisor arithmetic progression having at most $n^{2\beta}$ terms, each of...
We study the Lonely Runner Conjecture (LRC), conceived by J\"org M. Wills in the 1960's: Given positive integers $n_1, n_2, \dots, n_k$, there exists a positive real number $t$ such that for all $1 \le j \le k$ the distance of $t \,n_j$ to the nearest integer is at least $\frac{ 1 }{ k+1 }$. We prove that for any count...
Fix $\varepsilon>0$, let $x>1$ be a large real number and let $\text{rad}(n)=\prod_{p\mid n}p$ be the radical of an integer $n\geq1$. A triple $(a,b,c)$, with $a+b=c$ and $\gcd(a,b,c)=1$, such that $c>(\text{rad}(abc))^{1+\varepsilon}$, is called exceptional triple. Recent works have proved that the cardinality $\#\mat...
N. Carella· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.
