English
Related papers

Related papers: Finite-State Complexity and the Size of Transducer…

200 papers

We consider quantum state transfer on finite graphs which are attached to infinite paths. The finite graph represents an operational quantum system for performing useful quantum information tasks. In contrast, the infinite paths represent…

Quantum Physics · Physics 2022-11-30 Pierre-Antoine Bernard , Christino Tamon , Luc Vinet , Weichen Xie

The topology of entanglement in multipartite states with translational invariance is discussed in this article. Two global features are foundby which one can distinguish distinct states. These are the cyclic unit and the quantised geometric…

Quantum Physics · Physics 2013-06-18 H. T. Cui , J. L. Tian , C. M. Wang , Y. C. Chen

Most work on computational complexity is concerned with time. However this course will try to show that program-size complexity, which measures algorithmic information, is of much greater philosophical significance. I'll discuss how one can…

History and Overview · Mathematics 2007-05-23 G. J. Chaitin

An infinite permutation is a linear ordering of the set of non-negative integers. Generally, the properties of infinite permutations analogous to those of infinite words show some resemblances and some differences between permutations and…

Combinatorics · Mathematics 2009-11-09 S. V. Avgustinovich , A. E. Frid , T. Kamae , P. V. Salimov

Hyper-minimization is a state reduction technique that allows a finite change in the semantics. The theory for hyper-minimization of deterministic weighted tree automata is provided. The presence of weights slightly complicates the…

Formal Languages and Automata Theory · Computer Science 2014-05-23 Andreas Maletti , Daniel Quernheim

Theoretical approaches to binary-state models on complex networks are generally restricted to infinite size systems, where a set of non-linear deterministic equations is assumed to characterize its dynamics and stationary properties. We…

Physics and Society · Physics 2021-01-04 Antonio F. Peralta , Raul Toral

To date, work on formalizing connectionist computation in a way that is at least Turing-complete has focused on recurrent architectures and developed equivalences to Turing machines or similar super-Turing models, which are of more…

Artificial Intelligence · Computer Science 2015-05-04 Anthony Di Franco

We analyze tight informationally complete measurements for arbitrarily large multipartite systems and study their configurations of entanglement. We demonstrate that tight measurements cannot be exclusively composed neither of fully…

Quantum Physics · Physics 2018-06-26 Jakub Czartowski , Dardo Goyeneche , Karol Życzkowski

Modern networks achieve robustness and scalability by maintaining states on their nodes. These nodes are referred to as middleboxes and are essential for network functionality. However, the presence of middleboxes drastically complicates…

Programming Languages · Computer Science 2018-07-05 Kalev Alpernas , Roman Manevich , Aurojit Panda , Mooly Sagiv , Scott Shenker , Sharon Shoham , Yaron Velner

We investigate the accepting state complexity of deterministic finite automata for regular languages obtained by applying one of the following operations to languages accepted by permutation automata: union, quotient, complement,…

Formal Languages and Automata Theory · Computer Science 2022-09-01 Christian Rauch , Markus Holzer

String transductions that are definable in monadic second-order (mso) logic (without the use of parameters) are exactly those realized by deterministic two-way finite state transducers. Nondeterministic mso definable string transductions…

Logic in Computer Science · Computer Science 2008-11-24 Joost Engelfriet , Hendrik Jan Hoogeboom

We propose an extension of the framework for discussing the computational complexity of problems involving uncountably many objects, such as real numbers, sets and functions, that can be represented only through approximation. The key idea…

Computational Complexity · Computer Science 2013-05-03 Akitoshi Kawamura , Stephen Cook

We define a metric on $\mathbb{F}_q^n$ using the linear complexity of finite sequences. We will then develop a coding theory for this metric. We will give a Singleton-like bound and we will give constructions of subspaces of…

Information Theory · Computer Science 2018-03-19 Tovohery Randrianarisoa

We define five increasingly comprehensive classes of infinite-state systems, called STS1--5, whose state spaces have finitary structure. For four of these classes, we provide examples from hybrid systems.

Logic in Computer Science · Computer Science 2007-05-23 Thomas A. Henzinger , Rupak Majumdar , Jean-Francois Raskin

A fundamental task in quantum information is to approximate a pure quantum state in terms of sparse states or, for a bipartite system, states of bounded Schmidt rank. The optimal deterministic approximation in each case is straightforward,…

Quantum Physics · Physics 2026-01-06 Aram W. Harrow , Angus Lowe , Freek Witteveen

In this paper, by providing a class of coherence measures in finite dimensional systems, a sufficient and necessary condition for the existence of coherence transformations that convert one probability distribution of any pure states into…

Quantum Physics · Physics 2015-05-28 Xiaofei Qi , Zhaofang Bai , Shuanping Du

In this paper, we propose an analytical framework to quantify the amount of data samples needed to obtain accurate state estimation in a power system - a problem known as sample complexity analysis in computer science. Motivated by the…

Optimization and Control · Mathematics 2019-09-20 Joshua Comden , Marcello Colombino , Andrey Bernstein , Zhenhua Liu

We analyze the subsystem size scaling of the entanglement entropy of a non-ergodic pure state that can be described by a multi-parametric Gaussian ensemble of complex matrices in a bipartite basis. Our analysis indicates, for a given set of…

Quantum Physics · Physics 2024-12-11 Devanshu Shekhar , Pragya Shukla

Entanglement is a fundamental feature of quantum mechanics, playing a crucial role in quantum information processing. However, classifying entangled states, particularly in the mixed-state regime, remains a challenging problem, especially…

In this paper we discuss the fidelity of states in infinite dimensional systems, give an elementary proof of the infinite dimensional version of Uhlmann's theorem, and then, apply it to generalize several properties of the fidelity from…

Quantum Physics · Physics 2011-07-05 Jinchuan Hou , Xiaofei Qi
‹ Prev 1 8 9 10 Next ›