-
Edge densities of drawings of graphs with one forbidden cell
Authors:
Benedikt Hahn,
Torsten Ueckerdt,
Birgit Vogtenhuber
Abstract:
A connected topological drawing of a graph divides the plane into a number of cells. The type of a cell $c$ is the cyclic sequence of crossings and vertices along the boundary walk of $c$. For example, all triangular cells with three incident crossings and no incident vertex share the same cell type. When a non-homotopic drawing of an $n$-vertex multigraph $G$ does not contain any such cells, Acke…
▽ More
A connected topological drawing of a graph divides the plane into a number of cells. The type of a cell $c$ is the cyclic sequence of crossings and vertices along the boundary walk of $c$. For example, all triangular cells with three incident crossings and no incident vertex share the same cell type. When a non-homotopic drawing of an $n$-vertex multigraph $G$ does not contain any such cells, Ackerman and Tardos [JCTA 2007] proved that $G$ has at most $8n-20$ edges, while Kaufmann, Klemz, Knorr, Reddy, Schröder, and Ueckerdt [GD 2024] showed that this bound is tight. In this paper, we initiate the in-depth study of non-homotopic drawings that do not contain one fixed cell type $\mathfrak{c}$, and investigate the edge density of the corresponding multigraphs, i.e., the maximum possible number of edges. We consider non-homotopic as well as simple drawings, multigraphs as well as simple graphs, and every possible type of cell. For every combination of drawing style, graph type, and cell type, we give upper and lower bounds on the corresponding edge density. With the exception of the cell type with four incident crossings and no incident vertex, we show for every cell type $\mathfrak{c}$ that the edge density of $n$-vertex (multi)graphs with $\mathfrak{c}$-free drawings is either quadratic in $n$ or linear in $n$. In most cases, our bounds are tight up to an additive constant. Additionally, we improve the current lower bound on the edge density of simple graphs that admit a non-homotopic quasiplanar drawing from $7n-28$ to $7.5n-28$.
△ Less
Submitted 22 August, 2025;
originally announced August 2025.
-
On the geometric $k$-colored crossing number of $K_n$
Authors:
Benedikt Hahn,
Bettina Klinz,
Birgit Vogtenhuber
Abstract:
We study the \emph{geometric $k$-colored crossing number} of complete graphs $\overline{\overline{\text{cr}}}_k(K_n)$, which is the smallest number of monochromatic crossings in any $k$-edge colored straight-line drawing of $K_n$.
We substantially improve asymptotic upper bounds on $\overline{\overline{\text{cr}}}_k(K_n)$ for $k=2,\ldots, 10$ by developing a procedure for general $k$ that derive…
▽ More
We study the \emph{geometric $k$-colored crossing number} of complete graphs $\overline{\overline{\text{cr}}}_k(K_n)$, which is the smallest number of monochromatic crossings in any $k$-edge colored straight-line drawing of $K_n$.
We substantially improve asymptotic upper bounds on $\overline{\overline{\text{cr}}}_k(K_n)$ for $k=2,\ldots, 10$ by developing a procedure for general $k$ that derives $k$-edge colored drawings of $K_n$ for arbitrarily large $n$ from initial drawings with a low number of monochromatic crossings.
We obtain the latter by heuristic search, employing a \textsc{MAX-$k$-CUT}-formulation of a subproblem in the process.
△ Less
Submitted 23 May, 2025;
originally announced May 2025.
-
Learned RESESOP for solving inverse problems with inexact forward operator
Authors:
Mathias S. Feinler,
Bernadette N. Hahn
Abstract:
When solving inverse problems, one has to deal with numerous potential sources of model inexactnesses, like object motion, calibration errors, or simplified data models. Regularized Sequential Subspace Optimization (ReSeSOp) allows to compensate for such inaccuracies within the reconstruction step by employing consecutive projections onto suitably defined subspaces. However, this approach relies o…
▽ More
When solving inverse problems, one has to deal with numerous potential sources of model inexactnesses, like object motion, calibration errors, or simplified data models. Regularized Sequential Subspace Optimization (ReSeSOp) allows to compensate for such inaccuracies within the reconstruction step by employing consecutive projections onto suitably defined subspaces. However, this approach relies on a priori estimates for the model inexactness levels which are typically unknown. In dynamic imaging applications, where inaccuracies arise from the unpredictable dynamics of the object, these estimates are particularly challenging to determine in advance. To overcome this limitation, we propose a learned version of ReSeSOp which allows to approximate inexactness levels on the fly. The proposed framework generalizes established unrolled iterative reconstruction schemes to inexact forward operators and is particularly tailored to the structure of dynamic problems. We also present a comprehensive mathematical analysis regarding the effect of dependencies within the forward problem, clarifying when and why dividing the overall problem into subproblems is essential. The proposed method is evaluated on various examples from dynamic imaging, including datasets from a rheological CT experiment, brain MRI, and real-time cardiac MRI. The respective results emphasize improvements in reconstruction quality while ensuring adequate data consistency.
△ Less
Submitted 14 November, 2024; v1 submitted 30 October, 2024;
originally announced October 2024.
-
GAN-based iterative motion estimation in HASTE MRI
Authors:
Mathias S. Feinler,
Bernadette N. Hahn
Abstract:
Magnetic Resonance Imaging allows high resolution data acquisition with the downside of motion sensitivity due to relatively long acquisition times. Even during the acquisition of a single 2D slice, motion can severely corrupt the image. Retrospective motion correction strategies do not interfere during acquisition time but operate on the motion affected data. Known methods suited to this scenario…
▽ More
Magnetic Resonance Imaging allows high resolution data acquisition with the downside of motion sensitivity due to relatively long acquisition times. Even during the acquisition of a single 2D slice, motion can severely corrupt the image. Retrospective motion correction strategies do not interfere during acquisition time but operate on the motion affected data. Known methods suited to this scenario are compressed sensing (CS), generative adversarial networks (GANs), and explicit motion estimation. In this paper we propose an iterative approach which uses GAN predictions for motion estimation. The motion estimates allow to provide data consistent reconstructions and can improve reconstruction quality and reliability. With this approach, a clinical application of motion estimation is feasible without any further requirements on the acquisition trajectory i.e. no temporal redundancy is needed. We evaluate our proposed supervised network on motion corrupted HASTE acquisitions of brain and abdomen.
△ Less
Submitted 11 April, 2024;
originally announced April 2024.
-
Dynamic image reconstruction in MPI with RESESOP-Kaczmarz
Authors:
Marius Nitzsche,
Bernadette N Hahn
Abstract:
In Magnetic Particle Imaging (MPI), it is typically assumed that the studied specimen is stationary during the data acquisition. In practical applications however, the searched-for 3D distribution of the magnetic nanoparticles might show a dynamic behavior, caused by e.g. breathing or movement of the blood. Neglecting those dynamics during the reconstruction step results in motion artifacts and a…
▽ More
In Magnetic Particle Imaging (MPI), it is typically assumed that the studied specimen is stationary during the data acquisition. In practical applications however, the searched-for 3D distribution of the magnetic nanoparticles might show a dynamic behavior, caused by e.g. breathing or movement of the blood. Neglecting those dynamics during the reconstruction step results in motion artifacts and a reduced image quality.
This article addresses the challenge of capturing high quality images in the presence of motion. A promising technique provides the Regularized Sequential Subspace Optimization (RESESOP) algorithm, which takes dynamics as model inexactness into account, significantly improving reconstruction compared to standard static algorithms like regularized Kaczmarz. Notably, this algorithm operates with minimal prior information and the method allows for subframe reconstruction, making it suitable for scenarios with rapid particle movement. The performance of the proposed method is demonstrated on both simulated and real data sets.
△ Less
Submitted 25 January, 2024;
originally announced January 2024.
-
Retrospective Motion Correction in Gradient Echo MRI by Explicit Motion Estimation Using Deep CNNs
Authors:
Mathias S. Feinler,
Bernadette N. Hahn
Abstract:
Magnetic Resonance Imaging allows high resolution data acquisition with the downside of motion sensitivity due to relatively long acquisition times. Even during the acquisition of a single 2D slice, motion can severely corrupt the image. Retrospective motion correction strategies do not interfere during acquisition time but operate on the motion affected data. Known methods suited to this scenario…
▽ More
Magnetic Resonance Imaging allows high resolution data acquisition with the downside of motion sensitivity due to relatively long acquisition times. Even during the acquisition of a single 2D slice, motion can severely corrupt the image. Retrospective motion correction strategies do not interfere during acquisition time but operate on the motion affected data. Known methods suited to this scenario are compressed sensing (CS), generative adversarial networks (GANs), and motion estimation. In this paper we propose a strategy to correct for motion artifacts using Deep Convolutional Neuronal Networks (Deep CNNs) in a reliable and verifiable manner by explicit motion estimation. The sensitivity encoding (SENSE) redundancy that multiple receiver coils provide, has in the past been used for acceleration, noise reduction and rigid motion compensation. We show that using Deep CNNs the concepts of rigid motion compensation can be generalized to more complex motion fields. Using a simulated synthetic data set, our proposed supervised network is evaluated on motion corrupted MRIs of abdomen and head. We compare our results with rigid motion compensation and GANs.
△ Less
Submitted 30 March, 2023;
originally announced March 2023.
-
A class of regularizations based on nonlinear isotropic diffusion for inverse problems
Authors:
Bernadette N. Hahn,
Gael Rigaud,
Richard Schmähl
Abstract:
Building on the well-known total-variation (TV), this paper develops a general regularization technique based on nonlinear isotropic diffusion (NID) for inverse problems with piecewise smooth solutions. The novelty of our approach is to be adaptive (we speak of A-NID) i.e. the regularization varies during the iterates in order to incorporate prior information on the edges, deal with the evolution…
▽ More
Building on the well-known total-variation (TV), this paper develops a general regularization technique based on nonlinear isotropic diffusion (NID) for inverse problems with piecewise smooth solutions. The novelty of our approach is to be adaptive (we speak of A-NID) i.e. the regularization varies during the iterates in order to incorporate prior information on the edges, deal with the evolution of the reconstruction and circumvent the limitations due to the non-convexity of the proposed functionals. After a detailed analysis of the convergence and well-posedness of the method, this latter is validated by simulations perfomed on computerized tomography (CT).
△ Less
Submitted 24 August, 2021;
originally announced August 2021.
-
Using the Navier-Cauchy equation for motion estimation in dynamic imaging
Authors:
B. N. Hahn,
M. -L. Kienle-Garrido,
C. Klingenberg,
S. Warnecke
Abstract:
Tomographic image reconstruction is well understood if the specimen being studied is stationary during data acquisition. However, if this specimen changes during the measuring process, standard reconstruction techniques can lead to severe motion artefacts in the computed images. Solving a dynamic reconstruction problem therefore requires to model and incorporate suitable information on the dynamic…
▽ More
Tomographic image reconstruction is well understood if the specimen being studied is stationary during data acquisition. However, if this specimen changes during the measuring process, standard reconstruction techniques can lead to severe motion artefacts in the computed images. Solving a dynamic reconstruction problem therefore requires to model and incorporate suitable information on the dynamics in the reconstruction step to compensate for the motion.
Many dynamic processes can be described by partial differential equations which thus could serve as additional information for the purpose of motion compensation. In this article, we consider the Navier-Cauchy equation which characterizes small elastic deformations and serves, for instance, as a model for respiratory motion. Our goal is to provide a proof-of-concept that by incorporating the deformation fields provided by this PDE, one can reduce the respective motion artefacts in the reconstructed image. To this end, we solve the Navier-Cauchy equation prior to the image reconstruction step using suitable initial and boundary data. Then, the thus computed deformation fields are incorporated into an analytic dynamic reconstruction method to compute an image of the unknown interior structure. The feasibility is illustrated with numerical examples from computerized tomography.
△ Less
Submitted 12 April, 2022; v1 submitted 9 September, 2020;
originally announced September 2020.
-
Detectable singularities from dynamic Radon data
Authors:
Bernadette N. Hahn,
Eric Todd Quinto
Abstract:
In this paper, we use microlocal analysis to understand what X-ray tomographic data acquisition does to singularities of an object which changes during the measuring process. Depending on the motion model, we study which singularities are detected by the measured data. In particular, this analysis shows that, due to the dynamic behavior, not all singularities might be detected, even if the radiati…
▽ More
In this paper, we use microlocal analysis to understand what X-ray tomographic data acquisition does to singularities of an object which changes during the measuring process. Depending on the motion model, we study which singularities are detected by the measured data. In particular, this analysis shows that, due to the dynamic behavior, not all singularities might be detected, even if the radiation source performs a complete turn around the object. Thus, they cannot be expected to be (stably) visible in any reconstruction. On the other hand, singularities could be added (or masked) as well. To understand this precisely, we provide a characterization of visible and added singularities by analyzing the microlocal properties of the forward and reconstruction operators. We illustrate the characterization using numerical examples.
△ Less
Submitted 5 January, 2016;
originally announced January 2016.
