BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Benedikt Wirth

Benedikt Wirth contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.OCmath-phmath.CAmath.MPmath.NANumerical Analysisphysics.comp-ph

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
7works
0followers
7topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

7 published item(s)

preprint2026arXiv

Computer-Assisted Proofs for Geometric Optimization: From Crystallization to Carbon Nanotubes

We present a framework based on computer-assisted proofs that turns standard geometry optimization simulations for atomistic structures into mathematical proofs. Starting from a numerically computed approximation of a local minimizer or saddle point, we use validated numerical computations to prove the existence of a critical point of the potential energy close to this approximation. We demonstrate this framework in two settings. In the first, we study capped carbon nanotubes modeled as minimizers of carbon interatomic potentials (harmonic, Tersoff, and a Huber potential) and obtain proven bounds on tube diameter, bond lengths, and bond angles. In particular, we show that caps induce diameter oscillations along the tube. As a second application, we consider a finite Lennard-Jones crystal in a face-centered cubic (fcc) lattice and provide computer-proofs of a local minimizer representing the perfect crystal, a local minimizer with a single vacancy defect, and a saddle point that connects two single-vacancy configurations on the energy landscape.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

A non-convex variational model for joint polyenergetic CT reconstruction, sensor denoising and material decomposition

Computed Tomography (CT) is widely used in engineering and medicine for imaging the interior of objects, patients, or animals. If the employed X-ray source is monoenergetic, image reconstruction essentially means the inversion of a ray transform. Typical X-ray sources are however polyenergetic (i.e. emit multiple wavelengths, each with different attenuation behaviour), and ignoring this fact may lead to artefacts such as beam hardening. An additional difficulty in some settings represents the occurrence of two different types of noise, the photon counting effect on the detector and the electronic noise generated e.g. by CCD cameras. We propose a novel variational image reconstruction model that takes both noise types and the polyenergetic source into account and moreover decomposes the reconstruction into different materials based on their different attenuation behaviour. In addition to a detailed mathematical analysis of the model we put forward a corresponding iterative algorithm including its convergence analysis. Numerical reconstructions of phantom data illustrate the feasibility of the approach.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Optimal fine-scale structures in compliance minimization for a uniaxial load in three space dimensions

We consider the shape and topology optimization problem to design a structure that minimizes a weighted sum of material consumption and (linearly) elastic compliance under a fixed given boundary load. As is well-known, this problem is in general not well-posed since its solution typically requires the use of infinitesimally fine microstructure. Therefore we examine the effect of singularly perturbing the problem by adding the structure perimeter to the cost. For a uniaxial and a shear load in two space dimensions, corresponding energy scaling laws were already derived in the literature. This work now derives the scaling law for the case of a uniaxial load in three space dimensions, which can be considered the simplest three-dimensional setting. In essence, it is expected (and confirmed in this article) that for a uniaxial load the compliance behaves almost like the dissipation in a scalar flux problem so that lower bounds from pattern analysis in superconductors can directly be applied. The upper bounds though require nontrivial modifications of the constructions known from superconductors. Those become necessary since in elasticity one has the additional constraint of torque balance.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Elastic 3D-2D Image Registration

We propose a method to non-rigidly align a three-dimensional (3D) volumetric image with a two-dimensional (2D) planar image representing a projection of the deformed volume. The application in mind comes from biological studies in which 2D intravital microscopy videos of living tissue are recorded, after which the tissue is excised and a more detailed 3D volume microscopy is performed. Coregistration of both data sets allows to combine the temporal (but 2D) information with more detailed spatial 3D information. Our approach is variational and uses a hyperelastic deformation regularization, as is appropriate for biological material. As a particular feature, the out of plane deformation is estimated based on the out of focus blur inside the 2D microscopy image. The approach becomes computationally feasible through the use of a coarse-to-fine optimization strategy and higher order optimization methods.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Formulation of branched transport as geometry optimization

The branched transport problem, a popular recent variant of optimal transport, is a non-convex and non-smooth variational problem on Radon measures. The so-called urban planning problem, on the contrary, is a shape optimization problem that seeks the optimal geometry of a street or pipe network. We show that the branched transport problem with concave cost function is equivalent to a generalized version of the urban planning problem. Apart from unifying these two different models used in the literature, another advantage of the urban planning formulation for branched transport is that it provides a more transparent interpretation of the overall cost by separation into a transport (Wasserstein-1-distance) and a network maintenance term, and it splits the problem into the actual transportation task and a geometry optimization.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

An adaptive finite element approach for lifted branched transport problems

We consider so-called branched transport and variants thereof in two space dimensions. In these models one seeks an optimal transportation network for a given mass transportation task. In two space dimensions, they are closely connected to Mumford--Shah-type image processing problems, which in turn can be related to certain higher-dimensional convex optimization problems via so-called functional lifting. We examine the relation between these different models and exploit it to solve the branched transport model numerically via convex optimization. To this end we develop an efficient numerical treatment based on a specifically designed class of adaptive finite elements. This method allows the computation of finely resolved optimal transportation networks despite the high dimensionality of the convex optimization problem and its complicated set of nonlocal constraints. In particular, by design of the discretization the infinite set of constraints reduces to a finite number of inequalities.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

General transport problems with branched minimizers as functionals of 1-currents with prescribed boundary

A prominent model for transportation networks is branched transport, which seeks the optimal transportation scheme to move material from a given initial to a final distribution. The cost of the scheme encodes a higher transport efficiency the more mass is moved together, which automatically leads to optimal transportation networks with a hierarchical branching structure. The two major existing model formulations, either using mass fluxes (vector-valued measures) or patterns (probabilities on the space of particle paths), are rather different. Once their equivalence was established, the analysis of optimal networks could rest on both. The transportation cost of classical branched transport is a fractional power of the transported mass, and several model properties and proof techniques build on its strict concavity. We generalize the model and its analysis to the most general class of reasonable transportation costs, essentially increasing, subadditive functions. This requires several modifications or new approaches. In particular, for the equivalence between mass flux and pattern formulation it turns out advantageous to resort to a description via 1-currents, an intuition which already Xia exploited. In addition, some already existing arguments are given a more concise and perhaps simpler form. The analysis includes the well-posedness, a metrization and a length space property of the model cost, the equivalence between the different model formulations, as well as a few network properties.

0 citations0 reviewsNo code linkedOpen access