Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Going after the k-SAT Threshold
Published in Proc. 45 th STOC (2013) 705 - 714
• View Publication
• BIB
Random $k$-SAT is the single most intensely studied example of a random constraint satisfaction problem. But despite substantial progress over the past decade, the threshold for the existence of satisfying assignments is not known precisely for any $k\geq3$. The best current results, based on the second moment method, yield upper and lower bounds that differ by an additive $k\cdot \frac{\ln2}2$, a term that is unbounded in $k$ (Achlioptas, Peres: STOC 2003). The basic reason for this gap is the inherent asymmetry of the Boolean value `true' and `false' in contrast to the perfect symmetry, e.g., among the various colors in a graph coloring problem. Here we develop a new asymmetric second moment method that allows us to tackle this issue head on for the first time in the theory of random CSPs. This technique enables us to compute the $k$-SAT threshold up to an additive $\ln2-\frac12+O(1/k)\approx 0.19$. Independently of the rigorous work, physicists have developed a sophisticated but non-rigorous technique called the "cavity method" for the study of random CSPs (Mézard, Parisi, Zecchina: Science 2002). Our result matches the best bound that can be obtained from the so-called "replica symmetric" version of the cavity method, and indeed our proof directly harnesses parts of the physics calculations.
Mirror Symmetry and Fano Manifolds
Published in European Congress of Mathematics (Krak{ó}w, 2-7 July, 2012), November 2013 (824 pages), pp.\ 285--300
• View Publication
• BIB
We consider mirror symmetry for Fano manifolds, and describe how one can recover the classification of 3-dimensional Fano manifolds from the study of their mirrors. We sketch a program to classify 4-dimensional Fano manifolds using these ideas.
Graph Homomorphisms for Quantum Players
Published in Journal of Combinatorial Theory, Series B, (2016), Volume 118, 228-267
• View Publication
• BIB
A homomorphism from a graph $X$ to a graph $Y$ is an adjacency preserving mapping $f:V(X) \rightarrow V(Y)$. We consider a nonlocal game in which Alice and Bob are trying to convince a verifier with certainty that a graph $X$ admits a homomorphism to $Y$. This is a generalization of the well-studied graph coloring game. Via systematic study of quantum homomorphisms we prove new results for graph coloring. Most importantly, we show that the Lovász theta number of the complement lower bounds the quantum chromatic number, which itself is not known to be computable. We also show that some of our newly introduced graph parameters, namely quantum independence and clique numbers, can differ from their classical counterparts while others, namely quantum odd girth, cannot. Finally, we show that quantum homomorphisms closely relate to zero-error channel capacity. In particular, we use quantum homomorphisms to construct graphs for which entanglement-assistance increases their one-shot zero-error capacity.
Barycentric subdivisions and derangement polynomials for the even-signed permutation groups
The derangement polynomial for the symmetric group enumerates derangements by the number of excedances. It can be interpreted as the local $h$-polynomial, in the sense of Stanley, of the barycentric subdivision of the simplex. Motivated by this interpretation, we define a derangement polynomial for the even-signed permutation group. The coefficients of this polynomial are nonnegative, symmetric and unimodal. We show that they enumerate derangements in the even-signed permutation group according to a notion of excedance, which is analogous to the one introduced by Brenti for signed permutations. We also give an explicit formula for the corresponding exponential generating function.
Short proofs of some extremal results
Published
• View Publication
• BIB
We prove several results from different areas of extremal combinatorics, giving complete or partial solutions to a number of open problems. These results, coming from areas such as extremal graph theory, Ramsey theory and additive combinatorics, have been collected together because in each case the relevant proofs are quite short.
Cyclic sieving, rotation, and geometric representation theory
Published
• View Publication
• BIB
We study rotation of invariant vectors in tensor products of minuscule representations. We define a combinatorial notion of rotation of minuscule Littelmann paths. Using affine Grassmannians, we show that this rotation action is realized geometrically as rotation of components of the Satake fibre. As a consequence, we have a basis for invariant spaces which is permuted by rotation (up to global sign). Finally, we diagonalize the rotation operator by showing that its eigenspaces are given by intersection homology of quiver varieties. As a consequence, we generalize Rhoades' work on the cyclic sieving phenomenon.
A New Lower Bound for the Ramsey Number R(4, 8)
The lower bound for the classical Ramsey number R(4, 8) is improved from 56 to 58. The author has found a new edge coloring of K_{57} that has no complete graphs of order 4 in the first color, and no complete graphs of order 8 in the second color. The coloring was found using a SAT solver which is based on MiniSat and customized for solving Ramsey problems.
Universal geometric coefficients for the once-punctured torus
We construct universal geometric coefficients, over the integers, the rationals, and the reals, for cluster algebras arising from the once-punctured torus. We verify that the once-punctured torus has a property called the Null Tangle Property. The universal geometric coefficients over the integers and the rationals are then given by the shear coordinates of certain "allowable" curves in the torus. The universal geometric coefficients over the reals are given by the shear coordinates of allowable curves together with the normalized shear coordinates of certain other curves each of which is dense in the torus. We also construct the mutation fan for the once-punctured torus and recover a result of Nájera on g-vectors.
A Generalization of the Fibonacci Word Fractal and the Fibonacci Snowflake
In this paper we introduce a family of infinite words that generalize the Fibonacci word and we study their combinatorial properties. Moreover, we associate to this family of words a family of curves, which have fractal properties, in particular these curves have as attractor the Fibonacci word fractal. Finally, we describe an infinite family of polyominoes (double squares) from the generalized Fibonacci words and we study some of their geometric properties. These last polyominoes generalize the Fibonacci snowflake.
The $j$-Multiplicity of Monomial Ideals
Published in Mathematical Research Letters, 20 (2013) no. 4, 729-744
• View Publication
• BIB
We prove a characterization of the j-multiplicity of a monomial ideal as the normalized volume of a polytopal complex. Our result is an extension of Teissier's volume-theoretic interpretation of the Hilbert-Samuel multiplicity for m-primary monomial ideals. We also give a description of the epsilon-multiplicity of a monomial ideal in terms of the volume of a region.
Some results on Whitney numbers of Dowling lattices
Published
• View Publication
• BIB
In this paper, we study some properties of Whitney numbers of Dowling lattices and related polynomials. We answer the following question: there is relation between Stirling and Eulerian polynomials. Can we find a new relation between Dowling polynomials and other polynomials generalizing Eulerian polynomials? In addition, some congruences for the Dowling numbers are given.
Generalized Stirling transform
Published
• View Publication
• BIB
In this paper, algorithms are developed for computing the Stirling transform and the inverse Stirling transform; specifically, we investigate a class of sequences satisfying a two-term recurrence. We derive a general identity which generalizes the usual Stirling transform and investigate the corresponding generating functions also. In addition, some interesting consequences of these results related to classical sequences like Fibonacci, Bernoulli and the numbers of derangements have been derived.
The Voronoi conjecture for parallelohedra with simply connected $δ$-surface
Published in Discrete & Computational Geometry, 53:2 (2015), 245-260
• View Publication
• BIB
We show that the Voronoi conjecture is true for parallelohedra with simply connected $δ$-surface. Namely, we show that if the boundary of parallelohedron $P$ remains simply connected after removing closed non-primitive faces of codimension 2, then $P$ is affinely equivalent to a Dirichlet-Voronoi domain of some lattice. Also we construct the $π$-surface associated with a parallelohedron and give another condition in terms of homology group of the constructed surface. Every parallelohedron with simply connected $δ$-surface also satisfies the condition on homology group of the $π$-surface.
The Distance Coloring of Graphs
Published in Acta Mathematica Sinica, English Series, 2014, 30, 9, 1579-1587
• View Publication
• BIB
Let $G$ be a connected graph with maximum degree $Δ\ge 3$. We investigate the upper bound for the chromatic number $χ_γ(G)$ of the power graph $G^γ$. It was proved that $χ_γ(G) \leΔ\frac{(Δ-1)^γ-1}{Δ-2}+1=:M+1$ with equality if and only $G$ is a Moore graph. If $G$ is not a Moore graph, and $G$ holds one of the following conditions: (1) $G$ is non-regular, (2) the girth $g(G) \le 2γ-1$, (3) $g(G) \ge 2γ+2$, and the connectivity $κ(G) \ge 3$ if $γ\ge 3$, $κ(G) \ge 4$ but $g(G) >6$ if $γ=2$, (4) $Δ$ is sufficiently large than a given number only depending on $γ$, then $χ_γ(G) \le M-1$. By means of the spectral radius $λ_1(G)$ of the adjacency matrix of $G$, it was shown that $χ_2(G) \le λ_1(G)^2+1$, with equality holds if and only if $G$ is a star or a Moore graph with diameter 2 and girth 5, and $χ_γ(G) < λ_1(G)^γ+1$ if $γ\ge 3$.
Geometric representations of binary codes embeddable in three dimensions
We say that a binary linear code C has a geometric representation if there exists a two dimensional simplicial complex D such that C is a punctured code of the kernel ker D of the incidence matrix of D and dim C = dim ker D. We show that every binary linear code has a geometric representation that can be embedded into R^4. Moreover, we show that a binary linear code C has a geometric representation in R^3 if and only if there exists a graph G such that C equals the cut space of G. This is a polynomially testable property and hence we can conclude that there is a polynomial algorithm that decides the minimal dimension of a geometric representation of a binary linear code.
A discrete isodiametric result: the Erdős-Ko-Rado theorem for multisets
There are many generalizations of the Erdős-Ko-Rado theorem. We give new results (and problems) concerning families of $t$-intersecting $k$-element multisets of an $n$-set and point out connections to coding theory and classical geometry. We establish the conjecture that for $n \geq t(k-t)+2$ such a family can have at most ${n+k-t-1\choose k-t}$ members.
The Maxflow problem and a generalization to simplicial complexes
The problem of Maxflow is a widely developed subject in modern mathematics. Efficient algorithms exist to solve this problem, that is why a good generalization may permit these algorithms to be understood as a particular instance of solutions in a wider class of problems. In the last section we suggest a generalization in the context of simplicial complexes, that reduces to the problem of Maxflow in graphs, when we consider a graph as a simplicial complex of dimension 1.
An incidence Hopf Algebra of Convex Geometries
A lattice L is "meet-distributive" if for each element of L, the meets of the elements directly below it form a Boolean lattice. These objects are in bijection with "convex geometries", which are an abstract model of convexity. Do they give rise to an incidence Hopf algebra of convex geometries?
Efficient Majority-Logic Decoding of Short-Length Reed--Muller Codes at Information Positions
Published in IEEE Transactions on Communications (2013, Volume:61 , Issue: 3 )
• View Publication
• BIB
Short-length Reed--Muller codes under majority-logic decoding are of particular importance for efficient hardware implementations in real-time and embedded systems. This paper significantly improves Chen's two-step majority-logic decoding method for binary Reed--Muller codes $\text{RM}(r,m)$, $r \leq m/2$, if --- systematic encoding assumed --- only errors at information positions are to be corrected. Some general results on the minimal number of majority gates are presented that are particularly good for short codes. Specifically, with its importance in applications as a 3-error-correcting, self-dual code, the smallest non-trivial example, $\text{RM}(2,5)$ of dimension 16 and length 32, is investigated in detail. Further, the decoding complexity of our procedure is compared with that of Chen's decoding algorithm for various Reed--Muller codes up to length $2^{10}$.
Threshold Digraphs
Published in Journal of Research of NIST, Vol. 119, pg. 227-234, 2014
• View Publication
• BIB
A digraph whose degree sequence has a unique vertex labeled realization is called threshold. In this paper we present several characterizations of threshold digraphs and their degree sequences, and show these characterizations to be equivalent. One of the characterizations is new, and allows for a shorter proof of the equivalence of the two known characterizations as well as proving the final characterization which appears without proof in the literature. Using this result, we obtain a new, short proof of the Fulkerson-Chen theorem on degree sequences of general digraphs.