arXiv subjects

Hu Tan

Publications and source records attributed to Hu Tan.

11 recordsLinked to original sources

arXiv2026

A Computational Verification of the Markov Uniqueness Conjecture for $z\leq 10^{500000}$

We describe a finite computational verification of Markov Uniqueness Conjecture for normalized positive integer solutions of $x^2+y^2+z^2=3xyz$ with $z \leq 10^{500000}$. The archived run reports $239\,536\,376\,556$ triples with distinct maximal coordinates.The method combines a disjoint tree decomposition, certified fixed-point range bounds, a deterministic 48-bit candidate screen,and replay modulo $2^{128}$. We give the mathematical justification and a reproducibility procedure covering package checks,retained-data auditing, and a full rerun. The conclusion depends on correct execution of the exhaustive screen and replay; the retained audit does not regenerate the deleted screening buckets.

math.GM↗

arXiv2026

Uniform cubic bounds for irrational values of the dilogarithm

We study explicit denominator conditions ensuring the irrationality of the dilogarithm at positive and negative rational points. We prove that $\operatorname{Li}_2(p/q)$ is irrational whenever $q>(4e^4/27)p^3$, and obtain an explicit, slightly smaller threshold for $\operatorname{Li}_2(-p/q)$. The positive argument specializes the Rhin--Viola integral family and uses a uniform estimate for a restricted prime divisor. The negative argument combines the same arithmetic construction with three adjacent integral moments and an explicit maximization. We also give finite-numerator refinements by interpolating certified partition bounds and by introducing a comparison measure with a quadratic tail. In particular, $\operatorname{Li}_2(5/q)$ is irrational for every integer $q\ge418$. The proof separates the established integral and determinant constructions from the parameter estimates and finite certificates used here.

math.NT↗

arXiv2026

A Proof of Fraenkel's Conjecture

Fraenkel's conjecture asserts that a partition of the integers into at least three Beatty sequences with distinct moduli has the binary densities $1,2,4,\ldots,2^{m-1}$, normalized by $2^m-1$. We prove the conjecture through a dimension-free intermediate statement: every such partition contains a component of density at least 1/3. After reducing the partition to primitive common-period data, Fourier cancellation produces a finite inverse-sine system. We prove that no such system can exist when every density is below 1/3. The proof combines a divisor-concentration identity with uniform analytic estimates and three exact finite verifications, all carried out with integer or rational arithmetic. The component supplied by the density bound has mean spacing at most three. Deleting it preserves balance, and every surviving periodic balanced set is again a rational Beatty set. Induction determines the surviving binary scales, while a two-sequence disjointness criterion forces the deleted density to be the next binary scale. This yields the asserted density pattern.An eventual Beatty representation of balanced binary indicators extends the classification to one-sided balanced sequences on at least three letters with distinct positive densities, proving the balanced-sequence conjecture of Altman, Gaujal, and Hordijk.

math.NT↗

arXiv2026

Periodic Tilings of Cardinality Twice a Prime or Nine in Arbitrary Dimension

We prove that every finite translational tile of $\mathbb Z^d$ of cardinality $2q$, where $q$ is an odd prime, or of cardinality nine admits a fully periodic tiling complement. The result holds in every dimension, regardless of the rank of the subgroup generated by the differences of points of the tile. The proofs combine coprime dilation, vanishing sums of roots of unity, and periodic two-colorings. After translating the tile, both arguments restrict to its intrinsic lattice, and every periodic complement constructed there extends to the ambient lattice. For cardinality $2q$, spectral filtering in the intrinsic lattice yields either a lattice complement or a periodic twofold covering compatible with a tiling complement. This compatibility allows the covering to be split by a periodic proper two-coloring. For nine points, intrinsic ranks $1$ and $2$ are treated separately; in higher intrinsic rank, the algebraic reduction in the intrinsic lattice yields either a lattice complement or spectral support on finitely many rational affine circles. These results also give a decision algorithm for tileability in both cardinality families. The circle-supported alternative is resolved by a conditional-density dichotomy and a periodic replacement argument for the exceptional half-density components.

math.CO↗

arXiv2026

Fuglede's Conjecture for Cyclic Groups of Square-free Order

We prove Fuglede's conjecture for finite cyclic groups of square-free order. Specifically, if $N$ is square-free and $A\subseteq \mathbb Z_N$ is nonempty with $|A|=m$, then $A$ is spectral if and only if it tiles $\mathbb Z_N$; moreover, these conditions hold precisely when $m\mid N$ and $A$ is a complete set of representatives modulo $m$. This gives a complete structural description of spectral and tiling sets in $\mathbb Z_N$. The key new ingredient is a prime-coordinate elimination theorem: if $P\nmid nm$ is an odd prime, then every $m$-point spectral pair in $\mathbb Z_n\times\mathbb Z_P$ projects injectively to a spectral pair in $\mathbb Z_n$. Its proof combines character-matrix orthogonality, cyclotomic coefficient comparison, and a $P$-adic divisibility argument for associated Gram matrices. Iterating this reduction yields the result for arbitrary square-free $N$, with no restriction on the number or relative sizes of its prime factors.

math.CO↗

arXiv2026

Periodic Joint Co-tiles of Independent Tiles

For every $d\geq2$, we prove that $d-1$ independent finite tiles in $\Z^d$ admit a fully periodic joint co-tile whenever they admit a joint co-tile. Here independence means that the tiles contain the origin and every choice of one nonzero vector from each tile is linearly independent. This removes property $(\star)$ from the periodic existence theorem of Meyerovitch, Sanadhya and Solomon and recovers Bhattacharya's theorem when $d=2$. More generally, we prove periodic existence for any finite family admitting a joint co-tile whose indicator is a fully periodic real function plus finitely many bounded real functions, each invariant under a subgroup of rank $d-1$. Extending the Boolean normal-form method of Greenfeld and Tao, we obtain a configuration in the translation orbit closure whose restrictions to cosets of a finite-index lattice are either invariant under a rank-$(d-1)$ subgroup or given by a three-term affine fractional-part formula with density one half. The tiling equations pair the restrictions given by this formula and determine a finite bipartite graph. A two-coloring replaces those restrictions by constants while preserving every tiling equation. We deduce a characterization of periodic tilability by independent companions and a decision algorithm for families containing an independent $(d-1)$-subfamily, with the dimension as part of the input.

math.CO↗

arXiv2026

Sharp Diameter Bounds for Nonnegative Cyclotomic Multiples

Let $N\ge2$ and let $p$ be its least prime divisor. We prove that every nonzero polynomial with nonnegative real coefficients divisible by $Φ_N$ has support diameter at least $(p-1)N/p$. Equality holds precisely for positive scalar multiples of monomial shifts of the $p$-term geometric sum $\sum_{j=0}^{p-1} X^{jN/p}$, thereby proving a conjecture of Steinberger. The proof turns cyclotomic divisibility into the vanishing of the first $p-1$ Fourier moments of a positive measure on the circle and then applies a classical extremal trigonometric polynomial. As a consequence, we establish the Coven--Meyerowitz diameter bound under their tiling conditions and determine its equality cases. Longer initial intervals of vanishing Fourier coefficients yield stronger diameter bounds, including an explicit refinement in terms of the prime-power divisor sets. The extremal trigonometric polynomial also yields a quantitative concentration estimate for measures and cyclotomic multiples with near-minimal support diameter.

math.NT↗

arXiv2026

Unsupported Cyclotomic Divisors in Three-Prime Integer Tilings

Cyclotomic divisibility imposes strong prime-power structure on integer tiles. We study unsupported cyclotomic divisors: mixed-order divisors for which none of the prime-power components of the order divides the mask, although every prime in the order divides the tile cardinality. Kiss, Łaba, Marshall and Somlai asked whether such a phenomenon can occur in the three-prime setting. We prove that unsupported cyclotomic divisors already occur for periods with three distinct prime factors. For primes $p<q<r$, we characterize the square-period case: an unsupported factor $Φ_{pqr}$ occurs in a tiling of $\ZZ_{(pqr)^2}$ if and only if $r\in\langle p,q\rangle$, and every such tile lies in a single residue class modulo $r$. Among cyclic tilings with the unsupported order dividing the specified modulus, the smallest modulus is $180$; if the order has three distinct prime factors, it is $900$. An Apéry-set construction gives examples for every triple at period $p^2q^2r^3$.The proof of our results combines Fourier rigidity, a three-cylinder decomposition, and an integer mass obstruction.

math.NT↗

arXiv2026

Beyond Neural Collapse: Task-Intrinsic Geometry Governs Neural Representations in Modular Arithmetic

While neural collapse (NC) predicts that a $K$-class-balanced classifier should organize terminal representations as a $(K-1)$-dimensional simplex equiangular tight frame (ETF), modular addition consistently enters a different regime: networks compress to a two-dimensional cyclic geometry in which both classifier weights and token embeddings lie on circles. We refine the explanation of this phenomenon in three directions. First, we formalize a layerwise non-uniform training mechanism: downstream classifier weights are driven by dense cross-entropy gradients into a rank-2 equiangular configuration before upstream embeddings fully reorganize, and once this classifier plane forms, backpropagated feature gradients constrain embedding motion to the same plane while weight decay suppresses orthogonal components. Second, after this subspace locking, the induced in-plane dynamics admit an entropy-regularized transport interpretation on $S^1$; combined with modular-addition labels, this reduces embedding formation to phase alignment, whose minimizers are single-frequency characters of $\mathbb{Z}/P\mathbb{Z}$ and hence equal-angle points on a circle. Third, we quantify why this solution prevails over NC: a simplex ETF gains only an $O(1)$ advantage in cross-entropy, whereas the cyclic rank-2 solution enjoys a $Θ(K)$ advantage under Schatten or weight-decay surrogates, yielding a critical threshold $λ_{\mathrm{crit}} = Θ(1/K)$. Our results explain both why classifier weights move first and why embeddings subsequently align with them, showing that grokking on modular arithmetic is governed not by maximal separation alone but by a task-structured trade-off between separation, symmetry, and complexity.

cs.LG↗

arXiv2026

Deciphering Two Training Clocks in Grokking via Deep Linear Network Theory with Conditional ReLU Reduction

Grokking suggests that fitting the training data and learning a simple underlying rule may occur on different time scales. We formalize this phenomenon by separating the fast decay of the classification loss from the slower simplification of the learned representation, and we call the resulting pair of stopping times two training clocks. For deep linear networks, we show that a post-margin gap-growth or one-step tail-contraction condition reduces the cross-entropy loss to level epsilon on a logarithmic time scale. In contrast, when layerwise weight decay is present, the induced regularization on the end-to-end map can be expressed as a Schatten-type penalty; under a sharp late-time Kurdyka-Lojasiewicz tail, this structural energy closes on a polynomial time scale. The two clocks, therefore, separate fitting from representation simplification. We then explain how the same mechanism can appear in ReLU MLPs. In regions where the activation patterns on the training set remain fixed, the network reduces to a linear model in the active coordinates. In a two-layer ReLU embedding model, chain-rule estimates further show that the classifier head can receive larger effective gradients than the embedding block under controlled downstream norms. This supports a two-stage mechanism in which the classifier fits first, while the representation continues to simplify later. We use modular addition as the main experimental setting. The deep linear theory provides the rigorous core of the analysis. But the ReLU results are formulated as conditional reductions that account for empirical behavior without claiming a global proof for nonlinear training dynamics.

cs.LG↗

arXiv2025

Hybrid Time-Domain Behavior Model Based on Neural Differential Equations and RNNs

Nonlinear dynamics system identification is crucial for circuit emulation. Traditional continuous-time domain modeling approaches have limitations in fitting capability and computational efficiency when used for modeling circuit IPs and device behaviors.This paper presents a novel continuous-time domain hybrid modeling paradigm. It integrates neural network differential models with recurrent neural networks (RNNs), creating NODE-RNN and NCDE-RNN models based on neural ordinary differential equations (NODE) and neural controlled differential equations (NCDE), respectively.Theoretical analysis shows that this hybrid model has mathematical advantages in event-driven dynamic mutation response and gradient propagation stability. Validation using real data from PIN diodes in high-power microwave environments shows NCDE-RNN improves fitting accuracy by 33\% over traditional NCDE, and NODE-RNN by 24\% over CTRNN, especially in capturing nonlinear memory effects.The model has been successfully deployed in Verilog-A and validated through circuit emulation, confirming its compatibility with existing platforms and practical value.This hybrid dynamics paradigm, by restructuring the neural differential equation solution path, offers new ideas for high-precision circuit time-domain modeling and is significant for complex nonlinear circuit system modeling.

cs.LG↗