Showing 20 papers (Total: 82505 papers, 47699 authors in database)
A real stable extension of the Vamos matroid polynomial
In 2004, Choe, Oxley, Sokal and Wagner established a tight connection between matroids and multiaffine real stable polynomials. Recently, Branden used this theory and a polynomial coming from the Vamos matroid to disprove the generalized Lax conjecture. Here we present a 10-element extension of the Vamos matroid and prove that its basis generating polynomial is real stable (i.e. that the matroid has the half-plane property). We do this via large sums of squares computations and a criterion for real stability given by Wagner and Wei. Like the Vamos matroid, this matroid is not representable over any field and no power of its basis generating polynomial can be written as the determinant of a linear matrix with positive semidefinite Hermitian forms.
A motivated proof of the Göllnitz-Gordon-Andrews identities
Published
• View Publication
• BIB
We present what we call a "motivated proof" of the Göllnitz-Gordon-Andrews identities. A similar motivated proof of the Rogers-Ramanujan identities was previously given by G. E. Andrews and R. J. Baxter, and was subsequently generalized to Gordon's identities by J. Lepowsky and M. Zhu. We anticipate that the present proof of the Göllnitz-Gordon-Andrews identities will illuminate certain twisted vertex-algebraic constructions.
Ghost series and a motivated proof of the Andrews-Bressoud identities
Published in Journal of Combinatorial Theory, Series A 146 (2017) 33-62
• View Publication
• BIB
We present what we call a "motivated proof" of the Andrews-Bressoud partition identities for even moduli. A "motivated proof" of the Rogers-Ramanujan identities was given by G. E. Andrews and R. J. Baxter, and this proof was generalized to the odd-moduli case of Gordon's identities by J. Lepowsky and M. Zhu. Recently, a "motivated proof" of the somewhat analogous Göllnitz-Gordon-Andrews identities has been found. In the present work, we introduce "shelves" of formal series incorporating what we call "ghost series," which allow us to pass from one shelf to the next via natural recursions, leading to our motivated proof. We anticipate that these new series will provide insight into the ongoing program of vertex-algebraic categorification of the various "motivated proofs."
One-dependent coloring by finitary factors
Published
• View Publication
• BIB
Holroyd and Liggett recently proved the existence of a stationary 1-dependent 4-coloring of the integers, the first stationary k-dependent q-coloring for any k and q. That proof specifies a consistent family of finite-dimensional distributions, but does not yield a probabilistic construction on the whole integer line. Here we prove that the process can be expressed as a finitary factor of an i.i.d. process. The factor is described explicitly, and its coding radius obeys power-law tail bounds.
Some binomial sums involving absolute values
Published in Journal of Integer Sequences 19 (2016), article 16.3.7, 14 pp
• Search Publication
We consider several families of binomial sum identities whose definition involves the absolute value function. In particular, we consider centered double sums of the form \[S_{α,β}(n) := \sum_{k,\;\ell}\binom{2n}{n+k}\binom{2n}{n+\ell} |k^α-\ell^α|^β,\] obtaining new results in the cases $α= 1, 2$. We show that there is a close connection between these double sums in the case $α=1$ and the single centered binomial sums considered by Tuenter.
Closed Intersecting Families of finite sets and their applications
Paul Erdős and László Lovász established that any \emph{maximal intersecting family of $k-$sets} has at most $k^{k}$ blocks. They introduced the problem of finding the maximum possible number of blocks in such a family. They also showed that there exists a maximal intersecting family of $k-$sets with approximately $(e-1)k!$ blocks. Later Péter Frankl, Katsuhiro Ota and Norihide Tokushige used a remarkable construction to prove the existence of a maximal intersecting family of $k-$sets with at least $(\frac{k}{2})^{k-1}$ blocks. In this article we introduce the notion of a \emph{closed intersecting family of $k-$sets} and show that such a family can always be embedded in a maximal intersecting family of $k-$sets. Using this result we present two examples which disprove two special cases of one of the conjectures of Frankl et al. This article also provides comparatively simpler construction of maximal intersecting families of $k-$sets with at least $(\frac{k}{2})^{k-1}$ blocks.
Length distribution of sequencing by synthesis: fixed flow cycle model
Published in Journal of mathematical biology 67 (2), 389-410, 2013
• View Publication
• BIB
Sequencing by synthesis is the underlying technology for many next-generation DNA sequencing platforms. We developed a new model, the fixed flow cycle model, to derive the distributions of sequence length for a given number of flow cycles under the general conditions where the nucleotide incorporation is probabilistic and may be incomplete, as in some single-molecule sequencing technologies. Unlike the previous model, the new model yields the probability distribution for the sequence length. Explicit closed form formulas are derived for the mean and variance of the distribution.
Statistical distributions of pyrosequencing
Published in Journal of Computational Biology 16 (1), 31-42, 2009
• View Publication
• BIB
Pyrosequencing is emerging as one of the important next-generation sequencing technologies. We derive the statistical distributions of this technique in terms of nucleotide probabilities of the target sequences. We give exact distributions both for fixed number of flow cycles and for fixed sequence length. Explicit formulas are derived for the mean and variance of these distributions. In both cases, the distributions can be approximated accurately by normal distributions with the same mean and variance. The statistical distributions will be useful for instrument and software development for pyrosequencing platforms.
Statistical distributions of sequencing by synthesis with probabilistic nucleotide incorporation
Published in Journal of Computational Biology. June 2009, 16(6): 817-827
• View Publication
• BIB
Sequencing by synthesis is used in many next-generation DNA sequencing technologies. Some of the technologies, especially those exploring the principle of single-molecule sequencing, allow incomplete nucleotide incorporation in each cycle. We derive statistical distributions for sequencing by synthesis by taking into account the possibility that nucleotide incorporation may not be complete in each flow cycle. The statistical distributions are expressed in terms of nucleotide probabilities of the target sequences and the nucleotide incorporation probabilities for each nucleotide. We give exact distributions both for fixed number of flow cycles and for fixed sequence length. Explicit formulas are derived for the mean and variance of these distributions. The results are generalizations of our previous work for pyrosequencing. Incomplete nucleotide incorporation leads to significant change in the mean and variance of the distributions, but still they can be approximated by normal distributions with the same mean and variance. The results are also generalized to handle sequence context dependent incorporation. The statistical distributions will be useful for instrument and software development for sequencing by synthesis platforms.
Distributions of positive signals in pyrosequencing
Published in Journal of mathematical biology 69 (1), 39-54, 2014
• View Publication
• BIB
Pyrosequencing is one of the important next-generation sequencing technologies. We derive the distribution of the number of positive signals in pyrograms of this sequencing technology as a function of flow cycle numbers and nucleotide probabilities of the target sequences. As for the distribution of sequence length, we also derive the distribution of positive signals for the fixed flow cycle model. Explicit formulas are derived for the mean and variance of the distributions. A simple result for the mean of the distribution is that the mean number of positive signals in a pyrogram is approximately twice the number of flow cycles, regardless of nucleotide probabilities. The statistical distributions will be useful for instrument and software development for pyrosequencing and other related platforms.
Bipartitions of highly connected tournaments
Published
• View Publication
• BIB
We show that if $T$ is a strongly $10^9k^6\log(2k)$-connected tournament, there exists a partition $A, B$ of $V(T)$ such that each of $T[A]$, $T[B]$ and $T[A,B]$ is strongly $k$-connected. This provides tournament analogues of two partition conjectures of Thomassen regarding highly connected graphs.
Limit law for number of components of fixed sizes of graphs with degree one or two
We consider graphs with vertices of degree 1 or 2 and prove that the numbers of components of sizes 2 to q have a limit normal distribution for any q > 1. The result is also extended to multigraphs.
Space proof complexity for random $3$-CNFs via a $(2-ε)$-Hall's Theorem
We investigate the space complexity of refuting $3$-CNFs in Resolution and algebraic systems. No lower bound for refuting any family of $3$-CNFs was previously known for the total space in resolution or for the monomial space in algebraic systems. We prove that every Polynomial Calculus with Resolution refutation of a random $3$-CNF $φ$ in $n$ variables requires, with high probability, $Ω(n/\log n)$ distinct monomials to be kept simultaneously in memory. The same construction also proves that every Resolution refutation $φ$ requires, with high probability, $Ω(n/\log n)$ clauses each of width $Ω(n/\log n)$ to be kept at the same time in memory. This gives a $Ω(n^2/\log^2 n)$ lower bound for the total space needed in Resolution to refute $φ$.
The main technical innovation is a variant of Hall's theorem. We show that in bipartite graphs $G$ with bipartition $(L,R)$ and left-degree at most 3, $L$ can be covered by certain families of disjoint paths, called $(2,4)$-matchings, provided that $L$ expands in $R$ by a factor of $(2-ε)$, for $ε< \frac{1}{23}$.
Computing the Varchenko Determinant of a Bilinear Form
Published
• View Publication
• BIB
The Varchenko determinant is the determinant of the bilinear form associated to a real hyperplane arrangement. We show that we can obtain the exact value of this determinant for certain hyperplane arrangements if we know the edges which are relevant.
Chip-firing may be much faster than you think
A new bound (Theorem \ref{thm:main}) for the duration of the chip-firing game with $N$ chips on a $n$-vertex graph is obtained, by a careful analysis of the pseudo-inverse of the discrete Laplacian matrix of the graph. This new bound is expressed in terms of the entries of the pseudo-inverse.
It is shown (Section 5) to be always better than the classic bound due to Bj{ö}rner, Lovász and Shor. In some cases the improvement is dramatic.
For instance: for strongly regular graphs the classic and the new bounds reduce to $O(nN)$ and $O(n+N)$, respectively. For dense regular graphs - $d=(\frac{1}{2}+ε)n$ - the classic and the new bounds reduce to $O(N)$ and $O(n)$, respectively.
This is a snapshot of a work in progress, so further results in this vein are in the works.
The Hierarchy of Circuit Diameters and Transportation Polytopes
Published
• View Publication
• BIB
The study of the diameter of the graph of polyhedra is a classical problem in the theory of linear programming. While transportation polytopes are at the core of operations research and statistics it is still open whether the Hirsch conjecture is true for general $m{\times}n$--transportation polytopes. In earlier work the first three authors introduced a hierarchy of variations to the notion of graph diameter in polyhedra. The key reason was that this hierarchy provides some interesting lower bounds for the usual graph diameter.
This paper has three contributions: First, we compare the hierarchy of diameters for the $m{\times}n$--transportation polytopes. We show that the Hirsch conjecture bound of $m+n-1$ is actually valid in most of these diameter notions. Second, we prove that for $3{\times}n$--transportation polytopes the Hirsch conjecture holds in the classical graph diameter. Third, we show for $2{\times}n$--transportation polytopes that the stronger monotone Hirsch conjecture holds and improve earlier bounds on the graph diameter.
The (u,v)-Calkin-Wilf Forest
Published in Int. J. Number Theory 12 (05) (2016) 1311-1328
• View Publication
• BIB
In this paper we consider a refinement, due to Nathanson, of the Calkin-Wilf tree. In particular, we study the properties of such trees associated with the matrices $L_u=\begin{bmatrix} 1 & 0 \\ u & 1\end{bmatrix}$ and $R_v=\begin{bmatrix} 1 & v \\ 0& 1\end{bmatrix}$, where $u$ and $v$ are nonnegative integers. We extend several known results of the original Calkin-Wilf tree, including the symmetry, numerator-denominator, and successor formulas, to this new setting. Additionally, we study the ancestry of a rational number appearing in a generalized Calkin-Wilf tree.
Frustrated Triangles
Published
• View Publication
• BIB
A triple of vertices in a graph is a \emph{frustrated triangle} if it induces an odd number of edges. We study the set $F_n\subset[0,\binom{n}{3}]$ of possible number of frustrated triangles $f(G)$ in a graph $G$ on $n$ vertices. We prove that about two thirds of the numbers in $[0,n^{3/2}]$ cannot appear in $F_n$, and we characterise the graphs $G$ with $f(G)\in[0,n^{3/2}]$. More precisely, our main result is that, for each $n\geq 3$, $F_n$ contains two interlacing sequences $0=a_0\leq b_0\leq a_1\leq b_1\leq \dots \leq a_m\leq b_m\sim n^{3/2}$ such that $F_n\cap(b_t,a_{t+1})=\emptyset$ for all $t$, where the gaps are $|b_t-a_{t+1}|=(n-2)-t(t+1)$ and $|a_t-b_t|=t(t-1)$. Moreover, $f(G)\in[a_t,b_t]$ if and only if $G$ can be obtained from a complete bipartite graph by flipping exactly $t$ edges/nonedges. On the other hand, we show, for all $n$ sufficiently large, that if $m\in[f(n),\binom{n}{3}-f(n)]$, then $m\in F_n$ where $f(n)$ is asymptotically best possible with $f(n)\sim n^{3/2}$ for $n$ even and $f(n)\sim \sqrt{2}n^{3/2}$ for $n$ odd. Furthermore, we determine the graphs with the minimum number of frustrated triangles amongst those with $n$ vertices and $e\leq n^2/4$ edges.
Combinatorially two-orbit convex polytopes
Published
• View Publication
• BIB
Any convex polytope whose combinatorial automorphism group has two orbits on the flags is isomorphic to one whose group of Euclidean symmetries has two orbits on the flags (equivalently, to one whose automorphism group and symmetry group coincide.) Hence, a combinatorially two-orbit convex polytope is isomorphic to one of a known finite list, all of which are 3-dimensional: the cuboctahedron, icosidodecahedron, rhombic dodecahedron, or rhombic triacontahedron. The same is true of combinatorially two-orbit normal face-to-face tilings by convex polytopes.
Nowhere-zero flows in signed series-parallel graphs
Published
• View Publication
• BIB
Bouchet conjectured in 1983 that each signed graph that admits a nowhere-zero flow has a nowhere-zero 6-flow. We prove that the conjecture is true for all signed series-parallel graphs. Unlike the unsigned case, the restriction to series-parallel graphs is nontrivial; in fact, the result is tight for infinitely many graphs.