title: SymmetryNet: Learning to Predict Reflectional and Rotational Symmetries of 3D Shapes from Single-View RGB-D Images

abstract: We study the problem of symmetry detection of 3D shapes from single-view RGB-D images, where severely missing data renders geometric detection approach infeasible. We propose an end-to-end deep neural network which is able to predict both reflectional and rotational symmetries of 3D objects present in the input RGB-D image. Directly training a deep model for symmetry prediction, however, can quickly run into the issue of overfitting. We adopt a multi-task learning approach. Aside from symmetry axis prediction, our network is also trained to predict symmetry correspondences. In particular, given the 3D points present in the RGB-D image, our network outputs for each 3D point its symmetric counterpart corresponding to a specific predicted symmetry. In addition, our network is able to detect for a given shape multiple symmetries of different types. We also contribute a benchmark of 3D symmetry detection based on single-view RGB-D images. Extensive evaluation on the benchmark demonstrates the strong generalization ability of our method, in terms of high accuracy of both symmetry axis prediction and counterpart estimation. In particular, our method is robust in handling unseen object instances with large variation in shape, multi-symmetry composition, as well as novel object categories.


title: Anticommutativity and the triangular lemma

abstract: For a variety $\mathcal{V}$, it has been recently shown that binary products commute with arbitrary coequalizers locally, i.e., in every fibre of the fibration of points $\pi: \mathrm{Pt} (\mathbb{C}) \rightarrow \mathbb{C}$, if and only if Gumm's shifting lemma holds on pullbacks in $\mathcal{V}$. In this paper, we establish a similar result connecting the so-called triangular lemma in universal algebra with a certain categorical $\textit{anticommutativity}$ condition. In particular, we show that this anticommutativity and its local version are Mal'tsev conditions, the local version being equivalent to the triangular lemma on pullbacks. As a corollary, every locally anticommutative variety $\mathcal{V}$ has directly decomposable congruence classes in the sense of Duda, and the converse holds if $\mathcal{V}$ is idempotent.


title: Reaffirming the Cosmic Acceleration without Supernova and CMB

abstract: Recent discussions about supernova magnitude evolution have raised doubts about the robustness of the late-universe acceleration. In a previous letter, Huang did a null test of the cosmic acceleration by using a Parameterization based on the cosmic Age (PAge), which covers a broad class of cosmological models including the standard $\Lambda$ cold dark matter model and its many extensions. In this work, we continue to explore the cosmic expansion history with the PAge approximation. Using baryon acoustic oscillations ({\it without} a CMB prior on the acoustic scale), gravitational strong lens time delay, and passively evolving early galaxies as cosmic chronometers, we obtain $\gtrsim 4\sigma$ detections of cosmic acceleration for both flat and nonflat PAge universes. In the nonflat case, we find a $\gtrsim 3\sigma$ tension between the spatial curvatures derived from baryon acoustic oscillations and strong lens time delay. Implications and possible systematics are discussed.


title: Dipole excitation of collective modes in viscous two-dimensional electron systems

abstract: We describe the structure of the time-harmonic electromagnetic field of a vertical Hertzian electric dipole source radiating over an infinite, translation invariant two-dimensional electron system. Our model for the electron flow takes into account the effects of shear and Hall viscosities as well as an external static magnetic field perpendicular to the sheet. We identify two wave modes, namely, a surface plasmon and a diffusive mode. In the presence of an external static magnetic field, the diffusive mode combines the features of both the conventional and Hall diffusion and may exhibit a negative group velocity. In our analysis, we solve exactly a boundary value problem for the time-harmonic Maxwell equations coupled with linearized hydrodynamic equations for the flat, two-dimensional material. By numerically evaluating the integrals for the electromagnetic field on the sheet, we find that the plasmon contribution dominates in the intermediate-field region of the dipole source. In contrast, the amplitude of the diffusive mode reaches its maximum value in the near-field region, and quickly decays with the distance from the source. We demonstrate that the diffusive mode can be distinguished from the plasmon in the presence of the static magnetic field, when the highly oscillatory plasmon is gapped and tends to disappear.


title: Reentrant Localization Transition in a Quasiperiodic Chain

abstract: Systems with quasiperiodic disorder are known to exhibit localization transition in low dimension. After a critical strength of disorder all the states of the system become localized, thereby ceasing the particle motion in the system. However, in our analysis we show that in a one dimensional dimerized lattice with staggered quasiperiodic disorder, after the localization transition some of the localized eigenstates become extended for a range of intermediate disorder strengths. Eventually, the system undergoes a second localization transition at a higher disorder strength leading to all states localized. We also show that the two localization transitions are associated with the mobility regions hosting the single particle mobility edges. We establish this re-entrant localization transition by analyzing the eigenspectra, participation ratios and the density of states of the system.


title: Tensor Low-Rank Reconstruction for Semantic Segmentation

abstract: Context information plays an indispensable role in the success of semantic segmentation. Recently, non-local self-attention based methods are proved to be effective for context information collection. Since the desired context consists of spatial-wise and channel-wise attentions, 3D representation is an appropriate formulation. However, these non-local methods describe 3D context information based on a 2D similarity matrix, where space compression may lead to channel-wise attention missing. An alternative is to model the contextual information directly without compression. However, this effort confronts a fundamental difficulty, namely the high-rank property of context information. In this paper, we propose a new approach to model the 3D context representations, which not only avoids the space compression but also tackles the high-rank difficulty. Here, inspired by tensor canonical-polyadic decomposition theory (i.e, a high-rank tensor can be expressed as a combination of rank-1 tensors.), we design a low-rank-to-high-rank context reconstruction framework (i.e, RecoNet). Specifically, we first introduce the tensor generation module (TGM), which generates a number of rank-1 tensors to capture fragments of context feature. Then we use these rank-1 tensors to recover the high-rank context features through our proposed tensor reconstruction module (TRM). Extensive experiments show that our method achieves state-of-the-art on various public datasets. Additionally, our proposed method has more than 100 times less computational cost compared with conventional non-local-based methods.


title: Improperly Efficient Solutions in a Class of Vector Optimization Problems

abstract: Improperly efficient solutions in the sense of Geoffrion in linear fractional vector optimization problems with unbounded constraint sets are studied in this paper. We give two sets of conditions which assure that all the efficient solutions of a given problem are improperly efficient. We also obtain necessary conditions for an efficient solution to be improperly efficient. As a result, we have new sufficient conditions for Geoffrion's proper efficiency. The obtained results enrich our knowledge on properly efficient solutions in linear fractional vector optimization.


title: Extendability of simplicial maps is undecidable

abstract: We present a short proof of the \v{C}adek-Kr\v{c}\'al-Matou\v{s}ek-Vok\v{r}\'inek-Wagner result from the title (in the following form due to Filakovsk\'y-Wagner-Zhechev). For any fixed even $l$ there is no algorithm recognizing the extendability of the identity map of $S^l$ to a PL map $X\to S^l$ of given $2l$-dimensional simplicial complex $X$ containing a subdivision of $S^l$ as a given subcomplex. We also exhibit a gap in the Filakovsk\'y-Wagner-Zhechev proof that embeddability of complexes is undecidable in codimension $>1$.


title: Chiral properties of (2+1)-flavor QCD in strong magnetic fields at zero temperature

abstract: We present lattice QCD results for masses and magnetic polarizabilities of light and strange pseudoscalar mesons, chiral condensates, decay constants of neutral pion, and neutral kaon in the presence of background magnetic fields with $eB$ ranging up to around 3.35 GeV$^2$ ($\sim70~M_\pi^2$) in the vacuum. The computations were carried out in (2+1)-flavor QCD mostly on $32^3 \times 96$ lattices using the highly improved staggered quark action with $M_{\pi} \approx $ 220 MeV at zero temperature. We find that the masses of neutral pseudoscalar mesons monotonously decrease as the magnetic field strength grows and then saturate at a nonzero value, while there exists a nonmonotonous behavior of charged pion and kaon masses in the magnetic field. We observe a $qB$ scaling of the up and down quark flavor components of neutral pion mass, neutral pion decay constant as well as the quark chiral condensates at 0.05 $\lesssim eB\lesssim$ 3.35 GeV$^2$. We show that the correction to the Gell-Mann-Oakes-Renner relation involving the neutral pion is less than 6% and the correction for the relation involving neutral kaon is less than 30% at $eB\lesssim$ 3.35 GeV$^2$. We also derive the Ward-Takahashi identities for QCD in the magnetic field in the continuum formulation including the relation between integrated neutral pseudoscalar meson correlators and chiral condensates.


title: Partially Coherent Direct Sum Channels

abstract: We introduce Partially Coherent Direct Sum (PCDS) quantum channels, as a generalization of the already known Direct Sum quantum channels. We derive necessary and sufficient conditions to identify the subset of those maps which are degradable, and provide a simplified expression for their quantum capacities. Interestingly, the special structure of PCDS allows us to extend the computation of the quantum capacity formula also for quantum channels which are explicitly not degradable (nor antidegradable). We show instances of applications of the results to dephasing channels, amplitude damping channels and combinations of the two.


title: Thermal Dynamic Phase Transition of Reissner-Nordstr\"{o}m Anti-de Sitter Black Holes on Free Energy Landscape

abstract: We explore the thermodynamics and the underlying kinetics of the van der Waals type phase transition of Reissner-Nordstr\"{o}m anti-de Sitter (RNAdS) black holes based on the free energy landscape. We show that the thermodynamic stabilities of the three branches of the RNAdS black holes are determined by the underlying free energy landscape topography. We suggest that the large (small) RNAdS black hole can have the probability to switch to the small (large) black hole due to the thermal fluctuation. Such a state switching process under the thermal fluctuation is taken as a stochastic process and the associated kinetics can be described by the probabilistic Fokker-Planck equation. We obtained the time dependent solutions for the probabilistic evolution by numerically solving Fokker-Planck equation with the reflecting boundary conditions. We also investigated the first passage process which describes how fast a system undergoes a stochastic process for the first time. The distributions of the first passage time switching from small (large) to large (small) black hole and the corresponding mean first passage time as well as its fluctuations at different temperatures are studied in detail. We conclude that the mean first passage time and its fluctuations are related to the free energy landscape topography through barrier heights and temperatures.


title: Minimum $2$-vertex strongly biconnected spanning directed subgraph problem

abstract: A directed graph $G=(V,E)$ is strongly biconnected if $G$ is strongly connected and its underlying graph is biconnected. A strongly biconnected directed graph $G=(V,E)$ is called $2$-vertex-strongly biconnected if $|V|\geq 3$ and the induced subgraph on $V\setminus\left\lbrace w\right\rbrace $ is strongly biconnected for every vertex $w\in V$. In this paper we study the following problem. Given a $2$-vertex-strongly biconnected directed graph $G=(V,E)$, compute an edge subset $E^{2sb} \subseteq E$ of minimum size such that the subgraph $(V,E^{2sb})$ is $2$-vertex-strongly biconnected.


title: Conforming Discrete Gradgrad-Complexes in Three Dimensions

abstract: In this paper, the first family of conforming discrete three dimensional Gradgrad-complexes consisting of finite element spaces is constructed. These discrete complexes are exact in the sense that the range of each discrete map is the kernel space of the succeeding one. These spaces can be used in the mixed form of the linearized Einstein-Bianchi system.


title: HyperFaceNet: A Hyperspectral Face Recognition Method Based on Deep Fusion

abstract: Face recognition has already been well studied under the visible light and the infrared,in both intra-spectral and cross-spectral cases. However, how to fuse different light bands, i.e., hyperspectral face recognition, is still an open research problem, which has the advantages of richer information retaining and all-weather functionality over single band face recognition. Among the very few works for hyperspectral face recognition, traditional non-deep learning techniques are largely used. Thus, we in this paper bring deep learning into the topic of hyperspectral face recognition, and propose a new fusion model (termed HyperFaceNet) especially for hyperspectral faces. The proposed fusion model is characterized by residual dense learning, a feedback style encoder and a recognition-oriented loss function. During the experiments, our method is proved to be of higher recognition rates than face recognition using either visible light or the infrared. Moreover, our fusion model is shown to be superior to other general-purposed image fusion methods including state-of-the-arts, in terms of both image quality and recognition performance.


title: Multi-level Wavelet-based Generative Adversarial Network for Perceptual Quality Enhancement of Compressed Video

abstract: The past few years have witnessed fast development in video quality enhancement via deep learning. Existing methods mainly focus on enhancing the objective quality of compressed video while ignoring its perceptual quality. In this paper, we focus on enhancing the perceptual quality of compressed video. Our main observation is that enhancing the perceptual quality mostly relies on recovering high-frequency sub-bands in wavelet domain. Accordingly, we propose a novel generative adversarial network (GAN) based on multi-level wavelet packet transform (WPT) to enhance the perceptual quality of compressed video, which is called multi-level wavelet-based GAN (MW-GAN). In MW-GAN, we first apply motion compensation with a pyramid architecture to obtain temporal information. Then, we propose a wavelet reconstruction network with wavelet-dense residual blocks (WDRB) to recover the high-frequency details. In addition, the adversarial loss of MW-GAN is added via WPT to further encourage high-frequency details recovery for video frames. Experimental results demonstrate the superiority of our method.


title: Structural Estimation of Partially Observable Markov Decision Processes

abstract: In many practical settings control decisions must be made under partial/imperfect information about the evolution of a relevant state variable. Partially Observable Markov Decision Processes (POMDPs) is a relatively well-developed framework for modeling and analyzing such problems. In this paper we consider the structural estimation of the primitives of a POMDP model based upon the observable history of the process. We analyze the structural properties of POMDP model with random rewards and specify conditions under which the model is identifiable without knowledge of the state dynamics. We consider a soft policy gradient algorithm to compute a maximum likelihood estimator and provide a finite-time characterization of convergence to a stationary point. We illustrate the estimation methodology with an application to optimal equipment replacement. In this context, replacement decisions must be made under partial/imperfect information on the true state (i.e. condition of the equipment). We use synthetic and real data to highlight the robustness of the proposed methodology and characterize the potential for misspecification when partial state observability is ignored.


title: High-energy resummed distributions for the inclusive Higgs-plus-jet production at the LHC

abstract: The inclusive hadroproduction of a Higgs boson and of a jet, featuring large transverse momenta and well separated in rapidity, is proposed as a novel probe channel for the manifestation of the Balitsky-Fadin-Kuraev-Lipatov (BFKL) dynamics. Using the standard BFKL approach, with partial inclusion of next-to-leading order effects, predictions are presented for azimuthal Higgs-jet correlations and other observables, to be possibly compared with experimental analyses at the LHC and with theoretical predictions obtained in different schemes.


title: Robust Sequential Search

abstract: We study sequential search without priors. Our interest lies in decision rules that are close to being optimal under each prior and after each history. We call these rules dynamically robust. The search literature employs optimal rules based on cutoff strategies that are not dynamically robust. We derive dynamically robust rules and show that their performance exceeds 1/2 of the optimum against binary environments and 1/4 of the optimum against all environments. This performance improves substantially with the outside option value, for instance, it exceeds 2/3 of the optimum if the outside option exceeds 1/6 of the highest possible alternative.


title: Superconductivity at the three-dimensional Anderson metal-insulator transition

abstract: We study a disordered weakly-coupled superconductor around the Anderson transition by solving numerically the Bogoliubov-de Gennes (BdG) equations in a three dimensional lattice of size up to $20\times20\times20$ in the presence of a random potential. The spatial average of the order parameter is moderately enhanced as disorder approaches the transition but decreases sharply in the insulating region. The spatial distribution of the order parameter is sensitive to the disorder strength: for intermediate disorders below the transition, we already observe a highly asymmetric distribution with an exponential tail. Around the transition, it is well described by a log-normal distribution and a parabolic singularity spectrum. These features are typical of a multifractal measure. We determine quantitatively the critical disorder at which the insulator transition occurs by an analysis of level statistics in the spectral region that contributes to the formation of the order parameter. Interestingly, spectral correlations at the transition are similar to those found in non-interacting disordered systems at the Anderson transition. A percolation analysis suggests that the loss of phase coherence may occur around the critical disorder.


title: Variational Filtering with Copula Models for SLAM

abstract: The ability to infer map variables and estimate pose is crucial to the operation of autonomous mobile robots. In most cases the shared dependency between these variables is modeled through a multivariate Gaussian distribution, but there are many situations where that assumption is unrealistic. Our paper shows how it is possible to relax this assumption and perform simultaneous localization and mapping (SLAM) with a larger class of distributions, whose multivariate dependency is represented with a copula model. We integrate the distribution model with copulas into a Sequential Monte Carlo estimator and show how unknown model parameters can be learned through gradient-based optimization. We demonstrate our approach is effective in settings where Gaussian assumptions are clearly violated, such as environments with uncertain data association and nonlinear transition models.


title: Modelling, Controllability and Gait Design for a Spherical Flexible Swimmer

abstract: This paper discusses modelling, controllability and gait design for a spherical flexible swimmer. We first present a kinematic model of a low Reynolds number spherical flexible swimming mechanism with periodic surface deformations in the radial and azimuthal directions. The model is then converted to a finite dimensional driftless, affine-in-control principal kinematic form by representing the surface deformations as a linear combination of finitely many Legendre polynomials. A controllability analysis is then done for this swimmer to conclude that the swimmer is locally controllable on $\mathbb{R}^3$ for certain combinations of the Legendre polynomials. The rates of the coefficients of the polynomials are considered as the control inputs for surface deformation. Finally, the Abelian nature of the structure group of the swimmer's configuration space is exploited to synthesize a curvature based gait for the spherical flexile swimmer and a rigid-link swimmer.


title: Differentiable Feature Aggregation Search for Knowledge Distillation

abstract: Knowledge distillation has become increasingly important in model compression. It boosts the performance of a miniaturized student network with the supervision of the output distribution and feature maps from a sophisticated teacher network. Some recent works introduce multi-teacher distillation to provide more supervision to the student network. However, the effectiveness of multi-teacher distillation methods are accompanied by costly computation resources. To tackle with both the efficiency and the effectiveness of knowledge distillation, we introduce the feature aggregation to imitate the multi-teacher distillation in the single-teacher distillation framework by extracting informative supervision from multiple teacher feature maps. Specifically, we introduce DFA, a two-stage Differentiable Feature Aggregation search method that motivated by DARTS in neural architecture search, to efficiently find the aggregations. In the first stage, DFA formulates the searching problem as a bi-level optimization and leverages a novel bridge loss, which consists of a student-to-teacher path and a teacher-to-student path, to find appropriate feature aggregations. The two paths act as two players against each other, trying to optimize the unified architecture parameters to the opposite directions while guaranteeing both expressivity and learnability of the feature aggregation simultaneously. In the second stage, DFA performs knowledge distillation with the derived feature aggregation. Experimental results show that DFA outperforms existing methods on CIFAR-100 and CINIC-10 datasets under various teacher-student settings, verifying the effectiveness and robustness of the design.


title: Double-robust and efficient methods for estimating the causal effects of a binary treatment

abstract: We consider the problem of estimating the effects of a binary treatment on a continuous outcome of interest from observational data in the absence of confounding by unmeasured factors. We provide a new estimator of the population average treatment effect (ATE) based on the difference of novel double-robust (DR) estimators of the treatment-specific outcome means. We compare our new estimator with previously estimators both theoretically and via simulation. DR-difference estimators may have poor finite sample behavior when the estimated propensity scores in the treated and untreated do not overlap. We therefore propose an alternative approach, which can be used even in this unfavorable setting, based on locally efficient double-robust estimation of a semiparametric regression model for the modification on an additive scale of the magnitude of the treatment effect by the baseline covariates $X$. In contrast with existing methods, our approach simultaneously provides estimates of: i) the average treatment effect in the total study population, ii) the average treatment effect in the random subset of the population with overlapping estimated propensity scores, and iii) the treatment effect at each level of the baseline covariates $X$. When the covariate vector $X$ is high dimensional, one cannot be certain, owing to lack of power, that given models for the propensity score and for the regression of the outcome on treatment and $X$ used in constructing our DR estimators are nearly correct, even if they pass standard goodness of fit tests. Therefore to select among candidate models, we propose a novel approach to model selection that leverages the DR-nature of our treatment effect estimator and that outperforms cross-validation in a small simulation study.


title: Unacceptable, where is my privacy? Exploring Accidental Triggers of Smart Speakers

abstract: Voice assistants like Amazon's Alexa, Google's Assistant, or Apple's Siri, have become the primary (voice) interface in smart speakers that can be found in millions of households. For privacy reasons, these speakers analyze every sound in their environment for their respective wake word like ''Alexa'' or ''Hey Siri,'' before uploading the audio stream to the cloud for further processing. Previous work reported on the inaccurate wake word detection, which can be tricked using similar words or sounds like ''cocaine noodles'' instead of ''OK Google.'' In this paper, we perform a comprehensive analysis of such accidental triggers, i.,e., sounds that should not have triggered the voice assistant, but did. More specifically, we automate the process of finding accidental triggers and measure their prevalence across 11 smart speakers from 8 different manufacturers using everyday media such as TV shows, news, and other kinds of audio datasets. To systematically detect accidental triggers, we describe a method to artificially craft such triggers using a pronouncing dictionary and a weighted, phone-based Levenshtein distance. In total, we have found hundreds of accidental triggers. Moreover, we explore potential gender and language biases and analyze the reproducibility. Finally, we discuss the resulting privacy implications of accidental triggers and explore countermeasures to reduce and limit their impact on users' privacy. To foster additional research on these sounds that mislead machine learning models, we publish a dataset of more than 1000 verified triggers as a research artifact.


title: Assessing gravitational-wave binary black hole candidates with Bayesian odds

abstract: Gravitational waves from the coalescence of binary black holes can be distinguished from noise transients in a detector network through Bayesian model selection by exploiting the coherence of the signal across the network. We present a Bayesian framework for calculating the posterior probability that a signal is of astrophysical origin, agnostic to the specific search strategy, pipeline or search domain with which a candidate is identified. We apply this framework under \textit{identical} assumptions to all events reported in the LIGO-Virgo GWTC-1 catalog, GW190412 and numerous event candidates reported by independent search pipelines by other authors. With the exception of GW170818, we find that all GWTC-1 candidates, and GW190412, have odds overwhelmingly in favour of the astrophysical hypothesis, including GW170729, which was assigned significantly different astrophysical probabilities by the different search pipelines used in GWTC-1. GW170818 is de-facto a single detector trigger, and is therefore of no surprise that it is disfavoured as being produced by an astrophysical source in our framework. We find \textit{three} additional event candidates, GW170121, GW170425 and GW170727, that have significant support for the astrophysical hypothesis, with a probability that the signal is of astrophysical origin of 0.53, 0.74 and 0.64 respectively. We carry out a hierarchical population study which includes these three events in addition to those reported in GWTC-1, finding that the main astrophysical results are unaffected.


title: From classical to quantum walks with stochastic resetting on networks

abstract: Random walks are fundamental models of stochastic processes with applications in various fields including physics, biology, and computer science. We study classical and quantum random walks under the influence of stochastic resetting on arbitrary networks. Based on the mathematical formalism of quantum stochastic walks, we provide a framework of classical and quantum walks whose evolution is determined by graph Laplacians. We study the influence of quantum effects on the stationary and long-time average probability distribution by interpolating between the classical and quantum regime. We compare our analytical results on stationary and long-time average probability distributions with numerical simulations on different networks, revealing differences in the way resets affect the sampling properties of classical and quantum walks.


title: Curriculum Learning with a Progression Function

abstract: Curriculum Learning for Reinforcement Learning is an increasingly popular technique that involves training an agent on a sequence of intermediate tasks, called a Curriculum, to increase the agent's performance and learning speed. This paper introduces a novel paradigm for curriculum generation based on progression and mapping functions. While progression functions specify the complexity of the environment at any given time, mapping functions generate environments of a specific complexity. Different progression functions are introduced, including an autonomous online task progression based on the agent's performance. Our approach's benefits and wide applicability are shown by empirically comparing its performance to two state-of-the-art Curriculum Learning algorithms on six domains.


title: Integrated monitoring of ice in selected Swiss lakes. Final project report

abstract: Various lake observables, including lake ice, are related to climate and climate change and provide a good opportunity for long-term monitoring. Lakes (and as part of them lake ice) is therefore considered an Essential Climate Variable (ECV) of the Global Climate Observing System (GCOS). Following the need for an integrated multi-temporal monitoring of lake ice in Switzerland, MeteoSwiss in the framework of GCOS Switzerland supported this 2-year project to explore not only the use of satellite images but also the possibilities of Webcams and in-situ measurements. The aim of this project is to monitor some target lakes and detect the extent of ice and especially the ice-on/off dates, with focus on the integration of various input data and processing methods. The target lakes are: St. Moritz, Silvaplana, Sils, Sihl, Greifen and Aegeri, whereby only the first four were mainly frozen during the observation period and thus processed. The observation period was mainly the winter 2016-17. During the project, various approaches were developed, implemented, tested and compared. Firstly, low spatial resolution (250 - 1000 m) but high temporal resolution (1 day) satellite images from the optical sensors MODIS and VIIRS were used. Secondly, and as a pilot project, the use of existing public Webcams was investigated for (a) validation of results from satellite data, and (b) independent estimation of lake ice, especially for small lakes like St. Moritz, that could not be possibly monitored in the satellite images. Thirdly, in-situ measurements were made in order to characterize the development of the temperature profiles and partly pressure before freezing and under the ice-cover until melting. This report presents the results of the project work.


title: Topological Phase Transitions in Disordered Electric Quadrupole Insulators

abstract: We investigate disorder-driven topological phase transitions in quantized electric quadrupole insulators. We show that chiral symmetry can protect the quantization of the quadrupole moment $q_{xy}$, such that the higher-order topological invariant is well-defined even when disorder has broken all crystalline symmetries. Moreover, nonvanishing $q_{xy}$ and consequent corner modes can be induced from a trivial insulating phase by disorder that preserves chiral symmetry. The critical points of such topological phase transitions are marked by the occurrence of extended boundary states even in the presence of strong disorder. We provide a systematic characterization of these disorder-driven topological phase transitions from both bulk and boundary descriptions.


title: The complete experiment problem of pseudoscalar meson photoproduction in a truncated partial wave analysis

abstract: This dissertation treats the problem of complete experiments for pseudoscalar meson photoproduction, in the context of a truncated partial-wave analysis (TPWA). The work contains algebraic and numerical considerations. The influence of measurement uncertainties is examined using bootstrap methods. The thesis was originally published online by the University of Bonn in the 1st quarter of 2019 (links are given in the comments).


title: Admissible replacements for simplicial monoidal model categories

abstract: Using Dugger's construction of universal model categories, we produce replacements for simplicial and combinatorial symmetric monoidal model categories with better operadic properties. Namely, these replacements admit a model structure on algebras over any given colored operad. As an application, we show that in the stable case, such symmetric monoidal model categories are classified by commutative ring spectra when the monoidal unit is a compact generator. In other words, they are strong monoidally Quillen equivalent to modules over a uniquely determined commutative ring spectrum.


title: Deep-Reinforcement-Learning-Based Semantic Navigation of Mobile Robots in Dynamic Environments

abstract: Mobile robots have gained increased importance within industrial tasks such as commissioning, delivery or operation in hazardous environments. The ability to autonomously navigate safely especially within dynamic environments, is paramount in industrial mobile robotics. Current navigation methods depend on preexisting static maps and are error-prone in dynamic environments. Furthermore, for safety reasons, they often rely on hand-crafted safety guidelines, which makes the system less flexible and slow. Visual based navigation and high level semantics bear the potential to enhance the safety of path planing by creating links the agent can reason about for a more flexible navigation. On this account, we propose a reinforcement learning based local navigation system which learns navigation behavior based solely on visual observations to cope with highly dynamic environments. Therefore, we develop a simple yet efficient simulator - ARENA2D - which is able to generate highly randomized training environments and provide semantic information to train our agent. We demonstrate enhanced results in terms of safety and robustness over a traditional baseline approach based on the dynamic window approach.


title: Interest Clustering Coefficient: a New Metric for Directed Networks like Twitter

abstract: We study here the clustering of directed social graphs. The clustering coefficient has been introduced to capture the social phenomena that a friend of a friend tends to be my friend. This metric has been widely studied and has shown to be of great interest to describe the characteristics of a social graph. In fact, the clustering coefficient is adapted for a graph in which the links are undirected, such as friendship links (Facebook) or professional links (LinkedIn). For a graph in which links are directed from a source of information to a consumer of information, it is no more adequate. We show that former studies have missed much of the information contained in the directed part of such graphs. We thus introduce a new metric to measure the clustering of a directed social graph with interest links, namely the interest clustering coefficient. We compute it (exactly and using sampling methods) on a very large social graph, a Twitter snapshot with 505 million users and 23 billion links. We additionally provide the values of the formerly introduced directed and undirected metrics, a first on such a large snapshot. We exhibit that the interest clustering coefficient is larger than classic directed clustering coefficients introduced in the literature. This shows the relevancy of the metric to capture the informational aspects of directed graphs.


title: Symmetry Breakdown Related Fracture in 42CrMo4 Steel

abstract: Austenite grains that underwent the f.c.c. to b.c.c. (or b.c.t.) transformation are typically composed of 24 Kurdjumov-Sachs variants that can be categorized by three axes of Bain transformations; thus, a complete transformation generally displays 3-fold symmetry in (001) pole figures. In the present work, crystallographic symmetry in 42CrMo4 steel austempered below martensite start temperature was investigated with the help of the orientation distribution function (ODF) analysis based on the FEG-SEM/EBSD technique. It is shown that, upon phase transformations, the specimens contained 6-fold symmetry in all (001), (011), and (111) pole figures of an ODF. The ODF analysis, verified by theoretical modeling, showed that under plane-strain conditions cracks prefer to propagate through areas strongly offset by the high symmetry. The origin of high symmetry was investigated, and the mechanism of the symmetry breakdown was explained.


title: Distributional solutions of Burgers' type equations for intrinsic graphs in Carnot groups of step 2

abstract: We prove that in arbitrary Carnot groups $\mathbb G$ of step 2, with a splitting $\mathbb G=\mathbb W\cdot\mathbb L$ with $\mathbb L$ one-dimensional, the graph of a continuous function $\varphi\colon U\subseteq \mathbb W\to \mathbb L$ is $C^1_{\mathrm{H}}$-regular precisely when $\varphi$ satisfies, in the distributional sense, a Burgers' type system $D^{\varphi}\varphi=\omega$, with a continuous $\omega$. We stress that this equivalence does not hold already in the easiest step-3 Carnot group, namely the Engel group. As a tool for the proof we show that a continuous distributional solution $\varphi$ to a Burgers' type system $D^{\varphi}\varphi=\omega$, with $\omega$ continuous, is actually a broad solution to $D^{\varphi}\varphi=\omega$. As a by-product of independent interest we obtain that all the continuous distributional solutions to $D^{\varphi}\varphi=\omega$, with $\omega$ continuous, enjoy $1/2$-little H\"older regularity along vertical directions.


title: Statistical Inference of Minimally Complex Models

abstract: Finding the model that best describes a high dimensional dataset is a daunting task. For binary data, we show that this becomes feasible when restricting the search to a family of simple models, that we call Minimally Complex Models (MCMs). These are spin models, with interactions of arbitrary order, that are composed of independent components of minimal complexity (Beretta et al., 2018). They tend to be simple in information theoretic terms, which means that they are well-fitted to specific types of data, and are therefore easy to falsify. We show that Bayesian model selection restricted to these models is computationally feasible and has many other advantages. First, their evidence, which trades off goodness-of-fit against model complexity, can be computed easily without any parameter fitting. This allows selecting the best MCM among all, even though the number of models is astronomically large. Furthermore, MCMs can be inferred and sampled from without any computational effort. Finally, model selection among MCMs is invariant with respect to changes in the representation of the data. MCMs portray the structure of dependencies among variables in a simple way, as illustrated in several examples, and thus provide robust predictions on dependencies in the data. MCMs contain interactions of any order between variables, and thus may reveal the presence of interactions of order higher than pairwise.

categories: cs.AI math.ST physics.data-an q-bio.QM stat.TH


title: Asymmetric versus symmetric $\rm{HgTe/Cd_{x}Hg_{1-x}Te}$ double quantum wells: Band gap tuning without electric field

abstract: We investigate the electron states in double asymmetric $\rm{HgTe/Cd_{x}Hg_{1-x}Te}$ quantum wells grown along the $[001]$ direction. The subbands are computed by means of the envelope function approximation applied to the 8-band Kane $\bf{k}\cdot\bf{p}$ model. The asymmetry of the confining potential of the double quantum wells results in a gap opening which is absent in the symmetric system where it can only be induced by an applied electric field. The band gap and the subbands are affected by spin-orbit coupling which is a consequence of the asymmetry of the confining potential. The electron-like and hole-like states are mainly confined in different quantum wells, and the enhanced hybridization between them opens a spin-dependent hybridization gap at a finite in-plane wavevector. We show that both the ratio of the widths of the two quantum wells and the mole fraction of the $\rm{Cd_{x}Hg_{1-x}Te}$ barrier control both the energy gap between the hole-like states and the hybridization gap. The energy subbands are shown to exhibit inverted ordering, and therefore a nontrivial topological phase could emerge in the system.


title: On unified framework for continuous-time grey models: an integral matching perspective

abstract: Since most of the research about grey forecasting models is focused on developing novel models and improving accuracy, relatively limited attention has been paid to the modelling mechanism and relationships among diverse kinds of models. This paper aims to unify and reconstruct continuous-time grey models, highlighting the differences and similarities among different models. First, the unified form of grey models is proposed and simplified into a reduced-order ordinary differential equation. Then, the integral matching that consists of integral transformation and least squares, is proposed to estimate the structural parameter and initial value simultaneously. The cumulative sum operator, an essential element in grey modelling, proves to be the discrete approximation of the integral transformation formula. Next, grey models are reconstructed by the integral matching-based ordinary differential equations. Finally, the existing grey models are compared with the reconstructed models through extensive simulation studies, and a real-world example shows how to apply and further verify the reconstructed model.


title: String-Inspired Running Vacuum, the "Vacuumon", and the Swampland Criteria

abstract: We elaborate further on the compatibility of the "vacuumon potential" that characterises the inflationary phase of the Running Vacuum Model (RVM) with the Swampland criteria. The work is motivated by the fact that, as demonstrated recently by the authors [1-3], the RVM framework can be derived as an effective gravitational field theory stemming from underlying microscopic (critical) string theory models with gravitational anomalies, involving condensation of primordial gravitational waves. Although believed to be a classical scalar field description, not representing a fully fledged quantum field, nonetheless we show here that the vacuumon potential satisfies certain Swampland criteria for the relevant regime of parameters and field range. We link the criteria to the Gibbons-Hawking entropy that has been argued to characterise the RVM during the de Sitter phase. These results imply that the vacuumon may, after all, admit under certain conditions, a r\^ole as a quantum field during the inflationary (almost de Sitter) phase of the running vacuum. The conventional slow-roll interpretation of this field, however, fails just because it satisfies the Swampland criteria. The RVM effective theory derived from the low-energy effective action of string theory does, however, successfully describe inflation thanks to the $\sim H^4$ terms induced by the gravitational anomalous condensates. In addition, the stringy version of the RVM involves the Kalb-Ramond (KR) axion field, which, in contrast to the vacuumon, does perfectly satisfy the slow-roll condition. We conclude that the vacuumon description is not fully equivalent to the stringy formulation of the RVM.


title: Interactive Imitation Learning in State-Space

abstract: Imitation Learning techniques enable programming the behavior of agents through demonstrations rather than manual engineering. However, they are limited by the quality of available demonstration data. Interactive Imitation Learning techniques can improve the efficacy of learning since they involve teachers providing feedback while the agent executes its task. In this work, we propose a novel Interactive Learning technique that uses human feedback in state-space to train and improve agent behavior (as opposed to alternative methods that use feedback in action-space). Our method titled Teaching Imitative Policies in State-space~(TIPS) enables providing guidance to the agent in terms of `changing its state' which is often more intuitive for a human demonstrator. Through continuous improvement via corrective feedback, agents trained by non-expert demonstrators using TIPS outperformed the demonstrator and conventional Imitation Learning agents.


title: Trawling for Trolling: A Dataset

abstract: The ability to accurately detect and filter offensive content automatically is important to ensure a rich and diverse digital discourse. Trolling is a type of hurtful or offensive content that is prevalent in social media, but is underrepresented in datasets for offensive content detection. In this work, we present a dataset that models trolling as a subcategory of offensive content. The dataset was created by collecting samples from well-known datasets and reannotating them along precise definitions of different categories of offensive content. The dataset has 12,490 samples, split across 5 classes; Normal, Profanity, Trolling, Derogatory and Hate Speech. It encompasses content from Twitter, Reddit and Wikipedia Talk Pages. Models trained on our dataset show appreciable performance without any significant hyperparameter tuning and can potentially learn meaningful linguistic information effectively. We find that these models are sensitive to data ablation which suggests that the dataset is largely devoid of spurious statistical artefacts that could otherwise distract and confuse classification models.


title: Short-time behavior of solutions to L\'evy-driven SDEs

abstract: We consider solutions of L\'evy-driven stochastic differential equations of the form $\mathrm{d} X_t=\sigma(X_{t-})\mathrm{d} L_t$, $X_0=x$ where the function $\sigma$ is twice continuously differentiable and maximal of linear growth and the driving L\'evy process $L=(L_t)_{t\geq0}$ is either vector or matrix-valued. While the almost sure short-time behavior of L\'evy processes is well-known and can be characterized in terms of the characteristic triplet, there is no complete characterization of the behavior of the process $X$. Using methods from stochastic calculus, we derive limiting results for stochastic integrals of the from $\smash{t^{-p}\int_{0+}^t\sigma(X_{t-})\mathrm{d} L_t}$ to show that the behavior of the quantity $t^{-p}(X_t-X_0)$ for $t\downarrow0$ almost surely mirrors the behavior of $t^{-p}L_t$. Generalizing $t^p$ to a suitable function $f:[0,\infty)\rightarrow\mathbb{R}$ then yields a tool to derive explicit LIL-type results for the solution from the behavior of the driving L\'evy process.


title: dc to ac Josephson transition in a dc atom superconducting quantum interference device

abstract: We analyze the effect of the barrier motion on the Bose-Hubbard Hamiltonian of a ring-shaped Bose-Einstein condensate interrupted by a pair of Josephson junctions, a configuration which is the cold atom analog of the well-known dc superconducting quantum interference device (SQUID). Such an effect is also shown to modify the Heisenberg equation of motion of the boson field operator in the two-mode approximation, where a hysteretic contribution that could affect the dynamics for accelerated or overlapping barriers is identified. By studying the energy landscape as a function of order and control parameters, we determine the diagram with the location of the dc and ac Josephson regimes, along with the critical points that are shown to depend on the junctions position. We analyze the dc to ac Josephson transition for adiabatic barrier trajectories that lead to a final uniform velocity, or which perform symmetric velocity paths. We show that such symmetric trajectories may induce, when reaching the critical point, highly hysteretic oscillating return paths within the dc regime, similar to the underdamped hysteresis loops arising from the action of a resistive flow in the ac regime. We also consider nonequilibrium initial conditions resulting from a finite phase difference on either side of the junctions, along with the critical features of such a parameter. An excellent agreement between the Gross-Pitaevskii simulations and the two-mode results is found in all cases.


title: Towards Robust Visual Tracking for Unmanned Aerial Vehicle with Tri-Attentional Correlation Filters

abstract: Object tracking has been broadly applied in unmanned aerial vehicle (UAV) tasks in recent years. However, existing algorithms still face difficulties such as partial occlusion, clutter background, and other challenging visual factors. Inspired by the cutting-edge attention mechanisms, a novel object tracking framework is proposed to leverage multi-level visual attention. Three primary attention, i.e., contextual attention, dimensional attention, and spatiotemporal attention, are integrated into the training and detection stages of correlation filter-based tracking pipeline. Therefore, the proposed tracker is equipped with robust discriminative power against challenging factors while maintaining high operational efficiency in UAV scenarios. Quantitative and qualitative experiments on two well-known benchmarks with 173 challenging UAV video sequences demonstrate the effectiveness of the proposed framework. The proposed tracking algorithm favorably outperforms 12 state-of-the-art methods, yielding 4.8% relative gain in UAVDT and 8.2% relative gain in UAV123@10fps against the baseline tracker while operating at the speed of $\sim$ 28 frames per second.


title: Self-interacting hidden sector dark matter, small scale galaxy structure anomalies, and a dark force

abstract: The short distance behavior of dark matter (DM) at galaxy scales exhibits several features not explained by the typical cold dark matter (CDM) with velocity-independent cross-section. We discuss a particle physics model with a hidden sector interacting feebly with the visible sector where a dark fermion self-interacts via a dark force with a light dark photon as the mediator. We study coupled Boltzmann equations involving two temperatures, one for each sector. We fit the velocity-dependent DM cross-section to the data from scales of dwarf galaxies to clusters consistent with relic density constraint.


title: A Simple Equivalent Circuit Approach for Anisotropic Frequency Selective Surfaces and Metasurfaces

abstract: An equivalent circuit model for Frequency Selective Surfaces (FSS) comprising anisotropic elements is presented. The periodic surface is initially simulated with an arbitrary azimuthal incidence angle and its surface impedance matrix is derived. The impedance matrix is subsequently rotated by an angle $\varphi^{rot}$ on the crystal axes $\chi_1$, $\chi_2$ thus nullifying its extra diagonal terms. The rotation angle $\varphi^{rot}$ is derived according to the spectral theorem by using the terms of the matrix initially extracted. The diagonal terms of the rotated matrix, that is, the impedances $Z_{\chi_1}$ and $Z_{\chi_2}$, are finally matched with simple LC networks. The circuit model representation of the anisotropic element can be used to analyse anisotropic FSSs rotated by a generic azimuth angle. The methodology provides a compact description of generic FSS elements with only five parameters: the lumped parameters of the LC network $L_{\chi_1}$, $C_{\chi_1}$, $L_{\chi_2}$, $C_{\chi_2}$ and the rotation angle $\varphi^{rot}$. The circuit model can take into account the presence of dielectric substrates close to the FSS or a variation of the FSS periodicity without additional computational efforts. The equivalent circuit model is finally applied to the design of two transmitting polarization converts based on anisotropic metasurfaces.


title: Fate of Duplicated Neural Structures

abstract: Statistical mechanics determines the abundance of different arrangements of matter depending on cost-benefit balances. Its formalism and phenomenology percolate throughout biological processes and set limits to effective computation. Under specific conditions, self-replicating and computationally complex patterns become favored, yielding life, cognition, and Darwinian evolution. Neurons and neural circuits sit at a crossroads between statistical mechanics, computation, and (through their role in cognition) natural selection. Can we establish a {\em statistical physics} of neural circuits? Such theory would tell what kinds of brains to expect under set energetic, evolutionary, and computational conditions. With this big picture in mind, we focus on the fate of duplicated neural circuits. We look at examples from central nervous systems, with a stress on computational thresholds that might prompt this redundancy. We also study a naive cost-benefit balance for duplicated circuits implementing complex phenotypes. From this we derive {\em phase diagrams} and (phase-like) transitions between single and duplicated circuits, which constrain evolutionary paths to complex cognition. Back to the big picture, similar phase diagrams and transitions might constrain I/O and internal connectivity patterns of neural circuits at large. The formalism of statistical mechanics seems a natural framework for thsi worthy line of research.


title: A Simplified Stochastic EM Algorithm for Cure Rate Model with Negative Binomial Competing Risks: An Application to Breast Cancer Data

abstract: In this paper, a long-term survival model under competing risks is considered. The unobserved number of competing risks is assumed to follow a negative binomial distribution that can capture both over- and under-dispersion. Considering the latent competing risks as missing data, a variation of the well-known expectation maximization (EM) algorithm, called the stochastic EM algorithm (SEM), is developed. It is shown that the SEM algorithm avoids calculation of complicated expectations, which is a major advantage of the SEM algorithm over the EM algorithm. The proposed procedure also allows the objective function to be split into two simpler functions, one corresponding to the parameters associated with the cure rate and the other corresponding to the parameters associated with the progression times. The advantage of this approach is that each simple function, with lower parameter dimension, can be maximized independently. An extensive Monte Carlo simulation study is carried out to compare the performances of the SEM and EM algorithms. Finally, a breast cancer survival data is analyzed and it is shown that the SEM algorithm performs better than the EM algorithm.


title: Magnetic field control of antiferromagnetic domain walls in a thermal gradient

abstract: An antiferromagnetic domain wall in a thermal gradient is found to experience a force towards colder regions upon the application of a uniform magnetic field along the easy axis. This force increases with the strength of the applied field and, for sufficiently high values, it overcomes the entropic force the that pushes wall towards the hotter regions. The force is proportional to the thermal gradient and it shows a linear dependence with the net magnetic moment of the domain wall induced by the field. The origin of this force lies on the increase of the domain wall reflectivity due the field-induced sizable break of antiferromagnetic order inside it, which turns it into an efficient barrier for magnons, which transfer linear momentum to the domain wall when they are reflected on it


title: Thermally rounded depinning of an elastic interface on a washboard potential

abstract: The thermal rounding of the depinning transition of an elastic interface sliding on a washboard potential is studied through analytic arguments and very accurate numerical simulations. We confirm the standard view that well below the depinning threshold the average velocity can be calculated considering thermally activated nucleation of forward moving defects. However, we find that the straightforward extension of this analysis to near or above the depinning threshold does not fully describe the physics of the thermally assisted motion. In particular, we find that exactly at the depinning point the average velocity does not follow a pure power-law of the temperature as naively expected by the analogy with standard phase transitions but presents subtle logarithmic corrections. We explain the physical mechanisms behind these corrections and argue that they are non-peculiar collective effects which may also apply to the case of interfaces sliding on uncorrelated disordered landscapes.


title: Bright, continuous beams of cold free radicals

abstract: We demonstrate a cryogenic buffer gas-cooled molecular beam source capable of producing bright, continuous beams of cold and slow free radicals via laser ablation over durations of up to 60~seconds. The source design uses a closed liquid helium reservoir as a large thermal mass to minimize heating and ensure reproducible beam properties during operation. Under typical conditions, the source produces beams of our test species SrF, containing $5\times10^{12}~$molecules per steradian per second in the $X^{2}\Sigma(v=0, N=1)$ state with a rotational temperature of $1.0(2)~$K and a forward velocity of $140~$m/s. The beam properties are robust and unchanged for multiple cell geometries but depend critically on the helium buffer gas flow rate, which must be $\geq10~$ standard cubic centimeters per minute to produce bright, continuous beams of molecules for an ablation repetition rate of $55~$Hz.


title: Strongest constraint in $f(R) = R+ \alpha R^2$ gravity: stellar stability

abstract: In the metric approach of $f(R)$ theories of gravity, the fourth-order field equations are often recast as effective Einstein equations in the presence of standard matter and a curvature fluid (which gathers all the extra terms), always in the Jordan frame. In this picture, we investigate the strong gravity regime of the $f(R) = R+ \alpha R^2$ model. In particular, we focus on the stability of a compact star composed by a mixture of ordinary matter -- described by a polytropic equation of state -- and an effective curvature fluid in an otherwise standard Einstein gravity, so that we are able to apply the usual equations that govern the radial adiabatic oscillations of relativistic stars. Our new restriction on the free parameter is $\alpha \lesssim 2.4 \times 10^8\ \text{cm}^2$ in order to guarantee stellar stability, about $100$ times more restrictive than previous results (based on mass-radius relations alone) in the literature.


title: Mean-Field Solution for Critical Behavior of Signed Networks in Competitive Balance Theory

abstract: Competitive balance model has been proposed as an extension to the balance model to address the conflict of interests in signed networks arXiv:2001.04664 . In this model two different paradigms compete with each other due to the competitive interests to dominate the system and impose their own values. Using mean-field solution method in this paper, we examine the thermal behavior of the competitive balance model. Our results show that under a certain temperature, the symmetry between two competitive interests will spontaneously break which leads to a discrete phase transition. So, starting with a heterogeneous signed network, if agents aim to ultimately decrease tension stemming from balance theory, evolution ultimately chooses only one of the existing interests and stability arises where one paradigm dominates the network. The critical temperature depends linearly on the number of nodes, which was a linear dependence in the thermal balance theory as well. Finally the results obtained through the mean-field theory are verified by a series of simulations.


title: Parameterizing roots of polynomial congruences

abstract: We use the arithmetic of ideals in orders to parameterize the roots $\mu \pmod m$ of the polynomial congruence $F(\mu) \equiv 0 \pmod m$, $F(X) \in \mathbb{Z}[X]$ monic, irreducible and degree $d$. Our parameterization generalizes Gauss's classic parameterization of the roots of quadratic congruences using binary quadratic forms, which had previously only been extended to the cubic polynomial $F(X) = X^3 - 2$. We show that only a special class of ideals are needed to parameterize the roots $\mu \pmod m$, and that in the cubic setting, $d = 3$, general ideals correspond to pairs of roots $\mu_1 \pmod{m_1}$, $\mu_2 \pmod {m_2}$ satisfying $\gcd(m_1, m_2, \mu_1 - \mu_2) = 1$. At the end we illustrate our parameterization and this correspondence between roots and ideals with a few applications, including finding approximations to $\frac{\mu}{m} \in \mathbb{R}/ \mathbb{Z}$, finding an explicit Euler product for the co-type zeta function of $\mathbb{Z}[2^{\frac{1}{3}}]$, and computing the composition of cubic ideals in terms of the roots $\mu_1 \pmod {m_1}$ and $\mu_2 \pmod {m_2}$.


title: An Investigation in Optimal Encoding of Protein Primary Sequence for Structure Prediction by Artificial Neural Networks

abstract: Machine learning and the use of neural networks has increased precipitously over the past few years primarily due to the ever-increasing accessibility to data and the growth of computation power. It has become increasingly easy to harness the power of machine learning for predictive tasks. Protein structure prediction is one area where neural networks are becoming increasingly popular and successful. Although very powerful, the use of ANN require selection of most appropriate input/output encoding, architecture, and class to produce the optimal results. In this investigation we have explored and evaluated the effect of several conventional and newly proposed input encodings and selected an optimal architecture. We considered 11 variations of input encoding, 11 alternative window sizes, and 7 different architectures. In total, we evaluated 2,541 permutations in application to the training and testing of more than 10,000 protein structures over the course of 3 months. Our investigations concluded that one-hot encoding, the use of LSTMs, and window sizes of 9, 11, and 15 produce the optimal outcome. Through this optimization, we were able to improve the quality of protein structure prediction by predicting the {\phi} dihedrals to within 14{\deg} - 16{\deg} and {\psi} dihedrals to within 23{\deg}- 25{\deg}. This is a notable improvement compared to previously similar investigations.


title: Chaos of Learning Beyond Zero-sum and Coordination via Game Decompositions

abstract: Machine learning processes, e.g. ''learning in games'', can be viewed as non-linear dynamical systems. In general, such systems exhibit a wide spectrum of behaviors, ranging from stability/recurrence to the undesirable phenomena of chaos (or ''butterfly effect''). Chaos captures sensitivity of round-off errors and can severely affect predictability and reproducibility of ML systems, but AI/ML community's understanding of it remains rudimentary. It has a lot out there that await exploration. Recently, Cheung and Piliouras employed volume-expansion argument to show that Lyapunov chaos occurs in the cumulative payoff space, when some popular learning algorithms, including Multiplicative Weights Update (MWU), Follow-the-Regularized-Leader (FTRL) and Optimistic MWU (OMWU), are used in several subspaces of games, e.g. zero-sum, coordination or graphical constant-sum games. It is natural to ask: can these results generalize to much broader families of games? We take on a game decomposition approach and answer the question affirmatively. Among other results, we propose a notion of ''matrix domination'' and design a linear program, and use them to characterize bimatrix games where MWU is Lyapunov chaotic almost everywhere. Such family of games has positive Lebesgue measure in the bimatrix game space, indicating that chaos is a substantial issue of learning in games. For multi-player games, we present a local equivalence of volume change between general games and graphical games, which is used to perform volume and chaos analyses of MWU and OMWU in potential games.


title: High Quality factor micro-ring resonator for strong atom-light interactions using miniature atomic beams

abstract: An integrated photonic platform is proposed for strong interactions between atomic beams and annealing-free high-quality-factor (Q) microresonators. We fabricated a thin-film, air-clad SiN microresonator with a loaded Q of $1.55\times10^6$ around the optical transition of $^{87}$Rb at $~780$ nm. This Q is achieved without annealing the devices at high temperatures, enabling future fully integrated platforms containing optoelectronic circuitry as well. The estimated single-photon Rabi frequency (2g) is ${2\boldsymbol{\pi}}\times$64 MHz at a height of 100 nm above the resonator. Our simulation result indicates that miniature atomic beams with a longitudinal speed of 0.2 m/s to 30 m/s will strongly interact with our resonator, allowing for the detection of single-atom transits and the realization of scalable single-atom photonic devices. Racetrack resonators with a similar Q can be used to detect thermal atomic beams with velocities around 300 m/s.


title: Efficient Deep Learning of Non-local Features for Hyperspectral Image Classification

abstract: Deep learning based methods, such as Convolution Neural Network (CNN), have demonstrated their efficiency in hyperspectral image (HSI) classification. These methods can automatically learn spectral-spatial discriminative features within local patches. However, for each pixel in an HSI, it is not only related to its nearby pixels but also has connections to pixels far away from itself. Therefore, to incorporate the long-range contextual information, a deep fully convolutional network (FCN) with an efficient non-local module, named ENL-FCN, is proposed for HSI classification. In the proposed framework, a deep FCN considers an entire HSI as input and extracts spectral-spatial information in a local receptive field. The efficient non-local module is embedded in the network as a learning unit to capture the long-range contextual information. Different from the traditional non-local neural networks, the long-range contextual information is extracted in a specially designed criss-cross path for computation efficiency. Furthermore, by using a recurrent operation, each pixel's response is aggregated from all pixels of HSI. The benefits of our proposed ENL-FCN are threefold: 1) the long-range contextual information is incorporated effectively, 2) the efficient module can be freely embedded in a deep neural network in a plug-and-play fashion, and 3) it has much fewer learning parameters and requires less computational resources. The experiments conducted on three popular HSI datasets demonstrate that the proposed method achieves state-of-the-art classification performance with lower computational cost in comparison with several leading deep neural networks for HSI.


title: Geodesic completeness of some Lorentzian simple Lie groups

abstract: In this paper we investigate geodesic completeness of left-invariant Lorentzian metrics on a simple Lie group $G$ when there exists a left-invariant Killing vector field $Z$ on $G$. Among other results, it is proved that if $Z$ is timelike, or $G$ is strongly causal and $Z$ is lightlike, then the metric is complete. We then consider the special complex Lie group $SL_2(\mathbb{C})$ in more details and show that the existence of a lightlike vector field $Z$ on it, implies geodesic completeness. We also consider the existence of a spacelike vector field $Z$ on $SL_2(\mathbb{C})$ and provide an equivalent condition for the metric to be complete. This illustrates the complexity of the situation when $Z$ is spacelike.


title: Video Question Answering on Screencast Tutorials

abstract: This paper presents a new video question answering task on screencast tutorials. We introduce a dataset including question, answer and context triples from the tutorial videos for a software. Unlike other video question answering works, all the answers in our dataset are grounded to the domain knowledge base. An one-shot recognition algorithm is designed to extract the visual cues, which helps enhance the performance of video question answering. We also propose several baseline neural network architectures based on various aspects of video contexts from the dataset. The experimental results demonstrate that our proposed models significantly improve the question answering performances by incorporating multi-modal contexts and domain knowledge.


title: Cross-Domain Adaptation of Spoken Language Identification for Related Languages: The Curious Case of Slavic Languages

abstract: State-of-the-art spoken language identification (LID) systems, which are based on end-to-end deep neural networks, have shown remarkable success not only in discriminating between distant languages but also between closely-related languages or even different spoken varieties of the same language. However, it is still unclear to what extent neural LID models generalize to speech samples with different acoustic conditions due to domain shift. In this paper, we present a set of experiments to investigate the impact of domain mismatch on the performance of neural LID systems for a subset of six Slavic languages across two domains (read speech and radio broadcast) and examine two low-level signal descriptors (spectral and cepstral features) for this task. Our experiments show that (1) out-of-domain speech samples severely hinder the performance of neural LID models, and (2) while both spectral and cepstral features show comparable performance within-domain, spectral features show more robustness under domain mismatch. Moreover, we apply unsupervised domain adaptation to minimize the discrepancy between the two domains in our study. We achieve relative accuracy improvements that range from 9% to 77% depending on the diversity of acoustic conditions in the source domain.


title: A Foliated View of Transfer Learning

abstract: Transfer learning considers a learning process where a new task is solved by transferring relevant knowledge from known solutions to related tasks. While this has been studied experimentally, there lacks a foundational description of the transfer learning problem that exposes what related tasks are, and how they can be exploited. In this work, we present a definition for relatedness between tasks and identify foliations as a mathematical framework to represent such relationships.


title: Robust Experimental Designs for Model Calibration

abstract: A computer model can be used for predicting an output only after specifying the values of some unknown physical constants known as calibration parameters. The unknown calibration parameters can be estimated from real data by conducting physical experiments. This paper presents an approach to optimally design such a physical experiment. The problem of optimally designing physical experiment, using a computer model, is similar to the problem of finding optimal design for fitting nonlinear models. However, the problem is more challenging than the existing work on nonlinear optimal design because of the possibility of model discrepancy, that is, the computer model may not be an accurate representation of the true underlying model. Therefore, we propose an optimal design approach that is robust to potential model discrepancies. We show that our designs are better than the commonly used physical experimental designs that do not make use of the information contained in the computer model and other nonlinear optimal designs that ignore potential model discrepancies. We illustrate our approach using a toy example and a real example from industry.


title: $\beta$ Decay of $^{132}$In and Spectroscopy of $^{132}$Sn and $^{131}$Sb with the GRIFFIN Spectrometer

abstract: Spectroscopy of doubly magic $^{132}_{50}$Sn$_{82}$ has been performed with the GRIFFIN spectrometer at TRIUMF-ISAC following the $\beta$ decay of $^{132}_{49}$In$_{83}$. The analysis has allowed for the placement of a total of 70 transitions and 29 excited states in $^{132}$Sn. Detailed spectroscopy has also been performed on $^{131}$Sb, resulting from the $\beta$ decay of $^{131}$Sn, produced from the $\beta$-delayed neutron decay of $^{132}$In. Measurement of $\gamma$-rays in both $^{131}$Sn and $^{131}$Sb has led to the determination of the $\beta$-delayed neutron emission probability, $P_{n}$, from $^{132}$In. This is the first time the $P_{n}$ has been measured for this nucleus using $\gamma$ spectroscopy, and the new value of 12.3(4)% is consistent with the most recent $\beta-n$ counting experiment. Additionally, $\gamma$-$\gamma$ angular correlations have been performed in $^{132}$Sn, supporting the spin assignments of several excited states. Novel ab initio calculations are presented which describe several of the excited states, and these are compared to the experimental spectrum.


title: Edge Computing for Real-Time Near-Crash Detection for Smart Transportation Applications

abstract: Traffic near-crash events serve as critical data sources for various smart transportation applications, such as being surrogate safety measures for traffic safety research and corner case data for automated vehicle testing. However, there are several key challenges for near-crash detection. First, extracting near-crashes from original data sources requires significant computing, communication, and storage resources. Also, existing methods lack efficiency and transferability, which bottlenecks prospective large-scale applications. To this end, this paper leverages the power of edge computing to address these challenges by processing the video streams from existing dashcams onboard in a real-time manner. We design a multi-thread system architecture that operates on edge devices and model the bounding boxes generated by object detection and tracking in linear complexity. The method is insensitive to camera parameters and backward compatible with different vehicles. The edge computing system has been evaluated with recorded videos and real-world tests on two cars and four buses for over ten thousand hours. It filters out irrelevant videos in real-time thereby saving labor cost, processing time, network bandwidth, and data storage. It collects not only event videos but also other valuable data such as road user type, event location, time to collision, vehicle trajectory, vehicle speed, brake switch, and throttle. The experiments demonstrate the promising performance of the system regarding efficiency, accuracy, reliability, and transferability. It is among the first efforts in applying edge computing for real-time traffic video analytics and is expected to benefit multiple sub-fields in smart transportation research and applications.


title: Improving accuracy in the Leray model for incompressible non-isothermal flows via adaptive deconvolution-based nonlinear filtering

abstract: This paper considers a Leray regularization model of incompressible, non-isothermal fluid flows which uses nonlinear filtering based on indicator functions, and introduces an efficient numerical method for solving it. The proposed method uses a multi-step, second-order temporal discretization with a finite element (FE) spatial discretization in such a way that the resulting algorithm is linear at each time level, and decouples the evolution equations from the velocity filter step. Since the indicator function chosen in this model is mathematically based on approximation theory, the proposed numerical algorithm can be analyzed robustly, i.e the stability and convergence of the method is provable. A series of numerical tests are carried out to verify the theoretical convergence rates, and to compare the algorithm with direct numerical simulation and the usual Leray-$\alpha$ model of the flow problem.


title: Integration of Dirac's Efforts to construct Lorentz-covariant Quantum Mechanics

abstract: The lifelong efforts of Paul A. M. Dirac were to construct localized quantum systems in the Lorentz covariant world. In 1927, he noted that the time-energy uncertainty should be included in the Lorentz-covariant picture. In 1945, he attempted to construct a representation of the Lorentz group using a normalizable Gaussian function localized both in the space and time variables. In 1949, he introduced his instant form to exclude time-like oscillations. He also introduced the light-cone coordinate system for Lorentz boosts. Also in 1949, he stated the Lie algebra of the inhomogeneous Lorentz group can serve as the uncertainty relations in the Lorentz-covariant world. It is possible to integrate these three papers to produce the harmonic oscillator wave function which can be Lorentz-transformed. In addition, Dirac, in 1963, considered two coupled oscillators to derive the Lie algebra for the generators of the $O(3,\,2)$ de Sitter group, which has ten generators. It is proven possible to contract this group to the inhomogeneous Lorentz group with ten generators, which constitute the fundamental symmetry of quantum mechanics in Einstein's Lorentz-covariant world.


title: Geminal replacement models based on AGP

abstract: The antisymmetrized geminal power (AGP) wavefunction has a long history and is known by different names in various chemical and physical problems. There has been recent interest in using AGP as a starting point for strongly correlated electrons. Here, we show that in a seniority-conserving regime, different AGP based correlator representations based on generators of the algebra, killing operators, and geminal replacement operators are all equivalent. We implement one representation that uses number operators as correlators and has linearly independent curvilinear metrics to distinguish the regions of Hilbert space. This correlation method called J-CI, provides excellent accuracy in energies when applied to the pairing Hamiltonian.


title: A Unifying Framework for Parallel and Distributed Processing in R using Futures

abstract: A future is a programming construct designed for concurrent and asynchronous evaluation of code, making it particularly useful for parallel processing. The future package implements the Future API for programming with futures in R. This minimal API provides sufficient constructs for implementing parallel versions of well-established, high-level map-reduce APIs. The future ecosystem supports exception handling, output and condition relaying, parallel random number generation, and automatic identification of globals lowering the threshold to parallelize code. The Future API bridges parallel frontends with parallel backends following the philosophy that end-users are the ones who choose the parallel backend while the developer focuses on what to parallelize. A variety of backends exist and third-party contributions meeting the specifications, which ensure that the same code works on all backends, are automatically supported. The future framework solves several problems not addressed by other parallel frameworks in R.


title: On sofic approximations of $\mathbb F_2\times\mathbb F_2$

abstract: We construct a sofic approximation of $\mathbb F_2\times\mathbb F_2$ that is not essentially a "branched cover" of a sofic approximation by homomorphisms. This answers a question of L. Bowen.


title: Quantifying and managing uncertainty in piecewise-deterministic Markov processes

abstract: In piecewise-deterministic Markov processes (PDMPs) the state of a finite-dimensional system evolves continuously, but the evolutive equation may change randomly as a result of discrete switches. A running cost is integrated along the corresponding piecewise-deterministic trajectory up to the termination to produce the cumulative cost of the process. We address three natural questions related to uncertainty in cumulative cost of PDMP models: (1) how to compute the Cumulative Distribution Function (CDF) of the cumulative cost when the switching rates are fully known; (2) how to accurately bound the CDF when the switching rates are uncertain; and (3) assuming the PDMP is controlled, how to select a control to optimize that CDF. In all three cases, our approach requires posing a system of suitable hyperbolic partial differential equations, which are then solved numerically on an augmented state space. We illustrate our method using simple examples of trajectory planning under uncertainty for several 1D and 2D first-exit time problems. In the Appendix, we also apply this method to a model of fish harvesting in an environment with random switches in carrying capacity.


title: On the images of certain $G_2$-valued automorphic Galois representations

abstract: In this paper we study the images of certain families $\{\rho_{\pi,\ell} \}_\ell$ of $G_2$-valued Galois representations of $\mbox{Gal}(\overline{F}/F)$ associated to $L$-algebraic regular, self-dual, cuspidal automorphic representations $\pi$ of $\mbox{GL}_7(\mathbb{A}_F)$, where $F$ is a totally real field. In particular, we prove that, under certain automorphic conditions, the images of the residual representations $\overline{\rho}_{\pi,\ell}$ are as large as possible for infinitely many primes $\ell$. Moreover, we apply our result to some examples constructed by Chenevier, Renard and Ta\"ibi.


title: Variable exponent Sobolev trace spaces and Dirichlet problem in axiomatic nonlinear potential theory

abstract: We give a news characterization of variable exponent Sobolev trace spaces. We construct The Perron-Weiner-Brelot operator in nonlinear harmonic space and we give sufficient condition for which this operator is injective.


title: Semi-supervised deep learning based on label propagation in a 2D embedded space

abstract: While convolutional neural networks need large labeled sets for training images, expert human supervision of such datasets can be very laborious. Proposed solutions propagate labels from a small set of supervised images to a large set of unsupervised ones to obtain sufficient truly-and-artificially labeled samples to train a deep neural network model. Yet, such solutions need many supervised images for validation. We present a loop in which a deep neural network (VGG-16) is trained from a set with more correctly labeled samples along iterations, created by using t-SNE to project the features of its last max-pooling layer into a 2D embedded space in which labels are propagated using the Optimum-Path Forest semi-supervised classifier. As the labeled set improves along iterations, it improves the features of the neural network. We show that this can significantly improve classification results on test data (using only 1\% to 5\% of supervised samples) of three private challenging datasets and two public ones.


title: Vector quantisation and partitioning of COVID-19 temporal dynamics in the United States

abstract: The statistical dynamics of a pathogen within a population depend on a range of factors: population density, the effectiveness and investment into social distancing, public policy measures and non-pharmaceutical interventions (NPIs) are only some examples of factors that influence the number of cases over time by state. This paper outlines an analysis of time series vector quantisation and paritioning of COVID-19 cases in the United States, using a soft-DTW (Dynamic Time Warping) k-means clustering and a k-shape based clustering algorithm to identify internally consistent clusters of case counts over time. The identification of characteristic types of time-dependent variations can lead to the identification of patterns within sets of time series. This, in turn, can help discern the future of infectious dynamics in an area and, through identifying the most likely cluster-wise trajectory by calculating the cluster barycenter, inform public health decision-making.


title: Weakly associative and symmetric Leibniz algebras

abstract: We study a special class of weakly associative algebras: the symmetric Leibniz algebras. We describe the structure of the commutative and skew symmetric algebras associated with the polarization-depolarization principle. We also give a structure theorem for the symmetric Leibniz algebras and we study formal deformations in the context of deformation quantization.


title: Tree pivot-minors and linear rank-width

abstract: Tree-width and its linear variant path-width play a central role for the graph minor relation. In particular, Robertson and Seymour (1983) proved that for every tree~$T$, the class of graphs that do not contain $T$ as a minor has bounded path-width. For the pivot-minor relation, rank-width and linear rank-width take over the role from tree-width and path-width. As such, it is natural to examine if for every tree~$T$, the class of graphs that do not contain $T$ as a pivot-minor has bounded linear rank-width. We first prove that this statement is false whenever $T$ is a tree that is not a caterpillar. We conjecture that the statement is true if $T$ is a caterpillar. We are also able to give partial confirmation of this conjecture by proving: (1) for every tree $T$, the class of $T$-pivot-minor-free distance-hereditary graphs has bounded linear rank-width if and only if $T$ is a caterpillar; (2) for every caterpillar $T$ on at most four vertices, the class of $T$-pivot-minor-free graphs has bounded linear rank-width. To prove our second result, we only need to consider $T=P_4$ and $T=K_{1,3}$, but we follow a general strategy: first we show that the class of $T$-pivot-minor-free graphs is contained in some class of $(H_1,H_2)$-free graphs, which we then show to have bounded linear rank-width. In particular, we prove that the class of $(K_3,S_{1,2,2})$-free graphs has bounded linear rank-width, which strengthens a known result that this graph class has bounded rank-width.


title: Iteration-complexity of an inner accelerated inexact proximal augmented Lagrangian method based on the classical Lagrangian function

abstract: This paper establishes the iteration-complexity of an inner accelerated inexact proximal augmented Lagrangian (IAIPAL) method for solving linearly-constrained smooth nonconvex composite optimization problems that is based on the classical augmented Lagrangian (AL) function. More specifically, each IAIPAL iteration consists of inexactly solving a proximal AL subproblem by an accelerated composite gradient (ACG) method followed by a classical Lagrange multiplier update. Under the assumption that the domain of the composite function is bounded and the problem has a Slater point, it is shown that IAIPAL generates an approximate stationary solution in ${\cal O}(\varepsilon^{-5/2}\log^2 \varepsilon^{-1})$ ACG iterations where $\varepsilon>0$ is a tolerance for both stationarity and feasibility. Moreover, the above bound is derived without assuming that the initial point is feasible. Finally, numerical results are presented to demonstrate the strong practical performance of IAIPAL.


title: SemEval-2020 Task 5: Counterfactual Recognition

abstract: We present a counterfactual recognition (CR) task, the shared Task 5 of SemEval-2020. Counterfactuals describe potential outcomes (consequents) produced by actions or circumstances that did not happen or cannot happen and are counter to the facts (antecedent). Counterfactual thinking is an important characteristic of the human cognitive system; it connects antecedents and consequents with causal relations. Our task provides a benchmark for counterfactual recognition in natural language with two subtasks. Subtask-1 aims to determine whether a given sentence is a counterfactual statement or not. Subtask-2 requires the participating systems to extract the antecedent and consequent in a given counterfactual statement. During the SemEval-2020 official evaluation period, we received 27 submissions to Subtask-1 and 11 to Subtask-2. The data, baseline code, and leaderboard can be found at https://competitions.codalab.org/competitions/21691. The data and baseline code are also available at https://zenodo.org/record/3932442.


title: $\texttt{SpaceMath v.2.0}$ with Machine Learning. A $\texttt{Mathematica}$ package for Beyond the Standard Model parameter space searches

abstract: \texttt{SpaceMath v.2.0} with Machine Learning is an extension of the previous version which we implement observables related with LHC Higgs boson data and their projections for the High Luminosity and High Energy Large Hadron Collider. In this version we implemented processes with Flavor-Changing Neutral Currents at tree and one-loop level, namely, i) Radiative decays $\ell_i\to\ell_j \gamma$, ii) $\ell_i\to \ell_j \ell_k \bar{\ell}_k$ decays ($\ell_i=\tau,\,\mu$, $\ell_{j,\,k}=\mu,\,e$, with $\ell_i \neq\ell_j \neq\ell_k$) and iii) anomalous magnetic dipole moment of the muon $\delta a_\mu$. \texttt{SpaceMath v.2.0} is able to find allowed regions for free parameters of models with both real and complex singlets and real and complex doublets using the processes previously mentioned within a friendly interface and an intuitive environment in which the user enters the couplings symbolically, sets parameters and execute \texttt{Mathematica} in the traditional way. As result, both tables as plots with values and areas agree with experimental data are generated. We present examples using \texttt{SpaceMath v.2.0} to analyze the free \textit{Two-Higgs Doublet Model of type III} parameter space, step by step, in order to start new users in a fast and efficient way. Finally, we have implemented in this version of \texttt{SpaceMath} algorithms of Machine Learning to generate specific Benchmark Points to be used directly in numerical evaluations of calculations of physical observables.


title: Geometrically Enriched Latent Spaces

abstract: A common assumption in generative models is that the generator immerses the latent space into a Euclidean ambient space. Instead, we consider the ambient space to be a Riemannian manifold, which allows for encoding domain knowledge through the associated Riemannian metric. Shortest paths can then be defined accordingly in the latent space to both follow the learned manifold and respect the ambient geometry. Through careful design of the ambient metric we can ensure that shortest paths are well-behaved even for deterministic generators that otherwise would exhibit a misleading bias. Experimentally we show that our approach improves interpretability of learned representations both using stochastic and deterministic generators.


title: Adaptive Compressive Sampling for Mid-infrared Spectroscopic Imaging

abstract: Minfrared spectroscopic imaging (MIRSI) is an emerging class of label-free, biochemically quantitative technologies targeting digital histopathology. Conventional histopathology relies on chemical stains that alter tissue color. This approach is qualitative, often making histopathologic examination subjective and difficult to quantify. MIRSI addresses these challenges through quantitative and repeatable imaging that leverages native molecular contrast. Fourier transform infrared (FTIR) imaging, the best-known MIRSI technology, has two challenges that have hindered its widespread adoption: data collection speed and spatial resolution. Recent technological breakthroughs, such as photothermal MIRSI, provide an order of magnitude improvement in spatial resolution. However, this comes at the cost of acquisition speed, which is impractical for clinical tissue samples. This paper introduces an adaptive compressive sampling technique to reduce hyperspectral data acquisition time by an order of magnitude by leveraging spectral and spatial sparsity. This method identifies the most informative spatial and spectral features, integrates a fast tensor completion algorithm to reconstruct megapixel-scale images, and demonstrates speed advantages over FTIR imaging while providing spatial resolutions comparable to new photothermal approaches.


title: Diffeomorphism cocycles over partially hyperbolic systems

abstract: We consider H\"older continuous cocycles over an accessible partially hyperbolic system with values in the group of diffeomorphisms of a compact manifold $M$. We obtain several results for this setting. If a cocycle is bounded in $C^{1+\gamma}$, we show that it has a continuous invariant family of $\gamma$-H\"older Riemannian metrics on $M$. We establish continuity of a measurable conjugacy between two cocycles assuming bunching or existence of holonomies for both and pre-compactness in $C^0$ for one of them. We give conditions for existence of a continuous conjugacy between two cocycles in terms of their cycle weights. We also study the relation between the conjugacy and holonomies of the cocycles. Our results give arbitrarily small loss of regularity of the conjugacy along the fiber compared to that of the holonomies and of the cocycle.


title: Spatiotemporal Analysis of Ridesourcing and Taxi Demand by Taxi zones in New York City

abstract: The burst of demand for TNCs has significantly changed the transportation landscape and dramatically disrupted the Vehicle for Hire (VFH) market that used to be dominated by taxicabs for many years. Since first being introduced by Uber in 2009, ridesourcing companies have rapidly penetrated the market. This paper aims to investigate temporal and spatial patterns in taxi and TNC usage based on data at the taxi zone level in New York City. Specifically, we fit suitable time series models to estimate the temporal patterns. Next, we filter out the temporal effects and investigate spatial dependence in the residuals using global and local Moran's I statistics. We discuss the relationship between the spatial correlations and the demographic and land use effects at the taxi zone level. Estimating and removing these effects via a multiple linear regression (MLR) model and recomputing the Moran's I statistics on the resulting residuals enables us to investigate spatial dependence after accounting for these effects. Our analysis indicates interesting patterns in spatial correlations between taxi zones in NYC and over time, indicating that predictive modeling of ridesourcing usage must incorporate both temporal and spatial dependence.


title: On Frink's type metrization of weighted graphs

abstract: Using the technique of the metrization theorem of uniformities with countable bases, in this note we provide, test and compare an explicit algorithm to produce a metric $d(x,y)$ between the vertices $x$ and $y$ of an affinity weighted undirected graph.


title: The \'etale Brauer-Manin obstruction to strong approximation on homogeneous spaces

abstract: It is known that, under a necessary non-compactness assumption, the Brauer-Manin obstruction is the only one to strong approximation on homogeneous spaces $X$ under a linear group $G$ (or under a connected algebraic group, under assumption of finiteness of a suitable Tate-Shafarevich group), provided that the geometric stabilizers of $X$ are connected. In this work we prove, under similar assumptions, that the \'etale-Brauer-Manin obstruction to strong approximation is the only one for homogeneous spaces with arbitrary stabilisers. We also deal with some related questions, concerning strong approximation outside a finite set of valuations. Finally, we prove a compatibility result, suggested to be true by work of Cyril Demarche, between the Brauer-Manin obstruction pairing on quotients $G/H$, where $G$ and $H$ are connected algebraic groups and $H$ is linear, and certain abelianization morphisms associated with these spaces.


title: Exponential convergence for multipole and local expansions and their translations for sources in layered media: three-dimensional Laplace equation

abstract: In this paper, we prove the exponential convergence of the multipole and local expansions, shifting and translation operators used in fast multipole methods (FMMs) for 3-dimensional Laplace equations in layered media. These theoretical results ensure the exponential convergence of the FMM which has been shown by the numerical results recently reported in [9]. As the free space components are calculated by the classic FMM, this paper will focus on the analysis for the reaction components of the Green's function for the Laplace equation in layered media. We first prove that the density functions in the integral representations of the reaction components are analytic and bounded in the right half complex plane. Then, using the Cagniard-de Hoop transform and contour deformations, estimate for the remainder terms of the truncated expansions is given, and, as a result, the exponential convergence for the expansions and translation operators is proven.