English
Related papers

Related papers: Algebraic and Combinatorial Tools for State Comple…

200 papers

In this contribution, we present the MOBSTER Collaboration, a large community effort to leverage high-precision photometry from the Transiting Exoplanet Survey Satellite (\textit{TESS}) in order to characterize the variability of magnetic…

A finitary automaton group is a group generated by an invertible, deterministic finite-state letter-to-letter transducer whose only cycles are self-loops at an identity state. We show that, for this presentation of finite groups, the…

Formal Languages and Automata Theory · Computer Science 2024-03-13 Maximilian Kotowsky , Jan Philipp Wächter

In physics, density matrices are used to represent mixed states, i.e. probabilistic mixtures of pure states. This concept has previously been used to model lexical ambiguity. In this paper, we consider metaphor as a type of lexical…

Computation and Language · Computer Science 2024-08-23 Jay Owers , Ekaterina Shutova , Martha Lewis

Finite-state complexity is a variant of algorithmic information theory obtained by replacing Turing machines with finite transducers. We consider the state-size of transducers needed for minimal descriptions of arbitrary strings and, as our…

Formal Languages and Automata Theory · Computer Science 2010-08-11 Cristian Calude , Kai Salomaa , Tania Roblot

Large Language Models (LLMs) have demonstrated remarkable capabilities in various reasoning-intensive tasks. However, these models exhibit unexpected brittleness, often failing on simple variations of the same underlying task. Existing…

Computation and Language · Computer Science 2026-04-27 Yutao Hou , Zeguan Xiao , Fei Yu , Yihan Jiang , Ma Shuguang , Zhaoqian Dai , Hailiang Huang , Yun Chen , Guanhua Chen

The Fibonacci infinite word ${\bf f} = (f_i)_{i \geq 0} = 01001010\cdots$ is one of the most celebrated objects in combinatorics on words. There is a simple $5$-state automaton that, given $i$ in lsd-first Zeckendorf representation,…

Formal Languages and Automata Theory · Computer Science 2026-03-20 Delaram Moradi , Pierre Popoli , Jeffrey Shallit , Ingrid Vukusic

We discuss the question of the existence of quantum one-way permutations. First, we prove the equivalence between inverting a permutation and that of constructing a polynomial size network for reflecting about a given quantum state. Next,…

Quantum Physics · Physics 2007-05-23 Elham Kashefi , Harumichi Nishimura , Vlatko Vedral

Complexity is an interdisciplinary concept which, first of all, addresses the question of how order emerges out of randomness. For many reasons matrices provide a very practical and powerful tool in approaching and quantifying the related…

Soft Condensed Matter · Physics 2008-12-18 S. Drozdz , J. Kwapien , J. Speth , M. Wojcik

We investigate the state complexity of the upward and downward closure and interior operations on commutative regular languages. Then, we systematically study the state complexity of these operations and of the shuffle operation on…

Formal Languages and Automata Theory · Computer Science 2021-11-29 Stefan Hoffmann

Counting problems, determining the number of possible states of a large system under certain constraints, play an important role in many areas of science. They naturally arise for complex disordered systems in physics and chemistry, in…

Statistical Mechanics · Physics 2009-05-15 Marc Timme , Frank van Bussel , Denny Fliegner , Sebastian Stolzenberg

In this paper, we consider block languages, namely sets of words having the same length, and we propose a new representation for these languages. In particular, given an alphabet of size $k$ and a length $\ell$, a block language can be…

Formal Languages and Automata Theory · Computer Science 2025-05-19 Guilherme Duarte , Nelma Moreira , Luca Prigioniero , Rogério Reis

Sorting is one of the most used and well investigated algorithmic problem [1]. Traditional postulation supposes the sorting data archived, and the elementary operation as comparisons of two numbers. In a view of appearance of new processors…

Data Structures and Algorithms · Computer Science 2011-07-22 Hakob Aslanyan

The definition of symbolic descriptions that consistently represent relevant geometrical aspects in manipulation tasks is a challenging problem that has received little attention in the robotic community. This definition is usually done…

Artificial Intelligence · Computer Science 2020-07-17 Alejandro Agostini , Dongheui Lee

A formalism for the study of highly interacting electronic systems is presented. The proposed scheme is based on two key concepts: composite operators and algebra constraints. Composite field operators, that naturally appear as a…

Strongly Correlated Electrons · Physics 2009-11-10 Ferdinando Mancini

In this paper, the author aims to establish a mathematical model for a mimic computer. To this end, a novel automaton is proposed. First, a one-dimensional cellular automaton is used for expressing some dynamic changes in the structure of a…

Formal Languages and Automata Theory · Computer Science 2017-03-07 Weijun Zhu

We consider blind, deterministic, finite automata equipped with a register which stores an element of a given monoid, and which is modified by right multiplication by monoid elements. We show that, for monoids M drawn from a large class…

Group Theory · Mathematics 2007-05-23 Mark Kambites

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

Simulations of dense stellar systems currently face two major hurdles, one astrophysical and one computational. The astrophysical problem lies in the fact that several major stages in binary evolution, such as common envelope evolution, are…

Astrophysics · Physics 2007-05-23 Piet Hut

Matrices are the most common representations of graphs. They are also used for the representation of algebras and cluster algebras. This paper shows some properties of matrices in order to facilitate the understanding and locating…

Discrete Mathematics · Computer Science 2015-03-12 Elisângela Silva Dias , Diane Castonguay , Mitre Costa Dourado

The article focuses on word (or string) attractors, which are sets of positions related to the text compression efficiency of the underlying word. The article presents two combinatorial algorithms based on Suffix automata or Directed…

Data Structures and Algorithms · Computer Science 2025-09-11 Marie-Pierre Béal , Maxime Crochemore , Giuseppe Romana
‹ Prev 1 3 4 5 6 7 10 Next ›