Showing 20 papers (Total: 82797 papers, 47838 authors in database)
A family of semifields in characteristic 2
Published
• View Publication
• BIB
We construct and describe the basic properties of a family of semifields in characteristic $2.$ The construction relies on the properties of projective polynomials over finite fields. We start by associating non-associative products to each such polynomial. The resulting presemifields form the degenerate case of our family. They are isotopic to the Knuth semifields which are quadratic over left and right nucleus. The non-degenerate members of our family display a very different behaviour. Their left and right nucleus agrees with the center, the middle nucleus is quadratic over the center. None of those semifields is isotopic or Knuth equivalent to a commutative semifield. As a by-product we obtain the complete taxonomy of the characteristic $2$ semifields which are quadratic over the middle nucleus, bi-quadratic over the left and right nucleus and not isotopic to twisted fields. This includes {determining} when two such semifields are isotopic and the order of the autotopism group.
Crystallizing the hypoplactic monoid: from quasi-Kashiwara operators to the Robinson--Schensted--Knuth-type correspondence for quasi-ribbon tableaux
Published in Journal of Algebraic Combinatorics. 45.2 (2017): 475-524
• View Publication
• BIB
Crystal graphs, in the sense of Kashiwara, carry a natural monoid structure given by identifying words labelling vertices that appear in the same position of isomorphic components of the crystal. In the particular case of the crystal graph for the $q$-analogue of the special linear Lie algebra $\mathfrak{sl}_{n}$, this monoid is the celebrated plactic monoid, whose elements can be identified with Young tableaux. The crystal graph and the so-called Kashiwara operators interact beautifully with the combinatorics of Young tableaux and with the Robinson--Schensted--Knuth correspondence and so provide powerful combinatorial tools to work with them. This paper constructs an analogous `quasi-crystal' structure for the hypoplactic monoid, whose elements can be identified with quasi-ribbon tableaux and whose connection with the theory of quasi-symmetric functions echoes the connection of the plactic monoid with the theory of symmetric functions. This quasi-crystal structure and the associated quasi-Kashiwara operators are shown to interact just as neatly with the combinatorics of quasi-ribbon tableaux and with the hypoplactic version of the Robinson--Schensted--Knuth correspondence. A study is then made of the interaction of the crystal graph of the plactic monoid and the quasi-crystal graph for the hypoplactic monoid. Finally, the quasi-crystal structure is applied to prove some new results about the hypoplactic monoid.
Randomly juggling backwards
Published
• View Publication
• BIB
We recall the directed graph of _juggling states_, closed walks within which give juggling patterns, as studied by Ron Graham in [w/Chung, w/Butler]. Various random walks in this graph have been studied before by several authors, and their equilibrium distributions computed. We motivate a random walk on the reverse graph (and an enrichment thereof) from a very classical linear algebra problem, leading to a particularly simple equilibrium: a Boltzmann distribution closely related to the Poincaré series of the b-Grassmannian in infinite-dimensional space.
We determine the most likely asymptotic state in the limit of many balls, where in the limit the probability of a 0-throw is kept fixed.
Discrete quantitative nodal theorem
We prove a theorem that can be thought of as a common generalization of the Discrete Nodal Theorem and (one direction of) Cheeger's Inequality for graphs. special case of this result will assert that if the second and third eigenvalues of the Laplacian are at least c apart, then the subgraphs induced by the positive and negative supports of the eigenvector belonging to the second eigenvalue are not only connected, but edge-expanders (in a weighted sense, with expansion depending on c).
A survey of Elekes-Rónyai-type problems
Published
• View Publication
• BIB
We give an overview of recent progress around a problem introduced by Elekes and Rónyai. The prototype problem is to show that a polynomial $f\in \mathbb{R}[x,y]$ has a large image on a Cartesian product $A\times B\subset \mathbb{R}^2$, unless $f$ has a group-related special form. We discuss a number of variants and generalizations. This includes the Elekes-Szabó problem, which generalizes the Elekes-Rónyai problem to a question about an upper bound on the intersection of an algebraic surface with a Cartesian product, and curve variants, where we ask the same questions for Cartesian products of finite subsets of algebraic curves. These problems lie at the crossroads of combinatorics, algebra, and geometry: They ask combinatorial questions about algebraic objects, whose answers turn out to have applications to geometric questions involving basic objects like distances, lines, and circles, as well as to sum-product-type questions from additive combinatorics. As part of a recent surge of algebraic techniques in combinatorial geometry, a number of quantitative and qualitative steps have been made within this framework. Nevertheless, many tantalizing open questions remain.
Logarithmic form of Lagrange inversion formula
We give presentation of composition inverse of formal power serie in a logarithmic form.
A proof of the Square Paths Conjecture
The modified Macdonald polynomials, introduced by Garsia and Haiman (1996), have many astounding combinatorial properties. One such class of properties involves applying the related $\nabla$ operator of Bergeron and Garsia (1999) to basic symmetric functions. The first discovery of this type was the (recently proven) Shuffle Conjecture of Haglund, Haiman, Loehr, Remmel, and Ulyanov (2005), which relates the expression $\nabla e_n$ to parking functions. In (2007), Loehr and Warrington conjectured a similar expression for $\nabla p_n$ in terms of labeled square paths. In this paper, we extend Haglund and Loehr's (2005) notion of schedules to labeled square paths and apply this extension to prove the Square Paths Conjecture.
Determination of sizes of optimal three-dimensional optical orthogonal codes of weight three with the AM-OPP restriction
Published
• View Publication
• BIB
In this paper, we further investigate the constructions on three-dimensional $(u\times v\times w,k,1)$ optical orthogonal codes with the at most one optical pulse per wavelength/time plane restriction (briefly AM-OPP $3$-D $(u\times v\times w,k,1)$-OOCs) by way of the corresponding designs. Several new auxiliary designs such as incomplete holey group divisible designs and incomplete group divisible packings are introduced and therefore new constructions are presented. As a consequence, the exact number of codewords of an optimal AM-OPP $3$-D $(u\times v\times w,3,1)$-OOC is finally determined for any positive integers $v,w$ and $u\geq3$.
Fortuitous sequences of flips of the top of a stack of n burnt pancakes for all n>24
Burnt pancakes problem was defined by Gates and Papadimitriou in 1979. A stack $S$ of pancakes with a burnt side must be sorted by size, the smallest on top, and each pancake with burnt side down. The only operation allowed is to split stack in two parts and flip upper part. $g(S)$ is the minimal number of flips needed to sort stack $S$. Stack $S$ may be $-I_n$ when pancakes are in right order but upside down or $-f_n$ when all pancakes are right side up but sorted in reverse order. Gates et al. proved that $g(-f_n)\ge 3n/2-1$. In 1995 Cohen and Blum proved that $g(-I_n)=g(-f_n)+1\ge 3n/2$. In 1997 Heydari and Sudborough proved that $g(-I_n)\le 3(n+1)/2$ whenever some fortuitous sequence of flips exists. They gave fortuitous sequences for $n$=3, 15, 27 and 31. They showed that two fortuitous sequences $S_n$ and $S_{n'}$ may combine into another fortuitous sequence $S_{n''}$ with $n''=n+n'-3$. So a fortuitous sequence $S_n$ gives a fortuitous sequence $S_{n+12}$. This proves that $g(-I_n)\le 3(n+1)/2$ if $n$ is congruent to 3 modulo 4 and $n\ge 23$. In 2011 Josef Cibulka enhanced Gates and Papadimitriou's lower bound thanks to a potential function. He got so $g(-I_n)\ge3n/2+1$ if $n > 1$ proving thereby, that $g(-I_n)=3(n+1)/2$ if $n$ is congruent to 3 modulo 4 and $n\ge 23$. This paper explains how to build generalized fortuitous sequences for $n=15, 19, 23$ and every $n\ge 25$, odd or even, proving thereby that $g(-I_n)=\lceil 3n/2\rceil+1$ for these $n$. It gives $g(-I_n)$ for all $n$.
On Kloosterman sums over finite fields of characteristic 3
Published
• View Publication
• BIB
We study the divisibility by 3^k of Kloosterman sums K(a) over finite fields of characteristic 3. We give a new recurrent algorithm for finding the largest k, such that 3^k divides the Kloosterman sum K(a). This gives a new simple test for zeros of such Kloosterman sums.
$LS$-category of moment-angle manifolds and higher order Massey products
Published
• View Publication
• BIB
Using the combinatorics of the underlying simplicial complex $K$, we give various upper and lower bounds for the Lusternik-Schnirelmann (LS) category of moment-angle complexes $\zk$. We describe families of simplicial complexes and combinatorial operations which allow for a systematic description of the LS category. In particular, we characterise the LS category of moment-angle complexes $\zk$ over triangulated $d$-manifolds $K$ for $d\leq 2$, as well as higher dimension spheres built up via connected sum, join, and vertex doubling operations. %This characterisation is given in terms of the combinatorics of $K$, the cup product length of $H^*(\zk)$, as well as a certain Massey products. We show that the LS category closely relates to vanishing of Massey products in $H^*(\zk)$ and through this connection we describe first structural properties of Massey products in moment-angel manifolds. Some of further applications include calculations of the LS category and the description of conditions for vanishing of Massey products for moment-angle manifolds over fullerenes, Pogorelov polytopes and $k$-neighbourly complexes, which double as important examples of hyperbolic manifolds.
On local matchability in groups and vector spaces
In this paper, we define locally matchable subsets of a group which is extracted from the concept of matchings in groups and used as a tool to give alternative proofs for existing results in matching theory. We also give the linear analogue of locally matchability for subspaces in a field extension. Our tools mix additive number theory, combinatorics and algebra
Kirillov's unimodality conjecture for the rectangular Narayana polynomials
Published
• View Publication
• BIB
In the study of Kostka numbers and Catalan numbers, Kirillov posed a unimodality conjecture for the rectangular Narayana polynomials. We prove that the rectangular Narayana polynomials have only real zeros, and thereby confirm Kirillov's unimodality conjecture with the help of Newton's inequality. By using an equidistribution property between descent numbers and ascent numbers on ballot paths due to Sulanke and a bijection between lattice words and standard Young tableaux, we show that the rectangular Narayana polynomial is equal to the descent generating function on standard Young tableaux of certain rectangular shape, up to a power of the indeterminate. Then we obtain the real-rootedness of the rectangular Narayana polynomial based on Brenti's result that the descent generating function of standard Young tableaux has only real zeros.
On Enumeration of Dyck--Schröder Paths
Published in Journal of Combinatorial Mathematics and Combinatorial Computing 106 (2018), 59-68
• Search Publication
We address the problem of enumerating paths in square lattices, where allowed steps include (1,0) and (0,1) everywhere, and (1,1) above the diagonal y=x. We consider two such lattices differing in whether the (1,1) steps are allowed along the diagonal itself. Our analysis leads to explicit generating functions and an efficient way to compute terms of many sequences in the Online Encyclopedia of Integer Sequences, proposed by Clark Kimberling almost two decades ago.
Unshuffling Permutations
Published in Latin American Theoretical Informatics Symposium, LNCS 9644, 509--521, 2016
• View Publication
• BIB
A permutation is said to be a square if it can be obtained by shuffling two order-isomorphic patterns. The definition is intended to be the natural counterpart to the ordinary shuffle of words and languages. In this paper, we tackle the problem of recognizing square permutations from both the point of view of algebra and algorithms. On the one hand, we present some algebraic and combinatorial properties of the shuffle product of permutations. We follow an unusual line consisting in defining the shuffle of permutations by means of an unshuffling operator, known as a coproduct. This strategy allows to obtain easy proofs for algebraic and combinatorial properties of our shuffle product. We besides exhibit a bijection between square $(213,231)$-avoiding permutations and square binary words. On the other hand, by using a pattern avoidance criterion on oriented perfect matchings, we prove that recognizing square permutations is $\mathbf{NP}$-complete.
Continuous Sensitivity and Reversibility
Let $n$ be a positive integer and $f$ a differentiable function from a convex subset $C$ of the Euclidean space $\mathbb{R}^n$ to a smooth manifold. We define an invariant of $f$ via counting certain threshold functions associated to $f$. We call this invariant the continuous sensitivity of $f$ and denote it by $\mathrm{cs}_{C}(f)$. This invariant is a real number between $0$ and $n$ and measures how sensitive $f$ is to change in its input variables. For example, if $f$ is a constant function then $\mathrm{cs}_{C}(f)=0$. On the other extreme, if $\mathrm{cs}_{C}(f)=n$ then $f$ is one-to-one on $C$. This last statement is important for reversibility problems. To say that a function is reversible one can write an explicit inverse of the function. However, this is not always easy. Even a multilinear function can have a complicated inverse function. Here we give tools to compute continuous sensitivity which makes it possible to answer reversibility problems without finding explicit inverse functions.
Flip Distance to a Non-crossing Perfect Matching
A perfect straight-line matching $M$ on a finite set $P$ of points in the plane is a set of segments such that each point in $P$ is an endpoint of exactly one segment. $M$ is non-crossing if no two segments in $M$ cross each other. Given a perfect straight-line matching $M$ with at least one crossing, we can remove this crossing by a flip operation. The flip operation removes two crossing segments on a point set $Q$ and adds two non-crossing segments to attain a new perfect matching $M'$. It is well known that after a finite number of flips, a non-crossing matching is attained and no further flip is possible. However, prior to this work, no non-trivial upper bound on the number of flips was known. If $g(n)$ (resp.~$k(n)$) is the maximum length of the longest (resp.~shortest) sequence of flips starting from any matching of size $n$, we show that $g(n) = O(n^3)$ and $g(n) = Ω(n^2)$ (resp.~$k(n) = O(n^2)$ and $k(n) = Ω(n)$).
Rota--Baxter algebras and left weak composition quasi-symmetric functions
Published in Ramanujan Journal 44 (2017), 567-596
• View Publication
• BIB
Motivated by a question of Rota, this paper studies the relationship between Rota--Baxter algebras and symmetric related functions. The starting point is the fact that the space of quasi-symmetric functions is spanned by monomial quasi-symmetric functions which are indexed by compositions. When composition is replaced by left weak composition (LWC), we obtain the concept of LWC monomial quasi-symmetric functions and the resulting space of LWC quasi-symmetric functions. In line with the question of Rota, the latter is shown to be isomorphic to the free commutative nonunitary Rota--Baxter algebra on one generator. The combinatorial interpretation of quasi-symmetric functions by $P$-partitions from compositions is extended to the context of left weak compositions, leading to the concept of LWC fundamental quasi-symmetric functions. The transformation formulas for LWC monomial and LWC fundamental quasi-symmetric functions are obtained, generalizing the corresponding results for quasi-symmetric functions. Extending the close relationship between quasi-symmetric functions and multiple zeta values, weighted multiple zeta values and a $q$-analog of multiple zeta values are investigated and a decomposition formula is established.
Flip-connectivity of triangulations of the product of a tetrahedron and simplex
Published
• View Publication
• BIB
A flip is a minimal move between two triangulations of a polytope. An open question is whether any two triangulations of the product of two simplices can be connected through a series of flips. This was proven in the case where one of the simplices is a triangle by Santos in 2005. In this paper we extend this to when one of the simplices is a tetrahedron.
Quantum integer-valued polynomials
Published in Journal of Algebraic Combinatorics, 45(2), 2017
• View Publication
• BIB
We define a $q$-deformation of the classical ring of integer-valued polynomials which we call the ring of quantum integer-valued polynomials. We show that this ring has a remarkable combinatorial structure and enjoys many positivity properties: for instance, the structure constants for this ring with respect to its basis of $q$-binomial coefficient polynomials belong to $\mathbb{N}[q]$. We then classify all maps from this ring into a field, extending a known classification in the classical case where $q=1$.