English
Related papers

Related papers: A combinatorial approach for the state complexity …

200 papers

Given a countable set X (usually taken to be N or Z), an infinite permutation $\pi$ of X is a linear ordering $<_\pi$ of X. This paper investigates the combinatorial complexity of infinite permutations on N associated with the image of…

Combinatorics · Mathematics 2011-03-01 Steven Widmer

Typical-case computation complexity is a research topic at the boundary of computer science, applied mathematics, and statistical physics. In the last twenty years the replica-symmetry-breaking mean field theory of spin glasses and the…

Disordered Systems and Neural Networks · Physics 2014-06-17 Jin-Hua Zhao , Hai-Jun Zhou

Recently, many results on the computational complexity of sorting algorithms were obtained using Kolmogorov complexity (the incompressibility method). Especially, the usually hard average-case analysis is ammenable to this method. Here we…

Data Structures and Algorithms · Computer Science 2009-05-28 Paul M. B. Vitanyi

Hybrid systems are complex dynamical systems that combine discrete and continuous components. Reachability questions, regarding whether a system can run into a certain subset of its state space, stand at the core of verification and…

Systems and Control · Computer Science 2017-04-11 Erika Ábrahám , Sergiy Bogomolov

We study numerically how multiple deformable capsules squeeze into a constriction. This situation is largely encountered in microfluidic chips designed to manipulate living cells, which are soft entities. We use fully three-dimensional…

Soft Condensed Matter · Physics 2021-12-15 Clément Bielinski , Othmane Aouane , Jens Harting , Badr Kaoui

I give a very brief non-technical introduction to the intersection of the fields of spin systems and computational complexity. The focus is on spin glasses and their relationship to NP-complete problems.

Quantum Physics · Physics 2010-08-25 Daniel Gottesman

We discuss some systematic methods for implementing state manipulations in systems formally similar to chains of a few spins with nearest-neighbor interactions, arranged such that there are strong and weak scales of coupling links. States…

Quantum Physics · Physics 2009-11-07 Nicole F. Bell , R. F. Sawyer , Raymond R. Volkas , Yvonne Y. Y. Wong

Before chess came to Northern Europe there was Tafl, a family of asymmetric strategy board games associated strongly with the Vikings. The purpose of this paper is to study the combinatorial state-space complexity of an Irish variation of…

Computer Science and Game Theory · Computer Science 2021-06-11 Kiernan Compy , Alana Evey , Hunter McCullough , Lindsay Allen , Aaron S. Crandall

The shuffle product \(u\shuffle v\) of two words \(u\) and \(v\) is the set of all words which can be obtained by interleaving \(u\) and \(v\). Motivated by the paper \emph{The Shuffle Product: New Research Directions} by Restivo (2015) we…

Combinatorics · Mathematics 2022-03-03 Pamela Fleischmann , Tero Harju , Lukas Haschke , Jonas Höfer , Dirk Nowotka

The perturbative consistency of coherent states within interacting quantum field theory requires them to be altered beyond the simple non-squeezed form. Building on this point, we perform explicit construction of consistent squeezed…

High Energy Physics - Theory · Physics 2023-12-01 Lasha Berezhiani , Giordano Cintia , Michael Zantedeschi

Properties of the shuffle product suggest the definition of a quadratic form with domain and values in formal power series over a field of characteristic 2. This quadratic form preserves rational (respectively algebraic) power series and…

Number Theory · Mathematics 2007-06-07 Roland Bacher

We propose a new diagnostic for quantum chaos. We show that time evolution of complexity for a particular type of target state can provide equivalent information about the classical Lyapunov exponent and scrambling time as out-of-time-order…

High Energy Physics - Theory · Physics 2020-02-05 Tibra Ali , Arpan Bhattacharyya , S. Shajidul Haque , Eugene H. Kim , Nathan Moynihan , Jeff Murugan

We consider the numbers arising in the problem of normal ordering of expressions in canonical boson creation and annihilation operators. We treat a general form of a boson string which is shown to be associated with generalizations of…

Quantum Physics · Physics 2010-12-30 M A Mendez , P Blasiak , K A Penson

Given a set I of word, the set of all words obtained by the shuffle of (copies of) words of I is naturally provided with a partial order. In [FS05], the authors have opened the problem of the characterization of the finite sets I such that…

Discrete Mathematics · Computer Science 2016-08-16 Flavio D'Alessandro , Gwénaël Richomme , Stefano Varrichio

Systems switching between different dynamical phases is an ubiquitous phenomenon. The general understanding of such a process is limited. To this end, we present a general expression that captures fluctuations of a system exhibiting a…

Statistical Mechanics · Physics 2024-12-05 Ion Santra , Kristian Stølevik Olsen , Deepak Gupta

We introduce two new binary operations with combinatorial species; the arithmetic product and the modified arithmetic product. The arithmetic product gives combinatorial meaning to the product of Dirichlet series and to the Lambert series…

Combinatorics · Mathematics 2007-05-23 Manuel Maia , Miguel Mendez

The satisfiability problem of hybrid logics with the downarrow binder is known to be undecidable. This initiated a research program on decidable and tractable fragments. In this paper, we investigate the effect of restricting the…

Logic in Computer Science · Computer Science 2015-03-13 Arne Meier , Martin Mundhenk , Thomas Schneider , Michael Thomas , Volker Weber , Felix Weiss

The paper describes clustering problems from the combinatorial viewpoint. A brief systemic survey is presented including the following: (i) basic clustering problems (e.g., classification, clustering, sorting, clustering with an order over…

Artificial Intelligence · Computer Science 2015-06-01 Mark Sh. Levin

We study the state complexity of regular operations in the class of ideal languages. A language L over an alphabet Sigma is a right (left) ideal if it satisfies L = L Sigma* (L = Sigma* L). It is a two-sided ideal if L = Sigma* L Sigma *,…

Formal Languages and Automata Theory · Computer Science 2009-08-17 J. Brzozowski , G. Jirásková , B. Li

Choreographies describe possible sequences of interactions among a set of agents. We aim to join two lines of research on choreographies: the use of the shuffle on trajectories operator to design more expressive choreographic languages, and…

Formal Languages and Automata Theory · Computer Science 2023-11-14 Luc Edixhoven
‹ Prev 1 3 4 5 6 7 10 Next ›