-
Empirical analysis of Binding Precedent efficiency in the Brazilian Supreme Court via Similar Case Retrieval
Authors:
Raphaël Tinarrage,
Henrique Ennes,
Lucas E. Resck,
Lucas T. Gomes,
Jean R. Ponciano,
Jorge Poco
Abstract:
Binding precedents (Súmulas Vinculantes) constitute a juridical instrument unique to the Brazilian legal system and whose objectives include the protection of the Federal Supreme Court against repetitive demands. Studies of the effectiveness of these instruments in decreasing the Court's exposure to similar cases, however, indicate that they tend to fail in such a direction, with some of the bindi…
▽ More
Binding precedents (Súmulas Vinculantes) constitute a juridical instrument unique to the Brazilian legal system and whose objectives include the protection of the Federal Supreme Court against repetitive demands. Studies of the effectiveness of these instruments in decreasing the Court's exposure to similar cases, however, indicate that they tend to fail in such a direction, with some of the binding precedents seemingly creating new demands. We empirically assess the legal impact of five binding precedents, 11, 14, 17, 26 and 37, at the highest court level through their effects on the legal subjects they address. This analysis is only possible through the comparison of the Court's ruling about the precedents' themes before they are created, which means that these decisions should be detected through techniques of Similar Case Retrieval. The contributions of this article are therefore twofold: on the mathematical side, we compare the uses of different methods of Natural Language Processing -- TF-IDF, LSTM, BERT, and regex -- for Similar Case Retrieval, whereas on the legal side, we contrast the inefficiency of these binding precedents with a set of hypotheses that may justify their repeated usage. We observe that the deep learning models performed significantly worse in the specific Similar Case Retrieval task and that the reasons for binding precedents to fail in responding to repetitive demand are heterogeneous and case-dependent, making it impossible to single out a specific cause.
△ Less
Submitted 23 July, 2024; v1 submitted 9 July, 2024;
originally announced July 2024.
-
Train-Free Segmentation in MRI with Cubical Persistent Homology
Authors:
Anton François,
Raphaël Tinarrage
Abstract:
We describe a new general method for segmentation in MRI scans using Topological Data Analysis (TDA), offering several advantages over traditional machine learning approaches. It works in three steps, first identifying the whole object to segment via automatic thresholding, then detecting a distinctive subset whose topology is known in advance, and finally deducing the various components of the se…
▽ More
We describe a new general method for segmentation in MRI scans using Topological Data Analysis (TDA), offering several advantages over traditional machine learning approaches. It works in three steps, first identifying the whole object to segment via automatic thresholding, then detecting a distinctive subset whose topology is known in advance, and finally deducing the various components of the segmentation. Although convoking classical ideas of TDA, such an algorithm has never been proposed separately from deep learning methods. To achieve this, our approach takes into account, in addition to the homology of the image, the localization of representative cycles, a piece of information that seems never to have been exploited in this context. In particular, it offers the ability to perform segmentation without the need for large annotated data sets. TDA also provides a more interpretable and stable framework for segmentation by explicitly mapping topological features to segmentation components. By adapting the geometric object to be detected, the algorithm can be adjusted to a wide range of data segmentation challenges. We carefully study the examples of glioblastoma segmentation in brain MRI, where a sphere is to be detected, as well as myocardium in cardiac MRI, involving a cylinder, and cortical plate detection in fetal brain MRI, whose 2D slices are circles. We compare our method to state-of-the-art algorithms.
△ Less
Submitted 2 January, 2024;
originally announced January 2024.
-
LieDetect: Detection of representation orbits of compact Lie groups from point clouds
Authors:
Henrique Ennes,
Raphaël Tinarrage
Abstract:
We suggest a new algorithm to estimate representations of compact Lie groups from finite samples of their orbits. Different from other reported techniques, our method allows the retrieval of the precise representation type as a direct sum of irreducible representations. Moreover, the knowledge of the representation type permits the reconstruction of its orbit, which is useful to identify the Lie g…
▽ More
We suggest a new algorithm to estimate representations of compact Lie groups from finite samples of their orbits. Different from other reported techniques, our method allows the retrieval of the precise representation type as a direct sum of irreducible representations. Moreover, the knowledge of the representation type permits the reconstruction of its orbit, which is useful to identify the Lie group that generates the action. Our algorithm is general for any compact Lie group, but only instantiations for SO(2), T^d, SU(2) and SO(3) are considered. Theoretical guarantees of robustness in terms of Hausdorff and Wasserstein distances are derived. Our tools are drawn from geometric measure theory, computational geometry, and optimization on matrix manifolds. The algorithm is tested for synthetic data up to dimension 16, as well as real-life applications in image analysis, harmonic analysis, and classical mechanics systems, achieving very accurate results.
△ Less
Submitted 26 July, 2023;
originally announced September 2023.
-
TDANetVis: Suggesting temporal resolutions for graph visualization using zigzag persistent homology
Authors:
Raphaël Tinarrage,
Jean R. Ponciano,
Claudio D. G. Linhares,
Agma J. M. Traina,
Jorge Poco
Abstract:
Temporal graphs are commonly used to represent complex systems and track the evolution of their constituents over time. Visualizing these graphs is crucial as it allows one to quickly identify anomalies, trends, patterns, and other properties leading to better decision-making. In this context, the to-be-adopted temporal resolution is crucial in constructing and analyzing the layout visually. The c…
▽ More
Temporal graphs are commonly used to represent complex systems and track the evolution of their constituents over time. Visualizing these graphs is crucial as it allows one to quickly identify anomalies, trends, patterns, and other properties leading to better decision-making. In this context, the to-be-adopted temporal resolution is crucial in constructing and analyzing the layout visually. The choice of a resolution is critical, e.g., when dealing with temporally sparse graphs. In such cases, changing the temporal resolution by grouping events (i.e., edges) from consecutive timestamps, a technique known as timeslicing, can aid in the analysis and reveal patterns that might not be discernible otherwise. However, choosing a suitable temporal resolution is not trivial. In this paper, we propose TDANetVis, a methodology that suggests temporal resolutions potentially relevant for analyzing a given graph, i.e., resolutions that lead to substantial topological changes in the graph structure. To achieve this goal, TDANetVis leverages zigzag persistent homology, a well-established technique from Topological Data Analysis (TDA). To enhance visual graph analysis, TDANetVis also incorporates the colored barcode, a novel timeline-based visualization built on the persistence barcodes commonly used in TDA. We demonstrate the usefulness and effectiveness of TDANetVis through a usage scenario and a user study involving 27 participants.
△ Less
Submitted 7 April, 2023;
originally announced April 2023.
-
Simplicial approximation to CW complexes in practice
Authors:
Raphaël Tinarrage
Abstract:
We describe an algorithm that takes as an input a CW complex and returns a simplicial complex of the same homotopy type. This algorithm, although well-known in the literature, requires some work to make it computationally tractable. We pay close attention to weak simplicial approximation, which we implement for two subdivisions methods: generalized barycentric and generalized edgewise subdivisions…
▽ More
We describe an algorithm that takes as an input a CW complex and returns a simplicial complex of the same homotopy type. This algorithm, although well-known in the literature, requires some work to make it computationally tractable. We pay close attention to weak simplicial approximation, which we implement for two subdivisions methods: generalized barycentric and generalized edgewise subdivisions. We also propose a new subdivision process, based on Delaunay complexes. In order to facilitate the computation of a simplicial approximation, we introduce a simplification step, based on edge contractions. We define a new version of simplicial mapping cone, which requires less simplices. Last, we illustrate the algorithm with the real projective spaces, the 3-dimensional lens spaces and the Grassmannian of 2-planes in $\mathbb{R}^4$. As applications of these results, we estimate the discrete Lusternik-Schnirelmann category of our lens spaces, and we compute the persistent Stiefel-Whitney classes of a dataset of plane bundles.
△ Less
Submitted 20 September, 2022; v1 submitted 14 December, 2021;
originally announced December 2021.
-
Computing persistent Stiefel-Whitney classes of line bundles
Authors:
Raphaël Tinarrage
Abstract:
We propose a definition of persistent Stiefel-Whitney classes of vector bundle filtrations. It relies on seeing vector bundles as subsets of some Euclidean spaces. The usual Čech filtration of such a subset can be endowed with a vector bundle structure, that we call a Čech bundle filtration. We show that this construction is stable and consistent. When the dataset is a finite sample of a line bund…
▽ More
We propose a definition of persistent Stiefel-Whitney classes of vector bundle filtrations. It relies on seeing vector bundles as subsets of some Euclidean spaces. The usual Čech filtration of such a subset can be endowed with a vector bundle structure, that we call a Čech bundle filtration. We show that this construction is stable and consistent. When the dataset is a finite sample of a line bundle, we implement an effective algorithm to compute its persistent Stiefel-Whitney classes. In order to use simplicial approximation techniques in practice, we develop a notion of weak simplicial approximation. As a theoretical example, we give an in-depth study of the normal bundle of the circle, which reduces to understanding the persistent cohomology of the torus knot (1,2). We illustrate our method on several datasets inspired by image analysis.
△ Less
Submitted 8 November, 2021; v1 submitted 26 May, 2020;
originally announced May 2020.
-
Recovering the homology of immersed manifolds
Authors:
Raphaël Tinarrage
Abstract:
Given a sample of an abstract manifold immersed in some Euclidean space, we describe a way to recover the singular homology of the original manifold. It consists in estimating its tangent bundle -- seen as subset of another Euclidean space -- in a measure theoretic point of view, and in applying measure-based filtrations for persistent homology. The construction we propose is consistent and stable…
▽ More
Given a sample of an abstract manifold immersed in some Euclidean space, we describe a way to recover the singular homology of the original manifold. It consists in estimating its tangent bundle -- seen as subset of another Euclidean space -- in a measure theoretic point of view, and in applying measure-based filtrations for persistent homology. The construction we propose is consistent and stable, and does not involve the knowledge of the dimension of the manifold. In order to obtain quantitative results, we introduce the normal reach, which is a notion of reach suitable for an immersed manifold.
△ Less
Submitted 4 March, 2023; v1 submitted 6 December, 2019;
originally announced December 2019.
-
DTM-based Filtrations
Authors:
Hirokazu Anai,
Frédéric Chazal,
Marc Glisse,
Yuichi Ike,
Hiroya Inakoshi,
Raphaël Tinarrage,
Yuhei Umeda
Abstract:
Despite strong stability properties, the persistent homology of filtrations classically used in Topological Data Analysis, such as, e.g. the Cech or Vietoris-Rips filtrations, are very sensitive to the presence of outliers in the data from which they are computed. In this paper, we introduce and study a new family of filtrations, the DTM-filtrations, built on top of point clouds in the Euclidean s…
▽ More
Despite strong stability properties, the persistent homology of filtrations classically used in Topological Data Analysis, such as, e.g. the Cech or Vietoris-Rips filtrations, are very sensitive to the presence of outliers in the data from which they are computed. In this paper, we introduce and study a new family of filtrations, the DTM-filtrations, built on top of point clouds in the Euclidean space which are more robust to noise and outliers. The approach adopted in this work relies on the notion of distance-to-measure functions, and extends some previous work on the approximation of such functions.
△ Less
Submitted 26 May, 2020; v1 submitted 12 November, 2018;
originally announced November 2018.