https://arxiv.org/api/W+WoAQanVRrAqyWCtdIaPI5cUCg 2026-06-13T11:06:20Z 49201 0 15 http://arxiv.org/abs/2606.13619v1 2026-06-11T17:31:36Z

There exist an absolute constant $c>0$ and arbitrarily large finite sets $A\subset \mathbb{R}$ with $$\left| \left\{x+y+(x-y)^2:\ x, y \in A\right\}\right| \le|A|^{2-c}.$$ Since $x+y+(x-y)^2 \in \mathbb{R}[x,y]$ is a polynomial which is neither additive nor multiplicative, this provides a counterexample for the Elekes-Rónyai problem.

2026-06-11T17:31:36Z Cosmin Pohoata http://arxiv.org/abs/2606.13590v1 2026-06-11T17:12:03Z

We discover six new families of modular Nahm sums in ranks 3 and 4. Two of them are rank three sums obtained by modifying two of Zagier's rank three examples. Three rank four families are derived by applying the lift-dual operation to the rank three tadpole Nahm sums studied by Milas and Wang, while the other rank four family is found by the constant term method. To prove modularity, we establish Rogers-Ramanujan type identities that express these Nahm sums as infinite products which are modular.

2026-06-11T17:12:03Z 22 pages Zhineng Cao Liuquan Wang http://arxiv.org/abs/2512.05023v2 2026-06-11T14:36:26Z

We classify the inertial Weil-Deligne types arising from elliptic curves over all finite extensions $F/\mathbb Q_p$. Based on this classification, we give a fully explicit description of the types and implement an algorithm that computes all inertial types of elliptic curves defined over a given $F$. As an application, we determine all inertial types arising from elliptic curves over any extension $F/\mathbb Q_p$ of degree at most 3.

2025-12-04T17:37:07Z 31 pages Jose Castro-Moreno Enric Florit Nuno Freitas http://arxiv.org/abs/2508.07288v4 2026-06-11T14:31:53Z

In this note we give formulas for cup product in Tate cohomology in terms of inhomogeneous cochains. Using one of these formulas, for a torus T defined over a non-archimedean local field K and splitting over a cyclic extension of K, we compute explicit cocycles representing all cohomology classes in H^1(K,T).

2025-08-10T10:55:32Z v1 9 pages, v2 10 pages, v3 11 pages Mikhail Borovoi http://arxiv.org/abs/2504.20286v2 2026-06-11T13:52:17Z

Zeckendorf's theorem states that every positive integer can be uniquely decomposed into nonadjacent Fibonacci numbers. On the other hand, Chung and Graham proved that every positive integer can be uniquely written as a sum of even-indexed Fibonacci numbers with coefficients $0,1$, or $2$ such that between two coefficients $2$, there is a coefficient $0$. We discover a correspondence between a lexicographically ordered sublist of Zeckendorf decompositions and letters in the golden string $\mathcal{S}$. Likewise, we identify a dual correspondence for Chung-Graham decompositions. We then use these correspondences to give the set of all positive integers having $F_{2k}$ in both of their Zeckendorf and Chung-Graham decompositions.

2025-04-28T22:01:07Z 17 pages, 2 tables Lucas Bustos Hung Viet Chu Minchae Kim Uihyeon Lee Shreya Shankar Garrett Tresch http://arxiv.org/abs/2509.00667v2 2026-06-11T13:41:57Z

We introduce triple quadratic residue symbols $[\mathfrak{p}_1, \mathfrak{p}_2, \mathfrak{p}_3]$ for certain finite primes $\mathfrak{p}_i$'s of a real quadratic field $k$ with trivial narrow class group. For this, we determine a presentation of the Galois group of the maximal pro-2 Galois extension over $k$ unramified outside $\mathfrak{p}_1, \mathfrak{p}_2, \mathfrak{p}_3$ and infinite primes, from which we derive mod 2 arithmetic triple Milnor invariants $μ_2(123)$ yielding the triple symbol $[\mathfrak{p}_1, \mathfrak{p}_2, \mathfrak{p}_3] = (-1)^{μ_2(123)}$. Our symbols $[\mathfrak{p}_1, \mathfrak{p}_2, \mathfrak{p}_3]$ describes the decomposition law of $\mathfrak{p}_3$ in a certain dihedral extension $K$ over $k$ of degree 8, determined by $\mathfrak{p}_1, \mathfrak{p}_2$. The field $K$ and our symbols $[\mathfrak{p}_1, \mathfrak{p}_2, \mathfrak{p}_3]$ are generalizations over real quadratic fields of Rédei's dihedral extension of $\mathbb{Q}$ and Rédei's triple symbol of rational primes. We give examples of Rédei type extensions $K$ over real quadratic fields. We also give a cohomological interpretation of our symbols in terms of Massey products.

2025-08-31T02:30:12Z 18 pages Research in the Mathematical Sciences 13, 14 (2026), 22 pp Atsuki Kuramoto 10.1007/s40687-025-00593-9 http://arxiv.org/abs/2606.13313v1 2026-06-11T13:08:35Z

Let $δ_n^L$ be the maximal density of a lattice sphere packing in the $n$-dimensional Euclidean space. We explain how Boaz Klartag proved the inequality $δ_n^L \geq c n^2 2^{-n}$ where $c>0$ is a universal constant. In higher dimension, even for non-lattice sphere packings, this new lower bound is a substantial improvement. Klartag's proof uses the probabilistic method in two different ways. The first, very standard, relies on the statistical properties of a uniformly chosen random lattice. The second, completely new, studies the stochastic evolution of an ellipsoid constrained to contain non nonzero lattice points in the interior.

2026-06-11T13:08:35Z This text is an English translation of the notes prepared (in French) for the Bourbaki seminar given by the author in June 2026 Guillaume Aubrun http://arxiv.org/abs/2606.13307v1 2026-06-11T13:04:23Z

Let $q$ be a prime power and $n$ a positive integer. A subspace \( U \subseteq \mathbb{F}_q^n \) is called cyclically covering if the union of all its cyclic shifts covers the whole space \( \mathbb{F}_q^n \). Let \( h_q(n) \) denote the maximum possible codimension of such a subspace. When \(\gcd(q,n)=1\), we derive necessary and sufficient conditions for \(h_q(n)=0\) via Discrete Fourier Transforms, and prove this equality is equivalent to the existence of full-weight codewords in cyclic codes of \(\mathbb{F}_q^n\). We also characterize codimension-$k$ cyclically covering subspaces. Based on these results, we give a unified characterization of \(h_q(n)\) in the case where $q$ and $n$ are primes with \(n>q\) and $q$ being a primitive root modulo $n$. Specifically, \(h_2(n) \geq 2\) and \(h_q(n) = 0\) for \(q \neq 2\). We prove that \(h_3(n) \ge 1\) for every prime \(n > 3\) with odd \(\operatorname{ord}_n(3)\). Moreover, for any prime \(q > 3\), the Generalized Riemann Hypothesis implies the existence of infinitely many primes \(n > q\) such that $q$ is not a primitive root modulo $n$ and \(h_q(n) = 0\). We provide algebraic interpretations for the inequalities \(h_q(mn)\ge\max\{h_q(m),h_q(n)\}\) and \(h_q(mn)\ge h_q(m)+h_q(n)\). Using Galois descent, we prove \(h_{q^m}(n)\le h_q(n)\). Furthermore, we generalize a class of constructions that achieve the upper bound \(\lfloor\log_q(n)\rfloor\). Finally, under the Generalized Riemann Hypothesis, we obtain average lower bounds of \(h_q(n)\) for $q=2,3$.

2026-06-11T13:04:23Z 38 pages Yangcheng Li Pingzhi Yuan http://arxiv.org/abs/2606.13173v1 2026-06-11T10:43:36Z

We study an extension of Ramanujan's identities for odd zeta values by Lim and introduce Jacobi analogues of classical Eichler integrals of Eisenstein series. In negative weight we construct explicit completions and embed these objects into a modular framework by showing that they are (singular) harmonic Maass--Jacobi forms. We further describe their non-holomorphic parts in terms of Eichler integrals, establish Ramanujan-type inversion formulas, and study their behavior under the Maass raising and lowering operators and at torsion points.

2026-06-11T10:43:36Z 19 pages, comments welcome Kathrin Bringmann Rajat Gupta Badri Vishal Pandey http://arxiv.org/abs/2407.01952v2 2026-06-11T08:34:48Z

We compute the groupoid homology for the ample groupoids associated with algebraic actions from rings of algebraic integers and integral dynamics. We derive results for the homology of the topological full groups associated with rings of algebraic integers, and we use our groupoid homology calculation to compute the K-theory for ring C*-algebras of rings of algebraic integers, recovering the results of Cuntz and Li and of Li and Lück without using Cuntz-Li duality. Moreover, we compute the K-theory for C*-algebras attached to integral dynamics, resolving the conjecture by Barlak, Omland, and Stammeier in full generality.

2024-07-02T05:01:53Z Final revised version; 57 pages. To appear in the Journal of Functional Analysis Chris Bruce Yosuke Kubota Takuya Takeishi http://arxiv.org/abs/2606.13018v1 2026-06-11T07:53:39Z

Let $N=pq$ be a semiprime and let $\ell\nmid Na$ be an odd prime. The hyperbolic sieve set $H_a(N;\ell)=\{ax+Nx^{-1}:x\in\mathbb F_\ell^*\}$ contains the residue of the linear form $ap+q$ modulo $\ell$ and has exact cardinality $(\ell+χ(aN))/2$, where $χ$ is the Legendre symbol modulo $\ell$. We study simultaneous sieving for several linear forms and give a complete local analysis of the two-target primitive-root case proposed in connection with deterministic integer factorization. For two distinct coefficients $a,b$, with $A=4aN$ and $B=4bN$, we prove an exact formula for $|H_a(N;\ell)\cup H_b(N;\ell)|$ in terms of the degree-four character sum \[ K(A,B)=\sum_{z\in\mathbb F_\ell}χ((z^2-A)(z^2-B)).\] For a smooth projective genus-one curve $E/\mathbb{F}_\ell$, we write $t_E=\ell+1-\#E(\mathbb{F}_\ell)$ for its Frobenius trace. With this convention, $K(A,B)$ is the Frobenius trace, up to sign and an additive constant, of the genus-one curve $Y^2=(X^2-A)(X^2-B)$. Hence Hasse--Weil gives a uniform $O(\sqrt\ell)$ error from the main term $3\ell/4$, and negative traces explain the counterexamples to the pointwise bound $3\ell/4+1$. We also prove a multi-target estimate \[\left|\left|\bigcup_{j=1}^k H_{a_j}(N;\ell)\right|-\ell(1-2^{-k})\right|\le (k-1+2^{-k})\sqrt\ell+k\] for distinct coefficients $a_1,\ldots,a_k$, together with the corresponding CRT product bound. Finally, for special-shape inputs $N=u^rv$, we study the $r$-power-constrained image $H_{a,r}(N;\ell)$ and determine its exact size by an elementary involution argument. These results recast the proposed local sieve questions as explicit finite-field statements with verified local tests.

2026-06-11T07:53:39Z 23 pages Pantelimon Stănică Erik Mulder Markus Hittmeir http://arxiv.org/abs/2504.14291v5 2026-06-11T07:21:52Z

We investigate the mean value of the first moment of primitive quartic $L$-functions over $\mathbb{F}_q(T)$ in the non-Kummer setting. Specifically, we study the sum \begin{equation*} \sum_{\substack{χ primitive\ quartic\\ χ^2 primitive\\ genus(χ)=g}}L_q(\frac{1}{2}, χ), \end{equation*} where $L_q(s,χ)$ denotes the $L$-function associated with primitive quartic character $χ$. Using double Dirichlet series, we derive an error term of size $q^{(\frac{3}{5}+\varepsilon)g}$.

2025-04-19T13:33:31Z Ziwei Hong http://arxiv.org/abs/2508.21237v2 2026-06-11T07:19:49Z

We prove a differential transcendence result of type "Ax-Lindemann-Weierstrass" for Euler's gamma function. Given meromorphic functions $ζ_1,\dots,ζ_n$ of a complex variable $ν$ that are pairwise distinct modulo $\mathbb Z$ and algebraic over the field $k$ of meromorphic $1$-periodic functions, the functions $ Γ(ν-ζ_1(ν)),\dots,Γ(ν-ζ_n(ν))$ are differentially independent over the field $k(ν)$. We determine the structure of certain difference field extensions related to the torsion of an avatar of the Carlitz module over meromorphic functions. These extensions are abelian and purely transcendental, the latter property being crucial in our main result, and obtained applying a criterion of differential algebraicity of Hardouin and Singer.

2025-08-28T22:02:45Z 32 pages Lucia Di Vizio Federico Pellarin http://arxiv.org/abs/2606.12947v1 2026-06-11T06:20:02Z

Given an ordered tuple $\mathbf v=(v_0,\ldots,v_d)$ of vectors in $\mathbb{R}^d$, let $A_{\mathbf v}=[\,v_1-v_0\ \cdots\ v_d-v_0\,]$ be its edge matrix. We prove that, in every finite colouring of $\mathbb{R}^d$, one colour class realizes every prescribed value of the higher characteristic coefficients \[ (c_2(A_{\mathbf v}),\ldots,c_d(A_{\mathbf v})). \] This extends Graham's theorem on volumes, which corresponds to the last coefficient $c_d(A_{\mathbf v})=\det(A_{\mathbf v})$. We also prove a discrete analogue: if $E\subseteq\mathbb{Z}^d$ has positive upper Banach density, then, for some $q\geq 1$, the set of coefficient tuples realized by ordered tuples in $E$ contains \[ q^2\mathbb{Z}\times q^3\mathbb{Z}\times\cdots\times q^d\mathbb{Z}. \] Finally, we show that the ordinary trace $c_1(A_{\mathbf v})$ cannot be added to these conclusions. The proof combines a quantitative directional expansion result for ergodic actions of free abelian groups with a trace calculation for a family of model edge matrices.

2026-06-11T06:20:02Z 26 pages Michael Björklund Alexander Fish Shrey Sanadhya http://arxiv.org/abs/2606.12907v1 2026-06-11T05:06:29Z

Let $D_{2}(Q)$ denote the sum of squared distances between consecutive Farey fractions in the full interval $(0, 1]$. Daniele Mundici conjectured that $C(Q):=D_{2}(Q)\cdot Q^2/\log Q$ is less than 3 for all $Q\geq 2$, which is confirmed true in \cite{DLN2026}. In this paper, we generalize this result to subintervals of $(0, 1]$ and to $h$-spacings. As applications, we obtain Mundici-type bounds in these two settings, extending the full-interval consecutive-spacing case of Mundici's conjecture.

2026-06-11T05:06:29Z 27 pages Anji Dong Huy Xuan Nguyen Vi Anh Nguyen Alexandru Zaharescu