Pith Number

pith:VLQU6ALC

pith:2026:VLQU6ALCNMA5NEFRPXDFAGDE24

not attested not anchored not stored refs pending

Enhanced CAD-Based Quantifier Elimination With Multiple Equational Constraints

James H. Davenport, Matthew England, Scott McCallum

CAD-based quantifier elimination gains a detailed parameter partition and a stronger projection reduction when multiple equational constraints are present.

arxiv:2604.23873 v2 · 2026-04-26 · cs.SC · math.AG

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

Add to your LaTeX paper

\usepackage{pith}
\pithnumber{VLQU6ALCNMA5NEFRPXDFAGDE24}

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

The paper presents two enhancements to CAD-based QE for cases in which multiple equational constraints are present: a detailed partition of parameter space indicating finite or infinite unknowns with expressions where finite, and an efficiency gain reducing the second CAD equational projection step more significantly than prior theory when conditions are met.

C2weakest assumption

That the input formula phi* has multiple equational constraints and that the specific conditions for the efficiency gain in the second projection step are satisfied in the given situations.

C3one line summary

Two enhancements to CAD-based quantifier elimination enable detailed partitioning of parameter spaces into regions with finite or infinite unknowns and allow greater reduction in the second equational projection step.

Receipt and verification

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

Canonical hash

aae14f01626b01d690b17dc6501864d72fec075e3b1bd48284b661b3beed9757

Aliases

arxiv: 2604.23873 · arxiv_version: 2604.23873v2 · doi: 10.48550/arxiv.2604.23873 · pith_short_12: VLQU6ALCNMA5 · pith_short_16: VLQU6ALCNMA5NEFR · pith_short_8: VLQU6ALC

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/VLQU6ALCNMA5NEFRPXDFAGDE24 \
  | 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: aae14f01626b01d690b17dc6501864d72fec075e3b1bd48284b661b3beed9757

Canonical record JSON

{
  "metadata": {
    "abstract_canon_sha256": "4c4a5698b2f7605c3bde419f353bfe33b87c687744fc9bccc530ce4724cb82e2",
    "cross_cats_sorted": [
      "math.AG"
    ],
    "license": "http://creativecommons.org/licenses/by/4.0/",
    "primary_cat": "cs.SC",
    "submitted_at": "2026-04-26T20:32:37Z",
    "title_canon_sha256": "7f3bc5e8dcf3eac2285653c214b43f9f8089daa46f29827189f07cb077808ebf"
  },
  "schema_version": "1.0",
  "source": {
    "id": "2604.23873",
    "kind": "arxiv",
    "version": 2
  }
}