arXiv subjects

Alan Bu

Publications and source records attributed to Alan Bu.

5 recordsLinked to original sources

arXiv2026

On Error Thresholds for Pauli Channels: Some answers with many more questions

This paper focuses on error thresholds for Pauli channels. We numerically compute lower bounds for the thresholds using the analytic framework of coset weight enumerators pioneered by DiVincenzo, Shor and Smolin in 1998. In particular, we study potential non-additivity of a variety of small stabilizer codes and their concatenations, and report several new concatenated stabilizer codes of small length that show significant non-additivity. We also give a closed form expression of coset weight enumerators of concatenated phase and bit flip repetition codes. Using insights from this formalism, we estimate the threshold for concatenated repetition codes of large lengths. Finally, for several concatenations of small stabilizer codes we optimize for channels which lead to maximal non-additivity at the hashing point of the corresponding channel. We supplement these results with a discussion on the performance of various stabilizer codes from the perspective of the non-additivity and threshold problem. We report both positive and negative results, and highlight some counterintuitive observations, to support subsequent work on lower bounds for error thresholds.

quant-ph↗

arXiv2024

A Projective Twist on the Hasse Norm Theorem

A finite extension of global fields $L/K$ satisfies the Hasse norm principle if any nonzero element of $K$ has the property that it is a norm locally if and only if it is a norm globally. In 1931, Hasse proved that any cyclic extension satisfies the Hasse norm principle, providing a novel approach to extending the local-global principle to equations with degree greater than $2$. In this paper, we introduce the projective Hasse norm principle, generalizing the Hasse norm principle to multiple fields and asking whether a projective line that contains a norm locally in every field must also contain a norm globally in every field. We show that the projective Hasse norm principle is independent from the conjunction of Hasse norm principles in all of the constituent fields in the general case, but that the latter implies the former when the fields are all Galois and independent. We also prove an analogue of the Hasse norm theorem for the projective Hasse norm theorem, namely that the projective Hasse norm principle holds in all cyclic extensions.

math.NT↗

arXiv2024

One-dimensional monoid algebras and ascending chains of principal ideals

An integral domain $R$ is called atomic if every nonzero nonunit of $R$ factors into irreducibles, while $R$ satisfies the ascending chain condition on principal ideals if every ascending chain of principal ideals of $R$ stabilizes. It is well known and not hard to verify that if an integral domain satisfies the ACCP, then it must be atomic. The converse does not hold in general, but examples are hard to come by and most of them are the result of crafty and technical constructions. Sporadic constructions of such atomic domains have appeared in the literature in the last five decades, including the first example of a finite-dimensional atomic monoid algebra not satisfying the ACCP recently constructed by the second and third authors. Here we construct the first known one-dimensional monoid algebras satisfying the almost ACCP but not the ACCP (the almost ACCP is a notion weaker than the ACCP but still stronger than atomicity). Although the two constructions we provide here are rather technical, the corresponding monoid algebras are perhaps the most elementary known examples of atomic domains not satisfying the ACCP.

math.AC↗

arXiv2024

Minimum Synthesis Cost of CNOT Circuits

Optimizing the size and depth of CNOT circuits is an active area of research in quantum computing and is particularly relevant for circuits synthesized from the Clifford + T universal gate set. Although many techniques exist for finding short syntheses, it is difficult to assess how close to optimal these syntheses are without an exponential brute-force search. We use a novel method of categorizing CNOT gates in a synthesis to obtain a strict lower bound computable in $O(n^{\omega})$ time on the minimum number of gates needed to synthesize a given CNOT circuit, where $\omega$ denotes the matrix multiplication constant and $n$ is the number of qubits involved. Applying our framework, we prove that $3(n-1)$ gate syntheses of the $n$-cycle circuit are optimal and provide insight into their structure. We also generalize this result to permutation circuits. For linear reversible circuits with $ n = 3, 4, 5$ qubits, our lower bound is optimal for 100%, 67.7%, and 23.1% of circuits and is accurate to within one CNOT gate in 100%, 99.5%, and 83.0% of circuits respectively. We also introduce an algorithm that efficiently determines whether certain circuits can be synthesized with fewer than $n$ CNOT gates.

quant-ph↗

arXiv2022

Length-Factoriality and Pure Irreducibility

An atomic monoid $M$ is called length-factorial if for every non-invertible element $x \in M$, no two distinct factorizations of $x$ into irreducibles have the same length (i.e., number of irreducible factors, counting repetitions). The notion of length-factoriality was introduced by J. Coykendall and W. Smith in 2011 under the term 'other-half-factoriality': they used length-factoriality to provide a characterization of unique factorization domains. In this paper, we study length-factoriality in the more general context of commutative, cancellative monoids. In addition, we study factorization properties related to length-factoriality, namely, the PLS property (recently introduced by Chapman et al.) and bi-length-factoriality in the context of semirings.

math.AC↗