Showing 20 papers (Total: 82139 papers, 47531 authors in database)
The Power of Choice for Random Satisfiability
Published
• View Publication
• BIB
We consider Achlioptas processes for k-SAT formulas. We create a semi-random formula with n variables and m clauses, where each clause is a choice, made on-line, between two or more uniformly random clauses. Our goal is to delay the satisfiability/unsatisfiability transition, keeping the formula satisfiable up to densities m/n beyond the satisfiability threshold alpha_k for random k-SAT. We show that three choices suffice to raise the threshold for any k >= 3, and that two choices suffice for all 3 <= k <= 25. We also show that two choices suffice to lower the threshold for all k >= 3, making the formula unsatisfiable at a density below alpha_k.
Polyhedral computational geometry for averaging metric phylogenetic trees
Published
• View Publication
• BIB
This paper investigates the computational geometry relevant to calculations of the Frechet mean and variance for probability distributions on the phylogenetic tree space of Billera, Holmes and Vogtmann, using the theory of probability measures on spaces of nonpositive curvature developed by Sturm. We show that the combinatorics of geodesics with a specified fixed endpoint in tree space are determined by the location of the varying endpoint in a certain polyhedral subdivision of tree space. The variance function associated to a finite subset of tree space has a fixed $C^\infty$ algebraic formula within each cell of the corresponding subdivision, and is continuously differentiable in the interior of each orthant of tree space. We use this subdivision to establish two iterative methods for producing sequences that converge to the Frechet mean: one based on Sturm's Law of Large Numbers, and another based on descent algorithms for finding optima of smooth functions on convex polyhedra. We present properties and biological applications of Frechet means and extend our main results to more general globally nonpositively curved spaces composed of Euclidean orthants.
BPS spectrum, wall crossing and quantum dilogarithm identity
Published
• View Publication
• BIB
BPS spectrum with finite number of states are found for higher rank four dimensional N=2 theory engineered from six dimensional A_{N-1} (2,0) theory on a Riemann surface with various kinds of defects. The wall crossing formula is interpreted as the quantum dilogarithm identity. Various methods including quiver representation theory, maximal green mutation, and cluster algebra are used extensively. The spectral generator and its refined version for the higher rank theory are written down using the explicit spectrum information. The finite chamber has an interesting N^3 behavior in the large N limit.
On $d$-dimensional cycles and the vanishing of simplicial homology
In this paper we introduce the notion of a $d$-dimensional cycle which is a homological generalization of the idea of a graph cycle to higher dimensions. We examine both the combinatorial and homological properties of this structure and use these results to describe the relationship between the combinatorial structure of a simplicial complex and its simplicial homology. In particular, we show that over any field of characteristic 2 the existence of non-zero $d$-dimensional homology corresponds exactly to the presence of a $d$-dimensional cycle in the simplicial complex. We also show that $d$-dimensional cycles which are orientable give rise to non-zero simplicical homology over any field.
Algorithms for discovering and proving theorems about permutation patterns
We present an algorithm, called BiSC, that describes the patterns avoided by a given set of permutations. It automatically conjectures the statements of known theorems such as the descriptions of stack-sortable (Knuth 1975) and West-2-stack-sortable permutations (West 1990), smooth (Lakshmibai and Sandhya 1990) and forest-like permutations (Bousquet-Melou and Butler 2007), and simsun permutations (Branden and Claesson 2011). The algorithm has also been used to discover new theorems and conjectures related to Young tableaux, Wilf-equivalences and sorting devices. We further give algorithms to prove a complete description of preimages of pattern classes under certain sorting devices. These generalize an algorithm of Claesson and Ulfarsson (2012) and allow us to prove a linear time algorithm for finding occurrences of the pattern 4312.
Counting Fixed-Length Permutation Patterns
Published
• View Publication
• BIB
We consider the problem of packing fixed-length patterns into a permutation, and develop a connection between the number of large patterns and the number of bonds in a permutation. Improving upon a result of Kaplansky and Wolfowitz, we obtain exact values for the expectation and variance for the number of large patterns in a random permutation. Finally, we are able to generalize the idea of bonds to obtain results on fixed-length patterns of any size, and present a construction that maximizes the number of distinct large patterns.
A simple proof of the Zeilberger-Bressoud q-Dyson theorem
Published in Proc. Amer. Math. Soc. 142 (2014), 3007-3011
• View Publication
• BIB
As an application of the Combinatorial Nullstellensatz, we give a short polynomial proof of the q-analogue of Dyson's conjecture formulated by Andrews and first proved by Zeilberger and Bressoud.
On Cliques and Lagrangians of 3-uniform Hypergraphs
Published
• View Publication
• BIB
There is a remarkable connection between the maximum clique number and the Lagrangian of a graph given by T. S. Motzkin and E.G. Straus in 1965. This connection and its extensions were successfully employed in optimization to provide heuristics for the maximum clique number in graphs. It is useful in practice if similar results hold for hypergraphs. In this paper, we explore evidences that the Lagrangian of a 3-uniform hypergraph is related to the order of its maximum cliques when the number of edges of the hypergraph is in certain range. In particular, we present some results about a conjecture introduced by Y. Peng and C. Zhao (2012) and describe a combinatorial algorithm that can be used to check the validity of the conjecture.
Degree-based network models
We derive the sampling properties of random networks based on weights whose pairwise products parameterize independent Bernoulli trials. This enables an understanding of many degree-based network models, in which the structure of realized networks is governed by properties of their degree sequences. We provide exact results and large-sample approximations for power-law networks and other more general forms. This enables us to quantify sampling variability both within and across network populations, and to characterize the limiting extremes of variation achievable through such models. Our results highlight that variation explained through expected degree structure need not be attributed to more complicated generative mechanisms.
On products of long cycles: short cycle dependence and separation probabilities
Published in Journal of Algebraic Combinatorics, 42, (1) pp. 183-224, 2015
• Search Publication
We present various results on multiplying cycles in the symmetric group. Our first result is a generalisation of the following theorem of Boccara (1980): the number of ways of writing an odd permutation in the symmetric group on $n$ symbols as a product of an $n$-cycle and an $n-1$-cycle is independent of the permutation chosen. We give a number of different approaches of our generalisation. One partial proof uses an inductive method which we also apply to other problems. In particular, we give a formula for the distribution of the number of cycles over all products of cycles of fixed lengths. Another application is related to the recent notion of separation probabilities for permutations introduced by Bernardi, Du, Morales and Stanley (2014).
On Frankl and Furedi's conjecture for 3-uniform hypergraphs
Published
• View Publication
• BIB
The Lagrangian of a hypergraph has been a useful tool in hypergraph extremal problems. In most applications, we need an upper bound for the Lagrangian of a hypergraph. Frankl and Furedi in \cite{FF} conjectured that the $r$-graph with $m$ edges formed by taking the first $m$ sets in the colex ordering of ${\mathbb N}^{(r)}$ has the largest Lagrangian of all $r$-graphs with $m$ edges. In this paper, we give some partial results for this conjecture.
Systems of equations with a single solution
Published in Journal of symb. comput. 68-2 (2015) 116-130
• View Publication
• BIB
We classify general systems of polynomial equations with a single solution, or, equivalently, collections of lattice polytopes of minimal positive mixed volume. As a byproduct, this classification provides an algorithm to evaluate the single solution of such a system.
Bipancyclic subgraphs in random bipartite graphs
Published
• View Publication
• BIB
A bipartite graph on 2n vertices is bipancyclic if it contains cycles of all even lengths from 4 to 2n. In this paper we prove that the random bipartite graph $G(n,n,p)$ with $p(n)\gg n^{-2/3}$ asymptotically almost surely has the following resilience property: Every Hamiltonian subgraph $G'$ of $G(n,n,p)$ with more than $(1/2+o(1))n^2p$ edges is bipancyclic. This result is tight in two ways. First, the range of $p$ is essentially best possible. Second, the proportion 1/2 of edges cannot be reduced. Our result extends a classical theorem of Mitchem and Schmeichel.
Simplicial complexes: spectrum, homology and random walks
Published in Random Structures & Algorithms, 50(2): 225-261 (2017)
• View Publication
• BIB
Random walks on a graph reflect many of its topological and spectral properties, such as connectedness, bipartiteness and spectral gap magnitude. In the first part of this paper we define a stochastic process on simplicial complexes of arbitrary dimension, which reflects in an analogue way the existence of higher dimensional homology, and the magnitude of the high-dimensional spectral gap originating in the works of Eckmann and Garland.
The second part of the paper is devoted to infinite complexes. We present a generalization of Kesten's result on the spectrum of regular trees, and of the connection between return probabilities and spectral radius. We study the analogue of the Alon-Boppana theorem on spectral gaps, and exhibit a counterexample for its high-dimensional counterpart. We show, however, that under some assumptions the theorem does hold - for example, if the codimension-one skeletons of the complexes in question form a family of expanders.
Our study suggests natural generalizations of many concepts from graph theory, such as amenability, recurrence/transience, and bipartiteness. We present some observations regarding these ideas, and several open questions.
Phase Coexistence and Slow Mixing for the Hard-Core Model on Z^2
Published
• View Publication
• BIB
In the hard-core model on a finite graph we are given a parameter lambda>0, and an independent set I arises with probability proportional to lambda^|I|. On infinite graphs a Gibbs distribution is defined as a suitable limit with the correct conditional probabilities. In the infinite setting we are interested in determining when this limit is unique and when there is phase coexistence, i.e., existence of multiple Gibbs states. On finite graphs we are interested in determining the mixing time of local Markov chains.
On Z^2 it is conjectured that these problems are related and that both undergo a phase transition at some critical point lambda_c approx 3.79. For phase coexistence, much of the work to date has focused on the regime of uniqueness, with the best result being recent work of Restrepo et al. showing that there is a unique Gibbs state for all lambda < 2.3882. Here we give the first non-trivial result in the other direction, showing that there are multiple Gibbs states for all lambda > 5.3646. Our proof adds two significant innovations to the standard Peierls argument. First, building on the idea of fault lines introduced by Randall, we construct an event that distinguishes two boundary conditions and always has long contours associated with it, obviating the need to accurately enumerate short contours. Second, we obtain vastly improved bounds on the number of contours by relating them to a new class of self-avoiding walks on an oriented version of Z^2.
We extend our characterization of fault lines to show that local Markov chains will mix slowly when lambda > 5.3646 on lattice regions with periodic (toroidal) boundary conditions and when lambda > 7.1031 with non-periodic (free) boundary conditions. The arguments here rely on a careful analysis that relates contours to taxi walks and represent a sevenfold improvement to the previously best known values of λ.
q-Catalan bases and their dual coefficients
We define q-Catalan bases which are a generalization of the q-polynomials z^n(z,q)_n. The determination of their dual bases involves some q-power series termed dual coefficients. We show how these dual coefficients occur in the solution of some equations with q-commuting coefficients and solve an abstract q-Segner recursion. We study the connection between this theory and Garsia's (1981). The overall flavor of this work is to show how some properties of q-Catalan numbers are in fact instances of much more general results on dual coefficients.
On the Probability of Generating a Lattice
Published
• View Publication
• BIB
We study the problem of determining the probability that m vectors selected uniformly at random from the intersection of the full-rank lattice L in R^n and the window [0,B)^n generate $Λ$ when B is chosen to be appropriately large. This problem plays an important role in the analysis of the success probability of quantum algorithms for solving the Discrete Logarithm Problem in infrastructures obtained from number fields and also for computing fundamental units of number fields.
We provide the first complete and rigorous proof that 2n+1 vectors suffice to generate L with constant probability (provided that B is chosen to be sufficiently large in terms of n and the covering radius of L and the last n+1 vectors are sampled from a slightly larger window). Based on extensive computer simulations, we conjecture that only n+1 vectors sampled from one window suffice to generate L with constant success probability. If this conjecture is true, then a significantly better success probability of the above quantum algorithms can be guaranteed.
Generating tuples of integers modulo the action of a permutation group and applications
Published
• View Publication
• BIB
Originally motivated by algebraic invariant theory, we present an algorithm to enumerate integer vectors modulo the action of a permutation group. This problem generalizes the generation of unlabeled graph up to an isomorphism. In this paper, we present the full development of a generation engine by describing the related theory, establishing a mathematical and practical complexity, and exposing some benchmarks. We next show two applications to effective invariant theory and effective Galois theory.
Around a conjecture of ErdH{o}s on graph Ramsey numbers
For given graphs G1 and G2 the Ramsey number R(G1,G2), is the smallest positive integer n such that each blue-red edge coloring of the complete graph Kn contains a blue copy of G1 or a red copy of G2. In 1983, Erdos conjectured that there is an absolute constant c such that R(G) = R(G,G) < 2c p
m for any graph G with m edges and no isolated vertices. Recently this conjecture was proved by B. Sudakov. In this note, using the Sudakovs ideas we give an extension of his result and some interesting corollaries.
On some generalized $q$-Eulerian polynomials
Published
• View Publication
• BIB
The $(q,r)$-Eulerian polynomials are the $(\maj-$$\exc,\fix,\exc)$ enumerative polynomials of permutations. Using Shareshian and Wachs' exponential generating function of these Eulerian polynomials, Chung and Graham proved two symmetrical $q$-Eulerian identities and asked for bijective proofs. We provide such proofs using Foata and Han's three-variable statistic $(\inv-$$\lec,\pix,\lec)$. We also prove a new recurrence formula for the $(q,r)$-Eulerian polynomials and study a $q$-analogue of Chung and Graham's restricted descent polynomials. In particular, we obtain a generalized symmetrical identity for these restricted $q$-Eulerian polynomials with a combinatorial proof.