Showing 20 papers (Total: 84460 papers, 48641 authors in database)
Voltage lifts of graphs from a category theory viewpoint
Published in Jenča, Gejza. "Voltage Lifts of Graphs from a Category Theory Viewpoint" Mathematica Slovaca, vol. 73, no. 2, 2023, pp. 275-288
• View Publication
• BIB
We prove that the notion of a derived voltage graph comes from an adjunction between the category of voltage graphs and a category of group labeled graphs.
Unified approach to the generalized Turán problem and supersaturation
Published
• View Publication
• BIB
In this paper we introduce a unifying approach to the generalized Turán problem and supersaturation results in graph theory. The supersaturation-extremal function $satex(n, F : m, G)$ is the least number of copies of a subgraph $G$ an $n$-vertex graph can have, which contains at least $m$ copies of $F$ as a subgraph. We present a survey, discuss previously known results and obtain several new ones focusing mainly on proof methods, extremal structure and phase transition phenomena. Finally we point out some relation with extremal questions concerning hypergraphs, particularly Berge-type results.
Synchronizing Times for $k$-sets in Automata
Published
• View Publication
• BIB
An automaton is synchronizing if there is a word that maps all states onto the same state. Černý's conjecture on the length of the shortest such word is probably the most famous open problem in automata theory. We consider the closely related question of determining the minimum length of a word that maps $k$ states onto a single state. For synchronizing automata, we improve the upper bound on the minimum length of a word that sends some triple to a a single state from $0.5n^2$ to $\approx 0.19n^2$. We further extend this to an improved bound on the length of such a word for 4 states and 5 states. In the case of non-synchronizing automata, we give an example to show that the minimum length of a word that sends $k$ states to a single state can be as large as $Θ\left(n^{k-1}\right)$.
Random tree-weighted graphs
Published
• View Publication
• BIB
For each $n \ge 1$, let $\mathrm{d}^n=(d^{n}(i),1 \le i \le n)$ be a sequence of positive integers with even sum $\sum_{i=1}^n d^n(i) \ge 2n$. Let $(G_n,T_n,Γ_n)$ be uniformly distributed over the set of simple graphs $G_n$ with degree sequence $\mathrm{d}^n$, endowed with a spanning tree $T_n$ and rooted along an oriented edge $Γ_n$ of $G_n$ which is not an edge of $T_n$. Under a finite variance assumption on degrees in $G_n$, we show that, after rescaling, $T_n$ converges in distribution to the Brownian continuum random tree as $n \to \infty$. Our main tool is a new version of Pitman's additive coalescent (https://doi.org/10.1006/jcta.1998.2919), which can be used to build both random trees with a fixed degree sequence, and random tree-weighted graphs with a fixed degree sequence. As an input to the proof, we also derive a Poisson approximation theorem for the number of loops and multiple edges in the superposition of a fixed graph and a random graph with a given degree sequence sampled according to the configuration model; we find this to be of independent interest.
Characterizing Circular Colouring Mixing for $\frac{p}{q}<4$
Published
• View Publication
• BIB
Given a graph $G$, the $k$-mixing problem asks: Can one obtain all $k$-colourings of $G$, starting from one $k$-colouring $f$, by changing the colour of only one vertex at a time, while at each step maintaining a $k$-colouring? More generally, for a graph $H$, the $H$-mixing problem asks: Can one obtain all homomorphisms $G \to H$, starting from one homomorphism $f$, by changing the image of only one vertex at a time, while at each step maintaining a homomorphism $G \to H$?
This paper focuses on a generalization of $k$-colourings, namely $(p,q)$-circular colourings. We show that when $2 < \frac{p}{q} < 4$, a graph $G$ is $(p,q)$-mixing if and only if for any $(p,q)$-colouring $f$ of $G$, and any cycle $C$ of $G$, the wind of the cycle under the colouring equals a particular value (which intuitively corresponds to having no wind). As a consequence we show that $(p,q)$-mixing is closed under a restricted homomorphism called a fold. Using this, we deduce that $(2k+1,k)$-mixing is co-NP-complete for all $k \in \mathbb{N}$, and by similar ideas we show that if the circular chromatic number of a connected graph $G$ is $\frac{2k+1}{k}$, then $G$ folds to $C_{2k+1}$. We use the characterization to settle a conjecture of Brewster and Noel, specifically that the circular mixing number of bipartite graphs is $2$. Lastly, we give a polynomial time algorithm for $(p,q)$-mixing in planar graphs when $3 \leq \frac{p}{q} <4$.
Large monochromatic components in almost complete graphs and bipartite graphs
Gyárfas proved that every coloring of the edges of $K_n$ with $t+1$ colors contains a monochromatic connected component of size at least $n/t$. Later, Gyárfás and Sárközy asked for which values of $γ=γ(t)$ does the following strengthening for almost complete graphs hold: if $G$ is an $n$-vertex graph with minimum degree at least $(1-γ)n$, then every $(t+1)$-edge coloring of $G$ contains a monochromatic component of size at least $n/t$. We show $γ= 1/(6t^3)$ suffices, improving a result of DeBiasio, Krueger, and Sárközy.
A degree sequence strengthening of the vertex degree threshold for a perfect matching in 3-uniform hypergraphs
Published
• View Publication
• BIB
The study of asymptotic minimum degree thresholds that force matchings and tilings in hypergraphs is a lively area of research in combinatorics. A key breakthrough in this area was a result of Hàn, Person and Schacht who proved that the asymptotic minimum vertex degree threshold for a perfect matching in an $n$-vertex $3$-graph is $\left(\frac{5}{9}+o(1)\right)\binom{n}{2}$. In this paper we improve on this result, giving a family of degree sequence results, all of which imply the result of Hàn, Person and Schacht, and additionally allow one third of the vertices to have degree $\frac{1}{9}\binom{n}{2}$ below this threshold. Furthermore, we show that this result is, in some sense, tight.
Spectral Planting and the Hardness of Refuting Cuts, Colorability, and Communities in Random Graphs
We study the problem of efficiently refuting the k-colorability of a graph, or equivalently certifying a lower bound on its chromatic number. We give formal evidence of average-case computational hardness for this problem in sparse random regular graphs, showing optimality of a simple spectral certificate. This evidence takes the form of a computationally-quiet planting: we construct a distribution of d-regular graphs that has significantly smaller chromatic number than a typical regular graph drawn uniformly at random, while providing evidence that these two distributions are indistinguishable by a large class of algorithms. We generalize our results to the more general problem of certifying an upper bound on the maximum k-cut.
This quiet planting is achieved by minimizing the effect of the planted structure (e.g. colorings or cuts) on the graph spectrum. Specifically, the planted structure corresponds exactly to eigenvectors of the adjacency matrix. This avoids the pushout effect of random matrix theory, and delays the point at which the planting becomes visible in the spectrum or local statistics. To illustrate this further, we give similar results for a Gaussian analogue of this problem: a quiet version of the spiked model, where we plant an eigenspace rather than adding a generic low-rank perturbation.
Our evidence for computational hardness of distinguishing two distributions is based on three different heuristics: stability of belief propagation, the local statistics hierarchy, and the low-degree likelihood ratio. Of independent interest, our results include general-purpose bounds on the low-degree likelihood ratio for multi-spiked matrix models, and an improved low-degree analysis of the stochastic block model.
Stack-Sorting with Consecutive-Pattern-Avoiding Stacks
Published
• View Publication
• BIB
We introduce consecutive-pattern-avoiding stack-sorting maps $\text{SC}_σ$, which are natural generalizations of West's stack-sorting map $s$ and natural analogues of the classical-pattern-avoiding stack-sorting maps $s_σ$ recently introduced by Cerbai, Claesson, and Ferrari. We characterize the patterns $σ$ such that $\text{Sort}(\text{SC}_σ)$, the set of permutations that are sortable via the map $s\circ\text{SC}_σ$, is a permutation class, and we enumerate the sets $\text{Sort}(\text{SC}_σ)$ for $σ\in\{123,132,321\}$. We also study the maps $\text{SC}_σ$ from a dynamical point of view, characterizing the periodic points of $\text{SC}_σ$ for all $σ\in S_3$ and computing $\max_{π\in S_n}|\text{SC}_σ^{-1}(π)|$ for all $σ\in\{132,213,231,312\}$. In addition, we characterize the periodic points of the classical-pattern-avoiding stack-sorting map $s_{132}$, and we show that the maximum number of iterations of $s_{132}$ needed to send a permutation in $S_n$ to a periodic point is $n-1$. The paper ends with numerous open problems and conjectures.
A generalization of Fiedler's lemma and the spectra of H-join of graphs
Published
• View Publication
• BIB
A new generalization of Fiedler's lemma is obtained by introducing the concept of the main function of a matrix. As applications, the universal spectra of the H-join, the spectra of the H-generalized join and the spectra of the generalized corona of any graphs (possibly non-regular) are obtained.
A nonuniform Littlewood-Offord inequality for all norms
Published
• View Publication
• BIB
Let $\mathbf{v}_i$ be vectors in $\mathbb{R}^d$ and $\{\varepsilon_i\}$ be independent Rademacher random variables. Then the Littlewood-Offord problem entails finding the best upper bound for $\sup_{\mathbf{x} \in \mathbb{R}^d} \mathbb{P}(\sum \varepsilon_i \mathbf{v}_i = \mathbf{x})$. Generalizing the uniform bounds of Littlewood-Offord, Erdős and Kleitman, a recent result of Dzindzalieta and Juškevičius provides a non-uniform bound that is optimal in its dependence on $\|\mathbf{x}\|_2$. In this short note, we provide a simple alternative proof of their result. Furthermore, our proof demonstrates that the bound applies to any norm on $\mathbb{R}^d$, not just the $\ell_2$ norm. This resolves a conjecture of Dzindzalieta and Juškevičius.
Inapproximability of Diameter in super-linear time: Beyond the 5/3 ratio
We show, assuming the Strong Exponential Time Hypothesis, that for every $\varepsilon > 0$, approximating directed Diameter on $m$-arc graphs within ratio $7/4 - \varepsilon$ requires $m^{4/3 - o(1)}$ time. Our construction uses nonnegative edge weights but even holds for sparse digraphs, i.e., for which the number of vertices $n$ and the number of arcs $m$ satisfy $m = n \log^{O(1)} n$. This is the first result that conditionally rules out a near-linear time $5/3$-approximation for Diameter.
On $3$-uniform hypergraphs avoiding a cycle of length four
Published
• View Publication
• BIB
In this note we show that the maximum number of edges in a $3$-uniform hypergraph without a Berge cycle of length four is at most $(1+o(1))\frac{n^{3/2}}{\sqrt{10}}$. This improves earlier estimates by Győri and Lemons and by Füredi and Özkahya.
Exact mean first-passage time on generalized Vicsek fractal
Published
• View Publication
• BIB
Fractal phenomena may be widely observed in a great number of complex systems. In this paper, we revisit the well-known Vicsek fractal, and study some of its structural properties for purpose of understanding how the underlying topology influences its dynamic behaviors. For instance, we analytically determine the exact solution to mean first-passage time for random walks on Vicsek fractal in a more light mapping-based manner than previous other methods, including typical spectral technique. More importantly, our method can be quite efficient to precisely calculate the solutions to mean first-passage time on all generalized versions of Vicsek fractal generated based on an arbitrary allowed seed, while other previous methods suitable for typical Vicsek fractal will become prohibitively complicated and even fail. Lastly, this analytic results suggest that the scaling relation between mean first-passage time and vertex number in generalized versions of Vicsek fractal keeps unchanged in the large graph size limit no matter what seed is selected.
Moufang sets generated by translations in unitals
Published
• View Publication
• BIB
We consider unitals of order $q$ with two points which are centers of translation groups of order $q$. The group $G$ generated by these translations induces a Moufang set on the block joining the two points. We show that $G$ is either $\operatorname{SL}(2,\mathbb{F}_q)$ (as in all classical unitals and also in some non-classical examples), or $\operatorname{PSL}(2,\mathbb{F}_q)$, or a Suzuki or a Ree group. Moreover, $G$ is semi-regular outside the special block.
Haystack Hunting Hints and Locker Room Communication
Published
• View Publication
• BIB
We want to efficiently find a specific object in a large unstructured set, which we model by a random $n$-permutation, and we have to do it by revealing just a single element. Clearly, without any help this task is hopeless and the best one can do is select the element at random, and achieve the success probability $\frac{1}{n}$. Can we do better with some small amount of advice about the permutation, even without knowing the object sought? We show that by providing advice of just one integer in $\{0,1,...,n-1\}$, one can improve the success probability considerably, by a $Θ(\frac{logn}{loglogn})$ factor. We study this and related problems, and show asymptotically matching upper and lower bounds for their optimal probability of success.Our analysis relies on a close relationship of such problems to some intrinsic properties of rendom permutations related to the rencontres number.
Bracing frameworks consisting of parallelograms
Published
• View Publication
• BIB
A rectangle in the plane can be continuously deformed preserving its edge lengths, but adding a diagonal brace prevents such a deformation. Bolker and Crapo characterized combinatorially which choices of braces make a grid of squares infinitesimally rigid using a bracing graph: a bipartite graph whose vertices are the columns and rows of the grid, and a row and column are adjacent if and only if they meet at a braced square. Duarte and Francis generalized the notion of the bracing graph to rhombic carpets, proved that the connectivity of the bracing graph implies rigidity and stated the other implication without proof. Nagy Kem gives the equivalence in the infinitesimal setting. We consider continuous deformations of braced frameworks consisting of a graph from a more general class and its placement in the plane such that every 4-cycle forms a parallelogram. We show that rigidity of such a braced framework is equivalent to the non-existence of a special edge coloring, which is in turn equivalent to the corresponding bracing graph being connected.
On the complexity of zero-dimensional multiparameter persistence
Multiparameter persistence is a natural extension of the well-known persistent homology, which has attracted a lot of interest. However, there are major theoretical obstacles preventing the full development of this promising theory.
In this paper we consider the interesting special case of multiparameter persistence in zero dimensions which can be regarded as a form of multiparameter clustering. In particular, we consider the multiparameter persistence modules of the zero-dimensional homology of filtered topological spaces when they are finitely generated. Under certain assumptions, we characterize such modules and study their decompositions. In particular we identify a natural class of representations that decompose and can be extended back to form zero-dimensional multiparameter persistence modules.
Our study of this set of representations concludes that despite the restrictions, there are still infinitely many classes of indecomposables in this set.
The tree search game for two players
Published in Australasian J. of Combinatorics. Volume 82(2) (2022), pages 119-145
• Search Publication
We consider a two-player search game on a tree $T$. One vertex (unknown to the players) is randomly selected as the target. The players alternately guess vertices. If a guess $v$ is not the target, then both players are informed in which subtree of $T \smallsetminus v$ the target lies. The winner is the player who guesses the target.
When both players play optimally, we show that each of them wins with probability approximately $1/2$. When one player plays optimally and the other plays randomly, we show that the player with the optimal strategy wins with probability between $9/16$ and $2/3$ (asymptotically). When both players play randomly, we show that each wins with probability between $13/30$ and $17/30$ (asymptotically).
Gallai-Ramsey numbers for graphs with five vertices and eight edges
Published
• View Publication
• BIB
A Gallai $k$-coloring is a $k$-edge coloring of a complete graph in which there are no rainbow triangles. For given graphs $G_1, G_2, G_3$ and nonnegative integers $r, s, t$ with that $k=r+s+t$, the $k$-colored Gallai-Ramsey number $gr_{k}(K_{3}: r\cdot G_1,~ s\cdot G_2, ~t\cdot G_3)$ is the minimum integer $n$ such that every Gallai $k$-colored $K_{n}$ contains a monochromatic copy of $G_1$ colored by one of the first $r$ colors or a monochromatic copy of $G_2$ colored by one of the middle $s$ colors or a monochromatic copy of $G_3$ colored by one of the last $t$ colors. In this paper, we determine the value of Gallai-Ramsey number in the case that $G_1=B_{3}^{+}$, $G_2=S_{3}^+$ and $G_3=K_3$. Then the Gallai-Ramsey number $gr_{k}(K_{3}: B_{3}^{+})$ is obtained. Thus the Gllai-Ramsey numbers for graphs with five vertices and eight edges are solved completely. Furthermore, the the Gallai-Ramsey numbers $gr_{k}(K_{3}: r\cdot B_3^+,~ (k-r)\cdot S_3^+)$, $gr_{k}(K_{3}: r\cdot B_3^+,~ (k-r)\cdot K_3)$ and $gr_{k}(K_{3}: s\cdot S_3^+,~ (k-s)\cdot K_3)$ are obtained, respecticely.