Showing 1–50 of 145 results for author: Severini, S

Multilingual Word Embeddings for Low-Resource Languages using Anchors and a Chain of Related Languages

Authors: Viktor Hangya, Silvia Severini, Radoslav Ralev, Alexander Fraser, Hinrich Schütze

Abstract: Very low-resource languages, having only a few million tokens worth of data, are not well-supported by multilingual NLP approaches due to poor quality cross-lingual word representations. Recent work showed that good cross-lingual performance can be achieved if a source language is related to the low-resource target language. However, not all language pairs are related. In this paper, we propose to… ▽ More Very low-resource languages, having only a few million tokens worth of data, are not well-supported by multilingual NLP approaches due to poor quality cross-lingual word representations. Recent work showed that good cross-lingual performance can be achieved if a source language is related to the low-resource target language. However, not all language pairs are related. In this paper, we propose to build multilingual word embeddings (MWEs) via a novel language chain-based approach, that incorporates intermediate related languages to bridge the gap between the distant source and target. We build MWEs one language at a time by starting from the resource rich source and sequentially adding each language in the chain till we reach the target. We extend a semi-joint bilingual approach to multiple languages in order to eliminate the main weakness of previous works, i.e., independently trained monolingual embeddings, by anchoring the target language around the multilingual space. We evaluate our method on bilingual lexicon induction for 4 language families, involving 4 very low-resource (<5M tokens) and 4 moderately low-resource (<50M) target languages, showing improved performance in both categories. Additionally, our analysis reveals the importance of good quality embeddings for intermediate languages as well as the importance of leveraging anchor points from all languages in the multilingual space. △ Less

Submitted 21 November, 2023; originally announced November 2023.

Comments: Accepted at the MRL 2023 workshop

Glot500: Scaling Multilingual Corpora and Language Models to 500 Languages

Authors: Ayyoob Imani, Peiqin Lin, Amir Hossein Kargaran, Silvia Severini, Masoud Jalili Sabet, Nora Kassner, Chunlan Ma, Helmut Schmid, André F. T. Martins, François Yvon, Hinrich Schütze

Abstract: The NLP community has mainly focused on scaling Large Language Models (LLMs) vertically, i.e., making them better for about 100 languages. We instead scale LLMs horizontally: we create, through continued pretraining, Glot500-m, an LLM that covers 511 predominantly low-resource languages. An important part of this effort is to collect and clean Glot500-c, a corpus that covers these 511 languages an… ▽ More The NLP community has mainly focused on scaling Large Language Models (LLMs) vertically, i.e., making them better for about 100 languages. We instead scale LLMs horizontally: we create, through continued pretraining, Glot500-m, an LLM that covers 511 predominantly low-resource languages. An important part of this effort is to collect and clean Glot500-c, a corpus that covers these 511 languages and allows us to train Glot500-m. We evaluate Glot500-m on five diverse tasks across these languages. We observe large improvements for both high-resource and low-resource languages compared to an XLM-R baseline. Our analysis shows that no single factor explains the quality of multilingual LLM representations. Rather, a combination of factors determines quality including corpus size, script, "help" from related languages and the total capacity of the model. Our work addresses an important goal of NLP research: we should not limit NLP to a small fraction of the world's languages and instead strive to support as many languages as possible to bring the benefits of NLP technology to all languages and cultures. Code, data and models are available at https://github.com/cisnlp/Glot500. △ Less

Submitted 26 May, 2023; v1 submitted 20 May, 2023; originally announced May 2023.

Comments: ACL 2023

The impact of CAP subsidies on the productivity of cereal farms in six European countries

Authors: Luigi Biagini, Federico Antonioli, Simone Severini

Abstract: Total factor productivity (TFP) is a key determinant of farm development, a sector that receives substantial public support. The issue has taken on great importance today, where the conflict in Ukraine has led to repercussions on the cereal markets. This paper investigates the effects of different subsidies on the productivity of cereal farms, accounting that farms differ according to the level of… ▽ More Total factor productivity (TFP) is a key determinant of farm development, a sector that receives substantial public support. The issue has taken on great importance today, where the conflict in Ukraine has led to repercussions on the cereal markets. This paper investigates the effects of different subsidies on the productivity of cereal farms, accounting that farms differ according to the level of TFP. We relied on a three-step estimation strategy: i) estimation of production functions, ii) evaluation of TFP, and iii) assessment of the relationship between CAP subsidies and TFP. To overcome multiple endogeneity problems, the System-GMM estimator is adopted. The investigation embraces farms in France, Germany, Italy, Poland, Spain and the United Kingdom using the FADN samples from 2008 to 2018. Adding to previous analyses, we compare results from different countries and investigate three subsets of farms with varying levels of TFP. The outcomes confirm how CAP negatively impacts farm TFP, but the extent differs according to the type of subsidies, the six countries and, within these, among farms with different productivity groups. Therefore there is room for policy improvements in order to foster the productivity of cereal farms. △ Less

Submitted 7 December, 2022; originally announced December 2022.

Comments: Working Paper May 2022

Can Machine Learning discover the determining factors in participation in insurance schemes? A comparative analysis

Authors: Luigi Biagini, Simone Severini

Abstract: Identifying factors that affect participation is key to a successful insurance scheme. This study's challenges involve using many factors that could affect insurance participation to make a better forecast.Huge numbers of factors affect participation, making evaluation difficult. These interrelated factors can mask the influence on adhesion predictions, making them misleading.This study evaluated… ▽ More Identifying factors that affect participation is key to a successful insurance scheme. This study's challenges involve using many factors that could affect insurance participation to make a better forecast.Huge numbers of factors affect participation, making evaluation difficult. These interrelated factors can mask the influence on adhesion predictions, making them misleading.This study evaluated how 66 common characteristics affect insurance participation choices. We relied on individual farm data from FADN from 2016 to 2019 with type 1 (Fieldcrops) farming with 10,926 observations.We use three Machine Learning (ML) approaches (LASSO, Boosting, Random Forest) compare them to the GLM model used in insurance modelling. ML methodologies can use a large set of information efficiently by performing the variable selection. A highly accurate parsimonious model helps us understand the factors affecting insurance participation and design better products.ML predicts fairly well despite the complexity of insurance participation problem. Our results suggest Boosting performs better than the other two ML tools using a smaller set of regressors. The proposed ML tools identify which variables explain participation choice. This information includes the number of cases in which single variables are selected and their relative importance in affecting participation.Focusing on the subset of information that best explains insurance participation could reduce the cost of designing insurance schemes. △ Less

Submitted 19 December, 2022; v1 submitted 6 December, 2022; originally announced December 2022.

Graph-Based Multilingual Label Propagation for Low-Resource Part-of-Speech Tagging

Authors: Ayyoob Imani, Silvia Severini, Masoud Jalili Sabet, François Yvon, Hinrich Schütze

Abstract: Part-of-Speech (POS) tagging is an important component of the NLP pipeline, but many low-resource languages lack labeled data for training. An established method for training a POS tagger in such a scenario is to create a labeled training set by transferring from high-resource languages. In this paper, we propose a novel method for transferring labels from multiple high-resource source to low-reso… ▽ More Part-of-Speech (POS) tagging is an important component of the NLP pipeline, but many low-resource languages lack labeled data for training. An established method for training a POS tagger in such a scenario is to create a labeled training set by transferring from high-resource languages. In this paper, we propose a novel method for transferring labels from multiple high-resource source to low-resource target languages. We formalize POS tag projection as graph-based label propagation. Given translations of a sentence in multiple languages, we create a graph with words as nodes and alignment links as edges by aligning words for all language pairs. We then propagate node labels from source to target using a Graph Neural Network augmented with transformer layers. We show that our propagation creates training sets that allow us to train POS taggers for a diverse set of languages. When combined with enhanced contextualized embeddings, our method achieves a new state-of-the-art for unsupervised POS tagging of low-resource languages. △ Less

Submitted 31 October, 2022; v1 submitted 18 October, 2022; originally announced October 2022.

Comments: EMNLP 2022

SilverAlign: MT-Based Silver Data Algorithm For Evaluating Word Alignment

Authors: Abdullatif Köksal, Silvia Severini, Hinrich Schütze

Abstract: Word alignments are essential for a variety of NLP tasks. Therefore, choosing the best approaches for their creation is crucial. However, the scarce availability of gold evaluation data makes the choice difficult. We propose SilverAlign, a new method to automatically create silver data for the evaluation of word aligners by exploiting machine translation and minimal pairs. We show that performance… ▽ More Word alignments are essential for a variety of NLP tasks. Therefore, choosing the best approaches for their creation is crucial. However, the scarce availability of gold evaluation data makes the choice difficult. We propose SilverAlign, a new method to automatically create silver data for the evaluation of word aligners by exploiting machine translation and minimal pairs. We show that performance on our silver data correlates well with gold benchmarks for 9 language pairs, making our approach a valid resource for evaluation of different domains and languages when gold data are not available. This addresses the important scenario of missing gold data alignments for low-resource languages. △ Less

Submitted 27 March, 2023; v1 submitted 12 October, 2022; originally announced October 2022.

Don't Forget Cheap Training Signals Before Building Unsupervised Bilingual Word Embeddings

Authors: Silvia Severini, Viktor Hangya, Masoud Jalili Sabet, Alexander Fraser, Hinrich Schütze

Abstract: Bilingual Word Embeddings (BWEs) are one of the cornerstones of cross-lingual transfer of NLP models. They can be built using only monolingual corpora without supervision leading to numerous works focusing on unsupervised BWEs. However, most of the current approaches to build unsupervised BWEs do not compare their results with methods based on easy-to-access cross-lingual signals. In this paper, w… ▽ More Bilingual Word Embeddings (BWEs) are one of the cornerstones of cross-lingual transfer of NLP models. They can be built using only monolingual corpora without supervision leading to numerous works focusing on unsupervised BWEs. However, most of the current approaches to build unsupervised BWEs do not compare their results with methods based on easy-to-access cross-lingual signals. In this paper, we argue that such signals should always be considered when develo** unsupervised BWE methods. The two approaches we find most effective are: 1) using identical words as seed lexicons (which unsupervised approaches incorrectly assume are not available for orthographically distinct language pairs) and 2) combining such lexicons with pairs extracted by matching romanized versions of words with an edit distance threshold. We experiment on thirteen non-Latin languages (and English) and show that such cheap signals work well and that they outperform using more complex unsupervised methods on distant language pairs such as Chinese, Japanese, Kannada, Tamil, and Thai. In addition, they are even competitive with the use of high-quality lexicons in supervised approaches. Our results show that these training signals should not be neglected when building BWEs, even for distant languages. △ Less

Submitted 31 May, 2022; originally announced May 2022.

Comments: BUCC@LREC 2022

Towards a Broad Coverage Named Entity Resource: A Data-Efficient Approach for Many Diverse Languages

Authors: Silvia Severini, Ayyoob Imani, Philipp Dufter, Hinrich Schütze

Abstract: Parallel corpora are ideal for extracting a multilingual named entity (MNE) resource, i.e., a dataset of names translated into multiple languages. Prior work on extracting MNE datasets from parallel corpora required resources such as large monolingual corpora or word aligners that are unavailable or perform poorly for underresourced languages. We present CLC-BN, a new method for creating an MNE re… ▽ More Parallel corpora are ideal for extracting a multilingual named entity (MNE) resource, i.e., a dataset of names translated into multiple languages. Prior work on extracting MNE datasets from parallel corpora required resources such as large monolingual corpora or word aligners that are unavailable or perform poorly for underresourced languages. We present CLC-BN, a new method for creating an MNE resource, and apply it to the Parallel Bible Corpus, a corpus of more than 1000 languages. CLC-BN learns a neural transliteration model from parallel-corpus statistics, without requiring any other bilingual resources, word aligners, or seed data. Experimental results show that CLC-BN clearly outperforms prior work. We release an MNE resource for 1340 languages and demonstrate its effectiveness in two downstream tasks: knowledge graph augmentation and bilingual lexicon induction. △ Less

Submitted 29 April, 2022; v1 submitted 28 January, 2022; originally announced January 2022.

Comments: LREC 2022

The role of Common Agricultural Policy (CAP) in enhancing and stabilising farm income: an analysis of income transfer efficiency and the Income Stabilisation Tool

Authors: Luigi Biagini, Simone Severini

Abstract: Since its inception, the E.U.'s Common Agricultural Policy (CAP) aimed at ensuring an adequate and stable farm income. While recognizing that the CAP pursues a larger set of objectives, this thesis focuses on the impact of the CAP on the level and the stability of farm income in Italian farms. It uses microdata from a high standardized dataset, the Farm Accountancy Data Network (FADN), that is ava… ▽ More Since its inception, the E.U.'s Common Agricultural Policy (CAP) aimed at ensuring an adequate and stable farm income. While recognizing that the CAP pursues a larger set of objectives, this thesis focuses on the impact of the CAP on the level and the stability of farm income in Italian farms. It uses microdata from a high standardized dataset, the Farm Accountancy Data Network (FADN), that is available in all E.U. countries. This allows if perceived as useful, to replicate the analyses to other countries. The thesis first assesses the Income Transfer Efficiency (i.e., how much of the support translate to farm income) of several CAP measures. Secondly, it analyses the role of a specific and relatively new CAP measure (i.e., the Income Stabilisation Tool - IST) that is specifically aimed at stabilising farm income. The assessment of the potential use of Machine Learning procedures to develop an adequate ratemaking in IST. These are used to predict indemnity levels because this is an essential point for a similar insurance scheme. The assessment of ratemaking is challenging: indemnity distribution is zero-inflated, not-continuous, right-skewed, and several factors can potentially explain it. We address these problems by using Tweedie distributions and three Machine Learning procedures. The objective is to assess whether this improves the ratemaking by using the prospective application of the Income Stabilization Tool in Italy as a case study. We look at the econometric performance of the models and the impact of using their predictions in practice. Some of these procedures efficiently predict indemnities, using a limited number of regressors, and ensuring the scheme's financial stability. △ Less

Submitted 29 April, 2021; originally announced April 2021.

Comments: 127 page

MSC Class: 91B30; 91B24

CodeTrans: Towards Cracking the Language of Silicon's Code Through Self-Supervised Deep Learning and High Performance Computing

Authors: Ahmed Elnaggar, Wei Ding, Llion Jones, Tom Gibbs, Tamas Feher, Christoph Angerer, Silvia Severini, Florian Matthes, Burkhard Rost

Abstract: Currently, a growing number of mature natural language processing applications make people's life more convenient. Such applications are built by source code - the language in software engineering. However, the applications for understanding source code language to ease the software engineering process are under-researched. Simultaneously, the transformer model, especially its combination with tra… ▽ More Currently, a growing number of mature natural language processing applications make people's life more convenient. Such applications are built by source code - the language in software engineering. However, the applications for understanding source code language to ease the software engineering process are under-researched. Simultaneously, the transformer model, especially its combination with transfer learning, has been proven to be a powerful technique for natural language processing tasks. These breakthroughs point out a promising direction for process source code and crack software engineering tasks. This paper describes CodeTrans - an encoder-decoder transformer model for tasks in the software engineering domain, that explores the effectiveness of encoder-decoder transformer models for six software engineering tasks, including thirteen sub-tasks. Moreover, we have investigated the effect of different training strategies, including single-task learning, transfer learning, multi-task learning, and multi-task learning with fine-tuning. CodeTrans outperforms the state-of-the-art models on all the tasks. To expedite future works in the software engineering domain, we have published our pre-trained models of CodeTrans. https://github.com/agemagician/CodeTrans △ Less

Submitted 12 May, 2021; v1 submitted 6 April, 2021; originally announced April 2021.

Comments: 28 pages, 6 tables and 1 figure

The direct and indirect effect of CAP support on farm income enhancement:a farm-based econometric analysis

Authors: Simone Severini, Luigi Biagini

Abstract: We assess the correlation between CAP support provided to farmers and their income and use of capital and labour in the first year of the new CAP regime. This is done applying three regression models on the Italian FADN farms controlling for other farm characteristics. CAP annual payments are positively correlated with farm income and capital but are negatively correlated with labour use. Farm inv… ▽ More We assess the correlation between CAP support provided to farmers and their income and use of capital and labour in the first year of the new CAP regime. This is done applying three regression models on the Italian FADN farms controlling for other farm characteristics. CAP annual payments are positively correlated with farm income and capital but are negatively correlated with labour use. Farm investment support provided by RDP measures is positively correlated to the amount of capital. Results suggest that CAP is positively affecting farm income directly but also indirectly by supporting the substitution of labour with capital △ Less

Submitted 24 July, 2023; v1 submitted 16 September, 2020; originally announced September 2020.

Comments: New paper available

Quantum State Discrimination Using Noisy Quantum Neural Networks

Authors: Andrew Patterson, Hongxiang Chen, Leonard Wossnig, Simone Severini, Dan Browne, Ivan Rungger

Abstract: Near-term quantum computers are noisy, and therefore must run algorithms with a low circuit depth and qubit count. Here we investigate how noise affects a quantum neural network (QNN) for state discrimination, applicable on near-term quantum devices as it fulfils the above criteria. We find that when simulating gradient calculation on a noisy device, a large number of parameters is disadvantageous… ▽ More Near-term quantum computers are noisy, and therefore must run algorithms with a low circuit depth and qubit count. Here we investigate how noise affects a quantum neural network (QNN) for state discrimination, applicable on near-term quantum devices as it fulfils the above criteria. We find that when simulating gradient calculation on a noisy device, a large number of parameters is disadvantageous. By introducing a new smaller circuit ansatz we overcome this limitation, and find that the QNN performs well at noise levels of current quantum hardware. We also show that networks trained at higher noise levels can still converge to useful parameters. Our findings show that noisy quantum computers can be used in applications for state discrimination and for classifiers of the output of quantum generative adversarial networks. △ Less

Submitted 15 June, 2020; v1 submitted 1 November, 2019; originally announced November 2019.

Comments: 8 pages, 9 figures

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

Graph Cut Segmentation Methods Revisited with a Quantum Algorithm

Authors: Lisa Tse, Peter Mountney, Paul Klein, Simone Severini

Abstract: The design and performance of computer vision algorithms are greatly influenced by the hardware on which they are implemented. CPUs, multi-core CPUs, FPGAs and GPUs have inspired new algorithms and enabled existing ideas to be realized. This is notably the case with GPUs, which has significantly changed the landscape of computer vision research through deep learning. As the end of Moores law appro… ▽ More The design and performance of computer vision algorithms are greatly influenced by the hardware on which they are implemented. CPUs, multi-core CPUs, FPGAs and GPUs have inspired new algorithms and enabled existing ideas to be realized. This is notably the case with GPUs, which has significantly changed the landscape of computer vision research through deep learning. As the end of Moores law approaches, researchers and hardware manufacturers are exploring alternative hardware computing paradigms. Quantum computers are a very promising alternative and offer polynomial or even exponential speed-ups over conventional computing for some problems. This paper presents a novel approach to image segmentation that uses new quantum computing hardware. Segmentation is formulated as a graph cut problem that can be mapped to the quantum approximate optimization algorithm (QAOA). This algorithm can be implemented on current and near-term quantum computers. Encouraging results are presented on artificial and medical imaging data. This represents an important, practical step towards leveraging quantum computers for computer vision. △ Less

Submitted 30 March, 2019; v1 submitted 7 December, 2018; originally announced December 2018.

Modelling Non-Markovian Quantum Processes with Recurrent Neural Networks

Authors: Leonardo Banchi, Edward Grant, Andrea Rocchetto, Simone Severini

Abstract: Quantum systems interacting with an unknown environment are notoriously difficult to model, especially in presence of non-Markovian and non-perturbative effects. Here we introduce a neural network based approach, which has the mathematical simplicity of the Gorini-Kossakowski-Sudarshan-Lindblad master equation, but is able to model non-Markovian effects in different regimes. This is achieved by us… ▽ More Quantum systems interacting with an unknown environment are notoriously difficult to model, especially in presence of non-Markovian and non-perturbative effects. Here we introduce a neural network based approach, which has the mathematical simplicity of the Gorini-Kossakowski-Sudarshan-Lindblad master equation, but is able to model non-Markovian effects in different regimes. This is achieved by using recurrent neural networks for defining Lindblad operators that can keep track of memory effects. Building upon this framework, we also introduce a neural network architecture that is able to reproduce the entire quantum evolution, given an initial state. As an application we study how to train these models for quantum process tomography, showing that recurrent neural networks are accurate over different times and regimes. △ Less

Submitted 15 January, 2019; v1 submitted 3 August, 2018; originally announced August 2018.

Comments: 10 pages, 8 figures

Journal ref: New J. Phys. 20 123030 (2018)

Unitary equivalence between the Green's function and Schrödinger approaches for quantum graphs

Authors: Fabiano M. Andrade, Simone Severini

Abstract: In a previous work [Andrade \textit{et al.}, Phys. Rep. \textbf{647}, 1 (2016)], it was shown that the exact Green's function (GF) for an arbitrarily large (although finite) quantum graph is given as a sum over scattering paths, where local quantum effects are taken into account through the reflection and transmission scattering amplitudes. To deal with general graphs, two simplifying procedures w… ▽ More In a previous work [Andrade \textit{et al.}, Phys. Rep. \textbf{647}, 1 (2016)], it was shown that the exact Green's function (GF) for an arbitrarily large (although finite) quantum graph is given as a sum over scattering paths, where local quantum effects are taken into account through the reflection and transmission scattering amplitudes. To deal with general graphs, two simplifying procedures were developed: regrou** of paths into families of paths and the separation of a large graph into subgraphs. However, for less symmetrical graphs with complicated topologies as, for instance, random graphs, it can become cumbersome to choose the subgraphs and the families of paths. In this work, an even more general procedure to construct the energy domain GF for a quantum graph based on its adjacency matrix is presented. This new construction allows us to obtain the secular determinant, unraveling a unitary equivalence between the scattering Schrödinger approach and the Green's function approach. It also enables us to write a trace formula based on the Green's function approach. The present construction has the advantage that it can be applied directly for any graph, going from regular to random topologies. △ Less

Submitted 7 December, 2018; v1 submitted 3 August, 2018; originally announced August 2018.

Comments: 5 pages, 4 figures, published version

Journal ref: Phys. Rev. A 98, 062107 (2018)

Adversarial quantum circuit learning for pure state approximation

Authors: Marcello Benedetti, Edward Grant, Leonard Wossnig, Simone Severini

Abstract: Adversarial learning is one of the most successful approaches to modelling high-dimensional probability distributions from data. The quantum computing community has recently begun to generalize this idea and to look for potential applications. In this work, we derive an adversarial algorithm for the problem of approximating an unknown quantum pure state. Although this could be done on universal qu… ▽ More Adversarial learning is one of the most successful approaches to modelling high-dimensional probability distributions from data. The quantum computing community has recently begun to generalize this idea and to look for potential applications. In this work, we derive an adversarial algorithm for the problem of approximating an unknown quantum pure state. Although this could be done on universal quantum computers, the adversarial formulation enables us to execute the algorithm on near-term quantum computers. Two parametrized circuits are optimized in tandem: One tries to approximate the target state, the other tries to distinguish between target and approximated state. Supported by numerical simulations, we show that resilient backpropagation algorithms perform remarkably well in optimizing the two circuits. We use the bipartite entanglement entropy to design an efficient heuristic for the stop** criterion. Our approach may find application in quantum state tomography. △ Less

Submitted 16 April, 2019; v1 submitted 1 June, 2018; originally announced June 2018.

Comments: 14 pages, 6 figures. Minor revisions. As published in New J. Phys

Journal ref: New J. Phys. 21 043023 (2019)

Universal discriminative quantum neural networks

Authors: Hongxiang Chen, Leonard Wossnig, Simone Severini, Hartmut Neven, Masoud Mohseni

Abstract: Quantum mechanics fundamentally forbids deterministic discrimination of quantum states and processes. However, the ability to optimally distinguish various classes of quantum data is an important primitive in quantum information science. In this work, we train near-term quantum circuits to classify data represented by non-orthogonal quantum probability distributions using the Adam stochastic optim… ▽ More Quantum mechanics fundamentally forbids deterministic discrimination of quantum states and processes. However, the ability to optimally distinguish various classes of quantum data is an important primitive in quantum information science. In this work, we train near-term quantum circuits to classify data represented by non-orthogonal quantum probability distributions using the Adam stochastic optimization algorithm. This is achieved by iterative interactions of a classical device with a quantum processor to discover the parameters of an unknown non-unitary quantum circuit. This circuit learns to simulates the unknown structure of a generalized quantum measurement, or Positive-Operator-Value-Measure (POVM), that is required to optimally distinguish possible distributions of quantum inputs. Notably we use universal circuit topologies, with a theoretically motivated circuit design, which guarantees that our circuits can in principle learn to perform arbitrary input-output map**s. Our numerical simulations show that shallow quantum circuits could be trained to discriminate among various pure and mixed quantum states exhibiting a trade-off between minimizing erroneous and inconclusive outcomes with comparable performance to theoretically optimal POVMs. We train the circuit on different classes of quantum data and evaluate the generalization error on unseen mixed quantum states. This generalization power hence distinguishes our work from standard circuit optimization and provides an example of quantum machine learning for a task that has inherently no classical analogue. △ Less

Submitted 22 May, 2018; originally announced May 2018.

Comments: 19 pages, 10 figures

Quantum Walk Search on Kronecker Graphs

Authors: Thomas G. Wong, Konstantin Wünscher, Joshua Lockhart, Simone Severini

Abstract: Kronecker graphs, obtained by repeatedly performing the Kronecker product of the adjacency matrix of an "initiator" graph with itself, have risen in popularity in network science due to their ability to generate complex networks with real-world properties. In this paper, we explore spatial search by continuous-time quantum walk on Kronecker graphs. Specifically, we give analytical proofs for quant… ▽ More Kronecker graphs, obtained by repeatedly performing the Kronecker product of the adjacency matrix of an "initiator" graph with itself, have risen in popularity in network science due to their ability to generate complex networks with real-world properties. In this paper, we explore spatial search by continuous-time quantum walk on Kronecker graphs. Specifically, we give analytical proofs for quantum search on first-, second-, and third-order Kronecker graphs with the complete graph as the initiator, showing that search takes Grover's $O(\sqrt{N})$ time. Numerical simulations indicate that higher-order Kronecker graphs with the complete initiator also support optimal quantum search. △ Less

Submitted 16 July, 2018; v1 submitted 27 April, 2018; originally announced April 2018.

Comments: 10 pages, 8 figures

Journal ref: Phys. Rev. A 98, 012338 (2018)

Perfect strategies for non-signalling games

Authors: M. Lupini, L. Mancinska, V. I. Paulsen, D. E. Roberson, G. Scarpa, S. Severini, I. G. Todorov, A. Winter

Abstract: We unify and consolidate various results about non-signall-ing games, a subclass of non-local two-player one-round games, by introducing and studying several new families of games and establishing general theorems about them, which extend a number of known facts in a variety of special cases. Among these families are {\it reflexive games,} which are characterised as the hardest non-signalling game… ▽ More We unify and consolidate various results about non-signall-ing games, a subclass of non-local two-player one-round games, by introducing and studying several new families of games and establishing general theorems about them, which extend a number of known facts in a variety of special cases. Among these families are {\it reflexive games,} which are characterised as the hardest non-signalling games that can be won using a given set of strategies. We introduce {\it imitation games,} in which the players display linked behaviour, and which contains as subclasses the classes of variable assignment games, binary constraint system games, synchronous games, many games based on graphs, and {\it unique} games. We associate a C*-algebra $C^*(\mathcal{G})$ to any imitation game $\mathcal{G}$, and show that the existence of perfect quantum commuting (resp.\ quantum, local) strategies of $\mathcal{G}$ can be characterised in terms of properties of this C*-algebra, extending known results about synchronous games. We single out a subclass of imitation games, which we call {\it mirror games,} and provide a characterisation of their quantum commuting strategies that has an algebraic flavour, showing in addition that their approximately quantum perfect strategies arise from amenable traces on the encoding C*-algebra. We describe the main classes of non-signalling correlations in terms of states on operator system tensor products. △ Less

Submitted 17 April, 2018; originally announced April 2018.

Journal ref: Math. Phys. Anal. Geom., vol. 23, 7 (2020)

Hierarchical quantum classifiers

Authors: Edward Grant, Marcello Benedetti, Shuxiang Cao, Andrew Hallam, Joshua Lockhart, Vid Stojevic, Andrew G. Green, Simone Severini

Abstract: Quantum circuits with hierarchical structure have been used to perform binary classification of classical data encoded in a quantum state. We demonstrate that more expressive circuits in the same family achieve better accuracy and can be used to classify highly entangled quantum states, for which there is no known efficient classical method. We compare performance for several different parameteriz… ▽ More Quantum circuits with hierarchical structure have been used to perform binary classification of classical data encoded in a quantum state. We demonstrate that more expressive circuits in the same family achieve better accuracy and can be used to classify highly entangled quantum states, for which there is no known efficient classical method. We compare performance for several different parameterizations on two classical machine learning datasets, Iris and MNIST, and on a synthetic dataset of quantum states. Finally, we demonstrate that performance is robust to noise and deploy an Iris dataset classifier on the ibmqx4 quantum computer. △ Less

Submitted 27 December, 2018; v1 submitted 10 April, 2018; originally announced April 2018.

Journal ref: npj Quantum Information 4, 65 (2018)

Approximating Hamiltonian dynamics with the Nyström method

Authors: Alessandro Rudi, Leonard Wossnig, Carlo Ciliberto, Andrea Rocchetto, Massimiliano Pontil, Simone Severini

Abstract: Simulating the time-evolution of quantum mechanical systems is BQP-hard and expected to be one of the foremost applications of quantum computers. We consider classical algorithms for the approximation of Hamiltonian dynamics using subsampling methods from randomized numerical linear algebra. We derive a simulation technique whose runtime scales polynomially in the number of qubits and the Frobeniu… ▽ More Simulating the time-evolution of quantum mechanical systems is BQP-hard and expected to be one of the foremost applications of quantum computers. We consider classical algorithms for the approximation of Hamiltonian dynamics using subsampling methods from randomized numerical linear algebra. We derive a simulation technique whose runtime scales polynomially in the number of qubits and the Frobenius norm of the Hamiltonian. As an immediate application, we show that sample based quantum simulation, a type of evolution where the Hamiltonian is a density matrix, can be efficiently classically simulated under specific structural conditions. Our main technical contribution is a randomized algorithm for approximating Hermitian matrix exponentials. The proof leverages a low-rank, symmetric approximation via the Nyström method. Our results suggest that under strong sampling assumptions there exist classical poly-logarithmic time simulations of quantum computations. △ Less

Submitted 17 February, 2020; v1 submitted 6 April, 2018; originally announced April 2018.

Comments: v2: 22 pages, fixed typos in Eq.27 and 28 + other minor changes to the presentation of the results; v3 final version accepted to Quantum; v4 DOIs added in order to comply with Quantum requirements

Journal ref: Quantum 4, 234 (2020)

Constructing graphs with limited resources

Authors: Danial Dervovic, Avinash Mocherla, Simone Severini

Abstract: We discuss the amount of physical resources required to construct a given graph, where vertices are added sequentially. We naturally identify information -- distinct into instructions and memory -- and randomness as resources. Not surprisingly, we show that, in this framework, threshold graphs are the simplest possible graphs, since the construction of threshold graphs requires a single bit of ins… ▽ More We discuss the amount of physical resources required to construct a given graph, where vertices are added sequentially. We naturally identify information -- distinct into instructions and memory -- and randomness as resources. Not surprisingly, we show that, in this framework, threshold graphs are the simplest possible graphs, since the construction of threshold graphs requires a single bit of instructions for each vertex and no use of memory. Large instructions without memory do not bring any advantage. With one bit of instructions and one bit of memory for each vertex, we can construct a family of perfect graphs that strictly includes threshold graphs. We consider the case in which memory lasts for a single time step, and show that as well as the standard threshold graphs, linear forests are also producible. We show further that the number of random bits (with no memory or instructions) needed to construct any graph is asymptotically the same as required for the Erdős-Rényi random graph. We also briefly consider constructing trees in this scheme. The problem of defining a hierarchy of graphs in the proposed framework is fully open. △ Less

Submitted 27 February, 2018; originally announced February 2018.

Comments: 16 pages, 1 figure, comments welcome

Quantum linear systems algorithms: a primer

Authors: Danial Dervovic, Mark Herbster, Peter Mountney, Simone Severini, Naïri Usher, Leonard Wossnig

Abstract: The Harrow-Hassidim-Lloyd (HHL) quantum algorithm for sampling from the solution of a linear system provides an exponential speed-up over its classical counterpart. The problem of solving a system of linear equations has a wide scope of applications, and thus HHL constitutes an important algorithmic primitive. In these notes, we present the HHL algorithm and its improved versions in detail, includ… ▽ More The Harrow-Hassidim-Lloyd (HHL) quantum algorithm for sampling from the solution of a linear system provides an exponential speed-up over its classical counterpart. The problem of solving a system of linear equations has a wide scope of applications, and thus HHL constitutes an important algorithmic primitive. In these notes, we present the HHL algorithm and its improved versions in detail, including explanations of the constituent sub- routines. More specifically, we discuss various quantum subroutines such as quantum phase estimation and amplitude amplification, as well as the important question of loading data into a quantum computer, via quantum RAM. The improvements to the original algorithm exploit variable-time amplitude amplification as well as a method for implementing linear combinations of unitary operations (LCUs) based on a decomposition of the operators using Fourier and Chebyshev series. Finally, we discuss a linear solver based on the quantum singular value estimation (QSVE) subroutine. △ Less

Submitted 22 February, 2018; originally announced February 2018.

Comments: 55 pages, 5 figures, comments welcome

Learning DNFs under product distributions via μ-biased quantum Fourier sampling

Authors: Varun Kanade, Andrea Rocchetto, Simone Severini

Abstract: We show that DNF formulae can be quantum PAC-learned in polynomial time under product distributions using a quantum example oracle. The best classical algorithm (without access to membership queries) runs in superpolynomial time. Our result extends the work by Bshouty and Jackson (1998) that proved that DNF formulae are efficiently learnable under the uniform distribution using a quantum example o… ▽ More We show that DNF formulae can be quantum PAC-learned in polynomial time under product distributions using a quantum example oracle. The best classical algorithm (without access to membership queries) runs in superpolynomial time. Our result extends the work by Bshouty and Jackson (1998) that proved that DNF formulae are efficiently learnable under the uniform distribution using a quantum example oracle. Our proof is based on a new quantum algorithm that efficiently samples the coefficients of a μ-biased Fourier transform. △ Less

Submitted 25 November, 2019; v1 submitted 15 February, 2018; originally announced February 2018.

Comments: 17 pages; v3 based on journal version; minor corrections and clarifications

Journal ref: Quantum Information and Computation, Vol. 19, No. 15&16 (2019) 1261-1278

Some Ulam's reconstruction problems for quantum states

Authors: Felix Huber, Simone Severini

Abstract: Provided a complete set of putative $k$-body reductions of a multipartite quantum state, can one determine if a joint state exists? We derive necessary conditions for this to be true. In contrast to what is known as the quantum marginal problem, we consider a setting where the labeling of the subsystems is unknown. The problem can be seen in analogy to Ulam's reconstruction conjecture in graph the… ▽ More Provided a complete set of putative $k$-body reductions of a multipartite quantum state, can one determine if a joint state exists? We derive necessary conditions for this to be true. In contrast to what is known as the quantum marginal problem, we consider a setting where the labeling of the subsystems is unknown. The problem can be seen in analogy to Ulam's reconstruction conjecture in graph theory. The conjecture - still unsolved - claims that every graph on at least three vertices can uniquely be reconstructed from the set of its vertex-deleted subgraphs. When considering quantum states, we demonstrate that the non-existence of joint states can, in some cases, already be inferred from a set of marginals having the size of just more than half of the parties. We apply these methods to graph states, where many constraints can be evaluated by knowing the number of stabilizer elements of certain weights that appear in the reductions. This perspective links with constraints that were derived in the context of quantum error-correcting codes and polynomial invariants. Some of these constraints can be interpreted as monogamy-like relations that limit the correlations arising from quantum states. Lastly, we provide an answer to Ulam's reconstruction problem for generic quantum states. △ Less

Submitted 19 September, 2018; v1 submitted 2 February, 2018; originally announced February 2018.

Comments: 22 pages, 3 figures, v2: significantly revised final version

Journal ref: J. Phys. A: Math. Theor. 51 435301 (2018)

Experimental learning of quantum states

Authors: Andrea Rocchetto, Scott Aaronson, Simone Severini, Gonzalo Carvacho, Davide Poderini, Iris Agresti, Marco Bentivegna, Fabio Sciarrino

Abstract: The number of parameters describing a quantum state is well known to grow exponentially with the number of particles. This scaling clearly limits our ability to do tomography to systems with no more than a few qubits and has been used to argue against the universal validity of quantum mechanics itself. However, from a computational learning theory perspective, it can be shown that, in a probabilis… ▽ More The number of parameters describing a quantum state is well known to grow exponentially with the number of particles. This scaling clearly limits our ability to do tomography to systems with no more than a few qubits and has been used to argue against the universal validity of quantum mechanics itself. However, from a computational learning theory perspective, it can be shown that, in a probabilistic setting, quantum states can be approximately learned using only a linear number of measurements. Here we experimentally demonstrate this linear scaling in optical systems with up to 6 qubits. Our results highlight the power of computational learning theory to investigate quantum information, provide the first experimental demonstration that quantum states can be "probably approximately learned" with access to a number of copies of the state that scales linearly with the number of qubits, and pave the way to probing quantum states at new, larger scales. △ Less

Submitted 30 November, 2017; originally announced December 2017.

Comments: 11 pages, 6 figures

Compact Neural Networks based on the Multiscale Entanglement Renormalization Ansatz

Authors: Andrew Hallam, Edward Grant, Vid Stojevic, Simone Severini, Andrew G. Green

Abstract: This paper demonstrates a method for tensorizing neural networks based upon an efficient way of approximating scale invariant quantum states, the Multi-scale Entanglement Renormalization Ansatz (MERA). We employ MERA as a replacement for the fully connected layers in a convolutional neural network and test this implementation on the CIFAR-10 and CIFAR-100 datasets. The proposed method outperforms… ▽ More This paper demonstrates a method for tensorizing neural networks based upon an efficient way of approximating scale invariant quantum states, the Multi-scale Entanglement Renormalization Ansatz (MERA). We employ MERA as a replacement for the fully connected layers in a convolutional neural network and test this implementation on the CIFAR-10 and CIFAR-100 datasets. The proposed method outperforms factorization using tensor trains, providing greater compression for the same level of accuracy and greater accuracy for the same level of compression. We demonstrate MERA layers with 14000 times fewer parameters and a reduction in accuracy of less than 1% compared to the equivalent fully connected layers, scaling like O(N). △ Less

Submitted 12 December, 2018; v1 submitted 9 November, 2017; originally announced November 2017.

Comments: 8 pages, 2 figures

Learning hard quantum distributions with variational autoencoders

Authors: Andrea Rocchetto, Edward Grant, Sergii Strelchuk, Giuseppe Carleo, Simone Severini

Abstract: Studying general quantum many-body systems is one of the major challenges in modern physics because it requires an amount of computational resources that scales exponentially with the size of the system.Simulating the evolution of a state, or even storing its description, rapidly becomes intractable for exact classical algorithms. Recently, machine learning techniques, in the form of restricted Bo… ▽ More Studying general quantum many-body systems is one of the major challenges in modern physics because it requires an amount of computational resources that scales exponentially with the size of the system.Simulating the evolution of a state, or even storing its description, rapidly becomes intractable for exact classical algorithms. Recently, machine learning techniques, in the form of restricted Boltzmann machines, have been proposed as a way to efficiently represent certain quantum states with applications in state tomography and ground state estimation. Here, we introduce a new representation of states based on variational autoencoders. Variational autoencoders are a type of generative model in the form of a neural network. We probe the power of this representation by encoding probability distributions associated with states from different classes. Our simulations show that deep networks give a better representation for states that are hard to sample from, while providing no benefit for random states. This suggests that the probability distributions associated to hard quantum states might have a compositional structure that can be exploited by layered neural networks. Specifically, we consider the learnability of a class of quantum states introduced by Fefferman and Umans. Such states are provably hard to sample for classical computers, but not for quantum ones, under plausible computational complexity assumptions. The good level of compression achieved for hard states suggests these methods can be suitable for characterising states of the size expected in first generation quantum hardware. △ Less

Submitted 2 July, 2018; v1 submitted 2 October, 2017; originally announced October 2017.

Comments: v2: 9 pages, 3 figures, journal version with major edits with respect to v1 (rewriting of section "hard and easy quantum states", extended discussion on comparison with tensor networks)

Journal ref: npj Quantum Information, Volume 4, Article number: 28 (2018)

Quantum machine learning: a classical perspective

Authors: Carlo Ciliberto, Mark Herbster, Alessandro Davide Ialongo, Massimiliano Pontil, Andrea Rocchetto, Simone Severini, Leonard Wossnig

Abstract: Recently, increased computational power and data availability, as well as algorithmic advances, have led machine learning techniques to impressive results in regression, classification, data-generation and reinforcement learning tasks. Despite these successes, the proximity to the physical limits of chip fabrication alongside the increasing size of datasets are motivating a growing number of resea… ▽ More Recently, increased computational power and data availability, as well as algorithmic advances, have led machine learning techniques to impressive results in regression, classification, data-generation and reinforcement learning tasks. Despite these successes, the proximity to the physical limits of chip fabrication alongside the increasing size of datasets are motivating a growing number of researchers to explore the possibility of harnessing the power of quantum computation to speed-up classical machine learning algorithms. Here we review the literature in quantum machine learning and discuss perspectives for a mixed readership of classical machine learning and quantum computation experts. Particular emphasis will be placed on clarifying the limitations of quantum algorithms, how they compare with their best classical counterparts and why quantum resources are expected to provide advantages for learning problems. Learning in the presence of noise and certain computationally hard problems in machine learning are identified as promising directions for the field. Practical questions, like how to upload classical data into quantum form, will also be addressed. △ Less

Submitted 13 February, 2018; v1 submitted 26 July, 2017; originally announced July 2017.

Comments: v3 33 pages; typos corrected and references added

Journal ref: Proc. R. Soc. A, vol. 474, no. 2209, p. 20170551. The Royal Society, 2018

How to Suppress Dark States in Quantum Networks and Bio-Engineered Structures

Authors: T. P. Le, Ludovica Donati, Simone Severini, Filippo Caruso

Abstract: Transport across quantum networks underlies many problems, from state transfer on a spin network to energy transport in photosynthetic complexes. However, networks can contain dark subspaces that block the transportation, and various methods used to enhance transfer on quantum networks can be viewed as equivalently avoiding, modifying, or destroying the dark subspace. Here, we exploit graph theore… ▽ More Transport across quantum networks underlies many problems, from state transfer on a spin network to energy transport in photosynthetic complexes. However, networks can contain dark subspaces that block the transportation, and various methods used to enhance transfer on quantum networks can be viewed as equivalently avoiding, modifying, or destroying the dark subspace. Here, we exploit graph theoretical tools to identify the dark subspaces and show that asymptotically almost surely they do not exist for large networks, while for small ones they can be suppressed by properly perturbing the coupling rates between the network nodes. More specifically, we apply these results to describe the recently experimentally observed and robust transport behaviour of the electronic excitation travelling on a genetically-engineered light-harvesting cylinder (M13 virus) structure. We believe that these mainly topological tools may allow us to better infer which network structures and dynamics are more favourable to enhance transfer of energy and information towards novel quantum technologies. △ Less

Submitted 24 July, 2017; originally announced July 2017.

Comments: 9 pages, 6 figures

Weak Modular Product of Bipartite Graphs, Bicliques and Isomorphism

Authors: Danial Dervovic, Simone Severini

Abstract: A 1978 theorem of Kozen states that two graphs on $n$ vertices are isomorphic if and only if there is a clique of size $n$ in the weak modular product between the two graphs. Restricting to bipartite graphs and considering complete bipartite subgraphs (bicliques) therein, we study the combinatorics of the weak modular product. We identify cases where isomorphism is tractable using this approach, w… ▽ More A 1978 theorem of Kozen states that two graphs on $n$ vertices are isomorphic if and only if there is a clique of size $n$ in the weak modular product between the two graphs. Restricting to bipartite graphs and considering complete bipartite subgraphs (bicliques) therein, we study the combinatorics of the weak modular product. We identify cases where isomorphism is tractable using this approach, which we call Isomorphism via Biclique Enumeration (IvBE). We find that IvBE is polynomial for bipartite $2K_2$-free graphs and quasi-polynomial for families of bipartite graphs, where the largest induced matching and largest induced crown graph grows slowly in $n$, that is, $O(\mathrm{polylog }\, n)$. Furthermore, as expected a straightforward corollary of Kozen's theorem and Lovász's sandwich theorem is if the weak modular product between two graphs is perfect, then checking if the graphs are isomorphic is polynomial in $n$. However, we show that for balanced, bipartite graphs this is only true in a few trivial cases. In doing so we define a new graph product on bipartite graphs, the very weak modular product. The results pertaining to bicliques in bipartite graphs proved here may be of independent interest. △ Less

Submitted 27 September, 2018; v1 submitted 17 July, 2017; originally announced July 2017.

Comments: Algorithm 1 (IvBE) is irreparably flawed. Moreover, Theorem 2, concerning perfection of weak modular products of balanced, bipartite graphs is incorrect. Thank you to an anonymous reviewer for pointing out these flaws in the paper. We have now enumerated all perfect product graphs in the work at arXiv:1809.09939

Entanglement properties of quantum grid states

Authors: Joshua Lockhart, Otfried Gühne, Simone Severini

Abstract: Grid states form a discrete set of mixed quantum states that can be described by graphs. We characterize the entanglement properties of these states and provide methods to evaluate entanglement criteria for grid states in a graphical way. With these ideas we find bound entangled grid states for two-particle systems of any dimension and multiparticle grid states that provide examples for the differ… ▽ More Grid states form a discrete set of mixed quantum states that can be described by graphs. We characterize the entanglement properties of these states and provide methods to evaluate entanglement criteria for grid states in a graphical way. With these ideas we find bound entangled grid states for two-particle systems of any dimension and multiparticle grid states that provide examples for the different aspects of genuine multiparticle entanglement. Our findings suggest that entanglement theory for grid states, although being a discrete set, has already a complexity similar to the one for general states. △ Less

Submitted 24 August, 2018; v1 submitted 25 May, 2017; originally announced May 2017.

Comments: 6 pages, 4 figures, v2: small changes, final version

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

Generalized Satisfiability Problems via Operator Assignments

Authors: Albert Atserias, Phokion G. Kolaitis, Simone Severini

Abstract: Schaefer introduced a framework for generalized satisfiability problems on the Boolean domain and characterized the computational complexity of such problems. We investigate an algebraization of Schaefer's framework in which the Fourier transform is used to represent constraints by multilinear polynomials in a unique way. The polynomial representation of constraints gives rise to a relaxation of t… ▽ More Schaefer introduced a framework for generalized satisfiability problems on the Boolean domain and characterized the computational complexity of such problems. We investigate an algebraization of Schaefer's framework in which the Fourier transform is used to represent constraints by multilinear polynomials in a unique way. The polynomial representation of constraints gives rise to a relaxation of the notion of satisfiability in which the values to variables are linear operators on some Hilbert space. For the case of constraints given by a system of linear equations over the two-element field, this relaxation has received considerable attention in the foundations of quantum mechanics, where such constructions as the Mermin-Peres magic square show that there are systems that have no solutions in the Boolean domain, but have solutions via operator assignments on some finite-dimensional Hilbert space. We obtain a complete characterization of the classes of Boolean relations for which there is a gap between satisfiability in the Boolean domain and the relaxation of satisfiability via operator assignments. To establish our main result, we adapt the notion of primitive-positive definability (pp-definability) to our setting, a notion that has been used extensively in the study of constraint satisfaction problems. Here, we show that pp-definability gives rise to gadget reductions that preserve satisfiability gaps. We also present several additional applications of this method. In particular and perhaps surprisingly, we show that the relaxed notion of pp-definability in which the quantified variables are allowed to range over operator assignments gives no additional expressive power in defining Boolean relations. △ Less

Submitted 6 April, 2017; originally announced April 2017.

Quantum and non-signalling graph isomorphisms

Authors: Albert Atserias, Laura Mančinska, David E. Roberson, Robert Šámal, Simone Severini, Antonios Varvitsiotis

Abstract: We introduce a two-player nonlocal game, called the $(G,H)$-isomorphism game, where classical players can win with certainty if and only if the graphs $G$ and $H$ are isomorphic. We then define the notions of quantum and non-signalling isomorphism, by considering perfect quantum and non-signalling strategies for the $(G,H)$-isomorphism game, respectively. In the quantum case, we consider both the… ▽ More We introduce a two-player nonlocal game, called the $(G,H)$-isomorphism game, where classical players can win with certainty if and only if the graphs $G$ and $H$ are isomorphic. We then define the notions of quantum and non-signalling isomorphism, by considering perfect quantum and non-signalling strategies for the $(G,H)$-isomorphism game, respectively. In the quantum case, we consider both the tensor product and commuting frameworks for nonlocal games. We prove that non-signalling isomorphism coincides with the well-studied notion of fractional isomorphism, thus giving the latter an operational interpretation. Second, we show that, in the tensor product framework, quantum isomorphism is equivalent to the feasibility of two polynomial systems in non-commuting variables, obtained by relaxing the standard integer programming formulations for graph isomorphism to Hermitian variables. On the basis of this correspondence, we show that quantum isomorphic graphs are necessarily cospectral. Finally, we provide a construction for reducing linear binary constraint system games to isomorphism games. This allows us to produce quantum isomorphic graphs that are nevertheless not isomorphic. Furthermore, it allows us to show that our two notions of quantum isomorphism, from the tensor product and commuting frameworks, are in fact distinct relations, and that the latter is undecidable. Our construction is related to the FGLSS reduction from inapproximability literature, as well as the CFI construction. △ Less

Submitted 1 June, 2017; v1 submitted 29 November, 2016; originally announced November 2016.

Note on von Neumann and Rényi entropies of a Graph

Authors: Michael Dairyko, Leslie Hogben, Jephian C. -H. Lin, Joshua Lockhart, David Roberson, Simone Severini, Michael Young

Abstract: We conjecture that all connected graphs of order $n$ have von Neumann entropy at least as great as the star $K_{1,n-1}$ and prove this for almost all graphs of order $n$. We show that connected graphs of order $n$ have Rényi 2-entropy at least as great as $K_{1,n-1}$ and for $α>1$, $K_n$ maximizes Rényi $α$-entropy over graphs of order $n$. We show that adding an edge to a graph can lower its von… ▽ More We conjecture that all connected graphs of order $n$ have von Neumann entropy at least as great as the star $K_{1,n-1}$ and prove this for almost all graphs of order $n$. We show that connected graphs of order $n$ have Rényi 2-entropy at least as great as $K_{1,n-1}$ and for $α>1$, $K_n$ maximizes Rényi $α$-entropy over graphs of order $n$. We show that adding an edge to a graph can lower its von Neumann entropy. △ Less

Submitted 1 September, 2016; originally announced September 2016.

MSC Class: 05C50; 81P45; 94A17

Permutation graphs and unique games

Authors: Monika Rosicka, Simone Severini

Abstract: We study the value of unique games as a graph-theoretic parameter. This is obtained by labeling edges with permutations. We describe the classical value of a game as well as give a necessary and sufficient condition for the existence of an optimal assignment based on a generalisation of permutation graphs and graph bundles. In considering some special cases, we relate XOR games to EDGE BIPARTIZATI… ▽ More We study the value of unique games as a graph-theoretic parameter. This is obtained by labeling edges with permutations. We describe the classical value of a game as well as give a necessary and sufficient condition for the existence of an optimal assignment based on a generalisation of permutation graphs and graph bundles. In considering some special cases, we relate XOR games to EDGE BIPARTIZATION, and define an edge-labeling with permutations from Latin squares. △ Less

Submitted 23 August, 2016; originally announced August 2016.

Comments: 13 pages, 1 LaTeX figure

Pretty Good State Transfer in Qubit Chains - The Heisenberg Hamiltonian

Authors: Leonardo Banchi, Gabriel Coutinho, Chris Godsil, Simone Severini

Abstract: Pretty good state transfer in networks of qubits occurs when a continuous-time quantum walk allows the transmission of a qubit state from one node of the network to another, with fidelity arbitrarily close to 1. We prove that in a Heisenberg chain with n qubits there is pretty good state transfer between the nodes at the j-th and (n-j+1)-th position if n is a power of 2. Moreover, this condition i… ▽ More Pretty good state transfer in networks of qubits occurs when a continuous-time quantum walk allows the transmission of a qubit state from one node of the network to another, with fidelity arbitrarily close to 1. We prove that in a Heisenberg chain with n qubits there is pretty good state transfer between the nodes at the j-th and (n-j+1)-th position if n is a power of 2. Moreover, this condition is also necessary for j=1. We obtain this result by applying a theorem due to Kronecker about Diophantine approximations, together with techniques from algebraic graph theory. △ Less

Submitted 20 June, 2018; v1 submitted 16 August, 2016; originally announced August 2016.

Comments: The first version of this paper made available on Arxiv contained the false claim that pretty good state transfer occurs between end vertices in a path of length $n$ where $n$ is a prime congruent to $1$ modulo $4$. This claim has been corrected in this version

MSC Class: 81P68

Combinatorial Entanglement

Authors: Joshua Lockhart, Simone Severini

Abstract: We present new combinatorial objects, which we call grid-labelled graphs, and show how these can be used to represent the quantum states arising in a scenario which we refer to as the faulty emitter scenario: we have a machine designed to emit a particular quantum state on demand, but which can make an error and emit a different one. The device is able to produce a list of candidate states which c… ▽ More We present new combinatorial objects, which we call grid-labelled graphs, and show how these can be used to represent the quantum states arising in a scenario which we refer to as the faulty emitter scenario: we have a machine designed to emit a particular quantum state on demand, but which can make an error and emit a different one. The device is able to produce a list of candidate states which can be used as a kind of debugging information for testing entanglement. By reformulating the Peres-Horodecki and matrix realignment criteria we are able to capture some characteristic features of entanglement: we construct new bound entangled states, and demonstrate the limitations of matrix realignment. We show how the notion of LOCC is related to a generalisation of the graph isomorphism problem. We give a simple proof that asymptotically almost surely, grid-labelled graphs associated to very sparse density matrices are entangled. We develop tools for enumerating grid-labelled graphs that satisfy the Peres-Horodecki criterion up to a fixed number of vertices, and propose various computational problems for these objects, whose complexity remains an open problem. The proposed mathematical framework also suggests new combinatorial and algebraic ways for describing the structure of graphs. △ Less

Submitted 11 May, 2016; originally announced May 2016.

Comments: 53 pages

Descriptive complexity of graph spectra

Authors: Anuj Dawar, Simone Severini, Octavio Zapata

Abstract: Two graphs are co-spectral if their respective adjacency matrices have the same multi-set of eigenvalues. A graph is said to be determined by its spectrum if all graphs that are co-spectral with it are isomorphic to it. We consider these properties in relation to logical definability. We show that any pair of graphs that are elementarily equivalent with respect to the three-variable counting first… ▽ More Two graphs are co-spectral if their respective adjacency matrices have the same multi-set of eigenvalues. A graph is said to be determined by its spectrum if all graphs that are co-spectral with it are isomorphic to it. We consider these properties in relation to logical definability. We show that any pair of graphs that are elementarily equivalent with respect to the three-variable counting first-order logic $C^3$ are co-spectral, and this is not the case with $C^2$, nor with any number of variables if we exclude counting quantifiers. We also show that the class of graphs that are determined by their spectra is definable in partial fixed-point logic with counting. We relate these properties to other algebraic and combinatorial problems. △ Less

Submitted 14 September, 2016; v1 submitted 22 March, 2016; originally announced March 2016.

Comments: 17 pages

Journal ref: Logic, Language, Information, and Computation: 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016

Linear game non-contextuality and Bell inequalities - a graph-theoretic approach

Authors: Piotr Gnaciński, Monika Rosicka, Ravishankar Ramanathan, Karol Horodecki, Michał Horodecki, Paweł Horodecki, Simone Severini

Abstract: We study the classical and quantum values of one- and two-party linear games, an important class of unique games that generalizes the well-known XOR games to the case of non-binary outcomes. We introduce a ``constraint graph" associated to such a game, with the constraints defining the linear game represented by an edge-coloring of the graph. We use the graph-theoretic characterization to relate t… ▽ More We study the classical and quantum values of one- and two-party linear games, an important class of unique games that generalizes the well-known XOR games to the case of non-binary outcomes. We introduce a ``constraint graph" associated to such a game, with the constraints defining the linear game represented by an edge-coloring of the graph. We use the graph-theoretic characterization to relate the task of finding equivalent games to the notion of signed graphs and switching equivalence from graph theory. We relate the problem of computing the classical value of single-party anti-correlation XOR games to finding the edge bipartization number of a graph, which is known to be MaxSNP hard, and connect the computation of the classical value of more general XOR-d games to the identification of specific cycles in the graph. We construct an orthogonality graph of the game from the constraint graph and study its Lovász theta number as a general upper bound on the quantum value even in the case of single-party contextual XOR-d games. Linear games possess appealing properties for use in device-independent applications such as randomness of the local correlated outcomes in the optimal quantum strategy. We study the possibility of obtaining quantum algebraic violation of these games, and show that no finite linear game possesses the property of pseudo-telepathy leaving the frequently used chained Bell inequalities as the natural candidates for such applications. We also show this lack of pseudo-telepathy for multi-party XOR-type inequalities involving two-body correlation functions. △ Less

Submitted 17 November, 2015; originally announced November 2015.

Comments: 17 pages. Submitted to the NJP focus issue on Device-Independent QI

Journal ref: New J. Phys. 18, 045020 (2016)

A combinatorial criterion for k-separability of multipartite Dicke states

Authors: Zhihua Chen, Zhihao Ma, Ting Gao, Simone Severini

Abstract: We derive a combinatorial criterion for detecting k-separability of N-partite Dicke states. The criterion is efficiently computable and implementable without full state tomography. We give examples in which the criterion succeeds, where known criteria fail. We derive a combinatorial criterion for detecting k-separability of N-partite Dicke states. The criterion is efficiently computable and implementable without full state tomography. We give examples in which the criterion succeeds, where known criteria fail. △ Less

Submitted 31 October, 2015; originally announced November 2015.

On moments of the integrated exponential Brownian motion

Authors: Francesco Caravelli, Toufik Mansour, Lorenzo Sindoni, Simone Severini

Abstract: We present new exact expressions for a class of moments for the geometric Brownian motion, in terms of determinants, obtained using a recurrence relation and combinatorial arguments for the case of a Ito's Wiener process. We then apply the obtained exact formulas to computing averages of the solution of the logistic stochastic differential equation via a series expansion, and compare the results t… ▽ More We present new exact expressions for a class of moments for the geometric Brownian motion, in terms of determinants, obtained using a recurrence relation and combinatorial arguments for the case of a Ito's Wiener process. We then apply the obtained exact formulas to computing averages of the solution of the logistic stochastic differential equation via a series expansion, and compare the results to the solution obtained via Monte Carlo. △ Less

Submitted 24 June, 2016; v1 submitted 20 September, 2015; originally announced September 2015.

Comments: 11 pages, 3 figures - accepted for publication on EPJ Plus

Journal ref: The European Physical Journal Plus 131, 245 (2016)

Increased signaling entropy in cancer requires the scale-free property of protein interaction networks

Authors: Andrew E. Teschendorff, Christopher R. S. Banerji, Simone Severini, Reimer Kuehn, Peter Sollich

Abstract: One of the key characteristics of cancer cells is an increased phenotypic plasticity, driven by underlying genetic and epigenetic perturbations. However, at a systems-level it is unclear how these perturbations give rise to the observed increased plasticity. Elucidating such systems-level principles is key for an improved understanding of cancer. Recently, it has been shown that signaling entropy,… ▽ More One of the key characteristics of cancer cells is an increased phenotypic plasticity, driven by underlying genetic and epigenetic perturbations. However, at a systems-level it is unclear how these perturbations give rise to the observed increased plasticity. Elucidating such systems-level principles is key for an improved understanding of cancer. Recently, it has been shown that signaling entropy, an overall measure of signaling pathway promiscuity, and computable from integrating a sample's gene expression profile with a protein interaction network, correlates with phenotypic plasticity and is increased in cancer compared to normal tissue. Here we develop a computational framework for studying the effects of network perturbations on signaling entropy. We demonstrate that the increased signaling entropy of cancer is driven by two factors: (i) the scale-free (or near scale-free) topology of the interaction network, and (ii) a subtle positive correlation between differential gene expression and node connectivity. Indeed, we show that if protein interaction networks were random graphs, described by Poisson degree distributions, that cancer would generally not exhibit an increased signaling entropy. In summary, this work exposes a deep connection between cancer, signaling entropy and interaction network topology. △ Less

Submitted 1 April, 2015; originally announced April 2015.

Comments: 20 pages, 5 figures. In Press in Sci Rep 2015

Journal ref: Scientific Reports (2015) 5, 9646

On zero-error communication via quantum channels in the presence of noiseless feedback

Authors: Runyao Duan, Simone Severini, Andreas Winter

Abstract: We initiate the study of zero-error communication via quantum channels when the receiver and sender have at their disposal a noiseless feedback channel of unlimited quantum capacity, generalizing Shannon's zero-error communication theory with instantaneous feedback. We first show that this capacity is a function only of the linear span of Choi-Kraus operators of the channel, which generalizes th… ▽ More We initiate the study of zero-error communication via quantum channels when the receiver and sender have at their disposal a noiseless feedback channel of unlimited quantum capacity, generalizing Shannon's zero-error communication theory with instantaneous feedback. We first show that this capacity is a function only of the linear span of Choi-Kraus operators of the channel, which generalizes the bipartite equivocation graph of a classical channel, and which we dub "non-commutative bipartite graph". Then we go on to show that the feedback-assisted capacity is non-zero (with constant activating noiseless communication) if and only if the non-commutative bipartite graph is non-trivial, and give a number of equivalent characterizations. This result involves a far-reaching extension of the "conclusive exclusion" of quantum states [Pusey/Barrett/Rudolph, Nature Phys. 8:475-478]. We then present an upper bound on the feedback-assisted zero-error capacity, motivated by a conjecture originally made by Shannon and proved later by Ahlswede. We demonstrate this bound to have many good properties, including being additive and given by a minimax formula. We also prove that this quantity is the entanglement-assisted capacity against an adversarially chosen channel from the set of all channels with the same Choi-Kraus span, which can also be interpreted as the feedback-assisted unambiguous capacity. The proof relies on a generalization of the "Postselection Lemma" [Christandl/Koenig/Renner, PRL 102:020504] that allows to reflect additional constraints, and which we believe to be of independent interest. We illustrate our ideas with a number of examples, including classical-quantum channels and Weyl diagonal channels, and close with an extensive discussion of open questions. △ Less

Submitted 26 April, 2016; v1 submitted 10 February, 2015; originally announced February 2015.

Comments: 34 pages, 1 figure; v2 has improved presentation, numerous typos corrected and many more references; v3 equivalent to final, accepted journal version (IEEE Trans Inf Theory)

Journal ref: IEEE Trans. Inf. Theory, vol. 62, no. 9, pp. 5260-5277 (2016)

Orthogonal Representations, Projective Rank, and Fractional Minimum Positive Semidefinite Rank: Connections and New Directions

Authors: Leslie Hogben, Kevin F. Palmowski, David E. Roberson, Simone Severini

Abstract: Fractional minimum positive semidefinite rank is defined from $r$-fold faithful orthogonal representations and it is shown that the projective rank of any graph equals the fractional minimum positive semidefinite rank of its complement. An $r$-fold version of the traditional definition of minimum positive semidefinite rank of a graph using Hermitian matrices that fit the graph is also presented. T… ▽ More Fractional minimum positive semidefinite rank is defined from $r$-fold faithful orthogonal representations and it is shown that the projective rank of any graph equals the fractional minimum positive semidefinite rank of its complement. An $r$-fold version of the traditional definition of minimum positive semidefinite rank of a graph using Hermitian matrices that fit the graph is also presented. This paper also introduces $r$-fold orthogonal representations of graphs and formalizes the understanding of projective rank as fractional orthogonal rank. Connections of these concepts to quantum theory, including Tsirelson's problem, are discussed. △ Less

Submitted 2 September, 2015; v1 submitted 30 January, 2015; originally announced February 2015.

Comments: 19 pages

MSC Class: 15B10; 05C72; 05C90; 15A03; 15B57; 81P45

Estimating quantum chromatic numbers

Authors: Vern I. Paulsen, Simone Severini, Daniel Stahlke, Ivan G. Todorov, Andreas Winter

Abstract: We develop further the new versions of quantum chromatic numbers of graphs introduced by the first and fourth authors. We prove that the problem of computation of the commuting quantum chromatic number of a graph is solvable by an SDP algorithm and describe an hierarchy of variants of the commuting quantum chromatic number which converge to it. We introduce the tracial rank of a graph, a parameter… ▽ More We develop further the new versions of quantum chromatic numbers of graphs introduced by the first and fourth authors. We prove that the problem of computation of the commuting quantum chromatic number of a graph is solvable by an SDP algorithm and describe an hierarchy of variants of the commuting quantum chromatic number which converge to it. We introduce the tracial rank of a graph, a parameter that gives a lower bound for the commuting quantum chromatic number and parallels the projective rank, and prove that it is multiplicative. We describe the tracial rank, the projective rank and the fractional chromatic numbers in a unified manner that clarifies their connection with the commuting quantum chromatic number, the quantum chromatic number and the classical chromatic number, respectively. Finally, we present a new SDP algorithm that yields a parameter larger than the Lovász number and is yet a lower bound for the tracial rank of the graph. We determine the precise value of the tracial rank of an odd cycle. △ Less

Submitted 17 February, 2016; v1 submitted 25 July, 2014; originally announced July 2014.

Comments: 34 pages; v2 has improved presentation based after referees' comments, published version

Journal ref: J. Functional Analysis, vol. 270, no. 6, pp. 2188-2222 (2016)

Characterization and properties of weakly optimal entanglement witnesses

Authors: Bang-Hai Wang, Hai-Ru Xu, Steve Campbell, Simone Severini

Abstract: We present an analysis of the properties and characteristics of weakly optimal entanglement witnesses, that is witnesses whose expectation value vanishes on at least one product vector. Any weakly optimal entanglement witness can be written as the form of $W^{wopt}=σ-c_σ^{max} I$, where $c_σ^{max}$ is a non-negative number and $I$ is the identity matrix. We show the relation between the weakly opt… ▽ More We present an analysis of the properties and characteristics of weakly optimal entanglement witnesses, that is witnesses whose expectation value vanishes on at least one product vector. Any weakly optimal entanglement witness can be written as the form of $W^{wopt}=σ-c_σ^{max} I$, where $c_σ^{max}$ is a non-negative number and $I$ is the identity matrix. We show the relation between the weakly optimal witness $W^{wopt}$ and the eigenvalues of the separable states $σ$. Further we give an application of weakly optimal witnesses for constructing entanglement witnesses in a larger Hilbert space by extending the result of [P. Badzicag {\it et al}, Phys. Rev. A {\bf 88}, 010301(R) (2013)], and we examine their geometric properties. △ Less

Submitted 12 July, 2015; v1 submitted 3 July, 2014; originally announced July 2014.

Comments: 13 pages, 2 figures, has been extensively redrafted and restructured

Journal ref: Quantum Information & Computation, Vol.15 No.13&14 (2015)

Universal methods for extending any entanglement witness from the bipartite to the multipartite case

Authors: Bang-Hai Wang, Hai-Ru Xu, Simone Severini

Abstract: Any bipartite entanglement witness $W$ can be written as $W=c_σI-σ$, where $σ$ is a quantum state, $I$ is the identity matrix, and $c_σ$ is a non-negative number. We present a general method to extend the given entanglement witness to multipartite cases via purification, partial purification, and direct tensor of the quantum state $σ$. Our methods extend $σ$ but leave the parameter $c_σ$ untouched… ▽ More Any bipartite entanglement witness $W$ can be written as $W=c_σI-σ$, where $σ$ is a quantum state, $I$ is the identity matrix, and $c_σ$ is a non-negative number. We present a general method to extend the given entanglement witness to multipartite cases via purification, partial purification, and direct tensor of the quantum state $σ$. Our methods extend $σ$ but leave the parameter $c_σ$ untouched. This is very valuable since the parameter is generally not easy to compute. △ Less

Submitted 17 August, 2014; v1 submitted 8 May, 2014; originally announced May 2014.

Comments: 7 pages, to rewrite the abstract in details

Journal ref: Phys. Rev. A 90,022312(2014)

Graph-theoretical Bounds on the Entangled Value of Non-local Games

Authors: André Chailloux, Laura Mančinska, Giannicola Scarpa, Simone Severini

Abstract: We introduce a novel technique to give bounds to the entangled value of non-local games. The technique is based on a class of graphs used by Cabello, Severini and Winter in 2010. The upper bound uses the famous Lovász theta number and is efficiently computable; the lower one is based on the quantum independence number, which is a quantity used in the study of entanglement-assisted channel capaciti… ▽ More We introduce a novel technique to give bounds to the entangled value of non-local games. The technique is based on a class of graphs used by Cabello, Severini and Winter in 2010. The upper bound uses the famous Lovász theta number and is efficiently computable; the lower one is based on the quantum independence number, which is a quantity used in the study of entanglement-assisted channel capacities and graph homomorphism games. △ Less

Submitted 27 February, 2015; v1 submitted 14 April, 2014; originally announced April 2014.

Comments: 10 pages, submission to the 9th Conference on the Theory of Quantum Computation, Communication, and Cryptography (TQC 2014)

Randomized Graph States and their Entanglement Properties

Authors: Jun-Yi Wu, Matteo Rossi, Hermann Kampermann, Simone Severini, Leong Chuan Kwek, Chiara Macchiavello, Dagmar Bruß

Abstract: We introduce a class of mixed multiqubit states, that corresponds to a randomized version of graph states. Such states arise when a graph state is prepared with noisy or imperfect controlled-Z gates. We study the entanglement features of these states by investigating both bipartite and genuine multipartite entanglement. Bipartite entanglement is studied via the concepts of connectedness and persis… ▽ More We introduce a class of mixed multiqubit states, that corresponds to a randomized version of graph states. Such states arise when a graph state is prepared with noisy or imperfect controlled-Z gates. We study the entanglement features of these states by investigating both bipartite and genuine multipartite entanglement. Bipartite entanglement is studied via the concepts of connectedness and persistency, which are related to measurement based quantum computation. The presence of multipartite entanglement is instead revealed by the use of witness operators which are subsequently adapted to study nonlocal properties through the violation of suitable Bell inequalities. We also present results on the entanglement detection of particular randomized graph states, by deriving explicit thresholds for entanglement and nonlocality in terms of the noise parameter that characterizes the controlled-Z gates exploited for their generation. Finally, we propose a method to further improve the detection of genuine multipartite entanglement in this class of states. △ Less

Submitted 3 June, 2014; v1 submitted 15 March, 2014; originally announced March 2014.

Comments: This is the published version. We have added some text to clarify our results, corrected typos in references, and made some minor style modifications according to the journal

Journal ref: Phys. Rev. A 89:052335 (2014)