-
Space-time hypervolume meshing part 1: Point insertion, geometric predicates, and bistellar flips
Authors:
Jude T. Anderson,
David M. Williams
Abstract:
Part 1 of this paper provides a comprehensive guide to generating unconstrained, simplicial, four-dimensional (4D), hypervolume meshes. While a general procedure for constructing unconstrained n-dimensional Delaunay meshes is well-known, many of the explicit implementation details are missing from the relevant literature for cases in which n >= 4. This issue is especially critical for the case in…
▽ More
Part 1 of this paper provides a comprehensive guide to generating unconstrained, simplicial, four-dimensional (4D), hypervolume meshes. While a general procedure for constructing unconstrained n-dimensional Delaunay meshes is well-known, many of the explicit implementation details are missing from the relevant literature for cases in which n >= 4. This issue is especially critical for the case in which n = 4, as the resulting meshes have important space-time applications. As a result, the purpose of this paper is to provide explicit descriptions of the key components in a 4D mesh-generation algorithm: namely, the point-insertion process, geometric predicates, element quality metrics, and bistellar flips. This paper represents a natural continuation of the work which was pioneered by Anderson et al. in "Surface and hypersurface meshing techniques for space-time finite element methods", Computer-Aided Design, 2023. In this previous paper, hypersurface meshes were generated using a novel, trajectory-tracking procedure. In the current paper, we are interested in generating coarse, 4D hypervolume meshes (boundary meshes) which are formed by sequentially inserting points from an existing hypersurface mesh. In the latter portion of this paper, we present numerical experiments which demonstrate the viability of this approach for a simple, convex domain. Although, our main focus is on the generation of hypervolume boundary meshes, the techniques described in this paper are broadly applicable to a much wider range of 4D meshing methods. We note that the more complex topics of constrained hypervolume meshing, and boundary recovery for non-convex domains will be covered in Part 2 of the paper.
△ Less
Submitted 28 December, 2023;
originally announced December 2023.
-
Clark measures for rational inner functions II: general bidegrees and higher dimensions
Authors:
John T. Anderson,
Linus Bergqvist,
Kelly Bickel,
Joseph A. Cima,
Alan A. Sola
Abstract:
We study Clark measures associated with general two-variable rational inner functions (RIFs) on the bidisk, including those with singularities, and with general $d$-variable rational inner functions with no singularities. We give precise descriptions of support sets and weights for such Clark measures in terms of level sets and partial derivatives of the associated RIF. In two variables, we charac…
▽ More
We study Clark measures associated with general two-variable rational inner functions (RIFs) on the bidisk, including those with singularities, and with general $d$-variable rational inner functions with no singularities. We give precise descriptions of support sets and weights for such Clark measures in terms of level sets and partial derivatives of the associated RIF. In two variables, we characterize when the associated Clark embeddings are unitary, and for generic parameter values, we relate vanishing of two-variable weights with the contact order of the associated RIF at a singularity.
△ Less
Submitted 20 March, 2023;
originally announced March 2023.
-
Surface and hypersurface meshing techniques for space-time finite element methods
Authors:
Jude T. Anderson,
David M. Williams,
Andrew Corrigan
Abstract:
A general method is introduced for constructing two-dimensional (2D) surface meshes embedded in three-dimensional (3D) space time, and 3D hypersurface meshes embedded in four-dimensional (4D) space time. In particular, we begin by dividing the space-time domain into time slabs. Each time slab is equipped with an initial plane (hyperplane), in conjunction with an unstructured simplicial surface (hy…
▽ More
A general method is introduced for constructing two-dimensional (2D) surface meshes embedded in three-dimensional (3D) space time, and 3D hypersurface meshes embedded in four-dimensional (4D) space time. In particular, we begin by dividing the space-time domain into time slabs. Each time slab is equipped with an initial plane (hyperplane), in conjunction with an unstructured simplicial surface (hypersurface) mesh that covers the initial plane. We then obtain the vertices of the terminating plane (hyperplane) of the time slab from the vertices of the initial plane using a space-time trajectory-tracking approach. Next, these vertices are used to create an unstructured simplicial mesh on the terminating plane (hyperplane). Thereafter, the initial and terminating boundary vertices are stitched together to form simplicial meshes on the intermediate surfaces or sides of the time slab. After describing this new mesh-generation method in rigorous detail, we provide the results of multiple numerical experiments which demonstrate its validity and flexibility.
△ Less
Submitted 27 January, 2023;
originally announced January 2023.
-
On Groups in the Qubit Clifford Hierarchy
Authors:
Jonas T. Anderson
Abstract:
Here we study the unitary groups that can be constructed using elements from the qubit Clifford Hierarchy. We first provide a necessary and sufficient canonical form that semi-Clifford and generalized semi-Clifford elements must satisfy to be in the Clifford Hierarchy. Then we classify the groups that can be formed from such elements. Up to Clifford conjugation, we classify all such groups that ca…
▽ More
Here we study the unitary groups that can be constructed using elements from the qubit Clifford Hierarchy. We first provide a necessary and sufficient canonical form that semi-Clifford and generalized semi-Clifford elements must satisfy to be in the Clifford Hierarchy. Then we classify the groups that can be formed from such elements. Up to Clifford conjugation, we classify all such groups that can be constructed using generalized semi-Clifford elements in the Clifford Hierarchy. We discuss a possible minor exception to this classification in the appendix. This may not be a full classification of all groups in the qubit Clifford Hierarchy as it is not currently known if all elements in the Clifford Hierarchy must be generalized semi-Clifford. In addition to the diagonal gate groups found by Cui et al., we show that many non-isomorphic (to the diagonal gate groups) generalized symmetric groups are also contained in the Clifford Hierarchy. Finally, as an application of this classification, we examine restrictions on transversal gates given by the structure of the groups enumerated herein which may be of independent interest.
△ Less
Submitted 7 June, 2024; v1 submitted 10 December, 2022;
originally announced December 2022.
-
New $γ$-ray Transitions Observed in $^{19}$Ne with Implications for the $^{15}$O($α$,$γ$)$^{19}$Ne Reaction Rate
Authors:
M. R. Hall,
D. W. Bardayan,
T. Baugher,
A. Lepailleur,
S. D. Pain,
A. Ratkiewicz,
S. Ahn,
J. M. Allen,
J. T. Anderson,
A. D. Ayangeakaa,
J. C. Blackmon,
S. Burcher,
M. P. Carpenter,
S. M. Cha,
K. Y. Chae,
K. A. Chipps,
J. A. Cizewski,
M. Febbraro,
O. Hall,
J. Hu,
C. L. Jiang,
K. L. Jones,
E. J. Lee,
P. D. O'Malley,
S. Ota
, et al. (12 additional authors not shown)
Abstract:
The $^{15}$O($α$,$γ$)$^{19}$Ne reaction is responsible for breakout from the hot CNO cycle in Type I x-ray bursts. Understanding the properties of resonances between $E_x = 4$ and 5 MeV in $^{19}$Ne is crucial in the calculation of this reaction rate. The spins and parities of these states are well known, with the exception of the 4.14- and 4.20-MeV states, which have adopted spin-parities of 9/2…
▽ More
The $^{15}$O($α$,$γ$)$^{19}$Ne reaction is responsible for breakout from the hot CNO cycle in Type I x-ray bursts. Understanding the properties of resonances between $E_x = 4$ and 5 MeV in $^{19}$Ne is crucial in the calculation of this reaction rate. The spins and parities of these states are well known, with the exception of the 4.14- and 4.20-MeV states, which have adopted spin-parities of 9/2$^-$ and 7/2$^-$, respectively. Gamma-ray transitions from these states were studied using triton-$γ$-$γ$ coincidences from the $^{19}$F($^{3}$He,$tγ$)$^{19}$Ne reaction measured with GODDESS (Gammasphere ORRUBA Dual Detectors for Experimental Structure Studies) at Argonne National Laboratory. The observed transitions from the 4.14- and 4.20-MeV states provide strong evidence that the $J^π$ values are actually 7/2$^-$ and 9/2$^-$, respectively. These assignments are consistent with the values in the $^{19}$F mirror nucleus and in contrast to previously accepted assignments.
△ Less
Submitted 1 April, 2019;
originally announced April 2019.
-
Key $^{19}$Ne states identified affecting $γ$-ray emission from $^{18}$F in novae
Authors:
M. R. Hall,
D. W. Barbadian,
T. Baugher,
A. Lepailleur,
S. D. Pain,
A. Ratkiewicz,
S. Ahn,
J. M. Allen,
J. T. Anderson,
A. D. Ayangeakaa,
J. C. Blackmon,
S. Burcher,
M. P. Carpenter,
S. M. Cha,
K. Y. Chae,
K. A. Chipps,
J. A. Cizewski,
M. Febbraro,
O. Hall,
J. Hu,
C. L. Jiang,
K. L. Jones,
E. J. Lee,
P. D. O'Malley,
S. Ota
, et al. (12 additional authors not shown)
Abstract:
Detection of nuclear-decay $γ$ rays provides a sensitive thermometer of nova nucleosynthesis. The most intense $γ$-ray flux is thought to be annihilation radiation from the $β^+$ decay of $^{18}$F, which is destroyed prior to decay by the $^{18}$F($p$,$α$)$^{15}$O reaction. Estimates of $^{18}$F production had been uncertain, however, because key near-threshold levels in the compound nucleus,…
▽ More
Detection of nuclear-decay $γ$ rays provides a sensitive thermometer of nova nucleosynthesis. The most intense $γ$-ray flux is thought to be annihilation radiation from the $β^+$ decay of $^{18}$F, which is destroyed prior to decay by the $^{18}$F($p$,$α$)$^{15}$O reaction. Estimates of $^{18}$F production had been uncertain, however, because key near-threshold levels in the compound nucleus, $^{19}$Ne, had yet to be identified. This Letter reports the first measurement of the $^{19}$F($^{3}$He,$tγ$)$^{19}$Ne reaction, in which the placement of two long-sought 3/2$^+$ levels is suggested via triton-$γ$-$γ$ coincidences. The precise determination of their resonance energies reduces the upper limit of the rate by a factor of $1.5-17$ at nova temperatures and reduces the average uncertainty on the nova detection probability by a factor of 2.1.
△ Less
Submitted 31 January, 2019;
originally announced February 2019.
-
The Rational Hull of Rudin's Klein Bottle
Authors:
John T. Anderson,
Purvi Gupta,
Edgar L. Stout
Abstract:
In this note, a general result for determining the rational hulls of fibered sets in $\mathbb{C}^2$ is established. We use this to compute the rational hull of Rudin's Klein bottle, the first explicit example of a totally real nonorientable surface in $\mathbb{C}^2$. In contrast to its polynomial hull, which was shown to contain an open set by the first author in 2012, its rational hull is shown t…
▽ More
In this note, a general result for determining the rational hulls of fibered sets in $\mathbb{C}^2$ is established. We use this to compute the rational hull of Rudin's Klein bottle, the first explicit example of a totally real nonorientable surface in $\mathbb{C}^2$. In contrast to its polynomial hull, which was shown to contain an open set by the first author in 2012, its rational hull is shown to be two-dimensional. Using the same method, we also compute the rational hulls of some other surfaces in $\mathbb{C}^2$.
△ Less
Submitted 18 December, 2018; v1 submitted 22 August, 2018;
originally announced August 2018.
-
Photon detector system timing performance in the DUNE 35-ton prototype liquid argon time projection chamber
Authors:
D. L. Adams,
T. Alion,
J. T. Anderson,
L. Bagby,
M. Baird,
G. Barr,
N. Barros,
K. Biery,
A. Blake,
E. Blaufuss,
T. Boone,
A. Booth,
D. Brailsford,
N. Buchanan,
A. Chatterjee,
M. Convery,
J. Davies,
T. Dealtry,
P. DeLurgio,
G. Deuerling,
R. Dharmapalan,
Z. Djurcic,
G. Drake,
B. Eberly,
J. Freeman
, et al. (53 additional authors not shown)
Abstract:
The 35-ton prototype for the Deep Underground Neutrino Experiment far detector was a single-phase liquid argon time projection chamber with an integrated photon detector system, all situated inside a membrane cryostat. The detector took cosmic-ray data for six weeks during the period of February 1, 2016 to March 12, 2016. The performance of the photon detection system was checked with these data.…
▽ More
The 35-ton prototype for the Deep Underground Neutrino Experiment far detector was a single-phase liquid argon time projection chamber with an integrated photon detector system, all situated inside a membrane cryostat. The detector took cosmic-ray data for six weeks during the period of February 1, 2016 to March 12, 2016. The performance of the photon detection system was checked with these data. An installed photon detector was demonstrated to measure the arrival times of cosmic-ray muons with a resolution better than 32 ns, limited by the timing of the trigger system. A measurement of the timing resolution using closely-spaced calibration pulses yielded a resolution of 15 ns for pulses at a level of 6 photo-electrons. Scintillation light from cosmic-ray muons was observed to be attenuated with increasing distance with a characteristic length of $155 \pm 28$ cm.
△ Less
Submitted 5 June, 2018; v1 submitted 16 March, 2018;
originally announced March 2018.
-
Localization for Uniform Algebras Generated by Real-Analytic Functions
Authors:
John T. Anderson,
Alexander J. Izzo
Abstract:
It is shown that if $A$ is a uniform algebra generated by real-analytic functions on a suitable compact subset $K$ of a real-analytic variety such that the maximal ideal space of $A$ is $K$, and every continuous function on $K$ is locally a uniform limit of functions in $A$, then $A=C(K)$. This gives an affirmative answer to a special case of a question from the Proceedings of the Symposium on Fun…
▽ More
It is shown that if $A$ is a uniform algebra generated by real-analytic functions on a suitable compact subset $K$ of a real-analytic variety such that the maximal ideal space of $A$ is $K$, and every continuous function on $K$ is locally a uniform limit of functions in $A$, then $A=C(K)$. This gives an affirmative answer to a special case of a question from the Proceedings of the Symposium on Function Algebras held at Tulane University in 1965.
△ Less
Submitted 24 December, 2016; v1 submitted 26 September, 2015;
originally announced September 2015.
-
A Peak Point Theorem for Uniform Algebras on Real-Analytic Varieties
Authors:
John T. Anderson,
Alexander J. Izzo
Abstract:
It was once conjectured that if $A$ is a uniform algebra on its maximal ideal space $X$, and if each point of $X$ is a peak point for $A$, then $A = C(X)$. This peak-point conjecture was disproved by Brian Cole in 1968. Here we establish a peak-point theorem for uniform algebras generated by real-analytic functions on real-analytic varieties, generalizing previous results of the authors and John W…
▽ More
It was once conjectured that if $A$ is a uniform algebra on its maximal ideal space $X$, and if each point of $X$ is a peak point for $A$, then $A = C(X)$. This peak-point conjecture was disproved by Brian Cole in 1968. Here we establish a peak-point theorem for uniform algebras generated by real-analytic functions on real-analytic varieties, generalizing previous results of the authors and John Wermer.
△ Less
Submitted 20 July, 2015;
originally announced July 2015.
-
Classification of transversal gates in qubit stabilizer codes
Authors:
Jonas T. Anderson,
Tomas Jochym-O'Connor
Abstract:
This work classifies the set of diagonal gates that can implement a single or two-qubit transversal logical gate for qubit stabilizer codes. We show that individual physical gates on the underlying qubits that compose the code are restricted to have entries of the form $e^{i πc/2^k}$ along their diagonal, resulting in a similarly restricted class of logical gates that can be implemented in this ma…
▽ More
This work classifies the set of diagonal gates that can implement a single or two-qubit transversal logical gate for qubit stabilizer codes. We show that individual physical gates on the underlying qubits that compose the code are restricted to have entries of the form $e^{i πc/2^k}$ along their diagonal, resulting in a similarly restricted class of logical gates that can be implemented in this manner. Moreover, we show that all diagonal logical gates that can be implemented transversally by individual physical diagonal gates must belong to the Clifford hierarchy. Furthermore, we can use this result to prove a conjecture about transversal gates made by Zeng et al. in 2007.
△ Less
Submitted 29 September, 2014;
originally announced September 2014.
-
Fault-tolerant conversion between the Steane and Reed-Muller quantum codes
Authors:
Jonas T. Anderson,
Guillaume Duclos-Cianci,
David Poulin
Abstract:
Steane's 7-qubit quantum error-correcting code admits a set of fault-tolerant gates that generate the Clifford group, which in itself is not universal for quantum computation. The 15-qubit Reed-Muller code also does not admit a universal fault-tolerant gate set but possesses fault-tolerant T and control-control-Z gates. Combined with the Clifford group, either of these two gates generate a univers…
▽ More
Steane's 7-qubit quantum error-correcting code admits a set of fault-tolerant gates that generate the Clifford group, which in itself is not universal for quantum computation. The 15-qubit Reed-Muller code also does not admit a universal fault-tolerant gate set but possesses fault-tolerant T and control-control-Z gates. Combined with the Clifford group, either of these two gates generate a universal set. Here, we combine these two features by demonstrating how to fault-tolerantly convert between these two codes, providing a new method to realize universal fault-tolerant quantum computation. One interpretation of our result is that both codes correspond to the same subsystem code in different gauges. Our scheme extends to the entire family of quantum Reed-Muller codes.
△ Less
Submitted 11 March, 2014;
originally announced March 2014.
-
On the Power of Reusable Magic States
Authors:
Jonas T. Anderson
Abstract:
In this paper we study reusable magic states. These states are a special subset of the standard magic states. Once distilled, reusable magic states can be used, repeatedly, to apply some unitary U. Given this property, reusable magic states have the potential to greatly lower qubit and gate overheads in fault-tolerant quantum computation. While these states are promising, we provide a strong argum…
▽ More
In this paper we study reusable magic states. These states are a special subset of the standard magic states. Once distilled, reusable magic states can be used, repeatedly, to apply some unitary U. Given this property, reusable magic states have the potential to greatly lower qubit and gate overheads in fault-tolerant quantum computation. While these states are promising, we provide a strong argument for their limited computational power. Specifically, we show that if reusable magic states can be used to apply non-Clifford unitaries, then we can exploit them to efficiently simulate poly-sized quantum circuits on a classical computer.
△ Less
Submitted 22 May, 2012; v1 submitted 1 May, 2012;
originally announced May 2012.
-
Fault-tolerant quantum computing with color codes
Authors:
Andrew J. Landahl,
Jonas T. Anderson,
Patrick R. Rice
Abstract:
We present and analyze protocols for fault-tolerant quantum computing using color codes. We present circuit-level schemes for extracting the error syndrome of these codes fault-tolerantly. We further present an integer-program-based decoding algorithm for identifying the most likely error given the syndrome. We simulated our syndrome extraction and decoding algorithms against three physically-moti…
▽ More
We present and analyze protocols for fault-tolerant quantum computing using color codes. We present circuit-level schemes for extracting the error syndrome of these codes fault-tolerantly. We further present an integer-program-based decoding algorithm for identifying the most likely error given the syndrome. We simulated our syndrome extraction and decoding algorithms against three physically-motivated noise models using Monte Carlo methods, and used the simulations to estimate the corresponding accuracy thresholds for fault-tolerant quantum error correction. We also used a self-avoiding walk analysis to lower-bound the accuracy threshold for two of these noise models. We present and analyze two architectures for fault-tolerantly computing with these codes: one with 2D arrays of qubits are stacked atop each other and one in a single 2D substrate. Our analysis demonstrates that color codes perform slightly better than Kitaev's surface codes when circuit details are ignored. When these details are considered, we estimate that color codes achieve a threshold of 0.082(3)%, which is higher than the threshold of $1.3 \times 10^{-5}$ achieved by concatenated coding schemes restricted to nearest-neighbor gates in two dimensions but lower than the threshold of 0.75% to 1.1% reported for the Kitaev codes subject to the same restrictions. Finally, because the behavior of our decoder's performance for two of the noise models we consider maps onto an order-disorder phase transition in the three-body random-bond Ising model in 2D and the corresponding random-plaquette gauge model in 3D, our results also answer the Nishimori conjecture for these models in the negative: the statistical-mechanical classical spin systems associated to the 4.8.8 color codes are counterintuitively more ordered at positive temperature than at zero temperature.
△ Less
Submitted 29 August, 2011;
originally announced August 2011.
-
Projective Hulls and Characterizations of Meromorphic Functions
Authors:
J. T. Anderson,
J. A. Cima,
N. Levenberg,
T. J. Ransford
Abstract:
We give conditions characterizing holomorphic and meromorphic functions in the unit disk of the complex plane in terms of certain weak forms of the maximum principle. Our work is directly inspired by recent results of John Wermer, and by the theory of the projective hull of a compact subset of complex projective space developed by Reese Harvey and Blaine Lawson.
We give conditions characterizing holomorphic and meromorphic functions in the unit disk of the complex plane in terms of certain weak forms of the maximum principle. Our work is directly inspired by recent results of John Wermer, and by the theory of the projective hull of a compact subset of complex projective space developed by Reese Harvey and Blaine Lawson.
△ Less
Submitted 21 July, 2011;
originally announced July 2011.
-
Homological Stabilizer Codes
Authors:
Jonas T. Anderson
Abstract:
In this paper we define homological stabilizer codes which encompass codes such as Kitaev's toric code and the topological color codes. These codes are defined solely by the graphs they reside on. This feature allows us to use properties of topological graph theory to determine the graphs which are suitable as homological stabilizer codes. We then show that all toric codes are equivalent to homolo…
▽ More
In this paper we define homological stabilizer codes which encompass codes such as Kitaev's toric code and the topological color codes. These codes are defined solely by the graphs they reside on. This feature allows us to use properties of topological graph theory to determine the graphs which are suitable as homological stabilizer codes. We then show that all toric codes are equivalent to homological stabilizer codes on 4-valent graphs. We show that the topological color codes and toric codes correspond to two distinct classes of graphs. We define the notion of label set equivalencies and show that under a small set of constraints the only homological stabilizer codes without local logical operators are equivalent to Kitaev's toric code or to the topological color codes.
△ Less
Submitted 10 August, 2011; v1 submitted 18 July, 2011;
originally announced July 2011.
