Showing 20 papers (Total: 82505 papers, 47699 authors in database)
Justifying the small-world phenomenon via random recursive trees
Published
• View Publication
• BIB
We present a new technique for proving logarithmic upper bounds for diameters of evolving random graph models, which is based on defining a coupling between random graphs and variants of random recursive trees. The advantage of the technique is three-fold: it is quite simple and provides short proofs, it is applicable to a broad variety of models including those incorporating preferential attachment, and it provides bounds with small constants. We illustrate this by proving, for the first time, logarithmic upper bounds for the diameters of the following well known models: the forest fire model, the copying model, the PageRank-based selection model, the Aiello-Chung-Lu models, the generalized linear preference model, directed scale-free graphs, the Cooper-Frieze model, and random unordered increasing $k$-trees. Our results shed light on why the small-world phenomenon is observed in so many real-world graphs.
Convex-normal (pairs of) polytopes
Published
• View Publication
• BIB
In 2012 Gubeladze (Adv.\ Math.\ 2012) introduced the notion of k-convex-normal polytopes to show that integral polytopes all of whose edges are longer than 4d(d+1) have the integer decomposition property. In the first part of this paper we show that for lattice polytopes there is no difference between k- and (k+1)-convex-normality (for k >= 3) and improve the bound to 2d(d+1). In the second part we extend the definition to pairs of polytopes and show that for rational polytopes P and Q, where the normal fan of P is a refinement of the normal fan of Q, if every edge e_P of P is at least d times as long as the corresponding edge e_Q of Q, then (P+Q) \cap \Z^d = (P\cap \Z^d) + (Q \cap \Z^d).
Betti splitting via componentwise linear ideals
Published
• View Publication
• BIB
A monomial ideal $I$ admits a Betti splitting $I=J+K$ if the Betti numbers of $I$ can be determined in terms of the Betti numbers of the ideals $J,K$ and $J \cap K$. Given a monomial ideal $I$, we prove that $I=J+K$ is a Betti splitting of $I$, provided $J$ and $K$ are componentwise linear, generalizing a result of Francisco, Hà and Van Tuyl. If $I$ has a linear resolution, the converse also holds. We apply this result recursively to the Alexander dual of vertex-decomposable, shellable and constructible simplicial complexes and to determine the graded Betti numbers of the defining ideal of three general fat points in the projective space.
Bijections for simple and double Hurwitz numbers
We give a bijective proof of Hurwitz formula for the number of simple branched coverings of the sphere by itself. Our approach extends to double Hurwitz numbers and yields new properties for them. In particular we prove for double Hurwitz numbers a conjecture of Kazarian and Zvonkine, and we give an expression that in a sense interpolates between two celebrated polynomiality properties: polynomiality in chambers for double Hurwitz numbers, and a new analog for almost simple genus 0 Hurwitz numbers of the polynomiality up to normalization of simple Hurwitz numbers of genus $g$. Some probabilistic implications of our results for random branched coverings are briefly discussed in conclusion.
A 3-to-1 cactus graph: Details
We briefly present a new construction of a 3-to-1 unrecoverable electrical network. This is a taste of a comprehensive forthcoming paper on unrecoverable electrical networks.
Recovering the Lie algebra from its extremal geometry
Published
• View Publication
• BIB
An element $x$ of a Lie algebra $L$ over the field $F$ is extremal if $[x,[x,L]]=Fx$. Under minor assumptions, it is known that, for a simple Lie algebra $L$, the extremal geometry ${\cal{E}}(L)$ is a subspace of the projective geometry of $L$ and either has no lines or is the root shadow space of an irreducible spherical building $Δ$. We prove that if $Δ$ is of simply-laced type, then $L$ is a quotient of a Chevalley algebra of the same type.
A concentration inequality for product spaces
Published in Journal of Functional Analysis 270 (2016), 609-620
• View Publication
• BIB
We prove a concentration inequality which asserts that, under some mild regularity conditions, every random variable defined on the product of sufficiently many probability spaces exhibits pseudorandom behavior.
Szemerédi's regularity lemma via martingales
Published in The Electronic Journal of Combinatorics 23 (2016), Research Paper P3.11, 1-24
• View Publication
• BIB
We prove a variant of the abstract probabilistic version of Szemerédi's regularity lemma, due to Tao, which applies to a number of structures (including graphs, hypergraphs, hypercubes, graphons, and many more) and works for random variables in $L_p$ for any $p>1$. Our approach is based on martingale difference sequences.
Discrete norms of a matrix and the converse to the Expander Mixing Lemma
Published
• View Publication
• BIB
We define the discrete norm of a complex $m\times n$ matrix $A$ by
$$ \|A\|_Δ:= \max_{0\neξ\in\{0,1\}^n} \frac{\|Aξ\|}{\|ξ\|}, $$ and show that
$$ \frac c{\sqrt{\log h(A)+1}}\,\|A\| \le \|A\|_Δ\le \|A\|, $$ where $c>0$ is an explicitly indicated absolute constant, $h(A)=\sqrt{\|A\|_1\|A\|_\infty}/\|A\|$, and $\|A\|_1,\|A\|_\infty$, and $\|A\|=\|A\|_2$ are the induced operator norms of $A$.
Similarly, for the \emph{discrete Rayleigh norm}
$$ \|A\|_P := \max_{\substack{0\neξ\in\{0,1\}^m \\ 0\neη\in\{0,1\}^n}}
\frac{|ξ^tAη|}{\|ξ\|\|η\|} $$ we prove the estimate
$$ \frac c{\log h(A)+1}\,\|A\| \le \|A\|_P \le \|A\|. $$ These estimates are shown to be essentially best possible.
As a consequence, we obtain another proof of the (slightly sharpened and generalized version of the) converse to the expander mixing lemma by Bollobas-Nikiforov and Bilu-Linial.
An isoperimetric constant for signed graphs
Published in Expositiones Mathematicae Volume 34, Issue 3, 2016, Pages 339-351
• View Publication
• BIB
A sign is introduced in the usual Laplacian on graphs and the corresponding analogue of the isoperimetric constant for this Laplacian is presented, i.e. a geometric quantity which enables to bound from above and below the first eigenvalue. The introduction of the sign in the Laplacian is motivated by the study of $2$-lifts of graphs and of the combinatorial Laplacian in higher degree.
Vincular pattern posets and the Möbius function of the quasi-consecutive pattern poset
Published
• View Publication
• BIB
We introduce vincular pattern posets, then we consider in particular the quasi-consecutive pattern poset, which is defined by declaring $σ\leq τ$ whenever the permutation $τ$ contains an occurrence of the permutation $σ$ in which all the entries are adjacent in $τ$ except at most the first and the second. We investigate the Möbius function of the quasi-consecutive pattern poset and we completely determine it for those intervals $[σ,τ]$ such that $σ$ occurs precisely once in $τ$.
Representations of categories of G-maps
Published in J. Reine Angew. Math. 750 (2019), 197-226
• View Publication
• BIB
We study representations of wreath product analogues of categories of finite sets. This includes the category of finite sets and injections (studied by Church, Ellenberg, and Farb) and the opposite of the category of finite sets and surjections (studied by the authors in previous work). We prove noetherian properties for the injective version when the group in question is polycyclic-by-finite and use it to deduce general twisted homological stability results for such wreath products and indicate some applications to representation stability. We introduce a new class of formal languages (quasi-ordered languages) and use them to deduce strong rationality properties of Hilbert series of representations for the surjective version when the group is finite.
On homology of finite topological spaces
Published in Topology and its Applications 217 (2017), 1-19
• View Publication
• BIB
We develop a new method to compute the homology groups of finite topological spaces (or equivalently of finite partially ordered sets) by means of spectral sequences giving a complete and simple description of the corresponding differentials. Our method proves to be powerful and involves far fewer computations than the standard one. We derive many applications of our technique which include a generalization of Hurewicz theorem for regular CW-complexes, results in homological Morse theory and formulas to compute the Möbius function of posets.
Genus Ranges of Chord Diagrams
Published in J Knot Theory Ramif. 2015 Apr 1; 24(4): 1550022
• View Publication
• BIB
A chord diagram consists of a circle, called the backbone, with line segments, called chords, whose endpoints are attached to distinct points on the circle. The genus of a chord diagram is the genus of the orientable surface obtained by thickening the backbone to an annulus and attaching bands to the inner boundary circle at the ends of each chord. Variations of this construction are considered here, where bands are possibly attached to the outer boundary circle of the annulus. The genus range of a chord diagram is the genus values over all such variations of surfaces thus obtained from a given chord diagram. Genus ranges of chord diagrams for a fixed number of chords are studied. Integer intervals that can, and cannot, be realized as genus ranges are investigated. Computer calculations are presented, and play a key role in discovering and proving the properties of genus ranges.
Best constants for the Hardy-Littlewood maximal operator on finite graphs
Published
• View Publication
• BIB
We study the behavior of averages for functions defined on finite graphs $G$, in terms of the Hardy-Littlewood maximal operator $M_G$. We explore the relationship between the geometry of a graph and its maximal operator and prove that $M_G$ completely determines $G$ (even though embedding properties for the graphs do not imply pointwise inequalities for the maximal operators). Optimal bounds for the $p$-(quasi)norm of a general graph $G$ in the range $0<p\le1$ are given, and it is shown that the complete graph $K_n$ and the star graph $S_n$ are the extremal graphs attaining, respectively, the lower and upper estimates. Finally, we study weak-type estimates and some connections with the dilation and overlapping indices of a graph.
Differential calculus on the space of countable labelled graphs
Published in Advances in Operator Theory 6 (2021), no. 1, art. # 12, 28 pp
• View Publication
• BIB
The study of very large graphs is a prominent theme in modern-day mathematics. In this paper we develop a rigorous foundation for studying the space of finite labelled graphs and their limits. These limiting objects are naturally countable graphs, and the completed graph space $\mathscr{G}(V)$ is identified with the 2-adic integers as well as the Cantor set. The goal of this paper is to develop a model for differentiation on graph space in the spirit of the Newton-Leibnitz calculus. To this end, we first study the space of all finite labelled graphs and their limiting objects, and establish analogues of left-convergence, homomorphism densities, a Counting Lemma, and a large family of topologically equivalent metrics on labelled graph space. We then establish results akin to the First and Second Derivative Tests for real-valued functions on countable graphs, and completely classify the permutation automorphisms of graph space that preserve its topological and differential structures.
A new simple proof of the Aztec diamond theorem
Published
• View Publication
• BIB
The Aztec diamond of order $n$ is the union of lattice squares in the plane intersecting the square $|x|+|y|<n$. The Aztec diamond theorem states that the number of domino tilings of this shape is $2^{n(n+1)/2}$. It was first proved by Elkies, Kuperberg, Larsen and Propp in 1992. We give a new simple proof of this theorem.
Discrepancy properties for random regular digraphs
Published
• View Publication
• BIB
For the uniform random regular directed graph we prove concentration inequalities for (1) codegrees and (2) the number of edges passing from one set of vertices to another. As a consequence, we can deduce discrepancy properties for the distribution of edges essentially matching results for Erdős-Rényi digraphs obtained from Chernoff-type bounds. The proofs make use of the method of exchangeable pairs, developed for concentration of measure by Chatterjee. Exchangeable pairs are constructed using two involutions on the set of regular digraphs: a well-known "simple switching" operation, as well as a novel "reflection" operation.
Arithmetic Properties of Partition Quadruples With Odd Parts Distinct
Published in Bulletin of the Australian Mathematical Society 92 (2015) 353-364
• View Publication
• BIB
Let $\mathrm{pod}_{-4}(n)$ denote the number of partition quadruples of $n$ where the odd parts in each partition are distinct. We find many arithmetic properties of $\mathrm{pod}_{-4}(n)$ involving the following infinite family of congruences: for any integers $α\ge 1$ and $n \ge 0$,
\[\mathrm{pod}_{-4}\Big({{3}^{α+1}}n+\frac{5\cdot {{3}^{α}}+1}{2}\Big)\equiv 0 \pmod{9}.\] We also establish some internal congruences and some congruences modulo 2, 5 and 8 satisfied by $\mathrm{pod}_{-4}(n)$.
A new proof for a nonterminating "strange" hypergeometric evaluation of Gasper and Rahman
An elementary proof is given for a nonterminating "strange" cubic $_7F_6$-series summation formula of Gasper and Rahman, through the modified Abel lemma on summation by parts. As a byproduct, an interesting nonterminating $_3F_2({3}/{4})$-series identity conjectured by Gosper, is also rederived.