Showing 20 papers (Total: 81378 papers, 47165 authors in database)
The Order Dimension of the Poset of Regions in a Hyperplane Arrangement
Published
• View Publication
• BIB
We show that the order dimension of the weak order on a Coxeter group of type A, B or D is equal to the rank of the Coxeter group, and give bounds on the order dimensions for the other finite types. This result arises from a unified approach which, in particular, leads to a simpler treatment of the previously known cases, types A and B. The result for weak orders follows from an upper bound on the dimension of the poset of regions of an arbitrary hyperplane arrangement. In some cases, including the weak orders, the upper bound is the chromatic number of a certain graph. For the weak orders, this graph has the positive roots as its vertex set, and the edges are related to the pairwise inner products of the roots.
A Structure Theorem for Positive Density Sets Having the Minimal Number of 3-term Arithmetic Progressions
Assuming the well-known conjecture that [x,x+x^t] contains a prime for t > 0 and x sufficiently large, we prove: For 0 < r < 1, there exists 0 < s < r < 1, 0 < d < 1, and infinitely many primes q such that if S is a subset of Z/qZ having density at least s, and having the least number of 3-term arithemtic progressions among all sets of density at least s, then S is nearly translation invariant in a very strong sense. Namely, there exists 0 <= b <= q-1 such that |S intersect (S + bj)| = (1-g(s))|S|, for every 0 < j < q^d, where g(s) -> 0 as s -> 0. A curious feature of the proof is that Behrend's construction on large subsets of {1,2,...,x} containing no 3-term a.p., is a key ingredient.
Self-describing sequences and the Catalan family tree
We introduce a transformation of finite integer sequences, show that every sequence eventually stabilizes under this transformation and that the number of fixed points is counted by the Catalan numbers. The sequences that are fixed are precisely those that describe themselves -- every term $t$ is equal to the number of previous terms that are smaller than $t$. In addition, we provide an easy way to enumerate all these self-describing sequences by organizing them in a Catalan tree with a specific labelling system.
Topological obstructions to graph colorings
Published in Electron. Res. Announc. Amer. Math. Soc. 9 (2003), 61--68
• View Publication
• BIB
For any two graphs $G$ and $H$ Lovász has defined a cell complex $Hom(G,H)$ having in mind the general program that the algebraic invariants of these complexes should provide obstructions to graph colorings. Here we announce the proof of a conjecture of Lovász concerning these complexes with $G$ a cycle of odd length. More specifically, we show that: if $Hom(C_{2r+1},G)$ is $k$-connected, then $χ(G)\geq k+4$. Our actual statement is somewhat sharper, as we find obstructions already in the non-vanishing of powers of certain Stiefel-Whitney classes.
The Szemeredi-Trotter Theorem in the Complex Plane
Published in Combinatorica 35 (1) (2015), 95-126
• View Publication
• BIB
It is shown that $n$ points and $e$ lines in the complex Euclidean plane ${\mathbb C}^2$ determine $O(n^{2/3}e^{2/3}+n+e)$ point-line incidences. This bound is the best possible, and it generalizes the celebrated theorem by Szemerédi and Trotter about point-line incidences in the real Euclidean plane ${\mathbb R}^2$.
Sequences related to convergents to square root of rationals
In this note we study some sequences whose ratio converges to the square root of rationals. Further we analyze some related sequences obtained when the above mentioned ratio simplifies.
Bordered magic squares: elements for a comprehensive approach
General methods for the construction of magic squares of any order have been searched for centuries. There have been several standard strategies for this purpose, such as the knight movement, or the construction of bordered magic squares, which played an important role in the development of general methods. What we try to do here is to give a general and comprehensive approach to the construction of magic borders, capable of assuming methods produced in the past like particular cases. This general approach consists of a transformation of the problem of constructing magic borders to a simpler - almost trivial - form. In the first section, we give some definitions and notation. The second section consists of the exposition and proof of our method for the diferent cases that appear (theorems 1 and 2). Although methods for the construction of bordered magic squares have always been presented as individual succesful attempts to solve the problem, we will see that a common pattern underlies the fundamental mechanisms that lead to the construction of such squares. This approach provides techniques for constructing many magic bordered squares of any order, which is a first step to construct all of them, and finally know how many bordered squares are for any order. These may be the first elements of a general theory on bordered magic squares.
The problem of the pawns
Published
• View Publication
• BIB
In this paper we study the number $M_{m,n}$ of ways to place nonattacking pawns on an $m\times n$ chessboard. We find an upper bound for $M_{m,n}$ and analyse its asymptotic behavior. It turns out that $\lim_{m,n\to\infty}(M_{m,n})^{1/mn}$ exists and is bounded from above by $(1+\sqrt{5})/2$. Also, we consider a lower bound for $M_{m,n}$ by reducing this problem to that of tiling an $(m+1)\times (n+1)$ board with square tiles of size $1\times 1$ and $2\times 2$. Moreover, we use the transfer-matrix method to implement an algorithm that allows us to get an explicit formula for $M_{m,n}$ for given $m$.
Lattice path combinatorics and asymptotics of multiplicities of weights in tensor powers
Published in J. Funct. Anal. 217 (2004), no. 2, 402--447.
• View Publication
• BIB
We give asymptotic formulas for the multiplicities of weights and irreducible summands in high-tensor powers $V_λ^{\otimes N}$ of an irreducible representation $V_λ$ of a compact connected Lie group $G$. The weights are allowed to depend on $N$, and we obtain several regimes of pointwise asymptotics, ranging from a central limit region to a large deviations region. We use a complex steepest descent method that applies to general asymptotic counting problems for lattice paths with steps in a convex polytope.
Realization of finite Abelian groups by nets in P^2
Published
• View Publication
• BIB
In the paper, we study special configurations of lines and points in the complex projective plane, so called k-nets. We describe the role of these configurations in studies of cohomology on arrangement complements.
Our most general result is the restriction on k - it can be only 3,4, or 5. The most interesting class of nets is formed by 3-nets that relate to finite geometries, latin squares, loops, etc.
All known examples of 3-nets in P^2 realize finite Abelian groups.
We study the problem what groups can be so realized. Our main result is that, except for groups with all invariant factors under 10, realizable groups are isomorphic to subgroups of a 2-torus. This follows from the `algebraization' result asserting that in the dual plane, the points dual to lines of a net lie on a plane cubic.
Descriptive Complexity of Finite Structures: Saving the Quantifier Rank
Published
• View Publication
• BIB
Given a relational structure M on n elements, let D(M) be the minimum quantifier rank of a first order formula identifying M up to isomorphism in the class of n-element structures. The obvious upper bound is D(M)\le n. We show that if the relations in M have arity at most k, then D(M)<(1-\frac{1}{2k})n+k^2-k+2. The coefficient at n, which equals 1-\frac{1}{2k}, is probably not best possible but this is the first known bound having it strictly below 1 (for fixed k).
If one is content to have the worse coefficient 1-\frac{1}{2k^2+2}, then one can choose an identifying formula of a very special form: a prenex formula with at most one quantifier alternation.
A few other results in this vein are presented.
Uniform bounds on multigraded regularity
Published in Journal of Algebraic Geometry, 14 (2005) 137-164.
• View Publication
• BIB
We give an effective uniform bound on the multigraded regularity of a subscheme of a smooth projective toric variety X with a given multigraded Hilbert polynomial. To establish this bound, we introduce a new combinatorial tool, called a Stanley filtration, for studying monomial ideals in the homogeneous coordinate ring of X. As a special case, we obtain a new proof of Gotzmann's regularity theorem. We also discuss applications of this bound to the construction of multigraded Hilbert schemes.
On the Roots of Independence Polynomials of Almost All Very Well-Covered Graphs
Published
• View Publication
• BIB
If for any k the k-th coefficient of a polynomial I(G;x)is equal to the number of stable sets of cardinality k in graph G, then it is called the independence polynomial of G (Gutman and Harary, 1983). A graph G is very well-covered (Favaron, 1982) if it has no isolated vertices, its order equals 2*alpha(G), where alpha(G) is the size of a maximum stable set, and it is well-covered (i.e., all its maximal independent sets are of the same size, Plummer, 1970). For instance, appending a single pendant edge to each vertex of G yields a very well-covered graph, which we denote by G*. Under certain conditions, any well-covered graph equals G* for some G (Finbow, Hartnell and Nowakowski, 1993). The root of the smallest modulus of the independence polynomial of any graph is real (Brown, Dilcher, and Nowakowski, 2000). The location of the roots of the independence polynomial in the complex plane, and the multiplicity of the root of the smallest modulus are investigated in a number of articles. In this paper we establish formulae connecting the coefficients of I(G;x) and I(G*;x), which allow us to show that the number of roots of I(G;x) is equal to the number of roots of I(G*;x) different from -1, which appears as a root of multiplicity alpha(G*)- alpha(G) for I(G*;x). We also prove that the real roots of I(G*;x) are in [-1,-1/(2*alpha(G*)), while for a general graph of order n we show that its roots lie in |z| > 1/(2n-1). Using the properties of the roots of the independence polynomial, we demonstrate that the independence polynomial distinguishes well-covered spiders (well-covered trees with at most one vertex of degree greater than two) among general well-covered trees.
Infinite serie of extreme Delaunay polytopes
Published
• View Publication
• BIB
A Delaunay polytope $P$ is said to be {\em extreme} if the only (up to isometries) affine bijective transformations $f$ of $\R^n$, for which $f(P)$ is again a Delaunay polytope, are the homotheties. This notion was introduced in \cite{DGL92}; also some examples in dimension 1, 6, 7, 15, 16, 22, 23 were constructed and it was proved that in dimension less than 6 there are no extreme Delaunay polytopes, except the segment. In this note, for every $n\geq 6$ we build an extreme Delaunay polytope $ED_n$ of dimension $n$.
h-vectors of Gorenstein* simplicial posets
Published in Adv. Math. 194 (2005), 332--344
• Search Publication
As is well known, h-vectors of simple (or simplicial) convex polytopes are characterized. In fact, those h-vectors must satisfy Dehn-Sommerville equations and some other inequalities. Simple convex polytopes determine Gorenstein* simplicial posets and h-vectors are defined for simplicial posets. It is known that h-vectors of Gorenstein* simplicial posets must satisfy Dehn-Sommerville equations and that every component in the h-vectors must be non-negative. In this paper we will show that h-vectors of Gorenstein* simplicial posets must satisfy one more subtle condition conjectured by R. Stanley and complete characterization of those h-vectors. Our proof is purely algebraic but the idea of the proof stems from topology.
Minimal surfaces from circle patterns: Geometry from combinatorics
Published in Ann. of Math. 164:1 (2006), 231-264
• View Publication
• BIB
We suggest a new definition for discrete minimal surfaces in terms of sphere packings with orthogonally intersecting circles. These discrete minimal surfaces can be constructed from Schramm's circle patterns. We present a variational principle which allows us to construct discrete analogues of some classical minimal surfaces. The data used for the construction are purely combinatorial--the combinatorics of the curvature line pattern. A Weierstrass-type representation and an associated family are derived. We show the convergence to continuous minimal surfaces.
Graphs without repeated cycle lengths
Published in Australasian Journal of Combinatorics 27 2003 101-105
• Search Publication
In 1975, P. Erdös proposed the problem of determining the maximum number $f(n)$ of edges in a graph of $n$ vertices in which any two cycles are of different lengths. In this paper, it is proved that $$f(n)\geq n+36t$$ for $t=1260r+169 (r\geq 1)$ and $n \geq 540t^{2}+{175811/2}t+{7989/2}$. Consequently, $\liminf\sb {n \to \infty} {f(n)-n \over \sqrt n} \geq \sqrt {2 + {2 \over 5}}.$ We make the following conjecture:
\par \bigskip \noindent{\bf Conjecture.} $$\lim_{n \to \infty} {f(n)-n\over \sqrt n}=\sqrt {2.4}.$$
Characterization of spectral triples: A combinatorial approach
We describe a general technique to study Dirac operators on noncommutative spaces under some additional assumptions. The main idea is to capture the compact resolvent condition in a combinatorial set up. Using this, we then prove that for a certain class of representations of the C^*-algebra C(SU_q(\ell+1)), any Dirac operator that diagonalises with respect to the natural basis of the underlying Hilbert space must have trivial sign.
Incidence combinatorics of resolutions
Published in Selecta Mathematica 10 (2004), 37-60
• View Publication
• BIB
We introduce notions of combinatorial blowups, building sets, and nested sets for arbitrary meet-semilattices. This gives a common abstract framework for the incidence combinatorics occurring in the context of De Concini-Procesi models of subspace arrangements and resolutions of singularities in toric varieties. Our main theorem states that a sequence of combinatorial blowups, prescribed by a building set in linear extension compatible order, gives the face poset of the corresponding simplicial complex of nested sets. As applications we trace the incidence combinatorics through every step of the De Concini-Procesi model construction, and we introduce the notions of building sets and nested sets to the context of toric varieties.
There are several other instances, such as models of stratified manifolds and certain graded algebras associated with finite lattices, where our combinatorial framework has been put to work; we present an outline in the end of this paper.
On the Maximum Satisfiability of Random Formulas
Published
• View Publication
• BIB
Maximum satisfiability is a canonical NP-hard optimization problem that appears empirically hard for random instances. Let us say that a Conjunctive normal form (CNF) formula consisting of $k$-clauses is $p$-satisfiable if there exists a truth assignment satisfying $1-2^{-k}+p 2^{-k}$ of all clauses (observe that every $k$-CNF is 0-satisfiable). Also, let $F_k(n,m)$ denote a random $k$-CNF on $n$ variables formed by selecting uniformly and independently $m$ out of all possible $k$-clauses. It is easy to prove that for every $k>1$ and every $p$ in $(0,1]$, there is $R_k(p)$ such that if $r >R_k(p)$, then the probability that $F_k(n,rn)$ is $p$-satisfiable tends to 0 as $n$ tends to infinity. We prove that there exists a sequence $δ_k \to 0$ such that if $r <(1-δ_k) R_k(p)$ then the probability that $F_k(n,rn)$is $p$-satisfiable tends to 1 as $n$ tends to infinity. The sequence $δ_k$ tends to 0 exponentially fast in $k$.