Sharwin Rezagholi

dblp:218/4582 · DBLP profile ↗
← Back
2ranked-venue papers
0as first author
1since 2021 · last 2021
0000-0003-1090-0240ORCID · reported

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 2 · 1 since 2021
YearPublicationVenuePosition
2021 Probability, valuations, hyperspace: Three monads on top and the support as a morphism
abstract
Abstract We consider three monads on $\mathsf{Top}$ , the category of topological spaces, which formalize topological aspects of probability and possibility in categorical terms. The first one is the Hoare hyperspace monad H, which assigns to every space its space of closed subsets equipped with the lower Vietoris topology. The second one is the monad V of continuous valuations, also known as the extended probabilistic powerdomain. We construct both monads in a unified way in terms of double dualization. This reveals a close analogy between them and allows us to prove that the operation of taking the support of a continuous valuation is a morphism of monads $V \to H$ . In particular, this implies that every H-algebra (topological complete semilattice) is also a V-algebra. We show that V can be restricted to a submonad of $\tau$ -smooth probability measures on $\mathsf{Top}$ . By composing these morphisms of monads, we obtain that taking the supports of $\tau$ -smooth probability measures is also a morphism of monads.
Tobias Fritz, Paolo Perrone, Sharwin Rezagholi
Math. Struct. Comput. Sci.3
2018 Elephants, Donkeys, and Colonel Blotto
abstract
This paper employs a novel method for the empirical analysis of political discourse and develops a model that demonstrates dynamics comparable with the empirical data. Applying a set of binary text classifiers based on convolutional neural networks, we label statements in the political programs of the Democratic and the Republican Party in the United States. Extending the framework of the Colonel Blotto game by a stochastic activation structure, we show that, under a simple learning rule, the simulated game exhibits dynamics that resemble the empirical data.
Ivan P. Yamshchikov, Sharwin Rezagholi
COMPLEXIS2