组合数学
We describe the action of the infinite-dimensional Lie algebra $W_{1+\infty}$ and its B-type analogue on Schur and Schur Q-functions, respectively, using formal distributions framework. We observe an interesting self-duality property…
We present a flexible random construction which, for certain graphs $H$, is able to produce $H$-free graphs with edge density strictly larger than that of the $H$-free process, while simultaneously preserving pseudorandom properties and…
Erd\H{o}s and Szekeres showed that given a permutation $p$ of $[n]$, and the sequence defined by \newline $(p(1), p(2), \ldots, p(n))$, there exists either a decreasing or increasing subsequence, not necessarily contiguous, of length at…
The Merino-Welsh conjecture states that for a graph $G$ without loops and bridges the Tutte polynomial $T_G(x,y)$ satisfies the inequality $$\max(T_G(2,0),T_G(0,2))\geqslant T_G(1,1).$$ Later Jackson proved that for any matroid $M$ without…
A matching cut is a matching that is also an edge cut. In the problem Minimum Matching Cut, we ask for a matching cut with the minimum number of edges in the matching. We investigate the differences in complexity between Minimum Matching…
A recolouring sequence, between $k$-colourings $\alpha$ and $\beta$ of a graph $G$, transforms $\alpha$ into $\beta$ by recolouring one vertex at a time, such that after each recolouring step we again have a proper $k$-colouring of $G$. The…
Given a graph $G$, the Laplacian matrix of $G$, $L(G)$ is the difference of the adjacency matrix $A(G)$ and $\text{Deg}(G)$, where $\text{Deg}(G)$ is the diagonal matrix of vertex degrees. The distance Laplacian matrix $D^L({G})$ is the…
Let $G$ be a plane graph and let $C$ be a cycle in $G$. For each finite face of $G$, count the number of edges of $C$ the face contains. We call this the Slitherlink signature of $C$. The symmetric difference $A$ of two cycles with the same…
Given any $r$-edge coloring of $K_{n,n}$, how large is the maximum (over all $r$ colors) sized monochromatic subgraph guaranteed to be? We give answers to this problem for $r \leq 8$, when $r$ is a perfect square, and when $r$ is one less…
We prove that for every graph $G$ with a sufficiently large complete bipartite induced minor, either $G$ has an induced minor isomorphic to a large wall, or $G$ contains a large constellation; that is, a complete bipartite induced minor…
Thomassen famously proved that every planar graph is 5-choosable. We explore variants of this result, focusing on finding disjoint correspondence colorings, in the more general class of $K_5$-minor-free graphs. Correspondence colorings…
The (strong) Bruhat order for permutations provides a partial ordering defined as follows: two permutations are comparable if one can be obtained from the other by a sequence of adjacent transpositions that each increase the number of…
One of the most well-known conjectures concerning Hamiltonicity in graphs asserts that any sufficiently large connected vertex transitive graph contains a Hamilton cycle. In this form, it was first written down by Thomassen in 1978,…
The present paper considers multipartite graphs from the perspective of design theory and coding theory. A one-factor $F$ of the complete multipartite graph $K_{n\times g}$ (with $n$ parts of size $g$) gives rise to a $(g+1)$-ary code…
We introduce randomized zero forcing (RZF), a stochastic color-change process on directed graphs in which a white vertex turns blue with probability equal to the fraction of its incoming neighbors that are blue. Unlike probabilistic zero…
For a graph $G$, a vertex subset is called \emph{$1$-nearly independent} if the subgraph it induces contains exactly one edge. Let $\sigma_1(G)$ denote the number of such subsets in $G$. In this paper, we study Nordhaus-Gaddum type…
Notions of ordinal submodularity/supermodularity have been introduced and studied in the literature. We consider several classes of ordinally submodular functions defined on finite Boolean lattices and give characterizations of the set of…
A string attractor of a string $T[1..|T|]$ is a set of positions $\Gamma$ of $T$ such that any substring $w$ of $T$ has an occurrence that crosses a position in $\Gamma$, i.e., there is a position $i$ such that $w = T[i..i+|w|-1]$ and the…
Fully bracketed implication terms on $n$ variables are evaluated in G\"odel $m$-valued logic on a finite chain, and we enumerate truth-table rows by output value across all Catalan bracketings. Using the Catalan decomposition, we derive a…
We study the set of square-free parts of volume polynomials associated with four planar lattice polytopes. This is motivated by the problem of describing possible pairwise intersection numbers of four curves in $(\mathbb{C}^*)^2$ with…