Showing 1–44 of 44 results for author: Vinci, W

Anomaly Detection in Aeronautics Data with Quantum-compatible Discrete Deep Generative Model

Authors: Thomas Templin, Milad Memarzadeh, Walter Vinci, P. Aaron Lott, Ata Akbari Asanjan, Anthony Alexiades Armenakas, Eleanor Rieffel

Abstract: Deep generative learning cannot only be used for generating new data with statistical characteristics derived from input data but also for anomaly detection, by separating nominal and anomalous instances based on their reconstruction quality. In this paper, we explore the performance of three unsupervised deep generative models -- variational autoencoders (VAEs) with Gaussian, Bernoulli, and Boltz… ▽ More Deep generative learning cannot only be used for generating new data with statistical characteristics derived from input data but also for anomaly detection, by separating nominal and anomalous instances based on their reconstruction quality. In this paper, we explore the performance of three unsupervised deep generative models -- variational autoencoders (VAEs) with Gaussian, Bernoulli, and Boltzmann priors -- in detecting anomalies in flight-operations data of commercial flights consisting of multivariate time series. We devised two VAE models with discrete latent variables (DVAEs), one with a factorized Bernoulli prior and one with a restricted Boltzmann machine (RBM) as prior, because of the demand for discrete-variable models in machine-learning applications and because the integration of quantum devices based on two-level quantum systems requires such models. The DVAE with RBM prior, using a relatively simple -- and classically or quantum-mechanically enhanceable -- sampling technique for the evolution of the RBM's negative phase, performed better than the Bernoulli DVAE and on par with the Gaussian model, which has a continuous latent space. Our studies demonstrate the competitiveness of a discrete deep generative model with its Gaussian counterpart on anomaly-detection tasks. Moreover, the DVAE model with RBM prior can be easily integrated with quantum sampling by outsourcing its generative process to measurements of quantum states obtained from a quantum annealer or gate-model device. △ Less

Submitted 22 March, 2023; originally announced March 2023.

Comments: 25 pages, 7 figures, 3 tables, appendix, supplementary material

ACM Class: I.2.6; I.5.1; J.2

RBM-Flow and D-Flow: Invertible Flows with Discrete Energy Base Spaces

Authors: Daniel O'Connor, Walter Vinci

Abstract: Efficient sampling of complex data distributions can be achieved using trained invertible flows (IF), where the model distribution is generated by pushing a simple base distribution through multiple non-linear bijective transformations. However, the iterative nature of the transformations in IFs can limit the approximation to the target distribution. In this paper we seek to mitigate this by imple… ▽ More Efficient sampling of complex data distributions can be achieved using trained invertible flows (IF), where the model distribution is generated by pushing a simple base distribution through multiple non-linear bijective transformations. However, the iterative nature of the transformations in IFs can limit the approximation to the target distribution. In this paper we seek to mitigate this by implementing RBM-Flow, an IF model whose base distribution is a Restricted Boltzmann Machine (RBM) with a continuous smoothing applied. We show that by using RBM-Flow we are able to improve the quality of samples generated, quantified by the Inception Scores (IS) and Frechet Inception Distance (FID), over baseline models with the same IF transformations, but with less expressive base distributions. Furthermore, we also obtain D-Flow, an IF model with uncorrelated discrete latent variables. We show that D-Flow achieves similar likelihoods and FID/IS scores to those of a typical IF with Gaussian base variables, but with the additional benefit that global features are meaningfully encoded as discrete labels in the latent space. △ Less

Submitted 12 July, 2021; v1 submitted 24 December, 2020; originally announced December 2020.

Error measurements for a quantum annealer using the one-dimensional Ising model with twisted boundaries

Authors: Nicholas Chancellor, Philip J. D. Crowley, Tanja Đurić, Walter Vinci, Mohammad H. Amin, Andrew G. Green, Paul A. Warburton, Gabriel Aeppli

Abstract: A finite length ferromagnetic chain with opposite spin polarisation imposed at its two ends is one of the simplest frustrated spin models. In the clean classical limit the domain wall inserted on account of the boundary conditions resides with equal probability on any one of the bonds, and the degeneracy is precisely equal to the number of bonds. If quantum mechanics is introduced via a transverse… ▽ More A finite length ferromagnetic chain with opposite spin polarisation imposed at its two ends is one of the simplest frustrated spin models. In the clean classical limit the domain wall inserted on account of the boundary conditions resides with equal probability on any one of the bonds, and the degeneracy is precisely equal to the number of bonds. If quantum mechanics is introduced via a transverse field, the domain wall will behave as a particle in a box, and prefer to be nearer the middle of the chain rather than the ends. A simple characteristic of a real quantum annealer is therefore which of these limits obtains in practice. Here we have used the ferromagnetic chain with antiparallel boundary spins to test a real flux qubit quantum annealer and discover that contrary to both expectations, the domain walls found are non-uniformly distributed on account of effective random longitudinal fields present notwithstanding tuning carried out to zero out such fields when the couplings between qubits are nominally zero. We present a simple derivation of the form of the distribution function for the domain walls, and show also how the effect we have discovered can be used to determine the strength of the effective random fields (noise) characterising the annealer. The noise measured in this fashion is smaller than what is seen during the single qubit tuning process, but nonetheless qualitatively affects the outcome of the simulation performed by the annealer. △ Less

Submitted 11 April, 2022; v1 submitted 13 June, 2020; originally announced June 2020.

Comments: 14 pages, 9 figures plus supplemental material, title change in v2 and v3, accepted in npj Quantum Information, arXiv matches accepted version

Journal ref: npj Quantum Information volume 8, Article number: 73 (2022)

High-Dimensional Similarity Search with Quantum-Assisted Variational Autoencoder

Authors: Nicholas Gao, Max Wilson, Thomas Vandal, Walter Vinci, Ramakrishna Nemani, Eleanor Rieffel

Abstract: Recent progress in quantum algorithms and hardware indicates the potential importance of quantum computing in the near future. However, finding suitable application areas remains an active area of research. Quantum machine learning is touted as a potential approach to demonstrate quantum advantage within both the gate-model and the adiabatic schemes. For instance, the Quantum-assisted Variational… ▽ More Recent progress in quantum algorithms and hardware indicates the potential importance of quantum computing in the near future. However, finding suitable application areas remains an active area of research. Quantum machine learning is touted as a potential approach to demonstrate quantum advantage within both the gate-model and the adiabatic schemes. For instance, the Quantum-assisted Variational Autoencoder has been proposed as a quantum enhancement to the discrete VAE. We extend on previous work and study the real-world applicability of a QVAE by presenting a proof-of-concept for similarity search in large-scale high-dimensional datasets. While exact and fast similarity search algorithms are available for low dimensional datasets, scaling to high-dimensional data is non-trivial. We show how to construct a space-efficient search index based on the latent space representation of a QVAE. Our experiments show a correlation between the Hamming distance in the embedded space and the Euclidean distance in the original space on the Moderate Resolution Imaging Spectroradiometer (MODIS) dataset. Further, we find real-world speedups compared to linear search and demonstrate memory-efficient scaling to half a billion data points. △ Less

Submitted 13 June, 2020; originally announced June 2020.

A Path Towards Quantum Advantage in Training Deep Generative Models with Quantum Annealers

Authors: Walter Vinci, Lorenzo Buffoni, Hossein Sadeghi, Amir Khoshaman, Evgeny Andriyash, Mohammad H. Amin

Abstract: The development of quantum-classical hybrid (QCH) algorithms is critical to achieve state-of-the-art computational models. A QCH variational autoencoder (QVAE) was introduced in Ref. [1] by some of the authors of this paper. QVAE consists of a classical auto-encoding structure realized by traditional deep neural networks to perform inference to, and generation from, a discrete latent space. The la… ▽ More The development of quantum-classical hybrid (QCH) algorithms is critical to achieve state-of-the-art computational models. A QCH variational autoencoder (QVAE) was introduced in Ref. [1] by some of the authors of this paper. QVAE consists of a classical auto-encoding structure realized by traditional deep neural networks to perform inference to, and generation from, a discrete latent space. The latent generative process is formalized as thermal sampling from either a quantum or classical Boltzmann machine (QBM or BM). This setup allows quantum-assisted training of deep generative models by physically simulating the generative process with quantum annealers. In this paper, we have successfully employed D-Wave quantum annealers as Boltzmann samplers to perform quantum-assisted, end-to-end training of QVAE. The hybrid structure of QVAE allows us to deploy current-generation quantum annealers in QCH generative models to achieve competitive performance on datasets such as MNIST. The results presented in this paper suggest that commercially available quantum annealers can be deployed, in conjunction with well-crafted classical deep neutral networks, to achieve competitive results in unsupervised and semisupervised tasks on large-scale datasets. We also provide evidence that our setup is able to exploit large latent-space (Q)BMs, which develop slowly mixing modes. This expressive latent space results in slow and inefficient classical sampling, and paves the way to achieve quantum advantage with quantum annealing in realistic sampling applications. △ Less

Submitted 4 December, 2019; originally announced December 2019.

Comments: 20 pages, 14 figures

PixelVAE++: Improved PixelVAE with Discrete Prior

Authors: Hossein Sadeghi, Evgeny Andriyash, Walter Vinci, Lorenzo Buffoni, Mohammad H. Amin

Abstract: Constructing powerful generative models for natural images is a challenging task. PixelCNN models capture details and local information in images very well but have limited receptive field. Variational autoencoders with a factorial decoder can capture global information easily, but they often fail to reconstruct details faithfully. PixelVAE combines the best features of the two models and construc… ▽ More Constructing powerful generative models for natural images is a challenging task. PixelCNN models capture details and local information in images very well but have limited receptive field. Variational autoencoders with a factorial decoder can capture global information easily, but they often fail to reconstruct details faithfully. PixelVAE combines the best features of the two models and constructs a generative model that is able to learn local and global structures. Here we introduce PixelVAE++, a VAE with three types of latent variables and a PixelCNN++ for the decoder. We introduce a novel architecture that reuses a part of the decoder as an encoder. We achieve the state of the art performance on binary data sets such as MNIST and Omniglot and achieve the state of the art performance on CIFAR-10 among latent variable models while kee** the latent variables informative. △ Less

Submitted 26 August, 2019; originally announced August 2019.

From Ansätze to Z-gates: a NASA View of Quantum Computing

Authors: Eleanor G. Rieffel, Stuart Hadfield, Tad Hogg, Salvatore Mandrà, Jeffrey Marshall, Gianni Mossi, Bryan O'Gorman, Eugeniu Plamadeala, Norm M. Tubman, Davide Venturelli, Walter Vinci, Zhihui Wang, Max Wilson, Filip Wudarski, Rupak Biswas

Abstract: For the last few years, the NASA Quantum Artificial Intelligence Laboratory (QuAIL) has been performing research to assess the potential impact of quantum computers on challenging computational problems relevant to future NASA missions. A key aspect of this research is devising methods to most effectively utilize emerging quantum computing hardware. Research questions include what experiments on e… ▽ More For the last few years, the NASA Quantum Artificial Intelligence Laboratory (QuAIL) has been performing research to assess the potential impact of quantum computers on challenging computational problems relevant to future NASA missions. A key aspect of this research is devising methods to most effectively utilize emerging quantum computing hardware. Research questions include what experiments on early quantum hardware would give the most insight into the potential impact of quantum computing, the design of algorithms to explore on such hardware, and the development of tools to minimize the quantum resource requirements. We survey work relevant to these questions, with a particular emphasis on our recent work in quantum algorithms and applications, in elucidating mechanisms of quantum mechanics and their uses for quantum computational purposes, and in simulation, compilation, and physics-inspired classical algorithms. To our early application thrusts in planning and scheduling, fault diagnosis, and machine learning, we add thrusts related to robustness of communication networks and the simulation of many-body systems for material science and chemistry. We provide a brief update on quantum annealing work, but concentrate on gate-model quantum computing research advances within the last couple of years. △ Less

Submitted 9 May, 2019; v1 submitted 7 May, 2019; originally announced May 2019.

Comments: 20 pages plus extensive references, 3 figures

Nested Quantum Annealing Correction at Finite Temperature: $p$-spin models

Authors: Shunji Matsuura, Hidetoshi Nishimori, Walter Vinci, Daniel A. Lidar

Abstract: Quantum annealing in a real device is necessarily susceptible to errors due to diabatic transitions and thermal noise. Nested quantum annealing correction is a method to suppress errors by using an all-to-all penalty coupling among a set of physical qubits representing a logical qubit. We show analytically that nested quantum annealing correction can suppress errors effectively in ferromagnetic an… ▽ More Quantum annealing in a real device is necessarily susceptible to errors due to diabatic transitions and thermal noise. Nested quantum annealing correction is a method to suppress errors by using an all-to-all penalty coupling among a set of physical qubits representing a logical qubit. We show analytically that nested quantum annealing correction can suppress errors effectively in ferromagnetic and antiferromagnetic Ising models with infinite-range interactions. Our analysis reveals that the nesting structure can significantly weaken or even remove first-order phase transitions, in which the energy gap closes exponentially. The nesting structure also suppresses thermal fluctuations by reducing the effective temperature. △ Less

Submitted 4 March, 2018; originally announced March 2018.

Comments: 28 pages

Journal ref: Phys. Rev. A 99, 062307 (2019)

Quantum Variational Autoencoder

Authors: Amir Khoshaman, Walter Vinci, Brandon Denis, Evgeny Andriyash, Hossein Sadeghi, Mohammad H. Amin

Abstract: Variational autoencoders (VAEs) are powerful generative models with the salient ability to perform inference. Here, we introduce a quantum variational autoencoder (QVAE): a VAE whose latent generative process is implemented as a quantum Boltzmann machine (QBM). We show that our model can be trained end-to-end by maximizing a well-defined loss-function: a 'quantum' lower-bound to a variational appr… ▽ More Variational autoencoders (VAEs) are powerful generative models with the salient ability to perform inference. Here, we introduce a quantum variational autoencoder (QVAE): a VAE whose latent generative process is implemented as a quantum Boltzmann machine (QBM). We show that our model can be trained end-to-end by maximizing a well-defined loss-function: a 'quantum' lower-bound to a variational approximation of the log-likelihood. We use quantum Monte Carlo (QMC) simulations to train and evaluate the performance of QVAEs. To achieve the best performance, we first create a VAE platform with discrete latent space generated by a restricted Boltzmann machine (RBM). Our model achieves state-of-the-art performance on the MNIST dataset when compared against similar approaches that only involve discrete variables in the generative process. We consider QVAEs with a smaller number of latent units to be able to perform QMC simulations, which are computationally expensive. We show that QVAEs can be trained effectively in regimes where quantum effects are relevant despite training via the quantum bound. Our findings open the way to the use of quantum computers to train QVAEs to achieve competitive performance for generative models. Placing a QBM in the latent space of a VAE leverages the full potential of current and next-generation quantum computers as sampling devices. △ Less

Submitted 12 January, 2019; v1 submitted 15 February, 2018; originally announced February 2018.

Comments: v2: published version. 13 pages, 3 figures, 2 tables

Journal ref: Quantum Sci. Technol. 4 (2019) 014001

Scalable effective temperature reduction for quantum annealers via nested quantum annealing correction

Authors: Walter Vinci, Daniel A. Lidar

Abstract: Nested quantum annealing correction (NQAC) is an error correcting scheme for quantum annealing that allows for the encoding of a logical qubit into an arbitrarily large number of physical qubits. The encoding replaces each logical qubit by a complete graph of degree $C$. The nesting level $C$ represents the distance of the error-correcting code and controls the amount of protection against thermal… ▽ More Nested quantum annealing correction (NQAC) is an error correcting scheme for quantum annealing that allows for the encoding of a logical qubit into an arbitrarily large number of physical qubits. The encoding replaces each logical qubit by a complete graph of degree $C$. The nesting level $C$ represents the distance of the error-correcting code and controls the amount of protection against thermal and control errors. Theoretical mean-field analyses and empirical data obtained with a D-Wave Two quantum annealer (supporting up to $512$ qubits) showed that NQAC has the potential to achieve a scalable effective temperature reduction, $T_{\rm eff} \sim C^{-η}$, with $η\leq 2$. We confirm that this scaling is preserved when NQAC is tested on a D-Wave 2000Q device (supporting up to $2048$ qubits). In addition, we show that NQAC can be also used in sampling problems to lower the effective temperature of a quantum annealer. Such effective temperature reduction is relevant for machine-learning applications. Since we demonstrate that NQAC achieves error correction via an effective reduction of the temperature of the quantum annealing device, our results address the problem of the "temperature scaling law for quantum annealers", which requires the temperature of quantum annealers to be reduced as problems of larger sizes are attempted to be solved. △ Less

Submitted 21 October, 2017; originally announced October 2017.

Comments: 12 pages, 5 figures

Journal ref: Phys. Rev. A 97, 022308 (2018)

Optimally Stopped Variational Quantum Algorithms

Authors: Walter Vinci, Alireza Shabani

Abstract: Quantum processors promise a paradigm shift in high-performance computing which needs to be assessed by accurate benchmarking measures. In this work, we introduce a new benchmark for variational quantum algorithm (VQA), recently proposed as a heuristic algorithm for small-scale quantum processors. In VQA, a classical optimization algorithm guides the quantum dynamics of the processor to yield the… ▽ More Quantum processors promise a paradigm shift in high-performance computing which needs to be assessed by accurate benchmarking measures. In this work, we introduce a new benchmark for variational quantum algorithm (VQA), recently proposed as a heuristic algorithm for small-scale quantum processors. In VQA, a classical optimization algorithm guides the quantum dynamics of the processor to yield the best solution for a given problem. A complete assessment of scalability and competitiveness of VQA should take into account both the quality and the time of dynamics optimization. The method of optimal stop**, employed here, provides such an assessment by explicitly including time as a cost factor. Here we showcase this measure for benchmarking VQA as a solver for some quadratic unconstrained binary optimization. Moreover we show that a better choice for the cost function of the classical routine can significantly improve the performance of the VQA algorithm and even improving it's scaling properties. △ Less

Submitted 15 October, 2017; originally announced October 2017.

Comments: 6 pages, 3 figures

Journal ref: Phys. Rev. A 97, 042346 (2018)

Non-Stoquastic Interactions in Quantum Annealing via the Aharonov-Anandan Phase

Authors: Walter Vinci, Daniel A. Lidar

Abstract: We argue that a complete description of quantum annealing (QA) implemented with continuous variables must take into account the non-adiabatic Aharonov-Anandan geometric phase that arises when the system Hamiltonian changes during the anneal. We show that this geometric effect leads to the appearance of non-stoquastic terms in the effective quantum Ising Hamiltonians that are typically used to desc… ▽ More We argue that a complete description of quantum annealing (QA) implemented with continuous variables must take into account the non-adiabatic Aharonov-Anandan geometric phase that arises when the system Hamiltonian changes during the anneal. We show that this geometric effect leads to the appearance of non-stoquastic terms in the effective quantum Ising Hamiltonians that are typically used to describe QA with flux-qubits. We explicitly demonstrate the effect of these geometric interactions when QA is performed with a system of one and two coupled flux-qubits. The realization of non-stoquastic Hamiltonians has important implications from a computational complexity perspective, since it is believed that in many cases QA with stoquastic Hamiltonians can be efficiently simulated via classical algorithms such as Quantum Monte Carlo. It is well-known that the direct implementation of non-stoquastic interactions with flux-qubits is particularly challenging. Our results suggest an alternative path for the implementation of non-stoquastic interactions via geometric phases that can be exploited for computational purposes. △ Less

Submitted 25 January, 2017; originally announced January 2017.

Comments: 12 pages, 7 figures

Journal ref: npj Quantum Information 3, 38 (2017)

Quantum annealing correction at finite temperature: ferromagnetic $p$-spin models

Authors: Shunji Matsuura, Hidetoshi Nishimori, Walter Vinci, Tameem Albash, Daniel A. Lidar

Abstract: The performance of open-system quantum annealing is adversely affected by thermal excitations out of the ground state. While the presence of energy gaps between the ground and excited states suppresses such excitations, error correction techniques are required to ensure full scalability of quantum annealing. Quantum annealing correction (QAC) is a method that aims to improve the performance of qua… ▽ More The performance of open-system quantum annealing is adversely affected by thermal excitations out of the ground state. While the presence of energy gaps between the ground and excited states suppresses such excitations, error correction techniques are required to ensure full scalability of quantum annealing. Quantum annealing correction (QAC) is a method that aims to improve the performance of quantum annealers when control over only the problem (final) Hamiltonian is possible, along with decoding. Building on our earlier work [S. Matsuura et al., Phys. Rev. Lett. 116, 220501 (2016)], we study QAC using analytical tools of statistical physics by considering the effects of temperature and a transverse field on the penalty qubits in the ferromagnetic $p$-body infinite-range transverse-field Ising model. We analyze the effect of QAC on second ($p=2$) and first ($p\geq 3$) order phase transitions, and construct the phase diagram as a function of temperature and penalty strength. Our analysis reveals that for sufficiently low temperatures and in the absence of a transverse field on the penalty qubit, QAC breaks up a single, large free energy barrier into multiple smaller ones. We find theoretical evidence for an optimal penalty strength in the case of a transverse field on the penalty qubit, a feature observed in QAC experiments. Our results provide further compelling evidence that QAC provides an advantage over unencoded quantum annealing. △ Less

Submitted 29 October, 2016; originally announced October 2016.

Comments: 19 pages, 12 figures

Journal ref: Phys. Rev. A 95, 022308 (2017)

Optimally Stopped Optimization

Authors: Walter Vinci, Daniel A. Lidar

Abstract: We combine the fields of heuristic optimization and optimal stop**. We propose a strategy for benchmarking randomized optimization algorithms that minimizes the expected total cost for obtaining a good solution with an optimal number of calls to the solver. To do so, rather than letting the objective function alone define a cost to be minimized, we introduce a further cost-per-call of the algori… ▽ More We combine the fields of heuristic optimization and optimal stop**. We propose a strategy for benchmarking randomized optimization algorithms that minimizes the expected total cost for obtaining a good solution with an optimal number of calls to the solver. To do so, rather than letting the objective function alone define a cost to be minimized, we introduce a further cost-per-call of the algorithm. We show that this problem can be formulated using optimal stop** theory. The expected cost is a flexible figure of merit for benchmarking probabilistic solvers that can be computed when the optimal solution is not known, and that avoids the biases and arbitrariness that affect other measures. The optimal stop** formulation of benchmarking directly leads to a real-time, optimal-utilization strategy for probabilistic optimizers with practical impact. We apply our formulation to benchmark simulated annealing on a class of MAX2SAT problems. We also compare the performance of a D-Wave 2X quantum annealer to the HFS solver, a specialized classical heuristic algorithm designed for low tree-width graphs. On a set of frustrated-loop instances with planted solutions defined on up to N = 1098 variables, the D-Wave device is two orders of magnitude faster than the HFS solver, and, modulo known caveats related to suboptimal annealing times, exhibits identical scaling with problem size. △ Less

Submitted 19 August, 2016; originally announced August 2016.

Comments: 21 pages, 8 figures

Journal ref: Phys. Rev. Applied 6, 054016 (2016)

Simulated Quantum Annealing with Two All-to-All Connectivity Schemes

Authors: Tameem Albash, Walter Vinci, Daniel A. Lidar

Abstract: Quantum annealing aims to exploit quantum mechanics to speed up the search for the solution to optimization problems. Most problems exhibit complete connectivity between the logical spin variables after they are mapped to the Ising spin Hamiltonian of quantum annealing. To account for hardware constraints of current and future physical quantum annealers, methods enabling the embedding of fully con… ▽ More Quantum annealing aims to exploit quantum mechanics to speed up the search for the solution to optimization problems. Most problems exhibit complete connectivity between the logical spin variables after they are mapped to the Ising spin Hamiltonian of quantum annealing. To account for hardware constraints of current and future physical quantum annealers, methods enabling the embedding of fully connected graphs of logical spins into a constant-degree graph of physical spins are therefore essential. Here, we compare the recently proposed embedding scheme for quantum annealing with all-to-all connectivity due to Lechner, Hauke and Zoller (LHZ) [Science Advances 1 (2015)] to the commonly used minor embedding (ME) scheme. Using both simulated quantum annealing and parallel tempering simulations, we find that for a set of instances randomly chosen from a class of fully connected, random Ising problems, the ME scheme outperforms the LHZ scheme when using identical simulation parameters, despite the fault tolerance of the latter to weakly correlated spin-flip noise. This result persists even after we introduce several decoding strategies for the LHZ scheme, including a minimum-weight decoding algorithm that results in substantially improved performance over the original LHZ scheme. We explain the better performance of the ME scheme in terms of more efficient spin updates, which allows it to better tolerate the correlated spin-flip errors that arise in our model of quantum annealing. Our results leave open the question of whether the performance of the two embedding schemes can be improved using scheme-specific parameters and new error correction approaches. △ Less

Submitted 23 August, 2016; v1 submitted 11 March, 2016; originally announced March 2016.

Comments: 17 pages, 19 figures. v2: updated to published version

Journal ref: Phys. Rev. A 94, 022327 (2016)

Nested Quantum Annealing Correction

Authors: Walter Vinci, Tameem Albash, Daniel A. Lidar

Abstract: We present a general error-correcting scheme for quantum annealing that allows for the encoding of a logical qubit into an arbitrarily large number of physical qubits. Given any Ising model optimization problem, the encoding replaces each logical qubit by a complete graph of degree $C$, representing the distance of the error-correcting code. A subsequent minor-embedding step then implements the en… ▽ More We present a general error-correcting scheme for quantum annealing that allows for the encoding of a logical qubit into an arbitrarily large number of physical qubits. Given any Ising model optimization problem, the encoding replaces each logical qubit by a complete graph of degree $C$, representing the distance of the error-correcting code. A subsequent minor-embedding step then implements the encoding on the underlying hardware graph of the quantum annealer. We demonstrate experimentally that the performance of a D-Wave Two quantum annealing device improves as $C$ grows. We show that the performance improvement can be interpreted as arising from an effective increase in the energy scale of the problem Hamiltonian, or equivalently, an effective reduction in the temperature at which the device operates. The number $C$ thus allows us to control the amount of protection against thermal and control errors, and in particular, to trade qubits for a lower effective temperature that scales as $C^{-η}$, with $η\leq 2$. This effective temperature reduction is an important step towards scalable quantum annealing. △ Less

Submitted 22 November, 2015; originally announced November 2015.

Comments: 19 pages; 12 figures

Journal ref: Nature Quantum Information 2, 16017 (2016)

Quantum Annealing Correction with Minor Embedding

Authors: Walter Vinci, Tameem Albash, Gerardo Paz-Silva, Itay Hen, Daniel A. Lidar

Abstract: Quantum annealing provides a promising route for the development of quantum optimization devices, but the usefulness of such devices will be limited in part by the range of implementable problems as dictated by hardware constraints. To overcome constraints imposed by restricted connectivity between qubits, a larger set of interactions can be approximated using minor embedding techniques whereby se… ▽ More Quantum annealing provides a promising route for the development of quantum optimization devices, but the usefulness of such devices will be limited in part by the range of implementable problems as dictated by hardware constraints. To overcome constraints imposed by restricted connectivity between qubits, a larger set of interactions can be approximated using minor embedding techniques whereby several physical qubits are used to represent a single logical qubit. However, minor embedding introduces new types of errors due to its approximate nature. We introduce and study quantum annealing correction schemes designed to improve the performance of quantum annealers in conjunction with minor embedding, thus leading to a hybrid scheme defined over an encoded graph. We argue that this scheme can be efficiently decoded using an energy minimization technique provided the density of errors does not exceed the per-site percolation threshold of the encoded graph. We test the hybrid scheme using a D-Wave Two processor on problems for which the encoded graph is a 2-level grid and the Ising model is known to be NP-hard. The problems we consider are frustrated Ising model problem instances with "planted" (a priori known) solutions. Applied in conjunction with optimized energy penalties and decoding techniques, we find that this approach enables the quantum annealer to solve minor embedded instances with significantly higher success probability than it would without error correction. Our work demonstrates that quantum annealing correction can and should be used to improve the robustness of quantum annealing not only for natively embeddable problems, but also when minor embedding is used to extend the connectivity of physical devices. △ Less

Submitted 9 July, 2015; originally announced July 2015.

Comments: 34 pages, 28 figures

Journal ref: Phys. Rev. A 92, 042310 (2015)

Maximum-Entropy Inference with a Programmable Annealer

Authors: Nicholas Chancellor, Szilard Szoke, Walter Vinci, Gabriel Aeppli, Paul A. Warburton

Abstract: Optimisation problems in science and engineering typically involve finding the ground state (i.e. the minimum energy configuration) of a cost function with respect to many variables. If the variables are corrupted by noise then this approach maximises the likelihood that the solution found is correct. An alternative approach is to make use of prior statistical information about the noise in conjun… ▽ More Optimisation problems in science and engineering typically involve finding the ground state (i.e. the minimum energy configuration) of a cost function with respect to many variables. If the variables are corrupted by noise then this approach maximises the likelihood that the solution found is correct. An alternative approach is to make use of prior statistical information about the noise in conjunction with Bayes's theorem. The maximum entropy solution to the problem then takes the form of a Boltzmann distribution over the ground and excited states of the cost function. Here we use a programmable Josephson junction array for the information decoding problem which we simulate as a random Ising model in a field. We show experimentally that maximum entropy decoding at finite temperature can in certain cases give competitive and even slightly better bit-error-rates than the maximum likelihood approach at zero temperature, confirming that useful information can be extracted from the excited states of the annealing device. Furthermore we introduce a microscopic bit-by-bit analytical method which is agnostic to the specific application and use it to show that the annealing device samples from a highly Boltzmann-like distribution. Machines of this kind are therefore candidates for use in a wide variety of machine learning applications which exploit maximum entropy inference, including natural language processing and image recognition. We further show that the limiting factor for performance in our experiments is likely to be control errors rather than failure to reach equilibrium. Our work also provides a method for determining if a system is in equilibrium which can be easily generalized. We discuss possible applications of this method to spin glasses and probing the performance of the quantum annealing algorithm. △ Less

Submitted 1 March, 2016; v1 submitted 26 June, 2015; originally announced June 2015.

Comments: 9 figures in main text 9 figures in supplemental material. Significant amount of new Monte Carlo data added in v2 at referees request. Accepted for Scientific Reports

Journal ref: Scientific Reports 6, Article number: 22318 (2016)

Quantum and Classical in Adiabatic Computation

Authors: P. J. D. Crowley, T. Duric, W. Vinci, P. A. Warburton, A. G. Green

Abstract: Adiabatic transport provides a powerful way to manipulate quantum states. By preparing a system in a readily initialised state and then slowly changing its Hamiltonian, one may achieve quantum states that would otherwise be inaccessible. Moreover, a judicious choice of final Hamiltonian whose groundstate encodes the solution to a problem allows adiabatic transport to be used for universal quantum… ▽ More Adiabatic transport provides a powerful way to manipulate quantum states. By preparing a system in a readily initialised state and then slowly changing its Hamiltonian, one may achieve quantum states that would otherwise be inaccessible. Moreover, a judicious choice of final Hamiltonian whose groundstate encodes the solution to a problem allows adiabatic transport to be used for universal quantum computation. However, the dephasing effects of the environment limit the quantum correlations that an open system can support and degrade the power of such adiabatic computation. We quantify this effect by allowing the system to evolve over a restricted set of quantum states, providing a link between physically inspired classical optimisation algorithms and quantum adiabatic optimisation. This new perspective allows us to develop benchmarks to bound the quantum correlations harnessed by an adiabatic computation. We apply these to the D-Wave Vesuvius machine with revealing - though inconclusive - results. △ Less

Submitted 20 May, 2014; originally announced May 2014.

Journal ref: Phys. Rev. A90, 042317, (2014)

Consistency Tests of Classical and Quantum Models for a Quantum Annealer

Authors: Tameem Albash, Walter Vinci, Anurag Mishra, Paul A. Warburton, Daniel A. Lidar

Abstract: Recently the question of whether the D-Wave processors exhibit large-scale quantum behavior or can be described by a classical model has attracted significant interest. In this work we address this question by studying a 503 qubit D-Wave Two device in the "black box" model, i.e., by studying its input-output behavior. Our work generalizes an approach introduced in Boixo et al. [Nat. Commun. 4, 206… ▽ More Recently the question of whether the D-Wave processors exhibit large-scale quantum behavior or can be described by a classical model has attracted significant interest. In this work we address this question by studying a 503 qubit D-Wave Two device in the "black box" model, i.e., by studying its input-output behavior. Our work generalizes an approach introduced in Boixo et al. [Nat. Commun. 4, 2067 (2013)], and uses groups of up to 20 qubits to realize a transverse Ising model evolution with a ground state degeneracy whose distribution acts as a sensitive probe that distinguishes classical and quantum models for the D-Wave device. Our findings rule out all classical models proposed to date for the device and provide evidence that an open system quantum dynamical description of the device that starts from a quantized energy level structure is well justified, even in the presence of relevant thermal excitations and a small value of the ratio of the single-qubit decoherence time to the annealing time. △ Less

Submitted 13 April, 2015; v1 submitted 17 March, 2014; originally announced March 2014.

Comments: 36 pages, 36 figures. v2: Addresses the issues raised in arXiv:1404.6499. v3. Paper reorganized for clarity of presentation, but results have not change since v2. v4: Updated title, author order, abstract, and manuscript to match published version

Journal ref: Phys. Rev. A 91, 042314 (2015)

Quantum Exact Non-Abelian Vortices in Non-relativistic Theories

Authors: Muneto Nitta, Shun Uchino, Walter Vinci

Abstract: Non-Abelian vortices arise when a non-Abelian global symmetry is exact in the ground state but spontaneously broken in the vicinity of their cores. In this case, there appear (non-Abelian) Nambu-Goldstone (NG) modes confined and propagating along the vortex. In relativistic theories, the Coleman-Mermin-Wagner theorem forbids the existence of a spontaneous symmetry breaking, or a long-range order,… ▽ More Non-Abelian vortices arise when a non-Abelian global symmetry is exact in the ground state but spontaneously broken in the vicinity of their cores. In this case, there appear (non-Abelian) Nambu-Goldstone (NG) modes confined and propagating along the vortex. In relativistic theories, the Coleman-Mermin-Wagner theorem forbids the existence of a spontaneous symmetry breaking, or a long-range order, in 1+1 dimensions: quantum corrections restore the symmetry along the vortex and the NG modes acquire a mass gap. We show that in non-relativistic theories NG modes with quadratic dispersion relation confined on a vortex can remain gapless at quantum level. We provide a concrete and experimentally realizable example of a three-component Bose-Einstein condensate with U(1) x U(2) symmetry. We first show, at the classical level, the existence of S^3 = S^1 |x S^2 (S^1 fibered over S^2) NG modes associated to the breaking U(2) -> U(1) on vortices, where S^1 and S^2 correspond to type I and II NG modes, respectively. We then show, by using a Bethe ansatz technique, that the U(1) symmetry is restored, while the SU(2) symmery remains broken non-pertubatively at quantum level. Accordingly, the U(1) NG mode turns into a c=1 conformal field theory, the Tomonaga-Luttinger liquid, while the S^2 NG mode remains gapless, describing a ferromagnetic liquid. This allows the vortex to be genuinely non-Abelian at quantum level. △ Less

Submitted 16 July, 2014; v1 submitted 21 November, 2013; originally announced November 2013.

Comments: 20 pages, 2 figures, v2: minor changes

Journal ref: JHEP 1409:098,2014

Non-Abelian Vortices with an Aharonov-Bohm Effect

Authors: Jarah Evslin, Kenichi Konishi, Muneto Nitta, Keisuke Ohashi, Walter Vinci

Abstract: The interplay of gauge dynamics and flavor symmetries often leads to remarkably subtle phenomena in the presence of soliton configurations. Non-Abelian vortices -- vortex solutions with continuous internal orientational moduli -- provide an example. Here we study the effect of weakly gauging a U(1)_R subgroup of the flavor symmetry on such BPS vortex solutions. Our prototypical setting consists of… ▽ More The interplay of gauge dynamics and flavor symmetries often leads to remarkably subtle phenomena in the presence of soliton configurations. Non-Abelian vortices -- vortex solutions with continuous internal orientational moduli -- provide an example. Here we study the effect of weakly gauging a U(1)_R subgroup of the flavor symmetry on such BPS vortex solutions. Our prototypical setting consists of an SU(2) x U(1) gauge theory with N_f=2 sets of fundamental scalars that break the gauge symmetry to an "electromagnetic" U(1). The weak U(1)_R gauging converts the well-known CP1 orientation modulus |B| of the non-Abelian vortex into a parameter characterizing the strength of the magnetic field that is responsible for the Aharonov-Bohm effect. As the phase of B remains a genuine zero mode while the electromagnetic gauge symmetry is Higgsed in the interior of the vortex, these solutions are superconducting strings. △ Less

Submitted 23 December, 2013; v1 submitted 4 October, 2013; originally announced October 2013.

Comments: Latex 28 pages

Report number: IFUP-TH/2013-18, OCU-PHYS 392

Journal ref: JHEP 1401:086,2014

Hearing the Shape of the Ising Model with a Programmable Superconducting-Flux Annealer

Authors: Walter Vinci, Klas Markström, Sergio Boixo, Aidan Roy, Federico M. Spedalieri, Paul A. Warburton, Simone Severini

Abstract: Two objects can be distinguished if they have different measurable properties. Thus, distinguishability depends on the Physics of the objects. In considering graphs, we revisit the Ising model as a framework to define physically meaningful spectral invariants. In this context, we introduce a family of refinements of the classical spectrum and consider the quantum partition function. We demonstrate… ▽ More Two objects can be distinguished if they have different measurable properties. Thus, distinguishability depends on the Physics of the objects. In considering graphs, we revisit the Ising model as a framework to define physically meaningful spectral invariants. In this context, we introduce a family of refinements of the classical spectrum and consider the quantum partition function. We demonstrate that the energy spectrum of the quantum Ising Hamiltonian is a stronger invariant than the classical one without refinements. For the purpose of implementing the related physical systems, we perform experiments on a programmable annealer with superconducting flux technology. Departing from the paradigm of adiabatic computation, we take advantage of a noisy evolution of the device to generate statistics of low energy states. The graphs considered in the experiments have the same classical partition functions, but different quantum spectra. The data obtained from the annealer distinguish non-isomorphic graphs via information contained in the classical refinements of the functions but not via the differences in the quantum spectra. △ Less

Submitted 16 September, 2014; v1 submitted 3 July, 2013; originally announced July 2013.

Comments: 13 pages, 10 figures

Simulation of two-flavors symmetry-locking phases in ultracold fermionic mixtures

Authors: Luca Lepori, Andrea Trombettoni, Walter Vinci

Abstract: We describe an ultracold fermionic set-up where it is possible to synthesize a superfluid phase with symmetry obtained by locking independent invariance groups of the normal state. In this phase, named two-flavors symmetry-locking phase (TFSL), non-Abelian fractional vortices with semi-integer flux and gapless non-Abelian Goldstone modes localized on them appear. Considerations on the possible exp… ▽ More We describe an ultracold fermionic set-up where it is possible to synthesize a superfluid phase with symmetry obtained by locking independent invariance groups of the normal state. In this phase, named two-flavors symmetry-locking phase (TFSL), non-Abelian fractional vortices with semi-integer flux and gapless non-Abelian Goldstone modes localized on them appear. Considerations on the possible experimental realization of the TFSL are also provided. △ Less

Submitted 4 November, 2014; v1 submitted 22 May, 2013; originally announced May 2013.

Comments: Submitted version. 7 pages, 1 figure

Journal ref: Europhysics Letters 109 50002 (2015)

Non-Abelian Quasi-Gapless Modes Localized on Mass Vortices in Superfluid 3He-B

Authors: Muneto Nitta, Mikhail Shifman, Walter Vinci

Abstract: Kelvin waves or Kelvons have been known for a long time as gapless excitations propagating along superfluid vortices. These modes can be interpreted as the Nambu-Goldstone excitations arising from the spontaneous breaking of the translational symmetry. Recently a different type of gapless excitation localized on strings -- the so-called non-Abelian mode -- attracted much attention in high-energy p… ▽ More Kelvin waves or Kelvons have been known for a long time as gapless excitations propagating along superfluid vortices. These modes can be interpreted as the Nambu-Goldstone excitations arising from the spontaneous breaking of the translational symmetry. Recently a different type of gapless excitation localized on strings -- the so-called non-Abelian mode -- attracted much attention in high-energy physics. We discuss their relevance in condensed matter physics. Although we failed to find exactly gapless non-Abelian modes, non-Abelian rotational quasigapless excitations are argued to exist on the mass vortices in the B phase of the superfluid 3He, due to the fact that the order parameter in 3He-B is tensorial. While the U(1) rotational excitations are well established in vortices with asymmetric cores, the non-Abelian rotational excitations belonging to the same family were not considered. In the general case they are coupled with the translational modes. △ Less

Submitted 11 April, 2013; v1 submitted 15 January, 2013; originally announced January 2013.

Comments: 12 pages, 1 figure; v2: published version with minor corrections

Journal ref: Phys.Rev.D87:081702,2013

Colorful boojums at the interface of a color superconductor

Authors: Mattia Cipriani, Walter Vinci, Muneto Nitta

Abstract: We study junctions of vortices, or boojums, at the interface between color and hadronic superconducting/superfluid phases. This type of interface could be present in the interior of neutron stars, where an inner core made of quark matter in the color-flavor-locked phase is surrounded by an outer shell of superconducting protons and superfluid neutrons. We study the fate of magnetic (proton) and su… ▽ More We study junctions of vortices, or boojums, at the interface between color and hadronic superconducting/superfluid phases. This type of interface could be present in the interior of neutron stars, where an inner core made of quark matter in the color-flavor-locked phase is surrounded by an outer shell of superconducting protons and superfluid neutrons. We study the fate of magnetic (proton) and superfluid (neutron) vortices as they enter the color-flavor locked phase. We find that proton vortices terminate on Dirac monopoles of the massless magnetic field, and magnetic fluxes of massive gauge field spread along the surface and are screened by surface superconducting currents. On the other hand, three neutron vortices join at a boojum and split into three color magnetic vortices which host confined color-magnetic monopoles when strange quark mass is taken into account. We also present a simple numerical model of the shape of the neutron boojum. △ Less

Submitted 27 December, 2012; v1 submitted 28 August, 2012; originally announced August 2012.

Comments: 13 pages, 4 figures

Journal ref: Phys.Rev.D86:121704,2012

Supersymmetry Breaking on Gauged Non-Abelian Vortices

Authors: Kenichi Konishi, Muneto Nitta, Walter Vinci

Abstract: There are a large number of systems characterized by a completely broken gauge symmetry, but with an unbroken global color-flavor diagonal symmetry, i.e., systems in the so-called color-flavor locked phase. If the gauge symmetry breaking supports vortices, the latter develop non-Abelian orientational zero-modes and become non-Abelian vortices, a subject of intense study in the last several years.… ▽ More There are a large number of systems characterized by a completely broken gauge symmetry, but with an unbroken global color-flavor diagonal symmetry, i.e., systems in the so-called color-flavor locked phase. If the gauge symmetry breaking supports vortices, the latter develop non-Abelian orientational zero-modes and become non-Abelian vortices, a subject of intense study in the last several years. In this paper we consider the effects of weakly gauging the full exact global flavor symmetry in such systems, deriving an effective description of the light excitations in the presence of a vortex. Surprising consequences are shown to follow. The fluctuations of the vortex orientational modes get diffused to bulk modes through tunneling processes. When our model is embedded in a supersymmetric theory, the vortex is still 1/2 BPS saturated, but the vortex effective action breaks supersymmetry spontaneously. △ Less

Submitted 31 July, 2012; v1 submitted 20 June, 2012; originally announced June 2012.

Comments: Latex, 24 pages, 1 figure

Report number: IFUP-TH/2012-12

Journal ref: JHEP 1209:014,2012

Spontaneous Magnetization through Non-Abelian Vortex Formation in Rotating Dense Quark Matter

Authors: Walter Vinci, Mattia Cipriani, Muneto Nitta

Abstract: When a color superconductor of high density QCD is rotating, superfluid vortices are inevitably created along the rotation axis. In the color-flavor locked phase realized at the asymptotically large chemical potential, there appear non-Abelian vortices carrying both circulations of superfluid and color magnetic fluxes. A family of solutions has a degeneracy characterized by the Nambu-Goldtone mode… ▽ More When a color superconductor of high density QCD is rotating, superfluid vortices are inevitably created along the rotation axis. In the color-flavor locked phase realized at the asymptotically large chemical potential, there appear non-Abelian vortices carrying both circulations of superfluid and color magnetic fluxes. A family of solutions has a degeneracy characterized by the Nambu-Goldtone modes CP2, associated with the color-flavor locked symmetry spontaneously broken in the vicinity of the vortex. In this paper, we study electromagnetic coupling of the non-Abelian vortices and find that the degeneracy is removed with the induced effective potential. We obtain one stable vortex solution and a family of metastable vortex solutions, both of which carry ordinary magnetic fluxes in addition to color magnetic fluxes. We discuss quantum mechanical decay of the metastable vortices by quantum tunneling, and compare the effective potential with the other known potentials, the quantum mechanically induced potential and the potential induced by the strange quark mass. △ Less

Submitted 12 October, 2012; v1 submitted 15 June, 2012; originally announced June 2012.

Comments: 24 pages, 4 figures; v2 revised published version

Journal ref: Phys.Rev.D86:085018,2012

Decomposing Instantons in Two Dimensions

Authors: Muneto Nitta, Walter Vinci

Abstract: We study BPS string-like solutions in the 3+1 dimensional gauged CP(1) non-linear sigma model. The same analysis can be applied to study instantons in 2 euclidean dimensions. We use the moduli matrix approach to construct analytically the moduli space and and solve numerically the BPS equations. We identify two topologically inequivalent type of magnetic vortices, which we call S and N vortices. M… ▽ More We study BPS string-like solutions in the 3+1 dimensional gauged CP(1) non-linear sigma model. The same analysis can be applied to study instantons in 2 euclidean dimensions. We use the moduli matrix approach to construct analytically the moduli space and and solve numerically the BPS equations. We identify two topologically inequivalent type of magnetic vortices, which we call S and N vortices. Moreover we discuss their relation to "lump-string" solutions present in the un-gauged case. In particular, we describe how a lump is split into a couple of component S-N vortices after gauging. We extend this analysis to the case of the extended Abelian Higgs model with two flavors, which is known to admit semi-local vortices. When we gauge the relative phase between fields, semi-local vortices are also split into component vortices. We discuss interesting applications of this simple set-up. First, gauging of non-linear sigma models reveals a "partonic" nature of instantons in 1+1 dimensions, an idea long studied also in connection with four dimensional instantons. Second, weak gauging provides for an interesting regularization of the metric of semi-local vortices which preserves supersymmetry and does not lift the moduli space of the string. △ Less

Submitted 12 March, 2012; v1 submitted 29 August, 2011; originally announced August 2011.

Comments: Minor changes. 27 pages, 5 figures

Journal ref: J.Phys.A45:175401,2012

Quantum Dynamics of Low-Energy Theory on Semilocal Non-Abelian Strings

Authors: Peter Koroteev, Mikhail Shifman, Walter Vinci, Alexei Yung

Abstract: Recently a low-energy effective theory on non-Abelian semilocal vortices in SQCD with the U(N) gauge group and N + \tilde{N} quark flavors was obtained in field theory arXiv:1104.2077. The result is exact in a certain limit of large infrared cut-off. The resulting model was called the zn model. We study quantum dynamics of the zn model in some detail. First we solve it at large N in the leading or… ▽ More Recently a low-energy effective theory on non-Abelian semilocal vortices in SQCD with the U(N) gauge group and N + \tilde{N} quark flavors was obtained in field theory arXiv:1104.2077. The result is exact in a certain limit of large infrared cut-off. The resulting model was called the zn model. We study quantum dynamics of the zn model in some detail. First we solve it at large N in the leading order. Then we compare our results with those of Hanany and Tong hep-th/0403158 (the HT model) who based their derivation on a certain type-IIA formalism, rather than on a field-theory construction. In the 't Hooft limit of infinite N both model's predictions are identical. At finite N our calculations agree with the Hanany-Tong results only in the BPS sector. Beyond the BPS sector there is no agreement between the zn and HT models. Finally, we study perturbation theory of the zn model from various standpoints. △ Less

Submitted 29 September, 2011; v1 submitted 19 July, 2011; originally announced July 2011.

Comments: 41 pages, 5 figures, typos corrected

Report number: FTPI-MINN-11/17; UMN-TH-3007/11

Journal ref: Phys. Rev. D 84, 065018 (2011)

Effective World-Sheet Theory for Non-Abelian Semilocal Strings in N = 2 Supersymmetric QCD

Authors: M. Shifman, W. Vinci, A. Yung

Abstract: We consider non-Abelian semilocal strings (vortices, or vortex-strings) arising in N=2 supersymmetric U(N) gauge theory with Nf=N+Ñ matter hypermultiplets in the fundamental representation (quarks), and a Fayet-Iliopoulos term ξ. We present, for the first time ever, a systematic field-theoretic derivation of the world-sheet theory for such strings, describing dynamics of both, orientational and si… ▽ More We consider non-Abelian semilocal strings (vortices, or vortex-strings) arising in N=2 supersymmetric U(N) gauge theory with Nf=N+Ñ matter hypermultiplets in the fundamental representation (quarks), and a Fayet-Iliopoulos term ξ. We present, for the first time ever, a systematic field-theoretic derivation of the world-sheet theory for such strings, describing dynamics of both, orientational and size zero modes. Our derivation is complete in the limit, ln(L)\rightarrow \infty, where L is an infrared (IR) regulator in the transverse plane. In this limit the world-sheet theory is obtained exactly. It is presented by a so far unknown N=2 two-dimensional sigma model, to which we refer as the zn model, with or without twisted masses. Alternative formulations of the zn model are worked out: conventional and extended gauged formulations and a geometric formulation. We compare the exact metric of the zn model with that of the weighted CP(Nf-1) model conjectured by Hanany and Tong, through D-branes, as the world-sheet theory for the non-Abelian semilocal strings. The Hanany-Tong set-up has no parallel for the field-theoretic IR parameter and metrics of the weighted CP(Nf-1) model and zn model are different. Still their quasiclassical excitation spectra coincide. △ Less

Submitted 11 April, 2011; originally announced April 2011.

Comments: 56 pages

Journal ref: Phys.Rev.D83:125017,2011

Non-Abelian Monopoles in the Higgs Phase

Authors: Muneto Nitta, Walter Vinci

Abstract: We use the moduli matrix approach to study the moduli space of 1/4 BPS kinks supported by vortices in the Higgs phase of N = 2 supersymmetric U(N) gauge theories when non-zero masses for the matter hypermultiplets are introduced. We focus on the case of degenerate masses. In these special cases vortices acquire new orientational degrees of freedom, and become "non-Abelian". Kinks acquire new degre… ▽ More We use the moduli matrix approach to study the moduli space of 1/4 BPS kinks supported by vortices in the Higgs phase of N = 2 supersymmetric U(N) gauge theories when non-zero masses for the matter hypermultiplets are introduced. We focus on the case of degenerate masses. In these special cases vortices acquire new orientational degrees of freedom, and become "non-Abelian". Kinks acquire new degrees of freedom too, and we will refer to them as "non-Abelian". As already noticed for the Abelian case, non-Abelian kinks must correspond to non-Abelian monopoles of the unbroken phase of SU(N) Yang-Mills. We show, in some special cases, that the moduli spaces of the two objects are in one-to-one correspondence. We argue that the corre- spondence holds in the most general case. The consequence of our result is two-fold. First, it gives an alternative way to construct non-Abelian monopoles, in addition to other well- known techniques (Nahm transform, spectral curves, rational maps). Second, it opens the way to the study of the quantum physics of non- Abelian monopoles, by considering the simpler non-Abelian kinks. △ Less

Submitted 28 February, 2011; v1 submitted 17 December, 2010; originally announced December 2010.

Comments: 37 pages, no figures; v2: refs. added

Journal ref: Nucl.Phys.B848:121-154,2011

Large-N Solution of the Heterotic Weighted Non-Linear Sigma-Model

Authors: Peter Koroteev, Alexander Monin, Walter Vinci

Abstract: We study a heterotic two-dimensional N=(0,2) gauged non-linear sigma-model whose target space is a weighted complex projective space. We consider the case with N positively and N^~=N_F - N negatively charged fields. This model is believed to give a description of the low-energy physics of a non-Abelian semi-local vortex in a four-dimensional N=2 supersymmetric U(N) gauge theory with N_F > N matter… ▽ More We study a heterotic two-dimensional N=(0,2) gauged non-linear sigma-model whose target space is a weighted complex projective space. We consider the case with N positively and N^~=N_F - N negatively charged fields. This model is believed to give a description of the low-energy physics of a non-Abelian semi-local vortex in a four-dimensional N=2 supersymmetric U(N) gauge theory with N_F > N matter hypermultiplets. The supersymmetry in the latter theory is broken down to N=1 by a mass term for the adjoint fields. We solve the model in the large-N approximation and explore a two-dimensional subset of the mass parameter space for which a discrete Z_{N-N^~} symmetry is preserved. Supersymmetry is generically broken, but it is preserved for special values of the masses where a new branch opens up and the model becomes super-conformal. △ Less

Submitted 28 December, 2010; v1 submitted 30 September, 2010; originally announced September 2010.

Comments: 34 pages, 10 figures, references added

Report number: FTPI-MINN-10/26, UMN-TH-2918/10

Journal ref: Phys.Rev.D82:125023,2010

Fractional Vortices and Lumps

Authors: Minoru Eto, Toshiaki Fujimori, Sven Bjarke Gudnason, Kenichi Konishi, Takayuki Nagashima, Muneto Nitta, Keisuke Ohashi, Walter Vinci

Abstract: We study what might be called fractional vortices, vortex configurations with the minimum winding from the viewpoint of their topological stability, but which are characterized by various notable substructures in the transverse energy distribution. The fractional vortices occur in diverse Abelian or non-Abelian generalizations of the Higgs model. The global and local features characterizing thes… ▽ More We study what might be called fractional vortices, vortex configurations with the minimum winding from the viewpoint of their topological stability, but which are characterized by various notable substructures in the transverse energy distribution. The fractional vortices occur in diverse Abelian or non-Abelian generalizations of the Higgs model. The global and local features characterizing these are studied, and we identify the two crucial ingredients for their occurrence - the vacuum degeneracy leading to non-trivial vacuum moduli M, and the BPS nature of the vortices. Fractional vortices are further classified into two kinds. The first type of such vortices appear when M has orbifold Z_n singularities; the second type occurs in systems in which the vacuum moduli space M possesses either a deformed geometry or some singularity. These general features are illustrated with several concrete models. △ Less

Submitted 17 August, 2009; v1 submitted 21 May, 2009; originally announced May 2009.

Comments: LaTeX, 46 pages, 12 figures. V2: minor changes, footnote added

Report number: RIKEN-TH-154, IFUP-TH/2009-10

Journal ref: Phys.Rev.D80:045018,2009

Non-Abelian Vortices in SO(N) and USp(N) Gauge Theories

Authors: Minoru Eto, Toshiaki Fujimori, Sven Bjarke Gudnason, Kenichi Konishi, Takayuki Nagashima, Muneto Nitta, Keisuke Ohashi, Walter Vinci

Abstract: Non-Abelian BPS vortices in SO(N) x U(1) and USp(2N) x U(1) gauge theories are constructed in maximally color-flavor locked vacua. We study in detail their moduli and transformation properties under the exact symmetry of the system. Our results generalize non-trivially those found earlier in supersymmetric U(N) gauge theories. The structure of the moduli spaces turns out in fact to be considerab… ▽ More Non-Abelian BPS vortices in SO(N) x U(1) and USp(2N) x U(1) gauge theories are constructed in maximally color-flavor locked vacua. We study in detail their moduli and transformation properties under the exact symmetry of the system. Our results generalize non-trivially those found earlier in supersymmetric U(N) gauge theories. The structure of the moduli spaces turns out in fact to be considerably richer here than what was found in the U(N) theories. We find that vortices are generally of the semi-local type, with power-like tails of profile functions. △ Less

Submitted 25 March, 2009; originally announced March 2009.

Comments: Latex, 69 pages, 13 figures

Report number: DAMTP-2009-27, IFUP-TH/2009-07, TIT/HEP-595

Journal ref: JHEP 0906:004,2009

On the Stability of Non-Abelian Semi-local Vortices

Authors: Roberto Auzzi, Minoru Eto, Sven Bjarke Gudnason, Kenichi Konishi, Walter Vinci

Abstract: We study the stability of non-Abelian semi-local vortices based on an N=2 supersymmetric H = [SU(Nc) x U(1)]/Z_Nc = U(Nc) gauge theory with an arbitrary number of flavors (Nf > Nc) in the fundamental representation, when certain N=1 mass terms are present, making the vortex solutions no longer BPS-saturated. Local (ANO-like) vortices are found to be stable against fluctuations in the transverse… ▽ More We study the stability of non-Abelian semi-local vortices based on an N=2 supersymmetric H = [SU(Nc) x U(1)]/Z_Nc = U(Nc) gauge theory with an arbitrary number of flavors (Nf > Nc) in the fundamental representation, when certain N=1 mass terms are present, making the vortex solutions no longer BPS-saturated. Local (ANO-like) vortices are found to be stable against fluctuations in the transverse directions. Strong evidence is found that the ANO-like vortices are actually the true minima. In other words, the semi-local moduli, which are present in the BPS limit, disappear in our non-BPS system, leaving the vortex with the orientational moduli CP(Nc-1) only. We discuss the implications of this fact on the system in which the U(Nc) model arises as the low-energy approximation of an underlying e.g. G = SU(Nc+1) gauge theory. △ Less

Submitted 12 March, 2009; v1 submitted 31 October, 2008; originally announced October 2008.

Comments: LaTeX 19 pages, 9 figures; v2: comments added in Section 2.3; v3: reference added

Report number: IFUP-TH/2008-35

Journal ref: Nucl.Phys.B813:484-502,2009

A Generalized Construction for Lumps and Non-Abelian Vortices

Authors: Walter Vinci

Abstract: We construct the general vortex solution in a fully-Higgsed, color-flavor locked vacuum of a non-Abelian gauge theory, where the gauge group is taken to be the product of an arbitrary simple group and U(1), with a Fayet-Iliopoulos term. The strict correspondence between vortices and lumps in the associated Non-Linear Sigma-Model which arise in the limit of strong coupling is pointed out. The con… ▽ More We construct the general vortex solution in a fully-Higgsed, color-flavor locked vacuum of a non-Abelian gauge theory, where the gauge group is taken to be the product of an arbitrary simple group and U(1), with a Fayet-Iliopoulos term. The strict correspondence between vortices and lumps in the associated Non-Linear Sigma-Model which arise in the limit of strong coupling is pointed out. The construction of the vortex moduli space is derived here as a consequence of this correspondence. △ Less

Submitted 14 October, 2008; originally announced October 2008.

Comments: 12 pages, no figures, Contribution to "Continuous Advances in QCD 2008", Minneapolis, May 2008

Report number: IFUP-TH/2008-33

Constructing Non-Abelian Vortices with Arbitrary Gauge Groups

Authors: Minoru Eto, Toshiaki Fujimori, Sven Bjarke Gudnason, Kenichi Konishi, Muneto Nitta, Keisuke Ohashi, Walter Vinci

Abstract: We construct the general vortex solution in the fully-Higgsed, color-flavor locked vacuum of a non-Abelian gauge theory, where the gauge group is taken to be the product of an arbitrary simple group and U(1), with a Fayet-Iliopoulos term. The vortex moduli space is determined. We construct the general vortex solution in the fully-Higgsed, color-flavor locked vacuum of a non-Abelian gauge theory, where the gauge group is taken to be the product of an arbitrary simple group and U(1), with a Fayet-Iliopoulos term. The vortex moduli space is determined. △ Less

Submitted 15 February, 2008; v1 submitted 7 February, 2008; originally announced February 2008.

Comments: 10 pages, no figures, v2: minor changes and typos corrected

Report number: IFUP-TH/2008-02, TIT/HEP-579, DAMTP-2008-8

Journal ref: Phys.Lett.B669:98-101,2008

Static Interactions of non-Abelian Vortices

Authors: Roberto Auzzi, Minoru Eto, Walter Vinci

Abstract: Interactions between non-BPS non-Abelian vortices are studied in non-Abelian U(1) x SU(N) extensions of the Abelian-Higgs model in four dimensions. The distinctive feature of a non-Abelian vortex is the presence of an internal CP^{N-1} space of orientational degrees of freedom. For fine-tuned values of the couplings, the vortices are BPS and there is no net force between two static parallel vort… ▽ More Interactions between non-BPS non-Abelian vortices are studied in non-Abelian U(1) x SU(N) extensions of the Abelian-Higgs model in four dimensions. The distinctive feature of a non-Abelian vortex is the presence of an internal CP^{N-1} space of orientational degrees of freedom. For fine-tuned values of the couplings, the vortices are BPS and there is no net force between two static parallel vortices at arbitrary distance. On the other hand, for generic values of the couplings the interactions between two vortices depend non-trivially on their relative internal orientations. We discuss the problem both with a numerical approach (valid for small deviations from the BPS limit) and in a semi-analytical way (valid at large vortex separations). The interactions can be classified with respect to their asymptotic property at large vortex separation. In a simpler fine-tuned model, we find two regimes which are quite similar to the usual type I/II Abelian superconductors. In the generic model we find other two new regimes: type I*/II*. Unlike the type I (type II) case, where the interaction is always attractive (repulsive), the type I* and II* have both attractive and repulsive interactions depending on the relative orientation. We have found a rich variety of interactions at small vortex separations. For some values of the couplings, a bound state of two static vortices at a non-zero distance exists. △ Less

Submitted 22 November, 2007; v1 submitted 1 November, 2007; originally announced November 2007.

Comments: 36 pages, 13 figures; v2 a small comment and a reference added

Report number: IFUP-TH/2007-29

Journal ref: JHEP0802:100,2008

Type I Non-Abelian Superconductors in Supersymmetric Gauge Theories

Authors: Roberto Auzzi, Minoru Eto, Walter Vinci

Abstract: Non-BPS non-Abelian vortices with CP^1 internal moduli space are studied in an N=2 supersymmetric U(1) x SU(2) gauge theory with softly breaking adjoint mass terms. For generic internal orientations the classical force between two vortices can be attractive or repulsive. On the other hand, the mass of the scalars in the theory is always less than that of the vector bosons; also, the force betwee… ▽ More Non-BPS non-Abelian vortices with CP^1 internal moduli space are studied in an N=2 supersymmetric U(1) x SU(2) gauge theory with softly breaking adjoint mass terms. For generic internal orientations the classical force between two vortices can be attractive or repulsive. On the other hand, the mass of the scalars in the theory is always less than that of the vector bosons; also, the force between two vortices with the same CP^1 orientation is always attractive: for these reasons we interpret our model as a non-Abelian generalization of type I superconductors. We compute the effective potential in the limit of two well separated vortices. It is a function of the distance and of the relative colour-flavour orientation of the two vortices; in this limit we find an effective description in terms of two interacting CP^1 sigma models. In the limit of two coincident vortices we find two different solutions with the same topological winding and, for generic values of the parameters, different tensions. One of the two solutions is described by a CP^1 effective sigma model, while the other is just an Abelian vortex without internal degrees of freedom. For generic values of the parameters, one of the two solutions is metastable, while there are evidences that the other one is truly stable. △ Less

Submitted 10 October, 2007; v1 submitted 12 September, 2007; originally announced September 2007.

Comments: 35 pages, 8 figures. v2: fixed typos and added small comments, v3 removed an unecessary figure

Report number: IFUP-TH/2007-23

Journal ref: JHEP 0711:090,2007

On the moduli space of semilocal strings and lumps

Authors: Minoru Eto, Jarah Evslin, Kenichi Konishi, Giacomo Marmorini, Muneto Nitta, Keisuke Ohashi, Walter Vinci, Naoto Yokoi

Abstract: We study BPS non-abelian semilocal vortices in U(Nc) gauge theory with Nf flavors, Nf > Nc, in the Higgs phase. The moduli space for arbitrary winding number is described using the moduli matrix formalism. We find a relation between the moduli spaces of the semilocal vortices in a Seiberg-like dual pairs of theories, U(Nc) and U(Nf-Nc). They are two alternative regularizations of a "parent" non-… ▽ More We study BPS non-abelian semilocal vortices in U(Nc) gauge theory with Nf flavors, Nf > Nc, in the Higgs phase. The moduli space for arbitrary winding number is described using the moduli matrix formalism. We find a relation between the moduli spaces of the semilocal vortices in a Seiberg-like dual pairs of theories, U(Nc) and U(Nf-Nc). They are two alternative regularizations of a "parent" non-Hausdorff space, which tend to the same moduli space of sigma-model lumps in the infinite gauge coupling limits. We examine the normalizability of the zero-modes and find the somewhat surprising phenomenon that the number of normalizable zero-modes, dynamical fields in the effective action, depends on the point of the moduli space we are considering. We find, in the lump limit, an effective action on the vortex worldsheet, which we compare to that found by Shifman and Yung. △ Less

Submitted 28 June, 2007; v1 submitted 17 April, 2007; originally announced April 2007.

Comments: 1+48 pages, 5 fig. v2 several changes to secton 6.3, sections 6.4 and 6.5 added

Journal ref: Phys.Rev.D76:105002,2007

Non-Abelian duality from vortex moduli: a dual model of color-confinement

Authors: Minoru Eto, Luca Ferretti, Kenichi Konishi, Giacomo Marmorini, Muneto Nitta, Keisuke Ohashi, Walter Vinci, Naoto Yokoi

Abstract: It is argued that the dual transformation of non-Abelian monopoles occurring in a system with gauge symmetry breaking G -> H is to be defined by setting the low-energy H system in Higgs phase, so that the dual system is in confinement phase. The transformation law of the monopoles follows from that of monopole-vortex mixed configurations in the system (with a large hierarchy of energy scales, v_… ▽ More It is argued that the dual transformation of non-Abelian monopoles occurring in a system with gauge symmetry breaking G -> H is to be defined by setting the low-energy H system in Higgs phase, so that the dual system is in confinement phase. The transformation law of the monopoles follows from that of monopole-vortex mixed configurations in the system (with a large hierarchy of energy scales, v_1 >> v_2) G -> H -> 0, under an unbroken, exact color-flavor diagonal symmetry H_{C+F} \sim {\tilde H}. The transformation property among the regular monopoles characterized by π_2(G/H), follows from that among the non-Abelian vortices with flux quantized according to π_1(H), via the isomorphism π_1(G) \sim π_1(H) / π_2(G/H). Our idea is tested against the concrete models -- softly-broken {\cal N}=2 supersymmetric SU(N), SO(N) and USp(2N) theories, with appropriate number of flavors. The results obtained in the semiclassical regime (at v_1 >> v_2 >> Λ) of these models are consistent with those inferred from the fully quantum-mechanical low-energy effective action of the systems (at v_1, v_2 \sim Λ). △ Less

Submitted 16 May, 2007; v1 submitted 28 November, 2006; originally announced November 2006.

Comments: 2+27 pages, 5 figures; v3, minor changes

Report number: UT-Komaba/06-11, TIT/HEP-561, IFUP-TH/2006-26, RIKEN-TH-89, SISSA 76/2006/EP

Journal ref: Nucl.Phys.B780:161-187,2007

Universal Reconnection of Non-Abelian Cosmic Strings

Authors: Minoru Eto, Koji Hashimoto, Giacomo Marmorini, Muneto Nitta, Keisuke Ohashi, Walter Vinci

Abstract: We show that local/semilocal strings in Abelian/non-Abelian gauge theories with critical couplings always reconnect classically in collision, by using moduli space approximation. The moduli matrix formalism explicitly identifies a well-defined set of the vortex moduli parameters. Our analysis of generic geodesic motion in terms of those shows right-angle scattering in head-on collision of two vo… ▽ More We show that local/semilocal strings in Abelian/non-Abelian gauge theories with critical couplings always reconnect classically in collision, by using moduli space approximation. The moduli matrix formalism explicitly identifies a well-defined set of the vortex moduli parameters. Our analysis of generic geodesic motion in terms of those shows right-angle scattering in head-on collision of two vortices, which is known to give the reconnection of the strings. △ Less

Submitted 25 March, 2007; v1 submitted 28 September, 2006; originally announced September 2006.

Comments: 5 pages; v2 references added; v3 the final version

Report number: IFUP-TH/2006-21, TIT/HEP-559, UT-Komaba/06-9

Journal ref: Phys.Rev.Lett.98:091602,2007

Non-Abelian Vortices of Higher Winding Numbers

Authors: Minoru Eto, Kenichi Konishi, Giacomo Marmorini, Muneto Nitta, Keisuke Ohashi, Walter Vinci, Naoto Yokoi

Abstract: We make a detailed study of the moduli space of winding number two (k=2) axially symmetric vortices (or equivalently, of co-axial composite of two fundamental vortices), occurring in U(2) gauge theory with two flavors in the Higgs phase, recently discussed by Hashimoto-Tong (hep-th/0506022) and Auzzi-Shifman-Yung (hep-th/0511150). We find that it is a weighted projective space WCP^2_(2,1,1)=CP^2… ▽ More We make a detailed study of the moduli space of winding number two (k=2) axially symmetric vortices (or equivalently, of co-axial composite of two fundamental vortices), occurring in U(2) gauge theory with two flavors in the Higgs phase, recently discussed by Hashimoto-Tong (hep-th/0506022) and Auzzi-Shifman-Yung (hep-th/0511150). We find that it is a weighted projective space WCP^2_(2,1,1)=CP^2/Z_2. This manifold contains an A_1-type (Z_2) orbifold singularity even though the full moduli space including the relative position moduli is smooth. The SU(2) transformation properties of such vortices are studied. Our results are then generalized to U(N) gauge theory with N flavors, where the internal moduli space of k=2 axially symmetric vortices is found to be a weighted Grassmannian manifold. It contains singularities along a submanifold. △ Less

Submitted 18 October, 2006; v1 submitted 11 July, 2006; originally announced July 2006.

Comments: 32 pages, 1 figure, the final version published in PRD

Report number: TIT/HEP-554, IFUP-TH/2006-13, RIKEN-TH-73, UT-Komaba/06-6

Journal ref: Phys.Rev.D74:065021,2006