Given a symmetric monoidal category ${\mathcal C}$ with product $\sqcup $, where the neutral element for the product is an initial object, we consider the poset of $\sqcup $-complemented subobjects of a given object X. When this poset has finite height, we define decompositions and partial decompositions of X which are coherent with $\sqcup $, and order them by refinement. From these posets, we define complexes of frames and partial bases, augmented Bergman complexes and related ordered versions. We propose a unified approach to the study of their combinatorics and homotopy type, establishing various properties and relations between them. Via explicit homotopy formulas, we will be able to transfer structural properties, such as Cohen-Macaulayness.

In well-studied scenarios, the poset of $\sqcup $-complemented subobjects specializes to the poset of free factors of a free group, the subspace poset of a vector space, the poset of nondegenerate subspaces of a vector space with a nondegenerate form, and the lattice of flats of a matroid. The decomposition and partial decomposition posets, the complex of frames and partial bases together with the ordered versions, either coincide with well-known structures, generalize them, or yield new interesting objects. In these particular cases, we provide new results along with open questions and conjectures.

We consider the problem of sequential matching in a stochastic block model with several classes of nodes and generic compatibility constraints. When the probabilities of connections do not scale with the size of the graph, we show that under the Ncond condition, a simple max-weight type policy allows us to attain an asymptotically perfect matching while no sequential algorithm attains perfect matching otherwise. The proof relies on a specific Markovian representation of the dynamics associated with Lyapunov techniques.

Let ${\mathscr {G}} $ be a special parahoric group scheme of twisted type over the ring of formal power series over $\mathbb {C}$, excluding the absolutely special case of $A^{(2)}_{2\ell }$. Using the methods and results of Zhu, we prove a duality theorem for general ${\mathscr {G}} $: there is a duality between the level one twisted affine Demazure modules and the function rings of certain torus fixed point subschemes in affine Schubert varieties for ${\mathscr {G}} $. Along the way, we also establish the duality theorem for $E_6$. As a consequence, we determine the smooth locus of any affine Schubert variety in the affine Grassmannian of ${\mathscr {G}} $. In particular, this confirms a conjecture of Haines and Richarz.

In this article, we investigate the possibility of generating all the configurations of a subshift in a local way. We propose two definitions of local generation, explore their properties and develop techniques to determine whether a subshift satisfies these definitions. We illustrate the results with several examples.

We construct a novel family of difference-permutation operators and prove that they are diagonalized by the wreath Macdonald P-polynomials; the eigenvalues are written in terms of elementary symmetric polynomials of arbitrary degree. Our operators arise from integral formulas for the action of the horizontal Heisenberg subalgebra in the vertex representation of the corresponding quantum toroidal algebra.

Let $\mathcal {D}$ be a Hom-finite, Krull-Schmidt, 2-Calabi-Yau triangulated category with a rigid object R. Let $\Lambda =\operatorname {End}_{\mathcal {D}}R$ be the endomorphism algebra of R. We introduce the notion of mutation of maximal rigid objects in the two-term subcategory $R\ast R[1]$ via exchange triangles, which is shown to be compatible with the mutation of support $\tau $-tilting $\Lambda $-modules. In the case that $\mathcal {D}$ is the cluster category arising from a punctured marked surface, it is shown that the graph of mutations of support $\tau $-tilting $\Lambda $-modules is isomorphic to the graph of flips of certain collections of tagged arcs on the surface, which is moreover proved to be connected. Consequently, the mutation graph of support $\tau $-tilting modules over a skew-gentle algebra is connected. This generalizes one main result in [49].

The Jacobian of a very general complex algebraic curve of genus at least 3 contains an algebraic cycle called the Ceresa cycle that is homologically trivial but algebraically nontrivial. Zharkov defined in analogy the tropical Ceresa cycle of a metric graph and proved a similar result for very general tropical curves overlying the complete graph on four vertices. We extend this result by considering a related, ‘universal’ invariant of the underlying graph called the Ceresa period; we show that having trivial Ceresa period has a forbidden minor characterization that coincides with the graph being of hyperelliptic type.

Let W be a simply laced Weyl group of finite type and rank n. If W has type $E_7$, $E_8$ or $D_n$ for n even, then the root system of W has subsystems of type $nA_1$. This gives rise to an irreducible Macdonald representation of W spanned by n-roots, which are products of n orthogonal roots in the symmetric algebra of the reflection representation. We prove that in these cases, the set of all maximal sets of orthogonal positive roots has the structure of a quasiparabolic set in the sense of Rains–Vazirani. The quasiparabolic structure can be described in terms of certain quadruples of orthogonal positive roots which we call crossings, nestings and alignments. This leads to nonnesting and noncrossing bases for the Macdonald representation, as well as some highly structured partially ordered sets. We use the $8$-roots in type $E_8$ to give a concise description of a graph that is known to be non-isomorphic but quantum isomorphic to the orthogonality graph of the $E_8$ root system.

Counting independent sets in graphs and hypergraphs under a variety of restrictions is a classical question with a long history. It is the subject of the celebrated container method which found numerous spectacular applications over the years. We consider the question of how many independent sets we can have in a graph under structural restrictions. We show that any $n$-vertex graph with independence number $\alpha$ without $bK_a$ as an induced subgraph has at most $n^{O(1)} \cdot \alpha ^{O(\alpha )}$ independent sets. This substantially improves the trivial upper bound of $n^{\alpha },$ whenever $\alpha \le n^{o(1)}$ and gives a characterisation of graphs forbidding which allows for such an improvement. It is also in general tight up to a constant in the exponent since there exist triangle-free graphs with $\alpha ^{\Omega (\alpha )}$ independent sets. We also prove that if one in addition assumes the ground graph is chi-bounded one can improve the bound to $n^{O(1)} \cdot 2^{O(\alpha )}$ which is tight up to a constant factor in the exponent.

If G is a graph, then $X\subseteq V(G)$ is a general position set if for every two vertices $v,u\in X$ and every shortest $(u,v)$-path P, no inner vertex of P lies in X. We propose three algorithms to compute a largest general position set in G: an integer linear programming algorithm, a genetic algorithm and a simulated annealing algorithm. These approaches are supported by examples from different areas of graph theory.

We give an elementary approach utilizing only the divided difference formalism for obtaining expansions of Schubert polynomials that are manifestly nonnegative, by studying solutions to the equation $\sum Y_i\partial _i=\operatorname {id}$ on polynomials with no constant term. This in particular recovers the pipe dream and slide polynomial expansions. We also show that slide polynomials satisfy an analogue of the divided difference formalisms for Schubert polynomials and forest polynomials, which gives a simple method for extracting the coefficients of slide polynomials in the slide polynomial decomposition of an arbitrary polynomial.

We initiate a study of large deviations for block model random graphs in the dense regime. Following [14], we establish an LDP for dense block models, viewed as random graphons. As an application of our result, we study upper tail large deviations for homomorphism densities of regular graphs. We identify the existence of a ‘symmetric’ phase, where the graph, conditioned on the rare event, looks like a block model with the same block sizes as the generating graphon. In specific examples, we also identify the existence of a ‘symmetry breaking’ regime, where the conditional structure is not a block model with compatible dimensions. This identifies a ‘reentrant phase transition’ phenomenon for this problem – analogous to one established for Erdős–Rényi random graphs [13, 14]. Finally, extending the analysis of [34], we identify the precise boundary between the symmetry and symmetry breaking regimes for homomorphism densities of regular graphs and the operator norm on Erdős–Rényi bipartite graphs.

A graph $H$ is said to be common if the number of monochromatic labelled copies of $H$ in a red/blue edge colouring of a large complete graph is asymptotically minimised by a random colouring in which each edge is equally likely to be red or blue. We extend this notion to an off-diagonal setting. That is, we define a pair $(H_1,H_2)$ of graphs to be $(p,1-p)$-common if a particular linear combination of the density of $H_1$ in red and $H_2$ in blue is asymptotically minimised by a random colouring in which each edge is coloured red with probability $p$ and blue with probability $1-p$. Our results include off-diagonal extensions of several standard theorems on common graphs and novel results for common pairs of graphs with no natural analogue in the classical setting.

This article explores the relationship between Hessenberg varieties associated with semisimple operators with two eigenvalues and orbit closures of a spherical subgroup of the general linear group. We establish the specific conditions under which these semisimple Hessenberg varieties are irreducible. We determine the dimension of each irreducible Hessenberg variety under consideration and show that the number of such varieties is a Catalan number. We then apply a theorem of Brion to compute a polynomial representative for the cohomology class of each such variety. Additionally, we calculate the intersections of a standard (Schubert) hyperplane section of the flag variety with each of our Hessenberg varieties and prove that this intersection possesses a cohomological multiplicity-free property.

Let n be a positive integer, let $0<p\leqslant p'\leqslant \frac 12$, and let $\ell \leqslant pn$ be a nonnegative integer. We prove that if $\mathcal {F},\mathcal {G}\subseteq \{0,1\}^n$ are two families whose cross intersections forbid $\ell $—that is, they satisfy $|A\cap B|\neq \ell $ for every $A\in \mathcal {F}$ and every $B\in \mathcal {G}$ – then, setting $t:= \min \{\ell ,pn-\ell \}$, we have the subgaussian bound

$$\begin{align*}\mu_p(\mathcal{F})\, \mu_{p'}(\mathcal{G}) \leqslant 2\exp\Big( - \frac{t^2}{58^2\,pn}\Big), \end{align*}$$

where $\mu _p$ and $\mu _{p'}$ denote the p-biased and $p'$-biased measures on $\{0,1\}^n$, respectively.

A random temporal graph is an Erdős-Rényi random graph $G(n,p)$, together with a random ordering of its edges. A path in the graph is called increasing if the edges on the path appear in increasing order. A set $S$ of vertices forms a temporal clique if for all $u,v \in S$, there is an increasing path from $u$ to $v$. Becker, Casteigts, Crescenzi, Kodric, Renken, Raskin and Zamaraev [(2023) Giant components in random temporal graphs. arXiv,2205.14888] proved that if $p=c\log n/n$ for $c\gt 1$, then, with high probability, there is a temporal clique of size $n-o(n)$. On the other hand, for $c\lt 1$, with high probability, the largest temporal clique is of size $o(n)$. In this note, we improve the latter bound by showing that, for $c\lt 1$, the largest temporal clique is of constant size with high probability.

For every positive integer d, we show that there must exist an absolute constant $c \gt 0$ such that the following holds: for any integer $n \geqslant cd^{7}$ and any red-blue colouring of the one-dimensional subspaces of $\mathbb{F}_{2}^{n}$, there must exist either a d-dimensional subspace for which all of its one-dimensional subspaces get coloured red or a 2-dimensional subspace for which all of its one-dimensional subspaces get coloured blue. This answers recent questions of Nelson and Nomoto, and confirms that for any even plane binary matroid N, the class of N-free, claw-free binary matroids is polynomially $\chi$-bounded.

Our argument will proceed via a reduction to a well-studied additive combinatorics problem, originally posed by Green: given a set $A \subset \mathbb{F}_{2}^{n}$ with density $\alpha \in [0,1]$, what is the largest subspace that we can find in $A+A$? Our main contribution to the story is a new result for this problem in the regime where $1/\alpha$ is large with respect to n, which utilises ideas from the recent breakthrough paper of Kelley and Meka on sets of integers without three-term arithmetic progressions.

A spline is an assignment of polynomials to the vertices of a graph whose edges are labeled by ideals, where the difference of two polynomials labeling adjacent vertices must belong to the corresponding ideal. The set of splines forms a ring. We consider spline rings where the underlying graph is the Cayley graph of a symmetric group generated by a collection of transpositions. These rings generalize the GKM construction for equivariant cohomology rings of flag, regular semisimple Hessenberg and permutohedral varieties. These cohomology rings carry two actions of the symmetric group $S_n$ whose graded characters are both of general interest in algebraic combinatorics. In this paper, we generalize the graded $S_n$-representations from the cohomologies of the above varieties to splines on Cayley graphs of $S_n$ and then (1) give explicit module and ring generators for whenever the $S_n$-generating set is minimal, (2) give a combinatorial characterization of when graded pieces of one $S_n$-representation is trivial, and (3) compute the first degree piece of both graded characters for all generating sets.

A partition is called a t-core if none of its hook lengths is a multiple of t. Let $a_t(n)$ denote the number of t-core partitions of n. Garvan, Kim and Stanton proved that for any $n\geq1$ and $m\geq1$, $a_t\big(t^mn-(t^2-1)/24\big)\equiv0\pmod{t^m}$, where $t\in\{5,7,11\}$. Let $A_{t,k}(n)$ denote the number of partition k-tuples of n with t-cores. Several scholars have been subsequently investigated congruence properties modulo high powers of 5 for $A_{5,k}(n)$ with $k\in\{2,3,4\}$. In this paper, by utilizing a recurrence related to the modular equation of fifth order, we establish dozens of congruence families modulo high powers of 5 satisfied by $A_{5,k}(n)$, where $4\leq k\leq25$. Moreover, we deduce an infinite family of internal congruences modulo high powers of 5 for $A_{5,4}(n)$. In particular, we generalize greatly a recent result on a congruence family modulo high powers of 5 enjoyed by $A_{5,4}(n)$, which was proved by Saikia, Sarma and Talukdar (Indian J. Pure Appl. Math., 2024). Finally, we conjecture that there exists a similar phenomenon for $A_{5,k}(n)$ with $k\geq26$.