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.
For $m\geq 2$, let $c_p(m)$ be the all-dimensional best constant in $$ \left\|\sum_{k=1}^m A_k\right\|_p \leq c_p(m)\left\|\sum_{k=1}^m |A_k|\right\|_p. $$ Tang and Zhang conjectured an explicit formula for every finite $p>1$. We disprove the conjecture with two explicit real $2\times 2$ rank-one matrices at $p=3/2$. The comparison is certified by seven strict rational inequalities and, in particular, places the attained ratio above $207/200$, while the conjectured constant lies below $207/200$. On the positive side, we prove the conjectured sharp bound for every family of rank-at-most-one summands when $2\leq p<\infty$, and classify all equality cases. We also prove the corresponding endpoint statement for $p=\infty$. Finally, for arbitrary complex matrices, we establish the conjectured sharp constant in the case $m=2$, $p=4$.
Let $(X,Y)$ be independent standard real Gaussian random variables, and let $(P\in\mathbb C[X,Y])$ satisfy $\mathbb E!\left(P(X,Y)^m\right)=0$ for every $(m\ge1)$. Using the complex coordinates $Z=\frac{X+iY}{\sqrt2}, \qquad W=\frac{X-iY}{\sqrt2},$ we prove that the monomial support of $(P)$ is strictly one-sided with respect to the weight $\operatorname{wt}(Z^aW^b)=a-b$. Thus either every monomial occurring in $(P)$ has positive weight, or every monomial has negative weight. It follows that, for every $(Q\in\mathbb C[X,Y])$, $\mathbb E!\left(Q(X,Y)P(X,Y)^m\right)=0$ whenever $(m>\deg Q)$. This proves the two-variable Gaussian Moments Conjecture with the explicit threshold $m\ge\deg Q+1$. The main ingredient is a prime-isolation theorem for exposed faces of the Newton polygon of $(P)$. A $(p)$-adic valuation argument at moment indices of the form $(m=qp)$ separates the contribution of a chosen face from all remaining multinomial strata. Frobenius reduction then forces the constant terms of all positive powers of the associated one-variable Laurent polynomial to vanish. The theorem of Duistermaat and van der Kallen implies that the face has weights of one strict sign, while a planar convex-geometric argument rules out support containing weights of both signs. Combined with the known one-variable case and counterexamples in dimensions $(n\ge3)$, this determines the dimensions in which the Gaussian Moments Conjecture holds.
Let $M_n$ be an $n\times n$ matrix with independent uniform sign entries. We prove that there exist absolute constants $C,c>0$ such that, for all sufficiently large $n$, \[ \mathbb{P}\!\left( \left|\operatorname{Per}(M_n)\right| \ge e^{-Cn}\sqrt{n!} \right) \ge 1-n^{-c}. \] Our proof tracks the total squared permanent of minors under successive row exposure. Up to $k=\lfloor n/2\rfloor$, the total squared permanent grows deterministically via the Boolean lattice up-operator; for larger $k$, the row exposure increments are governed by positive semidefinite Rademacher quadratic forms. Therefore, we confirms the exponential scale lower bound suggested by Tao and Vu.
Let $C_n$ be a cyclic group of order $n$. We prove that if $(n,6)=1$, then every minimal zero-sum sequence of length four over $C_n$ has index one, thereby resolving the length-four index conjecture. After the gcd reduction, the nonunit case follows from the theorem of Shen-Xia-Li, and the remaining unit case is solved by a new multiplicative Fourier argument. The index-two residue identity yields a character-moment relation, and the odd characters with vanishing first moment form an exceptional spectrum of size at most $157\varphi(n)/1440<\varphi(n)/9$. A finite-group uncertainty principle then forces the four-term multiset to be invariant under negation, contradicting minimality. Apart from standard facts about primitive Dirichlet $L$-functions, the remaining argument is finite and requires neither asymptotic estimates nor computational verification.
Hongjian Li, Pingzhi Yuan, Shijie Yuan et al.· 0 citations
We show that the weak Markus--Yamabe conjecture fails in every dimension $n\geq14$. We first prove a chain realization theorem: every polynomial Keller map $F=\I+H$ of $\R^n$ with component degrees $d_1,\ldots,d_n$ yields an explicit polynomial vector field on $\R^N$, with $N=\sum_i\max(d_i,2)-n$, whose Jacobian matrix has spectrum $\{-1\}$ at every point and whose singularities are in bijection with any prescribed fiber of $F$. Applied to the recent counterexample to the Jacobian conjecture, this gives a Hurwitz vector field of degree seven on $\R^{14}$ with three rational singularities. A rank-reduced dehomogenization of the associated cubic stabilization gives, independently, a Hurwitz field of degree three on $\R^{18}$. The dimensions $3\leq n\leq13$ remain open.
Álvaro Castañeda, Gerardo Honorato, Francisco Valenzuela-Henríquez· 0 citations
The quadratic inverse large sieve problem predicts that the examples sharp at the square-root threshold are essentially quadratic. Hanson proved the first unconditional result in this direction: if $A\subseteq[N]$, $|A|\gg\sqrt N$, and $|A_p|\le p/2+O(1)$ for every prime $p$, then $A$ contains $\gg\log N$ elements in the image of a single quadratic. We significantly improve this lower bound to \[ \exp\left(c\frac{\sqrt{\log N}}{\log\log N}\right). \] We also prove density-dependent variants, including a two-set version motivated by Green--Harper's robust inverse large sieve conjectures and their connection with the inverse Goldbach problem. Combined with a theorem of Elsholtz--Harper on hypothetical decompositions of the primes, our results show that any such decomposition would force both summands to have large intersections with quadratic images. Our proof combines a weighted entropy argument with sieve estimates, inspired by the recent work of Croot--Mao--Pohoata--Sheffer--Yip.