English
Related papers

Related papers: Synchronizing automatic sequences along Piatetski-…

200 papers

Inspired by regularization techniques in statistics and machine learning, we study complementary composite minimization in the stochastic setting. This problem corresponds to the minimization of the sum of a (weakly) smooth function endowed…

Machine Learning · Computer Science 2024-01-24 Alexandre d'Aspremont , Cristóbal Guzmán , Clément Lezane

Successive quadratic approximations, or second-order proximal methods, are useful for minimizing functions that are a sum of a smooth part and a convex, possibly nonsmooth part that promotes regularization. Most analyses of iteration…

Optimization and Control · Mathematics 2019-01-25 Ching-pei Lee , Stephen J. Wright

A deterministic BSP algorithm for constructing the suffix array of a given string is presented, based on a technique which we call accelerated sampling. It runs in optimal O(n/p) local computation and communication, and requires a near…

Distributed, Parallel, and Cluster Computing · Computer Science 2013-02-26 Matthew Felice Pace , Alexander Tiskin

The classical straightening theorem as proved by Douady and Hubbard shows that a polynomial-like sequence is hybrid equivalent to a polynomial. We generalize this result to non-autonomous iteration where one considers composition sequences…

Dynamical Systems · Mathematics 2012-01-27 Mark Comerford

Sequence modeling with neural networks has lead to powerful models of symbolic music data. We address the problem of exploiting these models to reach creative musical goals, by combining with human input. To this end we generalise previous…

Artificial Intelligence · Computer Science 2017-10-03 Christian Walder , Dongwoo Kim

For a fixed integer $k$, we define a sequence $A_k=(a_k(n))_{n\geq0}$ and a corresponding sparse subsequence $S_k$ using the cardinality of the $n$-th symmetric power of the set $\{1,2,\ldots, k\}$. For $k\in\{2,\dots,8\}$, we find…

Combinatorics · Mathematics 2024-07-23 Po-Yi Huang , Wen-Fong Ke

Automata networks are a very general model of interacting entities, with applications to biological phenomena such as gene regulation. In many contexts, the order in which entities update their state is unknown, and the dynamics may be very…

Discrete Mathematics · Computer Science 2020-04-07 Camille Noûs , Kévin Perrot , Sylvain Sené , Lucas Venturini

We produce a long exact sequence whose terms are unit groups of associative algebras that behave as inner automorphisms of a given tensor. Our sequence generalizes known sequences for associative and non-associative algebras. In a manner…

Rings and Algebras · Mathematics 2020-11-23 Peter A. Brooksbank , Joshua Maglione , James B. Wilson

Session types, types for structuring communication between endpoints in distributed systems, are recently being integrated into mainstream programming languages. In practice, a very important notion for dealing with such types is that of…

Programming Languages · Computer Science 2023-06-22 Mario Bravetti , Marco Carbone , Julien Lange , Nobuko Yoshida , Gianluigi Zavattaro

In this paper we refine and extend the results of arXiv:1701.04138, where a connection between the $AdS_{5}\times S^{5}$ superstring lambda model on $S^{1}=\partial D$ and a double Chern-Simons (CS) theory on $D$ based on the Lie…

High Energy Physics - Theory · Physics 2019-09-30 David M. Schmidtt

We make certain bounds in Krebs' proof of Cobham's theorem explicit and obtain corresponding upper bounds on the length of a common prefix of an aperiodic $a$-automatic sequence and an aperiodic $b$-automatic sequence, where $a$ and $b$ are…

Formal Languages and Automata Theory · Computer Science 2018-12-17 Lucas Mol , Narad Rampersad , Jeffrey Shallit , Manon Stipulanti

We address the dynamics of the cellular automaton (CA) that multiplies by $p/q$ in base $pq$ (for coprime $p>q>1$) by studying its trace subshift. We present a conjugacy of the trace to a previously studied base-$p/q$ numeration system. We…

Dynamical Systems · Mathematics 2020-05-12 Johan Kopra

We consider the synchronization of solutions to coupled systems of the conjugate random ordinary differential equations (RODEs) for the $N$-Stratronovich stochastic ordinary differential equations (SODEs) with linear multiplicative noise…

Dynamical Systems · Mathematics 2014-02-11 Zhongwei Shen , Shengfan Zhou , Xiaoying Han

For a polynomial $g(x)$ of deg $k \geq 2$ with integer coefficients and positive integer leading coefficient, we prove an upper bound for the least prime $p$ such that $g(p)$ is in non-homogeneous Beatty sequence $\lbrace \lfloor \alpha…

Number Theory · Mathematics 2019-12-03 C. G. Karthick Babu

We consider the problem of minimizing a sum of $n$ functions over a convex parameter set $\mathcal{C} \subset \mathbb{R}^p$ where $n\gg p\gg 1$. In this regime, algorithms which utilize sub-sampling techniques are known to be effective. In…

Machine Learning · Statistics 2015-12-03 Murat A. Erdogdu , Andrea Montanari

This paper presents a new approach to statistical similarity assessment based on sequence alignment. The algorithm performs mutual matching of two random sequences by successively searching for common elements and by applying sequence…

Signal Processing · Electrical Eng. & Systems 2021-06-09 Jakub Nikonowicz , Łukasz Matuszewski , Paweł Kubczak

We consider the problem {\sc Max Sync Set} of finding a maximum synchronizing set of states in a given automaton. We show that the decision version of this problem is PSPACE-complete and investigate the approximability of {\sc Max Sync Set}…

Formal Languages and Automata Theory · Computer Science 2016-09-20 Andrew Ryzhikov

Let $p$ be a prime, and let $f(x)$ be an integer-valued polynomial. By a combinatorial approach, we obtain a nontrivial lower bound of the $p$-adic order of the sum $$\sum_{k=r(mod p^{\beta})}\binom{n}{k}(-1)^k f([(k-r)/p^{\alpha}]),$$…

Number Theory · Mathematics 2015-06-26 Zhi-Wei Sun

We show that classical Chern classes from higher ($p$-adic) $K$-theory to syntomic cohomology extend to logarithmic syntomic cohomology. These Chern classes are compatible -- in a suitable sense -- with addition, products, and…

Number Theory · Mathematics 2016-07-19 Wieslawa Niziol

We study the factor complexity and closure properties of automatic sequences based on Parry or Bertrand numeration systems. These automatic sequences can be viewed as generalizations of the more typical $k$-automatic sequences and…

Formal Languages and Automata Theory · Computer Science 2018-10-29 Adeline Massuir , Jarkko Peltomäki , Michel Rigo