English
Related papers

Related papers: State complexity of halting, returning and reversi…

200 papers

We obtain upper bounds (in most cases, sharp) for the hitting times of random walks on finite undirected graphs expressed as functions of the graph's number of edges. In particular, we show that the maximum hitting time for a simple random…

Combinatorics · Mathematics 2017-02-15 Dmitri Fomin

Semiautomata form a rich class of sequence-processing algorithms with applications in natural language processing, robotics, computational biology, and data mining. We establish the first Statistical Query hardness result for semiautomata…

Machine Learning · Computer Science 2025-10-07 George Giapitzakis , Kimon Fountoulakis , Eshaan Nichani , Jason D. Lee

Learning requires the traversal of inherently distinct cognitive states to produce behavioral adaptation. Yet, tools to explicitly measure these states with non-invasive imaging -- and to assess their dynamics during learning -- remain…

The statistical basis for conventional full-waveform inversion (FWI) approaches is commonly associated with Gaussian statistics. However, errors are rarely Gaussian in non-linear problems like FWI. In this work, we investigate the…

Geophysics · Physics 2024-05-27 Sérgio Luiz E. F. da Silva , G. Kaniadakis

Quantum graph state is a special class of nonlocal state among multiple quantum particles, underpinning several nonclassical and promising applications such as quantum computing and quantum secret sharing. Recently, establishing quantum…

Quantum Physics · Physics 2025-08-14 Tingxiang Ji , Jianqing Liu , Zheshen Zhang

Many signals evolve in time as a stochastic process, randomly switching between states over discretely sampled time points. Here we make an explicit link between the underlying stochastic process of a signal that can take on a bounded…

Machine Learning · Statistics 2026-05-11 Stefan Klus , Jason J. Bramburger

We study pretty good quantum state transfer (i.e., state transfer that becomes arbitrarily close to perfect) between vertices of graphs with an involution in the presence of an energy potential. In particular, we show that if a graph has an…

Combinatorics · Mathematics 2017-02-24 Mark Kempton , Gabor Lippner , Shing-Tung Yau

We study a discrete time self interacting random process on graphs, which we call Greedy Random Walk. The walker is located initially at some vertex. As time evolves, each vertex maintains the set of adjacent edges touching it that have not…

Probability · Mathematics 2019-02-20 Tal Orenshtein , Igor Shinkar

We consider a Grover walk model on a finite internal graph, which is connected with a finite number of semi-infinite length paths and receives the alternative inflows along these paths at each time step. After the long time scale, we know…

Mathematical Physics · Physics 2023-06-26 Yusuke Higuchi , Mohamed Sabri , Etsuo Segawa

We consider the state complexity of basic operations on tree languages recognized by deterministic unranked tree automata. For the operations of union and intersection the upper and lower bounds of both weakly and strongly deterministic…

Formal Languages and Automata Theory · Computer Science 2010-08-11 Xiaoxue Piao , Kai Salomaa

This paper shows the equivalence class definition of graphons hinders a direct development of dynamics on the graphon space, and hence proposes a state-driven approach to obtain dynamic graphons. The state-driven dynamic graphon model…

Probability · Mathematics 2020-11-03 Shizhou Xu , Quanyan Zhu

We revisit a simple model class for machine learning on graphs, where a random walk on a graph produces a machine-readable record, and this record is processed by a deep neural network to directly make vertex-level or graph-level…

Machine Learning · Computer Science 2025-03-06 Jinwoo Kim , Olga Zaghen , Ayhan Suleymanzade , Youngmin Ryou , Seunghoon Hong

The congested clique model is a message-passing model of distributed computation where the underlying communication network is the complete graph of $n$ nodes. In this paper we consider the situation where the joint input to the nodes is an…

Distributed, Parallel, and Cluster Computing · Computer Science 2017-06-13 Pedro Montealegre , Sebastian Perez-Salazar , Ivan Rapaport , Ioan Todinca

Causal Graph Dynamics extend Cellular Automata to arbitrary, bounded-degree, time-varying graphs. The whole graph evolves in discrete time steps, and this global evolution is required to have a number of physics-like symmetries:…

Discrete Mathematics · Computer Science 2017-06-06 Pablo Arrighi , Simon Martiel , Simon Perdrix

There is a graph reduction system so that every optimal 1-planar graph can be reduced to an irreducible extended wheel graph, provided the reductions are applied such that the given graph class is preserved. A graph is optimal 1-planar if…

Computational Geometry · Computer Science 2016-10-28 Franz J. Brandenburg

Agentic knowledge graph question answering (KGQA) requires an agent to iteratively interact with knowledge graphs (KGs), posing challenges in both training data scarcity and reasoning generalization. Specifically, existing approaches often…

Computation and Language · Computer Science 2026-04-07 Shuwen Xu , Yao Xu , Jiaxiang Liu , Chenhao Yuan , Wenshuo Peng , Jun Zhao , Kang Liu

The simplest way to make a dynamical system out of a finite connected graph $G$ is to give it a polarization, that is to say a cyclic ordering of the edges incident to a vertex, for each vertex. The phase space $\mathcal{P}(G)$ then…

Combinatorics · Mathematics 2025-08-20 Dustin Connery-Grigg , François Lalonde , Jordan Payette

A $\delta$ once-reinforced random walk ($\delta$-ORRW) on connected graph is a self-interacting random walk which moves to its neighbors at each step according to the weights of the edges at that time, where the weights are $1$ on edges…

Probability · Mathematics 2026-03-30 Xiangyu Huang , Yong Liu , Kainan Xiang

We observe that the classical Cartesian product construction for the intersection of (languages of) nondeterministic finite automata (NFA) is non-optimal in the worst case, if the automata have many transitions. For a fixed alphabet, the…

Formal Languages and Automata Theory · Computer Science 2026-05-21 Dmitry Chistikov , Neha Rino

Consider the setting of multiple random walks (RWs) on a graph executing a certain computational task. For instance, in decentralized learning via RWs, a model is updated at each iteration based on the local data of the visited node and…

Machine Learning · Computer Science 2025-02-11 Maximilian Egger , Rawad Bitar , Ghadir Ayache , Antonia Wachter-Zeh , Salim El Rouayheb