arXiv subjects

Daniela Egas Santander

Publications and source records attributed to Daniela Egas Santander.

8 recordsLinked to original sources

arXiv2026

Higher-order rich clubs and configuration models on general directed hypergraphs

Detecting structure in complex networks, especially those arising from physical systems, is a central problem across the sciences. One approach is via rich club analysis, which identifies important vertices using a centrality metric and measures whether those vertices are more tightly interconnected than expected by chance. While informative, this approach captures only pairwise interactions, missing out on higher-order ones known to shape the structure and function of many complex systems. We propose a hyper-rich club pipeline that asks whether central vertices are more tightly interconnected than expected by chance through hyperedges encoding higher-order interactions, which also enables the inclusion of important, often omitted, directional information. We work in a broad class of hypergraphs, which we call general directed hypergraphs, that includes as special cases undirected hypergraphs, head-and-tail directed hypergraphs, and totally ordered hypergraphs (a hypergraph related to directed simplicial complexes from topological data analysis). This unifies several non-equivalent notions of directed hypergraph under one definition. On these hypergraphs we define a hyper-rich club framework whose concrete construction depends on explicit choices the domain scientist fixes according to their research goals. Particular choices recover the existing rich club notions for graphs and undirected hypergraphs, and yield the first such notion for each version of directed hypergraphs. We demonstrate that the pipeline recovers meaningful structure in data by studying networks of very different origins: connectomes, temporal networks of infectious spread, networks of poems, and the XGI hypergraph database, in each case detecting structure the standard graph rich club misses.

cs.SI↗

arXiv2026

Linear extensions and directed clique counts via modular partitions

Counting linear extensions is a fundamental problem in poset theory. It is known to be #P-complete, with polynomial-time formulas available in special cases. In this work, we develop new recursive formulas for counting linear extensions of posets whose modular partitions have particular structure. Specifically, we focus on posets whose incomparability graph has a modular partition with a skeleton that is a tree, a necklace of cliques, or a combination of both. The proofs are constructive and allow for the explicit generation of all linear extensions. We also discuss equivalent formulations of the problem in terms of permutations and directed graphs. The directed graph perspective is related to counting directed simplices in the directed flag complex of a digraph, with applications to understanding higher-order structure in neural circuits.

math.CO↗

arXiv2021

Nerve theorems for fixed points of neural networks

Nonlinear network dynamics are notoriously difficult to understand. Here we study a class of recurrent neural networks called combinatorial threshold-linear networks (CTLNs) whose dynamics are determined by the structure of a directed graph. They are a special case of TLNs, a popular framework for modeling neural activity in computational neuroscience. In prior work, CTLNs were found to be surprisingly tractable mathematically. For small networks, the fixed points of the network dynamics can often be completely determined via a series of graph rules that can be applied directly to the underlying graph. For larger networks, it remains a challenge to understand how the global structure of the network interacts with local properties. In this work, we propose a method of covering graphs of CTLNs with a set of smaller directional graphs that reflect the local flow of activity. While directional graphs may or may not have a feedforward architecture, their fixed point structure is indicative of feedforward dynamics. The combinatorial structure of the graph cover is captured by the nerve of the cover. The nerve is a smaller, simpler graph that is more amenable to graphical analysis. We present three nerve theorems that provide strong constraints on the fixed points of the underlying network from the structure of the nerve. We then illustrate the power of these theorems with some examples. Remarkably, we find that the nerve not only constrains the fixed points of CTLNs, but also gives insight into the transient and asymptotic dynamics. This is because the flow of activity in the network tends to follow the edges of the nerve.

q-bio.NC↗

arXiv2018

Model category structures and spectral sequences

Let k be a commutative ring with unit. We endow the categories of filtered complexes and of bicomplexes of k-modules, with cofibrantly generated model structures, where the class of weak equivalences is given by those morphisms inducing a quasi-isomorphism at a certain fixed stage of the associated spectral sequence. For filtered complexes, we relate the different model structures obtained, when we vary the stage of the spectral sequence, using the functors shift and d\'ecalage.

math.AT↗

arXiv2017

On the homotopy type of the space of Sullivan diagrams

We study the homotopy type of the harmonic compactification of the moduli space of a 2-cobordism S with one outgoing boundary component, or equivalently of the space of Sullivan diagrams of type S on one circle. Our results are of two types: vanishing and non-vanishing. In our vanishing results we are able to show that the connectivity of the harmonic compactification increases with the number of incoming boundary components. Moreover, we extend the genus stabilization maps of moduli spaces to the harmonic compactification and show that the connectivity of these maps increases with the genus and number of incoming boundary components. In our non-vanishing results we compute the non-trivial fundamental group of the harmonic compactification of the cobordism S of any genus with two unenumerated punctures and empty incoming boundary. Moreover, we construct five infinite families of non-trivial homology classes of the harmonic compactification, two of which correspond to non-trivial higher string topology operations.

math.AT↗

arXiv2016

Derived A-infinity algebras and their homotopies

The notion of a derived A-infinity algebra, considered by Sagave, is a generalization of the classical notion of A-infinity algebra, relevant to the case where one works over a commutative ring rather than a field. We initiate a study of the homotopy theory of these algebras, by introducing a hierarchy of notions of homotopy between the morphisms of such algebras. We define r-homotopy, for non-negative integers r, in such a way that r-homotopy equivalences underlie E_r-quasi-isomorphisms, defined via an associated spectral sequence. We study the special case of twisted complexes (also known as multicomplexes) first since it is of independent interest and this simpler case clearly exemplifies the structure we study. We also give two new interpretations of derived A-infinity algebras as A-infinity algebras in twisted complexes and as A-infinity algebras in split filtered cochain complexes.

math.AT↗

arXiv2015

Comparing fat graph models of moduli space

Godin introduced the categories of open closed fat graphs $Fat^{oc}$ and admissible fat graphs $Fat^{ad}$ as models of the mapping class group of open closed cobordism. We use the contractibility of the arc complex to give a new proof of Godin's result that $Fat^{ad}$ is a model of the mapping class group of open-closed cobordisms. Similarly, Costello introduced a chain complex of black and white graphs $BW$-Graphs, as a rational homological model of mapping class groups. We use the result on admissible fat graphs to give a new integral proof of Costellos's result that $BW$-Graphs is a homological model of mapping class groups. The nature of this proof also provides a direct connection between both models which were previously only known to be abstractly equivalent. Furthermore, we endow Godin's model with a composition structure which models composition of cobordisms along their boundary and we use the connection between both models to give $BW$-Graphs a composition structure and show that $BW$-Graphs are actually a model for the open-closed cobordism category.

math.AT↗

arXiv2015

Comparing combinatorial models of moduli space and their compactifications

We compare two combinatorial models for the moduli space of two-dimensional cobordisms: B\"odigheimer's radial slit configurations and Godin's admissible fat graphs, producing an explicit homotopy equivalence using a "critical graph" map. We also discuss natural compactifications of these two models, the unilevel harmonic compactification and Sullivan diagrams respectively, and prove that the homotopy equivalence induces a cellular homeomorphism between these compactifications.

math.GT↗