Buchumschlag

Computability of extender sets in multidimensional subshifts: asymptotic growths, dynamical constraints

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Callard, Antonin, Salomon, Léo Paviet, Vanier, Pascal
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Discrete Mathematics Computational Complexity Logic in Computer Science Dynamical Systems
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

FO logic on cellular automata orbits equals MSO logic
von: Theyssier, Guillaume
Veröffentlicht: (2024)

On Piecewise Affine Reachability with Bellman Operators
von: Varonka, Anton, et al.
Veröffentlicht: (2025)

Small unsatisfiable $k$-CNFs with bounded literal occurrence
von: Zhang, Tianwei, et al.
Veröffentlicht: (2024)

The Rise of Plurimorphisms: Algebraic Approach to Approximation
von: Barto, Libor, et al.
Veröffentlicht: (2024)

Rice-like complexity lower bounds for Boolean and uniform automata networks
von: Goubault-Larrecq, Aliénor, et al.
Veröffentlicht: (2024)

Complexity lower bounds for succinct binary structures of bounded clique-width with restrictions
von: Geniet, Colin, et al.
Veröffentlicht: (2026)

The Unit Gap: How Sharing Works in Boolean Circuits
von: Krinkin, Kirill
Veröffentlicht: (2026)

The domino problem is decidable for robust tilesets
von: Aubrun, Nathalie, et al.
Veröffentlicht: (2024)

Characterization of the set of zero-noise limits measures of perturbed cellular automata
von: Marsan, Hugo, et al.
Veröffentlicht: (2024)

An Algorithmic Meta Theorem for Homomorphism Indistinguishability
von: Seppelt, Tim
Veröffentlicht: (2024)

Restricted CSPs and F-free Digraph Algorithmics
von: Guzmán-Pro, Santiago, et al.
Veröffentlicht: (2025)

Logical Equivalences, Homomorphism Indistinguishability, and Forbidden Minors
von: Seppelt, Tim
Veröffentlicht: (2023)

The Richness of CSP Non-redundancy
von: Brakensiek, Joshua, et al.
Veröffentlicht: (2025)

A Classification of Long-Refinement Graphs for Colour Refinement
von: Kiefer, Sandra, et al.
Veröffentlicht: (2025)

Lower Bounds in Algebraic Complexity via Symmetry and Homomorphism Polynomials
von: Dwivedi, Prateek, et al.
Veröffentlicht: (2026)

Consistency of P-time event graphs is decidable in polynomial time (extended version)
von: Zorzenon, Davide, et al.
Veröffentlicht: (2023)

Measuring robustness of dynamical systems. Relating time and space to length and precision
von: Blanc, Manon, et al.
Veröffentlicht: (2023)

Homomorphism Indistinguishability, Multiplicity Automata Equivalence, and Polynomial Identity Testing
von: Černý, Marek, et al.
Veröffentlicht: (2025)

On Numbers of Simplicial Walks and Equivalent Canonizations for Graph Recognition
von: Černý, Marek
Veröffentlicht: (2026)

Smaller Circuits for Bit Addition
von: Goncharov, Mikhail, et al.
Veröffentlicht: (2025)

Lasserre Hierarchy for Graph Isomorphism and Homomorphism Indistinguishability
von: Roberson, David E., et al.
Veröffentlicht: (2023)

Graph Homomorphisms and Universal Algebra
von: Bodirsky, Manuel
Veröffentlicht: (2026)

CMSO-transducing tree-like graph decompositions
von: Campbell, Rutger, et al.
Veröffentlicht: (2024)

Weighted basic parallel processes and combinatorial enumeration
von: Clemente, Lorenzo
Veröffentlicht: (2024)

Simulation of Turing machines with analytic discrete ODEs: FPTIME and FPSPACE over the reals characterised with discrete ordinary differential equations
von: Blanc, Manon, et al.
Veröffentlicht: (2023)

Computational complexity of the Weisfeiler-Leman dimension
von: Lichter, Moritz, et al.
Veröffentlicht: (2024)

Fixed Point Certificates for Reachability and Expected Rewards in MDPs
von: Chatterjee, Krishnendu, et al.
Veröffentlicht: (2025)

Solvable Initial Value Problems Ruled by Discontinuous Ordinary Differential Equations
von: Bournez, Olivier, et al.
Veröffentlicht: (2024)

Set Descriptive Complexity of Solvable Functions
von: Gozzi, Riccardo, et al.
Veröffentlicht: (2024)

An Upper Bound on the Weisfeiler-Leman Dimension
von: Schneider, Thomas, et al.
Veröffentlicht: (2024)

Statistical Model Checking Beyond Means: Quantiles, CVaR, and the DKW Inequality (extended version)
von: Budde, Carlos E., et al.
Veröffentlicht: (2025)

Distortion element in the automorphism group of a full shift
von: Callard, Antonin, et al.
Veröffentlicht: (2022)

Symmetric Arithmetic Circuits
von: Dawar, Anuj, et al.
Veröffentlicht: (2020)

Lower Bounds for Symmetric Circuits for the Determinant
von: Dawar, Anuj, et al.
Veröffentlicht: (2021)

Logic-based analogical proportions
von: Antić, Christian
Veröffentlicht: (2024)

A Note on Constructive Canonical Splitter Strategies in Nowhere Dense Graph Classes
von: Fuchser, Janne, et al.
Veröffentlicht: (2025)

Nested Sequents for Intuitionistic Grammar Logics via Structural Refinement
von: Lyon, Tim S.
Veröffentlicht: (2022)

Faster algorithms for graph homomorphism via tractable constraint satisfaction
von: Carbonnel, Clément
Veröffentlicht: (2026)

Inapproximability of the independent set polynomial in the complex plane
von: Bezakova, Ivona, et al.
Veröffentlicht: (2017)

Home Spaces and Invariants to Analyze Parameterized Petri Nets
von: Memmi, Gerard
Veröffentlicht: (2024)