Showing 20 papers (Total: 82505 papers, 47699 authors in database)
B_{n-1}-bundles on the flag variety, II
Published
• View Publication
• BIB
This paper is the sequel to ``$B_{n-1}$-bundles on the flag variety, I". We continue our study of the orbits of a Borel subgroup $B_{n-1}$ of $G_{n-1}=GL(n-1)$ (resp. $SO(n-1)$) acting on the flag variety $\mathcal{B}_{n}$ of $G=GL(n)$ (resp. $SO(n)$). We begin by using the results of the first paper to obtain a complete combinatorial model of the $B_{n-1}$-orbits on $\mathcal{B}_{n}$ in terms of partitions into lists. The model allows us to obtain explicit formulas for the number of orbits as well as the exponential generating functions for the sequences $\{|B_{n-1}\backslash \mathcal{B}_{n}|\}_{n\geq 1}$ . We then use the combinatorial description of the orbits to construct a canonical set of representatives of the orbits in terms of flags. These representatives allow us to understand an extended monoid action on $B_{n-1}\backslash \mathcal{B}_{n}$ using simple roots of both $\mathfrak{g}_{n-1}$ and $\mathfrak{g}$ and show that the closure ordering on $B_{n-1}\backslash \mathcal{B}_{n}$ is the standard ordering of Richardson and Springer.
Equidistant Linear Codes in Projective Spaces
Linear codes in the projective space $\mathbb{P}_q(n)$, the set of all subspaces of the vector space $\mathbb{F}_q^n$, were first considered by Braun, Etzion and Vardy. The Grassmannian $\mathbb{G}_q(n,k)$ is the collection of all subspaces of dimension $k$ in $\mathbb{P}_q(n)$. We study equidistant linear codes in $\mathbb{P}_q(n)$ in this paper and establish that the normalized minimum distance of a linear code is maximum if and only if it is equidistant. We prove that the upper bound on the size of such class of linear codes is $2^n$ when $q=2$ as conjectured by Braun et al. Moreover, the codes attaining this bound are shown to have structures akin to combinatorial objects, viz. \emph{Fano plane} and \emph{sunflower}. We also prove the existence of equidistant linear codes in $\mathbb{P}_q(n)$ for any prime power $q$ using \emph{Steiner triple system}. Thus we establish that the problem of finding equidistant linear codes of maximum size in $\mathbb{P}_q(n)$ with constant distance $2d$ is equivalent to the problem of finding the largest $d$-intersecting family of subspaces in $\mathbb{G}_q(n, 2d)$ for all $1 \le d \le \lfloor \frac{n}{2}\rfloor$. Our discovery proves that there exist equidistant linear codes of size more than $2^n$ for every prime power $q > 2$.
Double Rim Hook Cluster Algebras
We describe an infinite family of non-Plücker cluster variables inside the double Bruhat cell cluster algebra defined by Berenstein, Fomin, and Zelevinsky. These cluster variables occur in a family of subalgebras of the double Bruhat cell cluster algebra which we call Double Rim Hook (DRH) cluster algebras. We discover that all of the cluster variables are determinants of matrices of special form. We conjecture that all the cluster variables of the double Bruhat-cell cluster algebra have similar determinant form. We notice the resemblance between our staircase diagram and Auslander-Reiten quivers.
Algebraic area enumeration of random walks on the honeycomb lattice
Published in Phys. Rev. E 105, 014112 (2022)
• View Publication
• BIB
We study the enumeration of closed walks of given length and algebraic area on the honeycomb lattice. Using an irreducible operator realization of honeycomb lattice moves, we map the problem to a Hofstadter-like Hamiltonian and show that the generating function of closed walks maps to the grand partition function of a system of particles with exclusion statistics of order $g=2$ and an appropriate spectrum, along the lines of a connection previously established by two of the authors. Reinterpreting the results in terms of the standard Hofstadter spectrum calls for a mixture of $g=1$ (fermion) and $g=2$ exclusion whose physical meaning and properties require further elucidation. In this context we also obtain some unexpected Fibonacci sequences within the weights of the combinatorial factors appearing in the counting of walks.
Sharp upper and lower bounds on a restricted class of convex characters
Published
• View Publication
• BIB
Let $\mathcal{T}$ be an unrooted binary tree with $n$ distinctly labelled leaves. Deriving its name from the field of phylogenetics, a convex character on $\mathcal{T}$ is simply a partition of the leaves such that the minimal spanning subtrees induced by the blocks of the partition are mutually disjoint. In earlier work Kelk and Stamoulis (Advances in Applied Mathematics 84 (2017), pp. 34--46) defined $g_k(\mathcal{T})$ as the number of convex characters where each block has at least $k$ leaves. Exact expressions were given for $g_1$ and $g_2$, where the topology of $\mathcal{T}$ turns out to be irrelevant, and it was noted that for $k \geq 3$ topological neutrality no longer holds. In this article, for every $k \geq 3$ we describe tree topologies achieving the maximum and minimum values of $g_k$ and determine corresponding expressions and exponential bounds for $g_k$. Finally, we reflect briefly on possible algorithmic applications of these results.
Griddings of permutations and hardness of pattern matching
We study the complexity of the decision problem known as Permutation Pattern Matching, or PPM. The input of PPM consists of a pair of permutations $τ$ (the `text') and $π$ (the `pattern'), and the goal is to decide whether $τ$ contains $π$ as a subpermutation. On general inputs, PPM is known to be NP-complete by a result of Bose, Buss and Lubiw. In this paper, we focus on restricted instances of PPM where the text is assumed to avoid a fixed (small) pattern $σ$; this restriction is known as Av($σ$)-PPM. It has been previously shown that Av($σ$)-PPM is polynomial for any $σ$ of size at most 3, while it is NP-hard for any $σ$ containing a monotone subsequence of length four.
In this paper, we present a new hardness reduction which allows us to show, in a uniform way, that Av($σ$)-PPM is hard for every $σ$ of size at least 6, for every $σ$ of size 5 except the symmetry class of $41352$, as well as for every $σ$ symmetric to one of the three permutations $4321$, $4312$ and $4231$. Moreover, assuming the exponential time hypothesis, none of these hard cases of Av($σ$)-PPM can be solved in time $2^{o(n/\log n)}$. Previously, such conditional lower bound was not known even for the unconstrained PPM problem.
On the tractability side, we combine the CSP approach of Guillemot and Marx with the structural results of Huczynska and Vatter to show that for any monotone-griddable permutation class C, PPM is polynomial when the text is restricted to a permutation from C.
On the extension of the FKG inequality to $n$ functions
Published
• View Publication
• BIB
The 1971 Fortuin-Kasteleyn-Ginibre (FKG) inequality for two monotone functions on a distributive lattice is well known and has seen many applications in statistical mechanics and other fields of mathematics. In 2008 one of us (Sahi) conjectured an extended version of this inequality for all $n>2$ monotone functions on a distributive lattice. Here we prove the conjecture for two special cases: for monotone functions on the unit square in ${\mathbb R}^k$ whose upper level sets are $k$-dimensional rectangles, and, more significantly, for arbitrary monotone functions on the unit square in ${\mathbb R}^2$. The general case for ${\mathbb R}^k, k>2$ remains open.
Characterizations for split graphs and unbalanced split graphs
We introduce a characterization for split graphs by using edge contraction. Then, we use it to prove that any ($2K_{2}$, claw)-free graph with $α(G) \geq 3$ is a split graph. Also, we apply it to characterize any pseudo-split graph. Finally, by using edge contraction again, we characterize unbalanced split graphs which we use to characterize the Nordhaus-Gaddum graphs.
Random Simple-Homotopy Theory
Published
• View Publication
• BIB
We implement an algorithm RSHT (Random Simple-Homotopy) to study the simple-homotopy types of simplicial complexes, with a particular focus on contractible spaces and on finding substructures in higher-dimensional complexes. The algorithm combines elementary simplicial collapses with pure elementary expansions. For triangulated d-manifolds with d < 7, we show that RSHT reduces to (random) bistellar flips.
Among the many examples on which we test RSHT, we describe an explicit 15-vertex triangulation of the Abalone, and more generally, (14k+1)-vertex triangulations of Bing's houses with k rooms, which all can be deformed to a point using only six pure elementary expansions.
Transportation Distance between Probability Measures on the Infinite Regular Tree
Published
• View Publication
• BIB
In the infinite regular tree $\mathbb{T}_{q+1}$ with $q \in \mathbb{Z}_{\ge 2}$, we consider families $\{μ_u^n\}$, indexed by vertices $u$ and nonnegative integers ("discrete time steps") $n$, of probability measures such that $μ_u^n(v) = μ_{u'}^n(v')$ if the distances $\operatorname{dist}(u,v)$ and $\operatorname{dist}(u',v')$ are equal. Let $d$ be a positive integer, and let $X$ and $Y$ be two vertices in the tree which are at distance $d$ apart. We compute a formula for the transportation distance $W_1\!\left( μ_X^n, μ_Y^n \right)$ in terms of generating functions. In the special case where $μ_u^n = \mathfrak{m}_u^n$ are measures from simple random walks after $n$ time steps, we establish the linear asymptotic formula $W_1\!\left( \mathfrak{m}_X^n, \mathfrak{m}_Y^n \right) = An + B + o(1)$, as $n \to \infty$, and give the formulas for the coefficients $A$ and $B$ in closed forms. We also obtain linear asymptotic formulas in the cases of spheres and uniform balls as the radii tend to infinity. We show that these six coefficients (two from simple random walks, two from spheres, and two from uniform balls) are related by inequalities.
Approximation by Lexicographically Maximal Solutions in Matching and Matroid Intersection Problems
We study how good a lexicographically maximal solution is in the weighted matching and matroid intersection problems. A solution is lexicographically maximal if it takes as many heaviest elements as possible, and subject to this, it takes as many second heaviest elements as possible, and so on. If the distinct weight values are sufficiently dispersed, e.g., the minimum ratio of two distinct weight values is at least the ground set size, then the lexicographical maximality and the usual weighted optimality are equivalent. We show that the threshold of the ratio for this equivalence to hold is exactly $2$. Furthermore, we prove that if the ratio is less than $2$, say $α$, then a lexicographically maximal solution achieves $(α/2)$-approximation, and this bound is tight.
A closed formula of Littlewood-Richardson coefficients
We give a closed formula of the Littlewood-Richardson coefficients.
Cone Types, Automata, and Regular Partitions in Coxeter Groups
Published
• View Publication
• BIB
In this article we introduce the notion of a \textit{regular partition} of a Coxeter group. We develop the theory of these partitions, and show that the class of regular partitions is essentially equivalent to the class of automata (not necessarily finite state) recognising the language of reduced words in the Coxeter group. As an application of this theory we prove that each cone type in a Coxeter group has a unique minimal length representative. This result can be seen as an analogue of Shi's classical result that each component of the Shi arrangement of an affine Coxeter group has a unique minimal length element. We further develop the theory of cone types in Coxeter groups by identifying the minimal set of roots required to express a cone type as an intersection of half-spaces. This set of \textit{boundary roots} is closely related to the elementary inversion sets of Brink and Howlett, and also to the notion of the base of an inversion set introduced by Dyer.
Weakening Total Coloring Conjecture: Weak TCC and Hadwiger's Conjecture on Total Graphs
Published
• View Publication
• BIB
Hadwiger's conjecture is one of the most important and long-standing conjectures in graph theory. Reed and Seymour showed in 2004 that Hadwiger's conjecture is true for line graphs. We investigate this conjecture on the closely related class of total graphs. The total graph of $G$, denoted by $T(G)$, is defined on the vertex set $V(G)\sqcup E(G)$ with $c_1,c_2\in V(G)\sqcup E(G)$ adjacent whenever $c_1$ and $c_2$ are adjacent to or incident on each other in $G$. We first show that there exists a constant $C$ such that, if the connectivity of $G$ is at least $C$, then Hadwiger's conjecture is true for $T(G)$. The total chromatic number $χ"(G)$ of a graph $G$ is defined to be equal to the chromatic number of its total graph. That is, $χ"(G)=χ(T(G))$. Another well-known conjecture in graph theory, the total coloring conjecture or TCC, states that for every graph $G$, $χ"(G)\leqΔ(G)+2$, where $Δ(G)$ is the maximum degree of $G$. We show that if a weaker version of the total coloring conjecture (weak TCC) namely, $χ"(G)\leqΔ(G)+3$, is true for a class of graphs $\mathcal{F}$ that is closed under the operation of taking subgraphs, then Hadwiger's conjecture is true for the class of total graphs of graphs in $\mathcal{F}$. This motivated us to look for classes of graphs that satisfy weak TCC. It may be noted that a complete proof of TCC for even 4-colorable graphs (in fact even for planar graphs) has remained elusive even after decades of effort; but weak TCC can be proved easily for 4-colorable graphs. We noticed that in spite of the interest in studying $χ"(G)$ in terms of $χ(G)$ right from the initial days, weak TCC is not proven to be true for $k$-colorable graphs even for $k=5$. In the second half of the paper, we make a contribution to the literature on total coloring by proving that $χ"(G)\leqΔ(G)+3$ for every 5-colorable graph $G$.
On the number of fair dominating sets of graphs
Published
• View Publication
• BIB
Let $G=(V,E)$ be a simple graph. A dominating set of $G$ is a subset $D\subseteq V$ such that every vertex not in $D$ is adjacent to at least one vertex in $D$.The cardinality of a smallest dominating set of $G$, denoted by $γ(G)$, is the domination number of $G$.For $k \geq 1$, a $k$-fair dominating set($kFD$-set) in $G$, is a dominating set $S$ such that $|N(v) \cap D|=k$ for every vertex $ v \in V\setminus D$.A fair dominating set, in $G$ is a $kFD$-set for some integer $k\geq 1$.In this paper, after presenting preliminaries, we count the number of fair dominating sets of some specific graphs.
Extremal problems on Sombor indices of unicyclic graphs with a given diameter
Published
• View Publication
• BIB
Sombor index is a novel topological index, which was introduced by Gutman and defined for a graph $G$ as $SO(G)=\sum\limits_{uv\in E(G)}\sqrt{d_{u}^{2}+d_{v}^{2}}$, where $d_{u}=d_{G}(u)$ denotes the degree of vertex $u$ in graph $G$.
Extremal problems on the Sombor index for trees with a given diameter has been considered by Chen et al. [H. Chen, W. Li, J. Wang, Extremal values on the Sombor index of trees, MATCH Commun. Math. Comput. Chem. 87 (2022) 23--49] and Li et al. [S. Li, Z. Wang, M. Zhang, On the extremal Sombor index of trees with a given diameter, Appl. Math. Comput. 416 (2022) 126731]. As an extension of results introduces above, we determine the maximum Sombor indices for unicyclic graphs with a fixed order and given diameter.
Instances of small size with no weakly stable matching for three-sided problem with complete cyclic preferences
Published
• View Publication
• BIB
Given $n$ men, $n$ women, and $n$ dogs, we assume that each man has a complete preference list of women, while each woman does a complete preference list of dogs, and each dog does a complete preference list of men. We study the so-called 3D-CYC problem, i.e., a three-dimensional problem with cyclic preferences. We understand a matching as a collection of $n$ nonintersecting triples, each of which contains a man, a woman, and a dog. A matching is said to be nonstable, if one can find a man, a woman, and a dog, which belong to different triples and prefer each other to their current partners in the corresponding triples. Otherwise, the matching is said to be stable. According to the conjecture proposed by Eriksson, Söstrand, and Strimling (2006), the problem of finding a stable matching (the problem 3DSM-CYC) always has a solution. However, Lam and Paxton have proposed an algorithm for constructing preference lists in 3DSM-CYC of size $n=90$, which has allowed them to disprove the mentioned conjecture. The question on the existence of counterexamples of a lesser size remained open. The main value of this paper consists in reducing the size of the counterexample to $n=20$. At the end part of the paper, we discuss a new variant of 3DSM, whose solution always exists.
On the Wiener (r,s)-complexity of fullerene graphs
Published
• View Publication
• BIB
Fullerene graphs are mathematical models of fullerene molecules. The Wiener $(r,s)$-complexity of a fullerene graph $G$ with vertex set $V(G)$ is the number of pairwise distinct values of $(r,s)$-transmission $tr_{r,s}(v)$ of its vertices $v$: $tr_{r,s}(v)= \sum_{u \in V(G)} \sum_{i=r}^{s} d(v,u)^i$ for positive integer $r$ and $s$. The Wiener $(1,1)$-complexity is known as the Wiener complexity of a graph. Irregular graphs have maximum complexity equal to the number of vertices. No irregular fullerene graphs are known for the Wiener complexity. Fullerene (IPR fullerene) graphs with n vertices having the maximal Wiener $(r,s)$-complexity are counted for all $n\le 100$ ($n\le 136$) and small $r$ and $s$. The irregular fullerene graphs are also presented.
Revisiting Faigle geometries from a perspective of semimodular lattices
Published
• View Publication
• BIB
In 1980, U. Faigle introduced a sort of finite geometries on posets that are in bijective correspondence with finite semimodular lattices. His result has almost been forgotten in lattice theory. Here we simplify the axiomatization of these geometries, which we call Faigle geometries. To exemplify their usefulness, we give a short proof of a theorem of Grätzer and E. Knapp (2009) asserting that each slim semimodular lattice $L$ has a congruence-preserving extension to a slim rectangular lattice of the same length as $L$. As another application of Faigle geometries, we give a short proof of G. Grätzer and E. W. Kiss' result from 1986 (also proved by M. Wild in 1993 and the present author and E. T. Schmidt in 2010) that each finite semimodular lattice $L$ has an extension to a geometric lattice of the same length as $L$.
Quantum immanants, double Young-Capelli bitableaux and Schur shifted symmetric functions
Published
• View Publication
• BIB
In this paper are introduced two classes of elements in the enveloping algebra $\mathbf{U}(gl(n))$: the \emph{double Young-Capelli bitableaux} $[\ \fbox{$S \ | \ T$}\ ]$ and the \emph{central} \emph{Schur elements} $\mathbf{S}_λ(n)$, that act in a remarkable way on the highest weight vectors of irreducible Schur modules.
Any element $\mathbf{S}_λ(n)$ is the sum of all double Young-Capelli bitableaux $[\ \fbox{$S \ | \ S$}\ ]$, $S$ row (strictly) increasing Young tableaux of shape $\widetildeλ$. The Schur elements $\mathbf{S}_λ(n)$ are proved to be the preimages - with respect to the Harish-Chandra isomorphism - of the \emph{shifted Schur polynomials} $s_{λ|n}^* \in Λ^*(n)$. Hence, the Schur elements are the same as the Okounkov \textit{quantum immanants}, recently described by the present authors as linear combinations of \emph{Capelli immanants}. This new presentation of Schur elements/quantum immanants doesn't involve the irreducible characters of symmetric groups. The Capelli elements $\mathbf{H}_k(n)$ are column Schur elements and the Nazarov-Umeda elements $\mathbf{I}_k(n)$ are row Schur elements. The duality in $\boldsymbolζ(n)$ follows from a combinatorial description of the eigenvalues of the $\mathbf{H}_k(n)$ on irreducible modules that is {\it{dual}} (in the sense of shapes/partitions) to the combinatorial description of the eigenvalues of the $\mathbf{I}_k(n)$.
The passage $n \rightarrow \infty$ for the algebras $\boldsymbolζ(n)$ is obtained both as direct and inverse limit in the category of filtered algebras, via the \emph{Olshanski decomposition/projection}.