Related papers: Hjorth's reflection argument
An old conjecture of Graham stated that if $n$ is a prime and $S$ is a sequence of $n$ terms from the cyclic group $C_n$ such that all (nontrivial) zero-sum subsequences have the same length, then $S$ must contain at most two distinct…
Simon's congruence, denoted \sim_n, relates words having the same subwords of length up to n. We show that, over a k-letter alphabet, the number of words modulo \sim_n is in 2^{\Theta(n^{k-1} log n)}.
In 1999, Jacobson and Lehel conjectured that for $k \geq 3$, every $k$-regular Hamiltonian graph has cycles of at least linearly many different lengths. This was further strengthened by Verstra\"{e}te, who asked whether the regularity can…
The Quadratic Density Hales Jewett conjecture with $2$ letters states that for large enough $n$, every dense subset of $\{0,1\}^{n^{2}}$ contains a combinatorial line where the wildcard set is of the form $\gamma \times \gamma$ where…
We provide a simplified proof of Zagier's conjecture / Mersmann's theorem which states that of any particular weight, there are only finitely many holomorphic eta quotients, none of which is an integral rescaling of another eta quotient or…
We give a full solution to the question of existence of indiscernibles in dependent theories by proving the following theorem: for every $\theta$ there is a dependent theory $T$ of size $\theta$ such that for all $\kappa$ and $\delta$,…
A modular form on an even lattice $M$ of signature $(l,2)$ is called reflective if it vanishes only on quadratic divisors orthogonal to roots of $M$. In this paper we show that every reflective modular form on a lattice of type $2U\oplus L$…
Simple cycles, also known as self-avoiding polygons, are cycles on graphs which are not allowed to visit any vertex more than once. We present an exact formula for enumerating the simple cycles of any length on any directed graph involving…
The Collatz function is defined as C(n) = n / 2 if n is even and C(n) = 3n + 1 if n is odd. The Collatz conjecture states that every sequence generated by the Collatz function ends with the cycle (4, 2, 1) after a finite number of…
Given $f \in C_0(\mathbb{R}^n)$ and $\Lambda \subset \mathbb{R}^{2n}$ a finite set we demonstrate the linear independence of the set of time-frequency translates $\mathcal{G}(f, \Lambda) = \{\pi(\lambda)f\}_{\lambda\in \Lambda}$ when the…
We show that almost all permutations have some power that is a cycle of prime length. The proof includes a theorem giving a strong upper bound on the proportion of elements of the symmetric group having no cycles with length in a given set.
In a finite real reflection group, the reflection length of each element is equal to the codimension of its fixed space, and the two coincident functions determine a partial order structure called the absolute order. In complex reflection…
The existence of an extremal code of length 72 is a long-standing open problem. Let C be a putative extremal code of length 72 and suppose that C has an automorphism g of order 6. We show that C, as an F_2<g>-module, is the direct sum of…
The Homogeneous sine-Gordon (HSG) theories are integrable perturbations of $G_k/U(1)^{r_G}$ coset CFTs, where $G$ is a simple compact Lie group of rank $r_G$ and $k>1$ is an integer. Using their T-duality symmetries, we investigate the…
Long ago, Arad and Herzog (AH) conjectured that, in finite simple groups, the product of two conjugacy classes of length greater than one is never a single conjugacy class. We discuss implications of this conjecture for non-abelian anyons…
In this work, we prove that the complement of the Brjuno set in $\mathbb{C}^n$ has zero $C_\sigma$-capacity with respect to the kernel $k_\sigma(z,\xi)=\|z-\xi\|^{-2n+2}|\log{\|z-\xi\||^{\sigma}}$ for any $\sigma>n$. In particular, it…
We present an analogue of G\"{o}del's second incompleteness theorem for systems of second-order arithmetic. Whereas G\"{o}del showed that sufficiently strong theories that are $\Pi^0_1$-sound and $\Sigma^0_1$-definable do not prove their…
We prove the non-existence of Hopf orders over number rings for two families of complex semisimple Hopf algebras. They are constructed as Drinfel'd twists of group algebras for the following groups: $A_n$, the alternating group on $n$…
V. Nestoridis conjectured that if $\Omega$ is a simply connected subset of $\mathbb{C}$ that does not contain $0$ and $S(\Omega)$ is the set of all functions $f\in \mathcal{H}(\Omega)$ with the property that the set…
We show that, for any $0<\gamma<1/2$, any $(\alpha,\beta)\in\mathbb{R}^2$ except on a set with Hausdorff dimension about $\sqrt{\gamma}$, any small $0<\varepsilon<1$ and any large $N\in\mathbb{N}$, the number of integers $n\in[1,N]$ such…