Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Statistics on bargraphs viewed as cornerless Motzkin paths
Published
• View Publication
• BIB
A bargraph is a self-avoiding lattice path with steps $U=(0,1)$, $H=(1,0)$ and $D=(0,-1)$ that starts at the origin and ends on the $x$-axis, and stays strictly above the $x$-axis everywhere except at the endpoints. Bargraphs have been studied as a special class of convex polyominoes, and enumerated using the so-called wasp-waist decomposition of Bousquet-Mélou and Rechnitzer. In this paper we note that there is a trivial bijection between bargraphs and Motzkin paths without peaks or valleys. This allows us to use the recursive structure of Motzkin paths to enumerate bargraphs with respect to several statistics, finding simpler derivations of known results and obtaining many new ones. We also count symmetric bargraphs and alternating bargraphs. In some cases we construct statistic-preserving bijections between different combinatorial objects, proving some identities that we encounter along the way.
Quadratic Generated Normal Domains From Graphs
Published
• View Publication
• BIB
Determining whether an arbitrary subring $R$ of $k[x_1^{\pm 1},\dots, x_n^{\pm 1}]$ is a normal domain is, in general, a nontrivial problem, even in the special case of a monomial generated domain. In this paper, we provide a complete characterization of the normality and normalizations of quadratic-monomial generated domains. For a quadratic-monomial generated domain $R$, we develop a combinatorial structure that assigns, to each quadratic monomial of the ring, an edge in a mixed signed, directed graph $G$, i.e., a graph with signed edges and directed edges. We classify the normality and the normalizations of such rings in terms of a generalization of the combinatorial odd cycle condition on $G$.
Representation of convex geometries by circles on a plane
Published
• View Publication
• BIB
Convex geometries are closure systems satisfying the anti-exchange axiom. Every finite convex geometry can be embedded into a convex geometry of finitely many points in an n-dimensional space equipped with a convex hull operator, by the result of K. Kashiwabara, M.Nakamura and Y.Okamoto (2005). Allowing circles rather than points, as was suggested by G.Czédli (2014), may presumably reduce the dimension for representation. This paper introduces a property, the Weak $2\times 3$-Carousel rule, which is satisfied by all convex geometries of circles on a plane, and we show that it does not hold in all finite convex geometries. This raises a number of representation problems for convex geometries, which may allow us to better understand the properties of Euclidean space related to its dimension.
Wiener index, Harary index and Hamiltonicity of graphs
Published in MATCH Commun. Math. Comput. Chem.78(2017) no.1, pp.153--162
• Search Publication
In this paper, we prove tight sufficient conditions for traceability and Hamiltonicity of connected graphs with given minimum degree, in terms of Wiener index and Harary index. We also prove some result on Hamiltonicity of balanced bipartite graphs in the similar fashion. In two recent papers \cite{LDJ2016,LDJ2017}, Liu et al. corrected some previous work on traceability of connected graphs in terms of Wiener index and Harary index, respectively, such as \cite{HW2013,Y2013}. We generalize these results and give short and unified proofs. All results in this paper are best possible.
Central measures on multiplicative graphs, representations of Lie algebras and weight polytopes
To each finite-dimensional representation of a simple Lie algebra is associated a multiplicative graph in the sense of Kerov and Vershik definedfrom the decomposition of its tensor powers into irreducible components. The conditioning of naturalrandom Littelmann paths to stay in their corresponding Weyl chamber is thencontrolled by central measures on this type of graphs. Using the K-theory of associated C*-algebras, Handelman established a homeomorphism between the set of central measures on these multiplicative graphs and the weight polytope of theunderlying representation. In the present paper, we make explicit this homeomorphism independently of Handelman's results by using Littelmann's path model. As a by-product we also get an explicit parametrization of theweight polytope in terms of drifts of random Littelmann paths. This explicit parametrization yields a complete description of harmonic and c-harmonic functions for this Littelmann paths model.
Two-connected spanning subgraphs with at most $\frac{10}{7}$OPT edges
Published
• View Publication
• BIB
We present a $\frac{10}{7}$-approximation algorithm for the minimum two-vertex-connected spanning subgraph problem.
Triple arrays from difference sets
Published in J. Combinatorial Designs 25 (2017), 494-506
• View Publication
• BIB
This paper addresses the question whether triple arrays can be constructed from Youden squares developed from difference sets. We prove that if the difference set is abelian, then having $-1$ as multiplier is both a necessary and sufficient condition for the construction to work. Using this, we are able to give a new infinite family of triple arrays. We also give an alternative and more direct version of the construction, leaving out the intermediate step via Youden squares. This is used when we analyse the case of non-abelian difference sets, for which we prove a sufficient condition for giving triple arrays. We do a computer search for such non-abelian difference sets, but have not found any examples satisfying the given condition.
A study of the Structural Properties of finite $G$-graphs and their Characterisation
The $G$-graph $Γ(G,S)$ is a graph from the group $G$ generated by $S\subseteq G$, where the vertices are the right cosets of the cyclic subgroups $\langle s \rangle, s\in S$ with $k$-edges between two distinct cosets if there is an intersection of $k$ elements. In this thesis, after presenting some important properties of $G$-graphs, we show how the $G$-graph depends on the generating set of the group. We give the $G$-graphs of the symmetric group, alternating group and the semi-dihedral group with respect to various generating sets. We give a characterisation of finite $G$-graphs; in the general case and a bipartite case. Using these characterisations, we give several classes of graphs that are $G$-graphs. For instance, we consider the Turán graphs, the platonic graphs and biregular graphs such as the Levi graphs of geometric configurations. We emphasis the structural properties of $G$-graphs and their relations to the group $G$ and the generating set $S$.
As preliminary results for further studies, we give the adjacency matrix and spectrum of various finite $G$-graphs. As an application, we compute the energy of these graphs. We also present some preliminary results on infinite $G$-graphs where we consider the $G$-graphs of the infinite group $SL_2(\mathbb{Z})$ and an infinite non-Abelian matrix group.
Optimal point sets determining few distinct triangles
We generalize work of Erdos and Fishburn to study the structure of finite point sets that determine few distinct triangles. Specifically, we ask for a given $t$, what is the maximum number of points that can be placed in the plane to determine exactly $t$ distinct triangles? Denoting this quantity by $F(t)$, we show that $F(1) = 4$, $F(2) = 5$, and $F(t) < 48(t+1)$ for all $t$. We also completely characterize the optimal configurations for $t = 1, 2$.
On the complexity of failed zero forcing
Published
• View Publication
• BIB
Let $G$ be a simple graph whose vertices are partitioned into two subsets, called filled vertices and empty vertices. A vertex $v$ is said to be forced by a filled vertex $u$ if $v$ is a unique empty neighbor of $u$. If we can fill all the vertices of $G$ by repeatedly filling the forced ones, then we call an initial set of filled vertices a forcing set. We discuss the so-called failed forcing number of a graph, which is the largest cardinality of a set which is not forcing. Answering the recent question of Ansill, Jacob, Penzellna, Saavedra, we prove that this quantity is NP-hard to compute. Our proof also works for a related graph invariant which is called the skew failed forcing number.
On Robust Colorings of Hamming-Distance Graphs
Published
• View Publication
• BIB
$H_q(n,d)$ is defined as the graph with vertex set ${\mathbb Z}_q^n$ and where two vertices are adjacent if their Hamming distance is at least $d$. The chromatic number of these graphs is presented for various sets of parameters $(q,n,d)$. For the $4$-colorings of the graphs $H_2(n,n-1)$ a notion of robustness is introduced. It is based on the tolerance of swapping colors along an edge without destroying properness of the coloring. An explicit description of the maximally robust $4$-colorings of $H_2(n,n-1)$ is presented.
Reconstruction from $k$-decks for graphs with maximum degree 2
The $k$-deck of a graph is its multiset of induced subgraphs on $k$ vertices. We prove that $n$-vertex graphs with maximum degree $2$ have the same $k$-decks if each cycle has at least $k+1$ vertices, each path component has at least $k-1$ vertices, and the number of edges is the same. Using this for lower bounds, we obtain for each graph with maximum degree at most $2$ the least $k$ such that it is determined by its $k$-deck. For the $n$-vertex cycle this value is $\lfloor n/2 \rfloor$, and for the $n$-vertex path it is $\lfloor n/2 \rfloor+1$. Also, the least $k$ such that the $k$-deck of an $n$-vertex graph always determines whether it is connected is at least $\lfloor n/2 \rfloor +1$.
Counting strongly connected $(k_1,k_2)$-directed cores
Published
• View Publication
• BIB
Consider the set of all digraphs on $[N]$ with $M$ edges, whose minimum in-degree and minimum out-degree are at least $k_1$ and $k_2$ respectively. For $k:=\min\{k_1,k_2\}\ge 2$ and $M/N>\max\{k_1,k_2\}$, $M=Θ(N)$, we show that, among those digraphs, the fraction of $k$-strongly connected digraphs is $1-O\bigl(N^{-(k-1)})$. Earlier with Dan Poole we identified a sharp edge-density threshold $c^*(k_1,k_2)$ for birth of a giant $(k_1,k_2)$-core in the random digraph $D(n,m=[cn])$. Combining the claims, for $c>c^*(k_1,k_2)$ with probability $1-O\bigl(N^{-(k-1)})$ the giant $(k_1,k_2)$-core exists and is $k$-strongly connected.
Induced subgraphs of graphs with large chromatic number. V. Chandeliers and strings
Published
• View Publication
• BIB
It is known that every graph of sufficiently large chromatic number and bounded clique number contains, as an induced subgraph, a subdivision of any fixed forest, and a subdivision of any fixed cycle. Equivalently, forests and triangles are pervasive, where H is pervasive (in some class of graphs) if for all s>0, every graph in the class with bounded clique number and sufficiently large chromatic number contains an induced subdivision of H, with every edge subdivided at least s times.
Which other graphs are pervasive? Chalopin, Esperet, Li and Ossona de Mendez proved that every such graph is a forest of lanterns: roughly, the blocks are lanterns (graphs obtained from a tree by adding one extra vertex), and there are rules about how blocks fit together. It is not known whether every forest of lanterns is pervasive; but in another paper two of us prove that banana trees (multigraphs obtained from a forest by adding parallel edges) are pervasive, thus generalizing the two results above. This paper contains the first half of the proof, which works for any forest of lanterns, not just for banana trees.
A class of graphs is r-controlled if for every graph in the class, its chromatic number is at most some function (determined by the class) of the largest chromatic number of an r-ball in the graph. In this paper we prove that for all r>1, every forest of lanterns is pervasive in every r-controlled class
These results turn out particularly nicely when applied to string graphs (intersection graphs of sets of curves in the plane). A chandelier is a graph obtained from a tree by adding a vertex adjacent to its leaves. We prove that the class of string graphs is 2-controlled, and thus forests of lanterns are pervasive in this class. Furthermore, string graphs of sufficiently large chromatic number and bounded clique number contain any fixed chandelier as an induced subgraph.
Block Crossings in Storyline Visualizations
Published
• View Publication
• BIB
Storyline visualizations help visualize encounters of the characters in a story over time. Each character is represented by an x-monotone curve that goes from left to right. A meeting is represented by having the characters that participate in the meeting run close together for some time. In order to keep the visual complexity low, rather than just minimizing pairwise crossings of curves, we propose to count block crossings, that is, pairs of intersecting bundles of lines.
Our main results are as follows. We show that minimizing the number of block crossings is NP-hard, and we develop, for meetings of bounded size, a constant-factor approximation. We also present two fixed-parameter algorithms and, for meetings of size 2, a greedy heuristic that we evaluate experimentally.
Note on von Neumann and Rényi entropies of a Graph
Published
• View Publication
• BIB
We conjecture that all connected graphs of order $n$ have von Neumann entropy at least as great as the star $K_{1,n-1}$ and prove this for almost all graphs of order $n$. We show that connected graphs of order $n$ have Rényi 2-entropy at least as great as $K_{1,n-1}$ and for $α>1$, $K_n$ maximizes Rényi $α$-entropy over graphs of order $n$. We show that adding an edge to a graph can lower its von Neumann entropy.
A note on graphs with exactly two main eigenvalues
Published
• View Publication
• BIB
In this note, we consider connected graphs with exactly two main eigenvalues. We will give several constructions for them, and as a consequence we show a family of those graphs with an unbounded number of distinct valencies.
Density of Zeros of the Tutte Polynomial
Published
• View Publication
• BIB
The Tutte polynomial of a graph is a two-variable polynomial whose zeros and evaluations encode many interesting properties of the graph. In this article we investigate the zeros of the Tutte polynomials of graphs, and show that they form a dense subset of certain regions of the plane. This is the first density result for the zeros of the Tutte polynomial in a region of positive volume. Our result almost confirms a conjecture of Jackson and Sokal except for one region which is related to an open problem on flow polynomials.
Covering Radius of Matrix Codes Endowed with the Rank Metric
Published
• View Publication
• BIB
In this paper we study properties and invariants of matrix codes endowed with the rank metric, and relate them to the covering radius. We introduce new tools for the analysis of rank-metric codes, such as puncturing and shortening constructions. We give upper bounds on the covering radius of a code by applying different combinatorial methods. We apply the various bounds to the classes of maximal rank distance and quasi maximal rank distance codes.
Constructing Large-scale Low-latency Network from Small Optimal Networks
Published
• View Publication
• BIB
The construction of large-scale, low-latency networks becomes difficult as the number of nodes increases. In general, the way to construct a theoretically optimal solution is unknown. However, it is known that some methods can construct suboptimal networks with low-latency. One such method is to construct large-scale networks from optimal or suboptimal small networks, using the product of graphs. There are two major advantages to this method. One is that we can reuse small, already known networks to construct large-scale networks. The other is that the networks obtained by this method have graph-theoretical symmetry, which reduces the overhead of communication between nodes. A network can be viewed as a graph, which is a mathematical term from combinatorics. The design of low-latency networks can be treated as a mathematical problem of finding small diameter graphs with a given number of nodes ( called order ) and a given number of connections between each node ( called degree ). In this paper, we overview how to construct large graphs from optimal or suboptimal small graphs by using graph-theoretical products. We focus on the case of diameter 2 in particular. As an example, we introduce a graph of order 256, degree 22 and diameter 2, which granted us the Deepest Improvement Award at the Graph Golf competition. Moreover, the average shortest path length of the graph is the smallest in graphs of order 256 and degree 22.