Showing 20 papers (Total: 83076 papers, 47999 authors in database)
Tropical and Ordinary Convexity Combined
Published
• View Publication
• BIB
A polytrope is a tropical polytope which at the same time is convex in the ordinary sense. A $d$-dimensional polytrope turns out to be a tropical simplex, that is, it is the tropical convex hull of $d+1$ points. This statement is equivalent to the known fact that the Segre product of two full polynomial rings (over some field $K$) has the Gorenstein property if and only if the factors are generated by the same number of indeterminates. The combinatorial types of polytropes up to dimension three are classified.
A theorem on the cores of partitions
Published
• View Publication
• BIB
If s and t are relatively prime positive integers we show that the s-core of a t-core partition is again a t-core partition
Bijections between pattern-avoiding fillings of Young diagrams
Published in Journal of Combinatorial Theory Series A 117 (2010), 1218--1230
• View Publication
• BIB
The pattern-avoiding fillings of Young diagrams we study arose from Postnikov's work on positive Grassman cells. They are called Le-diagrams, and are in bijection with decorated permutations. Other closely-related diagrams are interpreted as acyclic orientations of some bipartite graphs. The definition of the diagrams is the same but the avoided patterns are different. We give here bijections proving that the number of pattern-avoiding filling of a Young diagram is the same, for these two different sets of patterns. The result was obtained by Postnikov via a reccurence relation. This relation was extended by Spiridonov to obtain more general results about other patterns and other polyominoes than Young diagrams, and we show that our bijections also extend to more general polyominoes.
A Note on Boolean Lattices and Farey Sequences II
Published in INTEGERS: Electronic Journal of Combinatorial Number Theory, 8 (2008), #A24
• Search Publication
We establish monotone bijections between subsequences of the Farey sequences and the halfsequences of Farey subsequences associated with elements of the Boolean lattices.
The dimensions of LU(3,q) codes
Published in Journal of Combinatorial Theory, Series A 116 (2009) 1073-1079
• View Publication
• BIB
A family of LDPC codes, called LU(3,q) codes, has been constructed from q-regular bipartite graphs. Recently, P. Sin and Q. Xiang determined the dimensions of these codes in the case that q is a power of an odd prime. They also obtained a lower bound for the dimension of an LU(3,q) code when q is a power of 2. In this paper we prove that this lower bound is the exact dimension of the LU(3,q) code. The proof involves the geometry of symplectic generalized quadrangles, the representation theory of Sp(4,q), and the ring of polynomials.
Admissibility of kneading sequences and structure of Hubbard trees for quadratic polynomials
Published
• View Publication
• BIB
Hubbard trees are invariant trees connecting the points of the critical orbits of postcritically finite polynomials. Douady and Hubbard \cite{Orsay} introduced these trees and showed that they encode the essential information of Julia sets in a combinatorial way. The itinerary of the critical orbit within the Hubbard tree is encoded by a (pre)periodic sequence on $\{\0,\1\}$ called \emph{kneading sequence}.
We prove that the kneading sequence completely encodes the Hubbard tree and its dynamics, and we show how to reconstruct the tree and in particular its branch points (together with their periods, their relative posititions, their number of arms and their local dynamics) in terms of the kneading sequence alone.
Every kneading sequence gives rise to an abstract Hubbard tree, but not every kneading sequence occurs in real dynamics or in complex dynamics. Milnor and Thurston \cite{MT} classified which kneading sequences occur in real dynamics; we do the same for complex dynamics in terms of a complex \emph{admissibility condition}. This complex admissibility condition fails if and only if the abstract Hubbard tree has a so-called \emph{evil} periodic branch point that is incompatible with local homeomorphic dynamics on the plane.
On Cobweb Admissible Sequences - The Production Theorem
Published in Proceedings of FCS'08, Interesting results, new models, and methodologies, pp.163-165, July 14-17, 2008, Las Vegas, USA
• Search Publication
In this note further clue decisive observations on cobweb admissible sequences are shared with the audience. In particular an announced proof of the Theorem 1 (by Dziemiańczuk) from [1] announced in India -Kolkata- December 2007 is delivered here. Namely here and there we claim that any cobweb admissible sequence F is at the point product of primary cobweb admissible sequences taking values one and/or certain power of an appropriate primary number p.
Here also an algorithm to produce the family of all cobweb-admissible sequences i.e. the Problem 1 from [1] i.e. one of several problems posed in source papers [2,3] is solved using the idea and methods implicitly present already in [4]
A Class of Errorless Codes for Over-loaded Synchronous Wireless and Optical CDMA Systems
Published
• View Publication
• BIB
In this paper we introduce a new class of codes for over-loaded synchronous wireless and optical CDMA systems which increases the number of users for fixed number of chips without introducing any errors. Equivalently, the chip rate can be reduced for a given number of users, which implies bandwidth reduction for downlink wireless systems. An upper bound for the maximum number of users for a given number of chips is derived. Also, lower and upper bounds for the sum channel capacity of a binary over-loaded CDMA are derived that can predict the existence of such over-loaded codes. We also propose a simplified maximum likelihood method for decoding these types of over-loaded codes. Although a high percentage of the over-loading factor degrades the system performance in noisy channels, simulation results show that this degradation is not significant. More importantly, for moderate values of Eb/N0 (in the range of 6-10 dB) or higher, the proposed codes perform much better than the binary Welch bound equality sequences.
Construction of combinatorial manifolds with the prescribed sets of links of vertices
Published in Izv. RAN, Ser. Matem., 72:5 (2008), 3-62 (in Russian); English transl. in: Izv. Math., 72:5 (2008), 845-899
• View Publication
• BIB
To each oriented closed combinatorial manifold we assign the set (with repetitions) of isomorphism classes of links of its vertices. The obtained transformation L is the main object of study of the present paper. We pose a problem on the inversion of the transformation L. We shall show that this problem is closely related to N.Steenrod's problem on realization of cycles and to the Rokhlin-Schwartz-Thom construction of combinatorial Pontryagin classes. It is easy to obtain a condition of balancing that is a necessary condition for a set of isomorphism classes of combinatorial spheres to belong to the image of the transformation L. In the present paper we give an explicit construction providing that each balanced set of isomorphism classes of combinatorial spheres gets into the image of L after passing to a multiple set and adding several pairs of the form (Z,-Z), where -Z is the sphere Z with the orientation reversed. This construction enables us, for a given singular simplicial cycle of a space R, to construct explicitly a combinatorial manifold M and a mapping $φ:M\to R$ such that $φ_*[M]=r[ξ]$ for some positive integer r. The construction is based on resolving singularities of the cycle $ξ$. We give applications of our main construction to cobordisms of manifolds with singularities and cobordisms of simple cells. In particular, we prove that every rational additive invariant of cobordisms of manifolds with singularities admits a local formula. Another application is the construction of explicit (though inefficient) local combinatorial formulae for polynomials in the rational Pontryagin classes of combinatorial manifolds.
Some relational structures with polynomial growth and their associated algebras II: Finite generation
Published
• View Publication
• BIB
The profile of a relational structure $R$ is the function $\varphi_R$ which counts for every integer $n$ the number, possibly infinite, $\varphi_R(n)$ of substructures of $R$ induced on the $n$-element subsets, isomorphic substructures being identified. If $\varphi_R$ takes only finite values, this is the Hilbert function of a graded algebra associated with $R$, the age algebra $A(R)$, introduced by P.~J.~Cameron.
In a previous paper, we studied the relationship between the properties of a relational structure and those of their algebra, particularly when the relational structure $R$ admits a finite monomorphic decomposition. This setting still encompasses well-studied graded commutative algebras like invariant rings of finite permutation groups, or the rings of quasi-symmetric polynomials.
In this paper, we investigate how far the well know algebraic properties of those rings extend to age algebras. The main result is a combinatorial characterization of when the age algebra is finitely generated. In the special case of tournaments, we show that the age algebra is finitely generated if and only if the profile is bounded. We explore the Cohen-Macaulay property in the special case of invariants of permutation groupoids. Finally, we exhibit sufficient conditions on the relational structure that make naturally the age algebra into a Hopf algebra.
A bijective proof for a theorem of Ehrhart
Published in Amer. Math. Monthly 116 (2009), no. 8, 688-701
• View Publication
• BIB
We give a new proof for a theorem of Ehrhart regarding the quasi-polynomiality of the function that counts the number of integer points in the integral dilates of a rational polytope. The proof involves a geometric bijection, inclusion-exclusion, and recurrence relations, and we also prove Ehrhart reciprocity using these methods.
An Algorithm for Finding Symmetric Gröbner Bases in Infinite Dimensional Rings
Published
• View Publication
• BIB
A \textit{symmetric ideal} $I \subseteq R = K[x_1,x_2,...]$ is an ideal that is invariant under the natural action of the infinite symmetric group. We give an explicit algorithm to find Gröbner bases for symmetric ideals in the infinite dimensional polynomial ring $R$. This allows for symbolic computation in a new class of rings. In particular, we solve the ideal membership problem for symmetric ideals of $R$.
Symmetric and Asymptotically Symmetric Permutations
We consider two related problems arising from a question of R. Graham on quasirandom phenomena in permutation patterns. A ``pattern'' in a permutation $σ$ is the order type of the restriction of $σ: [n] \to [n]$ to a subset $S \subset [n]$. First, is it possible for the pattern counts in a permutation to be exactly equal to their expected values under a uniform distribution? Attempts to address this question lead naturally to an interesting number theoretic problem: when does $k!$ divide $\binom{n}{k}$? Second, if the tensor product of a permutation with large random permutations is random-like in its pattern counts, what must the pattern counts of the original permutation be? A recursive formula is proved which uses a certain permutation ``contraction.''
A note on limit shapes of minimal difference partitions
Published in Journal of Mathematical Physics, Analysis, Geometry, vol. 4, No. 1, pp. 24-32 (2008)
• Search Publication
We provide a variational derivation of the limit shape of minimal difference partitions and discuss the link with exclusion statistics. Also see arXiv:0707.2312 for a related paper.
Incidence Modules for Symplectic Spaces in Characteristic Two
Published
• View Publication
• BIB
We study the permutation action of a finite symplectic group of characteristic 2 on the set of subspaces of its standard module which are either totally isotropic or else complementary to totally isotropic subspaces with respect to the alternating form. A general formula is obtained for the 2-rank of the incidence matrix for the inclusion of one-dimensional subspaces in the distinguished subspaces of a fixed dimension.
Symmetric and Quasi-Symmetric Functions associated to Polymatroids
Published
• View Publication
• BIB
To every subspace arrangement X we will associate symmetric functions P[X] and H[X]. These symmetric functions encode the Hilbert series and the minimal projective resolution of the product ideal associated to the subspace arrangement. They can be defined for discrete polymatroids as well. The invariant H[X] specializes to the Tutte polynomial T[X]. Billera, Jia and Reiner recently introduced a quasi-symmetric function F[X] (for matroids) which behaves valuatively with respect to matroid base polytope decompositions. We will define a quasi-symmetric function G[X] for polymatroids which has this property as well. Moreover, G[X] specializes to P[X], H[X], T[X] and F[X].
Geometric Properties of Assur Graphs
Published
• View Publication
• BIB
In our previous paper, we presented the combinatorial theory for minimal isostatic pinned frameworks - Assur graphs - which arise in the analysis of mechanical linkages. In this paper we further explore the geometric properties of Assur graphs, with a focus on singular realizations which have static self-stresses. We provide a new geometric characterization of Assur graphs, based on special singular realizations. These singular positions are then related to dead-end positions in which an associated mechanism with an inserted driver will stop or jam.
Schubert patches degenerate to subword complexes
Published in Transformation Groups, Volume 13, Numbers 3-4 / December, 2008
• View Publication
• BIB
We study the intersections of general Schubert varieties X_w with permuted big cells, and give an inductive degeneration of each such "Schubert patch" to a Stanley-Reisner scheme. Similar results had been known for Schubert patches in various types of Grassmannians. We maintain reducedness using the results of [Knutson 2007] on automatically reduced degenerations, or through more standard cohomology-vanishing arguments.
The underlying simplicial complex of the Stanley-Reisner scheme is a subword complex, as introduced for slightly different purposes in [Knutson-Miller 2004], and is homeomorphic to a ball. This gives a new proof of the Andersen-Jantzen-Soergel/Billey and Graham/Willems formulae for restrictions of equivariant Schubert classes to fixed points.
The morphology of infinite tournaments. Application to the growth of their profile
Published
• View Publication
• BIB
A tournament is \emph{acyclically indecomposable} if no acyclic autonomous set of vertices has more than one element. We identify twelve infinite acyclically indecomposable tournaments and prove that every infinite acyclically indecomposable tournament contains a subtournament isomorphic to one of these tournaments. The {\it profile} of a tournament $T$ is the function $φ_T$ which counts for each integer $n$ the number $φ_T(n)$ of tournaments induced by $T$ on the $n$-element subsets of $T$, isomorphic tournaments being identified. As a corollary of the result above we deduce that the growth of $φ_T$ is either polynomial, in which case $φ_T(n)\simeq an^k$, for some positive real $a$, some non-negative integer $k$, or as fast as some exponential.
Cobweb posets - Recent Results
Published in Adv. Stud. Contemp. Math. volume 16 (2), 2008 (April) pp. 197-218
• Search Publication
Cobweb posets uniquely represented by directed acyclic graphs are such a generalization of the Fibonacci tree that allows joint combinatorial interpretation for all of them under admissibility condition. This interpretation was derived in the source papers ([6,7] and references therein to the first author).[7,6,8] include natural enquires to be reported on here. The purpose of this presentation is to report on the progress in solving computational problems which are quite easily formulated for the new class of directed acyclic graphs interpreted as Hasse diagrams. The problems posed there and not yet all solved completely are of crucial importance for the vast class of new partially ordered sets with joint combinatorial interpretation. These so called cobweb posets - are relatives of Fibonacci tree and are labeled by specific number sequences - natural numbers sequence and Fibonacci sequence included. The cobweb posets might be identified with a chain of di-bicliques i.e. by definition - a chain of complete bipartite one direction digraphs [6]. Any chain of relations is therefore obtainable from the cobweb poset chain of complete relations via deleting arcs in di-bicliques of the complete relations chain. In particular we response to one of those problems [1].