Contractions and applications of crystal skeletons: Young quasisymmetric and Stanley symmetric functions

Anne Schilling; Sarah Brauner; Sarah Mason; Zajj Daugherty

Contractions and applications of crystal skeletons: Young quasisymmetric and Stanley symmetric functions

T0 review · 3 major / 1 minor · reviewed 2026-07-15 · grok-4.5

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Crystal skeletons tile into quasicrystal skeletons whose characters are Young quasisymmetric Schur functions; contracting them recovers Bruhat order and structures Stanley symmetric functions.

desk verdict Solid structural refinement of crystal skeletons into quasicrystal skeletons with Young quasisymmetric Schur characters, edge rules, and Bruhat contraction, applied to Stanley functions—but only the abstract is visible. read the letter →

arxiv 2607.12232 v1 pith:LT4WA6BG submitted 2026-07-14 math.CO math.QAmath.RT

Sarah Brauner , Zajj Daugherty , Sarah Mason , Anne Schilling This is my paper · ORCID

classification math.COmath.QAmath.RT MSC 05E0505E1020G42

keywords crystalskeletonsquasicrystalYoungquasisymmetricSchurfunctionsStanleysymmetricBruhatorderdualequivalencegraphssl_ncrystals

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

Connected sl_n-crystals have Schur characters and decompose into quasicrystals with Gessel quasisymmetric characters. Crystal skeletons arise by contracting those quasicrystals and already generalize dual equivalence graphs, giving a route from a known quasisymmetric expansion to a Schur expansion. This paper shows that a crystal skeleton itself tiles into smaller components called quasicrystal skeletons, each of whose character is a Young quasisymmetric Schur function. The edges that jump between those tiled components are completely characterized; contracting the components recovers Bruhat order. The same apparatus is then applied to Stanley symmetric functions, yielding a transparent description of their Schur and quasisymmetric expansions. A sympathetic reader cares because the construction supplies a uniform, combinatorial bridge from quasisymmetric data all the way down to Bruhat order, with an immediate payoff for a classical family of symmetric functions.

What carries the argument

Quasicrystal skeletons: the components obtained by further tiling a crystal skeleton so that each component’s character is a Young quasisymmetric Schur function; the inter-component edges are those that, upon contraction, produce Bruhat order.

What would settle it

Exhibit a concrete connected crystal skeleton in which either a tiled component has a character that is not a Young quasisymmetric Schur function, or the graph obtained by contracting those components fails to be isomorphic to the corresponding interval of Bruhat order.

Watch

Extended reading notes

Core claim

Crystal skeletons can be further tiled into quasicrystal-skeleton components whose characters are precisely the Young quasisymmetric Schur functions; the residual edges that move between those components are characterized, and contracting the components recovers Bruhat order. The resulting calculus is illustrated on Stanley symmetric functions.

Load-bearing premise

That the further tiling of a crystal skeleton into these newly defined quasicrystal-skeleton components preserves character additivity exactly, so each component’s character is a Young quasisymmetric Schur function and the residual edges recover Bruhat order upon contraction.

Editorial extensions

If this is right

Any symmetric function whose crystal skeleton is known can be expanded into Young quasisymmetric Schur functions by reading the tiled components.
The residual inter-component edges supply an explicit combinatorial realization of Bruhat order inside the crystal skeleton.
Stanley symmetric functions admit a direct description of both their Schur and Young-quasisymmetric expansions via the same tiling.
The construction recovers dual-equivalence graphs as the special case in which the quasicrystal skeletons are single vertices.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

The same tiling should apply verbatim to other families (e.g., Lascoux–Schützenberger or affine Stanley functions) whose crystal skeletons are already constructed.
A computer enumeration of small-rank crystal skeletons could verify the edge characterization and the Bruhat-order isomorphism in low rank, providing independent confirmation.
If the quasicrystal-skeleton components can be given explicit combinatorial models (tableaux or words), one would obtain a new positive combinatorial rule for the Young-quasisymmetric expansion of any function admitting a crystal skeleton.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

The one thing to know is that this paper inserts a new intermediate layer—quasicrystal skeletons—between crystal skeletons and dual equivalence graphs. It claims you can tile a crystal skeleton into these components whose characters are exactly the Young quasisymmetric Schur functions, characterize the residual edges that jump between tiles, and recover Bruhat order by contracting the tiles. They then use the toolkit on Stanley symmetric functions.

What is actually new is the intermediate object itself plus the edge characterization and the contraction statement. That sits cleanly inside the existing program of crystals, dual equivalence graphs, and quasisymmetric Schur theory. The application to Stanley functions is concrete and useful for people who already work with those expansions. The constructions look definitional and combinatorial rather than fitted, so circularity is low.

The soft spot is purely evidentiary: we only have the abstract. The load-bearing claims—that the tiling is well-defined, that each component character is precisely a Young quasisymmetric Schur function (not a sum or something else), that the inter-component edges are completely characterized, and that contraction yields Bruhat order—cannot be checked. No internal contradiction with known crystal or dual-equivalence facts jumps out, so the concern is missing proofs and examples rather than a visible flaw. If the full arguments hold, this is a clean structural contribution; if the edge rules or character additivity slip, the whole contraction story weakens.

This is for algebraic combinatorialists who already care about crystals, dual equivalence, and quasisymmetric expansions of Stanley or Schur-positive functions. A reader who works in that circle will get value from the intermediate objects and the Stanley analysis. It deserves a serious referee; the claims are standard in form for the literature and important enough inside the subfield to warrant full scrutiny rather than a desk reject. I would send it out.

Referee Report

3 major / 1 minor

Summary. The manuscript asserts that crystal skeletons—graphs obtained by contracting quasicrystals inside connected sl_n-crystal graphs—admit a further tiling into connected components called quasicrystal skeletons. The character of each such component is claimed to be a Young quasisymmetric Schur function. The residual edges of the crystal skeleton that cross between these components are characterized, and contracting each quasicrystal-skeleton component is asserted to recover Bruhat order. The constructions are illustrated by an analysis of the Schur and quasisymmetric expansions of Stanley symmetric functions.

Significance. If the tiling, character identification, edge characterization, and contraction statements hold, the paper would supply a useful intermediate combinatorial object between dual-equivalence/crystal skeletons and Bruhat order, together with a concrete method for extracting Schur expansions once a Young-quasisymmetric expansion is known. The application to Stanley symmetric functions would be a natural and potentially valuable test case. The abstract alone, however, does not allow these claims to be audited.

major comments (3)

[Abstract] Only the abstract is available for review. The three interlocking load-bearing claims—(i) that a crystal skeleton admits a well-defined tiling into quasicrystal skeletons whose characters are precisely the Young quasisymmetric Schur functions, (ii) that the residual inter-component edges are completely characterized, and (iii) that contracting those components recovers Bruhat order—cannot be checked against definitions, lemmas, or proofs. Without the full text these assertions remain unverified.
[Abstract] The abstract asserts character additivity under the proposed tiling (each component character equals a single Young quasisymmetric Schur function). This is the weakest link visible from the abstract: it is not clear whether the tiling is unique, whether characters of the tiles sum without overlap or remainder, or how the Young-quasisymmetric basis is recovered from the contracted graph. A full manuscript would need an explicit statement of the tiling rule and a character computation that can be audited.
[Abstract] The claim that contraction of the quasicrystal-skeleton components yields Bruhat order (or a covering relation thereof) is stated without any indication of the precise poset isomorphism or the covering relations that survive. Verification requires the edge-characterization theorem and the contraction construction, neither of which is present in the abstract.

minor comments (1)

[Abstract] The abstract is clearly written and situates the work relative to crystals, Gessel quasisymmetric functions, dual equivalence graphs, and Stanley symmetric functions. No presentation issues can be assessed beyond the abstract itself.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: abstract presents combinatorial tilings and contractions of crystal graphs against external bases (Schur, Gessel, Young QSS, Bruhat, Stanley).

full rationale

Full text is unavailable, so only the abstract can be inspected. It states standard facts (connected sl_n-crystal characters are Schur polynomials; quasicrystal characters are Gessel quasisymmetric functions) and then claims a further tiling of crystal skeletons into quasicrystal skeletons whose characters are Young quasisymmetric Schur functions, a characterization of inter-component edges, and that contracting those components recovers Bruhat order, with an application to Stanley symmetric functions. All target objects (Young quasisymmetric Schur functions, Bruhat order, Stanley symmetric functions) are external, independently defined combinatorial or algebraic objects; the constructions are presented as definitional graph-theoretic operations (tiling, edge characterization, contraction) rather than as fitted parameters or self-referential predictions. No equation, fit, or uniqueness theorem is quoted that reduces a claimed prediction to its own input by construction. Mild multi-author self-citation risk for the prior notion of crystal skeletons is normal and not load-bearing circularity under the rules. The derivation chain visible in the abstract is therefore self-contained against external benchmarks; score 0 with empty steps is the honest finding.

Assumptions & free parameters 0 free parameters · 3 assumptions · 1 invented entities

Pure combinatorial/representation-theoretic paper. No numerical free parameters. Background axioms are standard crystal and quasisymmetric-function theory. The main invented entity is the quasicrystal skeleton (a further contraction/tiling of crystal skeletons). Independent evidence for that entity is internal to the claimed character and contraction theorems, which are not checkable from the abstract alone.

assumptions (3)

domain assumption Characters of connected sl_n-crystals are Schur polynomials; quasicrystal components have Gessel quasisymmetric characters.
Standard crystal theory invoked in the opening of the abstract as background.
domain assumption Crystal skeletons obtained by contracting quasicrystals generalize dual equivalence graphs and encode Schur expansions from known quasisymmetric expansions.
Prior framework the paper builds on; treated as given rather than re-proved in the abstract.
ad hoc to paper Young quasisymmetric Schur functions are the appropriate character basis for the newly defined quasicrystal skeleton components.
The abstract asserts this as the character of the new components; the identification is part of the paper's contribution and is not an external standard fact independent of the construction.

invented entities (1)

quasicrystal skeleton
purpose: Finer tiling of a crystal skeleton whose components have Young quasisymmetric Schur characters and whose contraction recovers Bruhat order.
Introduced in this paper as the central new combinatorial object; independent external handle is the claimed character and Bruhat-order theorems, not yet verifiable from the abstract.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Contractions and applications of crystal skeletons: Young quasisymmetric and Stanley symmetric functions." pith.science (2026). https://pith.science/paper/LT4WA6BG

@misc{pith2026260712232,
  author       = {Pith},
  title        = {Pith review of: Contractions and applications of crystal skeletons: Young quasisymmetric and Stanley symmetric functions},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/LT4WA6BG}},
  note         = {Machine review of arXiv:2607.12232}
}

abstract

The character of a connected $\mathfrak{sl}_n$-crystal is a Schur polynomial; the crystal can be further decomposed into quasicrystals, whose characters are the Gessel quasisymmetric functions. Crystal skeletons are obtained by contracting quasicrystals within crystal graphs. They generalize dual equivalence graphs, and can be used to prove the Schur expansion of a symmetric function when the quasisymmetric expansion is known. In this paper, we show that the crystal skeleton can be tiled further into components which we call quasicrystal skeletons, whose characters are Young quasisymmetric Schur functions. We characterize which edges in the crystal skeleton move between quasicrystal skeleton components. Contracting the quasicrystal skeleton components yields Bruhat order. We illustrate how these tools can be applied to symmetric functions by analyzing the Stanley symmetric functions.

Discussion (0). Continue with ORCID to comment.

Pith tools

Reviewed July 15, 2026 · model on record in the stance chip above.