Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Hereditary quasirandomness without regularity
Published
• View Publication
• BIB
A result of Simonovits and Sós states that for any fixed graph $H$ and any $ε> 0$ there exists $δ> 0$ such that if $G$ is an $n$-vertex graph with the property that every $S \subseteq V(G)$ contains $p^{e(H)} |S|^{v(H)} \pm δn^{v(H)}$ labeled copies of $H$, then $G$ is quasirandom in the sense that every $S \subseteq V(G)$ contains $\frac{1}{2} p |S|^2 \pm εn^2$ edges. The original proof of this result makes heavy use of the regularity lemma, resulting in a bound on $δ^{-1}$ which is a tower of twos of height polynomial in $ε^{-1}$. We give an alternative proof of this theorem which avoids the regularity lemma and shows that $δ$ may be taken to be linear in $ε$ when $H$ is a clique and polynomial in $ε$ for general $H$. This answers a problem raised by Simonovits and Sós.
Logarithmic Tree Factorials
To any rooted tree, we associate a sequence of numbers that we call the logarithmic factorials of the tree. This provides a generalization of Bhargava's factorials to a natural combinatorial setting suitable for studying questions around generalized factorials.
We discuss several basic aspects of the framework in this paper. In particular, we relate the growth of the sequence of logarithmic factorials associated to a tree to the transience of the random walk and the existence of a harmonic measure on the tree, obtain an equidistribution theorem for factorial-determining-sequences of subsets of local fields, and provide a factorial-based characterization of the branching number of infinite trees.
Our treatment is based on a local weighting process in the tree which gives an effective way of constructing the factorial sequence.
Hyperfiniteness and Borel combinatorics
Published
• View Publication
• BIB
We study the relationship between hyperfiniteness and problems in Borel graph combinatorics by adapting game-theoretic techniques introduced by Marks to the hyperfinite setting. We compute the possible Borel chromatic numbers and edge chromatic numbers of bounded degree acyclic hyperfinite Borel graphs and use this to answer a question of Kechris and Marks about the relationship between Borel chromatic number and measure chromatic number. We also show that for every $d > 1$ there is a $d$-regular acyclic hyperfinite Borel bipartite graph with no Borel perfect matching. These techniques also give examples of hyperfinite bounded degree Borel graphs for which the Borel local lemma fails, in contrast to the recent results of Csóka, Grabowski, Máthé, Pikhurko, and Tyros.
Related to the Borel Ruziewicz problem, we show there is a continuous paradoxical action of $(\mathbb{Z}/2\mathbb{Z})^{*3}$ on a Polish space that admits a finitely additive invariant Borel probability measure, but admits no countably additive invariant Borel probability measure. In the context of studying ultrafilters on the quotient space of equivalence relations under $\mathrm{AD}$, we also construct an ultrafilter $U$ on the quotient of $E_0$ which has surprising complexity. In particular, Martin's measure is Rudin-Kiesler reducible to $U$.
We end with a problem about whether every hyperfinite bounded degree Borel graph has a witness to its hyperfiniteness which is uniformly bounded below in size.
Characterization and linear-time detection of minimal obstructions to concave-round graphs and the circular-ones property
Published
• View Publication
• BIB
A graph is concave-round if its vertices can be circularly enumerated so that the closed neighbourhood of each vertex is an interval in the enumeration. In this work, we give a minimal forbidden induced subgraph characterization for the class of concave-round graphs, solving a problem posed by Bang-Jensen, Huang, and Yeo [SIAM J Discrete Math, 13:179--193, 2000]. In addition, we show that it is possible to find one such forbidden induced subgraph in linear time in any given graph that is not concave-round. As part of the analysis, we obtain characterizations by minimal forbidden submatrices for the circular-ones property for rows and for the circular-ones property for rows and columns and show that, also for both variants of the property, one of the corresponding forbidden submatrices can be found (if present) in any given matrix in linear time. We make some final remarks regarding connections to some classes of circular-arc graphs.
Self-Similar Polygonal Tiling
Published
• View Publication
• BIB
The purpose of this paper is to give the flavor of the subject of self-similar tilings in a relatively elementary setting, and to provide a novel method for the construction of such polygonal tilings.
Tutte's $3$-Flow Conjecture in $3$-tree-connected graphs
Tutte's $3$-flow conjecture says that every $4$-edge-connected graph admits a nowhere-zero $3$-flow. Kochol (2001) showed that it is enough to prove this conjecture for $5$-edge-connected graphs. Former, Jaeger, Linial, Payan, and Tarsi (1992) conjectured that every $5$-edge-connected graph is $Z_3$-connected and so it admits a nowhere-zero $3$-flow. In this note, we show that if the second conjecture would be true, then every $3$-tree-connected graph must also be $Z_3$-connected and so Tutte's $3$-flow conjecture can be extended to this family of graphs.
A generalized inverse for graphs with absorption
Published
• View Publication
• BIB
We consider weighted, directed graphs with a notion of absorption on the vertices, related to absorbing random walks on graphs. We define a generalized inverse of the graph Laplacian, called the absorption inverse, that reflects both the graph structure as well as the absorption rates on the vertices. Properties of this generalized inverse are presented, including a matrix forest theorem relating this generalized inverse to spanning forests of a related graph, as well as relationships between the absorption inverse and the fundamental matrix of the absorbing random walk. Applications of the absorption inverse for describing the structure of graphs with absorption are presented, including a directed distance metric, spectral partitioning algorithm, and centrality measure.
Almost all Steiner triple systems have perfect matchings
Published
• View Publication
• BIB
We show that for any n divisible by 3, almost all order-n Steiner triple systems have a perfect matching (also known as a parallel class or resolution class). In fact, we prove a general upper bound on the number of perfect matchings in a Steiner triple system and show that almost all Steiner triple systems essentially attain this maximum. We accomplish this via a general theorem comparing a uniformly random Steiner triple system to the outcome of the triangle removal process, which we hope will be useful for other problems. Our methods can also be adapted to other types of designs; for example, we sketch a proof of the theorem that almost all Latin squares have transversals.
On bipartite distance-regular graphs with exactly two irreducible T-modules with endpoint 2
Published
• View Publication
• BIB
Let $Γ$ denote a bipartite distance-regular graph with diameter $D \ge 4$ and valency $k \ge 3$. Let $X$ denote the vertex set of $Γ$, and let $A$ denote the adjacency matrix of $Γ$. For $x \in X$ let $T=T(x)$ denote the subalgebra of Mat$_X(\mathbb{C}$ generated by $A, E*_0, E*s_1, \ldots, E*_D$, where for $0 \le i \le D$, $E*_i$ represents the projection onto the $i$th subconstituent of $Γ$ with respect to $x$. We refer to $T$ as the {\em Terwilliger algebra} of $Γ$ with respect to $x$. An irreducible $T$-module $W$ is said to be {\em thin} whenever dim $E*_i W \le 1$ for $0 \le i \le D$. By the {\em endpoint} of $W$ we mean min$\{i | E*_iW \ne 0\}$. For $0 \le i \le D$, let $Γ_i(z)$ denote the set of vertices in $X$ that are distance $i$ from vertex $z$. Define a parameter $Δ_2$ in terms of the intersection numbers by $Δ_2 = (k-2)(c_3-1)-(c_2-1)p^2_{22}$. In this paper we prove the following are equivalent: (i) $Δ_2>0$ and for $2 \le i \le D - 2$ there exist complex scalars $α_i, β_i$ with the following property: for all $x, y, z \in X$ such that $\partial(x, y) = 2, \: \partial(x, z) = i, \: \partial(y, z) = i$ we have $ α_i + β_i |Γ_1(x) \cap Γ_1(y) \cap Γ_{i-1}(z)| = |Γ_{i-1}(x) \cap Γ_{i-1}(y) \cap Γ_1(z)|;$ (ii) For all $x \in X$ there exist up to isomorphism exactly two irreducible modules for the Terwilliger algebra $T(x)$ with endpoint two, and these modules are thin.
New bounds for locally irregular chromatic index of bipartite and subcubic graphs
Published in J. Combin. Optim. 2018
• View Publication
• BIB
A graph is \textit{locally irregular} if the neighbors of every vertex $v$ have degrees distinct from the degree of $v$. \textit{locally irregular edge-coloring} of a graph $G$ is an (improper) edge-coloring such that the graph induced on the edges of any color class is locally irregular. It is conjectured that $3$ colors suffice for a locally irregular edge-coloring. Recently, Bensmail et al. (Bensmail, Merker, Thomassen: Decomposing graphs into a constant number of locally irregular subgraphs, {\em European J. Combin.}, 60:124--134, 2017) settled the first constant upper bound for the problem to $328$ colors. In this paper, using a combination of existing results, we present an improvement of the bounds for bipartite graphs and general graphs, setting the best upper bounds to $7$ and $220$, respectively. In addition, we also prove that $4$ colors suffice for locally irregular edge-coloring of any subcubic graph.
On rainbow matchings for hypergraphs
Published
• View Publication
• BIB
For any posotive integer $m$, let $[m]:=\{1,\ldots,m\}$. Let $n,k,t$ be positive integers. Aharoni and Howard conjectured that if, for $i\in [t]$, $\mathcal{F}_i\subset[n]^k:= \{(a_1,\ldots,a_k): a_j\in [n] \mbox{ for } j\in [k]\}$ and $|\mathcal{F}_i|>(t-1)n^{k-1}$, then there exist $M\subseteq [n]^k$ such that $|M|=t$ and $|M\cap \mathcal{F}_i|=1$ for $i\in [t]$ We show that this conjecture holds when $n\geq 3(k-1)(t-1)$.
Let $n, t, k_1\ge k_2\geq \ldots\geq k_t $ be positive integers. Huang, Loh and Sudakov asked for the maximum $Π_{i=1}^t |{\cal
R}_i|$ over all ${\cal R}=\{{\cal R}_1, \ldots ,{\cal R}_t\}$ such that each ${\cal R}_i$ is a collection of $k_i$-subsets of $[n]$ for which there does not exist a collection $M$ of subsets of $[n]$ such that $|M|=t$ and $|M\cap \mathcal{R}_i|=1$ for $i\in [t]$ %and ${\cal R}$ does not admit a rainbow matching. We show that for sufficiently large $n$ with $\sum_{i=1}^t k_i\leq n(1-(4k\ln n/n)^{1/k}) $, $\prod_{i=1}^t |\mathcal{R}_i|\leq {n-1\choose k_1-1}{n-1\choose
k_2-1}\prod_{i=3}^{t}{n\choose k_i}$. This bound is tight.
Large Fixed-Diameter Graphs are Good Expanders
Published
• View Publication
• BIB
We revisit the classical question of the relationship between the diameter of a graph and its expansion properties. One direction is well understood: expander graphs exhibit essentially the lowest possible diameter. We focus on the reverse direction, showing that "sufficiently large" graphs of fixed diameter and degree must be "good" expanders. We prove this statement for various definitions of "sufficiently large" (multiplicative/additive factor from the largest possible size), for different forms of expansion (edge, vertex, and spectral expansion), and for both directed and undirected graphs. A recurring theme is that the lower the diameter of the graph and (more importantly) the larger its size, the better the expansion guarantees. Aside from inherent theoretical interest, our motivation stems from the domain of network design. Both low-diameter networks and expanders are prominent approaches to designing high-performance networks in parallel computing, HPC, datacenter networking, and beyond. Our results establish that these two approaches are, in fact, inextricably intertwined. We leave the reader with many intriguing questions for future research.
Clique colouring of binomial random graphs
Published
• View Publication
• BIB
A clique colouring of a graph is a colouring of the vertices so that no maximal clique is monochromatic (ignoring isolated vertices). The smallest number of colours in such a colouring is the clique chromatic number.
In this paper, we study the asymptotic behaviour of the clique chromatic number of the random graph G(n,p) for a wide range of edge-probabilities p=p(n). We see that the typical clique chromatic number, as a function of the average degree, forms an intriguing step function.
Local Picard Group of Binoids and Their Algebras
We begin by introducing schemes of binoids, invertible $\mathcal{O}_M$-sets and cohomology of sheaves of abelian groups defined on schemes of binoids. We define the so-called punctured combinatorial Čech-Picard complex, whose first cohomology computes $\mathrm{Pic}^{\mathrm{loc}}(M)$, the local Picard group of a binoid. We look then at simplicial binoids, whose spectrum presents very nice combinatorial properties. We prove that the cohomology of a constant sheaf on this punctutured spectra can be computed entirely in terms of simplicial cohomology. Through some other results, we prove that we can compute cohomology of the sheaf of units (and thus the local Picard group) by meaning of reduced simplicial cohomology. We move from combinatorics to algebra and we try to use these tools to understand binoid algebras and cohomology of their sheaf of units. We introduce a new topology, that we call combinatorial topology on $\mathrm{Spec}\mathbb{K}[M]$. In this topology, if $M$ is a reduced, torsion-free and cancellative binoid, we can decompose the sheaf of units of its algebra in a direct sum of a constant part $\mathbb{K}^*$ and of the pushforward of the combinatorial units. We specialize to the case of the Stanley-Reisner rings, for which we are able to prove a vanishing result for the affine case. By meaning of the combinatorial topology we then prove that we can compute the Zariski cohomology of the sheaf of units entirely in terms of simplicial cohomology, both usual and reduced. This ultimately leads to a generalization to any monomial ideal, thus yielding us some purely combinatorial non-vanishing results for $\mathrm{Pic}^{\mathrm{loc}}(\mathbb{K}[M])$ in the last Corollary.
Small covers of graph-associahedra and realization of cycles
Published in Mat. Sb., 207:11 (2016), 53-81; Sb. Math., 207:11 (2016), 1537-1561
• View Publication
• BIB
An oriented connected closed manifold $M^n$ is called a URC-manifold if for any oriented connected closed manifold $N^n$ of the same dimension there exists a nonzero degree mapping of a finite-fold covering $\widehat{M}^n$ of $M^n$ onto $N^n$. This condition is equivalent to the following: For any $n$-dimensional integral homology class of any topological space $X$, a multiple of it can be realized as the image of the fundamental class of a finite-fold covering $\widehat{M}^n$ of $M^n$ under a continuous mapping $f\colon \widehat{M}^n\to X$. In 2007 the author gave a constructive proof of the classical result by Thom that a multiple of any integral homology class can be realized as an image of the fundamental class of an oriented smooth manifold. This construction yields the existence of URC-manifolds of all dimensions. For an important class of manifolds, the so-called small covers of graph-associahedra corresponding to connected graphs, we prove that either they or their two-fold orientation coverings are URC-manifolds. In particular, we obtain that the two-fold covering of the small cover of the usual Stasheff associahedron is a URC-manifold. In dimensions 4 and higher, this manifold is simpler than all previously known URC-manifolds.
A note on the positive semidefinitness of $A_α(G)$
Published
• View Publication
• BIB
Let $G$ be a graph with adjacency matrix $A(G)$ and let $D(G)$ be the diagonal matrix of the degrees of $G$. For every real $α\in\left[ 0,1\right] $, write $A_α\left( G\right) $ for the matrix \[ A_α\left( G\right) =αD\left( G\right) +(1-α)A\left( G\right) . \] Let $α_{0}\left( G\right) $ be the smallest $α$ for which $A_α(G)$ is positive semidefinite. It is known that $α_{0}\left( G\right) \leq1/2$. The main results of this paper are:
(1) if $G$ is $d$-regular then \[ α_{0}=\frac{-λ_{\min}(A(G))}{d-λ_{\min}(A(G))}, \] where $λ_{\min}(A(G))$ is the smallest eigenvalue of $A(G)$;
(2) $G$ contains a bipartite component if and only if $α_{0}\left( G\right) =1/2$;
(3) if $G$ is $r$-colorable, then $α_{0}\left( G\right) \geq1/r$.
Parameterized counting of trees, forests and matroid bases
Published
• View Publication
• BIB
We investigate the complexity of counting trees, forests and bases of matroids from a parameterized point of view. It turns out that the problems of computing the number of trees and forests with $k$ edges are $\# W[1]$-hard when parameterized by $k$. Together with the recent algorithm for deterministic matrix truncation by Lokshtanov et al. (ICALP 2015), the hardness result for $k$-forests implies $\# W[1]$-hardness of the problem of counting bases of a matroid when parameterized by rank or nullity, even if the matroid is restricted to be representable over a field of characteristic $2$. We complement this result by pointing out that the problem becomes fixed parameter tractable for matroids represented over a fixed finite field.
Spherically Symmetric Random Permutations
Published
• View Publication
• BIB
We consider random permutations which are spherically symmetric with respect to a metric on the symmetric group $S_n$ and are consistent as $n$ varies. The extreme infinitely spherically symmetric permutation-valued processes are identified for the Hamming, Kendall-tau and Caley metrics. The proofs in all three cases are based on a unified approach through stochastic monotonicity.
Reconstruction of graphs via asymmetry
Any graph which is not vertex transitive has a proper induced subgraph which is unique due to its structure or the way of its connection to the rest of the graph. We have called such subgraph as an anchor. Using an anchor which, in fact, is representative of a graph asymmetry, the reconstruction of that graph reduces to a smaller form of the reconstruction. Therefore, to show that a graph is reconstructible, it is sufficient to find a suitable anchor that brings us to a solved form of the problem. An orbit O of a graph G which makes G\ O to be an anchor or two vertices which makes G \{v,w} to be an anchor with the conditions that will be mentioned, is sufficient to show that G is reconstructible. For instance, this fact is enough to show that trees are reconstructible.
On bipartite mixed graphs
Mixed graphs can be seen as digraphs that have both arcs and edges (or digons, that is, two opposite arcs). In this paper, we consider the case where such graphs are bipartite. As main results, we show that in this context the Moore-like bound is attained in the case of diameter $k=3$, and that bipartite mixed graphs of diameter $k\ge 4$ do not exist.