Source author record

Konstantinos Meichanetzidis

Konstantinos Meichanetzidis appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

quant-ph Computation and Language Computational Complexity cond-mat.mes-hall cond-mat.str-el Databases hep-th Logic in Computer Science math.CT

Catalog footprint

What is connected

5works

9topics

4close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2022arXiv

Simplification Strategies for the Qutrit ZX-Calculus

The ZX-calculus is a graphical language for suitably represented tensor networks, called ZX-diagrams. Calculations are performed by transforming ZX-diagrams with rewrite rules. The ZX-calculus has found applications in reasoning about quantum circuits, condensed matter systems, quantum algorithms, quantum error correcting codes, and counting problems. A key notion is the stabiliser fragment of the ZX-calculus, a subfamily of ZX-diagrams for which rewriting can be done efficiently in terms of derived simplifying rewrites. Recently, higher dimensional qudits - in particular, qutrits - have gained prominence within quantum computing research. The main contribution of this work is the derivation of efficient rewrite strategies for the stabiliser fragment of the qutrit ZX-calculus. Notably, this constitutes a first non-trivial step towards the simplification of qutrit quantum circuits. We then give further unexpected areas in which these rewrite strategies provide complexity-theoretic insight; namely, we reinterpret known results about evaluating the Jones polynomial, an important link invariant in knot theory, and counting graph colourings.

preprint2020arXiv

Functorial Question Answering

Distributional compositional (DisCo) models are functors that compute the meaning of a sentence from the meaning of its words. We show that DisCo models in the category of sets and relations correspond precisely to relational databases. As a consequence, we get complexity-theoretic reductions from semantics and entailment of a fragment of natural language to evaluation and containment of conjunctive queries, respectively. Finally, we define question answering as an NP-complete problem.

preprint2020arXiv

Meaning updating of density matrices

The DisCoCat model of natural language meaning assigns meaning to a sentence given: (i) the meanings of its words, and, (ii) its grammatical structure. The recently introduced DisCoCirc model extends this to text consisting of multiple sentences. While in DisCoCat all meanings are fixed, in DisCoCirc each sentence updates meanings of words. In this paper we explore different update mechanisms for DisCoCirc, in the case where meaning is encoded in density matrices---which come with several advantages as compared to vectors. Our starting point are two non-commutative update mechanisms, borrowing one from quantum foundations research, from Leifer and Spekkens. Unfortunately, neither of these satisfies any desirable algebraic properties, nor are internal to the meaning category. By passing to double density matrices we do get an elegant internal diagrammatic update mechanism. We also show that (commutative) spiders can be cast as an instance of the Leifer-Spekkens update mechanism. This result is of interest to quantum foundations, as it bridges the work in Categorical Quantum Mechanics (CQM) with that on conditional quantum states. Our work also underpins implementation of text-level natural language processing on quantum hardware (a.k.a. QNLP), for which exponential space-gain and quadratic speed-up have previously been identified.

preprint2016arXiv

Diagnosing Topological Edge States via Entanglement Monogamy

Topological phases of matter possess intricate correlation patterns typically probed by entanglement entropies or entanglement spectra. In this work, we propose an alternative approach to assessing topologically induced edge states in free and interacting fermionic systems. We do so by focussing on the fermionic covariance matrix. This matrix is often tractable either analytically or numerically and it precisely captures the relevant correlations of the system. By invoking the concept of monogamy of entanglement we show that highly entangled states supported across a system bi-partition are largely disentangled from the rest of the system, thus appearing usually as gapless edge states. We then define an entanglement qualifier that identifies the presence of topological edge states based purely on correlations present in the ground states. We demonstrate the versatility of this qualifier by applying it to various free and interacting fermionic topological systems.

preprint2015arXiv

Two-dimensional Chern semimetals on the Lieb lattice

In this work, we propose a new and simple model that supports Chern semimetals. These new gapless topological phases share several properties with the Chern insulators like a well-defined Chern number associated to each band, topologically protected edge states and topological phase transitions that occur when the bands touch each, with linear dispersion around the contact points. The tight-binding model, defined on the Lieb lattice with intra-unit-cell and suitable nearest-neighbor hopping terms between three different species of spinless fermions, supports a single Dirac-like point. The dispersion relation around this point is fully relativistic and the $3\times3$ matrices in the corresponding effective Hamiltonian satisfy the Duffin-Kemmer-Petiau algebra. We show the robustness of the topologically protected edge states by employing the entanglement spectrum. Moreover, we prove that the Chern number of the lowest band is robust with respect to weak disorder. For its simplicity, our model can be naturally implemented in real physical systems like cold atoms in optical lattices.