Showing 1–10 of 10 results for author: Lucas, M

Local Existence Of The Symplectic Gradient Flow On The Hyperkähler Four-dimensional Flat Torus

Authors: Pinsard Morel Lucas

Abstract: Introducing a moment map whose zero locus is the group of symplectomorphisms of the real four-dimensional torus, we exhibit a gradient flow that can be made into a strictly parabolic flow by mean of a DeTurck trick (famously known for its use in the study of the Ricci flow), showing the local existence and regularity for the solutions of this flow and hence showing that the group of symplectomorph… ▽ More Introducing a moment map whose zero locus is the group of symplectomorphisms of the real four-dimensional torus, we exhibit a gradient flow that can be made into a strictly parabolic flow by mean of a DeTurck trick (famously known for its use in the study of the Ricci flow), showing the local existence and regularity for the solutions of this flow and hence showing that the group of symplectomorphisms of the real four-dimensional torus is locally contractible. This work follows the ideas introduced by Yann Rollin in [3], even though the moment map picture comes from different considerations. △ Less

Submitted 23 April, 2025; originally announced April 2025.

Hamiltonian control to desynchronize Kuramoto oscillators with higher-order interactions

Authors: Martin Moriamé, Maxime Lucas, Timoteo Carletti

Abstract: Synchronization is a ubiquitous phenomenon in nature. Although it is necessary for the functioning of many systems, too much synchronization can also be detrimental, e.g., (partially) synchronized brain patterns support high-level cognitive processes and bodily control, but hypersynchronization can lead to epileptic seizures and tremors, as in neurodegenerative conditions such as Parkinson's disea… ▽ More Synchronization is a ubiquitous phenomenon in nature. Although it is necessary for the functioning of many systems, too much synchronization can also be detrimental, e.g., (partially) synchronized brain patterns support high-level cognitive processes and bodily control, but hypersynchronization can lead to epileptic seizures and tremors, as in neurodegenerative conditions such as Parkinson's disease. Consequently, a critical research question is how to develop effective pinning control methods capable to reduce or modulate synchronization as needed. Although such methods exist to control pairwise-coupled oscillators, there are none for higher-order interactions, despite the increasing evidence of their relevant role in brain dynamics. In this work, we fill this gap by proposing a generalized control method designed to desynchronize Kuramoto oscillators connected through higher-order interactions. Our method embeds a higher-order Kuramoto model into a suitable Hamiltonian flow, and builds up on previous work in Hamiltonian control theory to analytically construct a feedback control mechanism. We numerically show that the proposed method effectively prevents synchronization in synthetics and empirical higher-order networks. Although our findings indicate that pairwise contributions in the feedback loop are often sufficient, the higher-order generalization becomes crucial when pairwise coupling is weak. Finally, we explore the minimum number of controlled nodes required to fully desynchronize oscillators coupled via an all-to-all hypergraphs. △ Less

Submitted 26 March, 2025; v1 submitted 20 September, 2024; originally announced September 2024.

Deeper but smaller: Higher-order interactions increase linear stability but shrink basins

Authors: Yuanzhao Zhang, Per Sebastian Skardal, Federico Battiston, Giovanni Petri, Maxime Lucas

Abstract: A key challenge of nonlinear dynamics and network science is to understand how higher-order interactions influence collective dynamics. Although many studies have approached this question through linear stability analysis, less is known about how higher-order interactions shape the global organization of different states. Here, we shed light on this issue by analyzing the rich patterns supported b… ▽ More A key challenge of nonlinear dynamics and network science is to understand how higher-order interactions influence collective dynamics. Although many studies have approached this question through linear stability analysis, less is known about how higher-order interactions shape the global organization of different states. Here, we shed light on this issue by analyzing the rich patterns supported by identical Kuramoto oscillators on hypergraphs. We show that higher-order interactions can have opposite effects on linear stability and basin stability: they stabilize twisted states (including full synchrony) by improving their linear stability, but also make them hard to find by dramatically reducing their basin size. Our results highlight the importance of understanding higher-order interactions from both local and global perspectives. △ Less

Submitted 3 October, 2024; v1 submitted 28 September, 2023; originally announced September 2023.

Comments: Published version

Journal ref: Sci. Adv. 10, ado8049 (2024)

A unified framework for Simplicial Kuramoto models

Authors: Marco Nurisso, Alexis Arnaudon, Maxime Lucas, Robert L. Peach, Paul Expert, Francesco Vaccarino, Giovanni Petri

Abstract: Simplicial Kuramoto models have emerged as a diverse and intriguing class of models describing oscillators on simplices rather than nodes. In this paper, we present a unified framework to describe different variants of these models, categorized into three main groups: "simple" models, "Hodge-coupled" models, and "order-coupled" (Dirac) models. Our framework is based on topology, discrete different… ▽ More Simplicial Kuramoto models have emerged as a diverse and intriguing class of models describing oscillators on simplices rather than nodes. In this paper, we present a unified framework to describe different variants of these models, categorized into three main groups: "simple" models, "Hodge-coupled" models, and "order-coupled" (Dirac) models. Our framework is based on topology, discrete differential geometry as well as gradient flows and frustrations, and permits a systematic analysis of their properties. We establish an equivalence between the simple simplicial Kuramoto model and the standard Kuramoto model on pairwise networks under the condition of manifoldness of the simplicial complex. Then, starting from simple models, we describe the notion of simplicial synchronization and derive bounds on the coupling strength necessary or sufficient for achieving it. For some variants, we generalize these results and provide new ones, such as the controllability of equilibrium solutions. Finally, we explore a potential application in the reconstruction of brain functional connectivity from structural connectomes and find that simple edge-based Kuramoto models perform competitively or even outperform complex extensions of node-based models. △ Less

Submitted 29 May, 2023; originally announced May 2023.

Comments: 36 pages, 11 figures

Higher-order interactions shape collective dynamics differently in hypergraphs and simplicial complexes

Authors: Yuanzhao Zhang, Maxime Lucas, Federico Battiston

Abstract: Higher-order networks have emerged as a powerful framework to model complex systems and their collective behavior. Going beyond pairwise interactions, they encode structured relations among arbitrary numbers of units through representations such as simplicial complexes and hypergraphs. So far, the choice between simplicial complexes and hypergraphs has often been motivated by technical convenience… ▽ More Higher-order networks have emerged as a powerful framework to model complex systems and their collective behavior. Going beyond pairwise interactions, they encode structured relations among arbitrary numbers of units through representations such as simplicial complexes and hypergraphs. So far, the choice between simplicial complexes and hypergraphs has often been motivated by technical convenience. Here, using synchronization as an example, we demonstrate that the effects of higher-order interactions are highly representation-dependent. In particular, higher-order interactions typically enhance synchronization in hypergraphs but have the opposite effect in simplicial complexes. We provide theoretical insight by linking the synchronizability of different hypergraph structures to (generalized) degree heterogeneity and cross-order degree correlation, which in turn influence a wide range of dynamical processes from contagion to diffusion. Our findings reveal the hidden impact of higher-order representations on collective dynamics, highlighting the importance of choosing appropriate representations when studying systems with nonpairwise interactions. △ Less

Submitted 23 March, 2023; v1 submitted 6 March, 2022; originally announced March 2022.

Comments: Published version. Y.Z. and M.L. contributed equally to this work. Code available at https://github.com/maximelucas/HOI_shape_sync_differently

Journal ref: Nat. Commun. 14, 1605 (2023)

Abstract rewriting internalized

Authors: Maxime Lucas

Abstract: In traditional rewriting theory, one studies a set of terms up to a set of rewriting relations. In algebraic rewriting, one instead studies a vector space of terms, up to a vector space of relations. Strikingly, although both theories are very similar, most results (such as Newman's Lemma) require different proofs in these two settings. In this paper, we develop rewriting theory internally to a ca… ▽ More In traditional rewriting theory, one studies a set of terms up to a set of rewriting relations. In algebraic rewriting, one instead studies a vector space of terms, up to a vector space of relations. Strikingly, although both theories are very similar, most results (such as Newman's Lemma) require different proofs in these two settings. In this paper, we develop rewriting theory internally to a category $\mathcal C$ satisfying some mild properties. In this general setting, we define the notions of termination, local confluence and confluence using the notion of reduction strategy, and prove an analogue of Newman's Lemma. In the case of $\mathcal C= \operatorname{Set}$ or $\mathcal C = \operatorname{Vect}$ we recover classical results of abstract and algebraic rewriting in a slightly more general form, closer to von Oostrom's notion of decreasing diagrams. △ Less

Submitted 14 February, 2020; originally announced February 2020.

Comments: 14 pages

MSC Class: 18D35

The folk model category structure on strict $ω$-categories is monoidal

Authors: Dimitri Ara, Maxime Lucas

Abstract: We prove that the folk model category structure on the category of strict $ω$-categories, introduced by Lafont, Métayer and Worytkiewicz, is monoidal, first, for the Gray tensor product and, second, for the join of $ω$-categories, introduced by the first author and Maltsiniotis. We moreover show that the Gray tensor product induces, by adjunction, a tensor product of strict $(m,n)$-categories and… ▽ More We prove that the folk model category structure on the category of strict $ω$-categories, introduced by Lafont, Métayer and Worytkiewicz, is monoidal, first, for the Gray tensor product and, second, for the join of $ω$-categories, introduced by the first author and Maltsiniotis. We moreover show that the Gray tensor product induces, by adjunction, a tensor product of strict $(m,n)$-categories and that this tensor product is also compatible with the folk model category structure. In particular, we get a monoidal model category structure on the category of strict $ω$-groupoids. We prove that this monoidal model category structure satisfies the monoid axiom, so that the category of Gray monoids, studied by the second author, bears a natural model category structure. △ Less

Submitted 4 September, 2020; v1 submitted 30 September, 2019; originally announced September 2019.

Comments: 65 pages, v2: exposition improved, numbering has changed, final version

MSC Class: 18M05; 18N30; 18N40; 55U35

Journal ref: Theory and Applications of Categories 35 (2020), 742-808

Cubical $(ω,p)$-categories

Authors: Maxime Lucas

Abstract: In this article we introduce the notion of cubical $(ω,p)$-categories, for $p \in \mathbb N \cup \{ω\}$. We show that the equivalence between globular and groupoid $ω$-categories proven by Al-Agl, Brown and Steiner induces an equivalence between globular and cubical $(ω,p)$-categories for all $p \geq 0$. In particular we recover in a more explicit fashion the equivalence between globular and cubic… ▽ More In this article we introduce the notion of cubical $(ω,p)$-categories, for $p \in \mathbb N \cup \{ω\}$. We show that the equivalence between globular and groupoid $ω$-categories proven by Al-Agl, Brown and Steiner induces an equivalence between globular and cubical $(ω,p)$-categories for all $p \geq 0$. In particular we recover in a more explicit fashion the equivalence between globular and cubical groupoids proven by Brown and Higgins. We also define the notion of $(ω,p)$-augmented directed complexes, and show that Steiner's adjunction between augmented directed complexes and globular $ω$-categories induces adjunctions between $(ω,p)$-augmented directed complexes and both globular and cubical $(ω,p)$-categories. Combinatorially, the difficulty lies in defining the appropriate notion of invertibility for a cell in a cubical $ω$-category. We investigate three such possible definitions and the relationship between them. We show that cubical $(ω,1)$-categories have a natural structure of symmetric cubical categories. We give an explicit description of the notions of lax, oplax and pseudo transfors between cubical categories, the latter making use of the notion of invertible cell defined previously. △ Less

Submitted 20 December, 2017; v1 submitted 21 December, 2016; originally announced December 2016.

Comments: 38 pages. Introduction overhauled and many small corrections throughout

A cubical Squier's theorem

Authors: Maxime Lucas

Abstract: Convergent rewriting systems are well-known tools in the study of the word-rewriting problem. In particular, a presentation of a monoid by a finite convergent rewriting system gives an algorithm to decide the word problem for this monoid. Squier proved that there exists a finitely presented monoid whose word problem was decidable but which did not admit a finite convergent presentation. To do so,… ▽ More Convergent rewriting systems are well-known tools in the study of the word-rewriting problem. In particular, a presentation of a monoid by a finite convergent rewriting system gives an algorithm to decide the word problem for this monoid. Squier proved that there exists a finitely presented monoid whose word problem was decidable but which did not admit a finite convergent presentation. To do so, Squier constructed, for any convergent presentation $(G,R)$ of a monoid $M$, a set of syzygies $S$ corresponding to relations between the relations. This construction was later extended into the construction of a polygraphic resolution $Σ$ of $M$, whose first dimensions coincide with Squier's construction $(G,R,S)$. However, the construction of the polygraphic resolution has proved to be too complicated to be effectively computed on non-trivial examples. Cubical categories appear to be a promising framework where Squier's theorem and the construction of the polygraphic resolution would be more straightforward. This paper is the first step towards this goal. We start by defining the notion of $(2,k)$-cubical categories. We then adapt some classical notions of word rewriting to this cubical setting. Finally, we express and prove a cubical version of Squier's theorem. △ Less

Submitted 20 December, 2016; originally announced December 2016.

A coherence theorem for pseudonatural transformations

Authors: Maxime Lucas

Abstract: We prove coherence theorems for bicategories, pseudofunctors and pseudonatural transformations. These theorems boil down to proving the coherence of some free $(4,2)$-categories. In the case of bicategories and pseudofunctors, existing rewriting techniques based on Squier's Theorem allow us to conclude. In the case of pseudonatural transformations this approach only proves the coherence of part of… ▽ More We prove coherence theorems for bicategories, pseudofunctors and pseudonatural transformations. These theorems boil down to proving the coherence of some free $(4,2)$-categories. In the case of bicategories and pseudofunctors, existing rewriting techniques based on Squier's Theorem allow us to conclude. In the case of pseudonatural transformations this approach only proves the coherence of part of the structure, and we use a new rewriting result to conclude. To this end, we introduce the notions of white-categories and partial coherence. △ Less

Submitted 1 September, 2016; v1 submitted 31 August, 2015; originally announced August 2015.