pith. sign in

arxiv: 2312.12615 · v4 · submitted 2023-12-19 · 🧮 math.CO

Some frustrating questions on dimensions of products of posets

George M. Bergman This is my paper

Pith reviewed 2026-05-24 04:30 UTC · model grok-4.3

classification 🧮 math.CO
keywords poset dimensionproduct of posetsorder dimensiondimension discrepancyfinite-dimensional posets
0
0 comments X

The pith

Upper bounds on dimensions of certain poset products allow a shortfall of exactly 2 from the sum of the factors.

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

The paper studies the dimension of a poset, the smallest number of total orders into whose product the poset can be embedded. It proves that for some pairs of finite-dimensional posets the dimension of their product is at most the sum of the individual dimensions minus 2, and exhibits cases where this bound is tight. The bulk of the work consists of listing open questions about possible larger shortfalls, relations among those questions, and auxiliary notions that might help resolve them.

Core claim

For finite-dimensional posets P and Q the dimension of the product P × Q is bounded above in ways that sometimes achieve exactly dim(P) + dim(Q) − 2; no examples are known in which the shortfall exceeds 2. The paper records a collection of questions about the possible size of this shortfall, records implications among their answers, and introduces related concepts that may be useful for attacking the questions.

What carries the argument

The dimension of a poset: the least cardinal κ such that the poset embeds into a direct product of κ totally ordered sets.

If this is right

  • Certain products of posets realize a dimension shortfall of exactly 2.
  • Answers to some of the listed questions imply answers to others.
  • The auxiliary concepts introduced may be used to attack the open questions on product dimensions.

Where Pith is reading between the lines

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

  • If the shortfall is always at most 2 then dimension is nearly additive under products.
  • The questions may connect to the representation theory of partial orders by linear extensions.
  • Concrete computation on small or structured families of posets could decide some of the listed questions.

Load-bearing premise

All posets under consideration have finite dimension.

What would settle it

An explicit pair of finite-dimensional posets P and Q such that dim(P × Q) is strictly less than dim(P) + dim(Q) − 2.

read the original abstract

For $P$ a poset, the dimension of $P$ is defined to be the least cardinal $\kappa$ such that $P$ is embeddable in a direct product of $\kappa$ totally ordered sets. We study the behavior of this function on finite-dimensional (not necessarily finite) posets. In general, the dimension dim($P$ x $Q$) of a product of two posets can be smaller than dim($P$) + dim($Q$), though no cases are known where the discrepancy is greater than 2. We obtain a result that gives upper bounds on the dimensions of certain products of posets, including cases where the discrepancy 2 is achieved. But the paper is mainly devoted to stating questions, old and new, about dimensions of product posets, noting implications among their possible answers, and introducing some related concepts that might be helpful in tackling these questions.

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.

Referee Report

1 major / 0 minor

Summary. The manuscript studies the dimension of finite-dimensional posets (not necessarily finite), defined as the least cardinal κ such that the poset embeds into a product of κ chains. It observes that dim(P × Q) can be strictly smaller than dim(P) + dim(Q) with no known examples of discrepancy exceeding 2, asserts the existence of an upper-bound result on dimensions of certain products that achieves discrepancy exactly 2, and devotes most of its content to posing old and new questions about product dimensions, noting implications among possible answers, and introducing auxiliary concepts.

Significance. The questions posed could stimulate further work on poset dimension if they are well-chosen and the auxiliary concepts prove useful; the claimed upper-bound result, if correctly derived and applicable to the stated cases, would be a concrete contribution. However, the absence of any statement or derivation of the bound in the supplied text makes it impossible to determine whether the result is load-bearing or merely illustrative.

major comments (1)
  1. [Abstract] Abstract: the manuscript asserts the existence of an upper-bound result on dimensions of certain products that achieves discrepancy 2, yet supplies neither the precise statement of the bound, the classes of posets to which it applies, nor any indication of the proof technique or verification that the finite-dimensional hypothesis is preserved; this prevents evaluation of whether the central claim is correctly established.

Simulated Author's Rebuttal

1 responses · 0 unresolved

Thank you for the referee report. We respond to the major comment below.

read point-by-point responses

  1. Referee: [Abstract] Abstract: the manuscript asserts the existence of an upper-bound result on dimensions of certain products that achieves discrepancy 2, yet supplies neither the precise statement of the bound, the classes of posets to which it applies, nor any indication of the proof technique or verification that the finite-dimensional hypothesis is preserved; this prevents evaluation of whether the central claim is correctly established.

    Authors: We agree that the abstract asserts the existence of an upper-bound result achieving discrepancy exactly 2 without supplying the precise statement, the classes of posets involved, the proof technique, or confirmation that finite-dimensionality is preserved. The supplied manuscript text consists only of the abstract and states that the paper is mainly devoted to questions; no derivation or detailed statement of the bound appears. We will revise the abstract to remove or qualify this claim. revision: yes

Circularity Check

0 steps flagged

No derivation chain or load-bearing steps present in supplied abstract

full rationale

The only text available is the abstract, which defines dimension, notes a general fact about products, asserts that an upper-bound result was obtained (without stating the theorem, proof, or equations), and states that the paper mainly poses questions. No equations, fitted parameters, self-citations, ansatzes, or derivations appear, so none of the enumerated circularity patterns can be exhibited by quotation. The paper is therefore self-contained against external benchmarks in the supplied material, warranting score 0.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract supplies no information on free parameters, background axioms, or new entities; all fields therefore empty.

pith-pipeline@v0.9.0 · 5645 in / 974 out tokens · 55010 ms · 2026-05-24T04:30:07.187281+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

25 extracted references · 25 canonical work pages

  1. [1]

    Baker, Dimension, join-independence, and breadth in partially or dered sets , Honors Thesis, Harvard University, 1961 (unpublished), 28pp

    Kirby A. Baker, Dimension, join-independence, and breadth in partially or dered sets , Honors Thesis, Harvard University, 1961 (unpublished), 28pp

    work page 1961

  2. [2]

    Smith, Libb y Taylor, and William T

    Fidel Barrera-Cruz, Thomas Prag, Heather C. Smith, Libb y Taylor, and William T. Trotter, Comparing Dushnik-Miller dimension, Boolean dimension and local dimension , Order 37 (2020) 243-269. MR4123380

    work page 2020

  3. [3]

    Bir´ o, P

    C. Bir´ o, P. Hamburger, H. A. Kierstead, A. P´ or, W. T. Tro tter, and R. W ang, Random bipartite posets and extremal problems, Acta Math. Hungar. 161 (2020) 618-646. MR4131937

    work page 2020

  4. [4]

    Marcin Bria´ nskI, J¸ edrzej Hodor, Hoang La, Piotr Micek , and Katzper Michno, Boolean dimension of a Boolean lattice, arXiv:2307.16671v1, 2023

    work page arXiv 2023

  5. [5]

    (This solution does better than the problem asks for , giving an embedding into a product of 3 chains.)

    Ilya Bogdanov, solution to Find an order-embedding of S3 × 2 × 2 into Z4 , https://mathoverflow.net/questions/454278/find-an-order-embedding-of-s-3-times-bf2-times-bf2-into-math bb-z4 , (2023). (This solution does better than the problem asks for , giving an embedding into a product of 3 chains.)

    work page 2023

  6. [6]

    Ben Dushnik, Concerning a certain set of arrangements , Proc. Amer. Math. Soc. 1 (1950) 788-796. MR0038922

    work page 1950

  7. [7]

    Ben Dushnik and E. W. Miller, Partially ordered sets, Amer. J. Math. 63 (1941), 600-610. MR0004862

    work page 1941

  8. [8]

    Graduate Texts in Math- ematics, 291

    Heinz-Dieter Ebbinghaus, J¨ org Flum and W olfgang Thoma s, Mathematical logic, Third edition. Graduate Texts in Math- ematics, 291. Springer, 2021. ix+304 pp. MR4273297

    work page 2021

  9. [9]

    MR1296231

    Zolt´ an F¨ uredi,The order dimension of two levels of the Boolean lattice, Order 11 (1994) 15-28. MR1296231

    work page 1994

  10. [10]

    Giorgio Gambosi, Jaroslav Neˇ setˇ ril and Maurizio Talamo, On locally presented posets, Theoret. Comput. Sci. 70 (1990) 251-260. MR1044542

    work page 1990

  11. [11]

    Cambridge University Press, Cam- bridge, 1993

    Wilfrid Hodges, Model theory, Encyclopedia of Mathematics and its Applications, 42. Cambridge University Press, Cam- bridge, 1993. xiv+772 pp. MR1221741

    work page 1993

  12. [12]

    G. H. Hurlbert, A. V. Kostochka, and L. A. Talysheva, The dimension of interior levels of the Boolean lattice , Order 11 (1994) 29-40. MR1296232

    work page 1994

  13. [13]

    35 (1981) 135-156

    David Kelly, On the dimension of partially ordered sets , Discrete Math. 35 (1981) 135-156. MR0620667

    work page 1981

  14. [14]

    Trotter, Jr., Dimension theory for ordered sets , pp

    David Kelly and William T. Trotter, Jr., Dimension theory for ordered sets , pp. 171-211 in Ordered sets (Banff, Alta, 1981 ), NATO Adv. Study Inst. Ser. C: Math. Phys. Sci., 83 (1982). MR0661294

    work page 1981

  15. [15]

    Trotter, Concepts of dimension for convex geometries , arXiv:2303.08945v1

    Kolja Knauer and William T. Trotter, Concepts of dimension for convex geometries , arXiv:2303.08945v1. https://pageperso.lis-lab.fr/~ kolja.knauer/cg-revision.pdf . To appear, SIAM Journal on Discrete Mathematics

    work page arXiv

  16. [16]

    A. V. Kostochka and L. A. Talysheva, The dimension of interior-levels of the Boolean lattice. II , Order 15 (1998) 377-383 (2000). MR1741111 14 GEORGE M. BERGMAN

    work page 1998

  17. [17]

    88 (1991) 79-92

    Chiang Lin, The dimension of the cartesian product of posets , Discrete Math. 88 (1991) 79-92. MR1099269

    work page 1991

  18. [18]

    MathOverflow member Tri, Dimension of the cartesian product of a poset and a chain , https://mathoverflow.net/questions/401495/dimension-of-the-cartesian-product-of-a-poset-and-a-chain , (2021)

    work page 2021

  19. [19]

    Neˇ setˇ ril, P

    J. Neˇ setˇ ril, P. Pudl´ ak,A Note on Boolean Dimension of Posets , in Irregularities of partitions , Algorithms Combin. 8 (1989) 137-140. MR0999938

    work page 1989

  20. [20]

    Oystein Ore, Theory of graphs , American Mathematical Society Colloquium Publications, vol. XXXVIII. American Math- ematical Society, Providence, RI 1962. x+270 pp. MR0150753

    work page 1962

  21. [21]

    MR1048098

    Klaus Reuter, On the dimension of the Cartesian product of relations and or ders, Order 6 (1989) 277-293. MR1048098

    work page 1989

  22. [22]

    http://matwbn.icm.edu.pl/ksiazki/fm/fm16/fm16125.pdf

    Edward Szpilrajn, Sur l’extension de l’ordre partiel, Fundamenta Mathematicae, 16 (1930) 386-389. http://matwbn.icm.edu.pl/ksiazki/fm/fm16/fm16125.pdf

    work page 1930

  23. [23]

    Trotter, Jr., The dimension of the cartesian product of partial orders , Discrete Math

    William T. Trotter, Jr., The dimension of the cartesian product of partial orders , Discrete Math. 53 (1985) 255-263. MR0786494

    work page 1985

  24. [24]

    Trotter, Dimension for posets and chromatic number for graphs , pp.73-96 in 50 Years of Combinatorics, Graph Theory, and Computing , Discrete Math

    William T. Trotter, Dimension for posets and chromatic number for graphs , pp.73-96 in 50 Years of Combinatorics, Graph Theory, and Computing , Discrete Math. Appl., CRC Press, Boca Raton, FL, (2020). MR 4368165

    work page 2020

  25. [25]

    Trotter and B

    W.T. Trotter and B. W alczak, Boolean dimension and local dimension , Elec. Notes Discret. Math. 61 (2017) 1047-1053. https://trotter.math.gatech.edu/papers/142-Boolean_dimension_and_local_dimension.pdf . zbMATH:1397.06003 Department of Mathematics, University of California, Berke ley, CA 94720-3840, USA Email address : gbergman@math.berkeley.edu

    work page arXiv 2017