arxiv: 2605.12822 · v1 · submitted 2026-05-12 · 🧮 math.CO

Recognition: unknown

Unimodality of q-Fibonomial coefficients for small cases

Brendan B. Connelly , Ezekiel Ito , Thomas C. Martinez , Olha Shevchenko , Kacey Yang

Authors on Pith no claims yet

Pith reviewed 2026-05-14 19:21 UTC · model grok-4.3

classification 🧮 math.CO

keywords q-Fibonomial coefficientsunimodalityq-analogsdomino tilingssaturated chain decompositionscombinatorial proofsalgebraic proofs

0 comments

The pith

q-Fibonomial coefficients are unimodal for all n at most 3

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

Bergeron, Ceballos, and Küstner defined q-Fibonomial coefficients via a weighted path-domino tiling model and conjectured that these polynomials are unimodal. The paper establishes the conjecture for every case with n at most 3. For the n=2 case a combinatorial argument shows both unimodality and symmetry by building a nearly symmetric saturated chain decomposition on the tilings. Algebraic proofs cover n=1, 2, and 3, while the n=3 case also yields a broader unimodality theorem for certain products of q-analogs together with several new conjectures.

Core claim

The q-Fibonomial coefficients are unimodal for n ≤ 3. For n = 2 a combinatorial proof of both unimodality and symmetry is obtained by constructing a nearly symmetric saturated chain decomposition on the set of weighted path-domino tilings. Algebraic proofs are supplied for n = 1, 2, and 3. For n = 3 a more general unimodality theorem is proved for certain products of q-analogs, and several related conjectures are proposed.

What carries the argument

The weighted path-domino tiling model that interprets the q-Fibonomial coefficients, together with the nearly symmetric saturated chain decomposition defined on those tilings for the n=2 case.

If this is right

The coefficient sequences of these polynomials have a single peak when n is at most 3.
Symmetry and unimodality hold simultaneously for n=2 via the chain decomposition of the tilings.
Certain products of q-analogs are unimodal in the n=3 setting.
The algebraic identities used for the small cases remain valid without extra restrictions.

Where Pith is reading between the lines

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

Similar chain decompositions with imposed symmetry could be sought for n greater than 3 to extend the combinatorial proof.
The algebraic approach may apply to other families of q-analogs whose ordinary counterparts are known to be unimodal.
The tiling model supplies a route to prove positivity or log-concavity properties for the same polynomials.

Load-bearing premise

The weighted path-domino tiling model correctly generates the q-Fibonomial coefficients as polynomials.

What would settle it

An explicit computation, for some integer m and n=3, of the coefficient sequence of the corresponding q-Fibonomial polynomial that fails to be unimodal.

Figures

Figures reproduced from arXiv: 2605.12822 by Brendan B. Connelly, Ezekiel Ito, Kacey Yang, Olha Shevchenko, Thomas C. Martinez.

**Figure 1.** Figure 1: A path-domino tiling in T4,4 of weight q 25 = q F2F1 · q F4F3 · q F5F4 · q F4F2 . The lattice path is determined by the blue dominoes and is omitted in subsequent diagrams. 2.2. q-Fibonomial Coefficients. The Fibonomial coefficients were originally defined by Lucas [Luc78]: for m, n ∈ N, m + n n F := F ! m+n F! mF! n , where F ! n = Fn · Fn−1 · · · F2 · F1. Sagan–Savage [SS09] gave a combinatorial inte… view at source ↗

**Figure 2.** Figure 2: Partitioning T3,2 into F3 = 3 sets, cf. Corollary 3.7. more horizontal dominoes to the right of that domino in the top row), rotate the rightmost domino and remove all the dominoes to the left of it on the bottom row. (4) If none of the above are possible, π ∗ fixes the tiling. Remark 3.1. Note that π(π ∗ (T)) = T if π ∗ (T) ̸= T. Similarly, π ∗ (π(T)) = T if π(T) ̸= T. Remark 3.2. The top horizontal tilin… view at source ↗

**Figure 3.** Figure 3: A block of the partition on T5,2 . αT T [PITH_FULL_IMAGE:figures/full_fig_p006_3.png] view at source ↗

**Figure 4.** Figure 4: Maximal tiling in a partition Definition 3.4. A tiling S ∈ Tm,2 is minimal if π(S) = S, and maximal if π ∗ (S) = S. The following two properties follow from the definitions of π and π ∗ . Lemma 3.5. The minimal and maximal tilings admit the following description. (1) The tiling S is minimal if and only if S has no vertical dominoes and no horizontal dominoes on the bottom row. (2) Let T be a tiling. Let (α… view at source ↗

**Figure 5.** Figure 5: If αS < αT , then degq w(S) > degq w(T). 3.2. Weights of Minimal and Maximal Tilings. We describe the weights of minimal and maximal tilings. We begin with the minimal tilings. Corollary 3.8. The minimal tilings of Tm,2 have weights {1, q, q2 , . . . , qFm+1−1}, each appearing exactly once. Proof. By Lemma 3.5, a minimal tiling has no bottom-row or vertical dominoes, so its weight is determined entirely b… view at source ↗

read the original abstract

Bergeron--Ceballos--K\"ustner introduced the $q$-Fibonomial coefficients $ \qfibonom{m+n}{n}$, gave a combinatorial interpretation of the $q$-Fibonomial coefficients via a weighted path-domino tiling model, and conjectured that these polynomials are unimodal. We prove the conjecture for $n\leq3$. For the $n=2$ case, we give a combinatorial proof of both unimodality and symmetry by defining a nearly symmetric saturated chain decomposition on the set of tilings. For all three cases, we give an algebraic proof. Finally, for the $n=3$ case, we establish a more general unimodality result for certain products of $q$-analogs and propose several related conjectures.

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 proves unimodality of q-Fibonomials for n≤3, with a new nearly-symmetric chain decomposition for the n=2 tiling model that also gives symmetry.

read the letter

The main takeaway is that this settles the known conjecture for small n with two independent methods: a combinatorial one for n=2 and algebraic expansions for n≤3, plus a modest extension for n=3. The combinatorial part stands out because it builds a nearly symmetric saturated chain decomposition directly on the weighted path-domino tilings from Bergeron-Ceballos-Küstner, which simultaneously handles both unimodality and symmetry without extra machinery. That construction looks clean and checkable for the fixed size, and the algebraic proofs are straightforward case-by-case verifications of the coefficient sequences. Credit is due for delivering explicit proofs rather than just restating the conjecture. The soft spots are predictable for this scope: everything is finite and case-specific, so it does not introduce new general techniques or resolve the n>3 cases. The reliance on the prior tiling model is fine since that model is already established, but it means the result inherits whatever limitations that interpretation carries. No circularity or hidden parameters show up in the arguments described. This is the kind of incremental combinatorial work that specialists in q-analogs and unimodal polynomials will want to see, especially if they are looking for explicit constructions to adapt elsewhere. It is not broad enough to change the field, but the proofs are solid enough that a serious referee should look at it. I would send it to review.

Referee Report

0 major / 3 minor

Summary. The manuscript proves the unimodality conjecture for the q-Fibonomial coefficients qfibonom{m+n}{n} when n≤3. For n=2 it supplies a combinatorial proof of both unimodality and symmetry via a nearly symmetric saturated chain decomposition on the weighted path-domino tilings of Bergeron–Ceballos–Küstner; for n≤3 it supplies direct algebraic proofs by expansion; and for n=3 it establishes a modest generalization to certain products of q-analogs together with several related conjectures.

Significance. If the arguments hold, the paper supplies the first rigorous confirmation of the conjecture in the smallest nontrivial cases, with an explicit combinatorial construction for n=2 that simultaneously yields symmetry. The algebraic verifications for fixed small n are finite and directly checkable, while the n=3 generalization and open conjectures provide concrete directions for further work on q-analogs of binomial coefficients.

minor comments (3)

[Section 2] In the definition of the weighted tiling model (presumably §2), the precise weighting rule for horizontal dominoes versus vertical pairs should be restated explicitly so that the chain decomposition can be verified without consulting the cited reference.
[Section 4] The algebraic proof for n=3 would be easier to follow if the expanded polynomial (or at least its coefficient sequence) were displayed in a small table before the unimodality argument is invoked.
[Introduction] A short sentence recalling the original conjecture statement from Bergeron–Ceballos–Küstner would help readers who are not already familiar with the reference.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive report and recommendation to accept the manuscript. The summary accurately reflects our combinatorial proof for n=2 via nearly symmetric saturated chain decompositions on weighted path-domino tilings and the algebraic verifications for n≤3, along with the modest generalization and conjectures for n=3.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper proves unimodality of q-Fibonomial coefficients for n≤3 via explicit combinatorial nearly-symmetric saturated chain decompositions (n=2) on the external Bergeron–Ceballos–Küstner weighted tiling model and direct algebraic expansions (n≤3), plus a modest generalization for n=3. These are finite, case-by-case arguments relying on standard q-analog identities and an independent combinatorial interpretation; no derivation reduces by construction to fitted inputs, self-definitions, or load-bearing self-citations from the present authors.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on the pre-existing weighted tiling interpretation and standard properties of q-analogs; no new free parameters or invented entities are introduced.

axioms (2)

domain assumption The weighted path-domino tiling model gives the correct generating function for q-Fibonomial coefficients
Invoked when the combinatorial proof is built on the tiling set.
standard math Standard algebraic identities for q-analogs and q-Fibonacci numbers hold
Used in the algebraic proofs for n≤3.

pith-pipeline@v0.9.0 · 5443 in / 1298 out tokens · 34537 ms · 2026-05-14T19:21:27.682099+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

19 extracted references

[1]

Symmetry, Integrability and Geometry: Methods and Applications , language =

Bergeron, Nantel and Ceballos, Cesar and Küstner, Josef , issn =. Symmetry, Integrability and Geometry: Methods and Applications , language =
[2]

, address =

Benjamin, Arthur and Quinn, Jennifer J. , address =
[3]

1989 , publisher =

Zeilberger, Doron , booktitle =. 1989 , publisher =

1989
[4]

1878 , publisher =

Sylvester, James Joseph , journal =. 1878 , publisher =
[5]

, journal =

O'Hara, Kathleen M. , journal =. 1990 , publisher =

1990
[6]

Sagan, Bruce and Savage, Carla , journal =
[7]

2014 , author =

ISRN Algebra , language =. 2014 , author =

2014
[8]

Zeckendorf, Édouard , journal =
[9]

, journal =

Bennett, Curtis and Carrillo, Juan and Machacek, John and Sagan, Bruce E. , journal =. 2020 , publisher =

2020
[10]

and Reiland, Elizabeth , journal =

Benjamin, Arthur T. and Reiland, Elizabeth , journal =. 2014 , publisher =

2014
[11]

and Sagan, Bruce E

Amdeberhan, Tewodros and Chen, Xi and Moll, Victor H. and Sagan, Bruce E. , journal =. 2014 , publisher =

2014
[12]

2018 , publisher =

Adiprasito, Karim and Huh, June and Katz, Eric , journal =. 2018 , publisher =

2018
[13]

2020 , publisher =

Brändén, Petter and Huh, June , journal =. 2020 , publisher =

2020
[14]

2018 , organization =

Anari, Nima and Gharan, Shayan Oveis and Vinzant, Cynthia , booktitle =. 2018 , organization =

2018
[15]

Chan, Swee Hong and Pak, Igor , journal =
[16]

, journal =

Stanley, Richard P. , journal =
[17]

1954 , publisher =

Bizley, Michael Terence Lewis , journal =. 1954 , publisher =

1954
[18]

and Plott, Sean S

Benjamin, Arthur T. and Plott, Sean S. , journal =. 2008 , publisher =

2008
[19]

1878 , publisher =

Lucas, Édouard , journal =. 1878 , publisher =