相关论文: Errata to `Automorphisms of First-order Structures…
Introducing the deformation theory of holomorphic Cartan geometries, we compute infinitesimal automorphisms and infinitesimal deformations. We also prove the existence of a semi-universal deformation of a holomorphic Cartan geometry.
In this article, the author provides full details of the proof of the concordance/isotopy problem. The first published proof, [5], accomplished this task only partially since there was an error, see the erratum [6], which damaged the main…
This PhD thesis has the following structure: Chapter 1 - General introduction; Chapter 2 - Preliminaries; Chapter 3 - The Replicated Transfer Matrix; Chapter 4 - Finite Size Corrections On Random Graphs; Chapter 5 - The Random Field Ising…
We study automorphism groups of formal matrix algebras. We also consider automorphisms of ordinary matrix algebras (in particular, triangular matrix algebras).
We develop an obstruction theory for Hirsch extensions of cbba's with twisted coefficients. This leads to a variety of applications, including a structural theorem for minimal cbba's, a construction of relative minimal models with twisted…
We analyze the phase diagram of a topological insulator model including antiferromagnetic interactions in the form of an extended Su-Schrieffer Heeger model. To this end, we employ a recently introduced operational definition of topological…
We show that the space of first-order deformations of an orthogonal (resp. symplectic) sheaf over a smooth projective scheme is the first hypercohomology space of a complex which is naturally constructed out of the orthogonal (resp.…
We show that several classes of ordered structures (namely, convex linear orders, layered permutations, and compositions) admit first-order logical limit laws.
The first papers on o-minimal structures appeared in the mid 1980s, since then the subject has grown into a wide ranging generalisation of semialgebraic, subanalytic and subpfaffian geometry. In these notes we try to show that this is in…
The structure of topological spaces is analysed here through the lenses of fibrous preorders. Each topological space has an associated fibrous preorder and those fibrous preorders which return a topological space are called spacial. A…
We introduce a notion of weak definability of first order structures, show that various classification-theoretic properties are or are not preserved under it, and that the properties which are preserved can also be characterized in terms of…
We discuss characterization of experimental quantum gates by the error matrix, which is similar to the standard process matrix $\chi$ in the Pauli basis, except the desired unitary operation is factored out, by formally placing it either…
The first-order theory of a string automatic structure is known to be decidable, but there are examples of string automatic structures with nonelementary first-order theories. We prove that the first-order theory of a string automatic…
This is an update on, and expansion of, our paper Open problems on $\beta\omega$ in the book Open Problems in Topology.
We point out two errors in the paper ``The integer cohomology algebra of toric arrangements'', Adv. Math., Vol. 313, pp. 746-802, 2017. The main error concerns Theorem 4.2.17. In that theorem's proof, Diagram (8) does not commute in general…
This note corrects a technical error in the ACM Computing Surveys paper mentioned in the title. The flaw involved constructions for showing that timed automata with urgent locations have the same expressiveness as timed automata that allow…
We study the structures of Fourier coefficients of automorphic forms on symplectic groups based on their local and global structures related to Arthur parameters. This is a first step towards the general conjecture on the relation between…
We provide obstructions on the cycle structure of inner automorphisms of finite indecomposable racks and quandles and verify some cases of a conjecture by C. Hayashi.
This paper has been withdrawn by the author due to a mistake in the proof of the main theorem.
This is a non-standard paper, containing some problems, mainly in model theory, which I have, in various degrees, been interested in. Sometimes with a discussion on what I have to say; sometimes, of what makes them interesting to me,…