Showing 1–19 of 19 results for author: Garion, S

Benchmarking the performance of quantum computing software

Authors: Paul D. Nation, Abdullah Ash Saki, Sebastian Brandhofer, Luciano Bello, Shelly Garion, Matthew Treinish, Ali Javadi-Abhari

Abstract: We present Benchpress, a benchmarking suite for evaluating the performance and range of functionality of multiple quantum computing software development kits. This suite consists of a collection of over $1000$ tests measuring key performance metrics for a wide variety of operations on quantum circuits comprised of up to $930$ qubits and $\mathcal{O}(10^{6})$ two-qubit gates, as well as an executio… ▽ More We present Benchpress, a benchmarking suite for evaluating the performance and range of functionality of multiple quantum computing software development kits. This suite consists of a collection of over $1000$ tests measuring key performance metrics for a wide variety of operations on quantum circuits comprised of up to $930$ qubits and $\mathcal{O}(10^{6})$ two-qubit gates, as well as an execution framework for running the tests over multiple quantum software packages in a unified manner. We give a detailed overview of the benchmark suite, its methodology, and generate representative results over seven different quantum software packages. The flexibility of the Benchpress framework allows for benchmarking that not only keeps pace with quantum hardware improvements but can preemptively gauge the quantum circuit processing costs of future device architectures. Being open-source, Benchpress ensures the transparency and verification of performance claims. △ Less

Submitted 16 February, 2025; v1 submitted 13 September, 2024; originally announced September 2024.

Comments: 17 pages, 8 figures, 5 tables

Journal ref: Nat Comput Sci (2025)

Linear Circuit Synthesis using Weighted Steiner Trees

Authors: Nir Gavrielov, Alexander Ivrii, Shelly Garion

Abstract: CNOT circuits are a common building block of general quantum circuits. The problem of synthesizing and optimizing such circuits has received a lot of attention in the quantum computing literature. This problem is especially challenging for quantum devices with restricted connectivity, where two-qubit gates can only be placed between adjacent qubits. The state-of-the-art algorithms for optimizing t… ▽ More CNOT circuits are a common building block of general quantum circuits. The problem of synthesizing and optimizing such circuits has received a lot of attention in the quantum computing literature. This problem is especially challenging for quantum devices with restricted connectivity, where two-qubit gates can only be placed between adjacent qubits. The state-of-the-art algorithms for optimizing the number of CNOT gates are heuristic algorithms that are based on Gaussian elimination and that use Steiner trees to connect between different subsets of qubits. In this article, we suggest considering weighted Steiner trees, and we present a simple low-cost heuristic to compute weights. The simulated evaluation shows that the suggested heuristic is almost always beneficial and reduces the number of CNOT gates by up to 10%. △ Less

Submitted 7 August, 2024; originally announced August 2024.

Comments: 14 pages, 5 figures

Diagonalization of large many-body Hamiltonians on a quantum processor

Authors: Nobuyuki Yoshioka, Mirko Amico, William Kirby, Petar Jurcevic, Arkopal Dutt, Bryce Fuller, Shelly Garion, Holger Haas, Ikko Hamamura, Alexander Ivrii, Ritajit Majumdar, Zlatko Minev, Mario Motta, Bibek Pokharel, Pedro Rivero, Kunal Sharma, Christopher J. Wood, Ali Javadi-Abhari, Antonio Mezzacapo

Abstract: The estimation of low energies of many-body systems is a cornerstone of computational quantum sciences. Variational quantum algorithms can be used to prepare ground states on pre-fault-tolerant quantum processors, but their lack of convergence guarantees and impractical number of cost function estimations prevent systematic scaling of experiments to large systems. Alternatives to variational appro… ▽ More The estimation of low energies of many-body systems is a cornerstone of computational quantum sciences. Variational quantum algorithms can be used to prepare ground states on pre-fault-tolerant quantum processors, but their lack of convergence guarantees and impractical number of cost function estimations prevent systematic scaling of experiments to large systems. Alternatives to variational approaches are needed for large-scale experiments on pre-fault-tolerant devices. Here, we use a superconducting quantum processor to compute eigenenergies of quantum many-body systems on two-dimensional lattices of up to 56 sites, using the Krylov quantum diagonalization algorithm, an analog of the well-known classical diagonalization technique. We construct subspaces of the many-body Hilbert space using Trotterized unitary evolutions executed on the quantum processor, and classically diagonalize many-body interacting Hamiltonians within those subspaces. These experiments show that quantum diagonalization algorithms are poised to complement their classical counterpart at the foundation of computational methods for quantum systems. △ Less

Submitted 2 October, 2024; v1 submitted 19 July, 2024; originally announced July 2024.

Comments: 25 pages, 13 figures

Experimental implementation of non-Clifford interleaved randomized benchmarking with a controlled-S gate

Authors: Shelly Garion, Naoki Kanazawa, Haggai Landa, David C. McKay, Sarah Sheldon, Andrew W. Cross, Christopher J. Wood

Abstract: Hardware efficient transpilation of quantum circuits to a quantum devices native gateset is essential for the execution of quantum algorithms on noisy quantum computers. Typical quantum devices utilize a gateset with a single two-qubit Clifford entangling gate per pair of coupled qubits, however, in some applications access to a non-Clifford two-qubit gate can result in more optimal circuit decomp… ▽ More Hardware efficient transpilation of quantum circuits to a quantum devices native gateset is essential for the execution of quantum algorithms on noisy quantum computers. Typical quantum devices utilize a gateset with a single two-qubit Clifford entangling gate per pair of coupled qubits, however, in some applications access to a non-Clifford two-qubit gate can result in more optimal circuit decompositions and also allows more flexibility in optimizing over noise. We demonstrate calibration of a low error non-Clifford Controlled-$\fracπ{2}$ phase (CS) gate on a cloud based IBM Quantum computing using the Qiskit Pulse framework. To measure the gate error of the calibrated CS gate we perform non-Clifford CNOT-Dihedral interleaved randomized benchmarking. We are able to obtain a gate error of $5.9(7) \times 10^{-3}$ at a gate length 263 ns, which is close to the coherence limit of the associated qubits, and lower error than the backends standard calibrated CNOT gate. △ Less

Submitted 14 March, 2021; v1 submitted 16 July, 2020; originally announced July 2020.

Comments: 9 pages, 4 figures, references are updated, QPT curve in the Fig. 2 is updated based on new analysis procedure detailed in Appendix B. Conclusions unchanged

Journal ref: Phys. Rev. Research 3, 013204 (2021)

Synthesis of CNOT-Dihedral circuits with optimal number of two qubit gates

Authors: Shelly Garion, Andrew W. Cross

Abstract: In this note we present explicit canonical forms for all the elements in the two-qubit CNOT-Dihedral group, with minimal numbers of controlled-S (CS) and controlled-X (CX) gates, using the generating set of quantum gates [X, T, CX, CS]. We provide an algorithm to successively construct the n-qubit CNOT-Dihedral group, asserting an optimal number of controlled-X (CX) gates. These results are needed… ▽ More In this note we present explicit canonical forms for all the elements in the two-qubit CNOT-Dihedral group, with minimal numbers of controlled-S (CS) and controlled-X (CX) gates, using the generating set of quantum gates [X, T, CX, CS]. We provide an algorithm to successively construct the n-qubit CNOT-Dihedral group, asserting an optimal number of controlled-X (CX) gates. These results are needed to estimate gate errors via non-Clifford randomized benchmarking and may have further applications to circuit optimization over fault-tolerant gate sets. △ Less

Submitted 3 December, 2020; v1 submitted 22 June, 2020; originally announced June 2020.

Comments: 9 pages. Accepted to Quantum on 30 Nov 2020

Journal ref: Quantum 4, 369 (2020)

AIOps for a Cloud Object Storage Service

Authors: Anna Levin, Shelly Garion, Elliot K. Kolodner, Dean H. Lorenz, Katherine Barabash, Mike Kugler, Niall McShane

Abstract: With the growing reliance on the ubiquitous availability of IT systems and services, these systems become more global, scaled, and complex to operate. To maintain business viability, IT service providers must put in place reliable and cost efficient operations support. Artificial Intelligence for IT Operations (AIOps) is a promising technology for alleviating operational complexity of IT systems a… ▽ More With the growing reliance on the ubiquitous availability of IT systems and services, these systems become more global, scaled, and complex to operate. To maintain business viability, IT service providers must put in place reliable and cost efficient operations support. Artificial Intelligence for IT Operations (AIOps) is a promising technology for alleviating operational complexity of IT systems and services. AIOps platforms utilize big data, machine learning and other advanced analytics technologies to enhance IT operations with proactive actionable dynamic insight. In this paper we share our experience applying the AIOps approach to a production cloud object storage service to get actionable insights into system's behavior and health. We describe a real-life production cloud scale service and its operational data, present the AIOps platform we have created, and show how it has helped us resolving operational pain points. △ Less

Submitted 6 May, 2020; originally announced May 2020.

Comments: 5 pages

Journal ref: 2019 IEEE International Congress on Big Data (BigDataCongress)

Beauville surfaces and probabilistic group theory

Authors: Shelly Garion

Abstract: A Beauville surface is a complex algebraic surface that can be presented as a quotient of a product of two curves by a suitable action of a finite group. Bauer, Catanese and Grunewald have been able to intrinsically characterize the groups appearing in minimal presentations of Beauville surfaces in terms of the existence of a so-called "Beauville structure". They conjectured that all finite simple… ▽ More A Beauville surface is a complex algebraic surface that can be presented as a quotient of a product of two curves by a suitable action of a finite group. Bauer, Catanese and Grunewald have been able to intrinsically characterize the groups appearing in minimal presentations of Beauville surfaces in terms of the existence of a so-called "Beauville structure". They conjectured that all finite simple groups, except A5, admit such a structure. This conjecture has recently been proved by Guralnick-Malle and Fairbairn-Magaard-Parker. In this survey we demonstrate another approach towards the proof of this conjecture, based on probabilistic group theoretical methods, by describing the following three works. The first is the work of Garion, Larsen and Lubotzky, showing that the above conjecture holds for almost all finite simple groups of Lie type. The second is the work of Garion and Penegini on Beauville structures of alternating groups, based on results of Liebeck and Shalev, and the third is the case of the group PSL(2,p^e), in which we give bounds on the probability of generating a Beauville structure. We also discuss other related problems regarding finite simple quotients of hyperbolic triangle groups and present some open questions and conjectures. △ Less

Submitted 31 October, 2013; originally announced October 2013.

Comments: 13 pages, a survey for the "Beauville surfaces and groups 2012" conference proceedings

MSC Class: 20D06; 20H10; 14J10; 14J29; 30F99

Expansion of conjugacy classes in PSL(2,q)

Authors: Shelly Garion

Abstract: For any conjugacy class C in G=PSL(2,q) we compute C^2 and discuss whether C contains a triple of elements whose product is 1 which generate G. Moreover, we determine which elements in G can be written as a product of two conjugate elements that generate G. For any conjugacy class C in G=PSL(2,q) we compute C^2 and discuss whether C contains a triple of elements whose product is 1 which generate G. Moreover, we determine which elements in G can be written as a product of two conjugate elements that generate G. △ Less

Submitted 25 July, 2013; originally announced July 2013.

Comments: 15 pages

MSC Class: 20D06

Equations in simple matrix groups: algebra, geometry, arithmetic, dynamics

Authors: Tatiana Bandman, Shelly Garion, Boris Kunyavskii

Abstract: We present a survey of results on word equations in simple groups, as well as their analogues and generalizations, which were obtained over the past decade using various methods, group-theoretic and coming from algebraic and arithmetic geometry, number theory, dynamical systems and computer algebra. Our focus is on interrelations of these machineries which led to numerous spectacular achievements,… ▽ More We present a survey of results on word equations in simple groups, as well as their analogues and generalizations, which were obtained over the past decade using various methods, group-theoretic and coming from algebraic and arithmetic geometry, number theory, dynamical systems and computer algebra. Our focus is on interrelations of these machineries which led to numerous spectacular achievements, including solutions of several long-standing problems. △ Less

Submitted 19 February, 2013; originally announced February 2013.

Comments: 36 pages

Beauville surfaces, moduli spaces and finite groups

Authors: Shelly Garion, Matteo Penegini

Abstract: In this paper we give the asymptotic growth of the number of connected components of the moduli space of surfaces of general type corresponding to certain families of Beauville surfaces with group either $\PSL(2,p)$, or an alternating group, or a symmetric group or an abelian group. We moreover extend these results to regular surfaces isogenous to a higher product of curves. In this paper we give the asymptotic growth of the number of connected components of the moduli space of surfaces of general type corresponding to certain families of Beauville surfaces with group either $\PSL(2,p)$, or an alternating group, or a symmetric group or an abelian group. We moreover extend these results to regular surfaces isogenous to a higher product of curves. △ Less

Submitted 27 July, 2011; originally announced July 2011.

Comments: 27 pages. The article arXiv 0910.5402v2 was divided into two parts. This is the second half of the original paper, and it contains the subsections concerning the moduli space

MSC Class: 14J10; 14J29; 20D06; 20H10; 30F99

Surjectivity and equidistribution of the word x^ay^b on PSL(2,q) and SL(2,q)

Authors: Tatiana Bandman, Shelly Garion

Abstract: We determine the positive integers a,b and the prime powers q for which the word map w(x,y)=x^ay^b is surjective on the group PSL(2,q) (and SL(2,q)). We moreover show that this map is almost equidistributed for the family of groups PSL(2,q) (and SL(2,q)). Our proof is based on the investigation of the trace map of positive words. We determine the positive integers a,b and the prime powers q for which the word map w(x,y)=x^ay^b is surjective on the group PSL(2,q) (and SL(2,q)). We moreover show that this map is almost equidistributed for the family of groups PSL(2,q) (and SL(2,q)). Our proof is based on the investigation of the trace map of positive words. △ Less

Submitted 10 October, 2011; v1 submitted 8 June, 2011; originally announced June 2011.

Comments: v2: 32 pages, minor changes, reference added, accepted to International Journal of Algebra and Computation

MSC Class: 14G05; 14G15; 20D06; 20G40

Journal ref: Internat. J. Algebra Comput. 22, No. 2 (2012)

On the Surjectivity of Engel Words on PSL(2,q)

Authors: Tatiana Bandman, Shelly Garion, Fritz Grunewald

Abstract: We investigate the surjectivity of the word map defined by the n-th Engel word on the groups PSL(2,q) and SL(2,q). For SL(2,q), we show that this map is surjective onto the subset SL(2,q)\{-id} provided that q>Q(n) is sufficiently large. Moreover, we give an estimate for Q(n). We also present examples demonstrating that this does not hold for all q. We conclude that the n-th Engel word map is su… ▽ More We investigate the surjectivity of the word map defined by the n-th Engel word on the groups PSL(2,q) and SL(2,q). For SL(2,q), we show that this map is surjective onto the subset SL(2,q)\{-id} provided that q>Q(n) is sufficiently large. Moreover, we give an estimate for Q(n). We also present examples demonstrating that this does not hold for all q. We conclude that the n-th Engel word map is surjective for the groups PSL(2,q) when q>Q(n). By using the computer, we sharpen this result and show that for any n<5, the corresponding map is surjective for all the groups PSL(2,q). This provides evidence for a conjecture of Shalev regarding Engel words in finite simple groups. In addition, we show that the n-th Engel word map is almost measure preserving for the family of groups PSL(2,q), with q odd, answering another question of Shalev. Our techniques are based on the method developed by Bandman, Grunewald and Kunyavskii for verbal dynamical systems in the group SL(2,q). △ Less

Submitted 8 June, 2011; v1 submitted 8 August, 2010; originally announced August 2010.

Comments: v2: 25 pages, minor changes, accepted to the Journal of Groups, Geometry and Dynamics

MSC Class: 14G05; 14G15; 20D06; 20G40; 37P25; 37P35; 37P55

Journal ref: Groups, Geometry and Dynamics 6 (2012), 409-439

Highly Transitive Actions of Out(Fn)

Authors: Shelly Garion, Yair Glasner

Abstract: An action of a group on a set is called k-transitive if it is transitive on ordered k-tuples and highly transitive if it is k-transitive for every k. We show that for n>3 the group Out(Fn) = Aut(Fn)/Inn(Fn) admits a faithful highly transitive action on a countable set. An action of a group on a set is called k-transitive if it is transitive on ordered k-tuples and highly transitive if it is k-transitive for every k. We show that for n>3 the group Out(Fn) = Aut(Fn)/Inn(Fn) admits a faithful highly transitive action on a countable set. △ Less

Submitted 10 November, 2011; v1 submitted 3 August, 2010; originally announced August 2010.

Comments: 14 pages, (minor corrections to match final published version)

MSC Class: 20F28 (Primary) 20E05 (Secondary) 20F05

Beauville surfaces and finite simple groups

Authors: Shelly Garion, Michael Larsen, Alexander Lubotzky

Abstract: A Beauville surface is a rigid complex surface of the form (C1 x C2)/G, where C1 and C2 are non-singular, projective, higher genus curves, and G is a finite group acting freely on the product. Bauer, Catanese, and Grunewald conjectured that every finite simple group G, with the exception of A5, gives rise to such a surface. We prove that this is so for almost all finite simple groups (i.e., with a… ▽ More A Beauville surface is a rigid complex surface of the form (C1 x C2)/G, where C1 and C2 are non-singular, projective, higher genus curves, and G is a finite group acting freely on the product. Bauer, Catanese, and Grunewald conjectured that every finite simple group G, with the exception of A5, gives rise to such a surface. We prove that this is so for almost all finite simple groups (i.e., with at most finitely many exceptions). The proof makes use of the structure theory of finite simple groups, probability theory, and character estimates. △ Less

Submitted 13 May, 2010; originally announced May 2010.

Comments: 20 pages

MSC Class: Primary 20D06; Secondary 14H30 14J10 20H10

Journal ref: J. Reine Angew. Math. 666 (2012), 225-243

On Beauville Structures for PSL(2,q)

Authors: Shelly Garion

Abstract: We characterize Beauville surfaces of unmixed type with group either PSL(2,p^e) or PGL(2,p^e), thus extending previous results of Bauer, Catanese and Grunewald, Fuertes and Jones, and Penegini and the author. We characterize Beauville surfaces of unmixed type with group either PSL(2,p^e) or PGL(2,p^e), thus extending previous results of Bauer, Catanese and Grunewald, Fuertes and Jones, and Penegini and the author. △ Less

Submitted 25 July, 2013; v1 submitted 14 March, 2010; originally announced March 2010.

Comments: v3: 28 pages, minor changes (especially in the introduction) v2: 27 pages, the main result was extended, some explanations and many examples were added

MSC Class: 20D06; 20H10; 14J29; 30F99

New Beauville surfaces and finite simple groups

Authors: Shelly Garion, Matteo Penegini

Abstract: In this paper we construct new Beauville surfaces with group either $\PSL(2,p^e)$, or belonging to some other families of finite simple groups of Lie type of low Lie rank, or an alternating group, or a symmetric group, proving a conjecture of Bauer, Catanese and Grunewald. The proofs rely on probabilistic group theoretical results of Liebeck and Shalev, on classical results of Macbeath and on rece… ▽ More In this paper we construct new Beauville surfaces with group either $\PSL(2,p^e)$, or belonging to some other families of finite simple groups of Lie type of low Lie rank, or an alternating group, or a symmetric group, proving a conjecture of Bauer, Catanese and Grunewald. The proofs rely on probabilistic group theoretical results of Liebeck and Shalev, on classical results of Macbeath and on recent results of Marion. △ Less

Submitted 29 November, 2012; v1 submitted 28 October, 2009; originally announced October 2009.

Comments: v4: 18 pages. Final version, to appear in Manuscripta Math

MSC Class: 14J10; 14J29; 20D06; 20H10; 30F99

Connectivity of the Product Replacement Algorithm Graph of PSL(2,q)

Authors: Shelly Garion

Abstract: The product replacement algorithm is a practical algorithm to construct random elements of a finite group G. It can be described as a random walk on a graph whose vertices are the generating k-tuples of G (for a fixed k). We show that if G is PSL(2,q) or PGL(2,q), where q is a prime power, then this graph is connected for any k>=4. This generalizes former results obtained by Gilman and Evans. The product replacement algorithm is a practical algorithm to construct random elements of a finite group G. It can be described as a random walk on a graph whose vertices are the generating k-tuples of G (for a fixed k). We show that if G is PSL(2,q) or PGL(2,q), where q is a prime power, then this graph is connected for any k>=4. This generalizes former results obtained by Gilman and Evans. △ Less

Submitted 30 December, 2007; v1 submitted 9 December, 2007; originally announced December 2007.

Comments: 12 pages. This article was submitted to the Journal of Group Theory on July 2007 and accepted on December 2007

MSC Class: 20D06; 20D60

Journal ref: J. Group Theory 11 (2008), 765-777

Connectivity of the Product Replacement Graph of Simple Groups of Bounded Lie Rank

Authors: Nir Avni, Shelly Garion

Abstract: The Product Replacement Algorithm is a practical algorithm for generating random elements of a finite group. The algorithm can be described as a random walk on a graph whose vertices are the generating k-tuples of the group (for a fixed integer k). We show that there is a function c(r) such that for any finite simple group of Lie type, with Lie rank r, the product replacement graph of the gene… ▽ More The Product Replacement Algorithm is a practical algorithm for generating random elements of a finite group. The algorithm can be described as a random walk on a graph whose vertices are the generating k-tuples of the group (for a fixed integer k). We show that there is a function c(r) such that for any finite simple group of Lie type, with Lie rank r, the product replacement graph of the generating k-tuples is connected for any k > c(r). The proof uses results of Larsen and Pink and does not rely on the classification of finite simple groups. △ Less

Submitted 9 March, 2008; v1 submitted 2 October, 2007; originally announced October 2007.

Comments: v2 Minor changes, some explanations added

MSC Class: 20D06 (Primary); 20G40; 20D60 (Secondary)

Journal ref: J. Algebra 320 (2008), 945-960

Commutator maps, measure preservation, and T-systems

Authors: Shelly Garion, Aner Shalev

Abstract: Let G be a finite simple group. We show that the commutator map $a : G \times G \to G$ is almost equidistributed as the order of G goes to infinity. This somewhat surprising result has many applications. It shows that for a subset X of G we have $a^{-1}(X)/|G|^2 = |X|/|G| + o(1)$, namely $a$ is almost measure preserving. From this we deduce that almost all elements $g \in G$ can be expressed as… ▽ More Let G be a finite simple group. We show that the commutator map $a : G \times G \to G$ is almost equidistributed as the order of G goes to infinity. This somewhat surprising result has many applications. It shows that for a subset X of G we have $a^{-1}(X)/|G|^2 = |X|/|G| + o(1)$, namely $a$ is almost measure preserving. From this we deduce that almost all elements $g \in G$ can be expressed as commutators $g = [x,y]$ where x,y generate G. This enables us to solve some open problems regarding T-systems and the Product Replacement Algorithm (PRA) graph. We show that the number of T-systems in G with two generators tends to infinity as the order of G goes to infinity. This settles a conjecture of Guralnick and Pak. A similar result follows for the number of connected components of the PRA graph of G with two generators. Some of our results apply for more general finite groups, and more general word maps. Our methods are based on representation theory, combining classical character theory with recent results on character degrees and values in finite simple groups. In particular the so called Witten zeta function plays a key role in the proofs. △ Less

Submitted 27 August, 2007; originally announced August 2007.

Comments: 28 pages. This article was submitted to the Transactions of the American Mathematical Society on 21 February 2007 and accepted on 24 June 2007

MSC Class: 20D06; 20P05; 20D60

Journal ref: Trans. Amer. Math. Soc. 361 (2009), 4631-4651