Related papers: $\mathbf{Bad}(s,t)$ is hyperplane absolute winning

Let $k_i\in \mathbb N$ $(i\ge 1)$ satisfy $2\le k_1\le k_2\le \ldots $. Freiman's theorem shows that when $j\in \mathbb N$, there exists $s=s(j)\in \mathbb N$ such that all large integers $n$ are represented in the form…

We proved that for every sufficiently large $n$, the complete graph $K_{2n}$ with an arbitrary edge signing $\sigma: E(K_{2n}) \to \{-1, +1\}$ admits a high discrepancy $1$-factor decomposition. That is, there exists a universal constant $c…

Let $n > m \geq 1$ be integers such that $n+ m \geq 4$ is even. We prove the existence, in the volume aspect, of exceptional Maass forms on compact quotients of the hyperbolic Grassmannian of signature $(n,m)$. The method builds upon the…

Let C be two times continuously differentiable curve in R^2 with at least one point at which the curvature is non-zero. For any i,j > 0 with i+j =1, let Bad(i,j) denote the set of points (x,y) in R^2 for which max {||qx ||^{1/i},…

For all integers $k,d$ such that $k \geq 3$ and $k/2\leq d \leq k-1$, let $n$ be a sufficiently large integer {\rm(}which may not be divisible by $k${\rm)} and let $s\le \lfloor n/k\rfloor-1$. We show that if $H$ is a $k$-uniform hypergraph…

Let $\mathcal{D}=(d_n)_{n=1}^\infty$ be a bounded sequence of integers with $d_n\ge 2$ and let $(i, j)$ be a pair of strictly positive numbers with $i+j=1$. We prove that the set of $x \in \RR$ for which there exists some constant $c(x) >…

Two measurable sets $S, \Lambda \subseteq \mathcal{R}^d$ form a Heisenberg uniqueness pair, if every bounded measure $\mu$ with support in S whose Fourier transform vanishes on {\Lambda} must be zero. We show that a quadratic hypersurface…

We study some divisibility properties of multiperfect numbers. Our main result is: if $N=p_1^{\alpha_1}... p_s^{\alpha_s} q_1^{2\beta_1}... q_t^{2\beta_t}$ with $\beta_1, ..., \beta_t$ in some finite set S satisfies…

Let $\mathbb{V}$ be a motivic variation of Hodge structure on a $K$-variety $S$, let $\mathcal{H}$ be the associated $K$-algebraic Hodge bundle, and let $\sigma \in \textrm{Aut}(\mathbb{C}/K)$ be an automorphism. The absolute Hodge…

We prove that for any countable set $A$ of real numbers, the set of binary indefinite quadratic forms $Q$ such that the closure of $Q(\mathbb{Z}^2)$ is disjoint from $A$ has full Hausdorff dimension.

Zeckendorf proved that every positive integer $n$ can be written uniquely as the sum of non-adjacent Fibonacci numbers. We use this decomposition to construct a two-player game. Given a fixed integer $n$ and an initial decomposition of $n=n…

Given a $2k$-dimensional symplectic space $(Z,F)$ in $N$ variables, $1 < 2k \leq N$, over a global field $K$, we prove the existence of a symplectic basis for $(Z,F)$ of bounded height. This can be viewed as a version of Siegel's lemma for…

A vertex labeling of a hypergraph is sum distinguishing if it uses positive integers and the sums of labels taken over the distinct hyperedges are distinct. Let s(H) be the smallest integer N such that there is a sum-distinguishing labeling…

The author, together with Nagy, studied the following problem on unavoidable intersections of given size in binary affine spaces. Given an $m$-element set $S\subseteq \mathbb{F}_2^n$, is there guaranteed to be a $[k,t]$-flat, that is, a…

We extend results of Jagy and Kaplansky and the present authors and show that for all $k\geq 3$ there are infinitely many positive integers $n$, which cannot be written as $x^2+y^2+z^k=n$ for positive integers $x,y,z$, where for…

When $s\ge k\ge 3$ and $n_1,\ldots ,n_k$ are large natural numbers, denote by $A_{s,k}(\mathbf n)$ the number of solutions in non-negative integers $\mathbf x$ to the system \[ x_1^j+\ldots +x_s^j=n_j\quad (1\le j\le k). \] Under…

Let $\Psi(x,y)$ denote the count of $y$-smooth numbers below $x$ and $P(n)$ denote the largest prime factor of $n$. We prove that for $f$ a Steinhaus random multiplicative function, the partial sums over $y$-smooth numbers always enjoy…

It is proved that Epstein's zeta-function $\zeta_{Q}(s)$, related to a positive definite integral binary quadratic form, has a zero $1/2 + i\gamma$ with $ T \leq \gamma \leq T + T^{{3/7} +\varepsilon} $ for sufficiently large positive…

Consider a closed connected hypersurface in $\mathbb{R}^n$ with constant signature (k,l) of the second quadratic form, and approaching a quadratic cone at infinity. This hypersurface divides $\mathbb{R}^n$ into two pieces. We prove that one…

Huang, McKinnon, and Satriano conjectured that if $v \in \mathbb{R}^n$ has distinct coordinates and $n \geq 3$, then a hyperplane through the origin other than $\sum_i x_i = 0$ contains at most $2\lfloor n/2 \rfloor (n-2)!$ of the vectors…