Showing 20 papers (Total: 81680 papers, 47334 authors in database)
Air Traffic Flow Management
Air Traffic Flow Management is the regulation of air traffic in order to avoid exceeding airport or flight sector capacity in handling traffic, and to ensure that available capacity is used efficiently. We have tried to explore the logic behind the claims by Bertsimas et.al about integral solutions to the LP relaxation of the Traffic Flow Management Problem(TFMP). Polyhedral theory only indicates that the stronger TFMP formulation of Bertsimas et.al might lead to integral solutions in some cases. Our computations indicate that the encouraging results reported by Bertsimas et.al are not merely fortuitous or due to their specific data set. Indeed, we found that the TFMP had integral solutions even in case of artificial data sets generated to include severe conflicts in the flight schedules. In our limited tests with 4-5 scenarios, we obtained non-integral solutions only once. This is of significant practical importance because, the LP relaxation can be solved even on small machines with low memory and processor speed.
On sumfree subsets of hypercubes
Published
• View Publication
• BIB
We consider the possible sizes of large sumfree sets contained in the discrete hypercube $\{1,...,n\}^k$, and we determine upper and lower bounds for the maximal size as $n$ becomes large. We also discuss a continuous analogue in which our lower bound remains valid and our upper bound can be strengthened, and we consider the generalization of both problems to $l$-fold-sumfree sets.
On mobile sets in the binary hypercube
Published in Diskretn. Anal. Issled. Oper. 15(3) 2008, 11-21 (in Russian)
• Search Publication
If two distance-3 codes have the same neighborhood, then each of them is called a mobile set. In the (4k+3)-dimensional binary hypercube, there exists a mobile set of cardinality 2*6^k that cannot be split into mobile sets of smaller cardinalities or represented as a natural extension of a mobile set in a hypercube of smaller dimension. Keywords: mobile set; 1-perfect code.
A formula for Plücker coordinates associated with a planar network
Published in Int Math Res Notices (2008) Vol. 2008, article ID rnn081, 19 pages, published on July 24, 2008.
• View Publication
• BIB
For a planar directed graph G, Postnikov's boundary measurement map sends positive weight functions on the edges of G onto the appropriate totally nonnegative Grassmann cell. We establish an explicit formula for Postnikov's map by expressing each Pluecker coordinate as a ratio of two combinatorially defined polynomials in the edge weights, with positive integer coefficients. In the non-planar setting, we show that a similar formula holds for special choices of Pluecker coordinates.
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].