中文
相关论文

相关论文: On cogrowth function of uniformly recurrent sequen…

200 篇论文

Let $L_n(k)$ denote the least common multiple of $k$ independent random integers uniformly chosen in $\{1,2,\ldots ,n\}$. In this note, using a purely probabilistic approach, we derive a criterion for the convergence in distribution as…

概率论 · 数学 2019-11-11 Alin Bostan , Alexander Marynych , Kilian Raschel

We consider the branching process in random environment $\{Z_n\}_{n\geq 0}$, which is a~population growth process where individuals reproduce independently of each other with the reproduction law randomly picked at each generation. We focus…

概率论 · 数学 2021-04-14 Dariusz Buraczewski , Ewa Damek

We study sequences of functions of the form F_p^n -> {0,1} for varying n, and define a notion of convergence based on the induced distributions from restricting the functions to a random affine subspace. Using a decomposition theorem and a…

组合数学 · 数学 2013-08-20 Hamed Hatami , Pooya Hatami , James Hirst

A permutation sequence $(\sigma_n)_{n \in \mathbb{N}}$ is said to be convergent if, for every fixed permutation $\tau$, the density of occurrences of $\tau$ in the elements of the sequence converges. We prove that such a convergent sequence…

We examine a recursive sequence in which $s_n$ is a literal description of what the binary expansion of the previous term $s_{n-1}$ is not. By adapting a technique of Conway, we determine limiting behaviour of $\{s_n\}$ and dynamics of a…

组合数学 · 数学 2021-07-01 Thomas Morrill

We show that on graphs with n vertices, the 2-dimensional Weisfeiler-Leman algorithm requires at most O(n^2/log(n)) iterations to reach stabilization. This in particular shows that the previously best, trivial upper bound of O(n^2) is…

计算机科学中的逻辑 · 计算机科学 2023-06-22 Sandra Kiefer , Pascal Schweitzer

We prove new upper and lower bounds on the number of iterations the $k$-dimensional Weisfeiler-Leman algorithm ($k$-WL) requires until stabilization. For $k \geq 3$, we show that $k$-WL stabilizes after at most $O(kn^{k-1}\log n)$…

数据结构与算法 · 计算机科学 2025-04-21 Martin Grohe , Moritz Lichter , Daniel Neuen

Let $\Omega_n$ stand for the volume of the unit ball in $\mathbb{R}^n$ for $n\in\mathbb{N}$. In the present paper, we prove that the sequence $\Omega_{n}^{1/(n\ln n)}$ is logarithmically convex and that the sequence…

经典分析与常微分方程 · 数学 2014-05-08 Feng Qi , Bai-Ni Guo

A positive linear recurrence sequence is of the form $H_{n+1} = c_1 H_n + \cdots + c_L H_{n+1-L}$ with each $c_i \ge 0$ and $c_1 c_L > 0$, with appropriately chosen initial conditions. There is a notion of a legal decomposition (roughly,…

数论 · 数学 2016-07-19 Steven J. Miller , Dawn Nelson , Zhao Pan , Huanzhong Xu

We consider a sequence of random variables $(R_n)$ defined by the recurrence $R_n=Q_n+M_nR_{n-1}$, $n\ge1$, where $R_0$ is arbitrary and $(Q_n,M_n)$, $n\ge1$, are i.i.d. copies of a two-dimensional random vector $(Q,M)$, and $(Q_n,M_n)$ is…

统计理论 · 数学 2011-07-15 Paweł Hitczenko , Jacek Wesołowski

We show that the 2-dimensional Weisfeiler-Leman algorithm stabilizes n-vertex graphs after at most O(n log n) iterations. This implies that if such graphs are distinguishable in 3-variable first order logic with counting, then they can also…

计算机科学中的逻辑 · 计算机科学 2019-05-10 Moritz Lichter , Ilia Ponomarenko , Pascal Schweitzer

For a finitely generated lawless group $\Gamma$ and $n \in \mathbb{N}$, let $\mathcal{A}_{\Gamma} (n)$ be the minimal positive integer $M_n$ such that for all nontrivial reduced words $w$ of length at most $n$ in the free group of fixed…

群论 · 数学 2026-04-14 Henry Bradford , Jacob Willis

In this paper, we prove an extended version of the Minkowski Inequality, holding for any smooth bounded set $\Omega \subset \mathbb R^n$, $n\geq 3$. Our proof relies on the discovery of effective monotonicity formulas holding along the…

偏微分方程分析 · 数学 2021-01-05 Virginia Agostiniani , Mattia Fogagnolo , Lorenzo Mazzieri

We prove the logarithmic Sarnak conjecture for sequences of subquadratic word growth. In particular, we show that the Liouville function has at least quadratically many sign patterns. We deduce the main theorem from a variant which bounds…

动力系统 · 数学 2020-06-16 Redmond McNamara

We establish connections between the size of circuits and formulas computing monotone Boolean functions and the size of first-order and nonrecursive Datalog rewritings for conjunctive queries over OWL 2 QL ontologies. We use known lower…

计算机科学中的逻辑 · 计算机科学 2012-05-15 Stanislav Kikot , Roman Kontchakov , Vladimir Podolskii , Michael Zakharyaschev

Let $a>1$ be an integer. Denote by $l_a(n)$ the multiplicative order of $a$ modulo integer $n\geq 1$. We prove that there is a positive constant $\delta$ such that if $x^{1-\delta}\log^3 x = o(y)$, then $$ \frac1y \sum_{a<y} \frac1x…

数论 · 数学 2016-05-20 Sungjin Kim

Let $(X_k)_{k\geq 1}$ and $(Y_k)_{k\geq 1}$ be two independent sequences of i.i.d. random variables, with values in a finite and totally ordered alphabet $\mathcal{A}_m:=\{1,\dots,m\}$, and having respective probability mass function…

概率论 · 数学 2021-04-13 Clément Deslandes , Christian Houdré

We study a) the limit of the ratio of two consecutive terms in such a sequence and b) the limit of the ratio of two terms in which one has a lag equal to 2. In the general case limit a) does not exist but we have two limiting values…

组合数学 · 数学 2007-05-23 Mario Catalani

Selecting appropriate regularization coefficients is critical to performance with respect to regularized empirical risk minimization problems. Existing theoretical approaches attempt to determine the coefficients in order for regularized…

机器学习 · 计算机科学 2019-09-05 Akihiro Yabe , Takanori Maehara

A sequence of $k$-uniform hypergraphs $H_1, H_2, \dots$ is convergent if the sequence of homomorphism densities $t(F, H_1), t(F, H_2), \dots$ converges for every $k$-uniform hypergraph $F$. For graphs, Lov\'asz and Szegedy showed that every…

组合数学 · 数学 2015-10-26 Yufei Zhao