Showing 20 papers (Total: 84460 papers, 48641 authors in database)
The algebra $U^+_q$ and its alternating central extension $\mathcal U^+_q$
Let $U^+_q$ denote the positive part of the quantized enveloping algebra $U_q(\widehat{\mathfrak{sl}}_2)$. The algebra $U^+_q$ has a presentation involving two generators $W_0$, $W_1$ and two relations, called the $q$-Serre relations. In 1993 I. Damiani obtained a PBW basis for $U^+_q$, consisting of some elements $\lbrace E_{n δ+ α_0} \rbrace_{n=0}^\infty$, $\lbrace E_{n δ+ α_1} \rbrace_{n=0}^\infty$, $\lbrace E_{n δ} \rbrace_{n=1}^\infty$. In 2019 we introduced the alternating central extension $\mathcal U^+_q$ of $U^+_q$. We defined $\mathcal U^+_q$ by generators and relations. The generators, said to be alternating, are denoted $\lbrace \mathcal W_{-k}\rbrace_{k=0}^\infty$, $\lbrace \mathcal W_{k+1}\rbrace_{k=0}^\infty$, $ \lbrace \mathcal G_{k+1}\rbrace_{k=0}^\infty$, $\lbrace \mathcal {\tilde G}_{k+1}\rbrace_{k=0}^\infty$. Let $\langle \mathcal W_0, \mathcal W_1 \rangle$ denote the subalgebra of $\mathcal U^+_q$ generated by $\mathcal W_0$, $\mathcal W_1$. It is known that there exists an algebra isomorphism $U^+_q\to \langle \mathcal W_0, \mathcal W_1 \rangle$ that sends $W_0 \mapsto \mathcal W_0$ and $W_1 \mapsto \mathcal W_1$. Via this isomorphism we identify $U^+_q$ with $\langle \mathcal W_0, \mathcal W_1 \rangle$. In our main result, we express the Damiani PBW basis elements in terms of the alternating generators. We give the answer in terms of generating functions.
The Coven-Meyerowitz tiling conditions for 3 odd prime factors
It is well known that if a finite set $A\subset\mathbb{Z}$ tiles the integers by translations, then the translation set must be periodic, so that the tiling is equivalent to a factorization $A\oplus B=\mathbb{Z}_M$ of a finite cyclic group. We are interested in characterizing all finite sets $A\subset\mathbb{Z}$ that have this property. Coven and Meyerowitz (1998) proposed conditions (T1), (T2) that are sufficient for $A$ to tile, and necessary when the cardinality of $A$ has at most two distinct prime factors. They also proved that (T1) holds for all finite tiles, regardless of size. It is not known whether (T2) must hold for all tilings with no restrictions on the number of prime factors of $|A|$.
We prove that the Coven-Meyerowitz tiling condition (T2) holds for all integer tilings of period $M=(p_ip_jp_k)^2$, where $p_i,p_j,p_k$ are distinct odd primes. The proof also provides a classification of all such tilings.
Graphs with Many Hamiltonian Paths
Published in Involve 18 (2025) 613-627
• View Publication
• BIB
A graph is \emph{hamiltonian-connected} if every pair of vertices can be connected by a hamiltonian path, and it is \emph{hamiltonian} if it contains a hamiltonian cycle. We construct families of non-hamiltonian graphs for which the ratio of pairs of vertices connected by hamiltonian paths to all pairs of vertices approaches 1. We then consider minimal graphs that are hamiltonian-connected. It is known that any order-$n$ graph that is hamiltonian-connected must have $\geq 3n/2$ edges. We construct an infinite family of graphs realizing this minimum.
Minimal quadrangulations of surfaces
Published
• View Publication
• BIB
A quadrangular embedding of a graph in a surface $Σ$, also known as a quadrangulation of $Σ$, is a cellular embedding in which every face is bounded by a $4$-cycle. A quadrangulation of $Σ$ is minimal if there is no quadrangular embedding of a (simple) graph of smaller order in $Σ$. In this paper we determine $n(Σ)$, the order of a minimal quadrangulation of a surface $Σ$, for all surfaces, both orientable and nonorientable. Letting $S_0$ denote the sphere and $N_2$ the Klein bottle, we prove that $n(S_0)=4, n(N_2)=6$, and $n(Σ)=\lceil (5+\sqrt{25-16χ(Σ)})/2\rceil$ for all other surfaces $Σ$, where $χ(Σ)$ is the Euler characteristic. Our proofs use a `diagonal technique', introduced by Hartsfield in 1994. We explain the general features of this method.
Schubert polynomials, the inhomogeneous TASEP, and evil-avoiding permutations
Published
• View Publication
• BIB
Consider a lattice of n sites arranged around a ring, with the $n$ sites occupied by particles of weights $\{1,2,\dots,n\}$; the possible arrangements of particles in sites thus corresponds to the $n!$ permutations in $S_n$. The inhomogeneous totally asymmetric simple exclusion process (or TASEP) is a Markov chain on the set of permutations, in which two adjacent particles of weights $i<j$ swap places at rate $x_i - y_{n+1-j}$ if the particle of weight $j$ is to the right of the particle of weight $i$. (Otherwise nothing happens.) In the case that $y_i=0$ for all $i$, the stationary distribution was conjecturally linked to Schubert polynomials by Lam-Williams, and explicit formulas for steady state probabilities were subsequently given in terms of multiline queues by Ayyer-Linusson and Arita-Mallick. In the case of general $y_i$, Cantini showed that $n$ of the $n!$ states have probabilities proportional to products of double Schubert polynomials. In this paper we introduce the class of evil-avoiding permutations, which are the permutations avoiding the patterns $2413, 4132, 4213$ and $3214$. We show that there are $\frac{(2+\sqrt{2})^{n-1}+(2-\sqrt{2})^{n-1}}{2}$ evil-avoiding permutations in $S_n$, and for each evil-avoiding permutation $w$, we give an explicit formula for the steady state probability $ψ_w$ as a product of double Schubert polynomials. We also show that the Schubert polynomials that arise in these formulas are flagged Schur functions, and give a bijection in this case between multiline queues and semistandard Young tableaux.
Some Families of Graphs with Small Power Domination Number
Let $ G $ be a graph with the vertex set $ V(G) $ and $ S $ be a subset of $ V(G) $. Let $cl(S)$ be the set of vertices built from $S$, by iteratively applying the following propagation rule: if a vertex and all of its neighbors except one of them are in $ cl(S) $, then the exceptional neighbor is also in $ cl(S) $. A set $S$ is called a zero forcing set of $G$ if $cl(S)=V(G)$. The zero forcing number $Z(G)$ of $G$ is the minimum cardinality of a zero forcing set. Let $cl(N[S])$ be the set of vertices built from the closed neighborhood $N[S]$ of $S$, by iteratively applying the previous propagation rule. A set $S$ is called a power dominating set of $G$ if $cl(N[S])=V(G)$. The power domination number $γ_p (G)$ of $G$ is the minimum cardinality of a power dominating set. In this paper, we present some families of graphs that their power domination number is 1 or 2.
Asymptotic bit frequency in Fibonacci words
Published
• View Publication
• BIB
It is known that binary words containing no $k$ consecutive 1s are enumerated by $k$-step Fibonacci numbers. In this note we discuss the expected value of a random bit in a random word of length $n$ having this property.
On finite groups with polynomial diameter
Given a finite group $G$ and a generating set $S \subseteq G$, the diameter $diam(G,S)$ is the least integer $n$ such that every element of $G$ is the product of at most $n$ elements of $S$. In this paper, for bounded $|S|$, we characterize groups with polynomial diameter as the groups with a large abelian section close to the top, precisely of size an exponential portion of the size of the full group. This complements a key result of Breuillard and Tointon. As a consequence, groups with polynomial diameter have many conjugacy classes, and contain a large nilpotent subgroup of class at most $2$.
On the divisibility of $q$-trinomial coefficients
Published
• View Publication
• BIB
We establish a congruence on sums of central $q$-binomial coefficients. From this $q$-congruence, we derive the divisibility of the $q$-trinomial coefficients introduced by Andrews and Baxter.
Graph and hypergraph colouring via nibble methods: A survey
Published
• View Publication
• BIB
This paper provides a survey of methods, results, and open problems on graph and hypergraph colourings, with a particular emphasis on semi-random `nibble' methods. We also give a detailed sketch of some aspects of the recent proof of the Erdős-Faber-Lovász conjecture.
Spectral Conditions for the Bipancyclic Bipartite Graphs
Published
• View Publication
• BIB
Let $G = (X, Y; E)$ be a bipartite graph with two vertex partition subsets $X$ and $Y$. $G$ is said to be balanced if $|X| = |Y|$. $G$ is said to be bipancyclic if it contains cycles of every even length from $4$ to $|V(G)|$. In this note, we present spectral conditions for the bipancyclic bipartite graphs.
Rainbow Turán number of clique subdivisions
Published in European Journal of Combinatorics, Volume 110, May 2023, 103675
• View Publication
• BIB
We show that for any integer $t\geq 2$, every properly edge-coloured graph on $n$ vertices with more than $n^{1+o(1)}$ edges contains a rainbow subdivision of $K_t$. Note that this bound on the number of edges is sharp up to the $o(1)$ error term. This is a rainbow analogue of some classical results on clique subdivisions and extends some results on rainbow Turán numbers. Our method relies on the framework introduced by Sudakov and Tomon[2020] which we adapt to find robust expanders in the coloured setting.
On classical inequalities for autocorrelations and autoconvolutions
In this paper we study an autocorrelation inequality proposed by Barnard and Steinerberger. The study of these problems is motivated by a classical problem in additive combinatorics. We establish the existence of extremizers to this inequality, for a general class of weights, including Gaussian functions (as studied by the second author and Ramos) and characteristic function (as originally studied by Barnard and Steinerberger). Moreover, via a discretization argument and numerical analysis, we find some almost optimal approximation for the best constant allowed in this inequality. We also discuss some other related problem about autoconvolutions.
Evaluation of Some Sums Involving Powers of Harmonic Numbers
Published
• View Publication
• BIB
In this note, we extend the definition of multiple harmonic sums and apply their stuffle relations to obtain explicit evaluations of the sums $R_n(p,t)=\sum\nolimits_{m=0}^n m^p H_m^t$, where $H_m$ are harmonic numbers. When $t\le 4$ these sums were first studied by Spieß around 1990 and, more recently, by Jin and Sun. Our key step first is to find an explicit formula of a special type of the extended multiple harmonic sums. This also enables us to provide a general structural result of the sums $R_n(p,t)$ for all $t\ge 0$.
Roots of the characteristic polynomials of hyperplane arrangements and their restrictions and localizations
Published
• View Publication
• BIB
Terao's factorization theorem shows that if an arrangement is free, then its characteristic polynomial factors into the product of linear polynomials over the integer ring. This is not a necessary condition, but there are not so many non-free arrangements whose characteristic polynomial factors over the integer ring. On the other hand, the localization of a free arrangement is free, and its restriction is in many cases free, thus its characteristic polynomial factors. In this paper, we consider how their integer, or real roots behave.
On the enumeration of Fano Bott manifolds
Published
• View Publication
• BIB
Fano Bott manifolds bijectively correspond to signed rooted forests with some equivalence relation. Using this bijective correspondence, we enumerate the isomorphism classes of Fano Bott manifolds and the diffeomorphism classes of indecomposable Fano Bott manifolds. We also observe that the signed rooted forests with the equivalence relation bijectively correspond to rooted triangular cacti.
Immanant Positivity for Catalan-Stieltjes Matrices
Published
• View Publication
• BIB
In this paper we give some sufficient conditions for the nonnegativity of immanants of square submatrices of Catalan-Stieltjes matrices and their corresponding Hankel matrices. To obtain these sufficient conditions, we construct new planar networks with a recursive nature for Catalan-Stieltjes matrices. As applications, we provide a unified way to produce inequalities for many combinatorial polynomials, such as the Eulerian polynomials, Schröder polynomials and Narayana polynomials.
Slack matrices, $k$-products, and $2$-level polytopes
Published
• View Publication
• BIB
In this paper, we study algorithmic questions concerning products of matrices and their consequences for recognition algorithms for polyhedra.
The 1-product of matrices $S_1$, $S_2$ is a matrix whose columns are the concatenation of each column of $S_1$ with each column of $S_2$. The $k$-product generalizes the $1$-product, by taking as input two matrices $S_1, S_2$ together with $k-1$ special rows of each of those matrices, and outputting a certain composition of $S_1,S_2$.
Our study is motivated by a close link between the 1-product of matrices and the Cartesian product of polytopes, and more generally between the $k$-product of matrices and the glued product of polytopes. These connections rely on the concept of slack matrix, which gives an algebraic representation of classes of affinely equivalent polytopes. The slack matrix recognition problem is the problem of determining whether a given matrix is a slack matrix. This is an intriguing problem whose complexity is unknown. Our algorithm reduces the problem to instances which cannot be expressed as $k$-products of smaller matrices.
In the second part of the paper, we give a combinatorial interpretation of $k$-products for two well-known classes of polytopes: 2-level matroid base polytopes and stable set polytopes of perfect graphs. We also show that the slack matrix recognition problem is polynomial-time solvable for such polytopes. Those two classes are special cases of $2$-level polytopes, for which we conjecture that the slack matrix recognition problem is polynomial-time solvable.
Construction of Evidently Positive Series and An Alternative Construction for a Family of Partition Generating Functions due to Kanade and Russell
We give an alternative construction for a family of partition generating functions due to Kanade and Russell. In our alternative construction, we use ordinary partitions instead of jagged partitions. We also present new generating functions which are evidently positive series for partitions due to Kanade and Russell. To obtain those generating functions, we first construct an evidently positive series for a key infinite product. In that construction, a series of combinatorial moves is used to decompose an arbitrary partition into a base partition together with some auxiliary partitions that bijectively record the moves.
$(p, q)$-analogues of the generalized Touchard polynomials and Stirling numbers
Published
• View Publication
• BIB
In this paper we introduce a $(p, q)$-deformed analogues of the generalized Touchard polynomials and Stirling numbers, the post-quantum analogues of the $q$-deformed generalized Touchard polynomials and Stirling numbers. The connection between these deformations is established. A recurrence relation for the $(p, q)$-deformed generalized Touchard polynomials is expounded, elucidating a $(p, q)$-deformation of Spivey's relation.