arXiv++ Combinatorics

The point-thickness $θ'(G)$ of a graph $G$ is the minimum number of subsets into which the vertex set $V(G)$ of $G$ is partitioned such that each subset induces a planar subgraph. In this paper, we determine the point-thicknesses of complete graphs and complete multipartite graphs.

We investigate the distribution of zeros of the independence polynomial ${\rm I}(G, x)$ for the family of Generalized Petersen graphs ${\rm GP}(n, k)$ in the complex plane. While the independence numbers and coefficients of these graphs have been studied, the global behavior of their roots remains largely unexplored. Using an exact transfer matrix algorithm parameterized by $k$, we compute ${\rm I}({\rm GP}(n,k), x)$ for $n$ up to $30$ and $k \in \{1, 2, 3, 4\}$. Our numerical analysis reveals a striking parity-based dichotomy: for odd $k$, the roots exhibit complex conjugate structures accumulating on closed curves, whereas for even $k$, the roots appear to be strictly real and negative. Motivated by this evidence, we conjecture that ${\rm I}({\rm GP}(n,k), x)$ is real-rooted, and hence log-concave, if and only if $k$ is even. This phenomenon connects algebraic properties of ${\rm GP}(n,k)$ to questions about zero-free regions and limiting behavior in the hard-core lattice gas model.

The well-known Faber-Krahn theorem states that the ball has the lowest first Dirichlet eigenvalue among all domains of the same volume in $\mathbb{R}^n$. Leydold (Geom. Funct. Anal, 1997) gave the discrete version of Faber-Krahn inequality for regular trees with boundary. Bıyıko{ğ}lu and Leydold (J. Combin. Theory Ser. B, 2007) demonstrated that the Faber--Krahn inequality holds for the class of trees with boundary with the same degree sequence. They further posed the following question: Give a characterization of all graphs in a given class \(\mathcal{C}\) with the Faber-Krahn property. In this paper, we show the Faber-Krahn property for trees with given matching number. Our result can imply the Klobürštel theorem, i.e., the Faber-Krahn inequality for trees with given number of interior vertices and boundary vertices.

We establish dimension-free Talagrand-type variance inequalities on the quantum Boolean cube $M_{2}(\mathbb C)^{\otimes n}$. Motivated by the splitting of the local carré du champ into a conditional-variance term and a pointwise-derivative term, we introduce an $α$-interpolated local gradient $|\nabla_j^αA|$ that bridges $\mathrm{Var}_j(A)$ and $|d_jA|^{2}$. For $p\in[1,2],q\in[1,2)$ and $α\in[0,1]$, we prove a Talagrand-type inequality of the form $$\|A\|_\infty^{2-p}\,\bigl\||\nabla^αA|\bigr\|_{p}^{p}\ \gtrsim\mathrm{Var}(A)\cdot \max\left\{1, \mathcal{R}(A,q)^{p/2}\right\},$$ where $\mathcal{R}(A,q)$ is a logarithmic ratio quantifying how small either $A-τ(A)$ or the gradient vector $(d_jA)_j$ is in $L^{q}$ compared to $\mathrm{Var}(A)^{1/2}$. As consequences we derive a quantum Eldan--Gross inequality in terms of the squared $\ell_2$-mass of geometric influences, a quantum Cordero-Erausquin--Eskenazis $L^{p}$-$L^{q}$ inequality, and Talagrand-type $L^{p}$-isoperimetric bounds. We further develop a high-order theory by introducing the local variance functional $$V_J(A)=\int_0^\infty 2\mathrm{Inf}^{2}_{J}(P_tA) dt.$$ For $|J|=k$ we prove a local high-order Talagrand inequality relating $\mathrm{Inf}^{p}_{J}[A]$ to $V_J(A)$, with a Talagrand-type logarithmic term when $\mathrm{Inf}^{q}_{J}[A]$ is small. This yields $L^{p}$-$L^{q}$ influence inequalities and partial isoperimetric bounds for high-order influences. Our proofs are purely semigroup-based, relying on an improved Lipschitz smoothing estimate for $|\nabla^αP_tA|$ obtained from a sharp noncommutative Khintchine inequality and hypercontractivity.

Let $Γ$ be a signed graph. The number of negative eigenvalues of the adjacency matrix of $Γ$ is called the negative inertia index of $Γ$, which is denoted by $i_-(Γ)$. The length of the shortest cycle contained in $Γ$ is called the girth of $Γ$, and it is denoted by $g$. In this paper, we give some classes of connected signed graphs $Γ$ which satisfy the condition $i_-(Γ)=\lceil\frac{g}{2}\rceil+1$.

The families $\mathcal{A}$ and $\mathcal{B}$ are cross intersecting if $A\cap B\ne \emptyset$ for any $A\in \mathcal{A}$ and $B\in \mathcal{B}$. Let $t\geq 2$ and $k_1\geq k_2\geq \cdots \geq k_t$. We say that $(\mathcal{F}_1, \dots, \mathcal{F}_t)$ is an $(n, k_1, \dots, k_t)$-cross intersecting system if $\mathcal{F}_1 \subseteq{[n]\choose k_1}, \ldots ,\mathcal{F}_t \subseteq{[n]\choose k_t}$ are non-empty pairwise cross intersecting families. Let $M(n,k_1,\ldots ,k_t)$ denote the maximum sum of sizes of families of an $(n,k_1,\ldots ,k_t)$-cross intersecting system. The case $t=2$ was studied by Frankl--Tokushige. Solving a problem of Shi-Frankl-Qian, Huang-Peng-Wang and Zhang-Feng independently determined $M(n, k_1, \dots, k_t)$ for all $n\geq k_1+k_2$.

We investigate spectral lower bounds on the chromatic number $χ$ of Hamming graph powers $H(n, q)^p$, Johnson graph powers $J(n, k)^p$, and Kneser graph powers $K(n, k)^p$ providing the first computationally feasible nontrivial results. While the classical Hoffman bound on $χ$ can, in principle, be applied to any graph, naïve computation requires $O(q^{3n})$ time for $H(n, q)^p$ and $O(({}_nC_k)^3)$ time for both $J(n, k)^p$ and $K(n, k)^p$. We thus express the adjacency eigenvalues of these graphs in terms of hypergeometric orthogonal polynomials, exploiting recurrence relations that arise to efficiently compute the entire spectra. We then apply dynamic programming to compute the Hoffman bounds for $H(n, q)^p$, $J(n, k)^p$, and $K(n, k)^p$ in $O(np)$, $O(kp)$, and $O(k^2)$ time, respectively.

In this article we propose a generalization of two known invariants of real networks: degree and ksi-centrality. More precisely, we found a series of centralities based on Laplacian matrix, that have exponential distributions (power-law for the case $j = 0$) for real networks and different distributions for artificial ones.

Computing the Jones polynomial of general link diagrams is known to be $\#$P-hard, while restricting the computation to braid closures on fixed number of strands allows for a polynomial time algorithm. We investigate polynomial time algorithms for Khovanov homology of braids and show that for $3$-braids there is one. In contrast, we show that Bar-Natan's scanning algorithm runs in exponential time when restricted to simple classes of $3$-braids. For more general braids, we obtain that a variation of the scanning algorithm computes the Khovanov homology for a bounded set of homological degrees in polynomial time. We also prove upper and lower bounds on the ranks of Khovanov homology groups.

We show that the Hilbert polynomial of a Calabi-Yau hypersurface $Z$ in a smooth toric variety $M$ associated to a convex polytope $Δ$ is given by a lattice point count in the polytope boundary $\partial Δ,$ just as the Hilbert polynomial of $M$ is known to be given by a lattice point count in the convex polytope $Δ.$ Our main tool is a computation of the Euler class in $K$-theory of the normal line bundle to the hypersurface $Z,$ in terms of the Euler classes of the divisors corresponding to the facets of the moment polytope. We observe a remarkable parallel between our expression for the Euler class and the inclusion-exclusion principle in combinatorics. To obtain our result we combine these facts with the known relation between lattice point counts in the facets of $Δ$ and the Hilbert polynomials of the smooth toric varieties corresponding to these facets.

The 10-tone equal temperament (10-TET) constitutes a distinct harmonic environment with step sizes exceeding the standard semitone, yet it has historically remained on the fringes of music theory. This paper proposes a radical shift in perspective, treating 10-TET not as an imperfect imitation of 12-TET, but as an independent harmonic universe with its own rigorous logic. We classify all possible harmonic systems in 10-TET using a single structural parameter, representing the difference between the harmonic mediants (the major and minor thirds) which sum to the generator (the fifth). Our analysis reveals a rich landscape of possibilities. The system defined by the structural parameter equal to 1 (we call it Wide) initially appears to suffer from a fundamental structural flaw: its harmonic space fractures into two disjoint, parallel universes. Conversely, the Wide system (structural parameter equal to 5) emerges as a geometrically superior structure, isomorphic to the Unique Cyclic Configuration in the classification of combinatorial 10_3 configurations, forming a fully connected, vertex-transitive graph. Between these extremes lies the Tritone system (structural parameter equal to 3), which topologically is similar to the Wide system, but it has a significantly larger symmetry group, due to the Tritone modal transformation. We conclude by providing a complete classification of these systems as bipartite circulant graphs, demonstrating that 10-TET is a mathematically complex and musically viable alternative to the standard 12-tone system.

We study the accumulation of zeros of a polynomial arising from the enumeration of edge-coloured graphs along certain limit curves. The polynomial is a variant of an edge-chromatic polynomial, which specialises to the partition function of the ferromagnetic Ising model on a random regular graph. We call this accumulation behaviour a Lee-Yang phenomenon in analogy with the Lee-Yang theorem. The limiting loci are semialgebraic and arise from anti-Stokes curves of an exponential integral.

We show that a set function $ν$ satisfies the gross substitutes property if and only if its homogeneous generating polynomial $Z_{q,ν}$ is a Lorentzian polynomial for all positive $q \le 1$, answering a question of Eur-Huh. We achieve this by giving a rank 1 upper bound for the distance matrix of an ultrametric tree, refining a classical result of Graham-Pollak. This characterization enables us to resolve two open problems that strengthen Mason's log-concavity conjectures for the number of independent sets of a matroid: one posed by Giansiracusa-Rincón-Schleis-Ulirsch for valuated matroids, and two posed by Dowling in 1980 and Zhao in 1985 for ordinary matroids.

We begin with a review of Tutte's homotopy theory, which concerns the structure of certain graph associated to a matroid (together with some extra data). Concretely, Tutte's path theorem asserts that this graph is connected, and his homotopy theorem asserts that every cycle in the graph is a composition of ''elementary cycles'', which come in four different flavors. We present an extended version of the homotopy theorem, in which we give a more refined classification of the different types of elementary cycles. We explain in detail how the path theorem allows one to prove that the foundation of a matroid (in the sense of Baker--Lorscheid) is generated by universal cross-ratios, and how the extended homotopy theorem allows one to classify all algebraic relations between universal cross-ratios. The resulting ''fundamental presentation'' of the foundation was previously established in [Baker--Lorscheid], but the argument here is more self-contained. We then recall a few applications of the fundamental presentation to the representation theory of matroids. Finally, in the most novel but also the most speculative part of the paper, we discuss what a ''higher Tutte homotopy theorem'' might look like, and we present some preliminary computations along these lines.