Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Distances between factorizations in the Chicken McNugget monoid
Published
• View Publication
• BIB
We use the Chicken McNugget monoid to demonstrate various factorization properties related to relations and chains of factorizations. We study in depth the catenary and tame degrees of this monoid.
On the Algebraic Combinatorics of Injections and its Applications to Injection Codes
Published
• View Publication
• BIB
We consider the algebraic combinatorics of the set of injections from a $k$-element set to an $n$-element set. In particular, we give a new combinatorial formula for the spherical functions of the Gelfand pair $(S_k \times S_n, \text{diag}(S_k) \times S_{n-k})$. We use this combinatorial formula to give new Delsarte linear programming bounds on the size of codes over injections.
An algorithm for computing root multiplicities in Kac-Moody algebras
Root multiplicities encode information about the structure of Kac-Moody algebras, and appear in applications as far-reaching as string theory and the theory of modular functions. We provide an algorithm based on the Peterson recurrence formula to compute multiplicities, and argue that it is more efficient than the naive algorithm.
Unpaired many-to-many disjoint path cover of balanced hypercubes
The balanced hypercube $BH_n$, a variant of the hypercube, was proposed as a desired interconnection network topology. It is known that $BH_n$ is bipartite. Assume that $S=\{s_1,s_2,\cdots,s_{2n-2}\}$ and $T=\{t_1,t_2,\cdots,t_{2n-2}\}$ are any two sets of vertices in different partite sets of $BH_n$ ($n\geq2$). It has been proved that there exists paired 2-disjoint path cover of $BH_n$. In this paper, we prove that there exists unpaired $(2n-2)$-disjoint path cover of $BH_n$ ($n\geq2$) from $S$ to $T$, which improved some known results. The upper bound $2n-2$ of the number of disjoint paths in unpaired $(2n-2)$-disjoint path cover is best possible.
On Jordan schemes
Published
• View Publication
• BIB
In 2003 Peter Cameron introduced the concept of a Jordan scheme and asked whether there exist Jordan schemes which are not symmetrisations of coherent configurations (proper Jordan schemes). The question was answered affirmatively by the authors last year and some of the examples were presented in an essay uploaded to the arXiv. In this paper we describe several infinite series of proper Jordan schemes and present first developments in the theory of Jordan schemes - a new class of algebraic-combinatorial objects.
Good acyclic orientations of 4-regular 4-connected graphs
Published
• View Publication
• BIB
We study graphs which admit an acyclic orientation that contains an out-branching and in-branching which are arc-disjoint (such an orientation is called {\bf good}). A {\bf 2T-graph} is a graph whose edge set can be decomposed into two edge-disjoint spanning trees. Clearly a graph has a good orientation if and only if it contains a spanning 2T-graph with a good orientation, implying that 2T-graphs play a central role. Vertex-minimal 2T-graphs with at least two vertices, also known as {\bf generic circuits}, play an important role in rigidity theory for graphs. It was shown in \cite{bangGOpaper} that every generic circuit has a good orientation. Using this, several results on good orientations of 2T-graphs were obtained in \cite{bangGOpaper}. It is an open problem whether there exist a polynomial algorithm for deciding whether a given 2T-graph has a good orientation. In \cite{bangGOpaper} complex constructions of 2T-graphs with no good orientation were given, indicating that the problem might be very difficult. In this paper we focus on so-called {\bf quartics} which are 2T-graphs where every vertex has degree 3 or 4. We identify a sufficient condition for a quartic to have a good orientation, give a polynomial algorithm to recognize quartics satisfying the condition and a polynomial algorithm to produce such an orientation when this condition is met. As a consequence of these results we prove that every 4-regular and 4-connected graph has a good orientation. \iffalse We also provide evidence that even for quartics it may be difficult to find a characterization of those instances which have a good orientation.\fi We also show that every graph on $n\geq 8$ vertices and of minimum degree at least $\lfloor{}n/2\rfloor$ has a good orientation. Finally we pose a number of open problems.
On the characterization of some algebraically defined bipartite graphs of girth eight
Published
• View Publication
• BIB
For any field $\mathbb{F}$ and polynomials $f_{2},f_{3}\in\mathbb{F}[x,y]$, let $Γ_{\mathbb{F}}(f_{2},f_{3})$ denote the bipartite graph with vertex partition $P\cup L$, where $P$ and $L$ are two copies of $\mathbb{F}^{3}$, and $(p_{1},p_{2},p_{3})\in P$ is adjacent to $[l_{1},l_{2},l_{3}]\in L$ if and only if $p_{2}+l_{2}=f_{2}(p_{1},l_{1})$ and $p_{3}+l_{3}=f_{3}(p_{1},l_{1})$. The graph $Γ_{3}(\mathbb{F})=Γ_{\mathbb{F}}(xy,xy^{2})$ is known to be of girth eight. When $\mathbb{F}=\mathbb{F}_q$ is a finite field of odd size $q$ or $\mathbb{F}=\mathbb{F}_{\infty}$ is an algebraically closed field of characteristic zero, the graph $Γ_{3}(\mathbb{F})$ is conjectured to be the unique one with girth at least eight among those $Γ_{\mathbb{F}}(f_{2},f_{3})$ up to isomorphism. This conjecture has been confirmed for the case that both $f_{2},f_{3}$ are monomials over $\mathbb{F}_q$, and for the case that at least one of $f_{2},f_{3}$ is a monomial over $\mathbb{F}_{\infty}$. If one of $f_{2},f_{3}\in\mathbb{F}_q[x,y]$ is a monomial, it has also been proved the existence of a positive integer $M$ such that $G=Γ_{\mathbb{F}_{q^{M}}}(f_2,f_3)$ is isomorphic to $Γ_{3}(\mathbb{F}_{q^{M}})$ provided $G$ has girth at least eight. In this paper, these results are shown to be valid when the restriction on the polynomials $f_2,f_3$ is relaxed further to that one of them is the product of two univariate polynomials. Furthermore, all of such polynomials $f_2,f_3$ are characterized completely.
Minimal graphs for hamiltonian extension
Published
• View Publication
• BIB
For every $n\ge 3$ we determine the minimum number of edges of graph with $n$ vertices such that for any non edge $xy$ there exits a hamiltonian cycle containing $xy$.
A comment on "Performance guarantees of a greedy algorithm for minimizing a supermodular set function on comatroid"
Published in European Journal of Operational Research, 290(1), 401-403, 2021
• View Publication
• BIB
We provide a counterexample to the performance guarantee obtained in the paper "Performance guarantees of a greedy algorithm for minimizing a supermodular set function on comatroid", which was published in Volume 171 of the European Journal of Operational Research. We comment on where this error originates from in the proof of the main theorem.
Infinite product formulae for generating functions for sequences of squares
Published in in: Transcendence in Algebra, Combinatorics, Geometry and Number Theory, A. Bostan, K. Raschel (eds.), Springer-Verlag, 2021, pp. 193-236
• View Publication
• BIB
We state and prove product formulae for several generating functions for sequences $(a_n)_{n\ge0}$ that are defined by the property that $Pa_n+b^2$ is a square, where $P$ and $b$ are given integers. In particular, we prove corresponding conjectures of the second author. We show that, by means of the Jacobi triple product identity, all these generating functions can be reduced to a linear combination of theta function products. The proof of our formulae then consists in simplifying these linear combinations of theta products into single products. We do this in two ways: (1) by using modular function theory, and (2) by applying the Weierstraßaddition formula for theta products.
Some combinatorial results on smooth permutations
Published in Journal of Combinatorics, Volume 12 (2021), Issue 2, pp 303-354
• View Publication
• BIB
We show that any smooth permutation $σ\in S_n$ is characterized by the set ${\mathbf{C}}(σ)$ of transpositions and $3$-cycles in the Bruhat interval $(S_n)_{\leqσ}$, and that $σ$ is the product (in a certain order) of the transpositions in ${\mathbf{C}}(σ)$. We also characterize the image of the map $σ\mapsto{\mathbf{C}}(σ)$. As an application, we show that $σ$ is smooth if and only if the intersection of $(S_n)_{\leqσ}$ with every conjugate of a parabolic subgroup of $S_n$ admits a maximum. This also gives another approach for enumerating smooth permutations and subclasses thereof. Finally, we relate covexillary permutations to smooth ones and rephrase the results in terms of the (co)essential set in the sense of Fulton.
On the monotonicity of additive representation functions
We study the monotonicity behavior of three slightly differently defined additive representation functions (as initiated by Erdős, Sárközy and Sós), answering one open question and another one partially, and give a slightly simpler proof for a result of Chen and Tang.
Asymptotic performance of the Grimmett-McDiarmid heuristic
Grimmett and McDiarmid suggested a simple heuristic for finding stable sets in random graphs. They showed that the heuristic finds a stable set of size $\sim\log_2 n$ (with high probability) on a $G(n, 1/2)$ random graph. We determine the asymptotic distribution of the size of the stable set found by the algorithm.
Wall-crossing for Newton-Okounkov bodies and the tropical Grassmannian
Published
• View Publication
• BIB
Tropical geometry and the theory of Newton-Okounkov bodies are two methods which produce toric degenerations of an irreducible complex projective variety. Kaveh-Manon showed that the two are related. We give geometric maps between the Newton-Okounkov bodies corresponding to two adjacent maximal-dimensional prime cones in the tropicalization of $X$. Under a technical condition, we produce a natural "algebraic wall-crossing" map on the underlying value semigroups (of the corresponding valuations). In the case of the tropical Grassmannian $Gr(2,m)$, we prove that the algebraic wall-crossing map is the restriction of a geometric map. In an Appendix by Nathan Ilten, he explains how the geometric wall-crossing phenomenon can also be derived from the perspective of complexity-one $T$-varieties; Ilten also explains the connection to the "combinatorial mutations" studied by Akhtar-Coates-Galkin-Kasprzyk.
Primitive Complete Normal Bases for Regular Extensions: Exceptional Cyclotomic Modules
A primitive completely normal element for an extension $\mathbb{F}_{q^n}/\mathbb{F}_{q}$ of Galois fields is a generator of the multiplicative group of $\mathbb{F}_{q^n}$, which simultaneously is normal over every intermediate field of that extension. We are going to prove that such a generator exists when $\mathbb{F}_{q^n}/\mathbb{F}_{q}$ is an 'exceptional' regular extension. In combination with [6] our investigations altogether settle the existence of primitive completely normal bases for any regular extension. An important feature of the class of regular extensions is that they comprise every extension of prime power degree.
Universal and unavoidable graphs
Published in Combinator. Probab. Comp. 30 (2021) 942-955
• View Publication
• BIB
The Turán number $\text{ex}(n,H)$ of a graph $H$ is the maximal number of edges in an $H$-free graph on $n$ vertices. In $1983$ Chung and Erdős asked which graphs $H$ with $e$ edges minimize $\text{ex}(n,H)$. They resolved this question asymptotically for most of the range of $e$ and asked to complete the picture. In this paper we answer their question by resolving all remaining cases. Our result translates directly to the setting of universality, a well-studied notion of finding graphs which contain every graph belonging to a certain family. In this setting we extend previous work done by Babai, Chung, Erdős, Graham and Spencer, and by Alon and Asodi.
Relations between infinitesimal non-commutative cumulants
Published in Doc. Math. 26, 1145-1185 (2021)
• View Publication
• BIB
Boolean, free and monotone cumulants as well as relations among them, have proven to be important in the study of non-commutative probability theory. Quite notably, Boolean cumulants were successfully used to study free infinite divisibility via the Boolean Bercovici--Pata bijection. On the other hand, in recent years the concept of infinitesimal non-commutative probability has been developed, together with the notion of infinitesimal cumulants which can be useful in the context of combinatorial questions.
In this paper, we show that the known relations among free, Boolean and monotone cumulants still hold in the infinitesimal framework. Our approach is based on the use of Grassmann algebra. Formulas involving infinitesimal cumulants can be obtained by applying a formal derivation to known formulas.
The relations between the various types of cumulants turn out to be captured via the shuffle algebra approach to moment-cumulant relations in non-commutative probability theory. In this formulation, (free, Boolean and monotone) cumulants are represented as elements of the Lie algebra of infinitesimal characters over a particular combinatorial Hopf algebra. The latter consists of the graded connected double tensor algebra defined over a non-commutative probability space and is neither commutative nor cocommutative. In this note it is shown how the shuffle algebra approach naturally extends to the notion of infinitesimal non-commutative probability space. The basic step consists in replacing the base field as target space of linear Hopf algebra maps by the Grassmann algebra over the base field. We also consider the infinitesimal analog of the Boolean Bercovici--Pata map.
On $q$-analogs of descent and peak polynomials
Published in European Journal of Combinatorics ,Volume 97 (2021)
• View Publication
• BIB
Descent polynomials and peak polynomials, which enumerate permutations with given descent and peak sets respectively, have recently received considerable attention. We give several formulas for $q$-analogs of these polynomials which refine the enumeration by the length of the permutations. In the case of $q$-descent polynomials we prove that the coefficients in one basis are strongly $q$-log concave, and conjecture this property in another basis. For peaks, we prove that the $q$-peak polynomial is palindromic in $q$, resolving a conjecture of Diaz-Lopez, Harris, and Insko.
A short proof on the transition matrix from the Specht basis to the Kazhdan-Lusztig basis
Published
• View Publication
• BIB
We provide a short proof on the change-of-basis coefficients from the Specht basis to the Kazhdan-Lusztig basis, using Kazhdan-Lusztig theory for parabolic Hecke algebra.
Inertias of Laplacian matrices of weighted signed graphs
Published
• View Publication
• BIB
We study the sets of inertias achieved by Laplacian matrices of weighted signed graphs. First we characterize signed graphs with a unique Laplacian inertia. Then we show that there is a sufficiently small perturbation of the nonzero weights on the edges of any connected weighted signed graph so that all eigenvalues of its Laplacian matrix are simple. Next, we give upper bounds on the number of possible Laplacian inertias for signed graphs with a fixed flexibility $τ$ (a combinatorial parameter of signed graphs), and show that these bounds are sharp for an infinite family of signed graphs. Finally, we provide upper bounds for the number of possible Laplacian inertias of signed graphs in terms of the number of vertices.