Showing 20 papers (Total: 81378 papers, 47165 authors in database)
On gamma-vectors and Chow polynomials of restrictions of reflection arrangements
Simplicial arrangements are a special class of hyperplane arrangements, having the property that every chamber is a simplicial cone. It is known that the simpliciality property is preserved under taking restrictions. In this article we focus on the class of reflection arrangements and investigate two different polynomial invariants associated to them and their restrictions, the $h$-polynomial with its $γ$-vector and the Chow polynomial. We prove that all restrictions of reflection arrangements are $γ$-positive and give an explicit combinatorial formula of the Chow polynomial in type $B$. Furthermore we prove that for a special class of restrictions of arrangements of type $D$, called intermediate arrangements, both the $h$-polynomial as well as the Chow polynomial behave arithmetically, that is they interpolate linearly between the respective invariants for type $B$ and $D$.
From Black Box to Bijection: Interpreting Machine Learning to Build a Zeta Map Algorithm
There is a large class of problems in algebraic combinatorics which can be distilled into the same challenge: construct an explicit combinatorial bijection. Traditionally, researchers have solved challenges like these by visually inspecting the data for patterns, formulating conjectures, and then proving them. But what is to be done if patterns fail to emerge until the data grows beyond human scale? In this paper, we propose a new workflow for discovering combinatorial bijections via machine learning. As a proof of concept, we train a transformer on paired Dyck paths and use its learned attention patterns to derive a new algorithmic description of the zeta map, which we call the \textit{Scaffolding Map}.
A Generalized Recurrence for fully degenerate Bell polynomials
This paper addresses the unnatural appearance of the two-variable degenerate Fubini polynomials in a recently derived Spivey-type recurrence relation for the fully degenerate Bell polynomials. To solve this, we introduce a new family of polynomial which we also call the fully degenerate Bell polynomials, along with their two-variable counterparts. Our main contribution is the derivation of natural Spivey-type recurrence relations using operator methods. We extend these results to the r-counterparts, the fully degenerate r-Bell polynomials providing Dobinski-like, finite sum, operator expressions, and Spivey-type recurrence relations for all the new polynomials.
Mader's Conjecture and Its Variants for Cographs
The class of cographs is one of the most well-known graph classes, which is also known to be equivalent to the class of $P_4$-free graphs. We show that Mader's conjecture is true if we restrict ourselves to cographs, that is, for any tree $T$ of order $m$, every $k$-connected cograph $G$ with $δ(G) \geq \left\lfloor \frac{3k}{2} \right\rfloor +m-1$ contains a subtree $T' \cong T$ such that $G-V(T')$ is still $k$-connected, where $δ(G)$ denotes the minimum degree of $G$. Moreover, we show that three variants of Mader's conjecture hold for cographs, that is, for any tree $T$ of order $m$,
$\bullet$ every $k$-connected (respectively, $k$-edge-connected) cograph $G$ with $δ(G) \geq k+m-1$ contains a subtree $T' \cong T$ such that $G-E(T')$ is $k$-connected (respectively, $k$-edge-connected),
$\bullet$ every $k$-edge-connected cograph $G$ with $δ(G) \geq k+m-[k = 1]$ contains a subtree $T' \cong T$ such that $G-V(T')$ is $k$-edge-connected, where we use Iverson's convention for $[k = 1]$.
We furthermore present tight lower bounds on the minimum degree of a cograph for the existence of disjoint connectivity keeping trees, a maximal connectedness keeping tree and a super edge-connectedness keeping tree.
Rainbow subgraphs of star-coloured graphs
An edge-colouring of a graph $G$ can fail to be rainbow for two reasons: either it contains a monochromatic cherry (a pair of incident edges), or a monochromatic matching of size two. A colouring is a proper colouring if it forbids the first structure, and a star-colouring if it forbids the second structure. In this paper, we study rainbow subgraphs in star-coloured graphs and determine the maximum number of colours in a star-colouring of a large complete graph which does not contain a rainbow copy of a given graph $H$. This problem is a special case of one studied by Axenovich and Iverson on generalised Ramsey numbers and we extend their results in this case.
Tetrahedron Conjecture in the $\ell_2$-norm
The famous Tetrahedron Conjecture of Turán from the 1940s asserts that the number of edges in an $n$-vertex $3$-graph without the tetrahedron, the complete $3$-graph on four vertices, cannot exceed that of the balanced complete cyclic $3$-partite $3$-graph, whose edges are of types $V_1 V_2 V_3$, $V_1 V_1 V_2$, $V_2 V_2 V_3$, and $V_3 V_3 V_1$. A recent surprising result of Balogh-Clemen-Lidický [J. Lond. Math. Soc. (2) 106 (2022)] shows that this conjecture is asymptotically true in the $\ell_2$-norm, where the number of edges is replaced by the sum of squared codegrees. They further conjectured that, in this $\ell_2$-norm setting, the $3$-partite construction is uniquely extremal for large $n$. We confirm this conjecture.
Two key ingredients in our proofs include establishing a Mantel theorem for vertex-colored graphs that forbid certain types of triangles, and introducing a novel procedure integrated into Simonovits' stability method, which essentially reduces the task to verifying that the $\ell_2$-norm of certain near-extremal constructions increases under suitable local modifications. The strategy in the latter may be of independent interest and potentially applicable to other extremal problems.
On a double series
We shall investigate and arrive at a certain functional property of the double series \[
\sum\limits_{n,r\geq 1}\frac{1}{\sqrt{x^2n^2+r^2+w^2}\left( e^{2 πy\sqrt{x^2n^2+r^2+w^2}}-1\right)}. \]
Inverse descent statistic for André and simsun permutations
Simsun permutations, André I permutations and André II permutations are three combinatorial models for Euler numbers. It's known that the descent statistic is equidistributed over the set of André I permutations and the set of simsun permutations. In this paper, we prove that the trivariate statistic (ides, des, maj), comprising the inverse descent, descent, and major index, are equidistributed over these three sets. This result is equivalent to showing that the inverse descent is equidistributed over these three sets that share the same tree shape. The proof of the equidistribution of the inverse descent over the set of André I permutations and the set of André II permutations with the same tree shape reduces to establishing new refinements of Stanley's shuffle theorem.
Directed Hamiltonicity in Generalized Kneser Graphs
We prove that the canonical orientation of the generalized Kneser graph $KG(n,k,s)$ contains a directed Hamiltonian cycle for all integers $s \geq 3$ and $n>sk$. Furthermore, we establish that the dichromatic number of this oriented graph is exactly $k$. As a special case, our results apply to the $s$-stable Kneser graphs $K_{s\text{-stab}}(n,k)$, resolving their directed Hamiltonicity and dichromatic number. Our proof adapts the class graph framework of Ledezma and Pastine to the directed setting, leveraging cyclic rotations and friend class adjacencies to construct a single directed cycle spanning all vertices. This work provides a unified and strengthened perspective on the Hamiltonian properties of Kneser-type graphs.
Explicit M-Polynomial and Degree-Based Topological Indices of Generalized Hanoi Graphs
The M-polynomial, introduced by Deutsch and Klavžar in 2015, provides a unifying algebraic framework for the computation of numerous degree-based topological indices such as the Zagreb, Randic, harmonic, and forgotten indices. Despite its broad applications in chemical graph theory and network analysis, closed expressions of the M-polynomial remain unknown for many important graph families.
In this work we derive, for the first time, a complete explicit expression of the M-polynomial of the generalized Hanoi graphs $H_p^n$ for arbitrary positive $p$ and $n$. Our derivation relies on a detailed combinatorial analysis of the occupancy-based structure of $H_p^n$, refined using Stirling and $2$-associated Stirling numbers to enumerate all configurations with prescribed singleton and multiton counts. We obtain closed formulas for all diagonal and off-diagonal coefficients of the M-polynomial and show how these expressions yield exact values of the main degree-based topological indices. The correctness of the formulas is supported through numerical computation in small instances. These results provide a complete degree-based description of $H_p^n$ and make their structural complexity fully accessible through the M-polynomial framework.
Closed neighborhood complexes of graphs
The closed neighborhood complex $\mathcal{N}[G]$ of a simple graph $G$ is the simplicial complex whose simplices are finite sets of vertices contained in a closed neighborhood of a vertex in $G$. We reveal that the closed neighborhood complex has close connections with other concepts, including the independence complex of the canonical double covering and the independence complex of the neighborhood hypergraph. Furthermore, we show that the fundamental group of the closed neighborhood complex is isomorphic to Grigor'yan--Lin--Muranov--Yau's fundamental group of a graph introduced in the study of path homology.
Patterns that require distinct singular values
Patterns of m by n matrices of term-rank m for which every real matrix with the pattern has no multiple singular value are characterized. This generalizes Fiedler's characterization of the paths being the only graphs for which every real symmetric matrix with the given graph has no repeated eigenvalue.
Threshold graphs are globally synchronizing
The Kuramoto model can be formulated as a gradient flow on a nonconvex energy landscape of the form $E(\boldsymbolθ) := \frac{1}{2} \sum_{1\le i,j\le n} A_{ij}\bigl(1-\cos(θ_i-θ_j)\bigr).$ A fundamental question is to identify graph structures for which this landscape is benign, in the sense that every second-order stationary point corresponds to a fully synchronized state. This property guarantees that all trajectories of the Kuramoto model converge to a fully synchronized state except for a measure-zero set of initial conditions, a phenomenon known as global synchronization. Existing guarantees typically require that each node be connected to a sufficiently large fraction of the other nodes, enforcing high graph density. In this work, we show that threshold graphs lie well outside this regime while still exhibiting global synchronization. In particular, threshold graphs realize arbitrary edge densities and have degree sequences that are extremal in the sense of majorization. Our analysis is based on a phasor--geometric characterization of stationary points that exploits the structural and geometric symmetries induced by threshold graphs.
Professor Preece's tredoku tilings
Shortly before he died in 2014, Donald Preece gave two talks about what he called tredoku tilings, inspired by the puzzle of the same name. In these talks he presented a conjecture about the existence of these tilings that has been proved recently by Simon Blackburn. This paper provides an overview of Donald's work in this area, including his work on a natural generalisation of a tredoku tiling that he called a quadridoku tiling. Additionally, the paper gives alternative proofs of some parts of the existence theorem for tredoku tilings, presents a computer enumeration of the isomorphism classes of tredoku tilings with up to 16 tiles and provides a brief introduction to tilings with holes.
On the Harmonic characteristic polynomial of specific graphs
This paper explores the Harmonic matrix $MH(G)$ associated with a simple graph $ G $, where each entry corresponds to $ \frac{2}{d_i + d_j} $ for adjacent vertices $ v_i $ and $ v_j $. We investigate the spectral properties of this matrix, particularly focusing on its eigenvalues. A central objective of this work is to compute the Harmonic characteristic polynomial. Furthermore, we analyze the Harmonic energy $ HE(G) $ of a graph as the sum of the absolute values of the eigenvalues of $ MH(G) $. Explicit expressions for both the Harmonic characteristic polynomial and the Harmonic energy are derived for several specific classes of graphs.
Packing coloring of graphs with long paths
The packing coloring problem has diverse applications, including frequency assignment in wireless networks, resource distribution and facility location in smart cities and post-disaster management, as well as in biological diversity. Formally, the packing coloring of a graph is a vertex coloring in which any two vertices assigned color $i$ are at a distance of at least $i+1$, and the smallest number of colors admitting such a coloring is called the packing chromatic number. Goddard et al.~\cite{goddard2008broadcast} showed that the packing chromatic numbers of paths and cycles are at most 3 and 4, respectively. In this paper, we introduce \emph{path-aligned graph products}, a natural extension of paths with unbounded diameter. We extend the result of~\cite{goddard2008broadcast} by proving that the packing chromatic number remains bounded by a constant for several families of path-aligned cycle and path-aligned complete products. We then investigate the packing chromatic number of caterpillars, another class of graphs characterized by long induced paths. Sloper~\cite{sloper} proved that the packing chromatic number of caterpillars is at most 7; here, we provide a complete structural characterization of caterpillars with packing chromatic number at most 3. Finally, several open research questions are posed.
Separating path systems for cubic graphs and for complete bipartite graphs
A strongly separating path system in a graph $G$ is a collection $\mathcal{P}$ of paths in $G$ such that, for every two edges $e$ and $f$ of $G$, there is a paths in $\mathcal{P}$ with $e$ and not $f$, and vice-versa. The minimum number of such a system is the so called strong separation number of $G$. We prove that the strong separation number of every $2$-degenerate graph on $n$ vertices is at most $n$. Using this, we also provide upper bounds for the strong separation number of subcubic graphs, planar graphs, and planar bipartite graphs. On the other hand, we prove that the strong separation number a complete bipartite graph $K_{a,b}$ is at least $b$ if $a<b/2$ and at least $(\sqrt{6(b/2)+4}-2)a$ if $b/2\leq a\leq b$, and we provide a construction that attains the former bound.
Resurgence number of matroid configuration
This article gives a new upper bound for the resurgence number of symbolic powers of matroidal configuration in the following situations: the height of the matroidal configuration is big, or the height is small, and the corresponding simplicial complex of the matroidal configuration is peaked. The Peaked simplicial complex is a generalization of bipartite graph. Furthermore, the article also gives a clean formula to compute the resurgence number and the strict containment of generalized uniform matroidal configuration which includes case of star configuration of hypersurfaces.
Enumeration of Even Dimensional Partitions modulo 4
The number of standard Young tableaux possible of shape corresponding to a partition $λ$ is called the dimension of the partition and is denoted by $f^λ$. Partitions with odd dimensions were enumerated by McKay and were further characterized by Macdonald using the theory of 2-core towers. We use the same theory to extend the results to partitions of $n$ with dimensions congruent to 2 modulo 4 which are enumerated by $a_2(n)$. We provide explicit results for $a_2(n)$ when $n$ has no consecutive 1s in its binary expansion and give a recursive formula to compute $a_2(n)$ for all $n$.
Simplicial Complex Emergence on Directed Hypergraphs
We study when co-evolving (or adaptive) higher-order networks defined on directed hypergraphs admit a simplicial description. Binary and triadic couplings are modelled by time-dependent weight tensors. Using representation theory of the symmetric group $S_k$, we decompose these tensors into fully symmetric, fully antisymmetric, and mixed isotypic components, and track their Frobenius norms to define three asymptotic regimes and a quantitative notion of convergence. In the symmetric (resp. antisymmetric) limit, we certify emergence and stability of simplicial complexes via a local boundary test and interior drift conditions that enforce downward-closure; in the mixed limit, we show that the minimal faithful object is a semi-simplicial set. We illustrate the theory with simulations that track the isotypic Frobenius norms and the higher-order structure. Practically, our work provides rigorous conditions under which homological tools are justified for adaptive higher-order systems.