BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Alexey Potapov

Alexey Potapov contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
astro-ph.GAastro-ph.EPArtificial Intelligenceastro-ph.SRComputer VisionFormal Languages and Automata TheoryLogic in Computer ScienceMachine Learning

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
6works
0followers
8topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

6 published item(s)

preprint2022arXiv

A meta-probabilistic-programming language for bisimulation of probabilistic and non-well-founded type systems

We introduce a formal meta-language for probabilistic programming, capable of expressing both programs and the type systems in which they are embedded. We are motivated here by the desire to allow an AGI to learn not only relevant knowledge (programs/proofs), but also appropriate ways of reasoning (logics/type systems). We draw on the frameworks of cubical type theory and dependent typed metagraphs to formalize our approach. In doing so, we show that specific constructions within the meta-language can be related via bisimulation (implying path equivalence) to the type systems they correspond. This allows our approach to provide a convenient means of deriving synthetic denotational semantics for various type systems. Particularly, we derive bisimulations for pure type systems (PTS), and probabilistic dependent type systems (PDTS). We discuss further the relationship of PTS to non-well-founded set theory, and demonstrate the feasibility of our approach with an implementation of a bisimulation proof in a Guarded Cubical Type Theory type checker.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Exploring refractory organics in extraterrestrial particles

The origin of organic compounds detected in meteorites and comets, some of which could serve as precursors of life on Earth, still remains an open question. The aim of the present study is to make one more step in revealing the nature and composition of organic materials of extraterrestrial particles by comparing infrared spectra of laboratory-made refractory organic residues to the spectra of cometary particles returned by the Stardust mission, interplanetary dust particles, and meteorites. Our results reinforce the idea of a pathway for the formation of refractory organics through energetic and thermal processing of molecular ices in the solar nebula. There is also the possibility that some of the organic material formed already in the parental molecular cloud before it entered the solar nebula. The majority of the IR "organic" bands of the studied extraterrestrial particles can be reproduced in the spectra of the laboratory organic residues. We confirm the detection of water, nitriles, hydrocarbons, and carbonates in extraterrestrial particles and link it to the formation location of the particles in the outer regions of the solar nebula. To clarify the genesis of the species, high-sensitivity observations in combination with laboratory measurements like those presented in this paper are needed. Thus, this study presents one more piece of the puzzle of the origin of water and organic compounds on Earth and motivation for future collaborative laboratory and observational projects.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Dust/ice mixing in cold regions and solid-state water in the diffuse interstellar medium

Whether ice in cold cosmic environments is physically separated from the silicate dust or mixed with individual silicate moieties is not known. However, different grain models give very different compositions and temperatures of grains. The aim of the present study is a comparison of the mid-IR spectra of laboratory silicate-grains/water-ice mixtures with astronomical observations to evaluate the presence of dust/ice mixtures in interstellar and circumstellar environments. The laboratory data can explain the observations assuming reasonable mass-averaged temperatures for the protostellar envelopes and protoplanetary disks demonstrating that a substantial fraction of water ice may be mixed with silicate grains. Based on the combination of laboratory data and infrared observations, we provide evidence of the presence of solid-state water in the diffuse interstellar medium. Our results have implications for future laboratory studies trying to investigate cosmic dust grain analogues and for future observations trying to identify the structure, composition, and temperature of grains in different astrophysical environments.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

GoodPoint: unsupervised learning of keypoint detection and description

This paper introduces a new algorithm for unsupervised learning of keypoint detectors and descriptors, which demonstrates fast convergence and good performance across different datasets. The training procedure uses homographic transformation of images. The proposed model learns to detect points and generate descriptors on pairs of transformed images, which are easy for it to distinguish and repeatedly detect. The trained model follows SuperPoint architecture for ease of comparison, and demonstrates similar performance on natural images from HPatches dataset, and better performance on retina images from Fundus Image Registration Dataset, which contain low number of corner-like features. For HPatches and other datasets, coverage was also computed to provide better estimation of model quality.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Ice coverage of dust grains in cold astrophysical environments

Surface processes on cosmic solids in cold astrophysical environments lead to gas phase depletion and molecular complexity. Most astrophysical models assume that the molecular ice forms a thick multilayer substrate, not interacting with the dust surface. In contrast, we present experimental results demonstrating the importance of the surface for porous grains. We show that cosmic dust grains may be covered by a few monolayers of ice only. This implies that the role of dust surface structure, composition, and reactivity in models describing surface processes in cold interstellar, protostellar, and protoplanetary environments has to be reevaluated.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Thermal formation of ammonium carbamate on the surface of laboratory analogues of carbonaceous grains in protostellar envelopes and planet-forming disks

The catalytic role of dust grain surfaces in the thermal reaction CO2 + 2NH3 $\rightarrow$ NH4+NH2COO was recently demonstrated by our group. The rate coefficients for the reaction at 80 K on the surface of nanometre-sized carbon and silicate grains were measured to be up to three times higher compared to the reaction rate coefficients measured on KBr. In this study, the reaction was performed on carbon grains and on KBr in the extended temperature range of 50 - 80 K and with the addition of water ice. The reaction activation energy was found to be about 3 times lower on grains compared to the corresponding ice layer on KBr. Thus, the catalytic role of the dust grain surface in the studied reaction can be related to a reduction of the reaction barrier. Addition of water to NH3:CO2 ice on grains slowed the reaction down. At the H2O:CO2 ratio of 5:1, the reaction was not detected on the experimental timescale. This result calls into question the thermal formation of ammonium carbamate in dense molecular clouds and outer regions of protostellar and protoplanetary environments with dominating water ice mantle chemistry. However, it can still happen in inner regions of protostellar and protoplanetary environments in crystalline ices.

0 citations0 reviewsNo code linkedOpen access