Showing 1–26 of 26 results for author: Barnes, D W

Fast and high-fidelity state preparation and measurement in triple-quantum-dot spin qubits

Authors: Jacob Z. Blumoff, Andrew S. Pan, Tyler E. Keating, Reed W. Andrews, David W. Barnes, Teresa L. Brecht, Edward T. Croke, Larken E. Euliss, Jacob A. Fast, Clayton A. C. Jackson, Aaron M. Jones, Joseph Kerckhoff, Robert K. Lanza, Kate Raach, Bryan J. Thomas, Roland Velunta, Aaron J. Weinstein, Thaddeus D. Ladd, Kevin Eng, Matthew G. Borselli, Andrew T. Hunter, Matthew T. Rakher

Abstract: We demonstrate rapid, high-fidelity state preparation and measurement in exchange-only Si/SiGe triple-quantum-dot qubits. Fast measurement integration ($980$ ns) and initialization ($\approx 300$ ns) operations are performed with all-electrical, baseband control. We emphasize a leakage-sensitive joint initialization and measurement metric, developed in the context of exchange-only qubits but appli… ▽ More We demonstrate rapid, high-fidelity state preparation and measurement in exchange-only Si/SiGe triple-quantum-dot qubits. Fast measurement integration ($980$ ns) and initialization ($\approx 300$ ns) operations are performed with all-electrical, baseband control. We emphasize a leakage-sensitive joint initialization and measurement metric, developed in the context of exchange-only qubits but applicable more broadly, and report an infidelity of $2.5\pm0.5\times 10^{-3}$. This result is enabled by a high-valley-splitting heterostructure, initialization at the 2-to-3 electron charge boundary, and careful assessment and mitigation of $T_1$ during spin-to-charge conversion. The ultimate fidelity is limited by a number of comparably-important factors, and we identify clear paths towards further improved fidelity and speed. Along with an observed single-qubit randomized benchmarking error rate of $1.7\times 10^{-3}$, this work demonstrates initialization, control, and measurement of Si/SiGe triple-dot qubits at fidelities and durations which are promising for scalable quantum information processing. △ Less

Submitted 28 January, 2022; v1 submitted 17 December, 2021; originally announced December 2021.

Journal ref: PRX Quantum 3, 010352 (2022)

Magnetic Gradient Fluctuations from Quadrupolar $^{73}$Ge in Si/SiGe Exchange-Only Qubits

Authors: J. Kerckhoff, B. Sun, B. H. Fong, C. Jones, A. A. Kiselev, D. W. Barnes, R. S. Noah, E. Acuna, M. Akmal, S. D. Ha, J. A. Wright, B. J. Thomas, C. A. C. Jackson, L. F. Edge, K. Eng, R. S. Ross, T. D. Ladd

Abstract: We study the time-fluctuating magnetic gradient noise mechanisms in pairs of Si/SiGe quantum dots using exchange echo noise spectroscopy. We find through a combination of spectral inversion and correspondence to theoretical modeling that quadrupolar precession of the $^{73}$Ge nuclei play a key role in the spin-echo decay time $T_2$, with a characteristic dependence on magnetic field and the width… ▽ More We study the time-fluctuating magnetic gradient noise mechanisms in pairs of Si/SiGe quantum dots using exchange echo noise spectroscopy. We find through a combination of spectral inversion and correspondence to theoretical modeling that quadrupolar precession of the $^{73}$Ge nuclei play a key role in the spin-echo decay time $T_2$, with a characteristic dependence on magnetic field and the width of the Si quantum well. The $^{73}$Ge noise peaks appear at the fundamental and first harmonic of the $^{73}$Ge Larmor resonance, superimposed over $1/f$ noise due to $^{29}$Si dipole-dipole dynamics, and are dependent on material epitaxy and applied magnetic field. These results may inform the needs of dynamical decoupling when using Si/SiGe quantum dots as qubits in quantum information processing devices. △ Less

Submitted 17 September, 2020; originally announced September 2020.

Comments: 17 pages, 11 figures

Journal ref: PRX Quantum 2, 010347 (2021)

On minimal ideals of Lie algebras

Authors: Donald W. Barnes

Abstract: We show that a minimal ideal of a finite-dimensional Lie algebra is either simple or abelian. We show that a minimal ideal of a finite-dimensional Lie algebra is either simple or abelian. △ Less

Submitted 8 July, 2020; v1 submitted 3 July, 2020; originally announced July 2020.

Comments: 1 page. The result is false. That all $A$-module composition factors of $K$ are trivial does not imply that $K$ is soluble

MSC Class: 17B05

Faithful irreducible representations of modular Lie algebras

Authors: Donald W. Barnes

Abstract: Let L be a finite-dimensional Lie algebra over a field of non-zero characteristic. By a theorem of Jacobson, L has a finite-dimensional faithful module which is completely reducible. We show that if the field is not algebraically closed, then L has an irreducible such module. We also give a necessary and sufficient condition for a finite-dimensional Lie algebra over an algebraically closed field o… ▽ More Let L be a finite-dimensional Lie algebra over a field of non-zero characteristic. By a theorem of Jacobson, L has a finite-dimensional faithful module which is completely reducible. We show that if the field is not algebraically closed, then L has an irreducible such module. We also give a necessary and sufficient condition for a finite-dimensional Lie algebra over an algebraically closed field of non-zero characteristic to have a faithful irreducible module. △ Less

Submitted 11 February, 2019; v1 submitted 29 July, 2018; originally announced July 2018.

Comments: 4 pages. In v3, the proof of the main result has been simplified. A necessary and sufficient condition for a Lie algebra over an algebraically closed field of non-zero characteristic to have a faithful irreducible module has been added

MSC Class: 17B50

On $\mathfrak F$-hypercentral modules and character clusters

Authors: Donald W. Barnes

Abstract: Let $\mathfrak F$ be a saturated formation of soluble Lie algebras over a field $F$ of characteristic $p > 0$ and let ${\mathbb F}_p$ denote the field of $p$ elements. Let $(L,[p])$ be a restricted Lie algebra over $F$ with $z^{$\scriptstyle [p]$}=0$ for all $z$ in the centre of $L$. Let $S \in \mathfrak F$, $S\ne 0$ be a subnormal subalgebra of $L$. Let $V, W$ be $L$-modules. Suppose that the cha… ▽ More Let $\mathfrak F$ be a saturated formation of soluble Lie algebras over a field $F$ of characteristic $p > 0$ and let ${\mathbb F}_p$ denote the field of $p$ elements. Let $(L,[p])$ be a restricted Lie algebra over $F$ with $z^{$\scriptstyle [p]$}=0$ for all $z$ in the centre of $L$. Let $S \in \mathfrak F$, $S\ne 0$ be a subnormal subalgebra of $L$. Let $V, W$ be $L$-modules. Suppose that the character cluster of $W$ is contained in the set of ${\mathbb F}_p$-linear combinations of the characters in the character cluster of $V$. Suppose that $V$, regarded as $S$-module, is $\mathfrak F$-hypercentral. Then $W$, regarded as $S$-module, is also $\mathfrak F$-hypercentral. △ Less

Submitted 3 August, 2016; originally announced August 2016.

Comments: 2 pages

MSC Class: 17B30

Faithful completely reducible representations of modular Lie algebras

Authors: Donald W. Barnes

Abstract: The Ado-Iwasawa Theorem asserts that a finite-dimensional Lie algebra $L$ over a field $F$ has a finite-dimensional faithful module $V$. There are several extensions asserting the existence of such a module with various additional properties. In particular, Jacobson has proved that if the field has characteristic $p>0$, then there exists a completely reducible such module $V$. I strengthen Jacobso… ▽ More The Ado-Iwasawa Theorem asserts that a finite-dimensional Lie algebra $L$ over a field $F$ has a finite-dimensional faithful module $V$. There are several extensions asserting the existence of such a module with various additional properties. In particular, Jacobson has proved that if the field has characteristic $p>0$, then there exists a completely reducible such module $V$. I strengthen Jacobson's Theorem, proving that if $L$ has dimension $n$ over the field $F$ of characteristic $p>0$, then $L$ has a faithful completely reducible module $V$ with $\dim(V) \le p^{n^2-1}$. △ Less

Submitted 18 May, 2016; v1 submitted 6 March, 2016; originally announced March 2016.

Comments: 5 pages. Corrects typos, expands explanations in version 1

MSC Class: 17B50

Conditions for a Schunck class to be a formation

Authors: Donald W. Barnes

Abstract: A Schunck class H is determined by the class X of primitives contained in H. We give necessary and sufficient conditions on X for H to be a saturated formation. A Schunck class H is determined by the class X of primitives contained in H. We give necessary and sufficient conditions on X for H to be a saturated formation. △ Less

Submitted 28 July, 2014; v1 submitted 21 July, 2014; originally announced July 2014.

Comments: 6 pages. Version 2 clarifies solubility conditions assumed in section 2

MSC Class: Primary 17B30; secondary 17A32; 20D10

Blocks of representations of Lie algebras

Authors: Donald W. Barnes

Abstract: In the theory of finite groups, the irreducible representations of G over a field F are classified into blocks based on a direct decompositions of the group algebra FG. This gives a natural decomposition of FG-modules into direct summands, each summand having all its composition factors belonging to a single block. This block decomposition is the finest natural decomposition of the FG-modules. In… ▽ More In the theory of finite groups, the irreducible representations of G over a field F are classified into blocks based on a direct decompositions of the group algebra FG. This gives a natural decomposition of FG-modules into direct summands, each summand having all its composition factors belonging to a single block. This block decomposition is the finest natural decomposition of the FG-modules. In this paper, a classification of the irreducible representations of a finite dimensional Lie algebra L into blocks is defined, giving the finest natural direct decomposition of L-modules. This classification is investigated for supersoluble algebras. △ Less

Submitted 11 March, 2015; v1 submitted 19 May, 2014; originally announced May 2014.

Comments: This paper has been withdrawn by the author due to an error in the proof of Lemma 4.22. It is possible for the extension to split

MSC Class: 17B30; 17B50

Induced modules for modular Lie algebras

Authors: Donald W. Barnes

Abstract: Let $L$ be a finite-dimensional Lie algebra over a field of non-zero characteristic and let $S$ be a subalgebra. Suppose that $X$ is a finite set of finite-dimensional $L$-modules. Let $D$ be the category of all finite-dimensional $S$-modules. Then there exists a category $C$ of finite-dimensional $L$-modules containing the modules in $X$ such that the restriction functor Res$:C \to D$ has a left… ▽ More Let $L$ be a finite-dimensional Lie algebra over a field of non-zero characteristic and let $S$ be a subalgebra. Suppose that $X$ is a finite set of finite-dimensional $L$-modules. Let $D$ be the category of all finite-dimensional $S$-modules. Then there exists a category $C$ of finite-dimensional $L$-modules containing the modules in $X$ such that the restriction functor Res$:C \to D$ has a left adjoint Ind$:D \to C$. △ Less

Submitted 13 September, 2016; v1 submitted 30 November, 2013; originally announced December 2013.

Comments: 8 pages. Version 5 acknowledges priority and adds reference to relevant paper of Farnsteiner

MSC Class: 17B50

Character clusters for Lie algebra modules over a field of non-zero characteristic

Authors: Donald W. Barnes

Abstract: For a Lie algebra L over an algebraically closed field of non-zero characteristic, every finite-dimensional L-module can be decomposed into a direct sum of submodules such that all composition factors of a summand have the same character. Using the concept of a character cluster, this result is generalised to fields which are not algebraically closed. Clusters are used to generalise the constructi… ▽ More For a Lie algebra L over an algebraically closed field of non-zero characteristic, every finite-dimensional L-module can be decomposed into a direct sum of submodules such that all composition factors of a summand have the same character. Using the concept of a character cluster, this result is generalised to fields which are not algebraically closed. Clusters are used to generalise the construction of induced modules. △ Less

Submitted 20 January, 2013; originally announced January 2013.

Comments: 8 pages

MSC Class: 17B10

Strong containment of saturated formations of soluble Lie algebras

Authors: Donald W. Barnes

Abstract: It is shown that, if H,K are saturated formations of soluble Lie algebras over a field of non-zero characteristic and H strongly contains K non-trivially, then H coincides with the formation generated by the L/N(L) for L in H, and that H is not locally defined. It is shown that, if H,K are saturated formations of soluble Lie algebras over a field of non-zero characteristic and H strongly contains K non-trivially, then H coincides with the formation generated by the L/N(L) for L in H, and that H is not locally defined. △ Less

Submitted 3 December, 2012; v1 submitted 8 August, 2012; originally announced August 2012.

Comments: 7 pages. Progress report correcting errors in earlier versions. Proves a weaker result than that originally claimed

MSC Class: 17B30

Faithful representations of Leibniz algebras

Authors: Donald W. Barnes

Abstract: Let L be a Leibniz algebra of dimension n. I prove the existence of a faithful L-module of dimension less than or equal to n+1. Let L be a Leibniz algebra of dimension n. I prove the existence of a faithful L-module of dimension less than or equal to n+1. △ Less

Submitted 10 November, 2011; originally announced November 2011.

Comments: 5 pages

MSC Class: 17A32

On F-hypercentral and F-hypereccentric modules for finite soluble groups

Authors: Donald W. Barnes

Abstract: I prove the group theory analogues of some Lie and Leibniz algebra results on F-hypercentral and F-hypereccentric modules. I prove the group theory analogues of some Lie and Leibniz algebra results on F-hypercentral and F-hypereccentric modules. △ Less

Submitted 29 October, 2011; originally announced October 2011.

Comments: 6 pages

MSC Class: 20D10

On locally defined formations of soluble Lie and Leibniz algebras

Authors: Donald W. Barnes

Abstract: It is well-known that all saturated formations of finite soluble groups are locally defined and, except for the trivial formation, have many different local definitions. I show that for Lie and Leibniz algebras over a field of characteristic 0, the formations of all nilpotent algebras and of all soluble algebras are the only locally defined formations and that the latter has many local definitions… ▽ More It is well-known that all saturated formations of finite soluble groups are locally defined and, except for the trivial formation, have many different local definitions. I show that for Lie and Leibniz algebras over a field of characteristic 0, the formations of all nilpotent algebras and of all soluble algebras are the only locally defined formations and that the latter has many local definitions. Over a field of non-zero characteristic, a saturated formation of soluble Lie algebras has at most one local definition but a locally defined saturated formation of soluble Leibniz algebras other than that of nilpotent algebras has more than one local definition. △ Less

Submitted 22 October, 2011; originally announced October 2011.

Comments: 4 pages

MSC Class: 17B30

Chief factors covered by projectors of soluble Leibniz algebras

Authors: Donald W. Barnes

Abstract: Let F be a saturated formation of soluble Leibniz algebras. Let K be an F-projector and A/B a chief factor of the soluble Leibniz algebra L. It is well-known that if A/B is F-central, then K covers A/B. I prove the converse: if K covers A/B, then A/B is F-central. Let F be a saturated formation of soluble Leibniz algebras. Let K be an F-projector and A/B a chief factor of the soluble Leibniz algebra L. It is well-known that if A/B is F-central, then K covers A/B. I prove the converse: if K covers A/B, then A/B is F-central. △ Less

Submitted 10 October, 2011; originally announced October 2011.

Comments: 2 pages

MSC Class: 17A32; 17B30

On Levi's Theorem for Leibniz algebras

Authors: Donald W. Barnes

Abstract: A Lie algebra over a field of characteristic 0 splits over its soluble radical and all complements are conjugate. I show that the splitting theorem extends to Leibniz algebras but that the conjugacy theorem does not. A Lie algebra over a field of characteristic 0 splits over its soluble radical and all complements are conjugate. I show that the splitting theorem extends to Leibniz algebras but that the conjugacy theorem does not. △ Less

Submitted 6 September, 2011; originally announced September 2011.

Comments: 1 page

MSC Class: 17A32

Lattices of subalgebras of Leibniz algebras

Authors: Donald W. Barnes

Abstract: I describe the lattice of subalgebras of a one-generator Leibniz algebra. Using this, I show that, apart from one special case, a lattice isomorphism between Leibniz algebras L, L' maps the Leibniz kernel of L to that of L'. I describe the lattice of subalgebras of a one-generator Leibniz algebra. Using this, I show that, apart from one special case, a lattice isomorphism between Leibniz algebras L, L' maps the Leibniz kernel of L to that of L'. △ Less

Submitted 26 February, 2011; originally announced February 2011.

Comments: 6 pages, 6 figures

MSC Class: 17A32

Schunck classes of soluble Leibniz algebras

Authors: Donald W. Barnes

Abstract: I set out the theory of Schunck classes and projectors for soluble Leibniz algebras, parallel to that for Lie algebras. Primitive Leibniz algebras come in pairs, one (Lie) symmetric, the other antisymmetric. A Schunck formation containing one member of a pair also contains the other. Projectors for a Schunck formation are intravariant. I set out the theory of Schunck classes and projectors for soluble Leibniz algebras, parallel to that for Lie algebras. Primitive Leibniz algebras come in pairs, one (Lie) symmetric, the other antisymmetric. A Schunck formation containing one member of a pair also contains the other. Projectors for a Schunck formation are intravariant. △ Less

Submitted 24 January, 2011; v1 submitted 15 January, 2011; originally announced January 2011.

Comments: 19 pages. Where old work on Lie algebras extends unchanged to Leibniz algebras, the proofs have been omitted. Corrects typos, gives a neater proof of Theorem 1.14 (now Theorem 1.10) and corrects an error in the proof of Theorem 6.8

MSC Class: 17A32

On Engel's Theorem for Leibniz algebras

Authors: Donald W. Barnes

Abstract: I give a simpler proof of the generalisation of Engel's Theorem to Leibniz algebras. I give a simpler proof of the generalisation of Engel's Theorem to Leibniz algebras. △ Less

Submitted 11 July, 2011; v1 submitted 2 December, 2010; originally announced December 2010.

Comments: 2 pages. Proof of cited theorem of Loday and Pirashvili added

MSC Class: 17A32

Subnormal subalgebras of Leibniz algebras

Authors: Donald W. Barnes

Abstract: Zassenhaus has proved that if U is a subnormal subalgebra of a finite-dimensional Lie algebra L and V is a finite-dimensional irreducible L-module, then all U-module composition factors of V are isomorphic. Schenkman has proved that if U is a subnormal subalgebra of a finite-dimensional Lie algebra L, then the nilpotent residual of U is an ideal of L. These useful results generalise to Leibniz a… ▽ More Zassenhaus has proved that if U is a subnormal subalgebra of a finite-dimensional Lie algebra L and V is a finite-dimensional irreducible L-module, then all U-module composition factors of V are isomorphic. Schenkman has proved that if U is a subnormal subalgebra of a finite-dimensional Lie algebra L, then the nilpotent residual of U is an ideal of L. These useful results generalise to Leibniz algebras. △ Less

Submitted 6 November, 2008; originally announced November 2008.

Comments: 2 pages

MSC Class: 17A32

Engel subalgebras of Leibniz algebras

Authors: Donald W. Barnes

Abstract: Engel subalgebras of finite-dimensional Leibniz algebras are shown to have similar properties to those of Lie algebras. Using these, it is shown that a left Leibniz algebra, all of whose maximal subalgebras are right ideals, is nilpotent. A primitive Leibniz algebra is shown to split over its minimal ideal and that all the complements to its minimal ideal are conjugate. A subalgebra is shown to… ▽ More Engel subalgebras of finite-dimensional Leibniz algebras are shown to have similar properties to those of Lie algebras. Using these, it is shown that a left Leibniz algebra, all of whose maximal subalgebras are right ideals, is nilpotent. A primitive Leibniz algebra is shown to split over its minimal ideal and that all the complements to its minimal ideal are conjugate. A subalgebra is shown to be a Cartan subalgebra if and only if it is minimal Engel, provided that the field has sufficiently many elements. Cartan subalgebras are shown to have a property analogous to intravariance. △ Less

Submitted 16 October, 2008; originally announced October 2008.

Comments: 7 pages

MSC Class: 17A32

Lie algebra F-normalisers are intravariant

Authors: Donald W. Barnes

Abstract: Let F be a saturated formation of soluble Lie algebras and let U be an F-normaliser of the soluble Lie algebra L. Then U is intravariant in L. Let F be a saturated formation of soluble Lie algebras and let U be an F-normaliser of the soluble Lie algebra L. Then U is intravariant in L. △ Less

Submitted 19 December, 2007; originally announced December 2007.

Comments: 2 pages

MSC Class: 17B30

On (n+2)-dimensional n-Lie algebras

Authors: Donald W. Barnes

Abstract: I show that an (n+2)-dimensional n-Lie algebra over an algebraically closed field must have a subalgeba of codimension 1. I show that an (n+2)-dimensional n-Lie algebra over an algebraically closed field must have a subalgeba of codimension 1. △ Less

Submitted 14 April, 2007; originally announced April 2007.

Comments: 2 pages

MSC Class: 17B05; 17B30

Schunck classes of soluble restricted Lie algebras

Authors: Donald W. Barnes

Abstract: Schunck classes, saturated formations and projectors were originally defined for finite soluble groups for which they provided families of intravariant subgroups. In this paper, I set out the analogous theory for finite-dimensional soluble restricted Lie algebras and investigate its links to the corresponding theory for ordinary Lie algebras over the same field. Schunck classes, saturated formations and projectors were originally defined for finite soluble groups for which they provided families of intravariant subgroups. In this paper, I set out the analogous theory for finite-dimensional soluble restricted Lie algebras and investigate its links to the corresponding theory for ordinary Lie algebras over the same field. △ Less

Submitted 29 October, 2006; v1 submitted 19 October, 2006; originally announced October 2006.

Comments: 25 pages. Version 2 corrects a misprint. The explanation "$M \supseteq B$" given on p. 2 of Version 1 for "$M$ covers $B/C$" should be "$M+C \supseteq B$"

MSC Class: 17B30

Engel subalgebras of n-Lie algebras

Authors: Donald W. Barnes

Abstract: Engel subalgebras of finite-dimensional n-Lie algebras are shown to have similar properties to those of Lie algebras. Using these, it is shown that an n-Lie algebra, all of whose maximal subalgebras are ideals, is nilpotent. A primitive 2-soluble n-Lie algebra is shown to split over its minimal ideal and that all the complements to its minimal ideal are conjugate. A subalgebra is shown to be a C… ▽ More Engel subalgebras of finite-dimensional n-Lie algebras are shown to have similar properties to those of Lie algebras. Using these, it is shown that an n-Lie algebra, all of whose maximal subalgebras are ideals, is nilpotent. A primitive 2-soluble n-Lie algebra is shown to split over its minimal ideal and that all the complements to its minimal ideal are conjugate. A subalgebra is shown to be a Cartan subalgebra if and only if it is minimal Engel, provided that the field has sufficiently many elements. Cartan subalgebras are shown to have a property analogous to intravariance. △ Less

Submitted 10 October, 2006; originally announced October 2006.

Comments: 9 pages

MSC Class: 17B05; 17B30

Journal ref: Acta Math. Sinica 24 (2008) 159--166

On Sikora's spectral sequences

Authors: Donald W. Barnes

Abstract: The Swan, Leray and Leray-Serre spectral sequences of a compact Hausdorff HLC space acted on by a discrete group are shown to be isomorphic. The Swan, Leray and Leray-Serre spectral sequences of a compact Hausdorff HLC space acted on by a discrete group are shown to be isomorphic. △ Less

Submitted 11 July, 2006; originally announced July 2006.

Comments: 29 pages

MSC Class: 55R20

Journal ref: JKTR 16 (2007) 833--867