Related papers: A Concise Proof of the $L_0$ Dichotomy

Let $\{G_M\}_{M\geq 0}$ be the random graph process, where $G_0$ is the empty graph on $n$ vertices and subsequent graphs in the sequence are obtained by adding a new edge uniformly at random. For each $\varepsilon>0$, we show that, almost…

We study homomorphism problems of signed graphs from a computational point of view. A signed graph $(G,\Sigma)$ is a graph $G$ where each edge is given a sign, positive or negative; $\Sigma\subseteq E(G)$ denotes the set of negative edges.…

Given an $n$-vertex graph $G$, let $\hom (G)$ denote the size of a largest homogeneous set in $G$ and let $f(G)$ denote the maximal number of distinct degrees appearing in an induced subgraph of $G$. The relationship between these…

Many natural combinatorial quantities can be expressed by counting the number of homomorphisms to a fixed relational structure. For example, the number of 3-colorings of an undirected graph $G$ is equal to the number of homomorphisms from…

A relational structure is homomorphism-homogeneous (HH-homogeneous for short) if every homomorphism between finite induced substructures of the structure can be extended to a homomorphism over the whole domain of the structure. Similarly, a…

Hoffman proved that for a simple graph $G$, the chromatic number $\chi(G)$ obeys $\chi(G) \le 1 - \frac{\lambda_1}{\lambda_{n}}$ where $\lambda_1$ and $\lambda_n$ are the maximal and minimal eigenvalues of the adjacency matrix of $G$…

We present a contravariant reflection of the compact $T_1$-spaces with arrows given by closed continuous functions into the category of bounded distributive lattices with arrows given by closed subfit morphisms. This reflection extends both…

In their proof of the Drinfeld-Langlands correspondence, Frenkel, Gaitsgory and Vilonen make use of a geometric Fourier transformation. Therefore, they work either with l-adic sheaves in characteristic p>0, or with D-modules in…

A graph homomorphism is a vertex map which carries edges from a source graph to edges in a target graph. The instances of the Weighted Maximum H-Colourable Subgraph problem (MAX H-COL) are edge-weighted graphs G and the objective is to find…

We consider a natural graph operation $\Omega_k$ that is a certain inverse (formally: the right adjoint) to taking the k-th power of a graph. We show that it preserves the topology (the $\mathbb{Z}_2$-homotopy type) of the box complex, a…

Let $T$ be a bijective map on $\mathbb{R}^n$ such that both $T$ and $T^{-1}$ are Borel measurable. For any $\btheta \in \mathbb{R}^n$ and any real $n \times n$ positive definite matrix $\Sigma,$ let $N (\btheta, \Sigma)$ denote the…

Correspondence homomorphisms are both a generalization of standard homomorphisms and a generalization of correspondence colourings. For a fixed target graph $H$, the problem is to decide whether an input graph $G$, with each edge labeled by…

We supply an upper bound on the distinguishing chromatic number of certain infinite graphs satisfying an adjacency property. Distinguishing proper $n$-colourings are generalized to the new notion of distinguishing homomorphisms. We prove…

This paper is motivated by Brolin's theorem. The phenomenon we wish to demonstrate is as follows: if $F$ is a holomorphic correspondence on $\mathbb{P}^1$, then (under certain conditions) $F$ admits a measure $\mu_F$ such that, for any…

In Chapter 1 we fully characterise pairs of finite graphs which form a gap in the full homomorphism order. This leads to a simple proof of the existence of generalised duality pairs. We also discuss how such results can be carried to…

L. Soukup formulated an abstract framework in his introductory paper for proving theorems about uncountable graphs by subdividing them by an increasing continuous chain of elementary submodels. The applicability of this method relies on the…

A recent paper by the authors (ITCS'26) initiates the study of the Triangle Detection problem in graphs avoiding a fixed pattern $H$ as a subgraph and proposes a \emph{dichotomy hypothesis} characterizing which patterns $H$ make the…

Frankl and F\"uredi conjectured in 1989 that the maximum Lagrangian of all $r$-uniform hypergraphs of fixed size $m$ is realised by the initial segment of the colexicographic order. In particular, in the principal case $m=\binom{t}{r}$…

First we survey and explain the strategy of some recent results that construct holomorphic $\text{sl}(2, \mathbb C)$-differential systems over some Riemann surfaces $\Sigma_g$ of genus $g\geq 2$, satisfying the condition that the image of…

Two graphs $G_1,G_2$ are distinguished by the Weisfeiler--Leman isomorphism test if and only if there is a tree $T$ that has a different number of homomorphisms to $G_1$ and to $G_2$. There are two known proofs of this fact -- a logical…