arXiv subjects

Dennis Trautwein

Publications and source records attributed to Dennis Trautwein.

16 recordsLinked to original sources

arXiv2026

Large-Scale Measurement of NAT Traversal for the Decentralized Web: A Case Study of DCUtR in IPFS

The promise of decentralized peer-to-peer (P2P) systems is fundamentally gated by the challenge of Network Address Translation (NAT) traversal, with existing solutions often reintroducing the very centralization they seek to avoid. This paper presents the first large-scale measurement study of a fully decentralized NAT traversal protocol, Direct Connection Upgrade through Relay (DCUtR), within the production libp2p-based InterPlanetary File System (IPFS) network. Drawing on over 4.4 million traversal attempts from 85,000+ distinct networks across 167 countries, we provide an empirical analysis of modern P2P connectivity. We establish a conditional success rate of $70\% \pm 7.1\%$ for the hole-punching stage, given that prerequisite relay reservation and public address discovery succeed, providing a crucial new benchmark for the field. Critically, we empirically challenge the long-held belief of UDP's superiority for NAT traversal, demonstrating that DCUtR's high-precision, RTT-based synchronization yields statistically indistinguishable success rates for both TCP and QUIC ($\sim70\%$). Our analysis further validates the protocol's design for permissionless environments by showing that success is independent of relay characteristics and that the mechanism is highly efficient, with $97.6\%$ of successful connections established on the first attempt. Building on this analysis, we propose a concrete roadmap of protocol enhancements aimed at achieving universal connectivity and contribute our complete dataset to foster further research in this domain.

cs.NI↗

arXiv2026

Review of thermodynamic structures and structure-preserving discretisations of Cahn--Hilliard-type models

The Cahn-Hilliard equation and extensions, notably the Cahn-Hilliard-Darcy and Cahn-Hilliard-Navier-Stokes systems, provide widely used frameworks for coupling interfacial thermodynamics with flow. This review surveys the thermodynamic structures underlying these models, focusing on the formulation of free energy functionals, dissipation mechanisms, and variational principles. We compare structural properties, emphasizing how these models encode conservation laws and energy dissipation. A central theme is the translation of these thermodynamic structures into numerical practice by providing representative discretisation strategies that aim to preserve mass conservation, stability, and energy decay. Particular attention is paid to the trade-offs between accuracy, efficiency, and structure preservation in large-scale simulations.

math.NA↗

arXiv2025

Convergent numerical schemes for the viscoelastic Giesekus model in two dimensions

In this work, we develop a class of stable and convergent numerical methods for the approximate solution of the viscoelastic Giesekus model in two space dimensions. The model couples the incompressible Navier--Stokes equations with an evolution equation for an additional stress tensor accounting for elastic effects. This coupled evolution equation is stated here in terms of the elastic deformation gradient and models transport and nonlinear relaxation effects. In the existing literature, numerical schemes for such models often suffer from accuracy limitations and convergence problems, usually due to the lack of rigorous existence results or inherent limitations of the discretization. Therefore, our main goal is to prove the (subsequence) convergence of the proposed numerical method to a large-data global weak solution in two dimensions, without relying on cut-offs or additional regularization. This also provides an alternative proof of the recent existence result by Bul\'ıček et al.~(Nonlinearity, 2022). Finally, we verify the practicality of the proposed method through numerical experiments, including convergence studies and typical benchmark problems.

math.NA↗

arXiv2025

Curvature-driven pattern formation in biomembranes: A gradient flow approach

In this work, we study a phase-field model for curvature-driven pattern formation in biomembranes. The model is derived as a gradient flow of an energy functional that approximates the two-phase Canham--Helfrich energy. This leads to a Cahn--Hilliard-type equation with cross diffusion for the relative chemical concentration of one lipid phase, coupled to a fourth-order reaction-diffusion equation describing the height profile of the membrane. We first prove the existence of weak solutions for the case of regular double-well potentials, using a minimizing movement scheme to construct approximate solutions. The analysis is then extended to singular potentials, e.g., the Flory--Huggins potential, by approximating them with a Moreau--Yosida regularization. For both cases, we establish higher regularity, continuous dependence on the initial data, and consequently the uniqueness of weak solutions. Finally, we propose a well-posed finite element discretization of the model and present numerical experiments illustrating the effect of different physical parameters on the resulting membrane patterns. Depending on the parameter regime, we observe purely striped, dotted, or snake-like structures.

math.AP↗

arXiv2025

Multiple Sides of 36 Coins: Measuring Peer-to-Peer Infrastructure Across Cryptocurrencies

Blockchain technologies underpin an expanding ecosystem of decentralized applications, financial systems, and infrastructure. However, the fundamental networking layer that sustains these systems, the peer-to-peer layer, of all but the top few ecosystems remains largely opaque. In this paper, we present the first longitudinal, cross-network measurement study of 36 public blockchain networks. Over 9 months, we deployed 15 active crawlers, sourced data from two additional community crawlers, and conducted hourly connectivity probes to observe the evolving state of these networks. Furthermore, by leveraging Ethereum's discovery protocols, we inferred metadata for an additional 19 auxiliary networks that utilize the Ethereum peer discovery protocol. We also explored Internet-wide scans, which only require probing each protocol's default ports with a simple, network-specific payload. This approach allows us to rapidly identify responsive peers across the entire address space without having to implement custom discovery and handshake logic for every blockchain. We validated this method on Bitcoin and similar networks with known ground truth, then applied it to Cardano, which we could not crawl directly. Our study uncovers dramatic variation in network size from under 10 to more than 10,000 active nodes. We quantify trends in IPv4 versus IPv6 usage, analyze autonomous systems and geographic concentration, and characterize churn, diurnal behavior, and the coverage and redundancy of discovery protocols. These findings expose critical differences in network resilience, decentralization, and observability. Beyond characterizing each network, our methodology demonstrates a general framework for measuring decentralized networks at scale. This opens the door for continued monitoring, benchmarking, and more transparent assessments of blockchain infrastructure across diverse ecosystems.

cs.DC↗

arXiv2025

Challenging Tribal Knowledge -- Large Scale Measurement Campaign on Decentralized NAT Traversal

The promise of decentralized peer-to-peer (P2P) systems is fundamentally gated by the challenge of Network Address Translation (NAT) traversal, with existing solutions often reintroducing the very centralization they seek to avoid. This paper presents the first large-scale, longitudinal measurement study of a fully decentralized NAT traversal protocol, Direct Connection Upgrade through Relay (DCUtR), within the production libp2p-based IPFS network. Drawing on over 4.4 million traversal attempts from 85,000+ distinct networks across 167 countries, we provide a definitive empirical analysis of modern P2P connectivity. We establish a contemporary baseline success rate of $70\% \pm 7.1\%$ for the hole-punching stage, providing a crucial new benchmark for the field. Critically, we empirically refute the long-held 'tribal knowledge' of UDP's superiority for NAT traversal, demonstrating that DCUtR's high-precision, RTT-based synchronization yields statistically indistinguishable success rates for both TCP and QUIC ($\sim70\%$). Our analysis further validates the protocol's design for permissionless environments by showing that success is independent of relay characteristics and that the mechanism is highly efficient, with $97.6\%$ of successful connections established on the first attempt. Building on this analysis, we propose a concrete roadmap of protocol enhancements aimed at achieving universal connectivity and contribute our complete dataset to foster further research in this domain.

cs.NI↗

arXiv2025

Structure-preserving parametric finite element methods for two-phase Stokes flow based on Lagrange multiplier approaches

We present a novel formulation for parametric finite element methods to approximate two-phase Stokes flow. The new formulation is based on the classical Stokes equation in the bulk and a novel choice of interface conditions with additional Lagrange multipliers. This new Lagrange multiplier approach ensures that the numerical methods exactly preserve two physical structures of two-phase Stokes flow at the fully discrete level: (i) the energy-decaying and (ii) the volume-preserving properties. Moreover, different types of higher-order time discretization methods are employed, including the Crank--Nicolson method and the second-order backward differentiation formula approach. The resulting schemes are nonlinear and can be efficiently solved by using the Newton method with a decoupling technique. Extensive numerical experiments demonstrate that our methods achieve the desired temporal accuracy while preserving the two physical structures of the two-phase Stokes system.

math.NA↗

arXiv2024

Parametric finite element approximation of two-phase Navier--Stokes flow with viscoelasticity

In this work, we present a parametric finite element approximation of two-phase Navier-Stokes flow with viscoelasticity. The free boundary problem is given by the viscoelastic Navier-Stokes equations in the two fluid phases, connected by jump conditions across the interface. The elasticity in the fluids is characterised using the Oldroyd-B model with possible stress diffusion. The model was originally introduced to approximate fluid-structure interaction problems between an incompressible Newtonian fluid and a hyperelastic neo-Hookean solid, which are possible limit cases of the model. We approximate a variational formulation of the model with an unfitted finite element method that uses piecewise linear parametric finite elements. The two-phase Navier-Stokes-Oldroyd-B system in the bulk regions is discretised in a way that guarantees unconditional solvability and stability for the coupled bulk-interface system. Good volume conservation properties for the two phases are observed in the case where the pressure approximation space is enriched with the help of an XFEM function. We show the applicability of our method with some numerical results.

math.NA↗

arXiv2024

On a diffuse interface model for incompressible viscoelastic two-phase flows

This paper concerns a diffuse interface model for the flow of two incompressible viscoelastic fluids in a bounded domain. More specifically, the fluids are assumed to be macroscopically immiscible, but with a small transition region, where the two components are partially mixed. Considering the elasticity of both components, one ends up with a coupled Oldroyd-B/Cahn--Hilliard type system, which describes the behavior of two-phase viscoelastic fluids. We prove the existence of weak solutions to the system in two dimensions for general (unmatched) mass densities, variable viscosities, different shear moduli, and a class of physically relevant and singular free energy densities that guarantee that the order parameter stays in the physically reasonable interval. The proof relies on a combination of a regularization of the original system and a new hybrid implicit time discretization for the regularized system together with the analysis of an Oldroyd-B type equation.

math.AP↗

arXiv2024

On energy-dissipative finite element approximations for rate-type viscoelastic fluids with stress diffusion

We study a fully discrete finite element approximation of a model for unsteady flows of rate-type viscoelastic fluids with stress diffusion in two and three dimensions. The model consists of the incompressible Navier--Stokes equation for the velocity, coupled with a diffusive variant of a combination of the Oldroyd-B and the Giesekus model for the left Cauchy--Green tensor. The discretization of the model is chosen such that an energy inequality is preserved at the fully discrete level. Thus, unconditional solvability and stability for the discrete system are guaranteed and the discrete Cauchy--Green tensor is positive definite. Moreover, subsequences of discrete solutions converge to a global-in-time weak solution, as the discretization parameters tend to zero. In the end, we present numerical convergence tests.

math.NA↗

arXiv2023

Approximation and existence of a viscoelastic phase-field model for tumour growth in two and three dimensions

In this work, we present a phase-field model for tumour growth, where a diffuse interface separates a tumour from the surrounding host tissue. In our model, we consider transport processes by an internal, non-solenoidal velocity field. We include viscoelastic effects with the help of a general Oldroyd-B type description with relaxation and possible stress generation by growth. The elastic energy density is coupled to the phase-field variable which allows to model invasive growth towards areas with less mechanical resistance. The main analytical result is the existence of weak solutions in two and three space dimensions in the case of additional stress diffusion. The idea behind the proof is to use a numerical approximation with a fully-practical, stable and (subsequence) converging finite element scheme. The physical properties of the model are preserved with the help of a regularization technique, uniform estimates and a limit passage on the fully-discrete level. Finally, we illustrate the practicability of the discrete scheme with the help of numerical simulations in two and three dimensions.

math.NA↗

arXiv2023

Introducing Peer Copy -- A Fully Decentralized Peer-to-Peer File Transfer Tool

It allows any two parties that are either both on the same network or connected via the internet to transfer the contents of a file based on a particular sequence of words. Peer discovery happens via multicast DNS if both peers are on the same network or via entries in the distributed hash table (DHT) of the InterPlanetary File-System (IPFS) if both peers are connected across network boundaries. As soon as a connection is established, the word sequence is used as the input for a password-authenticated key exchange (PAKE) to derive a strong session key. This session key authenticates the peers and encrypts any subsequent communication. It is found that the decentralized approach to peer-to-peer file transfer can keep up with established centralized tools while eliminating the reliance on centralized service providers.

cs.NI↗

arXiv2022

Design and Evaluation of IPFS: A Storage Layer for the Decentralized Web

Recent years have witnessed growing consolidation of web operations. For example, the majority of web traffic now originates from a few organizations, and even micro-websites often choose to host on large pre-existing cloud infrastructures. In response to this, the "Decentralized Web" attempts to distribute ownership and operation of web services more evenly. This paper describes the design and implementation of the largest and most widely used Decentralized Web platform - the InterPlanetary File System (IPFS) - an open-source, content-addressable peer-to-peer network that provides distributed data storage and delivery. IPFS has millions of daily content retrievals and already underpins dozens of third-party applications. This paper evaluates the performance of IPFS by introducing a set of measurement methodologies that allow us to uncover the characteristics of peers in the IPFS network. We reveal presence in more than 2700 Autonomous Systems and 152 countries, the majority of which operate outside large central cloud providers like Amazon or Azure. We further evaluate IPFS performance, showing that both publication and retrieval delays are acceptable for a wide range of use cases. Finally, we share our datasets, experiences and lessons learned.

cs.NI↗

arXiv2022

Numerical analysis for a Cahn-Hilliard system modelling tumour growth with chemotaxis and active transport

In this work, we consider a diffuse interface model for tumour growth in the presence of a nutrient which is consumed by the tumour. The system of equations consists of a Cahn--Hilliard equation with source terms for the tumour cells and a reaction-diffusion equation for the nutrient. We introduce a fully-discrete finite element approximation of the model and prove stability bounds for the discrete scheme. Moreover, we show that discrete solutions exist and depend continuously on the initial and boundary data. We then pass to the limit in the discretization parameters and prove convergence to a global-in-time weak solution to the model. Under additional assumptions, this weak solution is unique. Finally, we present some numerical results including numerical error investigation in one spatial dimension and some long time simulations in two and three spatial dimensions.

math.NA↗

arXiv2022

Viscoelastic Cahn--Hilliard models for tumour growth

We introduce a new phase field model for tumour growth where viscoelastic effects are taken into account. The model is derived from basic thermodynamical principles and consists of a convected Cahn--Hilliard equation with source terms for the tumour cells and a convected reaction-diffusion equation with boundary supply for the nutrient. Chemotactic terms, which are essential for the invasive behaviour of tumours, are taken into account. The model is completed by a viscoelastic system constisting of the Navier--Stokes equation for the hydrodynamic quantities, and a general constitutive equation with stress relaxation for the left Cauchy--Green tensor associated with the elastic part of the total mechanical response of the viscoelastic material. For a specific choice of the elastic energy density and with an additional dissipative term accounting for stress diffusion, we prove existence of global-in-time weak solutions of the viscoelastic model for tumour growth in two space dimensions $d=2$ by the passage to the limit in a fully-discrete finite element scheme where a CFL condition, i.e. $Δt\leq Ch^2$, is required. Moreover, in arbitrary dimensions $d\in\{2,3\}$, we show stability and existence of solutions for the fully-discrete finite element scheme, where positive definiteness of the discrete Cauchy--Green tensor is proved with a regularization technique that was first introduced by J. W. Barrett, S. Boyaval ("Existence and approximation of a (regularized) Oldroyd-B model". In: M3AS. 21.9 (2011), pp. 1783--1837). After that, we improve the regularity results in arbitrary dimensions $d\in\{2,3\}$ and in two dimensions $d=2$, where a CFL condition is required. Then, for $d=2$, we pass to the limit in the discretization parameters and show that subsequences of discrete solutions converge to a global-in-time weak solution. Finally, we present numerical results.

math.NA↗

arXiv2021

zbMATH Open: API Solutions and Research Challenges

We present zbMATH Open, the most comprehensive collection of reviews and bibliographic metadata of scholarly literature in mathematics. Besides our website https://zbMATH.org which is openly accessible since the beginning of this year, we provide API endpoints to offer our data. The API improves interoperability with others, i.e., digital libraries, and allows using our data for research purposes. In this article, we (1) illustrate the current and future overview of the services offered by zbMATH; (2) present the initial version of the zbMATH links API; (3) analyze potentials and limitations of the links API based on the example of the NIST Digital Library of Mathematical Functions; (4) and finally, present the zbMATH Open dataset as a research resource and discuss connected open research problems.

cs.DL↗