Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Directed random walks on polytopes with few facets
Published
• View Publication
• BIB
Let $P$ be a simple polytope with $n-d = 2$, where $d$ is the dimension and $n$ is the number of facets. The graph of such a polytope is also called a grid. It is known that the directed random walk along the edges of $P$ terminates after $O(\log^2 n)$ steps, if the edges are oriented in a (pseudo-)linear fashion. We prove that the same bound holds for the more general unique sink orientations.
An Erdős-Gallai-type theorem for keyrings
Published in Graphs and Combinatorics, 34(4) 2018, 633-638
• View Publication
• BIB
A keyring is a graph obtained by appending $r \geq 1$ leaves to one of the vertices of a cycle. We prove that for every $r \leq (k-1)/2$, any graph with average degree more than $k-1$ contains a keyring with $r$ leaves and at least $k$ edges.
A lower bound for the size of Kakeya sets with respect to hyperplanes in $\mathbb{F}_q^n$
We prove that a subset of $\mathbb{F}_q^n$ that contains a hyperplane in any direction has size at least $q^{n}-O(q^2)$.
Complex Hadamard matrices with noncommutative entries
Published in Ann. Funct. Anal. 9, no. 3 (2018), 354-368
• View Publication
• BIB
We axiomatize and study the matrices of type $H\in M_N(A)$, having unitary entries, $H_{ij}\in U(A)$, and whose rows and columns are subject to orthogonality type conditions. Here $A$ can be any $C^*$-algebra, for instance $A=\mathbb C$, where we obtain the usual complex Hadamard matrices, or $A=C(X)$, where we obtain the continuous families of complex Hadamard matrices. Our formalism allows the construction of a quantum permutation group $G\subset S_N^+$, whose structure and computation is discussed here.
LLT polynomials, chromatic quasisymmetric functions and graphs with cycles
Published in Discrete mathematics, 2018
• View Publication
• BIB
We use a Dyck path model for unit-interval graphs to study the chromatic quasisymmetric functions introduced by Shareshian and Wachs, as well as vertical strip --- in particular, unicellular LLT polynomials.
We show that there are parallel phenomena regarding $e$-positivity of these two families of polynomials. In particular, we give several examples where the LLT polynomials behave like a "mirror image" of the chromatic quasisymmetric counterpart.
The Dyck path model is also extended to circular arc digraphs to obtain larger families of polynomials. This circular extensions of LLT polynomials has not been studied before. A lot of the combinatorics regarding unit interval graphs carries over to this more general setting, and we prove several statements regarding the $e$-coefficients of chromatic quasisymmetric functions and LLT polynomials.
In particular, we believe that certain $e$-positivity conjectures hold in all these families above. Furthermore, we study vertical-strip LLT polynomials, for which there is no natural chromatic quasisymmetric counterpart. These polynomials are essentially modified Hall--Littlewood polynomials, and are therefore of special interest.
In this more general framework, we are able to give a natural combinatorial interpretation for the $e$-coefficients for the line graph and the cycle graph, in both the chromatic and the LLT setting.
Sharp asymptotic for the chemical distance in long-range percolation
Published in Random Struct. & Alg. 55 (2019) 560--583
• View Publication
• BIB
We consider instances of long-range percolation on $\mathbb Z^d$ and $\mathbb R^d$, where points at distance $r$ get connected by an edge with probability proportional to $r^{-s}$, for $s\in (d,2d)$, and study the asymptotic of the graph-theoretical (a.k.a. chemical) distance $D(x,y)$ between $x$ and $y$ in the limit as $|x-y|\to\infty$. For the model on $\mathbb Z^d$ we show that, in probability as $|x|\to\infty$, the distance $D(0,x)$ is squeezed between two positive multiples of $(\log r)^Δ$, where $Δ:=1/\log_2(1/γ)$ for $γ:=s/(2d)$. For the model on $\mathbb R^d$ we show that $D(0,xr)$ is, in probability as $r\to\infty$ for any nonzero $x\in\mathbb R^d$, asymptotic to $φ(r)(\log r)^Δ$ for $φ$ a positive, continuous (deterministic) function obeying $φ(r^γ)=φ(r)$ for all $r>1$. The proof of the asymptotic scaling is based on a subadditive argument along a continuum of doubly-exponential sequences of scales. The results strengthen considerably the conclusions obtained earlier by the first author. Still, significant open questions remain.
Zero forcing number of graphs
Published
• View Publication
• BIB
A subset $S$ of initially infected vertices of a graph $G$ is called forcing if we can infect the entire graph by iteratively applying the following process. At each step, any infected vertex which has a unique uninfected neighbour, infects this neighbour. The forcing number of $G$ is the minimum cardinality of a forcing set in $G$. In the present paper, we study the forcing number of various classes of graphs, including graphs of large girth, $H$-free graphs for a fixed bipartite graph $H$, random and pseudorandom graphs.
Proof of a local antimagic conjecture
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 20 no. 1, Graph Theory (June 4, 2018) dmtcs:3887
• View Publication
• BIB
An antimagic labelling of a graph $G$ is a bijection $f:E(G)\to\{1,\ldots,E(G)\}$ such that the sums $S_v=\sum_{e\ni v}f(e)$ distinguish all vertices. A well-known conjecture of Hartsfield and Ringel (1994) is that every connected graph other than $K_2$ admits an antimagic labelling. Recently, two sets of authors (Arumugam, Premalatha, Bača \& Semaničová-Feňovčíková (2017), and Bensmail, Senhaji \& Lyngsie (2017)) independently introduced the weaker notion of a local antimagic labelling, where only adjacent vertices must be distinguished. Both sets of authors conjectured that any connected graph other than $K_2$ admits a local antimagic labelling. We prove this latter conjecture using the probabilistic method. Thus the parameter of local antimagic chromatic number, introduced by Arumugam et al., is well-defined for every connected graph other than $K_2$ .
A proof of a conjecture of Erdős, Faudree, Rousseau and Schelp on subgraphs of minimum degree $k$
Published
• View Publication
• BIB
Erdős, Faudree, Rousseau and Schelp observed the following fact for every fixed integer $k\geq 2$: Every graph on $n\geq k-1$ vertices with at least $(k-1)(n-k+2)+{k-2\choose 2}$ edges contains a subgraph with minimum degree at least $k$. However, there are examples in which the whole graph is the only such subgraph. Erdős et al. conjectured that having just one more edge implies the existence of a subgraph on at most $(1-\varepsilon_k)n$ vertices with minimum degree at least $k$, where $\varepsilon_k>0$ depends only on $k$. We prove this conjecture, using and extending ideas of Mousset, Noever and Škorić.
Cores with distinct parts and bigraded Fibonacci numbers
Published
• View Publication
• BIB
The notion of $(a,b)$-cores is closely related to rational $(a,b)$ Dyck paths due to Anderson's bijection, and thus the number of $(a,a+1)$-cores is given by the Catalan number $C_a$. Recent research shows that $(a,a+1)$ cores with distinct parts are enumerated by another important sequence- Fibonacci numbers $F_a$. In this paper, we consider the abacus description of $(a,b)$-cores to introduce the natural grading and generalize this result to $(a,as+1)$-cores. We also use the bijection with Dyck paths to count the number of $(2k-1,2k+1)$-cores with distinct parts. We give a second grading to Fibonacci numbers, induced by bigraded Catalan sequence $C_{a,b} (q,t)$.
Free monoids and generalized metric spaces
Published
• View Publication
• BIB
Let $A$ be an ordered alphabet, $A^{\ast}$ be the free monoid over $A$ ordered by the Higman ordering, and let $F(A^{\ast})$ be the set of final segments of $A^{\ast}$. With the operation of concatenation, this set is a monoid. We show that the submonoid $F^{\circ}(A^{\ast}):= F(A^{\ast})\setminus \{\emptyset\}$ is free. The MacNeille completion $N(A^{\ast})$ of $A^{\ast}$ is a submonoid of $F(A^{\ast})$. As a corollary, we obtain that the monoid $N^{\circ}(A^{\ast}):=N(A^{\ast})\setminus \{\emptyset\}$ is free. We give an interpretation of the freeness of $F^{\circ}(A^{\ast})$ in the category of metric spaces over the Heyting algebra $V:= F(A^{\ast})$, with the non-expansive mappings as morphisms. Each final segment of $A^{\ast}$ yields the injective envelope $\mathcal S_F$ of a two-element metric space over $V$. The uniqueness of the decomposition of $F$ is due to the uniqueness of the block decomposition of the graph $\mathcal {G}_{F}$ associated to this injective envelope.
Maximum nullity and zero forcing number on cubic graphs
Let $G$ be a graph. The maximum nullity of $G$, denoted by $M(G)$, is defined to be the largest possible nullity over all real symmetric matrices $A$ whose $a_{ij}\neq 0$ for $i\neq j$, whenever two vertices $u_i$ and $u_j$ of $G$ are adjacent. In this paper, we characterize all cubic graphs with zero forcing number $3$. As a corollary, it is shown that if the zero forcing number is $3$, then $M(G)=3$. In addition, we introduce a family of cubic graphs containing graphs $G$ with $M(G)=Z(G)=4$.
Also, we provide an algorithm which make a relation between maximum nullity of $G$ and the number of leaves in a spanning tree of $G$.
Maximum nullity of Cayley graph
One of the most interesting problems on maximum nullity (minimum rank) is to characterize $M(\mathcal{G})$ ($mr(\mathcal{G})$) for a graph $\mathcal{G}$. In this regard, many researchers have been trying to find an upper or lower bound for the maximum nullity. For more results on this topic, see \cite{4}, \cite{2}, \cite{10} and \cite{1}.
In this paper, by using a result of Babai \cite{Babai}, which presents the spectrum of a Cayley graph in terms of irreducible characters of the underlying group, and using representation and character of groups, we give a lower bound for the maximum nullity of Cayley graph, $X_S(G)$, where $G=\langle a\rangle$ is a cyclic group, or $G=G_1\times \cdots\times G_t$ such that $G_1=\langle a\rangle$ is a cyclic group and $G_i$ is an arbitrary finite group, for some $2\leq i\leq t$, with determine the spectrum of Cayley graphs.
Slimness of graphs
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 21 no. 3 , Graph Theory (March 4, 2019) dmtcs:4288
• View Publication
• BIB
Slimness of a graph measures the local deviation of its metric from a tree metric. In a graph $G=(V,E)$, a geodesic triangle $\bigtriangleup(x,y,z)$ with $x, y, z\in V$ is the union $P(x,y) \cup P(x,z) \cup P(y,z)$ of three shortest paths connecting these vertices. A geodesic triangle $\bigtriangleup(x,y,z)$ is called $δ$-slim if for any vertex $u\in V$ on any side $P(x,y)$ the distance from $u$ to $P(x,z) \cup P(y,z)$ is at most $δ$, i.e. each path is contained in the union of the $δ$-neighborhoods of two others. A graph $G$ is called $δ$-slim, if all geodesic triangles in $G$ are $δ$-slim. The smallest value $δ$ for which $G$ is $δ$-slim is called the slimness of $G$. In this paper, using the layering partition technique, we obtain sharp bounds on slimness of such families of graphs as (1) graphs with cluster-diameter $Δ(G)$ of a layering partition of $G$, (2) graphs with tree-length $λ$, (3) graphs with tree-breadth $ρ$, (4) $k$-chordal graphs, AT-free graphs and HHD-free graphs. Additionally, we show that the slimness of every 4-chordal graph is at most 2 and characterize those 4-chordal graphs for which the slimness of every of its induced subgraph is at most 1.
From dimers to webs
Published
• View Publication
• BIB
We formulate a higher-rank version of the boundary measurement map for weighted planar bipartite networks in the disk. It sends a network to a linear combination of SL$_r$-webs, and is built upon the r-fold dimer model on the network. When r equals 1, our map is a reformulation of Postnikov's boundary measurement used to coordinatize positroid strata. When r equals 2 or 3, it is a reformulation of the SL$_2$- and SL$_3$-web immanants defined by the second author. The basic result is that the higher rank map factors through Postnikov's map. As an application, we deduce generators and relations for the space of SL$_r$-webs, reproving a result of Cautis-Kamnitzer-Morrison. We establish compatibility between our map and restriction to positroid strata, and thus between webs and total positivity.
On Two Unsolved Problems Concerning Matching Covered Graphs
Published
• View Publication
• BIB
A cut $C:=\partial(X)$ of a matching covered graph $G$ is a separating cut if both its $C$-contractions $G/X$ and $G/\overline{X}$ are also matching covered. A brick is solid if it is free of nontrivial separating cuts. In 2004, we (Carvalho, Lucchesi and Murty) showed that the perfect matching polytope of a brick may be described without recourse to odd set constraints if and only if it is solid. In 2006, we proved that the only simple planar solid bricks are the odd wheels. The problem of characterizing nonplanar solid bricks remains unsolved.
A bi-subdivision of a graph $J$ is a graph obtained from $J$ by replacing each of its edges by paths of odd length. A matching covered graph $J$ is a conformal minor of a matching covered graph $G$ if there exists a bi-subdivision $H$ of $J$ which is a subgraph of $G$ such that $G-V(H)$ has a perfect matching. For a fixed matching covered graph $J$, a matching covered graph $G$ is $J$-based if $J$ is a conformal minor of $G$ and, otherwise, $G$ is $J$-free. A basic result due to Lovász (1983) states that every nonbipartite matching covered graph is either $K_4$-based or is $\overline{C_6}$-based or both, where $\overline{C_6}$ is the triangular prism. In 2016, we (Kothari and Murty) showed that, for any cubic brick $J$, a matching covered graph $G$ is $J$-free if and only if each of its bricks is $J$-free. We also found characterizations of planar bricks which are $K_4$-free and those which are $\overline{C_6}$-free. Each of these problems remains unsolved in the nonplanar case.
In this paper we show that the seemingly unrelated problems of characterizing nonplanar solid bricks and of characterizing nonplanar $\overline{C_6}$-free bricks are essentially the same. We do this by establishing that a simple nonplanar brick, other than the Petersen graph, is solid if and only if it is $\overline{C_6}$-free.
An update on non-Hamiltonian $\frac{5}{4}$-tough maximal planar graphs
Published
• View Publication
• BIB
Studying the shortness of longest cycles in maximal planar graphs, we improve the upper bound on the shortness exponent of the class of $\frac{5}{4}$-tough maximal planar graphs presented by Harant and Owens [Discrete Math. 147 (1995), 301--305]. In addition, we present two generalizations of a similar result of Tkáč who considered $1$-tough maximal planar graphs [Discrete Math. 154 (1996), 321--328]; we remark that one of these generalizations gives a tight upper bound. We fix a problematic argument used in the first paper.
Two characteristic polynomials corresponding to graphical networks over min-plus algebra
In this paper, we investigate characteristic polynomials of matrices in min-plus algebra. Eigenvalues of min-plus matrices are known to be the minimum roots of the characteristic polynomials based on tropical determinants which are designed from emulating standard determinants. Moreover, minimum roots of characteristic polynomials have a close relationship to graphs associated with min-plus matrices consisting of vertices and directed edges with weights. The literature has yet to focus on the other roots of min-plus characteristic polynomials. Thus, here we consider how to relate the 2nd, 3rd,... minimum roots of min-plus characteristic polynomials to graphical features. We then define new characteristic polynomials of min-plus matrices by considering an analogue of the Faddeev-LeVerrier algorithm that generates the characteristic polynomials of linear matrices. We conclusively show that minimum roots of the proposed characteristic polynomials coincide with min-plus eigenvalues, and observe the other roots as in the study of the already known characteristic polynomials. We also give an example to illustrate the difference between the already known and proposed characteristic polynomials.
Expansion and contraction functors on matriods
Let $M$ be a matroid. We study the expansions of $M$ mainly to see how the combinatorial properties of $M$ and its expansions are related to each other. It is shown that $M$ is a graphic, binary or a transversal matroid if and only if an arbitrary expansion of $M$ has the same property. Then we introduce a new functor, called contraction, which acts in contrast to expansion functor. As a main result of paper, we prove that a matroid $M$ satisfies White's conjecture if and only if an arbitrary expansion of $M$ does. It follows that it suffices to focus on the contraction of a given matroid for checking whether the matroid satisfies White's conjecture. Finally, some classes of matroids satisfying White's conjecture are presented.
On vertex types of graphs
Published
• View Publication
• BIB
The vertices of a graph are classified into seven types by J.T. Hedetniemi, S.M. Hedetniemi, S.T. Hedetniemi and T.M. Lewis and they ask the following questions: 1) What is the smallest order $n$ of a graph having $n-2$ very typical vertices or $n-2$ typical vertices? 2) What is the smallest order of a pantypical graph? We answer these two questions in this paper.