Let $k\ge1$ be an integer and let $\lambda$ be the Liouville function. In 1965, Chowla gave a conjecture that the values of $\lambda(n+h_1),\dots, \lambda(n+h_k)$ are asymptotically unrelated for any distinct natural numbers $h_1, \dots, h_k$. In this article, motivated by the recent work of Bergelson and Richter on the dynamical generalizations of the prime number theorem, we will show a dynamical generalization of Chowla's conjecture on average. In the proof, we follow an approach of Qi and Zheng who established a variant of Bergelson and Richter's theorem over irreducible binary cubic forms. Moreover, we will use this approach to show an analogue of the dynamical Chowla's conjecture along the primes on average. In 2016, Tao proved that the two-point logarithmic Chowla's conjecture holds. Recently, Charamaras and Richter generalized Tao's theorem to bounded arithmetic functions and proposed a conjecture that generalizes Chowla's conjecture to bounded multi-variable arithmetic functions. In the end of this article, we will show an averaged form of this conjecture and a dynamical generalization of Tao's theorem.
Let $G=(V,E)$ be a simple graph of order $n$ and let $\lambda_1(G)\ge \cdots \ge \lambda_n(G)$ be the eigenvalues of its Laplacian matrix. Brouwer conjectured that for every $1\le k\le n$, $\sum_{i=1}^k\lambda_i(G)\le |E|+\binom{k+1}{2}$, which was recently confirmed by Kothari and Tudose. Before Brouwer's conjecture was proved, Lew (JCT-B, 2026) established a weaker form of Brouwer's Laplacian eigenvalue inequality and proposed two conjectures for upper bounds on the sum of the $k$ largest Laplacian eigenvalues, one in terms of the matching number and the other in terms of the vertex-cover number. Using Brouwer's Laplacian inequality, we prove both conjectures.
We give explicit complex polynomials $P,Q$ in three independent standard real Gaussian variables such that \[ {\mathbb E}(P^m)=0,\qquad {\mathbb E}(QP^m)=m!\neq0 \] for every $m\geq1$. In natural complex linear coordinates, $P$ has five terms and total degree $4$. Hence the Gaussian Moments Conjecture is false in every dimension $n\geq3$. We also give a six-term cubic example in four variables, which was found first and already proves failure for every $n\geq4$. Both examples follow from the same coefficient identity. The search was prompted by Levent Alp\"oge's public announcement of an explicit three-dimensional counterexample to the Jacobian Conjecture. Although the main theorem of Derksen, van den Essen, and Zhao is stated globally in dimension, its proof has fixed-dimensional content: a noninvertible cubic-homogeneous Keller map in $r$ variables forces the failure of ${\mathrm GMC}(2r)$. Tracking a standard Bass--Connell--Wright reduction of the announced map gives a conservative cubic-homogeneous counterexample in $79$ variables, and hence a route-based failure of ${\mathrm GMC}(158)$. That route is nonconstructive at the final Gaussian step and does not furnish explicit polynomials $P,Q$. The much smaller explicit failures in dimensions $4$ and $3$ below were not derived from the announced Jacobian map.
We study the GIT quotients of the Peterson variety $\mathrm{Pet}_n\subset \mathrm{GL}(n,\mathbb C)/B$ under a one-parameter subgroup $\lambda:\mathbb G_m \to T$ with respect to the linearization $\mathcal L(\chi)$ given by a regular dominant character $\chi$ in the root lattice. Using the Richardson stratification, we describe the semistable and stable loci explicitly in terms of subsets of simple roots. This determines the GIT chamber decomposition and the corresponding wall-crossing morphisms. In the deep chamber, the quotient is shown to be isomorphic to the weighted projective space $\mathbb P(1,2,\ldots,n-1)$. We obtain a complete chamber-theoretic characterization of normality and describe how normality varies with the choice of linearization. We also prove that the quotient is smooth if and only if $n\le3$, independently of the regular dominant linearization. These results describe how the singular geometry of the Peterson variety is reflected in the variation of its GIT quotients.
The Schiffer conjecture states that if a smooth domain $\Omega \subset \mathbb{R}^n$ admits a Neumann eigenfunction of the Laplacian which is constant at the boundary, then the domain is a ball. It is intimately related to Pompeiu's problem, stating that if a nonzero function integrates zero over any rigid motion of $\Omega$, then $\Omega$ is a ball. We disprove both conjectures in $\mathbb{R}^2$, constructing infinitely many planar domains $\Omega$ which are not balls and satisfy the conditions above. Our domains are $N$-fold symmetric, with $N$ sufficiently large. Our approach is based on a novel strategy of considering a relaxed problem where $N$ can be any real number (which corresponds to the Schiffer problem only when $N$ is a natural number). We then apply bifurcation theory to this relaxed problem, showing that the size of the local bifurcation branch can be taken independently of $N$. This result allows us to conclude that branches starting with $N$ sufficiently close to an integer reach integer values of $N$.
In this paper, we study a Riesz-type weighted sum of the Liouville function, $f(x):=-\sum_{n\le x}\frac{\lambda(n)\log n}{\sqrt n}\log\frac{x}{n}$ for sufficiently large $x$. Motivated by a recent research on the sign criteria for the Riemann Hypothesis arising from weighted prime-counting functions, we investigate the sign behavior of $f(x)$ and its relation to the zeros of the Riemann zeta function. We first prove that if $f(x)$ is non-negative for all sufficiently large $x$, then the Riemann Hypothesis holds. The proof is based on the Mellin transform of $f$ and the analytic properties of $\frac{\zeta(2s)}{\zeta(s)}$. Conversely, assuming the Riemann Hypothesis, the Simple Zero Conjecture, and an absolute convergence condition involving the nontrivial zeta zeros, we derive an explicit formula for $f(x)$ in terms of these zeros. In particular, we show that $f(x)\sim \frac{(\log x)^3}{12|\zeta(\frac{1}{2})|}$ as $x\to \infty$. Consequently, we show that under these hypotheses, $f(x)$ is eventually positive.
We construct explicit examples of non-integral variations of $\mathbb{Q}$-Hodge structures. Our approach leverages Fenchel--Nielsen-type parameterizations, due to Kabaya and Maskit, of the Teichm\"uller component of relative character varieties. Additionally, we discuss various Diophantine results concerning the $\mathcal{O}_{K,S}$-integral points of such character varieties, and give a new proof of Beauville's classical theorem on families of elliptic curves. We conclude by collecting \emph{pathological behaviors} of the Hodge locus of non-integral $\mathbb{Q}$VHS, in particular the failure of the Cattani--Deligne--Kaplan theorem and the Andr\'e--Oort conjecture; our results indicate that for $\mathbb{Q}$VHS which are not $\mathbb{Z}$VHS, what can go wrong must go wrong.
G. Baldi, Y. Lam· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.
