Showing 20 papers (Total: 83133 papers, 48023 authors in database)
Subcritical random hypergraphs, high-order components, and hypertrees
Published
• View Publication
• BIB
In the binomial random graph $\mathcal{G}(n,p)$, when $p$ changes from $(1-\varepsilon)/n$ (subcritical case) to $1/n$ and then to $(1+\varepsilon)/n$ (supercritical case) for $\varepsilon>0$, with high probability the order of the largest component increases smoothly from $O(\varepsilon^{-2}\log(\varepsilon^3 n))$ to $Θ(n^{2/3})$ and then to $(1 \pm o(1)) 2 \varepsilon n$.
As a natural generalisation of random graphs and connectedness, we consider the binomial random $k$-uniform hypergraph $\mathcal{H}^k(n,p)$ (where each $k$-tuple of vertices is present as a hyperedge with probability $p$ independently) and the following notion of high-order connectedness. Given an integer $1 \leq j \leq k-1$, two sets of $j$ vertices are called \emph{$j$-connected} if there is a walk of hyperedges between them such that any two consecutive hyperedges intersect in at least $j$ vertices. A $j$-connected component is a maximal collection of pairwise $j$-connected $j$-tuples of vertices. Recently, the threshold for the appearance of the giant $j$-connected component in $\mathcal{H}^k(n,p)$ and its order were determined. In this article, we take a closer look at the subcritical random hypergraph. We determine the structure, order, and size of the largest $j$-connected components, with the help of a certain class of `hypertrees' and related objects. In our proofs, we combine various probabilistic and enumerative techniques, such as generating functions and couplings with branching processes. Our study will pave the way to establishing a symmetry between the subcritical random hypergraph and the hypergraph obtained from the supercritical random hypergraph by deleting its giant $j$-connected component.
Invariant spanning double rays in amenable groups
Published
• View Publication
• BIB
A well-known result of Benjamini, Lyons, Peres, and Schramm states that if $G$ is a finitely generated Cayley graph of a group $Γ$, then $Γ$ is amenable if and only if $G$ admits a $Γ$-invariant random spanning tree with at most two ends. We show that this is equivalent to the existence of a $Γ$-invariant random spanning double ray in a power of $G$.
Hausdorff dimension of pinned distance sets and the $L^2$-method
Published
• View Publication
• BIB
We prove that for any $E\subset{\Bbb R}^2$, $\dim_{\mathcal{H}}(E)>1$, there exists $x\in E$ such that the Hausdorff dimension of the pinned distance set
$$Δ_x(E)=\{|x-y|: y \in E\}$$
is no less than $\min\left\{\frac{4}{3}\dim_{\mathcal{H}}(E)-\frac{2}{3}, 1\right\}$. This answers a question recently raised by Guth, Iosevich, Ou and Wang, as well as improves results of Keleti and Shmerkin.
(This version is already published on Proceeding AMS so I would like to leave it unchanged. However the statement in the abstract, which is the second part of Theorem 1.1, should be weakened a bit to: for any $ε>0$ there exists $x\in E$ such that the Hausdorff dimension of $Δ_x(E)$ is at least $\min\left\{\frac{4}{3}\dim_{\mathcal{H}}(E)-\frac{2}{3}-ε, 1\right\}$, and it implies the Hausdorff dimension of the distance set, $Δ(E)=\{|x-y|:x,y\in E\}$, is at least $\min\left\{\frac{4}{3}\dim_{\mathcal{H}}(E)-\frac{2}{3}, 1\right\}$. There is no problem in the proof and the first part of Theorem 1.1. I apologize for being sloppy and would like to thank Yumeng Ou for pointing it out.)
Multiline queues with spectral parameters
Published in Communications in Mathematical Physics volume 374 (2020), pp. 1743--1786
• View Publication
• BIB
Using the description of multiline queues as functions on words, we introduce the notion of a spectral weight of a word by defining a new weighting on multiline queues. We show that the spectral weight of a word is invariant under a natural action of the symmetric group, giving a proof of the commutativity conjecture of Arita, Ayyer, Mallick, and Prolhac. We give a determinant formula for the spectral weight of a word, which gives a proof of a conjecture of the first author and Linusson.
On the unimodality of convolutions of sequences of binomial coefficients
Published in J. Integer Seq. 22 (2019) Article 19.2.8
• Search Publication
We provide necessary and sufficient conditions on the unimodality of a convolution of two sequences of binomial coefficients preceded by a finite number of ones. These convolution sequences arise as as rank sequences of posets of vertex-induced subtrees for a particular class of trees. The number of such trees whose poset of vertex-induced subgraphs containing the root is not rank unimodal is determined for a fixed number of vertices $i$.
Containing all permutations
Published in Amer. Math. Monthly 128 (2021), 4-24
• View Publication
• BIB
Numerous versions of the question "what is the shortest object containing all permutations of a given length?" have been asked over the past fifty years: by Karp (via Knuth) in 1972; by Chung, Diaconis, and Graham in 1992; by Ashlock and Tillotson in 1993; and by Arratia in 1999. The large variety of questions of this form, which have previously been considered in isolation, stands in stark contrast to the dearth of answers. We survey and synthesize these questions and their partial answers, introduce infinitely more related questions, and then establish an improved upper bound for one of these questions.
Global Defensive Alliances in the Lexicographic Product of Paths and Cycles
Published
• View Publication
• BIB
A set $S$ of vertices of graph $G$ is a \textit{defensive alliance} of $G$ if for every $v \in S$, it holds $|N[v] \cap S| \geq |N[v]-S|$. An alliance $S$ is called $global$ if it is also a dominating set. In this paper, we determine the exact values of the global defensive alliance number of lexicographic products of path and cycles.
Too Many Hats
Published
• View Publication
• BIB
A puzzle about prisoners trying to identify the color of a hat on their head leads to a version where there are k more hats than prisoners. This generalized puzzle is related to the independence number of the arrangement graph A(m, n) and to Steiner systems and other designs. A natural conjecture is that perfect hat-guessing strategies exist in all cases, where "perfect" means that the success probability is 1/(k+1). This is true when k = 1, but we show that it is false when k = 2. Further, we present a strategy with success rate at least 1/O(k log k), independent of the number of prisoners.
A note on the asymptotics of the number of O-sequences of given length
Published in Discrete Math. 342 (2019), no. 7, 2033--2034
• View Publication
• BIB
We look at the number $L(n)$ of $O$-sequences of length $n$. Recall that an $O$-sequence can be defined algebraically as the Hilbert function of a standard graded $k$-algebra, or combinatorially as the $f$-vector of a multicomplex. The sequence $L(n)$ was first investigated in a recent paper by commutative algebraists Enkosky and Stone, inspired by Huneke. In this note, we significantly improve both of their upper and lower bounds, by means of a very short partition-theoretic argument. In particular, it turns out that, for suitable positive constants $c_1$ and $c_2$ and all $n>2$, $$e^{c_1\sqrt{n}}\le L(n)\le e^{c_2\sqrt{n}\log n}.$$ It remains an open problem to determine an exact asymptotic estimate for $L(n)$.
Structure and enumeration results of matchable Lucas cubes
Published
• View Publication
• BIB
A lucasene is a hexagon chain that is similar to a fibonaccene, an $L$-fence is a poset the Hasse diagram of which is isomorphic to the directed inner dual graph of the corresponding lucasene. A new class of cubes, which named after matchable Lucas cubes according to the number of its vertices (or elements), are a series of directed or undirected Hasse diagrams of filter lattices of $L$-fences. The basic properties and several classes of polynomials, e.g.\ rank generating functions, cube polynomials and degree sequence polynomials, of matchable Lucas cubes are obtained. Some special conclusions on binomial coefficients and Lucas triangle are given.
A class of non-matchable distributive lattices
The set of all perfect matchings of a plane (weakly) elementary bipartite graph equipped with a partial order is a poset, moreover the poset is a finite distributive lattice and its Hasse diagram is isomorphic to $Z$-transformation directed graph of the graph. A finite distributive lattice is matchable if its Hasse diagram is isomorphic to a $Z$-transformation directed graph of a plane weakly elementary bipartite graph, otherwise non-matchable. We introduce the meet-irreducible cell with respect to a perfect matching of a plane (weakly) elementary bipartite graph and give its equivalent characterizations. Using these, we extend a result on non-matchable distributive lattices, and obtain a class of new non-matchable distributive lattices.
On the computational complexity of MSTD sets
We outline a general algorithm for verifying whether a subset of the integers is a more sum than differences (MSTD) set, also known as sum dominated sets, and give estimates on its computational complexity. We conclude with some numerical results on large MSTD sets and MSTD subsets of $[1,N]\cap \mathbb Z$ for $N$ up to 160.
The rank of random matrices over finite fields
We determine the rank of a random matrix A over a finite field with prescribed numbers of non-zero entries in each row and column. As an application we obtain a formula for the rate of low-density parity check codes. This formula verifies a conjecture of Lelarge [Proc. IEEE Information Theory Workshop 2013]. The proofs are based on coupling arguments and the interpolation method from mathematical physics.
A graph theoretic characterization of the classical generalized hexagon on $364$ vertices
A tetravalent $2$-arc-transitive graph of order $728$ is either the known $7$-arc-transitive incidence graph of the classical generalized hexagon $GH(3,3)$ or a normal cover of a $2$-transitive graph of order $182$ denoted $A[182,1]$ or $A[182,2]$ in the $2009$ list of Potočnik.
Another construction of edge-regular graphs with regular cliques
Published
• View Publication
• BIB
We exhibit a new construction of edge-regular graphs with regular cliques that are not strongly regular. The infinite family of graphs resulting from this construction includes an edge-regular graph with parameters $(24,8,2)$. We also show that edge-regular graphs with $1$-regular cliques that are not strongly regular must have at least $24$ vertices.
Halfway to Rota's basis conjecture
In 1989, Rota made the following conjecture. Given $n$ bases $B_{1},\dots,B_{n}$ in an $n$-dimensional vector space $V$, one can always find $n$ disjoint bases of $V$, each containing exactly one element from each $B_{i}$ (we call such bases transversal bases). Rota's basis conjecture remains wide open despite its apparent simplicity and the efforts of many researchers (for example, the conjecture was recently the subject of the collaborative "Polymath" project). In this paper we prove that one can always find $\left(1/2-o\left(1\right)\right)n$ disjoint transversal bases, improving on the previous best bound of $Ω\left(n/\log n\right)$. Our results also apply to the more general setting of matroids.
On Kahn's basis conjecture
In 1991, Kahn made the following conjecture. For any $n$-dimensional vector space $V$ and any $n\times n$ array of $n^2$ bases of $V$, it is possible to choose a representative vector from each of these bases in such a way that the representatives from each row form a basis and the representatives from each column also form a basis. Rota's basis conjecture can be viewed as a special case of Kahn's conjecture, where for each column, all the bases in that column are the same. Recently the authors showed that in the setting of Rota's basis conjecture it is possible to find suitable representatives in $\left(1/2-o\left(1\right)\right)n$ of the rows. In this companion note we give a slight modification of our arguments which generalises this result to the setting of Kahn's conjecture. Our results also apply to the more general setting of matroids.
The Finite Embedding Property for IP Loops and Local Embeddability of Groups into Finite IP Loops
We prove that the class of all loops with the inverse property (IP loops) has the Finite Embedding Property (FEP). As a consequence, every group is locally embeddable into finite IP loops.
Trajectories in random minimal transposition factorizations
We study random typical minimal factorizations of the $n$-cycle, which are factorizations of $(1, \ldots,n)$ as a product of $n-1$ transpositions, chosen uniformly at random. Our main result is, roughly speaking, a local convergence theorem for the trajectories of finitely many points in the factorization. The main tool is an encoding of the factorization by an edge and vertex-labelled tree, which is shown to converge to Kesten's infinite Bienaymé-Galton-Watson tree with Poisson offspring distribution, uniform i.i.d. edge labels and vertex labels obtained by a local exploration algorithm.
Enhanced Power Graphs of Finite Groups
The enhanced power graph $\mathcal G_e(\mathbf G)$ of a group $\mathbf G$ is the graph with vertex set $G$ such that two vertices $x$ and $y$ are adjacent if they are contained in a same cyclic subgroup. We prove that finite groups with isomorphic enhanced power graphs have isomorphic directed power graphs. We show that any isomorphism between power graphs of finite groups is an isomorhism between enhanced power graphs of these groups, and we find all finite groups $\mathbf G$ for which $\mathrm{Aut}(\mathcal G_e(\mathbf G)$ is abelian, all finite groups $\mathbf G$ with $\lvert\mathrm{Aut}(\mathcal G_e(\mathbf G)\rvert$ being prime power, and all finite groups $\mathbf G$ with $\lvert\mathrm{Aut}(\mathcal G_e(\mathbf G)\rvert$ being square free. Also we describe enhanced power graphs of finite abelian groups. Finally, we give a characterization of finite nilpotent groups whose enhanced power graphs are perfect, and we present a sufficient condition for a finite group to have weakly perfect enhanced power graph.