arXiv subjects

Haigang Zhou

Publications and source records attributed to Haigang Zhou.

10 recordsLinked to original sources

arXiv2026

Theta Relations

Motivated by the classical quartic and cubic theta identities, we establish a product formula for Siegel--Jacobi theta series associated with rationally isometric positive-definite quadratic spaces. Our main theorem expresses a product of theta series of arbitrary Siegel degree as a finite double character sum over quotients of commensurable lattices. For the root lattice $A_2$, it yields a finite Fourier identity for cubes of cubic theta functions, a new proof of the two-variable cubic identity, and seven independent relations in degree two. A second specialization gives a new square analogue of the two-variable cubic identity. At the origin it reduces to $a(q)a(q^2)=b(q)b(q^2)+c(q)c(q^2)$; in degree two, the same seven relation patterns recur with each cube replaced by the corresponding product at $τ$ and $2τ$. We further extend the cubic identities on $A_2$ to $\ell$-th-power identities on $A_{\ell-1}$ for every $\ell\geq3$, and to $2\ell$-th-power identities on $A_{\ell-1}$ for every $\ell\geq2$, in arbitrary Siegel degree. The doubled-order construction recovers Jacobi's quartic identity and gives its analogues in arbitrary Siegel degree.

math.NT↗

arXiv2026

On trace-zero norm forms of orders of rational quaternion algebras with applications

In this paper, by normalizing the trace-zero norm forms according to the parity of orders of definite rational quaternion algebras, we give an explicit formulation to the even Clifford correspondence followed by the reciprocity of ternary forms. We obtain an exact identity between ternary representation numbers and the number of elements of an order with prescribed reduced norm and trace, which applies to all orders without squarefreeness constraint on the reduced discriminant. Applications include a criterion for realizing ternary forms as trace-zero norm forms, a formula for traces of Brandt matrices in terms of representation numbers, and explicit theta series relations associated with local reciprocity. We also describe reciprocal orders and order chains, and interpret the ternary forms occurring in the congruent number problem through their associated quaternion orders.

math.NT↗

arXiv2026

An explicit type number formula for quaternion orders of level $(N_1,N_2)$

We give an explicit type number formula for the quaternion orders of level $(N_1,N_2)$ specified in this paper, where $N_1=p_1^{2u_1+1}\cdots p_w^{2u_w+1}$, the primes $p_i$ are distinct, $u_i\ge0$, $w$ is odd, and $\gcd(N_1,N_2)=1$. The formula includes Eichler orders and the orders with odd prime-power ramified level considered by Boyd, and allows nonmaximal local orders at several ramified primes, including $2$. We express the answer in terms of a generalized modified Hurwitz class number and explicit local correction factors. The proof combines the correspondence between quaternion orders and ternary quadratic forms with the Siegel--Weil formula and local representation densities. We tabulate class and type numbers for $N_1N_2\le100$. As an application, a mass bound and a finite exact calculation determine the $27$ pairs in this family with type number one.

math.NT↗

arXiv2026

A Dichotomy for MIP* in the Presence of Unital Noise

A recent work studied quantum two-prover one-round proof systems $\mathsf{MIP}^ψ[\text{poly},O(1)]$. It showed that when $ψ$ is a noisy EPR state with quantum maximal correlation $ρ_{\max}(ψ)<1$, the resulting complexity class is equivalent to $\mathsf{NEXP}=\mathsf{MIP}$. In contrast, $\mathsf{MIP}^{\text{EPR}}[\text{poly},O(1)]=\mathsf{RE}$. Not all noise, however, decreases quantum maximal correlation. A basic example is dephasing noise: a dephased EPR pair retain quantum maximal correlation $1$. In this work, we remove the constant-answer restriction and establish a complete dichotomy for $\mathsf{MIP}^ψ[\text{poly},\text{poly}]$, where the provers share arbitrarily many copies of EPR pairs subject to unital noise. Equivalently, let $ψ$ be a fixed two-qubit state with maximally mixed marginals. We prove that \[\mathsf{MIP}^ψ[\text{poly},\text{poly}]=\mathsf{MIP} =\mathsf{NEXP},~\text{if $ψ$ is separable or $ρ_{\max}(ψ)<1$};\]\[\mathsf{MIP}^ψ[\text{poly},\text{poly}]=\mathsf{MIP}^ψ[\text{poly},O(1)]=\mathsf{RE},\text{if $ψ$ is entangled and $ρ_{\max}(ψ)=1$.}\] Beyond the complexity classification, our proof develops two techniques that may be useful more broadly in quantum information and quantum complexity. First, we introduce a positivity-preserving low-degree approximation framework for quantum measurements: instead of truncating positive operators directly in the Pauli basis, we approximate suitable square-root factorizations, simultaneously achieving low Pauli degree, positivity, and global control over an entire POVM. Second, we develop a new dimension-reduction method, called Pauli folding, for low-degree positive operators. Its key ingredient is an almost-multiplicativity theorem for randomized Pauli hashing, which allows noncommutative products, positivity, and normalization to survive compression with controlled error.

quant-ph↗

arXiv2026

Fooling Thresholds of Halfspaces

We initiate the study of constructing explicit pseudorandom generators for thresholds of halfspaces with seed length polylogarithmic in the number of halfspaces. This class of functions lies at the frontier of circuit complexity [CTW26]. We show that the generator designed by O'Donnell, Servedio, and Tan for polytopes [OST22] also fools this broader class. To analyze the generator, we develop a threshold-specific smooth approximation framework based on a Bentkus-type mollifier. We prove derivative bounds for this mollifier and also establish a Boolean anticoncentration theorem for thresholds of halfspaces via a random thinning argument. These ingredients imply that the generator $δ$-fools every $k$-out-of-$m$ threshold of $m$ halfspaces over $\{-1,1\}^n$ with seed length $\widetilde{O}(κ^{6+2\varepsilon}\log^{6+2\varepsilon}\!m\cdotδ^{-(2+2\varepsilon)}\log n)$, for any arbitrarily small constant $\varepsilon>0$, where $κ=\min\{k,m-k+1\}$. The random thinning argument also yields bounds on the noise sensitivity and Gaussian surface area for thresholds of halfspaces, leading to learning algorithms under both the uniform and Gaussian distributions.

cs.CC↗

arXiv2026

The MiniMax-M2 Series: Mini Activations Unleashing Max Real-World Intelligence

We introduce the MiniMax-M2 series, a family of Mixture-of-Experts language models built around the principle that mini activations can unleash maximum real-world intelligence. The flagship M2 contains 229.9B total parameters with only 9.8B activated per token. Designed end-to-end for agentic deployment, the M2 series rests on three components: (i) agent-driven data pipelines producing large-scale, verifiable trajectories across agentic coding and agentic cowork, each grounded in an executable workspace and an artifact-aligned reward; (ii) Forge, a scalable agent-native RL system that adapts to long-horizon agent trajectories, paired with windowed-FIFO scheduling, prefix-tree merging, inference optimization, and a clean training-inference-agent decoupling that supports both white-box and black-box agents; (iii) the latest M2.7 checkpoint takes an early step toward self-evolution -- autonomously debugging training runs and modifying its own scaffold. Across M2 through M2.7, this combination translates a mini-activation footprint into frontier-tier performance on agentic coding, deep search, office-task, and reasoning benchmarks.

cs.AI↗

arXiv2026

Dimension-Free Approximate Tensorization of Quantum Hypercontractivity for Qudit Depolarizing Semigroups

We prove approximate tensorization for hypercontractivity and logarithmic-Sobolev constants for a class of primitive reversible quantum Markov semigroups satisfying the positive off-diagonal scaling (PODS) condition. This class includes qubit examples and generalized depolarizing semigroups with respect to full-rank states in arbitrary finite dimensions. For any such semigroup $(Φ_t)_{t\ge 0}$ and every tensor power $n$, we show that the log-Sobolev constant of the product semigroup $Φ_t^{\otimes n}$ is at least $2/(3\ln 2)\approx 0.96$ times the log-Sobolev constant of the single-site semigroup $Φ_t$, independently of $n$ and the local dimension $d$. The proof first establishes an exact tensorization of the $(q,2)$-hypercontractive inequality for integer $q$, in particular $q=3$, and then extends the estimate to all real $q>2$ by complex interpolation; the standard implication from hypercontractivity to logarithmic-Sobolev inequalities yields the stated almost tensorization result. In the qubit case, we further prove exact tensorization for primitive reversible PODS semigroups and obtain sharp $(q,2)$-hypercontractivity estimates for generalized qubit depolarizing channels.

quant-ph↗

arXiv2025

MiniMax-M1: Scaling Test-Time Compute Efficiently with Lightning Attention

We introduce MiniMax-M1, the world's first open-weight, large-scale hybrid-attention reasoning model. MiniMax-M1 is powered by a hybrid Mixture-of-Experts (MoE) architecture combined with a lightning attention mechanism. The model is developed based on our previous MiniMax-Text-01 model, which contains a total of 456 billion parameters with 45.9 billion parameters activated per token. The M1 model natively supports a context length of 1 million tokens, 8x the context size of DeepSeek R1. Furthermore, the lightning attention mechanism in MiniMax-M1 enables efficient scaling of test-time compute. These properties make M1 particularly suitable for complex tasks that require processing long inputs and thinking extensively. MiniMax-M1 is trained using large-scale reinforcement learning (RL) on diverse problems including sandbox-based, real-world software engineering environments. In addition to M1's inherent efficiency advantage for RL training, we propose CISPO, a novel RL algorithm to further enhance RL efficiency. CISPO clips importance sampling weights rather than token updates, outperforming other competitive RL variants. Combining hybrid-attention and CISPO enables MiniMax-M1's full RL training on 512 H800 GPUs to complete in only three weeks, with a rental cost of just $534,700. We release two versions of MiniMax-M1 models with 40K and 80K thinking budgets respectively, where the 40K model represents an intermediate phase of the 80K training. Experiments on standard benchmarks show that our models are comparable or superior to strong open-weight models such as the original DeepSeek-R1 and Qwen3-235B, with particular strengths in complex software engineering, tool utilization, and long-context tasks. We publicly release MiniMax-M1 at https://github.com/MiniMax-AI/MiniMax-M1.

cs.CL↗

arXiv2024

The classification and representations of positive definite ternary quadratic forms of level 4N

Classifications and representations are two main topics in the theory of quadratic forms. In this paper, we consider these topics of ternary quadratic forms. For a given squarefree integer $N$, first we give the classification of positive definite ternary quadratic forms of level $4N$ explicitly. Second, we give explicit formulas of the weighted sum of representations over each class in every genus of ternary quadratic forms of level $4N$, which are involved with modified Hurwitz class number. In the proof of the main results, we use the relations among ternary quadratic forms, quaternion algebras, and Jacobi forms. As a corollary, we get the formula for the class number of positive ternary quadratic forms of level $4N$. As applications, we derive an explicit base of Eisenstein series space of modular forms of weight $3/2$ and level $4N$, and give new proofs of some interesting identities involving representation number of ternary quadratic forms.

math.NT↗

arXiv2022

The rise of digital finance: Financial inclusion or debt trap

This study focuses on the impact of digital finance on households. While digital finance has brought financial inclusion, it has also increased the risk of households falling into a debt trap. We provide evidence that supports this notion and explain the channel through which digital finance increases the likelihood of financial distress. Our results show that the widespread use of digital finance increases credit market participation. The broadened access to credit markets increases household consumption by changing the marginal propensity to consume. However, the easier access to credit markets also increases the risk of households falling into a debt trap.

econ.GN↗