Showing 20 papers (Total: 84253 papers, 48533 authors in database)
Characterization of 1-Tough Graphs using Factors
Published
• View Publication
• BIB
For a graph $G$, let $odd(G)$ and $ω(G)$ denote the number of odd components and the number of components of $G$, respectively. Then it is well-known that $G$ has a 1-factor if and only if $odd(G-S)\le |S|$ for all $S\subset V(G)$. Also it is clear that $odd(G-S) \le ω(G-S)$. In this paper we characterize a 1-tough graph $G$, which satisfies $ω(G-S) \le |S|$ for all $\emptyset \ne S \subset V(G)$, using an $H$-factor of a set-valued function $H:V(G) \to \{ \{1\}, \{0,2\} \}$. Moreover, we generalize this characterization to a graph that satisfies $ω(G-S) \le f(S)$ for all $\emptyset \ne S \subset V(G)$, where $f:V(G) \to \{1,3,5, \ldots\}$.
The Complexity of All $(g,f)$-Factor Problem
Let $G$ be a graph with vertex set $V$ and let $g, f : V\rightarrow \mathbb{Z}^+$ be two functions such that $g\le f$. We say that $G$ has all $(g, f )$-factors if $G$ has an $h$-factor for every $h: V\rightarrow \mathbb{Z}^+$ such that $g(v)\le h(v)\le f (v)$ for every $v\in V$ and $\sum_{v\in{V}}h(v)\equiv 0\pmod 2$. Two decades ago, Niessen derived from Tutte's $f$-factor theorem a similar characterization for the property of graphs having all $(g, f )$-factors and asked whether there is a polynomial time algorithm for testing whether a graph $G$ has all $(g, f )$-factors (A characterization of graphs having all $(g, f )$-Factors, \emph{J. Combin. Theory, Ser. B}, \textbf{72} (1998), 152--156). In this paper, we show that it is NP-hard to determine whether a graph $G$ has all $(g,f)$-factors, which gives a negative answer to the question of Niessen.
Signatures of monic polynomials
To a univariate monic polynomial is attached a special planar forest that is called the picture of the polynomial. Isotopy classes of pictures are called signatures. All combinatorially possible signatures are realized and spaces of polynomials realizing a given signature are contractible. A finite cell complex for the cohomology of the braid groups is obtained.
Cartesian products of directed graphs with loops
Published
• View Publication
• BIB
We show that every nontrivial finite or infinite connected directed graph with loops and at least one vertex without a loop is uniquely representable as a Cartesian or weak Cartesian product of prime graphs. For finite graphs the factorization can be computed in linear time and space.
Cutting Planes for Families Implying Frankl's Conjecture
Published
• View Publication
• BIB
We find previously unknown families of sets which ensure Frankl's conjecture holds for all families that contain them using an algorithmic framework. The conjecture states that for any nonempty union-closed (UC) family there exists an element of the ground set in at least half the sets of the considered UC family. Poonen's Theorem characterizes the existence of weights which determine whether a given UC family implies the conjecture for all UC families which contain it. We design a cutting-plane method that computes the explicit weights which imply the existence conditions of Poonen's Theorem. This method enables us to answer several open questions regarding structural properties of UC families, including the construction of a counterexample to a conjecture of Morris from 2006.
Reconstructing binary matrices under window constraints from their row and column sums
Published
• View Publication
• BIB
The present paper deals with the discrete inverse problem of reconstructing binary matrices from their row and column sums under additional constraints on the number and pattern of entries in specified minors. While the classical consistency and reconstruction problems for two directions in discrete tomography can be solved in polynomial time, it turns out that these window constraints cause various unexpected complexity jumps back and forth from polynomial-time solvability to $\mathbb{N}\mathbb{P}$-hardness.
On the Total Forcing Number of a Graph
Published
• View Publication
• BIB
Let $G$ be a simple and finite graph without isolated vertices. In this paper we study forcing sets (zero forcing sets) which induce a subgraph of $G$ without isolated vertices. Such a set is called a total forcing set, introduced and first studied by Davila \cite{Davila}. The minimum cardinality of a total forcing set in $G$ is the total forcing number of $G$, denoted $F_t(G)$. We study basic properties of $F_t(G)$, relate $F_t(G)$ to various domination parameters, and establish $NP$-completeness of the associated decision problem for $F_t(G)$. We also prove that if $G$ is a connected graph of order $n \ge 3$ and maximum degree $Δ$, then $F_t(G) \le ( \fracΔ{Δ+1} ) n$, with equality if and only if $G$ is a complete graph $K_{Δ+ 1}$.
Groups with Locally Modular Homogeneous Pregeometries are Commutative
Published
• View Publication
• BIB
It is well known that strongly minimal groups are commutative. Whether this is true for various generalisations of strong minimality has been asked in several different settings (see Hyttinen [2002], Maesono [2007], Pillay and Tanović [2011]). In this note we show that the answer is positive for groups with locally modular homogeneous pregeometries.
Expansion of permutations as products of transpositions
We compute the number of ways a given permutation can be written as a product of exactly $k$ transpositions. We express this number as a linear combination of explicit geometric sequences, with coefficients which can be computed in many particular cases. Along the way we prove several symmetry properties for matrices associated with bipartite graphs, as well as some general (likely known) properties of Young diagrams. The methods involve linear algebra, enumeration of border strip tableau, and a differential operator on symmetric polynomials.
An optimal XP algorithm for Hamiltonian cycle on graphs of bounded clique-width
Published
• View Publication
• BIB
In this paper, we prove that, given a clique-width $k$-expression of an $n$-vertex graph, \textsc{Hamiltonian Cycle} can be solved in time $n^{\mathcal{O}(k)}$. This improves the naive algorithm that runs in time $n^{\mathcal{O}(k^2)}$ by Espelage et al. (WG 2001), and it also matches with the lower bound result by Fomin et al. that, unless the Exponential Time Hypothesis fails, there is no algorithm running in time $n^{o(k)}$ (SIAM. J. Computing 2014).
We present a technique of representative sets using two-edge colored multigraphs on $k$ vertices. The essential idea is that, for a two-edge colored multigraph, the existence of an Eulerian trail that uses edges with different colors alternately can be determined by two information: the number of colored edges incident with each vertex, and the connectedness of the multigraph. With this idea, we avoid the bottleneck of the naive algorithm, which stores all the possible multigraphs on $k$ vertices with at most $n$ edges.
Bijections for Dyck paths with all peak heights of the same parity
We show bijectively that Dyck paths with all peaks at odd height are counted by the Motzkin numbers and Dyck paths with all peaks at even height are counted by the Riordan numbers.
1-Fan-Bundle-Planar Drawings of Graphs
Published in Theor. Comput. Sci. 723: 23-50 (2018)
• View Publication
• BIB
Edge bundling is an important concept heavily used for graph visualization purposes. To enable the comparison with other established near-planarity models in graph drawing, we formulate a new edge-bundling model which is inspired by the recently introduced fan-planar graphs. In particular, we restrict the bundling to the end segments of the edges. Similarly to 1-planarity, we call our model 1-fan-bundle-planarity, as we allow at most one crossing per bundle.
For the two variants where we allow either one or, more naturally, both end segments of each edge to be part of bundles, we present edge density results and consider various recognition questions, not only for general graphs, but also for the outer and 2-layer variants. We conclude with a series of challenging questions.
Spanning trees and spanning closed walks with small degrees
Published
• View Publication
• BIB
Let $G$ be a graph and let $f$ be a positive integer-valued function on $V(G)$. In this paper, we show that if for all $S\subseteq V(G)$, $ω(G\setminus S)<\sum_{v\in S}(f(v)-2)+2+ω(G[S])$, then $G$ has a spanning tree $T$ containing an arbitrary given matching such that for each vertex $v$, $d_T(v)\le f(v)$, where $ω(G\setminus S)$ denotes the number of components of $G\setminus S$ and $ω(G[S])$ denotes the number of components of the induced subgraph $G[S]$ with the vertex set $S$. This is an improvement of several results. Next, we prove that if for all $S\subseteq V(G)$, $ω(G\setminus S)\le \sum_{v\in S} (f(v)-1)+1$, then $G$ admits a spanning closed walk passing through the edges of an arbitrary given matching meeting each vertex $v$ at most $f(v)$ times. This result solves a long-standing conjecture due to Jackson and Wormald (1990).
The Steiner 4-diameter of a graph
The Steiner distance of a graph, introduced by Chartrand, Oellermann, Tian and Zou in 1989, is a natural generalization of the concept of classical graph distance. For a connected graph $G$ of order at least $2$ and $S\subseteq V(G)$, the \emph{Steiner distance} $d_G(S)$ among the vertices of $S$ is the minimum size among all connected subgraphs whose vertex sets contain $S$. Let $n,k$ be two integers with $2\leq k\leq n$. Then the \emph{Steiner $k$-eccentricity $e_k(v)$} of a vertex $v$ of $G$ is defined by $e_k(v)=\max \{d(S)\,|\,S\subseteq V(G), \ |S|=k, \ and \ v\in S \}$. Furthermore, the \emph{Steiner $k$-diameter} of $G$ is $sdiam_k(G)=\max \{e_k(v)\,|\, v\in V(G)\}$. In 2011, Chartrand, Okamoto and Zhang showed that $k-1\leq sdiam_k(G)\leq n-1$. In this paper, graphs with $sdiam_4(G)=3,4,n-1$ are characterized, respectively.
Supercongruences between truncated ${}_3F_2$ hypergeometric series
We establish four supercongruences between truncated ${}_3F_2$ hypergeometric series involving $p$-adic Gamma functions, which extend some of the Rodriguez-Villegas supercongruences.
Graph homomorphisms on rectangular matrices over division rings II
Published
• View Publication
• BIB
Let ${\mathbb{D}}^{m\times n}$ be the set of $m\times n$ matrices over a division ring $\mathbb{D}$. Two matrices $A,B\in {\mathbb{D}}^{m\times n}$ are adjacent if ${\rm rank}(A-B)=1$. By the adjacency, ${\mathbb{D}}^{m\times n}$ is a connected graph. Suppose $\mathbb{D}, \mathbb{D}'$ are division rings and $m,n,m',n'\geq2$ are integers. We determine additive graph homomorphisms from ${\mathbb{D}}^{m\times n}$ to ${\mathbb{D}'}^{m'\times n'}$. When $|\mathbb{D}|\geq 4$, we characterize the graph homomorphism $\varphi: {\mathbb{D}}^{n\times n}\rightarrow {\mathbb{D}'}^{m'\times n'}$ if $\varphi(0)=0$ and there exists $A_0\in {\mathbb{D}}^{n\times n}$ such that ${\rm rank}(\varphi(A_0))=n$. We also discuss properties and ranges on degenerate graph homomorphisms. If $f:{\mathbb{D}}^{m\times n}\rightarrow {\mathbb{D}'}^{m'\times n'}$ (where ${\rm min}\{m,n\}=2$) is a degenerate graph homomorphism, we prove that the image of $f$ is contained in a union of two maximal adjacent sets of different types. For the case of finite fields, we obtain two better results on degenerate graph homomorphisms.
Pentavalent symmetric graphs of order four times an odd square-free integer
Published
• View Publication
• BIB
A graph is said to be symmetric if its automorphism group is transitive on its arcs. Guo et al. (Electronic J. Combin. 18, \#P233, 2011) and Pan et al. (Electronic J. Combin. 20, \#P36, 2013) determined all pentavalent symmetric graphs of order $4pq$. In this paper, we shall generalize this result by determining all connected pentavalent symmetric graphs of order four times an odd square-free integer. It is shown in this paper that, for each of such graphs $\itΓ$, either the full automorphism group ${\sf Aut}\itΓ$ is isomorphic to ${\sf PSL}(2,p)$, ${\sf PGL}(2,p)$, ${\sf PSL}(2,p){\times}\mathbb{Z}_2$ or ${\sf PGL}(2,p){\times}\mathbb{Z}_2$, or $\itΓ$ is isomorphic to one of 8 graphs.
Arc-transitive pentavalent Cayley graphs with soluble vertex stabilizer on finite nonabelian simple groups
Published
• View Publication
• BIB
A Cayley graph $\Ga=\Cay(G,S)$ is said to be normal if $G$ is normal in $\Aut\Ga$. The concept of normal Cayley graphs was first proposed by M.Y.Xu in [Discrete Math. 182, 309-319, 1998] and it plays an important role in determining the full automorphism groups of Cayley graphs. In this paper, we investigate the normality problem of the connected arc-transitive pentavalent Cayley graphs with soluble vertex stabilizer on finite nonabelian simple groups. We prove that all such graphs $\Ga$ are either normal or $G=\A_{39}$ or $\A_{79}$. Further, a connected arc-transitive pentavalent Cayley graph on $\A_{79}$ is constructed. To our knowledge, this is the first known example of pentavalent 3-arc-transitive Cayley graph on finite nonabelian simple group which is non-normal.
The independence number of the Birkhoff polytope graph, and applications to maximally recoverable codes
Published
• View Publication
• BIB
Maximally recoverable codes are codes designed for distributed storage which combine quick recovery from single node failure and optimal recovery from catastrophic failure. Gopalan et al [SODA 2017] studied the alphabet size needed for such codes in grid topologies and gave a combinatorial characterization for it.
Consider a labeling of the edges of the complete bipartite graph $K_{n,n}$ with labels coming from $F_2^d$ , that satisfies the following condition: for any simple cycle, the sum of the labels over its edges is nonzero. The minimal d where this is possible controls the alphabet size needed for maximally recoverable codes in n x n grid topologies.
Prior to the current work, it was known that d is between $(\log n)^2$ and $n\log n$. We improve both bounds and show that d is linear in n. The upper bound is a recursive construction which beats the random construction. The lower bound follows by first relating the problem to the independence number of the Birkhoff polytope graph, and then providing tight bounds for it using the representation theory of the symmetric group.
Planar graphs and Stanley's Chromatic Functions
This article is dedicated to the study of positivity phenomena for the chromatic symmetric function of a graph with respect to various bases of symmetric functions. We give a new proof of Gasharov's theorem on the Schur-positivity of the chromatic symmetric function of a $(3 + 1)$-free poset. We present a combinatorial interpretation of the Schur-coefficients in terms of planar networks. Compared to Gasharov's proof, it gives a clearer visual illustration of the cancellation procedures and is quite similar in spirit to the proof of monomial positivity of Schur functions via the Lindstrom-Gessel-Viennot lemma. We apply a similar device to the $e$-positivity problem of chromatic functions. Following Stanley, we analyze certain analogs of symmetric functions attached to graphs instead of working with chromatic symmetric functions of graphs directly. We introduce a new combinatorial object: the correct sequences of unit interval orders, and, using these, we reprove monomial positivity of $G$-analogues of the power sum symmetric functions.