Pith Number

pith:XGSIUPSI

pith:2026:XGSIUPSIPKJB2S7Q3XFYHMEWMC

not attested not anchored not stored refs pending

Distributional Learning of Graph Languages Generated by Fixed-Interface Clause Systems

Satoshi Matsumoto, Takayoshi Shoudai, Tomoyuki Uchida, Yusuke Suzuki

Fixed-parameter graph languages generated by clause systems are learnable in the limit from positive data and membership queries.

arxiv:2604.26333 v2 · 2026-04-29 · cs.FL

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

Add to your LaTeX paper

\usepackage{pith}
\pithnumber{XGSIUPSIPKJB2S7Q3XFYHMEWMC}

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

Hence, for every fixed parameter tuple (Δ,m,s,t,w,d), the target language is identifiable in the limit from positive data and membership queries. We also prove that the learner has polynomial-time update on FICSL^FCP_Δ(m,s,t,w,d).

C2weakest assumption

The target language belongs to the bounded class FICSL^FCP_Δ(m,s,t,w,d) that satisfies the finite context property under the bounded-degree assumption.

C3one line summary

Graph languages from fixed-interface clause systems with the finite context property are identifiable in the limit from positive data and membership queries by a polynomial-time learner for any fixed bound tuple (Δ,m,s,t,w,d).

Receipt and verification

First computed	2026-06-09T01:05:18.294448Z
Builder	pith-number-builder-2026-05-17-v1
Signature	Pith Ed25519 (`pith-v1-2026-05`) · public key
Schema	pith-number/v1.0

Canonical hash

b9a48a3e487a921d4bf0ddcb83b09660afef2c430ec75aabd63744b413aa8f27

Aliases

arxiv: 2604.26333 · arxiv_version: 2604.26333v2 · doi: 10.48550/arxiv.2604.26333 · pith_short_12: XGSIUPSIPKJB · pith_short_16: XGSIUPSIPKJB2S7Q · pith_short_8: XGSIUPSI

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/XGSIUPSIPKJB2S7Q3XFYHMEWMC \
  | 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: b9a48a3e487a921d4bf0ddcb83b09660afef2c430ec75aabd63744b413aa8f27

Canonical record JSON

{
  "metadata": {
    "abstract_canon_sha256": "c48b1d4e403b71f3ef9a1ba7f38189eac516fbcb96ba4663921c17f377947f52",
    "cross_cats_sorted": [],
    "license": "http://arxiv.org/licenses/nonexclusive-distrib/1.0/",
    "primary_cat": "cs.FL",
    "submitted_at": "2026-04-29T06:32:34Z",
    "title_canon_sha256": "34ac4316ccd6dd54aa0041ed63b0a7a06329c31d2cb323c1f73623ecb73ac83c"
  },
  "schema_version": "1.0",
  "source": {
    "id": "2604.26333",
    "kind": "arxiv",
    "version": 2
  }
}