Showing 20 papers (Total: 83190 papers, 48060 authors in database)
Canonical double covers of generalized Petersen graphs, and double generalized Petersen graphs
Published
• View Publication
• BIB
The canonical double cover $\D(Γ)$ of a graph $Γ$ is the direct product of $Γ$ and $K_2$. If $\Aut(\D(Γ))\cong\Aut(Γ)\times\ZZ_2$ then $Γ$ is called stable; otherwise $Γ$ is called unstable. An unstable graph is said to be nontrivially unstable if it is connected, non-bipartite and no two vertices have the same neighborhood. In 2008 Wilson conjectured that, if the generalized Petersen graph $\GP(n,k)$ is nontrivially unstable, then both $n$ and $k$ are even, and either $n/2$ is odd and $k^2\equiv\pm 1 \pmod{n/2}$, or $n=4k$. In this note we prove that this conjecture is true. At the same time we determine all possible isomorphisms among the generalized Petersen graphs, the canonical double covers of the generalized Petersen graphs, and the double generalized Petersen graphs. Based on these we completely determine the full automorphism group of the canonical double cover of $\GP(n,k)$ for any pair of integers $n, k$ with $1 \leqslant k < n/2$.
Normalization of ternary generalized pseudostandard words
Published
• View Publication
• BIB
This paper focuses on generalized pseudostandard words, defined by de Luca and De Luca in 2006. In every step of the construction, the involutory antimorphism to be applied for the pseudopalindromic closure changes and is given by a so called directive bi-sequence. The concept of a normalized form of directive bi-sequences was introduced by Blondin-Massé et al. in 2013 and an algorithm for finding the normalized directive bi-sequence over a binary alphabet was provided. In this paper, we present an algorithm to find the normalized form of any directive bi-sequence over a ternary alphabet. Moreover, the algorithm was implemented in Python language and carefully tested, and is now publicly available in a module for working with ternary generalized pseudostandard words.
Ricci-flat graphs with girth four
Published
• View Publication
• BIB
Lin-Lu-Yau introduced an interesting notion of Ricci curvature for graphs and obtained a complete characterization for all Ricci-flat graphs with girth at least five [1]. In this paper, we propose a concrete approach to construct an infinite family of distinct Ricci-flat graphs of girth four with edge-disjoint 4-cycles and completely characterize all Ricci-flat graphs of girth four with vertex-disjoint 4-cycles.
On the modular Erdős-Burgess constant
Published
• View Publication
• BIB
Let $n$ be a positive integer. For any integer $a$, we say that $a$ is idempotent modulo $n$ if $a^2\equiv a\pmod n$. The $n$-modular Erdős-Burgess constant is the smallest positive integer $\ell$ such that any $\ell$ integers contain one or more integers whose product is idempotent modulo $n$. We gave a sharp lower bound of the $n$-modular Erdős-Burgess constant, in particular, we determined the $n$-modular Erdős-Burgess constant in the case when $n$ is a prime power or a product of pairwise distinct primes.
When Do Gomory-Hu Subtrees Exist?
Published
• View Publication
• BIB
Gomory-Hu (GH) Trees are a classical sparsification technique for graph connectivity. It is one of the fundamental models in combinatorial optimization which also continually finds new applications, most recently in social network analysis. For any edge-capacitated undirected graph $G=(V,E)$ and any subset of {\em terminals} $Z \subseteq V$, a Gomory-Hu Tree is an edge-capacitated tree $T=(Z,E(T))$ such that for every $u,v \in Z$, the value of the minimum capacity $uv$ cut in $G$ is the same as in $T$. Moreover, the minimum cuts in $T$ directly identify (in a certain way) those in $G$. It is well-known that we may not always find a GH tree which is a subgraph of $G$. For instance, every GH tree for the vertices of $K_{3,3}$ is a $5$-star. We characterize those graph and terminal pairs $(G,Z)$ which always admit such a tree. We show that these are the graphs which have no \emph{terminal-$K_{2,3}$ minor}. That is, no $K_{2,3}$ minor whose vertices correspond to terminals in $Z$. We also show that the family of pairs $(G,Z)$ which forbid such $K_{2,3}$ "$Z$-minors" arises, roughly speaking, from so-called Okamura-Seymour instances. More precisely, they are subgraphs of {\em $Z$-webs}. A $Z$-web is built from planar graphs with one outside face which contains all the terminals and each inner face is a triangle which may contain an arbitrary graph. This characterization yields an additional consequence for multiflow problems. Fix a graph $G$ and a subset $Z \subseteq V(G)$ of terminals. Call $(G,Z)$ {\em cut-sufficient} if the cut condition is sufficient to characterize the existence of a multiflow for any demands between vertices in $Z$, and any edge capacities on $G$. Then $(G,Z)$ is cut-sufficient if and only if it is terminal-$K_{2,3}$ free.
Birkhoff-von Neumann Graphs that are PM-compact
Published
• View Publication
• BIB
A well-studied geometric object in combinatorial optimization is the perfect matching polytope of a graph $G$. In any investigation concerning the perfect matching polytope, one may assume that $G$ is matching covered --- that is, it is a connected graph (of order at least two) and each edge lies in some perfect matching.
A graph $G$ is Birkhoff-von Neumann (BvN) if its perfect matching polytope is characterized solely by non-negativity and degree constraints. A result of Balas (1981) implies that $G$ is BvN if and only if $G$ does not contain a pair of vertex-disjoint odd cycles $(C_1,C_2)$ such that $G-V(C_1)-V(C_2)$ has a perfect matching. It follows immediately that the corresponding decision problem is in co-NP. However, it is not known to be in NP. The problem is in P if the input graph is planar --- due to a result of Carvalho, Lucchesi and Murty (2004). These authors, along with Kothari (2018), have shown that this problem is equivalent to the seemingly unrelated problem of deciding whether a given graph is $\overline{C_6}$-free.
The combinatorial diameter of a polytope is the diameter of its $1$-skeleton graph. A graph $G$ is PM-compact (PMc) if the combinatorial diameter of its perfect matching polytope equals one. A result of Chvátal (1975) implies that $G$ is PMc if and only if $G$ does not contain a pair of vertex-disjoint even cycles $(C_1,C_2)$ such that $G-V(C_1)-V(C_2)$ has a perfect matching. Once again the corresponding decision problem is in co-NP, but it is not known to be in NP. The problem is in P if the input graph is bipartite or is near-bipartite --- due to a result of Wang, Lin, Carvalho, Lucchesi, Sanjith and Little (2013).
In this paper, we consider the "intersection" of the aforementioned problems. We give a complete characterization of matching covered graphs that are BvN as well as PMc. (Thus the corresponding decision problem is in P.)
On some special classes of contact $B_0$-VPG graphs
Published in Discrete Applied Mathematics 308 (2022), 111-129
• View Publication
• BIB
A graph $G$ is a $B_0$-VPG graph if one can associate a path on a rectangular grid with each vertex such that two vertices are adjacent if and only if the corresponding paths intersect at at least one grid-point. A graph $G$ is a contact $B_0$-VPG graph if it is a $B_0$-VPG graph admitting a representation with no two paths crossing and no two paths sharing an edge of the grid. In this paper, we present a minimal forbidden induced subgraph characterisation of contact $B_0$-VPG graphs within four special graph classes: chordal graphs, tree-cographs, $P_4$-tidy graphs and $P_5$-free graphs. Moreover, we present a polynomial-time algorithm for recognising chordal contact $B_0$-VPG graphs.
On the almost-principal minors of a symmetric matrix
Published
• View Publication
• BIB
The almost-principal rank characteristic sequence (apr-sequence) of an $n\times n$ symmetric matrix is introduced, which is defined to be the string $a_1 a_2 \cdots a_{n-1}$, where $a_k$ is either $\tt A$, $\tt S$, or $\tt N$, according as all, some but not all, or none of its almost-principal minors of order $k$ are nonzero. In contrast to the other principal rank characteristic sequences in the literature, the apr-sequence of a matrix does not depend on principal minors. The almost-principal rank of a symmetric matrix $B$, denoted by ${\rm aprank}(B)$, is defined as the size of a largest nonsingular almost-principal submatrix of $B$. A complete characterization of the sequences not containing an $\tt A$ that can be realized as the apr-sequence of a symmetric matrix over a field $\mathbb{F}$ is provided. A necessary condition for a sequence to be the apr-sequence of a symmetric matrix over a field $\mathbb{F}$ is presented. It is shown that if $B \in \mathbb{F}^{n\times n}$ is symmetric and non-diagonal, then ${\rm rank}(B)-1 \leq {\rm aprank}(B) \leq {\rm rank}(B)$, with both bounds being sharp. Moreover, it is shown that if $B$ is symmetric, non-diagonal and singular, and does not contain a zero row, then ${\rm rank}(B) = {\rm aprank}(B)$.
On the Sweep Map for Fuss Rational Dyck Paths
Published
• View Publication
• BIB
Our main contribution here is the discovery of a new family of standard Young tableaux $ {\cal T}^k_n$ which are in bijection with the family ${\cal D}_{m,n}$ of Rational Dyck paths for $m=k\times n\pm 1$ (the so called "Fuss" case). Using this family we give a new proof of the invertibility of the sweep map in the Fuss case by means of a very simple explicit algorithm. This new algorithm has running time $O(m+n)$. It is independent of the Thomas-William algorithm.
Edge colourings and topological graph polynomials
A k-valuation is a special type of edge k-colouring of a medial graph. Various graph polynomials, such as the Tutte, Penrose, Bollobás-Riordan, and transition polynomials, admit combinatorial interpretations and evaluations as weighted counts of k-valuations. In this paper, we consider a multivariate generating function of k-valuations. We show that this is a polynomial in k and hence defines a graph polynomial. We then show that the resulting polynomial has several desirable properties, including a recursive deletion-contraction-type definition, and specialises to the graph polynomials mentioned above. It also offers an alternative extension of the Penrose polynomial from plane graphs to graphs in other surfaces.
An expansion formula for type A and Kronecker quantum cluster algebras
We introduce an expansion formula for elements in quantum cluster algebras associated to type A and Kronecker quivers with principal quantization. Our formula is parametrized by perfect matchings of snake graphs as in the classical case. In the Kronecker case, the coefficients are q-powers whose exponents are given by a weight function induced by the lattice of perfect matchings. As an application, we prove that a reflectional symmetry on the set of perfect matchings satisfies Stembridge's q=-1 phenomenon with respect to the weight function.
Realization Spaces of Uniform Phased Matroids
A phased matroid is a matroid with additional structure which plays the same role for complex vector arrangements that oriented matroids play for real vector arrangements.
The realization space of an oriented (resp., phased) matroid is the space of vector arrangements in $\mathbb R^n$ (resp., $\mathbb C^n$) that correspond to oriented (resp., phased) matroid, modulo a change of coordinates. According to Mnëv's Universality Theorem, the realization spaces of uniform oriented matroids with rank greater than or equal to $3$ can be as complicated as any open semi-algebraic variety.
In contrast, uniform phased matroids which are not essentially oriented have remarkably simple realization spaces if they are uniform.
We also present a criterion for realizability of uniform phased matroids that are not essentially oriented.
Spectral characterizations of anti-regular graphs
Published in Linear Algebra and Its Applications, Vol. 557, pp. 84-104, 2018
• View Publication
• BIB
We study the eigenvalues of the unique connected anti-regular graph $A_n$. Using Chebyshev polynomials of the second kind, we obtain a trigonometric equation whose roots are the eigenvalues and perform elementary analysis to obtain an almost complete characterization of the eigenvalues. In particular, we show that the interval $Ω=[\tfrac{-1-\sqrt{2}}{2}, \tfrac{-1+\sqrt{2}}{2}]$ contains only the trivial eigenvalues $λ= -1$ or $λ=0$, and any closed interval strictly larger than $Ω$ will contain eigenvalues of $A_n$ for all $n$ sufficiently large. We also obtain bounds for the maximum and minimum eigenvalues, and for all other eigenvalues we obtain interval bounds that improve as $n$ increases. Moreover, our approach reveals a more complete picture of the bipartite character of the eigenvalues of $A_n$, namely, as $n$ increases the eigenvalues are (approximately) symmetric about the number $-\tfrac{1}{2}$. We also obtain an asymptotic distribution of the eigenvalues as $n\rightarrow\infty$. Finally, the relationship between the eigenvalues of $A_n$ and the eigenvalues of a general threshold graph is discussed.
Avoiding 3-Term Geometric Progressions in Hurwitz Quaternions
Several recent papers have considered the problem of how large a subset of integers can be without containing any 3-term geometric progressions. This problem has also recently been generalized to rings of integers in quadratic number fields and polynomial rings over finite fields. We study the analogous problem in the Hurwitz quaternion order to see how non-commutativity affects the problem. We compute an exact formula for the density of a 3-term geometric-progression-free set of Hurwitz quaternions arising from a greedy algorithm and derive upper and lower bounds for the supremum of upper densities of 3-term geometric-progression-free sets of Hurwitz quaternions.
Derivation degree sequences of non-free arrangements
Published
• View Publication
• BIB
In this note we study the logarithmic derivation module of a non-free arrangement. We prove a generalized addition theorem for all arrangements. This addition theorem allows us to find various relationships between non-free arrangements, free arrangements and restriction counts. For graphic arrangements we can use these results to find a lower bound for the maximal degree generator in terms of triangles in the associated graph. We also apply these results to the case of hypersolvable arrangements where we define hyperexponents and use them to find a lower bound for their maximal degree generator.
The Limiting Eigenvalue Distribution of Iterated k-Regular Graph Cylinders
We explore the limiting empirical eigenvalue distributions arising from matrices of the form \[A_{n+1} = \begin{bmatrix} A_n & I\\ I & A_n \end{bmatrix} , \]where $A_0$ is the adjacency matrix of a $k$-regular graph. We find that for bipartite graphs, the distributions are centered symmetric binomial distributions, and for non-bipartite graphs, the distributions are asymmetric. This research grew out of our work on neural networks in $k$-regular graphs. Our original question was whether or not the graph cylinder construction would produce an expander graph that is a suitable candidate for the neural networks being developed at Nousot. This question is answered in the negative for our computational purposes. However, the limiting distribution is still of theoretical interest to us; thus, we present our results here.
Lower bounds for dilation, wirelength, and edge congestion of embedding graphs into hypercubes
Published in The Journal of Supercomputing, Volume 77, 4135-4150 (2021)
• View Publication
• BIB
Interconnection networks provide an effective mechanism for exchanging data between processors in a parallel computing system. One of the most efficient interconnection networks is the hypercube due to its structural regularity, potential for parallel computation of various algorithms, and the high degree of fault tolerance. Thus it becomes the first choice of topological structure of parallel processing and computing systems. In this paper, lower bounds for the dilation, wirelength, and edge congestion of an embedding of a graph into a hypercube are proved. Two of these bounds are expressed in terms of the bisection width. Applying these results, the dilation and wirelength of embedding of certain complete multipartite graphs, folded hypercubes, wheels, and specific Cartesian products are computed.
Every square can be tiled with T-tetrominos and no more than 5 monominos
If n is a multiple of 4, then a square of side n can be tiled with T-tetrominos, using a well-known construction. If n is even but not a multiple of four, then there exists an equally well-known construction for tiling a square of side n with T-tetrominos and exactly 4 monominos. On the other hand, it was shown by Walkup that it is not possible to tile the square using only T-tetrominos. Now consider the remaining cases, where n is odd. It was shown by Zhan that it is not possible to tile such a square using only one monomino. Hochberg showed that no more than 9 monominos are ever needed. We give a construction for all odd n which uses exactly 5 monominos, thereby resolving this question.
Which circle bundles can be triangulated over $\partial Δ^3$?
We proof that having boundary of standard 3-dimensional simplex $\partial Δ^3$ as a base of triangulation one can triangulate only trivial and Hopf circle bundles.
Mix $\star$-autonomous quantales and the continuous weak order
Published in RAMICS 2018, Oct 2018, Groningen, Netherlands
• View Publication
• BIB
The set of permutations on a finite set can be given a lattice structure (known as the weak Bruhat order). The lattice structure is generalized to the set of words on a fixed alphabet $Σ= \{ x, y, z, ... \}$, where each letter has a fixed number of occurrences (these lattices are known as multinomial lattices and, in dimension 2, as lattices of lattice paths). By interpreting the letters $x, y, z, ...$ as axes, these words can be interpreted as discrete increasing paths on a grid of a $d$-dimensional cube, where $d = {\rm card}(Σ)$. We show in this paper how to extend this order to images of continuous monotone paths from the unit interval to a $d$-dimensional cube. The key tool used to realize this construction is the quantale $\mathsf{L}_{\vee}(\mathbb{I})$ of join-continuous functions from the unit interval to itself; the construction relies on a few algebraic properties of this quantale: it is $\star$-autonomous and it satisfies the mix rule. We begin developing a structural theory of these lattices by characterizing join-irreducible elements, and by proving these lattices are generated from their join-irreducible elements under infinite joins.