English
Related papers

Related papers: Entropy Bounds for Grammar-Based Tree Compressors

200 papers

We define entanglement entropy in string perturbation theory using the orbifold method -- a stringy analog of the replica method in field theory. To this end, we use the Newton series to analytically continue in $N$ the partition functions…

High Energy Physics - Theory · Physics 2022-07-11 Atish Dabholkar

The grammar representation of a narrowing tree for a syntactically deterministic conditional term rewriting system and a pair of terms is a regular tree grammar that generates expressions for substitutions obtained by all possible…

Logic in Computer Science · Computer Science 2019-02-25 Naoki Nishida , Yuya Maeda

In this paper we examine planted binary plane trees. First, we provide an exact formula for the number of planted binary trees with given Horton-Strahler orders. Then, using the notion of entropy, we examine the structural complexity of…

Discrete Mathematics · Computer Science 2018-05-24 Evgenia V. Chunikhina

We propose a new succinct representation of labeled trees which represents a tree T using |T|H_k(T) number of bits (plus some smaller order terms), where |T|H_k(T) denotes the k-th order (tree label) entropy, as defined by Ferragina at al.…

Data Structures and Algorithms · Computer Science 2018-07-18 Michał Gańczorz

LRM-Trees are an elegant way to partition a sequence of values into sorted consecutive blocks, and to express the relative position of the first element of each block within a previous block. They were used to encode ordinal trees and to…

Data Structures and Algorithms · Computer Science 2010-09-30 Jérémy Barbay , Johannes Fischer

We give new general formulas for the asymptotics of the number of spanning trees of a large graph. A special case answers a question of McKay (1983) for regular graphs. The general answer involves a quantity for infinite graphs that we call…

Combinatorics · Mathematics 2010-04-27 Russell Lyons

We present a graph theoretical approach to the configurational statistics of random tree-like objects, such as randomly branching polymers. In particular, for ideal trees we show that Pr\"ufer labelling provides: (i) direct access to the…

Statistical Mechanics · Physics 2025-12-02 Pieter H. W. van der Hoek , Angelo Rosa , Ralf Everaers

We introduce forest straight-line programs (FSLPs) as a compressed representation of unranked ordered node-labelled trees. FSLPs are based on the operations of forest algebra and generalize tree straight-line programs. We compare the…

Data Structures and Algorithms · Computer Science 2018-02-16 Adrià Gascón , Markus Lohrey , Sebastian Maneth , Carl Philipp Reh , Kurt Sieber

We consider the problem of computing the measure of a regular set of infinite binary trees. While the general case remains unsolved, we show that the measure of a language can be computed when the set is given in one of the following three…

Formal Languages and Automata Theory · Computer Science 2020-02-03 Marcin Przybyłko , Michał Skrzypczak

A compacted binary tree is a directed acyclic graph encoding a binary tree in which common subtrees are factored and shared, such that they are represented only once. We show that the number of compacted binary trees of size $n$ grows…

Combinatorics · Mathematics 2020-09-04 Andrew Elvey Price , Wenjie Fang , Michael Wallner

The $k^2$-tree is a compact data structure designed to efficiently store sparse binary matrices by leveraging both sparsity and clustering of nonzero elements. This representation supports efficiently navigational operations and complex…

Data Structures and Algorithms · Computer Science 2025-05-19 Gabriel Carmona , Giovanni Manzini

Every encoding has priori information if the encoding represents any semantic information of the unverse or object. Encoding means mapping from the unverse to the string or strings of digits. The semantic here is used in the model-theoretic…

Artificial Intelligence · Computer Science 2009-03-24 Xiuli Wang

A branch-and-bound (BB) tree certifies a dual bound on the value of an integer program. In this work, we introduce the tree compression problem (TCP): Given a BB tree T that certifies a dual bound, can we obtain a smaller tree with the same…

Optimization and Control · Mathematics 2023-06-08 Gonzalo Muñoz , Joseph Paat , Álinson S. Xavier

Karloff? and Shirley recently proposed summary trees as a new way to visualize large rooted trees (Eurovis 2013) and gave algorithms for generating a maximum-entropy k-node summary tree of an input n-node rooted tree. However, the algorithm…

Data Structures and Algorithms · Computer Science 2014-04-24 Richard Cole , Howard Karloff

Given a sequence composed of a limit number of characters, we try to "read" it as a "text". This involves to segment the sequence into "words". The difficulty is to distinguish good segmentation from enormous number of random ones.Aiming at…

Biological Physics · Physics 2009-11-06 Bin Wang

We present a new data structure called the \emph{Compressed Random Access Memory} (CRAM) that can store a dynamic string $T$ of characters, e.g., representing the memory of a computer, in compressed form while achieving asymptotically…

Data Structures and Algorithms · Computer Science 2015-03-17 Jesper Jansson , Kunihiko Sadakane , Wing-Kin Sung

In this paper, we propose a compositional nonparametric method in which a model is expressed as a labeled binary tree of $2k+1$ nodes, where each node is either a summation, a multiplication, or the application of one of the $q$ basis…

Machine Learning · Statistics 2019-05-28 Yixi Xu , Jean Honorio , Xiao Wang

The entropy of an ergodic finite-alphabet process can be computed from a single typical sample path x_1^n using the entropy of the k-block empirical probability and letting k grow with $n$ roughly like log n. We further assume that the…

Probability · Mathematics 2009-11-10 J. -R. Chazottes , D. Gabrielli

This work contains two single-letter upper bounds on the entropy rate of a discrete-valued stationary stochastic process, which only depend on second-order statistics, and are primarily suitable for models which consist of relatively large…

Information Theory · Computer Science 2022-03-11 Ran Tamir

We establish a connection between barcode entropy and metric entropy. Namely, we show that the barcode entropy bounds the metric entropy from below for a measure from a specific class of invariant measures associated with a pair of…

Symplectic Geometry · Mathematics 2025-07-18 Erman Cineli , Viktor L. Ginzburg , Basak Z. Gurel