Showing 20 papers (Total: 83076 papers, 47999 authors in database)
A generalized Ihara zeta function formula for simple graphs with bounded degree
Published
• View Publication
• BIB
We establish a generalized Ihara zeta function formula for simple graphs with bounded degree. This is a generalization of the formula obtained by G. Chinta, J. Jorgenson and A. Karlsson from a vertex-transitive graph.
Convex drawings of the complete graph: topology meets geometry
Published in Ars Mathematica Contemporanea 22 (2022) #P3.04
• View Publication
• BIB
In this work, we introduce and develop a theory of convex drawings of the complete graph $K_n$ in the sphere. A drawing $D$ of $K_n$ is convex if, for every 3-cycle $T$ of $K_n$, there is a closed disc $Δ_T$ bounded by $D[T]$ such that, for any two vertices $u,v$ with $D[u]$ and $D[v]$ both in $Δ_T$, the entire edge $D[uv]$ is also contained in $Δ_T$.
As one application of this perspective, we consider drawings containing a non-convex $K_5$ that has restrictions on its extensions to drawings of $K_7$. For each such drawing, we use convexity to produce a new drawing with fewer crossings. This is the first example of local considerations providing sufficient conditions for suboptimality. In particular, we do not compare the number of crossings {with the number of crossings in} any known drawings. This result sheds light on Aichholzer's computer proof (personal communication) showing that, for $n\le 12$, every optimal drawing of $K_n$ is convex.
Convex drawings are characterized by excluding two of the five drawings of $K_5$. Two refinements of convex drawings are h-convex and f-convex drawings. The latter have been shown by Aichholzer et al (Deciding monotonicity of good drawings of the complete graph, Proc.~XVI Spanish Meeting on Computational Geometry (EGC 2015), 2015) and, independently, the authors of the current article (Levi's Lemma, pseudolinear drawings of $K_n$, and empty triangles, \rbr{J. Graph Theory DOI: 10.1002/jgt.22167)}, to be equivalent to pseudolinear drawings. Also, h-convex drawings are equivalent to pseudospherical drawings as demonstrated recently by Arroyo et al (Extending drawings of complete graphs into arrangements of pseudocircles, submitted).
Bounds for the Graham-Pollak Theorem for Hypergraphs
Published
• View Publication
• BIB
Let $f_r(n)$ represent the minimum number of complete $r$-partite $r$-graphs required to partition the edge set of the complete $r$-uniform hypergraph on $n$ vertices. The Graham-Pollak theorem states that $f_2(n)=n-1$. An upper bound of $(1+o(1)){n \choose \lfloor{\frac{r}{2}}\rfloor}$ was known. Recently this was improved to $\frac{14}{15}(1+o(1)){n \choose \lfloor{\frac{r}{2}}\rfloor}$ for even $r \geq 4$. A bound of $\bigg[\frac{r}{2}(\frac{14}{15})^{\frac{r}{4}}+o(1)\bigg](1+o(1)){n \choose \lfloor{\frac{r}{2}}\rfloor}$ was also proved recently. The smallest odd $r$ for which $c_r < 1$ that was known was for $r=295$. In this note we improve this to $c_{113}<1$ and also give better upper bounds for $f_r(n)$, for small values of even $r$.
On monopoly and dynamic monopoly of Cartesian product of graphs with constant thresholds
Let $G$ be any simple and undirected graph. By a threshold assignment $τ$ in $G$ we mean any function $τ:V(G)\rightarrow \mathbb{N}$ such that $τ(v)\leq d_G(v)$ for any vertex $v$ of $G$. Given a graph $G$ with a threshold assignment $τ$, a subset of vertices $M$ is said to be a $τ$-monopoly if there exist at least $τ(v)$ neighbors in $M$ for any vertex $v \in V(G) \setminus M$. Similarly, a subset of vertices $D$ is said to be a $τ$-dynamic monopoly if starting with the set $D$ and iteratively adding to the current set further vertices $u$ that have at least $τ(u)$ neighbors in it, results in the entire vertex set $V(G)$. Denote by $mon_τ(G)$ (resp. $dyn_τ(G)$) the smallest cardinality of a $τ$-monopoly (resp. $τ$-dynamic monopoly) of the graph among all others. In this paper we obtain some lower and upper bounds for these two parameters with constant threshold assignments for Cartesian product graphs. Our bounds improve the previous known bounds. We also determine the exact value of these two parameters with fixed thresholds in some Cartesian graph products including cycles and complete graphs.
Rigidity for the Hopf algebra of quasi-symmetric functions
Published
• View Publication
• BIB
We investigate the rigidity for the Hopf algebra ${\rm QSym}$ of quasisymmetric functions with respect to the monomial, the fundamental and the quasisymmetric Schur basis, respectively. By establishing some combinatorial properties of the posets of compositions arising from the analogous Pieri rules for quasisymmetric functions, we show that ${\rm QSym}$ is rigid as an algebra with respect to the quasisymmetric Schur basis, and rigid as a coalgebra with respect to the monomial and the quasisymmetric Schur basis, respectively. The natural actions of reversal, complement and transpose of the labelling compositions lead to some nontrivial graded (co)algebra automorphisms of ${\rm QSym}$. We prove that the linear maps induced by the three actions are precisely the only nontrivial graded algebra automorphisms that take the fundamental basis into itself. Furthermore, the complement map on the labels gives the unique nontrivial graded coalgebra automorphism preserving the fundamental basis, while the reversal map on the labels gives the unique nontrivial graded algebra automorphism preserving the monomial basis. Therefore, ${\rm QSym}$ is rigid as a Hopf algebra with respect to the monomial and the quasisymmetric Schur basis.
The geometry of random minimal factorizations of a long cycle via biconditioned bitype random trees
We study random typical minimal factorizations of the $n$-cycle into transpositions, which are factorizations of $(1, \ldots,n)$ as a product of $n-1$ transpositions. By viewing transpositions as chords of the unit disk and by reading them one after the other, one obtains a sequence of increasing laminations of the unit disk (i.e. compact subsets of the unit disk made of non-intersecting chords).
When an order of $\sqrt{n}$ consecutive transpositions have been read, we establish, roughly speaking, that a phase transition occurs and that the associated laminations converge to a new one-parameter family of random laminations, constructed from excursions of specific Lévy processes.
Our main tools involve coding random minimal factorizations by conditioned two-type Bienaymé--Galton--Watson trees. We establish in particular limit theorems for two-type BGW trees conditioned on having given numbers of vertices of both types, and with an offspring distribution depending on the conditioning size. We believe that this could be of independent interest.
Enumerating the states of the twist knot
We enumerate the state diagrams of the twist knot shadow which consist of the disjoint union of two trivial knots. The result coincides with the maximal number of regions into which the plane is divided by a given number of circles. We then establish a bijection between the state enumeration and this particular partition of the plane by means of binary words.
Combinatorics of chemical reaction systems
We propose a concise stochastic mechanics framework for chemical reaction systems that allows to formulate evolution equations for three general types of data: the probability generating functions, the exponential moment generating functions and the factorial moment generating functions. This formulation constitutes an intimate synergy between techniques of statistical physics and of combinatorics. We demonstrate how to analytically solve the evolution equations for all six elementary types of single-species chemical reactions by either combinatorial normal-ordering techniques, or, for the binary reactions, by means of Sobolev-Jacobi orthogonal polynomials. The former set of results in particular highlights the relationship between infinitesimal generators of stochastic evolution and parametric transformations of probability distributions.
A proof of Tomescu's graph coloring conjecture
Published
• View Publication
• BIB
In 1971, Tomescu conjectured that every connected graph $G$ on $n$ vertices with chromatic number $k\geq4$ has at most $k!(k-1)^{n-k}$ proper $k$-colorings. Recently, Knox and Mohar proved Tomescu's conjecture for $k=4$ and $k=5$. In this paper, we complete the proof of Tomescu's conjecture for all $k\ge 4$, and show that equality occurs if and only if $G$ is a $k$-clique with trees attached to each vertex.
Reflexive polytopes arising from edge polytopes
Published in Linear Algebra and its Applications 557(2018), 438--454
• View Publication
• BIB
It is known that every lattice polytope is unimodularly equivalent to a face of some reflexive polytope. A stronger question is to ask whether every $(0,1)$-polytope is unimodularly equivalent to a facet of some reflexive polytope. A large family of $(0,1)$-polytopes are the edge polytopes of finite simple graphs. In the present paper, it is shown that, by giving a new class of reflexive polytopes, each edge polytope is unimodularly equivalent to a facet of some reflexive polytope. Furthermore, we extend the characterization of normal edge polytopes to a characterization of normality for these new reflexive polytopes.
Opposition diagrams for automorphisms of large spherical buildings
Published
• View Publication
• BIB
Let $θ$ be an automorphism of a thick irreducible spherical building $Δ$ of rank at least $3$ with no Fano plane residues. We prove that if there exist both type $J_1$ and $J_2$ simplices of $Δ$ mapped onto opposite simplices by $θ$, then there exists a type $J_1\cup J_2$ simplex of $Δ$ mapped onto an opposite simplex by $θ$. This property is called "cappedness". We give applications of cappedness to opposition diagrams, domesticity, and the calculation of displacement in spherical buildings. In a companion piece to this paper we study the thick irreducible spherical buildings containing Fano plane residues. In these buildings automorphisms are not necessarily capped.
Local Dimension is Unbounded for Planar Posets
Published
• View Publication
• BIB
In 1981, Kelly showed that planar posets can have arbitrarily large dimension. However, the posets in Kelly's example have bounded Boolean dimension and bounded local dimension, leading naturally to the questions as to whether either Boolean dimension or local dimension is bounded for the class of planar posets. The question for Boolean dimension was first posed by Nešetřil and Pudlák in 1989 and remains unanswered today. The concept of local dimension is quite new, introduced in 2016 by Ueckerdt. Since that time, researchers have obtained many interesting results concerning Boolean dimension and local dimension, contrasting these parameters with the classic Dushnik-Miller concept of dimension, and establishing links between both parameters and structural graph theory, path-width, and tree-width in particular. Here we show that local dimension is not bounded on the class of planar posets. Our proof also shows that the local dimension of a poset is not bounded in terms of the maximum local dimension of its blocks, and it provides an alternative proof of the fact that the local dimension of a poset cannot be bounded in terms of the tree-width of its cover graph, independent of its height.
Root geometry of polynomial sequences III: Type $(1,1)$ with positive coefficients
In this paper, we study the root distribution of some univariate polynomials $W_n(z)$ satisfying a recurrence of order two with linear polynomial coefficients over positive numbers. We discover a sufficient and necessary condition for the overall real-rootedness of all the polynomials, in terms of the polynomial coefficients of the recurrence. Moreover, in the real-rooted case, we find the set of limits of zeros, which turns out to be the union of a closed interval and one or two isolated points; when non-real-rooted polynomial exists, we present a sufficient condition under which every polynomial with $n$ large has a real zero.
Tverberg's theorem is 50 years old: a survey
This survey presents an overview of the advances around Tverberg's theorem, focusing on the last two decades. We discuss the topological, linear-algebraic, and combinatorial aspects of Tverberg's theorem and its applications. The survey contains several open problems and conjectures.
Cyclotomic shuffles
Published
• View Publication
• BIB
Analogues of 1-shuffle elements for complex reflection groups of type $G(m,1,n)$ are introduced. A geometric interpretation for $G(m,1,n)$ in terms of rotational permutations of polygonal cards is given. We compute the eigenvalues, and their multiplicities, of the 1-shuffle element in the algebra of the group $G(m,1,n)$. Considering shuffling as a random walk on the group $G(m,1,n)$, we estimate the rate of convergence to randomness of the corresponding Markov chain. We report on the spectrum of the 1-shuffle analogue in the cyclotomic Hecke algebra $H(m,1,n)$ for $m=2$ and small $n$.
Cuts in matchings of 3-connected cubic graphs
Published
• View Publication
• BIB
We discuss conjectures on Hamiltonicity in cubic graphs (Tait, Barnette, Tutte), on the dichromatic number of planar oriented graphs (Neumann-Lara), and on even graphs in digraphs whose contraction is strongly connected (Hochstättler). We show that all of them fit into the same framework related to cuts in matchings. This allows us to find a counterexample to the conjecture of Hochstättler and show that the conjecture of Neumann-Lara holds for all planar graphs on at most 26 vertices. Finally, we state a new conjecture on bipartite cubic oriented graphs, that naturally arises in this setting.
On a correction of a property of $GC$ sets
Published
• View Publication
• BIB
An $n$-poised node set $\mathcal X$ in the plane is called $GC_n$ set if the (bivariate) fundamental polynomial of each node is a product of n linear factors. A line is called $k$-node line if it passes through exactly $k$-nodes of $\mathcal X.$ An $(n+1)$-node line is called maximal line. The well-known conjecture of M. Gasca and J. I. Maeztu states that every $GC_n$ set has a maximal line. Untill now the conjecture has been proved only for the cases $n \le 5.$ We say that a node uses a line if the line is a factor in the node's fundamental polynomial. It is a simple and well-known fact that any maximal line $M$ is used by all $\binom{n+1}{2}$ nodes in $\mathcal X\setminus M.$ Here we consider the main result of the paper - V. Bayramyan, H. Hakopian, On a new property of n-poised and $GC_n$ sets, Adv Comput Math, 43, (2017) 607-626, stating that any $n$-node line of $GC_n$ set is used either by exactly $\binom{n}{2}$ nodes or by exactly $\binom{n-1}{2}$ nodes, provided that the Gasca-Maeztu conjecture is true.
In this paper we show that this result is not correct in the case $n=3.$ Namely, we bring an example of a $GC_3$ set and a $3$-node line there which is not used at all. Fortunately, then we were able to establish that this is the only possible counterexample, i.e., the above mentioned result is true for all $n\ge 1, n\neq 3.$
We also characterize the exclusive case $n=3$ and present some new results on the maximal lines and the usage of $n$-node lines in $GC_n$ sets.
Logical laws for short existential monadic second order sentences about graphs
Published
• View Publication
• BIB
In this paper, we study existential monadic second order (EMSO) properties of undirected graphs. In 2001, J.-M. Le Bars proved that there exists an EMSO sentence about undirected graphs such that the probability that it is true does not converge (here, the probability distribution is uniform over the set of all graphs on the fixed set of vertices). In the same paper, he conjectured that, for EMSO sentences with 2 first order variables, the 0-1 law holds (every sentence is either true asymptotically almost surely (a.a.s.), or false a.a.s.). We give an example of EMSO sentence with 1 monadic variable without convergence and an example of EMSO sentence with 3 first order variables without convergence.
Cameron-Liebler sets of generators in finite classical polar spaces
Published in J. Comb. Theory Ser. A 167 (2019) 340-388
• View Publication
• BIB
Cameron-Liebler sets were originally defined as collections of lines (`line classes') in $\mathrm{PG}(3,q)$ sharing certain properties with line classes of symmetric tactical decompositions. While there are many equivalent characterisations, these objects are defined as sets of lines whose characteristic vector lies in the image of the transpose of the point-line incidence matrix of $\mathrm{PG}(3,q)$, and so combinatorially they behave like a union of pairwise disjoint point-pencils. Recently, the concept of a Cameron-Liebler set has been generalised to several other settings. In this article we introduce Cameron-Liebler sets of generators in finite classical polar spaces. For each of the polar spaces we give a list of characterisations that mirrors those for Cameron-Liebler line sets, and also prove some classification results.
Resistance distance in straight linear 2-trees
Published
• View Publication
• BIB
We consider the graph $G_n$ with vertex set $V(G_n) = \{ 1, 2, \ldots, n\}$ and $\{i,j\} \in E(G_n)$ if and only if $0<|i-j| \leq 2$. We call $G_n$ the straight linear 2-tree on $n$ vertices. Using $Δ$--Y transformations and identities for the Fibonacci and Lucas numbers we obtain explicit formulae for the resistance distance $r_{G_n}(i,j)$ between any two vertices $i$ and $j$ of $G_n$. To our knowledge $\{G_n\}_{n=3}^\infty$ is the first nontrivial family with diameter going to $\infty$ for which all resistance distances have been explicitly calculated. Our result also gives formulae for the number of spanning trees and 2-forests in a straight linear 2-tree. We show that the maximal resistance distance in $G_n$ occurs between vertices 1 and $n$ and the minimal resistance distance occurs between vertices $n/2$ and $n/2+1$ for $n$ even (with a similar result for $n$ odd). It follows that $r_n(1,n) \to \infty$ as $n \to \infty$. Moreover, our explicit formula makes it possible to order the non-edges of $G_n$ exactly according to resistance distance, and this ordering agrees with the intuitive notion of distance on a graph. Consequently, $G_n$ is a geometric graph with entirely different properties than the random geometric graphs investigated in [6]. These results for straight linear 2-trees along with an example of a bent linear 2-tree and empirical results for additional graph classes convincingly demonstrate that resistance distance should not be discounted as a viable method for link prediction in geometric graphs.