Related papers: Hjorth's reflection argument

Generalizing a result of Conway, Sloane, and Wilkes for real reflection groups, we show the Cayley graph of an imprimitive complex reflection group with respect to standard generating reflections has a Hamiltonian cycle. This is consistent…

We investigate PBW deformations H of k[x,y]#G where G is the cyclic group of order p and k also has characteristic p; in these deformations, [x,y] takes a value in kG. These algebras are versions of symplectic reflection algebras that only…

A modular form for an even lattice L of signature (2,n) is said to be 2-reflective if its zero divisor is set-theoretically contained in the Heegner divisor defined by the (-2)-vectors in L. We prove that there are only finitely many even…

We show that it is relatively consistent with ZF that the Borel hierarchy on the reals has length $\omega_2$. This implies that $\omega_1$ has countable cofinality, so the axiom of choice fails very badly in our model. A similar argument…

A classic result of Erd\H{o}s and, independently, of Bondy and Simonovits says that the maximum number of edges in an $n$-vertex graph not containing $C_{2k}$, the cycle of length $2k$, is $O( n^{1+1/k})$. Simonovits established a…

Oort has conjectured that there do not exist Shimura curves contained generically in the Torelli locus of genus-$g$ curves when $g$ is large enough. In this paper we prove the Oort conjecture for Shimura curves of Mumford type and Shimura…

We review the state-of-the-art concerning the freeness conjecture stated in the 1990's by Brou\'e, Malle and Rouquier for generic Hecke algebras associated to complex reflection groups, and in particular we expose in detail one of the main…

Given a countable scattered linear order $L$ of Hausdorff rank $\alpha < \omega_1$ we show that it has a $d\text{-}\Sigma_{2\alpha+1}$ Scott sentence. Ash calculated the back and forth relations for all countable well-orders. From this…

We study the question of when a given countable ordinal $\alpha$ is $\Sigma^1_n$- or $\Pi^1_n$-reflecting in models which are neither $\mathsf{PD}$ models nor the constructible universe, focusing on generic extensions of $L$. We prove,…

A set $G \subseteq \omega$ is $n$-generic for a positive integer $n$ if and only if every $\Sigma^0_n$ formula of $G$ is decided by a finite initial segment of $G$ in the sense of Cohen forcing. It is shown here that every $n$-generic set…

An orthomorphism is a permutation $\sigma$ of $\{1, \dots, n-1\}$ for which $x + \sigma(x) \mod n$ is also a permutation on $\{1, \dots, n-1\}$. Eberhard, Manners, Mrazovi\'c, showed that the number of such orthomorphisms is $(\sqrt{e} +…

For a real number $\theta$, let $\Vert\theta\Vert$ denote the distance from $\theta$ to the nearest integer. A set of positive integers $\mathcal H$ is a Heilbronn set if for every $\alpha\in \mathbb R$ and every $\epsilon>0$ there exists…

Let $S$ be a closed Shimura variety uniformized by the complex $n$-ball. The Hodge conjecture predicts that every Hodge class in $H^{2k} (S, \Q)$, $k=0, \ldots, n$, is algebraic. We show that this holds for all degree $k$ away from the…

Let $\alpha>1$ be an irrational number and $k\ge 2$ a positive integer. Let $f(x)$ be a polynomial with positive integer coefficients. Solving a 2001 problem of S\'ark\"ozy on special sequences, Hegyv\'ari proved in 2003 that there exists…

Let $\beta$ be a non-unit real algebraic integer greater than one and $\{a_{n}\}_{n \geq 0}$ be a sequence satisfying a linear recurrence relation $a_{n+3}=aa_{n+2}+ba_{n+1}+ca_{n}$. Under certain conditions, we prove that the number of…

In 1999 Lyngs{\o} and Pedersen proposed a conjecture stating that every binary circular word of length $n$ with equal number of zeros and ones has an antipalindromic linear subsequence of length at least $\frac{2}{3}n$. No progress over a…

The P\'osa-Seymour conjecture asserts that every graph on $n$ vertices with minimum degree at least $(1 - 1/(r+1))n$ contains the $r^{th}$ power of a Hamilton cycle. Koml\'os, S\'ark\"ozy and Szemer\'edi famously proved the conjecture for…

We study the problem HomsTo$H$ of counting, modulo 2, the homomorphisms from an input graph to a fixed undirected graph $H$. A characteristic feature of modular counting is that cancellations make wider classes of instances tractable than…

A folklore result attributed to P\'olya states that there are $(1 + o(1))2^{\binom{n}{2}}/n!$ non-isomorphic graphs on $n$ vertices. Given two graphs $G$ and $H$, we say that $G$ is a unique subgraph of $H$ if $H$ contains exactly one…

Let $(\Sigma, \sigma)$ be the one-sided shift space with $m$ symbols and $R_n(x)$ be the first return time of $x\in\Sigma$ to the $n$-th cylinder containing $x$. Denote $$E^\varphi_{\alpha,\beta}=\left\{x\in\Sigma:…