Minimal Posets Realizing \texorpdfstring{$\mathbb{Z}_2 \times \mathbb{Z}_4$} as Automorphism Group

Ponaki Das; Sainkupar Marwein Mawiong

arxiv: 2606.07478 · v1 · pith:IQOH5IWHnew · submitted 2026-06-05 · 🧮 math.CO

Minimal Posets Realizing texorpdfstring{mathbb{Z}₂ times mathbb{Z}₄} as Automorphism Group

Ponaki Das , Sainkupar Marwein Mawiong This is my paper

Pith reviewed 2026-06-27 21:32 UTC · model grok-4.3

classification 🧮 math.CO

keywords posetsautomorphism groupsminimal posetsZ2 x Z4orbit decompositionscovering relationsheight functionsbeta function

0 comments

The pith

The smallest poset with automorphism group isomorphic to Z₂ × Z₄ has exactly 14 elements.

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

The paper proves that β(Z₂ × Z₄) equals 14, where β(G) is the smallest number of elements possible in a finite poset whose automorphism group is exactly G. A lower bound of 14 follows from exhaustive case analysis of all possible ways the group can act faithfully on a smaller poset, broken down by the size of the largest orbit. An upper bound of 14 is supplied by an explicit construction whose automorphisms are verified directly. A reader would care because this pins down the exact minimal size for this group and shows how orbit structure limits what automorphism groups a small poset can realize.

Core claim

We prove β(Z₂ × Z₄) = 14. The lower bound is obtained by complete case analysis of orbit decompositions of any poset P under a faithful action of G = Z₂ × Z₄, organized according to the size of the largest orbit; every configuration with |P| < 14 is shown to force extra automorphisms or to fail faithfulness. The upper bound is realized by an explicit 14-element poset whose automorphism group is confirmed to be exactly G via a height-function argument combined with a rigidity analysis of its covering relations.

What carries the argument

Orbit decomposition case analysis of faithful G-actions, classified by largest orbit size, together with an explicit 14-element poset whose automorphisms are verified by height functions and covering-relation rigidity.

If this is right

No finite poset with fewer than 14 elements can have automorphism group exactly Z₂ × Z₄.
The explicit 14-element poset has automorphism group isomorphic to Z₂ × Z₄.
The function β attains the value 14 on this group.
The same style of orbit-case analysis can decide β(G) for other small groups of similar order.

Where Pith is reading between the lines

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

The result supplies one more exact value that can be used to test conjectures about how β(G) grows with the order of G.
One could check whether the 14-element example remains minimal after small modifications such as adding or removing a covering relation.
The orbit-analysis technique may extend to deciding realizability questions for other concrete groups that are not direct products of cyclic groups.

Load-bearing premise

The case analysis of orbit decompositions under faithful G-actions is exhaustive and rules out every possible configuration for posets smaller than 14 elements.

What would settle it

Either an explicit poset with 13 or fewer elements whose automorphism group is shown to be isomorphic to Z₂ × Z₄, or a concrete error in the automorphism computation for the given 14-element example.

Figures

Figures reproduced from arXiv: 2606.07478 by Ponaki Das, Sainkupar Marwein Mawiong.

**Figure 1.** Figure 1: The Hasse diagram of P14. Step 2: Heights. Let h(x) be the length of a longest chain ending at x: h(ak) = 0, h((i, 0)) = 1, h((i, 1)) = 2, h((i, 2)) = 3. For h((i, 2)) = 3: the chain ak ≺ (i, 0) ≺ (i, 1) ≺ (i, 2) has length 3, while the alternative ak ≺ (i − 1, 0) ≺ (i, 2) has length 2. Relations (R1)–(R2) fix the relative heights of the (i, j), while (R3) forces h(ak) = 0 < 1 = h((i, 0)): without (R3) the… view at source ↗

read the original abstract

We prove $\beta(\mathbb{Z}_2 \times \mathbb{Z}_4) = 14$, where $\beta(G)$ denotes the minimum cardinality $|P|$ among finite posets $P$ with $\Aut(P) \cong G$. The lower bound is established by a complete case analysis of orbit decompositions of $P$ under faithful $G$-actions, organized by the largest orbit size. The upper bound is realized by an explicit $14$-element poset whose automorphism group is computed by a height-function argument together with a rigidity analysis of its covering relations.

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

The paper pins down β(Z₂ × Z₄) = 14 with an explicit 14-element construction and a hand case analysis on orbits for the lower bound.

read the letter

The main point from this paper is that β(Z₂ × Z₄) equals 14. They back the upper bound with an explicit 14-element poset and the lower bound with a case analysis of possible orbit structures for smaller sets.

The new content is the exact value for this group, which hadn't been determined before. The construction uses a height-function argument and rigidity of covering relations to show that the automorphism group is precisely the desired one. That approach seems straightforward to follow and verify.

The case analysis for the lower bound goes through partitions of the ground set into orbits compatible with a faithful action of the group, sorted by the largest orbit size. For each such partition with total size less than 14, they claim no G-invariant partial order exists that has exactly G as its full automorphism group.

This enumeration is the part that needs the most scrutiny. Since it's manual and relies on organizing by largest orbit, there is a chance that some configurations involving multiple orbits of size 4 or interactions between stabilizers are not fully covered. Also, even if the orbit decomposition is listed, one has to check that no additional automorphisms arise from the chosen order relations. The abstract describes this at a high level, so the details matter.

Overall, the work is a direct attack on the problem without circularity or invented parameters. It engages honestly with the literature on β(G) for small groups.

This is for researchers in combinatorial order theory who are compiling values of β(G) for groups of small order. A reader looking for concrete examples or methods for bounding automorphism groups in posets would find it useful.

I think it should go to peer review. The construction is solid enough on its own, and the case analysis is the kind of thing referees can check step by step.

Referee Report

1 major / 1 minor

Summary. The manuscript proves that β(ℤ₂ × ℤ₄) = 14, where β(G) is the minimal cardinality of a finite poset P with Aut(P) ≅ G. The lower bound is obtained by exhaustive case analysis of all orbit decompositions of P under faithful G-actions for |P| < 14, organized by the size of the largest orbit; each case is shown to admit no G-invariant partial order whose full automorphism group is exactly G. The upper bound is realized by an explicit 14-element poset whose automorphism group is verified via a height-function argument combined with rigidity analysis of the covering relations.

Significance. If correct, the result fixes the minimal poset size realizing this specific group, extending the known catalog of β(G) values. The explicit 14-element construction is a clear strength, as it supplies a concrete, in-principle verifiable example; the systematic organization of the lower-bound cases by largest orbit size is also a methodological contribution.

major comments (1)

[Lower bound case analysis] Lower-bound case analysis (organized by largest orbit size): the enumeration of partitions of n < 14 into orbit sizes compatible with the element orders {1,2,4} of G is performed manually and grouped only by maximal orbit size. It is not evident from the presentation that every admissible combination—particularly multiple orbits of size 4 whose stabilizers may interact in ways not captured by the largest-orbit ordering—has been enumerated and checked for the existence of a G-invariant order with Aut exactly G. Because this case analysis is the sole support for the claim that no smaller realization exists, any omitted configuration would falsify the lower bound.

minor comments (1)

The description of the upper-bound verification (height functions plus covering rigidity) is given at a high level in the abstract; the main text should include an explicit list of the covering relations or a diagram that makes the rigidity argument directly inspectable.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful review and for highlighting the need to make the completeness of the lower-bound enumeration fully transparent. We address the single major comment below.

read point-by-point responses

Referee: Lower-bound case analysis (organized by largest orbit size): the enumeration of partitions of n < 14 into orbit sizes compatible with the element orders {1,2,4} of G is performed manually and grouped only by maximal orbit size. It is not evident from the presentation that every admissible combination—particularly multiple orbits of size 4 whose stabilizers may interact in ways not captured by the largest-orbit ordering—has been enumerated and checked for the existence of a G-invariant order with Aut exactly G. Because this case analysis is the sole support for the claim that no smaller realization exists, any omitted configuration would falsify the lower bound.

Authors: The manuscript enumerates, for each possible largest orbit size k ∈ {1,2,4}, every integer n < 14 and every partition of n into summands of size at most k that are compatible with the orders of elements of G (i.e., orbit sizes 1, 2 or 4). Within each such partition the possible actions of the generators on the orbits are examined by considering the fixed-point sets of the order-2 and order-4 elements; because G is small, these possibilities are finite and are listed exhaustively in Sections 3–4. Interactions among multiple size-4 orbits are therefore captured by the explicit case-by-case verification rather than by the grouping alone. Nevertheless, we agree that the current grouping does not make the exhaustive character of the list immediately visible. In the revised manuscript we will insert a single table (new Table 1) that, for each n < 14 and each admissible largest-orbit size, records every compatible orbit-type multiset together with the subsection in which that configuration is ruled out. This addition will render the completeness of the enumeration explicit without altering the underlying case analysis. revision: yes

Circularity Check

0 steps flagged

No circularity; direct case analysis plus explicit construction

full rationale

The derivation consists of an exhaustive manual enumeration of orbit decompositions for |P|<14 under faithful actions of Z2×Z4 (organized by largest orbit size) to establish the lower bound, followed by an explicit 14-element poset construction for the upper bound whose automorphism group is verified by height functions and covering relations. No step reduces by the paper's own equations to a fitted input, self-definition, or load-bearing self-citation; the case analysis is presented as an independent combinatorial check against the group order constraints, and the construction is parameter-free. This matches the default expectation of a self-contained mathematical proof.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The proof relies only on standard definitions from order theory and group theory; no free parameters, ad-hoc axioms, or new postulated entities are introduced.

axioms (1)

standard math Standard definitions of posets, partial orders, covering relations, automorphism groups of posets, and faithful group actions on finite sets.
These are the background notions used to define β(G) and to organize the orbit case analysis.

pith-pipeline@v0.9.1-grok · 5630 in / 1301 out tokens · 29445 ms · 2026-06-27T21:32:56.545935+00:00 · methodology

discussion (0)

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

Minimum Size of a Poset Realizing $\Z_{2}\times\Z_{2^{n}}$ as its Automorphism Group
math.CO 2026-06 unverdicted novelty 6.0

The paper establishes that β(Z₂ × Z_{2^n}) = 2^{n+1} + 2 for all n ≥ 3.

Reference graph

Works this paper leans on

10 extracted references · cited by 1 Pith paper

[1]

Babai,Infinite digraphs with given regular automorphism groups, J

L. Babai,Infinite digraphs with given regular automorphism groups, J. Combin. Theory Ser. B25(1978), 26–46

1978
[2]

Babai,Finite digraphs with given regular automorphism groups, Period

L. Babai,Finite digraphs with given regular automorphism groups, Period. Math. Hun- gar.11(1980), 257–270

1980
[3]

J. A. Barmak and E. G. Minian,Automorphism groups of finite posets, Discrete Math. 309(2009), no. 10, 3424–3426

2009
[4]

J. A. Barmak,Automorphism groups of finite posets II, preprint, arXiv:2008.04997, 2020

arXiv 2008
[5]

A. N. Barreto,Sobre los posets m´ as chicos con grupo de automorfismos abeliano dado, Tesis de Licenciatura, Universidad de Buenos Aires, 2021

2021
[6]

J. A. Barmak and A. N. Barreto,Smallest posets with given cyclic automorphism group, Algebr. Comb.7(2024), 1307–1318

2024
[7]

Birkhoff,Sobre los grupos de automorfismos, Rev

G. Birkhoff,Sobre los grupos de automorfismos, Rev. Un. Mat. Argentina11(1946), 155–157

1946
[8]

Frucht,Herstellung von Graphen mit vorgegebener abstrakter Gruppe, Compositio Math.6(1939), 239–250

R. Frucht,Herstellung von Graphen mit vorgegebener abstrakter Gruppe, Compositio Math.6(1939), 239–250

1939
[9]

Frucht,On the construction of partially ordered systems with a given group of auto- morphisms, Amer

R. Frucht,On the construction of partially ordered systems with a given group of auto- morphisms, Amer. J. Math.72(1950), 195–199

1950
[10]

M. C. Thornton,Spaces with given homeomorphism groups, Proc. Amer. Math. Soc.33 (1972), 127–131. 17 Department of Mathematics, North Eastern Hill University, NEHU Campus, Shillong, India-793022 Email address:ponaki.das20@gmail.com Department of Basic Science and Social Science, North Eastern Hill University, NEHU Campus, Shillong, India-793022 Email addre...

1972

[1] [1]

Babai,Infinite digraphs with given regular automorphism groups, J

L. Babai,Infinite digraphs with given regular automorphism groups, J. Combin. Theory Ser. B25(1978), 26–46

1978

[2] [2]

Babai,Finite digraphs with given regular automorphism groups, Period

L. Babai,Finite digraphs with given regular automorphism groups, Period. Math. Hun- gar.11(1980), 257–270

1980

[3] [3]

J. A. Barmak and E. G. Minian,Automorphism groups of finite posets, Discrete Math. 309(2009), no. 10, 3424–3426

2009

[4] [4]

J. A. Barmak,Automorphism groups of finite posets II, preprint, arXiv:2008.04997, 2020

arXiv 2008

[5] [5]

A. N. Barreto,Sobre los posets m´ as chicos con grupo de automorfismos abeliano dado, Tesis de Licenciatura, Universidad de Buenos Aires, 2021

2021

[6] [6]

J. A. Barmak and A. N. Barreto,Smallest posets with given cyclic automorphism group, Algebr. Comb.7(2024), 1307–1318

2024

[7] [7]

Birkhoff,Sobre los grupos de automorfismos, Rev

G. Birkhoff,Sobre los grupos de automorfismos, Rev. Un. Mat. Argentina11(1946), 155–157

1946

[8] [8]

Frucht,Herstellung von Graphen mit vorgegebener abstrakter Gruppe, Compositio Math.6(1939), 239–250

R. Frucht,Herstellung von Graphen mit vorgegebener abstrakter Gruppe, Compositio Math.6(1939), 239–250

1939

[9] [9]

Frucht,On the construction of partially ordered systems with a given group of auto- morphisms, Amer

R. Frucht,On the construction of partially ordered systems with a given group of auto- morphisms, Amer. J. Math.72(1950), 195–199

1950

[10] [10]

M. C. Thornton,Spaces with given homeomorphism groups, Proc. Amer. Math. Soc.33 (1972), 127–131. 17 Department of Mathematics, North Eastern Hill University, NEHU Campus, Shillong, India-793022 Email address:ponaki.das20@gmail.com Department of Basic Science and Social Science, North Eastern Hill University, NEHU Campus, Shillong, India-793022 Email addre...

1972