Related papers: Formal and finite order equivalences

We characterise the form of all simple, finite graphs for which the girth of the graph is equal to the circumference of the graph. We apply this to prove a bound on the number of edges in such a graph.

We give unique analytic "normal forms" for germs of a holomorphic vector field of the complex plane in the neighborhood of an isolated singularity of saddle-node type having a convergent formal separatrix. We specifically address the…

Morphic sequences form a natural class of infinite sequences, typically defined as the coding of a fixed point of a morphism. Different morphisms and codings may yield the same morphic sequence. This paper investigates how to prove that two…

In this paper we classify all $\aleph_0$-categorical and $C$-minimal sets up to elementary equivalence.

Two cross caps in Euclidean $3$-space are said to be formally isometric if their Taylor expansions of the first fundamental forms coincide by taking a suitable local coordinate system. For a given $C^\infty$ cross cap $f$, we give a method…

We study the structure of the set of all maximal green sequences of a finite-dimensional algebra. There is a natural equivalence relation on this set, which we show can be interpreted in several different ways, underscoring its…

Blow-analytic equivalence is a notion for real analytic function germs, introduced by Tzee-Char Kuo in order to develop real analytic equisingularity theory. In this paper we give complete characterisations of blow-analytic equivalence in…

A decidability proof for bisimulation equivalence of first-order grammars (finite sets of labelled rules for rewriting roots of first-order terms) is presented. The equivalence generalizes the DPDA (deterministic pushdown automata)…

Let $G$ be a finite $p$-group and let Aut$(G)$ denote the full automorphism group of $G$. In the recent past, there has been interest in finding necessary and sufficient conditions on $G$ such that certain subgroups of Aut$(G)$ are equal.…

If F is a type-definable family of commensurable subsets, subgroups or sub-vector spaces in a metric structure, then there is an invariant subset, subgroup or sub-vector space commensurable with F. This in particular applies to…

We compare two families of continued fractions algorithms, the symmetrized Rosen algorithm and the Veech algorithm. Each of these algorithms expands real numbers in terms of certain algebraic integers. We give explicit models of the natural…

We classify the pairs $(C,G)$ where $C$ is a seminormal curve over an arbitrary field $k$ and $G$ is a smooth connected algebraic group acting faithfully on $C$ with a dense orbit, and we determine the equivariant Picard group of $C$. We…

In this paper we describe all groups that are first-order (elementarily) equivalent to the classical matrix groups such as $GL_n(F), SL_n(F)$ and $T_n(F)$ over a field $F$ provided $n \geq 3$.

Two vertices $u$ and $v$ of a graph $\Gamma$ are strucuturally equivalent if and only if the transposition $(u\,v)$ is in Aut($\Gamma$), the automorphism group of $\Gamma$. Some properties of structural equivalence and the group of vertex…

Automorphisms of finite order and real forms of "smooth" affine Kac-Moody algebras are studied, i.e. of 2-dimensional extensions of the algebra of smooth loops in a simple Lie algebra. It is shown that they can be parametrized by certain…

Collective versions of order convergences and corresponding types of collectively qualified sets of operators in vector lattices are investigated. It is proved that collectively order to norm bounded sets are bounded in the operator norm…

We prove under certain conditions that any stable unfolding of a quasi-homogeneous map-germ with finite singularity type is substantial. We then prove that if an equidimensional map-germ is finitely determined, of corank 1, and either it…

We classify torsion-free real-analytic affine connections on compact oriented real-analytic surfaces which are locally homogeneous on a nontrivial open set, without being locally homogeneous on all of the surface. In particular, we prove…

Congruence families, i.e., $\ell$-adic convergence for well-defined arithmetic subsequences, is a commonplace phenomenon for the coefficients of modular forms. Such families superficially resemble one another, but they often vary…

We describe the equivalence classes of germs of generic $2$-parameter families of complex vector fields $\dot z = \omega_\epsilon(z)$ on $\mathbb{C}$ unfolding a singular parabolic point of multiplicity $k+1$: $\omega_0= z^{k+1}…