---
title: Signed Chromatic Quasisymmetric Invariant
url: https://www.emergentmind.com/topics/signed-chromatic-quasisymmetric-invariant
type: topic
---

# Signed Chromatic Quasisymmetric Invariant

Searching arXiv for recent papers on signed chromatic quasisymmetric invariants and closely related work.
The signed chromatic quasisymmetric invariant is a chromatic generating function for a directed signed graph that records proper colorings together with an ascent statistic derived from Zaslavsky’s compatibility condition for signed orientations. For a directed signed graph \(\vec{\Sigma}=(V,E,\sigma,\tau)\), it is defined by
\[
X_{\vec{\Sigma}}(x;t)=\sum_{\kappa \text{ proper}} t^{\mathrm{asc}(\kappa)}x^\kappa,
\]
where the variables are indexed by \(\mathbb{Z}\), \(x^\kappa=\prod_{v\in V}x_{\kappa(v)}\), and \(\mathrm{asc}(\kappa)\) counts the edges on which the coloring is not compatible with the chosen signed orientation. The construction extends Stanley’s chromatic symmetric function, the Shareshian–Wachs–Ellzey chromatic quasisymmetric function, and the earlier chromatic signed-symmetric function of a signed graph; its natural target is the algebra \(SQSym\) of signed quasisymmetric functions [2508.20200].

## 1. Definition on directed signed graphs

A signed graph is \(\Sigma=(V,E,\sigma)\), where \(\sigma:E\to\{+,-\}\). In the directed setting, each edge is equipped with a bidirection \(\tau\) satisfying
\[
\sigma(e)=-\tau(u,e)\tau(v,e)
\]
for \(e=\{u,v\}\), with \(\tau(u,e)\in\{\pm1\}\). A proper coloring is a map \(\kappa:V\to\mathbb{Z}\) such that
\[
\kappa(u)\neq \sigma(e)\kappa(v)
\]
for every edge \(e=\{u,v\}\). Thus positive edges impose \(\kappa(u)\neq\kappa(v)\), while negative edges impose \(\kappa(u)\neq-\kappa(v)\). This is the signed analogue of the ordinary proper-coloring condition, but with the color set expanded from positive integers to all integers [2508.20200].

The ascent statistic is defined from Zaslavsky’s compatibility relation. For a coloring \(\kappa\) and an oriented signed edge \(e=\{u,v\}\), compatibility means
\[
\tau(u,e)\kappa(u)+\tau(v,e)\kappa(v)\le 0.
\]
An ascent is an edge on which this inequality is violated, equivalently one satisfying
\[
\tau(u,e)\kappa(u)+\tau(v,e)\kappa(v)>0.
\]
The invariant \(X_{\vec{\Sigma}}(x;t)\) is obtained by weighting each proper coloring by \(t^{\mathrm{asc}(\kappa)}\). When \(t=1\), the statistic is forgotten and one recovers the previously studied signed chromatic symmetric function of Kuroda–Tsujie and related work [2508.20200].

## 2. Hyperplane arrangements and chamber decompositions

The invariant is organized by the signed-graphic hyperplane arrangement associated with \(\Sigma\). For a signed graph on vertices \(v_1,\dots,v_d\), the arrangement is
\[
\mathscr{H}_\Sigma=
\left[\bigcup_{\{v_i,v_j\}\in \sigma^{-1}(+)}\{\xi_i=\xi_j\}\right]
\cup
\left[\bigcup_{\{v_i,v_j\}\in \sigma^{-1}(-)}\{\xi_i=-\xi_j\}\right]
\cup
\left[\bigcup_{\{v_i,v_i\}\text{ negative loop}}\{\xi_i=0\}\right].
\]
Proper colorings correspond to integer points outside this arrangement, and acyclic orientations in the sense of Zaslavsky correspond to chambers of \(\mathbb{R}^d\setminus \mathscr{H}_\Sigma\). The signed chromatic quasisymmetric invariant can therefore be regrouped chamberwise as
\[
X_{\vec{\Sigma}}(x;t)=\sum_C t^{\mathrm{asc}(C)}\sum_{\alpha\in C\cap \mathbb{Z}^d}x_{\alpha_1}\cdots x_{\alpha_d},
\]
where \(\mathrm{asc}(C)\) is constant on each chamber [2508.20200].

This chamber description refines the earlier arrangement-theoretic definition of the chromatic signed-symmetric function
\[
X_\Gamma=\sum_C\sum_{\boldsymbol{\alpha}\in C\cap \mathbb{Z}^\ell}x_{\alpha_1}\cdots x_{\alpha_\ell}
\]
for a signed graph \(\Gamma\). In that earlier theory, the arrangement chambers and their closures also support a reciprocity theorem
\[
\omega X_\Gamma=\overline{X}_\Gamma,
\]
with \(\overline{X}_\Gamma\) defined by summing over integer points in chamber closures. This extends Stanley’s reciprocity from ordinary graphic arrangements to signed-graphic arrangements [2101.03018].

## 3. The target algebra \(SQSym\)

The signed chromatic quasisymmetric invariant takes values in \(SQSym[t]\), where \(SQSym\) is the algebra of signed quasisymmetric functions. A formal power series \(f\in \mathbb{Q}[[x]]\), with variables \(x=(\ldots,x_{-1},x_0,x_1,\ldots)\), is signed quasisymmetric if it has bounded degree and if its coefficients depend only on the pattern of exponents on \(x_0\), the positive-index variables, and the negative-index variables, not on the specific indices. Concretely, for any increasing positive index sequences \(i_1<\cdots<i_r\) and \(j_1<\cdots<j_r\), any bicomposition \(\lambda=(a,b)\), and \(k\in\mathbb{N}_0\),
\[
[x_0^k x_{i_1}^{a_1}x_{-i_1}^{b_1}\cdots x_{i_r}^{a_r}x_{-i_r}^{b_r}]f
=
[x_0^k x_{j_1}^{a_1}x_{-j_1}^{b_1}\cdots x_{j_r}^{a_r}x_{-j_r}^{b_r}]f.
\]
This is the signed analogue of ordinary quasisymmetry [2508.20200].

The monomial basis is indexed by pairs \((k,\lambda)\), where \(\lambda\) is a bicomposition, that is, a pair of integer vectors \((a,b)\in \mathbb{N}_0^r\times \mathbb{N}_0^r\) with no column equal to \((0,0)\). The corresponding basis element is
\[
M_{k,\lambda}
=
\sum_{i_1<\cdots<i_r}
x_0^k x_{i_1}^{a_1}x_{-i_1}^{b_1}\cdots x_{i_r}^{a_r}x_{-i_r}^{b_r}.
\]
Multiplication is given by a quasi-shuffle product on bicompositions,
\[
M_{k_1,\lambda_1}\cdot M_{k_2,\lambda_2}
=
\sum_{\lambda\in \lambda_1\amalg \lambda_2} M_{k_1+k_2,\lambda},
\]
and the coproduct is defined by deconcatenation. The algebra is graded, and its Hilbert series is
\[
\sum_{d\ge 0}A_dt^d=\frac{1-t}{1-4t+2t^2}.
\]
The space is invariant under the action of the signed symmetric group, and the paper explicitly presents it as a type \(B\) extension of \(QSym\) [2508.20200].

## 4. Fundamental expansions and structural properties

The fundamental family for \(SQSym\) is built from signed \((P,\omega)\)-partitions on signed chains. These functions generalize the classical fundamental basis of \(QSym\), and the paper extracts a basis using “minimal chains” together with an explicit bijection to bicompositions. In this basis the signed chromatic quasisymmetric invariant admits an explicit expansion:
\[
X_{\vec{\Sigma}}(x;t)
=
\sum_{\pi\in S\mathfrak{S}_d}
t^{\mathrm{inv}_{\vec{\Sigma}}(\pi)}
F_{DES_{\Sigma}(\pi)}^{\mathrm{sgn}(\pi)},
\]
where \(S\mathfrak{S}_d\) is the signed symmetric group, \(F_{DES_{\Sigma}(\pi)}^{\mathrm{sgn}(\pi)}\) is the fundamental function indexed by the descent set and sign word of \(\pi\), and \(\mathrm{inv}_{\vec{\Sigma}}(\pi)\) is the corresponding inversion statistic [2508.20200].

Several formal properties parallel the ordinary chromatic theory. The invariant is multiplicative on disjoint unions:
\[
X_{\vec{\Sigma}_1+\vec{\Sigma}_2}(x;t)=X_{\vec{\Sigma}_1}(x;t)\,X_{\vec{\Sigma}_2}(x;t).
\]
It specializes to the signed chromatic symmetric function at \(t=1\), and setting \(x_0=0\) yields the zero-free version. However, the output is usually not signed symmetric: it generally lies in \(SQSym\), not in the algebra \(SSym\) of signed symmetric functions, except for specific classes of graphs treated in the symmetry results of the paper [2508.20200].

## 5. Relation to earlier chromatic invariants

The new invariant sits at the intersection of two established lines of generalization. In the unsigned direction, Stanley’s chromatic symmetric function \(X_G\) was refined by Shareshian, Wachs, and Ellzey to a chromatic quasisymmetric function for directed graphs, and the signed construction is designed to recover that theory when all edge signs are positive and the orientation is the standard unsigned one. In the signed direction, the specialization \(t=1\) recovers the chromatic signed-symmetric function, whose ordinary-graph specialization is obtained by the projection \(\pi\) sending \(x_i=0\) for \(i\le 0\) and retaining \(x_i\) for \(i>0\); for a positive simple graph \(\Gamma^+\), one has \(\pi(X_\Gamma)=X_{\Gamma^+}\) [2508.20200; 2101.03018].

A separate unsigned refinement is the \(k\)-chromatic quasisymmetric function \(X_G^k\), defined by summing over \(k\)-balanced colorings of a simple graph. It satisfies \(X_G^1=X_G\), is positive in the fundamental basis, and gives rise to a generalized chromatic polynomial \(\chi_G^k(\lambda)\) whose negative evaluations generalize Stanley’s theorem relating \(\chi_G(-1)\) to acyclic orientations [1004.2685]. This places the signed chromatic quasisymmetric invariant within a broader program in which chromatic generating functions are refined by orientation data, although the signed-graph setting uses signed edge constraints and signed quasisymmetry rather than \(k\)-balancedness.

At the \(t=1\) level, the earlier signed-symmetric theory also investigated distinguishing power. The chromatic signed-symmetric function was shown to distinguish signed paths up to \(15\) vertices computationally, and it was proved that for signed paths indexed by compositions of length at most \(4\), or by unimodal compositions, equality of the functions implies isomorphism of the signed paths. The same work also showed that a signed tree is connected if and only if its chromatic signed-symmetric function is irreducible in the ring of signed-symmetric functions [2101.03018]. A plausible implication is that analogous structural questions for the quasisymmetric refinement may become central in the signed setting.

## 6. Terminological boundaries and adjacent signed theories

The phrase “signed” appears in this area in more than one sense. In the signed chromatic quasisymmetric invariant, “signed” refers primarily to signed graphs, signed orientations, and the signed quasisymmetric target algebra \(SQSym\). In a different line of work, “signed” refers to coefficient signs in basis expansions. For the chromatic quasisymmetric function \(X_G(\mathbf{x};q)\) of a graph, a signed \(e\)-expansion was proved for any natural unit interval graph:
\[
X_G(\mathbf{x};q)=\sum_{\mathcal{F}\in \mathrm{FT}(G)}
\mathrm{sign}(\mathcal{F})\,q^{\mathrm{weight}(\mathcal{F})}\,e_{\mathrm{type}(\mathcal{F})},
\]
and a sign-reversing involution then yields explicit positive \(e\)-expansions for \(K\)-chains and almost-\(K\)-chains. The same paper gives a signed \(e\)-expansion for arbitrary graphs using no-broken-circuit trees, with the claw graph exhibiting negative terms and thus failure of \(e\)-positivity [2311.08020]. This is a different notion of “signed” from the signed-graph framework, even though both are attached to chromatic quasisymmetric constructions.

A further structural boundary is supplied by kernel results for chromatic quasisymmetric maps. For graphs, the kernel of the noncommutative chromatic quasisymmetric map is spanned by modular relations, and in the commutative case one adds isomorphism relations. For hypergraphic polytopes, the kernel is generated by simple relations and generalized modular relations, and the image of the noncommutative map is the singleton commuting space \(SC\) [1803.08824]. That work does not construct signed chromatic quasisymmetric invariants, but it states that any signed or “signed quasisymmetric” invariant that factors through the universal chromatic morphism must vanish on the same modular-type obstructions. This suggests that the signed chromatic quasisymmetric invariant is not only a new enumerator but also part of a tightly constrained universal chromatic framework.

Source: https://www.emergentmind.com/topics/signed-chromatic-quasisymmetric-invariant