-
Ontology-Driven and Weakly Supervised Rare Disease Identification from Clinical Notes
Authors:
Hang Dong,
Víctor Suárez-Paniagua,
Huayu Zhang,
Minhong Wang,
Arlene Casey,
Emma Davidson,
Jiaoyan Chen,
Beatrice Alex,
William Whiteley,
Honghan Wu
Abstract:
Computational text phenoty** is the practice of identifying patients with certain disorders and traits from clinical notes. Rare diseases are challenging to be identified due to few cases available for machine learning and the need for data annotation from domain experts. We propose a method using ontologies and weak supervision, with recent pre-trained contextual representations from Bi-directi…
▽ More
Computational text phenoty** is the practice of identifying patients with certain disorders and traits from clinical notes. Rare diseases are challenging to be identified due to few cases available for machine learning and the need for data annotation from domain experts. We propose a method using ontologies and weak supervision, with recent pre-trained contextual representations from Bi-directional Transformers (e.g. BERT). The ontology-based framework includes two steps: (i) Text-to-UMLS, extracting phenotypes by contextually linking mentions to concepts in Unified Medical Language System (UMLS), with a Named Entity Recognition and Linking (NER+L) tool, SemEHR, and weak supervision with customised rules and contextual mention representation; (ii) UMLS-to-ORDO, matching UMLS concepts to rare diseases in Orphanet Rare Disease Ontology (ORDO). The weakly supervised approach is proposed to learn a phenotype confirmation model to improve Text-to-UMLS linking, without annotated data from domain experts. We evaluated the approach on three clinical datasets, MIMIC-III discharge summaries, MIMIC-III radiology reports, and NHS Tayside brain imaging reports from two institutions in the US and the UK, with annotations. The improvements in the precision were pronounced (by over 30% to 50% absolute score for Text-to-UMLS linking), with almost no loss of recall compared to the existing NER+L tool, SemEHR. Results on radiology reports from MIMIC-III and NHS Tayside were consistent with the discharge summaries. The overall pipeline processing clinical notes can extract rare disease cases, mostly uncaptured in structured data (manually assigned ICD codes). We discuss the usefulness of the weak supervision approach and propose directions for future studies.
△ Less
Submitted 3 May, 2023; v1 submitted 11 May, 2022;
originally announced May 2022.
-
Automated Clinical Coding: What, Why, and Where We Are?
Authors:
Hang Dong,
Matúš Falis,
William Whiteley,
Beatrice Alex,
Joshua Matterson,
Shaoxiong Ji,
Jiaoyan Chen,
Honghan Wu
Abstract:
Clinical coding is the task of transforming medical information in a patient's health records into structured codes so that they can be used for statistical analysis. This is a cognitive and time-consuming task that follows a standard process in order to achieve a high level of consistency. Clinical coding could potentially be supported by an automated system to improve the efficiency and accuracy…
▽ More
Clinical coding is the task of transforming medical information in a patient's health records into structured codes so that they can be used for statistical analysis. This is a cognitive and time-consuming task that follows a standard process in order to achieve a high level of consistency. Clinical coding could potentially be supported by an automated system to improve the efficiency and accuracy of the process. We introduce the idea of automated clinical coding and summarise its challenges from the perspective of Artificial Intelligence (AI) and Natural Language Processing (NLP), based on the literature, our project experience over the past two and half years (late 2019 - early 2022), and discussions with clinical coding experts in Scotland and the UK. Our research reveals the gaps between the current deep learning-based approach applied to clinical coding and the need for explainability and consistency in real-world practice. Knowledge-based methods that represent and reason the standard, explainable process of a task may need to be incorporated into deep learning-based methods for clinical coding. Automated clinical coding is a promising task for AI, despite the technical and organisational challenges. Coders are needed to be involved in the development process. There is much to achieve to develop and deploy an AI-based automated system to support coding in the next five years and beyond.
△ Less
Submitted 9 October, 2022; v1 submitted 21 March, 2022;
originally announced March 2022.
-
A Systematic Review of Natural Language Processing Applied to Radiology Reports
Authors:
Arlene Casey,
Emma Davidson,
Michael Poon,
Hang Dong,
Daniel Duma,
Andreas Grivas,
Claire Grover,
Víctor Suárez-Paniagua,
Richard Tobin,
William Whiteley,
Honghan Wu,
Beatrice Alex
Abstract:
NLP has a significant role in advancing healthcare and has been found to be key in extracting structured information from radiology reports. Understanding recent developments in NLP application to radiology is of significance but recent reviews on this are limited. This study systematically assesses recent literature in NLP applied to radiology reports. Our automated literature search yields 4,799…
▽ More
NLP has a significant role in advancing healthcare and has been found to be key in extracting structured information from radiology reports. Understanding recent developments in NLP application to radiology is of significance but recent reviews on this are limited. This study systematically assesses recent literature in NLP applied to radiology reports. Our automated literature search yields 4,799 results using automated filtering, metadata enriching steps and citation search combined with manual review. Our analysis is based on 21 variables including radiology characteristics, NLP methodology, performance, study, and clinical application characteristics. We present a comprehensive analysis of the 164 publications retrieved with each categorised into one of 6 clinical application categories. Deep learning use increases but conventional machine learning approaches are still prevalent. Deep learning remains challenged when data is scarce and there is little evidence of adoption into clinical practice. Despite 17% of studies reporting greater than 0.85 F1 scores, it is hard to comparatively evaluate these approaches given that most of them use different datasets. Only 14 studies made their data and 15 their code available with 10 externally validating results. Automated understanding of clinical narratives of the radiology reports has the potential to enhance the healthcare process but reproducibility and explainability of models are important if the domain is to move applications into clinical use. More could be done to share code enabling validation of methods on different institutional data and to reduce heterogeneity in reporting of study properties allowing inter-study comparisons. Our results have significance for researchers providing a systematic synthesis of existing work to build on, identify gaps, opportunities for collaboration and avoid duplication.
△ Less
Submitted 18 February, 2021;
originally announced February 2021.
-
Explainable Automated Coding of Clinical Notes using Hierarchical Label-wise Attention Networks and Label Embedding Initialisation
Authors:
Hang Dong,
Víctor Suárez-Paniagua,
William Whiteley,
Honghan Wu
Abstract:
Diagnostic or procedural coding of clinical notes aims to derive a coded summary of disease-related information about patients. Such coding is usually done manually in hospitals but could potentially be automated to improve the efficiency and accuracy of medical coding. Recent studies on deep learning for automated medical coding achieved promising performances. However, the explainability of thes…
▽ More
Diagnostic or procedural coding of clinical notes aims to derive a coded summary of disease-related information about patients. Such coding is usually done manually in hospitals but could potentially be automated to improve the efficiency and accuracy of medical coding. Recent studies on deep learning for automated medical coding achieved promising performances. However, the explainability of these models is usually poor, preventing them to be used confidently in supporting clinical practice. Another limitation is that these models mostly assume independence among labels, ignoring the complex correlation among medical codes which can potentially be exploited to improve the performance. We propose a Hierarchical Label-wise Attention Network (HLAN), which aimed to interpret the model by quantifying importance (as attention weights) of words and sentences related to each of the labels. Secondly, we propose to enhance the major deep learning models with a label embedding (LE) initialisation approach, which learns a dense, continuous vector representation and then injects the representation into the final layers and the label-wise attention layers in the models. We evaluated the methods using three settings on the MIMIC-III discharge summaries: full codes, top-50 codes, and the UK NHS COVID-19 shielding codes. Experiments were conducted to compare HLAN and LE initialisation to the state-of-the-art neural network based methods. HLAN achieved the best Micro-level AUC and $F_1$ on the top-50 code prediction and comparable results on the NHS COVID-19 shielding code prediction to other models. By highlighting the most salient words and sentences for each label, HLAN showed more meaningful and comprehensive model interpretation compared to its downgraded baselines and the CNN-based models. LE initialisation consistently boosted most deep learning models for automated medical coding.
△ Less
Submitted 16 July, 2021; v1 submitted 29 October, 2020;
originally announced October 2020.
-
FastPET: Near Real-Time PET Reconstruction from Histo-Images Using a Neural Network
Authors:
William Whiteley,
Vladimir Panin,
Chuanyu Zhou,
Jorge Cabello,
Deepak Bharkhada,
Jens Gregor
Abstract:
Direct reconstruction of positron emission tomography (PET) data using deep neural networks is a growing field of research. Initial results are promising, but often the networks are complex, memory utilization inefficient, produce relatively small 2D image slices (e.g., 128x128), and low count rate reconstructions are of varying quality. This paper proposes FastPET, a novel direct reconstruction c…
▽ More
Direct reconstruction of positron emission tomography (PET) data using deep neural networks is a growing field of research. Initial results are promising, but often the networks are complex, memory utilization inefficient, produce relatively small 2D image slices (e.g., 128x128), and low count rate reconstructions are of varying quality. This paper proposes FastPET, a novel direct reconstruction convolutional neural network that is architecturally simple, memory space efficient, works for non-trivial 3D image volumes and is capable of processing a wide spectrum of PET data including low-dose and multi-tracer applications. FastPET uniquely operates on a histo-image (i.e., image-space) representation of the raw data enabling it to reconstruct 3D image volumes 67x faster than Ordered subsets Expectation Maximization (OSEM). We detail the FastPET method trained on whole-body and low-dose whole-body data sets and explore qualitative and quantitative aspects of reconstructed images from clinical and phantom studies. Additionally, we explore the application of FastPET on a neurology data set containing multiple different tracers. The results show that not only are the reconstructions very fast, but the images are high quality and lower noise than iterative reconstructions.
△ Less
Submitted 15 June, 2020; v1 submitted 11 February, 2020;
originally announced February 2020.
-
CNN-Based PET Sinogram Repair to Mitigate Defective Block Detectors
Authors:
William Whiteley,
Jens Gregor
Abstract:
Positron emission tomography (PET) scanners continue to increase sensitivity and axial coverage by adding an ever expanding array of block detectors. As they age, one or more block detectors may lose sensitivity due to a malfunction or component failure. The sinogram data missing as a result thereof can lead to artifacts and other image degradations. We propose to mitigate the effects of malfuncti…
▽ More
Positron emission tomography (PET) scanners continue to increase sensitivity and axial coverage by adding an ever expanding array of block detectors. As they age, one or more block detectors may lose sensitivity due to a malfunction or component failure. The sinogram data missing as a result thereof can lead to artifacts and other image degradations. We propose to mitigate the effects of malfunctioning block detectors by carrying out sinogram repair using a deep convolutional neural network. Experiments using whole-body patient studies with varying amounts of raw data removed are used to show that the neural network significantly outperforms previously published methods with respect to normalized mean squared error for raw sinograms, a multi-scale structural similarity measure for reconstructed images and with regard to quantitative accuracy.
△ Less
Submitted 27 August, 2019;
originally announced August 2019.
-
DirectPET: Full Size Neural Network PET Reconstruction from Sinogram Data
Authors:
William Whiteley,
Wing K. Luk,
Jens Gregor
Abstract:
Purpose: Neural network image reconstruction directly from measurement data is a relatively new field of research, that until now has been limited to producing small single-slice images (e.g., 1x128x128). This paper proposes a novel and more efficient network design for Positron Emission Tomography called DirectPET which is capable of reconstructing multi-slice image volumes (i.e., 16x400x400) fro…
▽ More
Purpose: Neural network image reconstruction directly from measurement data is a relatively new field of research, that until now has been limited to producing small single-slice images (e.g., 1x128x128). This paper proposes a novel and more efficient network design for Positron Emission Tomography called DirectPET which is capable of reconstructing multi-slice image volumes (i.e., 16x400x400) from sinograms.
Approach: Large-scale direct neural network reconstruction is accomplished by addressing the associated memory space challenge through the introduction of a specially designed Radon inversion layer. Using patient data, we compare the proposed method to the benchmark Ordered Subsets Expectation Maximization (OSEM) algorithm using signal-to-noise ratio, bias, mean absolute error and structural similarity measures. In addition, line profiles and full-width half-maximum measurements are provided for a sample of lesions.
Results: DirectPET is shown capable of producing images that are quantitatively and qualitatively similar to the OSEM target images in a fraction of the time. We also report on an experiment where DirectPET is trained to map low count raw data to normal count target images demonstrating the method's ability to maintain image quality under a low dose scenario.
Conclusion: The ability of DirectPET to quickly reconstruct high-quality, multi-slice image volumes suggests potential clinical viability of the method. However, design parameters and performance boundaries need to be fully established before adoption can be considered.
△ Less
Submitted 11 February, 2020; v1 submitted 19 August, 2019;
originally announced August 2019.
-
Pairing symmetries for Euclidean and spherical frameworks
Authors:
Katie Clinch,
Anthony Nixon,
Bernd Schulze,
Walter Whiteley
Abstract:
In this paper we consider the effect of symmetry on the rigidity of bar-joint frameworks, spherical frameworks and point-hyperplane frameworks in $\mathbb{R}^d$. In particular we show that, under forced or incidental symmetry, infinitesimal rigidity for spherical frameworks with vertices in $X$ on the equator and point-hyperplane frameworks with the vertices in $X$ representing hyperplanes are equ…
▽ More
In this paper we consider the effect of symmetry on the rigidity of bar-joint frameworks, spherical frameworks and point-hyperplane frameworks in $\mathbb{R}^d$. In particular we show that, under forced or incidental symmetry, infinitesimal rigidity for spherical frameworks with vertices in $X$ on the equator and point-hyperplane frameworks with the vertices in $X$ representing hyperplanes are equivalent. We then show, again under forced or incidental symmetry, that infinitesimal rigidity properties under certain symmetry groups can be paired, or clustered, under inversion on the sphere so that infinitesimal rigidity with a given group is equivalent to infinitesimal rigidity under a paired group. The fundamental basic example is that mirror symmetric rigidity is equivalent to half-turn symmetric rigidity on the 2-sphere. With these results in hand we also deduce some combinatorial consequences for the rigidity of symmetric bar-joint and point-line frameworks.
△ Less
Submitted 6 June, 2019; v1 submitted 3 June, 2019;
originally announced June 2019.
-
Named Entity Recognition for Electronic Health Records: A Comparison of Rule-based and Machine Learning Approaches
Authors:
Philip John Gorinski,
Honghan Wu,
Claire Grover,
Richard Tobin,
Conn Talbot,
Heather Whalley,
Cathie Sudlow,
William Whiteley,
Beatrice Alex
Abstract:
This work investigates multiple approaches to Named Entity Recognition (NER) for text in Electronic Health Record (EHR) data. In particular, we look into the application of (i) rule-based, (ii) deep learning and (iii) transfer learning systems for the task of NER on brain imaging reports with a focus on records from patients with stroke. We explore the strengths and weaknesses of each approach, de…
▽ More
This work investigates multiple approaches to Named Entity Recognition (NER) for text in Electronic Health Record (EHR) data. In particular, we look into the application of (i) rule-based, (ii) deep learning and (iii) transfer learning systems for the task of NER on brain imaging reports with a focus on records from patients with stroke. We explore the strengths and weaknesses of each approach, develop rules and train on a common dataset, and evaluate each system's performance on common test sets of Scottish radiology reports from two sources (brain imaging reports in ESS -- Edinburgh Stroke Study data collected by NHS Lothian as well as radiology reports created in NHS Tayside). Our comparison shows that a hand-crafted system is the most accurate way to automatically label EHR, but machine learning approaches can provide a feasible alternative where resources for a manual system are not readily available.
△ Less
Submitted 5 June, 2019; v1 submitted 10 March, 2019;
originally announced March 2019.
-
Point-hyperplane frameworks, slider joints, and rigidity preserving transformations
Authors:
Yaser Eftekhari,
Bill Jackson,
Anthony Nixon,
Bernd Schulze,
Shin-ichi Tanigawa,
Walter Whiteley
Abstract:
A one-to-one correspondence between the infinitesimal motions of bar-joint frameworks in $\mathbb{R}^d$ and those in $\mathbb{S}^d$ is a classical observation by Pogorelov, and further connections among different rigidity models in various different spaces have been extensively studied. In this paper, we shall extend this line of research to include the infinitesimal rigidity of frameworks consist…
▽ More
A one-to-one correspondence between the infinitesimal motions of bar-joint frameworks in $\mathbb{R}^d$ and those in $\mathbb{S}^d$ is a classical observation by Pogorelov, and further connections among different rigidity models in various different spaces have been extensively studied. In this paper, we shall extend this line of research to include the infinitesimal rigidity of frameworks consisting of points and hyperplanes. This enables us to understand correspondences between point-hyperplane rigidity, classical bar-joint rigidity, and scene analysis.
Among other results, we derive a combinatorial characterization of graphs that can be realized as infinitesimally rigid frameworks in the plane with a given set of points collinear. This extends a result by Jackson and Jordán, which deals with the case when three points are collinear.
△ Less
Submitted 20 March, 2017;
originally announced March 2017.
-
Rigidity of frameworks on expanding spheres
Authors:
Anthony Nixon,
Bernd Schulze,
Shin-ichi Tanigawa,
Walter Whiteley
Abstract:
A rigidity theory is developed for bar-joint frameworks in $\mathbb{R}^{d+1}$ whose vertices are constrained to lie on concentric $d$-spheres with independently variable radii. In particular, combinatorial characterisations are established for the rigidity of generic frameworks for $d=1$ with an arbitrary number of independently variable radii, and for $d=2$ with at most two variable radii. This i…
▽ More
A rigidity theory is developed for bar-joint frameworks in $\mathbb{R}^{d+1}$ whose vertices are constrained to lie on concentric $d$-spheres with independently variable radii. In particular, combinatorial characterisations are established for the rigidity of generic frameworks for $d=1$ with an arbitrary number of independently variable radii, and for $d=2$ with at most two variable radii. This includes a characterisation of the rigidity or flexibility of uniformly expanding spherical frameworks in $\mathbb{R}^{3}$. Due to the equivalence of the generic rigidity between Euclidean space and spherical space, these results interpolate between rigidity in 1D and 2D and to some extent between rigidity in 2D and 3D. Symmetry-adapted counts for the detection of symmetry-induced continuous flexibility in frameworks on spheres with variable radii are also provided.
△ Less
Submitted 11 February, 2017; v1 submitted 7 January, 2015;
originally announced January 2015.
-
Symmetry adapted Assur decompositions
Authors:
Anthony Nixon,
Bernd Schulze,
Adnan Sljoka,
Walter Whiteley
Abstract:
Assur graphs are a tool originally developed by mechanical engineers to decompose mechanisms for simpler analysis and synthesis. Recent work has connected these graphs to strongly directed graphs, and decompositions of the pinned rigidity matrix. Many mechanisms have initial configurations which are symmetric, and other recent work has exploited the orbit matrix as a symmetry adapted form of the r…
▽ More
Assur graphs are a tool originally developed by mechanical engineers to decompose mechanisms for simpler analysis and synthesis. Recent work has connected these graphs to strongly directed graphs, and decompositions of the pinned rigidity matrix. Many mechanisms have initial configurations which are symmetric, and other recent work has exploited the orbit matrix as a symmetry adapted form of the rigidity matrix. This paper explores how the decomposition and analysis of symmetric frameworks and their symmetric motions can be supported by the new symmetry adapted tools.
△ Less
Submitted 5 April, 2014;
originally announced April 2014.
-
Coning, symmetry and spherical frameworks
Authors:
Bernd Schulze,
Walter Whiteley
Abstract:
In this paper, we combine separate works on (a) the transfer of infinitesimal rigidity results from an Euclidean space to the next higher dimension by coning, (b) the further transfer of these results to spherical space via associated rigidity matrices, and (c) the prediction of finite motions from symmetric infinitesimal motions at regular points of the symmetry-derived orbit rigidity matrix. Eac…
▽ More
In this paper, we combine separate works on (a) the transfer of infinitesimal rigidity results from an Euclidean space to the next higher dimension by coning, (b) the further transfer of these results to spherical space via associated rigidity matrices, and (c) the prediction of finite motions from symmetric infinitesimal motions at regular points of the symmetry-derived orbit rigidity matrix. Each of these techniques is reworked and simplified to apply across several metrics, including the Minkowskian metric $\M^{d}$ and the hyperbolic metric $\H^{d}$. This leads to a set of new results transferring infinitesimal and finite motions associated with corresponding symmetric frameworks among $\E^{d}$, cones in $E^{d+1}$, $\SS^{d}$, $\M^{d}$, and $\H^{d}$. We also consider the further extensions associated with the other Cayley-Klein geometries overlaid on the shared underlying projective geometry.
△ Less
Submitted 10 August, 2011;
originally announced August 2011.
-
Directed Graphs, Decompositions, and Spatial Linkages
Authors:
Offer Shai,
Adnan Sljoka,
Walter Whiteley
Abstract:
The decomposition of a linkage into minimal components is a central tool of analysis and synthesis of linkages. In this paper we prove that every pinned d-isostatic (minimally rigid) graph (grounded linkage) has a unique decomposition into minimal strongly connected components (in the sense of directed graphs), or equivalently into minimal pinned isostatic graphs, which we call d-Assur graphs. We…
▽ More
The decomposition of a linkage into minimal components is a central tool of analysis and synthesis of linkages. In this paper we prove that every pinned d-isostatic (minimally rigid) graph (grounded linkage) has a unique decomposition into minimal strongly connected components (in the sense of directed graphs), or equivalently into minimal pinned isostatic graphs, which we call d-Assur graphs. We also study key properties of motions induced by removing an edge in a d-Assur graph - defining a stronger sub-class of strongly d-Assur graphs by the property that all inner vertices go into motion, for each removed edge. The strongly 3-Assur graphs are the central building blocks for kinematic linkages in 3-space and the 3-Assur graphs are components in the analysis of built linkages. The d-Assur graphs share a number of key combinatorial and geometric properties with the 2-Assur graphs, including an associated lower block- triangular decomposition of the pinned rigidity matrix which provides modular information for extending the motion induced by inserting one driver in a bottom Assur linkage to the joints of the entire linkage. We also highlight some problems in combinatorial rigidity in higher dimensions (d > 2) which cause the distinction between d-Assur and strongly d-Assur which did not occur in the plane.
△ Less
Submitted 13 September, 2012; v1 submitted 26 October, 2010;
originally announced October 2010.
-
Finite motions from periodic frameworks with added symmetry
Authors:
Elissa Ross,
Bernd Schulze,
Walter Whiteley
Abstract:
Recent work from authors across disciplines has made substantial contributions to counting rules (Maxwell type theorems) which predict when an infinite periodic structure would be rigid or flexible while preserving the periodic pattern, as an engineering type framework, or equivalently, as an idealized molecular framework. Other work has shown that for finite frameworks, introducing symmetry modif…
▽ More
Recent work from authors across disciplines has made substantial contributions to counting rules (Maxwell type theorems) which predict when an infinite periodic structure would be rigid or flexible while preserving the periodic pattern, as an engineering type framework, or equivalently, as an idealized molecular framework. Other work has shown that for finite frameworks, introducing symmetry modifies the previous general counts, and under some circumstances this symmetrized Maxwell type count can predict added finite flexibility in the structure.
In this paper we combine these approaches to present new Maxwell type counts for the columns and rows of a modified orbit matrix for structures that have both a periodic structure and additional symmetry within the periodic cells. In a number of cases, this count for the combined group of symmetry operations demonstrates there is added finite flexibility in what would have been rigid when realized without the symmetry. Given that many crystal structures have these added symmetries, and that their flexibility may be key to their physical and chemical properties, we present a summary of the results as a way to generate further developments of both a practical and theoretic interest.
△ Less
Submitted 4 March, 2011; v1 submitted 26 October, 2010;
originally announced October 2010.
-
Isostatic Block and Hole Frameworks
Authors:
Wendy Finbow-Singh,
Walter Whiteley
Abstract:
A longstanding problem in rigidity theory is to characterize the graphs which are minimally generically rigid in 3-space. The results of Cauchy, Dehn, and Alexandrov give one important class: the triangulated convex spheres, but there is an ongoing desire for further classes. We provide such a class, along with methods to verify generic rigidity that can be extended to other classes. These methods…
▽ More
A longstanding problem in rigidity theory is to characterize the graphs which are minimally generically rigid in 3-space. The results of Cauchy, Dehn, and Alexandrov give one important class: the triangulated convex spheres, but there is an ongoing desire for further classes. We provide such a class, along with methods to verify generic rigidity that can be extended to other classes. These methods are based on a controlled sequence of vertex splits, a graph theoretic operation known to take a minimally generically rigid framework to a new minimally generically rigid framework with one more vertex. One motivation for this is to have well-understood frameworks which can be used to explore Mathematical Allostery - frameworks in which adding bars at one site, causes changes in rigidity at a distant site. This is an initial step in exploring the possibility of mechanical models for an important behaviour in proteins.
△ Less
Submitted 6 July, 2010;
originally announced July 2010.
-
The orbit rigidity matrix of a symmetric framework
Authors:
Bernd Schulze,
Walter Whiteley
Abstract:
A number of recent papers have studied when symmetry causes frameworks on a graph to become infinitesimally flexible, or stressed, and when it has no impact. A number of other recent papers have studied special classes of frameworks on generically rigid graphs which are finite mechanisms. Here we introduce a new tool, the orbit matrix, which connects these two areas and provides a matrix represent…
▽ More
A number of recent papers have studied when symmetry causes frameworks on a graph to become infinitesimally flexible, or stressed, and when it has no impact. A number of other recent papers have studied special classes of frameworks on generically rigid graphs which are finite mechanisms. Here we introduce a new tool, the orbit matrix, which connects these two areas and provides a matrix representation for fully symmetric infinitesimal flexes, and fully symmetric stresses of symmetric frameworks. The orbit matrix is a true analog of the standard rigidity matrix for general frameworks, and its analysis gives important insights into questions about the flexibility and rigidity of classes of symmetric frameworks, in all dimensions.
With this narrower focus on fully symmetric infinitesimal motions, comes the power to predict symmetry-preserving finite mechanisms - giving a simplified analysis which covers a wide range of the known mechanisms, and generalizes the classes of known mechanisms. This initial exploration of the properties of the orbit matrix also opens up a number of new questions and possible extensions of the previous results, including transfer of symmetry based results from Euclidean space to spherical, hyperbolic, and some other metrics with shared symmetry groups and underlying projective geometry.
△ Less
Submitted 4 June, 2010;
originally announced June 2010.
-
The Rigidity of Spherical Frameworks: Swap** Blocks and Holes
Authors:
Wendy Finbow,
Elissa Ross,
Walter Whiteley
Abstract:
A significant range of geometric structures whose rigidity is explored for both practical and theoretical purposes are formed by modifying generically isostatic triangulated spheres. In the block and hole structures (P, p), some edges are removed to make holes, and other edges are added to create rigid sub-structures called blocks. Previous work noted a combinatorial analogy in which blocks and…
▽ More
A significant range of geometric structures whose rigidity is explored for both practical and theoretical purposes are formed by modifying generically isostatic triangulated spheres. In the block and hole structures (P, p), some edges are removed to make holes, and other edges are added to create rigid sub-structures called blocks. Previous work noted a combinatorial analogy in which blocks and holes played equivalent roles. In this paper, we connect stresses in such a structure (P, p) to first-order motions in a swapped structure (P', p), where holes become blocks and blocks become holes. When the initial structure is geometrically isostatic, this shows that the swapped structure is also geometrically isostatic, giving the strongest possible correspondence. We use a projective geometric presentation of the statics and the motions, to make the key underlying correspondences transparent.
△ Less
Submitted 2 November, 2009;
originally announced November 2009.
-
When is a symmetric pin-jointed framework isostatic?
Authors:
Robert Connelly,
Patrick Fowler,
Simon Guest,
Bernd Schulze,
Walter Whiteley
Abstract:
Maxwell's rule from 1864 gives a necessary condition for a framework to be isostatic in 2D or in 3D. Given a framework with point group symmetry, group representation theory is exploited to provide further necessary conditions. This paper shows how, for an isostatic framework, these conditions imply very simply stated restrictions on the numbers of those structural components that are unshifted…
▽ More
Maxwell's rule from 1864 gives a necessary condition for a framework to be isostatic in 2D or in 3D. Given a framework with point group symmetry, group representation theory is exploited to provide further necessary conditions. This paper shows how, for an isostatic framework, these conditions imply very simply stated restrictions on the numbers of those structural components that are unshifted by the symmetry operations of the framework. In particular, it turns out that an isostatic framework in 2D can belong to one of only six point groups. Some conjectures and initial results are presented that would give sufficient conditions (in both 2D and 3D) for a framework that is realized generically for a given symmetry group to be an isostatic framework.
△ Less
Submitted 26 September, 2008; v1 submitted 15 March, 2008;
originally announced March 2008.
-
Geometric Properties of Assur Graphs
Authors:
Brigitte Servatius,
Offer Shai,
Walter Whiteley
Abstract:
In our previous paper, we presented the combinatorial theory for minimal isostatic pinned frameworks - Assur graphs - which arise in the analysis of mechanical linkages. In this paper we further explore the geometric properties of Assur graphs, with a focus on singular realizations which have static self-stresses. We provide a new geometric characterization of Assur graphs, based on special sing…
▽ More
In our previous paper, we presented the combinatorial theory for minimal isostatic pinned frameworks - Assur graphs - which arise in the analysis of mechanical linkages. In this paper we further explore the geometric properties of Assur graphs, with a focus on singular realizations which have static self-stresses. We provide a new geometric characterization of Assur graphs, based on special singular realizations. These singular positions are then related to dead-end positions in which an associated mechanism with an inserted driver will stop or jam.
△ Less
Submitted 26 January, 2008;
originally announced January 2008.
-
Combinatorial Characterization of the Assur Graphs from Engineering
Authors:
Brigitte Servatius,
Offer Shai,
Walter Whiteley
Abstract:
We introduce the idea of Assur graphs, a concept originally developed and exclusively employed in the literature of the kinematics community. The paper translates the terminology, questions, methods and conjectures from the kinematics terminology for one degree of freedom linkages to the terminology of Assur graphs as graphs with special properties in rigidity theory. Exploiting recent works in…
▽ More
We introduce the idea of Assur graphs, a concept originally developed and exclusively employed in the literature of the kinematics community. The paper translates the terminology, questions, methods and conjectures from the kinematics terminology for one degree of freedom linkages to the terminology of Assur graphs as graphs with special properties in rigidity theory. Exploiting recent works in combinatorial rigidity theory we provide mathematical characterizations of these graphs derived from minimal linkages. With these characterizations, we confirm a series of conjectures posed by Offer Shai, and offer techniques and algorithms to be exploited further in future work.
△ Less
Submitted 16 January, 2008;
originally announced January 2008.
-
Some notes on the equivalence of first-order rigidity in various geometries
Authors:
Franco V. Saliola,
Walter Whiteley
Abstract:
These pages serve two purposes. First, they are notes to accompany the talk "Hyperbolic and projective geometry in constraint programming for CAD" by Walter Whiteley at the "Janos Bolyai Conference on Hyperbolic Geometry", 8--12 July 2002, in Budapest, Hungary. Second, they sketch results that will be included in a forthcoming paper that will present the equivalence of the first-order rigidity t…
▽ More
These pages serve two purposes. First, they are notes to accompany the talk "Hyperbolic and projective geometry in constraint programming for CAD" by Walter Whiteley at the "Janos Bolyai Conference on Hyperbolic Geometry", 8--12 July 2002, in Budapest, Hungary. Second, they sketch results that will be included in a forthcoming paper that will present the equivalence of the first-order rigidity theories of bar-and-joint frameworks in various geometries, including Euclidean, hyperbolic and spherical geometry. The bulk of the theory is outlined here, with remarks and comments alluding to other results that will make the final version of the paper.
△ Less
Submitted 21 September, 2007;
originally announced September 2007.
-
Non-crossing frameworks with non-crossing reciprocals
Authors:
David Orden,
Guenter Rote,
Francisco Santos,
Brigitte Servatius,
Herman Servatius,
Walter Whiteley
Abstract:
We study non-crossing frameworks in the plane for which the classical reciprocal on the dual graph is also non-crossing. We give a complete description of the self-stresses on non-crossing frameworks whose reciprocals are non-crossing, in terms of: the types of faces (only pseudo-triangles and pseudo-quadrangles are allowed); the sign patterns in the self-stress; and a geometric condition on the…
▽ More
We study non-crossing frameworks in the plane for which the classical reciprocal on the dual graph is also non-crossing. We give a complete description of the self-stresses on non-crossing frameworks whose reciprocals are non-crossing, in terms of: the types of faces (only pseudo-triangles and pseudo-quadrangles are allowed); the sign patterns in the self-stress; and a geometric condition on the stress vectors at some of the vertices.
As in other recent papers where the interplay of non-crossingness and rigidity of straight-line plane graphs is studied, pseudo-triangulations show up as objects of special interest. For example, it is known that all planar Laman circuits can be embedded as a pseudo-triangulation with one non-pointed vertex. We show that if such an embedding is sufficiently generic, then the reciprocal is non-crossing and again a pseudo-triangulation embedding of a planar Laman circuit. For a singular (i.e., non-generic) pseudo-triangulation embedding of a planar Laman circuit, the reciprocal is still non-crossing and a pseudo-triangulation, but its underlying graph may not be a Laman circuit. Moreover, all the pseudo-triangulations which admit a non-crossing reciprocal arise as the reciprocals of such, possibly singular, stresses on pseudo-triangulation embeddings of Laman circuits.
All self-stresses on a planar graph correspond to liftings to piece-wise linear surfaces in 3-space. We prove characteristic geometric properties of the lifts of such non-crossing reciprocal pairs.
△ Less
Submitted 8 September, 2003;
originally announced September 2003.
-
Planar Minimally Rigid Graphs and Pseudo-Triangulations
Authors:
Ruth Haas,
David Orden,
Guenter Rote,
Francisco Santos,
Brigitte Servatius,
Herman Servatius,
Diane Souvaine,
Ileana Streinu,
Walter Whiteley
Abstract:
Pointed pseudo-triangulations are planar minimally rigid graphs embedded in the plane with pointed vertices (adjacent to an angle larger than 180 degrees. In this paper we prove that the opposite statement is also true, namely that planar minimally rigid graphs always admit pointed embeddings, even under certain natural topological and combinatorial constraints. We provide two proofs, which both…
▽ More
Pointed pseudo-triangulations are planar minimally rigid graphs embedded in the plane with pointed vertices (adjacent to an angle larger than 180 degrees. In this paper we prove that the opposite statement is also true, namely that planar minimally rigid graphs always admit pointed embeddings, even under certain natural topological and combinatorial constraints. We provide two proofs, which both yield efficient embedding algorithms. One based on Henneberg inductive constructions from combinatorial rigidity theory, the other on a generalization of Tutte's barycentric embeddings to directed graphs.
△ Less
Submitted 25 July, 2003;
originally announced July 2003.