Showing 20 papers (Total: 83076 papers, 47999 authors in database)
On a class of polynomials connected to Bell polynomials
In this paper, we study a class of sequences of polynomials linked to the sequence of Bell polynomials. Some sequences of this class have applications on the theory of hyperbolic differential equations and other sequences generalize Laguerre polynomials and associated Lah polynomials. We discuss, for these polynomials, their explicit expressions, relations to the successive derivatives of a given function, real zeros and recurrence relations. Some known results are significantly simplified.
Eigenvalues of random lifts and polynomials of random permutation matrices
Published in Annals of Mathematics 190 (2019), no. 3, 811-75
• View Publication
• BIB
Consider a finite sequence of independent random permutations, chosen uniformly either among all permutations or among all matchings on n points. We show that, in probability, as n goes to infinity, these permutations viewed as operators on the (n-1) dimensional vector space orthogonal to the vector with all coordinates equal to 1, are asymptotically strongly free. Our proof relies on the development of a matrix version of the non-backtracking operator theory and a refined trace method.
As a byproduct, we show that the non-trivial eigenvalues of random n-lifts of a fixed based graphs approximately achieve the Alon-Boppana bound with high probability in the large n limit. This result generalizes Friedman's Theorem stating that with high probability, the Schreier graph generated by a finite number of independent random permutations is close to Ramanujan.
Finally, we extend our results to tensor products of random permutation matrices. This extension is especially relevant in the context of quantum expanders.
On the exact maximum induced density of almost all graphs and their inducibility
Published
• View Publication
• BIB
Let $H$ be a graph on $h$ vertices. The number of induced copies of $H$ in a graph $G$ is denoted by $i_H(G)$. Let $i_H(n)$ denote the maximum of $i_H(G)$ taken over all graphs $G$ with $n$ vertices.
Let $f(n,h) = Π_{i}^h a_i$ where $\sum_{i=1}^h a_i = n$ and the $a_i$ are as equal as possible. Let $g(n,h) = f(n,h) + \sum_{i=1}^h g(a_i,h)$. It is proved that for almost all graphs $H$ on $h$ vertices it holds that $i_H(n)=g(n,h)$ for all $n \le 2^{\sqrt{h}}$. More precisely, we define an explicit graph property ${\cal P}_h$ which, when satisfied by $H$, guarantees that $i_H(n)=g(n,h)$ for all $n \le 2^{\sqrt{h}}$. It is proved, in particular, that a random graph on $h$ vertices satisfies ${\cal P}_h$ with probability $1-o_h(1)$. Furthermore, all extremal $n$-vertex graphs yielding $i_H(n)$ in the aforementioned range are determined.
We also prove a stability result. For $H \in {\cal P}_h$ and a graph $G$ with $n \le 2^{\sqrt{h}}$ vertices satisfying $i_H(G) \ge f(n,h)$, it must be that $G$ is obtained from a balanced blowup of $H$ by adding some edges inside the blowup parts.
The {\em inducibility} of $H$ is $i_H = \lim_{n \rightarrow \infty} i_H(n)/\binom{n}{h}$. It is known that $i_H \ge h!/(h^h-h)$ for all graphs $H$ and that a random graph $H$ satisfies almost surely that $i_H \le h^{3\log h}h!/(h^h-h)$. We improve upon this upper bound almost matching the lower bound. It is shown that a graph $H$ which satisfies ${\cal P}_h$ has $i_H =(1+O(h^{-h^{1/3}}))h!/(h^h-h)$.
Forcing large tight components in 3-graphs
Published in European Journal of Combinatorics 77 (2019), pp 57-67
• View Publication
• BIB
Any $n$-vertex $3$-graph with minimum codegree at least $\lfloor n/3\rfloor$ must have a spanning tight component, but immediately below this threshold it is possible for no tight component to span more than $\lceil 2n/3\rceil$ vertices. Motivated by this observation, we ask which codegree forces a tight component of at least any given size. The corresponding function seems to have infinitely many discontinuities, but we provide upper and lower bounds, which asymptotically converge as the function nears the origin.
Independence number of graphs with a prescribed number of cliques
Published
• View Publication
• BIB
We consider the following problem posed by Erdos in 1962. Suppose that $G$ is an $n$-vertex graph where the number of $s$-cliques in $G$ is $t$. How small can the independence number of $G$ be? Our main result suggests that for fixed $s$, the smallest possible independence number undergoes a transition at $t=n^{s/2+o(1)}$.
In the case of triangles ($s=3$) we obtain the following result which is sharp apart from constant factors and generalizes basic results in Ramsey theory: there exists $c>0$ such that every $n$-vertex graph with $t$ triangles has independence number at least $$c \cdot \min\left\{ \sqrt {n \log n}\, , \, \frac{n}{t^{1/3}} \left(\log \frac{n}{ t^{1/3}}\right)^{2/3} \right\}.$$
On Periodicity Lemma for Partial Words
Published
• View Publication
• BIB
We investigate the function $L(h,p,q)$, called here the threshold function, related to periodicity of partial words (words with holes). The value $L(h,p,q)$ is defined as the minimum length threshold which guarantees that a natural extension of the periodicity lemma is valid for partial words with $h$ holes and (strong) periods $p,q$. We show how to evaluate the threshold function in $O(\log p + \log q)$ time, which is an improvement upon the best previously known $O(p+q)$-time algorithm. In a series of papers, the formulae for the threshold function, in terms of $p$ and $q$, were provided for each fixed $h \le 7$. We demystify the generic structure of such formulae, and for each value $h$ we express the threshold function in terms of a piecewise-linear function with $O(h)$ pieces.
On certain edge-transitive bicirculants
Published in Published in Electronic Journal of Combinatorics, Vol 26, Issue 2, 2019
• View Publication
• BIB
A graph $Γ$ of even order is a bicirculant if it admits an automorphism with two orbits of equal length. Symmetry properties of bicirculants, for which at least one of the induced subgraphs on the two orbits of the corresponding semiregular automorphism is a cycle, have been studied, at least for the few smallest possible valences. For valences $3$, $4$ and $5$, where the corresponding bicirculants are called generalized Petersen graphs, Rose window graphs and Tabačjn graphs, respectively, all edge-transitive members have been classified. While there are only 7 edge-transitive generalized Petersen graphs and only 3 edge-transitive Tabačjn graphs, infinite families of edge-transitive Rose window graphs exist. The main theme of this paper is the question of the existence of such bicirculants for higher valences. It is proved that infinite families of edge-transitive examples of valence $6$ exist and among them infinitely many arc-transitive as well as infinitely many half-arc-transitive members are identified. Moreover, the classification of the ones of valence $6$ and girth $3$ is given. As a corollary, an infinite family of half-arc-transitive graphs of valence $6$ with universal reachability relation, which were thus far not known to exist, is obtained.
Coins and Logic
Published
• View Publication
• BIB
We establish fun parallels between coin-weighing puzzles and knights-and-knaves puzzles.
Graph switching, 2-ranks, and graphical Hadamard matrices
Published
• View Publication
• BIB
We study the behaviour of the 2-rank of the adjacency matrix of a graph under Seidel and Godsil-McKay switching, and apply the result to graphs coming from graphical Hadamard matrices of order $4^m$. Starting with graphs from known Hadamard matrices of order $64$, we find (by computer) many Godsil-McKay switching sets that increase the 2-rank. Thus we find strongly regular graphs with parameters $(63,32,16,16)$, $(64,36,20,20)$, and $(64,28,12,12)$ for almost all feasible 2-ranks. In addition we work out the behaviour of the 2-rank for a graph product related to the Kronecker product for Hadamard matrices, which enables us to find many graphical Hadamard matrices of order $4^m$ for which the related strongly regular graphs have an unbounded number of different 2-ranks. The paper extends results from the article 'Switched symplectic graphs and their 2-ranks' by the first and the last author.
Automorphism groups and Ramsey properties of sparse graphs
Published
• View Publication
• BIB
We study automorphism groups of sparse graphs from the viewpoint of topological dynamics and the Kechris, Pestov, Todorčević correspondence. We investigate amenable and extremely amenable subgroups of these groups using the space of orientations of the graph and results from structural Ramsey theory. Resolving one of the open questions in the area, we show that Hrushovski's example of an $ω$-categorical sparse graph has no $ω$-categorical expansion with extremely amenable automorphism group.
A note on the problem of prisoners and hats
We study the famous mathematical puzzle of prisoners and hats. We introduce a framework in which various variants of the problem can be formalized. We examine three particular versions of the problem (each one in fact a class of problems) and completely characterize them as to (non)existence of winning strategies.
Computing the Inverse Mellin Transform of Holonomic Sequences using Kovacic's Algorithm
Published
• View Publication
• BIB
We describe how the extension of a solver for linear differential equations by Kovacic's algorithm helps to improve a method to compute the inverse Mellin transform of holonomic sequences. The method is implemented in the computer algebra package HarmonicSums.
Mixed-Radix Nim
We present take-away games whose Sprague-Grundy functions are given by the Nim sum of heap sizes in a mixed base $β$. Let $Δ_β$ be the set of such games. We give a necessary and sufficient condition for the existence of a minimum of $Δ_β$, and a recursive construction of the maximum of $Δ_β$.
A crossing lemma for multigraphs
Published
• View Publication
• BIB
Let $G$ be a drawing of a graph with $n$ vertices and $e>4n$ edges, in which no two adjacent edges cross and any pair of independent edges cross at most once. According to the celebrated Crossing Lemma of Ajtai, Chvátal, Newborn, Szemerédi and Leighton, the number of crossings in $G$ is at least $c{e^3\over n^2}$, for a suitable constant $c>0$. In a seminal paper, Székely generalized this result to multigraphs, establishing the lower bound $c{e^3\over mn^2}$, where $m$ denotes the maximum multiplicity of an edge in $G$. We get rid of the dependence on $m$ by showing that, as in the original Crossing Lemma, the number of crossings is at least $c'{e^3\over n^2}$ for some $c'>0$, provided that the "lens" enclosed by every pair of parallel edges in $G$ contains at least one vertex. This settles a conjecture of Kaufmann.
Forcing Brushes
Published
• View Publication
• BIB
We give short and simple proofs of the inequalities $B(G)\leq Z(L(G))$ and $Z(G)\leq Z(L(G))$ first established by Erzurumluoğlu, Meagher, and Pike, where $G$ is a graph without isolated vertices, $B(G)$ is the brushing number of $G$, $Z(G)$ is the zero forcing number of $G$, and $L(G)$ is the line graph of $G$.
Even cycle creating paths
We say that two graphs $H_1,H_2$ on the same vertex set are $G$-creating ($G$-different in other papers, this difference is explained in the introduction) if the union of the two graphs contains $G$ as a subgraph. Let $H(n,k)$ be the maximal number of pairwise $C_k$-creating paths (of arbitrary length) on $n$ vertices. The behaviour of $H(n,2k+1)$ is much better understood than the behaviour of $H(n,2k)$, the former is an exponential function of $n$ while the latter is larger than exponential, for every fixed $k$. We study $H(n,k)$ for fixed $k$ and $n$ tending to infinity. The only non trivial upper bound on $H(n,2k)$ was in the case where $k=2$ $$H(n,4)\leq n^{\left(1-\frac{1}{4} \right) n-o(n)}, $$ this was proved by Cohen, Fachini and Körner. In this paper, we generalize their method to prove that for every $k \geq 2$,
$$H(n,2k) \leq n^{\left( 1- \frac{2}{3k^2-2k} \right)n-o(n)}. $$ Our proof uses constructions of bipartite, regular, $C_{2k}$-free graphs with many edges by Reiman, Benson, Lazebnik, Ustimenko and Woldar. For some special values of $k$ we can have slightly denser such bipartite graphs than for general $k$, this results in having better upper bounds on $H(n,2k)$ than stated above for these special values of $k$.
Simplicial faces of the set of correlation matrices
Published in Discrete and Computational Geometry, online Jan. 2018
• View Publication
• BIB
This paper concerns the facial geometry of the set of $n \times n$ correlation matrices. The main result states that almost every set of $r$ vertices generates a simplicial face, provided that $r \leq \sqrt{\mathrm{c} n}$, where $\mathrm{c}$ is an absolute constant. This bound is qualitatively sharp because the set of correlation matrices has no simplicial face generated by more than $\sqrt{2n}$ vertices.
The cover time of a biased random walk on a random cubic graph
Published
• View Publication
• BIB
We study a random walk that prefers tou se unvisited edges in the context of random cubic graphs. We establish asymptotically correct estimates for the vertex and edge cover times, these being $\approx n\log n$ and $\approx \frac32n\log n$ respectively.
Secretary problem: graphs, matroids and greedoids
Published in Operations Research Forum 2(4) 2021
• View Publication
• BIB
In the paper the generalisation of the well known "secretary problem" is considered. The aim of the paper is to give a generalised model in such a way that the chosen set of the possible best $k$ elements have to be independent of all rejected elements. This condition is formulated using the theory of greedoids and in their special cases -- matroids and antimatroids. Examples of some special cases of greedoids (uniform, graphical matroids and binary trees) are considered.
Phylogenetic trees and homomorphisms
In Chapter 1 we fully characterise pairs of finite graphs which form a gap in the full homomorphism order. This leads to a simple proof of the existence of generalised duality pairs. We also discuss how such results can be carried to relational structures with unary and binary relations. In Chapter 2 we show a very simple and versatile argument based on divisibility which immediately yields the universality of the homomorphism order of directed graphs and discuss three applications. In chapter 3, we show that every interval in the homomorphism order of finite undirected graphs is either universal or a gap. Together with density and universality this "fractal" property contributes to the spectacular properties of the homomorphism order. In Chapter 4 we analyze the phylogenetic information content from a combinatorial point of view by considering the binary relation on the set of taxa defined by the existence of a single event separating two taxa. We show that the graph-representation of this relation must be a tree. Moreover, we characterize completely the relationship between the tree of such relations and the underlying phylogenetic tree.