title: Narrow Line Width Quantum Emitters in an Electron-Beam-Shaped Polymer

abstract: Solid-state single photon sources (SPSs) with narrow line width play an important role in many leading quantum technologies. Within the wide range of SPSs studied to date, single fluorescent molecules hosted in organic crystals stand out as bright, photostable SPSs with a lifetime-limited optical resonance at cryogenic temperatures. Furthermore, recent results have demonstrated that photostability and narrow line widths are still observed from single molecules hosted in a nanocrystalline environment, which paves the way for their integration with photonic circuitry. Polymers offer a compatible matrix for embedding nanocrystals and provide a versatile yet low-cost approach for making nanophotonic structures on chip that guide light and enhance coupling to nanoscale emitters. Here, we present a deterministic nanostructuring technique based on electron-beam lithography for shaping polymers with embedded single molecules. Our approach provides a direct means of structuring the nanoscale environment of narrow line width emitters while preserving their emission properties.


title: A Statistical Learning-Based Algorithm for Topology Verification in Natural Gas Networks Based on Noisy Sensor Measurements

abstract: Accurate knowledge of natural gas network topology is critical for the proper operation of natural gas networks. Failures, physical attacks, and cyber attacks can cause the actual natural gas network topology to differ from what the operator believes to be present. Incorrect topology information misleads the operator to apply inappropriate control causing damage and lack of gas supply. Several methods for verifying the topology have been suggested in the literature for electrical power distribution networks, but we are not aware of any publications for natural gas networks. In this paper, we develop a useful topology verification algorithm for natural gas networks based on modifying a general known statistics-based approach to eliminate serious limitations for this application while maintaining good performance. We prove that the new algorithm is equivalent to the original statistics-based approach for a sufficiently large number of sensor observations. We provide new closed-form expressions for the asymptotic performance that are shown to be accurate for the typical number of sensor observations required to achieve reliable performance.


title: Resonant Asymmetric All-Dielectric Metasurface for Boosting Third-Harmonic Generation

abstract: Resonant metasurfaces have received extensive attention due to their sharp spectral feature and extraordinary field enhancement. In this work, by breaking the in-plane symmetry of silicon nanopillars, we achieve a sharp Fano resonance. The far-field radiation and near-field distribution of metasurfaces are calculated and analyzed to further uncover the resonant performance of metasurfaces. Moreover, the theoretical derivation and simulation exhibit an inverse quadratic dependence of Q-factors on asymmetry parameters, revealing that the resonance is governed by the symmetry-protected bound states in the continuum. Finally we experimentally demonstrate the sharp resonance, and employ it to effciently boost the third-harmonic generation. This enhancement can be attributed to the strong optical intensity enhancement inside the metasurface.


title: Markov Chain-based Sampling for Exploring RNA Secondary Structure under the Nearest Neighbor Thermodynamic Model

abstract: We study plane trees as a model for RNA secondary structure, assigning energy to each tree based on the Nearest Neighbor Thermodynamic Model, and defining a corresponding Gibbs distribution on the trees. Through a bijection between plane trees and 2-Motzkin paths, we design a Markov chain converging to the Gibbs distribution, and establish fast mixing time results by estimating the spectral gap of the chain. The spectral gap estimate is established through a series of decompositions of the chain and also by building on known mixing time results for other chains on Dyck paths. In addition to the mathematical aspects of the result, the resulting algorithm can be used as a tool for exploring the branching structure of RNA and its dependence on energy model parameters. The pseudocode implementing the Markov chain is provided in an appendix.


title: Analysis of Multi-Messages Retransmission Schemes

abstract: Hybrid Automatic ReQuest (HARQ) protocol enables reliable communications in wireless systems. Usually, several parallel streams are sent in successive timeslots following a time-sharing approach. Recently, multi-layer HARQ has been proposed by superposing packets within a timeslot. In this paper, we evaluate the potential of this multi-layer HARQ by playing with some design parameters. We show that a gain in throughput is only obtained at mid-Signal-to-Noise Ratio (SNR).


title: Learning Longterm Representations for Person Re-Identification Using Radio Signals

abstract: Person Re-Identification (ReID) aims to recognize a person-of-interest across different places and times. Existing ReID methods rely on images or videos collected using RGB cameras. They extract appearance features like clothes, shoes, hair, etc. Such features, however, can change drastically from one day to the next, leading to inability to identify people over extended time periods. In this paper, we introduce RF-ReID, a novel approach that harnesses radio frequency (RF) signals for longterm person ReID. RF signals traverse clothes and reflect off the human body; thus they can be used to extract more persistent human-identifying features like body size and shape. We evaluate the performance of RF-ReID on longitudinal datasets that span days and weeks, where the person may wear different clothes across days. Our experiments demonstrate that RF-ReID outperforms state-of-the-art RGB-based ReID approaches for long term person ReID. Our results also reveal two interesting features: First since RF signals work in the presence of occlusions and poor lighting, RF-ReID allows for person ReID in such scenarios. Second, unlike photos and videos which reveal personal and private information, RF signals are more privacy-preserving, and hence can help extend person ReID to privacy-concerned domains, like healthcare.


title: NUBES: A Corpus of Negation and Uncertainty in Spanish Clinical Texts

abstract: This paper introduces the first version of the NUBes corpus (Negation and Uncertainty annotations in Biomedical texts in Spanish). The corpus is part of an on-going research and currently consists of 29,682 sentences obtained from anonymised health records annotated with negation and uncertainty. The article includes an exhaustive comparison with similar corpora in Spanish, and presents the main annotation and design decisions. Additionally, we perform preliminary experiments using deep learning algorithms to validate the annotated dataset. As far as we know, NUBes is the largest publicly available corpus for negation in Spanish and the first that also incorporates the annotation of speculation cues, scopes, and events.


title: Synthesis and $\textit{in-situ}$ characterization of photochromic yttrium oxyhydride grown by reactive $e^-$-beam evaporation

abstract: We report on controlled growth of photochromic yttrium oxyhydride thin films monitored by $\textit{in-situ}$ composition depth profiling. Films were grown by reactive $e^-$-beam evaporation and subsequently oxidized, while simultaneously tracking the oxygen and hydrogen concentrations. Sample composition and photochromic response were characterized $\textit{in-situ}$ using non destructive ion beam analysis and image analysis, respectively - as well as complementary $\textit{ex-situ}$ ion beam methods, X-ray diffraction and optical spectrophotometry. We show that photochromic yttrium oxyhydride can be grown as yttrium dihydride, which is then oxidized to O/H ratios triggering the photochromic response.


title: Recent developments on the well-posedness theory for Vlasov-type equations

abstract: In these notes we summarise some recent developments on the existence and uniqueness theory for Vlasov-type equations, both on the torus and on the whole space.


title: MCEN: Bridging Cross-Modal Gap between Cooking Recipes and Dish Images with Latent Variable Model

abstract: Nowadays, driven by the increasing concern on diet and health, food computing has attracted enormous attention from both industry and research community. One of the most popular research topics in this domain is Food Retrieval, due to its profound influence on health-oriented applications. In this paper, we focus on the task of cross-modal retrieval between food images and cooking recipes. We present Modality-Consistent Embedding Network (MCEN) that learns modality-invariant representations by projecting images and texts to the same embedding space. To capture the latent alignments between modalities, we incorporate stochastic latent variables to explicitly exploit the interactions between textual and visual features. Importantly, our method learns the cross-modal alignments during training but computes embeddings of different modalities independently at inference time for the sake of efficiency. Extensive experimental results clearly demonstrate that the proposed MCEN outperforms all existing approaches on the benchmark Recipe1M dataset and requires less computational cost.


title: Boosting vector leptoquark searches with boosted tops

abstract: At the LHC, a TeV-scale leptoquark (LQ) that decays dominantly to a top quark ($t$) and a light charged lepton ($\ell=e,\mu$) would form a resonance system of \emph{boosted-$t$ $+$ high-$p_{\rm T}$-$\ell$}. We consider all possible vector LQ models within the Buchm\"{u}ller-R\"{u}ckl-Wyler classifications with the desired decay. We propose simple phenomenological Lagrangians that are suitable for bottom-up/experimental studies and, at the same time, can cover the relevant parameter spaces of these models. In this simplified framework, we study the pair and single production channels of vector LQs at the LHC. Interestingly, we find that, like the pair production, the cross sections of some single production processes also depend on the parameter $\kappa$ that appears in the gluon-vector LQ coupling. We adopt a search strategy of selecting events with at least one boosted hadronic top quark and exactly two high-$p_{\rm T}$ leptons of the same flavor and opposite sign. This combines events from the pair and single production processes and, therefore, can enhance the discovery potential beyond that of the pair-production-only searches. For $5\sigma$ discovery we find that vector LQs can be probed up to $2.55$ TeV for $100\%$ branching ratio in the $t\ell $ decay mode and $\mathcal{O}(1)$ new couplings at the $14$ TeV LHC with $3$ ab$^{-1}$ of integrated luminosity.


title: Learning to cooperate: Emergent communication in multi-agent navigation

abstract: Emergent communication in artificial agents has been studied to understand language evolution, as well as to develop artificial systems that learn to communicate with humans. We show that agents performing a cooperative navigation task in various gridworld environments learn an interpretable communication protocol that enables them to efficiently, and in many cases, optimally, solve the task. An analysis of the agents' policies reveals that emergent signals spatially cluster the state space, with signals referring to specific locations and spatial directions such as "left", "up", or "upper left room". Using populations of agents, we show that the emergent protocol has basic compositional structure, thus exhibiting a core property of natural language.


title: Information State Embedding in Partially Observable Cooperative Multi-Agent Reinforcement Learning

abstract: Multi-agent reinforcement learning (MARL) under partial observability has long been considered challenging, primarily due to the requirement for each agent to maintain a belief over all other agents' local histories -- a domain that generally grows exponentially over time. In this work, we investigate a partially observable MARL problem in which agents are cooperative. To enable the development of tractable algorithms, we introduce the concept of an information state embedding that serves to compress agents' histories. We quantify how the compression error influences the resulting value functions for decentralized control. Furthermore, we propose an instance of the embedding based on recurrent neural networks (RNNs). The embedding is then used as an approximate information state, and can be fed into any MARL algorithm. The proposed embed-then-learn pipeline opens the black-box of existing (partially observable) MARL algorithms, allowing us to establish some theoretical guarantees (error bounds of value functions) while still achieving competitive performance with many end-to-end approaches.


title: Natural Language Processing (NLP) for Requirements Engineering: A Systematic Mapping Study

abstract: Natural language processing supported requirements engineering is an area of research and development that seeks to apply NLP techniques, tools and resources to a variety of requirements documents or artifacts to support a range of linguistic analysis tasks performed at various RE phases. Such tasks include detecting language issues, identifying key domain concepts and establishing traceability links between requirements. This article surveys the landscape of NLP4RE research to understand the state of the art and identify open problems. The systematic mapping study approach is used to conduct this survey, which identified 404 relevant primary studies and reviewed them according to five research questions, cutting across five aspects of NLP4RE research, concerning the state of the literature, the state of empirical research, the research focus, the state of the practice, and the NLP technologies used. Results: 1) NLP4RE is an active and thriving research area in RE that has amassed a large number of publications and attracted widespread attention from diverse communities; 2) most NLP4RE studies are solution proposals having only been evaluated using a laboratory experiment or an example application; 3) most studies have focused on the analysis phase, with detection as their central linguistic analysis task and requirements specification as their commonly processed document type; 4) 130 new tools have been proposed to support a range of linguistic analysis tasks, but there is little evidence of adoption in the long term, although some industrial applications have been published; 5) 140 NLP techniques, 66 NLP tools and 25 NLP resources are extracted from the selected studies.


title: Optical spectra of rare-earth nickelates

abstract: Based on the electronic band structure obtained from first principles DFT calculations, the opticalspectra of yttrium and neodymium nickelates are computed. We show that the results are in fairagreement with available experimental data. We clarify the electronic transitions at the origin of thefirst two peaks, highlighting the important role of transitions from t2g states neglected in previousmodels. We discuss the evolution of the optical spectra from small to large rare-earth cations andrelate the changes to the electronic band structure.


title: Map-Enhanced Ego-Lane Detection in the Missing Feature Scenarios

abstract: As one of the most important tasks in autonomous driving systems, ego-lane detection has been extensively studied and has achieved impressive results in many scenarios. However, ego-lane detection in the missing feature scenarios is still an unsolved problem. To address this problem, previous methods have been devoted to proposing more complicated feature extraction algorithms, but they are very time-consuming and cannot deal with extreme scenarios. Different from others, this paper exploits prior knowledge contained in digital maps, which has a strong capability to enhance the performance of detection algorithms. Specifically, we employ the road shape extracted from OpenStreetMap as lane model, which is highly consistent with the real lane shape and irrelevant to lane features. In this way, only a few lane features are needed to eliminate the position error between the road shape and the real lane, and a search-based optimization algorithm is proposed. Experiments show that the proposed method can be applied to various scenarios and can run in real-time at a frequency of 20 Hz. At the same time, we evaluated the proposed method on the public KITTI Lane dataset where it achieves state-of-the-art performance. Moreover, our code will be open source after publication.


title: Kinetic turbulence in space plasmas observed in the near-Earth and near-Sun solar wind

abstract: Turbulence develops in any stressed flow when the scales of the forcing are much larger than those of the dissipation. In neutral fluids, it consists of chaotic motions in physical space but with a universal energy spectrum in Fourier space. Intermittency (non-Gaussian statistics of fluctuations) is another general property and it is related to the presence of coherent structures. Space plasmas are turbulent as well. Here, we focus on the kinetic plasma scales, which are not yet well understood. We address the following fundamental questions: (1) Do the turbulent fluctuations at kinetic scales form a universal spectrum? and (2) What is the nature of the fluctuations? Using measurements in the solar wind we show that the magnetic spectra of kinetic turbulence at 0.3, 0.6 and 0.9 AU from the Sun have the same shape as the ones close to the Earth orbit at 1 AU, indicating universality of the phenomenon. The fluctuations, which form this spectrum, are typically non-linearly interacting eddies that tend to generate magnetic filaments.

categories: physics.space-ph astro-ph.SR physics.flu-dyn physics.plasm-ph


title: On a class of stochastic programs with exponentially many scenarios

abstract: We consider a class of stochastic programs whose uncertain data has an exponential number of possible outcomes, where scenarios are affinely parametrized by the vertices of a tractable binary polytope. Under these conditions, we propose a novel formulation that introduces a modest number of additional variables and a class of inequalities that can be efficiently separated. Moreover, when the underlying polytope is the unit hypercube, we present an extended formulation of polynomial size that can be solved directly with off--the--shelf optimization software. We assess the advantages and limitations of our formulation through a computational study.


title: Properties of green valley galaxies in relation to their selection criteria

abstract: The distribution of galaxies has been studied to show the difference between the blue cloud and red sequence and to define the green valley region. However, there are still many open questions regarding the importance of the green valley for understanding the morphological transformation and evolution of galaxies, how galaxies change from late-type to early-type and the role of AGN in galaxy formation and evolution scenario. The work focused on studying in more details the properties of green valley galaxies by testing the six most used selection criteria, differences between them, and how they may affect the main results and conclusions. The main findings are that, by selecting the green valley galaxies using different criteria, we are selecting different types of galaxies in terms of their stellar masses, sSFR, SFR, spectroscopic classification and morphological properties, where the difference was more significant for colour criteria than for sSFR and SFR vs. stellar-mass criteria.


title: Inferring change points in the COVID-19 spreading reveals the effectiveness of interventions

abstract: As COVID-19 is rapidly spreading across the globe, short-term modeling forecasts provide time-critical information for decisions on containment and mitigation strategies. A main challenge for short-term forecasts is the assessment of key epidemiological parameters and how they change when first interventions show an effect. By combining an established epidemiological model with Bayesian inference, we analyze the time dependence of the effective growth rate of new infections. Focusing on the COVID-19 spread in Germany, we detect change points in the effective growth rate that correlate well with the times of publicly announced interventions. Thereby, we can quantify the effect of interventions, and we can incorporate the corresponding change points into forecasts of future scenarios and case numbers. Our code is freely available and can be readily adapted to any country or region.


title: The Paradox of Information Access: On Modeling Social-Media-Induced Polarization

abstract: The paper develops a stochastic model of drift in human beliefs that shows that today's sheer volume of accessible information, combined with consumers' confirmation bias and natural preference to more outlying content, necessarily lead to increased polarization. The model explains the paradox of growing ideological fragmentation in the age of increased sharing. As social media, search engines, and other real-time information sharing outlets purport to facilitate access to information, a need for content filtering arises due to the ensuing information overload. In general, consumers select information that matches their individual views and values. The bias inherent in such selection is echoed by today's information curation services that maximize user engagement by filtering new content in accordance with observed consumer preferences. Consequently, individuals get exposed to increasingly narrower bands of the ideology spectrum, thus fragmenting society into increasingly ideologically isolated enclaves. We call this dynamic the paradox of information access. The model also suggests the disproportionate damage attainable with a small infusion of well-positioned misinformation. The paper describes the modeling methodology, and evaluates modeling results for different population sizes and parameter settings.


title: Chemistry of the spin-1/2 kagome Heisenberg antiferromagnet

abstract: We believe that a necessary first step in understanding the ground state properties of the spin-${\scriptstyle\frac{1}{2}}$ kagome Heisenberg antiferromagnet is a better understanding of this model's very large number of low energy singlet states. A description of the low energy states that is both accurate and amenable for numerical work may ultimately prove to have greater value than knowing only what these properties are, in particular when these turn on the delicate balance of many small energies. We demonstrate how this program would be implemented using the basis of spin-singlet dimerized states, though other bases that have been proposed may serve the same purpose. The quality of a basis is evaluated by its participation in all the low energy singlets, not just the ground state. From an experimental perspective, and again in light of the small energy scales involved, methods that can deliver all the low energy states promise more robust predictions than methods that only refine a fraction of these states.


title: Weak-value-amplification analysis beyond the AAV limit of weak measurements

abstract: The weak-value (WV) measurement proposed by Aharonov, Albert and Vaidman (AAV) has attracted a great deal of interest in connection with quantum metrology. In this work, we extend the analysis beyond the AAV limit and obtain a few main results. (i) We obtain non-perturbative result for the signal-to-noise ratio (SNR). In contrast to the AAV's prediction, we find that the SNR asymptotically gets worse when the AAV's WV $A_w$ becomes large, i.e., in the case $g|A_w|^2>>1$, where $g$ is the measurement strength. (ii) With the increase of $g$ (but also small), we find that the SNR is comparable to the result under the AAV limit, while both can reach -- actually the former can slightly exceed -- the SNR of the standard measurement. However, along a further increase of $g$, the WV technique will become less efficient than the standard measurement, despite that the postselection probability is increased. (iii) We find that the Fisher information can characterize the estimate precision qualitatively well as the SNR, yet their difference will become more prominent with the increase of $g$. (iv) We carry out analytic expressions of the SNR in the presence of technical noises and illustrate the particular advantage of the imaginary WV measurement. The non-perturbative result of the SNR manifests a favorable range of the noise strength and allows an optimal determination.


title: Tidal friction in satellites and planets. The new version of the creep tide theory

abstract: Paper on the creep tide theory and its applications to satellites and planets with emphasis on a new set of differential equations allowing easier numerical studies. The creep tide theory is a new paradigm that does not fix a priori the tidal deformation of the body, but considers the deformation as a low-Reynolds-number flow. The evolution under tidal forces is ruled by an approximate solution of the Navier-Stokes equation depending on the body's viscosity with no ad hoc assumptions on its shape and orientation. It reproduces closely the results of Darwinian theories in the case of gaseous planets and stars, but the results are completely different in the case of stiff satellites and planets. It explains the tidal dissipations of Enceladus and Mimas. The extension of the theory to nonhomogeneous icy satellites with a subsurface ocean allows the amplitude of the forced oscillations around synchronization (librations) to be better determined.


title: An Attention-Based Deep Learning Model for Multiple Pedestrian Attributes Recognition

abstract: The automatic characterization of pedestrians in surveillance footage is a tough challenge, particularly when the data is extremely diverse with cluttered backgrounds, and subjects are captured from varying distances, under multiple poses, with partial occlusion. Having observed that the state-of-the-art performance is still unsatisfactory, this paper provides a novel solution to the problem, with two-fold contributions: 1) considering the strong semantic correlation between the different full-body attributes, we propose a multi-task deep model that uses an element-wise multiplication layer to extract more comprehensive feature representations. In practice, this layer serves as a filter to remove irrelevant background features, and is particularly important to handle complex, cluttered data; and 2) we introduce a weighted-sum term to the loss function that not only relativizes the contribution of each task (kind of attributed) but also is crucial for performance improvement in multiple-attribute inference settings. Our experiments were performed on two well-known datasets (RAP and PETA) and point for the superiority of the proposed method with respect to the state-of-the-art. The code is available at https://github.com/Ehsan-Yaghoubi/MAN-PAR-.


title: Production of heavy particle pairs via photon-photon processes at the LHC

abstract: We discuss production of $W^+ W^-$ pairs and $t \bar t$ quark-antiquark pairs in proton-proton collisions induced by two-photon fusion including transverse momenta of incoming photons. The unintegrated inelastic fluxes (related to proton dissociation) of photons are calculated based on modern parametrizations of deep inelastic structure functions in a broad range of $x$ and $Q^2$. We focus on processes with single and double proton dissociation. Highly excited remnant systems hadronise producing particles that can be vetoed in the calorimeter. We calculate associated gap survival factors. The gap survival factors depend on the process, mass of the remnant system and collision energy. The rapidity gap survival factor due to remnant fragmentation for double dissociative (DD) collisions is smaller than that for single dissociative (SD) process. We observe approximate factorisation: $S_{R,DD} \approx S_{R,SD}^2$ when imposing rapidity veto. For the $W^+W^-$ final state, the remnant fragmentation leads to a taming of the cross section when the rapidity gap requirement is imposed. Also for $t \bar t$ quark-antiquark pairs such a condition reverses the hierarchy observed for the case when such condition is taken into account. Our results imply that for the production of such heavy objects as $t$ quark and $\bar t$ antiquark the virtuality of the photons attached to the dissociative system are very large ($Q^2 <$ 10$^{4}$ GeV$^2$). A similar effect is observed for the $W^+ W^-$ system.


title: An Approximate Quasi-Likelihood Approach for Error-Prone Failure Time Outcomes and Exposures

abstract: Measurement error arises commonly in clinical research settings that rely on data from electronic health records or large observational cohorts. In particular, self-reported outcomes are typical in cohort studies for chronic diseases such as diabetes in order to avoid the burden of expensive diagnostic tests. Dietary intake, which is also commonly collected by self-report and subject to measurement error, is a major factor linked to diabetes and other chronic diseases. These errors can bias exposure-disease associations that ultimately can mislead clinical decision-making. We have extended an existing semiparametric likelihood-based method for handling error-prone, discrete failure time outcomes to also address covariate error. We conduct an extensive numerical study to compare the proposed method to the naive approach that ignores measurement error in terms of bias and efficiency in the estimation of the regression parameter of interest. In all settings considered, the proposed method showed minimal bias and maintained coverage probability, thus outperforming the naive analysis which showed extreme bias and low coverage. This method is applied to data from the Women's Health Initiative to assess the association between energy and protein intake and the risk of incident diabetes mellitus. Our results show that correcting for errors in both the self-reported outcome and dietary exposures leads to considerably different hazard ratio estimates than those from analyses that ignore measurement error, which demonstrates the importance of correcting for both outcome and covariate error. Computational details and R code for implementing the proposed method are presented in Section S1 of the Supplementary Materials.


title: ProxyNCA++: Revisiting and Revitalizing Proxy Neighborhood Component Analysis

abstract: We consider the problem of distance metric learning (DML), where the task is to learn an effective similarity measure between images. We revisit ProxyNCA and incorporate several enhancements. We find that low temperature scaling is a performance-critical component and explain why it works. Besides, we also discover that Global Max Pooling works better in general when compared to Global Average Pooling. Additionally, our proposed fast moving proxies also addresses small gradient issue of proxies, and this component synergizes well with low temperature scaling and Global Max Pooling. Our enhanced model, called ProxyNCA++, achieves a 22.9 percentage point average improvement of Recall@1 across four different zero-shot retrieval datasets compared to the original ProxyNCA algorithm. Furthermore, we achieve state-of-the-art results on the CUB200, Cars196, Sop, and InShop datasets, achieving Recall@1 scores of 72.2, 90.1, 81.4, and 90.9, respectively.


title: Anomalous subdiffusion in living cells: bridging the gap between experiments and realistic models through collaborative challenges

abstract: The life of a cell is governed by highly dynamical microscopic processes. Two notable examples are the diffusion of membrane receptors and the kinetics of transcription factors governing the rates of gene expression. Different fluorescence imaging techniques have emerged to study molecular dynamics. Among them, fluorescence correlation spectroscopy (FCS) and single-particle tracking (SPT) have proven to be instrumental to our understanding of cell dynamics and function. The analysis of SPT and FCS is an ongoing effort, and despite decades of work, much progress remains to be done. In this paper, we give a quick overview of the existing techniques used to analyze anomalous diffusion in cells and propose a collaborative challenge to foster the development of state-of-the-art analysis algorithms. We propose to provide labelled (training) and unlabelled (evaluation) simulated data to competitors all over the world in an open and fair challenge. The goal is to offer unified data benchmarks based on biologically-relevant metrics in order to compare the diffusion analysis software available for the community.


title: Euclidean Distance Bounds for LMI Analytic Centers using a Novel Bound on the Lambert Function

abstract: Linear matrix inequalities (LMIs) are ubiquitous in modern control theory, as well as in a variety of other fields in science and engineering. Their analytic centers, i.e. the maximum determinant elements of the feasible set spanned by these LMIs, are the solution of many well-known problems in statistics, communications, geometry, and control and can be approximated to arbitrary precision by semidefinite programs (SDPs). The quality of these approximations is measured with respect to the difference in log-determinant of both the exact and the approximate solution to these SDPs, a quantity that follows directly from the duality theory of semidefinite programming. However, in many applications the relevant parameters are functions of the entries of the LMI argument $X$. In these cases it is of interest to develop metrics that quantify the quality of approximate solutions based on the error on these parameters, something that the log-determinant error fails to capture due to the non-linear interaction of all the matrix entries. In this work we develop upper bounds on the Frobenius norm error between suboptimal solutions $X_f$ and the exact optimizer $X_*$ of maximum determinant problems, a metric that provides a direct translation to the entry-wise error of $X$ and thus to the relevant parameters of the application. We show that these bounds can be expressed through the use of the Lambert function $W(x)$, i.e. the solution of the equation $W(x) e^{W(x)}= x$, and derive novel bounds for one of its branches to generate efficient closed-form bounds on the Euclidean distance to the LMI analytic center. Finally, we test the quality of these bounds numerically in the context of interior point methods termination criteria.


title: Self-stimulated pulse echo trains from inhomogeneously broadened spin ensembles

abstract: We show experimentally and describe theoretically how a conventional magnetic resonance Hahn echo sequence can lead to a self-stimulated pulse echo train when an inhomogeneously broadened spin ensemble is coupled to a resonator. Effective strong coupling between the subsystems assures that the first Hahn echo can act as a refocussing pulse on the spins, leading to self-stimulated secondary echoes. Within the framework of mean field theory, we show that this process can continue multiple times leading to a train of echoes. We introduce an analytical model that explains the shape of the first echo and numerical results that account well for the experimentally observed shape and strength of the echo train and provides insights into the collective effects involved.


title: Necessary condition for the $L^2$ boundedness of the Riesz transform on Heisenberg groups

abstract: Let $\mu$ be a Radon measure on the $n$-th Heisenberg group $\mathbb{H}^n$. In this note we prove that if the $(2n+1)$-dimensional (Heisenberg) Riesz transform on $\mathbb{H}^n$ is $L^2(\mu)$-bounded, and if $\mu(F)=0$ for all Borel sets with $\dim_H(F)\leq 2$, then $\mu$ must have $(2n+1)$-polynomial growth. This is the Heisenberg counterpart of a result of Guy David from 1991.


title: Investigating the potential for a limited quantum speedup on protein lattice problems

abstract: Protein folding is a central challenge in computational biology, with important applications in molecular biology, drug discovery and catalyst design. As a hard combinatorial optimisation problem, it has been studied as a potential target problem for quantum annealing. Although several experimental implementations have been discussed in the literature, the computational scaling of these approaches has not been elucidated. In this article, we present a numerical study of quantum annealing applied to a large number of small peptide folding problems, aiming to infer useful insights for near-term applications. We present two conclusions: that even naive quantum annealing, when applied to protein lattice folding, has the potential to outperform classical approaches, and that careful engineering of the Hamiltonians and schedules involved can deliver notable relative improvements for this problem. Overall, our results suggest that quantum algorithms may well offer improvements for problems in the protein folding and structure prediction realm.


title: A note on volume thresholds for random polytopes

abstract: We study the expected volume of random polytopes generated by taking the convex hull of independent identically distributed points from a given distribution. We show that for log-concave distributions supported on convex bodies, we need at least exponentially many (in dimension) samples for the expected volume to be significant and that super-exponentially many samples suffice for concave measures when their parameter of concavity is positive.


title: On Locating Paths in Compressed Tries

abstract: In this paper, we consider the problem of compressing a trie while supporting the powerful \emph{locate} queries: to return the pre-order identifiers of all nodes reached by a path labeled with a given query pattern. Our result builds on top of the XBWT tree transform of Ferragina et al. [FOCS 2005] and generalizes the \emph{r-index} locate machinery of Gagie et al. [SODA 2018, JACM 2020] based on the run-length encoded Burrows-Wheeler transform (BWT). Our first contribution is to propose a suitable generalization of the run-length BWT to tries. We show that this natural generalization enjoys several of the useful properties of its counterpart on strings: in particular, the transform natively supports counting occurrences of a query pattern on the trie's paths and its size $r$ captures the trie's repetitiveness and lower-bounds a natural notion of trie entropy. Our main contribution is a much deeper insight into the combinatorial structure of this object. In detail, we show that a data structure of $O(r\log n) + 2n + o(n)$ bits, where $n$ is the number of nodes, allows locating the $occ$ occurrences of a pattern of length $m$ in nearly-optimal $O(m\log\sigma + occ)$ time, where $\sigma$ is the alphabet's size. Our solution consists in sampling $O(r)$ nodes that can be used as "anchor points" during the locate process. Once obtained the pre-order identifier of the first pattern occurrence (in co-lexicographic order), we show that a constant number of constant-time jumps between those anchor points lead to the identifier of the next pattern occurrence, thus enabling locating in optimal $O(1)$ time per occurrence.


title: On the Shifted Littlewood-Richardson Coefficients and Littlewood-Richardson Coefficients

abstract: We give a new interpretation of the shifted Littlewood-Richardson coefficients $f_{\lambda\mu}^\nu$ ($\lambda,\mu,\nu$ are strict partitions). The coefficients $g_{\lambda\mu}$ which appear in the decomposition of Schur $Q$-function $Q_\lambda$ into the sum of Schur functions $Q_\lambda = 2^{l(\lambda)}\sum_{\mu}g_{\lambda\mu}s_\mu$ can be considered as a special case of $f_{\lambda\mu}^\nu$ (here $\lambda$ is a strict partition of length $l(\lambda)$). We also give another description for $g_{\lambda\mu}$ as the cardinal of a subset of a set that counts Littlewood-Richardson coefficients $c_{\mu^t\mu}^{\tilde{\lambda}}$. This new point of view allows us to establish connections between $g_{\lambda\mu}$ and $c_{\mu^t \mu}^{\tilde{\lambda}}$. More precisely, we prove that $g_{\lambda\mu}=g_{\lambda\mu^t}$, and $g_{\lambda\mu} \leq c_{\mu^t\mu}^{\tilde{\lambda}}$. We conjecture that $g_{\lambda\mu}^2 \leq c^{\tilde{\lambda}}_{\mu^t\mu}$ and formulate some conjectures on our combinatorial models which would imply this inequality if it is valid.


title: On the Principles of Differentiable Quantum Programming Languages

abstract: Variational Quantum Circuits (VQCs), or the so-called quantum neural-networks, are predicted to be one of the most important near-term quantum applications, not only because of their similar promises as classical neural-networks, but also because of their feasibility on near-term noisy intermediate-size quantum (NISQ) machines. The need for gradient information in the training procedure of VQC applications has stimulated the development of auto-differentiation techniques for quantum circuits. We propose the first formalization of this technique, not only in the context of quantum circuits but also for imperative quantum programs (e.g., with controls), inspired by the success of differentiable programming languages in classical machine learning. In particular, we overcome a few unique difficulties caused by exotic quantum features (such as quantum no-cloning) and provide a rigorous formulation of differentiation applied to bounded-loop imperative quantum programs, its code-transformation rules, as well as a sound logic to reason about their correctness. Moreover, we have implemented our code transformation in OCaml and demonstrated the resource-efficiency of our scheme both analytically and empirically. We also conduct a case study of training a VQC instance with controls, which shows the advantage of our scheme over existing auto-differentiation for quantum circuits without controls.


title: Surrogate-assisted performance prediction for data-driven knowledge discovery algorithms: application to evolutionary modeling of clinical pathways

abstract: The paper proposes and investigates an approach for surrogate-assisted performance prediction of data-driven knowledge discovery algorithms. The approach is based on the identification of surrogate models for prediction of the target algorithm's quality and performance. The proposed approach was implemented and investigated as applied to an evolutionary algorithm for discovering clusters of interpretable clinical pathways in electronic health records of patients with acute coronary syndrome. Several clustering metrics and execution time were used as the target quality and performance metrics respectively. An analytical software prototype based on the proposed approach for the prediction of algorithm characteristics and feature analysis was developed to provide a more interpretable prediction of the target algorithm's performance and quality that can be further used for parameter tuning.


title: Nass: A New Approach to Graph Similarity Search

abstract: In this paper, we study the problem of graph similarity search with graph edit distance (GED) constraints. Due to the NP-hardness of GED computation, existing solutions to this problem adopt the filtering-and-verification framework with a main focus on the filtering phase to generate a small number of candidate graphs. However, they have a limitation that the number of candidates grows extremely rapidly as a GED threshold increases. To address the limitation, we propose a new approach that utilizes GED computation results in generating candidate graphs. The main idea is that whenever we identify a result graph of the query, we immediately regenerate candidate graphs using a subset of pre-computed graphs similar to the identified result graph. To speed up GED computation, we also develop a novel GED computation algorithm. The proposed algorithm reduces the search space for GED computation by utilizing a series of filtering techniques, which have been used to generate candidates in existing solutions. Experimental results on real datasets demonstrate the proposed approach significantly outperforms the state-of-the art techniques.


title: Prime number theorem for analytic skew products

abstract: We establish a prime number theorem for all uniquely ergodic, analytic skew products on the $2$-torus $\mathbb{T}^2$. More precisely, for every irrational $\alpha$ and every $1$-periodic real analytic $g:\mathbb{R}\to\mathbb{R}$ of zero mean, let $T_{\alpha,g} : \mathbb{T}^2 \rightarrow \mathbb{T}^2$ be defined by $(x,y) \mapsto (x+\alpha,y+g(x))$. We prove that if $T_{\alpha, g}$ is uniquely ergodic then, for every $(x,y) \in \mathbb{T}^2$, the sequence $\{T_{\alpha, g}^p(x,y)\}$ is equidistributed on $\mathbb{T}^2$ as $p$ traverses prime numbers. This is the first example of a class of natural, non-algebraic and smooth dynamical systems for which a prime number theorem holds. We also show that such a prime number theorem does not necessarily hold if $g$ is only continuous on $\mathbb{T}^2$.


title: Wehrl entropy production rate across a dynamical quantum phase transition

abstract: The quench dynamics of many-body quantum systems may exhibit non-analyticities in the Loschmidt echo, a phenomenon known as dynamical phase transition (DPT). Despite considerable research into the underlying mechanisms behind this phenomenon, several open questions still remain. Motivated by this, we put forth a detailed study of DPTs from the perspective of quantum phase space and entropy production, a key concept in thermodynamics. We focus on the Lipkin-Meshkov-Glick model and use spin coherent states to construct the corresponding Husimi-$Q$ quasi-probability distribution. The entropy of the $Q$-function, known as Wehrl entropy, provides a measure of the coarse-grained dynamics of the system and, therefore, evolves non-trivially even for closed systems. We show that critical quenches lead to a quasi-monotonic growth of the Wehrl entropy in time, combined with small oscillations. The former reflects the information scrambling characteristic of these transitions and serves as a measure of entropy production. On the other hand, the small oscillations imply negative entropy production rates and, therefore, signal the recurrences of the Loschmidt echo. Finally, we also study a Gaussification of the model based on a modified Holstein-Primakoff approximation. This allows us to identify the relative contribution of the low energy sector to the emergence of DPTs. The results presented in this article are relevant not only from the dynamical quantum phase transition perspective, but also for the field of quantum thermodynamics, since they point out that the Wehrl entropy can be used as a viable measure of entropy production.


title: Independent measurement of Muon neutrino and anti-neutrino oscillations at the INO-ICAL Experiment

abstract: The magnetised Iron Calorimeter detector at the India-based Neutrino Observatory (INO) has a unique feature to identify the neutrinos and antineutrinos on an event by event basis. This feature can be harnessed to detect the differences between the oscillation parameters of neutrinos and antineutrinos independently. In this paper, we analysed Charged Current $\nu_{\mu}$ and $\overline{\nu}_{\mu}$ events under the influence of earth matter effect using three neutrino flavor oscillation framework. If the atmospheric mass-squared differences and mixing parameters for neutrinos are different from antineutrinos, we present the prospects for the experimental observation of these differences in atmospheric $\nu$ and $\overline \nu_{\mu}$ oscillations at INO. We estimate the detector sensitivity to confirm a non-zero difference in the mass-squared splittings ($|\Delta m^{2}_{32}|-|\Delta\overline{m^{2}}_{32}|$) for neutrinos and antineutrinos.


title: A note on partially-greedy bases in quasi-Banach spaces

abstract: We continue with the study of greedy-type bases in quasi-Banach spaces started in [3]. In this paper, we study partially-greedy bases focusing our attention in two main results: -Characterization of partially-greedy bases in quasi-Banach spaces in terms of quasi-greediness and different conservative-like properties. -Given a $C$-partially-greedy basis in a quasi-Banach space, there exists a "renorming" such that the basis is $1$-partially-greedy.


title: Fundamentals of fractional revival in graphs

abstract: We develop a general spectral framework to analyze quantum fractional revival in quantum spin networks. In particular, we introduce generalizations of the notions of cospectral and strongly cospectral vertices to arbitrary subsets of vertices, and give various examples. This work resolves two open questions of Chan et.~al. ["Quantum Fractional Revival on graphs". Discrete Applied Math, 269:86-98, 2019.]


title: Handling new target classes in semantic segmentation with domain adaptation

abstract: In this work, we define and address a novel domain adaptation (DA) problem in semantic scene segmentation, where the target domain not only exhibits a data distribution shift w.r.t. the source domain, but also includes novel classes that do not exist in the latter. Different to "open-set" and "universal domain adaptation", which both regard all objects from new classes as "unknown", we aim at explicit test-time prediction for these new classes. To reach this goal, we propose a framework that leverages domain adaptation and zero-shot learning techniques to enable "boundless" adaptation in the target domain. It relies on a novel architecture, along with a dedicated learning scheme, to bridge the source-target domain gap while learning how to map new classes' labels to relevant visual representations. The performance is further improved using self-training on target-domain pseudo-labels. For validation, we consider different domain adaptation set-ups, namely synthetic-2-real, country-2-country and dataset-2-dataset. Our framework outperforms the baselines by significant margins, setting competitive standards on all benchmarks for the new task. Code and models are available at https://github.com/valeoai/buda.


title: Nonsingular Black Holes in $4D$ Einstein--Gauss--Bonnet Gravity

abstract: Recently, several methods have been proposed to regularize a $D \to 4$ limit of Einstein-Gauss-Bonnet (EGB), leading to nontrivial gravitational dynamics in $4D$. We present an exact nonsingular black hole solution in the $4D$ EGB gravity coupled to non-linear electrodynamics and analyze their thermodynamic properties to calculate precise expressions for the black hole mass, temperature, and entropy. Because of the magnetic charge, the thermodynamic quantities are corrected, and the Hawking--Page phase transition is achievable with diverges of the heat capacity at a larger critical radius $r=r_{+}^{C}$ in comparison to the $5D$ counterpart where the temperature is maximum. Thus, we have a black hole with Cauchy and event horizons, and its evaporation leads to a thermodynamically stable extremal black hole remnant with vanishing temperature, and its size is larger than the $5D$ counterpart. The entropy does not satisfy the usual exact horizon Bekenstein--Hawking area law of general relativity with a logarithmic area correction term.


title: Lattice $B \to D^{(*)}$ form factors, $R(D^{(*)})$, and $|V_{cb}|$

abstract: I discuss recent progress in lattice calculations of $B \to D^{(*)} \ell \nu$ form factors, important for the precision determination of $|V_{cb}|$ in the Standard Model (SM), and for testing SM expectations of lepton flavor universality in observables $R(D^{(*)})$. I also discuss progress in calculations of the related $b \to c$ semileptonic decays $B_s \to D_s^{(*)} \ell \nu$ and $B_c \to J/\psi \, \ell \nu$ now experimentally accessible at the LHC.


title: Numerical evaluation of two-time correlation functions in open quantum systems with matrix product state methods: a comparison

abstract: We compare the efficiency of different matrix product state (MPS) based methods for the calculation of two-time correlation functions in open quantum systems. The methods are the purification approach [1] and two approaches [2,3] based on the Monte-Carlo wave function (MCWF) sampling of stochastic quantum trajectories using MPS techniques. We consider a XXZ spin chain either exposed to dephasing noise or to a dissipative local spin flip. We find that the preference for one of the approaches in terms of numerical efficiency depends strongly on the specific form of dissipation.


title: Dynamical Complex Network Models of the Turbulent Cascade

abstract: Cascade models based on dynamical complex networks are proposed as models of turbulent energy cascade. Taking a simple shell model as the initial regular lattice with only nearest neighbor interactions, small world network models are constructed by adding or replacing some of the existing local interactions by nonlocal ones. The models are then evolved over time, both by solving for the shell variable for velocity using an arbitrary network generalization of the shell model evolution and by rewiring the network each time from the original lattice in regular time intervals. This results in a more intermittent time evolution with larger variations of the wave-number spectrum. It also results in an actual increase in intermittency as computed from the fitted exponents of structure functions as computed from these models. It appears that the intermittency increases as the ratio of random nonlocal connections to local nearest neighbor connections increases.


title: Foreground cleaning and template-free stochastic background extraction for LISA

abstract: Based on the rate of resolved stellar origin black hole and neutron star mergers measured by LIGO and Virgo, it is expected that these detectors will also observe an unresolved Stochastic Gravitational Wave Background (SGWB) by the time they reach design sensitivity. Since the same binaries observed by LIGO and Virgo pass through the LISA mHz frequency band at an earlier stage of their orbital evolution,it is foreseen that their SGWB will also be observable by LISA with Signal to Noise Ratio (SNR) $\sim 53$. Unlike the stochastic signal from Galactic white dwarf binaries, for which a subtraction is expected to be possible by exploiting its yearly modulation (induced by the motion of the LISA constellation), the background from unresolved stellar origin black hole and neutron star binaries acts as a foreground for other stochastic signals of cosmological or astrophysical origin, which may also be present in the LISA band. Here, we employ a principal component analysis to model and extract an additional hypothetical SGWB in the LISA band, without making any a priori assumptions on its spectral shape. At the same time, we account for the presence of the foreground from stellar origin black holes and neutron stars, as well as for possible uncertainties in the LISA noise calibration. We find that our technique leads to a linear problem and is therefore suitable for fast and reliable extraction of SGWBs with SNR up to ten times weaker than the LIGO/Virgo foreground, quite independently of their spectral shape.


title: Hierarchical Adaptive Contextual Bandits for Resource Constraint based Recommendation

abstract: Contextual multi-armed bandit (MAB) achieves cutting-edge performance on a variety of problems. When it comes to real-world scenarios such as recommendation system and online advertising, however, it is essential to consider the resource consumption of exploration. In practice, there is typically non-zero cost associated with executing a recommendation (arm) in the environment, and hence, the policy should be learned with a fixed exploration cost constraint. It is challenging to learn a global optimal policy directly, since it is a NP-hard problem and significantly complicates the exploration and exploitation trade-off of bandit algorithms. Existing approaches focus on solving the problems by adopting the greedy policy which estimates the expected rewards and costs and uses a greedy selection based on each arm's expected reward/cost ratio using historical observation until the exploration resource is exhausted. However, existing methods are hard to extend to infinite time horizon, since the learning process will be terminated when there is no more resource. In this paper, we propose a hierarchical adaptive contextual bandit method (HATCH) to conduct the policy learning of contextual bandits with a budget constraint. HATCH adopts an adaptive method to allocate the exploration resource based on the remaining resource/time and the estimation of reward distribution among different user contexts. In addition, we utilize full of contextual feature information to find the best personalized recommendation. Finally, in order to prove the theoretical guarantee, we present a regret bound analysis and prove that HATCH achieves a regret bound as low as $O(\sqrt{T})$. The experimental results demonstrate the effectiveness and efficiency of the proposed method on both synthetic data sets and the real-world applications.


title: Symplectic 4-manifolds admit Weinstein trisections

abstract: We prove that every symplectic 4-manifold admits a trisection that is compatible with the symplectic structure in the sense that the symplectic form induces a Weinstein structure on each of the three sectors of the trisection. Along the way, we show that a (potentially singular) symplectic braided surface in $\mathbb{CP}^2$ can be symplectically isotoped into bridge position.


title: Numerical analysis of least squares and perceptron learning for classification problems

abstract: This work presents study on regularized and non-regularized versions of perceptron learning and least squares algorithms for classification problems. Fr'echet derivatives for regularized least squares and perceptron learning algorithms are derived. Different Tikhonov's regularization techniques for choosing the regularization parameter are discussed. Decision boundaries obtained by non-regularized algorithms to classify simulated and experimental data sets are analyzed.


title: The Atacama Cosmology Telescope: A CMB lensing mass map over 2100 square degrees of sky and its cross-correlation with BOSS-CMASS galaxies

abstract: We construct cosmic microwave background lensing mass maps using data from the 2014 and 2015 seasons of observations with the Atacama Cosmology Telescope (ACT). These maps cover 2100 square degrees of sky and overlap with a wide variety of optical surveys. The maps are signal dominated on large scales and have fidelity such that their correlation with the cosmic infrared background is clearly visible by eye. We also create lensing maps with thermal Sunyaev-Zel'dovich contamination removed using a novel cleaning procedure that only slightly degrades the lensing signal-to-noise ratio. The cross-spectrum between the cleaned lensing map and the BOSS CMASS galaxy sample is detected at $10$-$\sigma$ significance, with an amplitude of $A=1.02 \pm 0.10$ relative to the Planck best-fit LCDM cosmological model with fiducial linear galaxy bias. Our measurement lays the foundation for lensing cross-correlation science with current ACT data and beyond.


title: Skew characters and cyclic sieving

abstract: In 2010, B. Rhoades proved that promotion together with the fake-degree polynomial associated with rectangular standard Young tableaux give an instance of the cyclic sieving phenomenon. We extend this result to all skew standard Young tableaux where the fake-degree polynomial evaluates to nonnegative integers at roots of unity, albeit without being able to specify an explicit group action. Put differently, we determine in which cases a skew character of the symmetric group carries a permutation representation of the cyclic group. We use a method proposed by N. Amini and the first author, which amounts to establishing a bound on the number of border-strip tableaux of skew shape. Finally, we apply our results to the invariant theory of tensor powers of the adjoint representation of the general linear group. In particular, we prove the existence of a bijection between permutations and J. Stembridge's alternating tableaux, which intertwines rotation and promotion.


title: Predictive Bandits

abstract: We introduce and study a new class of stochastic bandit problems, referred to as predictive bandits. In each round, the decision maker first decides whether to gather information about the rewards of particular arms (so that their rewards in this round can be predicted). These measurements are costly, and may be corrupted by noise. The decision maker then selects an arm to be actually played in the round. Predictive bandits find applications in many areas; e.g. they can be applied to channel selection problems in radio communication systems. In this paper, we provide the first theoretical results about predictive bandits, and focus on scenarios where the decision maker is allowed to measure at most one arm per round. We derive asymptotic instance-specific regret lower bounds for these problems, and develop algorithms whose regret match these fundamental limits. We illustrate the performance of our algorithms through numerical experiments. In particular, we highlight the gains that can be achieved by using reward predictions, and investigate the impact of the noise in the corresponding measurements.


title: Safe Feedback Motion Planning: A Contraction Theory and $\mathcal{L}_1$-Adaptive Control Based Approach

abstract: Autonomous robots that are capable of operating safely in the presence of imperfect model knowledge or external disturbances are vital in safety-critical applications. In this paper, we present a planner-agnostic framework to design and certify safe tubes around desired trajectories that the robot is always guaranteed to remain inside of. By leveraging recent results in contraction analysis and $\mathcal{L}_1$-adaptive control we synthesize an architecture that induces safe tubes for nonlinear systems with state and time-varying uncertainties. We demonstrate with a few illustrative examples how contraction theory-based $\mathcal{L}_1$-adaptive control can be used in conjunction with traditional motion planning algorithms to obtain provably safe trajectories.


title: Randomized Kernel Multi-view Discriminant Analysis

abstract: In many artificial intelligence and computer vision systems, the same object can be observed at distinct viewpoints or by diverse sensors, which raises the challenges for recognizing objects from different, even heterogeneous views. Multi-view discriminant analysis (MvDA) is an effective multi-view subspace learning method, which finds a discriminant common subspace by jointly learning multiple view-specific linear projections for object recognition from multiple views, in a non-pairwise way. In this paper, we propose the kernel version of multi-view discriminant analysis, called kernel multi-view discriminant analysis (KMvDA). To overcome the well-known computational bottleneck of kernel methods, we also study the performance of using random Fourier features (RFF) to approximate Gaussian kernels in KMvDA, for large scale learning. Theoretical analysis on stability of this approximation is developed. We also conduct experiments on several popular multi-view datasets to illustrate the effectiveness of our proposed strategy.


title: Predicting Injectable Medication Adherence via a Smart Sharps Bin and Machine Learning

abstract: Medication non-adherence is a widespread problem affecting over 50% of people who have chronic illness and need chronic treatment. Non-adherence exacerbates health risks and drives significant increases in treatment costs. In order to address these challenges, the importance of predicting patients' adherence has been recognised. In other words, it is important to improve the efficiency of interventions of the current healthcare system by prioritizing resources to the patients who are most likely to be non-adherent. Our objective in this work is to make predictions regarding individual patients' behaviour in terms of taking their medication on time during their next scheduled medication opportunity. We do this by leveraging a number of machine learning models. In particular, we demonstrate the use of a connected IoT device; a "Smart Sharps Bin", invented by HealthBeacon Ltd.; to monitor and track injection disposal of patients in their home environment. Using extensive data collected from these devices, five machine learning models, namely Extra Trees Classifier, Random Forest, XGBoost, Gradient Boosting and Multilayer Perception were trained and evaluated on a large dataset comprising 165,223 historic injection disposal records collected from 5,915 HealthBeacon units over the course of 3 years. The testing work was conducted on real-time data generated by the smart device over a time period after the model training was complete, i.e. true future data. The proposed machine learning approach demonstrated very good predictive performance exhibiting an Area Under the Receiver Operating Characteristic Curve (ROC AUC) of 0.86.


title: Coloring graphs by translates in the circle

abstract: The fractional and circular chromatic numbers are the two most studied non-integral refinements of the chromatic number of a graph. Starting from the definition of a coloring base of a graph, which originated in work related to ergodic theory, we formalize the notion of a gyrocoloring of a graph: the vertices are colored by translates of a single Borel set in the circle group, and neighbouring vertices receive disjoint translates. The corresponding gyrochromatic number of a graph always lies between the fractional chromatic number and the circular chromatic number. We investigate basic properties of gyrocolorings. In particular, we construct examples of graphs whose gyrochromatic number is strictly between the fractional chromatic number and the circular chromatic number. We also establish several equivalent definitions of the gyrochromatic number, including a version involving all finite abelian groups.


title: Spinodal decomposition versus classical gamma-prime nucleation in a nickel-base superalloy powder: An in-situ neutron diffraction and atomic-scale analysis

abstract: Contemporary powder-based polycrystalline nickel-base superalloys inherit microstructures and properties that are heavily determined by the thermo-mechanical treatments during processing. Here, the influence of a thermal exposure alone to an alloy powder is studied to elucidate the controlling formation mechanisms of the strengthening precipitates using a combination of atom probe tomography and in-situ neutron diffraction. The initial powder comprised a single-phase supersaturated gamma only; from this, the evolution of gamma-prime volume fraction and lattice misfit was assessed. The initial powder notably possessed elemental segregation of Cr and Co and elemental repulsion between Ni, Al and Ti with Cr; here proposed to be a precursor for subsequent gamma to gamma-prime phase transformations. Subsolvus heat treatments yielded a unimodal gamma-prime distribution, formed during heating, with evidence supporting its formation to be via spinodal decomposition. A supersolvus heat treatment led to the formation of this same gamma-prime population during heating, but dissolves as the temperature increases further. The gamma-prime then reprecipitates as a multimodal population during cooling, here forming by classical nucleation and growth. Atom probe characterisation provided intriguing precipitate characteristics, including clear differences in chemistry and microstructure, depending on whether the gamma-prime formed during heating or cooling.


title: CORE-Deblur: Parallel MRI Reconstruction by Deblurring Using Compressed Sensing

abstract: In this work we introduce a new method that combines Parallel MRI and Compressed Sensing (CS) for accelerated image reconstruction from subsampled k-space data. The method first computes a convolved image, which gives the convolution between a user-defined kernel and the unknown MR image, and then reconstructs the image by CS-based image deblurring, in which CS is applied for removing the inherent blur stemming from the convolution process. This method is hence termed CORE-Deblur. Retrospective subsampling experiments with data from a numerical brain phantom and in-vivo 7T brain scans showed that CORE-Deblur produced high-quality reconstructions, comparable to those of a conventional CS method, while reducing the number of iterations by a factor of 10 or more. The average Normalized Root Mean Square Error (NRMSE) obtained by CORE-Deblur for the in-vivo datasets was 0.016. CORE-Deblur also exhibited robustness regarding the chosen kernel and compatibility with various k-space subsampling schemes, ranging from regular to random. In summary, CORE-Deblur enables high quality reconstructions and reduction of the CS iterations number by 10-fold.


title: Trapped solitary-wave interaction for Euler equations with low pressure region

abstract: Trapped solitary-wave interaction is studied under the full Euler equations in the presence of a variable pressure distribution along the free surace. The physical domain is flattened conformally onto a strip and the computations are performed in the canonical domain. Computer simulations display solitary waves that remain trapped in a low pressure region. In terms of confinement we observe that these waves are stable for small perturbations of either their amplitudes or the pressure forcing term. Furthermore multiple solitary waves are considered within the low pressure region without escaping the low pressure region. We identify regimes in which multiple solitary waves remain trapped after several collisions. In particular we display a regime where three solitary waves are trapped and collide several times, before one escapes at a time. The remaining solitary waves stays trapped in the low pressure region.


title: Stopping explosion by penalising transmission to hubs in scale-free spatial random graphs

abstract: We study the spread of information in finite and infinite inhomogeneous spatial random graphs. We assume that each edge has a transmission cost that is a product of an i.i.d. random variable L and a penalty factor: edges between vertices of expected degrees w_1 and w_2 are penalised by a factor of (w_1w_2)^\mu for all \mu >0. We study this process for scale-free percolation, for (finite and infinite) Geometric Inhomogeneous Random Graphs, and for Hyperbolic Random Graphs, all with power law degree distributions with exponent \tau > 1. For \tau < 3, we find a threshold behaviour, depending on how fast the cumulative distribution function of L decays at zero. If it decays at most polynomially with exponent smaller than (3-\tau)/(2\mu) then explosion happens, i.e., with positive probability we can reach infinitely many vertices with finite cost (for the infinite models), or reach a linear fraction of all vertices with bounded costs (for the finite models). On the other hand, if the cdf of L decays at zero at least polynomially with exponent larger than (3-\tau)/(2\mu), then no explosion happens. This behaviour is arguably a better representation of information spreading processes in social networks than the case without penalising factor, in which explosion always happens unless the cdf of L is doubly exponentially flat around zero. Finally, we extend the results to other penalty functions, including arbitrary polynomials in w_1 and w_2. In some cases the interesting phenomenon occurs that the model changes behaviour (from explosive to conservative and vice versa) when we reverse the role of w_1 and w_2. Intuitively, this could corresponds to reversing the flow of information: gathering information might take much longer than sending it out.


title: Universal scaling in active single-file dynamics

abstract: We study the single-file dynamics of three classes of active particles: run-and-tumble particles, active Brownian particles and active Ornstein-Uhlenbeck particles. At high activity values, the particles, interacting via purely repulsive and short-ranged forces, aggregate into several motile and dynamical clusters of comparable size, and do not display bulk phase-segregation. In this dynamical steady-state, we find that the cluster size distribution of these aggregates is a scaled function of the density and activity parameters across the three models of active particles with the same scaling function. The velocity distribution of these motile clusters is non-Gaussian. We show that the effective dynamics of these clusters can explain the observed emergent scaling of the mean-squared displacement of tagged particles for all the three models with identical scaling exponents and functions. Concomitant with the clustering seen at high activities, we observe that the static density correlation function displays rich structures, including multiple peaks that are reminiscent of particle clustering induced by effective attractive interactions, while the dynamical variant shows non-diffusive scaling. Our study reveals a universal scaling behavior in the single-file dynamics of interacting active particles.


title: Formation of NH2CHO and CH3CHO upon UV photoprocessing of interstellar ice analogs

abstract: Complex organic molecules (COMs) can be produced by energetic processing of interstellar ice mantles accreted on top of dust grains. Two COMs with proposed energetic ice formation pathways are formamide and acetaldehyde. Both have been detected in Solar System comets, and in different circumstellar and interstellar environments. In this work, we study the NH2CHO and CH3CHO formation upon UV photoprocessing of CO:NH3 and CO:CH4 ice samples. The conversion from NH2 radicals to NH2CHO is 2-16 times higher than the conversion from CH3 radicals to CH3CHO under the explored experimental conditions, likely because the formation of the latter competes with the formation of larger hydrocarbons. In addition, the conversion of NH2 into NH2CHO at 10 K increases with the NH3 abundance in the ice, and also with the temperature in CO-dominated CO:NH3 ices. This is consistent with the presence of a small NH2 and HCO reorientation barrier for the formation of NH2CHO, which is overcome with an increase in the ice temperature. The measured NH2CHO and CH3CHO formation efficiencies and rates are similar to those found during electron irradiation of the same ice samples under comparable conditions, suggesting that both UV photons and cosmic rays would have similar contributions to the solid-state formation of these species in space. Finally, the measured conversion yields (up to one order of magnitude higher for NH2CHO) suggest that in circumstellar environments, where the observed NH2CHO/CH3CHO abundance ratio is 0.1, there are likely additional ice and/or gas phase formation pathways for CH3CHO.

categories: astro-ph.SR astro-ph.EP astro-ph.GA astro-ph.IM


title: The Solar-wind with Hydrogen Ion Exchange and Large-scale Dynamics (SHIELD) model: A Self-Consistent Kinetic-MHD Model of the Outer Heliosphere

abstract: Neutral hydrogen has been shown to greatly impact the plasma flow in the heliopshere and the location of the heliospheric boundaries. We present the results of the Solar-wind with Hydrogen Ion Exchange and Large-scale Dynamics (SHIELD) model, a new, self-consistent, kinetic-MHD model of the outer heliosphere within the Space Weather Modeling Framework. The charge-exchange mean free path is on order of the size of the heliosphere; therefore, the neutral atoms cannot be described as a fluid. The SHIELD model couples the MHD solution for a single plasma fluid to the kinetic solution from for neutral hydrogen atoms streaming through the system. The kinetic code is based on the Adaptive Mesh Particle Simulator (AMPS), a Monte Carlo method for solving the Boltzmann equation. The SHIELD model accurately predicts the increased filtration of interstellar neutrals into the heliosphere. In order to verify the correct implementation within the model, we compare the results of the SHIELD model to other, well-established kinetic-MHD models. The SHIELD model matches the neutral hydrogen solution of these studies as well as the shift in all heliospheric boundaries closer to the Sun in comparison the the multi-fluid treatment of the neutral hydrogen atoms. Overall the SHIELD model shows excellent agreement to these models and is a significant improvement to the fluid treatment of interstellar hydrogen.


title: On certain tilting modules for $SL_2$ II

abstract: Following the previous work, we determine exactly the highest weights for which a tensor product of two induced modules is a tilting module, for the algebraic group $SL_2$ over an algebraically closed field of positive characteristic.


title: PEtab -- interoperable specification of parameter estimation problems in systems biology

abstract: Reproducibility and reusability of the results of data-based modeling studies are essential. Yet, there has been -- so far -- no broadly supported format for the specification of parameter estimation problems in systems biology. Here, we introduce PEtab, a format which facilitates the specification of parameter estimation problems using Systems Biology Markup Language (SBML) models and a set of tab-separated value files describing the observation model and experimental data as well as parameters to be estimated. We already implemented PEtab support into eight well-established model simulation and parameter estimation toolboxes with hundreds of users in total. We provide a Python library for validation and modification of a PEtab problem and currently 20 example parameter estimation problems based on recent studies. Specifications of PEtab, the PEtab Python library, as well as links to examples, and all supporting software tools are available at https://github.com/PEtab-dev/PEtab, a snapshot is available at https://doi.org/10.5281/zenodo.3732958. All original content is available under permissive licenses.


title: Extending the average spectrum method: Grid points sampling and density averaging

abstract: Analytic continuation of imaginary time or frequency data to the real axis is a crucial step in extracting dynamical properties from quantum Monte Carlo simulations. The average spectrum method provides an elegant solution by integrating over all non-negative spectra weighted by how well they fit the data. In a recent paper, we found that discretizing the functional integral as in Feynman's path-integrals, does not have a well-defined continuum limit. Instead, the limit depends on the discretization grid whose choice may strongly bias the results. In this paper, we demonstrate that sampling the grid points, instead of keeping them fixed, also changes the functional integral limit and rather helps to overcome the bias considerably. We provide an efficient algorithm for doing the sampling and show how the density of the grid points acts now as a default model with a significantly reduced biasing effect. The remaining bias depends mainly on the width of the grid density, so we go one step further and average also over densities of different widths. For a certain class of densities, including Gaussian and exponential ones, this width averaging can be done analytically, eliminating the need to specify this parameter without introducing any computational overhead.


title: No Repetition: Fast Streaming with Highly Concentrated Hashing

abstract: To get estimators that work within a certain error bound with high probability, a common strategy is to design one that works with constant probability, and then boost the probability using independent repetitions. Important examples of this approach are small space algorithms for estimating the number of distinct elements in a stream, or estimating the set similarity between large sets. Using standard strongly universal hashing to process each element, we get a sketch based estimator where the probability of a too large error is, say, 1/4. By performing $r$ independent repetitions and taking the median of the estimators, the error probability falls exponentially in $r$. However, running $r$ independent experiments increases the processing time by a factor $r$. Here we make the point that if we have a hash function with strong concentration bounds, then we get the same high probability bounds without any need for repetitions. Instead of $r$ independent sketches, we have a single sketch that is $r$ times bigger, so the total space is the same. However, we only apply a single hash function, so we save a factor $r$ in time, and the overall algorithms just get simpler. Fast practical hash functions with strong concentration bounds were recently proposed by Aamand em et al. (to appear in STOC 2020). Using their hashing schemes, the algorithms thus become very fast and practical, suitable for online processing of high volume data streams.


title: Identification Methods With Arbitrary Interventional Distributions as Inputs

abstract: Causal inference quantifies cause-effect relationships by estimating counterfactual parameters from data. This entails using \emph{identification theory} to establish a link between counterfactual parameters of interest and distributions from which data is available. A line of work characterized non-parametric identification for a wide variety of causal parameters in terms of the \emph{observed data distribution}. More recently, identification results have been extended to settings where experimental data from interventional distributions is also available. In this paper, we use Single World Intervention Graphs and a nested factorization of models associated with mixed graphs to give a very simple view of existing identification theory for experimental data. We use this view to yield general identification algorithms for settings where the input distributions consist of an arbitrary set of observational and experimental distributions, including marginal and conditional distributions. We show that for problems where inputs are interventional marginal distributions of a certain type (ancestral marginals), our algorithm is complete.


title: A note on geodesics of projections in the Calkin algebra

abstract: Let ${\cal C}({\cal H})={\cal B}({\cal H}) / {\cal K}({\cal H})$ be the Calkin algebra (${\cal B}({\cal H})$ the algebra of bounded operators on the Hilbert space ${\cal H}$, ${\cal K}({\cal H})$ the ideal of compact operators and $\pi:{\cal B}({\cal H})\to {\cal C}({\cal H})$ the quotient map), and ${\cal P}_{{\cal C}({\cal H})}$ the differentiable manifold of selfadjoint projections in ${\cal C}({\cal H})$. A projection $p$ in ${\cal C}({\cal H})$ can be lifted to a projection $P\in{\cal B}({\cal H})$: $\pi(P)=p$. We show that given $p,q \in {\cal P}_{{\cal C}({\cal H})}$, there exists a minimal geodesic of ${\cal P}_{{\cal C}({\cal H})}$ which joins $p$ and $q$ if and only there exist lifting projections $P$ and $Q$ such that either both $N(P-Q\pm 1)$ are finite dimensional, or both infinite dimensional. The minimal geodesic is unique if $p+q- 1$ has trivial anhihilator. Here the assertion that a geodesic is minimal means that it is shorter than any other piecewise smooth curve $\gamma(t) \in {\cal P}_{{\cal C}({\cal H})}$, $t \in I$, joining the same endpoints, where the length of $\gamma$ is measured by $\int_I \|\dot{\gamma}(t)\| d t$.


title: QCD Phase Diagram at NICA energies: $K^+/\pi^+$ horn effect and light clusters in THESEUS

abstract: We discuss recent progress in the development of the three-fluid hydrodynamics-based program THESEUS towards an event generator suitable for applications to heavy-ion collisions at the intermediate energies of the planned NICA and FAIR experiments. We follow the strategy that modifications of particle distributions at the freeze-out surface in the QCD phase diagram may be mapped directly to the observable ones within a sudden freeze-out scheme. We report first results of these investigations for the production of light clusters (deuterons and tritons) which can be compared to experimental data from the HADES and the NA49 experiment and for the interpretation of the "horn" effect observed in the collision energy dependence of the $K^+/\pi^+$ ratio. Medium effects on light cluster production in the QCD phase diagram are negligible at the highest NICA energies but shall play a dominant role at the lowest energies. A sharp "horn"-type signal in the $K^+/\pi^+$ ratio can be obtained when the onset of Bose condensation modelled by a pion chemical potential results in an enhancement of pions at low momenta (which is seen at LHC energies) and would occur already in the NICA energy range.


title: Multimodal Material Classification for Robots using Spectroscopy and High Resolution Texture Imaging

abstract: Material recognition can help inform robots about how to properly interact with and manipulate real-world objects. In this paper, we present a multimodal sensing technique, leveraging near-infrared spectroscopy and close-range high resolution texture imaging, that enables robots to estimate the materials of household objects. We release a dataset of high resolution texture images and spectral measurements collected from a mobile manipulator that interacted with 144 household objects. We then present a neural network architecture that learns a compact multimodal representation of spectral measurements and texture images. When generalizing material classification to new objects, we show that this multimodal representation enables a robot to recognize materials with greater performance as compared to prior state-of-the-art approaches. Finally, we present how a robot can combine this high resolution local sensing with images from the robot's head-mounted camera to achieve accurate material classification over a scene of objects on a table.


title: SYMBA: An end-to-end VLBI synthetic data generation pipeline

abstract: Realistic synthetic observations of theoretical source models are essential for our understanding of real observational data. In using synthetic data, one can verify the extent to which source parameters can be recovered and evaluate how various data corruption effects can be calibrated. These studies are important when proposing observations of new sources, in the characterization of the capabilities of new or upgraded instruments, and when verifying model-based theoretical predictions in a comparison with observational data. We present the SYnthetic Measurement creator for long Baseline Arrays (SYMBA), a novel synthetic data generation pipeline for Very Long Baseline Interferometry (VLBI) observations. SYMBA takes into account several realistic atmospheric, instrumental, and calibration effects. We used SYMBA to create synthetic observations for the Event Horizon Telescope (EHT), a mm VLBI array, which has recently captured the first image of a black hole shadow. After testing SYMBA with simple source and corruption models, we study the importance of including all corruption and calibration effects. Based on two example general relativistic magnetohydrodynamics (GRMHD) model images of M87, we performed case studies to assess the attainable image quality with the current and future EHT array for different weather conditions. The results show that the effects of atmospheric and instrumental corruptions on the measured visibilities are significant. Despite these effects, we demonstrate how the overall structure of the input models can be recovered robustly after performing calibration steps. With the planned addition of new stations to the EHT array, images could be reconstructed with higher angular resolution and dynamic range. In our case study, these improvements allowed for a distinction between a thermal and a non-thermal GRMHD model based on salient features in reconstructed images.


title: The maximum number of induced $C_5$'s in a planar graph

abstract: Finding the maximum number of induced cycles of length $k$ in a graph on $n$ vertices has been one of the most intriguing open problems of Extremal Graph Theory. Recently Balogh, Hu, Lidick\'{y} and Pfender answered the question in the case $k=5$. In this paper we determine precisely, for all sufficiently large $n$, the maximum number of induced $5$-cycles that an $n$-vertex planar graph can contain.


title: A Spectral Approach to the Shortest Path Problem

abstract: Let $G=(V,E)$ be a simple, connected graph. One is often interested in a short path between two vertices $u,v$. We propose a spectral algorithm: construct the function $\phi:V \rightarrow \mathbb{R}_{\geq 0}$ $$ \phi = \arg\min_{f:V \rightarrow \mathbb{R} \atop f(u) = 0, f \not\equiv 0} \frac{\sum_{(w_1, w_2) \in E}{(f(w_1)-f(w_2))^2}}{\sum_{w \in V}{f(w)^2}}.$$ $\phi$ can also be understood as the smallest eigenvector of the Laplacian Matrix $L=D-A$ after the $u-$th row and column have been removed. We start in the point $v$ and construct a path from $v$ to $u$: at each step, we move to the neighbor for which $\phi$ is the smallest. This algorithm provably terminates and results in a short path from $v$ to $u$, often the shortest. The efficiency of this method is due to a discrete analogue of a phenomenon in Partial Differential Equations that is not well understood. We prove optimality for trees and discuss a number of open questions.


title: Hamiltonian multiform description of an integrable hierarchy

abstract: Motivated by the notion of Lagrangian multiforms, which provide a Lagrangian formulation of integrability, and by results of the authors on the role of covariant Hamiltonian formalism for integrable field theories, we propose the notion of Hamiltonian multiforms for integrable $1+1$-dimensional field theories. They provide the Hamiltonian counterpart of Lagrangian multiforms and encapsulate in a single object an arbitrary number of flows within an integrable hierarchy. For a given hierarchy, taking a Lagrangian multiform as starting point, we provide a systematic construction of a Hamiltonian multiform based on a generalisation of techniques of covariant Hamiltonian field theory. This also produces two other important objects: a symplectic multiform and the related multi-time Poisson bracket. They reduce to a multisymplectic form and the related covariant Poisson bracket if we restrict our attention to a single flow in the hierarchy. Our framework offers an alternative approach to define and derive conservation laws for a hierarchy. We illustrate our results on three examples: the potential Korteweg-de Vries hierarchy, the sine-Gordon hierarchy (in light cone coordinates) and the Ablowitz-Kaup-Newell-Segur hierarchy.


title: A Comment on "The possible explanation of neutron lifetime beam anomaly" by A. P. Serebrov, et al

abstract: We comment on a recent manuscript by A. P. Serebrov, et al. regarding residual gas charge exchange in the beam neutron lifetime experiment


title: Bodies at Rest: 3D Human Pose and Shape Estimation from a Pressure Image using Synthetic Data

abstract: People spend a substantial part of their lives at rest in bed. 3D human pose and shape estimation for this activity would have numerous beneficial applications, yet line-of-sight perception is complicated by occlusion from bedding. Pressure sensing mats are a promising alternative, but training data is challenging to collect at scale. We describe a physics-based method that simulates human bodies at rest in a bed with a pressure sensing mat, and present PressurePose, a synthetic dataset with 206K pressure images with 3D human poses and shapes. We also present PressureNet, a deep learning model that estimates human pose and shape given a pressure image and gender. PressureNet incorporates a pressure map reconstruction (PMR) network that models pressure image generation to promote consistency between estimated 3D body models and pressure image input. In our evaluations, PressureNet performed well with real data from participants in diverse poses, even though it had only been trained with synthetic data. When we ablated the PMR network, performance dropped substantially.


title: Sum-product networks: A survey

abstract: A sum-product network (SPN) is a probabilistic model, based on a rooted acyclic directed graph, in which terminal nodes represent univariate probability distributions and non-terminal nodes represent convex combinations (weighted sums) and products of probability functions. They are closely related to probabilistic graphical models, in particular to Bayesian networks with multiple context-specific independencies. Their main advantage is the possibility of building tractable models from data, i.e., models that can perform several inference tasks in time proportional to the number of links in the graph. They are somewhat similar to neural networks and can address the same kinds of problems, such as image processing and natural language understanding. This paper offers a survey of SPNs, including their definition, the main algorithms for inference and learning from data, the main applications, a brief review of software libraries, and a comparison with related models


title: Evaluating the Calibration of Knowledge Graph Embeddings for Trustworthy Link Prediction

abstract: Little is known about the trustworthiness of predictions made by knowledge graph embedding (KGE) models. In this paper we take initial steps toward this direction by investigating the calibration of KGE models, or the extent to which they output confidence scores that reflect the expected correctness of predicted knowledge graph triples. We first conduct an evaluation under the standard closed-world assumption (CWA), in which predicted triples not already in the knowledge graph are considered false, and show that existing calibration techniques are effective for KGE under this common but narrow assumption. Next, we introduce the more realistic but challenging open-world assumption (OWA), in which unobserved predictions are not considered true or false until ground-truth labels are obtained. Here, we show that existing calibration techniques are much less effective under the OWA than the CWA, and provide explanations for this discrepancy. Finally, to motivate the utility of calibration for KGE from a practitioner's perspective, we conduct a unique case study of human-AI collaboration, showing that calibrated predictions can improve human performance in a knowledge graph completion task.


title: A Quadratic Program based Control Synthesis under Spatiotemporal Constraints and Non-vanishing Disturbances

abstract: In this paper, we study the effect of non-vanishing disturbances on the stability of fixed-time stable (FxTS) systems. We present a new result on FxTS, which allows a positive term in the time derivative of the Lyapunov function with the aim to model bounded, non-vanishing disturbances in the system dynamics. We characterize the neighborhood to which the system trajectories converge, as well the time of convergence to this neighborhood, in terms of the positive and negative terms that appear in the time derivative of the Lyapunov function. Then, we use the new FxTS result and formulate a quadratic program (QP) that yields control inputs which drive the trajectories of a class of nonlinear, control-affine systems to a goal set in the presence of control input constraints and non-vanishing, bounded disturbances in the system dynamics. We consider an overtaking problem on a highway as a case study, and discuss how to setup the QP for the considered problem, and how to make a decision on when to start the overtake maneuver, in the presence of sensing errors.


title: DOPS: Learning to Detect 3D Objects and Predict their 3D Shapes

abstract: We propose DOPS, a fast single-stage 3D object detection method for LIDAR data. Previous methods often make domain-specific design decisions, for example projecting points into a bird-eye view image in autonomous driving scenarios. In contrast, we propose a general-purpose method that works on both indoor and outdoor scenes. The core novelty of our method is a fast, single-pass architecture that both detects objects in 3D and estimates their shapes. 3D bounding box parameters are estimated in one pass for every point, aggregated through graph convolutions, and fed into a branch of the network that predicts latent codes representing the shape of each detected object. The latent shape space and shape decoder are learned on a synthetic dataset and then used as supervision for the end-to-end training of the 3D object detection pipeline. Thus our model is able to extract shapes without access to ground-truth shape information in the target dataset. During experiments, we find that our proposed method achieves state-of-the-art results by ~5% on object detection in ScanNet scenes, and it gets top results by 3.4% in the Waymo Open Dataset, while reproducing the shapes of detected cars.


title: Notes on Matrix Models

abstract: In these notes we explore a variety of models comprising a large number of constituents. An emphasis is placed on integrals over large Hermitian matrices, as well as quantum mechanical models whose degrees of freedom are organised in a matrix-like fashion. We discuss the relation of matrix models to two-dimensional quantum gravity coupled to conformal matter. We provide a brief overview of a variety of more general quantum mechanical matrix models and their putative worldsheet interpretation, as well as other recent developments on large $N$ systems. We end with a discussion of open questions and future directions.


title: Representation theory of vertex operator algebras and orbifold conformal field theory

abstract: We discuss some basic problems and conjectures in a program to construct general orbifold conformal field theories using the representation theory of vertex operator algebras. We first review a program to construct conformal field theories. We also clarify some misunderstandings on vertex operator algebras, modular functors and intertwining operator algebras. Then we discuss some basic open problems and conjectures in mathematical orbifold conformal field theory. Generalized twisted modules and their variants, their constructions and some existence results are reviewed. Twisted intertwining operators and their basic properties are also reviewed. The conjectural properties in the basic open problems and conjectures mentioned above are then formulated precisely and explicitly. Some thoughts of the author on further developments of orbifold conformal field theory are also discussed.