Rare diseases are collectively common, affecting approximately one in twenty individuals worldwide. In recent years, rapid progress has been made in rare disease diagnostics due to advances in DNA sequencing, development of new computational and experimental approaches to prioritize genes and genetic variants, and increased global exchange of clinical and genetic data. However, more than half of individuals suspected to have a rare disease lack a genetic diagnosis. The Genomics Research to Elucidate the Genetics of Rare Diseases (GREGoR) Consortium was initiated to study thousands of challenging rare disease cases and families and apply, standardize, and evaluate emerging genomics technologies and analytics to accelerate their adoption in clinical practice. Further, all data generated, currently representing ~7500 individuals from ~3000 families, is rapidly made available to researchers worldwide via the Genomic Data Science Analysis, Visualization, and Informatics Lab-space (AnVIL) to catalyze global efforts to develop approaches for genetic diagnoses in rare diseases (https://gregorconsortium.org/data). The majority of these families have undergone prior clinical genetic testing
We define an $\operatorname{SL}_n(\mathbb{Z})$-invariant tropical zeta function of a convex domain. In dimension 2 it admits boundary Dirichlet-series representation with summands indexed by Farey pairs. For $C^3$ strictly convex domains, it extends meromorphically to $\Re(s)>3/5$, holomorphic there except for a simple pole at $s=2/3$, with residue universally proportional to equiaffine perimeter. A Tauberian argument yields the $t^{1/3}$ wave-front lattice-perimeter asymptotic for $t\rightarrow 0$. In addition, for a special domain $L$, which is a limit shape of lattice polygons in a square, with its tropical zeta function being expressed in terms of Witten SU(3) zeta function, we compute the exact coefficient in the asymptotic expansion of the integer-averaged lattice point counting for the leading term $N^{1/2}$.
Prion diseases are invariably fatal and highly infectious neurodegenerative diseases affecting humans and animals. By now there have not been some effective therapeutic approaches to treat all these prion diseases. In 2008, canine mammals including dogs (canis familials) were the first time academically reported to be resistant to prion diseases (Vaccine 26: 2601--2614 (2008)). Rabbits are the mammalian species known to be resistant to infection from prion diseases from other species (Journal of Virology 77: 2003--2009 (2003)). Horses were reported to be resistant to prion diseases too (Proceedings of the National Academy of Sciences USA 107: 19808--19813 (2010)). By now all the NMR structures of dog, rabbit and horse prion proteins had been released into protein data bank respectively in 2005, 2007 and 2010 (Proceedings of the National Academy of Sciences USA 102: 640--645 (2005), Journal of Biomolecular NMR 38:181 (2007), Journal of Molecular Biology 400: 121--128 (2010)). Thus, at this moment it is very worth studying the NMR molecular structures of horse, dog and rabbit prion proteins to obtain insights into their immunity prion diseases. This article reports the findings of th
Rare disease diagnosis increasingly relies on integrating genomic, phenotypic and transcriptomic evidence, yet these signals remain difficult to reconcile within a common interpretive framework. Here we present RareCollab, an LLM-powered framework for multimodal reasoning in Mendelian disease diagnosis that integrates more than 100 diagnostic evidence signals across DNA, RNA, phenotype, curated variant-level knowledge, and in-silico pathogenicity evidence. This design enables large language models to operate as calibrated, interpretable reasoning modules rather than as a single end-to-end ranker. We applied RareCollab to 890 patients from three cohorts, including 119 Undiagnosed Diseases Network probands with paired DNA and RNA data, constituting a large systematic benchmark for multimodal rare disease diagnosis under paired genomic and transcriptomic evaluation. In this real-world multimodal benchmark, RareCollab prioritized 94% of diagnostic genes within the top 10. Across recall thresholds from top 1 to top 10, it consistently outperformed proprietary phenotype-driven LLM baselines including Claude Sonnet 4.6 and GPT-5-mini by more than 25% on average and surpassed established s
In this paper we generalize correspondence theorems of Mikhalkin and Nishinou-Siebert providing a correspondence between algebraic and parameterized tropical curves. We also give a description of a canonical tropicalization procedure for algebraic curves motivated by Berkovich's construction of skeletons of analytic curves. Under certain assumptions, we construct a one-to-one correspondence between algebraic curves satisfying toric constraints and certain combinatorially defined objects, called "stacky tropical reductions", that can be enumerated in terms of tropical curves satisfying linear constraints. Similarly, we construct a one-to-one correspondence between elliptic curves with fixed $j$-invariant satisfying toric constraints and "stacky tropical reductions" that can be enumerated in terms of tropical elliptic curves with fixed tropical $j$-invariant satisfying linear constraints. Our theorems generalize previously published correspondence theorems in tropical geometry, and our proofs are algebra-geometric. In particular, the theorems hold in large positive characteristic.
We show that points in the intersection of the tropicalizations of subvarieties of a torus lift to algebraic intersection points with expected multiplicities, provided that the tropicalizations intersect in the expected dimension. We also prove a similar result for intersections inside an ambient subvariety of the torus, when the tropicalizations meet inside a facet of multiplicity 1. The proofs require not only the geometry of compactified tropicalizations of subvarieties of toric varieties, but also new results about the geometry of finite type schemes over non-noetherian valuation rings of rank 1. In particular, we prove subadditivity of codimension and a principle of continuity for intersections in smooth schemes over such rings, generalizing well-known theorems over regular local rings. An appendix on the topology of finite type morphisms may also be of independent interest.
In this paper, we consider weighted counts of tropical plane curves of particular combinatorial type through a certain number of generic points. We give a criterion, derived from tropical intersection theory on the secondary fan, for a weighted count to give a number invariant of the position of the points. By computing a certain intersection multiplicity, we show how Mikhalkin's approach to computing Gromov-Witten invariants fits into our approach. This begins to address a question raised by Dickenstein, Feichtner, and Sturmfels. We also give a geometric interpretation of the numbers we produce involving Chow quotients, and provide a counterexample showing that the tropical Severi variety is not always supported on the secondary fan. This paper is a revision of the preprint, "The Tropical Degree of Cones in the Secondary Fan."
We explore the tropical analog of spinors by representing tropical geometries as foliated Riemann surfaces endowed with degenerate complex structures. We investigate tropical limits of the Laplace-Beltrami operator and explicitly construct its square root, which defines a tropical Dirac operator. We find that the tropical Clifford algebra is classified as a degenerate Clifford algebra with nilpotent generators. The nilpotent generator allows us to work with a new kind of representation that allows for Grassmann odd numbers, effectively supersymmetrizing the tropical spin bundle. We show through Dirac-Bergmann's quantization procedure, that the corresponding tropicalized quantum field theories enjoy a purely fermionic topological symmetry which can be expected to give a new class of path integral localization that we call tropical localization similar to the alternative localization method recently constructed by Choi and Takhtajan. We also discuss how the tropical Dirac operator, when twisted by gauge fields, obeys a tropical version of the Lichnerowicz identity, thereby demonstrating how some elements of Yang-Mills curvature should arise in the tropical limit.
Of the 2652 articles considered, 106 met the inclusion criteria. Review of the included papers resulted in identification of 43 chronic diseases, which were then further classified into 10 disease categories using ICD-10. The majority of studies focused on diseases of the circulatory system (n=38) while endocrine and metabolic diseases were fewest (n=14). This was due to the structure of clinical records related to metabolic diseases, which typically contain much more structured data, compared with medical records for diseases of the circulatory system, which focus more on unstructured data and consequently have seen a stronger focus of NLP. The review has shown that there is a significant increase in the use of machine learning methods compared to rule-based approaches; however, deep learning methods remain emergent (n=3). Consequently, the majority of works focus on classification of disease phenotype with only a handful of papers addressing extraction of comorbidities from the free text or integration of clinical notes with structured data. There is a notable use of relatively simple methods, such as shallow classifiers (or combination with rule-based methods), due to the interp
We address the problem of existence of refined (i.e., depending on a formal parameter) tropical enumerative invariants, and we present two new examples of a refined count of rational marked tropical curves. One of the new invariants counts plane rational tropical curves with an unmarked vertex of arbitrary valency. It was motivated by the tropical enumeration of plane cuspidal tropical curves given by Y. Ganor and the author, which naturally led to consideration of plane tropical curves with an unmarked four-valent vertex. Another refined invariant counts rational tropical curves of a given degree in the Euclidean space of arbitrary dimension matching specific constraints, which make the spacial refined invariant similar to known planar invariants.
We introduce a notion of tropical vector bundle on a tropical toric variety which is a tropical analogue of a torus equivariant vector bundle on a toric variety. Alternatively it can be called a toric matroid bundle. We define equivariant $K$-theory and characteristic classes of these bundles. As a particular case, we show that any matroid comes with tautological tropical toric vector bundles over the permutahedral toric variety and the corresponding equivariant $K$-classes and Chern classes recover the tautological classes of matroids constructed in the recent work of Berger-Eur-Spink-Tseng. In analogy with toric vector bundles, we define sheaf of sections and Euler characteristic as well as positivity notions such as global generation, ampleness and nefness for tropical toric vector bundles. Moreover, we prove a vanishing of higher cohomologies result. Finally, we study the splitting of our tropical toric vector bundles and, in particular, an analogue of Grothendieck's theorem on splitting of vector bundles on projective line.
In this paper we propose a general functorial definition of the operation of \emph{local tropicalization} in commutative algebra. Let $R$ be a commutative ring, $Γ$ a finitely generated subsemigroup of a lattice, $γ: Γ\rightarrow R/ R^*$ a morphism of semigroups, and $\V(R)$ the topological space of valuations on $R$ taking values in $\R \cup \infty$. Then we may \emph{tropicalize} with respect to $γ$ any subset $\W$ of the space of valuations $\V(R)$. By definition, we get a subset of a rational polyhedral cone canonically associated to $Γ$, enriched with strata at infinity. In particular, when $R$ is a local ring, $γ$ is a \emph{local} morphism of semigroups, and $\W$ is the space of valuations which are either positive or non-negative on $R$, we call these processes \emph{local tropicalizations}. They depend only on the ambient toroidal structure, which in turn allows to define tropicalizations of subvarieties of toroidal embeddings. We prove that with suitable hypothesis, these local tropicalizations are the supports of finite rational polyhedral fans enriched with strata at infinity and we compare the global and local tropicalizations of a subvariety of a toric variety.
We define transversal tropical triangles (affine and projective) and characterize them via six inequalities to be satisfied by the coordinates of the vertices. We prove that the vertices of a transversal tropical triangle are tropically independent and they tropically span a classical hexagon whose sides have slopes $\infty,0,1$. Using this classical hexagon, we determine a parameter space for transversal tropical triangles. The coordinates of the vertices of a transversal tropical triangle determine a tropically regular matrix. Triangulations of the tropical plane are obtained.
The Welschinger invariants of real rational algebraic surfaces are natural analogues of the genus zero Gromov-Witten invariants. We establish a tropical formula to calculate the Welschinger invariants of real toric Del Pezzo surfaces for any conjugation-invariant configuration of points. The formula expresses the Welschinger invariants via the total multiplicity of certain tropical curves (non-Archimedean amoebas) passing through generic configurations of points, and then via the total multiplicity of some lattice path in the convex lattice polygon associated with a given surface. We also present the results of computation of Welschinger invariants, obtained jointly with I. Itenberg and V. Kharlamov.
We study tropical geometry in the global setting using Berkovich's deformation retraction. We state and prove the generalized balancing conditions in this setting. Starting with a strictly semi-stable formal scheme, we calculate certain sheaves of vanishing cycles using analytic étale cohomology, then we interpret the tropical weights via these cycles. We obtain the balancing condition for tropical curves on the skeleton associated to the formal scheme in terms of the intersection theory on the special fiber. Our approach works over any complete discrete valuation field.
We show that the asymptotic behavior of the two main competing notions of rank of a linear series on a tropical curve is governed by asymptotic invariants, closely paralleling the theory of volumes in algebraic geometry. We introduce and study tropical notions of volume associated to both divisors and tropical modules. We prove optimal asymptotic results for each case. In addition, we show that the tropical volume is compatible with the tropicalization of curves.
Working over various graded Lie algebras and in arbitrary dimension, we express scattering diagrams and theta functions in terms of counts of tropical curves/disks, weighted by multiplicities given in terms of iterated Lie brackets. Over the tropical vertex group, our tropical curve counts are known to give certain descendant log Gromov-Witten invariants. Working over the quantum torus algebra yields theta functions for quantum cluster varieties, and our tropical description sets up for geometric interpretations of these. As an immediate application, we prove the quantum Frobenius conjecture of Fock and Goncharov. We also prove a refined version of the Carl-Pumperla-Siebert result on consistency of theta functions, and we prove the non-degeneracy of the trace-pairing for the Gross-Hacking-Keel Frobenius structure conjecture.
We study anisotropic scaling limits of topological field theories using tropical geometry. The resulting topological field theories are characterized by foliated geometries and are invariant under foliation-preserving gauge transformations. We demonstrate the tropicalization for the 2D BF theory and generalize the prescription to topological Yang-Mills and Chern-Simons theories. We call the tropical limit of the BF theory, the \textit{TBF} theory, which is an anisotropic generalization of the BF theory with an additional adjoint-valued field $T$ that enforces a projectability condition onto the leaves of the foliation. The TBF theory localizes onto the moduli space of tropicalized flat connections $\mathcal{M}(Σ_g,G)$ on a foliated Riemann surface $Σ_g$ of genus $g$. The tropical connections exhibit anisotropic behavior; their holonomy is sensitive only to the leaves of the foliation. We analyze this moduli space two distinct ways, Firstly, they are classified by leaf-wise holonomy whose dimension can be explicitly calculated for the case of tropical projective space $\mathbb{TP}^1$ by the moduli space isomorphism $\mathcal{M}\left(\mathbb{TP} ^1, G\right) \cong \operatorname{Hom}(
We relate a coherent sheaf supported on a holomorphic curve with its mirror Langrangian submanifold in local mirror symmetry through a tropical curve by interpreting their central charges using the combinatorial information of the tropical curve, which proves the Gamma conjecture for local mirror symmetry in this specific case. Furthermore, we put this description in the Gross-Siebert model of local mirror symmetry and confirm that the parameters in the Gross-Siebert model are the canonical coordinates in mirror symmetry.
In this chapter, an application of Mathematical Epidemiology to crop vector-borne diseases is presented to investigate the interactions between crops, vectors, and virus. The main illustrative example is the cassava mosaic disease (CMD). The CMD virus has two routes of infection: through vectors and also through infected crops. In the field, the main tool to control CMD spreading is roguing. The presented biological model is sufficiently generic and the same methodology can be adapted to other crops or crop vector-borne diseases. After an introduction where a brief history of crop diseases and useful information on Cassava and CMD is given, we develop and study a compartmental temporal model, taking into account the crop growth and the vector dynamics. A brief qualitative analysis of the model is provided,i.e., existence and uniqueness of a solution,existence of a disease-free equilibrium and existence of an endemic equilibrium. We also provide conditions for local (global) asymptotic stability and show that a Hopf Bifurcation may occur, for instance, when diseased plants are removed. Numerical simulations are provided to illustrate all possible behaviors. Finally, we discuss the t