Showing 1–36 of 36 results for author: Carette, T

Complete equational theories for classical and quantum Gaussian relations

Authors: Robert I. Booth, Titouan Carette, Cole Comfort

Abstract: We give generators and relations for the hypergraph props of Gaussian relations and positive affine Lagrangian relations. The former extends Gaussian probabilistic processes by completely-uninformative priors, and the latter extends Gaussian quantum mechanics with infinitely-squeezed states. These presentations are given by adding a generator to the presentation of real affine relations and of rea… ▽ More We give generators and relations for the hypergraph props of Gaussian relations and positive affine Lagrangian relations. The former extends Gaussian probabilistic processes by completely-uninformative priors, and the latter extends Gaussian quantum mechanics with infinitely-squeezed states. These presentations are given by adding a generator to the presentation of real affine relations and of real affine Lagrangian relations which freely codiscards effects, as well as certain rotations. The presentation of positive affine Lagrangian relations provides a rigorous justification for many common yet informal calculations in the quantum physics literature involving infinite-squeezing. Our presentation naturally extends Menicucci et al.'s graph-theoretic representation of Gaussian quantum states with a representation for Gaussian transformations. Using this graphical calculus, we also give a graphical proof of Braunstein and Kimble's continuous-variable quantum teleportation protocol. We also interpret the LOv-calculus, a diagrammatic calculus for reasoning about passive linear-optical quantum circuits in our graphical calculus. Moreover, we show how our presentation allows for additional optical operations such as active squeezing. △ Less

Submitted 10 April, 2024; v1 submitted 15 March, 2024; originally announced March 2024.

Comments: small fixes

Graphical Symplectic Algebra

Authors: Robert I. Booth, Titouan Carette, Cole Comfort

Abstract: We give complete presentations for the dagger-compact props of affine Lagrangian and coisotropic relations over an arbitrary field. This provides a unified family of graphical languages for both affinely constrained classical mechanical systems, as well as odd-prime-dimensional stabiliser quantum circuits. To this end, we present affine Lagrangian relations by a particular class of undirected colo… ▽ More We give complete presentations for the dagger-compact props of affine Lagrangian and coisotropic relations over an arbitrary field. This provides a unified family of graphical languages for both affinely constrained classical mechanical systems, as well as odd-prime-dimensional stabiliser quantum circuits. To this end, we present affine Lagrangian relations by a particular class of undirected coloured graphs. In order to reason about composite systems, we introduce a powerful scalable notation where the vertices of these graphs are themselves coloured by graphs. In the setting of stabiliser quantum mechanics, this scalable notation gives an extremely concise description of graph states, which can be composed via ``phased spider fusion.'' Likewise, in the classical mechanical setting of electrical circuits, we show that impedance matrices for reciprocal networks are presented in essentially the same way. △ Less

Submitted 18 March, 2024; v1 submitted 15 January, 2024; originally announced January 2024.

The Qupit Stabiliser ZX-travaganza: Simplified Axioms, Normal Forms and Graph-Theoretic Simplification

Authors: Boldizsár Poór, Robert I. Booth, Titouan Carette, John van de Wetering, Lia Yeh

Abstract: We present a smorgasbord of results on the stabiliser ZX-calculus for odd prime-dimensional qudits (i.e. qupits). We derive a simplified rule set that closely resembles the original rules of qubit ZX-calculus. Using these rules, we demonstrate analogues of the spider-removing local complementation and pivoting rules. This allows for efficient reduction of diagrams to the affine with phases normal… ▽ More We present a smorgasbord of results on the stabiliser ZX-calculus for odd prime-dimensional qudits (i.e. qupits). We derive a simplified rule set that closely resembles the original rules of qubit ZX-calculus. Using these rules, we demonstrate analogues of the spider-removing local complementation and pivoting rules. This allows for efficient reduction of diagrams to the affine with phases normal form. We also demonstrate a reduction to a unique form, providing an alternative and simpler proof of completeness. Furthermore, we introduce a different reduction to the graph state with local Cliffords normal form, which leads to a novel layered decomposition for qupit Clifford unitaries. Additionally, we propose a new approach to handle scalars formally, closely reflecting their practical usage. Finally, we have implemented many of these findings in DiZX, a new open-source Python library for qudit ZX-diagrammatic reasoning. △ Less

Submitted 31 August, 2023; v1 submitted 8 June, 2023; originally announced June 2023.

Comments: In Proceedings QPL 2023, arXiv:2308.15489. 45 pages, lots of figures

Journal ref: EPTCS 384, 2023, pp. 220-264

Operational Quantum Reference Frame Transformations

Authors: Titouan Carette, Jan Głowacki, Leon Loveridge

Abstract: Quantum reference frames are needed in quantum theory for much the same reasons as reference frames are in classical relativity theories: to manifest invariance in line with fundamental relativity principles. Though around since the 1960s, and used in a wide range of applications, only recently has the means for transforming descriptions between different frames been tackled in detail. Such transf… ▽ More Quantum reference frames are needed in quantum theory for much the same reasons as reference frames are in classical relativity theories: to manifest invariance in line with fundamental relativity principles. Though around since the 1960s, and used in a wide range of applications, only recently has the means for transforming descriptions between different frames been tackled in detail. Such transformations are needed for an internally consistent theory of quantum reference frames. In this work, we provide a general, operationally motivated framework for quantum reference frames and their transformations, holding for locally compact groups. The work is built around the notion of operational equivalence, in which theoretical objects that cannot be physically distinguished are identified. For example, we describe the collection of observables relative to a given frame as a subspace of the algebra of invariants on the composite of system and frame, and from here the set of relative states can be constructed as a convex subset of the predual. Besides being invariant, the relative observables are also framed, meaning that they can be realized with the chosen frame observable. The frame transformations are then maps between equivalence classes of relative states that can be distinguished by both initial and final frames. We give an explicit realisation in the setting that the initial frame admits a highly localized state with respect to the frame observable. The transformations are invertible exactly when the final frame also has such a localizability property. The procedure we present is in operational agreement with other recent inequivalent constructions on the domain of common applicability, but extends them in a number of ways which we describe. △ Less

Submitted 19 December, 2023; v1 submitted 24 March, 2023; originally announced March 2023.

Compositionality of planar perfect matchings

Authors: Titouan Carette, Etienne Moutot, Thomas Perez, Renaud Vilmart

Abstract: We exhibit a strong connection between the matchgate formalism introduced by Valiant and the ZW-calculus of Coecke and Kissinger. This connection provides a natural compositional framework for matchgate theory as well as a direct combinatorial interpretation of the diagrams of ZW-calculus through the perfect matchings of their underlying graphs. We identify a precise fragment of ZW-calculus, the… ▽ More We exhibit a strong connection between the matchgate formalism introduced by Valiant and the ZW-calculus of Coecke and Kissinger. This connection provides a natural compositional framework for matchgate theory as well as a direct combinatorial interpretation of the diagrams of ZW-calculus through the perfect matchings of their underlying graphs. We identify a precise fragment of ZW-calculus, the planar W-calculus, that we prove to be complete and universal for matchgates, that are linear maps satisfying the matchgate identities. Computing scalars of the planar W-calculus corresponds to counting perfect matchings of planar graphs, and so can be carried in polynomial time using the FKT algorithm, making the planar W-calculus an efficiently simulable fragment of the ZW-calculus, in a similar way that the Clifford fragment is for ZX-calculus. This work opens new directions for the investigation of the combinatorial properties of ZW-calculus as well as the study of perfect matching counting through compositional diagrammatical technics. △ Less

Submitted 17 February, 2023; originally announced February 2023.

Aperiodicity in Quantum Wang Tilings

Authors: Titouan Carette, Etienne Moutot

Abstract: By reformulating the Wang tiles formalism with tensors, we propose a natural generalization to the probabilistic and quantum setting. In this new framework, we introduce notions of tilings and periodicity directly extending their classical counterparts. In the one dimensional case, we recover the decidability of the generalized domino problem by linking it to the trace characterization of nilpoten… ▽ More By reformulating the Wang tiles formalism with tensors, we propose a natural generalization to the probabilistic and quantum setting. In this new framework, we introduce notions of tilings and periodicity directly extending their classical counterparts. In the one dimensional case, we recover the decidability of the generalized domino problem by linking it to the trace characterization of nilpotent matrices. In the two-dimensional case, we provide extension of weak and strong aperiodicity respectively and show the equivalence of those generalized notions, extending the well known equivalence in the classical case. We also exhibit a quantum tile set being aperiodic while its underlying classical tile set is not, proving that quantum interference can suppress periodic patterns. △ Less

Submitted 10 February, 2023; v1 submitted 9 February, 2023; originally announced February 2023.

Complete Graphical Language for Hermiticity-Preserving Superoperators

Authors: Titouan Carette, Timothée Hoffreumon, Émile Larroque, Renaud Vilmart

Abstract: Universal and complete graphical languages have been successfully designed for pure state quantum mechanics, corresponding to linear maps between Hilbert spaces, and mixed states quantum mechanics, corresponding to completely positive superoperators. In this paper, we go one step further and present a universal and complete graphical language for Hermiticity-preserving superoperators. Such a langu… ▽ More Universal and complete graphical languages have been successfully designed for pure state quantum mechanics, corresponding to linear maps between Hilbert spaces, and mixed states quantum mechanics, corresponding to completely positive superoperators. In this paper, we go one step further and present a universal and complete graphical language for Hermiticity-preserving superoperators. Such a language opens the possibility of diagrammatic compositional investigations of antilinear transformations featured in various physical situations, such as the Choi-Jamiołkowski isomorphism, spin-flip, or entanglement witnesses. Our construction relies on an extension of the ZW-calculus exhibiting a normal form for Hermitian matrices. △ Less

Submitted 4 May, 2023; v1 submitted 8 February, 2023; originally announced February 2023.

Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages

Authors: TItouan Carette, Louis Lemonnier, Vladimir Zamdzhiev

Abstract: Monads in category theory are algebraic structures that can be used to model computational effects in programming languages. We show how the notion of "centre", and more generally "centrality", i.e. the property for an effect to commute with all other effects, may be formulated for strong monads acting on symmetric monoidal categories. We identify three equivalent conditions which characterise the… ▽ More Monads in category theory are algebraic structures that can be used to model computational effects in programming languages. We show how the notion of "centre", and more generally "centrality", i.e. the property for an effect to commute with all other effects, may be formulated for strong monads acting on symmetric monoidal categories. We identify three equivalent conditions which characterise the existence of the centre of a strong monad (some of which relate it to the premonoidal centre of Power and Robinson) and we show that every strong monad on many well-known naturally occurring categories does admit a centre, thereby showing that this new notion is ubiquitous. More generally, we study central submonads, which are necessarily commutative, just like the centre of a strong monad. We provide a computational interpretation by formulating equational theories of lambda calculi equipped with central submonads, we describe categorical models for these theories and prove soundness, completeness and internal language results for our semantics. △ Less

Submitted 28 April, 2023; v1 submitted 19 July, 2022; originally announced July 2022.

Comments: Accepted to LICS'23

Federated Latent Class Regression for Hierarchical Data

Authors: Bin Yang, Thomas Carette, Masanobu Jimbo, Shinya Maruyama

Abstract: Federated Learning (FL) allows a number of agents to participate in training a global machine learning model without disclosing locally stored data. Compared to traditional distributed learning, the heterogeneity (non-IID) of the agents slows down the convergence in FL. Furthermore, many datasets, being too noisy or too small, are easily overfitted by complex models, such as deep neural networks.… ▽ More Federated Learning (FL) allows a number of agents to participate in training a global machine learning model without disclosing locally stored data. Compared to traditional distributed learning, the heterogeneity (non-IID) of the agents slows down the convergence in FL. Furthermore, many datasets, being too noisy or too small, are easily overfitted by complex models, such as deep neural networks. Here, we consider the problem of using FL regression on noisy, hierarchical and tabular datasets in which user distributions are significantly different. Inspired by Latent Class Regression (LCR), we propose a novel probabilistic model, Hierarchical Latent Class Regression (HLCR), and its extension to Federated Learning, FEDHLCR. FEDHLCR consists of a mixture of linear regression models, allowing better accuracy than simple linear regression, while at the same time maintaining its analytical properties and avoiding overfitting. Our inference algorithm, being derived from Bayesian theory, provides strong convergence guarantees and good robustness to overfitting. Experimental results show that FEDHLCR offers fast convergence even in non-IID datasets. △ Less

Submitted 21 June, 2022; originally announced June 2022.

Comments: 13 pages, 3 figures

A normal approximation for joint frequency estimatation under Local Differential Privacy

Authors: Thomas Carette

Abstract: In the recent years, Local Differential Privacy (LDP) has been one of the corner stone of privacy preserving data analysis. However, many challenges still opposes its widespread application. One of these problems is the scalability of LDP to high dimensional data, in particular for estimating joint-distributions. In this paper, we develop an approximate estimator for frequency joint-distribution e… ▽ More In the recent years, Local Differential Privacy (LDP) has been one of the corner stone of privacy preserving data analysis. However, many challenges still opposes its widespread application. One of these problems is the scalability of LDP to high dimensional data, in particular for estimating joint-distributions. In this paper, we develop an approximate estimator for frequency joint-distribution estimation under so-called pure LDP protocols. △ Less

Submitted 14 June, 2022; v1 submitted 23 May, 2022; originally announced May 2022.

Comments: Preliminary development, draft

Propification and the Scalable Comonad

Authors: Titouan Carette

Abstract: String diagrams can nicely express numerous computations in symmetric strict monoidal categories (SSMC). To be entirely exact, this is only true for props: the SSMCs whose monoid of objects are free. In this paper, we show a propification theorem asserting that any SSMC is monoidally equivalent to a coloured prop. As a consequence, all SSMCs are within reach of diagrammatical methods. We introduce… ▽ More String diagrams can nicely express numerous computations in symmetric strict monoidal categories (SSMC). To be entirely exact, this is only true for props: the SSMCs whose monoid of objects are free. In this paper, we show a propification theorem asserting that any SSMC is monoidally equivalent to a coloured prop. As a consequence, all SSMCs are within reach of diagrammatical methods. We introduce a diagrammatical calculus of bureaucracy isomorphisms, allowing us to handle graphically non-free monoids of objects. We also connect this construction with the scalable notations previously introduced to tackle large-scale diagrammatic reasoning. △ Less

Submitted 16 May, 2022; originally announced May 2022.

Complete ZX-calculi for the stabiliser fragment in odd prime dimensions

Authors: Robert I. Booth, Titouan Carette

Abstract: We introduce a family of ZX-calculi which axiomatise the stabiliser fragment of quantum theory in odd prime dimensions. These calculi recover many of the nice features of the qubit ZX-calculus which were lost in previous proposals for higher-dimensional systems. We then prove that these calculi are complete, i.e. provide a set of rewrite rules which can be used to prove any equality of stabiliser… ▽ More We introduce a family of ZX-calculi which axiomatise the stabiliser fragment of quantum theory in odd prime dimensions. These calculi recover many of the nice features of the qubit ZX-calculus which were lost in previous proposals for higher-dimensional systems. We then prove that these calculi are complete, i.e. provide a set of rewrite rules which can be used to prove any equality of stabiliser quantum operations. Adding a discard construction, we obtain a calculus complete for mixed state stabiliser quantum mechanics in odd prime dimensions, and this furthermore gives a complete axiomatisation for the related diagrammatic language for affine co-isotropic relations. △ Less

Submitted 10 March, 2023; v1 submitted 26 April, 2022; originally announced April 2022.

Comments: 23 pages + 31 pages of references and appendices; more corrections

Journal ref: MFCS 2022, 24:1-24:15

Large-scale quantum diagrammatic reasoning tools, !-boxes vs. scalable notations

Authors: Titouan Carette, Louis Lemonnier

Abstract: The application of diagrammatic reasoning techniques to large-scale quantum processes needs specific tools to describe families of diagrams of arbitrary size. For now, large-scale diagrammatic reasoning tools in ZH-calculus come in two flavours, !-boxes and scalable notations. This paper investigates the interactions between the two approaches by exhibiting correspondences through various examples… ▽ More The application of diagrammatic reasoning techniques to large-scale quantum processes needs specific tools to describe families of diagrams of arbitrary size. For now, large-scale diagrammatic reasoning tools in ZH-calculus come in two flavours, !-boxes and scalable notations. This paper investigates the interactions between the two approaches by exhibiting correspondences through various examples from the literature, focusing on (hyper)graph states and diagrammatic transforms. In doing so, we set up a path toward a neat and tidy large-scale diagrammatic reasoning toolbox. △ Less

Submitted 25 April, 2022; originally announced April 2022.

Comments: 12 pages + 7 pages of references and appendix

Fact-nets: towards a mathematical framework for relational quantum mechanics

Authors: Pierre Martin-Dussaud, Titouan Carette, Jan Głowacki, Vaclav Zatloukal, Federico Zalamea

Abstract: The relational interpretation of quantum mechanics (RQM) has received a growing interest since its first formulation in 1996. Usually presented as an interpretational layer over the usual quantum mechanics formalism, it appears as a philosophical perspective without proper mathematical counterparts. This state of affairs has direct consequences on the scientific debate on RQM which still suffers f… ▽ More The relational interpretation of quantum mechanics (RQM) has received a growing interest since its first formulation in 1996. Usually presented as an interpretational layer over the usual quantum mechanics formalism, it appears as a philosophical perspective without proper mathematical counterparts. This state of affairs has direct consequences on the scientific debate on RQM which still suffers from misunderstandings and imprecise statements. In an attempt to clarify those debates, the present paper proposes a radical reformulation of the mathematical framework of quantum mechanics which is relational from the start: fact-nets. The core idea is that all statements about the world, facts, are binary entities involving two systems that can be symmetrically thought of as observed and observer. We initiate a study of the fact-nets formalism and outline how it can shed new relational light on some familiar quantum features. △ Less

Submitted 15 November, 2022; v1 submitted 1 April, 2022; originally announced April 2022.

Quantum Algorithms and Oracles with the Scalable ZX-calculus

Authors: Titouan Carette, Yohann D'Anello, Simon Perdrix

Abstract: The ZX-calculus was introduced as a graphical language able to represent specific quantum primitives in an intuitive way. The recent completeness results have shown the theoretical possibility of a purely graphical description of quantum processes. However, in practice, such approaches are limited by the intrinsic low level nature of ZX calculus. The scalable notations have been proposed as an att… ▽ More The ZX-calculus was introduced as a graphical language able to represent specific quantum primitives in an intuitive way. The recent completeness results have shown the theoretical possibility of a purely graphical description of quantum processes. However, in practice, such approaches are limited by the intrinsic low level nature of ZX calculus. The scalable notations have been proposed as an attempt to recover an higher level point of view while maintaining the topological rewriting rules of a graphical language. We demonstrate that the scalable ZX-calculus provides a formal, intuitive, and compact framework to describe and prove quantum algorithms. As a proof of concept, we consider the standard oracle-based quantum algorithms: Deutsch-Jozsa, Bernstein-Vazirani, Simon, and Grover algorithms, and we show they can be described and proved graphically. △ Less

Submitted 12 September, 2021; v1 submitted 2 April, 2021; originally announced April 2021.

Comments: In Proceedings QPL 2021, arXiv:2109.04886

Journal ref: EPTCS 343, 2021, pp. 193-209

When Only Topology Matters

Authors: Titouan Carette

Abstract: Graphical languages are symmetric monoidal categories presented by generators and equations. The string diagrams notation allows to transform numerous axioms into low dimension topological rules we are comfortable with as three dimensional space citizens. This aspect is often referred to by the Only Topology Matters paradigm (OTM). However OTM remains quite informal and its exact meaning in terms… ▽ More Graphical languages are symmetric monoidal categories presented by generators and equations. The string diagrams notation allows to transform numerous axioms into low dimension topological rules we are comfortable with as three dimensional space citizens. This aspect is often referred to by the Only Topology Matters paradigm (OTM). However OTM remains quite informal and its exact meaning in terms of rewriting rules is ambiguous. In this paper we define three precise aspects of the OTM paradigm, namely flexsymmetry, flexcyclicity and flexibility of Frobenius algebras. We investigate how this new framework can simplify the presentation of known graphical languages based on Frobenius algebras. △ Less

Submitted 5 July, 2021; v1 submitted 4 February, 2021; originally announced February 2021.

Comments: The paper contains some errors that have to be fixed

Graphical Language with Delayed Trace: Picturing Quantum Computing with Finite Memory

Authors: Titouan Carette, Marc de Visme, Simon Perdrix

Abstract: Graphical languages, like quantum circuits or ZX-calculus, have been successfully designed to represent (memoryless) quantum computations acting on a finite number of qubits. Meanwhile, delayed traces have been used as a graphical way to represent finite-memory computations on streams, in a classical setting (cartesian data types). We merge those two approaches and describe a general construction… ▽ More Graphical languages, like quantum circuits or ZX-calculus, have been successfully designed to represent (memoryless) quantum computations acting on a finite number of qubits. Meanwhile, delayed traces have been used as a graphical way to represent finite-memory computations on streams, in a classical setting (cartesian data types). We merge those two approaches and describe a general construction that extends any graphical language, equipped with a notion of discarding, to a graphical language of finite memory computations. In order to handle cases like the ZX-calculus, which is complete for post-selected quantum mechanics, we extend the delayed trace formalism beyond the causal case, refining the notion of causality for stream transformers. We design a stream semantics based on stateful morphism sequences and, under some assumptions, show universality and completeness results. Finally, we investigate the links of our framework with previous works on cartesian data types, signal flow graphs, and quantum channels with memories. △ Less

Submitted 28 April, 2021; v1 submitted 5 February, 2021; originally announced February 2021.

A note on diagonal gates in SZX-calculus

Authors: Titouan Carette

Abstract: This note describes how the the scalable ZXH calculus can be used to represent in a compact way the quantum gates that are diagonal in the computational basis. This includes controlled and multi-controlled Z gates, their generalizations, respectively graph and hypergraph operators, and also phase gadgets. This note describes how the the scalable ZXH calculus can be used to represent in a compact way the quantum gates that are diagonal in the computational basis. This includes controlled and multi-controlled Z gates, their generalizations, respectively graph and hypergraph operators, and also phase gadgets. △ Less

Submitted 17 December, 2020; originally announced December 2020.

On a recipe for quantum graphical languages

Authors: Titouan Carette, Emmanuel Jeandel

Abstract: Different graphical calculi have been proposed to represent quantum computation. First the ZX- calculus [4], followed by the ZW-calculus [12] and then the ZH-calculus [1]. We can wonder if new Z*-calculi will continue to be proposed forever. This article answers negatively. All those language share a common core structure we call Z*-algebras. We classify Z*-algebras up to isomorphism in two dimens… ▽ More Different graphical calculi have been proposed to represent quantum computation. First the ZX- calculus [4], followed by the ZW-calculus [12] and then the ZH-calculus [1]. We can wonder if new Z*-calculi will continue to be proposed forever. This article answers negatively. All those language share a common core structure we call Z*-algebras. We classify Z*-algebras up to isomorphism in two dimensional Hilbert spaces and show that they are all variations of the aforementioned calculi. We do the same for linear relations and show that the calculus of [2] is essentially the unique one. △ Less

Submitted 10 August, 2020; originally announced August 2020.

Colored props for large scale graphical reasoning

Authors: Titouan Carette, Simon Perdrix

Abstract: The prop formalism allows representation of processes withstring diagrams and has been successfully applied in various areas such as quantum computing, electric circuits and control flow graphs. However, these graphical approaches suffer from scalability problems when it comes to writing large diagrams. A proposal to tackle this issue has been investigated for ZX-calculus using colored props. This… ▽ More The prop formalism allows representation of processes withstring diagrams and has been successfully applied in various areas such as quantum computing, electric circuits and control flow graphs. However, these graphical approaches suffer from scalability problems when it comes to writing large diagrams. A proposal to tackle this issue has been investigated for ZX-calculus using colored props. This paper extends the approach to any prop, making it a general tool for graphical languages manipulation. △ Less

Submitted 7 July, 2020; originally announced July 2020.

SZX-calculus: Scalable Graphical Quantum Reasoning

Authors: Titouan Carette, Dominic Horsman, Simon Perdrix

Abstract: We introduce the Scalable ZX-calculus (SZX-calculus for short), a formal and compact graphical language for the design and verification of quantum computations. The SZX-calculus is an extension of the ZX-calculus, a powerful framework that captures graphically the fundamental properties of quantum mechanics through its complete set of rewrite rules. The ZX-calculus is, however, a low level languag… ▽ More We introduce the Scalable ZX-calculus (SZX-calculus for short), a formal and compact graphical language for the design and verification of quantum computations. The SZX-calculus is an extension of the ZX-calculus, a powerful framework that captures graphically the fundamental properties of quantum mechanics through its complete set of rewrite rules. The ZX-calculus is, however, a low level language, with each wire representing a single qubit. This limits its ability to handle large and elaborate quantum evolutions. We extend the ZX-calculus to registers of qubits and allow compact representation of sub-diagrams via binary matrices. We show soundness and completeness of the SZX-calculus and provide two examples of applications, for graph states and error correcting codes. △ Less

Submitted 30 April, 2019; originally announced May 2019.

Completeness of Graphical Languages for Mixed States Quantum Mechanics

Authors: Titouan Carette, Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart

Abstract: There exist several graphical languages for quantum information processing, like quantum circuits, ZX-Calculus, ZW-Calculus, etc. Each of these languages forms a dagger-symmetric monoidal category (dagger-SMC) and comes with an interpretation functor to the dagger-SMC of (finite dimension) Hilbert spaces. In the recent years, one of the main achievements of the categorical approach to quantum mech… ▽ More There exist several graphical languages for quantum information processing, like quantum circuits, ZX-Calculus, ZW-Calculus, etc. Each of these languages forms a dagger-symmetric monoidal category (dagger-SMC) and comes with an interpretation functor to the dagger-SMC of (finite dimension) Hilbert spaces. In the recent years, one of the main achievements of the categorical approach to quantum mechanics has been to provide several equational theories for most of these graphical languages, making them complete for various fragments of pure quantum mechanics. We address the question of the extension of these languages beyond pure quantum mechanics, in order to reason on mixed states and general quantum operations, i.e. completely positive maps. Intuitively, such an extension relies on the axiomatisation of a discard map which allows one to get rid of a quantum system, operation which is not allowed in pure quantum mechanics. We introduce a new construction, the discard construction, which transforms any dagger-symmetric monoidal category into a symmetric monoidal category equipped with a discard map. Roughly speaking this construction consists in making any isometry causal. Using this construction we provide an extension for several graphical languages that we prove to be complete for general quantum operations. However this construction fails for some fringe cases like the Clifford+T quantum mechanics, as the category does not have enough isometries. △ Less

Submitted 19 February, 2019; originally announced February 2019.

Extended Learning Graphs for Triangle Finding

Authors: Titouan Carette, Mathieu Laurière, Frédéric Magniez

Abstract: We present new quantum algorithms for Triangle Finding improving its best previously known quantum query complexities for both dense and spare instances.For dense graphs on $n$ vertices, we get a query complexity of $O(n^{5/4})$ without any of the extra logarithmic factors present in the previous algorithm of Le Gall [FOCS'14]. For sparse graphs with $m\geq n^{5/4}$ edges, we get a query complexit… ▽ More We present new quantum algorithms for Triangle Finding improving its best previously known quantum query complexities for both dense and spare instances.For dense graphs on $n$ vertices, we get a query complexity of $O(n^{5/4})$ without any of the extra logarithmic factors present in the previous algorithm of Le Gall [FOCS'14]. For sparse graphs with $m\geq n^{5/4}$ edges, we get a query complexity of $O(n^{11/12}m^{1/6}\sqrt{\log n})$, which is better than the one obtained by Le Gall and Nakajima [ISAAC'15] when $m \geq n^{3/2}$. We also obtain an algorithm with query complexity ${O}(n^{5/6}(m\log n)^{1/6}+d_2\sqrt{n})$ where $d_2$ is the variance of the degree distribution. Our algorithms are designed and analyzed in a new model of learning graphs that we call extended learning graphs. In addition, we present a framework in order to easily combine and analyze them. As a consequence we get much simpler algorithms and analyses than previous algorithms of Le Gall {\it et al} based on the MNRS quantum walk framework [SICOMP'11]. △ Less

Submitted 11 October, 2016; v1 submitted 25 September, 2016; originally announced September 2016.

Comments: Fixing few typos in references

Electronic isotope shift factors for the Cu $4s \; ^2S_{1/2} - 4p \; ^2P^o_{3/2}$ line

Authors: Thomas Carette, Michel Godefroid

Abstract: State-of-the-art relativistic multiconfiguration Dirac-Hartree-Fock calculations have been performed to evaluate the electronic field and mass isotope shift factors of the Cu~I resonance line at $λ= 324.8$~nm. A linear correlation between the mass factors and the transition energy is found for elaborate correlation models, allowing extrapolation to the observed frequency limit. The relativistic co… ▽ More State-of-the-art relativistic multiconfiguration Dirac-Hartree-Fock calculations have been performed to evaluate the electronic field and mass isotope shift factors of the Cu~I resonance line at $λ= 324.8$~nm. A linear correlation between the mass factors and the transition energy is found for elaborate correlation models, allowing extrapolation to the observed frequency limit. The relativistic corrections to the recoil operator reduces the transition mass factor by 5~\%. △ Less

Submitted 21 February, 2016; originally announced February 2016.

Comments: Complementary material to reference [2]

Phase measurement of a Fano window resonance using tunable attosecond pulses

Authors: M. Kotur, D. Guenot, A. Jimenez-Galan, D. Kroon, E. W. Larsen, M. Louisy, S. Bengtsson, M. Miranda, J. Mauritsson, C. L. Arnold, S. E. Canton, M. Gisselbrecht, T. Carette, J. M. Dahlstrom, E. Lindroth, A. Maquet, L. Argenti, F. Martin, A. L'Huillier

Abstract: We study the photoionization of argon atoms close to the 3s$^2$3p$^6$ $\rightarrow$ 3s$^1$3p$^6$4p $\leftrightarrow$ 3s$^2$3p$^5$ $\varepsilon \ell$, $\ell$=s,d Fano window resonance. An interferometric technique using an attosecond pulse train, i.e. a frequency comb in the extreme ultraviolet range, and a weak infrared probe field allows us to study both amplitude and phase of the photoionization… ▽ More We study the photoionization of argon atoms close to the 3s$^2$3p$^6$ $\rightarrow$ 3s$^1$3p$^6$4p $\leftrightarrow$ 3s$^2$3p$^5$ $\varepsilon \ell$, $\ell$=s,d Fano window resonance. An interferometric technique using an attosecond pulse train, i.e. a frequency comb in the extreme ultraviolet range, and a weak infrared probe field allows us to study both amplitude and phase of the photoionization probability amplitude as a function of photon energy. A theoretical calculation of the ionization process accounting for several continuum channels and bandwidth effects reproduces well the experimental observations and shows that the phase variation of the resonant two-photon amplitude depends on the interaction between the channels involved in the autoionization process. △ Less

Submitted 8 May, 2015; originally announced May 2015.

Comments: 5 pages, 4 figures

Resonance effects in photoemission time delays

Authors: M. Sabbar, S. Heuser, R. Boge, M. Lucchini, T. Carette, E. Lindroth, L. Gallmann, C. Cirelli, U. Keller

Abstract: We present measurements of single-photon ionization time delays between valence electrons of argon and neon using a coincidence detection technique that allows for the simultaneous measurement of both species under identical conditions. Taking into account the chirp of the ionizing single attosecond pulse (attochirp) ensures that the clock of our measurement technique is started at the same time f… ▽ More We present measurements of single-photon ionization time delays between valence electrons of argon and neon using a coincidence detection technique that allows for the simultaneous measurement of both species under identical conditions. Taking into account the chirp of the ionizing single attosecond pulse (attochirp) ensures that the clock of our measurement technique is started at the same time for both types of electrons, revealing with high accuracy and resolution energy-dependent time delays of a few tens of attoseconds. By comparing our results with theoretical predictions, we confirm that the so-called Wigner delay correctly describes single-photon ionization delays as long as atomic resonances can be neglected. Our data, however, also reveal that such resonances can greatly affect the measured delays beyond the simple Wigner picture. △ Less

Submitted 19 February, 2015; v1 submitted 24 July, 2014; originally announced July 2014.

Theoretical study of the isotope effects on the detachment thresholds of Si$^-$

Authors: T. Carette, M. Godefroid

Abstract: The isotope effects in Si$^-$ bound levels are studied using the multi-configuration Hartree-Fock ab initio approach. Large scale calculations are carried out for the $3p^3\ ^4S^o,\, ^2D^o$ and $^2P^o$ multiplets of Si$^-$ and the $3p^2\ ^3P$ multiplet of Si. We predict an anomalous isotope shift on the electron affinity, dominated by the specific mass shift, with a value of… ▽ More The isotope effects in Si$^-$ bound levels are studied using the multi-configuration Hartree-Fock ab initio approach. Large scale calculations are carried out for the $3p^3\ ^4S^o,\, ^2D^o$ and $^2P^o$ multiplets of Si$^-$ and the $3p^2\ ^3P$ multiplet of Si. We predict an anomalous isotope shift on the electron affinity, dominated by the specific mass shift, with a value of $IS(^e\!\!A)= -0.66(6)$ m$^{-1}$ for the ($30-28$) isotope pair. We also report hyperfine structure parameters for the studied multiplets. Finally, we provide the values of level electric field gradients at the nucleus that could be of interest in a study of the metastable silicon isotopes. Relativistic corrections are estimated using non-relativistic orbitals in the Breit-Pauli and fully relativistic frameworks. △ Less

Submitted 21 April, 2014; v1 submitted 13 December, 2013; originally announced December 2013.

Comments: 9 pages, 11 tables (accepted in PRA)

Relativistic effects on the hyperfine structures of 2p4(3P)3p 2Do, 4Do and 4Po in 19F I

Authors: Thomas Carette, Messaoud Nemouchi, Jiguang Li, Michel Godefroid

Abstract: The hyperfine interaction constants of the 2p4(3P)3p 2Do_{3/2,5/2}, 4Do_{1/2-7/2} and 4Po_{1/2-5/2} levels in neutral fluorine are investigated theoretically. Large-scale calculations are carried out using the multiconfiguration Hartree-Fock (MCHF) and Dirac-Hartree-Fock (MCDHF) methods. In the framework of the MCHF approach, the relativistic effects are taken into account in the Breit-Pauli appro… ▽ More The hyperfine interaction constants of the 2p4(3P)3p 2Do_{3/2,5/2}, 4Do_{1/2-7/2} and 4Po_{1/2-5/2} levels in neutral fluorine are investigated theoretically. Large-scale calculations are carried out using the multiconfiguration Hartree-Fock (MCHF) and Dirac-Hartree-Fock (MCDHF) methods. In the framework of the MCHF approach, the relativistic effects are taken into account in the Breit-Pauli approximation using non relativistic orbitals. In the fully relativistic approach, the orbitals are optimized using the Dirac-Coulomb Hamiltonian with correlation models inspired by the non relativistic calculations. Higher-order excitations are captured through multireference configuration interaction calculations including the Breit interaction. In a third (intermediate) approach, the Dirac-Coulomb-Breit Hamiltonian matrix is diagonalized in a relativistic configuration space built with non relativistic MCHF radial functions converted into Dirac spinors using the Pauli approximation. The magnetic dipole hyperfine structure constants calculated with the three relativistic models are consistent and reveal unexpectedly large effects of relativity for 2Do_{5/2}, 4Po_{3/2} and 4Po_{5/2}. The agreement with the few available experimental values is satisfactory. The strong J-dependence of relativistic corrections on the hyperfine constants is investigated through the detailed analysis of the orbital, spin-dipole and contact relative contributions calculated with the non relativistic magnetic dipole operator. △ Less

Submitted 20 September, 2013; v1 submitted 1 July, 2013; originally announced July 2013.

Comments: accepted in Physical Review A on Tuesday 17 September 2013

The Multi-Configurational Hartree-Fock close-coupling ansatz: application to Argon photoionization cross section and delays

Authors: T. Carette, J. M. Dahlström, L. Argenti, E. Lindroth

Abstract: We present a robust, ab initio method for addressing atom-light interactions and apply it to photoionization of argon. We use a close-coupling ansatz constructed on a multi-configurational Hartree-Fock description of localized states and B-spline expansions of the electron radial wave functions. In this implementation, the general many-electron problem can be tackled thanks to the use of the ATSP2… ▽ More We present a robust, ab initio method for addressing atom-light interactions and apply it to photoionization of argon. We use a close-coupling ansatz constructed on a multi-configurational Hartree-Fock description of localized states and B-spline expansions of the electron radial wave functions. In this implementation, the general many-electron problem can be tackled thanks to the use of the ATSP2K libraries [CPC 176 (2007) 559]. In the present contribution, we combine this method with exterior complex scaling, thereby allowing for the computation of the complex partial amplitudes that encode the whole dynamics of the photoionization process. The method is validated on the 3s3p6np series of resonances converging to the 3s extraction. Then, it is used for computing the energy dependent differential atomic delay between 3p and 3s photoemission, and agreement is found with the measurements of Guénot et al. [PRA 85 (2012) 053424]. The effect of the presence of resonances in the one-photon spectrum on photoionization delay measurements is studied. △ Less

Submitted 9 January, 2013; originally announced January 2013.

Comments: 15 pages, 8 figures, 4 tables

Isotope shift on the chlorine electron affinity revisited by an MCHF/CI approach

Authors: Thomas Carette, Michel Godefroid

Abstract: Today, the electron affinity is experimentally well known for most of the elements and is a useful guideline for develo** ab initio computational methods. However, the measurements of isotope shifts on the electron affinity are limited by both resolution and sensitivity. In this context, theory eventually contributes to the knowledge and understanding of atomic structures, even though correlatio… ▽ More Today, the electron affinity is experimentally well known for most of the elements and is a useful guideline for develo** ab initio computational methods. However, the measurements of isotope shifts on the electron affinity are limited by both resolution and sensitivity. In this context, theory eventually contributes to the knowledge and understanding of atomic structures, even though correlation plays a dominant role in negative ions properties and, particularly, in the calculation of the specific mass shift contribution. The present study solves the longstanding discrepancy between calculated and measured specific mass shifts on the electron affinity of chlorine (Phys. Rev. A 51 (1995) 231) △ Less

Submitted 8 January, 2013; originally announced January 2013.

Comments: 18 pages, 2 figures, 7 tables

Diagrammatic approach to attosecond delays in photoionization

Authors: J. M. Dahlström, T. Carette, E. Lindroth

Abstract: We study laser-assisted photoionization by attosecond pulses using a time-independent formalism based on diagrammatic many-body perturbation theory. Our aim is to provide an ab inito route to the "delays" for this above-threshold ionization process, which is essential for a quantitative understanding of attosecond metrology. We present correction curves for characterization schemes of attosecond p… ▽ More We study laser-assisted photoionization by attosecond pulses using a time-independent formalism based on diagrammatic many-body perturbation theory. Our aim is to provide an ab inito route to the "delays" for this above-threshold ionization process, which is essential for a quantitative understanding of attosecond metrology. We present correction curves for characterization schemes of attosecond pulses, such as "streaking", that account for the delayed atomic response in ionization from neon and argon. We also verify that photoelectron delays from many-electron atoms can be measured using similar schemes if, instead, the so-called continuum--continuum delay is subtracted. Our method is general and it can be extended also to more complex systems and additional correlation effects can be introduced systematically. △ Less

Submitted 12 November, 2012; originally announced November 2012.

Comments: 11 pages, 5 figures

Ab initio calculations of the {33}S 3p4 3P_J and {33}S- / {37,35}Cl 3p5 2Po_J hyperfine structures

Authors: T Carette, M R Godefroid

Abstract: We present highly correlated multi-configuration Hartree-Fock (MCHF) calculations of the hyperfine structure of the 3p5 2Po_J levels of {33}S- and {35,37}Cl. We obtain a good agreement with observation. The hyperfine structure of the neutral sulfur {33}S 3p4 3P_J lowest multiplet that has never been measured to the knowledge of the authors, is also estimated theoretically. We discuss some interest… ▽ More We present highly correlated multi-configuration Hartree-Fock (MCHF) calculations of the hyperfine structure of the 3p5 2Po_J levels of {33}S- and {35,37}Cl. We obtain a good agreement with observation. The hyperfine structure of the neutral sulfur {33}S 3p4 3P_J lowest multiplet that has never been measured to the knowledge of the authors, is also estimated theoretically. We discuss some interesting observations made on the description of the atomic core in MCHF theory. △ Less

Submitted 28 January, 2011; originally announced January 2011.

Comments: 14 pages, 2 figures (10 subfigures)

A theoretical study of the C- 4So_3/2 and 2Do_{3/2,5/2} bound states and C ground configuration: fine and hyperfine structures, isotope shifts and transition probabilities

Authors: T. Carette, M. R. Godefroid

Abstract: This work is an ab initio study of the 2p3 4So_3/2, and 2Do_{3/2,5/2} states of C- and 2p2 3P_{0,1,2}, 1D_2, and 1S_0 states of neutral carbon. We use the multi-configuration Hartree-Fock approach, focusing on the accuracy of the wave function itself. We obtain all C- detachment thresholds, including correlation effects to about 0.5%. Isotope shifts and hyperfine structures are calculated. The ach… ▽ More This work is an ab initio study of the 2p3 4So_3/2, and 2Do_{3/2,5/2} states of C- and 2p2 3P_{0,1,2}, 1D_2, and 1S_0 states of neutral carbon. We use the multi-configuration Hartree-Fock approach, focusing on the accuracy of the wave function itself. We obtain all C- detachment thresholds, including correlation effects to about 0.5%. Isotope shifts and hyperfine structures are calculated. The achieved accuracy of the latter is of the order of 0.1 MHz. Intra-configuration transition probabilities are also estimated. △ Less

Submitted 27 January, 2011; originally announced January 2011.

Comments: 15 pages, 2 figures, 12 tables

Saturation spectra of low lying states of Nitrogen: reconciling experiment with theory

Authors: Thomas Carette, Messaoud Nemouchi, Per Jönsson, Michel Godefroid

Abstract: The hyperfine constants of the levels 2p2(3P)3s 4P_J, 2p2(3P)3p 4Po_J and 2p2(3P)3p 4Do_J, deduced by Jennerich et al. [Eur. Phys. J. D 40 (2006) 81] from the observed hyperfine structures of the transitions 2p2(3P)3s 4P_J - 2p2(3P)3p 4Po_J' and 2p2(3P)3s 4P_J - 2p2(3P)3p 4Do_J' recorded by saturation spectroscopy in the near-infrared, strongly disagree with the ab initio values of Jönsson et al.… ▽ More The hyperfine constants of the levels 2p2(3P)3s 4P_J, 2p2(3P)3p 4Po_J and 2p2(3P)3p 4Do_J, deduced by Jennerich et al. [Eur. Phys. J. D 40 (2006) 81] from the observed hyperfine structures of the transitions 2p2(3P)3s 4P_J - 2p2(3P)3p 4Po_J' and 2p2(3P)3s 4P_J - 2p2(3P)3p 4Do_J' recorded by saturation spectroscopy in the near-infrared, strongly disagree with the ab initio values of Jönsson et al. [J. Phys. B: At. Mol. Opt. Phys. 43 (2010) 115006]. We propose a new interpretation of the recorded weak spectral lines. If the latter are indeed reinterpreted as crossover signals, a new set of experimental hyperfine constants is deduced, in very good agreement with the ab initio predictions. △ Less

Submitted 24 August, 2010; v1 submitted 6 May, 2010; originally announced May 2010.

Comments: 14 pages, 8 figures; Modified according to referees suggestions (Eur. Phys. J. D)

Ab initio calculations of 14N and 15N hyperfine structures

Authors: P Jönsson, T Carette, M Nemouchi, M Godefroid

Abstract: Hyperfine structure parameters are calculated for the 2p2(3P)3s 4P_J, 2p2(3P)3p 4Po_J and 2p2(3P)3p 4Do_J levels, using the ab initio multiconfiguration Hartree-Fock method. The theoretical hyperfine coupling constants are in complete disagreement with the experimental values of Jennerich et al. (EPJD 40(2006), 81) deduced from the analysis of the near-infrared Doppler-free saturated absorption… ▽ More Hyperfine structure parameters are calculated for the 2p2(3P)3s 4P_J, 2p2(3P)3p 4Po_J and 2p2(3P)3p 4Do_J levels, using the ab initio multiconfiguration Hartree-Fock method. The theoretical hyperfine coupling constants are in complete disagreement with the experimental values of Jennerich et al. (EPJD 40(2006), 81) deduced from the analysis of the near-infrared Doppler-free saturated absorption spectra. △ Less

Submitted 19 April, 2010; v1 submitted 26 February, 2010; originally announced February 2010.

Comments: 9 pages, 0 figure - Resubmitted to J. Phys. B, after revision according to referee's suggestions.

Isotope shift in the Sulfur electron affinity: observation and theory

Authors: Thomas Carette, Cyril Drag, Oliver Scharf, Christophe Blondel, Christian Delsart, Charlotte Froese Fischer, Michel Godefroid

Abstract: The electron affinities eA(S) are measured for the two isotopes 32S and 34S (16752.9753(41) and 16752.9776(85) cm-1, respectively). The isotope shift in the electron affinity is found to be positive, eA(34S)-eA(32S) = +0.0023(70) cm-1, but the uncertainty allows for the possibility that it may be either "normal" (eA(34S) > eA(32S)) or "anomalous" (eA(34S) < eA(32S)). The isotope shift is estimat… ▽ More The electron affinities eA(S) are measured for the two isotopes 32S and 34S (16752.9753(41) and 16752.9776(85) cm-1, respectively). The isotope shift in the electron affinity is found to be positive, eA(34S)-eA(32S) = +0.0023(70) cm-1, but the uncertainty allows for the possibility that it may be either "normal" (eA(34S) > eA(32S)) or "anomalous" (eA(34S) < eA(32S)). The isotope shift is estimated theoretically using elaborate correlation models, monitoring the electron affinity and the mass polarization term expectation value. The theoretical analysis predicts a very large specific mass shift that counterbalances the normal mass shift and produces an anomalous isotope shift, eA(34S)-eA(32S) = - 0.0053(24) cm-1. The observed and theoretical residual isotope shifts agree with each other within the estimated uncertainties. △ Less

Submitted 5 February, 2010; originally announced February 2010.

Comments: 15 pages, 4 figures