Showing 20 papers (Total: 83502 papers, 48219 authors in database)
An extension of Hoffman and Smith's subdivision theorem
In 1975 Hoffman and Smith showed that for a graph $G\ne\tilde{D}_n$ with an internal path, the value of the largest eigenvalue decreases strictly each time we subdivide the internal path. In this paper we extend this result to show that for a graph $G\ne K_{1,4}$ with a vertex of degree 4 or more, we can subdivide said vertex to create an internal path and the value of the largest eigenvalue also strictly decreases.
Nonlinearity of quartic rotation symmetric Boolean functions
Published in Southeast Asian Bull. Math. 37 (2013), 951-961
• Search Publication
Nonlinearity of rotation symmetric Boolean functions is an important topic on cryptography algorithm. Let $e\ge 1$ be any given integer. In this paper, we investigate the following question: Is the nonlinearity of the quartic rotation symmetric Boolean function generated by the monomial $x_0x_ex_{2e}x_{3e}$ equal to its weight? We introduce some new simple sub-functions and develop new technique to get several recursive formulas. Then we use these recursive formulas to show that the nonlinearity of the quartic rotation symmetric Boolean function generated by the monomial $x_0x_ex_{2e}x_{3e}$ is the same as its weight. So we answer the above question affirmatively. Finally, we conjecture that if $l\ge 4$ is an integer, then the nonlinearity of the rotation symmetric Boolean function generated by the monomial $x_0x_ex_{2e}...x_{le}$ equals its weight.
Coloring the cube with rainbow cycles
Published
• View Publication
• BIB
For every even positive integer $k\ge 4$ let $f(n,k)$ denote the minimim number of colors required to color the edges of the $n$-dimensional cube $Q_n$, so that the edges of every copy of $k$-cycle $C_k$ receive $k$ distinct colors. Faudree, Gyárfás, Lesniak and Schelp proved that $f(n,4)=n$ for $n=4$ or $n>5$. We consider larger $k$ and prove that if $k \equiv 0$ (mod 4), then there are positive constants $c_1, c_2$ depending only on $k$ such that $$c_1n^{k/4} < f(n,k) < c_2 n^{k/4}.$$ Our upper bound uses an old construction of Bose and Chowla of generalized Sidon sets. For $k \equiv 2$ (mod 4), the situation seems more complicated. For the smallest case k=6 we show that $$n \le f(n, 6) < n^{1+o(1)}.$$ The upper bound is obtained from Behrend's construction of a subset of the integers with no three term arithmetic progression.
Right-angled billiards and volumes of moduli spaces of quadratic differentials on $\mathbb{C}P^1$
Published in Annales de l'ENS, 49:6 (2016)
• View Publication
• BIB
We use the relation between the volumes of the strata of meromorphic quadratic differentials with at most simple poles on the Riemann sphere and counting functions of the number of (bands of) closed geodesics in associated flat metrics with singularities to prove a very explicit formula for the volume of each such stratum conjectured by M. Kontsevich a decade ago.
The proof is based on a formula for the Lyapunov exponents of the geodesic flow on the moduli space, which gives a recursive formula from which the volumes could be recovered.
An appendix with an ergodic theorem proved by Jon Chaika is added to the current version. Applying this ergodic theorem to the Teichmueller geodesic flow we obtain EXACT quadratic asymptotics for the number of (bands of) closed trajectories and for the number of generalized diagonals in almost all right-angled billiards. All coefficients in the asymptotics (expressed in terms of the associated Siegel-Veech constants) are explicitly computed.
Counting generalized Jenkins-Strebel differentials
Published in Geometriae Dedicata, 170:1 (2014), 195--217
• View Publication
• BIB
We study the combinatorial geometry of "lattice" Jenkins--Strebel differentials with simple zeroes and simple poles on $\mathbb{C}P^1$ and of the corresponding counting functions. Developing the results of M. Kontsevich we evaluate the leading term of the symmetric polynomial counting the number of such "lattice" Jenkins-Strebel differentials having all zeroes on a single singular layer. This allows us to express the number of general "lattice" Jenkins-Strebel differentials as an appropriate weighted sum over decorated trees.
The problem of counting Jenkins-Strebel differentials is equivalent to the problem of counting pillowcase covers, which serve as integer points in appropriate local coordinates on strata of moduli spaces of meromorphic quadratic differentials. This allows us to relate our counting problem to calculations of volumes of these strata . A very explicit expression for the volume of any stratum of meromorphic quadratic differentials recently obtained by the authors leads to an interesting combinatorial identity for our sums over trees.
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.