English
Related papers

Related papers: On cogrowth function of uniformly recurrent sequen…

200 papers

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…

Probability · Mathematics 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…

Probability · Mathematics 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…

Combinatorics · Mathematics 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…

Combinatorics · Mathematics 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…

Logic in Computer Science · Computer Science 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)$…

Data Structures and Algorithms · Computer Science 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…

Classical Analysis and ODEs · Mathematics 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,…

Number Theory · Mathematics 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…

Statistics Theory · Mathematics 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…

Logic in Computer Science · Computer Science 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…

Group Theory · Mathematics 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…

Analysis of PDEs · Mathematics 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…

Dynamical Systems · Mathematics 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…

Logic in Computer Science · Computer Science 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…

Number Theory · Mathematics 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…

Probability · Mathematics 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…

Combinatorics · Mathematics 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…

Machine Learning · Computer Science 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…

Combinatorics · Mathematics 2015-10-26 Yufei Zhao