Showing 20 papers (Total: 84253 papers, 48533 authors in database)
A 15-vertex triangulation of the quaternionic projective plane
Published in Discrete Comput Geom (2019) 62: 348
• View Publication
• BIB
In 1992, Brehm and Kühnel constructed a 8-dimensional simplicial complex $M^8_{15}$ with 15 vertices as a candidate to be a minimal triangulation of the quaternionic projective plane. They managed to prove that it is a manifold "like a projective plane" in the sense of Eells and Kuiper. However, it was not known until now if this complex is PL homeomorphic (or at least homeomorphic) to $\mathbb{H}P^2$. This problem was reduced to the computation of the first rational Pontryagin class of this combinatorial manifold. Realizing an algorithm due to Gaifullin, we compute the first Pontryagin class of $M^8_{15}$. As a result, we obtain that it is indeed a minimal triangulation of $\mathbb{H}P^2$.
Non-backtracking random walks and a weighted Ihara's theorem
Published
• View Publication
• BIB
We study the mixing rate of non-backtracking random walks on graphs by looking at non-backtracking walks as walks on the directed edges of a graph. A result known as Ihara's Theorem relates the adjacency matrix of a graph to a matrix related to non-backtracking walks on the directed edges. We prove a weighted version of Ihara's Theorem which relates the transition probability matrix of a non-backtracking walk to the transition matrix for the usual random walk. This allows us to determine the spectrum of the transition probability matrix of a non-backtracking random walk in the case of regular graphs and biregular graphs. As a corollary, we obtain a result of Alon et. al. that in most cases, a non-backtracking random walk on a regular graph has a faster mixing rate than the usual random walk. In addition, we obtain an analogous result for biregular graphs.
Genus dependence of the number of (non-)orientable surface triangulations
Published
• View Publication
• BIB
Topological triangulations of orientable and non-orientable surfaces with arbitrary genus have important applications in quantum geometry, graph theory and statistical physics. However, until now only the asymptotics for 2-spheres are known analytically, and exact counts of triangulations are only available for both small genus and small triangulations. We apply the Wang-Landau algorithm to calculate the number $N(m,h)$ of triangulations for several order of magnitudes in system size $m$ and genus $h$. We verify that the limit of the entropy density of triangulations is independent of genus and orientability and are able to determine the next-to-leading and the next-to-next-to-leading order terms. We conjecture for the number of surface triangulations the asymptotic behavior \begin{equation*} N(m,h) \rightarrow (170.4 \pm 15.1)^h m^{-2(h - 1)/5} \left( \frac{256}{27} \right)^{m / 2}\;, \end{equation*} what might guide a mathematicians proof for the exact asymptotics.
Sensitivity of mixing times in Eulerian digraphs
Published
• View Publication
• BIB
Let $X$ be a lazy random walk on a graph $G$. If $G$ is undirected, then the mixing time is upper bounded by the maximum hitting time of the graph. This fails for directed chains, as the biased random walk on the cycle $\mathbb{Z}_n$ shows. However, we establish that for Eulerian digraphs, the mixing time is $O(mn)$, where $m$ is the number of edges and $n$ is the number of vertices. In the reversible case, the mixing time is robust to the change of the laziness parameter. Surprisingly, in the directed setting the mixing time can be sensitive to such changes. We also study exploration and cover times for random walks on Eulerian digraphs and prove universal upper bounds in analogy to the undirected case.
A generalization of circulant Hadamard and conference matrices
Published in Linear Algebra Appl. 569 (2019) 241-265
• View Publication
• BIB
We study the existence and construction of circulant matrices $C$ of order $n\geq2$ with diagonal entries $d\geq0$, off-diagonal entries $\pm1$ and mutually orthogonal rows. These matrices generalize circulant conference ($d=0$) and circulant Hadamard ($d=1$) matrices. We demonstrate that matrices $C$ exist for every order $n$ and for $d$ chosen such that $n=2d+2$, and we find all solutions $C$ with this property. Furthermore, we prove that if $C$ is symmetric, or $n-1$ is prime, or $d$ is not an odd integer, then necessarily $n=2d+2$. Finally, we conjecture that the relation $n=2d+2$ holds for every matrix $C$, which generalizes the circulant Hadamard conjecture. We support the proposed conjecture by computing all the existing solutions up to $n=50$.
One-sided epsilon-approximants
Published
• View Publication
• BIB
Given a finite point set $P\subset\mathbb{R}^d$, we call a multiset $A$ a one-sided weak $\varepsilon$-approximant for $P$ (with respect to convex sets), if $|P\cap C|/|P|-|A\cap C|/|A|\leq\varepsilon$ for every convex set $C$.
We show that, in contrast with the usual (two-sided) weak $\varepsilon$-approximants, for every set $P\subset \mathbb{R}^d$ there exists a one-sided weak $\varepsilon$-approximant of size bounded by a function of $\varepsilon$ and $d$.
On the number of alternating paths in bipartite complete graphs
Published
• View Publication
• BIB
Let $C \subseteq [r]^m$ be a code such that any two words of $C$ have Hamming distance at least $t$. It is not difficult to see that determining a code $C$ with the maximum number of words is equivalent to finding the largest $n$ such that there is an $r$-edge-coloring of $K_{m, n}$ with the property that any pair of vertices in the class of size $n$ has at least $t$ alternating paths (with adjacent edges having different colors) of length $2$. In this paper we consider a more general problem from a slightly different direction. We are interested in finding maximum $t$ such that there is an $r$-edge-coloring of $K_{m,n}$ such that any pair of vertices in class of size $n$ is connected by $t$ internally disjoint and alternating paths of length $2k$. We also study a related problem in which we drop the assumption that paths are internally disjoint. Finally, we introduce a new concept, which we call alternating connectivity. Our proofs make use of random colorings combined with some integer programs.
Linear Hypergraph Edge Coloring
Motivated by the Erdos-Faber Lovasz conjecture (EFL) for hypergraphs, we explore relationships between several conjectures on the edge coloring of linear hypergraphs. In particular, we are able to increase the class of hypergraphs for which EFL is true.
Some remarks on sets with small quotient set
Published
• View Publication
• BIB
We prove, in particular, that for any finite set of real numbers A with |A/A| \ll |A| one has |A-A| > |A|^{5/3 - o(1)}. Also we show that |3A| > |A|^{2-o(1)} in the case.
Chromatic index, treewidth and maximum degree
Published
• View Publication
• BIB
We conjecture that any graph $G$ with treewidth~$k$ and maximum degree $Δ(G)\geq k + \sqrt{k}$ satisfies $χ'(G)=Δ(G)$. In support of the conjecture we prove its fractional version. We also show that any graph $G$ with treewidth~$k\geq 4$ and maximum degree $2k-1$ satisfies $χ'(G)=Δ(G)$, improving an old result of Vizing.
The involutive nature of the Littlewood-Richardson commutativity bijection
Published
• View Publication
• BIB
Littlewood-Richardson (LR) coefficients $c_{μν}^λ$ may be evaluated by means of several combinatorial models, including the original LR tableaux of skew shape $λ/μ$ and weight $ν$ and the LR hives with boundary edge labels $λ$, $μ$ and $ν$. Unfortunately, neither of these reveal in any obvious way the well-known symmetry property $c_{μν}^λ=c_{νμ}^λ$. Here we introduce two maps, $ρ^{(n)}$ on LR tableaux and $σ^{(n)}$ on LR hives, that each interchange contributions to $c_{μν}^λ$ and $c_{νμ}^λ$ for any partitions $λ$, $μ$, $ν$ of lengths no greater than $n$, and then prove not only that each of them is a bijection, thereby making manifest the required symmetry property, but also that both maps are involutions. The map $ρ^{(n)}$ involves the iterative action of deletion operators on a given LR tableau of skew shape $λ/μ$ and weight $ν$, that produce a sequence of successively smaller tableaux whose consecutive inner shapes define a certain Gelfand-Tsetlin pattern and determine a partner LR tableau of skew shape $λ/ν$ and weight $μ$. Similarly, the map $σ^{(n)}$ involves repeated path removals from a given LR hive with boundary edge labels $(λ,μ,ν)$ that give rise to a sequence of hives whose left-hand boundary edge labels define the same Gelfand-Tsetlin pattern as before, which is sufficient to determine a partner LR hive with boundary edge labels $(λ,ν,μ)$. The deletions in tableaux are organised so as to preserve the semistandard and lattice permutation properties of LR tableaux, while the path removals in hives are designed to preserve both the triangle condition on edge labels and the hive rhombus gradient positivity conditions. At all stages illustrative examples are provided.
A linear complementarity based characterization of the weighted independence number and the independent domination number in graphs
Published in Discrete Applied Mathematics, Volume 244, 31 July 2018, Pages 155-169
• View Publication
• BIB
The linear complementarity problem is a continuous optimization problem that generalizes convex quadratic programming, Nash equilibria of bimatrix games and several such problems. This paper presents a continuous optimization formulation for the weighted independence number of a graph by characterizing it as the maximum weighted $\ell_1$ norm over the solution set of a linear complementarity problem (LCP). The minimum $\ell_1$ norm of solutions of this LCP is a lower bound on the independent domination number of the graph. Unlike the case of the maximum $\ell_1$ norm, this lower bound is in general weak, but we show it to be tight if the graph is a forest. Using methods from the theory of LCPs, we obtain a few graph theoretic results. In particular, we provide a stronger variant of the Lovász theta of a graph. We then provide sufficient conditions for a graph to be well-covered, i.e., for all maximal independent sets to also be maximum. This condition is also shown to be necessary for well-coveredness if the graph is a forest. Finally, the reduction of the maximum independent set problem to a linear program with (linear) complementarity constraints (LPCC) shows that LPCCs are hard to approximate.
Dominating sequences under atomic changes with applications in Sierpiński and interval graphs
Published
• View Publication
• BIB
A sequence $S=(v_1,\ldots,v_k)$ of distinct vertices of a graph $G$ is called a legal sequence if $N[v_i] \setminus \cup_{j=1}^{i-1}N[v_j]\not=\emptyset$ for any $i$. The maximum length of a legal (dominating) sequence in $G$ is called the Grundy domination number $γ_{gr}(G)$ of a graph $G$. It is known that the problem of determining the Grundy domination number is NP-complete in general, while efficient algorithm exist for trees and some other classes of graphs. In this paper we find an efficient algorithm for the Grundy domination number of an interval graph. We also show the exact value of the Grundy domination number of an arbitrary Sierpiński graph $S_p^n$, and present algorithms to construct the corresponding sequence. These results are obtained by using the main result of the paper, which are sharp bounds for the Grundy domination number of a vertex- and edge-removed graph. That is, given a graph $G$, $e\in E(G)$, and $u\in V(G)$, we prove that $γ_{gr}(G)-1\le γ_{gr}(G-e) \le γ_{gr}(G)+1$ and $γ_{gr}(G)-2\le γ_{gr}(G-u) \le γ_{gr}(G)$. For each of the bounds there exist graphs, in which all three possibilities occur for different edges, respectively vertices.
Potential Methods for Extending Galvin and Jónsson's Characterization of Distributive Sublattices of Free Lattices
In 1959, F.Galvin and B.Jonsson characterized distributive sublattices of free lattices in their paper. In this paper, I will create new proofs to a portion of Galvin and Jónsson's results. Based on these new proofs, I will explore possible generalizations of F.Galvin and B.Jónsson's work by defining \emph{spanning pairs} and proving partial results which may help with analysing finite width sublattices of free lattices; and by making some new observations on finitely generated lattices over semidistributive varieties.
The work done in this paper may assist in attacking the following long-standing open problem: Which countable lattices are isomorphic to a sublattice of a free lattice?
The chromatic number of finite type-graphs
Published in Journal of Combinatorial Theory B 122 (2017), 877-896
• View Publication
• BIB
By a finite type-graph we mean a graph whose set of vertices is the set of all $k$-subsets of $[n]=\{1,2,\ldots, n\}$ for some integers $n\ge k\ge 1$, and in which two such sets are adjacent if and only if they realise a certain order type specified in advance. Examples of such graphs have been investigated in a great variety of contexts in the literature with particular attention being paid to their chromatic number. In recent joint work with Tomasz Łuczak, two of the authors embarked on a systematic study of the chromatic numbers of such type-graphs, formulated a general conjecture determining this number up to a multiplicative factor, and proved various results of this kind. In this article we fully prove this conjecture.
The sharp threshold for the Duarte model
The class of critical bootstrap percolation models in two dimensions was recently introduced by Bollobás, Smith and Uzzell, and the critical threshold for percolation was determined up to a constant factor for all such models by the authors of this paper. Here we develop and refine the techniques introduced in that paper in order to determine a sharp threshold for the Duarte model. This resolves a question of Mountford from 1995, and is the first result of its type for a model with drift.
Trace Identities for the Topological Vertex
Published in Selecta Math. 24 (2018) 1527-1548
• View Publication
• BIB
The topological vertex is a universal series which can be regarded as an object in combinatorics, representation theory, geometry, or physics. It encodes the combinatorics of 3D partitions, the action of vertex operators on Fock space, the Donaldson-Thomas theory of toric Calabi-Yau threefolds, or the open string partition function of $\mathbb{C}^3$.
We prove several identities in which a sum over terms involving the topological vertex is expressed as a closed formula, often a product of simple terms, closely related to Fourier expansions of Jacobi forms. We use purely combinatorial and representation theoretic methods to prove our formulas, but we discuss applications to the Donaldson-Thomas invariants of elliptically fibered Calabi-Yau threefolds at the end of the paper.
On the derivative at $t = 1$ of the skew-growth functions for Artin monoids
Let $G_{M}^{+}$ be the Artin monoid of finite type generated by the letters $a_i, i\in I$ with respect to a Coxeter matrix $M$ that is equipped with the degree map $°\!:\!G_{M}^{+} \to\!\Z_{\ge0}$ defined by assigning to each equivalence class of words the length of the words, and let $N_{M, °}(t)\!:=\!\!\sum_{J \subset I}(-1)^{\#J} t^{°(Δ_{J})}$ be the skew-growth function, where the summation index $J$ runs over all subsets of $I$ and $Δ_{J}$ is the fundamental element in $G_{M}^{+}$ associated to the set $J$. In this article, we will calculate the derivative at $t = 1$ of the polynomial $N_{M, °}(t)$. As a result, we show that the polynomial $N_{M, °}(t)$ has a simple root at $t = 1$.
Zero loci of skew-growth functions for dual Artin monoids
Published
• View Publication
• BIB
We show that the skew-growth function of a dual Artin monoid of finite type P has exactly rank(P) =: l simple real zeros on the interval (0, 1]. The proofs for types A_l and B_l are based on an unexpected fact that the skew-growth functions, up to a trivial factor, are expressed by Jacobi polynomials due to a Rodrigues type formula in the theory of orthogonal polynomials. The skew-growth functions for type D_l also satisfy Rodrigues type formulae, but the relation with Jacobi polynomials is not straightforward, and the proof is intricate. We show that the smallest root converges to zero as the rank l of all the above types tend to infinity.
Minimum Size of Feedback Vertex Sets of Planar Graphs of Girth at least Five
Published in European Journal of Combinatorics 61C (2017) pp. 138-150
• View Publication
• BIB
A feedback vertex set of a graph is a subset of vertices intersecting all cycles. We provide tight upper bounds on the size of a minimum feedback vertex set in planar graphs of girth at least five. We prove that if $G$ is a connected planar graph of girth at least five on $n$ vertices and $m$ edges, then $G$ has a feedback vertex set of size at most $\frac{2m-n+2}{7}$. By Euler's formula, this implies that $G$ has a feedback vertex set of size at most $\frac{m}{5}$ and $\frac{n-2}{3}$. These results not only improve a result of Dross, Montassier and Pinlou and confirm the girth-5 case of one of their conjectures, but also make the best known progress towards a conjecture of Kowalik, Lužar and Škrekovski and solves the subcubic case of their conjecture. An important step of our proof is providing an upper bound on the size of minimum feedback vertex sets of subcubic graphs with girth at least five with no induced subdivision of members of a finite family of non-planar graphs.