Showing 20 papers (Total: 82432 papers, 47671 authors in database)
Large complete minors in expanding graphs
In 2009, Krivelevich and Sudakov studied the existence of large complete minors in $(t,α)$-expanding graphs whenever the expansion factor $t$ becomes super-constant. In this paper, we give an extension of the results of Krivelevich and Sudakov by investigating a connection between the existence of large complete minors in graphs and good vertex expansion properties.
On the Representation Number of Bipartite Graphs
Published
• View Publication
• BIB
A word-representable graph is a simple graph $G$ which can be represented by a word $w$ over the vertices of $G$ such that any two vertices are adjacent in $G$ if and only if they alternate in $w$. It is known that the class of comparability graphs -- the graphs which admit a transitive orientation -- is precisely the class of graphs that can be represented by a concatenation of permutations of vertices. The class of bipartite graphs is a subclass of comparability graphs. While it is an open problem to determine the representation number of comparability graphs, it was conjectured that the representation number of bipartite graphs on $n$ vertices is at most $n/4$. In this paper, we propose a polynomial time relabeling algorithm to produce a word representing a given bipartite graph which is a concatenation of permutations of the graph's vertices. Thus we obtain an upper bound for the representation number of bipartite graphs, which in turn gives us an upper bound for the dimension of the posets corresponding to bipartite graphs.
Sesqui-regular graphs with smallest eigenvalue at least $-3$
Published
• View Publication
• BIB
Koolen et al. showed that if a graph with smallest eigenvalue at least $-3$ has large minimal valency, then it is $2$-integrable. In this paper, we will focus on the sesqui-regular graphs with smallest eigenvalue at least $-3$ and study their integrability.
Lower bounds for the $\mathcal{A}_α$-spectral radius of uniform hypergraphs
Published
• View Publication
• BIB
For $0\leq α< 1$, the $\mathcal{A}_α$-spectral radius of a $k$-uniform hypergraph $G$ is defined to be the spectral radius of the tensor $\mathcal{A}_α(G):=α\mathcal{D}(G)+(1-α) \mathcal{A}(G)$, where $\mathcal{D}(G)$ and $A(G)$ are diagonal and the adjacency tensors of $G$ respectively. This paper presents several lower bounds for the difference between the $\mathcal{A}_α$-spectral radius and an average degree $\frac{km}{n}$ for a connected $k$-uniform hypergraph with $n$ vertices and $m$ edges, which may be considered as the measures of irregularity of $G$. Moreover, two lower bounds on the $\mathcal{A}_α$-spectral radius are obtained in terms of the maximum and minimum degrees of a hypergraph.
Disjoint dijoins for classes of dicuts in finite and infinite digraphs
Published
• View Publication
• BIB
A dicut in a directed graph is a cut for which all of its edges are directed to a common side of the cut. A famous theorem of Lucchesi and Younger states that in every finite digraph the least size of a set of edges meeting every non-empty dicut equals the maximum number of disjoint dicuts in that digraph. Such sets are called dijoins. Woodall conjectured a dual statement. He asked whether the maximum number of disjoint dijoins in a directed graph equals the minimum size of a non-empty dicut.
We study a modification of this question where we restrict our attention to certain classes of non-empty dicuts, i.e. whether for a class $\mathfrak{B}$ of dicuts of a directed graph the maximum number of disjoint sets of edges meeting every dicut in $\mathfrak{B}$ equals the size of a minimum dicut in $\mathfrak{B}$. In particular, we verify this questions for nested classes of finite dicuts, for the class of dicuts of minimum size, and for classes of infinite dibonds, and we investigate how this generalised setting relates to a capacitated version of this question.
Partial sums of the Gibonacci sequence
Recently, Chu studied some properties of the partial sums of the sequence $P^k(F_n)$, where $P(F_n)=\big(\sum_{i=1}^nF_i\big)_{n\geq1}$ and $(F_n)_{n\geq1}$ is the Fibonacci sequence, and gave its combinatorial interpretation. We generalize those results, introduce colored Schreier sets, and give another equivalent combinatorial interpretation by means of lattice path.
Triple intersection numbers for the Paley graphs
Published
• View Publication
• BIB
We give a tight bound for the triple intersection numbers of Paley graphs. In particular, we show that any three vertices have a common neighbor in Paley graphs of order larger than 25.
A Characterization of the Realizable Matoušek Unique Sink Orientations
The Matoušek LP-type problems were used by Matoušek to show that the Sharir-Welzl algorithm may require at least subexponential time. Later, Gärtner translated this result into the language of Unique Sink Orientations (USOs) and introduced the Matoušek USOs, the USOs equivalent to Matoušek's LP-type problems. He further showed that the Random Facet algorithm only requires quadratic time on the realizable subset of the Matoušek USOs, but without characterizing this subset. In this paper, we deliver this missing characterization and also provide concrete realizations for all realizable Matoušek USOs. Furthermore, we show that the realizable Matoušek USOs are exactly the orientations arising from simple extensions of cyclic-P-matroids.
Weak saturation of multipartite hypergraphs
Published
• View Publication
• BIB
Given $q$-uniform hypergraphs ($q$-graphs) $F,G$ and $H$, where $G$ is a spanning subgraph of $F$, $G$ is called weakly $H$-saturated in $F$ if the edges in $E(F)\setminus E(G)$ admit an ordering $e_1,\dots, e_k$ so that for all $i\in [k]$ the hypergraph $G\cup \{e_1,\dots,e_i\}$ contains an isomorphic copy of $H$ which in turn contains the edge $e_i$. The weak saturation number of $H$ in $F$ is the smallest size of an $H$-weakly saturated subgraph of $F$. Weak saturation was introduced by Bollobás in 1968, but despite decades of study our understanding of it is still limited. The main difficulty lies in proving lower bounds on weak saturation numbers, which typically withstands combinatorial methods and requires arguments of algebraic or geometrical nature.
In our main contribution in this paper we determine exactly the weak saturation number of complete multipartite $q$-graphs in the directed setting, for any choice of parameters. This generalizes a theorem of Alon from 1985. Our proof combines the exterior algebra approach from the works of Kalai with the use of the colorful exterior algebra motivated by the recent work of Bulavka, Goodarzi and Tancer on the colorful fractional Helly theorem. In our second contribution answering a question of Kronenberg, Martins and Morrison, we establish a link between weak saturation numbers of bipartite graphs in the clique versus in a complete bipartite host graph. In a similar fashion we asymptotically determine the weak saturation number of any complete $q$-partite $q$-graph in the clique, generalizing another result of Kronenberg et al.
Integration of vector fields on cell complexes and Morse theory
Published
• View Publication
• BIB
In this paper, we investigate vector fields on polyhedral complexes and their associated trajectories. We study vector fields which are analogue of the gradient vector field of a function in the smooth case. Our goal is to define a nice theory of trajectories of such vector fields, so that the set of them captures the topology of the polyhedral complex, as in classical Morse theory. Since we do not assume the polyhedral complex to be a manifold, the definition of vector fields on it is very different from the smooth case. Nevertheless, we will show that there exist nice classes of functions and metrics which give gradient vector fields with desired properties. Our construction relies on Forman's discrete Morse theory. In particular, the class of functions we use is an improvement of Forman's discrete Morse functions. A notable feature of our theory is that our gradient vector fields are defined purely from functions and metrics as in the smooth case, contrary to the case of discrete Morse theory where we need the data of dimension of cells. This allows us to implement several useful constructions which were not available in the discrete case.
Approximately counting independent sets in bipartite graphs via graph containers
Published
• View Publication
• BIB
By implementing algorithmic versions of Sapozhenko's graph container methods, we give new algorithms for approximating the number of independent sets in bipartite graphs. Our first algorithm applies to $d$-regular, bipartite graphs satisfying a weak expansion condition: when $d$ is constant, and the graph is a bipartite $Ω( \log^2 d/d)$-expander, we obtain an FPTAS for the number of independent sets. Previously such a result for $d>5$ was known only for graphs satisfying the much stronger expansion conditions of random bipartite graphs. The algorithm also applies to weighted independent sets: for a $d$-regular, bipartite $α$-expander, with $α>0$ fixed, we give an FPTAS for the hard-core model partition function at fugacity $λ=Ω(\log d / d^{1/4})$. Finally we present an algorithm that applies to all $d$-regular, bipartite graphs, runs in time $\exp\left( O\left( n \cdot \frac{ \log^3 d }{d } \right) \right)$, and outputs a $(1 + o(1))$-approximation to the number of independent sets.
Lifting methods in mass partition problems
Many results in mass partitions are proved by lifting $\mathbb{R}^d$ to a higher-dimensional space and dividing the higher-dimensional space into pieces. We extend such methods to use lifting arguments to polyhedral surfaces. Among other results, we prove the existence of equipartitions of $d+1$ measures in $\mathbb{R}^d$ by parallel hyperplanes and of $d+2$ measures in $\mathbb{R}^d$ by concentric spheres. For measures whose supports are sufficiently well separated, we prove results where one can cut a fixed (possibly different) fraction of each measure either by parallel hyperplanes, concentric spheres, convex polyhedral surfaces of few facets, or convex polytopes with few vertices.
The rank of a signed graph in terms of girth
Let $Γ=(G,σ)$ be a signed graph and $A(G,σ)$ be its adjacency matrix. Denote by $gr(G)$ the girth of $G$, which is the length of the shortest cycle in $G$. Let $r(G,σ)$ be the rank of $(G,σ)$. In this paper, we will prove that $r(G,σ)\geq gr(G)-2$ for a signed graph $(G,σ)$. Moreover, we characterize all extremal graphs which satisfy the equalities $r(G,σ)=gr(G)-2$ and $r(G,σ)=gr(G)$.
On the minimum degree of minimal Ramsey graphs for cliques versus cycles
Published
• View Publication
• BIB
A graph $G$ is said to be $q$-Ramsey for a $q$-tuple of graphs $(H_1,\ldots,H_q)$, denoted by $G\to_q(H_1,\ldots,H_q)$, if every $q$-edge-coloring of $G$ contains a monochromatic copy of $H_i$ in color $i,$ for some $i\in[q]$. Let $s_q(H_1,\ldots,H_q)$ denote the smallest minimum degree of $G$ over all graphs $G$ that are minimal $q$-Ramsey for $(H_1,\ldots,H_q)$ (with respect to subgraph inclusion). The study of this parameter was initiated in 1976 by Burr, Erdős and Lovász, who determined its value precisely for a pair of cliques. Over the past two decades the parameter $s_q$ has been studied by several groups of authors, the main focus being on the symmetric case, where $H_i\cong H$ for all $i\in [q]$. The asymmetric case, in contrast, has received much less attention. In this paper, we make progress in this direction, studying asymmetric tuples consisting of cliques, cycles and trees. We determine $s_2(H_1,H_2)$ when $(H_1,H_2)$ is a pair of one clique and one tree, a pair of one clique and one cycle, and when it is a pair of two different cycles. We also generalize our results to multiple colors and obtain bounds on $s_q(C_\ell,\ldots,C_\ell,K_t,\ldots,K_t)$ in terms of the size of the cliques $t$, the number of cycles, and the number of cliques. Our bounds are tight up to logarithmic factors when two of the three parameters are fixed.
Counting cliques in $1$-planar graphs
Published
• View Publication
• BIB
The problem of maximising the number of cliques among $n$-vertex graphs from various graph classes has received considerable attention. We investigate this problem for the class of $1$-planar graphs where we determine precisely the maximum total number of cliques as well as the maximum number of cliques of any fixed size. We also precisely characterise the extremal graphs for these problems.
Circular flow number of Goldberg snarks
A circular nowhere-zero $r$-flow on a bridgeless graph $G$ is an orientation of the edges and an assignment of real values from $[1, r-1]$ to the edges in such a way that the sum of incoming values equals the sum of outgoing values for every vertex. The circular flow number of $G$ is the infimum over all values $r$ such that $G$ admits a nowhere-zero $r$-flow. We prove that the circular glow number of Goldberg snark $G_{2k+1}$ is $4+1/(k+1)$, proving a conjecture of Goedgebeur, Mattiolo, and Mazzuoccolo.
Small subsets without $k$-term arithmetic progressions
Szemerédi's theorem implies that there are $2^{o(n)}$ subsets of $[n]$ which do not contain a $k$-term arithmetic progression. A sparse analogue of this statement was obtained by Balogh, Morris, and Samotij, using the hypergraph container method: For any $β> 0$ there exists $C > 0$, such that if $m \ge Cn^{1 - 1/(k-1)}$ then there are at most $β^m \binom{n}{m}$ $m$-element subsets of $\{1, \ldots, n\}$ without a $k$-term arithmetic progression. We give a short, inductive proof of this result. Consequently, this provides a short proof of the Szemerédi's theorem in random subsets of integers.
Characterizing and computing weight-equitable partitions of graphs
Published
• View Publication
• BIB
Weight-equitable partitions of graphs, which are a natural extension of the well-known equitable partitions, have been shown to be a powerful tool to weaken the regularity assumption in several well-known eigenvalue bounds. In this work we aim to further our algebraic and computational understanding of weight-equitable partitions. We do so by showing several spectral properties and algebraic characterizations, and by providing a method to find coarse weight-equitable partitions.
Leray numbers of tolerance complexes
Published
• View Publication
• BIB
Let $K$ be a simplicial complex on vertex set $V$. $K$ is called $d$-Leray if the homology groups of any induced subcomplex of $K$ are trivial in dimensions $d$ and higher. $K$ is called $d$-collapsible if it can be reduced to the void complex by sequentially removing a simplex of size at most $d$ that is contained in a unique maximal face.
We define the $t$-tolerance complex of $K$, $\mathcal{T}_t(K)$, as the simplicial complex on vertex set $V$ whose simplices are formed as the union of a simplex in $K$ and a set of size at most $t$. We prove that for any $d$ and $t$ there exists a positive integer $h(t,d)$ such that, for every $d$-collapsible complex $K$, the $t$-tolerance complex $\mathcal{T}_t(K)$ is $h(t,d)$-Leray.
The definition of the complex $\mathcal{T}_t(K)$ is motivated by results of Montejano and Oliveros on "tolerant" versions of Helly's theorem. As an application, we present some new tolerant versions of the colorful Helly theorem.
Betwixt and between 2-factor Hamiltonian and Perfect-Matching-Hamiltonian graphs
Published in Electron. J. Comb. 30, No. 2, Research Paper P2.5, 20 pgs. (2023)
• View Publication
• BIB
A Hamiltonian graph is 2-factor Hamiltonian (2FH) if each of its 2-factors is a Hamiltonian cycle. A similar, but weaker, property is the Perfect-Matching-Hamiltonian property (PMH-property): a graph admitting a perfect matching is said to have this property if each one of its perfect matchings (1-factors) can be extended to a Hamiltonian cycle. It was shown that the star product operation between two bipartite 2FH-graphs is necessary and sufficient for a bipartite graph admitting a 3-edge-cut to be 2FH. The same cannot be said when dealing with the PMH-property, and in this work we discuss how one can use star products to obtain graphs (which are not necessarily bipartite, regular and 2FH) admitting the PMH-property with the help of malleable vertices, which we introduce here. We show that the presence of a malleable vertex in a graph implies that the graph has the PMH-property, but does not necessarily imply that it is 2FH. It was also conjectured that if a graph is a bipartite cubic 2FH-graph, then it can only be obtained from the complete bipartite graph $K_{3,3}$ and the Heawood graph by using star products. Here, we show that a cubic graph (not necessarily bipartite) is 2FH if and only if all of its vertices are malleable. We also prove that the above conjecture is equivalent to saying that, apart from the Heawood graph, every bipartite cyclically 4-edge-connected cubic graph with girth at least 6 having the PMH-property admits a perfect matching which can be extended to a Hamiltonian cycle in exactly one way. Finally, we also give two necessary and sufficient conditions for a graph admitting a 2-edge-cut to be: (i) 2FH, and (ii) PMH.