English
Related papers

Related papers: Algorithmic complexity and soficness of shifts in …

200 papers

We introduce an algorithm that constructs a discrete gradient field on any simplicial complex. We show that, in all situations, the gradient field is maximal possible and, in a number of cases, optimal. We make a thorough analysis of the…

Algebraic Topology · Mathematics 2024-12-18 Emilio J. González , Jesús González

The Special Affine Fourier Transformation(SAFT), which generalizes several well-known unitary transformations, has been demonstrated as a valuable tool in signal processing and optics. In this paper, we explore the multivariate dynamical…

Functional Analysis · Mathematics 2024-09-16 Meng Ning , Li-Ping Wu , Qing-yue Zhang , Bei Liu

In this paper we use fixed point tilings to answer a question posed by Michael Hochman and show that every one-dimensional effectively closed subshift can be implemented by a local rule in two dimensions. The proof uses the fixed-point…

Logic in Computer Science · Computer Science 2010-03-17 Bruno Durand , Andrei Romashchenko , Alexander Shen

There are some positively divisible non-Markovian processes whose transition matrices satisfy the Chapman-Kolmogorov equation. These processes should also satisfy the Kolmogorov consistency conditions, an essential requirement for a process…

Probability · Mathematics 2024-01-24 Bilal Canturk , Heinz-Peter Breuer

Consider a convex polyhedral robot $B$ that can translate (without rotating) amidst a finite set of non-moving polyhedral obstacles in $\mathbb R^3$. The "free space" $\mathcal F$ of $B$ is the set of all positions in which $B$ is disjoint…

Computational Geometry · Computer Science 2026-02-10 Gabriel Nivasch

In this article, we study classes of multidimensional subshifts defined by multihead finite automata, in particular the hierarchy of classes of subshifts defined as the number of heads grows. The hierarchy collapses on the third level,…

Formal Languages and Automata Theory · Computer Science 2014-08-29 Ville Salo , Ilkka Törmä

The main goal of this paper is to put some known results in a common perspective and to simplify their proofs. We start with a simple proof of a result from (Vereshchagin, 2002) saying that $\limsup_n\KS(x|n)$ (here $\KS(x|n)$ is…

Computational Complexity · Computer Science 2008-02-21 Laurent Bienvenu , Andrej Muchnik , Alexander Shen , Nikolay Vereshchagin

We study Krylov (spread) complexity in strongly coupled six-dimensional ${\cal N}=(1,0)$ superconformal field theories with holographic duals in massive type IIA supergravity. Extending recent holographic proposals relating Krylov…

High Energy Physics - Theory · Physics 2026-05-08 Ali Fatemiabhari , Carlos Nunez , Ricardo T. Santamaria

We give sufficient conditions for a shift space $(\Sigma,\sigma)$ to be intrinsically ergodic, along with sufficient conditions for every subshift factor of $\Sigma$ to be intrinsically ergodic. As an application, we show that every…

Dynamical Systems · Mathematics 2015-03-17 Vaughn Climenhaga , Daniel J. Thompson

We introduce a definition of algorithmic symmetry able to capture essential aspects of geometric symmetry. We review, study and apply a method for approximating the algorithmic complexity (also known as Kolmogorov-Chaitin complexity) of…

Computational Complexity · Computer Science 2018-03-07 Hector Zenil , Narsis A. Kiani , Jesper Tegnér

Motivated by the electroweak hierarchy problem, we consider theories with two extra dimensions in which the four-dimensional scalar fields are components of gauge boson in full space, namely the Gauge-Higgs unification framework. We briefly…

High Energy Physics - Phenomenology · Physics 2007-12-13 D. Hernandez , S. Rigolin , M. Salvatori

We give a new complexity bound for calculating the complex dimension of an algebraic set. Our algorithm is completely deterministic and approaches the best recent randomized complexity bounds. We also present some new, significantly sharper…

Algebraic Geometry · Mathematics 2025-10-20 J. Maurice Rojas

We show that the values of entropies of multidimensional shifts of finite type (SFTs) are characterized by a certain computation-theoretic property: a real number $h\geq 0$ is the entropy of such an SFT if and only if it is right…

Dynamical Systems · Mathematics 2014-09-23 Michael Hochman , Tom Meyerovitch

This paper addresses two intertwined needs for collaborative robots operating in shop-floor environments. The first is the ability to perform complex manipulation operations, such as those on articulated or even flexible objects, in a way…

Five new algorithms were proposed in order to optimize well conditioning of structural matrices. Along with decreasing the size and duration of analyses, minimizing analytical errors is a critical factor in the optimal computer analysis of…

Numerical Analysis · Mathematics 2021-09-21 Farzad S. Dizaji , Mehrdad S. Dizaji

Molodstov[10] introduced soft set theory as a new mathematical approach for solving problems having uncertainties. Many researchers worked on the findings of structures of soft set theory and applied to many problems having uncertainties.…

General Mathematics · Mathematics 2014-09-12 Sabir Hussain

Finite-dimensional signatures of spinodal criticality are notoriously difficult to come by. The dynamical transition of glass-forming liquids, first described by mode-coupling theory, is a spinodal instability preempted by thermally…

Statistical Mechanics · Physics 2020-09-09 Ludovic Berthier , Patrick Charbonneau , Joyjit Kundu

The constraint satisfaction problem (CSP) is a central generic problem in computer science and artificial intelligence: it provides a common framework for many theoretical problems as well as for many real-life applications. Soft constraint…

Artificial Intelligence · Computer Science 2011-04-25 Martin C. Cooper , Stanislav Zivny

In this work we address the reduction of face degrees of freedom (DOFs) for discrete elasticity complexes. Specifically, using serendipity techniques, we develop a reduced version of a recently introduced two-dimensional complex arising…

Numerical Analysis · Mathematics 2022-07-18 Michele Botti , Daniele A. Di Pietro , Marwa Salah

In many combinatorial problems one may need to model the diversity or similarity of assignments in a solution. For example, one may wish to maximise or minimise the number of distinct values in a solution. To formulate problems of this…

Artificial Intelligence · Computer Science 2014-01-17 Emmanuel Hebrard , Dániel Marx , Barry O'Sullivan , Igor Razgon