Showing 20 papers (Total: 82901 papers, 47900 authors in database)
Graph Minors and the Linear Reducibility of Feynman Diagrams
Published
• View Publication
• BIB
We look at a graph property called reducibility which is closely related to a condition developed by Brown to evaluate Feynman integrals. We show for graphs with a fixed number of external momenta, that reducibility with respect to both Symanzik polynomials is graph minor closed. We also survey the known forbidden minors and the known structural results. This gives some structural information on those Feynman diagrams which are reducible.
A Structured Inverse Spectrum Problem for Infinite Graphs and Unbounded Operators
Published
• View Publication
• BIB
Given an infinite graph $G$ on countably many vertices, and a closed, infinite set $Λ$ of real numbers, we prove the existence of an unbounded self-adjoint operator whose graph is $G$ and whose spectrum is $Λ$.
Coupon-Coloring and total domination in Hamiltonian planar triangulations
Published
• View Publication
• BIB
We consider the so-called coupon-coloring of the vertices of a graph where every color appears in every open neighborhood, and our aim is to determine the maximal number of colors in such colorings. In other words, every color class must be a total dominating set in the graph and we study the total domatic number of the graph. We determine this parameter in every maximal outerplanar graph, and show that every Hamiltonian maximal planar graph has domatic number at least two, partially answering a conjecture of Goddard and Henning.
Finding a subdivision of a prescribed digraph of order 4
Published
• View Publication
• BIB
The problem of when a given digraph contains a subdivision of a fixed digraph $F$ is considered. Bang-Jensen et al. laid out foundations for approaching this problem from the algorithmic point of view. In this paper we give further support to several open conjectures and speculations about algorithmic complexity of finding $F$-subdivisions. In particular, up to 5 exceptions, we completely classify for which 4-vertex digraphs $F$, the $F$-subdivision problem is polynomial-time solvable and for which it is NP-complete. While all NP-hardness proofs are made by reduction from some version of the 2-linkage problem in digraphs, some of the polynomial-time solvable cases involve relatively complicated algorithms.
The strong ring of simplicial complexes
We define a ring R of geometric objects G generated by finite abstract simplicial complexes. To every G belongs Hodge Laplacian H as the square of the Dirac operator determining its cohomology and a unimodular connection matrix L). The sum of the matrix entries of the inverse of L is the Euler characteristic. The spectra of H as well as inductive dimension add under multiplication while the spectra of L multiply. The nullity of the Hodge of H are the Betti numbers which can now be signed. The map assigning to G its Poincare polynomial is a ring homomorphism from R the polynomials. Especially the Euler characteristic is a ring homomorphism. Also Wu characteristic produces a ring homomorphism. The Kuenneth correspondence between cohomology groups is explicit as a basis for the product can be obtained from a basis of the factors. The product in R produces the strong product for the connection graphs and leads to tensor products of connection Laplacians. The strong ring R is also a subring of the full Stanley-Reisner ring S Every element G can be visualized by its Barycentric refinement graph G1 and its connection graph G'. Gauss-Bonnet, Poincare-Hopf or the Brouwer-Lefschetz extend to the strong ring. The isomorphism of R with a subring of the strong Sabidussi ring shows that the multiplicative primes in R are the simplicial complexes and that every connected element in the strong ring has a unique prime factorization. The Sabidussi ring is dual to the Zykov ring, in which the Zykov join is the addition. The connection Laplacian of the d-dimensional lattice remains invertible in the infinite volume limit: there is a mass gap in any dimension.
Maximum number of colourings. I. 4-chromatic graphs
Published
• View Publication
• BIB
It is proved that every connected graph $G$ on $n$ vertices with $χ(G) \geq 4$ has at most $k(k-1)^{n-3}(k-2)(k-3)$ $k$-colourings for every $k \geq 4$. Equality holds for some (and then for every) $k$ if and only if the graph is formed from $K_4$ by repeatedly adding leaves. This confirms (a strengthening of) the $4$-chromatic case of a long-standing conjecture of Tomescu [Le nombre des graphes connexes $k$-chromatiques minimaux aux sommets etiquetes, C. R. Acad. Sci. Paris 273 (1971), 1124-1126]. Proof methods may be of independent interest. In particular, one of our auxiliary results about list-chromatic polynomials solves a recent conjecture of Brown, Erey, and Li.
Applications of analysis to the determination of the minimum number of distinct eigenvalues of a graph
We establish new bounds on the minimum number of distinct eigenvalues among real symmetric matrices with nonzero off-diagonal pattern described by the edges of a graph and apply these to determine the minimum number of distinct eigenvalues of several families of graphs and small graphs.
Maximum star densities
Published in Studia Scientiarum Mathematicarum Hungarica 55 (2018), 238--259
• View Publication
• BIB
Given an integer $k \geq 2$ and a real number $γ\in [0, 1]$, which graphs of edge density $γ$ contain the largest number of $k$-edge stars? For $k=2$ Ahlswede and Katona proved that asymptotically there cannot be more such stars than in a clique or in the complement of a clique (depending on the value of $γ$). Here we extend their result to all integers $k\ge 2$.
Schur-Concavity for Avoidance of Increasing Subsequences in Block-Ascending Permutations
Published in Electr. J. Comb. 24(4):P4.4, 2017
• View Publication
• BIB
For integers $a_1, \dots, a_n \ge 0$ and $k \ge 1$, let $\mathcal L_{k+2}(a_1, \dots, a_n)$ denote the set of permutations of $\{1, \dots, a_1+\dots+a_n\}$ whose descent set is contained in $\{a_1, a_1+a_2, \dots, a_1+\dots+a_{n-1}\}$, and which avoids the pattern $12\dots(k+2)$. We exhibit some bijections between such sets, most notably showing that $\# \mathcal L_{k+2} (a_1, \dots, a_n)$ is symmetric in the $a_i$ and is in fact Schur-concave. This generalizes a set of equivalences observed by Mei and Wang.
Two Results on Union-Closed Families
We show that there is some absolute constant $c>0$, such that for any union-closed family $\mathcal{F} \subseteq 2^{[n]}$, if \mbox{$|\mathcal{F}| \geq (\frac{1}{2}-c)2^n$}, then there is some element $i \in [n]$ that appears in at least half of the sets of $\mathcal{F}$. We also show that for any union-closed family $\mathcal{F} \subseteq 2^{[n]}$, the number of sets which are not in $\mathcal{F}$ that cover a set in $\mathcal{F}$ is at most $2^{n-1}$, and provide examples where the inequality is tight.
Maximum genus of the Jenga like configurations
Published
• View Publication
• BIB
We treat the boundary of the union of blocks in the Jenga game as a surface with a polyhedral structure and consider its genus. We generalize the game and determine the maximum genus of the generalized game.
Log-barrier interior point methods are not strongly polynomial
Published in SIAM J. Appl. Algebra Geom. 2/1 (2018), 140-178
• View Publication
• BIB
We prove that primal-dual log-barrier interior point methods are not strongly polynomial, by constructing a family of linear programs with $3r+1$ inequalities in dimension $2r$ for which the number of iterations performed is in $Ω(2^r)$. The total curvature of the central path of these linear programs is also exponential in $r$, disproving a continuous analogue of the Hirsch conjecture proposed by Deza, Terlaky and Zinchenko. Our method is to tropicalize the central path in linear programming. The tropical central path is the piecewise-linear limit of the central paths of parameterized families of classical linear programs viewed through logarithmic glasses. This allows us to provide combinatorial lower bounds for the number of iterations and the total curvature, in a general setting.
Bounding the size of an almost-equidistant set in Euclidean space
Published in Combinator. Probab. Comp. 28 (2019) 280-286
• View Publication
• BIB
A set of points in d-dimensional Euclidean space is almost equidistant if among any three points of the set, some two are at distance 1. We show that an almost-equidistant set in $\mathbb{R}^d$ has cardinality $O(d^{4/3})$.
Partite Saturation of Complete Graphs
We study the problem of determining $sat(n,k,r)$, the minimum number of edges in a $k$-partite graph $G$ with $n$ vertices in each part such that $G$ is $K_r$-free but the addition of an edge joining any two non-adjacent vertices from different parts creates a $K_r$. Improving recent results of Ferrara, Jacobson, Pfender and Wenger, and generalizing a recent result of Roberts, we define a function $α(k,r)$ such that $sat(n,k,r) = α(k,r)n + o(n)$ as $n \rightarrow \infty$. Moreover, we prove that \[ k(2r-4) \le α(k,r) \le \begin{cases} (k-1)(4r-k-6) &\text{ for }r \le k \le 2r-3, \\(k-1)(2r-3) &\text{ for }k \ge 2r-3, \end{cases} \] and show that the lower bound is tight for infinitely many values of $r$ and every $k\geq 2r-1$. This allows us to prove that, for these values, $sat(n,k,r) = k(2r-4)n + O(1)$ as $n \rightarrow \infty$. Along the way, we disprove a conjecture and answer a question of the first set of authors mentioned above.
Matrix rigidity and the Croot-Lev-Pach lemma
Matrix rigidity is a notion put forth by Valiant as a means for proving arithmetic circuit lower bounds. A matrix is rigid if it is far, in Hamming distance, from any low rank matrix. Despite decades of efforts, no explicit matrix rigid enough to carry out Valiant's plan has been found. Recently, Alman and Williams showed, contrary to common belief, that the $2^n \times 2^n$ Hadamard matrix could not be used for Valiant's program as it is not sufficiently rigid. In this note we observe a similar `non rigidity' phenomena for any $q^n \times q^n$ matrix $M$ of the form $M(x,y) = f(x+y)$, where $f:F_q^n \to F_q$ is any function and $F_q$ is a fixed finite field of $q$ elements ($n$ goes to infinity). The theorem follows almost immediately from a recent lemma of Croot, Lev and Pach which is also the main ingredient in the recent solution of the cap-set problem.
On a Vizing-type integer domination conjecture
Published in Theory and Applications of Graphs: Vol. 7 : Iss. 1 , Article 4, 2020
• View Publication
• BIB
Given a simple graph $G$, a dominating set in $G$ is a set of vertices $S$ such that every vertex not in $S$ has a neighbor in $S$. Denote the domination number, which is the size of any minimum dominating set of $G$, by $γ(G)$. For any integer $k\ge 1$, a function $f : V (G) \rightarrow \{0, 1, . . ., k\}$ is called a \emph{$\{k\}$-dominating function} if the sum of its function values over any closed neighborhood is at least $k$. The weight of a $\{k\}$-dominating function is the sum of its values over all the vertices. The $\{k\}$-domination number of $G$, $γ_{\{k\}}(G)$, is defined to be the minimum weight taken over all $\{k\}$-domination functions. Brešar, Henning, and Klavžar (On integer domination in graphs and Vizing-like problems. \emph{Taiwanese J. Math.} {10(5)} (2006) pp. 1317--1328) asked whether there exists an integer $k\ge 2$ so that $γ_{\{k\}}(G\square H)\ge γ(G)γ(H)$. In this note we use the Roman $\{2\}$-domination number, $γ_{R2}$ of Chellali, Haynes, Hedetniemi, and McRae, (Roman $\{2\}$-domination. \emph{Discrete Applied Mathematics} {204} (2016) pp. 22-28.) to prove that if $G$ is a claw-free graph and $H$ is an arbitrary graph, then $γ_{\{2\}}(G\square H)\ge γ_{R2}(G\square H)\ge γ(G)γ(H)$, which also implies the conjecture for all $k\ge 2$.
Any shape can ultimately cross information on two-dimensional abelian sandpile models
Published
• View Publication
• BIB
In this paper we study the abelian sandpile model on the two-dimensional grid with uniform neighborhood, and prove that any family of neighborhoods defined as scalings of a continuous non-flat shape can ultimately perform crossing.
Graphs having extremal monotonic topological indices with bounded vertex $k$-partiteness
Published
• View Publication
• BIB
The vertex $k$-partiteness $v_k(G)$ of graph $G$ is defined as the fewest number of vertices whose deletion from $G$ yields a $k$-partite graph. In this paper, we introduce two concepts: monotonic decreasing topological index and monotonic increasing topological index, and characterize the extremal graphs having the minimum Wiener index, the maximum Harry index, the maximum reciprocal degree distance, the minimum eccentricity distance sum, the minimum adjacent eccentric distance sum index, the maximum connective eccentricity index, the maximum Zagreb indices among graphs with a fixed number $n$ of vertices and fixed vertex $k$-partiteness, respectively.
New Canonical Decomposition in Matching Theory
Published
• View Publication
• BIB
In matching theory, one of the most fundamental and classical branches of combinatorics, {\em canonical decompositions} of graphs are powerful and versatile tools that form the basis of this theory. However, the abilities of the known canonical decompositions, that is, the {\em Dulmage-Mendelsohn}, {\em Kotzig-Lovász}, and {\em Gallai-Edmonds} decompositions, are limited because they are only applicable to particular classes of graphs, such as bipartite graphs, or they are too sparse to provide sufficient information. To overcome these limitations, we introduce a new canonical decomposition that is applicable to all graphs and provides much finer information. We focus on the notion of {\em factor-components} as the fundamental building blocks of a graph; through the factor-components, our new canonical decomposition states how a graph is organized and how it contains all the maximum matchings. The main results that constitute our new theory are the following: (i) a canonical partial order over the set of factor-components, which describes how a graph is constructed from its factor-components; (ii) a generalization of the Kotzig-Lovász decomposition, which shows the inner structure of each factor-component in the context of the entire graph; and (iii) a canonically described interrelationship between (i) and (ii), which integrates these two results into a unified theory of a canonical decomposition. These results are obtained in a self-contained way, and our proof of the generalized Kotzig-Lovász decomposition contains a shortened and self-contained proof of the classical counterpart.
The random k-matching-free process
Published
• View Publication
• BIB
Let $\mathcal{P}$ be a graph property which is preserved by removal of edges, and consider the random graph process that starts with the empty $n$-vertex graph and then adds edges one-by-one, each chosen uniformly at random subject to the constraint that $\mathcal{P}$ is not violated. These types of random processes have been the subject of extensive research over the last 20 years, having striking applications in extremal combinatorics, and leading to the discovery of important probabilistic tools. In this paper we consider the $k$-matching-free process, where $\mathcal{P}$ is the property of not containing a matching of size $k$. We are able to analyse the behaviour of this process for a wide range of values of $k$; in particular we prove that if $k=o(n)$ or if $n-2k=o(\sqrt{n}/\log n)$ then this process is likely to terminate in a $k$-matching-free graph with the maximum possible number of edges, as characterised by Erdős and Gallai. We also show that these bounds on $k$ are essentially best possible, and we make a first step towards understanding the behaviour of the process in the intermediate regime.