arXiv++ Combinatorics

Browse math.CO papers from arXiv

graph

35436 papers tagged with this keyword
2019-09-03 v3
The convex dimension of hypergraphs and the hypersimplicial Van Kampen-Flores Theorem
Published in Journal of Combinatorial Theory, Series B. Volume 149, 2021, pp. 23-51 • View Publication • BIB
The convex dimension of a $k$-uniform hypergraph is the smallest dimension $d$ for which there is an injective mapping of its vertices into $\mathbb{R}^d$ such that the set of $k$-barycenters of all hyperedges is in convex position. We completely determine the convex dimension of complete $k$-uniform hypergraphs, which settles an open question by Halman, Onn and Rothblum, who solved the problem for complete graphs. We also provide lower and upper bounds for the extremal problem of estimating the maximal number of hyperedges of $k$-uniform hypergraphs on $n$ vertices with convex dimension $d$. To prove these results, we restate them in terms of affine projections that preserve the vertices of the hypersimplex. More generally, we provide a full characterization of the projections that preserve its $i$-dimensional skeleton. In particular, we obtain a hypersimplicial generalization of the linear van Kampen-Flores theorem: for each $n$, $k$ and $i$ we determine onto which dimensions can the $(n,k)$-hypersimplex be linearly projected while preserving its $i$-skeleton. Our results have direct interpretations in terms of $k$-sets and $(i,j)$-partitions, and are closely related to the problem of finding large convexly independent subsets in Minkowski sums of $k$ point sets.
2019-09-03 v2
A note on pseudorandom Ramsey graphs
Published • View Publication • BIB
For fixed $s \ge 3$, we prove that if optimal $K_s$-free pseudorandom graphs exist, then the Ramsey number $r(s,t) = t^{s-1+o(1)}$ as $t \rightarrow \infty$. Our method also improves the best lower bounds for $r(C_{\ell},t)$ obtained by Bohman and Keevash from the random $C_{\ell}$-free process by polylogarithmic factors for all odd $\ell \geq 5$ and $\ell \in \{6,10\}$. For $\ell = 4$ it matches their lower bound from the $C_4$-free process. We also prove, via a different approach, that $r(C_5, t)> (1+o(1))t^{11/8}$ and $r(C_7, t)> (1+o(1))t^{11/9}$. These improve the exponent of $t$ in the previous best results and appear to be the first examples of graphs $F$ with cycles for which such an improvement of the exponent for $r(F, t)$ is shown over the bounds given by the random $F$-free process and random graphs.
2019-09-02 v3
Progress towards Nash-Williams' Conjecture on Triangle Decompositions
Published • View Publication • BIB
Partitioning the edges of a graph into edge disjoint triangles forms a triangle decomposition of the graph. A famous conjecture by Nash-Williams from 1970 asserts that any sufficiently large, triangle divisible graph on $n$ vertices with minimum degree at least $0.75 n$ admits a triangle decomposition. In the light of recent results, the fractional version of this problem is of central importance. A fractional triangle decomposition is an assignment of non-negative weights to each triangle in a graph such that the sum of the weights along each edge is precisely 1. We show that for any graph on $n$ vertices with minimum degree at least $0.827327 n$ admits a fractional triangle decomposition. Combined with results of Barber, Kühn, Lo, and Osthus, this implies that for every sufficiently large triangle divisible graph on $n$ vertices with minimum degree at least $0.82733 n$ admits a triangle decomposition.
2019-09-02 v2
Burning Two Worlds: Algorithms for Burning Dense and Tree-like Graphs
Published • View Publication • BIB
Graph burning is a simple model for the spread of social influence in networks. The objective is to measure how quickly a fire (e.g., a piece of fake news) can be spread in a network. The burning process takes place in discrete rounds. In each round, a new fire breaks out at a selected vertex and burns it. Meanwhile, the old fires extend to their neighbours and burn them. A burning schedule selects where the new fire breaks out in each round, and the burning problem asks for a schedule that burns all vertices in a minimum number of rounds, termed the burning number of the graph. The burning problem is known to be NP-hard even when the graph is a tree or a disjoint set of paths. For connected graphs, it has been conjectured that burning takes at most $\lceil \sqrt{n} \rceil$ rounds. We approach the algorithmic study of graph burning from two directions. First, we consider graphs with minimum degree $δ$. We present an algorithm that burns any graph of size $n$ in at most $\sqrt{\frac{24n}{δ+1}}$ rounds. In particular, for dense graphs with $δ\in Θ(n)$, all vertices are burned in a constant number of rounds. More interestingly, even when $δ$ is a constant that is independent of the graph size, our algorithm answers the graph-burning conjecture in the affirmative by burning the graph in at most $\lceil \sqrt{n} \rceil$ rounds. Next, we consider burning graphs with bounded path-length or tree-length. These include many graph families including connected interval graphs and connected chordal graphs. We show that any graph with path-length $pl$ and diameter $d$ can be burned in $\lceil \sqrt{d-1} \rceil + pl$ rounds. Our algorithm ensures an approximation ratio of $1+o(1)$ for graphs of bounded path-length. We introduce another algorithm that achieves an approximation ratio of $2+o(1)$ for burning graphs of bounded tree-length.
2019-09-01
Signified chromatic number of grids is at most 9
Published • View Publication • BIB
A signified graph is a pair $(G, Σ)$ where $G$ is a graph, and $Σ$ is a set of edges marked with '$-$'. Other edges are marked with '$+$'. A signified coloring of the signified graph $(G, Σ)$ is a homomorphism into a signified graph $(H, Δ)$. The signified chromatic number of the signified graph $(G, Σ)$ is the minimum order of $H$. In this paper we show that for every 2-dimensional grid $(G, Σ)$ there exists homomorphism from $(G, Σ)$ into the signed Paley graphs $SP_9$. Hence signified chromatic number of the signified grids is at most 9. This improves upper bound on this number obtained recently by Bensmail.
2019-09-01
Equitable colorings of hypergraphs with few edges
Published in \emph{Discrete Applied Mathematics}, (2019), https://doi.org/10.1016/j.dam.2019.03.024 • View Publication • BIB
The paper deals with an extremal problem concerning equitable colorings of uniform hyper\-graph. Recall that a vertex coloring of a hypergraph $H$ is called proper if there are no monochro-matic edges under this coloring. A hypergraph is said to be equitably $r$-colorable if there is a proper coloring with $r$ colors such that the sizes of any two color classes differ by at most one. In the present paper we prove that if the number of edges $|E(H)|\leq 0.01\left(\frac{n}{\ln n}\right)^{\frac {r-1}{r}}r^{n-1}$ then the hypergraph $H$ is equitably $r$-colorable provided $r<\sqrt[5]{\ln n}$.
2019-08-31
Degree bipartite Ramsey numbers
Published • View Publication • BIB
Let $H\xrightarrow{s} G$ denote that any edge-coloring of $H$ by $s$ colors contains a monochromatic $G$. The degree Ramsey number $r_Δ(G;s)$ is defined to be $\min\{Δ(H):H\xrightarrow{s} G\}$, and the degree bipartite Ramsey number $br_Δ(G;s)$ is defined to be $\min\{Δ(H):H\xrightarrow{s} G\; \mbox{and} \;χ(H)=2\}$. In this note, we show that $r_Δ(K_{m,n};s)$ is linear on $n$ with $m$ fixed. We also determine $br_Δ(G;s)$ where $G$ are trees, including stars and paths, and complete bipartite graphs.
2019-08-31
On inclusion chromatic index of a graph
Let $χ'_\subset(G)$ be the least number of colours necessary to properly colour the edges of a graph $G$ with minimum degree $δ\geq 2$ so that the set of colours incident with any vertex is not contained in a set of colours incident to any its neighbour. We provide an infinite family of examples of graphs $G$ with $χ'_\subset(G)\geq (1+\frac{1}{δ-1})Δ$, where $Δ$ is the maximum degree of $G$, and we conjecture that $χ'_\subset(G)\leq \lceil(1+\frac{1}{δ-1})Δ\rceil$ for every connected graph with $δ\geq 2$ which is not isomorphic to $C_5$. The equality here is attained e.g. for the family of complete bipartite graphs. Using a probabilistic argument we support this conjecture by proving that for any fixed $δ\ge2$, $χ'_\subset(G) \le (1+\frac{4}δ)Δ(1+o(1))$ (for $Δ\to\infty$), what implies that $χ'_\subset(G) \le (1+\frac{4}{δ-1})Δ$ for $Δ$ large enough.
2019-08-31 v3
An analogue of the Erdős-Gallai theorem for random graphs
Published • View Publication • BIB
Recently, variants of many classical extremal theorems have been proved in the random environment. We, complementing existing results, extend the Erdős-Gallai Theorem in random graphs. In particular, we determine, up to a constant factor, the maximum number of edges in a $P_n$-free subgraph of $G(N,p)$, practically for all values of $N,n$ and $p$. Our work is also motivated by the recent progress on the size-Ramsey number of paths.
Simple $k$-Planar Graphs are Simple $(k+1)$-Quasiplanar
Published • View Publication • BIB
A simple topological graph is $k$-quasiplanar ($k\geq 2$) if it contains no $k$ pairwise crossing edges, and $k$-planar if no edge is crossed more than $k$ times. In this paper, we explore the relationship between $k$-planarity and $k$-quasiplanarity to show that, for $k \geq 2$, every $k$-planar simple topological graph can be transformed into a $(k+1)$-quasiplanar simple topological graph.
2019-08-31 v2
The Signless Laplacian Matrix of Hypergraphs
Published • View Publication • BIB
In this paper we define signless Laplacian matrix of a hypergraph and obtain structural properties from its eigenvalues. We generalize several known results for graphs, relating the spectrum of this matrix with structural parameters of the hypergraph such as the maximum degree, diameter and the chromatic number. In addition, we characterize the complete signless Laplacian spectrum for the class of the power hypergraphs from the spectrum of its base hypergraph.
Mapping Firms' Locations in Technological Space: A Topological Analysis of Patent Statistics
Published • View Publication • BIB
Where do firms innovate? Mapping their locations and directions in technological space is challenging due to its high dimensionality. We propose a new method to characterize firms' inventive activities via topological data analysis (TDA) that represents high-dimensional data in a shape graph. Applying this method to 333 major firms' patents in 1976--2005 reveals substantial heterogeneity: some firms remain undifferentiated; others develop unique portfolios. Firms with unique trajectories, which we define and measure graph-theoretically as "flares" in the Mapper graph, perform better. This association is statistically and economically significant, and continues to hold after we control for portfolio size, firm survivorship, industry classification, and firm fixed effects. By contrast, existing techniques -- such as principal component analysis (PCA) and Jaffe's (1989) clustering method -- struggle to track these firm-level dynamics.
2019-08-30 v2
Limits for embedding distributions
Published • View Publication • BIB
In this paper, we find and prove that, under some conditions, the embedding distributions of $H$-linear graph families with spiders are asymptotic normal distributions. It can been seen a version of central limit theorem in topological graph theory. We also prove that the limits of Euler-genus distributions is the same as limits of crosscap-number distributions. In addition, we show that the Euler-genus distributions (or crosscap-number distributions) of the cacti and necklaces are asymptotically normal distributions. In the end, some concrete examples are indicated.
2019-08-30
The average genus for bouquets of circles and dipoles
Published • View Publication • BIB
The bouquet of circles $B_n$ and dipole graph $D_n$ are two important classes of graphs in topological graph theory. For $n\geq 1$, we give an explicit formula for the average genus $γ_{avg}(B_n)$ of $B_n$. By this expression, one easily sees $γ_{avg}(B_n)=\frac{n-\ln n-c+1-\ln 2}{2}+o(1)$, where $c$ is the Euler constant. Similar results are obtained for $D_n$. Our method is new and deeply depends on the knowledge in ordinary differential equations.
2019-08-30 v2
On the speed of algebraically defined graph classes
Published • View Publication • BIB
The speed of a class of graphs counts the number of graphs on the vertex set $\lbrace 1,\dots, n\rbrace$ inside the class as a function of $n$. In this paper, we investigate this function for many classes of graphs that naturally arise in discrete geometry, for example intersection graphs of segments or disks in the plane. While upper bounds follow from Warren's theorem (a variant of a theorem of Milnor and Thom), all the previously known lower bounds were obtained from ad hoc constructions for very specific classes. We prove a general theorem giving an essentially tight lower bound for the number of graphs on $\lbrace 1,\dots, n\rbrace$ whose edges are defined using the signs of a given finite list of polynomials, assuming these polynomials satisfy some reasonable conditions. This in particular implies lower bounds for the speed of many different classes of intersection graphs, which essentially match the known upper bounds. Our general result also gives essentially tight lower bounds for counting containment orders of various families of geometric objects, including circle orders and angle orders. Some of the applications presented in this paper are new, whereas others recover results of Alon-Scheinerman, Fox, McDiarmid-Müller and Shi. For the proof of our result we use some tools from algebraic geometry and differential topology.
2019-08-30 v2
On the support of a non-autocorrelated function on a hyperbolic surface
Let $f$ be a non-negative square-integrable function on a finite volume hyperbolic surface $Γ\backslash\mathbb{H}$, and assume that $f$ is non-autocorrelated, that is, perpendicular to its image under the operator of averaging over the circle of a fixed radius $r$. We show that in this case the support of $f$ is small, namely, it satisfies $μ(supp{f}) \leq (r+1)e^{-\frac{r}{2}} μ(Γ\backslash\mathbb{H})$. As a corollary, we prove a lower bound for the measurable chromatic number of the graph, whose vertices are the points of $Γ\backslash\mathbb{H}$, and two points are connected by an edge if there is a geodesic of length $r$ between them. We show that for any finite covolume $Γ$ the measurable chromatic number is at least $e^{\frac{r}{2}}(r+1)^{-1}$.
On the Mixed Connectivity Conjecture of Beineke and Harary
Published • View Publication • BIB
The conjecture of Beineke and Harary states that for any two vertices which can be separated by $k$ vertices and $l$ edges for $l\geq 1$ but neither by $k$ vertices and $l-1$ edges nor $k-1$ vertices and $l$ edges there are $k+l$ edge-disjoint paths connecting these two vertices of which $k+1$ are internally disjoint. In this paper we consider this conjecture for $l=2$ and any $k\in \mathbb{N}$. Afterwards, we utilize this result to prove that the conjecture holds for all graphs of treewidth at most $3$ and all $k$ and $l$. We also show that it is NP-complete to decide whether two vertices can be separated by $k$ vertices and $l$ edges.
Generation of Local Symmetry-Preserving Operations
Published • View Publication • BIB
We introduce a new practical and more general definition of local symmetry-preserving operations on polyhedra. These can be applied to arbitrary plane graphs and result in plane graphs with the same symmetry. With some additional properties we can restrict the connectivity, e.g. when we only want to consider polyhedra. Using some base structures and a list of 10 extensions, we can generate all possible local symmetry-preserving operations isomorph-free.
Existence of regular nut graphs for degree at most 11
Published • View Publication • BIB
A nut graph is a singular graph with one-dimensional kernel and corresponding eigenverctor with no zero elements. The problem of determining the orders $n$ for which $d$-regular nut graphs exist was recently posed by Gauci, Pisanski and Sciriha. These orders are known for $d \leq 4$. Here we solve the problem for all remaining cases $d\leq 11$ and determine the complete lists of all $d$-regular nut graphs of order $n$ for small values of $d$ and $n$. The existence or non-existence of small regular nut graphs is determined by a computer search. The main tool is a construction that produces, for any $d$-regular nut graph of order $n$, another $d$-regular nut graph of order $n + 2d$. If we are given a sufficient number of $d$-regular nut graphs of consecutive orders, called seed graphs, this construction may be applied in such a way that the existence of all $d$-regular nut graphs of higher orders is established. For even $d$ the orders $n$ are indeed consecutive, while for odd $d$ the orders $n$ are consecutive even numbers. Furthermore, necessary conditions for combinations of order and degree for vertex-transitive nut graphs are derived.
Homothetic triangle representations of planar graphs
We prove that every planar graph is the intersection graph of homothetic triangles in the plane.