Showing 20 papers (Total: 82505 papers, 47699 authors in database)
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$.
A counterexample to a Gröbner approach for noetherianity of the twisted commutative algebra ${\rm Sym}({\rm Sym}^2(\mathbf{C}^\infty))$
We resolve an open question posed by the authors of arXiv:1501.06925v2 in 2015 concerning a Gröbner theoretic approach for the noetherianity of the twisted commutative algebra ${\rm Sym}({\rm Sym}^2(\mathbf{C}^\infty))$. We provide a negative answer to their question by producing an explicit antichain. In doing so, we establish a connection to well studied posets of graphs under the subgraph and induced subgraph relation. We then analyze this connection to suggest future paths of investigation, for example a deeper study of initial ideals in twisted commutative algebras.
$\mathfrak{sl}_2$-Harish-Chandra modules for $\mathfrak{sl}_2 \ltimes L(4)$
Published in Journal of Mathematical Physics 63, 021701 (2022)
• View Publication
• BIB
We use analogues of Enright's and Arkhipov's functors to determine the quiver and relations for a category of $\mathfrak{sl}_2 \ltimes L(4)$-modules which are locally finite (and with finite multiplicities) over $\mathfrak{sl}_2$. We also outline serious obstacles to extend our result to $\mathfrak{sl}_2 \ltimes L(k)$, for $k>4$.
Column convex matrices, $G$-cyclic orders, and flow polytopes
We study polytopes defined by inequalities of the form $\sum_{i\in I} z_{i}\leq 1$ for $I\subseteq [d]$ and nonnegative $z_i$ where the inequalities can be reordered into a matrix inequality involving a column-convex $\{0,1\}$-matrix. These generalize polytopes studied by Stanley, and the consecutive coordinate polytopes of Ayyer, Josuat-Vergès, and Ramassamy. We prove an integral equivalence between these polytopes and flow polytopes of directed acyclic graphs $G$ with a Hamiltonian path, which we call spinal graphs. We show that the volume of these flow polytopes is the number of extensions of a set of partial cyclic orders defined by the graph $G$. As a special case we recover results on volumes of consecutive coordinate polytopes.
We study the combinatorics of $k$-Euler numbers, which are generalizations of the classical Euler numbers, and which arise as volumes of flow polytopes of a special family of spinal graphs. We show that their refinements, Ramassamy's $k$-Entringer numbers, can be realized as values of a Kostant partition function, satisfy a family of generalized boustrophedon recurrences, and are log concave along root directions.
Finally, via our main integral equivalence and the known formula for the $h^*$-polynomial of consecutive coordinate polytopes, we give a combinatorial formula for the $h^*$-polynomial of flow polytopes of non-nested spinal graphs. For spinal graphs in general, we present a conjecture on upper and lower bounds for their $h^*$-polynomial.
$(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.
A note on hyperopic cops and robber
Published
• View Publication
• BIB
We explore a variant of the game of Cops and Robber introduced by Bonato et al.~where the robber is invisible unless outside the common neighbourhood of the cops. The hyperopic cop number is analogous to the cop number and we investigate bounds on this quantity. We define a small common neighbourhood set and relate the minimum cardinality of this graph parameter to the hyperopic cop number. We consider diameter 2 graphs, particularly the join of two graphs, as well as Cartesian products.
Computing Permanents on a Trellis
The problem of computing the permanent of a matrix has attracted interest since the work of Ryser(1963) and Valiant(1979). On the other hand, trellises were extensively studied in coding theory since the 1960s. In this work, we establish a connection between the two domains. We introduce the canonical trellis $T_n$ that represents all permutations, and show that the permanent of a $n$ by $n$ matrix $A$ can be computed as a flow on this trellis. Under certain normalization, the trellis-based method invokes slightly less operations than best known exact methods. Moreover, if $A$ has structure, then $T_n$ becomes amenable to vertex merging, thereby significantly reducing its complexity.
- Repeated rows: Suppose $A$ has only $t<n$ distinct rows. The best known method to compute $per(A)$, due to Clifford and Clifford (2020), has complexity $O(n^{t+1})$. Merging vertices in $T_n$, we obtain a reduced trellis that has complexity $O(n^t)$.
- Order statistics: Using trellises, we compute the joint distribution of $t$ order statistics of $n$ independent, but not identically distributed, random variables in time $O(n^{t+1})$. Previously, polynomial-time methods were known only when the variables are drawn from two non-identical distributions.
- Sparse matrices: Suppose each entry in $A$ is nonzero with probability $d/n$ with $d$ is constant. We show that $T_n$ can be pruned to exponentially fewer vertices, resulting in complexity $O(φ^n)$ with $φ<2$.
- TSP: Intersecting $T_n$ with another trellis that represents walks, we obtain a trellis that represents circular permutations. Using the latter trellis to solve the traveling salesperson problem recovers the well-known Held-Karp algorithm.
Notably, in all cases, the reduced trellis are obtained using known techniques in trellis theory. We expect other trellis-theoretic results to apply to other structured matrices.
Decompositions of even hypercubes into cycles whose length is a power of two
Published in Involve 17 (2024) 233-247
• View Publication
• BIB
If $n$ is even, the $n$-dimensional hypercube can be decomposed into edge-disjoint cycles of length $2^i$ for every value of $i$ from $2$ to $n$.
The Length of the Longest Sequence of Consecutive FS-double Squares in a word
A square is a concatenation of two identical words, and a word $w$ is said to have a square $yy$ if $w$ can be written as $xyyz$ for some words $x$ and $z$. It is known that the ratio of the number of distinct squares in a word to its length is less than two and any location of a word could begin with at most two rightmost distinct squares. A square whose first location starts with the last occurrence of two distinct squares is an FS-double square. We explore and identify the conditions to generate a sequence of locations in a word that starts with FS-double squares. We first find the structure of the smallest word that begins with two consecutive FS-double squares and obtain its properties that enable to extend the sequence of FS-double squares. It is proved that the length of the longest sequence of consecutive FS-double squares in a word of length $n$ is at most $\frac{n}{7}$. We show that the squares in the longest sequence of consecutive FS-double squares are conjugates.
Non-classical polynomials and the inverse theorem
Published in Math. Proc. Cambridge Philos. Soc. 173 (2022), 525--537
• View Publication
• BIB
In this note we characterize when non-classical polynomials are necessary in the inverse theorem for the Gowers $U^k$-norm. We give a brief deduction of the fact that a bounded function on $\mathbb F_p^n$ with large $U^k$-norm must correlate with a classical polynomial when $k\leq p+1$. To the best of our knowledge, this result is new for $k=p+1$ (when $p>2$). We then prove that non-classical polynomials are necessary in the inverse theorem for the Gowers $U^k$-norm over $\mathbb F_p^n$ for all $k\geq p+2$, completely characterizing when classical polynomials suffice.
Combinatorial settlement planning
Published
• View Publication
• BIB
In this article, we consider a combinatorial settlement model on a rectangular grid where at least one side (east, south or west) of each house must be exposed to sunlight without obstructions. We are interested in maximal configurations, where no additional houses can be added. For a fixed $m\times n$ grid we explicitly calculate the lowest number of houses, and give close to optimal bounds on the highest number of houses that a maximal configuration can have. Additionally, we provide an integer programming formulation of the problem and solve it explicitly for small values of $m$ and $n$.
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.
On abelian $\ell$-towers of multigraphs III
Published
• View Publication
• BIB
Let $\ell$ be a rational prime. Previously, abelian $\ell$-towers of multigraphs were introduced which are analogous to $\Z_{\ell}$-extensions of number fields. It was shown that for towers of bouquets, the growth of the $\ell$-part of the number of spanning trees behaves in a predictable manner (analogous to a well-known theorem of Iwasawa for $\Z_{\ell}$-extensions of number fields). In this paper, we extend this result to abelian $\ell$-towers over an arbitrary connected multigraph (not necessarily simple and not necessarily regular). In order to carry this out, we employ integer-valued polynomials to construct power series with coefficients in $\Z_\ell$ arising from cyclotomic number fields, different than the power series appearing in the prequel. This allows us to study the special value at $u=1$ of the Artin--Ihara $L$-function, when the base multigraph is not necessarily a bouquet.
The principal Erdős--Gallai differences of a degree sequence
Published
• View Publication
• BIB
The Erdős--Gallai criteria for recognizing degree sequences of simple graphs involve a system of inequalities. Given a fixed degree sequence, we consider the list of differences of the two sides of these inequalities. These differences have appeared in varying contexts, including characterizations of the split and threshold graphs, and we survey their uses here. Then, enlarging upon properties of these graph families, we show that both the last term and the maximum term of the principal Erdős--Gallai differences of a degree sequence are preserved under graph complementation and are monotonic under the majorization order and Rao's order on degree sequences.
Distance in Latin Squares
A Latin square of order $n$ is an $n\times n$ array which contains $n$ distinct symbols exactly once in each row and column. We define the adjacent distance between two adjacent cells (containing integers) to be their difference modulo $n$, and inner distance of a Latin square to be the minimum of adjacent distances in the Latin square. By first establishing upper bounds and then constructing squares with said inner distance, we found the maximum inner distance of an $n \times n$ Latin square to be $\left\lfloor\frac{n-1}{2}\right\rfloor$. We then studied special kinds of Latin squares such as pandiagonals (also known as Knut-Vik designs), as well as Sudoku Latin squares. This research was conducted at the REU at Moravian College on Research Challenges of Computational and Experimental Mathematics, with support from the National Science Foundation.
On the $A_α$ spectral radius and $A_α$ energy of digraphs
Let $G$ be a digraph with adjacency matrix $A(G)$ and outdegrees diagonal matrix $D(G)$. For any real $α\in[0,1]$, the $A_α$ matrix $A_α(G)$ of a digraph $G$ is defined as $A_α(G)=αD(G)+(1-α)A(G)$. The eigenvalue of $A_α(G)$ with the largest modulus is called the $A_α$ spectral radius of $G$. In this paper, we first give some upper bounds for the $A_α$ spectral radius of a digraph and we also characterize the extremal digraphs attaining these bounds. Moreover, we define the $A_α$ energy of a digraph $G$ as $E^{A_α}(G)=\sum\limits_{i=1}^n(λ^α_i(G))^2$, where $n$ is the number of vertices and $λ^α_i(G)$ $(i=1,2,\ldots,n)$ are the eigenvalues of $A_α(G)$. We obtain a formula for $E^{A_α}(G)$, and give a lower and upper bounds for $E^{A_α}(G)$ and characterize the extremal digraphs that attain the lower and upper bounds. Finally, we characterize the extremal digraphs with maximum and minimum $A_α$ energy among all directed trees and unicyclic digraphs, respectively.
Discrete intrinsic volumes
For a convex lattice polytope $P\subset \mathbb R^d$ of dimension $d$ with vertices in $\mathbb Z^d$, denote by $L(P)$ its discrete volume which is defined as the number of integer points inside $P$. The classical result due to Ehrhart says that for a positive integer $n$, the function $L(nP)$ is a polynomial in $n$ of degree $d$ whose leading coefficient is the volume of $P$. In particular, $L(nP)$ approximates the volume of $nP$ for large $n$.
In convex geometry, one of the central notion which generalizes the volume is the intrinsic volumes. The main goal of this paper is to introduce their discrete counterparts. In particular, we show that for them the analogue of the Ehrhart result holds, where the volume is replaced by the intrinsic volume.
We also introduce and study a notion of Grassmann valuation which generalizes both the discrete volume and the solid-angle valuation introduced by Reeve and Macdonald.
Balanced subdivisions of a large clique in graphs with high average degree
Published
• View Publication
• BIB
In 1984, Thomassen conjectured that for every constant $k \in \mathbb{N}$, there exists $d$ such that every graph with average degree at least $d$ contains a balanced subdivision of a complete graph on $k$ vertices, i.e. a subdivision in which each edge is subdivided the same number of times. Recently, Liu and Montgomery confirmed Thomassen's conjecture. We show that for every constant $0<c<1/2$, every graph with average degree at least $d$ contains a balanced subdivision of a complete graph of size at least $Ω(d^{c})$. Note that this bound is almost optimal. Moreover, we show that every sparse expander with minimum degree at least $d$ contains a balanced subdivision of a complete graph of size at least $Ω(d)$.