Researcher profile

Henryk Fukś

Henryk Fukś contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

nlin.CG math.HO math.DS physics.hist-ph physics.soc-ph Social and Information Networks

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author

11works

0followers

6topics

4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2026arXiv

Approximating dynamics of a number-conserving cellular automaton by a finite-dimensional dynamical system

The local structure theory for cellular automata (CA) can be viewed as an finite-dimensional approximation of infinitely-dimensional system. While it is well known that this approximation works surprisingly well for some cellular automata, it is still not clear why it is the case, and which CA rules have this property. In order to shed some light on this problem, we present an example of a four input CA for which probabilities of occurrence of short blocks of symbols can be computed exactly. This rule is number conserving and possesses a blocking word. Its local structure approximation correctly predicts steady-state probabilities of small length blocks, and we present a rigorous proof of this fact, without resorting to numerical simulations. We conjecture that the number-conserving property together with the existence of the blocking word are responsible for the observed perfect agreement between the finite-dimensional approximation and the actual infinite-dimensional dynamical system.

preprint2026arXiv

Mathematics in the liturgical books of the Catholic Church: phases of the ecclesiastical moon

We use contemporary mathematical notation to describe the method for determining the age of the ecclesiastical moon as mandated by pope Gregory XIII and elaborated in the book of Christopher Clavius \emph{Romani calendarii explicatio}. The algorithm is first introduced by using the tabular method employed by liturgical books such as the Roman Missal, Breviary and Martyrology. Then we construct the recurrence equation for the epacts, derive its solution, and give a simple expression for the age of the moon on a given day of the year. We also consider the problems which can occur at the transition from December 31 to January 1 of the next year, when there could be a ``jump'' in moon's age ("saltus lunae") in years when epact corrections are applied. We propose a simple solution which fixes these problems. A summary of the formulae and listing of the implementation of relevant functions in Python is provided in the last section.

preprint2026arXiv

Ternary cellular automata induced by semigroups of order 3 are solvable

The minimal number of inputs in the local function of a non-trivial cellular automaton is two. Such a function can be viewed as as a kind of binary operation. If this operation is associative, it forms, together with the set of states, a semigroup. There are 18 semigroups of order 3 up to equivalence, and they define 18 cellular automata rules with three states. We investigate these rules with respect to solvability and show that all of them are solvable, meaning that the state of a given cell after $n$ iterations can be expressed by an explicit formula. We derive the relevant formulae for all 18 rules using some additional properties possessed by particular semigroups of order 3, such as commutativity and idempotence.

preprint2025arXiv

Solving the initial value problem for cellular automata by pattern decomposition

For many cellular automata, it is possible to express the state of a given cell after $n$ iterations as an explicit function of the initial configuration. We say that for such rules the solution of the initial value problem can be obtained. In some cases, one can construct the solution formula for the initial value problem by analyzing the spatiotemporal pattern generated by the rule and decomposing it into simpler segments which one can then describe algebraically. We show an example of a rule when such approach is successful, namely elementary rule 156. Solution of the initial value problem for this rule is constructed and then used to compute the density of ones after $n$ iterations, starting from a random initial condition. We also show how to obtain probabilities of occurrence of longer blocks of symbols.

preprint2025arXiv

The story of geometry told by coins

In three articles published in CNJ in 2012 and 2016 , we discussed some links between mathematical sciences, coin minting and numismatics. This article is a continuation of this cycle. It tells the story of selected important developments in the history of geometry using modern commemorative coins as a background and illustration.

preprint2020arXiv

Dynamics of large scale networks following a merger

We study the dynamic network of relationships among avatars in the massively multiplayer online game Planetside 2. In the spring of 2014, two separate servers of this game were merged, and as a result, two previously distinct networks were combined into one. We observed the evolution of this network in the seven month period following the merger and report our observations. We found that some structures of original networks persist in the combined network for a long time after the merger. As the original avatars are gradually removed, these structures slowly dissolve, but they remain observable for a surprisingly long time. We present a number of visualizations illustrating the post-merger dynamics and discuss time evolution of selected quantities characterizing the topology of the network.

preprint2020arXiv

Evaluating the Quality of Local Structure Approximation Using Elementary Rule 14

Cellular automata (CA) can be viewed as maps in the space of probability measures. Such maps are normally infinitely-dimensional, and in order to facilitate investigations of their properties, especially in the context of applications, finite-dimensional approximations have been proposed. The most commonly used one is known as the local structure theory, developed by H. Gutowitz et al. in 1987. In spite of the popularity of this approximation in CA research, examples of rigorous evaluations of its accuracy are lacking. In an attempt to fill this gap, we construct a local structure approximation for rule 14, and study its dynamics in a rigorous fashion, without relying on numerical experiments. We then compare the outcome with known exact results.

preprint2020arXiv

Explicit solution of the Cauchy problem for cellular automaton rule 172

Cellular automata (CA) are fully discrete alternatives to partial differential equations (PDE). For PDEs, one often considers the Cauchy problem, or initial value problem: find the solution of the PDE satisfying a given initial condition. For many PDEs of the first order in time, it is possible to find explicit formulae for the solution at the time $t>0$ if the solution is known at $t=0$. Can something similar be achieved for CA? We demonstrate that this is indeed possible in some cases, using elementary CA rule 172 as an example. We derive an explicit expression for the state of a given cell after $n$ iteration of the rule 172, assuming that states of all cells are known at $n=0$. We then show that this expression ("solution of the CA") can be used to obtain an expected value of a given cell after $n$ iterations, provided that the initial condition is drawn from a Bernoulli distribution. This can be done for both finite and infinite lattices, thus providing an interesting test case for investigating finite size effects in CA.

preprint2013arXiv

Sequences of preimages in elementary cellular automata

We search for regularities in the sequences of numbers of preimages for elementary cellular automata. For 46 out of 88 "minimal" rules, we find recognizable patterns, usually in the form of second order recurrence equations with constant coefficients. Introducing the concept of asymptotic emulation of CA rules, we then show how the regularities in the sequences of preimage numbers can be used to find rules emulating identity. We also show that the average density of nonzero sites after arbitrary number of steps (starting from disordered configuration) can be computed using the sequences of preimage numbers.

preprint2012arXiv

Classification of two-dimensional binary cellular automata with respect to surjectivity

While the surjectivity of the global map in two-dimensional cellular automata (2D CA) is undecidable in general, in specific cases one can often decide if the rule is surjective or not. We attempt to classify as many 2D CA as possible by using a sequence of tests based on the balance theorem, injectivity of the restriction to finite configurations, as well as permutivity. We introduce the notion of slice permutivity which is shown to imply surjectivity in 2D CA. The tests are applied to 2D binary CA with neighbourhoods consisting of up to five sites, considering all possible contiguous shapes of the neighbourhood. We find that if the size of the neighbourhood is less than five, complete classification of all rules is possible. Among 5-site rules, those with von Neuman neighbourhoods as well as neighbourhoods corresponding to T, V, and Z pentominos can also be completely classified.

preprint2011arXiv

Response Curves and Preimage Sequences of Two-Dimensional Cellular Automata

We consider the problem of finding response curves for a class of binary two-dimensional cellular automata with $L$-shaped neighbourhood. We show that the dependence of the density of ones after an arbitrary number of iterations, on the initial density of ones, can be calculated for a fairly large number of rules by considering preimage sets. We provide several examples and a summary of all known results. We consider a special case of initial density equal to 0.5 for other rules and compute explicitly the density of ones after $n$ iterations of the rule. This analysis includes surjective rules, which in the case of $L$-shaped neighbourhood are all found to be permutive. We conclude with the observation that all rules for which preimage curves can be computed explicitly are either finite or asymptotic emulators of identity or shift.

Institution

Affiliation not imported yet

This author record came from a source that does not expose affiliation metadata. Once the author claims the profile or we enrich the record from another provider, this section will link to the concrete institution.

Topic footprint