An almost trivial observation about the icosahedron

2026-03-20T10:12:35Z

We consider the incidence structure formed by the twelve pentagons given by the vertex neighborhoods of the icosahedron. Interpreting this structure purely in terms of coplanarity conditions, we show that -- up to projective equivalence -- it admits exactly two realizations. Both realizations coincide with the vertex set of the regular icosahedron and interpreted as cell complex they correspond to the great dodecahedron and the small stellated dodecahedron. The key step is to reinterpret the configuration via the pentagram map. We prove that any realization gives rise to a pentagon $X$ satisfying a homothety relation $P^2(X)\sim X$, and show that this condition forces $X$ to be an affine image of either a regular pentagon or a regular pentagram. This reduces the problem to a quadratic constraint and explains the rigidity of the configuration.

Tiling of Hyperbolic Surface by a Single Tile

2026-03-20T09:51:55Z

Tilings of a surface of negative Euler characteristic by n-gons with n\ge 7 is a finite problem. One extreme of the finite problem is single tile tilings. We develop the algorithm for finding all the single tile tilings and present the results for surfaces of small genus.

On the number of tangencies among $1$-intersecting $x$-monotone curves

2026-03-20T08:36:49Z

Let $\cC$ be a set of curves in the plane such that no three curves in $\cC$ intersect at a single point and every pair of curves in $\cC$ intersect at exactly one point which is either a crossing or a touching point. János Pach conjectured that the number of pairs of curves in $\cC$ that touch each other is $O(|\cC|)$. We prove this conjecture for $x$-monotone curves.

Asymptotic Formula for $(t+1)$-Regular Partitions

2026-03-20T06:55:25Z

A partition is $t$-regular if none of its parts is divisible by $t$. Let $p(N,t)$ be the number of $(t+1)$-regular partitions of a positive integer $N$. In 1971, Hagis proved an asymptotic formula for $p(N,t)$ using the circle method, when $t$ fixed. In this article, we use the saddle point method and extend the result of Hagis in different ranges of $t$, obtaining explicit bounds. We also discuss an application of our result to estimate zeros in the character table of the symmetric group.

Structural and Spectral Properties of Prime Order Element Graph of Finite Abelian Groups

2026-03-20T06:08:23Z

Given a finite group $G$, the \emph{Prime Order Element (POE) Graph} $Γ(G)$ consists of the group elements as the vertices, and two vertices $x$ and $y$ are adjacent if and only if $o(xy)$ is prime. This paper presents a thorough structural and spectral analysis of the POE graphs associated with the finite Abelian groups of different types. The order of a finite Abelian group may be a prime or a product of primes, which influences the structure of POE graphs. The POE graph is connected when the order of the Abelian group is a square-free integer. The POE graphs of the other Abelian groups have multiple connected components. Some of these components are isomorphic to the POE graph of a lower-order group. We study various graph-theoretic properties of the components, including regularity and bipartiteness. Arranging the elements of the group in a number of particular orders, we observe the block structure in the adjacency matrix of POE graphs. It assists us in investigating the spectral properties of POE graphs. We explicitly derive the characteristic polynomials governing both integral and irrational eigenvalues, and compute the eigenvalues with multiplicity in terms of the structure of the graphs.

Fault-tolerant metric basis and dimension of barycentric subdivision of zero divisor graphs

2026-03-20T06:01:16Z

The undirected zero divisor graph of a commutative ring with unity $ R $, denoted by $ Γ(R) = (V(Γ(R)), E(Γ(R))) $. The vertex set $ V(Γ(R)) $ consists of all the non-zero zero-divisors of $ R $. The edge set $ E(Γ(R)) $ is defined by the set $ \{ e = a_1 a_2 \mid a_1 \cdot a_2 = 0 \text{ and } a_1, a_2 \in V(Γ(R)) \} $. The barycentric subdivision of $Γ$ is the process of subdividing each edge by inserting new vertex in the graph $Γ$. In this article, we have focused on the fault-tolerant metric dimension of the barycentric subdivision of zero divisor graph of the group of integers modulo $ n $, represented by $ fdim(BS(Γ(\mathbb{Z}_n )$, where $ n = pq $; $ p $ and $ q $ are distinct odd primes with $ q > p $. We also demonstrate that $ fdim(BS(Γ(\mathbb{Z}_n) \geq q - 1 $ for every $ n = pq $, where $ p $ and $ q $ are any distinct odd primes with $ q > p $.

Induced Ramsey numbers for fans

2026-03-20T04:43:21Z

The induced Ramsey number $r_{\mathrm{ind}}(G,H)$ is defined as the minimum order of a graph $F$ on such that any 2-coloring of its edges with red and blue leads to either a red induced copy of $G$ or a blue induced copy of $H$. Motivated by the Kohayakawa-Prömel-Rödl conjecture, we prove that a quadratic upper bound $\mathrm{r}_{\text {ind}}\left(G, F_n\right) \leq C n^2$ for fixed $G$, where $F_n$ is a graph with one central vertex, $2n$ leaf vertices, and $n$ disjoint edges. In particular, for star graphs $K_{1, \ell}$ $(\ell \leq n)$, constructive coloring and matching arguments yield $2 n+2 \ell-1 \leq \mathrm{r}_{\text {ind}}\left(K_{1, \ell}, F_n\right) \leq(\ell+n-1)(\ell+1)+1$, with the exact value $\mathrm{r}_{\text {ind}}\left(K_{1,2}, F_n\right)=3 n+4$.

Vertex energies of splitting and shadow graphs

2026-03-20T03:04:22Z

Graph energy has been widely investigated in spectral graph theory. However, the manner in which this energy is distributed among individual vertices has received attention only more recently, following the introduction of energy of a vertex by O. Arizmendi et al. in 2018. Since then, several studies have explored this concept. In the present work, we focus on splitting graphs and shadow graphs and study how the total energy of a graph is distributed among its vertices. We further establish explicit expressions for vertex energies in these derived structures and analyze their behavior in comparison with the underlying graph.

Extremal eigenvalues with respect to graph minors

2026-03-20T03:01:05Z

Let $spex(n,H_{minor})$ denote the maximum spectral radius of $n$-vertex $H$-minor free graphs. The problem on determining this extremal value can be dated back to the early 1990s. Up to now, it has been solved for $n$ sufficiently large and some special minors, such as $\{K_{2,3},K_4\}$, $\{K_{3,3},K_5\}$, $K_r$ and $K_{s,t}$. In this paper, we find some unified phenomena on general minors. Every graph $G$ on $n$ vertices with spectral radius $ρ\geq spex(n,H_{minor})$ contains either an $H$ minor or a spanning book $K_{γ_H}\nabla(n-γ_H)K_1$, where $γ_H=|H|-α(H)-1$. Furthermore, assume that $G$ is $H$-minor free and $Γ^*_s(H)$ is the family of $s$-vertex irreducible induced subgraphs of $H$, then $G$ minus its $γ_H$ dominating vertices is $Γ^*_{α(H)+1}(H)$-minor saturate, and it is further edge-maximal if $Γ^*_{α(H)+1}(H)$ is a connected family. As applications, we obtain some known results on minors mentioned above. We also determine the extremal values for some other minors, such as flowers, wheels, generalized books and complete multi-partite graphs. Our results extend some conjectures on planar graphs, outer-planar graphs and $K_{s,t}$-minor free graphs. To obtain the results, we combine stability method, spectral techniques and structural analyses. Especially, we give an exploration of using absorbing method in spectral extremal problems.

Vertex-minor universality of a random graph

2026-03-20T01:04:38Z

Given a graph $G$ and a vertex $v\in V(G)$, a local complementation at $v$ on $G$ is an operation that replaces the induced graph on the neighborhood of $v$ by its complement. A graph $H$ is a vertex-minor if $H$ can be obtained from $G$ by a sequence of vertex deletions and local complementation. A graph is said to be $k$-vertex-minor universal if it contains every $k$-vertex graph on any $k$-subset of vertices as a vertex minor. Previously, Ascoli--Fredrickson--Fredrickson--McFarland--Post proved that with high probability $G(n,1/2)$ is $Ω(\sqrt{n})$-vertex-minor universal. Furthermore, they conjectured that with high probability $G(n,p)$ and $G(n,1-p)$ are $Ω(p\sqrt{n})$-vertex-minor universal for all $ω(1/\sqrt{n})\le p\le 1/2$. In this short note, we confirm this conjecture up to an extra logarithm factor and show that this is true with probability $1-2^{-Ω(p^2n)}$ if $Ω(\log n/\sqrt{n})\le p\le 1/2$.

Advances on two spectral conjectures regarding booksize of graphs

2026-03-19T23:32:47Z

The booksize $ \mathrm{bk}(G) $ of a graph $ G $, introduced by Erdős, refers to the maximum integer $ r $ for which $G$ contains the book $ B_r $ as a subgraph. This paper investigates two open problems in spectral graph theory related to the booksize of graphs. First, we prove that for any positive integer $r$ and any $ B_{r+1} $-free graph $ G $ with $ m \geq (9r)^2 $ edges, the spectral radius satisfies $ ρ(G) \leq \sqrt{m} $. Equality holds if and only if $ G $ is a complete bipartite graph. This result improves the lower bound on the booksize of Nosal graphs (i.e., graphs with $ ρ(G) > \sqrt{m} $) from the previously established $ \mathrm{bk}(G) > \frac{1}{144}\sqrt{m} $ to $ \mathrm{bk}(G) > \frac{1}{9}\sqrt{m} $, presenting a significant advancement in the booksize conjecture proposed Li, Liu, and Zhang. Second, we show that for any positive integer $r$ and any non-bipartite $ B_{r+1} $-free graph $ G $ with $ m \geq (240r)^2 $ edges, the spectral radius $ρ$ satisfies $ρ^2

Stack-sorting preimages and 0-1-trees

2026-03-19T22:30:25Z

We define a class of partially labeled trees and use them to find simple proofs for two recent enumeration results of Colin Defant concerning stack-sorting preimages of permutation classes.

An Exploration of Crank Generating functions for $t$-core partitions

2026-03-19T21:45:17Z

In 1919, Ramanujan discovered his famous congruences for the partition function. Not too long after, Freeman Dyson conjectured a combinatorial statistic existed that explained the three congruences, which he dubbed the \textit{crank}. A crank generating function for the partition function was discovered in 1988 by George Andrews and Frank Garvan. Since then other crank generating functions have been found for many other kinds of partitions. In this paper, we give a family of crank generating functions which explain some partition congruences for $t$-core partitions.

Interpolation in Species and a Lift of the Hopf Algebra of r-Quasisymmetric Functions

2026-03-19T21:45:00Z

In this manuscript we lift the theory of r-quasisymmetric functions to the theory of Hopf monoids. We provide a general method of interpolating between two Hopf monoids, one being the free monoid on a positive comonoid and the other being the free commutative monoid on a positive comonoid.

Communication Complexity of Disjointness under Product Distributions

2026-03-19T21:43:04Z

Determining the randomized (or distributional) communication complexity of disjointness is a central problem in communication complexity, having roots in the foundational work of Babai, Frankl, and Simon in the 1980s and culminating in the famous works of Kalyanasundaram-Schnitger and Razborov in 1992. However, the question of obtaining tight bounds for product distributions persisted until the more recent work of Bottesch, Gavinsky, and Klauck resolved it. In this note we revisit this classical problem and give a short, streamlined proof of the best bounds, with improved quantitative dependence on the error parameter. Our approach is based on a simple combinatorial lemma that may be of independent interest: if two sets drawn independently from two distributions are disjoint with non-negligible probability, then one can extract two subfamilies of reasonably large measure that are fully cross-disjoint (equivalently, a large monochromatic rectangle for disjointness).