Related papers: {\Gamma}-species, quotients, and graph enumeration
We introduce a class of non-commutative geometries, loosely referred to as para-spaces, which are manifolds equipped with sheaves of non-commutative algebras called para-algebras. A differential analysis on para-spaces is investigated,…
It is shown that the principle of locality and noncommutative geometry can be connnected by a sheaf theoretical method. In this framework quantum spaces are introduced and examples in mathematical physics are given. With the language of…
We discuss a partial normalisation of a finite graph of finite groups $(\Gamma(-), X)$ which leaves invariant the fundamental group. In conjunction with an easy graph-theoretic result, this provides a flexible and rather useful tool in the…
A kind of motivic algebra of spectral categories and modules over them is developed to introduce K-motives of algebraic varieties. As an application, bivariant algebraic K-theory as well as bivariant motivic kohomology groups are defined…
In this note, we investigate fundamental relations between exploration processes in random graphs, and branching processes. We formulate a class of models that we call {\em rank-$k$ random graphs}, and that are special in that their…
Non-well-founded trees are used in mathematics and computer science, for modelling non-well-founded sets, as well as non-terminating processes or infinite data-structures. Categorically, they arise as final coalgebras for polynomial…
The quantum mechanics is proved to admit no hidden-variable in 1960s, which means the quantum systems are contextual. Revealing the mathematical structure of quantum mechanics is a significant task. We develop the approach of partial…
We generalize the Generic Model Theorem for equivariant presheaves of structures; extending the results of Macintyre and Caicedo. We also introduce a new class of generic cohomologies and show how, for some examples, they simplify to non…
These lecture notes cover 13 sessions and are presented as an e-print, intended to evolve over time. Quantum invariants do more than distinguish topological objects; they build bridges between topology, algebra, number theory and quantum…
Let $\Gamma$ be a $G$-symmetric graph with vertex set $V$. We suppose that $V$ admits a $G$-partition $\mathcal{B} = \{ B_0, ... , B_b \}$, with parts of size $v$, and that the quotient graph induced on $\mathcal B$ is a complete graph of…
We show that every sheaf on the site of smooth manifolds with values in a stable (infinity,1)-category (like spectra or chain complexes) gives rise to a differential cohomology diagram and a homotopy formula, which are common features of…
The vertices of a $k$-token graph of a graph $G$ correspond to $k$ indistinguishable tokens placed on $k$ different vertices of $G$. Changing some conditions on both the nature of the tokens and the number of tokens allowed in each vertex…
This paper provides a complete presentation of $K_1(Var)$, the $K_1$ group of varieties, resolving and simplifying a problem left open in \cite{ZakhK1}. Our approach adapts Gillet-Grayson's $G$-Construction to define an un-delooped…
Many computational problems are unchanged under some symmetry operation. In classical machine learning, this can be reflected with the layer structure of the neural network. In quantum machine learning, the ansatz can be tuned to correspond…
Superspecies are introduced to provide the nice constructions of all finite-dimensional superalgebras. All acyclic superspecies, or equivalently all finite-dimensional (gr-basic) gr-hereditary superalgebras, are classified according to…
We study multivariate polynomials over `structured' grids. We begin by proposing an interpretation as to what it means for a finite subset of a field to be structured; we do so by means of a numerical parameter, the nullity. We then extend…
Graph polynomials encode fundamental combinatorial invariants of graphs. Their computation is investigated using tree and path decomposition frameworks, with formal definitions of treewidth, k-trees, and pathwidth establishing the…
In this paper, we deal with a generalization $\Gamma(\Omega,q)$ of the bipartite graphs $D(k,q)$ proposed by Lazebnik and Ustimenko, where $\Omega$ is a set of binary sequences that are adopted to index the entries of the vertices. A few…
Using a homological invariant together with an obstruction class in a certain Ext^2-group, we may classify objects in triangulated categories that have projective resolutions of length two. This invariant gives strong classification results…
k-graphs are higher-rank analogues of directed graphs which were first developed to provide combinatorial models for operator algebras of Cuntz-Krieger type. Here we develop the theory of covering spaces for k-graphs, obtaining a…