-
Lovász Theorems for Modal Languages
Authors:
Jesse Comer
Abstract:
A famous result due to Lovász states that two finite relational structures $M$ and $N$ are isomorphic if, and only if, for all finite relational structures $T$, the number of homomorphisms from $T$ to $M$ is equal to the number of homomorphisms from $T$ to $N$. Since first-order logic (FOL) can describe finite structures up to isomorphism, this can be interpreted as a characterization of FOL-equiv…
▽ More
A famous result due to Lovász states that two finite relational structures $M$ and $N$ are isomorphic if, and only if, for all finite relational structures $T$, the number of homomorphisms from $T$ to $M$ is equal to the number of homomorphisms from $T$ to $N$. Since first-order logic (FOL) can describe finite structures up to isomorphism, this can be interpreted as a characterization of FOL-equivalence via homomorphism-count indistinguishability with respect to the class of finite structures. We identify classes of labeled transition systems (LTSs) such that homomorphism-count indistinguishability with respect to these classes, where "counting" is done within an appropriate semiring structure, captures equivalence with respect to positive-existential modal logic, graded modal logic, and hybrid logic, as well as the extensions of these logics with either backward or global modalities. Our positive results apply not only to finite structures, but also to certain well-behaved infinite structures. We also show that equivalence with respect to positive modal logic and equivalence with respect to the basic modal language are not captured by homomorphism-count indistinguishability with respect to any class of LTSs, regardless of which semiring is used for counting.
△ Less
Submitted 22 June, 2024; v1 submitted 23 April, 2024;
originally announced April 2024.
-
Technical Report: Time-Bounded Resilience
Authors:
Tajana Ban Kirigin,
Jesse Comer,
Max Kanovich,
Andre Scedrov,
Carolyn Talcott
Abstract:
Most research on formal system design has focused on optimizing various measures of efficiency. However, insufficient attention has been given to the design of systems optimizing resilience, the ability of systems to adapt to unexpected changes or adversarial disruptions. In our prior work, we formalized the intuitive notion of resilience as a property of cyber-physical systems by using a multiset…
▽ More
Most research on formal system design has focused on optimizing various measures of efficiency. However, insufficient attention has been given to the design of systems optimizing resilience, the ability of systems to adapt to unexpected changes or adversarial disruptions. In our prior work, we formalized the intuitive notion of resilience as a property of cyber-physical systems by using a multiset rewriting language with explicit time. In the present paper, we study the computational complexity of a formalization of time-bounded resilience problems for the class of $η$-simple progressing planning scenarios, where, intuitively, it is simple to check that a system configuration is critical, and only a finite number of actions can be carried out in a bounded time period. We show that, in the time-bounded model with $n$ (potentially adversarially chosen) updates, the corresponding time-bounded resilience problem for this class of systems is complete for the $Σ^P_{2n+1}$ class of the polynomial hierarchy, PH. To support the formal models and complexity results, we perform automated experiments for time-bounded verification using the rewriting logic tool Maude.
△ Less
Submitted 2 June, 2024; v1 submitted 10 January, 2024;
originally announced January 2024.
-
Craig Interpolation for Decidable First-Order Fragments
Authors:
Balder ten Cate,
Jesse Comer
Abstract:
We show that the guarded-negation fragment (GNFO) is, in a precise sense, the smallest extension of the guarded fragment (GFO) with Craig interpolation. In contrast, we show that the smallest extension of the two-variable fragment (FO2), and of the forward fragment (FF) with Craig interpolation, is full first-order logic. Similarly, we also show that all extensions of FO2 and of the fluted fragmen…
▽ More
We show that the guarded-negation fragment (GNFO) is, in a precise sense, the smallest extension of the guarded fragment (GFO) with Craig interpolation. In contrast, we show that the smallest extension of the two-variable fragment (FO2), and of the forward fragment (FF) with Craig interpolation, is full first-order logic. Similarly, we also show that all extensions of FO2 and of the fluted fragment (FL) with Craig interpolation are undecidable.
△ Less
Submitted 24 January, 2024; v1 submitted 12 October, 2023;
originally announced October 2023.
-
Craig Interpolation for Guarded Fragments
Authors:
Balder ten Cate,
Jesse Comer
Abstract:
We show that the guarded-negation fragment (GNFO) is, in a precise sense, the smallest extension of the guarded fragment (GFO) with Craig interpolation. In contrast, %we show that the smallest extension of the two-variable fragment (FO2) with Craig interpolation is full first-order logic.
We show that the guarded-negation fragment (GNFO) is, in a precise sense, the smallest extension of the guarded fragment (GFO) with Craig interpolation. In contrast, %we show that the smallest extension of the two-variable fragment (FO2) with Craig interpolation is full first-order logic.
△ Less
Submitted 17 April, 2023;
originally announced April 2023.
-
Few-Shot Image Classification Along Sparse Graphs
Authors:
Joseph F Comer,
Philip L Jacobson,
Heiko Hoffmann
Abstract:
Few-shot learning remains a challenging problem, with unsatisfactory 1-shot accuracies for most real-world data. Here, we present a different perspective for data distributions in the feature space of a deep network and show how to exploit it for few-shot learning. First, we observe that nearest neighbors in the feature space are with high probability members of the same class while generally two…
▽ More
Few-shot learning remains a challenging problem, with unsatisfactory 1-shot accuracies for most real-world data. Here, we present a different perspective for data distributions in the feature space of a deep network and show how to exploit it for few-shot learning. First, we observe that nearest neighbors in the feature space are with high probability members of the same class while generally two random points from one class are not much closer to each other than points from different classes. This observation suggests that classes in feature space form sparse, loosely connected graphs instead of dense clusters. To exploit this property, we propose using a small amount of label propagation into the unlabeled space and then using a kernel PCA reconstruction error as decision boundary for the feature-space data distribution of each class. Using this method, which we call "K-Prop," we demonstrate largely improved few-shot learning performances (e.g., 83% accuracy for 1-shot 5-way classification on the RESISC45 satellite-images dataset) for datasets for which a backbone network can be trained with high within-class nearest-neighbor probabilities. We demonstrate this relationship using six different datasets.
△ Less
Submitted 7 December, 2021;
originally announced December 2021.
-
#ContextMatters: Advantages and Limitations of Using Machine Learning to Support Women in Politics
Authors:
Jacqueline Comer,
Sam Work,
Kory W Mathewson,
Lana Cuthbertson,
Kasey Machin
Abstract:
The United Nations identified gender equality as a Sustainable Development Goal in 2015, recognizing the underrepresentation of women in politics as a specific barrier to achieving gender equality. Political systems around the world experience gender inequality across all levels of elected government as fewer women run for office than men. This is due in part to online abuse, particularly on socia…
▽ More
The United Nations identified gender equality as a Sustainable Development Goal in 2015, recognizing the underrepresentation of women in politics as a specific barrier to achieving gender equality. Political systems around the world experience gender inequality across all levels of elected government as fewer women run for office than men. This is due in part to online abuse, particularly on social media platforms like Twitter, where women seeking or in power tend to be targeted with more toxic maltreatment than their male counterparts. In this paper, we present reflections on ParityBOT - the first natural language processing-based intervention designed to affect online discourse for women in politics for the better, at scale. Deployed across elections in Canada, the United States and New Zealand, ParityBOT was used to analyse and classify more than 12 million tweets directed at women candidates and counter toxic tweets with supportive ones. From these elections we present three case studies highlighting the current limitations of, and future research and application opportunities for, using a natural language processing-based system to detect online toxicity, specifically with regards to contextually important microaggressions. We examine the rate of false negatives, where ParityBOT failed to pick up on insults directed at specific high profile women, which would be obvious to human users. We examine the unaddressed harms of microaggressions and the potential of yet unseen damage they cause for women in these communities, and for progress towards gender equality overall, in light of these technological blindspots. This work concludes with a discussion on the benefits of partnerships between nonprofit social groups and technology experts to develop responsible, socially impactful approaches to addressing online hate.
△ Less
Submitted 10 October, 2021; v1 submitted 30 September, 2021;
originally announced October 2021.
-
Torsional rigidity and isospectral planar sets
Authors:
Joseph Comer,
Patrick McDonald
Abstract:
We prove that a certain pair of isospectral planar sets are distinguished by torsional rigidity.
We prove that a certain pair of isospectral planar sets are distinguished by torsional rigidity.
△ Less
Submitted 16 May, 2021;
originally announced May 2021.
-
Set Representation Learning with Generalized Sliced-Wasserstein Embeddings
Authors:
Navid Naderializadeh,
Soheil Kolouri,
Joseph F. Comer,
Reed W. Andrews,
Heiko Hoffmann
Abstract:
An increasing number of machine learning tasks deal with learning representations from set-structured data. Solutions to these problems involve the composition of permutation-equivariant modules (e.g., self-attention, or individual processing via feed-forward neural networks) and permutation-invariant modules (e.g., global average pooling, or pooling by multi-head attention). In this paper, we pro…
▽ More
An increasing number of machine learning tasks deal with learning representations from set-structured data. Solutions to these problems involve the composition of permutation-equivariant modules (e.g., self-attention, or individual processing via feed-forward neural networks) and permutation-invariant modules (e.g., global average pooling, or pooling by multi-head attention). In this paper, we propose a geometrically-interpretable framework for learning representations from set-structured data, which is rooted in the optimal mass transportation problem. In particular, we treat elements of a set as samples from a probability measure and propose an exact Euclidean embedding for Generalized Sliced Wasserstein (GSW) distances to learn from set-structured data effectively. We evaluate our proposed framework on multiple supervised and unsupervised set learning tasks and demonstrate its superiority over state-of-the-art set representation learning approaches.
△ Less
Submitted 5 March, 2021;
originally announced March 2021.
-
On the geometry of a dislocated medium
Authors:
Jeffrey Comer,
Ruslan Sharipov
Abstract:
Purely real space versions of the differential equations describing the kinematics of a dislocated crystalline medium are considered. The differential geometric structures associated with them are revealed.
Purely real space versions of the differential equations describing the kinematics of a dislocated crystalline medium are considered. The differential geometric structures associated with them are revealed.
△ Less
Submitted 2 February, 2005;
originally announced February 2005.
-
A note on the kinematics of dislocations in crystals
Authors:
Jeffrey Comer,
Ruslan Sharipov
Abstract:
A part of the theory of dislocations in crystals is revised with the aim to fit it into the framework of the nonlinear theory of plasticity initially designed for amorphous glassy materials.
A part of the theory of dislocations in crystals is revised with the aim to fit it into the framework of the nonlinear theory of plasticity initially designed for amorphous glassy materials.
△ Less
Submitted 3 October, 2004;
originally announced October 2004.