SearcharxivSearch

arXiv subjects

Christoph Bock

Publications and source records attributed to Christoph Bock.

8 recordsLinked to original sources

Conditional Monte Carlo Tree Diffusion for Designing Cell-Type-Specific and Biologically Faithful Regulatory DNA

Designing regulatory DNA elements with precise cell-type-specific activity is broadly relevant for cell engineering and gene therapy. Deep generative models can generate functional gene-regulatory elements, but existing methods struggle to achieve high specificity against undesired cell types while adhering to the genome's natural regulatory grammar. Here, we introduce DNA-CRAFT, a generative framework that integrates class-conditioned discrete diffusion with Monte Carlo tree search to design cell-type-specific and biologically faithful regulatory elements. We first train a discrete diffusion model on the ENCODE registry of 3.2 million candidate regulatory elements. Second, we condition the model to learn class-specific regulatory grammars of naturally occurring DNA sequences, including enhancers and promoters. Third, we employ conditional Monte Carlo tree guidance, an inference-time alignment algorithm designed to maximize the differential regulatory activity between desired and undesired cell types. By benchmarking DNA-CRAFT on regulatory sequence design tasks for human cell lines and immune cell types, we demonstrate that our model generates sequences with high predicted cell-type-specific activity and biological fidelity, achieving the best trade-offs compared to methods that use diffusion, autoregressive models, and gradient-based optimization.

q-bio.GN

What are the limits to biomedical research acceleration through general-purpose AI?

Although general-purpose artificial intelligence (GPAI) is widely expected to accelerate scientific discovery, its practical limits in biomedicine remain unclear. We assess this potential by developing a framework of GPAI capabilities across the biomedical research lifecycle. Our scoping literature review indicates that current GPAI could deliver a speed increase of around 2x, whereas future GPAI could facilitate strong acceleration of up to 25x for physical tasks and 100x for cognitive tasks. However, achieving these gains may be severely limited by factors such as irreducible biological constraints, research infrastructure, data access, and the need for human oversight. Our expert elicitation with eight senior biomedical researchers revealed skepticism regarding the strong acceleration of tasks such as experiment design and execution. In contrast, strong acceleration of manuscript preparation, review and publication processes was deemed plausible. Notably, all experts identified the assimilation of new tools by the scientific community as a critical bottleneck. Realising the potential of GPAI will therefore require more than technological progress; it demands targeted investment in shared automation infrastructure and systemic reforms to research and publication practices.

cs.CY

Funktionalanalysis Teil I

Roughly speaking, functional analysis is the study of vector spaces of arbitrary dimension over the field of real or complex numbers, and the continuous linear mappings between such spaces. Naturally, the notion of continuity requires a topology - or more specifically, a norm - on these vector spaces, bringing both analytic and algebraic tools into play. The name functional analysis originates from the early attempts to extend calculus to functionals defined on function spaces. Results from functional analysis offer powerful tools for solving problems in the theory of (partial) differential equations, in complex analysis, and for the formulation of quantum mechanics. However, the aim of these pages is not to deal with such applications. This first part is primarily concerned with the intrinsic properties of certain classes of spaces, namely almost metric spaces, normed vector spaces and algebras, spaces of continuous and and $p$-integrable functions (for $p \in {]}0, \infty{]}$), as well as reflexive, uniformly convex, and Hilbert spaces, rather than with the study of mappings between them.

math.FA

Odd-dimensional solvmanifolds are contact

Bourgeois proved in [5] that odd-dimensional tori admit a contact structure. We shall prove a more general result: Any odd-dimensional parallelisable closed manifold admits a contact structure. This implies that a solvmanifold $\Gamma \backslash G$ is contact, where $\Gamma$ is a lattice in a connected and simply-connected solvable Lie group G of odd dimension.

math.SG

On Low-Dimensional Solvmanifolds

A nilmanifold resp. solvmanifold is a compact homogeneous space of a connected and simply-connected nilpotent resp. solvable Lie group by a lattice, i.e. a discrete co-compact subgroup. There is an easy criterion for nilpotent Lie groups which enables one to decide whether there is a lattice or not. Moreover, it is easy to decide whether a nilmanifold is formal, Kaehlerian or (Hard) Lefschetz. The study of solvmanifolds meets with noticeably greater obstacles than the study of nilmanifolds. Even the construction of solvmanifolds is considerably more difficult than is the case for nilmanifolds. The reason is that there is no simple criterion for the existence of a lattice in a connected and simply-connected solvable Lie group. We consider the question of existence of lattices in solvable Lie groups up to dimension six and examine whether the corresponding solvmanifolds are formal, symplectic, Kaehler or (Hard) Lefschetz.

math.DG

Geography of non-formal symplectic and contact manifolds

Let (m,b) a pair of natural numbers. For m even (resp. m odd and b greater than or equal to 2) we show that if there is an m-dimensional non-formal compact oriented manifold whose first Betti number equals b, there is also a symplectic (resp. contact) manifold with these properties.

math.SG