The recording tableaux of the quantum Littlewood-Richardson map and the orthogonal transpose symmetry map

2026-03-17T15:51:49Z

Recently Watanabe has given an algorithm to compute a bijection, that he calls (quantum) Littlewood-Richardson (LR) map, between semi-standard Young tableaux of shape a partition with at most $2n$ parts and pairs of tableaux consisting of a symplectic tableau with shape a partition with at most $n$ parts, and a recording tableau of skew-shape given by the two previous shapes. The recording tableaux in that algorithm are shown to be equinumerous to Littlewood-Richardson-Sundaram tableaux whose injectivity is shown combinatorially while the surjectivity is concluded via representation theory of a quantum symmetric pair of type AII. Henceforth, the algorithm to compute the quantum LR map provides a new branching model for the branching multiplicities from $GL_{2n}(C)$ to $Sp_{2n}(C)$. Here, as morally suggested by Watanabe, one provides a combinatorial proof of the surjectivity of the quantum LR map which in turn exhibits the restriction of the LR orthogonal transpose symmetry map to LR-Sundaram tableaux.

Independence polynomials of graphs

2026-03-17T15:51:06Z

In this paper, we study the independence polynomial $P_G(x)$ of a finite simple graph $G$, with emphasis on the evaluation at $x=-1$, symmetry, and its connection with the $h$-polynomial of the edge ideal of $G$. For big star graphs, we determine exactly when $P_G(-1)$ is $0, 1$, or $-1$, characterize the pseudo-Gorenstein$^*$ members, and show that there is a unique big star with symmetric independence polynomial. We also study graphs obtained from a graph $H$ by attaching leaves to selected vertices. We derive an explicit formula for the resulting independence polynomial, determine the corresponding value at $-1$, and prove that if every vertex of $H$ receives at least one leaf, then the independence polynomial is symmetric if and only if each vertex receives exactly two leaves. As an application, we obtain exact criteria for the values of $P_G(-1)$ and for the pseudo-Gorenstein$^*$ members of caterpillar graphs. For cochordal graphs, we classify all symmetric independence polynomials. Finally, for connected graphs on $n$ vertices with small independence numbers, we determine the exact range of possible values of $P_G(-1)$.

A quadratic-time coloring algorithm for graphs with large maximum degree

2026-03-17T15:36:41Z

Graph coloring is a central problem in graph theory and is NP-hard for general graphs. Motivated by the Borodin--Kostochka conjecture, we study the algorithmic problem of coloring graphs with large maximum degree and no clique of size $Δ$. We give a quadratic-time coloring algorithm that constructs a $(Δ-1)$-coloring for such graphs. We also prove that every graph $G$ with maximum degree $Δ\ge 7.3 \times 10^9$ and clique number $ω(G) < Δ$ satisfies $χ(G) \le Δ- 1$. This improves a longstanding result of Reed.

A characterization of terminal planar networks by forbidden structures

2026-03-17T15:25:49Z

The class of terminal planar networks was recently introduced from a biological perspective in relation to the visualization of phylogenetic networks, and its connection to upward planar networks has been established. We provide a Kuratowski-type theorem that characterizes terminal planar networks by a finite set of forbidden structures, defined via six families of 0/1-labeled graphs. Another characterization based on planarity of supergraphs yields linear-time algorithms for testing terminal planarity and for computing such planar drawings. We describe an application that is potentially relevant in broader, non-phylogenetic settings. We also discuss a connection of our main result to an open problem on the forbidden structures of single-source upward planar networks.

Monochromatic sums and quotients in $\mathbb N$

2026-03-17T15:14:45Z

We prove partition regularity of the configuration $x,y,x+y,y/x$ in a strong infinitary form that extends Hindman's Theorem. We study the related issue of partition regularity of configurations involving products of a degree one polynomial in $x$ with one in $y$, reducing the general problem to a handful of special cases.

On an infinite sequence of strongly regular digraphs with parameters $(9(2n+3), 3(2n+3), 2n+4, 2n+1, 2n+4)$

2026-03-17T14:59:44Z

The paper constructs an infinite sequence of strongly regular directed graphs. The construction is based on representing adjacency matrices as block matrices composed of circulant blocks, together with the use of a compactification operation consistent with polynomial arithmetic modulo $x^{2n+3}-1$. Using computer search with the pychoco library and subsequent analysis of automorphism groups in the GAP system, a stable structural pattern was identified, which made it possible to formulate and prove an explicit formula for the adjacency matrices of the infinite sequence of directed graphs. Among the obtained digraphs, there are examples with parameters $(63, 21, 8, 5, 8)$ and $(81, 27, 10, 7, 10)$, for which the question of existence had previously remained open. A hypothesis on the structure of the automorphism groups of the digraphs in the constructed sequence is also formulated.

Blow-up structure of graphs excluding a tree or an apex-tree as a minor

2026-03-17T14:54:52Z

We prove blow-up structure theorems for graphs excluding a tree or an apex-tree as a minor. First, we show that for every $t$-vertex tree $T$ with $t\geq 3$ and radius $h$, and every graph $G$ excluding $T$ as a minor, there exists a graph $H$ with pathwidth at most $2h-1$ such that $G$ is contained in $H\boxtimes K_{t-2}$ as a subgraph. This improves on a recent theorem of Dujmović, Hickingbotham, Joret, Micek, Morin, and Wood (2024), who proved the same result but with a larger bound on the order of the complete graph in the product. Second, we show that for every $t$-vertex tree $T$ with $t\geq 2$, radius $h$ and maximum degree $d$, and every graph $G$ excluding the apex-tree $T^+$ as a minor, where $T^+$ is the tree obtained by adding a universal vertex to $T$, there exists a graph $H$ with treewidth at most $4h-1$ such that $G$ is contained in $H\boxtimes K_{2(t-1)d}$. The bound on the treewidth of $H$ is best possible up to a factor $2$, and improves on a $2^{h+2}-4$ bound that follows from a recent result of Dujmović, Hickingbotham, Hodor, Joret, La, Micek, Morin, Rambaud, and Wood (2024).

Connectivity notions on compatible digraphs in equational classes

2026-03-17T14:52:18Z

A digraph $\mathbb G$ is called weakly connected, strongly connected, and extremely connected if any two vertices of $\mathbb G$ are connected respectively by an oriented, a directed, and a symmetric path in $\mathbb G$. We investigate the algebraic properties of digraphs that force some of these connectivity notions to coincide. We prove that for digraphs with a Hobby-McKenzie polymorphism, the strong and the extreme components coincide. Conversely, if the strong and the extreme components of any compatible digraph in an equational class of algebras coincide, then the class must have a Hobby-McKenzie term. As a consequence, we obtain that an equational class $\mathcal V$ is $n$-permutable for some $n$ if and only if the weak components of any compatible reflexive digraph in $\mathcal V$ are extremely connected.

Super Major Index Cyclic Sieving

2026-03-17T14:44:58Z

Recently, Armon and Swanson introduced signed standard tableaux and a corresponding super major index that refines the classical major index. In this paper, we prove that signed standard tableaux of rectangular shape exhibit a cyclic sieving phenomenon (CSP) under the combined action of Schützenberger promotion and cyclic shift of the signs, with the sieving polynomial given by the super major index generating function. This extends Rhoades's celebrated CSP for standard Young tableaux. Furthermore, by considering Cartesian products of tableaux, we generalize this result to arbitrary non-rectangular shapes.

Recursive Packing Bounds for Supercritical Disconnection in Bernoulli Site Percolation

2026-03-17T14:42:55Z

For Bernoulli site percolation on an infinite, connected, locally finite graph $G=(V,E)$, we obtain quantitative upper bounds on the supercritical disconnection probability \[ \mathbb{P}_p(S\nleftrightarrow\infty) \] for arbitrary finite or infinite sets $S\subset V$ and all $p>p^{\mathrm{site}}_c(G)$. The key quantity is a recursive packing number $\mathbf{PK}_{p,\eps,c}(S)$. It is the maximal number of vertices that can be extracted from $S$ so that, after deleting witness balls around the previously chosen vertices, each selected vertex still connects to infinity with probability at least $c$, while its failure to connect to infinity is already detected, up to a factor $1+\eps$, by failure to reach the inner boundary of its witness ball. Thus $\mathbf{PK}_{p,\eps,c}(S)$ counts essentially independent local witnesses for the global event $\{S\nleftrightarrow\infty\}$. We prove the structural estimate \[ \mathbb{P}_p(S\nleftrightarrow\infty) \le \frac{\eps(1-c)}{c} +(1-c)^{\mathbf{PK}_{p,\eps,c}(S)}. \] Combining this bound with the local functional characterization of $p^{\mathrm{site}}_c(G)$ from \cite{ZL24} yields an explicit supercritical estimate valid on every infinite, connected, locally finite graph. We also illustrate the packing number on ray-homogeneous trees. In particular, sparse finite subsets of a distinguished ray have packing number equal to their cardinality, both for regular trees and for a non-regular decorated spine. This shows that the packing number is explicit on concrete graph families.

Regular $K_3$-regular graphs

2026-03-17T14:36:53Z

We study graphs that are simultaneously regular with respect to the ordinary vertex degree and regular with respect to the triangle degree, that is, the number of triangles containing a given vertex. We call such graphs regular $K_3$-regular. We investigate the (non-)existence of regular $K_3$-regular graphs with prescribed parameters $(r_2,r_3)$, where $r_2$ is the vertex degree and $r_3$ is the triangle degree. General bounds relating vertex and edge triangle degrees are derived, and non-existence results are established for broad ranges of these parameters. Special attention is paid to Turán graphs, for which we establish uniqueness results for certain parameters. The paper concludes with a summary of admissible parameters and several open problems.

Geometric constructions for Steinitz-type bounds in dimension two

2026-03-17T14:12:05Z

We investigate inequalities for partial sums of complex numbers with bounded modulus and zero total sum, a topic referred to as "polygonal confinement". Starting from Steinitz's classical result, we provide detailed constructions yielding explicit bounds, including $\sqrt{5}$, $\sqrt{3}$, $2$, and $\sqrt{2}$, depending on geometric constraints or weighted settings. The proofs are fully detailed with step-by-step constructions of permutations, highlighting the combinatorial and geometric intuition. We conclude with conjectures on optimal universal constants and directions for future research.

Clustering, order conditions, and languages of interval exchanges

2026-03-17T14:03:47Z

We investigate various connections between the clustering for the Burrows-Wheeler transform, a lossless algorithm used in data compression, and languages of interval exchange transformations. We show that a primitive word $u$ clusters for a pair of orders $(<_D,<_A)$ if and only if $u$ is a return word in the natural coding of a generalised interval exchange transformation with departure and arrival orders $(<_D,<_A)$. This answers a question of M. Lapointe on the perfect clustering of return words for a symmetric standard interval exchange transformation. We show that if $T$ is symmetric, then all natural codings are palindromically rich languages, and the orders of the induced transformation on a cylinder $[w]$ equal the original departure/arrival orders $(<_D,<_A)$ if and only if the shortest bispecial word containing $w$ is a palindrome. We also investigate language related features distinguishing between standard and generalised interval exchange transformations.

From structure mining to unsupervised exploration of atomic octahedral networks

2026-03-17T13:05:12Z

Understanding the spatial arrangements of atom-centered coordination octahedra is crucial for relating structures to properties for many materials families. Traditional case-by-case inspection becomes a prohibitive task for discovering trends and similarities in large datasets. Here, we operationalize chemical intuition to automate the geometric parsing, quantification, and classification of coordination octahedral networks using unsupervised machine learning. We apply the workflow to analyze two datasets to demonstrate its effectiveness. For computationally generated single oxide perovskite (ABO$_{3}$) polymorphs, we uncover axis-dependent tilting trends which assist in detecting oxidation state changes. For hybrid iodoplumbates (A$_x$Pb$_y$I$_z$) from measured structures, we taxonomize their octahedral networks, revealing a Pauling-like connectivity rule for the coordination environment and the design principles underpinning their structural diversity. Our results offer a glimpse into the vast design space of atomic octahedral networks in materials chemistry and inform high-throughput, targeted screening of specific structure types.

The largest $K_r$-free set of vertices in a random graph

2026-03-17T12:36:01Z

For $r \ge 2$ and a graph $G$, let $α_{r}(G)$ be the maximum number of vertices in a $K_r$-free subgraph of $G$. We investigate the value $α_{r}(G)$ when $G$ is the random graph $G \sim G_{n, 1/2}$ and discover the following phenomenon: with high probability, $α_r(G)$ lies in an interval of constant length that varies in a non-monotonic fashion from $1$ to $\lfloor r/2\rfloor+1$ depending on the value of $n$. The special case $r=2$ corresponds to the independence number of random graphs which is well-known to have two-point concentration; our results therefore extend and generalize this basic fact in random graph theory, showing more complicated behavior when $r>2$. We also prove similar results where $K_r$ is replaced by any color critical graph like $C_5$.