Showing 20 papers (Total: 81623 papers, 47312 authors in database)
Cores of simplicial complexes
Published
• View Publication
• BIB
We introduce a method to reduce the study of the topology of a simplicial complex to that of a simpler one. We give some applications of this method to complexes arising from graphs. As a consequence, we answer some questions raised in [R.Ehrenborg, G.Hetyei, European J.Combin.27 (2006), no.6, 906-923] on the independence complex and the dominance complex. The techniques used come mainly from monomial ideal theory.
Coxeter Elements and Periodic Auslander-Reiten Quiver
Published
• View Publication
• BIB
In this paper we show that for a simply-laced root system a choice of $C$ gives rise to a natural construction of the Dynkin diagram, in which vertices of the diagram correspond to $C$-orbits in $R$; moreover, it gives an identification of $R$ with a certain subset $Ihat$ of $I x Z_{2h}$, where $h$ is the Coxeter number. The set $Ihat$ has a natural quiver structure; we call it the periodic Auslander-Reiten quiver. This gives a combinatorial construction of the root system associated with the Dynkin diagram $I$: roots are vertices of $Ihat$, and the root lattice and the inner product admit an explicit description in terms of $Ihat$. Finally, we relate this construction to the theory of quiver representations.
Graph coloring with no large monochromatic components
Published
• View Publication
• BIB
For a graph G and an integer t we let mcc_t(G) be the smallest m such that there exists a coloring of the vertices of G by t colors with no monochromatic connected subgraph having more than m vertices. Let F be any nontrivial minor-closed family of graphs. We show that \mcc_2(G) = O(n^{2/3}) for any n-vertex graph G \in F. This bound is asymptotically optimal and it is attained for planar graphs. More generally, for every such F and every fixed t we show that mcc_t(G)=O(n^{2/(t+1)}). On the other hand we have examples of graphs G with no K_{t+3} minor and with mcc_t(G)=Ω(n^{2/(2t-1)}).
It is also interesting to consider graphs of bounded degrees. Haxell, Szabo, and Tardos proved \mcc_2(G) \leq 20000 for every graph G of maximum degree 5. We show that there are n-vertex 7-regular graphs G with \mcc_2(G)=Ω(n), and more sharply, for every ε>0 there exists c_ε>0 and n-vertex graphs of maximum degree 7, average degree at most 6+εfor all subgraphs, and with mcc_2(G)\ge c_\eps n. For 6-regular graphs it is known only that the maximum order of magnitude of \mcc_2 is between \sqrt n and n.
We also offer a Ramsey-theoretic perspective of the quantity \mcc_t(G).
Multiplier ideals of sums via cellular resolutions
Published
• View Publication
• BIB
Fix nonzero ideal sheaves a_1,...,a_r on a normal Q-Gorenstein complex variety X. Fix any positive real number c, and consider the multiplier ideal J of the sum a_1+...+a_r with weighting coefficient c. We construct an exact sequence resolving J by sheaves over X that are direct sums of multiplier ideals for products a_1^{v_1}...a_r^{v_r} for various real vectors v such that v_1+...+v_r = c. The resolution is cellular, in the sense that its boundary maps are encoded by the algebraic chain complex of a regular CW-complex. The CW-complex is naturally expressed as a triangulation T of the simplex of nonnegative real vectors summing to c. The acyclicity of our resolution reduces to that of a cellular free resolution, supported on T, of a related monomial ideal. This acyclicity rests on a comparison between the homology of certain homology-manifolds-with-boundary and the homology of the simplicial complexes obtained by deleting collections of boundary faces from them. Our resolution implies the multiplier ideal sum formula J((a_1+...+a_r)^c) = \sum_{|v|=c} J(a_1^{v_1}...a_r^{v_r}), which implicitly follows from Takagi's proof of the two-summand formula (math.AG/0410612). We recover Howald's multiplier ideal formula for monomial ideals (math.AG/0003232) as a special case. Our resolution also yields a new exactness proof for the Skoda complex.
The Combinatorics of the Garsia-Haiman Modules for Hook Shapes
Published
• View Publication
• BIB
Several bases of the Garsia-Haiman modules for hook shapes are given, as well as combinatorial decomposition rules for these modules. These bases and rules extend the classical ones for the coinvariant algebra of type $A$. We also give a decomposition of the Garsia-Haiman modules into descent representations.
On sets with small doubling
Published
• View Publication
• BIB
Let G be an arbitrary Abelian group and let A be a finite subset of G. A has small additive doubling if |A+A| < K|A| for some K>0. These sets were studied in papers of G.A. Freiman, Y. Bilu, I. Ruzsa, M.C.--Chang, B. Green and T.Tao. In the article we prove that if we have some minor restrictions on K then for any set with small doubling there exists a set Lambda, |Lambda| << K log |A| such that |A\cap Lambda| >> |A| / K^{1/2 + c}, where c > 0. In contrast to the previous results our theorem is nontrivial for large K. For example one can take K equals |A|^η, where η>0. We use an elementary method in our proof.
Hadamard matrices of order 764 exist
Published in Combinatorica 28(4) (2008), 487-489
• Search Publication
We construct two Hadamard matrices of order 764. Both are of Goethals-Seidel type.
Binomial identities related to Calabi-Yau differential equations
When searching for Calabi.Yau differential equations, often different formulas for the coefficients give the same differential equation. The coefficients are usually sums (simple, double or triple) of products of binomial coefficients. This results in numerous binomial identities.
A general exhaustive generation algorithm for Gray structures
Published
• View Publication
• BIB
Starting from a succession rule for Catalan numbers, we define a procedure encoding and listing the objects enumerated by these numbers such that two consecutive codes of the list differ only for one digit. Gray code we obtain can be generalized to all the succession rules with the stability property: each label $(k)$ has in its production two labels $c_1$ and $c_2$, always in the same position, regardless of $k$. Because of this link, we define Gray structures the sets of those combinatorial objects whose construction can be encoded by a succession rule with the stability property. This property is a characteristic that can be found among various succession rules, as the finite, factorial or transcendental ones. We also indicate an algorithm which is a very slight modification of the Walsh's one, working in a O(1) worst-case time per word for generating Gray codes.
Partitions weighted by the parity of the crank
Published
• View Publication
• BIB
A partition statistic ` crank' gives combinatorial interpretations for Ramanujan's famous partition congruences. In this paper, we establish an asymptotic formula, Ramanujan type congruences, and q-series identities that the number of partitions with even crank $M_e(n)$ minus the number of partitions with odd crank $M_o(n)$ satisfies. For example, we show that $M_e(5n+4)-M_o(5n+4)\equiv 0 \pmod 5.$ We also determine the exact values of $M_e(n)-M_o(n)$ in case of partitions into distinct parts, which are at most two and zero for infinitely many $n$.
Phase diagram of the chromatic polynomial on a torus
Published in Nucl.Phys.B783:238-296,2007
• View Publication
• BIB
We study the zero-temperature partition function of the Potts antiferromagnet (i.e., the chromatic polynomial) on a torus using a transfer-matrix approach. We consider square- and triangular-lattice strips with fixed width L, arbitrary length N, and fully periodic boundary conditions. On the mathematical side, we obtain exact expressions for the chromatic polynomial of widths L=5,6,7 for the square and triangular lattices. On the physical side, we obtain the exact ``phase diagrams'' for these strips of width L and infinite length, and from these results we extract useful information about the infinite-volume phase diagram of this model: in particular, the number and position of the different phases.
Percolation on sparse random graphs with given degree sequence
Published
• View Publication
• BIB
We study the two most common types of percolation process on a sparse random graph with a given degree sequence. Namely, we examine first a bond percolation process where the edges of the graph are retained with probability p and afterwards we focus on site percolation where the vertices are retained with probability p. We establish critical values for p above which a giant component emerges in both cases. Moreover, we show that in fact these coincide. As a special case, our results apply to power law random graphs. We obtain rigorous proofs for formulas derived by several physicists for such graphs.
Non-commutative Sylvester's determinantal identity
Published
• View Publication
• BIB
Sylvester's identity is a classical determinantal identity with a straightforward linear algebra proof. We present a new, combinatorial proof of the identity, prove several non-commutative versions, and find a $β$-extension that is both a generalization of Sylvester's identity and the $β$-extension of the MacMahon master theorem.
Counting magic squares in quasi-polynomial time
We present a randomized algorithm, which, given positive integers n and t and a real number 0< epsilon <1, computes the number Sigma(n, t) of n x n non-negative integer matrices (magic squares) with the row and column sums equal to t within relative error epsilon. The computational complexity of the algorithm is polynomial in 1/epsilon and quasi-polynomial in N=nt, that is, of the order N^{log N}. A simplified version of the algorithm works in time polynomial in 1/epsilon and N and estimates Sigma(n,t) within a factor of N^{log N}. This simplified version has been implemented. We present results of the implementation, state some conjectures, and discuss possible generalizations.
The Profile of relations
The {\it profile} of a relational structure $R$ is the function $φ_R$ which counts for every integer $n$ the number of its $n$-element substructures up to an isomorphism. Many counting functions are profiles. Interesting examples come from permutation groups. Some salient facts about the behavior of the profile are presented. Techniques from ordered sets and combinatorics (notably the notion of well-quasi-order, the related notions of ordered algebras, Ramsey theorem) are illustrated. Ongoing resarch suggests to view the profile of a relational structure $R$ as the Hilbert function of some graded algebra associated with $R$. A hint at the solution of a conjecture of P.J.Cameron on the integrity of the ring of the orbit algebra is given. Recent progress made with Y.Boudabbous and N.Thiéry on the conjecture that the profile is a quasi-polynomial if its growth is polynomial (and the structure has a finite kernel) are presented.
Inverse Semigroups and Combinatorial C*-Algebras
Published
• View Publication
• BIB
We describe a special class of representations of an inverse semigroup S on Hilbert's space which we term "tight". These representations are supported on a subset of the spectrum of the idempotent semilattice of S, called the "tight spectrum", which is in turn shown to be precisely the closure of the space of ultra-filters, once filters are identified with semicharacters in a natural way. These representations are moreover shown to correspond to representations of the C*-algebra of the groupoid of germs for the action of S on its tight spectrum.
We then treat the case of certain inverse semigroups constructed from a semigroupoid, generalizing and inspired by inverse semigroups constructed from ordinary and higher rank graphs. The tight representations of this inverse semigroup are in one-to-one correspondence with representations of the semigroupoid, and the semigroupoid algebra is given a groupoid model. The groupoid which arises from this construction is shown to be the same as the boundary path groupoid of Farthing, Muhly and Yeend, at least in the singly aligned, sourceless case.
On value sets of polynomials over a field
Published in Finite Fields Appl. 14(2008), 470--481
• View Publication
• BIB
Let F be any field. Let p(F) be the characteristic of F if F is not of characteristic zero, and let p(F)=+\infty otherwise. Let A_1,...,A_n be finite nonempty subsets of F, and let
$$f(x_1,...,x_n)=a_1x_1^k+...+a_nx_n^k+g(x_1,...,x_n)\in F[x_1,...,x_n]$$ with k in {1,2,3,...}, a_1,...,a_n in F\{0} and deg(g)<k. We show that $$|{f(x_1,...,x_n):x_1 in A_1,...,x_n in A_n}| \geq min{p(F),\sum_{i=1}^n[(|A_i|-1)/k]+1}.$$ When $k\geq n$ and $|A_i|\geq i$ for $i=1,...,n$, we also have $$|{f(x_1,...,x_n):x_1 in A_1,...,x_n in A_n, and x_i not=x_j if i not=j}| \geq min{p(F),\sum_{i=1}^n[(|A_i|-i)/k]+1};$$ consequently, if $n\geq k$ then for any finite subset A of F we have $$|{f(x_1,...,x_n): x_1,...,x_n in A, and x_i not=x_j if i not=j}| \geq min{p(F),|A|-n+1}.$$ In the case $n>k$ we propose a further conjecture which extends the Erdos-Heilbronn conjecture in a new direction.
A generalization of Foata's fundamental transformation and its applications to the right-quantum algebra
The right-quantum algebra was introduced recently by Garoufalidis, Lê and Zeilberger in their quantum generalization of the MacMahon master theorem. A combinatorial proof of this identity due to Konvalinka and Pak, and also the recent proof of the right-quantum Sylvester's determinant identity, make heavy use of a bijection related to the first fundamental transformation on words introduced by Foata. This paper makes explicit the connection between this transformation and right-quantum linear algebra identities; applications include a new combinatorial proof of the right-quantum matrix inverse theorem, and two new results, the right-quantum Jacobi ratio theorem and a generalization of the right-quantum MacMahon master thorem.
Regular, pseudo-regular, and almost regular matrices
We give lower bounds on the largest singular value of arbitrary matrices, some of which are asymptotically tight for almost all matrices. To study when these bounds are exact, we introduce several combinatorial concepts. In particular, we introduce regular, pseudo-regular, and almost regular matrices. Nonnegative, symmetric, almost regular matrices were studied earlier by Hoffman, Wolfe, and Hoffmeister.
Equivalence classes of Latin squares and nets in CP^2
The fundamental combinatorial structure of a net in CP^2 is its associated set of mutually orthogonal latin squares. We define equivalence classes of sets of orthogonal Latin squares by label equivalences of the lines of the corresponding net in CP^2. Then we count these equivalence classes for small cases. Finally, we prove that the realization spaces of these classes in CP^2 are empty to show some non-existence results for 4-nets in CP^2.