Showing 20 papers (Total: 83190 papers, 48060 authors in database)
QSym over Sym has a stable basis
Published
• View Publication
• BIB
We prove that the subset of quasisymmetric polynomials conjectured by Bergeron and Reutenauer to be a basis for the coinvariant space of quasisymmetric polynomials is indeed a basis. This provides the first constructive proof of the Garsia-Wallach result stating that quasisymmetric polynomials form a free module over symmetric polynomials and that the dimension of this module is n!.
Cohen-Macaulayness of monomial ideals and symbolic powers of Stanley-Reisner ideals
Published in Adv. Math. 226 (2011), 1285-1306
• View Publication
• BIB
We present criteria for the Cohen-Macaulayness of a monomial ideal in terms of its primary decomposition. These criteria allow us to use tools of graph theory and of linear programming to study the Cohen-Macaulayness of monomial ideals which are intersections of prime ideal powers. We can characterize the Cohen-Macaulayness of the second symbolic power or of all symbolic powers of a Stanley-Reisner ideal in terms of the simplicial complex. These characterizations show that the simplicial complex must be very compact if some symbolic power is Cohen-Macaulay. In particular, all symbolic powers are Cohen-Macaulay if and only if the simplicial complex is a matroid complex. We also prove that the Cohen-Macaulayness can pass from a symbolic power to another symbolic powers in different ways.
On weighted zero-sum sequences
Published
• View Publication
• BIB
Let G be a finite additive abelian group with exponent exp(G)=n>1 and let A be a nonempty subset of {1,...,n-1}. In this paper, we investigate the smallest positive integer $m$, denoted by s_A(G), such that any sequence {c_i}_{i=1}^m with terms from G has a length n=exp(G) subsequence {c_{i_j}}_{j=1}^n for which there are a_1,...,a_n in A such that sum_{j=1}^na_ic_{i_j}=0.
When G is a p-group, A contains no multiples of p and any two distinct elements of A are incongruent mod p, we show that s_A(G) is at most $\lceil D(G)/|A|\rceil+exp(G)-1$ if |A| is at least (D(G)-1)/(exp(G)-1), where D(G) is the Davenport constant of G and this upper bound for s_A(G)in terms of |A| is essentially best possible.
In the case A={1,-1}, we determine the asymptotic behavior of s_{1,-1}(G) when exp(G) is even, showing that, for finite abelian groups of even exponent and fixed rank, s_{1,-1}(G)=exp(G)+log_2|G|+O(log_2log_2|G|) as exp(G) tends to the infinity. Combined with a lower bound of $exp(G)+sum{i=1}{r}\lfloor\log_2 n_i\rfloor$, where $G=\Z_{n_1}\oplus...\oplus \Z_{n_r}$ with 1<n_1|... |n_r, this determines s_{1,-1}(G), for even exponent groups, up to a small order error term. Our method makes use of the theory of L-intersecting set systems.
Some additional more specific values and results related to s_{1,-1}(G) are also computed.
The arity gap of order-preserving functions and extensions of pseudo-Boolean functions
Published in Discrete Appl. Math. 160 (2012) 383-390
• View Publication
• BIB
The aim of this paper is to classify order-preserving functions according to their arity gap. Noteworthy examples of order-preserving functions are so-called aggregation functions. We first explicitly classify the Lovász extensions of pseudo-Boolean functions according to their arity gap. Then we consider the class of order-preserving functions between partially ordered sets, and establish a similar explicit classification for this function class.
Regular factors of regular graphs from eigenvalues
Published
• View Publication
• BIB
Let m and r be two integers. Let G be a connected r-regular graph of order n and k an integer depending on m and r. For even kn, we find a best upper bound (in terms of r and m) on the third largest eigenvalue that is sufficient to guarantee that G has a k-factor. When nk is odd, we give a best upper bound (in terms of r and m) on the second largest eigenvalue that is sufficient to guarantee that G is k-critical.
Chamber Structure of Double Hurwitz numbers
Published
• View Publication
• BIB
Double Hurwitz numbers count covers of the projective line by genus g curves with assigned ramification profiles over 0 and infinity, and simple ramification over a fixed branch divisor. Goulden, Jackson and Vakil have shown double Hurwitz numbers are piecewise polynomial in the orders of ramification, and Shadrin, Shapiro and Vainshtein have determined the chamber structure and wall crossing formulas for g=0. This paper gives a unified approach to these results and strengthens them in several ways --- the most important being the extension of the results of Shapiro, Shadrin and Vainshtein to arbitrary genus. The main tool is the authors' previous work expressing double Hurwitz number as a sum over certain labeled graphs. We identify the labels of the graphs with lattice points in the chambers of certain hyperplane arrangements, which are well known to give rise to piecewise polynomial functions. Our understanding of the wall crossing for these functions builds on the work of Varchenko, and could have broader applications.
Identities for the number of standard Young tableaux in some $(k,\ell)$ hooks
Closed formulas are known for $S(k,0;n)$, the number of standard Young tableaux of size $n$ and with at most $k$ parts, where $1\le k\le 5$. Here we study the analogue problem for $S(k,\ell;n)$, the number of standard Young tableaux of size $n$ which are contained in the $(k,\ell)$ hook. We deduce some formulas for the cases $k+\ell\le 4$.
Quantitative relation between noise sensitivity and influences
Published
• View Publication
• BIB
A Boolean function $f:\{0,1\}^n \to \{0,1\}$ is said to be noise sensitive if inserting a small random error in its argument makes the value of the function almost unpredictable. Benjamini, Kalai and Schramm showed that if the sum of squares of influences in $f$ is close to zero then $f$ must be noise sensitive. We show a quantitative version of this result which does not depend on $n$, and prove that it is tight for certain parameters. Our results hold also for a general product measure $μ_p$ on the discrete cube, as long as $\log 1/p \ll \log n$. We note that in [BKS], a quantitative relation between the sum of squares of the influences and the noise sensitivity was also shown, but only when the sum of squares is bounded by $n^{-c}$ for a constant $c$. Our results require a generalization of a lemma of Talagrand on the Fourier coefficients of monotone Boolean functions. In order to achieve it, we present a considerably shorter proof of Talagrand's lemma, which easily generalizes in various directions, including non-monotone functions.
On the existence of block-transitive combinatorial designs
Published
• View Publication
• BIB
Block-transitive Steiner $t$-designs form a central part of the study of highly symmetric combinatorial configurations at the interface of several disciplines, including group theory, geometry, combinatorics, coding and information theory, and cryptography. The main result of the paper settles an important open question: There exist no non-trivial examples with $t=7$ (or larger). The proof is based on the classification of the finite 3-homogeneous permutation groups, itself relying on the finite simple group classification.
A new Ramanujan-like series for $1/π^2$
Published
• View Publication
• BIB
Our main results are a WZ-proof of a new Ramanujan-like series for $1/π^2$ and a hypergeometric identity involving three series.
Packing Hamilton Cycles in Random and Pseudo-Random Hypergraphs
Published
• View Publication
• BIB
We say that a $k$-uniform hypergraph $C$ is a Hamilton cycle of type $\ell$, for some $1\le \ell \le k$, if there exists a cyclic ordering of the vertices of $C$ such that every edge consists of $k$ consecutive vertices and for every pair of consecutive edges $E_{i-1},E_i$ in $C$ (in the natural ordering of the edges) we have $|E_{i-1}-E_i|=\ell$. We prove that for $\ell \le k\le 2\ell$, with high probability almost all edges of a random $k$-uniform hypergraph $H(n,p,k)$ with $p(n)\gg \log^2 n/n$ can be decomposed into edge disjoint type $\ell$ Hamilton cycles. We also provide sufficient conditions for decomposing almost all edges of a pseudo-random $k$-uniform hypergraph into type $\ell$ Hamilton cycles, for $\ell \le k\le 2\ell$. For the case $\ell=k$ these results show that almost all edges of corresponding random and pseudo-random hypergraphs can be packed into disjoint perfect matchings.
On the Polya permanent problem over finite fields
Published
• View Publication
• BIB
Let $\FF$ be a finite field of characteristics different from two. We show that no bijective map transforms permanent into determinant when the cardinality of $\FF$ is sufficiently large. We also give an example of non-bijective map when $\FF$ is arbitrary and an example of a bijective map when $\FF$ is infinite which do transform permanent into determinant. The developed technique allows us to estimate the probability of the permanent and the determinant of matrices over finite fields to have a given value. Our results are also true over finite rings without zero divisors.
The zero exemplar distance problem
Published
• View Publication
• BIB
Given two genomes with duplicate genes, \textsc{Zero Exemplar Distance} is the problem of deciding whether the two genomes can be reduced to the same genome without duplicate genes by deleting all but one copy of each gene in each genome. Blin, Fertin, Sikora, and Vialette recently proved that \textsc{Zero Exemplar Distance} for monochromosomal genomes is NP-hard even if each gene appears at most two times in each genome, thereby settling an important open question on genome rearrangement in the exemplar model. In this paper, we give a very simple alternative proof of this result. We also study the problem \textsc{Zero Exemplar Distance} for multichromosomal genomes without gene order, and prove the analogous result that it is also NP-hard even if each gene appears at most two times in each genome. For the positive direction, we show that both variants of \textsc{Zero Exemplar Distance} admit polynomial-time algorithms if each gene appears exactly once in one genome and at least once in the other genome. In addition, we present a polynomial-time algorithm for the related problem \textsc{Exemplar Longest Common Subsequence} in the special case that each mandatory symbol appears exactly once in one input sequence and at least once in the other input sequence. This answers an open question of Bonizzoni et al. We also show that \textsc{Zero Exemplar Distance} for multichromosomal genomes without gene order is fixed-parameter tractable if the parameter is the maximum number of chromosomes in each genome.
On the Number of Solutions of Exponential Congruences
Published
• View Publication
• BIB
For a prime $p$ and an integer $a \in \Z$ we obtain nontrivial upper bounds on the number of solutions to the congruence $x^x \equiv a \pmod p$, $1 \le x \le p-1$. We use these estimates to estimate the number of solutions to the congruence $x^x \equiv y^y \pmod p$, $1 \le x,y \le p-1$, which is of cryptographic relevance.
A q-rious positivity
Published in Aequat. Math. 81 (2011), no. 1-2, 177--183
• View Publication
• BIB
The $q$-binomial coefficients $\qbinom{n}{m}=\prod_{i=1}^m(1-q^{n-m+i})/(1-q^i)$, for integers $0\le m\le n$, are known to be polynomials with non-negative integer coefficients. This readily follows from the $q$-binomial theorem, or the many combinatorial interpretations of $\qbinom{n}{m}$. In this note we conjecture an arithmetically motivated generalisation of the non-negativity property for products of ratios of $q$-factorials that happen to be polynomials.
A necessary condition for Chow semistability of polarized toric manifolds
Published
• View Publication
• BIB
Let Δ\subset \mathbb{R}^n be an n-dimensional Delzant polytope. It is well-known that there exist the n-dimensional compact toric manifold X_Δand the very ample (\mathbb{C}^\times)^n-equivariant line bundle L_Δon X_Δassociated with Δ. In the present paper, we show that if (X_Δ,L_Δ^i) is Chow semistable then the sum of integer points in iΔis the constant multiple of the barycenter of Δ. Using this result we get a necessary condition for the polarized toric manifold (X_Δ,L_Δ) being asymptotically Chow semistable. Moreover we can generalize the result of Futaki, Sano and the author to the case when X_Δis not necessarily Fano.
A bracket polynomial for graphs, IV. Undirected Euler circuits, graph-links and multiply marked graphs
Published
• View Publication
• BIB
In earlier work we introduced the graph bracket polynomial of graphs with marked vertices, motivated by the fact that the Kauffman bracket of a link diagram D is determined by a looped, marked version of the interlacement graph associated to a directed Euler system of the universe graph of D. Here we extend the graph bracket to graphs whose vertices may carry different kinds of marks, and we show how multiply marked graphs encode interlacement with respect to arbitrary (undirected) Euler systems. The extended machinery brings together the earlier version and the graph-links of D. P. Ilyutko and V. O. Manturov [J. Knot Theory Ramifications 18 (2009), 791-823]. The greater flexibility of the extended bracket also allows for a recursive description much simpler than that of the earlier version.
A Remark on the Convolution with Box Splines
Published
• View Publication
• BIB
The semi-discrete convolution with the Box Spline is an important tool in approximation theory. We give a formula for the difference between semi-discrete convolution and convolution with the Box Spline. This formula involves multiple Bernoulli polynomials.
On Sampling without replacement and OK-Corral urn models
In this work we discuss two urn models with general weight sequences $(A,B)$ associated to them, $A=(α_n)_{n\in\N}$ and $B=(β_m)_{m\in\N}$, generalizing two well known Pólya-Eggenberger urn models, namely the so-called sampling without replacement urn model and the OK Corral urn model. We derive simple explicit expressions for the distribution of the number of white balls, when all black have been drawn, and obtain as a byproduct the corresponding results for the Pólya-Eggenberger urn models. Moreover, we show that the sampling without replacement urn models and the OK Corral urn models with general weights are dual to each other in a certain sense. We discuss extensions to higher dimensional sampling without replacement and OK Corral urn models, respectively, where we also obtain explicit results for the probability mass functions, and also an analog of the dualitiy relation. Finally, we derive limit laws for a special choice of the weight sequences.
The Hydra-k partial fields
In the paper "Confinement of matroid representations to subsets of partial fields" (arXiv:0806.4487) we introduced the Hydra-k partial fields to study quinary matroids with inequivalent representations. The proofs of some results on these partial fields require extensive computations. This paper contains these computations, implemented in Mathematica.