Showing 20 papers (Total: 82661 papers, 47773 authors in database)
Partial domination - the isolation number of a graph
Published
• View Publication
• BIB
We prove the following result: If $G$ be a connected graph on $n \ge 6$ vertices, then there exists a set of vertices $D$ with $|D| \le \frac{n}{3}$ and such that $V(G) \setminus N[D]$ is an independent set, where $N[D]$ is the closed neighborhood of $D$. Furthermore, the bound is sharp. This seems to be the first result in the direction of partial domination with constrained structure on the graph induced by the non-dominated vertices, which we further elaborate in this paper.
PDE Approaches to Graph Analysis
This paper surveys and discusses recent work adapting partial differential equation (PDE) models to discrete structures.
Construction of double Grothendieck polynomials of classical types using IdCoxeter algebras
Published in Tokyo J. Math.Volume 39, Number 3 (2017), 695-728
• View Publication
• BIB
We construct double Grothendieck polynomials of classical types which are essentially equivalent to but simpler than the polynomials defined by A.N.Kirillov in arXiv:1504.01469 and identify them with the polynomials defined by T.Ikeda and H.Naruse in Adv. Math.(2013) for the case of maximal Grassmannian permutations. We also give geometric interpretation of them in terms of algebraic localization map and give explicit combinatorial formulas.
Small Partial Latin Squares that Cannot be Embedded in a Cayley Table
Published in Australas. J. Combin. 67(2) (2017), 352-363
• Search Publication
We answer a question posed by Dénes and Keedwell that is equivalent to the following. For each order $n$ what is the smallest size of a partial latin square that cannot be embedded into the Cayley table of any group of order $n$? We also solve some variants of this question and in each case classify the smallest examples that cannot be embedded. We close with a question about embedding of diagonal partial latin squares in Cayley tables.
On local weak limit and subgraph counts for sparse random graphs
Published in J. Appl. Probab., 59 (2022), 755-776
• View Publication
• BIB
We use an inequality of Sidorenko to show a general relation between local and global subgraph counts and degree moments for locally weakly convergent sequences of sparse random graphs. This yields an optimal criterion to check when the asymptotic behaviour of graph statistics such as the clustering coefficient and assortativity is determined by the local weak limit. As an application we obtain new facts for several common models of sparse random intersection graphs where the local weak limit, as we see here, is a simple random clique tree corresponding to a certain two-type Galton-Watson branching process.
On graphs containing few disjoint excluded minors. Asymptotic number and structure of graphs containing few disjoint minors K4
Let ${\rm ex \,} {\mathcal B}$ be a minor-closed class of graphs with a set ${\mathcal B}$ of minimal excluded minors. We study (a) the asymptotic number of graphs without $k+1$ disjoint minors in ${\mathcal B}$ and (b) the properties of a uniformly random graph drawn from all such graphs on vertices $\{1,\dots,n\}$. We present new results in the case when ${\rm ex \,} {\mathcal B}$ contains arbitrarily large fans for a general (good enough) set of forbidden minors ${\mathcal B}$.
A particular case where our results hold is ${\mathcal B} = \{K_4\}$. For any fixed $k = 1, 2, \dots$ we derive precise asymptotic counting formulas and describe the structure of typical graphs that have at most $k$ disjoint minors $K_4$. For $k = 0$ this is the well-known class of series-parallel graphs. For $k \ge 1$ we show that typical instances have an elaborate tree-like structure with $2k+1$ special vertices of very high degree.
The proofs combine a variety of methods, including new structural results, Robertson and Seymour's graph minor theory and analytic combinatorics.
First order limits of sparse graphs: Plane trees and path-width
Nesetril and Ossona de Mendez introduced the notion of first order convergence as an attempt to unify the notions of convergence for sparse and dense graphs. It is known that there exist first order convergent sequences of graphs with no limit modeling (an analytic representation of the limit). On the positive side, every first order convergent sequence of trees or graphs with no long path (graphs with bounded tree-depth) has a limit modeling. We strengthen these results by showing that every first order convergent sequence of plane trees (trees with embeddings in the plane) and every first order convergent sequence of graphs with bounded path-width has a limit modeling.
Regular graphs are antimagic
An undirected simple graph $G=(V,E)$ is called antimagic if there exists an injective function $f:E\rightarrow\{1,\dots,|E|\}$ such that $\sum_{e\in E(u)} f(e)\neq\sum_{e\in E(v)} f(e)$ for any pair of different nodes $u,v\in V$. In a previous version of the paper, the authors gave a proof that regular graphs are antimagic. However, the proof of the main theorem is incorrect as one of the steps uses an invalid assumption. The aim of the present erratum is to fix the proof.
Beyond the Richter-Thomassen Conjecture
Published
• View Publication
• BIB
If two closed Jordan curves in the plane have precisely one point in common, then it is called a {\em touching point}. All other intersection points are called {\em crossing points}. The main result of this paper is a Crossing Lemma for closed curves: In any family of $n$ pairwise intersecting simple closed curves in the plane, no three of which pass through the same point, the number of crossing points exceeds the number of touching points by a factor of at least $Ω((\log\log n)^{1/8})$.
As a corollary, we prove the following long-standing conjecture of Richter and Thomassen: The total number of intersection points between any $n$ pairwise intersecting simple closed curves in the plane, no three of which pass through the same point, is at least $(1-o(1))n^2$.
A note on the Erdős-Hajnal property for stable graphs
Published
• View Publication
• BIB
In this short note we provide a relatively simple proof of the Erdős-Hajnal conjecture for families of finite (hyper-)graphs without the $k$-order property. It was originally proved by M. Malliaris and S. Shelah in "Regularity lemmas for stable graphs", Transactions AMS, 366, 2014, 1551-1585.
Iterated altans and their properties
Published in MATCH Commun. Math. Comput. Chem. 74 (2015) 645-658
• Search Publication
Recently a class of molecular graphs, called altans, became a focus of attention of several theoretical chemists and mathematicians. In this paper we study primary iterated altans and show, among other things, their connections with nanotubes and nanocaps. The question of classification of bipartite altans is also addressed. Using the results of Gutman we are able to enumerate Kekulé structures of several nanocaps of arbitrary length.
Another Solution to the Thue Problem of Non-Repeating Words
In this work we consider morphisms that preserve well-known non-repeating properties: squarefreeness, cubefreeness, overlap-freeness and weak squarefreeness. Up to the present moment only the morphisms preserving three out of four non-repeating properties have been known. The problem of the existence of weakly squarefree morphisms was open.
The essential result of this work is the positive solution to this problem. An example of the morphism preserving all four properties is provided. Also, it is proved that there are no morphisms with the same properties and a lower rank.
On a family of polynomials related to $ζ(2,1)=ζ(3)$
Published in Periods in Quantum Field Theory and Arithmetic (RTMZV 2014, Madrid, Spain), J. I. Burgos Gil, K. Ebrahimi-Fard and H. Gangl (eds.), Springer Proceedings in Mathematics and Statistics 314 (Springer, 2020), pp. 621--630
• View Publication
• BIB
We give a new proof of the identity $ζ(\{2,1\}^l)=ζ(\{3\}^l)$ of the multiple zeta values, where $l=1,2,\dots$, using generating functions of the underlying generalized polylogarithms. In the course of study we arrive at (hypergeometric) polynomials satisfying 3-term recurrence relations, whose properties we examine and compare with analogous ones of polynomials originated from an (ex-)conjectural identity of Borwein, Bradley and Broadhurst.
(Co)Homology of Poset Lie Algebras
Published
• View Publication
• BIB
We investigate the (co)homological properties of two classes of Lie algebras that are constructed from any finite poset: the solvable class $\frak{gl}^\preceq$ and the nilpotent class $\frak{gl}^\prec$. We confirm the conjecture of Jollenbeck that says: every prime power $p^r\!\leq\!n\!-\!2$ appears as torsion in $H_\ast(\frak{nil}_n;\mathbb{Z})$, and every prime power $p^r\!\leq\!n\!-\!1$ appears as torsion in $H_\ast(\frak{sol}_n;\mathbb{Z})$. If $\preceq$ is a bounded poset, then the (co)homology of $\frak{gl}^\preceq$ is \emph{torsion-convex}, i.e. if it contains $p$-torsion, then it also contains $p'$-torsion for every prime $p'\!<\!p$. \par We obtain new explicit formulas for the (co)homology of some families over arbitrary fields. Among them are the solvable non-nilpotent analogs of the Heisenberg Lie algebras from the Cairns & Jambor article, the 2-step Lie algebras from Armstrong & Cairns & Jessup article, strictly block-triangular Lie algebras, etc. The resulting generating functions and the combinatorics of how they are obtained are interesting in their own right. \par All this is done by using AMT (algebraic Morse theory). This article serves as a source of examples of how to construct useful acyclic matchings, each of which in turn induces compelling combinatorial problems and solutions. It also enables graph theory to be used in homological algebra.
Hydras: Directed Hypergraphs and Horn Formulas
Published
• View Publication
• BIB
We introduce a new graph parameter, the hydra number, arising from the minimization problem for Horn formulas in propositional logic. The hydra number of a graph $G=(V,E)$ is the minimal number of hyperarcs of the form $u,v\rightarrow w$ required in a directed hypergraph $H=(V,F)$, such that for every pair $(u, v)$, the set of vertices reachable in $H$ from $\{u, v\}$ is the entire vertex set $V$ if $(u, v) \in E$, and it is $\{u, v\}$ otherwise. Here reachability is defined by forward chaining, a standard marking algorithm.
Various bounds are given for the hydra number. We show that the hydra number of a graph can be upper bounded by the number of edges plus the path cover number of the line graph of a spanning subgraph, which is a sharp bound in several cases. On the other hand, we construct single-headed graphs for which that bound is off by a constant factor. Furthermore, we characterize trees with low hydra number, and give a lower bound for the hydra number of trees based on the number of vertices that are leaves in the tree obtained from $T$ by deleting its leaves. This bound is sharp for some families of trees. We give bounds for the hydra number of complete binary trees and also discuss a related minimization problem.
An exact Turán result for tripartite 3-graphs
Published
• View Publication
• BIB
Mantel's theorem says that among all triangle-free graphs of a given order the balanced complete bipartite graph is the unique graph of maximum size. We prove an analogue of this result for 3-graphs. Let $K_4^-=\{123,124,134\}$, $F_6=\{123,124,345,156\}$ and $\mathcal{F}=\{K_4^-,F_6\}$: for $n\neq 5$ the unique $\mathcal{F}$-free 3-graph of order $n$ and maximum size is the balanced complete tripartite 3-graph $S_3(n)$ (for $n=5$ it is $C_5^{(3)}=\{123,234,345,145,125\}$). This extends an old result of Bollobás that $S_3(n) $ is the unique 3-graph of maximum size with no copy of $K_4^-=\{123,124,134\}$ or $F_5=\{123,124,345\}$.
Spanning trees in connected graphs with few branch and end vertices
A vertex of degree one in a tree is called an end vertex and a vertex of degree at least three is called a branch vertex. For a graph $G$, let $σ_2$ be the minimum degree sum of two nonadjacent vertices in $G$. We consider tree problems arising in the context of optical and centralized terminal networks: finding a spanning tree of G (i) with the minimum number of end vertices, (ii) with the minimum number of branch vertices and (iii) with the minimum degree sum of the branch vertices, motivated by network design problems where junctions are significantly more expensive than simple end- or through-nodes, and are thus to be avoided. We consider: $(\ast)$ connected graphs on $n$ vertices such that $σ_2\ge n-k+1$ for some positive integer $k$. In 1976, it was proved (by the author) that every graph satisfying $(\ast)$ has a spanning tree with at most $k$ end vertices. In this paper we first show that every graph satisfying $(\ast)$ has a spanning tree with at most $k+1$ branch and end vertices altogether. The next result states that every graph satisfying $(\ast)$ has a spanning tree with at most $(k-1)/2$ branch vertices. The third result states that every graph satisfying $(\ast)$ has a spanning tree with at most $\frac{3}{2}(k-1)$ degree sum of branch vertices. All results are sharp.
A non-existence result on symplectic semifield spreads
We prove that there do not exist non-Desarguesian symplectic semifield spreads of PG$(5,q^2)$, $q\geq 2^{14}$ even, whose associated semifield has center containing $\mathbb{F}_q$, by proving that the only $\mathbb{F}_q$-linear set of rank 6 disjoint from the secant variety of the quadric Veronese variety of PG$(5,q^2)$ is a plane with three points of the Veronese surface of PG$(5,q^6)\setminus$PG$(5,q^2)$.
The critical probability for confetti percolation equals $1/2$
In the confetti percolation model, or two-coloured dead leaves model, radius one disks arrive on the plane according to a space-time Poisson process. Each disk is coloured black with probability $p$ and white with probability $1-p$. In this paper we show that the critical probability for confetti percolation equals $1/2$. That is, if $p>1/2$ then a.s.~there is an unbounded curve in the plane all of whose points are black; while if $p \leq 1/2$ then a.s.~all connected components of the set of black points are bounded. This answers a question of Benjamini and Schramm. The proof builds on earlier work by Hirsch and makes use of an adaptation of a sharp thresholds result of Bourgain.
Lift-and-project ranks of the stable set polytope of joined a-perfect graphs
Published
• View Publication
• BIB
In this paper we study lift-and-project polyhedral operators defined by Lov?asz and Schrijver and Balas, Ceria and Cornu?ejols on the clique relaxation of the stable set polytope of web graphs. We compute the disjunctive rank of all webs and consequently of antiweb graphs. We also obtain the disjunctive rank of the antiweb constraints for which the complexity of the separation problem is still unknown. Finally, we use our results to provide bounds of the disjunctive rank of larger classes of graphs as joined a-perfect graphs, where near-bipartite graphs belong.