Showing 20 papers (Total: 81623 papers, 47312 authors in database)
A polynomial time algorithm to approximate the mixed volume within a simply exponential factor
Published
• View Publication
• BIB
Let ${\bf K} = (K_1, ..., K_n)$ be an $n$-tuple of convex compact subsets in the Euclidean space $\R^n$, and let $V(\cdot)$ be the Euclidean volume in $\R^n$. The Minkowski polynomial $V_{\bf K}$ is defined as $V_{\bf K}(λ_1, ... ,λ_n) = V(λ_1 K_1 +, ..., + λ_n K_n)$ and the mixed volume $V(K_1, ..., K_n)$ as $$ V(K_1, ..., K_n) = \frac{\partial^n}{\partial λ_1...\partial λ_n} V_{\bf K}(λ_1 K_1 +, ..., + λ_n K_n). $$ Our main result is a poly-time algorithm which approximates $V(K_1, ..., K_n)$ with multiplicative error $e^n$ and with better rates if the affine dimensions of most of the sets $K_i$ are small. Our approach is based on a particular approximation of $\log(V(K_1, ..., K_n))$ by a solution of some convex minimization problem. We prove the mixed volume analogues of the Van der Waerden and Schrijver-Valiant conjectures on the permanent. These results, interesting on their own, allow us to justify the abovementioned approximation by a convex minimization, which is solved using the ellipsoid method and a randomized poly-time time algorithm for the approximation of the volume of a convex set.
A Deterministic Approximation Algorithm for Computing a Permanent of a 0,1 matrix
We construct a deterministic approximation algorithm for computing a permanent of a $0,1$ $n$ by $n$ matrix to within a multiplicative factor $(1+ε)^n$, for arbitrary $ε>0$. When the graph underlying the matrix is a constant degree expander our algorithm runs in polynomial time (PTAS). In the general case the running time of the algorithm is $\exp(O(n^{2\over 3}\log^3n))$. For the class of graphs which are constant degree expanders the first result is an improvement over the best known approximation factor $e^n$ obtained in \cite{LinialSamorodnitskyWigderson}.
Our results use a recently developed deterministic approximation algorithm for counting partial matchings of a graph Bayati et al., and Jerrum-Vazirani decomposition method.
Solving Thousand Digit Frobenius Problems Using Grobner Bases
Published in Journal of Symbolic Computation, Volume 43, Issue 1, January 2008, Pages 1-7
• View Publication
• BIB
A Grobner basis-based algorithm for solving the Frobenius Instance Problem is presented, and this leads to an algorithm for solving the Frobenius Problem that can handle numbers with thousands of digits. Connections to irreducible decompositions and Hilbert functions are also presented.
Ehrhart series and lattice triangulations
Published in Discr. Comput. Geom. 40 (2008), 365--376.
• View Publication
• BIB
We express the generating function for lattice points in a rational polyhedral cone with a simplicial subdivision in terms of multivariate analogues of the h-polynomials of the subdivision and "local contributions" of the links of its nonunimodular faces. We also compute new examples of nonunimodal h^*-vectors of reflexive polytopes.
Line-of-sight percolation
Published in Combinatorics, Probability and Computing 18 (2009), 83--106.
• View Publication
• BIB
Given $ω\ge 1$, let $Z^2_{(ω)}$ be the graph with vertex set $Z^2$ in which two vertices are joined if they agree in one coordinate and differ by at most $ω$ in the other. (Thus $Z^2_{(1)}$ is precisely $Z^2$.) Let $p_c(ω)$ be the critical probability for site percolation in $Z^2_{(ω)}$. Extending recent results of Frieze, Kleinberg, Ravi and Debany, we show that $\lim_{ω\to\infty} ω\pc(ω)=\log(3/2)$. We also prove analogues of this result on the $n$-by-$n$ grid and in higher dimensions, the latter involving interesting connections to Gilbert's continuum percolation model. To prove our results, we explore the component of the origin in a certain non-standard way, and show that this exploration is well approximated by a certain branching random walk.
An extended Schur's lemma and its application
The Springer modules have a combinatorial property called ``coincidence of dimensions,'' i.e., the Springer modules are naturally decomposed into submodules with common dimensions. Morita and Nakajima proved the property by giving modules with common dimensions whose induced modules are isomorphic to the submodules of Springer modules. They proved that the induced modules are isomorphic to the submodules, by showing the coincidence of their characters. Our aim is to construct isomorphisms between the induced modules and their corresponding submodules in a combinatorial manner. For this purpose, we show lemmas, which are equivalent to the classical Schur's lemma in special cases. We also give a procedure to construct isomorphisms, and explicitly construct isomorphisms in the case of the Springer modules corresponding to Young diagrams of two rows.
Finite size scaling for the core of large random hypergraphs
Published in Annals of Applied Probability 2008, Vol. 18, No. 5, 1993-2040
• View Publication
• BIB
The (two) core of a hypergraph is the maximal collection of hyperedges within which no vertex appears only once. It is of importance in tasks such as efficiently solving a large linear system over GF[2], or iterative decoding of low-density parity-check codes used over the binary erasure channel. Similar structures emerge in a variety of NP-hard combinatorial optimization and decision problems, from vertex cover to satisfiability. For a uniformly chosen random hypergraph of $m=nρ$ vertices and $n$ hyperedges, each consisting of the same fixed number $l\geq3$ of vertices, the size of the core exhibits for large $n$ a first-order phase transition, changing from $o(n)$ for $ρ>ρ_{\mathrm{c}}$ to a positive fraction of $n$ for $ρ<ρ_{\mathrm{c}}$, with a transition window size $Θ(n^{-1/2})$ around $ρ_{\mathrm{c}}>0$. Analyzing the corresponding ``leaf removal'' algorithm, we determine the associated finite-size scaling behavior. In particular, if $ρ$ is inside the scaling window (more precisely, $ρ=ρ_{\mathrm{c}}+rn^{-1/2}$), the probability of having a core of size $Θ(n)$ has a limit strictly between 0 and 1, and a leading correction of order $Θ(n^{-1/6})$. The correction admits a sharp characterization in terms of the distribution of a Brownian motion with quadratic shift, from which it inherits the scaling with $n$. This behavior is expected to be universal for a wide collection of combinatorial problems.
Factorials as sums
In this paper we give an additive representation of the factorial, which can be proven by a simple quick analytical argument. We also present some generalizations, which are linked, on the one hand to an arithmetical theorem proven by Euler (decomposition of primes as the sum of two squares), and, on the other hand, to modern combinatorics (Stirling numbers).
K. Saito's Conjecture for Nonnegative Eta Products and Analogous Results for Other Infinite Products
Published
• View Publication
• BIB
We prove that the Fourier coefficients of a certain general eta product considered by K. Saito are nonnegative. The proof is elementary and depends on a multidimensional theta function identity. The z=1 case is an identity for the generating function for p-cores due to Klyachko [17] and Garvan, Kim and Stanton [10]. A number of other infinite products are shown to have nonnegative coefficients. In the process a new generalization of the quintuple product identity is derived.
On the Variance of the Optimal Alignments Score for Binary Random Words and an Asymmetric Scoring Function
Published in Journal of Statistical Physics, 2016
• View Publication
• BIB
We investigate the order of the variance of the optimal alignments score of two independent iid binary random words having the same length. The letters are equiprobable, but the scoring function is such that one letter has a larger score than the other. In this setting, we prove that the order of variance is linear in the common length. Optimal alignments constitute a generalization of longest common subsequences, they can be represented as optimal paths in a two-dimensional last passage percolation setting with dependent weights.
Wigner random matrices with non-symmetrically distributed entries
We show that the spectral radius of an $N\times N$ random symmetric matrix with i.i.d. bounded centered but non-symmetrically distributed entries is bounded from above by $ 2 \*σ+ o(N^{-6/11+ε}), $ where $σ^2 $ is the variance of the matrix entries and $ε$ is an arbitrary small positive number. Our bound improves the earlier results by Z.Füredi and J.Komlós (1981), and the recent bound obtained by Van Vu (2005).
Comaximal graph of commutative rings
Published
• View Publication
• BIB
Let $R$ be a commutative ring with identity. Let $Γ(R)$ be a graph with vertices as elements of $R$, where two distinct vertices $a$ and $b$ are adjacent if and only if $Ra+Rb=R$. In this paper we consider a subgraph $Γ_2(R)$ of $Γ(R)$ which consists of non-unit elements. We look at the connectedness and the diameter of this graph. We completely characterize the diameter of the graph $Γ_2(R)\setminus\J(R)$. In addition, it is shown that for two finite semi-local rings $R$ and $S$, if $R$ is reduced, then $Γ(R)\congΓ(S)$ if and only if $R\cong S$.
2-torus manifolds, cobordism and small covers
Published in Pacific J. Math. 241 (2009), 285--308.
• Search Publication
Let ${\frak M}_n$ be the set of equivariant unoriented cobordism classes of all $n$-dimensional 2-torus manifolds, where an $n$-dimensional 2-torus manifold $M$ is a smooth closed manifold of dimension $n$ with effective smooth action of a rank $n$ 2-torus group $({\Bbb Z}_2)^n$. Then ${\frak M}_n$ forms an abelian group with respect to disjoint union. This paper determines the group structure of ${\frak M}_n$ and shows that each class of ${\frak M}_n$ contains a small cover as its representative in the case $n=3$.
Monochromatic triangles in two-colored plane
Published in Combinatorica 29 (2009), Issue 6, 699-718
• View Publication
• BIB
We prove that for any partition of the plane into a closed set $C$ and an open set $O$ and for any configuration $T$ of three points, there is a translated and rotated copy of $T$ contained in $C$ or in $O$. Apart from that, we consider partitions of the plane into two sets whose common boundary is a union of piecewise linear curves. We show that for any such partition and any configuration $T$ which is a vertex set of a non-equilateral triangle there is a copy of $T$ contained in the interior of one of the two partition classes. Furthermore, we give the characterization of these "polygonal" partitions that avoid copies of a given equilateral triple. These results support a conjecture of Erdos, Graham, Montgomery, Rothschild, Spencer and Straus, which states that every two-coloring of the plane contains a monochromatic copy of any nonequilateral triple of points; on the other hand, we disprove a stronger conjecture by the same authors, by providing non-trivial examples of two-colorings that avoid a given equilateral triple.
A combinatorial method for calculating the moments of Lévy area
Published
• View Publication
• BIB
We present a new way to compute the moments of the Lévy area of a two-dimensional Brownian motion. Our approach uses iterated integrals and combinatorial arguments involving the shuffle product.
Convergent Sequences of Dense Graphs I: Subgraph Frequencies, Metric Properties and Testing
Published
• View Publication
• BIB
We consider sequences of graphs and define various notions of convergence related to these sequences: ``left convergence'' defined in terms of the densities of homomorphisms from small graphs into the graphs of the sequence, and ``right convergence'' defined in terms of the densities of homomorphisms from the graphs of the sequence into small graphs; and convergence in a suitably defined metric.
In Part I of this series, we show that left convergence is equivalent to convergence in metric, both for simple graphs, and for graphs with nodeweights and edgeweights. One of the main steps here is the introduction of a cut-distance comparing graphs, not necessarily of the same size. We also show how these notions of convergence provide natural formulations of Szemeredi partitions, sampling and testing of large graphs.
A Generating Function for all Semi-Magic Squares and the Volume of the Birkhoff Polytope
Published
• View Publication
• BIB
We present a multivariate generating function for all n x n nonnegative integral matrices with all row and column sums equal to a positive integer t, the so called semi-magic squares. As a consequence we obtain formulas for all coefficients of the Ehrhart polynomial of the polytope B_n of n x n doubly-stochastic matrices, also known as the Birkhoff polytope. In particular we derive formulas for the volumes of B_n and any of its faces.
Planar Analytic Functions
If a is a point in the domain of convergence of a planar power series f in a single variable x one con expand f into a planar power series in the variable (x-a). One arrives at the notion of planar analytic functions on any domain D in the complex plane. It can be described by sections of the sheaf of planar germs. The k-ary exponential series exp(k,x) has infinite radius of convergence. It is possible to define a planar analogue of the classical zeta-function. As yet a functional equation for it has not been obtained.
On the independence complex of square grids
Published in Journal of Algebraic Combinatorics / Journal of Algebraic Combinatorics An International Journal 27 (2008) 423--450
• View Publication
• BIB
The enumeration of independent sets of regular graphs is of interest in statistical mechanics, as it corresponds to the solution of hard-particle models. In 2004, it was conjectured by Fendleyet al. that for some rectangular grids, with toric boundary conditions, the alternating number of independent sets is extremely simple. More precisely, under a coprimality condition on the sides of the rectangle, the number of independent sets of even and odd cardinality always differ by 1. In physics terms, this means looking at the hard-particle model on these grids at activity -1. This conjecture was recently proved by Jonsson. Here we produce other families of grid graphs, with open or cylindric boundary conditions, for which similar properties hold without any size restriction: the number of independent sets of even and odd cardinality always differ by 0, 1,-1, or, in the cylindric case, by some power of 2. We show that these results reflect a stronger property of the independence complexes of our graphs. We determine the homotopy type of these complexes using Forman's discrete Morse theory. We find that these complexes are either contractible, or homotopic to a sphere, or, in the cylindric case, to a wedge of spheres. Finally, we use our enumerative results to determine the spectra of certain transfer matrices describing the hard-particle model on our graphs at activity -1. These results parallel certain conjectures of Fendley et al., proved by Jonsson in the toric case.
Parametric production matrices and weighted succession rules: a Dyck path example
We introduce weighted succession rules and parametric production matrices - simple extensions of the standard ECO method succession rules and production matrices. The purpose is to enumerate combinatorial objects with respect to several variables. We consider one main example, from the theory of Dyck paths. The path statistics primarily considered are peak height, rise height, and certain subwalks. Many classical sequences (such as the Catalan, Motzkin, Narayana and Schroeder numbers) are incorporated in this example.