group
10226 papers tagged with this keyword
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}.
Cluster Modular Groups of Affine and Doubly Extended Cluster Algebras
Published
• View Publication
• BIB
We calculate the cluster modular groups of affine and doubly extended typecluster algebras in a uniform way by introducing a new family of quivers. We use this uniformdescription to construct a natural finite quotient of the cluster complex of each affine anddoubly extended cluster algebra. Using this construction, we introduce the notion of affineand doubly extended generalized associahedra, and count their facets.
On intersection density of transitive groups of degree a product of two odd primes
Published in Finite Fields and Their Applications, Volume 78, 2022
• View Publication
• BIB
Two elements $g$ and $h$ of a permutation group $G$ acting on a set $V$ are said to be intersecting if $g(v) = h(v)$ for some $v \in V$. More generally, a subset ${\cal F}$ of $G$ is an intersecting set if every pair of elements of ${\cal F}$ is intersecting. The intersection density $ρ(G)$ of a transitive permutation group $G$ is the maximum value of the quotient $|{\cal F}|/|G_v|$ where $G_v$ is a stabilizer of $v\in V$ and ${\cal F}$ runs over all intersecting sets in $G$. Intersection densities of transitive groups of degree $pq$, where $p>q$ are odd primes, is considered. In particular, the conjecture that the intersection density of every such group is equal to $1$ (posed in [ J.~Combin. Theory, Ser. A 180 (2021), 105390]) is disproved by constructing a family of imprimitive permutation groups of degree $pq$ (with blocks of size $q$), where $p=(q^k-1)/(q-1)$, whose intersection density is equal to $q$. The construction depends heavily on certain equidistant cyclic codes $[p,k]_q$ over the field $\mathbb{F}_q$ whose codewords have Hamming weight strictly smaller than $p$.
Monochromatic Edges in Complete Multipartite Hypergraphs
Published
• View Publication
• BIB
Consider the following problem. In a school with three classes containing $n$ students each, given that their genders are unknown, find the minimum possible number of triples of same-gender students not all of which are from the same class. Muaengwaeng asked this question and conjectured that the minimum scenario occurs when the classes are all boy, all girl and half-and-half. In this paper, we solve many generalizations of the problem including when the school has more than three classes, when triples are replaced by groups of larger sizes, when the classes are of different sizes, and when gender is replaced by other non-binary attributes.
Asymmetric edge-coloring of graphs with simple automorphism group
Published
• View Publication
• BIB
The distinguishing index $D'(Γ)$ of a graph $Γ$ is the least number $k$ such that $Γ$ has an edge-coloring with $k$ colors preserved only by the trivial automorphism. In this paper we prove that if the automorphism group of a finite graph $Γ$ is simple, then its distinguishing index $D'(Γ)=2$.
Extremal product-one free sequences and $|G|$-product-one free sequences of a metacyclic group
Published
• View Publication
• BIB
Let $G$ be a multiplicatively written finite group. We denote by $\mathsf E(G)$ the smallest integer $t$ such that every sequence of $t$ elements in $G$ contains a product-one subsequence of length $|G|$. In 1961, Erdős, Ginzburg and Ziv proved that $\mathsf E(G)\leq 2|G|-1$ for every finite abelian group $G$ and this result is known as the Erdős-Ginzburg-Ziv Theorem. In 2005, Zhuang and Gao conjectured that $\mathsf E(G)=\mathsf d(G)+|G|$ for every finite group, where $\mathsf d(G)$ is the small Davenport constant. Very recently, we confirmed this conjecture for the case when $G=\langle x, y| x^p=y^m=1, x^{-1}yx=y^r\rangle$ where $p$ is the smallest prime divisor of $|G|$ and $\mbox{gcd}(p(r-1), m)=1$. In this paper, we study the associated inverse problems on $\mathsf d(G)$ and $\mathsf E(G)$. Our main results characterize the structure of any product-one free sequence with extremal length $\mathsf d(G)$, and that of any $|G|$-product-one free sequence with extremal length $\mathsf E(G)-1$.
Conditions for matchability in groups and field extensions
Published
• View Publication
• BIB
The origins of the notion of matchings in groups spawn from a linear algebra problem proposed by E. K. Wakeford [24] which was tackled in 1996 [10]. In this paper, we first discuss unmatchable subsets in abelian groups. Then we formulate and prove linear analogues of results concerning matchings, along with a conjecture that, if true, would extend the primitive subspace theorem. We discuss the dimension $m$-intersection property for vector spaces and its connection to matching subspaces in a field extension, and we prove the linear version of an intersection property result of certain subsets of a given set.
On Distribution of Laplacian Eigenvalues of Graphs
The work in this thesis concerns the investigation of eigenvalues of the Laplacian matrix, normalized Laplacian matrix, signless Laplacian matrix and distance signless Laplacian matrix of graphs. In Chapter 1, we present a brief introduction of spectral graph theory with some definitions.
Chapter $2$ deals with the sum of $ k $ largest Laplacian eigenvalues $ S_{k}(G) $ of graph $ G $ and Brouwer's conjecture. We obtain the upper bounds for $ S_{k}(G) $ for some classes of graphs and use them to verify Brouwer's conjecture for these classes of graphs. Also, we prove Brouwer's conjecture for more general classes of graphs.
In Chapter $3$, we investigate the Laplacian eigenvalues of graphs and the Laplacian energy conjecture for trees. We prove the Laplacian energy conjecture completely for trees of diameter $ 4 $. Further, we prove this conjecture for all trees having at most $ \frac{9n}{25}-2 $ non-pendent vertices. Also, we obtain the sufficient conditions for the truth of conjecture for trees of order $ n $.
In Chapter $4$, we determine the normalized Laplacian spectrum of the joined union of regular graphs and obtain the spectrum of some well known graphs. As consequences of joined union, we obtain the normalized Laplacian spectrum of power graphs associated to finite cyclic groups.
In Chapter $5$, we find the distance signless Laplacian spectrum of regular graphs and zero-divisor graphs associated to finite commutative ring. Also, we find the bounds for spectral radius of generalized distance matrix. Further, we obtain the generalized distance energy for bipartite graphs and trees. We prove that the complete bipartite graph has minimum generalized distance energy among all connected bipartite graphs. Besides, for $ α\in \big(0, \frac{2n}{3n-2}\big) $, we show that the star graph has minimum generalized distance energy among all trees.
A Generalization of Deodhar's Framework for Questions in Kazhdan-Lusztig Theory
We make progress on a question of Skandera by showing that a product of Kazhdan-Lusztig basis elements indexed by maximal elements of parabolic subgroups admits a Kazhdan-Lusztig basis element as a quotient arising from operations in the Schur algebroid if and only if the sequence of parabolic subgroups satisfy both a rigidity condition and a combinatorial criterion. For Weyl groups, the rigidity condition specializes to a necessary condition for smallness of Gelfand-MacPherson resolutions. For Schubert varieties indexed by 4231-avoiding permutations, we derive a stronger necessary condition that, up to an appropriate equivalence, is satisfied by at most one Gelfand-MacPherson resolution, and exactly one if and only if 45312 is also avoided. Moreover, we apply the combinatorial criterion to prove the (essentially unique) resolution is small when 34512 and 45123 are likewise avoided.
We develop the combinatorial criterion as part of a generalization of Deodhar's combinatorial setting for questions in Kazhdan-Lusztig theory, which in the case of Weyl groups we show captures the Byałynicki-Birula decompositions of Gelfand-MacPherson resolutions. In particular, we obtain new combinatorial interpretations of Kazhdan-Lusztig polynomials, new algorithms for computing them, and in the case of Weyl groups, an equivalence of the existence of small Gelfand-MacPherson resolutions with that of certain factorizations and generating-function interpretations of the Poincaré polynomial of intersection cohomology of the Schubert variety.
Ghosts and congruences for $p^s$-approximations of hypergeometric periods
Published in J. Austral. Math. Soc. 116:1 (2024) 96--127
• View Publication
• BIB
We prove general Dwork-type congruences for constant terms attached to tuples of Laurent polynomials. We apply this result to establishing arithmetic and $p$-adic analytic properties of functions originating from polynomial solutions modulo $p^s$ of hypergeometric and KZ equations, solutions which come as coefficients of master polynomials and whose coefficients are integers. As an application we show that the simplest example of a $p$-adic KZ connection has an invariant line subbundle while its complex analog has no nontrivial subbundles due to the irreducibility of the monodromy group.
The Paradox of Second-Order Homophily in Networks
Published in Sci Rep 11, 13360 (2021)
• View Publication
• BIB
Homophily -- the tendency of nodes to connect to others of the same type -- is a central issue in the study of networks. Here we take a local view of homophily, defining notions of first-order homophily of a node (its individual tendency to link to similar others) and second-order homophily of a node (the aggregate first-order homophily of its neighbors). Through this view, we find a surprising result for homophily values that applies with only minimal assumptions on the graph topology. It can be phrased most simply as "in a graph of red and blue nodes, red friends of red nodes are on average more homophilous than red friends of blue nodes." This gap in averages defies simple intuitive explanations, applies to globally heterophilous and homophilous networks and is reminiscent of but structurally distinct from the Friendship Paradox. The existence of this gap suggests intrinsic biases in homophily measurements between groups, and hence is relevant to empirical studies of homophily in networks.
Families of Association Schemes on Triples from Two-Transitive Groups
Association schemes on triples (ASTs) are ternary analogues of classical association schemes. Analogous to Schurian association schemes, ASTs arise from the actions of two-transitive groups. In this paper, we obtain the sizes and third valencies of the ASTs obtained from the two-transitive permutation groups by determining the orbits of the groups' two-point stabilizers. Specifically, we obtain these parameters for the ASTs obtained from the actions of $S_n$ and $A_n$, $PGU(3,q)$, $PSU(3,q)$, and $Sp(2k,2)$, $Sz(2^{2k+1})$ and $Ree(3^{2k+1})$, some subgroups of $AΓL(k,n)$, some subgroups of $PΓL(k,n)$, and the sporadic two-transitive groups. Further, we obtain the intersection numbers for the ASTs obtained from these subgroups of $PΓL(k,n)$ and $A ΓL(k,n)$, and the sporadic two-transitive groups. In particular, the ASTs from these projective and sporadic groups are commutative.
Boolean functions on $S_n$ which are nearly linear
Published in Discrete Analysis, 2021:25
• View Publication
• BIB
We show that if $f\colon S_n \to \{0,1\}$ is $ε$-close to linear in $L_2$ and $\mathbb{E}[f] \leq 1/2$ then $f$ is $O(ε)$-close to a union of "mostly disjoint" cosets, and moreover this is sharp: any such union is close to linear. This constitutes a sharp Friedgut-Kalai-Naor theorem for the symmetric group.
Using similar techniques, we show that if $f\colon S_n \to \mathbb{R}$ is linear, $\Pr[f \notin \{0,1\}] \leq ε$, and $\Pr[f = 1] \leq 1/2$, then $f$ is $O(ε)$-close to a union of mostly disjoint cosets, and this is also sharp; and that if $f\colon S_n \to \mathbb{R}$ is linear and $ε$-close to $\{0,1\}$ in $L_\infty$ then $f$ is $O(ε)$-close in $L_\infty$ to a union of disjoint cosets.
Which Schubert Varieties are Hessenberg Varieties?
Published
• View Publication
• BIB
After proving that every Schubert variety in the full flag variety of a complex reductive group $G$ is a general Hessenberg variety, we show that not all such Schubert varieties are adjoint Hessenberg varieties. In fact, in types A and C, we provide pattern avoidance criteria implying that the proportion of Schubert varieties that are adjoint Hessenberg varieties approaches zero as the rank of $G$ increases. We show also that in type A, some Schubert varieties are not isomorphic to any adjoint Hessenberg variety.
Extremal product-one free sequences over $C_n \rtimes_s C_2$
Let $G$ be a finite group multiplicatively written. The small Davenport constant of $G$ is the maximum positive integer ${\sf d}(G)$ such that there exists a sequence $S$ of length ${\sf d}(G)$ for which every subsequence of $S$ is product-one free. Let $s^2 \equiv 1 \pmod n$, where $s \not\equiv \pm1 \pmod n$. It has been proven that ${\sf d}(C_n \rtimes_s C_2) = n$ (see Lemma 6 of [Zhuang, Gao; Europ. J. Combin. 26 (2005), 1053-1059]). In this paper, we determine all sequences over $C_n \rtimes_s C_2$ of length $n$ which are product-one free. It completes the classification of all product-one free sequences over every group of the form $C_n \rtimes_s C_2$, including the quasidihedral groups and the modular maximal-cyclic groups.
The main zero-sum constants over $D_{2n} \times C_2$
Let $C_2$ be the cyclic group of order $2$ and $D_{2n}$ be the dihedral group of order $2n$, where $n$ is even. In this paper, we provide the exact values of some zero-sum constants over $D_{2n} \times C_2$, namely small Davenport constant, Gao constant, $η$-constant and Erd\H os-Ginzburg-Ziv constant. As a consequence, we prove the Gao's and Zhuang-Gao's Conjectures for this group. These are the first concrete results on zero-sum problems for a family of non-abelian groups of rank greater than $2$.
$(d,\textbfσ)$-Veronese variety and some applications
Published
• View Publication
• BIB
Let $\mathbb{K}$ be the Galois field $\mathbb{F}_{q^t}$ of order $q^t, q=p^e, p$ a prime, $A=\mathrm{Aut}(\mathbb{K})$ be the automorphism group of $\mathbb{K}$ and $\boldsymbolσ=(σ_0,\ldots, σ_{d-1}) \in A^d$, $d \geq 1$. In this paper the following generalization of the Veronese map is studied: $$ ν_{d,\boldsymbolσ} : \langle v\rangle \in \mathrm{PG}(n-1,\mathbb{K}) \longrightarrow \langle v^{σ_0} \otimes v^{σ_1} \otimes \cdots \otimes v^{σ_{d-1}}\rangle \in \mathrm{PG} (n^d-1,\mathbb{K} ). $$ Its image will be called the $(d,\boldsymbolσ)$-$Veronese$ $variety$ $\mathcal{V}_{d,\boldsymbolσ}$. Here, we will show that $\mathcal{V}_{d,\boldsymbolσ}$ is the Grassmann embedding of a normal rational scroll and any $d+1$ points of it are linearly independent. We give a characterization of $d+2$ linearly dependent points of $\mathcal{V}_{d,\boldsymbolσ}$ and for some choices of parameters, $\mathcal{V}_{p,\boldsymbolσ}$ is the normal rational curve; for $p=2$, it can be the Segre's arc of $\mathrm{PG}(3,q^t)$; for $p=3$ $\mathcal{V}_{p,\boldsymbolσ}$ can be also a $|\mathcal{V}_{p,\boldsymbolσ}|$-track of $\mathrm{PG}(5,q^t)$. Finally, investigate the link between such points sets and a linear code $\mathcal{C}_{d,\boldsymbolσ}$ that can be associated to the variety, obtaining examples of MDS and almost MDS codes.
Multiple recurrence and popular differences for polynomial patterns in rings of integers
Published
• View Publication
• BIB
We demonstrate that the phenomenon of popular differences (aka the phenomenon of large intersections) holds for natural families of polynomial patterns in rings of integers of number fields. If $K$ is a number field with ring of integers $\mathcal{O}_K$ and $E \subseteq \mathcal{O}_K$ has positive upper Banach density $d^*(E) = δ> 0$, we show, inter alia:
1. If $p(x) \in K[x]$ is an intersective $\mathcal{O}_K$-valued polynomial and $r, s \in \mathcal{O}_K$ are distinct and nonzero, then for any $\varepsilon > 0$, the set of $n \in \mathcal{O}_K$ such that \[ d^* \left( \{ x \in \mathcal{O}_K : \{x, x + rp(n), x + sp(n)\} \subseteq E \} \right) > δ^3 - \varepsilon. \] is syndetic. Moreover, if $\frac{s}{r} \in \mathbb{Q}$, then there are syndetically many $n \in \mathcal{O}_K$ such that \[ d^* \left( \{ x \in \mathcal{O}_K : \{x, x + rp(n), x + sp(n), x + (r+s)p(n)\} \subseteq E \} \right) > δ^4 - \varepsilon. \]
2. If $\{p_1, \dots, p_k\} \subseteq K[x]$ is a jointly intersective family of linearly independent $\mathcal{O}_K$-valued polynomials, then the set of $n \in \mathcal{O}_K$ such that \[ d^* \left( \{ x \in \mathcal{O}_K : \{x, x + p_1(n), \dots, x + p_k(n)\} \subseteq E \} \right)> δ^{k+1} - \varepsilon \] is syndetic.
These two results generalize and extend previous work of Frantzikinakis and Kra on polynomial configurations in $\mathbb{Z}$ and build upon recent work of the authors and Best on linear patterns in general abelian groups. The above combinatorial results follow from multiple recurrence results in ergodic theory, which require a sharpening of existing tools for handling polynomial multiple ergodic averages. A key advancement made in this paper is a new result on the equidistribution of polynomial orbits in nilmanifolds, which can be seen as a far-reaching generalization of Weyl's equidistribution theorem.
Growth in linear groups
Published
• View Publication
• BIB
We prove a conjecture of Helfgott on the structure of sets of bounded tripling in bounded rank, which states the following. Let $A$ be a finite symmetric subset of $\mathrm{GL}_n(\mathbf{F})$ for any field $\mathbf{F}$ such that $|A^3| \leq K|A|$. Then there are subgroups $H \trianglelefteq Γ\trianglelefteq \langle A \rangle$ such that $A$ is covered by $K^{O_n(1)}$ cosets of $Γ$, $Γ/H$ is nilpotent of step at most $n-1$, and $H$ is contained in $A^{O_n(1)}$. This theorem includes the Product Theorem for finite simple groups of bounded rank as a special case. As an application of our methods we also show that the diameter of sufficiently quasirandom finite linear groups is poly-logarithmic.
Levenshtein Graphs: Resolvability, Automorphisms & Determining Sets
Published
• View Publication
• BIB
We introduce the notion of Levenshtein graphs, an analog to Hamming graphs but using the edit distance instead of the Hamming distance; in particular, Levenshtein graphs allow for underlying strings (nodes) of different lengths. We characterize various properties of these graphs, including a necessary and sufficient condition for their geodesic distance to be identical to the edit distance, their automorphism group and determining number, and an upper bound on their metric dimension. Regarding the latter, we construct a resolving set composed of two-run strings and an algorithm that computes the edit distance between a string of length $k$ and any single-run or two-run string in $O(k)$ operations.