Showing 20 papers (Total: 81756 papers, 47371 authors in database)
Construction of Minimal Bracketing Covers for Rectangles
Published in The Electronic Journal of Combinatorics 15 (2008), #R95
• View Publication
• BIB
We construct explicit $δ$-bracketing covers with minimal cardinality for the set system of (anchored) rectangles in the two dimensional unit cube. More precisely, the cardinality of these $δ$-bracketing covers are bounded from above by $δ^{-2} + o(δ^{-2})$. A lower bound for the cardinality of arbitrary $δ$-bracketing covers for $d$-dimensional anchored boxes from [M. Gnewuch, Bracketing numbers for axis-parallel boxes and applications to geometric discrepancy, J. Complexity 24 (2008) 154-172] implies the lower bound $δ^{-2}+O(δ^{-1})$ in dimension $d=2$, showing that our constructed covers are (essentially) optimal.
We study also other $δ$-bracketing covers for the set system of rectangles, deduce the coefficient of the most significant term $δ^{-2}$ in the asymptotic expansion of their cardinality, and compute their cardinality for explicit values of $δ$.
Candy-passing Games on General Graphs, I
We undertake the first study of the candy-passing game on arbitrary connected graphs. We obtain a general stabilization result which encompasses the first author's results (arXiv:0709.2156) for candy-passing games on n-cycles with at least 3n candies.
Approximate Multipartite Version of the Hajnal--Szemerédi Theorem
Published
• View Publication
• BIB
Let $q$ be a positve integer, and $G$ be a $q$-partite simple graph on $qn$ vertices, with $n$ vertices in each vertex class. Let $δ={k_q \over k_q+1}$, where $k_q=q+O(\log{q})$. If each vertex of $G$ is adjacent to at least $δn$ vertices in each of the other vertex classes, $q$ is bounded and $n$ is large enough, then $G$ has a $K_q$-factor.
A-graded methods for monomial ideals
Published
• View Publication
• BIB
We use \ZZ^d-gradings to study d-dimensional monomial ideals. The Koszul functor is employed to interpret the quasidegrees of local cohomology in terms of the geometry of distractions and to explicitly compute the multiplicities of exponents. These multigraded techniques originate from the study of hypergeometric systems of differential equations.
On the random satisfiable process
Published
• View Publication
• BIB
In this work we suggest a new model for generating random satisfiable k-CNF formulas. To generate such formulas -- randomly permute all 2^k\binom{n}{k} possible clauses over the variables x_1, ..., x_n, and starting from the empty formula, go over the clauses one by one, including each new clause as you go along if after its addition the formula remains satisfiable. We study the evolution of this process, namely the distribution over formulas obtained after scanning through the first m clauses (in the random permutation's order).
Random processes with conditioning on a certain property being respected are widely studied in the context of graph properties. This study was pioneered by Ruciński and Wormald in 1992 for graphs with a fixed degree sequence, and also by Erdős, Suen, and Winkler in 1995 for triangle-free and bipartite graphs. Since then many other graph properties were studied such as planarity and H-freeness. Thus our model is a natural extension of this approach to the satisfiability setting.
Our main contribution is as follows. For m \geq cn, c=c(k) a sufficiently large constant, we are able to characterize the structure of the solution space of a typical formula in this distribution. Specifically, we show that typically all satisfying assignments are essentially clustered in one cluster, and all but e^{-Ω(m/n)} n of the variables take the same value in all satisfying assignments. We also describe a polynomial time algorithm that finds with high probability a satisfying assignment for such formulas.
Cluster algebras and Grassmannians of type G2
Published in Algebra and representation theory, volume 13, number 3 (2010)
• View Publication
• BIB
We prove a conjecture of Geiss, Leclerc and Schröer, producing cluster algebra structures on multi-homogeneous coordinate ring of partial flag varieties, for the case $G_2$. As a consequence we sharpen the known fact that coordinate ring of the double Bruhat cell $G^{e,w_0}$ is an upper cluster algebra, by proving that it is a cluster algebra.
How to sharpen a tridiagonal pair
Published
• View Publication
• BIB
Let $\F$ denote a field and let $V$ denote a vector space over $\F$ with finite positive dimension. We consider a pair of linear transformations $A:V \to V$ and $A^*:V \to V$ that satisfy the following conditions: (i) each of $A,A^*$ is diagonalizable; (ii) there exists an ordering $\lbrace V_i\rbrace_{i=0}^d$ of the eigenspaces of $A$ such that $A^* V_i \subseteq V_{i-1} + V_{i} + V_{i+1}$ for $0 \leq i \leq d$, where $V_{-1}=0$ and $V_{d+1}=0$; (iii) there exists an ordering $\lbrace V^*_i\rbrace_{i=0}^δ$ of the eigenspaces of $A^*$ such that $A V^*_i \subseteq V^*_{i-1} + V^*_{i} + V^*_{i+1}$ for $0 \leq i \leq δ$, where $V^*_{-1}=0$ and $V^*_{δ+1}=0$; (iv) there is no subspace $W$ of $V$ such that $AW \subseteq W$, $A^* W \subseteq W$, $W \neq 0$, $W \neq V$. We call such a pair a {\it tridiagonal pair} on $V$. It is known that $d=δ$, and for $0 \leq i \leq d$ the dimensions of $V_i, V^*_i, V_{d-i}, V^*_{d-i}$ coincide. Denote this common dimension by $ρ_i$ and call $A,A^*$ {\it sharp} whenever $ρ_0=1$. Let $T$ denote the $\F$-subalgebra of ${\rm End}_\F(V)$ generated by $A,A^*$. We show: (i) the center $Z(T)$ is a field whose dimension over $\F$ is $ρ_0$; (ii) the field $Z(T)$ is isomorphic to each of $E_0TE_0$, $E_dTE_d$, $E^*_0TE^*_0$, $E^*_dTE^*_d$, where $E_i$ (resp. $E^*_i$) is the primitive idempotent of $A$ (resp. $A^*$) associated with $V_i$ (resp. $V^*_i$); (iii) with respect to the $Z(T)$-vector space $V$ the pair $A,A^*$ is a sharp tridiagonal pair.
Marked tubes and the graph multiplihedron
Published in Algebraic and Geometric Topology 8 (2008) 2081-2108
• View Publication
• BIB
Given a graph G, we construct a convex polytope whose face poset is based on marked subgraphs of G. Dubbed the graph multiplihedron, we provide a realization using integer coordinates. Not only does this yield a natural generalization of the multiphihedron, but features of this polytope appear in works related to quilted disks, bordered Riemann surfaces, and operadic structures. Certain examples of graph multiplihedra are related to Minkowski sums of simplices and cubes and others to the permutohedron.
Combinatorial cell complexes and Poincare duality
Published
• View Publication
• BIB
We define and study a class of finite topological spaces, which model the cell structure of a space obtained by gluing finitely many Euclidean convex polyhedral cells along congruent faces. We call these finite topological spaces, combinatorial cell complexes (or c.c.c). We define orientability, homology and cohomology of c.c.c's and develop enough algebraic topology in this setting to prove the Poincare duality theorem for a c.c.c satisfying suitable regularity conditions. The definitions and proofs are completely finitary and combinatorial in nature.
Hopf algebras and the logarithm of the S-transform in free probability
Published
• View Publication
• BIB
Let k be a positive integer and let G_k denote the set of non-commutative k-variable distributions μsuch that μ(X_1) = ... = μ(X_k) = 1. G_k is a group under the operation of free multiplicative convolution. We identify G_k as the group of characters of a certain Hopf algebra Y_k. Then, by using the log map from characters to infinitesimal characters of Y_k, we introduce a transform LS_μ for distributions μin G_k. The main property of the LS-transform is that it linearizes commuting products in G_k. For μin G_k, the transform LS_μ is a power series in k non-commuting indeterminates; its coefficients can be computed from the coefficients of the R-transform of μby using summations over chains in the lattices NC(n) of non-crossing partitions.
In the particular case k=1 one has that Y_1 is naturally isomorphic to the Hopf algebra Sym of symmetric functions, and that the LS-transform is very closely related to the logarithm of the S-transform of Voiculescu, by the formula LS(z) = - z log S(z). In this case the group G_1 can be identified as the group of characters of Sym, in such a way that the S-transform, its reciprocal 1/S and its logarithm log S relate in a natural sense to the sequences of complete, elementary and respectively power sum symmetric functions.
Nonlinear optimization for matroid intersection and extensions
We address optimization of nonlinear functions of the form $f(Wx)$, where $f:\R^d\to \R$ is a nonlinear function, $W$ is a $d\times n$ matrix, and feasible $x$ are in some large finite set $F$ of integer points in $\R^n$. One motivation is multi-objective discrete optimization, where $f$ trades off the linear functions given by the rows of $W$. Another motivation is to extend known results about polynomial-time linear optimization over discrete structures to nonlinear optimization. We assume that the convex hull of $F$ is well-described by linear inequalities. For example, the set of characteristic vectors of common bases of a pair of matroids on a common ground set. When $F$ is well described, $f$ is convex (or even quasiconvex), and $W$ has a fixed number of rows and is unary encoded or with entries in a fixed set, we give an efficient deterministic algorithm for maximization. When $F$ is well described, $f$ is a norm, and binary-encoded $W$ is nonnegative, we give an efficient deterministic constant-approximation algorithm for maximization. When $F$ is well described, $f$ is ``ray concave'' and non-decreasing, and $W$ has a fixed number of rows and is unary encoded or with entries in a fixed set, we give an efficient deterministic constant-approximation algorithm for minimization. When $F$ is the set of characteristic vectors of common bases of a pair of vectorial matroids on a common ground set, $f$ is arbitrary, and $W$ has a fixed number of rows and is unary encoded, we give an efficient randomized algorithm for optimization.
Alcove walks, buildings, symmetric functions and representations
For a complex simple Lie algebra, the dimension $K_{λμ}$ of the $μ$ weight space of a finite dimensional representation of highest weight $λ$ is the same as the number of Littelmann paths of type $λ$ and weight $μ$. In this paper we give an explicit construction of a path of type $λ$ and weight $μ$ whenever $K_{λμ}\ne 0$. This construction has additional consequences, it produces an explicit point in the building which chamber retracts to $λ$ and sector retracts to $μ$, and an explicit point of the affine Grassmannian in the corresponding Mirković-Vilonen intersection. In an appendix we discuss the connection between retractions in buildings and alcove walks.
Rank-Crank type PDE's and non-holomorphic Jacobi forms
Published
• View Publication
• BIB
In this paper we show how Rank-Crank type PDE's (first found by Atkin and Garvan) occur naturally in the framework of non-holomorphic Jacobiforms and find an infinite family of such differential equations. As an application we show an infinite family of congruences for odd Durfee symbols, a partition statistic introduced by George Andrews.
Eigenvectors of random graphs: Nodal domains
Published
• View Publication
• BIB
We initiate a systematic study of eigenvectors of random graphs. Whereas much is known about eigenvalues of graphs and how they reflect properties of the underlying graph, relatively little is known about the corresponding eigenvectors. Our main focus in this paper is on the nodal domains associated with the different eigenfunctions. In the analogous realm of Laplacians of Riemannian manifolds, nodal domains have been the subject of intensive research for well over a hundred years. Graphical nodal domains turn out to have interesting and unexpected properties. Our main theorem asserts that there is a constant c such that for almost every graph G, each eigenfunction of G has at most two large nodal domains, and in addition at most c exceptional vertices outside these primary domains. We also discuss variations of these questions and briefly report on some numerical experiments which, in particular, suggest that almost surely there are just two nodal domains and no exceptional vertices.
On families of subsets with a forbidden subposet
Published
• View Publication
• BIB
Let $\F\subset 2^{[n]}$ be a family of subsets of $\{1,2,..., n\}$. For any poset $H$, we say $\F$ is $H$-free if $\F$ does not contain any subposet isomorphic to $H$. Katona and others have investigated the behavior of $\La(n,H)$, which denotes the maximum size of $H$-free families $\F\subset 2^{[n]}$. Here we use a new approach, which is to apply methods from extremal graph theory and probability theory to identify new classes of posets $H$, for which $\La(n,H)$ can be determined asymptotically as $n\to\infty$ for various posets $H$, including two-end-forks, up-down trees, and cycles $C_{4k}$ on two levels.
Universality of the limit shape of convex lattice polygonal lines
Published in Annals of Probability 2011, Vol. 39, No. 6, 2271-2317
• View Publication
• BIB
Let ${\varPi}_n$ be the set of convex polygonal lines $\varGamma$ with vertices on $\mathbb {Z}_+^2$ and fixed endpoints $0=(0,0)$ and $n=(n_1,n_2)$. We are concerned with the limit shape, as $n\to\infty$, of "typical" $\varGamma\in {\varPi}_n$ with respect to a parametric family of probability measures $\{P_n^r,0<r<\infty\}$ on ${\varPi}_n$, including the uniform distribution ($r=1$) for which the limit shape was found in the early 1990s independently by A. M. Vershik, I. Bárány and Ya. G. Sinai. We show that, in fact, the limit shape is universal in the class $\{P^r_n\}$, even though $P^r_n$ ($r\ne1$) and $P^1_n$ are asymptotically singular. Measures $P^r_n$ are constructed, following Sinai's approach, as conditional distributions $Q_z^r(\cdot |{\varPi}_n)$, where $Q_z^r$ are suitable product measures on the space ${\varPi}=\bigcup_n{\varPi}_n$, depending on an auxiliary "free" parameter $z=(z_1,z_2)$. The transition from $({\varPi},Q_z^r)$ to $({\varPi}_n,P_n^r)$ is based on the asymptotics of the probability $Q_z^r({\varPi}_n)$, furnished by a certain two-dimensional local limit theorem. The proofs involve subtle analytical tools including the Möbius inversion formula and properties of zeroes of the Riemann zeta function.
Numerical simulation of optimal transport paths
Published in 2010 Second International Conference on Computer Modeling and Simulation, 2010, pp. 521-525,
• View Publication
• BIB
This article provides numerical simulation of an optimal transport path from a single source to an atomic measure of equal total mass. We first construct an initial transport path, and then modify the path as much as possible by using both local and global minimization algorithms.
Odd-graceful labelings of trees of diameter 5
A difference vertex labeling of a graph G is an assignment f of labels to the vertices of G that induces for each edge xy the weight |f(x)-f(y)|. A difference vertex labeling f of a graph G of size n is odd-graceful if f is an injection from V(G) to {0,1,...,2n-1} such that the induced weights are {1,3,...,2n-1}. We show here that any forest whose components are caterpillars is odd-graceful. We also show that every tree of diameter up to five is odd-graceful.
A generalization of Cobham's Theorem
Published in Theory of Computing Systems 31 (1998) 169-185
• Search Publication
If a non-periodic sequence $X$ is the image by a morphism of a fixed point of both a primitive substitution $σ$ and a primitive substitution $τ$, then the dominant eigenvalues of the matrices of $σ$ and of $τ$ are multiplicatively dependent. This is the way we propose to generalize Cobham's Theorem.
On the support of the free Lie algebra: the Schützenberger problems
Published
• View Publication
• BIB
M.-P. Schützenberger asked to determine the support of the free Lie algebra ${\mathcal L}_{{\mathbb Z}_{m}}(A)$ on a finite alphabet $A$ over the ring ${\mathbb Z}_{m}$ of integers $\bmod m$ and all the corresponding pairs of twin and anti-twin words, i.e., words that appear with equal (resp. opposite) coefficients in each Lie polynomial. We study these problems using the adjoint endomorphism $l^{*}$ of the left normed Lie bracketing $l$ of ${\mathcal L}_{{\mathbb Z}_{m}}(A)$. Calculating $l^{*}(w)$ via all factors of a given word $w$ of fixed length and the shuffle product, we recover the result of Duchamp and Thibon $(1989)$ for the support of the free Lie ring in a much more natural way. We rephrase these problems, for words of length $n$, in terms of the action of the left normed multi-linear Lie bracketing $l_{n}$ of ${\mathcal L}_{{\mathbb Z}_{m}}(A)$ - viewed as an element of the group ring of the symmetric group ${\mathcal S}_{n}$ - on $λ$-tabloids, where $λ$ is a partition of $n$. For words $w$ in two letters, represented by a subset $I$ of $[n] = \{1, 2, ..., n \}$, this leads us to the {\em Pascal descent polynomial} $p_{n}(I)$, a particular commutative multi-linear polynomial which equals to a signed binomial coefficient when $|I| = 1$ and allows us to obtain a sufficient condition on $n$ and $I$ in order that $w$ lies in ${\mathcal L}_{{\mathbb Z}_{m}}(A)$. We also have a particular conjecture for twin and anti-twin words for the free Lie ring and show that it is enough to be checked for $|A| = 2$.