Showing 20 papers (Total: 81756 papers, 47371 authors in database)
On the structure of 3-nets embedded in a projective plane
Published
• View Publication
• BIB
We investigate finite 3-nets embedded in a projective plane over a (finite or infinite) field of any characteristic p. Such an embedding is regular when each of the three classes of the 3-net comprises concurrent lines, and irregular otherwise. It is completely irregular when no class of the 3-net consists of concurrent lines. We are interested in embeddings of 3-nets which are irregular but the lines of one class are concurrent. For an irregular embedding of a 3-net of order n greater than 4 we prove that, if all lines from two classes are tangent to the same irreducible conic, then all lines from the third class are concurrent. We also prove the converse provided that the order n of the 3-net is smaller than p. In the complex plane, apart from a sporadic example of order n=5 due to Stipins, each known irregularly embedded 3-net has the property that all its lines are tangent to a plane cubic curve. Actually, the procedure of constructing irregular 3-nets with this property works over any field. In positive characteristic, we present some more examples for n greater than 4 and give a complete classification for n=4.
Volumes of n-simplices with vertices on a polynomial space curve
Published
• View Publication
• BIB
In this paper, we give a formula for the area of the triangle formed by the vertices that live on a given polynomial, and we generalize this formula to the volumes of $n$-simplices with vertices on a polynomial space curve. To prove these results, we use induction arguments and a well known identity for complete symmetric polynomials.
Symmetry Matters for Sizes of Extended Formulations
Published
• View Publication
• BIB
In 1991, Yannakakis (J. Comput. System Sci., 1991) proved that no symmetric extended formulation for the matching polytope of the complete graph K_n with n nodes has a number of variables and constraints that is bounded subexponentially in n. Here, symmetric means that the formulation remains invariant under all permutations of the nodes of K_n. It was also conjectured in the paper mentioned above that "asymmetry does not help much," but no corresponding result for general extended formulations has been found so far. In this paper we show that for the polytopes associated with the matchings in K_n with log(n) (rounded down) edges there are non-symmetric extended formulations of polynomial size, while nevertheless no symmetric extended formulations of polynomial size exist. We furthermore prove similar statements for the polytopes associated with cycles of length log(n) (rounded down). Thus, with respect to the question for smallest possible extended formulations, in general symmetry requirements may matter a lot. Compared to the extended abtract that has appeared in the Proceedings of IPCO XIV at Lausanne, this paper does not only contain proofs that had been ommitted there, but it also presents slightly generalized and sharpened lower bounds.
Completeness of translation-invariant ideals in groups
Published in Ukr. Mat. Zh. 62:8 (2010), 1022-1031
• View Publication
• BIB
We introduce and study varions notions of completeness of translation-invariant ideals in groups.
Decomposable functors and the exponential principle, II
Published in Séminaire Lotharingien Combin. 61A (2011), Article B61Am, 38 pages
• Search Publication
We develop a new setting for the exponential principle in the context of multisort species, where indecomposable objects are generated intrinsically instead of being given in advance. Our approach uses the language of functors and natural transformations (composition operators), and we show that, somewhat surprisingly, a single axiom for the composition already suffices to guarantee validity of the exponential formula. We provide various illustrations of our theory, among which are applications to the enumeration of (semi-)magic squares.
Probabilistic one-player Ramsey games via deterministic two-player games
Published
• View Publication
• BIB
Consider the following probabilistic one-player game: The board is a graph with $n$ vertices, which initially contains no edges. In each step, a new edge is drawn uniformly at random from all non-edges and is presented to the player, henceforth called Painter. Painter must assign one of $r$ available colors to each edge immediately, where $r \geq 2$ is a fixed integer. The game is over as soon as a monochromatic copy of some fixed graph $F$ has been created, and Painter's goal is to 'survive' for as many steps as possible before this happens.
We present a new technique for deriving upper bounds on the threshold of this game, i.e., on the typical number of steps Painter will survive with an optimal strategy. More specifically, we consider a deterministic two-player variant of the game where the edges are not chosen randomly, but by a second player Builder. However, Builder has to adhere to the restriction that, for some real number $d$, the ratio of edges to vertices in all subgraphs of the evolving board never exceeds $d$. We show that the existence of a winning strategy for Builder in this deterministic game implies an upper bound of $n^{2-1/d}$ for the threshold of the original probabilistic game. Moreover, we show that the best bound that can be derived in this way is indeed the threshold of the game if $F$ is a forest. We illustrate our technique with several examples, and derive new explicit bounds for the case when $F$ is a path.
On Galvin's lemma and Ramsey spaces
Published in Annals of Combinatorics 16 (2002), no. 2, 319-330
• View Publication
• BIB
An abstract version of Galvin's lemma is proven, within the framework of the theory of Ramsey spaces. Some instances of it are explored.
Twins of rayless graphs
Published
• View Publication
• BIB
Two non-isomorphic graphs are twins if each is isomorphic to a subgraph of the other. We prove that a rayless graph has either infinitely many twins or none.
On partial well-order for monotone grid classes of permutations
Published
• View Publication
• BIB
A monotone grid class is a permutation class (i.e., a downset of permutations under the containment order) defined by local monotonicity conditions. We give a simplified proof of a result of Murphy and Vatter that monotone grid classes of forests are partially well-ordered.
Covariants of binary forms and new identities for Bernoulli, Euler and Hermite polynomials
Published in Acta Arith. 151 (2012), 361-376
• View Publication
• BIB
Using the methods of classical invariant theory a general approach to finding of identities for Bernulli, Euler and Hermite polynomials is proposed.
The MacMahon Master Theorem for right quantum superalgebras and higher Sugawara operators for $\widehat{\mathfrak{gl}}(m|n)$
Published in Moscow Mathematical Journal, 14 (2014), 83-119
• View Publication
• BIB
We prove an analogue of the MacMahon Master Theorem for the right quantum superalgebras. In particular, we obtain a new and simple proof of this theorem for the right quantum algebras. In the super case the theorem is then used to construct higher order Sugawara operators for the affine Lie superalgebra $\widehat{\mathfrak{gl}}(m|n)$ in an explicit form. The operators are elements of a completed universal enveloping algebra of $\widehat{\mathfrak{gl}}(m|n)$ at the critical level. They occur as the coefficients in the expansion of a noncommutative Berezinian and as the traces of powers of generator matrices. The same construction yields higher Hamiltonians for the Gaudin model associated with the Lie superalgebra $\mathfrak{gl}(m|n)$. We also use the Sugawara operators to produce algebraically independent generators of the algebra of singular vectors of any generic Verma module at the critical level over the affine Lie superalgebra.
Drop cost and wavelength optimal two-period grooming with ratio 4
Published
• View Publication
• BIB
We study grooming for two-period optical networks, a variation of the traffic grooming problem for WDM ring networks introduced by Colbourn, Quattrocchi, and Syrotiuk. In the two-period grooming problem, during the first period of time, there is all-to-all uniform traffic among $n$ nodes, each request using $1/C$ of the bandwidth; and during the second period, there is all-to-all uniform traffic only among a subset $V$ of $v$ nodes, each request now being allowed to use $1/C'$ of the bandwidth, where $C' < C$. We determine the minimum drop cost (minimum number of ADMs) for any $n,v$ and C=4 and $C' \in \{1,2,3\}$. To do this, we use tools of graph decompositions. Indeed the two-period grooming problem corresponds to minimizing the total number of vertices in a partition of the edges of the complete graph $K_n$ into subgraphs, where each subgraph has at most $C$ edges and where furthermore it contains at most $C'$ edges of the complete graph on $v$ specified vertices. Subject to the condition that the two-period grooming has the least drop cost, the minimum number of wavelengths required is also determined in each case.
Chessboard complexes indomitable
We give an alternative proof of the striking new Tverberg type theorem of Blagojevic and Ziegler, arXiv:0910.4987v1 [math.CO]. Our method also yields some new cases of "constrained Tverberg thereom" in the sense of Hell, including a simple colored Radon's theorem for d+3 points in R^d. This is a final version of the paper with improved presentation, corrected typos and added references.
Multivariate stable polynomials: theory and applications
Published
• View Publication
• BIB
Univariate polynomials with only real roots -- while special -- do occur often enough that their properties can lead to interesting conclusions in diverse areas. Due mainly to the recent work of two young mathematicians, Julius Borcea and Petter Brändén, a very successful multivariate generalization of this method has been developed. The first part of this paper surveys some of the main results of this theory of "multivariate stable" polynomials -- the most central of these results is the characterization of linear transformations preserving stability of polynomials. The second part presents various applications of this theory in complex analysis, matrix theory, probability and statistical mechanics, and combinatorics.
The cycle structure of compositions of random involutions
In this article we consider the cycle structure of compositions of pairs of involutions in the symmetric group S_n chosen uniformly at random. These can be modeled as modified 2-regular graphs, giving rise to exponential generating functions. A composition of two random involutions in S_n typically has about n^(1/2) cycles, and the cycles are characteristically of length n^(1/2). Compositions of two random fixed-point-free involutions, on the other hand, typically have about log n cycles and are closely related to permutations with all cycle lengths even. The number of factorizations of a random permutation into two involutions appears to be asymptotically lognormally distributed, which we prove for a closely related probabilistic model. This study is motivated by the observation that the number of involutions in [n] is (n!)^(1/2) times a subexponential factor; more generally the number of permutations with all cycle lengths in a finite set S is n!^(1-1/m) times a subexponential factor, and the typical number of k-cycles is nearly n^(k/m)/k. Connections to pattern avoidance in involutions are also considered.
A Geometric Approach to Sample Compression
The Sample Compression Conjecture of Littlestone & Warmuth has remained unsolved for over two decades. This paper presents a systematic geometric investigation of the compression of finite maximum concept classes. Simple arrangements of hyperplanes in Hyperbolic space, and Piecewise-Linear hyperplane arrangements, are shown to represent maximum classes, generalizing the corresponding Euclidean result. A main result is that PL arrangements can be swept by a moving hyperplane to unlabeled d-compress any finite maximum class, forming a peeling scheme as conjectured by Kuzmin & Warmuth. A corollary is that some d-maximal classes cannot be embedded into any maximum class of VC dimension d+k, for any constant k. The construction of the PL sweeping involves Pachner moves on the one-inclusion graph, corresponding to moves of a hyperplane across the intersection of d other hyperplanes. This extends the well known Pachner moves for triangulations to cubical complexes.
The Erdos-Ko-Rado theorem for perfect matchings
A $2k$-matching is a perfect matching of the complete graph on $2k$ vertices. Two $2k$-matchings are defined to be $t$-intersecting if they have at least $t$ edges in common. The main result in this paper is that if $k \geq 3t/2+1$, then the largest system of $t$-intersecting $2k$-matchings has size $(2(k-t)-1)!! = \prod_{i=0}^{k-t-1}(2k-2t-2i-1)$ and the only systems that meet this bound consist of all $2k$-matchings that contain a set of $t$ disjoint edges. Further, this bound on $k$ is sharp for $t\geq 6$. The method used is this paper is similar to the proof of the complete Erdős-Ko-Rado theorem given by Ahlswede and Khachatrian.
On the smallest sets blocking simple perfect matchings in a convex geometric graph
Published
• View Publication
• BIB
In this paper we present a complete characterization of the smallest sets which block all the simple perfect matchings in a complete convex geometric graph on $2m$ vertices. In particular, we show that all these sets are caterpillar graphs with a special structure, and that their total number is $m \cdot 2^{m-1}$.
Approximate groups and their applications: work of Bourgain, Gamburd, Helfgott and Sarnak
This is a survey of several exciting recent results in which techniques originating in the area known as additive combinatorics have been applied to give results in other areas, such as group theory, number theory and theoretical computer science. We begin with a discussion of the notion of an approximate group and also that of an approximate field, describing key results of Freiman-Ruzsa, Bourgain-Katz-Tao, Helfgott and others in which the structure of such objects is elucidated. We then move on to the applications. In particular we will look at the work of Bourgain and Gamburd on expansion properties of Cayley graphs on SL_2(F_p) and at its application in the work of Bourgain, Gamburd and Sarnak on nonlinear sieving problems.
Signed enumeration of ribbon tableaux
Published
• View Publication
• BIB
We give an extension of the classical Schensted correspondence to the case of ribbon tableaux, where ribbons are allowed to be of different sizes. This is done by extending Fomin's growth diagram approach of the classical correspondence between permutations and pairs of standard tableaux of the same shape, in particular by allowing signs in the enumeration. As an application we give a combinatorial proof for the column sums of the character table of the symmetric group.