Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Enhanced power graphs of groups are weakly perfect
A graph is weakly perfect if its clique number and chromatic number are equal. We show that the enhanced power graph of a finite group $G$ is weakly perfect: its clique number and chromatic number are equal to the maximum order of an element of $G$. The proof requires a combinatorial lemma. We give some remarks about related graphs.
Linear arboricity of degenerate graphs
Published in J. Graph Theory. 104 (2023) 360-371
• View Publication
• BIB
A linear forest is a union of vertex-disjoint paths, and the linear arboricity of a graph $G$, denoted by $\operatorname{la}(G)$, is the minimum number of linear forests needed to partition the edge set of $G$. Clearly, $\operatorname{la}(G) \ge \lceilΔ(G)/2\rceil$ for a graph $G$ with maximum degree $Δ(G)$. On the other hand, the Linear Arboricity Conjecture due to Akiyama, Exoo, and Harary from 1981 asserts that $\operatorname{la}(G) \leq \lceil(Δ(G)+1) / 2\rceil$ for every graph $ G $. This conjecture has been verified for planar graphs and graphs whose maximum degree is at most $ 6 $, or is equal to $ 8 $ or $ 10 $.
Given a positive integer $k$, a graph $G$ is $k$-degenerate if it can be reduced to a trivial graph by successive removal of vertices with degree at most $k$. We prove that for any $k$-degenerate graph $G$, $\operatorname{la}(G) = \lceilΔ(G)/2 \rceil$ provided $Δ(G) \ge 2k^2 -k$.
On the distribution of Iwasawa invariants associated to multigraphs
Published in Nagoya Math. J. 253 (2024), pp. 48-90
• View Publication
• BIB
Let $\ell$ be a prime number. The Iwasawa theory of multigraphs is the systematic study of growth patterns in the number of spanning trees in abelian $\ell$-towers of multigraphs. In this context, growth patterns are realized by certain analogues of Iwasawa invariants, which depend on the prime $\ell$ and the abelian $\ell$-tower of multigraphs. We formulate and study statistical questions about the behaviour of the Iwasawa $μ$ and $λ$ invariants.
More on minors of Hermitian (quasi-)Laplacian matrix of the second kind for mixed graphs
Published
• View Publication
• BIB
A mixed graph $M_{G}$ is the graph obtained from an unoriented simple graph $G$ by giving directions to some edges of $G$, where $G$ is often called the underlying graph of $M_{G}$. In this paper, we introduce two classes of incidence matrices of the second kind of $M_{G}$, and discuss the determinants of these two matrices for rootless mixed trees and unicyclic mixed graphs. Applying these results, we characterize the explicit expressions of various minors for Hermitian (quasi-)Laplacian matrix of the second kind of $M_{G}$. Moreover, we give two sufficient conditions that the absolute values of all the cofactors of Hermitian (quasi-)Laplacian matrix of the second kind are equal to the number of spanning trees of the underlying graph $G$.
Euler Characteristics and Duality in Riemann Functions and the Graph Riemann-Roch Rank
Published
• View Publication
• BIB
By a {\em Riemann function} we mean a function $f\colon{\mathbb Z}^n\to{\mathbb Z}$ such that $f({\bf d})=f(d_1,\ldots,d_n)$ is equals $0$ for ${\rm deg}({\bf d})=d_1+\cdots+d_n$ sufficiently small, and equals $d_1+\cdots+d_n+C$ for a constant, $C$ -- the {\em offset of $f$} -- for ${\rm deg}({\bf d})$ sufficiently large. By adding $1$ to the Baker-Norine rank function of a graph, one gets an equivalent Riemann function, and similarly for related rank functions. For such an $f$, for any ${\bf K}\in{\mathbb Z}^n$ there is a unique Riemann function $f^\wedge_{\bf K}$ such that for all ${\bf d}\in{\mathbb Z}^n$ we have $$ f({\bf d}) - f^\wedge_{\bf K}({\bf K}-{\bf d}) = {\rm deg}({\bf d})+C $$ which we call a {\em generalized Riemann-Roch formula}. We show that any such equation can be viewed as an Euler charactersitic equation of sheaves of a particular simple type that we call {\em diagrams}.
This article does not assume any prior knowledge of sheaf theory.
To certain Riemann functions $f\colon{\mathbb Z}^2\to{\mathbb Z}$ there is a simple family of diagrams $\{\mathcal{M}_{W,{\bf d}}\}_{{\bf d}\in{\mathbb Z}^2}$ such that $f({\bf d})=b^0({\mathcal{M}}_{W,{\bf d}})$ and $f^\wedge_{\bf K}({\bf K}-{\bf d})=b^1({\mathcal{M}}_{W,{\bf d}})$. Furthermore we give a canonical isomorphism $$ H^1({\mathcal{M}}_{W,{\bf d}})^* \to H^0({\mathcal{M}}_{W',{\bf K}-{\bf d}}) $$ where $W'$ is the weight of $f^\wedge_{\bf K}$.
General Riemann functions $f\colon{\mathbb Z}^2\to{\mathbb Z}$ are similarly modeled with formal differences of diagrams. Riemann functions ${\mathbb Z}^n\to{\mathbb Z}$ are modeled using their restrictions to two of their variables. These constructions involve some ad hoc choices, although the equivalence class of virtual diagram obtained is independent of the ad hoc choices.
A combinatorial interpretation of the noncommutative inverse Kostka matrix
Published
• View Publication
• BIB
We provide a combinatorial formula for the expansion of immaculate noncommutative symmetric functions into complete homogeneous noncommutative symmetric functions. To do this, we introduce generalizations of Ferrers diagrams which we call GBPR diagrams. We define tunnel hooks, which play a role similar to that of the special rim hooks appearing in the Eğecioğlu-Remmel formula for the symmetric inverse Kostka matrix. We extend this interpretation to skew shapes and fully generalize to define immaculate functions indexed by integer sequences skewed by integer sequences. Finally, as an application of our combinatorial formula, we extend Campbell's results on ribbon decompositions of immaculate functions to a larger class of shapes.
On Mixed Cages
Published in Discrete Mathematics & Theoretical Computer Science, vol. 25:2, Graph Theory (November 30, 2023) dmtcs:11057
• View Publication
• BIB
Mixed graphs have both directed and undirected edges. A mixed cage is a regular mixed graph of given girth with minimum possible order. In this paper mixed cages are studied. Upper bounds are obtained by general construction methods and computer searches.
On the Complexity of Identifying Strongly Regular Graphs
In this paper, we show that Graph Isomorphism (GI) is not $\textsf{AC}^{0}$-reducible to several problems, including the Latin Square Isotopy problem, isomorphism testing of several families of Steiner designs, and isomorphism testing of conference graphs. As a corollary, we obtain that GI is not $\textsf{AC}^{0}$-reducible to isomorphism testing of Latin square graphs and strongly regular graphs arising from special cases of Steiner $2$-designs. We accomplish this by showing that the generator-enumeration technique for each of these problems can be implemented in $β_{2}\textsf{FOLL}$, which cannot compute Parity (Chattopadhyay, Torán, & Wagner, ACM Trans. Comp. Theory, 2013).
On the EKR Module property
Published
• View Publication
• BIB
In the recent years, the generalization of the Erdős-Ko-Rado (EKR) theorem to permutation groups has been of much interest. A transitive group is said to satisfy the EKR-module property if the characteristic vector of every maximum intersecting set is a linear combination of the characteristic vectors of cosets of stabilizers of points. This generalization of the well-know permutation group version of the Erdős-Ko-Rado (EKR) theorem, was introduced by K. Meagher. In this article, we present several infinite families of permutation groups satisfying the EKR-module property, which shows that permutation groups satisfying this property are quite diverse.
Balancing polynomials, Fibonacci numbers and some new series for $π$
Published
• View Publication
• BIB
We evaluate some types of infinite series with balancing and Lucas-balancing polynomials in closed form. These evaluations will lead to some new curious series for $π$ involving Fibonacci and Lucas numbers. Our findings complement those of Castellanos from 1986 and 1989.
Realizability Makes a Difference: A Complexity Gap for Sink-Finding in USOs
Published
• View Publication
• BIB
Algorithms for finding the sink in Unique Sink Orientations (USOs) of the hypercube can be used to solve many algebraic and geometric problems, most importantly including the P-Matrix Linear Complementarity Problem and Linear Programming. The realizable USOs are those that arise from the reductions of these problems to the USO sink-finding problem. Finding the sink of realizable USOs is thus highly practically relevant, yet it is unknown whether realizability can be exploited algorithmically to find the sink more quickly. However, all (non-trivial) known unconditional lower bounds for sink-finding make use of USOs that are provably not realizable. This indicates that the sink-finding problem might indeed be strictly easier on realizable USOs.
In this paper we show that this is true for a subclass of all USOs. We consider the class of Matoušek-type USOs, which are a translation of Matoušek's LP-type problems into the language of USOs. We show a query complexity gap between sink-finding in all, and sink-finding in only the realizable $n$-dimensional Matoušek-type USOs. We provide concrete deterministic algorithms and lower bounds for both cases, and show that in the realizable case $O(log^2 n)$ vertex evaluation queries suffice, while in general exactly $n$ queries are needed. The Matoušek-type USOs are the first USO class found to admit such a gap.
Combinatorial descriptions of biclosed sets in affine type
Published in Comb. Theory 4(2) (2024), #7
• View Publication
• BIB
Let $W$ be a Coxeter group and let $Φ^+$ be its positive roots. A subset $B$ of $Φ^+$ is called biclosed if, whenever we have roots $α$, $β$ and $γ$ with $γ\in \mathbb{R}_{>0} α+ \mathbb{R}_{>0} β$, if $α$ and $β\in B$ then $γ\in B$ and, if $α$ and $β\not\in B$, then $γ\not\in B$. The finite biclosed sets are the inversion sets of the elements of $W$, and the containment between finite inversion sets is the weak order on $W$. Matthew Dyer suggested studying the poset of all biclosed subsets of $Φ^+$, ordered by containment, and conjectured that it is a complete lattice. As progress towards Dyer's conjecture, we classify all biclosed sets in the affine root systems. We provide both a type uniform description, and concrete models in the classical types $\widetilde{A}$, $\widetilde{B}$, $\widetilde{C}$, $\widetilde{D}$. We use our models to prove that biclosed sets form a complete lattice in types $\widetilde{A}$ and $\widetilde{C}$.
Strictly monotone sequences of lower and upper bounds on Perron values and their combinatorial applications
Published
• View Publication
• BIB
In this paper, we present monotone sequences of lower and upper bounds on the Perron value of a nonngeative matrix, and we study their strict monotonicity. Using those sequences, we provide two combinatorial applications. One is to improve bounds on Perron values of rooted trees in combinatorial settings, in order to find characteristic sets of trees. The other is to generate log-concave and log-convex sequences through the monotone sequences.
The $h$-vectors of the edge rings of a special family of graphs
Published
• View Publication
• BIB
The $h$-vectors of homogeneous rings are one of the most important invariants that often reflect ring-theoretic properties. On the other hand, there are few examples of edge rings of graphs whose $h$-vectors are explicitly computed. In this paper, we compute the $h$-vector of a special family of graphs, by using the technique of initial ideals and the associated simplicial complex.
Further results on the divisibility of $q$-trinomial coefficients
We study divisibility for the $q$-trinomial coefficients $τ_0(n,m,q)$, $T_0(n,m,q)$ and $T_1(n,m,q)$, which were first introduced by Andrews and Baxter. In particular, we completely determine $τ_0(an,bn,q)$, $T_0(an,bn,q)$ and $T_1(an,bn,q)$ modulo the square of the cyclotomic polynomial $Φ_n(q)$ for $(a,b)=(m,m-1)$.
Structured Decompositions: Structural and Algorithmic Compositionality
We introduce structured decompositions, category-theoretic structures which simultaneously generalize notions from graph theory (including treewidth, layered treewidth, co-treewidth, graph decomposition width, tree independence number, hypergraph treewidth and H-treewidth), geometric group theory (specifically Bass-Serre theory), and dynamical systems (e.g. hybrid dynamical systems). We define width functors, which provide a compositional way to analyze and relate different structural complexity measures, and establish a general duality between decompositions and completions of objects.
A new combinatorial formula for alternating descent polynomials
We prove a combinatorial formula for the alternating descent polynomials of type A and B. Combining with Josuat-Vergès' combinatorial interpretation for Hoffman's derivative polynomials for tangent and secant functions, we obtain a unified combinatorial proof of Ma-Yeh's two formulae linking these two families of polynomials.
A spatial version of Tutte's conflict graph
Tutte showed that a graph $G$ is planar if and only if the conflict graph associated to every cycle of $G$ is bipartite. We define a (not necessarily unique) signed conflict graph associated to a maximally planar subgraph of a nonplanar graph such that if $G$ has a flat embedding, every possible conflict graph associated to every maximally planar subgraph of $G$ is balanced. In doing this, we show that for every graph $G$ with flat embedding, and a planar subgraph $P$ of $G$, $P$ lies on a sphere that intersects $G$ only in $P$. We conjecture that $G$ is intrinsically linked if and only if every maximal planar subgraph of $G$ has every possible conflict graph unbalanced.
Asymptotics for a certain group of exponential generating functions
The exponential generating function for the sequence A143405 in the OEIS is exp(exp(x)*(exp(x) - 1)). This paper analyzes the more general generating function exp(m*exp(b*x) + r*exp(d*x) + s) and provides asymptotics for the sequences A143405, A355291, A002872, A002874 and others in the OEIS.
Conflict graphs of maximally planar subgraphs of Petersen family graphs
The purpose of this paper is to show that all maximally planar subgraphs of graphs in the Petersen Family have associated conflict graphs unbalanced. All but three strong conflict graphs arising from Petersen Family Graphs are unbalanced, and the three that are balanced all come from $K_{4,4}-e$.