Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Odd extensions of transitive groups via symmetric graphs
Published
• View Publication
• BIB
When dealing with symmetry properties of mathematical objects, one of the fundamental questions is to determine their full automorphism group. In this paper this question is considered in the context of even/odd permutations dichotomy. More precisely: when is it that existence of automorphisms acting as even permutations on the vertex set of a graph, called {\em even automorphisms}, forces existence of automorphisms that act as odd permutations, called {\em odd automorphisms}. As a first step towards resolving the above question, a complete information on existence of odd automorphisms in cubic symmetric graphs is given.
Algorithms for Colourful Simplicial Depth and Medians in the Plane
Published
• View Publication
• BIB
The colourful simplicial depth of a point x in the plane relative to a configuration of n points in k colour classes is exactly the number of closed simplices (triangles) with vertices from 3 different colour classes that contain x in their convex hull. We consider the problems of efficiently computing the colourful simplicial depth of a point x, and of finding a point, called a median, that maximizes colourful simplicial depth.
For computing the colourful simplicial depth of x, our algorithm runs in time O(n log(n) + k n) in general, and O(kn) if the points are sorted around x. For finding the colourful median, we get a time of O(n^4). For comparison, the running times of the best known algorithm for the monochrome version of these problems are O(n log(n)) in general, improving to O(n) if the points are sorted around x for monochrome depth, and O(n^4) for finding a monochrome median.
Restricted completion of sparse partial Latin squares
Published in Combinator. Probab. Comp. 28 (2019) 675-695
• View Publication
• BIB
An $n \times n$ partial Latin square $P$ is called $α$-dense if each row and column has at most $αn$ non-empty cells and each symbol occurs at most $αn$ times in $P$. An $n \times n$ array $A$ where each cell contains a subset of $\{1,\dots, n\}$ is a $(βn, βn, βn)$-array if each symbol occurs at most $βn$ times in each row and column and each cell contains a set of size at most $βn$. Combining the notions of completing partial Latin squares and avoiding arrays, we prove that there are constants $α, β> 0$ such that, for every positive integer $n$, if $P$ is an $α$-dense $n \times n$ partial Latin square, $A$ is an $n \times n$ $(βn, βn, βn)$-array, and no cell of $P$ contains a symbol that appears in the corresponding cell of $A$, then there is a completion of $P$ that avoids $A$; that is, there is a Latin square $L$ that agrees with $P$ on every non-empty cell of $P$, and, for each $i,j$ satisfying $1 \leq i,j \leq n$, the symbol in position $(i,j)$ in $L$ does not appear in the corresponding cell of $A$.
Toll number of the Cartesian and the lexicographic product of graphs
Published
• View Publication
• BIB
Toll convexity is a variation of the so-called interval convexity. A tolled walk $T$ between $u$ and $v$ in $G$ is a walk of the form $T: u,w_1,\ldots,w_k,v,$ where $k\ge 1$, in which $w_1$ is the only neighbor of $u$ in $T$ and $w_k$ is the only neighbor of $v$ in $T$. As in geodesic or monophonic convexity, toll interval between $u,v\in V(G)$ is a set $T_G(u,v)=\{x\in V(G)\,:\,x \textrm{ lies on a tolled walk between } u \textrm{ and } v\}$. A set of vertices $S$ is toll convex, if $T_{G}(u,v)\subseteq S$ for all $u,v\in S$. First part of the paper reinvestigates the characterization of convex sets in the Cartesian product of graphs. Toll number and toll hull number of the Cartesian product of two arbitrary graphs is proven to be 2. The second part deals with the lexicographic product of graphs. It is shown that if $H$ is not isomorphic to a complete graph, $tn(G \circ H) \leq 3\cdot tn(G)$. We give some necessary and sufficient conditions for $tn(G \circ H) = 3\cdot tn(G)$. Moreover, if $G$ has at least two extreme vertices, a complete characterization is given. Also graphs with $tn(G \circ H)=2$ are characterized - this is the case iff $G$ has an universal vertex and $tn(H)=2$. Finally, the formula for $tn(G \circ H)$ is given - it is described in terms of the so-called toll-dominating triples.
$χ$-bounds, operations and chords
Published in Journal of Graph Theory, 88, 0364-9024, 2018
• View Publication
• BIB
A \emph{long unichord} in a graph is an edge that is the unique chord of some cycle of length at least 5. A graph is \emph{long-unichord-free} if it does not contain any long-unichord. We prove a structure theorem for long-unichord-free graph. We give an $O(n^4m)$-time algorithm to recognize them. We show that any long-unichord-free graph $G$ can be colored with at most $O(ω^3)$ colors, where $ω$ is the maximum number of pairwise adjacent vertices in $G$.
An invariant for minimum triangle-free graphs
We study the number of edges, $e(G)$, in triangle-free graphs with a prescribed number of vertices, $n(G)$, independence number, $α(G)$, and number of cycles of length four, $\operatorname{N}(C_4;G)$. We in particular show that $$3e(G) - 17n(G) + 35α(G) + \operatorname{N}(C_4;G) \geq 0$$ for all triangle-free graphs $G$. We also characterise the graphs that satisfy this inequality with equality.
Frobenius and Cartier algebras of Stanley-Reisner rings (II)
Published
• View Publication
• BIB
It is known that the Frobenius algebra of the injective hull of the residue field of a complete Stanley--Reisner ring (i.e. a formal power series ring modulo a squarefree monomial ideal) can be only principally generated or infinitely generated as algebra over its degree zero piece, and that this fact can be read off in the corresponding simplicial complex; in the infinite case, we exhibit a 1--1 correspondence between potential new generators appearing on each graded piece and certain pairs of faces of such a simplicial complex, and we use it to provide an alternative proof of the fact that these Frobenius algebras can only be either principally generated or infinitely generated.
Spectrally Perron Polynomials and the Cauchy-Ostrovsky Theorem
Published
• View Publication
• BIB
In this note, we simplify the statements of theorems attributed to Cauchy and Ostrovsky and give proofs of each theorem via combinatorial and nonnegative matrix theory. We also show that each simple sufficient condition in each statement is also necessary in its respective case. In addition, we introduce the notion of a spectrally Perron polynomial and pose a problem that appeals to a wide mathematical audience.
Graphic TSP in cubic graphs
We present a polynomial-time 9/7-approximation algorithm for the graphic TSP for cubic graphs, which improves the previously best approximation factor of 1.3 for 2-connected cubic graphs and drops the requirement of 2-connectivity at the same time. To design our algorithm, we prove that every simple 2-connected cubic n-vertex graph contains a spanning closed walk of length at most 9n/7-1, and that such a walk can be found in polynomial time.
On Graphs Representable by Pattern-Avoiding Words
Published
• View Publication
• BIB
In this paper we study graphs defined by pattern-avoiding words. Word-representable graphs have been studied extensively following their introduction in 2000 and are the subject of a book published by Kitaev in 2015. Recently there has been interest in studying graphs represented by pattern-avoiding words. In particular, in 2016, Gao, Kitaev, and Zhang investigated 132-representable graphs, that is, word-representable graphs that can be represented by a word which avoids the pattern 132. They proved that all 132- representable graphs are circle graphs and provided examples and properties of 132-representable graphs. They posed several questions, some of which we answer in this paper.
One of our main results is that not all circle graphs are 132-representable, thus proving that 132-representable graphs are a proper subset of circle graphs, a question that was left open in the paper by Gao et al. We show that 123-representable graphs are also a proper subset of circle graphs, and are different from 132-representable graphs. We also study graphs represented by pattern-avoiding 2-uniform words, that is, words in which every letter appears exactly twice.
A misère play $\star$-operator
Published
• View Publication
• BIB
We study the $\star$-operator (Larsson et al. 2011) of impartial vector subtraction games (Golomb 1965). Here we extend the notion to the misère-play convention, and prove convergence and other properties; notably more structure is obtained under misère-play as compared with the normal-play convention (Larsson 2012).
Maximum atom-bond connectivity index with given graph parameters
Published in Discrete Appl. Math., 2016
• View Publication
• BIB
The atom-bond connectivity (ABC) index is a degree-based topological index. It was introduced due to its applications in modeling the properties of certain molecular structures and has been since extensively studied. In this note, we examine the influence on the extremal values of the ABC index by various graph parameters. More specifically, we consider the maximum ABC index of connected graphs of given order, with fixed independence number, number of pendent vertices, chromatic number and edge-connectivity respectively. We provide characterizations of extremal structures as well as some conjectures. Numerical analysis of the extremal values are also presented.
Graphs with large girth and nonnegative curvature dimension condition
Published
• View Publication
• BIB
In this paper, we classify unweighted graphs satisfying the curvature dimension condition CD(0,\infty) whose girth are at least five.
Multiple Exchange Property for M$^\natural$-concave Functions and Valuated Matroids
Published
• View Publication
• BIB
The multiple exchange property for matroid bases is generalized for valuated matroids and M$^\natural$-concave set functions. The proof is based on the Fenchel-type duality theorem in discrete convex analysis. The present result has an implication in economics: The strong no complementarities (SNC) condition of Gul and Stacchetti is in fact equivalent to the gross substitutes (GS) condition of Kelso and Crawford.
Random subgraphs of properly edge-coloured complete graphs and long rainbow cycles
Published
• View Publication
• BIB
A subgraph of an edge-coloured complete graph is called rainbow if all its edges have different colours. In 1980 Hahn conjectured that every properly edge-coloured complete graph $K_n$ has a rainbow Hamiltonian path. Although this conjecture turned out to be false, it was widely believed that such a colouring always contains a rainbow cycle of length almost $n$. In this paper, improving on several earlier results, we confirm this by proving that every properly edge-coloured $K_n$ has a rainbow cycle of length $n-O(n^{3/4})$. One of the main ingredients of our proof, which is of independent interest, shows that a random subgraph of a properly edge-coloured $K_n$ formed by the edges of a random set of colours has a similar edge distribution as a truly random graph with the same edge density. In particular it has very good expansion properties.
Distances in domino flip graphs
Published
• View Publication
• BIB
This article is about measuring and visualizing distances between domino tilings. Given two tilings of a simply connected square tiled surface, we're interested in the minimum number of flips between two tilings. Given a certain shape, we're interested in computing the diameters of the flip graphs, meaning the maximal distance between any two of its tilings. Building on work of Thurston and others, we give geometric interpretations of distances which result in formulas for the diameters of the flip graphs of rectangles or Aztec diamonds.
Towards a uniform subword complex description of acyclic finite type cluster algebras
Published
• View Publication
• BIB
It has been established in recent years how to approach acyclic cluster algebras of finite type using subword complexes. In this paper, we continue this study by describing the c- and g-vectors, and by providing a conjectured description of the Newton polytopes of the F-polynomials. In particular, we show that this conjectured description would imply that finite type cluster complexes are realized by the duals of the Minkowski sums of the Newton polytopes of either the F-polynomials, or of the cluster variables, respectively.
Geometry of the vacant set left by random walk on random graphs, Wright's constants, and critical random graphs with prescribed degrees
Published
• View Publication
• BIB
We provide an explicit algorithm for sampling a uniform simple connected random graph with a given degree sequence. By products of this central result include:
(i) continuum scaling limits of uniform simple connected graphs with given degree sequence and asymptotics for the number of simple connected graphs with given degree sequence under some regularity conditions, and
(ii) scaling limits for the metric space structure of the maximal components in the critical regime of both the configuration model and the uniform simple random graph model with prescribed degree sequence under finite third moment assumption on the degree sequence.
As a substantive application we answer a question raised by Cerny and Teixeira by obtaining the metric space scaling limit of maximal components in the vacant set left by random walks on random regular graphs.
On Hypohamiltonian Snarks and a Theorem of Fiorini
Published
• View Publication
• BIB
We discuss an omission in the statement and proof of Fiorini's 1983 theorem on hypohamiltonian snarks and present a version of this theorem which is more general in several ways. Using Fiorini's erroneous result, Steffen showed that hypohamiltonian snarks exist for some $n \ge 10$ and each even $n \ge 92$. We rectify Steffen's proof by providing a correct demonstration of a technical lemma on flower snarks, which might be of separate interest. We then strengthen Steffen's theorem to the strongest possible form by determining all orders for which hypohamiltonian snarks exists. This also strengthens a result of Máčajová and Škoviera. Finally, we verify a conjecture of Steffen on hypohamiltonian snarks up to 36 vertices.
Lots of Aperiodic Sets of Tiles
Published
• View Publication
• BIB
Aperiodic tiling --- a form of complex global geometric structure arising through locally checkable, constant-time matching rules --- has long been closely tied to a wide range of physical, information-theoretic, and foundational applications, but its study and use has been hindered by a lack of easily generated examples. Through readily generalized, robust techniques for controlling hierarchical structure, we increase the catalogue of explicit constructions of aperiodic sets of tiles hundreds-fold, in lots, easily assembled and configured from atomic subsets of 211 tiles, enforcing 25,380 distinct "domino" substitution tiling systems. Among these, we notice three non-periodic, non-unique decomposition substitution tiling systems.