English
Related papers

Related papers: Probabilistic results on the $2$-adic complexity

200 papers

This paper considers the computational hardness of computing expected outcomes and deciding almost-sure termination of probabilistic programs. We show that deciding almost-sure termination and deciding whether the expected outcome of a…

Logic in Computer Science · Computer Science 2014-10-28 Benjamin Lucien Kaminski , Joost-Pieter Katoen

We present a simple randomized procedure for the prediction of a binary sequence. The algorithm uses ideas from recent developments of the theory of the prediction of individual sequences. We show that if the sequence is a realization of a…

Statistics Theory · Mathematics 2008-06-19 L. Györfi , G. Lugosi , G. Morvai

Form a random k-SAT formula on n variables by selecting uniformly and independently m=rn clauses out of all 2^k (n choose k) possible k-clauses. The Satisfiability Threshold Conjecture asserts that for each k there exists a constant r_k…

Statistical Mechanics · Physics 2009-09-29 Dimitris Achlioptas , Cristopher Moore

We consider sequences of polynomials that satisfy differential-difference recurrences. Polynomials satisfying such recurrences frequently appear as generating polynomials of integer valued random variables that are of interest in discrete…

Combinatorics · Mathematics 2024-03-07 Paweł Hitczenko

We relate binary words with a given number of subsequences to continued fractions of rational numbers with a given denominator. We deduce that there are binary strings of length $O(\log n \log \log n)$ with exactly $n$ subsequences; this…

Combinatorics · Mathematics 2022-10-04 Radosław Żak

The Boolean satisfiability problem (SAT) is a well-known example of monotonic reasoning, of intense practical interest due to fast solvers, complemented by rigorous fine-grained complexity results. However, for non-monotonic reasoning,…

Computational Complexity · Computer Science 2025-05-16 Victor Lagerkvist , Mohamed Maizia , Johannes Schmidt

A certain analysis of all possible associative binary operations on N is presented. This is equivalent with an analysis of all possible monoid structures on N. Several results and a conjecture in this regard are given.

General Mathematics · Mathematics 2007-05-23 Elemer E Rosinger

We study ternary sequences associated with a multidimensional continued fraction algorithm introduced by the first author. The algorithm is defined by two matrices and we show that it is measurably isomorphic to the shift on the set…

Dynamical Systems · Mathematics 2022-11-30 Julien Cassaigne , Sébastien Labbé , Julien Leroy

We obtain the expected asymptotic formula for the number of primes $p<N=2^n$ with $r$ prescribed (arbitrarly placed) binary digits, provided $r<cn$ for a suitable constant $c>0$. This result improves on our earlier result where $r$ was…

Number Theory · Mathematics 2013-07-02 Jean Bourgain

In this paper we focus on finding all the factorials expressible as a product of a fixed number of $2k$-nacci numbers with $k \geq 2$. We derive the 2-adic valuation of the $2k$-nacci sequence and use it to establish bounds on the solutions…

Number Theory · Mathematics 2017-02-21 Bartosz Sobolewski

The task of the binary classification problem is to determine which of two distributions has generated a length-$n$ test sequence. The two distributions are unknown; two training sequences of length $N$, one from each distribution, are…

Information Theory · Computer Science 2016-04-18 Dayu Huang , Sean Meyn

We study the prime pair counting functions $\pi_{2k}(x),$ and their averages over $2k.$ We show that good results can be achieved with relatively little effort by considering averages. We prove an asymptotic relation for longer averages of…

Number Theory · Mathematics 2016-05-17 Jori Merikoski

We present a binary tree that describes the 2-adic valuation of a sequence of coefficients arising from the evaluation of a rational integral.

Combinatorics · Mathematics 2008-08-22 Xinyu Sun , Victor H. Moll

Let $(\{1,2,\ldots,n\},d)$ be a metric space. We analyze the expected value and the variance of $\sum_{i=1}^{\lfloor n/2\rfloor}\,d({\boldsymbol{\pi}}(2i-1),{\boldsymbol{\pi}}(2i))$ for a uniformly random permutation ${\boldsymbol{\pi}}$ of…

Data Structures and Algorithms · Computer Science 2017-03-27 Ching-Lueh Chang

In this paper we study correlation measures introduced in \cite{emme_asymptotic_2017}. Denote by $\mu_a(d)$ the asymptotic density of the set $\mathcal{E}_{a,d}=\{n \in \mathbb{N}, \ s_2(n+a)-s_2(n)=d\}$ (where $s_2$ is the sum-of-digits…

Dynamical Systems · Mathematics 2018-10-29 Jordan Emme , Pascal Hubert

Let $s$ be the sum-of-digits function in base $2$, which returns the number of $\mathtt 1$s in the base-2 expansion of a nonnegative integer. For a nonnegative integer $t$, define the asymptotic density \[ c_t=\lim_{N\rightarrow \infty}…

Number Theory · Mathematics 2019-11-18 Lukas Spiegelhofer

We find a searching method on ordered lists that surprisingly outperforms binary searching with respect to average query complexity while retaining minmax optimality. The method is shown to require $O(\log_2\log_2 n)$ queries on average…

Data Structures and Algorithms · Computer Science 2021-05-26 I. F. D. Oliveira , R. H. C. Takahashi

We solve the Random Euclidean Matching problem with exponent 2 for the Gaussian distribution defined on the plane. Previous works by Ledoux and Talagrand determined the leading behavior of the average cost up to a multiplicative constant.…

Probability · Mathematics 2024-01-22 Emanuele Caglioti , Francesca Pieroni

In this paper, in order to characterize the critical error linear complexity spectrum (CELCS) for $2^n$-periodic binary sequences, we first propose a decomposition based on the cube theory. Based on the proposed $k$-error cube…

Cryptography and Security · Computer Science 2014-08-12 Jianqin Zhou , Wanquan Liu , Xifeng Wang

Let $\pi_n$ be a uniformly chosen random permutation on $[n]$. The authors of [2] showed that the expected number of distinct consecutive patterns of all lengths $k\in\{1,2,\ldots,n\}$ in $\pi_n$ was $\frac{n^2}{2}(1-o(1))$ as $n\to\infty$,…

Combinatorics · Mathematics 2026-03-31 Verónica Borrás-Serrano , Isabel Byrne , Anant Godbole , Nathaniel Veimau