arXiv subjects

Zicheng Han

Publications and source records attributed to Zicheng Han.

6 recordsLinked to original sources

arXiv2026

Supersaturation for Eventown via Generator Switching

An eventown family is a family of even-sized subsets of $[n]$ in which every two distinct members have an even-sized intersection. A classical theorem of Berlekamp and Graver shows that the maximum size of such a family is $2^{\lfloor n/2\rfloor}$. The supersaturation problem for eventown asks how many odd-intersection pairs must occur when this extremal bound is exceeded. For a family $\mathcal F$ of even-sized subsets of $[n]$, let $e(\mathcal F)$ denote the number of unordered pairs whose intersection size is odd. O'Neill conjectured that if $|\mathcal F|=2^{\lfloor n/2\rfloor}+s$, then $e(\mathcal F)\ge s\,2^{\lfloor n/2\rfloor-1}$ for \[ 1\le s\le 2^{\lfloor n/2\rfloor}-2^{\lfloor n/4\rfloor}. \] Previously, the conjecture was known for $s=1,2$, and, for $s\le 2^{\lfloor n/8\rfloor}/n$ with $n$ sufficiently large. We prove the conjectured bound for \[ 1\le s\le \frac{2^{\lfloor n/2\rfloor}}{26}, \] extending the known range to a fixed positive proportion of the extremal eventown size. The bound is sharp throughout this range. As further consequences, we derive a lower bound valid for arbitrary excess $s$, which improves the previously known estimate in an additional range. We also establish stability and removal results for families of extremal size satisfying $e(\mathcal F)<2^{\lfloor n/2\rfloor-1}$, showing that such a family is close to an extremal eventown family and can be made eventown by deleting a small number of its members.

math.CO↗

arXiv2026

Robust Quantum Extremal Numbers

Absolutely maximally entangled states require every reduction of at most half of the parties to be maximally mixed, a condition that is both rigid and often impossible for qubit systems. Previous work introduced the quantum extremal number, which maximizes the number of exactly maximally mixed half-body marginals, and determined the exact value Qex(8,4)=56. The present work develops a robust extension of this extremal problem. For a subsystem $A$, the marginal maximal-mixing defect is defined by \[ D_A=2^{|A|}\operatorname{Tr}(\rho_A^2)-1 =2^{|A|}\left\|\rho_A-\frac{I_A}{2^{|A|}}\right\|_2^2, \] and $Q_{\mathrm{ex},\varepsilon}^{D}(n,k)$ is defined as the maximum number of $k$-body marginals satisfying $D_A\leq\varepsilon$ in an $n$-qubit pure state. This counting problem differs from approximate $k$-uniformity, which requires all $k$-body marginals to obey a common error bound. For pure states on $4m$ qubits, the following local stability inequality is established: \[ \sum_{i\in T}D_{T\setminus\{i\}}\geq1 \qquad (|T|=2m+1). \] It follows that, whenever $\varepsilon<1/(2m+1)$, the hypergraph of $\varepsilon$-good $2m$-subsets is $K_{2m+1}^{(2m)}$-free. Combined with the known exact eight-qubit construction, this yields the stability plateau \[ Q_{\mathrm{ex},\varepsilon}^{D}(8,4)=56, \qquad 0\leq\varepsilon<\frac15. \] For odd systems of $2k+1$ qubits, the exact forbidden hypergraph $H_k$ is used to derive explicit finite-error stability radii. In particular, $Q_{\mathrm{ex},\varepsilon}^{D}(9,4)\leq120$ for $0\leq\varepsilon<1/17$. These results turn exact quantum Tur\'an obstructions into quantitative robustness statements and identify intervals on which quantum extremal numbers are stable under imperfect marginal mixedness.

quant-ph↗

arXiv2026

Automated Construction and Verification of Unextendible Product Bases

Unextendible product bases (UPBs) are important structures in quantum information theory, with applications to completely entangled subspaces, bound entanglement, and local indistinguishability. Since many properties and applications of UPBs are closely related to their cardinalities, one of the central problems in the study of UPBs is to determine whether UPBs of prescribed sizes exist in a given multipartite system. In this paper, we introduce a SAT-assisted framework based on decompositions of the $N$-dimensional hypercube. We define $O_N$-tile decompositions and prove a tile-to-UPB theorem: every $O_N$-tile decomposition induces a UPB through a construction based on tile-wise Fourier product bases and a global stopper state. We then encode the search for such decompositions as a Boolean satisfiability (SAT) problem and use SAT solvers to generate explicit instances. In terms of verification, we also implement a UPB verification algorithm based on local orthogonality graphs and unsaturated subspaces. The algorithm can be used to determine whether an arbitrary finite set of product states forms a UPB. Using this framework, we obtain UPBs of several sizes in some tripartite and quadripartite systems, including sizes $13,14,\ldots,23$ in $\mathbb C^3\otimes\mathbb C^3\otimes\mathbb C^3$. Moreover, the small-dimensional instances obtained here can serve as seed UPBs for recursive constructions, leading to further examples in larger multipartite systems.

quant-ph↗

arXiv2026

A five-qubit 1-resistant graph state and stabilizer marginal certificates

We study particle-loss resistant entanglement within the framework of stabilizer and graph states. A pure state is $m$-resistant if it remains entangled after the loss of any $m$ particles and becomes fully separable after the loss of any $m+1$ particles. The smallest previously unresolved qubit case was the existence of a five-qubit $1$-resistant pure state, which is resolved here by the five-cycle graph state $\ket{C_5}$. A stabilizer-subgroup method is also developed for verifying $m$-resistance in graph states, using local stabilizers to certify full separability and exact negative partial transpose~(NPT) witnesses to certify entanglement. Applying this to all graph states associated with non-isomorphic graphs on five, six, and seven vertices, we obtain a graph state classification up to local Clifford equivalence, which also classifies stabilizer states up to local Clifford equivalence. Thus, the five-qubit $1$-resistant stabilizer states are exactly the local Clifford class of $C_5$. Six-qubit $2$-resistant stabilizer states exist in three distinct local Clifford classes, whereas no seven-qubit stabilizer state is $m$-resistant for any nonzero admissible $m$. Finally, we prove that the cycle graph states $\ket{C_N}$ with $N\ge 7$ are not $m$-resistant for any $0\le m\le N-2$.

quant-ph↗

arXiv2026

A Hypergraph Container Method for Spread SAT: Approximation and Speedup

We develop a hypergraph container method for the Boolean Satisfiability Problem (SAT) via the newly developed container results [Campos and Samotij (2026)]. This provides an explicit connection between the extent of spread of clauses and the efficiency of container-based algorithms. Informally, the more evenly the clauses are distributed, the stronger the shrinking effect of the containers, which leads to faster algorithms for SAT. To quantify the extent of spread, we use a weighted point of view, in which a clause of size $s$ receives weight $p^s$ for some $0<p\le 1$.In this way, we introduce the notion of $(\lambda,p)_k$-structure for SAT formulas, where $\lambda$ is the spread parameter and $k$ is the maximum size of clauses. By the almost-independence property of containers, we prove that for formulas with $(\lambda,p)_k$-structures, one can distinguish between ``unsatisfiable formulas'' and ``formulas satisfying at least a $(1-\delta)$-fraction of clauses'' in sub-exponential time. This shows that sufficiently spread formulas are not worst-case instances for Gap-ETH. Moreover, we show that the speedup is directly controlled by the spread parameter $\lambda$, yielding faster exact algorithms for SAT formulas containing a $(\lambda,p)_k$-structure. This result extends previous work [Zamir (STOC 2023)] to the non-uniform case.

math.CO↗

arXiv2025

New constructions of multipartite entanglement resistant to particle loss

An entangled state is called m-resistant if it remains entangled after losing an arbitrary subset of mparticles but becomes fully separable after losing any number of particles larger than m. Quinta et al. [Phys. Rev. A (2019)] conjectured that for any N-particle systems, there always exists an m-resistant pure state. In this paper, we give two general constructions of m-resistant pure states. One is from the mixtures of Dicke states, which provides strong (N - k)-resistant pure N-qubit states with k = 4 or 5. The other is from classical error correcting codes, which provides new m-resistant qudit states for certain m < N/2.

quant-ph↗