Showing 20 papers (Total: 81680 papers, 47334 authors in database)
Estimating the stability number of a random graph using convolutional neural networks
Graph combinatorial optimization problems are widely applicable and notoriously difficult to compute; for example, consider the traveling salesman or facility location problems. In this paper, we explore the feasibility of using convolutional neural networks (CNNs) on graph images to predict the cardinality of combinatorial properties of random graphs and networks. Specifically, we use image representations of modified adjacency matrices of random graphs as training samples for a CNN model to predict the stability number of random graphs; where the stability number is the cardinality of a maximum set of vertices in a graph that contains no pairwise adjacency between vertices. The model and results presented in this study suggest potential for applying deep learning in combinatorial optimization problems previously not considered by simple deep learning techniques.
Edge and mixed metric dimension of Johnson graphs
In this paper, both edge and mixed metric dimensions of Johnson graphs $J_{n,k}$ are considered. A new tight lower bound for $β_E(J_{n,k})$ based on hitting sets has been obtained. Using this bound, exact values for $β_E(J_{n,2})$ and $β_M(J_{n,2})$ have been derived, and it is proved that $β_E(J_{n,2}) = β_M(J_{n,2})$.
Abrams' stabilization theorem for no-k-equal configuration spaces on graphs
Published in Final version published in Homology, Homotopy and Applications, Vol. 28, Issue 1 (2026), pp. 1-22
• View Publication
• BIB
For a graph $G$, let Conf$(G,n)$ denote the classical configuration space of $n$ labelled points in $G$. Abrams introduced a cubical complex, denoted here by DConf$(G,n)$, sitting inside Conf$(G,n)$ as a strong deformation retract provided $G$ is suitably subdivided. Using discrete Morse Theory techniques, we extend Abrams' result to the realm of configurations having no $k$-fold collisions.
An algebraic approach to asymptotics of the number of unlabelled bicolored graphs
Published
• View Publication
• BIB
We define and study two structures associated to permutation groups: Dirichlet characters on permutation groups, and the "cycle form," a bilinear form on the group algebras of permutation groups. We use Dirichlet characters and the cycle form to find a new upper bound on the number of unlabelled bicolored graphs with $p$ red vertices and $q$ blue vertices. We use this bound to calculate the asymptotic growth rate of the number of such graphs as $p,q\rightarrow\infty$, answering a 1973 question of Harrison in the case where $q-p$ is fixed. As an application, we show that, in an asymptotic sense, "most" elements of the power set $P(\{ 1, \dots ,p\} \times \{ 1, \dots ,q\})$ are in free $Σ_p\times Σ_q$-orbits.
The Deletion Order and Coxeter Groups
Published
• View Publication
• BIB
The deletion order of a finitely generated Coxeter group W is a total order on the elements which, as is proved, is a refinement of the Bruhat order. This order is applied in [8] to construct Elnitsky tilings for any finite Coxeter group. Employing the deletion order, a corresponding normal form of an element w of W is defined which is shown to be the same as the normal form of w using right to left lexicographic ordering. Further results on the deletion order are obtained relating to the property of being Artinian and, when W is finite, its interplay with the longest element of W.
A proposed crank for $(k+j)$-colored partitions, with $j$ colors having distinct parts
Published
• View Publication
• BIB
In 1988, George Andrews and Frank Garvan discovered a crank for $p(n)$. In 2020, Larry Rolen, Zack Tripp, and Ian Wagner generalized the crank for p(n) in order to accommodate Ramanujan-like congruences for $k$-colored partitions. In this paper, we utilize the techniques used by Rolen, Tripp, and Wagner for crank generating functions in order to define a crank generating function for $(k + j)$-colored partitions where $j$ colors have distinct parts. We provide three infinite families of crank generating functions and conjecture a general crank generating function for such partitions.
Upho lattices I: examples and non-examples of cores
Published
• View Publication
• BIB
A poset is called upper homogeneous, or "upho," if every principal order filter of the poset is isomorphic to the whole poset. We study (finite type $\mathbb{N}$-graded) upho lattices, with an eye towards their classification. Any upho lattice has associated to it a finite graded lattice called its core, which determines its rank generating function. We investigate which finite graded lattices arise as cores of upho lattices, providing both positive and negative results. On the one hand, we show that many well-studied finite lattices do arise as cores, and we present combinatorial and algebraic constructions of the upho lattices into which they embed. On the other hand, we show there are obstructions which prevent many finite lattices from being cores.
If you are the smartest person in the room, you are in the wrong room
Published in Graphs and Combinatorics, 41(5), pp.1-10
• View Publication
• BIB
If taken seriously, the advice in the title leads to interesting combinatorics. Consider $N$ people moving between $M$ rooms as follows: at each step, simultaneously, the smartest person in each room moves to a different room of their choice, while no one else moves. The process repeats. In this paper we determine which configurations are reachable, from which other configurations, and provide bounds on the number of moves. Namely, let $G(N,M)$ be the directed graph with vertices representing all $M^N$ configurations and edges representing possible moves. We prove that the graph $G(N,M)$ is weakly connected, and that it is strongly connected if and only if $M\geq N+1$ (one extra room for maneuvering is both required and sufficient). For $M\leq N$, we show that the graph has a giant strongly connected component with $Θ(M^N)$ vertices and diameter $\mathcal O(N^2)$.
The geometry of conjugation in affine Coxeter groups
We develop new and precise geometric descriptions of the conjugacy class $[x]$ and coconjugation set $\operatorname{C}(x,x') = \{ y \in \overline{W} \mid yxy^{-1} = x' \}$ for all elements $x,x'$ of any affine Coxeter group $\overline{W}$. The centralizer of $x$ in $\overline{W}$ is the special case $\operatorname{C}(x,x)$. The key structure in our description of the conjugacy class $[x]$ is the mod-set ${Mod}_{\overline{W}}(w) = (w-\operatorname{I})R^\vee$, where~$w$ is the finite part of $x$ and $R^\vee$ is the coroot lattice. The coconjugation set $\operatorname{C}(x,x')$ is then described by ${Mod}_{\overline{W}}(w')$ together with the fix-set of $w'$, where $w'$ is the finite part of $x'$. For any element $w$ of the associated finite Weyl group $W$, the mod-set of $w$ is contained in the classical move-set ${Mov}(w) = \operatorname{Im}(w - \operatorname{I})$. We prove that the rank of ${Mod}_{\overline{W}}(w)$ equals the dimension of ${Mov}(w)$, and then further investigate type-by-type the surprisingly subtle structure of the $\mathbb{Z}$-module ${Mod}_\overline{W}(w)$. As corollaries, we determine exactly when ${Mod}_{\overline{W}}(w) = {Mov}(w) \cap R^\vee$, in which case our closed-form descriptions of conjugacy classes and coconjugation sets are as simple as possible.
Algorithmic aspects of semistability of quiver representations
We study the semistability of quiver representations from an algorithmic perspective. We present efficient algorithms for several fundamental computational problems on the semistability of quiver representations: deciding the semistability and $σ$-semistability, finding the maximizers of King's criterion, and computing the Harder--Narasimhan filtration. We also investigate a class of polyhedral cones defined by the linear system in King's criterion, which we refer to as King cones. For rank-one representations, we demonstrate that these King cones can be encoded by submodular flow polytopes, enabling us to decide the $σ$-semistability in strongly polynomial time. Our approach employs submodularity in quiver representations, which may be of independent interest.
Harmonics and graded Ehrhart theory
Published
• View Publication
• BIB
The Ehrhart polynomial and Ehrhart series count lattice points in integer dilations of a lattice polytope. We introduce and study a $q$-deformation of the Ehrhart series, based on the notions of harmonic spaces and Macaulay's inverse systems for coordinate rings of finite point configurations. We conjecture that this $q$-Ehrhart series is a rational function, and introduce and study a bigraded algebra whose Hilbert series matches the $q$-Ehrhart series. Defining this algebra requires a new result on Macaulay inverse systems for Minkowski sums of point configurations.
Terwilliger Algebra of the Ordered Hamming Scheme
This paper delves into the Terwilliger algebra associated with the ordered Hamming scheme, which extends from the wreath product of one-class association schemes and was initially introduced by Delsarte as a natural expansion of the Hamming schemes. Levstein, Maldonado and Penazzi have shown that the Terwilliger algebra of the Hamming scheme of length $n$ is the $n$-fold symmetric tensor algebra of that of the one-class association scheme. Furthermore, Bhattacharyya, Song and Tanaka have established that the Terwilliger algebra of the wreath product of a one-class association scheme is a direct sum of the ``primary'' subalgebra and commutative subalgebras. This paper extends these findings to encompass both conclusions.
Subspaces, subsets, and Motzkin paths
Published
• View Publication
• BIB
We define a map from subspaces to Motzkin paths and show that the inverse image of every path is a disjoint union of symmetric Boolean subsets yielding an explicit symmetric Boolean decomposition of the subspace lattice.
Hidden structures behind ambient symmetries of the Maurer-Cartan equation
Published
• View Publication
• BIB
For every differential graded Lie algebra $\mathfrak{g}$ one can define two different group actions on the Maurer-Cartan elements: the ubiquitous gauge action and the action of $\mathrm{Lie}_\infty$-isotopies of $\mathfrak{g}$, which we call the ambient action. In this note, we explain how the assertion of gauge triviality of a homologically trivial ambient action relates to the calculus of dendriform, Zinbiel, and Rota-Baxter algebras, and to Eulerian idempotents. In particular, we exhibit new relationships between these algebraic structures and the operad of rational functions defined by Loday.
Golden ratio in graph theory: A survey
Much has been written about the golden ratio $φ=\frac{1+\sqrt{5}}{2}$ and this strange number appears mysteriously in many mathematical calculations. In this article, we review the appearance of this number in the graph theory. More precisely, we review the relevance of this number in topics such as the number of spanning trees, topological indices, energy, chromatic roots, domination roots and the number of domatic partitions of graphs.
When is a set of phylogenetic trees displayed by a normal network?
Published
• View Publication
• BIB
A normal network is uniquely determined by the set of phylogenetic trees that it displays. Given a set $\mathcal{P}$ of rooted binary phylogenetic trees, this paper presents a polynomial-time algorithm that reconstructs the unique binary normal network whose set of displayed binary trees is $\mathcal{P}$, if such a network exists. Additionally, we show that any two rooted phylogenetic trees can be displayed by a normal network and show that this result does not extend to more than two trees. This is in contrast to tree-child networks where it has been previously shown that any collection of rooted phylogenetic trees can be displayed by a tree-child network. Lastly, we introduce a type of cherry-picking sequence that characterises when a collection $\mathcal{P}$ of rooted phylogenetic trees can be displayed by a normal network and, further, characterise the minimum number of reticulations needed over all normal networks that display $\mathcal{P}$. We then exploit these sequences to show that, for all $n\ge 3$, there exist two rooted binary phylogenetic trees on $n$ leaves that can be displayed by a tree-child network with a single reticulation, but cannot be displayed by a normal network with less than $n-2$ reticulations.
On the strong domination number of proper enhanced power graphs of finite groups
Published
• View Publication
• BIB
The enhanced power graph of a group G is a graph with vertex set G, where two distinct vertices x and y are adjacent if and only if there exists an element w in G such that both x and y are powers of w. To obtain the proper enhanced power graph, we consider the induced subgraph on the set G\D, where D represents the set of dominating vertices in the enhanced power graph. In this paper, we aim to determine the strong domination number of the proper enhanced power graphs of finite nilpotent groups.
Semi-Degree Condition for Arbitrary $H$-Linked Oriented Graphs
Published
• View Publication
• BIB
Let $ H $ be a multi-digraph on $ h $ vertices with $ q $ arcs. An \textbf{$H$-subdivision} in a digraph $D$ is a subdigraph obtained by replacing every arc $uv$ of $H$ with a path from $u$ to $v$ in $D$ such that these paths are pairwise internally vertex-disjoint. A digraph $ D $ is \textbf{arbitrary $ H $-linked} if, for every injection $ f: V(H) \to V(D) $, there exists an $ H $-subdivision in $ D $ such that each vertex $ v \in V(H) $ is mapped to $ f(v) \in V(D) $, and the length of every subdivision path can be arbitrarily specified as {an integer \(l \geq 4\)}. An oriented graph is a digraph without 2-cycles. Keevash, Kühn, and Osthus proved that every sufficiently large oriented graph $ D $ of order $ n $ with $δ^0(D) \geq \frac{3n-4}{8}$ contains a Hamilton cycle (i.e., a $\overset{\leftrightarrow}{K_2}$-subdivision). Subsequently, Kelly, Kühn, and Osthus showed that such oriented graphs {are also arbitrary $ H $-linked, where $H$ is a loop}. Motivated by these results, we establish a minimum semi-degree condition for arbitrary $ H $-linked oriented graphs: there exists $ n_0 = n_0(h,q) $ such that every oriented graph $ D $ of order $ n \geq n_0 $ with $δ^0(D) \geq \frac{3n + 3h + 3q - 5}{8}$ is arbitrary $ H $-linked; specifically, if $H$ is a loop, this holds under the weaker condition $δ^0(D) \geq \frac{3n - 4}{8}$. The result provides an oriented graph analogue of Wang's conjecture on cycle-factors in graphs [J. Korean Math. Soc. 51 (2014) 919--940] and determines the tight semi-degree bounds for both strongly Hamiltonian-connected and arbitrary $q$-linked oriented graphs.
Forester's lattices and small non-Leighton complexes
Published
• View Publication
• BIB
We construct two CW-complexes $K$ and $L$ admitting a common, but not finite common, covering, where $K$ is homeomorphic to a complex with a single 2-cell.
Counting of lattices containing up to $4$ reducible elements and having nullity up to $3$
Published
• View Publication
• BIB
In this paper, we count all non-isomorphic lattices on $n$ elements, containing four reducible elements and having nullity three. This work is in respect of Birkhoff's open problem (which is NP-complete) of counting all finite lattices on $n$ elements.