English
Related papers

Related papers: On Factor Universality in Symbolic Spaces

200 papers

Neuro-symbolic artificial intelligence (neuro-symbolic AI) excels in logical analysis and reasoning. Hyperdimensional Computing (HDC), a promising brain-inspired computational model, is integral to neuro-symbolic AI. Various HDC models have…

Symbolic Computation · Computer Science 2025-07-17 Yifei Zhou , Xuchu Huang , Chenyu Ni , Min Zhou , Zheyu Yan , Xunzhao Yin , Cheng Zhuo

The purpose of this paper is to clarify the relationship between various conditions implying essential undecidability: our main result is that there exists a theory $T$ in which all partially recursive functions are representable, yet $T$…

Logic · Mathematics 2020-05-13 Emil Jeřábek

Cellular automata (CA) consist of an array of identical cells, each of which may take one of a finite number of possible states. The entire array evolves in discrete time steps by iterating a global evolution G. Further, this global…

Discrete Mathematics · Computer Science 2015-03-18 Pablo Arrighi , Renan Fargetton , Vincent Nesme , Eric Thierry

Factorization algebras are local-to-global objects living on manifolds, and they arise naturally in mathematics and physics. Their local structure encompasses examples like associative algebras and vertex algebras; in these examples, their…

Mathematical Physics · Physics 2023-10-30 Kevin Costello , Owen Gwilliam

We present ongoing work on a tool that consists of two parts: (i) A raw micro-level abstract world simulator with an interface to (ii) a 3D game engine, translator of raw abstract simulator data to photorealistic graphics. Part (i)…

Multiagent Systems · Computer Science 2017-11-22 Olivier Van Acker , Oded Lachish , Graeme Burnett

Cellular automata (CAs) are dynamical systems which exhibit complex global behavior from simple local interaction and computation. Since the inception of cellular automaton (CA) by von Neumann in 1950s, it has attracted the attention of…

Formal Languages and Automata Theory · Computer Science 2024-01-17 Kamalika Bhattacharjee , Nazma Naskar , Souvik Roy , Sukanta Das

Collective phenomena with universal properties have been observed in many complex systems with a large number of components. Here we present a microscopic model of the emergence of scaling behavior in such systems, where the interaction…

Statistical Finance · Quantitative Finance 2015-05-19 S. V. Vikram , Sitabhra Sinha

There has been enormous progress in the last few years in designing neural networks that respect the fundamental symmetries and coordinate freedoms of physical law. Some of these frameworks make use of irreducible representations, some make…

Machine Learning · Computer Science 2023-02-09 Soledad Villar , David W. Hogg , Kate Storey-Fisher , Weichi Yao , Ben Blum-Smith

In this dissertation, we study temporally stochasticity in cellular automata and the behavior of such cellular automata. The work also explores the computational ability of such cellular automaton that illustrates the computability of…

Cellular Automata and Lattice Gases · Physics 2022-10-26 Subrata Paul

A new formulation of special relativity is described. It is based on a postulate that the universe is a vast Cellular Automata (CA). We show that any CA model automatically leads to a maximum speed limit for the transfer of information from…

General Physics · Physics 2007-05-23 Tom Ostoma , Mike Trushyk

We investigate expressiveness, a parameter of one-dimensional cellular automata, in the context of simulated biological systems. The development of elementary cellular automata is interpreted in terms of biological systems, and biologically…

Cellular Automata and Lattice Gases · Physics 2013-04-09 Markus Redeker , Andrew Adamatzky , Genaro J. Martínez

This paper introduces a new formalism for quantum cellular automata (QCAs), based on evolving tensor products of qubits using local unitary operators. It subsequently uses this formalism to analyze and validate several conjectures, stemming…

Quantum Physics · Physics 2019-10-03 Ruhi Shah , Jonathan Gorard

To study potential limitations of controllability of physical systems I have earlier proposed physically universal cellular automata and Hamiltonians. These are translation invariant interactions for which any control operation on a finite…

Quantum Physics · Physics 2018-04-18 Dominik Janzing

Real-world relations among entities can often be observed and determined by different perspectives/views. For example, the decision made by a user on whether to adopt an item relies on multiple aspects such as the contextual information of…

Machine Learning · Computer Science 2018-02-16 Chun-Ta Lu , Lifang He , Hao Ding , Bokai Cao , Philip S. Yu

The study of subshifts on groups different from $\mathbb{Z}$, such as $\mathbb{Z}^d$, $d\geq 2$, has been a subject of intense research in recent years. These investigations have unveiled aremarkable connection between dynamics and…

Dynamical Systems · Mathematics 2025-05-21 Nicanor Carrasco-Vargas

The objective of transfer reinforcement learning is to generalize from a set of previous tasks to unseen new tasks. In this work, we focus on the transfer scenario where the dynamics among tasks are the same, but their goals differ.…

Artificial Intelligence · Computer Science 2018-04-12 Chen Ma , Junfeng Wen , Yoshua Bengio

Representation learning is a central challenge across a range of machine learning areas. In reinforcement learning, effective and functional representations have the potential to tremendously accelerate learning progress and solve more…

Machine Learning · Computer Science 2019-01-30 Dibya Ghosh , Abhishek Gupta , Sergey Levine

Universal learning machine is a theory trying to study machine learning from mathematical point of view. The outside world is reflected inside an universal learning machine according to pattern of incoming data. This is subjective pattern…

Machine Learning · Computer Science 2018-06-01 Chuyu Xiong

The ability to learn and act in novel situations is still a prerogative of animate intelligence, as current machine learning methods mostly fail when moving beyond the standard i.i.d. setting. What is the reason for this discrepancy? Most…

Machine Learning · Computer Science 2018-12-04 Niki Kilbertus , Giambattista Parascandolo , Bernhard Schölkopf

This paper proposes a generalized framework for cellular automata using the language of category theory, extending the classical definition beyond set-theoretic constraints. For an arbitrary category $\mathscr{C}$ with products, we define…

Formal Languages and Automata Theory · Computer Science 2026-02-05 A. Castillo-Ramirez , A. Vazquez-Aceves , A. Zaldivar-Corichi
‹ Prev 1 8 9 10 Next ›