Showing 20 papers (Total: 82901 papers, 47900 authors in database)
Orthogonal representations of Steiner triple system incidence graphs
Published
• View Publication
• BIB
The Heawood graph is the point-block incidence graph of the Fano plane (the unique Steiner triple system of order 7). We show that the minimum semidefinite rank of this graph is 10. That is, 10 is the smallest number of complex dimensions in which this graph has a faithful orthogonal representation, i.e., an assignment of a vector to each vertex such that the edges occur between precisely those vertices given non-orthogonal pairs. Some of our techniques extend to the incidence graphs of Steiner triple systems of larger order, and we include some observations and questions about the more general case.
Counting Hamilton cycles in sparse random directed graphs
Published
• View Publication
• BIB
Let D(n,p) be the random directed graph on n vertices where each of the n(n-1) possible arcs is present independently with probability p. A celebrated result of Frieze shows that if $p\ge(\log n+ω(1))/n$ then D(n,p) typically has a directed Hamilton cycle, and this is best possible. In this paper, we obtain a strengthening of this result, showing that under the same condition, the number of directed Hamilton cycles in D(n,p) is typically $n!(p(1+o(1)))^{n}$. We also prove a hitting-time version of this statement, showing that in the random directed graph process, as soon as every vertex has in-/out-degrees at least 1, there are typically $n!(\log n/n(1+o(1)))^{n}$ directed Hamilton cycles.
On the automorphism group of the m-coloured random graph
Let $R_m$ be the (unique) universal homogeneous $m$-edge-coloured countable complete graph ($m\ge2$), and $G_m$ its group of colour-preserving automorphisms. The group $G_m$ was shown to be simple by John Truss. We examine the automorphism group of $G_m$, and show that it is the group of permutations of $R_m$ which induce permutations on the colours, and hence an extension of $G_m$ by the symmetric group of degree $m$. We show further that the extension splits if and only if $m$ is odd, and in the case where $m$ is even and not divisible by~$8$ we find the smallest supplement for $G_m$ in its automorphism group.
(This unpublished paper from 2007 is placed here because of renewed interest in the topic.)
Network Essence: PageRank Completion and Centrality-Conforming Markov Chains
Published
• View Publication
• BIB
Jiří Matoušek (1963-2015) had many breakthrough contributions in mathematics and algorithm design. His milestone results are not only profound but also elegant. By going beyond the original objects --- such as Euclidean spaces or linear programs --- Jirka found the essence of the challenging mathematical/algorithmic problems as well as beautiful solutions that were natural to him, but were surprising discoveries to the field.
In this short exploration article, I will first share with readers my initial encounter with Jirka and discuss one of his fundamental geometric results from the early 1990s. In the age of social and information networks, I will then turn the discussion from geometric structures to network structures, attempting to take a humble step towards the holy grail of network science, that is to understand the network essence that underlies the observed sparse-and-multifaceted network data. I will discuss a simple result which summarizes some basic algebraic properties of personalized PageRank matrices. Unlike the traditional transitive closure of binary relations, the personalized PageRank matrices take "accumulated Markovian closure" of network data. Some of these algebraic properties are known in various contexts. But I hope featuring them together in a broader context will help to illustrate the desirable properties of this Markovian completion of networks, and motivate systematic developments of a network theory for understanding vast and ubiquitous multifaceted network data.
Prism tableaux for alternating sign matrix varieties
A prism tableau is a set of reverse semistandard tableaux, each positioned within an ambient grid. Prism tableaux were introduced to provide a formula for the Schubert polynomials of A. Lascoux and M.P. Schützenberger. This formula directly generalizes the well known expression for Schur polynomials as a sum over semistandard tableaux. Alternating sign matrix varieties generalize the matrix Schubert varieties of W. Fulton. We use prism tableaux to give a formula for the multidegree of an alternating sign matrix variety.
An upper bound on tricolored ordered sum-free sets
We present a strengthening of the lemma on the lower bound of the slice rank by Tao (2016) motivated by the Croot-Lev-Pach-Ellenberg-Gijswijt bound on cap sets (2017, 2017). The Croot-Lev-Pach-Ellenberg-Gijswijt method and the lemma of Tao are based on the fact that the rank of a diagonal matrix is equal to the number of non-zero diagonal entries. Our lemma is based on the rank of upper-triangular matrices. This stronger lemma allows us to prove the following extension of the Ellenberg-Gijswijt result (2017). A tricolored ordered sum-free set in $\mathbb F_p^n$ is a collection $\{(a_i,b_i,c_i):i=1,2,\ldots,m\}$ of ordered triples in $(\mathbb F_p^n )^3$ such that $a_i+b_i+c_i=0$ and if $a_i+b_j+c_k=0$, then $i\le j\le k$. By using the new lemma, we present an upper bound on the size of a tricolored ordered sum-free set in $\mathbb F_p^n$.
Annular and pants thrackles
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 20 no. 1, Graph Theory (May 25, 2018) dmtcs:3883
• View Publication
• BIB
A thrackle is a drawing of a graph in which each pair of edges meets precisely once. Conway's Thrackle Conjecture asserts that a thrackle drawing of a graph on the plane cannot have more edges than vertices. We prove the Conjecture for thrackle drawings all of whose vertices lie on the boundaries of $d \le 3$ connected domains in the complement of the drawing. We also give a detailed description of thrackle drawings corresponding to the cases when $d=2$ (annular thrackles) and $d=3$ (pants thrackles).
The Weisfeiler-Leman Dimension of Planar Graphs is at most 3
Published
• View Publication
• BIB
We prove that the Weisfeiler-Leman (WL) dimension of the class of all finite planar graphs is at most 3. In particular, every finite planar graph is definable in first-order logic with counting using at most 4 variables. The previously best known upper bounds for the dimension and number of variables were 14 and 15, respectively.
First we show that, for dimension 3 and higher, the WL-algorithm correctly tests isomorphism of graphs in a minor-closed class whenever it determines the orbits of the automorphism group of any arc-colored 3-connected graph belonging to this class.
Then we prove that, apart from several exceptional graphs (which have WL-dimension at most 2), the individualization of two correctly chosen vertices of a colored 3-connected planar graph followed by the 1-dimensional WL-algorithm produces the discrete vertex partition. This implies that the 3-dimensional WL-algorithm determines the orbits of a colored 3-connected planar graph.
As a byproduct of the proof, we get a classification of the 3-connected planar graphs with fixing number 3.
Ramsey-nice families of graphs
Published in Eur. J. Combin. 72 (2018) 29-44
• View Publication
• BIB
For a finite family $\mathcal{F}$ of fixed graphs let $R_k(\mathcal{F})$ be the smallest integer $n$ for which every $k$-coloring of the edges of the complete graph $K_n$ yields a monochromatic copy of some $F\in\mathcal{F}$. We say that $\mathcal{F}$ is $k$-nice if for every graph $G$ with $χ(G)=R_k(\mathcal{F})$ and for every $k$-coloring of $E(G)$ there exists a monochromatic copy of some $F\in\mathcal{F}$. It is easy to see that if $\mathcal{F}$ contains no forest, then it is not $k$-nice for any $k$. It seems plausible to conjecture that a (weak) converse holds, namely, for any finite family of graphs $\mathcal{F}$ that contains at least one forest, and for all $k\geq k_0(\mathcal{F})$ (or at least for infinitely many values of $k$), $\mathcal{F}$ is $k$-nice. We prove several (modest) results in support of this conjecture, showing, in particular, that it holds for each of the three families consisting of two connected graphs with 3 edges each and observing that it holds for any family $\mathcal{F}$ containing a forest with at most 2 edges. We also study some related problems and disprove a conjecture by Aharoni, Charbit and Howard regarding the size of matchings in regular 3-partite 3-uniform hypergraphs.
Chordality of Clutters with Vertex Decomposable Dual and Ascent of Clutters
Published in J. Combin. Theory, Ser. A, 168, 2019, 318--337
• View Publication
• BIB
In this paper, we consider the generalization of chordal graphs to clutters proposed by Bigdeli, et al in J. Combin. Theory, Series A (2017). Assume that $\mathcal{C}$ is a $d$-dimensional uniform clutter. It is known that if $\mathcal{C}$ is chordal, then $I(\bar{\mathcal{C}})$ has a linear resolution over all fields. The converse has recently been rejected, but the following question which poses a weaker version of the converse is still open: "if $I(\bar{\mathcal{C}})$ has linear quotients, is $\mathcal{C}$ necessarily chordal?". Here, by introducing the concept of the ascent of a clutter, we split this question into two simpler questions and present some clues in support of an affirmative answer. In particular, we show that if $I(\bar{\mathcal{C}})$ is the Stanley-Reisner ideal of a simplicial complex with a vertex decomposable Alexander dual, then $\mathcal{C}$ is chordal.
A note on diameter-Ramsey sets
Published in European J. Combin. 71 (2018), 51-54
• View Publication
• BIB
A finite set $A \subset \mathbb{R}^d$ is called $\textit{diameter-Ramsey}$ if for every $r \in \mathbb N$, there exists some $n \in \mathbb N$ and a finite set $B \subset \mathbb{R}^n$ with $\mathrm{diam}(A)=\mathrm{diam}(B)$ such that whenever $B$ is coloured with $r$ colours, there is a monochromatic set $A' \subset B$ which is congruent to $A$. We prove that sets of diameter $1$ with circumradius larger than $1/\sqrt{2}$ are not diameter-Ramsey. In particular, we obtain that triangles with an angle larger than $135^\circ$ are not diameter-Ramsey, improving a result of Frankl, Pach, Reiher and Rödl. Furthermore, we deduce that there are simplices which are almost regular but not diameter-Ramsey.
Realizable Lists on a Class of Nonnegative Matrices
Published
• View Publication
• BIB
A square matrix of order n with $n\geq 2$ is called permutative matrix when all its rows (up to the frst one) are permutations of precisely its frst row. In this paper recalling spectral results for partitioned into $2$-by-$2$ symmetric blocks matrices sufcient conditions on a given complex list to be the list of the eigenvalues of a nonnegative permutative matrix are given. In particular, we study NIEP and PNIEP when some complex elements into the considered lists have no zero imaginary part. Realizability regions for nonnegative permutative matrices are obtained.
Min-Max Theorems for Packing and Covering Odd $(u,v)$-trails
Published
• View Publication
• BIB
We investigate the problem of packing and covering odd $(u,v)$-trails in a graph. A $(u,v)$-trail is a $(u,v)$-walk that is allowed to have repeated vertices but no repeated edges. We call a trail odd if the number of edges in the trail is odd. Let $ν(u,v)$ denote the maximum number of edge-disjoint odd $(u,v)$-trails, and $τ(u,v)$ denote the minimum size of an edge-set that intersects every odd $(u,v)$-trail.
We prove that $τ(u,v)\leq 2ν(u,v)+1$. Our result is tight---there are examples showing that $τ(u,v)=2ν(u,v)+1$---and substantially improves upon the bound of $8$ obtained in [Churchley et al 2016] for $τ(u,v)/ν(u,v)$. Our proof also yields a polynomial-time algorithm for finding a cover and a collection of trails satisfying the above bounds.
Our proof is simple and has two main ingredients. We show that (loosely speaking) the problem can be reduced to the problem of packing and covering odd $(uv,uv)$-trails losing a factor of 2 (either in the number of trails found, or the size of the cover). Complementing this, we show that the odd-$(uv,uv)$-trail packing and covering problems can be tackled by exploiting a powerful min-max result of [Chudnovsky et al 2006] for packing vertex-disjoint nonzero $A$-paths in group-labeled graphs.
Berge-Fulkerson coloring for infinite families of snarks
Published
• View Publication
• BIB
It is conjectured by Berge and Fulkerson that every bridgeless cubic graph has six perfect matchings such that each edge is contained in exactly two of them. H$\ddot{a}$gglund constructed two graphs Blowup$(K_4, C)$ and Blowup$(Prism, C_4)$. Based on these two graphs, Chen constructed infinite families of bridgeless cubic graphs $M_{0,1,2, \ldots,k-2, k-1}$ which is obtained from cyclically 4-edge-connected and having a Fulkerson-cover cubic graphs $G_0,G_1,\ldots, G_{k-1}$ by recursive process. If each $G_i$ for $1\leq i\leq k-1$ is a cyclically 4-edge-connected snarks with excessive index at least 5, Chen proved that these infinite families are snarks. He obtained that each graph in $M_{0,1,2,3}$ has a Fulkerson-cover and gave the open problem that whether every graph in $M_{0,1,2, \ldots,k-2, k-1}$ has a Fulkerson-cover. In this paper, we solve this problem and prove that every graph in $M_{0,1,2, \ldots,k-2, k-1}$ has a Fulkerson-cover.
On Words with the Zero Palindromic Defect
Published in International Conference on Combinatorics on Words WORDS 2017: Combinatorics on Words pp 59-71, LNCS, volume 10432, Springer
• View Publication
• BIB
We study the set of finite words with zero palindromic defect, i.e., words rich in palindromes. This set is factorial, but not recurrent. We focus on description of pairs of rich words which cannot occur simultaneously as factors of a longer rich word.
Reflection on the coloring and chromatic numbers
Published
• View Publication
• BIB
We prove that reflection of the coloring number of graphs is consistent with non-reflection of the chromatic number. Moreover, it is proved that incompactness for the chromatic number of graphs (with arbitrarily large gaps) is compatible with each of the following compactness principles: Rado's conjecture, Fodor-type reflection, $Δ$-reflection, Stationary-sets reflection, Martin's Maximum, and a generalized Chang's conjecture. This is accomplished by showing that, under $\mathrm{GCH}$-type assumptions, instances of incompactness for the chromatic number can be derived from square-like principles that are compatible with large amounts of compactness.
In addition, we prove that, in contrast to the chromatic number, the coloring number does not admit arbitrarily large incompactness gaps.
Further results on complete permutation monomials over finite fields
Published
• View Publication
• BIB
In this paper, we construct some new classes of complete permutation monomials with exponent $d=\frac{q^n-1}{q-1}$ using AGW criterion (a special case). This proves two recent conjectures in [Wuetal2] and extends some of these recent results to more general $n$'s.
A natural generalisation in graph Ramsey theory
In this note we study graphs $G_r$ with the property that every colouring of $E(G_r)$ with $r+1$ colours admits a copy of some graph $H$ using at most $r$ colours. For $1\le r\le e(H)$ such graphs occur naturally at intermediate steps in the synthesis of a $2$-colour Ramsey graph $G_1\longrightarrow H$. (The corresponding notion of Ramsey-type numbers was introduced by Erdös, Hajnal and Rado in 1965 and subsequently studied by Erdös and Szemerédi in 1972). For $H=K_n$ we prove a result on building a $G_{r}$ from a $G_{r+1}$ and establish Ramsey-infiniteness. From the structural point of view, we characterise the class of the minimal $G_r$ in the case when $H$ is relaxed to be the graph property of containing a cycle; we then use it to progress towards a constructive description of that class by proving both a reduction and an extension theorem.
Construction of the Symbol Invariant of Partition
Symbol is used to describe the Springer correspondence for the classical groups. We prove two structure theorems of symbol. We propose a construction of the symbol of the rigid partitions in the $B_n$, $C_n$, and $D_n$ theories. This construction is natural and consists of two basic building blocks. Using this construction, we give closed formulas of symbols for the rigid partitions in the $B_n, C_n$, and $D_n$ theories. One part of the closed formula is universal and other parts are determined by the specific theory. A comparison of between this closed formula and the old one is made. Previous results can be illustrated more clearly by this closed formula.
Positive Solutions of $p$-th Yamabe Type Equations on Graphs
Published in Front. Math. China (2018)
• View Publication
• BIB
Let $G=(V,E)$ be a finite connected weighted graph, and assume $1\leqα\leq p\leq q$. In this paper, we consider the following $p$-th Yamabe type equation $$-Δ_pu+hu^{q-1}=λfu^{α-1}.$$ on $G$, where $Δ_p$ is the $p$-th discrete graph Laplacian, $h\leq0$ and $f>0$ are real functions defined on all vertices of $G$. Instead of the approach in [Ge3], we adopt a new approach, and prove that the above equation always has a positive solution $u>0$ for some constant $λ\in\mathbb{R}$. In particular, when $q=p$ our result generalizes the main theorem in [Ge3] from the case of $α\geq p>1$ to the case of $1\leqα\leq p$. It's interesting that our new approach can also work in the case of $α\geq p>1$.