Showing 20 papers (Total: 81378 papers, 47165 authors in database)
Kostant's problem for permutations of shape $(n-2,1,1)$ and $(n-3,2,1)$
For a permutation $z$ in the symmetric group $\mathrm{S}_{n}$, denote by $L_{z}$ the corresponding simple highest weight module in the principal block of the BGG category $\mathcal{O}$ for the Lie algebra $\mathfrak{sl}_{n}(\mathbb{C})$. In this paper, we provide a combinatorial answer to Kostant's problem for the modules $L_{z}$ when $z$ has shape (associated Young diagram/integer partition via Robinson-Schensted correspondence) equal to $(n-2,1,1)$ or $(n-3,2,1)$. Moreover, we verify that certain closely related conjectures hold for such permutations, including the Indecomposability Conjecture, which states that applying any indecomposable projective functor to the corresponding simple highest weight module outputs either an indecomposable module or zero.
Zeros of Random Sections on Line Bundles
Sections of line bundles on 2 dimensional surfaces in 3 dimensional space can have many distinct shapes. For practical purposes we prefer smooth sections that are visibly easy to follow. This is why smoothing operators have been developed on discrete surfaces as in the inspirational paper "Globally Optimal Direction Fields" [Knoeppel et al. 2013] that can be applied to any section to return another smoother section. We are interested to make predictions on one aspect of the resulting smoothed section's structure, namely position of its signed zeros. The zeros are the most noticeable feature of a section where the section values circles around a specific point.
The purpose of this thesis is to predict the distribution of the smoothed section's signed zeros with multiplicity that are given by applying the smoothing operator to randomly generated sections of hermitian line bundles on closed simplicial complexes. This will be done in a discrete setting consequently meaning that we will compute the expected sum of indices on each face. Why and how we do this is this thesis' purpose to explain.
On the Symmetric Normaliser Graph of a Group
In this paper we introduce the symmetric normaliser graph of a group $G$. The vertex set of this graph consists of elements of the group. Vertices $x$ and $y$ are adjacent if $x$ lies in the normaliser of $\langle y \rangle$ and $y$ lies in the normaliser of $\langle x \rangle$. We investigate the hierarchical position this graph occupies in the hierarchy of graphs defined on groups. We show that the existing hierarchy is further refined by this graph and that the edges of this graph lie between the edges of the commuting graph and the nilpotent graph. For finite groups, we prove a necessary and sufficient condition for the symmetric normaliser graph to be equal to the commuting graph and similarly, for equality with the nilpotent graph. The edge set of the symmetric normaliser graph is also a subset of the edge set of the Engel graph of a group and has connections to the non-generating graph of a group.
Torsion groups and the Bienvenu--Geroldinger conjecture
Let $M$ be a monoid (written multiplicatively). Equipped with the operation of setwise multiplication induced by $M$ on its parts, the collection of all finite subsets of $M$ containing the identity element is itself a monoid, denoted by $\mathcal P_{{\rm fin}, 1}(M)$ and called the reduced finitary power monoid of $M$.
One is naturally led to ask whether, for all $H$ and $K$ in a given class of monoids, $\mathcal P_{\fin,1}(H)$ and $\mathcal P_{\fin,1}(K)$ are isomorphic if and only if $H$ and $K$ are. The problem originates from a conjecture of Bienvenu and Geroldinger [Israel J. Math., 2025] that was recently settled by the authors [Proc. AMS, 2025]. Here, we provide a positive answer to the problem in the case where $H$ and $K$ are cancellative monoids, one of which is torsion. In particular, the answer is in the affirmative when $H$ and $K$ are torsion groups. Whether the conclusion extends to arbitrary groups remains open.
A Lower Bound for Kruskal's Weak Tree Function tree(3)
We establish an explicit lower bound for Kruskal's weak tree function at n=3, proving that tree(3) >= 844,424,930,131,960 = 3 * 2^48 - 8. This is achieved by constructing an explicit sequence of unlabeled rooted trees satisfying the constraints of the weak tree function and carefully analyzing the combinatorics of the "leg elimination" process. Our bound significantly exceeds previous estimates and demonstrates that even for small arguments, the weak tree function exhibits rapid growth.
Combinatorial proofs of some identities on overpartitions with repeated smallest non-overlined part
Let $\overline{\mathrm{spt}}k(n)$ denote the number of overpartitions of $n$ where the smallest non-overlined part, say $s(π)$, appears $k$ times and every overlined part is bigger than $s(π)$. Let $\overline{\mathrm{spt}}k_o(n)$ denote the number of overpartitions of $n$ where the smallest non-overlined part appears $k$ times, every overlined part is bigger than $s(π)$ and all parts other than $s(π)$ are incongruent modulo $2$ with $s(π)$. Also, let $b_e(k,n)$ (resp., $b_o(k,n)$) denote the number of overpartitions of $n$ counted by $\overline{\mathrm{spt}}k_o(n)$ where the number of parts greater than $s(π)$ is even (resp., odd), and let $$\overline{\mathrm{spt}}k_o'(n)=b_e(k,n)-b_o(k,n).$$ Recently, Malik and Sarma (arXiv:2601.15601v1) expressed the generating functions of these partition functions in terms of linear combinations of $q$-series with polynomials in $q$ as coefficients. As corollaries, they derived some partition identities involving the functions for $k=1$ and sought for combinatorial proofs of their results. In this paper, we present some desired proofs.
A dual view of Roman Domination: The 2-limited packing problem
We consider the 2-limited packing problem: for a graph $G=(V,E)$ one seeks to find a maximum cardinality subset $B\subseteq V$, such that, for all $v\in V$, the closed neighbourhood of $v$ contains at most two vertices in $B$. We compare this packing problem to the well-known Roman domination problem by pointing out some similarities and differences in the behaviour of the optimal solutions of both problems and show that these two problems are weakly dual. We show that for trees, the two problems are strongly dual, letting us solve the Roman domination problem by computing an optimal solution to the 2-limited packing problem.
General position and mutual-visibility in shadow graphs
The \emph{general position problem} in graphs asks for a largest set of vertices in which no three lie on a common shortest path. The \emph{mutual-visibility problem} seeks a largest set of vertices such that every pair is connected by a shortest path whose internal vertices lie outside the set. In this paper, we investigate the general position and mutual-visibility problems for shadow graphs. Sharp general bounds are established for both the general position number and the mutual-visibility number of shadow graphs, and classes of graphs attaining these extremal values are characterized. Furthermore, these invariants are determined for several standard classes of shadow graphs, including shadow graphs of cycles, multipartite graphs, and trees.
Cost-Benefit Analysis for PMU Placement in Power Grids
Power domination is a graph-theoretic model for the observance of a power grid using phasor measurement units (PMUs). There are many costs associated with the installation of a PMU, but also costs associated with not observing the entire power grid. In this work, we propose and study a power domination cost function, which balances these two costs. Given a graph $G$, a set of sensor locations $S$, and a parameter $β$ (which is the ratio of the cost of a PMU to the cost of non-observance of any given vertex), we define the cost function
\[ \mathrm{C}(G;S,β)=|S|+β\cdot (|V(G)|-|\mathrm{Obs}(G;S)|) \] where $|\mathrm{Obs}(G;S)|$ is the number of vertices observed by sensors placed at $S\subseteq V(G)$ in the power domination process. We explore the values of $k$ for which there is a set $S$ of size $k$ that minimizes this cost function, and explore which values of $β$ guarantee that it is optimal to observe the entire power grid to minimize cost. We also introduce notions of marginal cost and marginal observance, providing tools to analyze how many PMUs one should install on a given power grid.
A note on restricted partition functions of Pushpa and Vasuki
We establish infinite families of congruences modulo arbitrary powers of $2$ for three restricted partition functions $M(n), T^\ast(n)$, and $P^\ast(n)$ recently introduced by Pushpa and Vasuki by employing elementary $q$-series techniques.
Containments of Tensor Network Varieties
Building upon the work of Buczyńska et al., we study here tensor formats and their corresponding encoding of tensors via two-fold tensor products determined by the combinatorics of a binary tree. The set of all tensors representable by a given network forms the corresponding tensor network variety. A very basic question asks whether every tensor representable by one network is representable by another network, namely, when one tensor network variety is contained in another. Specific instances of this question became known as the Hackbusch Conjecture. Here, we propose a general framework for this question and take first steps, theoretical as well as experimental, towards a better understanding. In particular, given any two binary trees on $n$ leaves, we define (and prove existence of) a new measure, the containment exponent, which gauges how much one has to boost the parameters of one network for the containment to hold. We present an algorithm for bounding these containment exponents of tensor network varieties and report on an exhaustive search among trees on up to $n=8$ leaves.
On the Sidon tails of $\left\{\lfloor x^n\rfloor\right\}$
We prove that the tail of the sets $$\mathbf S_x := \big\{\left\lfloor x^n\right\rfloor : n\in \mathbb N\big\}$$ are Sidon for almost all $x\in (1,2)$. Then we prove that for all $\varepsilon>0$, there exists $x\in (1,\, 1+\varepsilon)$ and $r\in (2-\varepsilon,\, 2)$ such that $\mathbf S_x$ and $\mathbf S_r$ do not have a Sidon tail.
Grassmann--Plücker functions for orthogonal matroids
We present a new cryptomorphic definition of orthogonal matroids with coefficients using Grassmann--Plücker functions. The equivalence is motivated by Cayley's identities expressing principal and almost-principal minors of a skew-symmetric matrix in terms of its Pfaffians. As a corollary of the new cryptomorphism, we deduce that each component of the orthogonal Grassmannian is parameterized by certain part of the Plücker coordinates.
Proof of the Andrews-El Bachraoui positivity conjecture
We prove that for $k\ge 1$, all coefficients in the expansion of the series $$\sum_{n\ge 0} \frac{(q^{2n+2}, q^{2n+2k}; q^2)_\infty}{(q^{2n+1};q^2)_\infty^2} q^{2n}$$ are positive, by $q$-hypergeometric means. This confirms a recent conjecture of Andrews and El Bachraoui.
Symmetric polynomials: DIM integrable systems versus twisted Cherednik systems
We discuss interrelations between eigenfunctions of the Hamiltonians associated with the commutative (integer ray) subalgebras of the Ding-Iohara-Miki algebra and those of the twisted Cherednik system. In the case of $t=q^{-m}$ with natural $m$, eigenfunctions of the first system of Hamiltonians are the twisted Baker-Akhiezer functions (BAFs) introduced by O. Chalykh, while eigenfunctions of the twisted Cherednik Hamiltonians are twisted non-symmetric Macdonald polynomials. Actually, the twisted Cherednik ground state is symmetric and coincides with a peculiar symmetric BAF. We lift this correspondence to excited states, and claim that both Cherednik eigenfunctions and BAF's can be combined to produce symmetric functions, which coincide with each other and are eigenfunctions of the both DIM Hamiltonians and power sums of the twisted Cherednik Hamiltonians at once. This reflects the correspondence between the DIM algebra and the spherical DAHA explicitly.
Large point-line matchings and small Nikodym sets
For any integer $d \geq 2$ and prime power $q$, we construct unexpectedly large induced matchings in the point-line incidence graph of $\mathbb{F}_{q}^{d}$ by leveraging a new connection with the Furstenberg-Sárközy problem from arithmetic combinatorics. In particular, we significantly improve the previously well-known baselines when $q$ is prime, showing that $\mathbb{F}_{q}^{2}$ contains matchings of size $q^{1.233}$ and $\mathbb{F}_{q}^{d}$ contains matchings of size $q^{d-o_{d}(1)}$.
These results and their proofs have several applications. First, we also obtain new constructions for finite field Nikodym sets in dimension $d \geq 2$, improving recent results of Tao by polynomial factors. For example, when $q$ is prime, we show the existence of Nikodym sets in $\mathbb{F}_q^d$ of size $q^d - q^{d - o_d(1)}$. Second, we construct a new minimal blocking set in $\mathrm{PG}(2,q)$, solving a longstanding problem in finite geometry. Third, we obtain new constructions for the minimal distance problem (in $\mathbb{R}^{2}$ and also in higher dimensions), improving a recent result of Logunov-Zakharov.
We also obtain analogous results for general finite fields with large characteristics. In particular, in one of our constructions we introduce a new special set of points inside the norm hypersurface in $\mathbb{F}_{q}^{d}$, which directly generalizes the classical Hermitian unital and which may be of independent interest for applications.
Total Positivity of Analytic Bases through Symmetric Functions
This paper studies the bidiagonal factorization of the collocation matrices of analytic bases using symmetric functions. Explicit formulas for their initial minors are derived in terms of Schur functions. The structure of these formulas permits establishing sufficient conditions for the total positivity of generic systems of analytic functions. In addition, they have been found to lead to generalizations of the Cauchy identity for certain families of functions.
Hypergraph Samplers: Typical and Worst Case Behavior
We study the utility and limitations of using $k$-uniform hypergraphs $H = ([n], E)$ ($n \ge \mathrm{poly}(k)$) in the context of error reduction for randomized algorithms for decision problems with one- or two-sided error. Our error reduction idea is sampling a uniformly random hyperedge of $H$, and repeating the algorithm $k$ times using the hyperedge vertices as seeds. This is a general paradigm, which captures every pseudorandom method generating $k$ seeds without repetition. We show two results which imply a gap between the typical and the worst-case behavior of using $H$ for error-reduction.
First, in the context of one-sided error reduction, if using a random hyperedge of $H$ decreases the error probability from $p$ to $p^k + ε$, then $H$ cannot have too few edges, i.e., $|E| = Ω(n k^{-1} ε^{-1})$. Thus, the number of random bits needed for reducing the error from $p$ to $p^k + ε$ cannot be reduced below $\lg n+\lg(ε^{-1})-\lg k+O(1)$. This is also true for hypergraphs of average uniformity $k$. Our result implies new lower bounds for dispersers and vertex-expanders.
Second, if the vertex degrees are reasonably distributed, we show that in a $(1-o(1))$-fraction of the cases, choosing $k$ pseudorandom seeds using $H$ will reduce the error probability to at most $o(1)$ above the error probability of using $k$ IID seeds, for both algorithms with one- or two-sided error. Thus, despite our lower bound, for a $(1-o(1))$-fraction of randomized algorithms (and inputs) for decision problems, the advantage of using IID samples over samples obtained from a uniformly random edge of a reasonable hypergraph is negligible. A similar statement holds true for randomized algorithms with two-sided error.
How many times can two minimum spanning trees cross?
Let $P$ be a generic set of $n$ points in the plane, and let $P=R\cup B$ be a coloring of $P$ in two colors. We are interested in the number of crossings between the minimum spanning trees (MSTs) of $R$ and $B$, denoted by $\crossAB(R,B)$. We define the \emph{bicolored MST crossing number} of $P$, denoted by $\cross(P)$, as $\cross(P) = \max_{P= R\cup B}(\crossAB(R,B))$. We prove a linear upper bound for $\cross(P)$ when $P$ is generic. If $P$ is dense or in convex position, we provide linear lower bounds. Lastly, if $P$ is chosen uniformly at random from the unit square and is colored uniformly at random, we prove that the expected value of $\crossAB(R,B)$ is linear.
Remarks about Connection and Dirac matrices
The connection Laplacian L and the Dirac matrix D are both n x n matrices defined from a given finite simplicial complex G with n sets. In both cases, there is interlacing of the eigenvalues for subcomplexes. This gives general upper bounds of the eigenvalues both for L and D in terms of inclusion or intersection degrees. We conjecture that L always dominates both D and the inverse of L in a weak Loewner sense. In a second part we look at dynamical systems (G,T), where T is a simplicial map on G. Both L and D generalize to dynamical versions of L and D. The modified L is still unimodular with an explicit Green function inverse and modified Dirac part still comes from an exterior derivative d. We also review the Lefschetz fixed point theorem for a simplicial map T on a simplicial complex G which implies the Brouwer fixed point theorem: any simplicial map on a contractible finite abstract simplicial complex G has a fixed simplex.