arxiv: 2604.27816 · v1 · submitted 2026-04-30 · 🧮 math.LO

Recognition: unknown

VC-Density in Divisible Oriented Abelian Groups and Their Pairs

Ebru Nayir , Melissa \"Ozsahakyan

Authors on Pith no claims yet

Pith reviewed 2026-05-07 05:38 UTC · model grok-4.3

classification 🧮 math.LO

keywords VC-densitydp-rankdivisible abelian groupsoriented groupsdp-minimalitypairs of structuresmodel theory

0 comments

The pith

In divisible oriented abelian groups the VC-density of formulas is at most the number of parameters, and at most twice that number in pairs of models, which forces the pairs to have dp-rank 2.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper proves that in the theory of divisible oriented abelian groups the VC-density of any formula is bounded above by the number of its free variables. This bound immediately implies that each individual model is dp-minimal. The authors then consider pairs of models of the same theory and show that the VC-density of formulas in the pair is bounded by twice the number of parameters. They prove this doubled bound is sharp by exhibiting formulas that achieve it, and conclude that every such pair therefore has dp-rank exactly 2. These uniform bounds give a precise combinatorial control on the definable subsets that appear when working inside one such group or when combining two of them.

Core claim

We show that the VC-density in certain theories of oriented abelian groups is at most the size of parameter variables, which yields dp-minimality. We further prove that the VC-density of formulas in pairs of such models is bounded by twice the size of parameter variables. This uniform upper bound is shown to be sharp, and as a consequence we show that such pairs have dp-rank 2.

What carries the argument

VC-density of a formula, the exponent d such that the number of distinct definable subsets on an n-element set grows like n^d; the bound on d is the quantity that directly controls both dp-minimality and dp-rank.

If this is right

Every model of the theory is dp-minimal.
Every pair of models has dp-rank exactly 2.
The VC-density bound is attained by some formulas in the pairs.
The same upper bound holds uniformly for every model and every pair in the theory.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The result gives a concrete way to produce examples of dp-rank 2 by taking pairs of dp-minimal structures whose definable sets interact in a controlled way.
The sharpness construction may be reusable to obtain exact dp-rank calculations in other expansions of abelian groups that remain divisible.
The doubling of the bound when moving from a single structure to a pair suggests a general pattern for how dp-rank behaves under direct products or disjoint unions of dp-minimal theories.

Load-bearing premise

The structures satisfy the divisibility and orientation axioms, which fix the precise shape of all definable sets used in the VC-density calculations.

What would settle it

An explicit formula in a pair of models whose definable family produces more than twice as many distinct subsets on some finite set as the number of parameters would falsify the claimed bound.

read the original abstract

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

This paper pins down VC-density at most |y| for divisible oriented abelian groups (hence dp-minimal) and at most 2|y| for their pairs, with matching lower bounds and dp-rank 2 for the pairs.

read the letter

The main takeaway is that this paper pins down VC-density bounds for divisible oriented abelian groups and their pairs: at most the number of parameter variables in the single structure, and at most twice that in pairs, with the upper bounds sharp and the pairs having dp-rank exactly 2. The orientation predicate is used to induce enough control on one-dimensional definable sets that the authors can do a direct case analysis on atomic diagrams and count the number of distinct realizations a formula can produce. For pairs the extra predicate for the submodel restricts things to controlled unions of intervals, which doubles the bound but keeps it linear in |y|.

Referee Report

0 major / 2 minor

Summary. The paper shows that the VC-density in theories of divisible oriented abelian groups is at most the size of the parameter variables, implying dp-minimality. For pairs of such models, the VC-density of formulas is bounded by twice the size of parameter variables; this bound is sharp, implying that such pairs have dp-rank 2.

Significance. Assuming the derivations hold, this result contributes to model theory by providing bounds on VC-density and dp-rank in oriented abelian groups, using the orientation to control definable sets in an o-minimal-like fashion. The explicit case analysis on atomic diagrams for upper bounds and the witnessing formula for sharpness are particular strengths of the approach.

minor comments (2)

[Abstract] The abstract refers to 'certain theories' without specifying the divisibility and orientation axioms; including a brief statement of the theory would improve accessibility.
The paper would benefit from a dedicated section or subsection explicitly defining the orientation predicate and its axioms to ground the subsequent analysis.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for the positive assessment, including the accurate summary of our main results on VC-density bounds and the resulting dp-minimality and dp-rank conclusions. We are pleased that the significance of the orientation in controlling definable sets and the strengths of the explicit case analysis for upper bounds together with the witnessing formula for sharpness are noted. As the report contains no specific major comments or requested changes, we have no point-by-point revisions to address at this stage. We remain available to incorporate any minor editorial suggestions should they arise during the revision process.

Circularity Check

0 steps flagged

No significant circularity in the derivation chain

full rationale

The paper establishes VC-density bounds via explicit classification of definable sets in divisible oriented abelian groups, using the orientation predicate to induce controlled interval structures on one-dimensional definable sets, followed by case analysis on atomic diagrams for both single structures and pairs (M,N). Upper bounds (≤|y| and ≤2|y|) arise from direct counting of realizations, while sharpness is witnessed by an explicit formula achieving the exact growth rate; these steps rely on standard model-theoretic tools for o-minimality analogs and VC-density without any reduction to self-definitional equations, fitted inputs renamed as predictions, or load-bearing self-citations. The derivation is self-contained against external benchmarks in dp-rank and VC-density theory, with all key quantities independently verifiable from the theory axioms and definable-set descriptions.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review supplies no concrete list of free parameters, axioms, or invented entities; the work evidently relies on the standard axioms of abelian groups, divisibility, and an orientation predicate whose precise axiomatization is not visible here.

pith-pipeline@v0.9.0 · 5353 in / 1160 out tokens · 39379 ms · 2026-05-07T05:38:56.705516+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

9 extracted references · 1 canonical work pages

[1]

Vapnik-Chervonenkis density in some theories without the independence property, I.Trans

Matthias Aschenbrenner, Alf Dolich, Deirdre Haskell, Dugald Macpherson, and Sergei Starchenko. Vapnik-Chervonenkis density in some theories without the independence property, I.Trans. Amer. Math. Soc., 368(8):5889–5949, 2016

2016
[2]

Laskowski

Michael C. Laskowski. Vapnik-Chervonenkis classes of definable sets,J. London Math. Soc., (2) 45 (1992), no. 2, 377-384, DOI 10.1112/jlms/s2-45.2.377

work page doi:10.1112/jlms/s2-45.2.377 1992
[3]

Model theory of fields with multiplicative groups

Ayhan Gunaydin. Model theory of fields with multiplicative groups. ProQuest LLC, Ann Arbor, MI, 2008. Thesis (Ph.D.)–University of Illinois at Urbana- Champaign

2008
[4]

Definable Sets in Ordered Structures I.Transac- tions of the American Mathematical Society, Vol

Anand Pillay and Charles Steinhorn. Definable Sets in Ordered Structures I.Transac- tions of the American Mathematical Society, Vol. 295, No. 2, pp. 565592, 1986

1986
[5]

On Uniform Definability Of Types Over Finite SetsThe Journal of Symbolic Logic, Vol

Vincent Guingona. On Uniform Definability Of Types Over Finite SetsThe Journal of Symbolic Logic, Vol. 77, No. 2, pp. 499–514, 2012

2012
[6]

On variants of o-minimality.Ann

Dugald Macpherson and Charles Steinhorn. On variants of o-minimality.Ann. Pure and Appl. Logic79 165–209 (1996)

1996
[7]

Abraham Robinson and Elias Zakon

Mennicke J. Abraham Robinson and Elias Zakon. Elementary properties of ordered abelian groups. Transactions of the American Mathematical Society, vol. 96 (1960), pp. 222–236. Journal of Symbolic Logic. 1967;32(3):414-414

1960
[8]

Vapnik-Chervonenkis Density In Some Theories With- out The Independence Property, IINotre Dame Journal of Formal Logic, Vol

Aschenbrenner, Matthias and Dolich, Alf and Haskell, Deirdre and Macpherson, Dugald and Starchenko, Sergei. Vapnik-Chervonenkis Density In Some Theories With- out The Independence Property, IINotre Dame Journal of Formal Logic, Vol. 54, No. 3-4, pp. 311–363, 2013

2013
[9]

Pairs of Oriented Abelian Groups Thesis (Ph.D.)- Bogazici Uni- versity

Melissa Ozsahakyan. Pairs of Oriented Abelian Groups Thesis (Ph.D.)- Bogazici Uni- versity. 2023, p.90 VC-DENSITY IN DIVISIBLE ORIENTED ABELIAN GROUPS AND THEIR PAIRS 11 Bo˘gazic ¸i¨Universitesi, Istanbul, Turkey Email address:ebru.nayir@std.bogazici.edu.tr Email address:ebrunayirr@gmail.com Mimar Sinan Fine Arts University, Istanbul, Turkey Email address...

2023