Showing 20 papers (Total: 82851 papers, 47869 authors in database)
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.
A new approach to $e$-positivity for Stanley's chromatic functions
In this paper, we study positivity phenomena for the $e$-coefficients of Stanley's chromatic function of a graph. We introduce a new combinatorial object: the {\em correct} sequences of unit interval orders, and using these, in certain cases, we succeed to construct combinatorial models of the coefficients appearing in Stanley's conjecture. Our main result is the proof of positivity of the coefficients $c_{n-k,1^k}$, $c_{n-2,2}$, $c_{n-3,2,1}$ and $c_{2^k,1^{n-2k}}$ of the expansion of the chromatic symmetric function in terms of the basis of the elementary symmetric polynomials for the case of $(3+1)$-free posets.
Enumerating multiplex juggling patterns
Mathematics has been used in the exploration and enumeration of juggling patterns. In the case when we catch and throw one ball at a time the number of possible juggling patterns is well-known. When we are allowed to catch and throw any number of balls at a given time (known as multiplex juggling) the enumeration is more difficult and has only been established in a few special cases. We give a method of using cards related to "embeddings" of ordered partitions to enumerate the count of multiplex juggling sequences, determine these counts for small cases, and establish some combinatorial properties of the set of cards needed.
Bounds for phylogenetic network space metrics
Published
• View Publication
• BIB
Phylogenetic networks are a generalization of phylogenetic trees that allow for representation of reticulate evolution. Recently, a space of unrooted phylogenetic networks was introduced, where such a network is a connected graph in which every vertex has degree 1 or 3 and whose leaf-set is a fixed set $X$ of taxa. This space, denoted $\mathcal{N}(X)$, is defined in terms of two operations on networks -- the nearest neighbor interchange and triangle operations -- which can be used to transform any network with leaf set $X$ into any other network with that leaf set. In particular, it gives rise to a metric $d$ on $\mathcal N(X)$ which is given by the smallest number of operations required to transform one network in $\mathcal N(X)$ into another in $\mathcal N(X)$. The metric generalizes the well-known NNI-metric on phylogenetic trees which has been intensively studied in the literature. In this paper, we derive a bound for the metric $d$ as well as a related metric $d_{N\!N\!I}$ which arises when restricting $d$ to the subset of $\mathcal{N}(X)$ consisting of all networks with $2(|X|-1+i)$ vertices, $i \ge 1$. We also introduce two new metrics on networks -- the SPR and TBR metrics -- which generalize the metrics on phylogenetic trees with the same name and give bounds for these new metrics. We expect our results to eventually have applications to the development and understanding of network search algorithms.
Explicit expressions for the moments of the size of an (n, dn-1)-core partition with distinct parts
In a previous paper (arXiv:1608.02262), we used computer-assisted methods to find explicit expressions for the moments of the size of a uniform random (n,n+1)-core partition with distinct parts. In particular, we conjectured that the distribution is asymptotically normal. However, our analysis hinged on a characterization of (n,n+1)-core partitions given by Straub, which is not readily generalized to other families of simultaneous core partitions.
In another paper (arXiv:1611.05775) with Doron Zeilberger, we made use of the characterization in terms of posets to analyze (2n+1,2n+3)-core partitions with distinct parts; here, the distribution was found not to be asymptotically normal. Our method involved finding recursive structure in the relevant sequence of posets. We remarked that this method is applicable to other families of core partitions, provided that one can understand the corresponding posets.
Here, we use the poset method (and, as before, a computer) to analyze (n,dn-1)-core partitions with distinct parts, where d is a natural number. (This problem was introduced by Straub in arXiv:1601.07161.) We exhibit formulas for the moments of the size, as functions of d with n fixed, and vice versa. We conjecture that the distribution is asymptotically normal as n approaches infinity. Finally, we find formulas for the first few moments, as functions of both n and d.
Determinants of generalized binary band matrices
Published in Proceedings of the Komi Science Centre of the UrD RAS. 2016. N 4(28). pp. 5-10
• Search Publication
Under binary matrices we mean matrices whose entries take one of two values. In this paper, explicit formulae for calculating the determinant of some type of binary Toeplitz matrices are obtained. Examples of the application of the determinant of binary Toeplitz matrices for the enumeration of even and odd permutations of different types are given.
Dynamical systems associated with adjacency matrices
Published
• View Publication
• BIB
We develop the theory of linear evolution equations associated with the adjacency matrix of a graph, focusing in particular on infinite graphs of two kinds: uniformly locally finite graphs as well as locally finite line graphs. We discuss in detail qualitative properties of solutions to these problems by quadratic form methods. We distinguish between backward and forward evolution equations: the latter have typical features of diffusive processes, but cannot be well-posed on graphs with unbounded degree. On the contrary, well-posedness of backward equations is a typical feature of line graphs. We suggest how to detect even cycles and/or couples of odd cycles on graphs by studying backward equations for the adjacency matrix on their line graph.
$\ell$-distance-balanced graphs
Let $\ell$ denote a positive integer. A connected graph $\G$ of diameter at least $\ell$ is said to be $\ell${\it -distance-balanced} whenever for any pair of vertices $u,v$ of $\G$ such that $d(u,v)=\ell$, the number of vertices closer to $u$ than to $v$ is equal to the number of vertices closer to $v$ than to $u$. In this paper we present some basic properties of $\ell$-distance-balanced graphs and study in more detail $\ell$-distance-balanced graphs of diameter at most $3$. We also investigate the $\ell$-distance-balanced property of some well known families of graphs such as the generalized Petersen graphs.