Showing 20 papers (Total: 82505 papers, 47699 authors in database)
Partitions into a small number of part sizes
Published
• View Publication
• BIB
We study $ν_k(n)$, the number of partitions of $n$ into $k$ part sizes, and find numerous arithmetic progressions where $ν_2$ and $ν_3$ take on values divisible by 2 and 4. Expanding earlier work, we show $ν_2(An+B) \equiv 0 \pmod{4}$ for (A,B) = (36,30), (72,42), (252,114), (196,70), and likely many other progressions for which our method should easily generalize. Of some independent interest, we prove that the overpartition function $\bar{p}(n) \equiv 0 \pmod{16}$ in the first three progressions (the fourth is known), and thereby show that $ν_3(An+B) \equiv 0 \pmod{2}$ in each of these progressions as well, and discuss the relationship between these congruences in more generality. We end with open questions in this area.
Mock theta double sums
Published in Glasgow Mathematical Journal 59, no. 2, (2017), 323-348
• View Publication
• BIB
We prove a general result on Bailey pairs and show that two Bailey pairs of Bringmann and Kane are special cases. We also show how to use a change of base formula to pass from the pairs of Bringmann and Kane to pairs used by Andrews in his study of Ramanujan's seventh order mock theta functions. We derive several more Bailey pairs of a similar type and use these to construct a number of new q-hypergeometric double sums which are mock theta functions. Finally, we prove identities between some of these mock theta double sums and classical mock theta functions.
Threshold Functions in Random s-Intersection Graphs
Published
• View Publication
• BIB
Random $s$-intersection graphs have recently received considerable attention in a wide range of application areas. In such a graph, each vertex is equipped with a set of items in some random manner, and any two vertices establish an undirected edge in between if and only if they have at least $s$ common items. In particular, in a uniform random $s$-intersection graph, each vertex independently selects a fixed number of items uniformly at random from a common item pool, while in a binomial random $s$-intersection graph, each item in some item pool is independently attached to each vertex with the same probability.
For binomial/uniform random $s$-intersection graphs, we establish threshold functions for perfect matching containment, Hamilton cycle containment, and $k$-robustness, where $k$-robustness is in the sense of Zhang and Sundaram [IEEE Conf. on Decision & Control '12]. We show that these threshold functions resemble those of classical Erdős-Rényi graphs, where each pair of vertices has an undirected edge independently with the same probability.
k-Connectivity of Random Key Graphs
Random key graphs represent topologies of secure wireless sensor networks that apply the seminal Eschenauer-Gligor random key predistribution scheme to secure communication between sensors. These graphs have received much attention and also been used in diverse application areas beyond secure sensor networks; e.g., cryptanalysis, social networks, and recommender systems. Formally, a random key graph with $n$ nodes is constructed by assigning each node $X_n$ keys selected uniformly at random from a pool of $Y_n$ keys and then putting an undirected edge between any two nodes sharing at least one key. Considerable progress has been made in the literature to analyze connectivity and $k$-connectivity of random key graphs, where $k$-connectivity of a graph ensures connectivity even after the removal of $k$ nodes or $k$ edges. Yet, it still remains an open question for $k$-connectivity in random key graphs under $X_n \geq 2$ and $X_n = o(\sqrt{\ln n})$ (the case of $X_n=1$ is trivial). In this paper, we answer the above problem by providing an exact analysis of $k$-connectivity in random key graphs under $X_n \geq 2$.
A curious gap in one-dimensional geometric random graphs between connectivity and the absence of isolated node
One-dimensional geometric random graphs are constructed by distributing $n$ nodes uniformly and independently on a unit interval and then assigning an undirected edge between any two nodes that have a distance at most $r_n$. These graphs have received much interest and been used in various applications including wireless networks. A threshold of $r_n$ for connectivity is known as $r_n^{*} = \frac{\ln n}{n}$ in the literature. In this paper, we prove that a threshold of $r_n$ for the absence of isolated node is $\frac{\ln n}{2 n}$ (i.e., a half of the threshold $r_n^{*}$). Our result shows there is a curious gap between thresholds of connectivity and the absence of isolated node in one-dimensional geometric random graphs; in particular, when $r_n$ equals $\frac{c\ln n}{ n}$ for a constant $c \in( \frac{1}{2}, 1)$, a one-dimensional geometric random graph has no isolated node but is not connected. This curious gap in one-dimensional geometric random graphs is in sharp contrast to the prevalent phenomenon in many other random graphs such as two-dimensional geometric random graphs, Erdős-Rényi graphs, and random intersection graphs, all of which in the asymptotic sense become connected as soon as there is no isolated node.
Monotone Increasing Properties and Their Phase Transitions in Uniform Random Intersection Graphs
Uniform random intersection graphs have received much interest and been used in diverse applications. A uniform random intersection graph with $n$ nodes is constructed as follows: each node selects a set of $K_n$ different items uniformly at random from the same pool of $P_n$ distinct items, and two nodes establish an undirected edge in between if and only if they share at least one item. For such graph denoted by $G(n, K_n, P_n)$, we present the following results in this paper. First, we provide an exact analysis on the probabilities of $G(n, K_n, P_n)$ having a perfect matching and having a Hamilton cycle respectively, under $P_n = ω\big(n (\ln n)^5\big)$ (all asymptotic notation are understood with $n \to \infty$). The analysis reveals that just like ($k$-)connectivity shown in prior work, for both properties of perfect matching containment and Hamilton cycle containment, $G(n, K_n, P_n)$ also exhibits phase transitions: for each property above, as $K_n$ increases, the limit of the probability that $G(n, K_n, P_n)$ has the property increases from $0$ to $1$. Second, we compute the phase transition widths of $G(n, K_n, P_n)$ for $k$-connectivity (KC), perfect matching containment (PMC), and Hamilton cycle containment (HCC), respectively. For a graph property $R$ and a positive constant $a < \frac{1}{2}$, with the phase transition width $d_n(R, a)$ defined as the difference between the minimal $K_n$ ensuring $G(n, K_n, P_n)$ having property $R$ with probability at least $1-a$ or $a$, we show for any positive constants $a<\frac{1}{2}$ and $k$: (i) If $P_n=Ω(n)$ and $P_n=o(n\ln n)$, then $d_n(KC, a)$ is either $0$ or $1$ for each $n$ sufficiently large. (ii) If $P_n=Θ(n\ln n)$, then $d_n(KC, a)=Θ(1)$. (iii) If $P_n=ω(n\ln n)$, then $d_n(KC, a)=ω(1)$. (iv) If $P_n=ω\big(n (\ln n)^5\big)$, $d_n(PMC, a)$ and $d_n(HCC, a)$ are both $ω(1)$.
Decomposing a Graph Into Expanding Subgraphs
Published
• View Publication
• BIB
A paradigm that was successfully applied in the study of both pure and algorithmic problems in graph theory can be colloquially summarized as stating that "any graph is close to being the disjoint union of expanders". Our goal in this paper is to show that in several of the instantiations of the above approach, the quantitative bounds that were obtained are essentially best possible. These results are obtained as corollaries of a new family of graphs, which we construct by picking random subgraphs of the hypercube, and analyze using (simple) arguments from the theory of metric embedding.
Constructing Near Spanning Trees with Few Local Inspections
Published
• View Publication
• BIB
Constructing a spanning tree of a graph is one of the most basic tasks in graph theory. Motivated by several recent studies of local graph algorithms, we consider the following variant of this problem. Let G be a connected bounded-degree graph. Given an edge $e$ in $G$ we would like to decide whether $e$ belongs to a connected subgraph $G'$ consisting of $(1+ε)n$ edges (for a prespecified constant $ε>0$), where the decision for different edges should be consistent with the same subgraph $G'$. Can this task be performed by inspecting only a {\em constant} number of edges in $G$? Our main results are:
(1) We show that if every $t$-vertex subgraph of $G$ has expansion $1/(\log t)^{1+o(1)}$ then one can (deterministically) construct a sparse spanning subgraph $G'$ of $G$ using few inspections. To this end we analyze a "local" version of a famous minimum-weight spanning tree algorithm.
(2) We show that the above expansion requirement is sharp even when allowing randomization. To this end we construct a family of $3$-regular graphs of high girth, in which every $t$-vertex subgraph has expansion $1/(\log t)^{1-o(1)}$.
On Some Quadratic Algebras I $\frac{1}{2}$: Combinatorics of Dunkl and Gaudin Elements, Schubert, Grothendieck, Fuss-Catalan, Universal Tutte and Reduced Polynomials
Published in SIGMA 12 (2016), 002
• View Publication
• BIB
We study some combinatorial and algebraic properties of certain quadratic algebras related with dynamical classical and classical Yang-Baxter equations. One can find more details about the content of present paper in Extended Abstract.
Random-Player Maker-Breaker games
Published in The Electronic Journal of Combinatorics, Volume 22, Issue 4 (2015)
• View Publication
• BIB
In a $(1:b)$ Maker-Breaker game, a primary question is to find the maximal value of $b$ that allows Maker to win the game (that is, the critical bias $b^*$). Erdős conjectured that the critical bias for many Maker-Breaker games played on the edge set of $K_n$ is the same as if both players claim edges randomly. Indeed, in many Maker-Breaker games, "Erdős Paradigm" turned out to be true. Therefore, the next natural question to ask is the (typical) value of the critical bias for Maker-Breaker games where only one player claims edges randomly.
A random-player Maker-Breaker game is a two-player game, played the same as an ordinary (biased) Maker-Breaker game, except that one player plays according to his best strategy and claims one element in each round, while the other plays randomly and claims $b$ elements. In fact, for every (ordinary) Maker-Breaker game, there are two different random-player versions; the $(1:b)$ random-Breaker game and the $(m:1)$ random-Maker game. We analyze the random-player version of several classical Maker-Breaker games such as the Hamilton cycle game, the perfect-matching game and the $k$-vertex-connectivity game (played on the edge sets of $K_n$). For each of these games we find or estimate the asymptotic values of $b$ that allow each player to typically win the game. In fact, we provide the "smart" player with an explicit winning strategy for the corresponding value of $b$.
On the random greedy F-free hypergraph process
Let $F$ be a strictly $k$-balanced $k$-uniform hypergraph with $e(F)\geq |F|-k+1$ and maximum co-degree at least two. The random greedy $F$-free process constructs a maximal $F$-free hypergraph as follows. Consider a random ordering of the hyperedges of the complete $k$-uniform hypergraph $K_n^k$ on $n$ vertices. Start with the empty hypergraph on $n$ vertices. Successively consider the hyperedges $e$ of $K_n^k$ in the given ordering, and add $e$ to the existing hypergraph provided that $e$ does not create a copy of $F$. We show that asymptotically almost surely this process terminates at a hypergraph with $\tilde{O}(n^{k-(|F|-k)/(e(F)-1)})$ hyperedges. This is best possible up to logarithmic factors.
Codes for DNA Sequence Profiles
Published
• View Publication
• BIB
We consider the problem of storing and retrieving information from synthetic DNA media. The mathematical basis of the problem is the construction and design of sequences that may be discriminated based on their collection of substrings observed through a noisy channel. This problem of reconstructing sequences from traces was first investigated in the noiseless setting under the name of "Markov type" analysis. Here, we explain the connection between the reconstruction problem and the problem of DNA synthesis and sequencing, and introduce the notion of a DNA storage channel. We analyze the number of sequence equivalence classes under the channel mapping and propose new asymmetric coding techniques to combat the effects of synthesis and sequencing noise. In our analysis, we make use of restricted de Bruijn graphs and Ehrhart theory for rational polytopes.
Test Sets for Nonnegativity of Polynomials Invariant under a Finite Reflection Group
Published
• View Publication
• BIB
A set $S\subset \mathbb{R}^n$ is a nonnegativity witness for a set $U$ of real homogeneous polynomials if $F$ in $U$ is nonnegative on $\mathbb{R}^n$ if and only if it is nonnegative at all points of $S$. We prove that the union of the hyperplanes perpendicular to the elements of a root system $Φ\subseteq \mathbb{R}^n$ is a witness set for nonnegativity of forms of low degree which are invariant under the reflection group defined by $Φ$. We prove that our bound for the degree is sharp for all reflection groups which contain multiplication by $-1$. We then characterize subspaces of forms of arbitrarily high degree where this union of hyperplanes is a nonnegativity witness set. Finally we propose a conjectural generalization of Timofte's half-degree principle for finite reflection groups.
Ribbon graph minors and low-genus partial duals
Published
• View Publication
• BIB
We give an excluded minor characterisation of the class of ribbon graphs that admit partial duals of Euler genus at most one.
A tropical approach to a generalized Hodge conjecture for positive currents
Published in Duke Math. J. 166, no. 14 (2017), 2749-2813
• View Publication
• BIB
Demailly showed that the Hodge conjecture is equivalent to the statement that any (p,p)-dimensional closed current with rational cohomology class can be approximated by linear combinations of integration currents associated to subvarieties, and asked whether any strongly positive (p,p)-dimensional closed current with rational cohomology class can be approximated by positive linear combinations of integration currents associated to subvarieties. Using tropical geometry, we construct a (p,p)-dimensional current on a smooth projective variety that does not satisfy the latter statement.
Counterexamples to the topological Tverberg conjecture
Published in Oberwolfach Reports 12 (1), 318-321 (2015)
• Search Publication
The "topological Tverberg conjecture" by Bárány, Shlosman and Szűcs (1981) states that any continuous map of a simplex of dimension $(r-1)(d+1)$ to $\mathbb{R}^d$ maps points from $r$ disjoint faces of the simplex to the same point in $\mathbb{R}^d$. This was established for affine maps by Tverberg (1966), for the case when $r$ is a prime by Bárány et al., and for prime power $r$ by Özaydin (1987). We combine the generalized van Kampen theorem announced by Mabillard and Wagner (2014) with the constraint method of Blagojević, Ziegler and the author (2014), and thus prove the existence of counterexamples to the topological Tverberg conjecture for any number $r$ of faces that is not a prime power. However, these counterexamples require that the dimension $d$ of the codomain is sufficiently high: the smallest counterexample we obtain is for a map of the $100$-dimensional simplex to $\mathbb{R}^{19}$, for $r=6$.
Set partition patterns and statistics
Published
• View Publication
• BIB
A set partition $σ$ of $[n]=\{1,\dots,n\}$ contains another set partition $π$ if restricting $σ$ to some $S\subseteq[n]$ and then standardizing the result gives $π$. Otherwise we say $σ$ avoids $π$. For all sets of patterns consisting of partitions of $[3]$, the sizes of the avoidance classes were determined by Sagan and by Goyt. Set partitions are in bijection with restricted growth functions (RGFs) for which Wachs and White defined four fundamental statistics. We consider the distributions of these statistics over various avoidance classes, thus obtaining multivariate analogues of the previously cited cardinality results. This is the first in-depth study of such distributions. We end with a list of open problems.
The vertex-rainbow index of a graph
Published
• View Publication
• BIB
The $k$-rainbow index $rx_k(G)$ of a connected graph $G$ was introduced by Chartrand, Okamoto and Zhang in 2010. As a natural counterpart of the $k$-rainbow index, we introduced the concept of $k$-vertex-rainbow index $rvx_k(G)$ in this paper. For a graph $G=(V,E)$ and a set $S\subseteq V$ of at least two vertices, \emph{an $S$-Steiner tree} or \emph{a Steiner tree connecting $S$} (or simply, \emph{an $S$-tree}) is a such subgraph $T=(V',E')$ of $G$ that is a tree with $S\subseteq V'$. For $S\subseteq V(G)$ and $|S|\geq 2$, an $S$-Steiner tree $T$ is said to be a \emph{vertex-rainbow $S$-tree} if the vertices of $V(T)\setminus S$ have distinct colors. For a fixed integer $k$ with $2\leq k\leq n$, the vertex-coloring $c$ of $G$ is called a \emph{$k$-vertex-rainbow coloring} if for every $k$-subset $S$ of $V(G)$ there exists a vertex-rainbow $S$-tree. In this case, $G$ is called \emph{vertex-rainbow $k$-tree-connected}. The minimum number of colors that are needed in a $k$-vertex-rainbow coloring of $G$ is called the \emph{$k$-vertex-rainbow index} of $G$, denoted by $rvx_k(G)$. When $k=2$, $rvx_2(G)$ is nothing new but the vertex-rainbow connection number $rvc(G)$ of $G$. In this paper, sharp upper and lower bounds of $srvx_k(G)$ are given for a connected graph $G$ of order $n$,\ that is, $0\leq srvx_k(G)\leq n-2$. We obtain the Nordhaus-Guddum results for $3$-vertex-rainbow index, and show that $rvx_3(G)+rvx_3(\overline{G})=4$ for $n=4$ and $2\leq rvx_3(G)+rvx_3(\overline{G})\leq n-1$ for $n\geq 5$. Let $t(n,k,\ell)$ denote the minimal size of a connected graph $G$ of order $n$ with $rvx_k(G)\leq \ell$, where $2\leq \ell\leq n-2$ and $2\leq k\leq n$. The upper and lower bounds for $t(n,k,\ell)$ are also obtained.
Catalan matroid decompositions of certain positroids
A positroid is the matroid of a matrix whose maximal minors are all nonnegative. Given a permutation $w$ in $S_n$, the matroid of a generic $n \times n$ matrix whose non-zero entries in row $i$ lie in columns $w(i)$ through $n+i$ is an example of a positroid. We enumerate the bases of such a positroid as a sum of certain products of Catalan numbers, each term indexed by the $123$-avoiding permutations above $w$ in Bruhat order. We also give a similar sum formula for their Tutte polynomials. These are both avatars of a structural result writing such a positroid as a disjoint union of matroids, each isomorphic to a direct sum of Catalan matroids and a matroid with one basis.
The bondage number of random graphs
Published
• View Publication
• BIB
A dominating set of a graph is a subset $D$ of its vertices such that every vertex not in $D$ is adjacent to at least one member of $D$. The domination number of a graph $G$ is the number of vertices in a smallest dominating set of $G$. The bondage number of a nonempty graph $G$ is the size of a smallest set of edges whose removal from $G$ results in a graph with domination number greater than the domination number of $G$. In this note, we study the bondage number of binomial random graph $G(n,p)$. We obtain a lower bound that matches the order of the trivial upper bound. As a side product, we give a one-point concentration result for the domination number of $G(n,p)$ under certain restrictions.