United for Change: Deliberative Coalition Formation to Change the Status
Quo
January 22, 2020
| | |
Computer Science
Multiagent Systems
We study a setting in which a community wishes to identify a strongly
supported proposal from a space of alternatives, in order to change the status
quo. We describe a deliberation process in which agents dynamically form
coalitions around ...
Unsupervisedly Learned Representations: Should the Quest be Over?
January 21, 2020
Computer Science
Machine Learning
Artificial Intelligence
After four decades of research there still exists a Classification accuracy
gap of about 20% between our best Unsupervisedly Learned Representations
methods and the accuracy rates achieved by intelligent animals. It thus may
well be that we...
Three perspectives on categorical symmetric Howe duality
January 21, 2020
|
Mathematics
Representation Theory
Algebraic Geometry
Representation Theory
Algebraic Geometry
In this paper, we consider the categorical symmetric Howe duality introduced
by Khovanov, Lauda, Sussan and Yonezawa. While originally defined from a purely
diagrammatic perspective, this construction also has geometric and
representation-t...
Vietoris-Rips Persistent Homology, Injective Metric Spaces, and The
Filling Radius
January 21, 2020
| |
Mathematics
Computer Science
Algebraic Topology
Computational Geometry
In the applied algebraic topology community, the persistent homology induced
by the Vietoris-Rips simplicial filtration is a standard method for capturing
topological information from metric spaces. In this paper, we consider a
different, m...
Profunctor Optics, a Categorical Update
January 21, 2020
| | | | | |
Mathematics
Computer Science
Category Theory
Programming Languages
Optics are bidirectional data accessors that capture data transformation
patterns such as accessing subfields or iterating over containers. Profunctor
optics are a particular choice of representation supporting modularity, meaning
that we c...
Reduction of bielliptic surfaces
January 19, 2020
|
Mathematics
Algebraic Geometry
Number Theory
Algebraic Geometry
Number Theory
A bielliptic surface (or hyperelliptic surface) is a smooth surface with a
numerically trivial canonical divisor such that the Albanese morphism is an
elliptic fibration. In the first part of this paper, we study the structure of
bielliptic...
Terminal Coalgebras and Non-wellfounded Sets in Homotopy Type Theory
January 18, 2020
| |
Mathematics
Logic
Non-wellfounded material sets have previously been modeled in Martin-L\"of
type theory by Lindstr\"om using setoids. In this paper we construct models of
non-wellfounded material sets in Homotopy Type Theory (HoTT) where equality is
interpr...
On the Prym map for cyclic covers of genus two curves
January 17, 2020
Mathematics
Algebraic Geometry
The Prym map assigns to each covering of curves a polarized abelian variety.
In the case of unramified cyclic covers of curves of genus two, we show that
the Prym map is ramified precisely on the locus of bielliptic covers. The key
observat...
Cross-conformal e-prediction
January 16, 2020
Computer Science
Statistics
Machine Learning
Machine Learning
This note discusses a simple modification of cross-conformal prediction
inspired by recent work on e-values. The precursor of conformal prediction
developed in the 1990s by Gammerman, Vapnik, and Vovk was also based on
e-values and is calle...
The Gossiping Insert-Eliminate Algorithm for Multi-Agent Bandits
January 15, 2020
| | |
Computer Science
Statistics
Machine Learning
Distributed, Parallel, and Cluster Computing
Networking and Internet Architecture
Social and Information Networks
Machine Learning
We consider a decentralized multi-agent Multi Armed Bandit (MAB) setup
consisting of N agents, solving the same MAB instance to minimize individual
cumulative regret. In our model, agents collaborate by exchanging messages
through pairwis...