中文
相关论文

相关论文: Synchronizing automatic sequences along Piatetski-…

200 篇论文

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…

机器学习 · 计算机科学 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…

最优化与控制 · 数学 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…

分布式、并行与集群计算 · 计算机科学 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…

动力系统 · 数学 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…

人工智能 · 计算机科学 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…

组合数学 · 数学 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…

离散数学 · 计算机科学 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…

环与代数 · 数学 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…

编程语言 · 计算机科学 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…

高能物理 - 理论 · 物理学 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…

形式语言与自动机理论 · 计算机科学 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…

动力系统 · 数学 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…

动力系统 · 数学 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…

数论 · 数学 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…

机器学习 · 统计学 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…

信号处理 · 电气工程与系统科学 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}…

形式语言与自动机理论 · 计算机科学 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}]),$$…

数论 · 数学 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…

数论 · 数学 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…

形式语言与自动机理论 · 计算机科学 2018-10-29 Adeline Massuir , Jarkko Peltomäki , Michel Rigo