arXiv subjects

Marius Rolland

Publications and source records attributed to Marius Rolland.

6 recordsLinked to original sources

arXiv2026

Injective and pseudo-injective polynomial equations: From permutations to dynamical systems

We study the computational complexity of decomposing finite discrete dynamical systems (FDDSs) in terms of the semiring operations of alternative and synchronous execution, which is useful for the analysis of discrete phenomena in science and engineering. More specifically, we investigate univariate polynomials of the form $P(X) = B$, that is with a constant side, first over the subsemiring of permutations and then over general FDDSs. We find a characterization of injective polynomials $P$ and efficient algorithms for solving the associated equations. Then, we introduce the more general notion of pseudo-injective polynomial, which is based on a condition on the lengths of the limit cycles of its coefficients, and prove that the corresponding equations are also solvable efficiently. These results also apply even when permutations are encoded in an exponentially more compact way.

cs.DM↗

arXiv2026

Non-trivial automata networks do exist that solve the global majority problem with the local majority rule

The global majority problem, often referred to as the Density Classification Task, is a classical benchmark in the context of probing the computational capabilities of automata networks. It poses the simple yet challenging problem of determining, by totally local means, whether an arbitrary initial configuration of binary states can evolve to a final, homogeneous global configuration that reflects the initial global majority. Although it is known that in the specific case of cellular automata with periodic boundaries no rule is able to solve the problem, in other formulations solutions are known and, in others, the problem is still open. Aligned with the latter, here we explore the possibility of solving the problem with automata networks, operating only with the local majority rule, with a focus on identifying non-trivial cases where it can be solved and explaining why they do so.

cs.DM↗

arXiv2026

Majority Boolean networks classifying density: structural characterization and complexity

Given a set of entities each holding a Boolean state, the Density Classification Task (DCT) asks them to converge to the most represented state. Given a directed graph of entities where each node synchronously updates to the local majority among its in-neighbors, we characterize in terms of three forbidden patterns when it solves DCT, and show that discovering these patterns is complete for NP and PSPACE.

cs.DM↗

arXiv2025

Solving "pseudo-injective" polynomial equations over finite dynamical systems

We consider the semiring of abstract finite dynamical systems up to isomorphism, with the operations of alternative and synchronous execution. We continue searching for efficient algorithms for solving polynomial equations of the form $P(X) = B$, with a constant side B, with the goal of decomposing complex behaviors into simpler systems. Taking inspiration from the characterization of injective polynomials P over dynamical systems, which is based on a condition on the lengths of limit cycles of their coefficients, we introduce a more general notion of pseudo-injectivity by relaxing this constraint. We prove that the associated equations can be solved efficiently, even in certain cases where the input is encoded in an exponentially more compact way.

cs.DM↗

arXiv2025

Injectivity of polynomials over finite discrete dynamical systems

The analysis of observable phenomena (for instance, in biology or physics) allows the detection of dynamical behaviors and, conversely, starting from a desired behavior allows the design of objects exhibiting that behavior in engineering. The decomposition of dynamics into simpler subsystems allows us to simplify this analysis (or design). Here we focus on an algebraic approach to decomposition, based on alternative and synchronous execution as the sum and product operations; this gives rise to polynomial equations (with a constant side). In this article we focus on univariate, injective polynomials, giving a characterization in terms of the form of their coefficients and a polynomial-time algorithm for solving the associated equations.

cs.DM↗

arXiv2024

Roots in the semiring of finite deterministic dynamical systems

Finite discrete-time dynamical systems (FDDS) model phenomena that evolve deterministically in discrete time. It is possible to define sum and product operations on these systems (disjoint union and direct product, respectively) giving a commutative semiring. This algebraic structure led to several works employing polynomial equations to model hypotheses on phenomena modelled using FDDS. To solve these equations, algorithms for performing the division and computing $k$-th roots are needed. In this paper, we propose two polynomial algorithms for these tasks, under the condition that the result is a connected FDDS. This ultimately leads to an efficient solution to equations of the type $AX^k=B$ for connected $X$. These results are some of the important final steps for solving more general polynomial equations on FDDS.

cs.DM↗