Quantum cellular automata form a homology theory.
problem Understanding the topological structure of quantum cellular automata.
method Formal properties of coarse homology theories.
result Quantum cellular automata naturally form the degree-zero part of a coarse homology theory.
Study immersions of punctured 4-manifolds for quantum automata applications.
problem Existence of immersions between specific 4-manifolds.
method Analyzing immersions of punctured 4-manifolds to establish a partial order.
result Established a partial order on closed 4-manifolds via immersions.
CURIE uses cellular automata to detect concept drift in data streams.
problem Detecting changes in data distribution (concept drift) in data streams.
method CURIE represents data stream distribution in a cellular automata grid and uses its neighborhood rule to detect changes.
result CURIE, when hybridized with base learners, performs competitively in detection metrics and classification accuracy.
Designs a Cellular Automata rule for forming touching loop patterns.
problem Forming stable touching loop patterns in a 2D grid.
method Developed a Cellular Automata rule that uses templates to cover the space and match patterns.
result The rule successfully evolves stable touching loop patterns in a 2D grid.
LUNAR uses cellular automata for real-time data classification in fast streams.
problem Real-time machine learning challenges with fast data streams and concept drift.
method Streamified cellular automata approach for incremental learning and adaptation.
result Competitive performance in classification compared to established online learning methods.
In the present work we introduce a stochastic cellular automata model in order to simulate the dynamics of the stock market. A direct percolation method is used to create a hierarchy of clusters of active traders on a two dimensional grid. Active traders are characterised by the decision to buy, (+1), or sell, (-1), a …
MBQC linked to CQCA, yielding efficient Ansätze.
problem Quantum computation efficiency and Ansatz adaptation.
method Relating MBQC to CQCA and constructing Ansätze.
result MBQC Ansätze can lead to different performances on learning tasks.
MPNPs use message passing to exploit relational structure in stochastic processes.
problem Lack of relational information in NPs limits their effectiveness in tasks with neighborhood rules.
method Introduce MPNPs that explicitly use relational structure through message passing.
result MPNPs outperform NPs in tasks with relational information, showing significant gains in few-shot learning.
Self-Organizing Maps provide quick flood predictions for real-time decision making.
problem Computational demand of physically-based overland flow models limits their use in real-time applications.
method Developed a flood-simulation specific SOM using cellular automata flood model results and synthetic DEM.
result SOMs can generate accurate water depth and flood extent results in a short time.
We discuss here the mean-field theory for a cellular automata model of meta-learning. The meta-learning is the process of combining outcomes of individual learning procedures in order to determine the final decision with higher accuracy than any single learning method. Our method is constructed from an ensemble of inte…
Automated discovery of diverse self-organized patterns in complex systems.
problem Automated identification of interesting spatially localized patterns in self-organizing systems.
method Intrinsically motivated machine learning algorithms (POP-IMGEPs) combined with deep auto-encoders and CPPN primitives.
result Efficiency and effectiveness of the proposed method in discovering diverse patterns compared to baselines.
Train track automata for fully irreducible elements in Out(F_r).
problem Understanding fully irreducible elements in Out(F_r).
method Describing train track automata and geodesics in Outer Space.
result Geodesics in Culler-Vogtmann Outer Space for fully irreducible elements.
ADT uses adaptive sequences to improve automata learning.
problem Improving efficiency and accuracy of automata learning.
method Developed ADT algorithm with adaptive distinguishing sequences.
result ADT successfully integrated into LearnLib and used in research.
We obtain an index of the complexity of a random sequence by allowing the role of the measure in classical probability theory to be played by a function we call the generating mechanism. Typically, this generating mechanism will be a finite automata. We generate a set of biased sequences by applying a finite state auto…
Method extracts weighted automata from RNNs using state space regression.
problem Extracting weighted automata from RNNs for better model understanding.
method Regression on RNN state space to prioritize counterexample candidates.
result Quantitative/weighted extension of DFA extraction.
This article introduces both a new algorithm for reconstructing epsilon-machines from data, as well as the decisional states. These are defined as the internal states of a system that lead to the same decision, based on a user-provided utility or pay-off function. The utility function encodes some a priori knowledge ex…
ISA learns subgoals for reinforcement learning agents.
problem Learning subgoals for efficient reinforcement learning.
method Induces a subgoal automaton from observation traces using inductive logic programming.
result ISA learns subgoals that improve RL performance and convergence.
Extracts weighted automata from black box models for sequential data.
problem Global interpretability of black box models for symbolic sequential data.
method Spectral algorithm for extracting weighted automata from black boxes without access to inner representation.
result Approximation of black box models using inferred weighted automata is of high quality.
We present an interactive version of an evidence-driven state-merging (EDSM) algorithm for learning variants of finite state automata. Learning these automata often amounts to recovering or reverse engineering the model generating the data despite noisy, incomplete, or imperfectly sampled data sources rather than optim…
Automaton models are often seen as interpretable models. Interpretability itself is not well defined: it remains unclear what interpretability means without first explicitly specifying objectives or desired attributes. In this paper, we identify the key properties used to interpret automata and propose a modification o…
Paper verifies RNNs using automata learning and model checking.
problem Verifying the correctness of RNNs is challenging.
method Learn a deterministic finite automaton from RNN, use model checking for verification.
result Can discover and generalize counterexamples to faulty flows.
Transformers simulate finite-state automata with fewer layers.
problem How do shallow, non-recurrent Transformers simulate complex computations?
method Hierarchical reparameterization of recurrent dynamics to simulate automata.
result Polynomial-sized, O(logT)-depth solutions exist and are common. Classifies knots in the Poincaré sphere, using fixed points and folding automata.
problem Classifying knots in the Poincaré sphere and understanding their properties.
method Theory of train tracks, folding automata, and knot Floer homology.
result Almost completely classified genus-two, hyperbolic, fibered knots.
DeepSynth synthesizes automata to guide deep RL agents through sparse, non-Markovian rewards.
problem Training deep RL agents with sparse, non-Markovian rewards and unknown high-level objectives.
method Employing a novel algorithm for synthesizing compact automata to uncover sequential structure from trace data.
result Reduces the number of iterations required for policy synthesis by two orders of magnitude and improves scalability.
A framework for analyzing financial systems under scenario constraints.
problem Quantifying worst-case and best-case performance in financial systems.
method Quantitative automata-based framework integrating event history automata and weighted finance finite automata.
result Exact calculation of upper and lower payoff bounds with interpretable witness event histories.
In this paper we generalize cellular algebras by allowing different partial orderings relative to fixed idempotents. For these relative cellular algebras we classify and construct simple modules, and we obtain other characterizations in analogy to cellular algebras. We also give several examples of algebras that are re…
Algorithm extracts deterministic PDFA from probabilistic models with improved performance.
problem Learning deterministic models from probabilistic ones with noise.
method Adapted L* algorithm for probabilistic settings, using conditional probabilities and local tolerance.
result Achieves better performance on WER and NDCG than spectral extraction of WFAs.
We show how well known rules of back propagation arise from a weighted combination of finite automata. By redefining a finite automata as a predictor we combine the set of all k-state finite automata using a weighted majority algorithm. This aggregated prediction algorithm can be simplified using symmetry, and we pro…
New method tackles reinforcement learning of complex ω-regular objectives without models.
problem Learning ω-regular objectives in unknown MDPs.
method Constructive reduction to almost-sure reachability, compilation to limit-deterministic Buechi automata.
result Optimal strategies computed from MDP observations using reinforcement learning.
This article introduces descriptive cellular homology on cell complexes, which is an extension of J.H.C. Whitehead's CW topology. A main result is that a descriptive cellular complex is a topology on fibres in a fibre bundle. An application of two forms of cellular homology is given in terms of the persistence of shape…
The study classifies cellular pseudomanifolds and their properties.
problem Understanding the structure of cellular pseudomanifolds.
method Analyzing the combinatorial and geometric properties of cellular pseudomanifolds.
result Complete classification of cellular pseudomanifolds with excess < 2, and progress towards excess 2.
The paper studies Morse theory on manifolds with boundaries, constructing cellular structures and estimating critical points.
problem Understanding Morse functions on manifolds with boundaries.
method Constructing a cellular structure and analyzing its algebraic properties.
result Estimation of the number of critical points of a Morse function with boundary conditions.
The paper develops algorithms for computing in stochastic acceptors.
problem Computing input marginals and acceptance probabilities in stochastic acceptors.
method Dynamic programming for input marginals, EM for parameter estimation.
result Efficient algorithms for computing in stochastic acceptors.
New algorithm learns Markov decision processes from test data.
problem Learning Markov decision processes from limited test data.
method L*-based active learning with sampling.
result Sampling-based algorithm outperforms passive learning.
Fractal neural networks play SimCity and Conway's Game of Life on varying scales.
problem Generalizing agents' performance to larger gameboards than during training.
method Reinforcement learning in a custom environment, using fractal neural networks.
result Agents can generalize to larger gameboards, solving a minigame unsolvable with local strategies.
Combining automata learning and model-based testing generates sufficient training data for hybrid systems.
problem Challenges in constructing models of hybrid systems that combine physical and digital behavior.
method Exploits a combination of automata learning and model-based testing to generate sufficient training data.
result Recurrent neural networks trained with this data achieved significantly better results compared to models learned from random data.
We present a construction of cellular BF theory (in both abelian and non-abelian variants) on cobordisms equipped with cellular decompositions. Partition functions of this theory are invariant under subdivisions, satisfy a version of the quantum master equation, and satisfy Atiyah-Segal-type gluing formula with respect…
State-regularized RNNs improve interpretability and performance on long-term memory tasks.
problem RNNs struggle with long-term memory and lack of interpretability.
method Introduce a stochastic state transition mechanism to limit state transitions to a finite set.
result State-regularized RNNs perform better on tasks requiring long-term memory.
Optimizes natural frequencies of cellular composites with various microstructures.
problem Designing cellular composites with diverse microstructures for maximizing natural frequencies.
method Data-driven topology optimization with a latent-variable Gaussian process model.
result Cellular designs with multiclass microstructures achieve higher natural frequencies.
For leveled spatial graphs, we find a surface embedding that allows cellular embedding.
problem Finding a surface embedding for general spatial graphs is not always possible.
method Define leveled property, decompose graph into subgraphs, and construct surface.
result For leveled spatial graphs with a small number of levels, a surface can always be found.
In this paper, we unravel a fundamental connection between weighted finite automata~(WFAs) and second-order recurrent neural networks~(2-RNNs): in the case of sequences of discrete symbols, WFAs and 2-RNNs with linear activation functions are expressively equivalent. Motivated by this result, we build upon a recent ext…
We give examples of harmonic cellular maps between negatively curved manifolds which are not diffeomorphisms but are homotopic to diffeomorphisms.
The notion of cellular stratified spaces was introduced in a joint work of the author with Basabe, González, and Rudyak [1009.1851] with the aim of constructing a cellular model of the configuration space of a sphere. In particular, it was shown that the classifying space (order complex) of the face poset of a totally …
Dual neural network architecture improves accuracy and interpretability.
problem Improving neural network interpretability and accuracy.
method Stacked recurrent and feedforward layers, binary activation function.
result Binary activation leads to simpler, more interpretable models with higher accuracy.
The paper presents an algorithm to determine discreteness of certain groups.
problem Determining discreteness of specific groups generated by parabolic transformations.
method Algorithmic approach based on historical mathematical paradigms.
result Equivalence of different approaches to the discreteness problem.
The paper extends Gaussian processes to model complex interactions in cellular complexes.
problem Capturing topological inductive biases in machine learning models.
method Proposes Gaussian processes on cellular complexes, introducing novel kernels.
result Derives two novel kernels for modeling interactions between cells.
In this work we develop a cellular equivariant homology functor and apply it to prove an equivariant Euler-Poincare formula and an equivariant Lefschetz theorem.
Reservoir computers and RNNs fall short of optimal prediction for stochastic PDFA.
problem Predicting stochastic processes generated by probabilistic deterministic finite-state automata.
method Generalized linear models, Reservoir computers, and Long Short-Term Memory (LSTM) RNNs were tested.
result Each method can fall short of maximal predictive accuracy by up to 50% after training.