-
A Brillouin torus decomposition for two-dimensional topological insulators
Authors:
F. Kordon,
J. Fernández,
P. Roura-Bas
Abstract:
Two-band Chern insulators are topologically classified by the Chern number, $c$, which is given by the integral of the Berry curvature of the occupied band over the Brillouin torus. The curvature itself comes from the imaginary part of a more basic object, the quantum geometric tensor, $Q$. On the other hand, the integral over the Brillouin torus of the real part of $Q$ gives rise to another magni…
▽ More
Two-band Chern insulators are topologically classified by the Chern number, $c$, which is given by the integral of the Berry curvature of the occupied band over the Brillouin torus. The curvature itself comes from the imaginary part of a more basic object, the quantum geometric tensor, $Q$. On the other hand, the integral over the Brillouin torus of the real part of $Q$ gives rise to another magnitude, the quantum volume, $v_{g}$, that like $c$, jumps when the system undergoes a topological phase transition and satisfies the inequality $v_{g}\ge 2\vert c \vert$. The information contained in $v_g$ about the topology of the system has been investigated recently. In this paper we present new results regarding the underlying geometric structure of two-dimensional two-band topological insulators. Since a generic model describing the system can be characterized by a map, the classifying map, from the Brillouin torus to the two-sphere, we study its properties at the geometric level. We present a procedure for splitting the Brillouin torus into different sectors in such a way that the classifying map when restricted to each of them is a local diffeomorphism. By doing so, in the topological phases we are able to isolate a region contained in the Brillouin torus whose volume is the minimal one, $v_{min}=2\vert c \vert$ and the integral of the Berry curvature on it is $c$. For cases in which $v_{g}> 2\vert c \vert$, the regions contributing to the excess of volume, $v_{ex}=v_{g}-2\vert c \vert$, are found and characterized. In addition, the present work makes contact with, and clarifies, some interpretations of the quantum volume in terms of the Euler characteristic number that were done in the recent literature. We illustrate our findings with a careful analysis of some selected models for Chern insulators corresponding to tight-binding Hamiltonians.
△ Less
Submitted 6 June, 2024; v1 submitted 28 August, 2023;
originally announced August 2023.
-
Handling Label Uncertainty on the Example of Automatic Detection of Shepherd's Crook RCA in Coronary CT Angiography
Authors:
Felix Denzinger,
Michael Wels,
Oliver Taubmann,
Florian Kordon,
Fabian Wagner,
Stephanie Mehltretter,
Mehmet A. Gülsün,
Max Schöbinger,
Florian André,
Sebastian Buss,
Johannes Görich,
Michael Sühling,
Andreas Maier
Abstract:
Coronary artery disease (CAD) is often treated minimally invasively with a catheter being inserted into the diseased coronary vessel. If a patient exhibits a Shepherd's Crook (SC) Right Coronary Artery (RCA) - an anatomical norm variant of the coronary vasculature - the complexity of this procedure is increased. Automated reporting of this variant from coronary CT angiography screening would ease…
▽ More
Coronary artery disease (CAD) is often treated minimally invasively with a catheter being inserted into the diseased coronary vessel. If a patient exhibits a Shepherd's Crook (SC) Right Coronary Artery (RCA) - an anatomical norm variant of the coronary vasculature - the complexity of this procedure is increased. Automated reporting of this variant from coronary CT angiography screening would ease prior risk assessment. We propose a 1D convolutional neural network which leverages a sequence of residual dilated convolutions to automatically determine this norm variant from a prior extracted vessel centerline. As the SC RCA is not clearly defined with respect to concrete measurements, labeling also includes qualitative aspects. Therefore, 4.23% samples in our dataset of 519 RCA centerlines were labeled as unsure SC RCAs, with 5.97% being labeled as sure SC RCAs. We explore measures to handle this label uncertainty, namely global/model-wise random assignment, exclusion, and soft label assignment. Furthermore, we evaluate how this uncertainty can be leveraged for the determination of a rejection class. With our best configuration, we reach an area under the receiver operating characteristic curve (AUC) of 0.938 on confident labels. Moreover, we observe an increase of up to 0.020 AUC when rejecting 10% of the data and leveraging the labeling uncertainty information in the exclusion process.
△ Less
Submitted 22 May, 2023;
originally announced June 2023.
-
Combining OCR Models for Reading Early Modern Printed Books
Authors:
Mathias Seuret,
Janne van der Loop,
Nikolaus Weichselbaumer,
Martin Mayr,
Janina Molnar,
Tatjana Hass,
Florian Kordon,
Anguelos Nicolau,
Vincent Christlein
Abstract:
In this paper, we investigate the usage of fine-grained font recognition on OCR for books printed from the 15th to the 18th century. We used a newly created dataset for OCR of early printed books for which fonts are labeled with bounding boxes. We know not only the font group used for each character, but the locations of font changes as well. In books of this period, we frequently find font group…
▽ More
In this paper, we investigate the usage of fine-grained font recognition on OCR for books printed from the 15th to the 18th century. We used a newly created dataset for OCR of early printed books for which fonts are labeled with bounding boxes. We know not only the font group used for each character, but the locations of font changes as well. In books of this period, we frequently find font group changes mid-line or even mid-word that indicate changes in language. We consider 8 different font groups present in our corpus and investigate 13 different subsets: the whole dataset and text lines with a single font, multiple fonts, Roman fonts, Gothic fonts, and each of the considered fonts, respectively. We show that OCR performance is strongly impacted by font style and that selecting fine-tuned models with font group recognition has a very positive impact on the results. Moreover, we developed a system using local font group recognition in order to combine the output of multiple font recognition models, and show that while slower, this approach performs better not only on text lines composed of multiple fonts but on the ones containing a single font only as well.
△ Less
Submitted 11 May, 2023;
originally announced May 2023.
-
Center and Lie algebra of outer derivations for algebras of differential operators associated to hyperplane arrangements
Authors:
Francisco Kordon,
Thierry Lambre
Abstract:
We compute the center and the Lie algebra of outer derivations of a familiy of algebras of differential operators associated to hyperplane arrangements of the affine space A 3. The results are completed for 4-braid arrangements and for reflection arrangements associated to the wreath product of a cyclic group with the symmetric group S 3. To achieve this we use tools from homological algebra and L…
▽ More
We compute the center and the Lie algebra of outer derivations of a familiy of algebras of differential operators associated to hyperplane arrangements of the affine space A 3. The results are completed for 4-braid arrangements and for reflection arrangements associated to the wreath product of a cyclic group with the symmetric group S 3. To achieve this we use tools from homological algebra and Lie-Rinehart algebras of differential operators.
△ Less
Submitted 30 May, 2022;
originally announced May 2022.
-
Segmentation of the Carotid Lumen and Vessel Wall using Deep Learning and Location Priors
Authors:
Florian Thamm,
Felix Denzinger,
Leonhard Rist,
Celia Martin Vicario,
Florian Kordon,
Andreas Maier
Abstract:
In this report we want to present our method and results for the Carotid Artery Vessel Wall Segmentation Challenge. We propose an image-based pipeline utilizing the U-Net architecture and location priors to solve the segmentation problem at hand.
In this report we want to present our method and results for the Carotid Artery Vessel Wall Segmentation Challenge. We propose an image-based pipeline utilizing the U-Net architecture and location priors to solve the segmentation problem at hand.
△ Less
Submitted 14 May, 2022; v1 submitted 17 January, 2022;
originally announced January 2022.
-
View-Consistent Metal Segmentation in the Projection Domain for Metal Artifact Reduction in CBCT -- An Investigation of Potential Improvement
Authors:
Tristan M. Gottschalk,
Andreas Maier,
Florian Kordon,
Björn W. Kreher
Abstract:
The positive outcome of a trauma intervention depends on an intraoperative evaluation of inserted metallic implants. Due to occurring metal artifacts, the quality of this evaluation heavily depends on the performance of so-called Metal Artifact Reduction methods (MAR). The majority of these MAR methods require prior segmentation of the inserted metal objects. Therefore, typically a rather simple t…
▽ More
The positive outcome of a trauma intervention depends on an intraoperative evaluation of inserted metallic implants. Due to occurring metal artifacts, the quality of this evaluation heavily depends on the performance of so-called Metal Artifact Reduction methods (MAR). The majority of these MAR methods require prior segmentation of the inserted metal objects. Therefore, typically a rather simple thresholding-based segmentation method in the reconstructed 3D volume is applied, despite some major disadvantages. With this publication, the potential of shifting the segmentation task to a learning-based, view-consistent 2D projection-based method on the downstream MAR's outcome is investigated. For segmenting the present metal, a rather simple learning-based 2D projection-wise segmentation network that is trained using real data acquired during cadaver studies, is examined. To overcome the disadvantages that come along with a 2D projection-wise segmentation, a Consistency Filter is proposed. The influence of the shifted segmentation domain is investigated by comparing the results of the standard fsMAR with a modified fsMAR version using the new segmentation masks. With a quantitative and qualitative evaluation on real cadaver data, the investigated approach showed an increased MAR performance and a high insensitivity against metal artifacts. For cases with metal outside the reconstruction's FoV or cases with vanishing metal, a significant reduction in artifacts could be shown. Thus, increases of up to roughly 3 dB w.r.t. the mean PSNR metric over all slices and up to 9 dB for single slices were achieved. The shown results reveal a beneficial influence of the shift to a 2D-based segmentation method on real data for downstream use with a MAR method, like the fsMAR.
△ Less
Submitted 3 December, 2021;
originally announced December 2021.
-
Automatic Plane Adjustment of Orthopedic Intra-operative Flat Panel Detector CT-Volumes
Authors:
Celia Martin Vicario,
Florian Kordon,
Felix Denzinger,
Jan Siad El Barbari,
Maxim Privalov,
Jochen Franke,
Sarina Thomas,
Lisa Kausch,
Andreas Maier,
Holger Kunze
Abstract:
Purpose
3D acquisitions are often acquired to assess the result in orthopedic trauma surgery. With a mobile C-Arm system, these acquisitions can be performed intra-operatively. That reduces the number of required revision surgeries. However, due to the operation room setup, the acquisitions typically cannot be performed such that the acquired volumes are aligned to the anatomical regions. Thus,…
▽ More
Purpose
3D acquisitions are often acquired to assess the result in orthopedic trauma surgery. With a mobile C-Arm system, these acquisitions can be performed intra-operatively. That reduces the number of required revision surgeries. However, due to the operation room setup, the acquisitions typically cannot be performed such that the acquired volumes are aligned to the anatomical regions. Thus, the multiplanar reconstructed (MPR) planes need to be adjusted manually during the review of the volume. In this paper, we present a detailed study of multi-task learning (MTL) regression networks to estimate the parameters of the MPR planes.
Approach
First, various mathematical descriptions for rotation, including Euler angle, quaternion, and matrix representation, are revised. Then, three different MTL network architectures based on the PoseNet are compared with a single task learning network.
Results
Using a matrix description rather than the Euler angle description, the accuracy of the regressed normals improves from $7.7^{\circ}$ to $7.3^{\circ}$ in the mean value for single anatomies. The multi-head approach improves the regression of the plane position from $7.4mm$ to $6.1mm$, while the orientation does not benefit from this approach.
Conclusions
The results show that a multi-head approach can lead to slightly better results than the individual tasks networks. The most important benefit of the MTL approach is that it is a single network for standard plane regression for all body regions with a reduced number of stored parameters.
△ Less
Submitted 15 September, 2021;
originally announced September 2021.
-
Learning-Based Patch-Wise Metal Segmentation with Consistency Check
Authors:
Tristan M. Gottschalk,
Andreas Maier,
Florian Kordon,
Björn W. Kreher
Abstract:
Metal implants that are inserted into the patient's body during trauma interventions cause heavy artifacts in 3D X-ray acquisitions. Metal Artifact Reduction (MAR) methods, whose first step is always a segmentation of the present metal objects, try to remove these artifacts. Thereby, the segmentation is a crucial task which has strong influence on the MAR's outcome. This study proposes and evaluat…
▽ More
Metal implants that are inserted into the patient's body during trauma interventions cause heavy artifacts in 3D X-ray acquisitions. Metal Artifact Reduction (MAR) methods, whose first step is always a segmentation of the present metal objects, try to remove these artifacts. Thereby, the segmentation is a crucial task which has strong influence on the MAR's outcome. This study proposes and evaluates a learning-based patch-wise segmentation network and a newly proposed Consistency Check as post-processing step. The combination of the learned segmentation and Consistency Check reaches a high segmentation performance with an average IoU score of 0.924 on the test set. Furthermore, the Consistency Check proves the ability to significantly reduce false positive segmentations whilst simultaneously ensuring consistent segmentations.
△ Less
Submitted 26 January, 2021;
originally announced January 2021.
-
Automatic Plane Adjustment of Orthopedic Intraoperative Flat Panel Detector CT-Volumes
Authors:
Celia Martín Vicario,
Florian Kordon,
Felix Denzinger,
Markus Weiten,
Sarina Thomas,
Lisa Kausch,
Jochen Franke,
Holger Keil,
Andreas Maier,
Holger Kunze
Abstract:
Flat panel computed tomography is used intraoperatively to assess the result of surgery. Due to workflow issues, the acquisition typically cannot be carried out in such a way that the axis aligned multiplanar reconstructions (MPR) of the volume match the anatomically aligned MPRs. This needs to be performed manually, adding additional effort during viewing the datasets. A PoseNet convolutional neu…
▽ More
Flat panel computed tomography is used intraoperatively to assess the result of surgery. Due to workflow issues, the acquisition typically cannot be carried out in such a way that the axis aligned multiplanar reconstructions (MPR) of the volume match the anatomically aligned MPRs. This needs to be performed manually, adding additional effort during viewing the datasets. A PoseNet convolutional neural network (CNN) is trained such that parameters of anatomically aligned MPR planes are regressed. Different mathematical approaches to describe plane rotation are compared, as well as a cost function is optimized to incorporate orientation constraints. The CNN is evaluated on two anatomical regions. For one of these regions, one plane is not orthogonal to the other two planes. The plane's normal can be estimated with a median accuracy of 5°, the in-plane rotation with an accuracy of 6°, and the position with an accuracy of 6 mm. Compared to state-of-the-art algorithms the labeling effort for this method is much lower as no segmentation is required. The computation time during inference is less than 0.05 s.
△ Less
Submitted 7 July, 2020;
originally announced July 2020.
-
Contour-based Bone Axis Detection for X-Ray Guided Surgery on the Knee
Authors:
Florian Kordon,
Andreas Maier,
Benedict Swartman,
Maxim Privalov,
Jan Siad El Barbari,
Holger Kunze
Abstract:
The anatomical axis of long bones is an important reference line for guiding fracture reduction and assisting in the correct placement of guide pins, screws, and implants in orthopedics and trauma surgery. This study investigates an automatic approach for detection of such axes on X-ray images based on the segmentation contour of the bone. For this purpose, we use the medically established two-lin…
▽ More
The anatomical axis of long bones is an important reference line for guiding fracture reduction and assisting in the correct placement of guide pins, screws, and implants in orthopedics and trauma surgery. This study investigates an automatic approach for detection of such axes on X-ray images based on the segmentation contour of the bone. For this purpose, we use the medically established two-line method and translate it into a learning-based approach. The proposed method is evaluated on 38 clinical test images of the femoral and tibial bone and achieves a median angulation error of 0.19° and 0.33° respectively. An inter-rater study with three trauma surgery experts confirms reliability of the method and recommends further clinical application.
△ Less
Submitted 5 July, 2020;
originally announced July 2020.
-
Lie-Rinehart and Hochschild cohomology for algebras of differential operators
Authors:
Francisco Kordon,
Thierry Lambre
Abstract:
Let $(S,L)$ be a Lie-Rinehart algebra such that $L$ is $S$-projective and let $U$ be its universal envelo** algebra. In this paper we present a spectral sequence which converges to the Hochschild cohomology of $U$ with values on a $U$-bimodule $M$ and whose second page involves the Lie-Rinehart cohomology of the algebra and the Hochschild cohomology of $S$ with values on $M$. After giving a conv…
▽ More
Let $(S,L)$ be a Lie-Rinehart algebra such that $L$ is $S$-projective and let $U$ be its universal envelo** algebra. In this paper we present a spectral sequence which converges to the Hochschild cohomology of $U$ with values on a $U$-bimodule $M$ and whose second page involves the Lie-Rinehart cohomology of the algebra and the Hochschild cohomology of $S$ with values on $M$. After giving a convenient description of the involved algebraic structures we use the spectral sequence to compute explicitly the Hochschild cohomology of the algebra of differential operators tangent to a central arrangement of three lines.
△ Less
Submitted 1 June, 2020;
originally announced June 2020.
-
Multi-task Localization and Segmentation for X-ray Guided Planning in Knee Surgery
Authors:
Florian Kordon,
Peter Fischer,
Maxim Privalov,
Benedict Swartman,
Marc Schnetzke,
Jochen Franke,
Ruxandra Lasowski,
Andreas Maier,
Holger Kunze
Abstract:
X-ray based measurement and guidance are commonly used tools in orthopaedic surgery to facilitate a minimally invasive workflow. Typically, a surgical planning is first performed using knowledge of bone morphology and anatomical landmarks. Information about bone location then serves as a prior for registration during overlay of the planning on intra-operative X-ray images. Performing these steps m…
▽ More
X-ray based measurement and guidance are commonly used tools in orthopaedic surgery to facilitate a minimally invasive workflow. Typically, a surgical planning is first performed using knowledge of bone morphology and anatomical landmarks. Information about bone location then serves as a prior for registration during overlay of the planning on intra-operative X-ray images. Performing these steps manually however is prone to intra-rater/inter-rater variability and increases task complexity for the surgeon. To remedy these issues, we propose an automatic framework for planning and subsequent overlay. We evaluate it on the example of femoral drill site planning for medial patellofemoral ligament reconstruction surgery. A deep multi-task stacked hourglass network is trained on 149 conventional lateral X-ray images to jointly localize two femoral landmarks, to predict a region of interest for the posterior femoral cortex tangent line, and to perform semantic segmentation of the femur, patella, tibia, and fibula with adaptive task complexity weighting. On 38 clinical test images the framework achieves a median localization error of 1.50 mm for the femoral drill site and mean IOU scores of 0.99, 0.97, 0.98, and 0.96 for the femur, patella, tibia, and fibula respectively. The demonstrated approach consistently performs surgical planning at expert-level precision without the need for manual correction.
△ Less
Submitted 24 July, 2019;
originally announced July 2019.
-
The Hochschild cohomology of the envelo** algebra of a Lie-Rinehart pair
Authors:
Francisco Kordon
Abstract:
Let $(S,L)$ be a Lie-Rinehart pair such that $L$ is $S$-projective and let $U$ be its universal envelo** algebra. The purpose of this paper is to present a spectral sequence which converges to the Hochschild cohomology of $U$ and whose second page involves the Lie-Rinehart cohomology of the pair and the Hochschild cohomology of $S$ with values on $U$.
Let $(S,L)$ be a Lie-Rinehart pair such that $L$ is $S$-projective and let $U$ be its universal envelo** algebra. The purpose of this paper is to present a spectral sequence which converges to the Hochschild cohomology of $U$ and whose second page involves the Lie-Rinehart cohomology of the pair and the Hochschild cohomology of $S$ with values on $U$.
△ Less
Submitted 3 June, 2020; v1 submitted 5 October, 2018;
originally announced October 2018.
-
Hochschild cohomology of algebras of differential operators tangent to a central arrangement of lines
Authors:
Francisco Kordon,
Mariano Suárez-Álvarez
Abstract:
Given a central arrangement of lines $\mathcal{A}$ in a $2$-dimensional vector space $V$ over a field of characteristic zero, we study the algebra $\mathcal D(\mathcal A)$ of differential operators on $V$ which are logarithmic along $\mathcal A$. Among other things we determine the Hochschild cohomology of $\mathcal D(\mathcal A)$ as a Gerstenhaber algebra, establish a connection between that coho…
▽ More
Given a central arrangement of lines $\mathcal{A}$ in a $2$-dimensional vector space $V$ over a field of characteristic zero, we study the algebra $\mathcal D(\mathcal A)$ of differential operators on $V$ which are logarithmic along $\mathcal A$. Among other things we determine the Hochschild cohomology of $\mathcal D(\mathcal A)$ as a Gerstenhaber algebra, establish a connection between that cohomology and the de Rham cohomology of the complement $M(\mathcal A)$ of the arrangement, determine the isomorphism group of $\mathcal D(\mathcal A)$ and classify the algebras of that form up to isomorphism.
△ Less
Submitted 26 July, 2018;
originally announced July 2018.
-
Model Checking Contest @ Petri Nets, Report on the 2013 edition
Authors:
Fabrice Kordon,
Alban Linard,
Marco Beccuti,
Didier Buchs,
Łukasz Fronc,
Lom-Messan Hillah,
Francis Hulin-Hubard,
Fabrice Legond-Aubry,
Niels Lohmann,
Alexis Marechal,
Emmanuel Paviot-Adet,
Franck Pommereau,
César Rodríguez,
Christian Rohr,
Yann Thierry-Mieg,
Harro Wimmel,
Karsten Wolf
Abstract:
This document presents the results of the Model Checking Contest held at Petri Nets 2013 in Milano. This contest aimed at a fair and experimental evaluation of the performances of model checking techniques applied to Petri nets. This is the third edition after two successful editions in 2011 and 2012.
The participating tools were compared on several examinations (state space generation and evalu…
▽ More
This document presents the results of the Model Checking Contest held at Petri Nets 2013 in Milano. This contest aimed at a fair and experimental evaluation of the performances of model checking techniques applied to Petri nets. This is the third edition after two successful editions in 2011 and 2012.
The participating tools were compared on several examinations (state space generation and evaluation of several types of formulæ -- reachability, LTL, CTL for various classes of atomic propositions) run on a set of common models (Place/Transition and Symmetric Petri nets).
After a short overview of the contest, this paper provides the raw results from the contest, model per model and examination per examination. An HTML version of this report is also provided (http://mcc.lip6.fr).
△ Less
Submitted 10 September, 2013;
originally announced September 2013.
-
Raw Report on the Model Checking Contest at Petri Nets 2012
Authors:
F. Kordon,
A. Linard,
D. Buchs,
M. Colange,
S. Evangelista,
L. Fronc,
L. M. Hillah,
N. Lohmann,
E. Paviot-Adet,
F Pommereau,
C. Rohr,
Y. Thierry-Mieg,
H. Wimmel,
K. Wolf
Abstract:
This article presents the results of the Model Checking Contest held at Petri Nets 2012 in Hambourg. This contest aimed at a fair and experimental evaluation of the performances of model checking techniques applied to Petri nets. This is the second edition after a successful one in 2011.
The participating tools were compared on several examinations (state space generation and evaluation of sever…
▽ More
This article presents the results of the Model Checking Contest held at Petri Nets 2012 in Hambourg. This contest aimed at a fair and experimental evaluation of the performances of model checking techniques applied to Petri nets. This is the second edition after a successful one in 2011.
The participating tools were compared on several examinations (state space generation and evaluation of several types of formulae - structural, reachability, LTL, CTL) run on a set of common models (Place/Transition and Symmetric Petri nets).
After a short overview of the contest, this paper provides the raw results from the context, model per model and examination per examination.
△ Less
Submitted 8 September, 2012;
originally announced September 2012.