Showing 1–29 of 29 results for author: Cruickshank, J

DIVERSE: Deciphering Internet Views on the U.S. Military Through Video Comment Stance Analysis, A Novel Benchmark Dataset for Stance Classification

Authors: Iain J. Cruickshank, Lynnette Hui Xian Ng

Abstract: Stance detection of social media text is a key component of downstream tasks involving the identification of groups of users with opposing opinions on contested topics such as vaccination and within arguments. In particular, stance provides an indication of an opinion towards an entity. This paper introduces DIVERSE, a dataset of over 173,000 YouTube video comments annotated for their stance towar… ▽ More Stance detection of social media text is a key component of downstream tasks involving the identification of groups of users with opposing opinions on contested topics such as vaccination and within arguments. In particular, stance provides an indication of an opinion towards an entity. This paper introduces DIVERSE, a dataset of over 173,000 YouTube video comments annotated for their stance towards videos of the U.S. military. The stance is annotated through a human-guided, machine-assisted labeling methodology that makes use of weak signals of tone within the sentence as supporting indicators, as opposed to using manual annotations by humans. These weak signals consist of the presence of hate speech and sarcasm, the presence of specific keywords, the sentiment of the text, and the stance inference from two Large Language Models. The weak signals are then consolidated using a data programming model before each comment is annotated with a final stance label. On average, the videos have 200 comments each, and the stance of the comments skews slightly towards the "against" characterization for both the U.S. Army and the videos posted on the channel. △ Less

Submitted 5 March, 2024; originally announced March 2024.

Comments: Paper under review for dataset track of ICWSM 2024. 11 pages, 5 figures

Develo** a Natural Language Understanding Model to Characterize Cable News Bias

Authors: Seth P. Benson, Iain J. Cruickshank

Abstract: Media bias has been extensively studied by both social and computational sciences. However, current work still has a large reliance on human input and subjective assessment to label biases. This is especially true for cable news research. To address these issues, we develop an unsupervised machine learning method to characterize the bias of cable news programs without any human input. This method… ▽ More Media bias has been extensively studied by both social and computational sciences. However, current work still has a large reliance on human input and subjective assessment to label biases. This is especially true for cable news research. To address these issues, we develop an unsupervised machine learning method to characterize the bias of cable news programs without any human input. This method relies on the analysis of what topics are mentioned through Named Entity Recognition and how those topics are discussed through Stance Analysis in order to cluster programs with similar biases together. Applying our method to 2020 cable news transcripts, we find that program clusters are consistent over time and roughly correspond to the cable news network of the program. This method reveals the potential for future tools to objectively assess media bias and characterize unfamiliar media environments. △ Less

Submitted 17 October, 2023; v1 submitted 13 October, 2023; originally announced October 2023.

Prompting and Fine-Tuning Open-Sourced Large Language Models for Stance Classification

Authors: Iain J. Cruickshank, Lynnette Hui Xian Ng

Abstract: Stance classification, the task of predicting the viewpoint of an author on a subject of interest, has long been a focal point of research in domains ranging from social science to machine learning. Current stance detection methods rely predominantly on manual annotation of sentences, followed by training a supervised machine learning model. However, this manual annotation process requires laborio… ▽ More Stance classification, the task of predicting the viewpoint of an author on a subject of interest, has long been a focal point of research in domains ranging from social science to machine learning. Current stance detection methods rely predominantly on manual annotation of sentences, followed by training a supervised machine learning model. However, this manual annotation process requires laborious annotation effort, and thus hampers its potential to generalize across different contexts. In this work, we investigate the use of Large Language Models (LLMs) as a stance detection methodology that can reduce or even eliminate the need for manual annotations. We investigate 10 open-source models and 7 prompting schemes, finding that LLMs are competitive with in-domain supervised models but are not necessarily consistent in their performance. We also fine-tuned the LLMs, but discovered that fine-tuning process does not necessarily lead to better performance. In general, we discover that LLMs do not routinely outperform their smaller supervised machine learning models, and thus call for stance detection to be a benchmark for which LLMs also optimize for. The code used in this study is available at \url{https://github.com/ijcruic/LLM-Stance-Labeling} △ Less

Submitted 5 March, 2024; v1 submitted 24 September, 2023; originally announced September 2023.

Comments: Submitted to ACM Transactions on Intelligent Systems and Technology, Special Issue on Evaluations of Large Language Models. 28 Pages, 3 Figures

Block-and-hole graphs: Constructibility and $(3,0)$-sparsity

Authors: Bryan Gin-ge Chen, James Cruickshank, Derek Kitson

Abstract: We show that minimally 3-rigid block-and-hole graphs, with one block or one hole, are characterised as those which are constructible from $K_3$ by vertex splitting, and also, as those having associated looped face graphs which are $(3,0)$-tight. This latter property can be verified in polynomial time by a form of pebble game algorithm. We also indicate connections to the rigidity properties of pol… ▽ More We show that minimally 3-rigid block-and-hole graphs, with one block or one hole, are characterised as those which are constructible from $K_3$ by vertex splitting, and also, as those having associated looped face graphs which are $(3,0)$-tight. This latter property can be verified in polynomial time by a form of pebble game algorithm. We also indicate connections to the rigidity properties of polyhedral surfaces known as origami and to graph rigidity in $\ell_p^3$ for $p\not=2$. △ Less

Submitted 13 September, 2023; originally announced September 2023.

Comments: 17 pages

MSC Class: 52C25 (Primary) 05C10 (Secondary)

Identifiability of Points and Rigidity of Hypergraphs under Algebraic Constraints

Authors: James Cruickshank, Fatemeh Mohammadi, Anthony Nixon, Shin-ichi Tanigawa

Abstract: The identifiability problem arises naturally in a number of contexts in mathematics and computer science. Specific instances include local or global rigidity of graphs and unique completability of partially-filled tensors subject to rank conditions. The identifiability of points on secant varieties has also been a topic of much research in algebraic geometry. It is often formulated as the problem… ▽ More The identifiability problem arises naturally in a number of contexts in mathematics and computer science. Specific instances include local or global rigidity of graphs and unique completability of partially-filled tensors subject to rank conditions. The identifiability of points on secant varieties has also been a topic of much research in algebraic geometry. It is often formulated as the problem of identifying a set of points satisfying a given set of algebraic relations. A key question then is to prove sufficient conditions for relations to guarantee the identifiability of the points. This paper proposes a new general framework for capturing the identifiability problem when a set of algebraic relations has a combinatorial structure and develops tools to analyse the impact of the underlying combinatorics on the local or global identifiability of points. Our framework is built on the language of graph rigidity, where the measurements are Euclidean distances between two points, but applicable in the generality of hypergraphs with arbitrary algebraic measurements. We establish necessary and sufficient (hyper)graph theoretical conditions for identifiability by exploiting techniques from graph rigidity theory and algebraic geometry of secant varieties. In particular our work analyses combinatorially the effect of non-generic projections of secant varieties. △ Less

Submitted 23 January, 2024; v1 submitted 30 May, 2023; originally announced May 2023.

Analysis of Media Writing Style Bias through Text-Embedding Networks

Authors: Iain J. Cruickshank, Jessica Zhu, Nathaniel D. Bastian

Abstract: With the rise of phenomena like `fake news' and the growth of heavily-biased media ecosystems, there has been increased attention on understanding and evaluating media bias. Of particular note in the evaluation of media bias is writing style bias, which includes lexical bias and framing bias. We propose a novel approach to evaluating writing style bias that utilizes natural language similarity est… ▽ More With the rise of phenomena like `fake news' and the growth of heavily-biased media ecosystems, there has been increased attention on understanding and evaluating media bias. Of particular note in the evaluation of media bias is writing style bias, which includes lexical bias and framing bias. We propose a novel approach to evaluating writing style bias that utilizes natural language similarity estimation and a network-based representation of the shared content between articles to perform bias characterization. Our proposed method presents a new means of evaluating writing style bias that does not rely on human experts or knowledge of a media producer's publication procedures. The results of experimentation on real-world vaccine mandate data demonstrates the utility of the technique and how the standard bias labeling procedures of only having one bias label for a media producer is insufficient to truly characterize the bias of that media producer. △ Less

Submitted 22 May, 2023; originally announced May 2023.

Comments: under submission with ICWSM 2024

Rigidity of Symmetric Simplicial Complexes and the Lower Bound Theorem

Authors: James Cruickshank, Bill Jackson, Shinichi Tanigawa

Abstract: We show that, if $Γ$ is a point group of $\mathbb{R}^{k+1}$ of order two for some $k\geq 2$ and $\mathcal S$ is a $k$-pseudomanifold which has a free automorphism of order two, then either $\mathcal S$ has a $Γ$-symmetric infinitesimally rigid realisation in $\mathbb{R}^{k+1}$ or $k=2$ and $Γ$ is a half-turn rotation group.This verifies a conjecture made by Klee, Nevo, Novik and Zhang for the case… ▽ More We show that, if $Γ$ is a point group of $\mathbb{R}^{k+1}$ of order two for some $k\geq 2$ and $\mathcal S$ is a $k$-pseudomanifold which has a free automorphism of order two, then either $\mathcal S$ has a $Γ$-symmetric infinitesimally rigid realisation in $\mathbb{R}^{k+1}$ or $k=2$ and $Γ$ is a half-turn rotation group.This verifies a conjecture made by Klee, Nevo, Novik and Zhang for the case when $Γ$ is a point-inversion group. Our result implies that Stanley's lower bound theorem for centrally symmetric polytopes extends to pseudomanifolds with a free simplicial involution, thus verifying (the inequality part) of another conjecture of Klee, Nevo, Novik and Zheng. Both results actually apply to a much larger class of simplicial complexes, namely the circuits of the simplicial matroid. The proof of our rigidity result adapts earlier ideas of Fogelsanger to the setting of symmetric simplicial complexes. △ Less

Submitted 10 April, 2023; originally announced April 2023.

Comments: 22 pages, 2 figures

MSC Class: 52C25 (Primary); 52B05; 13F55 (Secondary)

Measuring Classification Decision Certainty and Doubt

Authors: Alexander M. Berenbeim, Iain J. Cruickshank, Susmit Jha, Robert H. Thomson, Nathaniel D. Bastian

Abstract: Quantitative characterizations and estimations of uncertainty are of fundamental importance in optimization and decision-making processes. Herein, we propose intuitive scores, which we call certainty and doubt, that can be used in both a Bayesian and frequentist framework to assess and compare the quality and uncertainty of predictions in (multi-)classification decision machine learning problems. Quantitative characterizations and estimations of uncertainty are of fundamental importance in optimization and decision-making processes. Herein, we propose intuitive scores, which we call certainty and doubt, that can be used in both a Bayesian and frequentist framework to assess and compare the quality and uncertainty of predictions in (multi-)classification decision machine learning problems. △ Less

Submitted 27 March, 2023; v1 submitted 25 March, 2023; originally announced March 2023.

Comments: 4 pages

Global Rigidity of Line Constrained Frameworks

Authors: James Cruickshank, Fatemeh Mohammadi, Harshit J Motwani, Anthony Nixon, Shin-ichi Tanigawa

Abstract: We consider the global rigidity problem for bar-joint frameworks where each vertex is constrained to lie on a particular line in $\mathbb R^d$. In our setting we allow multiple vertices to be constrained to the same line. Under a mild assumption on the given set of lines we give a complete combinatorial characterisation of graphs that are generically globally rigid in this setting. This gives a… ▽ More We consider the global rigidity problem for bar-joint frameworks where each vertex is constrained to lie on a particular line in $\mathbb R^d$. In our setting we allow multiple vertices to be constrained to the same line. Under a mild assumption on the given set of lines we give a complete combinatorial characterisation of graphs that are generically globally rigid in this setting. This gives a $d$-dimensional extension of the well-known combinatorial characterisation of 1-dimensional global rigidity. △ Less

Submitted 12 October, 2023; v1 submitted 19 August, 2022; originally announced August 2022.

Comments: 24 pages, 5 figures

MSC Class: 52C25 (Primary); 05C10 (Secondary)

Global Rigidity of Triangulated Manifolds

Authors: James Cruickshank, Bill Jackson, Shin-ichi Tanigawa

Abstract: We prove that if $G$ is the graph of a connected triangulated $(d-1)$-manifold, for $d\geq 3$, then $G$ is generically globally rigid in $\mathbb R^d$ if and only if it is $(d+1)$-connected and, if $d=3$, $G$ is not planar. The special case $d=3$ verifies a conjecture of Connelly. Our results actually apply to a much larger class of simplicial complexes, namely the circuits of the simplicial matro… ▽ More We prove that if $G$ is the graph of a connected triangulated $(d-1)$-manifold, for $d\geq 3$, then $G$ is generically globally rigid in $\mathbb R^d$ if and only if it is $(d+1)$-connected and, if $d=3$, $G$ is not planar. The special case $d=3$ verifies a conjecture of Connelly. Our results actually apply to a much larger class of simplicial complexes, namely the circuits of the simplicial matroid. We also give two significant applications of our main theorems. We show that that the characterisation of pseudomanifolds with extremal edge numbers given by the Lower Bound Theorem extends to circuits of the simplicial matroid. We also prove the generic case of a conjecture of Kalai concerning the reconstructability of a polytope from its space of stresses. The proofs of our main results adapt earlier ideas of Fogelsanger and Whiteley to the setting of global rigidity. In particular we verify a special case of Whiteley's vertex splitting conjecture for global rigidity. △ Less

Submitted 28 March, 2024; v1 submitted 5 April, 2022; originally announced April 2022.

Comments: Revised version subnitted to journal

MSC Class: 52C25; 05E45 (Primary) 52B05; 05C10 (Secondary)

Multi-modal Networks Reveal Patterns of Operational Similarity of Terrorist Organizations

Authors: Gian Maria Campedelli, Iain J. Cruickshank, Kathleen M. Carley

Abstract: Capturing dynamics of operational similarity among terrorist groups is critical to provide actionable insights for counter-terrorism and intelligence monitoring. Yet, in spite of its theoretical and practical relevance, research addressing this problem is currently lacking. We tackle this problem proposing a novel computational framework for detecting clusters of terrorist groups sharing similar b… ▽ More Capturing dynamics of operational similarity among terrorist groups is critical to provide actionable insights for counter-terrorism and intelligence monitoring. Yet, in spite of its theoretical and practical relevance, research addressing this problem is currently lacking. We tackle this problem proposing a novel computational framework for detecting clusters of terrorist groups sharing similar behaviors, focusing on groups' yearly repertoire of deployed tactics, attacked targets, and utilized weapons. Specifically considering those organizations that have plotted at least 50 attacks from 1997 to 2018, accounting for a total of 105 groups responsible for more than 42,000 events worldwide, we offer three sets of results. First, we show that over the years global terrorism has been characterized by increasing operational cohesiveness. Second, we highlight that year-to-year stability in co-clustering among groups has been particularly high from 2009 to 2018, indicating temporal consistency of similarity patterns in the last decade. Third, we demonstrate that operational similarity between two organizations is driven by three factors: (a) their overall activity; (b) the difference in the diversity of their operational repertoires; (c) the difference in a combined measure of diversity and activity. Groups' operational preferences, geographical homophily and ideological affinity have no consistent role in determining operational similarity. △ Less

Submitted 15 December, 2021; originally announced December 2021.

Comments: 42 pages, 19 figures

Journal ref: Terrorism and Political Violence, 0(0), 1-20 (2021)

Influencing the Influencers: Evaluating Person-to-Person Influence on Social Networks Using Granger Causality

Authors: Richard Kuzma, Iain J. Cruickshank, Kathleen M. Carley

Abstract: We introduce a novel method for analyzing person-to-person content influence on Twitter. Using an Ego-Alter framework and Granger Causality, we examine President Donald Trump (the Ego) and the people he retweets (Alters) as a case study. We find that each Alter has a different scope of influence across multiple topics, different magnitude of influence on a given topic, and the magnitude of a singl… ▽ More We introduce a novel method for analyzing person-to-person content influence on Twitter. Using an Ego-Alter framework and Granger Causality, we examine President Donald Trump (the Ego) and the people he retweets (Alters) as a case study. We find that each Alter has a different scope of influence across multiple topics, different magnitude of influence on a given topic, and the magnitude of a single Alter's influence can vary across topics. This work is novel in its focus on person-to-person influence and content-based influence. Its impact is two-fold: (1) identifying "canaries in the coal mine" who could be observed by misinformation researchers or platforms to identify misinformation narratives before super-influencers spread them to large audiences, and (2) enabling digital marketing targeted toward upstream Alters of super-influencers. △ Less

Submitted 10 October, 2021; originally announced October 2021.

Analysis of External Content in the Vaccination Discussion on Twitter

Authors: Richard Kuzma, Iain J. Cruickshank, Kathleen M. Carley

Abstract: The spread of coronavirus and anti-vaccine conspiracies online hindered public health responses to the pandemic. We examined the content of external articles shared on Twitter from February to June 2020 to understand how conspiracy theories and fake news competed with legitimate sources of information. Examining external content--articles, rather than social media posts--is a novel methodology tha… ▽ More The spread of coronavirus and anti-vaccine conspiracies online hindered public health responses to the pandemic. We examined the content of external articles shared on Twitter from February to June 2020 to understand how conspiracy theories and fake news competed with legitimate sources of information. Examining external content--articles, rather than social media posts--is a novel methodology that allows for non-social media specific analysis of misinformation, tracking of changing narratives over time, and determining which types of resources (government, news, scientific, or dubious) dominate the pandemic vaccine conversation. We find that distinct narratives emerge, those narratives change over time, and lack of government and scientific messaging on coronavirus created an information vacuum filled by both traditional news and conspiracy theories. △ Less

Submitted 3 September, 2021; v1 submitted 19 July, 2021; originally announced July 2021.

Comments: Data Ownership Issues

Braced triangulations and rigidity

Authors: James Cruickshank, Eleftherios Kastis, Derek Kitson, Bernd Schulze

Abstract: We consider the problem of finding an inductive construction, based on vertex splitting, of triangulated spheres with a fixed number of additional edges (braces). We show that for any positive integer $b$ there is such an inductive construction of triangulations with $b$ braces, having finitely many base graphs. In particular we establish a bound for the maximum size of a base graph with $b$ brace… ▽ More We consider the problem of finding an inductive construction, based on vertex splitting, of triangulated spheres with a fixed number of additional edges (braces). We show that for any positive integer $b$ there is such an inductive construction of triangulations with $b$ braces, having finitely many base graphs. In particular we establish a bound for the maximum size of a base graph with $b$ braces that is linear in $b$. In the case that $b=1$ or $2$ we determine the list of base graphs explicitly. Using these results we show that doubly braced triangulations are (generically) minimally rigid in two distinct geometric contexts arising from a hypercylinder in $\mathbb{R}^4$ and a class of mixed norms on $\mathbb{R}^3$. △ Less

Submitted 8 July, 2021; originally announced July 2021.

Comments: 36 pages, 11 figures

MSC Class: 52C25; 05C10; 46B20

Characterizing Communities of Hashtag Usage on Twitter During the 2020 COVID-19 Pandemic by Multi-view Clustering

Authors: Iain J. Cruickshank, Kathleen M. Carley

Abstract: The COVID-19 pandemic has produced a flurry of online activity on social media sites. As such, analysis of social media data during the COVID-19 pandemic can produce unique insights into discussion topics and how those topics evolve over the course of the pandemic. In this study, we propose analyzing discussion topics on Twitter by clustering hashtags. In order to obtain high-quality clusters of t… ▽ More The COVID-19 pandemic has produced a flurry of online activity on social media sites. As such, analysis of social media data during the COVID-19 pandemic can produce unique insights into discussion topics and how those topics evolve over the course of the pandemic. In this study, we propose analyzing discussion topics on Twitter by clustering hashtags. In order to obtain high-quality clusters of the Twitter hashtags, we also propose a novel multi-view clustering technique that incorporates multiple different data types that can be used to describe how users interact with hashtags. The results of our multi-view clustering show that there are distinct temporal and topical trends present within COVID-19 twitter discussion. In particular, we find that some topical clusters of hashtags shift over the course of the pandemic, while others are persistent throughout, and that there are distinct temporal trends in hashtag usage. This study is the first to use multi-view clustering to analyze hashtags and the first analysis of the greater trends of discussion occurring online during the COVID-19 pandemic. △ Less

Submitted 3 August, 2020; originally announced August 2020.

Comments: Pending review with Journal of Applied Network Science

Symmetric contact systems of segments, pseudotriangulations and inductive constructions for corresponding surface graphs

Authors: James Cruickshank, Bernd Schulze

Abstract: We characterise the quotient surface graphs arising from symmetric contact systems of line segments in the plane and also from symmetric pointed pseudotriangulations in the case where the group of symmetries is generated by a translation or a rotation of finite order. These results generalise well known results of Thomassen, in the case of line segments, and of Streinu and Haas et al., in the case… ▽ More We characterise the quotient surface graphs arising from symmetric contact systems of line segments in the plane and also from symmetric pointed pseudotriangulations in the case where the group of symmetries is generated by a translation or a rotation of finite order. These results generalise well known results of Thomassen, in the case of line segments, and of Streinu and Haas et al., in the case of pseudotriangulations. Our main tool is a new inductive characterisation of the appropriate classes of surface graphs. We also discuss some consequences of our results in the area of geometric rigidity theory. △ Less

Submitted 21 March, 2022; v1 submitted 18 June, 2020; originally announced June 2020.

MSC Class: 05C10; 05C62 (Primary) 52C25 (Secondary)

Vertex Splitting, Coincident Realisations and Global Rigidity of Braced Triangulations

Authors: James Cruickshank, Bill Jackson, Shin-ichi Tanigawa

Abstract: We give a short proof of a result of Jordan and Tanigawa that a 4-connected graph which has a spanning planar triangulation as a proper subgraph is generically globally rigid in R^3. Our proof is based on a new sufficient condition for the so called vertex splitting operation to preserve generic global rigidity in R^d. We give a short proof of a result of Jordan and Tanigawa that a 4-connected graph which has a spanning planar triangulation as a proper subgraph is generically globally rigid in R^3. Our proof is based on a new sufficient condition for the so called vertex splitting operation to preserve generic global rigidity in R^d. △ Less

Submitted 21 March, 2022; v1 submitted 20 February, 2020; originally announced February 2020.

Comments: Revision to v2: new results added in collaboration with Shin-ichi Tanigawa

MSC Class: 05C10; 05C75; 52C25

Topological inductive constructions for tight surface graphs

Authors: James Cruickshank, Derek Kitson, Stephen C. Power, Qays Shakir

Abstract: We investigate properties of sparse and tight surface graphs. In particular we derive topological inductive constructions for $(2, 2)$-tight surface graphs in the case of the sphere, the plane, the twice punctured sphere and the torus. In the case of the torus we identify all 116 irreducible base graphs and provide a geometric application involving contact graphs of configurations of circular arcs… ▽ More We investigate properties of sparse and tight surface graphs. In particular we derive topological inductive constructions for $(2, 2)$-tight surface graphs in the case of the sphere, the plane, the twice punctured sphere and the torus. In the case of the torus we identify all 116 irreducible base graphs and provide a geometric application involving contact graphs of configurations of circular arcs. △ Less

Submitted 5 March, 2021; v1 submitted 14 September, 2019; originally announced September 2019.

Comments: 25 pages, 20 figures

MSC Class: 05C10; 05C62; 52C30

Weil representations via abstract data and Heisenberg groups: a comparison

Authors: James Cruickshank, Luis Gutiérrez Frez, Fernando Szechtman

Abstract: Let $B$ be a ring, not necessarily commutative, having an involution $*$ and let ${\mathrm U}_{2m}(B)$ be the unitary group of rank $2m$ associated to a hermitian or skew hermitian form relative to $*$. When $B$ is finite, we construct a Weil representation of ${\mathrm U}_{2m}(B)$ via Heisenberg groups and find its explicit matrix form on the Bruhat elements. As a consequence, we derive informati… ▽ More Let $B$ be a ring, not necessarily commutative, having an involution $*$ and let ${\mathrm U}_{2m}(B)$ be the unitary group of rank $2m$ associated to a hermitian or skew hermitian form relative to $*$. When $B$ is finite, we construct a Weil representation of ${\mathrm U}_{2m}(B)$ via Heisenberg groups and find its explicit matrix form on the Bruhat elements. As a consequence, we derive information on generalized Gauss sums. On the other hand, there is an axiomatic method to define a Weil representation of ${\mathrm U}_{2m}(B)$, and we compare the two Weil representations thus obtained under fairly general hypotheses. When $B$ is local, not necessarily finite, we compute the index of the subgroup of ${\mathrm U}_{2m}(B)$ generated by its Bruhat elements. Besides the independent interest, this subgroup and index are involved in the foregoing comparison of Weil representations. △ Less

Submitted 8 June, 2019; originally announced June 2019.

Comments: 28 pages

MSC Class: 20C15; 20H25; 20F05; 11T24; 15B33

Rigidity of linearly-constrained frameworks

Authors: James Cruickshank, Hakan Guler, Bill Jackson, Anthony Nixon

Abstract: We consider the problem of characterising the generic rigidity of bar-joint frameworks in $\mathbb{R}^d$ in which each vertex is constrained to lie in a given affine subspace. The special case when $d=2$ was previously solved by I. Streinu and L. Theran in 2010. We will extend their characterisation to the case when $d\geq 3$ and each vertex is constrained to lie in an affine subspace of dimension… ▽ More We consider the problem of characterising the generic rigidity of bar-joint frameworks in $\mathbb{R}^d$ in which each vertex is constrained to lie in a given affine subspace. The special case when $d=2$ was previously solved by I. Streinu and L. Theran in 2010. We will extend their characterisation to the case when $d\geq 3$ and each vertex is constrained to lie in an affine subspace of dimension $t$, when $t=1,2$ and also when $t\geq 3$ and $d\geq t(t-1)$. We then point out that results on body-bar frameworks obtained by N. Katoh and S. Tanigawa in 2013 can be used to characterise when a graph has a rigid realisation as a $d$-dimensional body-bar framework with a given set of linear constraints. △ Less

Submitted 29 June, 2018; v1 submitted 2 April, 2018; originally announced April 2018.

Comments: 12 pages, 2 figures

MSC Class: 52C25; 05C10; 53A05

Generators and relations for the unitary group of a skew hermitian form over a local ring

Authors: James Cruickshank, Fernando Szechtman

Abstract: Let $(S,*)$ be an involutive local ring and let $U(2m,S)$ be the unitary group associated to a nondegenerate skew hermitian form defined on a free $S$-module of rank $2m$. A presentation of $U(2m,S)$ is given in terms of Bruhat generators and their relations. This presentation is used to construct an explicit Weil representation of the symplectic group $Sp(2m,R)$ when $S=R$ is commutative and $*$… ▽ More Let $(S,*)$ be an involutive local ring and let $U(2m,S)$ be the unitary group associated to a nondegenerate skew hermitian form defined on a free $S$-module of rank $2m$. A presentation of $U(2m,S)$ is given in terms of Bruhat generators and their relations. This presentation is used to construct an explicit Weil representation of the symplectic group $Sp(2m,R)$ when $S=R$ is commutative and $*$ is the identity. When $S$ is commutative but $*$ is arbitrary with fixed ring $R$, an elementary proof that the special unitary group $SU(2m,S)$ is generated by unitary transvections is given. This is used to prove that the reduction homomorphisms $SU(2m,S)\to SU(2m,\tilde{S})$ and $U(2m,S)\to U(2m,\tilde{S})$ are surjective for any factor ring $\tilde{S}$ of $S$. The corresponding results for the symplectic group $Sp(2m,R)$ are obtained as corollaries when $*$ is the identity. △ Less

Submitted 7 April, 2018; v1 submitted 31 October, 2017; originally announced October 2017.

Hermitian and skew hermitian forms over local rings

Authors: James Cruickshank, Rachel Quinlan, Fernando Szechtman

Abstract: We study the classification problem of possibly degenerate hermitian and skew hermitian bilinear forms over local rings where 2 is a unit. We study the classification problem of possibly degenerate hermitian and skew hermitian bilinear forms over local rings where 2 is a unit. △ Less

Submitted 7 April, 2018; v1 submitted 3 May, 2017; originally announced May 2017.

Unitary groups and ramified extensions

Authors: J. Cruickshank, F. Szechtman

Abstract: We classify all non-degenerate skew-hermitian forms defined over certain local rings, not necessarily commutative, and study some of the fundamental properties of the associated unitary groups, including their orders when the ring in question is finite. We classify all non-degenerate skew-hermitian forms defined over certain local rings, not necessarily commutative, and study some of the fundamental properties of the associated unitary groups, including their orders when the ring in question is finite. △ Less

Submitted 7 April, 2018; v1 submitted 2 November, 2016; originally announced November 2016.

MSC Class: 15A21; 15A63; 11E39; 11E57; 20G25

The generic minimal rigidity of a partially triangulated torus

Authors: James Cruickshank, Derek Kitson, Stephen Power

Abstract: A simple graph is $3$-rigid if its generic bar-joint frameworks in $R^3$ are infinitesimally rigid. Necessary and sufficient conditions are obtained for the minimal $3$-rigidity of a simple graph which is obtained from the $1$-skeleton of a triangulated torus by the deletion of edges interior to a triangulated disc. A simple graph is $3$-rigid if its generic bar-joint frameworks in $R^3$ are infinitesimally rigid. Necessary and sufficient conditions are obtained for the minimal $3$-rigidity of a simple graph which is obtained from the $1$-skeleton of a triangulated torus by the deletion of edges interior to a triangulated disc. △ Less

Submitted 2 September, 2015; originally announced September 2015.

Comments: 31 pages, 37 figures

MSC Class: 52C25

Positive Polynomials on Riesz Spaces

Authors: James Cruickshank, John Loane, Raymond A. Ryan

Abstract: We prove some properties of positive polynomial map**s between Riesz spaces, using finite difference calculus. We establish the polynomial analogue of the classical result that positive, additive map**s are linear. And we prove a polynomial version of the Kantorovich extension theorem. We prove some properties of positive polynomial map**s between Riesz spaces, using finite difference calculus. We establish the polynomial analogue of the classical result that positive, additive map**s are linear. And we prove a polynomial version of the Kantorovich extension theorem. △ Less

Submitted 21 July, 2016; v1 submitted 17 August, 2015; originally announced August 2015.

Comments: 12 pages

MSC Class: 46A40; 46G20 (Primary); 46B30 (Secondary)

The generic rigidity of triangulated spheres with blocks and holes

Authors: James Cruickshank, Derek Kitson, Stephen Power

Abstract: A simple graph G=(V,E) is 3-rigid if its generic bar-joint frameworks in R3 are infinitesimally rigid. Block and hole graphs are derived from triangulated spheres by the removal of edges and the addition of minimally rigid subgraphs, known as blocks, in some of the resulting holes. Combinatorial characterisations of minimal $3$-rigidity are obtained for these graphs in the case of a single block a… ▽ More A simple graph G=(V,E) is 3-rigid if its generic bar-joint frameworks in R3 are infinitesimally rigid. Block and hole graphs are derived from triangulated spheres by the removal of edges and the addition of minimally rigid subgraphs, known as blocks, in some of the resulting holes. Combinatorial characterisations of minimal $3$-rigidity are obtained for these graphs in the case of a single block and finitely many holes or a single hole and finitely many blocks. These results confirm a conjecture of Whiteley from 1988 and special cases of a stronger conjecture of Finbow-Singh and Whiteley from 2013. △ Less

Submitted 9 July, 2015; originally announced July 2015.

Comments: 25 pages, 12 figures

On Spaces of Infinitesimal Motions and Henneberg Extensions

Authors: James Cruickshank

Abstract: We investigate certain spaces of infinitesimal motions arising naturally in the rigidity theory of bar and joint frameworks. We prove some structure theorems for these spaces and as a consequence are able to deduce some special cases of a long standing conjecture of Graver, Tay and Whiteley concerning Henneberg extensions and generically rigid graphs. We investigate certain spaces of infinitesimal motions arising naturally in the rigidity theory of bar and joint frameworks. We prove some structure theorems for these spaces and as a consequence are able to deduce some special cases of a long standing conjecture of Graver, Tay and Whiteley concerning Henneberg extensions and generically rigid graphs. △ Less

Submitted 1 May, 2013; originally announced May 2013.

Comments: 21 pages

MSC Class: 52C25

Unitary groups over local rings

Authors: J. Cruickshank, A. Herman, R. Quinlan, F. Szechtman

Abstract: Structural properties of unitary groups over local, not necessarily commutative, rings are developed, with applications to the computation of the orders of these groups (when finite) and to the degrees of the irreducible constituents of the Weil representation of a unitary group associated to a ramified extension of finite local rings. Structural properties of unitary groups over local, not necessarily commutative, rings are developed, with applications to the computation of the orders of these groups (when finite) and to the degrees of the irreducible constituents of the Weil representation of a unitary group associated to a ramified extension of finite local rings. △ Less

Submitted 20 March, 2013; originally announced March 2013.

Series Parallel Linkages

Authors: James Cruickshank, Jonathan McLaughlin

Abstract: We study spaces of realisations of linkages (weighted graphs) whose underlying graph is a series parallel graph. In particular, we describe an algorithm for determining whether or not such spaces are connected. We study spaces of realisations of linkages (weighted graphs) whose underlying graph is a series parallel graph. In particular, we describe an algorithm for determining whether or not such spaces are connected. △ Less

Submitted 27 November, 2009; originally announced November 2009.

Comments: 18 pages, 11 figures

MSC Class: 55R80