-
Distributed Quantum Computing in Silicon
Authors:
Photonic Inc,
:,
Francis Afzal,
Mohsen Akhlaghi,
Stefanie J. Beale,
Olinka Bedroya,
Kristin Bell,
Laurent Bergeron,
Kent Bonsma-Fisher,
Polina Bychkova,
Zachary M. E. Chaisson,
Camille Chartrand,
Chloe Clear,
Adam Darcie,
Adam DeAbreu,
Colby DeLisle,
Lesley A. Duncan,
Chad Dundas Smith,
John Dunn,
Amir Ebrahimi,
Nathan Evetts,
Daker Fernandes Pinheiro,
Patricio Fuentes,
Tristen Georgiou,
Biswarup Guha
, et al. (47 additional authors not shown)
Abstract:
Commercially impactful quantum algorithms such as quantum chemistry and Shor's algorithm require a number of qubits and gates far beyond the capacity of any existing quantum processor. Distributed architectures, which scale horizontally by networking modules, provide a route to commercial utility and will eventually surpass the capability of any single quantum computing module. Such processors con…
▽ More
Commercially impactful quantum algorithms such as quantum chemistry and Shor's algorithm require a number of qubits and gates far beyond the capacity of any existing quantum processor. Distributed architectures, which scale horizontally by networking modules, provide a route to commercial utility and will eventually surpass the capability of any single quantum computing module. Such processors consume remote entanglement distributed between modules to realize distributed quantum logic. Networked quantum computers will therefore require the capability to rapidly distribute high fidelity entanglement between modules. Here we present preliminary demonstrations of some key distributed quantum computing protocols on silicon T centres in isotopically-enriched silicon. We demonstrate the distribution of entanglement between modules and consume it to apply a teleported gate sequence, establishing a proof-of-concept for T centres as a distributed quantum computing and networking platform.
△ Less
Submitted 3 June, 2024;
originally announced June 2024.
-
A non-constructive proof of the Four Colour Theorem
Authors:
D. M. Jackson,
L. B. Richmond
Abstract:
The approach is through a singularity analysis of generating functions for 3- and 4-connected triangulations, asymptotic analysis, properties of the ${{}_3F_2}$ hypergeometric series, and Tutte's enumerative work on planar maps and chromatic polynomials.
The approach is through a singularity analysis of generating functions for 3- and 4-connected triangulations, asymptotic analysis, properties of the ${{}_3F_2}$ hypergeometric series, and Tutte's enumerative work on planar maps and chromatic polynomials.
△ Less
Submitted 1 December, 2023; v1 submitted 19 December, 2022;
originally announced December 2022.
-
Ideal refocusing of an optically active spin qubit under strong hyperfine interactions
Authors:
Leon Zaporski,
Noah Shofer,
Jonathan H. Bodey,
Santanu Manna,
George Gillard,
Daniel M. Jackson,
Martin Hayhurst Appel,
Christian Schimpf,
Saimon Covre da Silva,
John Jarman,
Geoffroy Delamare,
Gunhee Park,
Urs Haeusler,
Evgeny A. Chekhovich,
Armando Rastelli,
Dorian A. Gangloff,
Mete Atatüre,
Claire Le Gall
Abstract:
Combining highly coherent spin control with efficient light-matter coupling offers great opportunities for quantum communication and networks, as well as quantum computing. Optically active semiconductor quantum dots have unparalleled photonic properties, but also modest spin coherence limited by their resident nuclei. Here, we demonstrate that eliminating strain inhomogeneity using lattice-matche…
▽ More
Combining highly coherent spin control with efficient light-matter coupling offers great opportunities for quantum communication and networks, as well as quantum computing. Optically active semiconductor quantum dots have unparalleled photonic properties, but also modest spin coherence limited by their resident nuclei. Here, we demonstrate that eliminating strain inhomogeneity using lattice-matched GaAs-AlGaAs quantum dot devices prolongs the electron spin coherence by nearly two orders of magnitude, beyond 0.113(3) ms. To do this, we leverage the 99.30(5)% fidelity of our optical pi-pulse gates to implement dynamical decoupling. We vary the number of decoupling pulses up to N = 81 and find a coherence time scaling of N^{0.75(2)}. This scaling manifests an ideal refocusing of strong interactions between the electron and the nuclear-spin ensemble, holding the promise of lifetime-limited spin coherence. Our findings demonstrate that the most punishing material science challenge for such quantum-dot devices has a remedy, and constitute the basis for highly coherent spin-photon interfaces.
△ Less
Submitted 2 June, 2022;
originally announced June 2022.
-
Optimal purification of a spin ensemble by quantum-algorithmic feedback
Authors:
Daniel M. Jackson,
Urs Haeusler,
Leon Zaporski,
Jonathan H. Bodey,
Noah Shofer,
Edmund Clarke,
Maxime Hugues,
Mete Atatüre,
Claire Le Gall,
Dorian A. Gangloff
Abstract:
Purifying a high-temperature ensemble of quantum particles towards a known state is a key requirement to exploit quantum many-body effects. An alternative to passive cooling, which brings a system to its ground state, is based on feedback to stabilise the system actively around a target state. This alternative, if realised, offers additional control capabilities for the design of quantum states. H…
▽ More
Purifying a high-temperature ensemble of quantum particles towards a known state is a key requirement to exploit quantum many-body effects. An alternative to passive cooling, which brings a system to its ground state, is based on feedback to stabilise the system actively around a target state. This alternative, if realised, offers additional control capabilities for the design of quantum states. Here we present a quantum feedback algorithm capable of stabilising the collective state of an ensemble from an infinite-temperature state to the limit of single quanta. We implement this on ~50,000 nuclei in a semiconductor quantum dot, and show that the nuclear-spin fluctuations are reduced 83-fold down to 10 spin macrostates. While our algorithm can purify a single macrostate, system-specific inhomogeneities prevent reaching this limit. Our feedback algorithm further engineers classically correlated ensemble states via macrostate tuning, weighted bimodality, and latticed multistability, constituting a pre-cursor towards quantum-correlated macrostates.
△ Less
Submitted 8 November, 2021;
originally announced November 2021.
-
Witnessing quantum correlations in a nuclear ensemble via an electron spin qubit
Authors:
Dorian A. Gangloff,
Leon Zaporski,
Jonathan H. Bodey,
Clara Bachorz,
Daniel M. Jackson,
Gabriel Éthier-Majcher,
Constantin Lang,
Edmund Clarke,
Maxime Hugues,
Claire Le Gall,
Mete Atatüre
Abstract:
A coherent ensemble of spins interfaced with a proxy qubit is an attractive platform to create many-body coherences and probe the regime of collective excitations. An electron spin qubit in a semiconductor quantum dot can act as such an interface to the dense nuclear spin ensemble within the quantum dot consisting of multiple high-spin atomic species. Earlier work has shown that the electron can r…
▽ More
A coherent ensemble of spins interfaced with a proxy qubit is an attractive platform to create many-body coherences and probe the regime of collective excitations. An electron spin qubit in a semiconductor quantum dot can act as such an interface to the dense nuclear spin ensemble within the quantum dot consisting of multiple high-spin atomic species. Earlier work has shown that the electron can relay properties of its nuclear environment through the statistics of its mean-field interaction with the total nuclear polarisation, namely its mean and variance. Here, we demonstrate a method to probe the spin state of a nuclear ensemble that exploits its response to collective spin excitations, enabling a species-selective reconstruction beyond the mean field. For the accessible range of optically prepared mean fields, the reconstructed populations indicate that the ensemble is in a non-thermal, correlated nuclear state. The sum over reconstructed species-resolved polarisations exceeds the classical prediction threefold. This stark deviation follows from a spin ensemble that contains inter-particle coherences, and serves as an entanglement witness that confirms the formation of a dark many-body state.
△ Less
Submitted 19 November, 2021; v1 submitted 21 December, 2020;
originally announced December 2020.
-
Quantum sensing of a coherent single spin excitation in a nuclear ensemble
Authors:
Daniel M. Jackson,
Dorian A. Gangloff,
Jonathan H. Bodey,
Leon Zaporski,
Clara Bachorz,
Edmund Clarke,
Maxime Hugues,
Claire Le Gall,
Mete Atatüre
Abstract:
The measurement of single quanta in a collection of coherently interacting objects is transformative in the investigations of emergent quantum phenomena. An isolated nuclear-spin ensemble is a remarkable platform owing to its coherence, but detecting its single spin excitations has remained elusive. Here, we use an electron spin qubit in a semiconductor quantum dot to sense a single nuclear-spin e…
▽ More
The measurement of single quanta in a collection of coherently interacting objects is transformative in the investigations of emergent quantum phenomena. An isolated nuclear-spin ensemble is a remarkable platform owing to its coherence, but detecting its single spin excitations has remained elusive. Here, we use an electron spin qubit in a semiconductor quantum dot to sense a single nuclear-spin excitation (a nuclear magnon) with 1.9-ppm precision via the 200-kHz hyperfine shift on the 28-GHz qubit frequency. We demonstrate this single-magnon precision across multiple modes identified by nuclear species and polarity. Finally, we monitor the coherent dynamics of a nuclear magnon and the emergence of quantum correlations competing against decoherence. A direct extension of this work is to probe engineered quantum states of the ensemble including long-lived memory states.
△ Less
Submitted 21 August, 2020;
originally announced August 2020.
-
Optical spin locking of a solid-state qubit
Authors:
J. H. Bodey,
R. Stockill,
E. V. Denning,
D. A. Gangloff,
G. Ethier-Majcher,
D. M. Jackson,
E. Clarke,
M. Hugues,
C. Le Gall,
M. Atature
Abstract:
Quantum control of solid-state spin qubits typically involves pulses in the microwave domain, drawing from the well-developed toolbox of magnetic resonance spectroscopy. Driving a solid-state spin by optical means offers a high-speed alternative, which in the presence of limited spin coherence makes it the preferred approach for high-fidelity quantum control. Bringing the full versatility of magne…
▽ More
Quantum control of solid-state spin qubits typically involves pulses in the microwave domain, drawing from the well-developed toolbox of magnetic resonance spectroscopy. Driving a solid-state spin by optical means offers a high-speed alternative, which in the presence of limited spin coherence makes it the preferred approach for high-fidelity quantum control. Bringing the full versatility of magnetic spin resonance to the optical domain requires full phase and amplitude control of the optical fields. Here, we imprint a programmable microwave sequence onto a laser field and perform electron spin resonance in a semiconductor quantum dot via a two-photon Raman process. We show that this approach yields full SU(2) spin control with over 98% pi-rotation fidelity. We then demonstrate its versatility by implementing a particular multi-axis control sequence, known as spin locking. Combined with electron-nuclear Hartmann-Hahn resonances which we also report in this work, this sequence will enable efficient coherent transfer of a quantum state from the electron spin to the mesoscopic nuclear ensemble.
△ Less
Submitted 4 June, 2019; v1 submitted 2 June, 2019;
originally announced June 2019.
-
Towards a more algebraic footing for quantum field theory
Authors:
David M. Jackson,
Achim Kempf,
Alejandro H. Morales
Abstract:
The predictions of the standard model of particle physics are highly successful in spite of the fact that several parts of the underlying quantum field theoretical framework are analytically problematic. Indeed, it has long been suggested, by Einstein, Schrödinger and others, that analytic problems in the formulation of fundamental laws could be overcome by reformulating these laws without relianc…
▽ More
The predictions of the standard model of particle physics are highly successful in spite of the fact that several parts of the underlying quantum field theoretical framework are analytically problematic. Indeed, it has long been suggested, by Einstein, Schrödinger and others, that analytic problems in the formulation of fundamental laws could be overcome by reformulating these laws without reliance on analytic methods namely, for example, algebraically. In this spirit, we focus here on the analytic ill-definedness of the quantum field theoretic Fourier and Legendre transforms of the generating series of Feynman graphs, including the path integral. To this end, we develop here purely algebraic and combinatorial formulations of the Fourier and Legendre transforms, employing rings of formal power series. These are all-purpose transform methods and when applied in quantum field theory to the generating functionals of Feynman graphs, the new transforms are well defined and thereby help explain the robustness and success of the predictions of perturbative quantum field theory in spite of analytic difficulties. Technically, we overcome here the problem of the possible divergence of the various generating series of Feynman graphs by constructing Fourier and Legendre transforms of formal power series that operate in a well defined way on the coefficients of the power series irrespective of whether or not these series converge. Our new methods could, therefore, provide new algebraic and combinatorial perspectives on quantum field theoretic structures that are conventionally thought of as analytic in nature, such as the occurrence of anomalies from the path integral measure.
△ Less
Submitted 4 May, 2021; v1 submitted 24 May, 2018;
originally announced May 2018.
-
A robust generalization of the Legendre transform for QFT
Authors:
David M. Jackson,
Achim Kempf,
Alejandro H. Morales
Abstract:
Although perturbative quantum field theory is highly successful, it possesses a number of well-known analytic problems, from ultraviolet and infrared divergencies to the divergence of the perturbative expansion itself. As a consequence, it has been difficult, for example, to prove with full rigor that the Legendre transform of the quantum effective action is the generating functional of connected…
▽ More
Although perturbative quantum field theory is highly successful, it possesses a number of well-known analytic problems, from ultraviolet and infrared divergencies to the divergence of the perturbative expansion itself. As a consequence, it has been difficult, for example, to prove with full rigor that the Legendre transform of the quantum effective action is the generating functional of connected graphs. Here, we give a rigorous proof of this central fact. To this end, we show that the Legendre transform can be re-defined purely combinatorially and that it ultimately reduces to a simple homological relation, the Euler characteristic for tree graphs. This result suggests that, similarly, also the quantum field theoretic path integral, being a Fourier transform, may be reducible to an underlying purely algebraic structure.
△ Less
Submitted 31 May, 2017; v1 submitted 1 December, 2016;
originally announced December 2016.
-
Combinatorial aspects of the quantized universal enveloping algebra of $\mathfrak{sl}_{n+1}(\mathbb{C})$
Authors:
Raymond Cheng,
David M. Jackson,
Geoffrey Stanley
Abstract:
Quasi-triangular Hopf algebras were introduced by Drinfel'd in his construction of solutions to the Yang--Baxter Equation. This algebra is built upon $\mathcal{U}_h(\mathfrak{sl}_2)$, the quantized universal enveloping algebra of the Lie algebra $\mathfrak{sl}_2$. In this paper, combinatorial structure in $\mathcal{U}_h(\mathfrak{sl}_2)$ is elicited, and used to assist in highly intricate calculat…
▽ More
Quasi-triangular Hopf algebras were introduced by Drinfel'd in his construction of solutions to the Yang--Baxter Equation. This algebra is built upon $\mathcal{U}_h(\mathfrak{sl}_2)$, the quantized universal enveloping algebra of the Lie algebra $\mathfrak{sl}_2$. In this paper, combinatorial structure in $\mathcal{U}_h(\mathfrak{sl}_2)$ is elicited, and used to assist in highly intricate calculations in this algebra. To this end, a combinatorial methodology is formulated for straightening algebraic expressions to a canonical form in the case $n=1$. We apply this formalism to the quasi-triangular Hopf algebras and obtain a constructive account not only for the derivation of the Drinfel'd's $R$-matrix, but also for the arguably mysterious ribbon elements of $\mathcal{U}_h(\mathfrak{sl}_2)$. Finally, we extend these techniques to the higher dimensional algebras $\mathcal{U}_h(\mathfrak{sl}_{n+1})$. While these explicit algebraic results are well-known, our contribution is in our formalism and perspective: our emphasis is on the combinatorial structure of these algebras and how that structure may guide algebraic constructions.
△ Less
Submitted 9 July, 2018; v1 submitted 6 January, 2016;
originally announced January 2016.
-
How to (Path-) Integrate by Differentiating
Authors:
Achim Kempf,
David M. Jackson,
Alejandro H. Morales
Abstract:
Recently, it was found that a new set of simple techniques allow one to conveniently express ordinary integrals through differentiation. These techniques add to the general toolbox for integration and integral transforms such as the Fourier and Laplace transforms. The new methods also yield new perturbative expansions when the integrals cannot be solved analytically. Here, we add new results, for…
▽ More
Recently, it was found that a new set of simple techniques allow one to conveniently express ordinary integrals through differentiation. These techniques add to the general toolbox for integration and integral transforms such as the Fourier and Laplace transforms. The new methods also yield new perturbative expansions when the integrals cannot be solved analytically. Here, we add new results, for example, on expressing the Laplace transform and its inverse in terms of derivatives. The new methods can be used to express path integrals in terms of functional differentiation, and they also suggest new perturbative expansions in quantum field theory.
△ Less
Submitted 15 July, 2015;
originally announced July 2015.
-
Transitive factorizations of permutations and geometry
Authors:
I. P. Goulden,
D. M. Jackson
Abstract:
We give an account of our work on transitive factorizations of permutations. The work has had impact upon other areas of mathematics such as the enumeration of graph embeddings, random matrices, branched covers, and the moduli spaces of curves. Aspects of these seemingly unrelated areas are seen to be related in a unifying view from the perspective of algebraic combinatorics. At several points thi…
▽ More
We give an account of our work on transitive factorizations of permutations. The work has had impact upon other areas of mathematics such as the enumeration of graph embeddings, random matrices, branched covers, and the moduli spaces of curves. Aspects of these seemingly unrelated areas are seen to be related in a unifying view from the perspective of algebraic combinatorics. At several points this work has intertwined with Richard Stanley's in significant ways.
△ Less
Submitted 28 July, 2014;
originally announced July 2014.
-
New Dirac Delta function based methods with applications to perturbative expansions in quantum field theory
Authors:
Achim Kempf,
David M. Jackson,
Alejandro H. Morales
Abstract:
We derive new all-purpose methods that involve the Dirac Delta distribution. Some of the new methods use derivatives in the argument of the Dirac Delta. We highlight potential avenues for applications to quantum field theory and we also exhibit a connection to the problem of blurring/deblurring in signal processing. We find that blurring, which can be thought of as a result of multi-path evolution…
▽ More
We derive new all-purpose methods that involve the Dirac Delta distribution. Some of the new methods use derivatives in the argument of the Dirac Delta. We highlight potential avenues for applications to quantum field theory and we also exhibit a connection to the problem of blurring/deblurring in signal processing. We find that blurring, which can be thought of as a result of multi-path evolution, is, in Euclidean quantum field theory without spontaneous symmetry breaking, the strong coupling dual of the usual small coupling expansion in terms of the sum over Feynman graphs.
△ Less
Submitted 23 September, 2014; v1 submitted 2 April, 2014;
originally announced April 2014.
-
A finite generating set for the genus g (p,q,n)-dipole series from perturbative Yang-Mills theory
Authors:
D. M. Jackson,
C. A. Sloss
Abstract:
There is an emerging class of permutation factorization questions that cannot be expressed wholly in terms of the centre of the group algebra of the symmetric group. We shall term these non-central. A notable instance appears in recent work of Constable et al. [1] in perturbative Yang-Mills theory on the determination of a 2-point correlation function of the Berenstein-Maldacena-Nastase operators…
▽ More
There is an emerging class of permutation factorization questions that cannot be expressed wholly in terms of the centre of the group algebra of the symmetric group. We shall term these non-central. A notable instance appears in recent work of Constable et al. [1] in perturbative Yang-Mills theory on the determination of a 2-point correlation function of the Berenstein-Maldacena-Nastase operators by means of Feynman diagrams. In combinatorial terms, this question relates to (p, q, n)-dipoles: loopless maps with exactly two vertices and n edges, with two distinguished edges, separated by p edges at one vertex and q edges at the other. By the introduction of join and cut operators, we construct a formal partial differential equation which uniquely determines a generating series from which the (p,q,n)-dipole series may be obtained. Moreover, we exhibit a set of functions with the property that the genus g solution to this equation may be obtained recursively as an explicit finite linear combination of these. These functions have explicit expressions as sums indexed by elementary combinatorial objects, and we demonstrate how the recursion can be used to give series solutions for surfaces of low genera.
△ Less
Submitted 12 October, 2011;
originally announced October 2011.
-
Near-central Permutation Factorization and Strahov's Generalized Murnaghan-Nakayama Rule
Authors:
David M. Jackson,
Craig A. Sloss
Abstract:
The $(p,q,n)$-dipole problem is a map enumeration problem, arising in perturbative Yang-Mills theory, in which the parameters $p$ and $q$, at each vertex, specify the number of edges separating of two distinguished edges. Combinatorially, it is notable for being a permutation factorization problem which does not lie in the centre of $\mathbb{C}[\mathfrak{S}_n]$, rendering the problem inaccessible…
▽ More
The $(p,q,n)$-dipole problem is a map enumeration problem, arising in perturbative Yang-Mills theory, in which the parameters $p$ and $q$, at each vertex, specify the number of edges separating of two distinguished edges. Combinatorially, it is notable for being a permutation factorization problem which does not lie in the centre of $\mathbb{C}[\mathfrak{S}_n]$, rendering the problem inaccessible through the character theoretic methods often employed to study such problems. This paper gives a solution to this problem on all orientable surfaces when $q=n-1$, which is a combinatorially significant special case: it is a \emph{near-central} problem. We give an encoding of the $(p,n-1,n)$-dipole problem as a product of standard basis elements in the centralizer $Z_1(n)$ of the group algebra $\mathbb{C}[\mathfrak{S}_n]$ with respect to the subgroup $\mathfrak{S}_{n-1}$. The generalized characters arising in the solution to the $(p,n-1,n)$-dipole problem are zonal spherical functions of the Gel'fand pair $(\mathfrak{S}_n\times \mathfrak{S}_{n-1}, \mathrm{diag}(\mathfrak{S}_{n-1}))$ and are evaluated explicitly. This solution is used to prove that, for a given surface, the numbers of $(p,n-1,n)$-dipoles and $(n+1-p,n-1,n)$-dipoles are equal, a fact for which we have no combinatorial explanation. These techniques also give a solution to a near-central analogue of the problem of decomposing a full cycle into two factors of specified cycle type.
△ Less
Submitted 19 August, 2011;
originally announced August 2011.
-
Character-theoretic Techniques for Near-central Enumerative Problems
Authors:
David M. Jackson,
Craig A. Sloss
Abstract:
The centre of the symmetric group algebra $\mathbb{C}[\mathfrak{S}_n]$ has been used successfully for studying important problems in enumerative combinatorics. These include maps in orientable surfaces and ramified covers of the sphere by curves of genus $g$, for example. However, the combinatorics of some equally important $\mathfrak{S}_n$-factorization problems forces $k$ elements in…
▽ More
The centre of the symmetric group algebra $\mathbb{C}[\mathfrak{S}_n]$ has been used successfully for studying important problems in enumerative combinatorics. These include maps in orientable surfaces and ramified covers of the sphere by curves of genus $g$, for example. However, the combinatorics of some equally important $\mathfrak{S}_n$-factorization problems forces $k$ elements in $\{1,...,n\}$ to be distinguished. Examples of such problems include the star factorization problem, for which $k=1,$ and the enumeration of 2-cell embeddings of dipoles with two distinguished edges \cite{VisentinWieler:2007} associated with Berenstein-Maldacena-Nastase operators in Yang-Mills theory \cite{ConstableFreedmanHeadrick:2002}, for which $k=2.$ Although distinguishing these elements obstructs the use of central methods, these problems may be encoded algebraically in the centralizer of $\mathbb{C}[\mathfrak{S}_n]$ with respect to the subgroup $\mathfrak{S}_{n-k}.$ We develop methods for studying these problems for $k=1,$ and demonstrate their efficacy on the star factorization problem. In a subsequent paper \cite{JacksonSloss:2011}, we consider a special case of the the above dipole problem by means of these techniques.
△ Less
Submitted 19 August, 2011;
originally announced August 2011.
-
On the Structure of QFT in the Particle Picture of the Path Integral Formulation
Authors:
D. M. Jackson,
A. Kempf,
A. Morales
Abstract:
In quantum field theory the path integral is usually formulated in the wave picture, i.e., as a sum over field evolutions. This path integral is difficult to define rigorously because of analytic problems whose resolution may ultimately require knowledge of non-perturbative or even Planck scale physics. Alternatively, QFT can be formulated directly in the particle picture, namely as a sum over a…
▽ More
In quantum field theory the path integral is usually formulated in the wave picture, i.e., as a sum over field evolutions. This path integral is difficult to define rigorously because of analytic problems whose resolution may ultimately require knowledge of non-perturbative or even Planck scale physics. Alternatively, QFT can be formulated directly in the particle picture, namely as a sum over all multi-particle paths, i.e., over Feynman graphs. This path integral is well-defined, as a map between rings of formal power series. This suggests a program for determining which structures of QFT are provable for this path integral and thus are combinatorial in nature, and which structures are actually sensitive to analytic issues. For a start, we show that the fact that the Legendre transform of the sum of connected graphs yields the effective action is indeed combinatorial in nature and is thus independent of analytic assumptions. Our proof also leads to new methods for the efficient decomposition of Feynman graphs into $n$-particle irreducible (nPI) subgraphs.
△ Less
Submitted 23 October, 2008;
originally announced October 2008.
-
The KP hierarchy, branched covers, and triangulations
Authors:
I. P. Goulden,
D. M. Jackson
Abstract:
The KP hierarchy is a completely integrable system of quadratic, partial differential equations that generalizes the KdV hierarchy. A linear combination of Schur functions is a solution to the KP hierarchy if and only if its coefficients satisfy the Plucker relations from geometry. We give a solution to the Plucker relations involving products of variables marking contents for a partition, and t…
▽ More
The KP hierarchy is a completely integrable system of quadratic, partial differential equations that generalizes the KdV hierarchy. A linear combination of Schur functions is a solution to the KP hierarchy if and only if its coefficients satisfy the Plucker relations from geometry. We give a solution to the Plucker relations involving products of variables marking contents for a partition, and thus give a new proof of a content product solution to the KP hierarchy, previously given by Orlov and Shcherbin. In our main result, we specialize this content product solution to prove that the generating series for a general class of transitive ordered factorizations in the symmetric group satisfies the KP hierarchy. These factorizations appear in geometry as encodings of branched covers, and thus by specializing our transitive factorization result, we are able to prove that the generating series for two classes of branched covers satisfies the KP hierarchy. For the first of these, the double Hurwitz series, this result has been previously given by Okounkov. The second of these, that we call the m-hypermap series, contains the double Hurwitz series polynomially, as the leading coefficient in m. The m-hypermap series also specializes further, first to the series for hypermaps and then to the series for maps, both in an orientable surface. For the latter series, we apply one of the KP equations to obtain a new and remarkably simple recurrence for triangulations in a surface of given genus, with a given number of faces. This recurrence leads to explicit asymptotics for the number of triangulations with given genus and number of faces, in recent work by Bender, Gao and Richmond.
△ Less
Submitted 27 March, 2008;
originally announced March 2008.
-
Transitive powers of Young-Jucys-Murphy elements are central
Authors:
I. P. Goulden,
D. M. Jackson
Abstract:
Although powers of the Young-Jucys-Murphya elements X_i = (1 i) + ... +(i-1 i), i = 1, ..., n, in the symmetric group S_n acting on {1, ...,n} do not lie in the centre of the group algebra of S_n, we show that transitive powers, namely the sum of the contributions from elements that act transitively on {1, >...,n}, are central. We determine the coefficients, which we call star factorization numb…
▽ More
Although powers of the Young-Jucys-Murphya elements X_i = (1 i) + ... +(i-1 i), i = 1, ..., n, in the symmetric group S_n acting on {1, ...,n} do not lie in the centre of the group algebra of S_n, we show that transitive powers, namely the sum of the contributions from elements that act transitively on {1, >...,n}, are central. We determine the coefficients, which we call star factorization numbers, that occur in the resolution of transitive powers with respect to the class basis of the centre of S_n, and show that they have a polynomiality property. These centrality and polynomiality properties have seemingly unrelated consequences. First, they answer a question raised by Pak about reduced decompositions; second, they explain and extend the beautiful symmetry result discovered by Irving and Rattan; and thirdly, we relate the polynomiality to an existing polynomiality result for a class of double Hurwitz numbers associated with branched covers of the sphere, which therefore suggests that there may be an ELSV-type formula associated with the star factorization numbers.
△ Less
Submitted 9 April, 2007;
originally announced April 2007.
-
The moduli space of curves, double Hurwitz numbers, and Faber's intersection number conjecture
Authors:
Ian P. Goulden,
David M. Jackson,
Ravi Vakil
Abstract:
We define the dimension 2g-1 Faber-Hurwitz Chow/homology classes on the moduli space of curves, parametrizing curves expressible as branched covers of P^1 with given ramification over infinity and sufficiently many fixed ramification points elsewhere. Degeneration of the target and judicious localization expresses such classes in terms of localization trees weighted by ``top intersections'' of t…
▽ More
We define the dimension 2g-1 Faber-Hurwitz Chow/homology classes on the moduli space of curves, parametrizing curves expressible as branched covers of P^1 with given ramification over infinity and sufficiently many fixed ramification points elsewhere. Degeneration of the target and judicious localization expresses such classes in terms of localization trees weighted by ``top intersections'' of tautological classes and genus 0 double Hurwitz numbers. This identity of generating series can be inverted, yielding a ``combinatorialization'' of top intersections of psi-classes. As genus 0 double Hurwitz numbers with at most 3 parts over infinity are well understood, we obtain Faber's Intersection Number Conjecture for up to 3 parts, and an approach to the Conjecture in general (bypassing the Virasoro Conjecture). We also recover other geometric results in a unified manner, including Looijenga's theorem, the socle theorem for curves with rational tails, and the hyperelliptic locus in terms of kappa_{g-2}.
△ Less
Submitted 21 November, 2006;
originally announced November 2006.
-
A short proof of the lambda_g-conjecture without Gromov-Witten theory: Hurwitz theory and the moduli of curves
Authors:
Ian P. Goulden,
David M. Jackson,
Ravi Vakil
Abstract:
We give a short and direct proof of the $λ_g$-Conjecture. The approach is through the Ekedahl-Lando-Shapiro-Vainshtein theorem, which establishes the ``polynomiality'' of Hurwitz numbers, from which we pick off the lowest degree terms. The proof is independent of Gromov-Witten theory.
We briefly describe the philosophy behind our general approach to intersection numbers and how it may be exten…
▽ More
We give a short and direct proof of the $λ_g$-Conjecture. The approach is through the Ekedahl-Lando-Shapiro-Vainshtein theorem, which establishes the ``polynomiality'' of Hurwitz numbers, from which we pick off the lowest degree terms. The proof is independent of Gromov-Witten theory.
We briefly describe the philosophy behind our general approach to intersection numbers and how it may be extended to other intersection number conjectures.
△ Less
Submitted 12 April, 2006;
originally announced April 2006.
-
On the group-like behaviour of the Le-Murakami-Ohtsuki invariant
Authors:
David M. Jackson,
Iain Moffatt,
Alejandro Morales
Abstract:
We study the effect of Feynman integration and diagrammatic differential operators on the structure of group-like elements in the algebra generated by coloured vertex-oriented uni-trivalent graphs. We provide applications of our results to the study of the LMO invariant, a quantum invariant of manifolds. We also indicate further situations in which our results apply and may prove useful. The enu…
▽ More
We study the effect of Feynman integration and diagrammatic differential operators on the structure of group-like elements in the algebra generated by coloured vertex-oriented uni-trivalent graphs. We provide applications of our results to the study of the LMO invariant, a quantum invariant of manifolds. We also indicate further situations in which our results apply and may prove useful. The enumerative approach that we adopt has a clarity that has enabled us to perceive a number of generalizations.
△ Less
Submitted 31 March, 2006; v1 submitted 17 November, 2005;
originally announced November 2005.
-
Transitive factorisations in the symmetric group, and combinatorial aspects of singularity theory
Authors:
I. P. Goulden,
D. M. Jackson
Abstract:
We consider the determination of the number $c_k(α)$ of ordered factorisations of an arbitrary permutation on n symbols, with cycle distribution $α$, into k-cycles such that the factorisations have minimal length and such that the group generated by the factors acts transitively on the n symbols. The case k=2 corresponds to the celebrated result of Hurwitz on the number of topologically distinct…
▽ More
We consider the determination of the number $c_k(α)$ of ordered factorisations of an arbitrary permutation on n symbols, with cycle distribution $α$, into k-cycles such that the factorisations have minimal length and such that the group generated by the factors acts transitively on the n symbols. The case k=2 corresponds to the celebrated result of Hurwitz on the number of topologically distinct holomorphic functions on the 2-sphere that preserve a given number of elementary branch point singularities. In this case the monodromy group is the alternating group, and this is another case that, in principle, is of considerable interest.
We conjecture an explicit form, for arbitrary k, for the generating series for $c_k(α)$, and prove that it holds for factorisations of permutations with one, two and three cycles ($α$ is a partition with at most three parts). The generating series is naturally expressed in terms of the symmetric functions dual to those introduced by Macdonald for the ``top'' connection coefficients in the class algebra of the symmetric group.
Our approach is to determine a differential equation for the generating series from a combinatorial analysis of the creation and annihilation of cycles in products under the minimality condition.
△ Less
Submitted 16 March, 1999;
originally announced March 1999.
-
The number of ramified coverings of the sphere by the torus and surfaces of higher genera
Authors:
P. P. Goulden,
D. M. Jackson,
A. Vainshtein
Abstract:
We obtain an explicit expression for the number of ramified coverings of the sphere by the torus with given ramification type for a small number of ramification points, and conjecture this to be true for an arbitrary number of ramification points. In addition, the conjecture is proved for simple coverings of the sphere by the torus. We obtain corresponding expressions for surfaces of higher gene…
▽ More
We obtain an explicit expression for the number of ramified coverings of the sphere by the torus with given ramification type for a small number of ramification points, and conjecture this to be true for an arbitrary number of ramification points. In addition, the conjecture is proved for simple coverings of the sphere by the torus. We obtain corresponding expressions for surfaces of higher genera for a small number of ramification points, and conjecture the general form for this number in terms of a symmetric polynomial that appears to be new. The approach involves the analysis of the action of a transposition to derive a system of linear partial differential equations that give the generating series for the desired numbers.
△ Less
Submitted 22 February, 1999;
originally announced February 1999.
-
A geometric parametrization for the virtual Euler characteristic for the moduli spaces of real and complex algebriac curves
Authors:
I. P. Goulden,
J. L. Harer,
D. M. Jackson
Abstract:
We show that the virtual Euler characteristics of the moduli spaces of $s$-pointed algebraic curves of genus $g$ can be determined from a polynomial in $1/γ$ where $γ$ permits specialization, through $γ=1,$ to the complex case treated by Harer and Zagier and, through $γ=1/2$, to the real case. This polynomial appears to have geometric significance, and may be the virtual Euler characteristic of…
▽ More
We show that the virtual Euler characteristics of the moduli spaces of $s$-pointed algebraic curves of genus $g$ can be determined from a polynomial in $1/γ$ where $γ$ permits specialization, through $γ=1,$ to the complex case treated by Harer and Zagier and, through $γ=1/2$, to the real case. This polynomial appears to have geometric significance, and may be the virtual Euler characteristic of some moduli space, as yet unidentified. This is related to a conjecture that the indeterminate $b=γ^1-1$ is associated with a combinatorial invariant of cell-decompositions through matrix models and the Jack symmetric functions. The development uses Strebel differentials to triangulate the moduli spaces, and the identification of $γ$ both as a parameter in a Jack symmetric function and as a parameter in a matrix model through generalized Selberg integrals.
△ Less
Submitted 5 February, 1999;
originally announced February 1999.
-
The number of ramified coverings of the sphere by the double torus, and a general form for higher genera
Authors:
I. P. Goulden,
D. M. Jackson
Abstract:
An explicit expression is obtained for the generating series for the number of ramified coverings of the sphere by the double torus, with elementary branch points and prescribed ramification type over infinity. Thus we are able to prove a conjecture of Graber and Pandharipande, giving a linear recurrence equation for the number of these coverings with no ramification over infinity. The general f…
▽ More
An explicit expression is obtained for the generating series for the number of ramified coverings of the sphere by the double torus, with elementary branch points and prescribed ramification type over infinity. Thus we are able to prove a conjecture of Graber and Pandharipande, giving a linear recurrence equation for the number of these coverings with no ramification over infinity. The general form of the series is conjectured for the number of these coverings by a surface of arbitrary genus that is at least two.
△ Less
Submitted 25 March, 1999; v1 submitted 1 February, 1999;
originally announced February 1999.
-
A proof of a conjecture for the number of ramified coverings of the sphere by the torus
Authors:
I. P. Goulden,
D. M. Jackson
Abstract:
An explicit expression is obtained for the generating series for the number of ramified coverings of the sphere by the torus, with elementary branch points and prescribed ramification type over infinity. This proves a conjecture of Goulden, Jackson and Vainshtein for the explicit number of such coverings.
An explicit expression is obtained for the generating series for the number of ramified coverings of the sphere by the torus, with elementary branch points and prescribed ramification type over infinity. This proves a conjecture of Goulden, Jackson and Vainshtein for the explicit number of such coverings.
△ Less
Submitted 1 February, 1999;
originally announced February 1999.
