-
Comparative study of variations in quantum approximate optimization algorithms for the Traveling Salesman Problem
Authors:
Wenyang Qian,
Robert A. M. Basili,
Mary Eshaghian-Wilner,
Ashfaq Khokhar,
Glenn Luecke,
James P. Vary
Abstract:
The Traveling Salesman Problem (TSP) is one of the most often-used NP-Hard problems in computer science to study the effectiveness of computing models and hardware platforms. In this regard, it is also heavily used as a vehicle to study the feasibility of the quantum computing paradigm for this class of problems. In this paper, we tackle the TSP using the quantum approximate optimization algorithm…
▽ More
The Traveling Salesman Problem (TSP) is one of the most often-used NP-Hard problems in computer science to study the effectiveness of computing models and hardware platforms. In this regard, it is also heavily used as a vehicle to study the feasibility of the quantum computing paradigm for this class of problems. In this paper, we tackle the TSP using the quantum approximate optimization algorithm (QAOA) approach by formulating it as an optimization problem. By adopting an improved qubit encoding strategy and a layerwise learning optimization protocol, we present numerical results obtained from the gate-based digital quantum simulator, specifically targeting TSP instances with 3, 4, and 5 cities. We focus on the evaluations of three distinctive QAOA mixer designs, considering their performances in terms of numerical accuracy and optimization cost. Notably, we find a well-balanced QAOA mixer design exhibits more promising potential for gate-based simulators and realistic quantum devices in the long run, an observation further supported by our noise model simulations. Furthermore, we investigate the sensitivity of the simulations to the TSP graph. Overall, our simulation results show the digital quantum simulation of problem-inspired ansatz is a successful candidate for finding optimal TSP solutions.
△ Less
Submitted 14 July, 2023;
originally announced July 2023.
-
Magnetic moments of $A = 3$ nuclei with chiral effective field theory operators
Authors:
Soham Pal,
Shiplu Sarker,
Patrick J. Fasano,
Pieter Maris,
James P. Vary,
Mark A. Caprio,
Robert A. M. Basili
Abstract:
Chiral effective field theory ($χ$EFT) provides a framework for obtaining internucleon interactions in a systematically improvable fashion from first principles, while also providing for the derivation of consistent electroweak current operators. In this work, we apply consistently derived interactions and currents towards calculating the magnetic dipole moments of the $A=3$ systems Triton and Hel…
▽ More
Chiral effective field theory ($χ$EFT) provides a framework for obtaining internucleon interactions in a systematically improvable fashion from first principles, while also providing for the derivation of consistent electroweak current operators. In this work, we apply consistently derived interactions and currents towards calculating the magnetic dipole moments of the $A=3$ systems Triton and Helium-3. We focus here on LENPIC interactions obtained using semilocal coordinate-space (SCS) regularization. Starting from the momentum-space representation of the LENPIC $χ$EFT vector current, we derive the SCS-regularized magnetic dipole operator up through N2LO. We then carry out no-core shell model calculations for Triton and Helium-3 systems, using the SCS LENPIC interaction at N2LO in $χ$EFT, and evaluate the magnetic dipole moments obtained using the consistently derived one-nucleon and two-nucleon electromagnetic currents. As anticipated by prior results with $χ$EFT currents, the current corrections through N2LO provide improved, but not yet complete, agreement with experiment for the Triton and Helium-3 magnetic dipole moments.
△ Less
Submitted 6 September, 2023; v1 submitted 3 April, 2023;
originally announced April 2023.
-
Performance Evaluations of Noisy Approximate Quantum Fourier Arithmetic
Authors:
Robert A. M. Basili,
Wenyang Qian,
Shuo Tang,
Austin M. Castellino,
Mary Eshaghian-Wilner,
James P. Vary,
Glenn Luecke,
Ashfaq Khokhar
Abstract:
The Quantum Fourier Transform (QFT) grants competitive advantages, especially in resource usage and circuit approximation, for performing arithmetic operations on quantum computers, and offers a potential route towards a numerical quantum-computational paradigm. In this paper, we utilize efficient techniques to implement QFT-based integer addition and multiplications. These operations are fundamen…
▽ More
The Quantum Fourier Transform (QFT) grants competitive advantages, especially in resource usage and circuit approximation, for performing arithmetic operations on quantum computers, and offers a potential route towards a numerical quantum-computational paradigm. In this paper, we utilize efficient techniques to implement QFT-based integer addition and multiplications. These operations are fundamental to various quantum applications including Shor's algorithm, weighted sum optimization problems in data processing and machine learning, and quantum algorithms requiring inner products. We carry out performance evaluations of these implementations based on IBM's superconducting qubit architecture using different compatible noise models. We isolate the sensitivity of the component quantum circuits on both one-/two-qubit gate error rates, and the number of the arithmetic operands' superposed integer states. We analyze performance, and identify the most effective approximation depths for quantum add and quantum multiply within the given context. We observe significant dependency of the optimal approximation depth on the degree of machine noise and the number of superposed states in certain performance regimes. Finally, we elaborate on the algorithmic challenges - relevant to signed, unsigned, modular and non-modular versions - that could also be applied to current implementations of QFT-based subtraction, division, exponentiation, and their potential tensor extensions. We analyze performance trends in our results and speculate on possible future development within this computational paradigm.
△ Less
Submitted 17 December, 2021;
originally announced December 2021.
-
Solving hadron structures using the basis light-front quantization approach on quantum computers
Authors:
Wenyang Qian,
Robert Basili,
Soham Pal,
Glenn Luecke,
James P. Vary
Abstract:
Quantum computing has demonstrated the potential to revolutionize our understanding of nuclear, atomic, and molecular structure by obtaining forefront solutions in non-relativistic quantum many-body theory. In this work, we show that quantum computing can be used to solve for the structure of hadrons, governed by strongly-interacting relativistic quantum field theory. Following our previous work o…
▽ More
Quantum computing has demonstrated the potential to revolutionize our understanding of nuclear, atomic, and molecular structure by obtaining forefront solutions in non-relativistic quantum many-body theory. In this work, we show that quantum computing can be used to solve for the structure of hadrons, governed by strongly-interacting relativistic quantum field theory. Following our previous work on light unflavored mesons as a relativistic bound-state problem within the nonperturbative Hamiltonian formalism, we present the numerical calculations on simulated quantum devices using the basis light-front quantization (BLFQ) approach. We implement and compare the variational quantum eigensolver (VQE) and the subspace-search variational quantum eigensolver (SSVQE) to find the low-lying mass spectrum of the light meson system and its corresponding light-front wave functions as quantum states from ideal simulators, noisy simulators, and IBM quantum computers. Based on obtained quantum states, we evaluate the meson decay constants and parton distribution functions directly on the quantum circuits. Our calculations on the quantum computers and simulators are in reasonable agreement with accurate numerical solutions solved on classical computers when noises are moderately small, and our overall results are comparable with the available experimental data.
△ Less
Submitted 31 October, 2022; v1 submitted 3 December, 2021;
originally announced December 2021.
-
GASP! Generating Abstracts of Scientific Papers from Abstracts of Cited Papers
Authors:
Fabio Massimo Zanzotto,
Viviana Bono,
Paola Vocca,
Andrea Santilli,
Danilo Croce,
Giorgio Gambosi,
Roberto Basili
Abstract:
Creativity is one of the driving forces of human kind as it allows to break current understanding to envision new ideas, which may revolutionize entire fields of knowledge. Scientific research offers a challenging environment where to learn a model for the creative process. In fact, scientific research is a creative act in the formal settings of the scientific method and this creative act is descr…
▽ More
Creativity is one of the driving forces of human kind as it allows to break current understanding to envision new ideas, which may revolutionize entire fields of knowledge. Scientific research offers a challenging environment where to learn a model for the creative process. In fact, scientific research is a creative act in the formal settings of the scientific method and this creative act is described in articles.
In this paper, we dare to introduce the novel, scientifically and philosophically challenging task of Generating Abstracts of Scientific Papers from abstracts of cited papers (GASP) as a text-to-text task to investigate scientific creativity, To foster research in this novel, challenging task, we prepared a dataset by using services where that solve the problem of copyright and, hence, the dataset is public available with its standard split. Finally, we experimented with two vanilla summarization systems to start the analysis of the complexity of the GASP task.
△ Less
Submitted 28 February, 2020;
originally announced March 2020.
-
Comparing Sinc and Harmonic Oscillator Basis for Bound States of a Gaussian Interaction
Authors:
Mamoon Sharaf,
Ryan McCarty,
Robert A. M. Basili,
James P. Vary
Abstract:
We investigate the use of the sinc collocation and harmonic oscillator bases for solving a two-particle system bound by a Gaussian potential described by the radial Schrödinger equation. We analyze the properties of the bound state wave functions by investigating where the basis-state wave functions break down and relate the breakdowns to the infrared and ultraviolet scales for both bases. We prop…
▽ More
We investigate the use of the sinc collocation and harmonic oscillator bases for solving a two-particle system bound by a Gaussian potential described by the radial Schrödinger equation. We analyze the properties of the bound state wave functions by investigating where the basis-state wave functions break down and relate the breakdowns to the infrared and ultraviolet scales for both bases. We propose a correction for the asymptotic infrared region, the long range tails of the wave functions. We compare the calculated bound state eigenvalues and mean square radii obtained within the two bases. From the trends in the numerical results, we identify the advantages and disadvantages of the two bases. We find that the sinc basis performs better in our implementation for accurately computing both the deeply- and weakly-bound states whereas the harmonic oscillator basis is more convenient since the basis-state wave functions are orthogonal and maintain the same mathematical structure in both position and momentum space. These mathematical properties of the harmonic oscillator basis are especially advantageous in problems where one employs both position and momentum space. The main disadvantage of the harmonic oscillator basis as illustrated in this work is the large basis space size required to obtain accurate results simultaneously for deeply- and weakly-bound states. The main disadvantage of the sinc basis could be the numerical challenges for its implementation in a many-body application.
△ Less
Submitted 15 December, 2019;
originally announced December 2019.
-
Benchmark neutrinoless double-beta decay matrix elements in a light nucleus
Authors:
R. A. M. Basili,
J. M. Yao,
J. Engel,
H. Hergert,
M. Lockner,
P. Maris,
J. P. Vary
Abstract:
We compute nuclear matrix elements of neutrinoless double-beta decay mediated by light Majorana-neutrino exchange in the A = 6 system. The goal is to benchmark two many-body approaches, the No-Core Shell Model and the Multi-Reference In-Medium Similarity Renormalization Group. We use the SRG-evolved chiral N3LO-EM500 potential for the nuclear interaction, and make the approximation that isospin is…
▽ More
We compute nuclear matrix elements of neutrinoless double-beta decay mediated by light Majorana-neutrino exchange in the A = 6 system. The goal is to benchmark two many-body approaches, the No-Core Shell Model and the Multi-Reference In-Medium Similarity Renormalization Group. We use the SRG-evolved chiral N3LO-EM500 potential for the nuclear interaction, and make the approximation that isospin is conserved. We compare the results of the two approaches as a function of the cutoff on the many-body basis space. Although differences are seen in the predicted nuclear radii, the ground-state energies and neutrinoless double-beta decay matrix elements produced by the two approaches show significant agreement. We discuss the implications for calculations in heavier nuclei.
△ Less
Submitted 7 May, 2020; v1 submitted 13 September, 2019;
originally announced September 2019.
-
Effective operators in two-nucleon systems
Authors:
James P. Vary,
Robert Basili,
Weijie Du,
Matthew Lockner,
Pieter Maris,
Soham Pal,
Shiplu Sarker
Abstract:
Effective Hamiltonians and effective electroweak operators are calculated with the Okubo-Lee-Suzuki formalism for two-nucleon systems. Working within a harmonic oscillator basis, first without and then with a confining harmonic oscillator trap, we demonstrate the effects of renormalization on observables calculated for truncated basis spaces. We illustrate the renormalization effects for the root-…
▽ More
Effective Hamiltonians and effective electroweak operators are calculated with the Okubo-Lee-Suzuki formalism for two-nucleon systems. Working within a harmonic oscillator basis, first without and then with a confining harmonic oscillator trap, we demonstrate the effects of renormalization on observables calculated for truncated basis spaces. We illustrate the renormalization effects for the root-mean-square point-proton radius, electric quadrupole moment, magnetic dipole moment, Gamow-Teller transition and neutrinoless double-beta decay operator using nucleon-nucleon interactions from chiral Effective Field Theory. Renormalization effects tend to be larger in the weaker traps and smaller basis spaces suggesting applications to heavier nuclei with transitions dominated by weakly-bound nucleons would be subject to more significant renormalization effects within achievable basis spaces.
△ Less
Submitted 1 September, 2018;
originally announced September 2018.
-
Ab Initio No Core Shell Model with Leadership-Class Supercomputers
Authors:
James P. Vary,
Robert Basili,
Weijie Du,
Matthew Lockner,
Pieter Maris,
Dossay Oryspayev,
Soham Pal,
Shiplu Sarker,
Hasan Metin Aktulga,
Esmond Ng,
Meiyue Shao,
Chao Yang
Abstract:
Nuclear structure and reaction theory is undergoing a major renaissance with advances in many-body methods, strong interactions with greatly improved links to Quantum Chromodynamics (QCD), the advent of high performance computing, and improved computational algorithms. Predictive power, with well-quantified uncertainty, is emerging from non-perturbative approaches along with the potential for guid…
▽ More
Nuclear structure and reaction theory is undergoing a major renaissance with advances in many-body methods, strong interactions with greatly improved links to Quantum Chromodynamics (QCD), the advent of high performance computing, and improved computational algorithms. Predictive power, with well-quantified uncertainty, is emerging from non-perturbative approaches along with the potential for guiding experiments to new discoveries. We present an overview of some of our recent developments and discuss challenges that lie ahead. Our foci include: (1) strong interactions derived from chiral effective field theory; (2) advances in solving the large sparse matrix eigenvalue problem on leadership-class supercomputers; (3) selected observables in light nuclei with the JISP16 interaction; (4) effective electroweak operators consistent with the Hamiltonian; and, (5) discussion of A=48 system as an opportunity for the no-core approach with the reintroduction of the core.
△ Less
Submitted 11 March, 2018;
originally announced March 2018.
-
On the maximum nilpotent orbit which intersects the centralizer of a matrix
Authors:
Roberta Basili
Abstract:
We introduce a method to determine the maximum nilpotent orbit which intersects a variety of nilpotent matrices described by a strictly upper triangular matrix over a polynomial ring. We show that the result only depends on the ranks of its submatrices and we introduce conditions on a subvariety so that it intersects the same orbit. Then we describe a maximal nilpotent subalgebra of the centralize…
▽ More
We introduce a method to determine the maximum nilpotent orbit which intersects a variety of nilpotent matrices described by a strictly upper triangular matrix over a polynomial ring. We show that the result only depends on the ranks of its submatrices and we introduce conditions on a subvariety so that it intersects the same orbit. Then we describe a maximal nilpotent subalgebra of the centralizer of any nilpotent matrix; the previous method allows us to show that the maximum nilpotent orbit which intersects that centralizer only depends on which entries are identically 0 in that subalgebra. The aim of the paper is to prove a simple algorithm for the determination of the maximum nilpotent orbit which intersects that centralizer, which was conjectured by Polona Oblak.
△ Less
Submitted 6 October, 2017;
originally announced October 2017.
-
Linking Software Development and Business Strategy Through Measurement
Authors:
Victor R. Basili,
Jens Heidrich,
Mikael Lindvall,
Jürgen Münch,
Myrna Regardie,
Dieter Rombach,
Carolyn Seaman,
Adam Trendowicz
Abstract:
Most of today's products and services are software-based. Organizations that develop software want to maintain and improve their competitiveness by controlling software-related risks. To do this, they need to align their business goals with software development strategies and translate them into quantitative project management. There is also an increasing need to justify cost and resources for sof…
▽ More
Most of today's products and services are software-based. Organizations that develop software want to maintain and improve their competitiveness by controlling software-related risks. To do this, they need to align their business goals with software development strategies and translate them into quantitative project management. There is also an increasing need to justify cost and resources for software and system development and other IT services by demonstrating their impact on an organisation's higher-level goals. For both, linking business goals and software-related efforts in an organization is necessary. However, this is a challenging task, and there is a lack of methods addressing this gap. The GQM+Strategies approach effectively links goals and strategies on all levels of an organization by means of goal-oriented measurement. The approach is based on rationales for deciding about options when operationalizing goals and for evaluating the success of strategies with respect to goals.
△ Less
Submitted 25 November, 2013;
originally announced November 2013.
-
Another Detector for the International Linear Collider
Authors:
Nural Akchurin,
Sehwook Lee,
Richard Wigmans,
Hanna Arnold,
Aaron Bazal,
Robert Basili,
John Hauptman,
Tim Overton,
Andrew Priest,
Bingzhe Zhao,
Alexander Mikhailichenko,
Michele Cascella,
Franco Grancagnolo,
Giovanni Tassielli,
Franco Bedeschi,
Fabrizio Scuri,
Sung Keun Park,
Fedor Ignatov,
Gabriella Gaudio,
Michele Livan
Abstract:
We describe another detectora designed for the International Linear Collider based on several tested instrumentation innovations in order to achieve the necessary experi- mental goal of a detecter that is 2-to-10 times better than the already excellent SLC and LEP detectors, in particular, (1) dual-readout calorimeter system based on the RD52/DREAM measurements at CERN, (2) a cluster-counting drif…
▽ More
We describe another detectora designed for the International Linear Collider based on several tested instrumentation innovations in order to achieve the necessary experi- mental goal of a detecter that is 2-to-10 times better than the already excellent SLC and LEP detectors, in particular, (1) dual-readout calorimeter system based on the RD52/DREAM measurements at CERN, (2) a cluster-counting drift chamber based on the successful kloe chamber at Frascati, and (3) a second solenoid to return the magnetic flux without iron. A high-performance pixel vertex chamber is presently undefined. We discuss particle identification, momentum and energy resolutions, and the machine-detector interface that together offer the possibility of a very high-performance detector for $e^+e^-$physics up to $\sqrt{s} = 1$ TeV.
△ Less
Submitted 24 July, 2013; v1 submitted 21 July, 2013;
originally announced July 2013.
-
On the maximum nilpotent orbit intersecting a centralizer in M(n,K)
Authors:
Roberta Basili
Abstract:
To any pair of commuting n x n nilpotent matrices it is associated a pair of partitions of n. We describe a maximal nilpotent subalgebra of the centralizer of a given nilpotent n x n matrix and prove a conjecture of Polona Oblak which consists in an algorithm for the determination of the maximum partition which forms with a given partition a pair with the previous property.
To any pair of commuting n x n nilpotent matrices it is associated a pair of partitions of n. We describe a maximal nilpotent subalgebra of the centralizer of a given nilpotent n x n matrix and prove a conjecture of Polona Oblak which consists in an algorithm for the determination of the maximum partition which forms with a given partition a pair with the previous property.
△ Less
Submitted 10 February, 2014; v1 submitted 15 February, 2012;
originally announced February 2012.
-
Some remarks on varieties of pairs of commuting upper triangular matrices and an interpretation of commuting varieties
Authors:
Roberta Basili
Abstract:
It is known that the variety of pairs of n x n commuting upper triangular matrices isn't a complete intersection for infinitely many values of n; we show that there exists m such that this happens if and only if n > m. We also show that m < 18 and that it could be found by determining the dimension of the variety of pairs of commuting strictly upper triangular matrices. Then we define a natural…
▽ More
It is known that the variety of pairs of n x n commuting upper triangular matrices isn't a complete intersection for infinitely many values of n; we show that there exists m such that this happens if and only if n > m. We also show that m < 18 and that it could be found by determining the dimension of the variety of pairs of commuting strictly upper triangular matrices. Then we define a natural map from the variety of pairs of commuting n x n matrices onto a subvariety defined by linear equations of the grassmannian of subspaces of codimension 2 of a vector space of dimension n x n.
△ Less
Submitted 18 March, 2008; v1 submitted 5 March, 2008;
originally announced March 2008.
-
Pairs of commuting nilpotent matrices, and Hilbert function
Authors:
Roberta Basili,
Anthony Iarrobino
Abstract:
Let K be an infinite field and denote by H(n,K) the family of pairs (A,B) of commuting nilpotent n by n matrices with entries in K. There has been substantial recent study of the connection between H(n,K) and the fibre H[n] of the punctual Hilbert scheme of the plane, over an n-fold point of the symmetric product, by V. Baranovsky, R. Basili, and A. Premet.
We study the stratification of H(n,K…
▽ More
Let K be an infinite field and denote by H(n,K) the family of pairs (A,B) of commuting nilpotent n by n matrices with entries in K. There has been substantial recent study of the connection between H(n,K) and the fibre H[n] of the punctual Hilbert scheme of the plane, over an n-fold point of the symmetric product, by V. Baranovsky, R. Basili, and A. Premet.
We study the stratification of H(n,K) by the Hilbert function of the Artinian ring K[A,B]. We show that when dim_K K[A,B] = n, then the generic element of the pencil A+λB, λ\in K, has Jordan partition the maximum partition P(H) whose diagonal lengths are the Hilbert function of K[A,B].
We denote by Q(P) the maximum Jordan partition of a nilpotent A commuting with a nilpotent B of Jordan partition P. We show that the stable partitions - those such that Q(P)=P - are those whose parts differ by at least two. In characteristic zero, the latter is a special case of a result of D. Panyushev. Our result on pencils shows that Q(P) has decreasing parts. In related work, T. Kosir and P. Oblak have shown further that Q(P) is itself stable.
△ Less
Submitted 8 February, 2008; v1 submitted 14 September, 2007;
originally announced September 2007.
-
On the Irreducibility of Commuting Varieties of Nilpotent Matrices
Authors:
R. Basili
Abstract:
Given an nxn nilpotent matrix over an algebraically closed field K, we prove some properties of the set of all the nxn nilpotent matrices over K which commute with it. Then we give a proof of the irreducibility of the variety of all the pairs (A,B) of nxn nilpotent matrices over K if either char K = 0 or char K isn't less than n/2. We get as a consequence a proof of the irreducibility of the loc…
▽ More
Given an nxn nilpotent matrix over an algebraically closed field K, we prove some properties of the set of all the nxn nilpotent matrices over K which commute with it. Then we give a proof of the irreducibility of the variety of all the pairs (A,B) of nxn nilpotent matrices over K if either char K = 0 or char K isn't less than n/2. We get as a consequence a proof of the irreducibility of the local Hilbert scheme of n points of a smooth algebraic surface over K with the previous condition on char K.
△ Less
Submitted 20 January, 2003;
originally announced January 2003.
