Related papers: Circle Formation of Weak Mobile Robots

In the formation control problem for autonomous robots a distributed control law steers the robots to the desired target formation. A local stability result of the target formation can be derived by methods of linearization and center…

In this paper, we provide a new criterion for the stable transitivity of volume preserving finite generated group on any compact Riemannian manifold. As one of our applications, we generalised a result of Dolgopyat and Krikorian in…

We prove Yun's minimal reduction conjecture for all classical groups. More precisely, for any topologically nilpotent regular semisimple element $\gamma$, we show that the associated minimal reduction set…

We consider random walk on a finite group $G$ as follows. We can consider $G$ as a group of substitutions. Randomly (i.e. with probability $U(g)=|G|^{-1}$ ) we choose a substitution $g \in G$ and execute it twice in a row, i.e. execute a…

We establish a cosymplectic counterpart of Banyaga's theorem by proving that the group of weakly Hamiltonian diffeomorphisms, $\Ham_{\eta,\omega}(M)$, is simple on any closed cosymplectic manifold. A key structural result, derived from Lie…

We prove that various classical conformal diffeomorphism groups, which are known to be essential [1], are in fact properly essential. This is a consequence of a local criterion on a conformal diffeomorphism in the form of a cohomological…

We have identified some necessary conditions for the existence of rigid sphere designs. In particular, we have successfully resolved the conjecture proposed by [Ban87]; Given fixed positive integers t and d, we show that there exist only…

We consider Hamiltonian diffeomorphisms of the Euclidean space, generated by compactly supported time-dependent perturbations of hyperbolic quadratic forms. We prove that, under some natural assumptions, such a diffeomorphism must have…

Following the recent advances in the study of groups of circle diffeomorphisms, we describe an efficient way of classifying the topological dynamics of locally discrete, finitely generated, virtually free subgroups of the group…

We survey the existing parts of a classification of finite groups generated by orthogonal transformations in a finite-dimensional Euclidean space whose fixed point subspace has codimension one or two and extend it to a complete…

Given a precompact domain $\Omega \subseteq\mathbb{R}^2$, the electrostatic skeleton of $\Omega$ is defined as a positive measure inside $\Omega$, supported on a set with no simple loops, which generates $\partial \Omega$ as an…

We prove that if $G$ is a finite primitive permutation group and if $g$ is an element of $G$, then either $g$ has a cycle of length equal to its order, or for some $r$, $m$ and $k$, the group $G \leq \mathrm{Sym}(m) \textrm{wr}…

The aim of this article is to introduce Vogel's localization theorem for classes of D-complexes: this generalization of Waldhausen's localization theorem is especially useful and powerful in that it gives an explicit and computable…

In this work, we present a logical formalism for reasoning about quantum systems in finite dimension. Contrary to the usual approach in quantum logic, our formalism is based classical first-order logic, which allows us to use the tools of…

We prove a conjecture of Medvedev and Scanlon for endomorphisms of connected commutative linear algebraic groups $G$ defined over an algebraically closed field $\mathbb{k}$ of characteristic $0$. That is, if $\Phi\colon G\longrightarrow G$…

We generalize the feasible interpolation theorem for semantic derivations from K.(1997) by allowing randomized protocols (protocols in the sense of K.(1997). We also introduce an extension of the monotone circuit model, monotone circuits…

We generalize Fr\'econ's construction of the inevitable radical to groups in stable and even simple theories.

The aim of this paper is to study finite orthogonal polynomials on a cone of revolution and its surface. We define two classes of finite orthogonal polynomials on the solid cone and derive their corresponding differential equations and…

In this article we consider the cycle structure of compositions of pairs of involutions in the symmetric group S_n chosen uniformly at random. These can be modeled as modified 2-regular graphs, giving rise to exponential generating…

Let $Q^d$ be the $d$-dimensional binary hypercube. We form a random subgraph $Q^d_p\subseteq Q^d$ by retaining each edge of $Q^d$ independently with probability $p$. We show that, for every constant $\varepsilon>0$, there exists a constant…