Showing 20 papers (Total: 83722 papers, 48319 authors in database)
The Poisson degeneracy locus of a flag variety
Published
• View Publication
• BIB
We present a comprehensive study of the degeneracy loci of the full flag varieties of all complex semisimple Lie groups equipped with the standard Poisson structures. The reduced Poisson degeneracy loci are shown to stratify under the action of the canonical maximal torus into open Richardson varieties $\mathcal{R}_v^w$ for pairs of Weyl group elements $v \leq w$ that extend the covering relation of the Bruhat order. Four different combinatorial descriptions of those pairs are given, and it is shown that their Bruhat intervals are power sets. The corresponding closed Richardson varieties $\overline{\mathcal{R}_v^m}$ are shown to be isomorphic to $(\mathbb{C}\mathbb{P}^1)^d$ for $d \geq 0$ in a compatible way with the stratification. As a consequence, we obtain that the reduced Poisson degeneracy loci of all full flag varieties are connected, and all of their irreducible components are isomorphic to $(\mathbb{C}\mathbb{P}^1)^n$ for some $n \geq 0$; they are not equidimensional in general. Using the framework of projected Richardson varieties, these results are extended to all partial flag varieties. The top dimension of irreducible components of the reduced Poisson degeneracy locus in the full flag case is proved to be equal to the cardinality of Kostant's cascade of roots and the reflective length of the longest Weyl group element. It is shown that the Poisson degeneracy loci of flag varieties are not reduced in general.
A categorification for the partial-dual genus polynomial
Published
• View Publication
• BIB
The partial-dual genus polynomial $^\partial\varepsilon_G(z)$ of a ribbon graph $G$ is the generating function that enumerates all partial duals of $G$. In this paper, we give a categorification for this polynomial. The key ingredient of the construction is an extended Frobenius algebra related to unoriented topological quantum field theory.
The Two Lives of the Grassmannian
Published
• View Publication
• BIB
The real Grassmannian is both a projective variety (via Plücker coordinates) and an affine variety (via orthogonal projections). We connect these two representations, and we develop the commutative algebra of the latter variety. We introduce the squared Grassmannian, and we study applications to determinantal point processes in statistics.
Vertex degree sums for perfect matchings in 3-uniform hypergraphs
Published
• View Publication
• BIB
Let $n \equiv 0\, (\, \text{mod } 3\,)$ and $H_{n, n/3}^2$ be the 3-graph of order $n$, whose vertex set is partitioned into two sets $S$ and $T$ of size $\frac{1}{3}n+1$ and $\frac{2}{3}n -1$, respectively, and whose edge set consists of all triples with at least $2$ vertices in $T$. Suppose that $n$ is sufficiently large and $H$ is a 3-uniform hypergraph of order $n$ with no isolated vertex. Zhang and Lu [Discrete Math. 341 (2018), 748--758] conjectured that if $deg(u)+deg(v) > 2(\binom{n-1}{2}-\binom{2n/3}{2})$ for any two vertices $u$ and $v$ that are contained in some edge of $H$, then $H$ contains a perfect matching or $H$ is a subgraph of $H_{n,n/3}^2$. We construct a counter-example to the conjecture. Furthermore, for all $γ>0$ and let $n \in 3 \mathbb{Z}$ be sufficiently large, we prove that if $deg(u)+deg(v) > (3/5+γ)n^2$ for any two vertices $u$ and $v$ that are contained in some edge of $H$, then $H$ contains a perfect matching or $H$ is a subgraph of $H_{n,n/3}^2$. This implies a result of Zhang, Zhao and Lu [Electron. J. Combin. 25 (3), 2018].
Simplices in large sets and directional expansion in ergodic actions
Published in Forum of Mathematics, Sigma 12 (2024) e121
• View Publication
• BIB
In this paper we study ergodic $\mathbb{Z}^r$-actions and investigate expansion properties along cyclic subgroups. We show that under some spectral conditions there are always directions which expand significantly a given measurable set with positive measure. Among other things, we use this result to prove that the set of volumes of all $r$-simplices with vertices in a set with positive upper density must contain an infinite arithmetic progression, thus showing a discrete density analogue of a classical result by Graham.
Diameter vs Laplacian eigenvalue distribution
Published
• View Publication
• BIB
Let $G$ be a simple graph of order $n$. It is known that any Laplacian eigenvalue of $G$ belongs to the interval $[0,n]$. For an interval $I\subseteq [0, n]$, denote by $m_GI$ the number of Laplacian eigenvalues of $G$ in $I$, counted with multiplicity. When $G$ is connected, known results on the Laplacian eigenvalue distribution related to the diameter $d$ of $G$ include: $m_G[n-d+2,n]\le n-d$ if $2\le d\le n-3$ and $m_G[n-d+1,n]\le n-d+1$ if $1\le d\le n-3$. In this paper, we show that $m_G[n-d,n]\le n-d+2$ if $2\le d\le n-4$, and $m_G[n-2d+4,n]\le n-2$ if $2\le d\le \lfloor\frac{n}{2} \rfloor$.
On maximum spectral radius of $\{H(3,3),~H(4,3)\}$-free graphs
Published
• View Publication
• BIB
Let $G$ be a simple connected graph of size $m$. Let $A$ be the adjacency matrix of $G$ and let $ρ(G)$ be the spectral radius of $G$. A graph is said to be $H$-free if it does not contain a subgraph isomorphic to $H$. Let $H(\ell,3)$ be the graph formed by taking a cycle of length $\ell$ and a triangle on a common vertex. Recently, Li, Lu and Peng [Y. Li, L. Lu, Y. Peng, Spectral extremal graphs for the bowtie, Discrete Math. 346(12) (2023) 113680.] showed that the unique $m$-edge $H(3,3)$-free spectral extremal graph is the join of $K_2$ with an independent set of $\frac{m-1}{2}$ vertices if $m\ge 8$ and the condition $m\ge 8$ is tight. In particular, if $G$ does not contain $H(3,3)$ as induced subgraph, they proved that $ρ(G) \leq \frac{1+\sqrt{4m-3}}{2} $ and equality holds when $G$ is isomorphic to $S_{\frac{m+3}{2},2}$. Note that Li et al. denoted $H(3,3)$ by $F_2$. In this paper, we find the maximum spectral radius and identify the graph with the largest spectral radius among all \{$H(3,3), H(4,3)$\}-free graphs of size odd $m$, where $m\geq 259$. Coincidentally, we show that $ρ(G) \leq \frac{1+\sqrt{4m-3}}{2}$ when $G$ forbids both $H(3,3)$ and $H(4,3)$. In our case, the equality holds when $G$ is isomorphic to the same graph.
Pure Nash Equilibria in Weighted Congestion Games with Complementarities and Beyond
Published
• View Publication
• BIB
Congestion games offer a primary model in the study of pure Nash equilibria in non-cooperative games, and a number of generalized models have been proposed in the literature. One line of generalization includes weighted congestion games, in which the cost of a resource is a function of the total weight of the players choosing that resource. Another line includes congestion games with mixed costs, in which the cost imposed on a player is a convex combination of the total cost and the maximum cost of the resources in her strategy. This model is further generalized to that of congestion games with complementarities. For the above models, the existence of a pure Nash equilibrium is proved under some assumptions, including that the strategy space of each player is the base family of a matroid and that the cost functions have a certain kind of monotonicity. In this paper, we deal with common generalizations of these two lines, namely weighted matroid congestion games with complementarities, and its further generalization. Our main technical contribution is a proof of the existence of pure Nash equilibria in these generalized models under a simplified assumption on the monotonicity, which provide a common extension of the previous results. We also present some extensions on the existence of pure Nash equilibria in player-specific and weighted matroid congestion games with mixed costs.
Democratic sequences
Given a countable alphabet and a sountable set pf preset frequency, we construct a sequence where each letter appears with the preaasigned frequency.
Reconstruction of hypermatrices from subhypermatrices
Published
• View Publication
• BIB
For a given $n$, what is the smallest number $k$ such that every sequence of length $n$ is determined by the multiset of all its $k$-subsequences? This is called the $k$-deck problem for sequence reconstruction, and has been generalized to the two-dimensional case -- reconstruction of $n\times n$-matrices from submatrices. Previous works show that the smallest $k$ is at most $O(n^\frac{1}{2})$ for sequences and at most $O(n^\frac{2}{3})$ for matrices. We study this $k$-deck problem for general dimension $d$ and prove that, the smallest $k$ is at most $O(n^\frac{d}{d+1})$ for reconstructing a $d$ dimensional hypermatrix of order $n$ from the multiset of all its subhypermatrices of order $k$.
Disjoint Isolating Sets and Graphs with Maximum Isolation Number
Published
• View Publication
• BIB
An isolating set in a graph is a set $X$ of vertices such that every edge of the graph is incident with a vertex of $X$ or its neighborhood. The isolation number of a graph, or equivalently the vertex-edge domination number, is the minimum number of vertices in an isolating set. Caro and Hansberg, and independently Żyliński, showed that the isolation number is at most one-third the order for every connected graph of order at least $6$. We show that in fact all such graphs have three disjoint isolating sets. Further, using a family introduced by Lemańska, Mora, and Souto-Salorio, we determine all graphs with equality in the original bound.
Heffter Spaces
Published
• View Publication
• BIB
The notion of a Heffter array, which received much attention in the last decade, is equivalent to a pair of orthogonal Heffter systems. In this paper we study the existence problem of a set of $r$ mutually orthogonal Heffter systems for any $r$. Such a set is equivalent to a resolvable partial linear space of degree $r$ whose parallel classes are Heffter systems: this is a new combinatorial design that we call a Heffter space. We present a series of direct constructions of Heffter spaces with block size odd and arbitrarily large degree $r$ obtained with the crucial use of finite fields. Among the applications we establish, in particular, the existence of $r$ mutually orthogonal $k$-cycle systems of order a prime power $q=2kw+1$ whenever $kw$ is odd and $w>4k^4\lceil{r\over k}\rceil$.
Truncated Theta Series Related to the Jacobi Triple Product Identity
Published
• View Publication
• BIB
The work of Andrews and Merca on the truncated Euler's pentagonal number theorem led to a resurgence in research on truncated theta series identities. In particular, Yee proved a truncated version of the Jacobi Triple Product (JTP) identity. Recently, Merca conjectured a stronger form of the truncated JTP identity. In this article we prove the first three cases of the conjecture and several related truncated identities. We prove combinatorially an identity related to the JTP identity which in particular cases reduces to identities conjectured by Merca and proved analytically by Krattenthaler, Merca and Radu. Moreover, we introduce a new combinatorial interpretation for the number of distinct 5-regular partitions of n.
Closed-Form Formula for the Partition Function and Related Functions
We develop a new closed-form arithmetic and recursive formula for the partition function and a generalization of Andrews' smallest parts (spt) function. Using the inclusion-exclusion principle, we additionally develop a formula for the not-relatively prime partition function (which counts the number of partitions that are not relatively prime). Moreover, we prove a theorem involving the greatest common divisor of partitions, which allows us to link partitions to prime numbers and lets us derive a formula for the relatively prime function. Lastly, we develop numerous new identities for Jordan's totient function of second order, Euler's totient function, and Dedekind's psi function.
Some comments on "On the generating function for intervals in Young's lattice" by Azam and Richmond
Published in The Electronic Journal of Combinatorics, vol 32, issue 3 (2025)
• View Publication
• BIB
Azam and Richmond arXiv:2107.09149 obtained a recursion for the generating function of \(P_λ(y)\), itself a generating function enumerating by length partitions in the lower ideal \([0,λ]\) in the Young lattice. We show that this recursion can be extended to a multi-graded version. This is done by interpreting the original problem as enumerating plane partitions with two rows. We can then use the well-developed theory of lattice points in polyhedral cones to determine some properties of the generating function. We also relate Azam and Richmond's result to those obtained by Andrews and Paule using MacMahons Omega-operator.
Cost Allocation for Set Covering: the Happy Nucleolus
Published
• View Publication
• BIB
We consider cost allocation for set covering problems. We allocate as much cost to the elements (players) as possible without violating the group rationality condition (no subset of players pays more than covering this subset would cost), and so that the excess vector is lexicographically maximized. This is identical to the well-known nucleolus if the core of the corresponding cooperative game is nonempty, i.e., if some optimum fractional cover is integral. In general, we call this the 'happy nucleolus'. Like for the nucleolus, the excess vector contains an entry for every subset of players, not only for the sets in the given set covering instance. Moreover, it is NP-hard to compute a single entry because this requires solving a set covering problem. Nevertheless, we give an explicit family of at most $mn$ subsets, each with a trivial cover (by a single set), such that the happy nucleolus is always completely determined by this proxy excess vector; here $m$ and $n$ denote the number of sets and the number of players in our set covering instance. We show that this is the unique minimal such family in a natural sense. While computing the nucleolus for set covering is NP-hard, our results imply that the happy nucleolus can be computed in polynomial time.
A generalization of perfect codes in the presence of star multiset transpositions
Let $0<\ell\in\mathbb{Z}$. The notion of an efficient dominating set or perfect code $S$ of a graph $G$ is generalized to that of an efficient dominating$\,^\ell$-set or perfect$^\ell$code, of the graph $G$, meaning that each vertex $v$ of $V(G)\setminus S$ has exactly $\ell$ neighbors in $S$, instead of just one neighbor. Such generalization is applied to star $j$-set transposition graphs based on permutations of multisets with each symbol repeated $j$ times, ($j\in\{\ell,\ell-1\}$). In such vertex-transitive graphs this approach produces total colorings, efficient dominating sets, also called perfect codes, etc.
Asymptotics of the Minimal Feedback Arc Set in Erdős-Rényi Graphs
Given a directed graph, the Minimal Feedback Arc Set (FAS) problem asks for a minimal set of arcs which, when removed, results in an acyclic graph. Equivalently, the FAS problem asks to find an ordering of the vertices that minimizes the number of feedback arcs. The FAS problem is considered an algorithmic problem of central importance in discrete mathematics. Our purpose in this paper is to consider the problem in the context of Erdős-Rényi random directed graphs, denoted $D(n,p)$, in which each possible directed arc is included with a fixed probability $p>0$. Our interest is the typical ratio of the number of feedforward arcs to the number of feedback arcs that are removed in the FAS problem. We show that as the number $n$ of vertices goes to infinity the probability that this ratio is greater than $1+ε$ for any fixed $ε> 0$ approaches zero. Similarly, letting $p$ go to zero as $n\rightarrow \infty$ this result remains true if $p>C\log{n}/n$ where $C$ depends on $ε$.
Reconstructing a shellable sphere from its facet-ridge graph
We show that the facet-ridge graph of a shellable simplicial sphere $Δ$ uniquely determines the entire combinatorial structure of $Δ$. This generalizes the celebrated result due to Blind and Mani (1987), and Kalai (1988) on reconstructing simple polytopes from their graphs. Our proof utilizes the notions of good acyclic orientations from Kalai's proof as well as $k$-systems introduced by Joswig, Kaibel, and Körner.
General Performance Evaluation for Competitive Resource Allocation Games via Unseen Payoff Estimation
Many high-stakes decision-making problems, such as those found within cybersecurity and economics, can be modeled as competitive resource allocation games. In these games, multiple players must allocate limited resources to overcome their opponent(s), while minimizing any induced individual losses. However, existing means of assessing the performance of resource allocation algorithms are highly disparate and problem-dependent. As a result, evaluating such algorithms is unreliable or impossible in many contexts and applications, especially when considering differing levels of feedback. To resolve this problem, we propose a generalized definition of payoff which uses an arbitrary user-provided function. This unifies performance evaluation under all contexts and levels of feedback. Using this definition, we develop metrics for evaluating player performance, and estimators to approximate them under uncertainty (i.e., bandit or semi-bandit feedback). These metrics and their respective estimators provide a problem-agnostic means to contextualize and evaluate algorithm performance. To validate the accuracy of our estimator, we explore the Colonel Blotto ($\mathcal{CB}$) game as an example. To this end, we propose a graph-pruning approach to efficiently identify feasible opponent decisions, which are used in computing our estimation metrics. Using various resource allocation algorithms and game parameters, a suite of $\mathcal{CB}$ games are simulated and used to compute and evaluate the quality of our estimates. These simulations empirically show our approach to be highly accurate at estimating the metrics associated with the unseen outcomes of an opponent's latent behavior.