Related papers: Circle Formation of Weak Mobile Robots

We show how the minimal free resolution of a set of $n$ points in general position in projective space of dimension $n-2$ explicitly determines structure constants for a ring of rank $n$. This generalises previously known constructions of…

We overview a web of conjectures about torsors under reductive groups over regular rings and survey some techniques that have been used for making progress on such problems.

We prove a conjecture of Koll\'ar stating that the local fundamental group of a klt singularity $x$ is finite. In fact, we prove a stronger statement, namely that the fundamental group of the smooth locus of a neighbourhood of $x$ is…

V.Berkovich, K.Fujiwara and R.Huber have proved independently by different methods that the fiber of the vanishing cycles at a point of the special fiber depends only on the formal completion at this point. We refine this result and prove…

In this brief note we illustrate the utility of the geometric Satake correspondence by employing the cyclic convolution variety to give a simple proof of the Parthasarathy-Ranga Rao-Varadarajan conjecture, along with Kumar's refinement. The…

We prove that a finite coprime linear group G in characteristic p>=(|G|-1)/2 has a regular orbit. This bound on p is best possible. We also give an application to blocks with abelian defect groups.

We consider the problem of achieving average consensus in the minimum number of linear iterations on a fixed, undirected graph. We are motivated by the task of deriving lower bounds for consensus protocols and by the so-called "definitive…

The goal of this paper is to establish fundamental properties of the Hochschild, topological Hochschild, and topological cyclic homologies of commutative, Noetherian rings, which are assumed only to be F-finite in the majority of our…

In this article, we investigate the convergence behavior of two classes of gathering protocols with fixed circulant topologies using tools from dynamical systems. Given a fixed number of mobile entities moving in the Euclidean plane, we…

In this paper, we prove several results on the finiteness of local cohomology of polynomial and formal power series rings. In particular, we give a partial affirmative answer for a question of L. N\'{u}\~{n}ez-Betancourt in [J. Algebra 399…

The determinisation problem for min-plus (tropical) weighted automata was recently shown to be decidable. However, the proof is purely existential, relying on several non-constructive arguments. Our contribution in this work is twofold:…

We study unparametrized conformal circles, or called conformal geodesics, study diffeomorphisms mapping conformal circles to conformal circles in pseudo-Riemannian conformal manifolds. We show that such local diffeomorphisms are conformal…

Under certain assumptions, we prove an anticyclotomic analogue of the "weak main conjecture" \`a la Mazur and Tate for modular forms over a large class of cyclic ring class extensions.

This survey is about old and new results about the modular representation theory of finite reductive groups with a strong emphasis on local methods. This includes subpairs, Brauer's Main Theorems, fusion, Rickard equivalences. In the…

We give a new simple proof of the decidability of the First Order Theory of (omega^omega^i,+) and the Monadic Second Order Theory of (omega^i,<), improving the complexity in both cases. Our algorithm is based on tree automata and a new…

We prove the Morrison--Kawamata cone conjecture for projective primitive symplectic varieties with $\Q$-factorial and terminal singularities with $b_2\geq 5$, from which we derive for instance the finiteness of minimal models of such…

The category of quasi frames (or qframes) is introduced and studied. In the context of qframes we can jointly study problems related to the L-Surjunctivity and Stable Finiteness Conjectures. As a consequences of our main results, we can…

The Weak Gravity Conjecture imposes stringent constraints on effective field theories to allow for an ultraviolet completion within quantum gravity. While substantial evidence supports the conjecture across broad classes of string…

Rings with Nakayama permutations, pseudo-Frobenius and Frobenius rings in particular, are studied by applying the general theory of formal matrix rings to their Peirce decompositions. A combinatorial criterion is given to decide whether a…

We propose a gathering protocol for an even number of robots in a ring-shaped network that allows symmetric but not periodic configurations as initial configurations, yet uses only local weak multiplicity detection. Robots are assumed to be…