natural ↗ reference
4894 papers tagged with this keyword
Stanley decompositions and Hilbert depth in the Koszul complex
Published in J. Commut. Algebra 2 (2010), 327-357
• View Publication
• BIB
Stanley decompositions of multigraded modules $M$ over polynomials rings have been discussed intensively in recent years. There is a natural notion of depth that goes with a Stanley decomposition, called the Stanley depth. Stanley conjectured that the Stanley depth of a module $M$ is always at least the (classical) depth of $M$. In this paper we introduce a weaker type of decomposition, which we call Hilbert decomposition, since it only depends on the Hilbert function of $M$, and an analogous notion of depth, called Hilbert depth. Since Stanley decompositions are Hilbert decompositions, the latter set upper bounds to the existence of Stanley decompositions. The advantage of Hilbert decompositions is that they are easier to find. We test our new notion on the syzygy modules of the residue class field of $K[X_1,...,X_n]$ (as usual identified with $K$). Writing $M(n,k)$ for the $k$-th syzygy module, we show that theHilbert depth of M(n,1) is $\lfloor(n+1)/2\rfloor$. Furthermore, we show that, for $n > k \ge \lfloor n/2\rfloor$, the Hilbert depth of $M(n,k)$ is equal to $n-1$. We conjecture that the same holds for the Stanley depth. For the range $n/2 > k > 1$, it seems impossible to come up with a compact formula for the Hilbert depth. Instead, we provide very precise asymptotic results as $n$ becomes large.
Factors of binomial sums from the Catalan triangle
Published in J. Number Theory 130 (2010), 172--186
• View Publication
• BIB
By using the Newton interpolation formula, we generalize the recent identities on the Catalan triangle obtained by Miana and Romero as well as those of Chen and Chu. We further study divisibility properties of sums of products of binomial coefficients and an odd power of a natural number. For example, we prove that for all positive integers $n_1, ..., n_m$, $n_{m+1}=n_1$, and any nonnegative integer $r$, the expression $$n_1^{-1}{n_1+n_{m}\choose n_1}^{-1} \sum_{k=1}^{n_1}k^{2r+1}\prod_{i=1}^{m} {n_i+n_{i+1}\choose n_i+k}$$ is either an integer or a half-integer. Moreover, several related conjectures are proposed.
Analysis of misere Sprouts game with reduced canonical trees
Sprouts is a two-player topological game, invented in 1967 by Michael Paterson and John Conway. The game starts with p spots, lasts at most 3p-1 moves, and the player who makes the last move wins. In the misere version of Sprouts, on the contrary, the player who makes the last move loses. Sprouts is a very intricate game, and the first computer analysis in 1991 reached only p=11. New results were made possible in 2007 up to p=32 by using combinatorial game theory: when a position is a sum of independant games, it is possible to replace some of these games by a natural number, called the nimber, without changing the winning or losing outcome of the complete position. However, this reduction does not apply to the misere version, making the analysis of Sprouts (and more generally of any game) more difficult in the misere version. In 1991, only p=9 was reached in misere Sprouts, and we describe in this paper how we obtained up to p=17. First, we describe a theoretical tool, the reduced canonical tree, which plays a role similar to the nimber in the normal version. Then, we describe the way we have implemented it in our program, and detail the results it allowed us to obtain on misere Sprouts.
A positive Monk formula in the S^1-equivariant cohomology of type A Peterson varieties
Published
• View Publication
• BIB
Peterson varieties are a special class of Hessenberg varieties that have been extensively studied e.g. by Peterson, Kostant, and Rietsch, in connection with the quantum cohomology of the flag variety. In this manuscript, we develop a generalized Schubert calculus, and in particular a positive Chevalley-Monk formula, for the ordinary and Borel-equivariant cohomology of the Peterson variety $Y$ in type $A_{n-1}$, with respect to a natural $S^1$-action arising from the standard action of the maximal torus on flag varieties. As far as we know, this is the first example of positive Schubert calculus beyond the realm of Kac-Moody flag varieties $G/P$.
Our main results are as follows. First, we identify a computationally convenient basis of $H^*_{S^1}(Y)$, which we call the basis of Peterson Schubert classes. Second, we derive a manifestly positive, integral Chevalley-Monk formula for the product of a cohomology-degree-2 Peterson Schubert class with an arbitrary Peterson Schubert class. Both $H^*_{S^1}(Y)$ and $H^*(Y)$ are generated in degree 2. Finally, by using our Chevalley-Monk formula we give explicit descriptions (via generators and relations) of both the $S^1$-equivariant cohomology ring $H^*_{S^1}(Y)$ and the ordinary cohomology ring $H^*(Y)$ of the type $A_{n-1}$ Peterson variety. Our methods are both directly from and inspired by those of GKM (Goresky-Kottwitz-MacPherson) theory and classical Schubert calculus. We discuss several open questions and directions for future work.
A Variant of the Stanley Depth for Multisets
Published in Discrete Mathematics Volume 342, Issue 5, May 2019, Pages 1325--1335
• View Publication
• BIB
We define and study a variant of the \emph{Stanley depth} which we call \emph{total depth} for partially ordered sets (posets). This total depth is the most natural variant of Stanley depth from $\llbracket S_k\rrbracket$ -- the poset of nonempty subsets of $\{1,2,\dots,k\}$ ordered by inclusion -- to any finite poset. In particular, the total depth can be defined for the poset of nonempty submultisets of a multiset ordered by inclusion, which corresponds to a product of chains with the bottom element deleted. We show that the total depth agrees with Stanley depth for $\llbracket S_k\rrbracket$ but not for such posets in general. We also prove that the total depth of the product of chains $\bm{n}^k$ with the bottom element deleted is $(n-1)\lceil{k/2}\rceil$, which generalizes a result of Bir{ó}, Howard, Keller, Trotter, and Young (2010). Further, we provide upper and lower bounds for a general multiset and find the total depth for any multiset with at most five distinct elements. In addition, we can determine the total depth for any multiset with $k$ distinct elements if we know all the interval partitions of $\llbracket S_k\rrbracket$.
Lattice point methods for combinatorial games
Published
• View Publication
• BIB
We encode arbitrary finite impartial combinatorial games in terms of lattice points in rational convex polyhedra. Encodings provided by these \emph{lattice games} can be made particularly efficient for octal games, which we generalize to \emph{squarefree games}. These additionally encompass all heap games in a natural setting, in which the Sprague-Grundy theorem for normal play manifests itself geometrically. We provide an algorithm to compute normal play strategies.
The setting of lattice games naturally allows for mis`ere play, where 0 is declared a losing position. Lattice games also allow situations where larger finite sets of positions are declared losing. Generating functions for sets of winning positions provide data structures for strategies of lattice games. We conjecture that every lattice game has a \emph{rational strategy}: a rational generating function for its winning positions. Additionally, we conjecture that every lattice game has an \emph{affine stratification}: a partition of its set of winning positions into a finite disjoint union of finitely generated modules for affine semigroups.
Möbius transform, moment-angle complexes and Halperin-Carlsson conjecture
Published in J. Algebraic Combin. 35 (2012), 121-140
• View Publication
• BIB
In this paper, we give an algebra-combinatorics formula of the Möbius transform for an abstract simplicial complex $K$ on $[m]=\{1, ..., m\}$ in terms of the Betti numbers of the Stanley-Reisner face ring of $K$. Furthermore, we employ a way of compressing $K$ to estimate the lower bound of the sum of those Betti numbers by using this formula. As an application, associating with the moment-angle complex $\mathcal{Z}_K$ (resp. real moment-angle complex ${\Bbb R}\mathcal{Z}_K$) of $K$, we show that the Halperin-Carlsson conjecture holds for $\mathcal{Z}_K$ (resp. ${\Bbb R}\mathcal{Z}_K$) under the restriction of the natural $T^m$-action on $\mathcal{Z}_K$ (resp. $({\Bbb Z}_2)^m$-action on ${\Bbb R}\mathcal{Z}_K$).
Dual partially harmonic tensors and Brauer-Schur-Weyl duality
Published
• View Publication
• BIB
Let $V$ be a $2m$-dimensional symplectic vector space over an algebraically closed field $K$. Let $\mbb_n^{(f)}$ be the two-sided ideal of the Brauer algebra $\mbb_n(-2m)$ over $K$ generated by $e_1e_3... e_{2f-1}$, where $0\leq f\leq [n/2]$. Let $\mathcal{HT}_{f}^{\otimes n}$ be the subspace of partially harmonic tensors of valence $f$ in $V^{\otimes n}$. In this paper, we prove that $\dim\mathcal{HT}_f^{\otimes n}$ and $\dim\End_{KSp(V)}\Bigl(V^{\otimes n}/V^{\otimes n}\mbb_n^{(f)}\Bigr)$ are both independent of $K$, and the natural homomorphism from $\mbb_n(-2m)/\mbb_n^{(f)}$ to $\End_{KSp(V)}\Bigl(V^{\otimes n}/V^{\otimes n}\mbb_n^{(f)}\Bigr)$ is always surjective. We show that $\mathcal{HT}_{f}^{\otimes n}$ has a Weyl filtration and is isomorphic to the dual of $V^{\otimes n}\mbb_n^{(f)}/V^{\otimes n}\mbb_n^{(f+1)}$ as a $Sp(V)$-$(\mbb_n(-2m)/\mbb_n^{(f+1)})$-bimodule. We obtain a $Sp(V)$-$\mbb_n$-bimodules filtration of $V^{\otimes n}$ such that each successive quotient is isomorphic to some $\nabla(\lam)\otimes z_{g,\lam}\mbb_n$ with $\lam\vdash n-2g$, $\ell(\lam)\leq m$ and $0\leq g\leq [n/2]$, where $\nabla(\lam)$ is the co-Weyl module associated to $\lam$ and $z_{g,\lam}$ is an explicitly constructed maximal vector of weight $\lam$. As a byproduct, we show that each right $\mbb_n$-module $z_{g,\lam}\mbb_n$ is integrally defined and stable under base change.
Hyperbolic tessellations associated to Bianchi groups
Published
• View Publication
• BIB
Let F/Q be number field. The space of positive definite binary Hermitian forms over F form an open cone in a real vector space. There is a natural decomposition of this cone into subcones, which descend give rise to hyperbolic tessellations of 3-dimensional hyperbolic space by ideal polytopes.
We compute the structure of these polytopes for a range of imaginary quadratic fields.
Colorings of hypergraphs, perfect graphs, and associated primes of powers of monomial ideals
Published
• View Publication
• BIB
There is a natural one-to-one correspondence between squarefree monomial ideals and finite simple hypergraphs via the cover ideal construction. Let H be a finite simple hypergraph, and let J = J(H) be its cover ideal in a polynomial ring R. We give an explicit description of all associated primes of R/J^s, for any power J^s of J, in terms of the coloring properties of hypergraphs arising from H. We also give an algebraic method for determining the chromatic number of H, proving that it is equivalent to a monomial ideal membership problem involving powers of J. Our work yields two new purely algebraic characterizations of perfect graphs, independent of the Strong Perfect Graph Theorem; the first characterization is in terms of the sets Ass(R/J^s), while the second characterization is in terms of the saturated chain condition for associated primes.
On natural join of posets properties and first applications
In addition to the three standard operations on posets which are dual of poset or ordinal and cardinal sums of partial ordered sets one adds the natural join of posets. This is especially natural natural join operation for graded posets including very special and important the so called cobweb posets. The main aims of this article are the presentation of the authors update applications of natural join of posets in the domain of graded posets and summary of the general properties of natural join of posets with posing some questions arising on the way. Thus in this note apart from revealing some general properties of natural join of posets we also deliver the authors combinatorial interpretations of cobweb posets including discrete hyperboxes coding of the so called cobweb posets .Various explicit formulas for the zeta functions and zeta matrices as well as the inverse of zeta matrix for any graded posets are supplied. Whitney numbers formulas and those for characteristic polynomials are given too.
Fifty Years of the Spectrum Problem: Survey and New Results
Published in Bulletin of Symbolic Logic, 18.4 (2012) pp. 505-553
• View Publication
• BIB
In 1952, Heinrich Scholz published a question in the Journal of Symbolic Logic asking for a characterization of spectra, i.e., sets of natural numbers that are the cardinalities of finite models of first order sentences. Günter Asser asked whether the complement of a spectrum is always a spectrum. These innocent questions turned out to be seminal for the development of finite model theory and descriptive complexity. In this paper we survey developments over the last 50-odd years pertaining to the spectrum problem. Our presentation follows conceptual developments rather than the chronological order. Originally a number theoretic problem, it has been approached in terms of recursion theory, resource bounded complexity theory, classification by complexity of the defining sentences, and finally in terms of structural graph theory. Although Scholz' question was answered in various ways, Asser's question remains open. One appendix paraphrases the contents of several early and not easily accesible papers by G. Asser, A. Mostowski, J. Bennett and S. Mo. Another appendix contains a compendium of questions and conjectures which remain open.
Definability of Combinatorial Functions and Their Linear Recurrence Relations
Published in Lecture Notes in Computer Science, vol. 6300, pages 444-462, 2010
• View Publication
• BIB
We consider functions of natural numbers which allow a combinatorial interpretation as density functions (speed) of classes of relational structures, s uch as Fibonacci numbers, Bell numbers, Catalan numbers and the like. Many of these functions satisfy a linear recurrence relation over $\mathbb Z$ or ${\mathbb Z}_m$ and allow an interpretation as counting the number of relations satisfying a property expressible in Monadic Second Order Logic (MSOL).
C. Blatter and E. Specker (1981) showed that if such a function $f$ counts the number of binary relations satisfying a property expressible in MSOL then $f$ satisfies for every $m \in \mathbb{N}$ a linear recurrence relation over $\mathbb{Z}_m$.
In this paper we give a complete characterization in terms of definability in MSOL of the combinatorial functions which satisfy a linear recurrence relation over $\mathbb{Z}$, and discuss various extensions and limitations of the Specker-Blatter theorem.
Macdonald polynomials and symmetric functions
The ring of symmetric functions $Λ$, with natural basis given by the Schur functions, arise in many different areas of mathematics. For example, as the cohomology ring of the grassmanian, and as the representation ring of the symmetric group. One may define a coproduct on $Λ$ by the plethystic addition on alphabets. In this way the ring of symmetric functions becomes a Hopf algebra. The Littlewood--Richardson numbers may be viewed as the structure constants for the co-product in the Schur basis. In the first part of this thesis we show that by using a generalization of the classical umbral calculus of Gian-Carlo Rota, one may deform the basis of Schur functions to find many other bases for which the Littlewood--Richardson numbers as coproduct structure constants. The Macdonald polynomials are a somewhat mysterious qt-deformation of the Schur functions. The second part of this thesis contains a proof a generating function identity for the Macdonald polynomials which was originally conjectured by Kawanaka.
Schubert polynomials and Arakelov theory of orthogonal flag varieties
Published in Math. Zeitschrift 268 (2011), 355-370
• View Publication
• BIB
We propose a theory of combinatorially explicit Schubert polynomials which represent the Schubert classes in the Borel presentation of the cohomology ring of orthogonal flag varieties. We use these polynomials to describe the arithmetic Schubert calculus on these spaces. We also give a method to compute the natural arithmetic intersection numbers which arise, and prove that they are all rational numbers.
Colorful Proofs of the Generating Formulas for Signed and Unsigned Stirling Numbers of the First Kind
Published
• View Publication
• BIB
We describe proofs of the standard generating formulas for unsigned and signed Stirling numbers of the first kind that follow from a natural combinatorial interpretation based on cycle-colored permutations.
Natural join construction of graded posets versus ordinal sum and discrete hyper boxes
One introduces here the natural join $P \os Q$ of graded posets $< P,\leq_P >$ and $< Q,\leq_Q >$ with correspondingly maximal and minimal sets being identical as expressed by ordinal sum $P\oplus Q$ apart from other definition and due to that one arrives at a simple proof of the $M{ö}bius $ function formula for cobweb posets. We also quote the other authors explicit formulas for the zeta matrix and its inverse for any graded posets with the finite set of minimal elements from earlier works of the author. These formulas are based on the formulas for cobweb posets and their $Hasse$ diagrams or graphs named $KoDAGs$ which are interpreted as chains of binary complete or universal relations joined by the natural join operation. Natural join of two independent sets is therefore the ordinal sum of this trivially ordered posets represented also by directed biclique named dibiclique and correspondingly by their $Hasse $ diagrams or graphs named $KoDAGs$. Such cobweb posets and equivalently their Hasse diagrams or graphs named $KoDAGs$ are also encoded by discrete hyper-boxes and the natural join operation of such discrete hyper boxes is just cartesian product of them accompanied with projection out of common faces. All graded posets with no mute vertices in their $Hasse$ diagrams which means that no vertex has indegree or outdegree equal zero are natural join of chain of relations and may be at the same time interpreted an $n-ary$ relation, $n \in N \cup \{\infty \}$.
Nowhere-Harmonic Colorings of Graphs
Published
• View Publication
• BIB
Proper vertex colorings of a graph are related to its boundary map, also called its signed vertex-edge incidence matrix. The vertex Laplacian of a graph, a natural extension of the boundary map, leads us to introduce nowhere-harmonic colorings and analogues of the chromatic polynomial and Stanley's theorem relating negative evaluations of the chromatic polynomial to acyclic orientations. Further, we discuss some examples demonstrating that nowhere-harmonic colorings are more complicated from an enumerative perspective than proper colorings.
A geometric approach to acyclic orientations
Published in Order Volume 26, Number 4 (2009), 283-288
• View Publication
• BIB
The set of acyclic orientations of a connected graph with a given sink has a natural poset structure. We give a geometric proof of a result of Jim Propp: this poset is the disjoint union of distributive lattices.
New bases of some Hecke algebras via Soergel bimodules
Published
• View Publication
• BIB
For extra-large Coxeter systems (m(s,r)>3), we construct a natural and explicit set of Soergel bimodules D={D_w}_{w\in W} such that each D_w contains as a direct summand (or is equal to) the indecomposable Soergel bimodule B_w. When decategorified, we prove that D gives rise to a set {d_w}_{w\in W} that is actually a basis of the Hecke algebra. This basis is close to the Kazhdan-Lusztig basis and satisfies a ``positivity condition''.