The Zarankiewicz Problem for Polygon Visibility Graphs

2026-03-18T11:18:58Z

We prove a quasi-linear upper bound on the size of $K_{t,t}$-free polygon visibility graphs. For visibility graphs of star-shaped and monotone polygons we show a linear bound. In the more general setting of $n$ points on a simple closed curve and visibility pseudo-segments, we provide an $O(n \log n)$ upper bound and an $Ω(nα(n))$ lower bound.

A spectral Lovász-Simonovits theorem

2026-03-18T11:16:42Z

A fundamental result in extremal graph theory is attributed to Mantel's theorem, which states that every graph on $n$ vertices with more than $\lfloor n^2/4 \rfloor$ edges must contain a triangle. Lovász and Simonovits (1975) provided a supersaturation phenomenon by showing that for any $q< n/2$, every graph with $\lfloor n^2/4 \rfloor +q$ edges contains at least $q\lfloor n/2 \rfloor$ triangles. This result resolved a conjecture proposed by Erdős in 1962. In this paper, we establish a spectral counterpart of the result of Lovász and Simonovits. Let $Y_{n,2,q}$ be the graph obtained from the bipartite Turán graph $T_{n,2}$ by embedding a matching with $q$ edges into the partite set of size $\lceil n/2\rceil$. Using the supersaturation-stability method and the spectral techniques, we firstly prove that for $q\le \frac{1}{11}\sqrt{n}$, every graph $G$ on $n$ vertices with spectral radius $λ(G) \ge λ(Y_{n,2,q})$ contains at least $q\lfloor n/2 \rfloor$ triangles. We also show that the bound $q=O(\sqrt{n})$ is tight up to a constant factor, yielding a phenomenon different from that in edge supersaturation. Our result answers a spectral triangle counting problem proposed by Ning and Zhai (2023). Secondly, let $T_{n,2,q}$ be the graph obtained from $T_{n,2}$ by embedding a star with $q$ edges into the partite set of size $\lceil n/2\rceil$. We show further that $T_{n,2,q}$ is the unique extremal graph that contains at most $q\lfloor n/2 \rfloor$ triangles and attains the maximum spectral radius. Thirdly, we present an asymptotic spectral stability result under a specific constraint on the triangle covering number. This result could be viewed as a spectral extension of a recent result proved by Balogh and Clemen (2023), and independently by Liu and Mubayi (2022).

Pretty good plus state transfer in cycles

2026-03-18T11:08:26Z

We investigate fractional revival in graphs with respect to the adjacency, Laplacian, and signless Laplacian matrices. We observe that, under certain conditions, fractional revival is preserved under graph complementation. Then we establish a connection between fractional revival in a graph and in its double cover, and obtain a complete characterization of pretty good plus state transfer in cycles and their complements. This leads to characterizations of pretty good vertex state transfer in weighted paths with potential.

Calligraphy Concerning Casually Compiled Cardinal Characteristic Comparisons

2026-03-18T10:32:58Z

The paper establishes several inequalities between cardinal characteristics of the continuum. In particular, it is shown that the partition splitting number is not larger than the uniformity of the meagre ideal; not all sets of reals having the cardinality of an the $\varepsilon$-almost bisecting number are of strong measure zero; no fewer sets of strong measure zero than indicated by the statistically reaping number suffice to cover the reals; the pair-splitting number is not smaller than the evasion number; and the subseries number is neither smaller than the pair-splitting number nor than the minimum of the unbounding number and the unbisecting number. Moreover, a diagram putting these results into context is provided and a brief historical account is given.

The inverse problem for the Steiner--Wiener index via additive number theory

2026-03-18T10:06:01Z

We show that, for any given $k \ge 2$, every sufficiently large number appears as the Steiner--Wiener $k$ index of a graph.

Constructing, Classifying and Studying the Space of Small Integer Weighing Matrices

2026-03-18T10:00:16Z

Integer weighing matrices (IW-matrices for short) are integer valued orthogonal square matrices. One usecase of these is to create classical weighing matrices with various block structures. In this paper we study and classify the space $IW(n,k)$ of the integer weighing matrices of small size $n\times n$ and weight $k$. Our classification includes a full list of all inequivalent matrices up to Hadamard equivalence and automorphism groups. We then continue to a secondary classification of the symmetric and antisymmetric IW up to symmetric Hadamard equivalence. We apply this to the case of projective space weighing matrices. Next we use the classification to count the cardinality of the spaces of all $IW(n,k)$ as well as the symmetric and anti-symmetric subspace. We supply practical algorithms and implement them in \texttt{Sagemath}. Finding an (anti-)symmetric IW matrix in a given Hadamard class can be done for significantly higher orders. In particular we solve some open cases: Symmetric $W(23,16)$, $W(28,25)$ and $W(30,17)$, and an anti-symmetric $W(28,25)$. We conclude by showing a detailed classification of $IW(7,25)$. We have also improved the \texttt{NSOKS} algorithm to find all possible representations of an integer $k$ as a sum of $n$ integer squares.

Lattice Structure and Efficient Basis Construction for Strongly Connected Orientations

2026-03-18T07:02:02Z

Let $\vec{G}=(V,E^+\cup E^-)$ be a bidirected graph whose underlying undirected graph $G=(V,E)$ is $2$-edge-connected. A strongly connected orientation (SCO) is defined as a subset of arcs that contains exactly one of $e^+,e^-$ for every $e\in E$ and induces a strongly connected subgraph of $\vec{G}$. Given a family $\mathcal{F}$ of proper subsets of $V$, we call an SCO tight if there is exactly one arc entering $U$ for every $U\in \mathcal{F}$. We give a polynomial-time algorithm to construct a set $\mathcal{B}$ consisting of tight SCO's which forms an integral basis for the linear hull of tight SCO's. This means that $\mathcal{B}$ is a linearly independent subset of tight SCO's, and every integer vector in the linear hull of tight SCO's can be written as an integral combination of $\mathcal{B}$. This extends the main result of Abdi, Conuéjols, Liu and Silina (IPCO 2025), who gave a non-constructive proof of the existence of such a basis in an equivalent setting. While their proof uses polyhedral theory, our proof is purely combinatorial and yields a polynomial-time algorithm. As an application of our algorithm, we show that parity-constrained tight strongly connected orientation can be solved in deterministic polynomial time. Along the way, we discover appealing connections to the theory of perfect matching lattices.

Curious crossing-critical edges -- variations on an example of Širáň

2026-03-18T06:41:40Z

Motivated by Kuratowski's theorem, a Kuratowski subgraph of a graph is a subgraph that is a subdivided $K_5$ or a subdivided $K_{3,3}$. An edge is crossing-critical if the crossing number decreases after removing the edge. In this note, we present the following examples: a graph with an edge that is crossed in every optimal drawing of the graph, but the edge is not in any Kuratowski subgraph of the graph; a graph with an edge that is in every Kuratowski subgraph but is not crossed in any optimal drawing of the graph; and a graph with a crossing-critical edge that is not present in any Kuratowski subgraph and is not crossed in any optimal drawing of the graph. Fáry's theorem implies that the Kuratowski subgraphs are the only obstructions to a graph having a crossing-free drawing with all edges drawn as straight lines. The three example graphs given also hold if we restrict drawings to only have straight line edges, and thus also apply to the rectilinear crossing number.

Promotion and rowmotion in rational Catalan combinatorics

2026-03-18T06:23:03Z

We study four bijections, which are promotion, evacuation, rowmotion, and rowvacuation, on generalized Dyck paths in rational Catalan combinatorics. We define the maps on generalized Dyck paths, which have their origins in maps on Dyck paths and non-crossing partitions. They include rotation, Kreweras complement map, Simion--Ullman involution on non-crossing partitions, and Lalanne--Kreweras involution on Dyck paths. These maps have an expression in terms of the four combinatorial bijections. By extending the bijection studied by D. Armstrong, C. Stump, and H. Thomas on one hand, and the correspondence of RSK type studied by B. Adenbaum and S. Elizalde on the other, we present the equivalence between the two bijections, promotion and rowmotion, on generalized Dyck paths through these bijection and correspondence. For this purpose, we provide an alternative description of the correspondence of RSK type in terms of Dyck tilings.

Identities that represent powers of positive integers using multinomial coefficients

2026-03-18T03:57:19Z

In this paper, we show combinatorial identities that represent powers of positive integers using multinomial coefficients, which do not come from the multinomial theorem and the multinomial Vandermonde's convolution.

Forest webs and pattern avoidance

2026-03-18T02:36:02Z

In a recent preprint, Mike Cummings showed that the smooth components of suitably parametrized Springer fibers are in bijection with contracted, fully reduced Plücker degree-two $\mathfrak{sl}_r$-webs of standard type and that are forests. He showed these are enumerated by sequence A116731 in the OEIS, which is equinumerous with permutations avoiding the patterns {321,2143,3124}. Cummings posed the problem of strengthening this enumerative result by finding a bijection between these webs and a collection of pattern-avoiding permutations. Here we solve this problem, although notably not with the collection of patterns that Cummings had proposed. Rather, we give a bijection between this class of webs and permutations avoiding the patterns {132,4321,3214}.

Enumerating Prime Patterns in Juggling Variations

2026-03-18T02:33:58Z

Juggling patterns can be mathematically modeled as closed walks within directed state graphs. In this paper, we present a unified framework of unbounded juggling patterns and its variations (including multiplex, colored, and passing) primarily through the formalism of the juggling state. By extending this state-based approach and utilizing combinatorial tools such as set partitions and filled Ferrers diagrams, we find and prove a new lower bound on the number of $b$-ball prime patterns with period $n$. Further, we determine exact counts for 2-ball multiplex, 1-ball passing, and 2-ball colored juggling patterns, as well as a lower bound for 2-ball passing. We also provide an extensive analysis of the asymptotic growth rates for these pattern counts. Finally, we formalize the infinite state graph, $G_\infty$, and utilize flip-reverse involutions to establish bijections between classes of prime patterns, exploring how fixing a specific state influences the enumeration of prime walks.

Large induced acyclic and outerplanar subgraphs of 2-outerplanar graph

2026-03-18T01:06:19Z

Albertson and Berman conjectured that every planar graph has an induced forest on half of its vertices. The best known lower bound, due to Borodin, is that every planar graph has an induced forest on two fifths of its vertices. In a related result, Chartran and Kronk, proved that the vertices of every planar graph can be partitioned into three sets, each of which induce a forest. We show tighter results for 2-outerplanar graphs. We show that every 2-outerplanar graph has an induced forest on at least half the vertices by showing that its vertices can be partitioned into two sets, each of which induces a forest. We also show that every 2-outerplanar graph has an induced outerplanar graph on at least two-thirds of its vertices, assuming that the connected components of the inner layer are two-connected.

Connected graphs minimizing the spectral radius for given order and dissociation number

2026-03-18T00:24:55Z

A dissociation set in a graph is a subset of vertices which induces a subgraph with maximum degree at most one. The dissociation number of a graph is the maximum cardinality of its dissociation sets. In this paper, we consider the $n$-vertex connected graphs with a given dissociation number that attain the minimum spectral radius. By using structure analysis and constructing difference equations, we characterize the extremal graphs with dissociation number $n-3$.

Quadratically Enriched Plane Curve Counting via Tropical Geometry

2026-03-17T23:32:04Z

We prove that the quadratically enriched count of rational curves in a smooth toric del Pezzo surface passing through $k$-rational points and pairs of conjugate points in quadratic field extensions $k\subset k(\sqrt{d_i})$ can be determined by counting certain tropical stable maps through vertically stretched point conditions with a suitable multiplicity. Building on the floor diagram technique in tropical geometry, we provide an algorithm to compute these numbers. Our tropical algorithm computes not only these new quadratically enriched enumerative invariants, but simultaneously also the complex Gromov-Witten invariant, the real Welschinger invariant counting curves satisfying real point conditions only, the real Welschinger invariant of curves satisfying pairs of complex conjugate and real point conditions, and the quadratically enriched count of curves satisfying $k$-rational point conditions.