A hallmark of graph neural networks is their ability to distinguish the isomorphism class of their inputs. This study derives hardness results for the classification variant of graph isomorphism in the message-passing model (MPNN). MPNN encompasses the maj ...
We construct examples of finitely generated infinite simple groups of homeomorphisms of the real line. Equivalently, these are examples of finitely generated simple left (or right) orderable groups. This answers a well known open question of Rhemtulla from ...
We prove formulas for power moments for point counts of elliptic curves over a finite field k such that the groups of k-points of the curves contain a chosen subgroup. These formulas express the moments in terms of traces of Hecke operators for certain con ...
We show that Brauer classes of a locally solvable degree 4 del Pezzo surface X are vertical for some projection away from a plane g : X -> P-1, i.e., that every Brauer class is obtained by pullback from an element of Br k(P-1). As a consequence, we prove t ...
Quasi two-level operation of voltage source converters, intended to operate either within high/medium voltage DC networks or low output frequency applications, has caught the attention of both academia and industry. Sequential insertion of the so-called su ...
Let R be a semilocal principal ideal domain. Two algebraic objects over R in which scalar extension makes sense (e.g. quadratic spaces) are said to be of the same genus if they become isomorphic after extending scalars to all completions of R and its fract ...
The modular multilevel converter (MMC) presented in Figure 1 found its place within highvoltage and medium-voltage (MV) applications owing to the possibility of effortlessly meeting the imposed voltage requirements by stacking the so-called submodules (SMs ...
The paper proposes a variant of sesqui-pushout rewriting (SqPO) that allows one to develop the theory of nested application conditions (NACs) for arbitrary rule spans; this is a considerable generalisation compared with existing results for NACs, which onl ...
We prove that the category of systems of sesquilinear forms over a given hermitian category is equivalent to the category of unimodular 1-hermitian forms over another hermitian category. The sesquilinear forms are not required to be unimodular or defined o ...
We generalize Cohen & Jones & Segal's flow category, whose objects are the critical points of a Morse function and whose morphisms are the Morse moduli spaces between the critical points to an n-category. The n-category construction involves repeatedly doi ...
