Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Precise Expression for the Algorithmic Information Distance   We consider the notion of information distance between two objects $x$ and
$y$ introduced by Bennett, G\'acs, Li, Vit\'anyi, and Zurek in 1998 as the
minimal length of a program that computes $x$ from $y$ as well as computing $y$
from $x$. In this paper, it was proven that the distance is equal to $\max
(K(x|y),K(y|x))$ up to additive logarithmic terms, and it was conjectured that
this could not be improved to $O(1)$ precision. We revisit subtle issues in the
definition and prove this conjecture. We show that if the distance is at least
logarithmic in the length, then this equality does hold with $O(1)$ precision
for strings of equal length. Thus for such strings, both the triangle
inequality and the characterization hold with optimal precision. Finally, we
extend the result to sets $S$ of bounded size. We show that for each
constant~$s$, the shortest program that prints an $s$-element set $S \subseteq
\{0,1\}^n$ given any of its elements, has length at most $\max_{w \in S} K(S|w)
+ O(1)$, provided this maximum is at least logarithmic in~$n$.

3
The categories of this paper are: physics
25
The categories of this paper are: patt-sol
7
The categories of this paper are: hep-th
20
The categories of this paper are: acc-phys
14
The categories of this paper are: math-ph
37
The categories of this paper are: supr-con
32
The categories of this paper are: atom-ph
24
The categories of this paper are: dg-ga
33
The categories of this paper are: plasm-ph
17
The categories of this paper are: q-fin
34
The categories of this paper are: chem-ph
31
The categories of this paper are: ao-sci
28
The categories of this paper are: alg-geom
13
The categories of this paper are: quant-ph
29
The categories of this paper are: funct-an
12
The categories of this paper are: nucl-th