English
Related papers

Related papers: Pebble-Depth

200 papers

This paper expands upon existing and introduces new formulations of Bennett's logical depth. In previously published work by Jordon and Moser, notions of finite-state depth and pushdown depth were examined and compared. These were based on…

Computational Complexity · Computer Science 2022-01-20 Liam Jordon , Philippe Moser

This paper introduces two complexity-theoretic formulations of Bennett's logical depth: finite-state depth and polynomial-time depth. It is shown that for both formulations, trivial and random infinite sequences are shallow, and a slow…

Computational Complexity · Computer Science 2007-07-13 David Doty , Philippe Moser

Pebble transducers are nested two-way transducers which can drop marks (named "pebbles") on their input word. Such machines can compute functions whose output size is polynomial in the size of their input. They can be seen as simple…

Formal Languages and Automata Theory · Computer Science 2023-01-25 Gaëtan Douéneau-Tabot

In this article, we study the relationship between notions of depth for sequences, namely, Bennett's notions of strong and weak depth, and deep $\Pi^0_1$ classes, introduced by the authors and motivated by previous work of Levin. For the…

Logic in Computer Science · Computer Science 2024-03-08 Laurent Bienvenu , Christopher P. Porter

Effective complexity measures the information content of the regularities of an object. It has been introduced by M. Gell-Mann and S. Lloyd to avoid some of the disadvantages of Kolmogorov complexity, also known as algorithmic information…

Information Theory · Computer Science 2010-11-22 Nihat Ay , Markus Mueller , Arleta Szkola

Deterministic two-way transducers with pebbles (aka pebble transducers) capture the class of polyregular functions, which extend the string-to-string regular functions allowing polynomial growth instead of linear growth. One of the most…

Formal Languages and Automata Theory · Computer Science 2025-06-16 Luc Dartois , Paul Gastin , L. Germerie Guizouarn , Shankaranarayanan Krishna

In analogy to the well-known notion of finite--state compressibility of individual sequences, due to Lempel and Ziv, we define a similar notion of "finite-state encryptability" of an individual plaintext sequence, as the minimum asymptotic…

Information Theory · Computer Science 2012-01-10 Neri Merhav

Bennett's notion of depth is usually considered to describe the usefulness and internal organization of the information encoded into an object such as an infinite binary sequence. We consider a natural way to relativize the notion of depth…

Logic · Mathematics 2021-12-09 Laurent Bienvenu , Valentino Delle Rose , Wolfgang Merkle

We derive upper and lower bounds on the overall compression ratio of the 1978 Lempel-Ziv (LZ78) algorithm, applied independently to $k$-blocks of a finite individual sequence. Both bounds are given in terms of normalized empirical entropies…

Information Theory · Computer Science 2025-06-17 Neri Merhav

Polyregular functions are the class of string-to-string functions definable by pebble transducers, an extension of finite-state automata with outputs and multiple two-way reading heads (pebbles) with a stack discipline. If a polyregular…

Formal Languages and Automata Theory · Computer Science 2023-06-21 Sandra Kiefer , Lê Thành Dũng Nguyên , Cécilia Pradic

An infinite binary sequence is Bennett deep if, for any computable time bound, the difference between the time-bounded prefix-free Kolmogorov complexity and the prefix-free Kolmogorov complexity of its initial segments is eventually…

Logic · Mathematics 2024-09-04 Ang Li

Standard Transformers have a fixed computational depth, fundamentally limiting their ability to generalize to tasks requiring variable-depth reasoning, such as multi-hop graph traversal or nested logic. We propose a depth-recurrent…

Machine Learning · Computer Science 2026-03-24 Hung-Hsuan Chen

We introduce the notion of the depth of a finite group $G$, defined as the minimal length of an unrefinable chain of subgroups from $G$ to the trivial subgroup. In this paper we investigate the depth of (non-abelian) finite simple groups.…

Group Theory · Mathematics 2017-11-15 Timothy C. Burness , Martin W. Liebeck , Aner Shalev

A key attribute that drives the unprecedented success of modern Recurrent Neural Networks (RNNs) on learning tasks which involve sequential data, is their ability to model intricate long-term temporal dependencies. However, a well…

Machine Learning · Computer Science 2020-03-24 Alon Ziv

Depth of an object concerns a tradeoff between computation time and excess of program length over the shortest program length required to obtain the object. It gives an unconditional lower bound on the computation time from a given program…

Computational Complexity · Computer Science 2008-09-16 Luis Antunes , Armando Matos , Andre Souto , Paul Vitanyi

In this paper we introduce a variant of pushdown dimension called bounded pushdown (BPD) dimension, that measures the density of information contained in a sequence, relative to a BPD automata, i.e. a finite state machine equipped with an…

Computational Complexity · Computer Science 2007-07-13 Pilar Albert , Elvira Mayordomo , Philippe Moser

We extend Ziv and Lempel's model of finite-state encoders to the realm of lossy compression of individual sequences. In particular, the model of the encoder includes a finite-state reconstruction codebook followed by an information lossless…

Information Theory · Computer Science 2024-01-04 Neri Merhav

Ribbons are long narrow strips possessing three distinct material length scales (thickness, width, and length) which allow them to produce unique shapes unobtainable by wires or filaments. For example when a ribbon has half a twist and is…

Fluid Dynamics · Physics 2016-02-04 Lyndon Koens , Eric Lauga

This paper proposes new notions of polynomial depth (called monotone poly depth), based on a polynomial version of monotone Kolmogorov complexity. We show that monotone poly depth satisfies all desirable properties of depth notions i.e.,…

Computational Complexity · Computer Science 2015-03-17 Philippe Moser

We show that a polyregular word-to-word function is regular if and only if its output size is at most linear in its input size. Moreover a polyregular function can be realized by: a transducer with two pebbles if and only if its output has…

Formal Languages and Automata Theory · Computer Science 2023-02-16 Nathan Lhote
‹ Prev 1 2 3 10 Next ›