Showing 20 papers (Total: 82901 papers, 47900 authors in database)
Two Irregularity Measures Possessing High Discriminatory Ability
Published in Contrib. Math. 1 (2020) 27-34
• View Publication
• BIB
An $n$-vertex graph whose degree set consists of exactly $n-1$ elements is called antiregular graph. Such type of graphs are usually considered opposite to the regular graphs. An irregularity measure ($IM$) of a connected graph $G$ is a non-negative graph invariant satisfying the property: $IM(G) = 0$ if and only if $G$ is regular. The total irregularity of a graph $G$, denoted by $irr_t(G)$, is defined as $irr_t(G)= \sum_{\{u,v\} \subseteq V(G)} |d_u - d_v|$ where $V(G)$ is the vertex set of $G$ and $d_u$, $d_v$ denote the degrees of the vertices $u$, $v$, respectively. Antiregular graphs are the most nonregular graphs according to the irregularity measure $irr_t$; however, various non-antiregular graphs are also the most nonregular graphs with respect to this irregularity measure. In this note, two new irregularity measures having high discriminatory ability are devised. Only antiregular graphs are the most nonregular graphs according to the proposed measures.
Cycle lengths modulo $k$ in large 3-connected cubic graphs
Published in Advances in Combinatorics, 2021:3, 36pp
• View Publication
• BIB
We prove that for all natural numbers $m$ and $k$ where $k$ is odd, there exists a natural number $N(k)$ such that any 3-connected cubic graph with at least $N(k)$ vertices contains a cycle of length $m$ modulo $k$. We also construct a family of graphs showing that this is not true for 2-connected cubic graphs if $m$ and $k$ are divisible by 3 and $k\geq 12$.
Divergent permutations
Two permutations of the natural numbers diverge if the absolute value of the difference of their elements in the same position goes to infinity. We show that there exists an infinite number of pairwise divergent permutations of the naturals. We relate this result to more general questions about the permutation capacity of infinite graphs.
Planar graphs have bounded nonrepetitive chromatic number
Published in Advances in Combinatorics 2020:5
• View Publication
• BIB
A colouring of a graph is "nonrepetitive" if for every path of even order, the sequence of colours on the first half of the path is different from the sequence of colours on the second half. We show that planar graphs have nonrepetitive colourings with a bounded number of colours, thus proving a conjecture of Alon, Grytczuk, Haluszczak and Riordan (2002). We also generalise this result for graphs of bounded Euler genus, graphs excluding a fixed minor, and graphs excluding a fixed topological minor.
On a discrete John-type theorem
Published in Moscow J. Comb. Number Th. 8 (2019) 367-378
• View Publication
• BIB
As a discrete counterpart to the classical John theorem on the approximation of (symmetric) $n$-dimensional convex bodies $K$ by ellipsoids, Tao and Vu introduced so called generalized arithmetic progressions $P(A,b)\subset Z^n$ in order to cover (many of) the lattice points inside a convex body by a simple geometric structure. Among others, they proved that there exists a generalized arithmetic progressions $P(A,b)$ such that $P(A,b)\subset K\cap Z^n\subset P(A,O(n)^{3n/2}b)$. Here we show that this bound can be lowered to $n^{O(\ln n)}$ and study some general properties of so called unimodular generalized arithmetic progressions.
On the sizes of large subgraphs of the binomial random graph
We consider the binomial random graph $G(n,p)$, where $p$ is a constant, and answer the following two questions.
First, given $e(k)=p{k\choose 2}+O(k)$, what is the maximum $k$ such that a.a.s.~the binomial random graph $G(n,p)$ has an induced subgraph with $k$ vertices and $e(k)$ edges? We prove that this maximum is not concentrated in any finite set (in contrast to the case of a small $e(k)$). Moreover, for every constant $C>0$ and every $ω_n\to\infty$, a.a.s.~the size of the concentration set belongs to $(C\sqrt{n/\ln n},ω_n\sqrt{n/\ln n})$.
Second, given $k>\varepsilon n$, what is the maximum $μ$ such that a.a.s.~the set of sizes of $k$-vertex subgraphs of $G(n,p)$ contains a full interval of length $μ$? The answer is $μ=Θ\left(\sqrt{(n-k)n\ln{n\choose k}}\right)$.
Simple formulas for constellations and bipartite maps with prescribed degrees
Published
• View Publication
• BIB
We obtain simple quadratic recurrence formulas counting bipartite maps on surfaces with prescribed degrees (in particular, $2k$-angulations), and constellations. These formulas are the fastest known way of computing these numbers. Our work is a natural extension of previous works on integrable hierarchies (2-Toda and KP), namely the Pandharipande recursion for Hurwitz numbers (proven by Okounkov and simplified by Dubrovin-Yang-Zagier), as well as formulas for several models of maps (Goulden-Jackson, Carrell-Chapuy, Kazarian-Zograf). As for those formulas, a bijective interpretation is still to be found. We also include a formula for monotone simple Hurwitz numbers derived in the same fashion. These formulas also play a key role in subsequent work of the author with T. Budzinski establishing the hyperbolic local limit of random bipartite maps of large genus.
A Framework for Modular Properties of False Theta Functions
False theta functions closely resemble ordinary theta functions, however they do not have the modular transformation properties that theta functions have. In this paper, we find modular completions for false theta functions, which among other things gives an efficient way to compute their obstruction to modularity. This has potential applications for a variety of contexts where false and partial theta series appear. To exemplify the utility of this derivation, we discuss the details of its use on two cases. First, we derive a convergent Rademacher-type exact formula for the number of unimodal sequences via the Circle Method and extend earlier work on their asymptotic properties. Secondly, we show how quantum modular properties of the limits of false theta functions can be rederived directly from the modular completion of false theta functions proposed in this paper.
Constructing Clustering Transformations
Clustering is one of the fundamental tasks in data analytics and machine learning. In many situations, different clusterings of the same data set become relevant. For example, different algorithms for the same clustering task may return dramatically different solutions. We are interested in applications in which one clustering has to be transformed into another; e.g., when a gradual transition from an old solution to a new one is required. In this paper, we devise methods for constructing such a transition based on linear programming and network theory. We use a so-called clustering-difference graph to model the desired transformation and provide methods for decomposing the graph into a sequence of elementary moves that accomplishes the transformation. These moves are equivalent to the edge directions, or circuits, of the underlying partition polytopes. Therefore, in addition to a conceptually new metric for measuring the distance between clusterings, we provide new bounds on the circuit diameter of these partition polytopes.
Incidence estimates for well spaced tubes
We prove analogues of the Szemerédi-Trotter theorem and other incidence theorems using $δ$-tubes in place of straight lines, assuming that the $δ$-tubes are well-spaced in a strong sense.
Riesz bases of exponentials and multi-tiling in finite abelian groups
Motivated by the open problem of exhibiting a subset of Euclidean space which has no exponential Riesz basis, we focus on exponential Riesz bases in finite abelian groups. We point out that that every subset of a finite abelian group has such a basis, removing interest in the existence question in this context. We then define tightness quantities for subsets to measure the conditioning of Riesz bases; for normalized tightness quantities, a value of one corresponds to an orthogonal basis, and a value of infinity corresponds to nonexistence of a basis. As an application, we obtain new weak evidence in favor of the open problem by giving a sequence of subsets of finite abelian groups whose tightness quantities go to infinity in the limit. We also prove that the Cartesian product of a set with a finite abelian group has the same tightness quantities as the original set. Lastly, under an additional hypothesis, explicit bounds are given for tightness quantities in terms of a subset's lowest multi-tiling level by a subgroup and its geometric configuration. This establishes a quantitative link between discrete geometry and harmonic analysis in this setting.
Testing isomorphism of circular-arc graphs -- Hsu's approach revisited
Circular-arc graphs are intersection graphs of arcs on the circle. The aim of our work is to present a polynomial time algorithm testing whether two circular-arc graphs are isomorphic. To accomplish our task we construct decomposition trees, which are the structures representing all normalized intersection models of circular-arc graphs. Normalized models reflect the neighbourhood relation in circular-arc graphs and can be seen as their canonical representations; in particular, every intersection model can be easily transformed into a normalized one.
Our work adapts and appropriately extends the previous work on the similar topic done by Hsu [\emph{SIAM J. Comput. 24(3), 411--439, (1995)}]. In his work, Hsu developed decomposition trees representing all normalized models of circular-arc graphs. However due to the counterexample given in [\emph{Discrete Math. Theor. Comput. Sci., 15(1), 157--182, 2013}], his decomposition trees can not be used by algorithms testing isomorphism of circular-arc graphs.
Collapsibility of noncover complexes of chordal graphs
Let $G$ be a graph on $V$. A vertex subset $S \subset V$ is called a cover of $G$ if its complement is an independent set, and $S$ is called a noncover if it is not a cover of $G$. A noncover complex $NC(G)$ of $G$ is the simplicial complex on $V$ whose faces are noncovers of $G$. The independence domination number $ iγ(G)$ of $G$ is the minimum integer $k$ such that every independent set of $G$ can be dominated by $k$ vertices. In this note, we prove that $NC(G)$ is $(|V|- iγ(G)-1)$-collapsible.
New bounds on even cycle creating Hamiltonian paths using expander graphs
Published in Combinatorica 40 (2020), 435-454
• View Publication
• BIB
We say that two graphs on the same vertex set are $G$-creating if their union (the union of their edges) contains $G$ as a subgraph. Let $H_n(G)$ be the maximum number of pairwise $G$-creating Hamiltonian paths of $K_n$. Cohen, Fachini and Körner proved \[n^{\frac{1}{2}n-o(n)}\leq H_n(C_4) \leq n^{\frac{3}{4}n+o(n)}.\] In this paper we close the superexponential gap between their lower and upper bounds by proving \[n^{\frac{1}{2}n-\frac{1}{2}\frac{n}{\log{n}}-O(1)}\leq H_n(C_4) \leq n^{\frac{1}{2}n+o\left(\frac{n}{\log{n}} \right)}.\] We also improve the previously established upper bounds on $H_n(C_{2k})$ for $k>3$, and we present a small improvement on the lower bound of Füredi, Kantor, Monti and Sinaimeri on the maximum number of so-called pairwise reversing permutations. One of our main tools is a theorem of Krivelevich, which roughly states that (certain kinds of) good expanders contain many Hamiltonian paths.
Poorly connected groups
Published in Proc. Amer. Math. Soc. 148 (2020), no. 11, 4653-4664
• View Publication
• BIB
We investigate groups whose Cayley graphs have poor\-ly connected subgraphs. We prove that a finitely generated group has bounded separation in the sense of Benjamini--Schramm--Timár if and only if it is virtually free. We then prove a gap theorem for connectivity of finitely presented groups, and prove that there is no comparable theorem for all finitely generated groups. Finally, we formulate a connectivity version of the conjecture that every group of type $F$ with no Baumslag-Solitar subgroup is hyperbolic, and prove it for groups with at most quadratic Dehn function.
Coarse geometry of the fire retaining property and group splittings
Given a non-decreasing function $f \colon \mathbb{N} \to \mathbb{N}$ we define a single player game on (infinite) connected graphs that we call fire retaining. If a graph $G$ admits a winning strategy for any initial configuration (initial fire) then we say that $G$ has the $f$-retaining property; in this case if $f$ is a polynomial of degree $d$, we say that $G$ has the polynomial retaining property of degree $d$.
We prove that having the polynomial retaining property of degree $d$ is a quasi-isometry invariant in the class of uniformly locally finite connected graphs. Henceforth, the retaining property defines a quasi-isometric invariant of finitely generated groups. We prove that if a finitely generated group $G$ splits over a quasi-isometrically embedded subgroup of polynomial growth of degree $d$, then $G$ has polynomial retaining property of degree $d-1$. Some connections to other work on quasi-isometry invariants of finitely generated groups are discussed and some questions are raised.
Convergence of odd-angulations via symmetrization of labeled trees
Fix $p\geq 5$ an odd integer integer. Let $M_n$ be a uniform $p$-angulation with $n$ vertices and endowed with the uniform probability measure on its vertices. We prove that, there exists $C_p\in \mathbb{R}_+$ such that, after rescaling distances by $C_p/n^{1/4}$, $M_n$ converges in distribution for the Gromov-Hausdorff-Prokhorov topology towards the Brownian map. To prove the preceding fact, we introduce a `bootstrapping' principle for distributional convergence of random labelled plane trees. In particular, the latter allows to obtain an invariance principle for labeled multitype Galton-Watson trees, with only a weak assumption on the centering of label displacements
Independent double Roman domination in graphs
An independent double Roman dominating function (IDRDF) on a graph $G=(V,E)$ is a function $f:V(G)\rightarrow \{0,1,2,3\}$ having the property that if $f(v)=0$, then the vertex $v$ has at least two neighbors assigned $2$ under $f$ or one neighbor $w$ with assigned $3$ under $f$, and if $f(v)=1$, then there exists $w\in N(v)$ with $f(w)\geq2$ such that the positive weight vertices are independent. The weight of an IDRDF is the value $\sum_{u\in V}f(u)$. The independent double Roman domination number $i_{dR}(G)$ of a graph $G$ is the minimum weight of an IDRDF on G. We initiate the study of the independent double Roman domination and show its relationships to both independent domination number (IDN) and independent Roman $\{2\}$-domination number (IR2DN). We present several sharp bounds on the IDRDN of a graph $G$ in terms of the order of $G$, maximum degree and the minimum size of edge cover. Finally, we show that, any ordered pair $(a,b)$ is realizable as the IDN and IDRDN of some non-trivial tree if and only if $2a + 1 \le b \le 3a$.
Planar graphs have bounded queue-number
Published in J. ACM 67(4):22, 2020
• View Publication
• BIB
We show that planar graphs have bounded queue-number, thus proving a conjecture of Heath, Leighton and Rosenberg from 1992. The key to the proof is a new structural tool called layered partitions, and the result that every planar graph has a vertex-partition and a layering, such that each part has a bounded number of vertices in each layer, and the quotient graph has bounded treewidth. This result generalises for graphs of bounded Euler genus. Moreover, we prove that every graph in a minor-closed class has such a layered partition if and only if the class excludes some apex graph. Building on this work and using the graph minor structure theorem, we prove that every proper minor-closed class of graphs has bounded queue-number.
Layered partitions have strong connections to other topics, including the following two examples. First, they can be interpreted in terms of strong products. We show that every planar graph is a subgraph of the strong product of a path with some graph of bounded treewidth. Similar statements hold for all proper minor-closed classes. Second, we give a simple proof of the result by DeVos et al. (2004) that graphs in a proper minor-closed class have low treewidth colourings.
The structure and number of Erdős covering systems
Introduced by Erdős in 1950, a covering system of the integers is a finite collection of arithmetic progressions whose union is the set $\mathbb{Z}$. Many beautiful questions and conjectures about covering systems have been posed over the past several decades, but until recently little was known about their properties. Most famously, the so-called minimum modulus problem of Erdős was resolved in 2015 by Hough, who proved that in every covering system with distinct moduli, the minimum modulus is at most $10^{16}$.
In this paper we answer another question of Erdős, asked in 1952, on the number of minimal covering systems. More precisely, we show that the number of minimal covering systems with exactly $n$ elements is \[ \exp\left( \left(\frac{4\sqrtτ}{3} + o(1)\right) \frac{n^{3/2}}{(\log n)^{1/2}} \right) \] as $n \to \infty$, where \[ τ= \sum_{t = 1}^\infty \left( \log \frac{t+1}{t} \right)^2. \] En route to this counting result, we obtain a structural description of all covering systems that are close to optimal in an appropriate sense.