Strongly Triangle-Free Operator Systems

• Strongly triangle-free operator systems are finite-dimensional spaces in which every rank-3 projection contains a rank-2 anticlique, preventing any quantum 3-cliques.
• The framework utilizes operator-system and quantum-graph formulations with compression techniques to classify systems and relate them to the quantum Turán problem.
• Structural results reveal that aside from trivial or exceptional cases, these systems must be subsystems of complete bipartite operator systems, highlighting severe spectral rigidity.

Searching arXiv for recent and foundational papers on strongly triangle-free operator systems and related quantum graph/operator system notions. Strongly triangle-free operator systems are finite-dimensional operator systems $\mathcal{V} \subseteq M_n(\mathbb{C})$ for which every rank $3$ projection $Q$ dominates a rank $2$ projection $P \leq Q$ satisfying $P\mathcal{V}P = \mathbb{C}\cdot P$. In the operator-system formulation of quantum graphs, this condition is a quantum strengthening of the absence of triangles: it implies that $\mathcal{V}$ has no quantum $3$-clique, but it is strictly more restrictive than merely requiring triangle-freeness. The notion emerges naturally from the quantum Turán problem for operator systems, where clique and anticlique behavior is measured by compressions $P\mathcal{V}P$, and it acquires a complete structural characterization in recent work (Weaver, 2018, Weaver, 22 Sep 2025).

1. Operator-system and quantum-graph framework

An operator system is a linear subspace $\mathcal{V} \subseteq M_n(\mathbb{C})$ such that $3$0 and $3$1. This is the ambient category for the quantum graph viewpoint considered in the cited works (Weaver, 2018, Weaver, 22 Sep 2025).

The basic quantum graph invariants are defined by compression to a subspace. A rank $3$2 orthogonal projection $3$3 is a quantum $3$4-clique if $3$5, equivalently $3$6. A rank $3$7 orthogonal projection $3$8 is a quantum $3$9-anticlique if $Q$0, equivalently $Q$1 (Weaver, 2018). The clique condition is maximal, since the compression spans all $Q$2 matrices, while the anticlique condition is minimal, since only scalar multiples of the identity survive on $Q$3.

In the matrix-model interpretation of quantum graphs, these notions generalize classical cliques and independent sets but do not preserve the classical duality between them. The supplied sources emphasize that, in the quantum setting, it is usually harder to find anticliques, and this failure of duality is central to the distinction between triangle-free and strongly triangle-free operator systems (Weaver, 22 Sep 2025).

2. Triangle-free and strongly triangle-free conditions

Two quantum analogs of classical triangle-freeness are considered. An operator system $Q$4 is triangle-free if it has no $Q$5-clique, meaning there is no rank $Q$6 projection $Q$7 such that $Q$8. It is strongly triangle-free if every rank $Q$9 projection $2$0 dominates a $2$1-anticlique, that is, there exists a rank $2$2 projection $2$3 with $2$4 (Weaver, 22 Sep 2025).

The implication

$2$5

is explicit in the characterization paper (Weaver, 22 Sep 2025). The reverse implication fails. This is already visible in diagonal systems: the diagonal operator system $2$6 is abelian and sparse, but for $2$7 it has no $2$8-anticliques, so it is never strongly triangle-free (Weaver, 22 Sep 2025). The earlier Turán paper states the same phenomenon in complementary language: the diagonal operator system is strongly triangle-free in the sense of lacking quantum triangles, yet diagonal systems also illustrate that the quantum notion is much stricter than classical triangle-freeness and that the relation between cliques and anticliques is nonclassical (Weaver, 2018). Taken together, the sources indicate that “strongly triangle-free” is best understood through the rank-$2$9 compression criterion of (Weaver, 22 Sep 2025), where anticlique domination is built into the definition.

A common misconception is to identify quantum triangle-freeness with the classical statement that no three basis vectors support all mutual edges. The operator-system literature rejects this identification: the absence of a quantum $P \leq Q$0-clique is already stronger than ordinary graph-theoretic triangle-freeness, and the strong version imposes an additional local anticlique requirement on every rank-$P \leq Q$1 compression (Weaver, 2018, Weaver, 22 Sep 2025).

3. Canonical examples and non-examples

The basic positive examples are exceptionally restricted. Every operator system of dimension at most $P \leq Q$2 is strongly triangle-free (Weaver, 22 Sep 2025). Any operator system in $P \leq Q$3 is also strongly triangle-free, vacuously, since rank-$P \leq Q$4 projections do not exist (Weaver, 22 Sep 2025).

A fundamental infinite family is the complete bipartite operator system with one vertex on one side,

$P \leq Q$5

which is strongly triangle-free for all $P \leq Q$6 and has arbitrarily large dimension (Weaver, 22 Sep 2025). The same source describes these systems as the paradigmatic “hub-and-spoke” configurations.

There is also a specific exceptional $P \leq Q$7-dimensional example in $P \leq Q$8,

$P \leq Q$9

which is strongly triangle-free (Weaver, 22 Sep 2025).

The principal negative examples clarify the boundary of the concept. For $P\mathcal{V}P = \mathbb{C}\cdot P$0, the diagonal operator system

$P\mathcal{V}P = \mathbb{C}\cdot P$1

is not strongly triangle-free because it has no $P\mathcal{V}P = \mathbb{C}\cdot P$2-anticliques (Weaver, 22 Sep 2025). Likewise, block operator systems in $P\mathcal{V}P = \mathbb{C}\cdot P$3, including $P\mathcal{V}P = \mathbb{C}\cdot P$4 with a one-dimensional extension, can be triangle-free without being strongly triangle-free (Weaver, 22 Sep 2025). Finally, $P\mathcal{V}P = \mathbb{C}\cdot P$5 with $P\mathcal{V}P = \mathbb{C}\cdot P$6 always contains a $P\mathcal{V}P = \mathbb{C}\cdot P$7-clique, so these systems are not triangle-free at all (Weaver, 22 Sep 2025).

Class	Strongly triangle-free?	Triangle-free?
$P\mathcal{V}P = \mathbb{C}\cdot P$8	Yes	Yes
$P\mathcal{V}P = \mathbb{C}\cdot P$9	Yes	Yes
Exceptional $\mathcal{V}$0-dimensional example in $\mathcal{V}$1	Yes	Yes
$\mathcal{V}$2 for $\mathcal{V}$3	No	Only for $\mathcal{V}$4
$\mathcal{V}$5 with $\mathcal{V}$6	No	No

These examples show that strong triangle-freeness is compatible with arbitrarily large dimension only in highly constrained forms, and that abelianity or sparsity alone does not help.

4. Complete characterization

The central structural result is a complete classification. An operator system $\mathcal{V}$7 is strongly triangle-free if and only if, relative to some basis, one of the following holds: $\mathcal{V}$8; or $\mathcal{V}$9; or $3$0 and $3$1 is the specific exceptional $3$2-dimensional system displayed above; or $3$3 (Weaver, 22 Sep 2025).

This theorem has a pronounced rigidity flavor. In the proof outline reported in the supplied material, the analysis proceeds through spectral restrictions on Hermitian elements of $3$4. Any Hermitian $3$5 has at most three eigenvalues, with only the middle eigenvalue possibly having multiplicity at least $3$6. If some Hermitian $3$7 has exactly two eigenvalues, both with multiplicity at least $3$8, then either $3$9 is the exceptional $P\mathcal{V}P$0 example or it contains a rank $P\mathcal{V}P$1 projection and hence is contained in $P\mathcal{V}P$2. If every non-scalar Hermitian element has three eigenvalues as above, the structure still reduces to the previous cases (Weaver, 22 Sep 2025).

The same source also states that any non-abelian, non-commuting situation produces enough structure to force the existence of a $P\mathcal{V}P$3-clique unless one is in one of the classified families. Conversely, commuting behavior is generally fatal: any operator system with two linearly independent commuting Hermitian matrices besides $P\mathcal{V}P$4 cannot be strongly triangle-free (Weaver, 22 Sep 2025). This places strong triangle-freeness at the intersection of local compression geometry and severe spectral rigidity.

A plausible implication is that the classification is not merely combinatorial but operator-algebraic: the property is controlled by how much noncommutative matrix structure survives on rank-$P\mathcal{V}P$5 compressions, and almost every source of internal multiplicity or commutative decomposition creates room for a quantum triangle.

5. Relation to the quantum Turán problem

The notion of strong triangle-freeness is rooted in the broader quantum Turán problem. For operator systems $P\mathcal{V}P$6, the lower quantum Turán number $P\mathcal{V}P$7 is the smallest $P\mathcal{V}P$8 such that some operator system of dimension $P\mathcal{V}P$9 has no quantum $\mathcal{V} \subseteq M_n(\mathbb{C})$0-anticliques, and the upper quantum Turán number $\mathcal{V} \subseteq M_n(\mathbb{C})$1 is the largest $\mathcal{V} \subseteq M_n(\mathbb{C})$2 such that some operator system of dimension $\mathcal{V} \subseteq M_n(\mathbb{C})$3 has no quantum $\mathcal{V} \subseteq M_n(\mathbb{C})$4-cliques (Weaver, 2018).

The anticlique side has near-sharp order $\mathcal{V} \subseteq M_n(\mathbb{C})$5. If $\mathcal{V} \subseteq M_n(\mathbb{C})$6 are orthogonal projections of rank at most $\mathcal{V} \subseteq M_n(\mathbb{C})$7 with $\mathcal{V} \subseteq M_n(\mathbb{C})$8, then

$\mathcal{V} \subseteq M_n(\mathbb{C})$9

has no quantum $3$00-anticliques, and therefore

$3$01

The paper also proves

$3$02

so for large $3$03 both bounds are about $3$04 (Weaver, 2018).

The clique side behaves differently. For a rank $3$05 orthogonal projection $3$06, the operator system

$3$07

has no quantum $3$08-cliques and satisfies

$3$09

In the other direction, if $3$10, then $3$11 has a quantum $3$12-clique; hence

$3$13

(Weaver, 2018).

Strongly triangle-free operator systems correspond to the case $3$14 on the clique side, since a quantum $3$15-clique is precisely a quantum triangle. The Turán perspective therefore frames strong triangle-freeness as a local obstruction to full $3$16 behavior under rank-$3$17 compression. The 2025 characterization shows that this obstruction is so severe that, beyond dimension-$3$18 systems and one exceptional $3$19 example, only subspaces of $3$20 survive (Weaver, 22 Sep 2025).

6. Structural consequences and contrast with the classical theory

The most persistent theme in the literature is the divergence from the classical graph picture. In classical extremal graph theory, triangle-free graphs can remain highly connected, and complete bipartite graphs are the basic examples. In the operator-system setting, most quantum complete bipartite systems $3$21 with $3$22 already contain a $3$23-clique; only the one-sided case $3$24 remains strongly triangle-free (Weaver, 22 Sep 2025). This is a drastic restriction relative to the classical setting.

The same contrast appears in extremal dimension. The quantum Turán bounds imply that the maximal dimension of an operator system with no quantum $3$25-cliques is linear in $3$26, unlike the classical graph case where the number of edges in a $3$27-cliqueless graph is of order $3$28 (Weaver, 2018). The supplied material further states that optimal quantum cliqueless operator systems are not analogous to classical disjoint unions of cliques; their structure is reflected instead by compression-based constructions and sums of projections (Weaver, 2018).

Coloring behavior also departs from familiar expectations. There is no universal bound on chromatic number for strongly triangle-free operator systems, because examples of dimension at most $3$29 can have arbitrarily large chromatic number. However, for $3$30 and strongly triangle-free, every such system is $3$31-colorable (Weaver, 22 Sep 2025). This suggests that the obstruction to quantum triangles does not globally control coloring in low-dimensional degenerate cases, but outside those cases it forces a bipartite-type geometry.

The operator-algebraic interpretation is that strong triangle-freeness is a rigidity condition on the matrix range of $3$32 under small compressions. Abelian systems such as $3$33 are not prototypical examples but mostly counterexamples; commuting Hermitian structure almost never qualifies (Weaver, 22 Sep 2025). The resulting theory situates strongly triangle-free operator systems as a narrow, explicitly classified class of quantum graphs whose defining feature is the systematic collapse of rank-$3$34 compressions away from full matrix algebra (Weaver, 2018, Weaver, 22 Sep 2025).