Related papers: Erratum to ``Stabilization for the automorphisms o…
The goal of this note is to provide a constructive version of the proof of local structure of etale algebras.
The purpose of this article is to point out a mistake in the published paper "Graphs of hyperbolic groups and limit set intersection theorem- Proc AMS, vol 146, no 5, pp 1859--1871, which subsequently weakens the main theorem of that paper.…
We give a counterexample to a conjecture by Miasnikov, Ventura and Weil, stating that an extension of free groups is algebraic if and only if the corresponding morphism of their core graphs is onto, for every basis of the ambient group. In…
Using the theory of group action, we first introduce the concept of the automorphism group of an exponential family or a graphical model, thus formalizing the general notion of symmetry of a probabilistic model. This automorphism group…
This is an erratum to our previously published paper.
In the 1970s Stallings showed that one could learn a great deal about free groups and their automorphisms by viewing the free groups as fundamental groups of graphs and modeling their automorphisms as homotopy equivalences of graphs.…
We study the stabilized automorphism group of minimal and, more generally, certain transitive dynamical systems. Our approach involves developing new algebraic tools to extract information about the rational eigenvalues of these systems…
It is described how the standard Poisson bracket formulas should be modified in order to incorporate integrals of divergences into the Hamiltonian formalism and why this is necessary. Examples from Einstein gravity and Yang-Mills gauge…
This is a short expository account of the regularity lemma for stable graphs proved by the authors, with some comments on the model theoretic context, written for a general logical audience.
We prove that finitely generated virtually free groups are stable in permutations. As an application, we show that almost-periodic almost-automorphisms of labelled graphs are close to periodic automorphisms.
We provide a counterexample to a lemma used in a recent tentative improvement of the the Pin-Frankl bound for synchronizing automata. This example naturally leads us to formulate an open question, whose answer could fix the line of proof,…
We define the notions of a free fusion of structures and a weakly stationary independence relation. We apply these notions to prove simplicity for the automorphism groups of order and tournament expansions of homogeneous structures like the…
This paper clarifies the main research methods and ideas of the thesis [1,2,4]. The special calculation process is also realized by corresponding computer algorithm. Finally, we introduce zero rows sum case and give the corresponding…
We find the automorphism group of the moduli space of parabolic bundles on a smooth curve (with fixed determinant and system of weights). This group is generated by: automorphisms of the marked curve, tensoring with a line bundle, taking…
This paper corrects an error in [Keller-Ressel, M. and Steiner T. "Yield curve shapes and the asymptotic short rate distribution in affine one-factor models." Finance and Stochastics 12.2 (2008): 149-172]. The error concerns the correct…
We review the Dirac formalism for dealing with constraints in a canonical Hamiltonian formulation and discuss gauge freedom and display constraints for gauge theories in a general context. We introduce the Dirac bracket and show that it…
This paper introduces an extension to the arbitration graph framework designed to enhance the safety and robustness of autonomous systems in complex, dynamic environments. Building on the flexibility and scalability of arbitration graphs,…
We prove that the proof of existence of weighted local median order of weighted tournaments is wrong and that the proof of the correct statement which asserts that every digraph obtained from a tournament by deleting a set of arcs incident…
This thesis has three goals related to the automorphism groups of finite $p$-groups. The primary goal is to provide a complete proof of a theorem showing that, in some asymptotic sense, the automorphism group of almost every finite…
This position paper provides a critical but constructive discussion of current practices in benchmarking and evaluative practices in the field of formal reasoning and automated theorem proving. We take the position that open code, open…