Showing 20 papers (Total: 84285 papers, 48548 authors in database)
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.
Lower bounds for the measurable chromatic number of the hyperbolic plane
Published in Discrete Comput Geom (2018)
• View Publication
• BIB
Consider the graph $\mathbb{H}(d)$ whose vertex set is the hyperbolic plane, where two points are connected with an edge when their distance is equal to some $d>0$. Asking for the chromatic number of this graph is the hyperbolic analogue to the famous Hadwiger-Nelson problem about colouring the points of the Euclidean plane so that points at distance $1$ receive different colours.
As in the Euclidean case, one can lower bound the chromatic number of $\mathbb{H}(d)$ by $4$ for all $d$. Using spectral methods, we prove that if the colour classes are measurable, then at least $6$ colours are are needed to properly colour $\mathbb{H}(d)$ when $d$ is sufficiently large.
On regular induced subgraphs of generalized polygons
Published in J. Combin. Theory Ser. A 158 (2018), 254-275
• View Publication
• BIB
The cage problem asks for the smallest number $c(k,g)$ of vertices in a $k$-regular graph of girth $g$ and graphs meeting this bound are known as cages. While cages are known to exist for all integers $k \ge 2$ and $g \ge 3$, the exact value of $c(k, g)$ is known only for some small values of $k, g$ and three infinite families where $g \in \{6, 8, 12\}$ and $k - 1$ is a prime power. These infinite families come from the incidence graphs of generalized polygons. Some of the best known upper bounds on $c(k,g)$ for $g \in \{6, 8, 12\}$ have been obtained by constructing small regular induced subgraphs of these cages. In this paper, we first use the Expander Mixing Lemma to give a general lower bound on the size of an induced $k$-regular subgraph of a regular bipartite graph in terms of the second largest eigenvalue of the host graph. We use this bound to show that the known construction of $(k,6)$-graphs using Baer subplanes of the Desarguesian projective plane is the best possible. For generalized quadrangles and hexagons, our bounds are new. In particular, we improve the known lower bound on the size of a $q$-regular induced subgraphs of the classical generalized quadrangle $\mathsf{Q}(4,q)$ and show that the known constructions are asymptotically sharp. For prime powers $q$, we also improve the known upper bounds on $c(q,8)$ and $c(q,12)$ by giving new geometric constructions of $q$-regular induced subgraphs in the symplectic generalized quadrangle $\mathsf{W}(3,q)$ and the split Cayley hexagon $\mathsf{H}(q)$, respectively. Our constructions show that \[c(q,8) \le 2(q^3 - q\sqrt{q} - q)\] for $q$ an even power of a prime, and \[c(q, 12) \le 2(q^5 - 3q^3)\] for all prime powers $q$. For $q \in \{3,4,5\}$ we also give a computer classification of all $q$-regular induced subgraphs of the classical generalized quadrangles of order $q$.
Arc Transitive Maps with underlying Rose Window Graphs
Published
• View Publication
• BIB
Let ${\cal M}$ be a map with the underlying graph $Γ$. The automorphism group $Aut({\cal M})$ induces a natural action on the set of all vertex-edge-face incident triples, called {\em flags} of ${\cal M}$. The map ${\cal M}$ is said to be a {\em $k$-orbit} map if $Aut({\cal M})$ has $k$ orbits on the set of all flags of ${\cal M}$. It is known that there are seven different classes of $2$-orbit maps, with only four of them corresponding to arc-transitive maps, that is maps for which $Aut{\cal M}$ acts arc-transitively on the underlying graph $Γ$. The Petrie dual operator links these four classes in two pairs, one of which corresponds to the chiral maps and their Petrie duals.
In this paper we focus on the other pair of classes of $2$-orbit arc-transitive maps. We investigate the connection of these maps to consistent cycles of the underlying graph with special emphasis on such maps of smallest possible valence, namely $4$. We then give a complete classification of such maps whose underlying graphs are arc-transitive Rose Window graphs.
Heden's bound on the tail of a vector space partition
Published
• View Publication
• BIB
A vector space partition of $\mathbb{F}_q^v$ is a collection of subspaces such that every non-zero vector is contained in a unique element. We improve a lower bound of Heden, in a subcase, on the number of elements of the smallest occurring dimension in a vector space partition. To this end, we introduce the notion of $q^r$-divisible sets of $k$-subspaces in $\mathbb{F}_q^v$. By geometric arguments we obtain non-existence results for these objects, which then imply the improved result of Heden.
Lecture hall partitions and the affine hyperoctahedral group
Published
• View Publication
• BIB
In 1997 Bousquet-Mélou and Eriksson introduced lecture hall partitions as the inversion vectors of elements of the parabolic quotient $\widetilde{C}/C$. We provide a new view of their correspondence that allows results in one domain to be translated into the other. We determine the equivalence between combinatorial statistics in each domain and use this correspondence to translate certain generating function formulas on lecture hall partitions to new observations about $\widetilde{C}/C$.
A Ramsey Property of Random Regular and $k$-out Graphs
Published
• View Publication
• BIB
In this note we consider a Ramsey property of random $d$-regular graphs, $\mathcal{G}(n,d)$. Let $r\ge 2$ be fixed. Then w.h.p. the edges of $\mathcal{G}(n, 2r)$ can be colored such that every monochromatic component has size $o(n)$. On the other hand, there exists a constant $γ> 0$ such that w.h.p., every $r$-coloring of the edges of $\mathcal{G}(n, 2r+1)$ must contain a monochromatic cycle of length at least $γn$. We prove an analogous result for random $k$-out graphs.
Polynomial tuning of multiparametric combinatorial samplers
Published
• View Publication
• BIB
Boltzmann samplers and the recursive method are prominent algorithmic frameworks for the approximate-size and exact-size random generation of large combinatorial structures, such as maps, tilings, RNA sequences or various tree-like structures. In their multiparametric variants, these samplers allow to control the profile of expected values corresponding to multiple combinatorial parameters. One can control, for instance, the number of leaves, profile of node degrees in trees or the number of certain subpatterns in strings. However, such a flexible control requires an additional non-trivial tuning procedure. In this paper, we propose an efficient polynomial-time, with respect to the number of tuned parameters, tuning algorithm based on convex optimisation techniques. Finally, we illustrate the efficiency of our approach using several applications of rational, algebraic and Pólya structures including polyomino tilings with prescribed tile frequencies, planar trees with a given specific node degree distribution, and weighted partitions.
The Spectrum of Permutation Orbifolds
Published
• View Publication
• BIB
We study the spectrum of permutation orbifolds of 2d CFTs. We find examples where the light spectrum grows faster than Hagedorn, which is different from known cases such as symmetric orbifolds. We also describe how to compute their partition functions using a generalization of Hecke operators.
A Characterization of Uniquely Representable Graphs
The betweenness structure of a finite metric space $M = (X, d)$ is a pair $\mathcal{B}(M) = (X,β_M)$ where $β_M$ is the so-called betweenness relation of $M$ that consists of point triplets $(x, y, z)$ such that $d(x, z) = d(x, y) + d(y, z)$. The underlying graph of a betweenness structure $\mathcal{B} = (X,β)$ is the simple graph $G(\mathcal{B}) = (X, E)$ where the edges are pairs of distinct points with no third point between them. A connected graph $G$ is uniquely representable if there exists a unique metric betweenness structure with underlying graph $G$. It was implied by previous works that trees are uniquely representable. In this paper, we give a characterization of uniquely representable graphs by showing that they are exactly the block graphs. Further, we prove that two related classes of graphs coincide with the class of block graphs and the class of distance-hereditary graphs, respectively. We show that our results hold not only for metric but also for almost-metric betweenness structures.
Average degrees of edge-chromatic critical graphs
Published
• View Publication
• BIB
Given a graph $G$, denote by $Δ$, $\bar{d}$ and $χ^\prime$ the maximum degree, the average degree and the chromatic index of $G$, respectively. A simple graph $G$ is called {\it edge-$Δ$-critical} if $χ^\prime(G)=Δ+1$ and $χ^\prime(H)\leΔ$ for every proper subgraph $H$ of $G$. Vizing in 1968 conjectured that if $G$ is edge-$Δ$-critical, then $\bar{d}\geq Δ-1+ \frac{3}{n}$. We show that $$ \begin{displaystyle} \avd \ge \begin{cases}
0.69241\D-0.15658 \quad\,\: \mbox{ if } Δ\geq 66,
0.69392\D-0.20642\quad\;\,\mbox{ if } Δ=65, \mbox{ and }
0.68706\D+0.19815\quad\! \quad\mbox{if } 56\leq Δ\leq64.
\end{cases}
\end{displaystyle}
$$
This result improves the best known bound $\frac{2}{3}(Δ+2)$ obtained by Woodall in 2007 for $Δ\geq 56$. Additionally, Woodall constructed an infinite family of graphs showing his result cannot be improved by well-known Vizing's Adjacency Lemma and other known edge-coloring techniques. To over come the barrier, we follow the recently developed recoloring technique of Tashkinov trees to expand Vizing fans technique to a larger class of trees.