natural ↗ reference
4894 papers tagged with this keyword
Invariant functionals on completely distributive lattices
Published
• View Publication
• BIB
In this paper we are interested in functionals defined on completely distributive lattices and which are invariant under mappings preserving {arbitrary} joins and meets. We prove that the class of nondecreasing invariant functionals coincides with the class of Sugeno integrals associated with $\{0,1\}$-valued capacities, the so-called term functionals, thus extending previous results both to the infinitary case as well as to the realm of completely distributive lattices. Furthermore, we show that, in the case of functionals over complete chains, the nondecreasing condition is redundant. Characterizations of the class of Sugeno integrals, as well as its superclass comprising all polynomial functionals, are provided by showing that the axiomatizations (given in terms of homogeneity) of their restriction to finitary functionals still hold over completely distributive lattices. We also present canonical normal form representations of polynomial functionals on completely distributive lattices, which appear as the natural extensions to their finitary counterparts, and as a by-product we obtain an axiomatization of complete distributivity in the case of bounded lattices.
Finite groups acting linearly: Hochschild cohomology and the cup product
Published
• View Publication
• BIB
When a finite group acts linearly on a complex vector space, the natural semi-direct product of the group and the polynomial ring over the space forms a skew group algebra. This algebra plays the role of the coordinate ring of the resulting orbifold and serves as a substitute for the ring of invariant polynomials from the viewpoint of geometry and physics. Its Hochschild cohomology predicts various Hecke algebras and deformations of the orbifold. In this article, we investigate the ring structure of the Hochschild cohomology of the skew group algebra. We show that the cup product coincides with a natural smash product, transferring the cohomology of a group action into a group action on cohomology. We express the algebraic structure of Hochschild cohomology in terms of a partial order on the group (modulo the kernel of the action). This partial order arises after assigning to each group element the codimension of its fixed point space. We describe the algebraic structure for Coxeter groups, where this partial order is given by the reflection length function; a similar combinatorial description holds for an infinite family of complex reflection groups.
Convexity package for momentum maps on contact manifolds
Published in Algebr. Geom. Topol. 10 (2010) 925-977
• View Publication
• BIB
Let a torus T act effectively on a compact connected cooriented contact manifold, and let Psi be the natural momentum map on the symplectization. We prove that, if dim T > 2, the union of the origin with the image of Psi is a convex polyhedral cone, the non-zero level sets of Psi are connected (while the zero level set can be disconnected), and the momentum map is open as a map to its image. This answers a question posed by Eugene Lerman, who proved similar results when the zero level set is empty. We also analyze examples with dim T <= 2.
Wilf classification of bi-vincular permutation patterns
We classify all bi-vincular patterns of length two and three according to the number of permutations avoiding them. These patterns were recently defined by Bousquet-Melou et. al., and are natural generalizations of Babson and Steingrimsson's generalized patterns.
The patterns are divided into seven and 24 Wilf classes, for lengths two and three, respectively. For most of the patterns an explicit form for the number of permutations avoiding the pattern is given.
Twisted dendriform algebras and the pre-Lie Magnus expansion
Published in Journal of Pure and Applied Algebra 215 (2011) 2615-2627
• View Publication
• BIB
In this paper an application of the recently introduced pre-Lie Magnus expansion to Jackson's q-integral and q-exponentials is presented. Twisted dendriform algebras, which are the natural algebraic framework for Jackson's q-analogues, are introduced for that purpose. It is shown how the pre-Lie Magnus expansion is used to solve linear q-differential equations. We also briefly outline the theory of linear equations in twisted dendriform algebras.
Shifted symmetric $δ$-vectors of convex polytopes
Published
• View Publication
• BIB
A $δ$-vector $δ(\Pc)= (δ_0, δ_1, ..., δ_d)$ is called shifted symmetric if $δ_{d-i} = δ_{i+1}$ for each $0 \leq i \leq [(d-1)/2]$. A natural family of $(0,1)$-polytopes with shifted symmetric $δ$-vectors will be studied.
Optimal Testing of Reed-Muller Codes
Published
• View Publication
• BIB
We consider the problem of testing if a given function f : F_2^n -> F_2 is close to any degree d polynomial in n variables, also known as the Reed-Muller testing problem. The Gowers norm is based on a natural 2^{d+1}-query test for this property. Alon et al. [AKKLR05] rediscovered this test and showed that it accepts every degree d polynomial with probability 1, while it rejects functions that are Omega(1)-far with probability Omega(1/(d 2^{d})). We give an asymptotically optimal analysis of this test, and show that it rejects functions that are (even only) Omega(2^{-d})-far with Omega(1)-probability (so the rejection probability is a universal constant independent of d and n). This implies a tight relationship between the (d+1)st Gowers norm of a function and its maximal correlation with degree d polynomials, when the correlation is close to 1. Our proof works by induction on n and yields a new analysis of even the classical Blum-Luby-Rubinfeld [BLR93] linearity test, for the setting of functions mapping F_2^n to F_2. The optimality follows from a tighter analysis of counterexamples to the "inverse conjecture for the Gowers norm" constructed by [GT09,LMS08]. Our result has several implications. First, it shows that the Gowers norm test is tolerant, in that it also accepts close codewords. Second, it improves the parameters of an XOR lemma for polynomials given by Viola and Wigderson [VW07]. Third, it implies a "query hierarchy" result for property testing of affine-invariant properties. That is, for every function q(n), it gives an affine-invariant property that is testable with O(q(n))-queries, but not with o(q(n))-queries, complementing an analogous result of [GKNR09] for graph properties.
Tridendriform structure on combinatorial Hopf algebras
Published
• View Publication
• BIB
We extend the definition of tridendriform bialgebra by introducing a weight q. The subspace of primitive elements of a q-tridendriform bialgebra is equipped with an associative product and a natural structure of brace algebra, related by a distributive law. This data is called q-Gerstenhaber-Voronov algebras. We prove the equivalence between the categories of connected q-tridendriform bialgebras and of q-Gerstenhaber-Voronov algebras. The space spanned by surjective maps, as well as the space spanned by parking functions, have natural structures of q-tridendriform bialgebras, denoted ST(q) and PQSym(q)*, in such a way that ST(q) is a sub-tridendriform bialgebra of PQSym(q)*. Finally we show that the bialgebra of M-permutations defined by T. Lam and P. Pylyavskyy may be endowed with a natural structure of q-tridendriform algebra which is a quotient of ST(q).
Shifted Jacobi polynomials and Delannoy numbers
We express a weighted generalization of the Delannoy numbers in terms of shifted Jacobi polynomials. A specialization of our formulas extends a relation between the central Delannoy numbers and Legendre polynomials, observed over 50 years ago, to all Delannoy numbers and certain Jacobi polynomials. Another specialization provides a weighted lattice path enumeration model for shifted Jacobi polynomials, we use this to present a new combinatorial proof of the orthogonality of Jacobi polynomials with natural number parameters. The proof relates the orthogonality of these polynomials to the orthogonality of (generalized) Laguerre polynomials, as they arise in the theory of rook polynomials. We provide a combinatorial proof for the orthogonality of certain Romanovski-Jacobi polynomials with zero first parameter and negative integer second parameter, considered as an initial segment of the list of similarly transformed Jacobi polynomials with the same parameters. We observe that for an odd second parameter one more polynomial may be added to this finite orthogonal polynomial sequence than what was predicted by a classical result of Askey and Romanovski. The remaining transformed Jacobi polynomials in the sequence are either equal to the already listed Romanovski-Jacobi polynomials or monomial multiples of similarly transformed Jacobi polynomials with a positive second parameter. We provide expressions for an analogous weighted generalization of the Schröder numbers in terms of the Jacobi polynomials, and use this model, together with a result of Mansour and Sun, to express the Narayana polynomials in terms of shifted Jacobi polynomials.
Generalized $D$-graphs for Nonzero Roots of the Matching Polynomial
Recently, Bauer et al. (J Graph Theory 55(4) (2007), 343--358) introduced a graph operator $D(G)$, called the $D$-graph of $G$, which has been useful in investigating the structural aspects of maximal Tutte sets in $G$ with a perfect matching. Among other results, they proved a characterization of maximal Tutte sets in terms of maximal independent sets in the graph $D(G)$ and maximal extreme sets in $G$. This was later extended to graphs without perfect matchings by Busch et al. (Discrete Appl. Math. 155 (2007), 2487--2495). Let $θ$ be a real number and $μ(G,x)$ be the matching polynomial of a graph $G$. Let $\textnormal{mult} (θ, G)$ be the multiplicity of $θ$ as a root of $μ(G,x)$. We observe that the notion of $D$-graph is implicitly related to $θ=0$. In this paper, we give a natural generalization of the $D$-graph of $G$ for any real number $θ$, and denote this new operator by $D_θ(G)$, so that $D_θ(G)$ coincides with $D(G)$ when $θ=0$. We prove a characterization of maximal $θ$-Tutte sets which are $θ$-analogue of maximal Tutte sets in $G$. In particular, we show that for any $X \subseteq V(G)$, $|X|>1$, and any real number $θ$, $\m(θ, G \setminus X)=\m(θ, G)+|X|$ if and only if $\m(θ, G \setminus uv)=\m(θ, G)+2$ for any $u, v \in X$, $u \not = v$, thus extending the preceding work of Bauer et al. and Busch et al. which established the result for the case $θ=0$.
The competition number of a graph with exactly two holes
Published in Ars Combinatoria 95 (2010) 45-54
• Search Publication
Let D be an acyclic digraph. The competition graph of D is a graph which has the same vertex set as D and has an edge between x and y if and only if there exists a vertex v in D such that (x,v) and (y,v) are arcs of D. For any graph G, G together with sufficiently many isolated vertices is the competition graph of some acyclic digraph. The competition number k(G) of G is the smallest number of such isolated vertices.
A hole of a graph is a cycle of length at least 4 as an induced subgraph. In 2005, Kim [5] conjectured that the competition number of a graph with h holes is at most h+1. Though Li and Chang [8] and Kim et al. [7] showed that her conjecture is true when the holes do not overlap much, it still remains open for the case where the holes share edges in an arbitrary way. In order to share an edge, a graph must have at least two holes and so it is natural to start with a graph with exactly two holes. In this paper, the conjecture is proved true for such a graph.
Pattern avoidance and RSK-like algorithms for alternating permutations and Young tableaux
Published in J. Combinatorial Theory, Series A, 118(4): 1436-1450, 2011
• View Publication
• BIB
We define a class L_{n, k} of permutations that generalizes alternating (up-down) permutations and give bijective proofs of certain pattern-avoidance results for this class. As a special case of our results, we give two bijections between the set A_{2n}(1234) of alternating permutations of length 2n with no four-term increasing subsequence and standard Young tableaux of shape (3^n), and between the set A_{2n + 1}(1234) and standard Young tableaux of shape (3^{n - 1}, 2, 1). This represents the first enumeration of alternating permutations avoiding a pattern of length four. We also extend previous work on doubly-alternating permutations (alternating permutations whose inverses are alternating) to our more general context.
The set L_{n, k} may be viewed as the set of reading words of the standard Young tableaux of a certain skew shape. In the last section of the paper, we expand our study to consider pattern avoidance in the reading words of standard Young tableaux of any skew shape. We show bijectively that the number of standard Young tableaux of shape lambda/mu whose reading words avoid 213 is a natural mu-analogue of the Catalan numbers (and in particular does not depend on lambda, up to a simple technical condition), and that there are similar results for the patterns 132, 231 and 312.
Symmetric group actions on the cohomology of configurations in $R^d$
In this paper we deal with the action of the symmetric group on the cohomology of the configuration space $C_n(d)$ of $n$ points in $\mathbb{R}^d$. This topic has been studied by several authors (see the introduction). On the cohomology algebra $H^*(C_n(d); \mathbb{C})$ there is, in addition to the natural $S_n$-action, an extended action of $S_{n+1}$; this was first shown for the case when $d$ is even by Mathieu, Robinson and Whitehouse and the second author. For the case when $d$ is odd it was shown by Mathieu (anyway we will give an elementary algebraic construction of the extended action for this case). The purpose of this article is to present some results that can be obtained, in an elementary way, exploiting the interplay between the extended action and the standard action.
A Natural Bijection between Permutations and a Family of Descending Plane Partitions
Published in European Journal of Combinatorics, Volume 31, Issue 7 (2010), 1785-1791
• View Publication
• BIB
We construct a direct natural bijection between descending plane partitions without any special part and permutations. The directness is in the sense that the bijection avoids any reference to nonintersecting lattice paths. The advantage of the bijection is that it provides an interpretation for the seemingly long list of conditions needed to define descending plane partitions. Unfortunately, the bijection does not relate the number of parts of the descending plane partition with the number of inversions of the permutation as one might have expected from the conjecture of Mills, Robbins and Rumsey, although there is a simple expression for the number of inversions of a permutation in terms of the corresponding descending plane partition.
Maximal Pivots on Graphs with an Application to Gene Assembly
Published in Discrete Applied Mathematics, Volume 158, Issue 18, Pages 1977-1985
• View Publication
• BIB
We consider principal pivot transform (pivot) on graphs. We define a natural variant of this operation, called dual pivot, and show that both the kernel and the set of maximally applicable pivots of a graph are invariant under this operation. The result is motivated by and applicable to the theory of gene assembly in ciliates.
Ascent sequences and upper triangular matrices containing non-negative integers
Published
• View Publication
• BIB
This paper presents a bijection between ascent sequences and upper triangular matrices whose non-negative entries are such that all rows and columns contain at least one non-zero entry. We show the equivalence of several natural statistics on these structures under this bijection and prove that some of these statistics are equidistributed. Several special classes of matrices are shown to have simple formulations in terms of ascent sequences. Binary matrices are shown to correspond to ascent sequences with no two adjacent entries the same. Bidiagonal matrices are shown to be related to order-consecutive set partitions and a simple condition on the ascent sequences generate this class.
Noncrossing partitions and the shard intersection order
Published
• View Publication
• BIB
We define a new lattice structure on the elements of a finite Coxeter group W. This lattice, called the shard intersection order, is weaker than the weak order and has the noncrossing partition lattice NC(W) as a sublattice. The new construction of NC(W) yields a new proof that NC(W) is a lattice. The shard intersection order is graded and its rank generating function is the W-Eulerian polynomial. Many order-theoretic properties of the shard intersection order, like Mobius number, number of maximal chains, etc., are exactly analogous to the corresponding properties of NC(W). There is a natural dimension-preserving bijection between simplices in the order complex of the shard intersection order (i.e. chains in the shard intersection order) and simplices in a certain pulling triangulation of the W-permutohedron. Restricting the bijection to the order complex of NC(W) yields a bijection to simplices in a pulling triangulation of the W-associahedron.
The shard intersection order is defined indirectly via the polyhedral geometry of the reflecting hyperplanes of W. Indeed, most of the results of the paper are proven in the more general setting of simplicial hyperplane arrangements.
Focusing of Maximum Vertex Degrees in Random Faulty Scaled Sector Graphs
Published in Pan-American Mathematical Journal, 2012, vol. 22(2), pp. 1--17
• Search Publication
In this paper we study the behavior of maximum out/in-degree of binomial/Poisson random scaled sector graphs in the presence of random vertex and edge faults. We prove that the probability distribution of maximum degrees for random faulty scaled sector graphs with $n$ vertices, where each vertex spans a sector of $α$ radians, with radius $r_n\ll \sqrt{\ln n/n}$, become concentrated on two consecutive integers, under some natural assumptions of faulty probabilities.
On b-continuity Of Kneser Graphs of type KG(2k+1,k)
In this paper, we will introduce an special kind of graph homomorphisms namely semi-locally-surjective graph homomorphisms and show some relations between semi-locally-surjective graph homomorphisms and colorful colorings of graphs and then we prove that for each natural number $k$, the Kneser graph $KG(2k+1,k)$ is $b$-continuous. Finally, we introduce some special conditions for graphs to be $b$-continuous.
Regularity via topology of the lcm-lattice for $C_4$-free graphs
We study the topology of the lcm-lattice of edge ideals and derive upper bounds on the Castelnuovo-Mumford regularity of the ideals. In this context it is natural to restrict to the family of graphs with no induced 4-cycle in their complement. Using the above method we obtain sharp upper bounds on the regularity when the complement is a chordal graph, or a cycle, or when the primal graph is claw free with no induced 4-cycle in its complement. For the later family we show that the second power of the edge ideal has a linear resolution.