Showing 20 papers (Total: 84253 papers, 48533 authors in database)
On spanning trees with high internal degree
Alon and Wormald showed that any graph with minimum degree d contains a spanning star forest in which every connected component is of size at least Ω((d/\log d)^{1/3}). They asked if any connected graph with minimum degree at least d has a spanning tree in which every internal vertex has degree at least cd/\log d, for some absolute constant c > 0.
We give a simple example showing that this is not the case.
Laplacian spectral characterization of roses
Published in Linear Algebra and its Applications 536 (2018), 19-30
• View Publication
• BIB
A rose graph is a graph consisting of cycles that all meet in one vertex. We show that except for two specific examples, these rose graphs are determined by the Laplacian spectrum, thus proving a conjecture posed by Lui and Huang [F.J. Liu and Q.X. Huang, Laplacian spectral characterization of 3-rose graphs, Linear Algebra Appl. 439 (2013), 2914--2920]. We also show that if two rose graphs have a so-called universal Laplacian matrix with the same spectrum, then they must be isomorphic. In memory of Horst Sachs (1927-2016), we show the specific case of the latter result for the adjacency matrix by using Sachs' theorem and a new result on the number of matchings in the disjoint union of paths.
On the spectral radius of a random matrix: an upper bound without fourth moment
Published in The Annals of Probability 2018, Vol. 46, No. 4, 2268-2286
• View Publication
• BIB
Consider a square matrix with independent and identically distributed entries of zero mean and unit variance. It is well known that if the entries have a finite fourth moment, then, in high dimension, with high probability, the spectral radius is close to the square root of the dimension. We conjecture that this holds true under the sole assumption of zero mean and unit variance, in other words that there are no outliers in the circular law. In this work we establish the conjecture in the case of symmetrically distributed entries with a finite moment of order larger than two. The proof uses the method of moments combined with a novel truncation technique for cycle weights that might be of independent interest.
On the abelianity of the stochastic sandpile model
We consider a stochastic variant of the Abelian Sandpile Model (ASM) on a finite graph, introduced by Chan, Marckert and Selig. Even though it is a more general model, some nice properties still hold. We show that on a certain probability space, even if we lose the group structure due to topplings not being deterministic, some operators still commute. As a corollary, we show that the stationary distribution still does not depend on how sand grains are added onto the graph in our model, answering a conjecture of Selig.
Set Reconstruction on the Hypercube
Published in Discrete Analysis, 2017:17, 10 pp
• View Publication
• BIB
Given an action of a group $G$ on a set $S$, the $k$-deck of a subset $T$ of $S$ is the multiset of all subsets of $T$ of size $k$, each given up to translation by $G$. For a given subset $T$, the {\em reconstruction number} of $T$ is the minimum $k$ such that the $k$-deck uniquely identifies $T$ up to translation by $G$, and the {\em reconstruction number} of the action $G:S$ is the maximum reconstruction number of any subset of $S$. The concept of reconstruction number extends naturally to multisubsets $T$ of $S$ and in~\cite{CPC:257539}, the author calculated the multiset-reconstruction number of all finite abelian groups. In particular, it was shown that the multiset-reconstruction number of $\mathbb{Z}_2^n$ was $n+1$. This provides an upper bound of $n+1$ to the reconstruction number of $\mathbb{Z}_2^n$. The author also showed a lower bound of $\lfloor{\frac{n+1}2}\rfloor$ in the same paper. The purpose of this note is to close the gap. The reconstruction number of $\mathbb{Z}_2^n$ is $\lfloor{n+1-\log_2(n+1-\log_2(n))}\rfloor.$
A characterization of homology manifolds with $g_2\leq 2$
Published
• View Publication
• BIB
We characterize homology manifolds with $g_2\leq 2$. Specifically, using retriangulations of simplicial complexes, we give a short proof of Nevo and Novinsky's result on the characterization of homology $(d-1)$-spheres with $g_2=1$ for $d\geq 5$ and extend it to the class of normal pseudomanifolds. We proceed to prove that every prime homology manifold with $g_2=2$ is obtained by centrally retriangulating a polytopal sphere with $g_2\leq 1$ along a certain subcomplex. This implies that all homology manifolds with $g_2=2$ are polytopal spheres.
Going Back to Neil Sloane's FIRST LOVE (OEIS Sequence A435): On the Total Heights in Rooted Labeled Trees
In this tribute to Neil Sloane, we revisit the first sequence in the On-Line Encyclopedia of Integer Sequences, sequence A435 (1, 8, 78, 944, 13800, 237432, 4708144, 105822432, ...), that he encountered when he was a graduate student, and when normalized gives the average total height of rooted labeled trees. We state rigorously-computed explicit expressions for the first twelve moments of the random variable `total height' on rooted labeled trees, and pledge to donate to the OEIS 100 dollars in honor of the first to find an explicit expression for the probability density function of the limiting scaled probability distribution, as n goes to infinity.
Extremal Problems on Generalized Directed Hypergraphs
In this paper we define a class of combinatorial structures the instances of which can each be thought of as a model of directed hypergraphs in some way. Each of these models is uniform in that all edges have the same internal structure, and each is simple in that no loops or multiedges are allowed. We generalize the concepts of Turan density, blowup density, and jumps to this class and show that many basic extremal results extend naturally in this new setting. In particular, we show that supersaturation holds, the blowup of a generalized directed hypergraph (GDH) has the same Turan density as the GDH itself, and degenerate GDHs (those with Turan density zero) can be characterized as being contained in a blowup of a single edge. Additionally, we show how the set of jumps from one kind of GDH relates to the set of jumps of another. Since r-uniform hypergraphs are an instance of the defined class, then we are able to derive many particular instances of jumps and nonjumps for GDHs in general based on known results.
Extremal Numbers for 2 to 1 Directed Hypergraphs with Two Edges Part I: The Nondegenerate Cases
Let a 2 to 1 directed hypergraph be a 3-uniform hypergraph where every edge has two tail vertices and one head vertex. For any such directed hypergraph F let the nth extremal number of F be the maximum number of edges that any directed hypergraph on n vertices can have without containing a copy of F. There are actually two versions of this problem: the standard version where every triple of vertices is allowed to have up to all three possible directed edges and the oriented version where each triple can have at most one directed edge. In this paper, we determine the standard extremal numbers and the oriented extremal numbers for three different directed hypergraphs. Each has exactly two edges, and of the seven (nontrivial) 2 to 1 graphs with exactly two edges, these are the only three with extremal numbers that are cubic in n. The standard and oriented extremal numbers for the other four directed hypergraphs with two edges are determined in a companion paper.
Extremal Numbers for 2 to 1 Directed Hypergraphs with Two Edges Part II: The Degenerate Cases
Let a 2 to 1 directed hypergraph be a 3-uniform hypergraph where every edge has two tail vertices and one head vertex. For any such directed hypergraph F let the nth extremal number of F be the maximum number of edges that any directed hypergraph on n vertices can have without containing a copy of F. There are actually two versions the directed hypergraph model for this problem: the standard version where every triple of vertices is allowed to have up to all three possible directed edges and the oriented version where each triple can have at most one directed edge. In this paper, we determine the standard extremal numbers and the oriented extremal numbers for four different directed hypergraphs. Each has exactly two edges, and of the seven (nontrivial) 2 to 1 graphs with exactly two edges, these are the only four with extremal numbers that are quadratic in n. The standard and oriented extremal numbers for the other three directed hypergraphs with two edges are determined in a companion paper.
Intercalates and Discrepancy in Random Latin Squares
Published
• View Publication
• BIB
An intercalate in a Latin square is a $2\times2$ Latin subsquare. Let $N$ be the number of intercalates in a uniformly random $n\times n$ Latin square. We prove that asymptotically almost surely $N\ge\left(1-o\left(1\right)\right)\,n^{2}/4$, and that $\mathbb{E}N\le\left(1+o\left(1\right)\right)\,n^{2}/2$ (therefore asymptotically almost surely $N\le fn^{2}$ for any $f\to\infty$). This significantly improves the previous best lower and upper bounds. We also give an upper tail bound for the number of intercalates in two fixed rows of a random Latin square. In addition, we discuss a problem of Linial and Luria on low-discrepancy Latin squares.
An Extended Note on the Comparison-optimal Dual Pivot Quickselect
Published
• View Publication
• BIB
In this note the precise minimum number of key comparisons any dual-pivot quickselect algorithm (without sampling) needs on average is determined. The result is in the form of exact as well as asymptotic formulæ of this number of a comparison-optimal algorithm. It turns out that the main terms of these asymptotic expansions coincide with the main terms of the corresponding analysis of the classical quickselect, but still---as this was shown for Yaroslavskiy quickselect---more comparisons are needed in the dual-pivot variant. The results are obtained by solving a second order differential equation for the generating function obtained from a recursive approach.
Asymptotic metric behavior of random Cayley graphs of finite abelian groups
Published
• View Publication
• BIB
Using methods of Marklof and Strömbergsson we establish several limit laws for metric parameters of random Cayley graphs of finite abelian groups with respect to a randomly chosen set of generators of a fixed size. Doing so we settle a conjecture of Amir and Gurel-Gurevich.
Enumerative Aspects of Nullstellensatz Certificates
Using polynomial equations to model combinatorial problems has been a popular tool both in computational combinatorics as well as an approach to proving new theorems. In this paper, we look at several combinatorics problems modeled by systems of polynomial equations satisfying special properties. If the equations are infeasible, Hilbert's Nullstellensatz gives a certificate of this fact. These certificates have been studied and exhibit combinatorial meaning. In this paper, we generalize some known results and show that the Nullstellensatz certificate can be viewed as enumerating combinatorial structures. As such, Gröbner basis algorithms for solving these decision problems may implicitly be solving the enumeration problem as well.
On The Energy Variant of the Sum-Product Conjecture
Published
• View Publication
• BIB
We prove new exponents for the energy version of the Erdős-Szemerédi sum-product conjecture, raised by Balog and Wooley. They match the previously established milestone values for the standard formulation of the question, both for general fields and the special case of real or complex numbers, and appear to be the best ones attainable within the currently available technology. Further results are obtained about multiplicative energies of additive shifts and a strengthened energy version of the "few sums, many products" inequality of Elekes and Ruzsa. The latter inequality enables us to obtain a minor improvement of the state-of the art sum-product exponent over the reals due to Konyagin and the second author, up to $\frac{4}{3}+\frac{1}{1509}$. An application of energy estimates to an instance of arithmetic growth in prime residue fields is presented.
Bounds on the Reliability of a Typewriter Channel
Published
• View Publication
• BIB
We give new bounds on the reliability function of a typewriter channel with 5 inputs and crossover probability $1/2$. The lower bound is more of theoretical than practical importance; it improves very marginally the expurgated bound, providing a counterexample to a conjecture on its tightness by Shannon, Gallager and Berlekamp which does not need the construction of algebraic-geometric codes previously used by Katsman, Tsfasman and Vlăduţ. The upper bound is derived by using an adaptation of the linear programming bound and it is essentially useful as a low-rate anchor for the straight line bound.
Association schemes and Hypergroups
Published
• View Publication
• BIB
In this paper, we investigate hypergroups which arise from association schemes in a canonical way; this class of hypergroups is called realizable. We first study basic algebraic properties of realizable hypergroups. Then we prove that two interesting classes of hypergroups (partition hypergroups and linearly ordered hypergroups) are realizable. Along the way, we prove that a certain class of projective geometries is equipped with a canonical association scheme structure which allows us to link three objects; association schemes, hypergroups, and projective geometries.
Prime Power and Prime Product Distance Graphs
Published
• View Publication
• BIB
A graph $G$ is a $k$-prime product distance graph if its vertices can be labeled with distinct integers such that for any two adjacent vertices, the difference of their labels is the product of at most $k$ primes. A graph has prime product number $ppn(G)=k$ if it is a $k$-prime product graph but not a $(k-1)$-prime product graph. Similarly, $G$ is a prime $k$th-power graph (respectively, strict prime $k$th-power graph) if its vertices can be labeled with distinct integers such that for any two adjacent vertices, the difference of their labels is the $j$th power of a prime, for $j \leq k$ (respectively, the $k$th power of a prime exactly).
We prove that $ppn(K_n) = \lceil \log_2(n)\rceil - 1$, and for a nonempty $k$-chromatic graph $G$, $ppn(G) = \lceil \log_2(k)\rceil - 1$ or $ppn(G) = \lceil \log_2(k)\rceil$. We determine $ppn(G)$ for all complete bipartite, 3-partite, and 4-partite graphs. We prove that $K_n$ is a prime $k$th-power graph if and only if $n < 7$, and we determine conditions on cycles and outerplanar graphs $G$ for which $G$ is a strict prime $k$th-power graph.
We find connections between prime product and prime power distance graphs and the Twin Prime Conjecture, the Green-Tao Theorem, and Fermat's Last Theorem.
Ideal webs, moduli spaces of local systems, and 3d Calabi-Yau categories
Published
• View Publication
• BIB
A decorated surface S is an oriented surface with punctures and a finite set of marked points on the boundary, such that each boundary component has a marked point. We introduce ideal bipartite graphs on S. Each of them is related to a group G of type A, and gives rise to cluster coordinate systems on certain spaces of G-local systems on S. These coordinate systems generalize the ones assigned to ideal triangulations of S. A bipartite graph on S gives rise to a quiver with a canonical potential. The latter determines a triangulated 3d CY category with a cluster collection of spherical objects. Given an ideal bipartite graph on S, we define an extension of the mapping class group of S which acts by symmetries of the category. There is a family of open CY 3-folds over the universal Hitchin base, whose intermediate Jacobians describe the Hitchin system. We conjecture that the 3d CY category with cluster collection is equivalent to a full subcategory of the Fukaya category of a generic threefold of the family, equipped with a cluster collection of special Lagrangian spheres. For SL(2) a substantial part of the story is already known thanks to Bridgeland, Keller, Labardini-Fragoso, Nagao, Smith, and others. We hope that ideal bipartite graphs provide special examples of the Gaiotto-Moore-Neitzke spectral networks.
Evaluation of binomial double sums involving absolute values
Published in in: Algorithmic Combinatorics: Enumerative Combinatorics, Special Functions and Computer Algebra, V. Pillwein and C. Schneider (eds.), Springer-Verlag, 2020, pp. 249-296
• View Publication
• BIB
We show that double sums of the form $$ \sum_{i,j=-n} ^{n} |i^sj^t(i^k-j^k)^β| \binom {2n} {n+i} \binom {2n} {n+j} $$ can always be expressed in terms of a linear combination of just four functions, namely $\binom {4n}{2n}$, ${\binom {2n}n}^2$, $4^n\binom {2n}n$, and $16^n$, with coefficients that are rational in $n$. We provide two different proofs: one is algorithmic and uses the second author's computer algebra package Sigma; the second is based on complex contour integrals. In many instances, these results are extended to double sums of the above form where $\binom {2n}{n+j}$ is replaced by $\binom {2m}{m+j}$ with independent parameter $m$.