natural ↗ reference
4897 papers tagged with this keyword
Higher Lie characters and cyclic descent extension on conjugacy classes
Published
• View Publication
• BIB
A now-classical cyclic extension of the descent set of a permutation has been introduced by Klyachko and Cellini. Following a recent axiomatic approach to this notion, it is natural to ask which sets of permutations admit such an extension.
The main result of this paper is a complete answer in the case of conjucay classes of permutations. It is shown that the conjugacy class of cycle type $λ$ has such an extension if and only if $λ$ is not of the form $(r^s)$ for some square-free $r$. The proof involves a detailed study of hook constituents in higher Lie characters.
Regularity of S_n-invariant monomial ideals
For a polynomial ring S in n variables, we consider the natural action of the symmetric group S_n on S by permuting the variables. For an S_n-invariant monomial ideal I in S and j >= 0, we give an explicit recipe for computing the modules Ext^j(S/I,S), and use this to describe the projective dimension and regularity of I. We classify the S_n-invariant monomial ideals that have a linear free resolution, and also characterize those which are Cohen-Macaulay. We then consider two settings for analyzing the asymptotic behavior of regularity: one where we look at powers of a fixed ideal I, and another where we vary the dimension of the ambient polynomial ring and examine the invariant monomial ideals induced by I. In the first case we determine the asymptotic regularity for those ideals I that are generated by the S_n-orbit of a single monomial by solving an integer linear optimization problem. In the second case we describe the behavior of regularity for any I, recovering a recent result of Murai.
Coefficients of Wronskian Hermite polynomials
Published in Studies in Applied Mathematics 144 (2020), 245-288
• View Publication
• BIB
We study Wronskians of Hermite polynomials labelled by partitions and use the combinatorial concepts of cores and quotients to derive explicit expressions for their coefficients. These coefficients can be expressed in terms of the characters of irreducible representations of the symmetric group, and also in terms of hook lengths. Further, we derive the asymptotic behaviour of the Wronskian Hermite polynomials when the length of the core tends to infinity, while fixing the quotient. Via this combinatorial setting, we obtain in a natural way the generalization of the correspondence between Hermite and Laguerre polynomials to Wronskian Hermite polynomials and Wronskians involving Laguerre polynomials. Lastly, we generalize most of our results to polynomials that have zeros on the $p$-star.
Tilings of hexagons with a removed triad of bowties
Published
• View Publication
• BIB
In this paper we consider arbitrary hexagons on the triangular lattice with three arbitrary bowtie-shaped holes, whose centers form an equilateral triangle. The number of lozenge tilings of such general regions is not expected --- and indeed is not --- given by a simple product formula. However, when considering a certain natural normalized counterpart of any such region, we prove that the ratio between the number of tilings of the original and the number of tilings of the normalized region is given by a simple, conceptual product formula. Several seemingly unrelated previous results from the literature --- including Lai's formula for hexagons with three dents and Ciucu and Krattenthaler's formula for hexagons with a removed shamrock --- follow as immediate consequences of our result.
Indecomposable continua as Higson coronae
Published in Topology Appl. 283 (2020), 107334
• View Publication
• BIB
In this paper, we consider spaces whose Higson coronae are indecomposable continua. We show that for a non-compact proper metric space $X$ which is coarsely geodesic and has coarse bounded geometry, the Higson corona of $X$ is an indecomposable continuum if and only if $X$ is coarsely equivalent to the space of natural numbers. Then we give characterizations of finitely generated groups that have one or two ends by decomposability/indecomposability of the components of their Higson coronae. we characterize it as a group whose Higson corona is a topological sum of two indecomposable continua.
Simple proofs for Furstenberg sets over finite fields
Published in Discrete Analysis 2021:22
• Search Publication
A $(k,m)$-Furstenberg set $S \subset \mathbb{F}_q^n$ over a finite field is a set that has at least $m$ points in common with a $k$-flat in every direction. The question of determining the smallest size of such sets is a natural generalization of the finite field Kakeya problem. The only previously known bound for these sets is due to Ellenberg-Erman and requires sophisticated machinery from algebraic geometry. In this work we give new, completely elementary and simple, proofs which significantly improve the known bounds. Our main result relies on an equivalent formulation of the problem using the notion of min-entropy, which could be of independent interest.
Rate-Memory Trade-off for Multi-access Coded Caching with Uncoded Placement
Published
• View Publication
• BIB
We study a multi-access variant of the popular coded caching framework, which consists of a central server with a catalog of $N$ files, $K$ caches with limited memory $M$, and $K$ users such that each user has access to $L$ consecutive caches with a cyclic wrap-around and requests one file from the central server's catalog. The server assists in file delivery by transmitting a message of size $R$ over a shared error-free link and the goal is to characterize the optimal rate-memory trade-off. This setup was studied previously by Hachem et al., where an achievable rate and an information-theoretic lower bound were derived. However, the multiplicative gap between them was shown to scale linearly with the access degree $L$ and thus order-optimality could not be established.
A series of recent works have used a natural mapping of the coded caching problem to the well-known index coding problem to derive tighter characterizations of the optimal rate-memory trade-off under the additional assumption that the caches store uncoded content. We follow a similar strategy for the multi-access framework and provide new bounds for the optimal rate-memory trade-off $R^*(M)$ over all uncoded placement policies. In particular, we derive a new achievable rate for any $L \ge 1$ and a new lower bound, which works for any uncoded placement policy and $L \ge K/2$. We then establish that the (multiplicative) gap between the new achievable rate and the lower bound is at most $2$ independent of all parameters, thus establishing an order-optimal characterization of $R^*(M)$ for any $L\ge K/2$. This is a significant improvement over the previously known gap result, albeit under the restriction of uncoded placement policies. Finally, we also characterize $R^*(M)$ exactly for a few special cases.
Feasibility criteria for high-multiplicity partitioning problems
Published
• View Publication
• BIB
For fixed weights w_1,...,w_n, and for d>0, we let B denote a collection of d*n balls, with d balls of weight w_i for each i=1,...,n. We consider the problem of assigning the balls to n bins with capacities C_1,...,C_n, in such a way that each bin is assigned d balls, without exceeding its capacity. When d>>0, we give sufficient criteria for the feasibility of this problem, which coincide up to explicit constants with the natural set of necessary conditions. Furthermore, we show that our constants are optimal when the weights w_i are distinct. The feasibility criteria that we present here are used elsewhere (in commutative algebra) to study the asymptotic behavior of the Castelnuovo-Mumford regularity of symmetric monomial ideals.
A categorification of the Malvenuto--Reutenauer algebra via a tower of groups
Published in Adv. Math. 383 (2021), 107675
• View Publication
• BIB
There is a long tradition of categorifying combinatorial Hopf algebras by the modules of a tower of algebras (or even better via the representation theory of a tower of groups). From the point of view of combinatorics, such a categorification supplies canonical bases, inner products, and a natural avenue to prove positivity results. Recent ideas in supercharacter theory have made fashioning the representation theory of a tower of groups into a Hopf structure more tractable. This paper applies such a program to the Malvenuto--Reutenauer Hopf algebra. In particular, we design functors on the representation theory of a tower of $p$-groups that realize the Hopf structure of the Malvenuto--Reutenauer algebra in such a way that its well-known fundamental basis corresponds to a supercharacter basis.
Beyond Göllnitz' Theorem I: A Bijective Approach
Published in Journal of Combinatorial Theory Series A, 180 (2021)
• View Publication
• BIB
In 2003, Alladi, Andrews and Berkovich proved an identity for partitions where parts occur in eleven colors: four primary colors, six secondary colors, and one quaternary color. Their work answered a longstanding question of how to go beyond a classical theorem of Göllnitz, which uses three primary and three secondary colors. Their main tool was a deep and difficult four parameter $q$-series identity. In this paper we take a different approach. Instead of adding an eleventh quaternary color, we introduce forbidden patterns and give a bijective proof of a ten-colored partition identity lying beyond Göllnitz' theorem. Using a second bijection, we show that our identity is equivalent to the identity of Alladi, Andrews, and Berkovich. From a combinatorial viewpoint, the use of forbidden patterns is more natural and leads to a simpler formulation. In fact, in Part II of this series we will show how our method can be used to go beyond Göllnitz' theorem to any number of primary colors.
On the edge-vertex ratio of maximal thrackles
Published
• View Publication
• BIB
A drawing of a graph in the plane is a thrackle if every pair of edges intersects exactly once, either at a common vertex or at a proper crossing. Conway's conjecture states that a thrackle has at most as many edges as vertices. In this paper, we investigate the edge-vertex ratio of maximal thrackles, that is, thrackles in which no edge between already existing vertices can be inserted such that the resulting drawing remains a thrackle. For maximal geometric and topological thrackles, we show that the edge-vertex ratio can be arbitrarily small. When forbidding isolated vertices, the edge-vertex ratio of maximal geometric thrackles can be arbitrarily close to the natural lower bound of 1/2. For maximal topological thrackles without isolated vertices, we present an infinite family with an edge-vertex ratio of 5/6.
Torus orbit closures in flag varieties and retractions on Weyl groups
Published
• View Publication
• BIB
A finite Coxeter group $W$ has a natural metric $d$ and if $\mathcal{M}$ is a subset of $W$, then for each $u\in W$, there is $q\in \mathcal{M}$ such that $d(u,q)=d(u,\mathcal{M})$. Such $q$ is not unique in general but if $\mathcal{M}$ is a Coxeter matroid, then it is unique, and we define a retraction $\mathcal{R}^m_{\mathcal{M}}\colon W\to \mathcal{M}\subset W$ so that $\mathcal{R}^m_{\mathcal{M}}(u)=q$.
The $T$-fixed point set $Y^T$ of a $T$-orbit closure $Y$ in a flag variety $G/B$ is a Coxeter matroid, where $G$ is a semisimple algebraic group, $B$ is a Borel subgroup, and $T$ is a maximal torus of $G$ contained in $B$. We define a retraction $\mathcal{R}^g_{Y}\colon W\to Y^T\subset W$ geometrically, where $W$ is the Weyl group of $G$, and show that $\mathcal{R}^g_{Y}=\mathcal{R}^m_{Y^T}$. We introduce another retraction $\mathcal{R}^a_{\mathcal{M}}\colon W\to \mathcal{M}\subset W$ algebraically for an arbitrary subset $\mathcal{M}$ of $W$ when $W$ is a Weyl group of classical Lie type, and show that $\mathcal{R}^a_{\mathcal{M}}=\mathcal{R}^m_{\mathcal{M}}$ when $\mathcal{M}$ is a Coxeter matroid.
A Generalization of Parking Functions Allowing Backward Movement
Published
• View Publication
• BIB
Classical parking functions are defined as the parking preferences for $n$ cars driving (from west to east) down a one-way street containing parking spaces labeled from $1$ to $n$ (from west to east). Cars drive down the street toward their preferred spot and park there if the spot is available. Otherwise, the car continues driving down the street and takes the first available parking space, if such a space exists. If all cars can park using this parking rule, we call the $n$-tuple containing the cars' parking preferences a parking function.
In this paper, we introduce a generalization of the parking rule allowing cars whose preferred space is taken to first proceed up to $k$ spaces west of their preferred spot to park before proceeding east if all of those $k$ spaces are occupied. We call parking preferences which allow all cars to park under this new parking rule $k$-Naples parking functions of length $n$. This generalization gives a natural interpolation between classical parking functions, the case when $k=0$, and all $n$-tuples of positive integers $1$ to $n$, the case when $k\geq n-1$. Our main result provides a recursive formula for counting $k$-Naples parking functions of length $n$. We also give a characterization for the $k=1$ case by introducing a new function that maps $1$-Naples parking functions to classical parking functions, i.e. $0$-Naples parking functions. Lastly, we present a bijection between $k$-Naples parking functions of length $n$ whose entries are in weakly decreasing order and a family of signature Dyck paths.
On graphic arrangement groups
Published in Advances in Applied Mathematics 126 (2021), Paper No. 102130, 22 pp
• View Publication
• BIB
A finite simple graph $Γ$ determines a quotient $P_Γ$ of the pure braid group, called a graphic arrangement group. We analyze homomorphisms of these groups defined by deletion of sets of vertices, using methods developed in prior joint work with R. Randell. We show that, for a $K_4$-free graph $Γ$, a product of deletion maps is injective, embedding $P_Γ$ in a product of free groups. Then $P_Γ$ is residually free, torsion-free, residually torsion-free nilpotent, and acts properly on a CAT(0) cube complex. We also show $P_Γ$ is of homological finiteness type $F_{m-1}$, but not $F_m$, where $m$ is the number of copies of $K_3$ in $Γ$, except in trivial cases. The embedding result is extended to graphs whose 4-cliques share at most one edge, giving an injection of $P_Γ$ into the product of pure braid groups corresponding to maximal cliques of $Γ$. We give examples showing that this map may inject in more general circumstances. We define the graphic braid group $B_Γ$ as a natural extension of $P_Γ$ by the automorphism group of $Γ$, and extend our homological finiteness result to these groups.
Real polynomials with constrained real divisors. I. Fundamental groups
Published
• View Publication
• BIB
In the late 80s, V.~Arnold and V.~Vassiliev initiated the topological study of the space of real univariate polynomials of a given degree d and with no real roots of multiplicity exceeding a given positive integer. Expanding their studies, we consider the spaces of real monic univariate polynomials of degree d whose real divisors avoid sequences of root multiplicities taken from a given poset of compositions which is closed under certain natural combinatorial operations. In this paper, we concentrate on the fundamental group of such spaces. We find explicit presentations for the fundamental groups in terms of generators and relations and show that in a number of cases they are free with rank bounded from above by a quadratic function in d. We also show that the fundamental group stabilizes for d large. We further show that the fundamental groups admit an interpretation as special bordisms of immersions of 1-manifolds into the cylinder S^1 \times R, whose images avoid the tangency patterns from the poset with respect to the generators of the cylinder.
No two Jellyfish graphs are L-cospectral and Q-cospectral
In this paper, it is proved that the jellyfish graphs, a natural generalization of sun graphs, are both DLS and DQS.
Quasirandom quantum channels
Published in Quantum 4, 298 (2020)
• View Publication
• BIB
Mixing (or quasirandom) properties of the natural transition matrix associated to a graph can be quantified by its distance to the complete graph. Different mixing properties correspond to different norms to measure this distance. For dense graphs, two such properties known as spectral expansion and uniformity were shown to be equivalent in seminal 1989 work of Chung, Graham and Wilson. Recently, Conlon and Zhao extended this equivalence to the case of sparse vertex transitive graphs using the famous Grothendieck inequality. Here we generalize these results to the non-commutative, or `quantum', case, where a transition matrix becomes a quantum channel. In particular, we show that for irreducibly covariant quantum channels, expansion is equivalent to a natural analog of uniformity for graphs, generalizing the result of Conlon and Zhao. Moreover, we show that in these results, the non-commutative and commutative (resp.) Grothendieck inequalities yield the best-possible constants.
Minimal Representations of Order Types by Geometric Graphs
Published in Journal of Graph Algorithms and Applications 24 (2020), no. 4, 551-572
• View Publication
• BIB
In order to have a compact visualization of the order type of a given point set S, we are interested in geometric graphs on S with few edges that unambiguously display the order type of S. We introduce the concept of exit edges, which prevent the order type from changing under continuous motion of vertices. That is, in the geometric graph on S whose edges are the exit edges, in order to change the order type of S, at least one vertex needs to move across an exit edge. Exit edges have a natural dual characterization, which allows us to efficiently compute them and to bound their number.
Nonlinear algebra with tensegrity structures
In this paper, we discuss tensegrity from the perspective of nonlinear algebra in a manner accessible to undergraduates. We compute explicit examples and include the SAGE and Julia code so that readers can continue their own experiments and computations. The entire framework is a natural extension of linear equations of equilibrium, but to describe the space of solutions will require (nonlinear) polynomials. In our examples, minors of a structured matrix determine the singular locus of the algebraic variety of interest. At these singular points, more interesting phenomena can occur, which we investigate in the context of the tensegrity 3-prism, our running example. Tools from algebraic geometry, commutative algebra, semidefinite programming, and numerical algebraic geometry will be used. Although at first it is all linear algebra, the examples will motivate the study of systems of polynomial equations. In particular, we will see the importance of varieties cut out by determinants of matrices.
Maximally additively reducible subsets of the integers
Published in Journal of Integer Sequences, 23 (2020), Article 20.10.5
• Search Publication
Let $A, B \subseteq \mathbb{N}$ be two finite sets of natural numbers. We say that $B$ is an additive divisor for $A$ if there exists some $C \subseteq \mathbb{N}$ with $A = B+C$. We prove that among those subsets of $\{0, 1, \ldots, k\}$ which have $0$ as an element, the full interval $\{0, 1, \ldots,k\}$ has the most divisors. To generalize to sets which do not have $0$ as an element, we prove a correspondence between additive divisors and lunar multiplication, introduced by Appelgate, LeBrun and Sloane (2011) in their study of a kind of min/max arithmetic. The number of binary lunar divisors is related to compositions of integers which are restricted in that the first part is greater or equal to all other parts. We establish some bounds on such compositions to show that $\{1, \ldots, k\}$ has the most divisors among all subsets of $\{0, 1, \ldots, k\}$. These results resolve two conjectures of LeBrun et al. regarding the maximal number of lunar binary divisors, a special case of a more general conjecture about lunar divisors in arbitrary bases. We resolve this third conjecture by generalizing from sum-sets to sum-multisets.