Showing 20 papers (Total: 81378 papers, 47165 authors in database)
Degree 2 vertices in minimal prime graph complements
Minimal prime graphs are connected graphs on at least two vertices whose complements satisfy the following conditions: triangle-freeness, 3-colorability, and edge-maximality with respect to the latter two properties. These graphs are prime graphs (or Gruenberg-Kegel graphs) of finite solvable groups with the maximum number of Frobenius actions among their Sylow subgroups, and as such minimal prime graph complements have been shown to be highly structured, including, for instance, the presence of induced 5-cycles. It is also known that the minimum degree of minimal prime graph complements is 2. In this note, we show that the existence of a degree 2 vertex in a minimal prime graph complement determines its whole structure: it is simply a 5-cycle with three vertices, exactly two of which are adjacent to each other, being duplicated finitely often. In particular, such graphs belong to a class of graphs known as reseminant.
Maker-Breaker resolving game played on lexicographic products of graphs
In the Maker-Breaker resolving game, two players named Resolver and Spoiler alternately select unplayed vertices of a given graph $G$. The aim of Resolver is to select all the vertices of some resolving set of $G$, while Spoiler aims to select at least one vertex from every resolving set of $G$. In this paper, this game is investigated on the lexicographic product of graphs. It is proved that if Spoiler has a winning strategy on a graph $H$ no matter who starts the game, or if the first player has a winning strategy on $H$, then Spoiler always has a winning strategy on $G\circ H$. Special attention is paid to lexicographic products in which the second factor is either complete, or a path, or a cycle. For instance, in $G\circ P_{2\ell}$ and in $G\circ C_{2\ell}$, Resolver always wins, while in $G\circ P_{2\ell+1}$ and in $G\circ C_{2\ell+1}$ the same conclusion holds provided $G$ is free from false twins. On the other hand, Spoiler always wins on $G\circ P_5$. In most of the cases, the corresponding Maker-Breaker resolving number is also determined.
Freidel-Maillet type equations on fused K-matrices over the positive part of $U_q(\widehat{\mathfrak{sl}}_2)$
The positive part $U_q^+$ of the quantized enveloping algebra $U_q(\widehat{\mathfrak{sl}}_2)$ has a reflection equation presentation of Freidel-Maillet type, due to Baseilhac 2021. This presentation involves a K-matrix of dimension $2 \times 2$. Under an embedding of $U_q^+$ into a $q$-shuffle algebra due to Rosso 1995, this K-matrix can be written in closed form using a PBW basis for $U_q^+$ due to Terwilliger 2019. This PBW basis, together with two PBW bases due to Damiani 1993 and Beck 1994, can be obtain from a uniform approach by Ruan 2025. Following a natural fusion technique, we will construct fused K-matrices of arbitary meaningful dimension in closed form using the uniform approach. We will also show that any pair of these fused K-matrices satisfy Freidel-Maillet type equations.
Spectral characterizations of local structures of graphs and hypergraphs
In this paper, we give the relationship between spectral radius and local structures of graphs and hypergraphs. Our work shows that certain local subgraphs (subhypergraphs) must occur when the spectral radius ratio is large. We also give spectral bounds on the local vector chromatic number in terms of tensor eigenvalues of graphs.
Raimi's theorem for the $n$-dimensional torus
We extend Raimi's classical partition theorem to the continuous setting of the circle and $n$-dimensional torus. Building on recent work of Hegyvári, Pach, and Pham in finite groups, we prove that there exist measurable partitions of the $n$-dimensional torus $\mathbb{T}^n$ with the property that for any finite measurable cover, some translated part of the cover has positive measure intersection with every partition element. Our proof adapts combinatorial arguments from the finite setting using measure-theoretic techniques and slicing arguments in product spaces.
MacMahon-type $q$-series
Motivated by earlier work of P.~A.~MacMahon and recent contributions of T.~Amdeberhan, G.~E.~Andrews, K.~Ono, A.~Singh, and R.~Tauraso on higher-order partition enumerants, we study a class of $q$-series arising from nested divisor structures. In particular, we consider the $q$-series \[ V_k(q) = \sum_{1 \le n_1 \le n_2 \le \cdots \le n_k} \frac{q^{\,n_1+n_2+\cdots+n_k}} {(1-q^{n_1})^2(1-q^{n_2})^2\cdots(1-q^{n_k})^2}, \] introduced recently as MacMahon-type generating functions. We further define a new MacMahon-type series \[ W_k(q) = \sum_{1 \le n_1 \le n_2 \le \cdots \le n_k} \frac{q^{\,2(n_1+n_2+\cdots+n_k)-k}} {(1-q^{2n_1-1})^2(1-q^{2n_2-1})^2\cdots(1-q^{2n_k-1})^2}, \] and establish families of identities, generating function relations, and hypergeometric representations for the truncated forms of $V_k(q)$ and $W_k(q)$. Connections with overpartition pairs and bipartitions with distinct odd parts arise naturally in this context.
Triangular Arrays using context-free grammar
In this work, the grammar of Hao \[ G=\{\, u\rightarrow u^{b_1+b_2+1} v^{a_1+a_2},\quad v\rightarrow u^{b_2}v^{a_2+1} \,\}, \] together with the correspondence between grammars and Combinatorial Differential Equations, is employed to obtain an interpretation of any triangular array of the form \[ T(n,k)=(a_2 n + a_1 k + a_0)\,T(n-1,k) + (b_2 n + b_1 k + b_0)\,T(n-1,k-1). \] Explicit formulas and structural properties are then derived through Analytic Differential Equations. In particular, the $r$-Whitney--Eulerian numbers and the cases where $b_2n+b_1k+b_0=1$ are obtained explicitly. Applications include new interpretation formulas for the $r$-Eulerian numbers with generating function for a special case.
Keywords: triangular recurrence, formal grammar, Combinatorial operators, differential equations,$r$-Eulerian, combinatorial interpretation, $r$-Whitney--Eulerian.
A Fast Algorithm for Finding Minimum Weight Cycles in Mining Cyclic Graph Topologies
Cyclic structures are fundamental topological features in graphs, playing critical roles in network robustness, information flow, community structure, and various dynamic processes. Algorithmic tools that can efficiently probe and analyze these cyclic topologies are increasingly vital for tasks in graph mining, network optimization, bioinformatics, and social network analysis. A core primitive for quantitative analysis of cycles is finding the Minimum Weight Cycle (MWC), representing the shortest cyclic path in a weighted graph. However, computing the MWC efficiently remains a challenge, particularly compared to shortest path computations. This paper introduces a novel deterministic algorithm for finding the MWC in general weighted graphs. Our approach adapts the structure of Dijkstra's algorithm by introducing and minimizing a \textit{composite distance} metric, effectively translating the global cycle search into an iterative node-centric optimization. We provide a rigorous proof of correctness based on loop invariants. We detail two mechanisms for accelerating the search: a provable node discarding technique based on intermediate results, and a highly effective graph pruning heuristic. This heuristic dynamically restricts the search to relevant subgraphs, leveraging the principle of locality often present in complex networks to achieve significant empirical speedups, while periodic resets ensure global optimality is maintained. The efficiency of the proposed MWC algorithm enables its use as a core component in more complex analyses focused on cyclic properties. We illustrate this through a detailed application case study: accelerating the computation of the Loop Modulus, a measure of cycle richness used in advanced network characterization. Our algorithm dramatically reduces the runtime of the iterative constraint-finding bottleneck in this computation.
On vertex-minimal simplicial maps to the sphere
For positive integers $n,d$, let $λ(n,d)$ be the minimal number of vertices of a triangulation of $n$-sphere which admits a degree $d$ simplicial map to the boundary of $(n+1)$-simplex. We show that $\lim_{d\to\infty}\frac{λ(n,d)}d=0$ for any $n\ge3$, disproving O. Musin's conjecture. Using similar idea, for any $C$ we construct a triangulation of $\mathbb{S}^n$, $n\ge3$, for which $\frac{f_j}{f_i}>C$, for any $0\le i<j\le n$ such that $i<\lfloor\frac{n-1}2\rfloor$. All triangulations we obtain are isomorphic to boundaries of convex polytopes in $\mathbb{R}^{n+1}$.
Simple Eigenvalues and Non-vanishing Eigenvectors of the Anderson Model
We consider the Anderson model on the finite grid $G = \mathbb Z/L_1\mathbb Z\times\cdots\times\mathbb Z/L_d\mathbb Z$, defined by the random Hamiltonian $H_t=Δ+tV$, where $Δ$ is the discrete Laplacian and $V=\mathrm{diag}(\{ω_{x}\}_{x\in G})$ is a random onsite potential with $ω_x\simμ$ i.i.d. We ask the natural question of when $H_t$ has simple eigenvalues and non-vanishing eigenvectors. We prove that, when $μ$ is a continuous probability distribution, $H_t$ has this property for all but finitely many $t$ values with probability $1$. However, when $μ$ is a Bernoulli distribution, the conditions fail with positive probability, for which we give a lower bound. We also calculate the exact probability of these conditions being met in the Bernoulli case when $d = 1$ and $L = L_1$ is prime.
A new class of affine $K(π,1)$ arrangements
We show that a certain class of affine hyperplane arrangements are $K(π,1)$ by endowing their Falk complexes with an injective metric. This gives new examples of infinite $K(π,1)$ arrangements in dimension $n>2$.
Exposed extreme rays of the SONC cone
We provide a complete and explicit characterization of the exposed extreme rays of the cone of sums of nonnegative circuit (SONC) polynomials. The criterion we derive is purely combinatorial and depends only on the existence of certain circuits within the ground set and on the nature of the corresponding extreme ray. Our constructive proofs also yield explicit exposing functionals, offering a basis for algorithmic detection of exposed rays in SONC-based optimization.
Normal Ordering in the Algebra Generated by $x$ and $\mathrm{I}$ and a Combinatorial Generalization of Bessel Numbers
We investigate the algebra generated by the operators $x$ and $\mathrm{I} = \int_0^x$, which satisfy the commutation relation \[ [\mathrm{I},x] = \mathrm{I}x - x\mathrm{I} = - \mathrm{I}^2. \] We develop a combinatorial framework for the normal ordering of words in this algebra and show that any word can be written in the form \[ w = \sum_{i,j} c(i,j) \, x^i \mathrm{I}^j, \] where the coefficients $c(i,j)$ are signed integers. Focusing on powers of the operator $(x\mathrm{I})^n$, we demonstrate that the corresponding coefficients coincide with the classical Bessel numbers (OEIS A001498). We further extend this analysis to powers of the generalized operators $(x^λ\mathrm{I}^δ)^n$ and, finally, provide an explicit normal-ordered expression for an arbitrary word.
Generalized Splines over $\mathbb{Z}$-Modules on Arbitrary Graphs
Let $R$ be a commutative ring with identity and $G$ a graph. An extending generalized spline on $G$ is a vertex labeling $f \in \prod_{v} M_v$, where for each edge $e=uv$ there exists an $R$-module $M_{uv}$ together with homomorphisms $ \varphi_u : M_u \to M_{uv}$ and $ \varphi_v : M_v \to M_{uv}$ such that $\varphi_u(f_u)=\varphi_v(f_v).$ Extending generalized splines are further generalizations for generalized splines. They can also be considered as generalized splines over modules.
In this paper, we prove that some of the results for splines can be extended to generalized splines over modules $M_v=m_v\mathbb Z$ at each vertex $v$ and we define a method of a graph reduction based on graph operations on vertices and edges to produce an explicit $\mathbb{Z}$-module basis for generalized splines over modules. This corresponds to a sequence of surjective homomorphisms between the associated spline modules so that the space of splines decomposes as a direct sum of certain submodules.
The exponential distance matrix of bi-block graphs
Let $G$ be a connected graph with vertex set $\{v_1, v_2, \ldots, v_\mathbf{n}\}$. As a variant of the classical distance matrix, the \emph{exponential distance matrix} was introduced independently by Yan and Yeh, and by Bapat et al. For a nonzero indeterminate $q$, the exponential distance matrix $\mathscr{F} = (\mathscr{F}_{ij})_{\mathbf{n} \times \mathbf{n}}$ of $G$ is defined by $\mathscr{F}_{ij} = q^{d_{ij}},$ where $d_{ij}$ denotes the distance between vertices $v_i$ and $v_j$ in $G$. A connected graph is said to be a \emph{bi-block graph} if each of its blocks is a complete bipartite graph, possibly of varying bipartition sizes. In this paper, we obtain explicit expressions for the determinant, inverse, and cofactor sum of the exponential distance matrix of bi-block graphs. As a consequence, some known results concerning the exponential distance matrix and the $q$-Laplacian matrix are generalized.
On the Augmented Sombor Index of Graphs
Let $G$ be a connected graph having more than two vertices and let $d_i$ denote the degree of vertex $v_i$ in $G$. Let $E(G)$ represent the edge set of $G$. Then, the augmented Sombor (ASO) index of $G$ is defined as $ASO(G) = \sum_{v_i v_j \in E(G)} \sqrt{(d_i + d_j - 2)^{-1}(d_i^2 + d_j^2)}.$ It is known that the cycle graph $C_n$ uniquely minimizes the ASO index in the class of all $n$-order unicyclic graphs. In this paper, we prove that the unique $n$-order unicyclic graph of maximum degree $n-1$ maximizes the ASO index in the aforementioned unicyclic graph class. We also prove that $ASO(G-v_iv_j)<ASO(G)$ whenever neither of the graphs $G-v_iv_j$ and $G$ contains any isolated edge. Utilizing this edge-deletion property, we characterize the unique graph maximizing the ASO index among all fixed-order connected graphs with a specified vertex connectivity (or edge connectivity).
The spherical growth series of amalgamated free products of infinite cyclic groups
Let $n$ be an integer greater than $1$. We consider a group presented as $G(p_1,p_2,\dots,p_n)=\langle x_1,x_2,\dots, x_n \mid x_1^{p_1} =x_2^{p_2}=\cdots =x_n^{p_n} \rangle$, with integers $p_1,p_2,\dots,p_n$ satisfying $2 \leq p_1 \leq p_2 \leq \cdots \leq p_n$. This group is an amalgamated free product of infinite cyclic groups and is geometrically realized as the fundamental group of a Seifert fiber space over the 2-dimensional disk with $n$ cone points whose associated cone angles are $\frac{2π}{p_1},\frac{2π}{p_2},\dots,\frac{2π}{p_n}$. In this paper, we present a formula for the spherical growth series of the group $G(p_1,\dots,p_n)$ with respect to the generating set $\{x_1,\dots,x_n,x_1^{-1},\dots,x_n^{-1}\}$. We show that from this formula, a rational function expression for the spherical growth series of $G(p_1,\dots,p_n)$ can be derived in concrete form for given $p_1,\dots,p_n$. In fact, we wrote an elementary computer program based on this formula that yields an explicit form of a single rational fraction expression for the spherical growth series of $G(p_1,\dots,p_n)$. We present such expressions for several tuples $(p_1,\dots,p_n)$. In 1999, C. P. Gill obtained a similar formula for the same group in the case $n=2$ and showed that there exists a rational function expression for the spherical growth series of $G(p_1,\dots,p_n)$ for $n \geq 2$.
Algebraic Obstructions and the Collapse of Elementary Structure in the Kronecker Problem
While Kronecker coefficients $g(λ,μ,ν)$ with bounded rows are polynomial-time computable via lattice-point methods, no explicit closed-form formulas have been obtained for genuinely three-row cases in the 87 years since Murnaghan's foundational work. This paper provides such formulas for the first time and identifies a universal structural boundary at parameter value 5 where elementary combinatorial patterns collapse.
We analyze two independent families of genuinely three-row coefficients and establish that for $k \leq 4$, the formulas exhibit elementary structure: oscillation bounds follow the triangular-Hogben pattern, and polynomial expressions factor completely over $\mathbb{Z}$. At the critical threshold $k=5$, this structure collapses: the triangular pattern fails, and algebraic obstructions -- irreducible quadratic factors with negative discriminant -- emerge.
We develop integer forcing, a proof technique exploiting the tension between continuous asymptotics and discrete integrality. As concrete results, we prove that $g((n,n,1)^3) = 2 - (n \mod 2)$ for all $n \geq 3$ -- the first explicit formula for a genuinely three-row Kronecker coefficient -- derive five explicit polynomial formulas for staircase-hook coefficients, and verify Saxl's conjecture for 132 three-row partitions.
Signless Laplacian spectral conditions for even factors in graphs
A spanning subgraph $F$ of a graph $G$ is defined as an even factor of $G$, if the degree $d_F(v)=2k, k\in\mathbb{N}^+$ for every vertex $v\in V(G)$. This note establishes a sufficient condition to ensure that a connected graph $G$ of even order with the minimum degree $δ$ contains an even factor based on the signless Laplacian spectral radius.
Algebraic study on rooted products of graphs and multi-clique corona graphs
In this paper, we study rooted products of graphs from the perspective of combinatorial commutative algebra. For edge ideals, we introduce the 2-Cohen-Macaulayness with respect to a vertex and use it to investigate when edge ideals of rooted products of graphs are Cohen-Macaulay. Moreover, we completely determine when attaching a graph on at most six vertices to a given graph as rooted products, yields a Cohen-Macaulay edge ideal. Also, we define mulit-clique corona graphs as a generalization of clique-corona graphs and multi-whisker graphs. We prove that multi-clique corona graphs are vertex decomposable and hence sequentially Cohen-Macaulay. Also, we give formulas for the projective dimension and the Castelnuovo-Mumford regularity.