BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Maxime Lucas

Maxime Lucas appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.CTLogic in Computer Sciencephysics.soc-phArtificial Intelligencecond-mat.stat-mechDiscrete Mathematicsmath.ATnlin.AOquant-phQuantitative Methods

Catalog footprint

What is connected

8works
10topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

8 published item(s)

preprint2026arXiv

Minimal branching and fusion morphogenesis approaches biological multi-objective optimality

Many biological networks grow by elongation of filaments that can branch and fuse -- typical examples include fungal mycelium or slime mold. These networks must simultaneously perform multiple tasks such as transport, exploration, and robustness under finite resources. Yet, how such multi-task architectures emerge from local growth processes remains poorly understood. Here, we introduce a minimal model of spatial network morphogenesis based solely on stochastic branching, fusion, and stopping, during elongation. Despite the absence of global optimization or feedback, the model generates a broad morphospace from tree-like, to loopy, as well as hybrid architectures. By quantifying multiple functional objectives, we show that (i) these synthetic structures occupy similar regions of performance space than evolved empirical fungal networks, and (ii) that their Pareto front of optimal trade-offs lies close to that of these same fungal networks. Our results show that biological architectures approaching multi-objective optimality can arise from simple local growth rules, and identify branching and fusion as fundamental ingredients shaping the architecture of living transport networks.

0 citations0 reviewsNo code linkedOpen access
preprint2025arXiv

Reducibility of higher-order networks from dynamics

Empirical complex systems can be characterized not only by pairwise interactions, but also by higher-order (group) interactions influencing collective phenomena, from metabolic reactions to epidemics. Nevertheless, higher-order networks' apparent superior descriptive power -- compared to classical pairwise networks -- comes with a much increased model complexity and computational cost, challenging their application. Consequently, it is of paramount importance to establish a quantitative method to determine when such a modeling framework is advantageous with respect to pairwise models, and to which extent it provides a valuable description of empirical systems. Here, we propose an information-theoretic framework, accounting for how structure affect diffusion behaviors, quantifying the entropic cost and distinguishability of higher-order interactions to assess their reducibility to lower-order structures while preserving relevant functional information. Empirical analyses indicate that some systems retain essential higher-order structure, whereas in some technological and biological networks it collapses to pairwise interactions. With controlled randomization procedures, we investigate the role of nestedness and degree heterogeneity in this reducibility process. Our findings contribute to ongoing efforts to minimize the dimensionality of models for complex systems.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Abstract rewriting internalized

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.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Strategies for linear rewriting systems: link with parallel rewriting and involutive divisions

We study rewriting systems whose underlying set of terms is equipped with a vector space structure over a given field. We introduce parallel rewriting relations, which are rewriting relations compatible with the vector space structure, as well as rewriting strategies, which consist in choosing one rewriting step for each reducible basis element of the vector space. Using these notions, we introduce the S-confluence property and show that it implies confluence. We deduce a proof of the diamond's lemma, based on strategies. We illustrate our general framework with rewriting systems over rational Weyl algebras, that are vector spaces over a field of rational functions. In particular, we show that involutive divisions induce rewriting strategies over rational Weyl algebras, and using the $S$-confluence property, we show that involutive sets induce confluent rewriting systems over rational Weyl algebras.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

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

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.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

A coherence theorem for pseudonatural transformations

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.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

A cubical Squier's theorem

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.

0 citations0 reviewsNo code linkedOpen access