-
Decentralized Multi-Robot Formation Control Using Reinforcement Learning
Abstract: This paper presents a decentralized leader-follower multi-robot formation control based on a reinforcement learning (RL) algorithm applied to a swarm of small educational Sphero robots. Since the basic Q-learning method is known to require large memory resources for Q-tables, this work implements the Double Deep Q-Network (DDQN) algorithm, which has achieved excellent results in many robotic probl… ▽ More
Submitted 26 June, 2023; originally announced June 2023.
Comments: 7 pages, 10 figures. To be published in 2023 International Conference on Information, Communication and Automation Technologies (ICAT)
-
Tridendriform algebras on hypergraph polytopes
Abstract: We extend the works of Loday-Ronco and Burgunder-Ronco on the tridendriform decomposition of the shuffle product on the faces of associahedra and permutohedra, to other families of hypergraph polytopes (or nestohedra), including simplices, hypercubes and some new families. We also extend the shuffle product to take more than two arguments, and define accordingly a new algebraic structure, that we… ▽ More
Submitted 29 November, 2022; v1 submitted 14 January, 2022; originally announced January 2022.
Comments: 30 pages
MSC Class: 18M60; 52B05
-
A calculus for S^3-diagrams of manifolds with boundary
Abstract: We introduce a diagrammatic language for compact, orientable 3-dimensional manifolds with boundary. A diagrammatic calculus (both integral and rational version) appropriate for this language is introduced and its completeness is proved in the paper. Moreover, a calculus consisting of a finite list of local moves is presented.
Submitted 26 September, 2023; v1 submitted 22 November, 2021; originally announced November 2021.
Comments: 20 pages, this is a significantly shortened version of the paper "An operad of 3-manifolds'', which is also available here
MSC Class: 18D50; 57M25; 57M27
-
arXiv:2002.06640 [pdf, ps, other]
Minimal models for graph-related (hyper)operads
Abstract: We construct explicit minimal models for the (hyper)operads governing modular, cyclic and ordinary operads, and wheeled properads, respectively. Algebras for these models are homotopy versions of the corresponding structures.
Submitted 12 December, 2022; v1 submitted 16 February, 2020; originally announced February 2020.
Comments: 44 pages. Final version, to appear in Journal of Pure and Applied Algebra
MSC Class: Primary 18M70; 18M85; secondary 05C65; 91A12
-
arXiv:1907.02949 [pdf, ps, other]
Proofs and surfaces
Abstract: A formal sequent system dealing with Menelaus' configurations is introduced in this paper. The axiomatic sequents of the system stem from 2-cycles of Delta-complexes. The Euclidean and projective interpretations of the sequents are defined and a soundness result is proved. This system is decidable and its provable sequents deliver incidence results. A cyclic operad structure tied to this system is… ▽ More
Submitted 26 May, 2020; v1 submitted 5 July, 2019; originally announced July 2019.
Comments: 41 pages
MSC Class: 03F03; 18D50; 18G30; 51A05; 51A20
-
arXiv:1906.06260 [pdf, ps, other]
Combinatorial homotopy theory for operads
Abstract: We introduce an explicit combinatorial characterization of the minimal model ${\cal O}_{\infty}$ of the coloured operad ${\cal O}$ encoding non-symmetric operads. In our description of ${\cal O}_{\infty}$, the spaces of operations are defined in terms of hypergraph polytopes and the composition structure generalizes the one of the $A_{\infty}$-operad. As further generalizations of this constructio… ▽ More
Submitted 25 November, 2019; v1 submitted 14 June, 2019; originally announced June 2019.
Comments: 36 pages
-
Syntactic aspects of hypergraph polytopes
Abstract: This paper introduces an inductively defined tree notation for all the faces of polytopes arising from a simplex by truncations. This notation allows us to view inclusion of faces as the process of contracting tree edges. Our notation instantiates to the well-known notations for the faces of associahedra and permutohedra. Various authors have independently introduced combinatorial tools for descri… ▽ More
Submitted 9 August, 2017; originally announced August 2017.
Comments: 42 pages, 4 figures
-
arXiv:1706.06788 [pdf, ps, other]
Categorified cyclic operads
Abstract: In this paper, we introduce a notion of categorified cyclic operad for set-based cyclic operads with symmetries. Our categorification is obtained by relaxing defining axioms of cyclic operads to isomorphisms and by formulating coherence conditions for these isomorphisms. The coherence theorem that we prove has the form "all diagrams of canonical isomorphisms commute". Our coherence results come in… ▽ More
Submitted 21 November, 2019; v1 submitted 21 June, 2017; originally announced June 2017.
Comments: 57 pages
-
arXiv:1607.02438 [pdf, ps, other]
Monoid-like definitions of cyclic operads
Abstract: Guided by the microcosm principle of Baez-Dolan and by the algebraic definitions of operads of Kelly and Fiore, we introduce two "monoid-like" definitions of cyclic operads, one for the original, "exchangable-output" characterisation of Getzler-Kapranov, and the other for the alternative "entries-only" characterisation, both within the category of Joyal's species of structures. Relying on a result… ▽ More
Submitted 25 April, 2017; v1 submitted 8 July, 2016; originally announced July 2016.
MSC Class: 18D50; 18D10; 05A99
Journal ref: Theory and Applications of Categories, Vol. 32, 2017, No. 12, pp 396-436
-
arXiv:1602.07502 [pdf, ps, other]
A formal language for cyclic operads
Abstract: We propose a $λ$-calculus-style formal language, called the $μ$-syntax, as a lightweight representation of the structure of cyclic operads. We illustrate the rewriting methods behind the formalism by giving a complete step-by-step proof of the equivalence between the unbiased and biased definitions of cyclic operads.
Submitted 25 April, 2017; v1 submitted 24 February, 2016; originally announced February 2016.