English
Related papers

Related papers: The state complexity of L^2 and L^k

200 papers

Fully entangled fraction is a definition for bipartite states, which is tightly related to bipartite maximally entangled states, and has clear experimental and theoretical significance. In this work, we generalize it to multipartite case,…

Quantum Physics · Physics 2016-02-17 Jianwei Xu

Complexity in quantum physics measures how difficult a state can be reached from a reference state and more precisely it is the number of fundamental unitary gates we have to operate to transform the reference state to the state we are…

High Energy Physics - Theory · Physics 2020-06-05 Hao Geng

We completely classify the computational complexity of the list H-colouring problem for graphs (with possible loops) in combinatorial and algebraic terms: for every graph H the problem is either NP-complete, NL-complete, L-complete or is…

Computational Complexity · Computer Science 2010-02-03 Laszlo Egri , Andrei Krokhin , Benoit Larose , Pascal Tesson

This paper investigates the impossibility of certain $({n^2+n+k}_{n+1})$ configurations. Firstly, for $k=2$, the result of \cite{gropp1992non} that $\frac{n^2+n}{2}$ is even and $n+1$ is a perfect square or $\frac{n^2+n}{2}$ is odd and…

Combinatorics · Mathematics 2026-03-18 Jackson Philbrook , Benjamin Peet

In this paper, we introduce the new concept of state complexity approximation, which is a further development of state complexity estimation. We show that this new concept is useful in both of the following two cases: the exact state…

Formal Languages and Automata Theory · Computer Science 2009-07-30 Yuan Gao , Sheng Yu

We compute the degree complexity of the family of birational maps considered in \cite{bedford-kim-tuyen-abarenkova-maillard} for all exceptional cases. Some interesting properties of the family are also given.

Dynamical Systems · Mathematics 2008-01-03 Tuyen Trung Truong

A scheme of generating recently introduced fan-states | \alpha, 2k>_F (\alpha is complex, k=1,2,3,...) is proposed basing on a \Lambda-type atom-cavity field interaction. We show that with suitable atomic preparations and measurements a…

Quantum Physics · Physics 2007-05-23 Nguyen Ba An , Truong Minh Duc

In this paper, we consider the transition complexity of regular languages based on the incomplete deterministic finite automata. A number of results on Boolean operations have been obtained. It is shown that the transition complexity…

Formal Languages and Automata Theory · Computer Science 2010-08-11 Yuan Gao , Kai Salomaa , Sheng Yu

We initiate an investigation into a notion of state complexity for discrete-variable quantum systems. Specifically, we propose an information-theoretic quantifier for the complexity of quantum states within the stabilizer formalism of…

Quantum Physics · Physics 2026-04-23 Shuangshuang Fu , Shunlong Luo , Yue Zhang

We resolve an open question by determining matching (asymptotic) upper and lower bounds on the state complexity of the operation that sends a language L to (c(L*))*, where c() denotes complement.

Formal Languages and Automata Theory · Computer Science 2012-03-27 Galina Jiraskova , Jeffrey Shallit

We establish an information complexity lower bound of randomized algorithms for simulating underdamped Langevin dynamics. More specifically, we prove that the worst $L^2$ strong error is of order $\Omega(\sqrt{d}\, N^{-3/2})$, for solving a…

Numerical Analysis · Mathematics 2022-05-10 Yu Cao , Jianfeng Lu , Lihan Wang

We study the extension complexity of polytopes with few vertices or facets. On the one hand, we provide a complete classification of $d$-polytopes with at most $d+4$ vertices according to their extension complexity: Out of the…

Combinatorics · Mathematics 2016-09-14 Arnau Padrol

In this paper we consider block languages, namely sets of words having the same length, and study the deterministic and nondeterministic state complexity of several operations on these languages. Being a subclass of finite languages, the…

Formal Languages and Automata Theory · Computer Science 2024-09-12 Guilherme Duarte , Nelma Moreira , Luca Prigioniero , Rogério Reis

In this paper we study the state complexity of catenation combined with symmetric difference. First, an upper bound is computed using some combinatoric tools. Then, this bound is shown to be tight by giving a witness for it. Moreover, we…

Formal Languages and Automata Theory · Computer Science 2015-05-14 Pascal Caron , Jean-Gabriel Luque , Ludovic Mignot , Bruno Patrou

Generalizations of numeration systems in which N is recognizable by a finite automaton are obtained by describing a lexicographically ordered infinite regular language L over a finite alphabet A. For these systems, we obtain a…

Computational Complexity · Computer Science 2007-05-23 Michel Rigo

The complexity of a particular term-rewrite system is considered: the rule of associativity (x*y)*z --> x*(y*z). Algorithms and exact calculations are given for the longest and shortest sequences of applications of --> that result in normal…

cmp-lg · Computer Science 2008-02-03 Michael Niv

A language $L$ over an alphabet $\Sigma$ is prefix-convex if, for any words $x,y,z\in\Sigma^*$, whenever $x$ and $xyz$ are in $L$, then so is $xy$. Prefix-convex languages include right-ideal, prefix-closed, and prefix-free languages. We…

Formal Languages and Automata Theory · Computer Science 2016-06-27 Janusz Brzozowski , Corwin Sinnamon

We construct families of trivial $2$-knots $K_i$ in $\mathbb{R}^4$ such that the maximal complexity of $2$-knots in any isotopy connecting $K_i$ with the standard unknot grows faster than a tower of exponentials of any fixed height of the…

Metric Geometry · Mathematics 2019-12-17 Boris Lishak , Alexander Nabutovsky

Let $(L_n^{(k)})_{n\geq 2-k}$ be the sequence of $k$--generalized Lucas numbers for some fixed integer $k\ge 2$ whose first $k$ terms are $0,\ldots,0,2,1$ and each term afterwards is the sum of the preceding $k$ terms. For an integer $m$,…

Number Theory · Mathematics 2023-11-23 Herbert Batte , Florian Luca

Many combinatorial problems can be formulated as "Can I transform configuration 1 into configuration 2, if certain transformations only are allowed?". An example of such a question is: given two k-colourings of a graph, can I transform the…

Discrete Mathematics · Computer Science 2013-12-11 Jan van den Heuvel