arXiv ScienceSearch

arXiv subjects

Johannes Kraus

Publications and source records attributed to Johannes Kraus.

At least 19 recordsLinked to original sources

Bridging Formal and Perceived Fairness: Development of an Interdisciplinary Framework in Algorithmic Decision-Making

While fairness has become a central concern in research on algorithmic systems, the field remains predominantly shaped by Computer Science, resulting in a strong emphasis on formal fairness metrics and bias mitigation strategies. Nevertheless, this focus may obscure a fundamental challenge: fairness is not merely a technical property, but a subjective, context-sensitive human judgment shaped by cognitive heuristics, mental models, normative expectations, and sociotechnical factors. Crucially, users' perceptions of fairness may diverge substantially from the fairness criteria an algorithm formally satisfies; a system may meet predefined technical fairness requirements yet still be perceived as unjust by decision-affected stakeholders. In such cases, the system fails on a fundamental dimension: it will not be trusted, accepted, or considered legitimate. Taking a user-centered design perspective, this paper presents a work-in-progress conceptual framework that bridges Computer Science approaches to formal algorithmic fairness with normative and Social Science fairness approaches regarding perceived fairness, trust, and technology acceptance, embedding both within the sociotechnical conditions that shape human judgment. Through (1) theoretical literature synthesis, (2) interdisciplinary workshops, and (3) stakeholder interviews, the project aims to inform evaluation approaches that integrate computational fairness audits with user-centered assessments and guide the design of fairness-aware, human-centered algorithmic systems that support informed, well-calibrated fairness judgments by those affected.

cs.CY

A family of mixed-mixed strongly conservative finite element methods for Biot's model of consolidation

We consider a four-field formulation of Biot's quasi-static model of consolidation with the (effective) elastic stress, the solid displacement, the fluid flux and the fluid pressure as unknown physical quantities of interest. The weak form of this system composed of the momentum and mass balance equations complemented by the stress-strain relation and Darcy's law yields a two-fold perturbed saddle-point problem. Its well-posedness is proven for a natural choice of inifinite-dimensional Hilbert spaces, where the displacement-flux pair is sought in a novel Hilbert space. Next, based on recent works on $H(\rm div \, \rm div)$-conforming finite elements, we propose a family of mixed-mixed finite element methods that preserve the angular momentum as well as the fluid mass balance pointwise, i.e., in a strong sense. We prove the well-posedness of the arising discrete problem and establish optimal a priori error estimates for the related family of fully conservative mixed-mixed finite element methods.

math.NA

Assessing Pedestrian Behavior Around Autonomous Cleaning Robots in Public Spaces: Findings from a Field Observation

As autonomous robots become more common in public spaces, spontaneous encounters with laypersons are more frequent. For this, robots need to be equipped with communication strategies that enhance momentary transparency and reduce the probability of critical situations. Adapting these robotic strategies requires consideration of robot movements, environmental conditions, and user characteristics and states. While numerous studies have investigated the impact of distraction on pedestrians' movement behavior, limited research has examined this behavior in the presence of autonomous robots. This research addresses the impact of robot type and robot movement pattern on distracted and undistracted pedestrians' movement behavior. In a field setting, unaware pedestrians were videotaped while moving past two working, autonomous cleaning robots. Out of N=498 observed pedestrians, approximately 8% were distracted by smartphones. Distracted and undistracted pedestrians did not exhibit significant differences in their movement behaviors around the robots. Instead, both the larger sweeping robot and the offset rectangular movement pattern significantly increased the number of lateral adaptations compared to the smaller cleaning robot and the circular movement pattern. The offset rectangular movement pattern also led to significantly more close lateral adaptations. Depending on the robot type, the movement patterns led to differences in the distances of lateral adaptations. The study provides initial insights into pedestrian movement behavior around an autonomous cleaning robot in public spaces, contributing to the growing field of HRI research.

cs.RO

Fitted norm preconditioners for the Hodge Laplacian in mixed form

We use the practical framework for abstract perturbed saddle point problems recently introduced by Hong et al. to analyze the mixed formulation of the Hodge Laplace problem. We compose two parameter-dependent norms in which the uniform continuity and stability of the problem follow. This not only guarantees the well-posedness of the corresponding variational formulation on the continuous level, but also of related compatible discrete models. We further simplify the obtained norms and, in both cases, arrive at the same norm-equivalent preconditioner that is easily implementable. The efficiency and uniformity of the preconditioner are demonstrated numerically by the fast convergence and uniformly bounded number of preconditioned MINRES iterations required to solve various instances of Hodge Laplace problems in two and three space dimensions.

math.NA

Time-continuous strongly conservative space-time finite element methods for the dynamic Biot model

We consider the dynamic Biot model (see [Biot, M. A. J. Appl. Phys. 33, 1482--1498 (1962)]) describing the interaction between fluid flow and solid deformation including wave propagation phenomena in both the liquid and solid phases of a saturated porous medium. This model couples a hyperbolic equation for momentum balance to a second-order in time dynamic Darcy law and a parabolic equation for the balance of mass and is here considered in three-field formulation with the displacement of the elastic matrix, the fluid velocity, and the fluid pressure being the physical fields of interest. A family of variational space-time finite element methods is proposed, which combines a continuous-in-time Galerkin ansatz of arbitrary polynomial degree with $H(\mathrm{div})$-conforming approximations of the displacement field, its time derivative, and the flux field--of discontinuous Galerkin (DG) type for displacements--with a piecewise polynomial pressure approximation, providing an inf-sup stable strongly conservative mixed method in each case. We prove error estimates in a combined energy norm in space for the maximum norm in time. The theoretical results are confirmed by numerical experiments for different polynomial orders in space and time.

math.NA

Auditory Localization and Assessment of Consequential Robot Sounds: A Multi-Method Study in Virtual Reality

Mobile robots increasingly operate alongside humans but are often out of sight, so that humans need to rely on the sounds of the robots to recognize their presence. For successful human-robot interaction (HRI), it is therefore crucial to understand how humans perceive robots by their consequential sounds, i.e., operating noise. Prior research suggests that the sound of a quadruped Go1 is more detectable than that of a wheeled Turtlebot. This study builds on this and examines the human ability to localize consequential sounds of three robots (quadruped Go1, wheeled Turtlebot 2i, wheeled HSR) in Virtual Reality. In a within-subjects design, we assessed participants' localization performance for the robots with and without an acoustic vehicle alerting system (AVAS) for two velocities (0.3, 0.8 m/s) and two trajectories (head-on, radial). In each trial, participants were presented with the sound of a moving robot for 3~s and were tasked to point at its final position (localization task). Localization errors were measured as the absolute angular difference between the participants' estimated and the actual robot position. Results showed that the robot type significantly influenced the localization accuracy and precision, with the sound of the wheeled HSR (especially without AVAS) performing worst under all experimental conditions. Surprisingly, participants rated the HSR sound as more positive, less annoying, and more trustworthy than the Turtlebot and Go1 sound. This reveals a tension between subjective evaluation and objective auditory localization performance. Our findings highlight consequential robot sounds as a critical factor for designing intuitive and effective HRI, with implications for human-centered robot design and social navigation.

cs.RO

Monolithic two-level Schwarz preconditioner for Biot's consolidation model in two space dimensions

This paper addresses the construction and analysis of a class of domain decomposition methods for the iterative solution of the quasi-static Biot problem in three-field formulation. The considered discrete model arises from time discretization by the implicit Euler method and space discretization by a family of strongly mass-conserving methods exploiting $H^{div}$-conforming approximations of the solid displacement and fluid flux fields. For the resulting saddle-point problem, we construct monolithic overlapping domain decomposition (DD) methods whose analysis relies on a transformation into an equivalent symmetric positive definite system and on stable decompositions of the involved finite element spaces under proper problem-dependent norms. Numerical results on two-dimensional test problems are in accordance with the provided theoretical uniform convergence estimates for the two-level multiplicative Schwarz method.

math.NA

Sound Matters: Auditory Detectability of Mobile Robots

Mobile robots are increasingly being used in noisy environments for social purposes, e.g. to provide support in healthcare or public spaces. Since these robots also operate beyond human sight, the question arises as to how different robot types, ambient noise or cognitive engagement impacts the detection of the robots by their sound. To address this research gap, we conducted a user study measuring auditory detection distances for a wheeled (Turtlebot 2i) and quadruped robot (Unitree Go 1), which emit different consequential sounds when moving. Additionally, we also manipulated background noise levels and participants' engagement in a secondary task during the study. Our results showed that the quadruped robot sound was detected significantly better (i.e., at a larger distance) than the wheeled one, which demonstrates that the movement mechanism has a meaningful impact on the auditory detectability. The detectability for both robots diminished significantly as background noise increased. But even in high background noise, participants detected the quadruped robot at a significantly larger distance. The engagement in a secondary task had hardly any impact. In essence, these findings highlight the critical role of distinguishing auditory characteristics of different robots to improve the smooth human-centered navigation of mobile robots in noisy environments.

cs.RO

Analysis of a family of time-continuous strongly conservative space-time finite element methods for the dynamic Biot model

We consider the dynamic Biot model describing the interaction between fluid flow and solid deformation including wave propagation phenomena in both the liquid and solid phases of a saturated porous medium. The model couples a hyperbolic equation for momentum balance to a second-order in time dynamic Darcy law and a parabolic equation for the balance of mass and is here considered in three-field formulation with the displacement of the elastic matrix, the fluid velocity, and the fluid pressure being the physical fields of interest. A family of variational space-time finite element methods is proposed that combines a continuous-in-time Galerkin ansatz of arbitrary polynomial degree with inf-sup stable $H(\rm{div})$-conforming approximations of discontinuous Galerkin (DG) type in case of the displacement and a mixed approximation of the flux, its time derivative and the pressure field. We prove error estimates in a combined energy norm as well as $L^2$~error estimates in space for the individual fields for both maximum and $L^2$ norm in time which are optimal for the displacement and pressure approximations.

math.NA

A fixed-stress type splitting method for nonlinear poroelasticity

In this paper we consider a nonlinear poroelasticity model that describes the quasi-static mechanical behaviour of a fluid-saturated porous medium whose permeability depends on the divergence of the displacement. Such nonlinear models are typically used to study biological structures like tissues, organs, cartilage and bones, which are known for a nonlinear dependence of their permeability/hydraulic conductivity on solid dilation. We formulate (extend to the present situation) one of the most popular splitting schemes, namely the fixed-stress split method for the iterative solution of the coupled problem. The method is proven to converge linearly for sufficiently small time steps under standard assumptions. The error contraction factor then is strictly less than one, independent of the Lam\'{e} parameters, Biot and storage coefficients if the hydraulic conductivity is a strictly positive, bounded and Lipschitz-continuous function.

math.NA

Hybridized Discontinuous Galerkin Methods for a Multiple Network Poroelasticity Model with Medical Applications

The quasi-static multiple network poroelastic theory (MPET) model, first introduced in the context of geomechanics, has recently found new applications in medicine. In practice, the parameters in the MPET equations can vary over several orders of magnitude which makes their stable discretization and fast solution a challenging task. Here, a new efficient parameter-robust hybridized discontinuous Galerkin method, which also features fluid mass conservation, is proposed for the MPET model. Its stability analysis which is crucial for the well-posedness of the discrete problem is performed and cost-efficient fast parameter-robust preconditioners are derived. We present a series of numerical computations for a 4-network MPET model of a human brain which support the performance of the new algorithms.

math.NA

A posteriori error estimates for domain decomposition methods

Nowadays, a posteriori error control methods have formed a new important part of the numerical analysis. Their purpose is to obtain computable error estimates in various norms and error indicators that show distributions of global and local errors of a particular numerical solution. In this paper, we focus on a particular class of domain decomposition methods (DDM), which are among the most efficient numerical methods for solving PDEs. We adapt functional type a posteriori error estimates and construct a special form of error majorant which allows efficient error control of approximations computed via these DDM by performing only subdomain-wise computations. The presented guaranteed error bounds use an extended set of admissible fluxes which arise naturally in DDM.

math.NA

A new practical framework for the stability analysis of perturbed saddle-point problems and applications

In this paper we prove a new abstract stability result for perturbed saddle-point problems based on a norm fitting technique. We derive the stability condition according to Babuska's theory from a small inf-sup condition, similar to the famous Ladyzhenskaya-Babuska-Brezzi (LBB) condition, and the other standard assumptions in Brezzi's theory, in a combined abstract norm. The construction suggests to form the latter from individual fitted norms that are composed from proper seminorms. This abstract framework not only allows for simpler (shorter) proofs of many stability results but also guides the design of parameter-robust norm-equivalent preconditioners. These benefits are demonstrated on mixed variational formulations of generalized Poisson, Stokes, vector Laplace and Biot's equations.

math.NA

Uniformly well-posed hybridized discontinuous Galerkin/hybrid mixed discretizations for Biot's consolidation model

We consider the quasi-static Biot's consolidation model in a three-field formulation with the three unknown physical quantities of interest being the displacement $\boldsymbol{u}$ of the solid matrix, the seepage velocity $\boldsymbol{v}$ of the fluid and the pore pressure $p$. As conservation of fluid mass is a leading physical principle in poromechanics, we preserve this property using an $\boldsymbol{H}(\operatorname{div})$-conforming ansatz for $\boldsymbol{u}$ and $\boldsymbol{v}$ together with an appropriate pressure space. This results in Stokes and Darcy stability and exact, that is, pointwise mass conservation of the discrete model. The proposed discretization technique combines a hybridized discontinuous Galerkin method for the elasticity subproblem with a mixed method for the flow subproblem, also handled by hybridization. The latter allows for a static condensation step to eliminate the seepage velocity from the system while preserving mass conservation. The system to be solved finally only contains degrees of freedom related to $\boldsymbol{u}$ and $p$ resulting from the hybridization process and thus provides, especially for higher-order approximations, a very cost-efficient family of physics-oriented space discretizations for poroelasticity problems. We present the construction of the discrete model, theoretical results related to its uniform well-posedness along with optimal error estimates and parameter-robust preconditioners as a key tool for developing uniformly convergent iterative solvers. Finally, the cost-efficiency of the proposed approach is illustrated in a series of numerical tests for three-dimensional test cases.

math.NA

Parameter-robust Uzawa-type iterative methods for double saddle point problems arising in Biot's consolidation and multiple-network poroelasticity models

This work is concerned with the iterative solution of systems of quasi-static multiple-network poroelasticity (MPET) equations describing flow in elastic porous media that is permeated by single or multiple fluid networks. Here, the focus is on a three-field formulation of the problem in which the displacement field of the elastic matrix and, additionally, one velocity field and one pressure field for each of the $n \ge 1$ fluid networks are the unknown physical quantities. Generalizing Biot's model of consolidation, which is obtained for $n=1$, the MPET equations for $n\ge1$ exhibit a double saddle point structure. The proposed approach is based on a framework of augmenting and splitting this three-by-three block system in such a way that the resulting block Gauss-Seidel preconditioner defines a fully decoupled iterative scheme for the flux-, pressure-, and displacement fields. In this manner, one obtains an augmented Lagrangian Uzawa-type method, the analysis of which is the main contribution of this work. The parameter-robust uniform linear convergence of this fixed-point iteration is proved by showing that its rate of contraction is strictly less than one independent of all physical and discretization parameters. The theoretical results are confirmed by a series of numerical tests that compare the new fully decoupled scheme to the very popular partially decoupled fixed-stress split iterative method, which decouples only flow--the flux and pressure fields remain coupled in this case--from the mechanics problem. We further test the performance of the block triangular preconditioner defining the new scheme when used to accelerate the GMRES algorithm.

math.NA

Parameter-robust convergence analysis of fixed-stress split iterative method for multiple-permeability poroelasticity systems

We consider flux-based multiple-porosity/multiple-permeability poroelasticity systems describing multiple-network flow and deformation in a poro-elastic medium, sometimes also referred to as MPET models. The focus of the paper is on the convergence analysis of the fixed-stress split iteration, a commonly used coupling technique for the flow and mechanics equations in poromechanics. We formulate the fixed-stress split method in the present context and prove its linear convergence. The contraction rate of this fixed-point iteration does not depend on any of the physical parameters appearing in the model. The theory is confirmed by numerical results which further demonstrate the advantage of the fixed-stress split scheme over a fully implicit method relying on norm-equivalent preconditioning.

math.NA

Iterative solution and preconditioning for the tangent plane scheme in computational micromagnetics

The tangent plane scheme is a time-marching scheme for the numerical solution of the nonlinear parabolic Landau-Lifshitz-Gilbert equation (LLG), which describes the time evolution of ferromagnetic configurations. Exploiting the geometric structure of LLG, the tangent plane scheme requires only the solution of one linear variational form per time-step, which is posed in the discrete tangent space determined by the nodal values of the current magnetization. We develop an effective solution strategy for the arising constrained linear systems, which is based on appropriate Householder reflections. We derive possible preconditioners, which are (essentially) independent of the time-step, and prove that the preconditioned GMRES algorithm leads to linear convergence. Numerical experiments underpin the theoretical findings.

math.NA

Conservative discretizations and parameter-robust preconditioners for Biot and multiple-network flux-based poroelastic models

The parameters in the governing system of partial differential equations of multicompartmental poroelastic models typically vary over several orders of magnitude making its stable discretization and efficient solution a challenging task. In this paper, inspired by the approach recently presented by Hong and Kraus~[Parameter-robust stability of classical three-field formulation of Biot's consolidation model, ETNA (to appear)] for the Biot model, we prove the uniform stability, and design stable disretizations and parameter-robust preconditioners for flux-based formulations of multiple-network poroelastic systems. Novel parameter-matrix-dependent norms that provide the key for establishing uniform inf-sup stability of the continuous problem are introduced. As a result, the stability estimates presented here are uniform not only with respect to the Lam\'e parameter $\lambda$, but also with respect to all the other model parameters such as permeability coefficients $K_i$, storage coefficients $c_{p_i}$, network transfer coefficients $\beta_{ij}, i,j=1,\cdots,n$, the scale of the networks $n$ and the time step size $\tau$. Moreover, strongly mass conservative discretizations that meet the required conditions for parameter-robust stability are suggested and corresponding optimal error estimates proved. The transfer of the canonical (norm-equivalent) operator preconditioners from the continuous to the discrete level lays the foundation for optimal and fully robust iterative solution methods. The theoretical results are confirmed in numerical experiments that are motivated by practical applications.

math.NA