Pith Number

pith:FZ3WKIHF

pith:2026:FZ3WKIHFQ7ATTHTCF47VAQ3UUF

not attested not anchored not stored refs pending

A Linear Temporal Logic of Frequencies on Series of Events

Alessandro Giuseppe Buda, Giuseppe Primiero, Leonardo Ceragioli, Melissa Antonelli

LTLF adds modal quantifiers to linear temporal logic so frequencies of events in sequences can be expressed and compared to ideal distributions inside one formal system.

arxiv:2604.10669 v2 · 2026-04-12 · cs.LO · math.LO

Open paper page JSON Open Graph Bundle Merged state Verified badge What is a Pith Number?

Add to your LaTeX paper

\usepackage{pith}
\pithnumber{FZ3WKIHFQ7ATTHTCF47VAQ3UUF}

Prints a linked badge after your title and injects PDF metadata. Compiles on arXiv. Learn more · Embed verified badge

Record completeness

1 Bitcoin timestamp

2 Internet Archive

3 Author claim open · sign in to claim

4 Citations open

5 Replications open

✓ Portable graph bundle live · download bundle · merged state

The bundle contains the canonical record plus signed events. A mirror can host it anywhere and recompute the same current state with the deterministic merge algorithm.

Claims

C1strongest claim

By introducing novel, measure-sensitive operators, LTLF allows for the evaluation of frequencies and the prediction of future occurrences, thus providing a formal framework to monitor and control quantitative systems, such as machine learning classifiers.

C2weakest assumption

That the proposed Kripke-style semantics with added modal quantifiers can be defined consistently to capture both actual observed frequencies and ideal distributions without internal contradictions or loss of useful logical properties.

C3one line summary

LTLF adds measure-sensitive modal quantifiers to temporal logic for formalizing frequencies in event series and relating observed to ideal distributions.

Receipt and verification

First computed	2026-05-29T02:05:44.774144Z
Builder	pith-number-builder-2026-05-17-v1
Signature	Pith Ed25519 (`pith-v1-2026-05`) · public key
Schema	pith-number/v1.0

Canonical hash

2e776520e587c1399e622f3f504374a162aa91c5e039850a4bdce22e6b5cbde8

Aliases

arxiv: 2604.10669 · arxiv_version: 2604.10669v2 · doi: 10.48550/arxiv.2604.10669 · pith_short_12: FZ3WKIHFQ7AT · pith_short_16: FZ3WKIHFQ7ATTHTC · pith_short_8: FZ3WKIHF

Agent API

Resolver JSON Graph JSON Events JSON Schema Signing key

Verify this Pith Number yourself

curl -sH 'Accept: application/ld+json' https://pith.science/pith/FZ3WKIHFQ7ATTHTCF47VAQ3UUF \
  | jq -c '.canonical_record' \
  | python3 -c "import sys,json,hashlib; b=json.dumps(json.loads(sys.stdin.read()), sort_keys=True, separators=(',',':'), ensure_ascii=False).encode(); print(hashlib.sha256(b).hexdigest())"
# expect: 2e776520e587c1399e622f3f504374a162aa91c5e039850a4bdce22e6b5cbde8

Canonical record JSON

{
  "metadata": {
    "abstract_canon_sha256": "a655e2f47481437073b0199e059bc55da2221c058471f62d3bcf6e3704685344",
    "cross_cats_sorted": [
      "math.LO"
    ],
    "license": "http://creativecommons.org/licenses/by/4.0/",
    "primary_cat": "cs.LO",
    "submitted_at": "2026-04-12T14:52:24Z",
    "title_canon_sha256": "de24c33b866885162a84c836c7270138a5a2d8fe7514ab5cfefa0711ed61b284"
  },
  "schema_version": "1.0",
  "source": {
    "id": "2604.10669",
    "kind": "arxiv",
    "version": 2
  }
}