title: The Lax pair for the fermionic Bazhanov-Stroganov $R$-operator

abstract: We derive the Lax connection of the free fermion model on a lattice starting from the fermionic formulation of Bazhanov-Stroganov's three-parameter elliptic parametrization for the R-operator. It results in the Yang-Baxter and decorated Yang-Baxter equations of difference type in one of the spectral parameters, which is the most suitable form to obtain any relativistic model of free fermions in the continuous limit.


title: Density of $f$-ideals and $f$-ideals in mixed small degrees

abstract: A squarefree monomial ideal is called an $f$-ideal if its Stanley-Reisner and facet simplicial complexes have the same $f$-vector. We show that $f$-ideals generated in a fixed degree have asymptotic density zero when the number of variables goes to infinity. We also provide novel algorithms to construct $f$-ideals generated in small degrees.


title: SN 2019muj -- a well-observed Type Iax supernova that bridges the luminosity gap of the class

abstract: We present early-time ($t < +50$ days) observations of SN 2019muj (= ASASSN-19tr), one of the best-observed members of the peculiar SN Iax class. Ultraviolet and optical photometric and optical and near-infrared spectroscopic follow-up started from $\sim$5 days before maximum light ($t_{max}(B)$ on $58707.8$ MJD) and covers the photospheric phase. The early observations allow us to estimate the physical properties of the ejecta and characterize the possible divergence from a uniform chemical abundance structure. The estimated bolometric light curve peaks at 1.05 $\times$ 10$^{42}$ erg s$^{-1}$ and indicates that only 0.031 $M_\odot$ of $^{56}$Ni was produced, making SN 2019muj a moderate luminosity object in the Iax class with peak absolute magnitude of $M_{V}$ = -16.4 mag. The estimated date of explosion is $t_0 = 58698.2$ MJD and implies a short rise time of $t_{rise}$ = 9.6 days in $B$-band. We fit of the spectroscopic data by synthetic spectra, calculated via the radiative transfer code TARDIS. Adopting the partially stratified abundance template based on brighter SNe Iax provides a good match with SN 2019muj. However, without earlier spectra, the need for stratification cannot be stated in most of the elements, except carbon, which is allowed to appear in the outer layers only. SN 2019muj provides a unique opportunity to link extremely low-luminosity SNe Iax to well-studied, brighter SNe Iax.


title: Cosmological Trans-Planckian Conjectures are not Effective

abstract: It is remarkable that the primordial fluctuations as revealed by the CMB coincide with what quantum fluctuations would look like if they were stretched across the sky by accelerated cosmic expansion. It has been observed that this same stretching also brings very small -- even trans-Planckian -- length scales up to observable sizes if extrapolated far enough into the past. This potentially jeopardizes later descriptions of late-time cosmology by introducing uncontrolled trans-Planckian theoretical errors into all calculations. Recent speculations, such as the Trans-Planckian Censorship Conjecture (TCC), have been developed to avoid this problem. We revisit old arguments why the consistency of (and control over) the Effective Field Theory (EFT) governing late-time cosmology is not necessarily threatened by the descent of modes due to universal expansion, even if EFT methods may break down at much earlier times. Failure of EFT methods only poses a problem if late-time predictions rely on non-adiabatic behaviour at these early times (such as is often true for bouncing cosmologies, for example). We illustrate our arguments using simple non-gravitational examples such as slowly rolling scalar fields and the spacing between Landau levels for charged particles in slowly varying magnetic fields, for which similar issues arise and are easier to understand. We comment on issues associated with UV completions. Our arguments need not invalidate speculative ideas like the TCC but suggest they are not required by the present evidence.


title: Multicloud API binding generation from documentation

abstract: We present industry experience from implementing retargetable cloud API binding generator. The analysis is implemented in Haskell, using type classes, types a la carte, and code generation monad. It also targets Haskell, and allows us to bind cloud APIs on short notice, and unprecedented scale.


title: Intelligent Reflecting Surface Aided Vehicular Communications

abstract: We investigate the use of an intelligent reflecting surface (IRS) in a millimeter-wave (mmWave) vehicular communication network. An intelligent reflecting surface consists of passive elements, which can reflect the incoming signals with adjustable phase shifts. By properly tuning the phase shifts we can improve link performance. This is known as phase optimization or passive beamforming. We consider the problem of rate maximization in the uplink, which utilizes an IRS. However, using an IRS brings more challenges in terms of channel estimation. We propose two schemes to reduce the channel estimation overhead associated with utilizing an IRS. One method uses the grouping of reflecting elements and the other one performs passive beamforming based on the position of the device. Numerical results show IRS can bring significant improvements to existing communication. Furthermore, to get a practical insight into vehicular communications aided by an IRS, we use a commercial ray-tracing tool to evaluate the performance.


title: Alignment Restricted Streaming Recurrent Neural Network Transducer

abstract: There is a growing interest in the speech community in developing Recurrent Neural Network Transducer (RNN-T) models for automatic speech recognition (ASR) applications. RNN-T is trained with a loss function that does not enforce temporal alignment of the training transcripts and audio. As a result, RNN-T models built with uni-directional long short term memory (LSTM) encoders tend to wait for longer spans of input audio, before streaming already decoded ASR tokens. In this work, we propose a modification to the RNN-T loss function and develop Alignment Restricted RNN-T (Ar-RNN-T) models, which utilize audio-text alignment information to guide the loss computation. We compare the proposed method with existing works, such as monotonic RNN-T, on LibriSpeech and in-house datasets. We show that the Ar-RNN-T loss provides a refined control to navigate the trade-offs between the token emission delays and the Word Error Rate (WER). The Ar-RNN-T models also improve downstream applications such as the ASR End-pointing by guaranteeing token emissions within any given range of latency. Moreover, the Ar-RNN-T loss allows for bigger batch sizes and 4 times higher throughput for our LSTM model architecture, enabling faster training and convergence on GPUs.


title: Bias correction for quantile regression estimators

abstract: We study the bias of classical quantile regression and instrumental variable quantile regression estimators. While being asymptotically first-order unbiased, these estimators can have non-negligible second-order biases. We derive a higher-order stochastic expansion of these estimators using empirical process theory. Based on this expansion, we derive an explicit formula for the second-order bias and propose a feasible bias correction procedure that uses finite-difference estimators of the bias components. The proposed bias correction method performs well in simulations. We provide an empirical illustration using Engel's classical data on household expenditure.


title: Statistical analysis of Wasserstein GANs with applications to time series forecasting

abstract: We provide statistical theory for conditional and unconditional Wasserstein generative adversarial networks (WGANs) in the framework of dependent observations. We prove upper bounds for the excess Bayes risk of the WGAN estimators with respect to a modified Wasserstein-type distance. Furthermore, we formalize and derive statements on the weak convergence of the estimators and use them to develop confidence intervals for new observations. The theory is applied to the special case of high-dimensional time series forecasting. We analyze the behavior of the estimators in simulations based on synthetic data and investigate a real data example with temperature data. The dependency of the data is quantified with absolutely regular beta-mixing coefficients.


title: Magnetic Field Simulations Using Explicit Time Integration With Higher Order Schemes

abstract: A transient magneto-quasistatic vector potential formulation involving nonlinear material is spatially discretized using the finite element method of first and second polynomial order. By applying a generalized Schur complement the resulting system of differential algebraic equations is reformulated into a system of ordinary differential equations (ODE). The ODE system is integrated in time using the explicit Euler scheme, which is conditionally stable by a maximum time step size. To overcome this limit, an explicit multistage Runge-Kutta-Chebyshev time integration method of higher order is employed to enlarge the maximum stable time step size. Both time integration methods are compared regarding the overall computational effort.


title: Towards a more perfect union type

abstract: We present a principled theoretical framework for inferring and checking the union types, and show its work in practice on JSON data structures. The framework poses a union type inference as a learning problem from multiple examples. The categorical framework is generic and easily extensible.


title: MorphEyes: Variable Baseline Stereo For Quadrotor Navigation

abstract: Morphable design and depth-based visual control are two upcoming trends leading to advancements in the field of quadrotor autonomy. Stereo-cameras have struck the perfect balance of weight and accuracy of depth estimation but suffer from the problem of depth range being limited and dictated by the baseline chosen at design time. In this paper, we present a framework for quadrotor navigation based on a stereo camera system whose baseline can be adapted on-the-fly. We present a method to calibrate the system at a small number of discrete baselines and interpolate the parameters for the entire baseline range. We present an extensive theoretical analysis of calibration and synchronization errors. We showcase three different applications of such a system for quadrotor navigation: (a) flying through a forest, (b) flying through an unknown shaped/location static/dynamic gap, and (c) accurate 3D pose detection of an independently moving object. We show that our variable baseline system is more accurate and robust in all three scenarios. To our knowledge, this is the first work that applies the concept of morphable design to achieve a variable baseline stereo vision system on a quadrotor.


title: Parameter Identification and Sensitivity Analysis for Zero-dimensional Physics-based Lithium-Sulfur Battery Models

abstract: This paper examines the problem of estimating the parameters of a Lithium-Sulfur (LiS) battery from experimental cycling data. LiS batteries are attractive compared to traditional Lithium-Ion batteries, thanks largely to their potential to provide higher energy densities. The literature presents a number of different LiS battery models, with different fidelities and complexities. This includes both higher-fidelity diffusion-reaction models as well as "zero-dimensional" models that neglect diffusion dynamics while capturing the physics of the underlying reduction-oxidation reactions. The paper focuses on zero-dimensional LiS battery models, and develops four such models from the literature, reflecting different choices of which redox reactions to model. There is a growing need for using experimental cycling datasets to both parameterize these models and compare their fidelities. To address this need, we fabricated LiS coin cells and performed charge/discharge cycling tests on these cells. In parallel, we analyzed the sensitivity of simulated LiS battery charge/discharge characteristics to underlying model parameters. Using this sensitivity analysis, we selected a subset of model parameters for identification, and estimated these parameters for all four LiS battery models from cycling data, thereby arriving at a consistent experimental comparison and assessment of these models' respective fidelities.


title: DAMA annual modulation is not due to electron recoils from Plasma/Mirror Dark Matter with Kinetic Mixing

abstract: If dark matter is composed of new fundamental particles, Earth's orbital motion around the Sun may induce an annual modulation in the rate at which these particles interact in a terrestrial detector. The DAMA collaboration has identified at a 12$\sigma$ confidence level such an annual modulation in their event rate. One previously proposed explanation is `plasma dark matter' (e.g. mirror dark matter) which would have electron recoils in the detector from interactions via kinetic mixing. We perform a chi-squared goodness of fit test of this plasma dark matter model to DAMA/LIBRA modulation amplitude which rejects the hypothesis of plasma dark matter as an explanation of this data at greater than 7$\sigma$.


title: EXAMS: A Multi-Subject High School Examinations Dataset for Cross-Lingual and Multilingual Question Answering

abstract: We propose EXAMS -- a new benchmark dataset for cross-lingual and multilingual question answering for high school examinations. We collected more than 24,000 high-quality high school exam questions in 16 languages, covering 8 language families and 24 school subjects from Natural Sciences and Social Sciences, among others. EXAMS offers a fine-grained evaluation framework across multiple languages and subjects, which allows precise analysis and comparison of various models. We perform various experiments with existing top-performing multilingual pre-trained models and we show that EXAMS offers multiple challenges that require multilingual knowledge and reasoning in multiple domains. We hope that EXAMS will enable researchers to explore challenging reasoning and knowledge transfer methods and pre-trained models for school question answering in various languages which was not possible before. The data, code, pre-trained models, and evaluation are available at https://github.com/mhardalov/exams-qa.


title: Machine Learning Climate Model Dynamics: Offline versus Online Performance

abstract: Climate models are complicated software systems that approximate atmospheric and oceanic fluid mechanics at a coarse spatial resolution. Typical climate forecasts only explicitly resolve processes larger than 100 km and approximate any process occurring below this scale (e.g. thunderstorms) using so-called parametrizations. Machine learning could improve upon the accuracy of some traditional physical parametrizations by learning from so-called global cloud-resolving models. We compare the performance of two machine learning models, random forests (RF) and neural networks (NNs), at parametrizing the aggregate effect of moist physics in a 3 km resolution global simulation with an atmospheric model. The NN outperforms the RF when evaluated offline on a testing dataset. However, when the ML models are coupled to an atmospheric model run at 200 km resolution, the NN-assisted simulation crashes with 7 days, while the RF-assisted simulations remain stable. Both runs produce more accurate weather forecasts than a baseline configuration, but globally averaged climate variables drift over longer timescales.


title: Learning Multiple-Scattering Solutions for Sphere-Tracing of Volumetric Subsurface Effects

abstract: Accurate subsurface scattering solutions require the integration of optical material properties along many complicated light paths. We present a method that learns a simple geometric approximation of random paths in a homogeneous volume of translucent material. The generated representation allows determining the absorption along the path as well as a direct lighting contribution, which is representative of all scattering events along the path. A sequence of conditional variational auto-encoders (CVAEs) is trained to model the statistical distribution of the photon paths inside a spherical region in presence of multiple scattering events. A first CVAE learns to sample the number of scattering events, occurring on a ray path inside the sphere, which effectively determines the probability of the ray being absorbed. Conditioned on this, a second model predicts the exit position and direction of the light particle. Finally, a third model generates a representative sample of photon position and direction along the path, which is used to approximate the contribution of direct illumination due to in-scattering. To accelerate the tracing of the light path through the volumetric medium toward the solid boundary, we employ a sphere-tracing strategy that considers the light absorption and is able to perform statistically accurate next-event estimation. We demonstrate efficient learning using shallow networks of only three layers and no more than 16 nodes. In combination with a GPU shader that evaluates the CVAEs' predictions, performance gains can be demonstrated for a variety of different scenarios. A quality evaluation analyzes the approximation error that is introduced by the data-driven scattering simulation and sheds light on the major sources of error in the accelerated path tracing process.


title: A Tunable Robust Pruning Framework Through Dynamic Network Rewiring of DNNs

abstract: This paper presents a dynamic network rewiring (DNR) method to generate pruned deep neural network (DNN) models that are robust against adversarial attacks yet maintain high accuracy on clean images. In particular, the disclosed DNR method is based on a unified constrained optimization formulation using a hybrid loss function that merges ultra-high model compression with robust adversarial training. This training strategy dynamically adjusts inter-layer connectivity based on per-layer normalized momentum computed from the hybrid loss function. In contrast to existing robust pruning frameworks that require multiple training iterations, the proposed learning strategy achieves an overall target pruning ratio with only a single training iteration and can be tuned to support both irregular and structured channel pruning. To evaluate the merits of DNR, experiments were performed with two widely accepted models, namely VGG16 and ResNet-18, on CIFAR-10, CIFAR-100 as well as with VGG16 on Tiny-ImageNet. Compared to the baseline uncompressed models, DNR provides over20x compression on all the datasets with no significant drop in either clean or adversarial classification accuracy. Moreover, our experiments show that DNR consistently finds compressed models with better clean and adversarial image classification performance than what is achievable through state-of-the-art alternatives.


title: Computational approaches to efficient generation of the stationary state for incoherent light excitation

abstract: Light harvesting processes are often computationally studied from a time-dependent viewpoint, in line with ultrafast coherent spectroscopy experiments. Yet, natural processes take place in the presence of incoherent light, which induces a stationary state. Such stationary states can be described using the eigenbasis of the molecular Hamiltonian, but for realistic systems a full diagonalization is prohibitively expensive. We propose three efficient computational approaches to obtaining the stationary state that circumvent system Hamiltonian diagonalization. The connection between the incoherent perturbations, decoherence, and Kraus operators is established.


title: RealAnt: An Open-Source Low-Cost Quadruped for Education and Research in Real-World Reinforcement Learning

abstract: Current robot platforms available for research are either very expensive or unable to handle the abuse of exploratory controls in reinforcement learning. We develop RealAnt, a minimal low-cost physical version of the popular `Ant' benchmark used in reinforcement learning. RealAnt costs only $\sim$350 EUR (\$410) in materials and can be assembled in less than an hour. We validate the platform with reinforcement learning experiments and provide baseline results on a set of benchmark tasks. We demonstrate that the RealAnt robot can learn to walk from scratch from less than 10 minutes of experience. We also provide simulator versions of the robot (with the same dimensions, state-action spaces, and delayed noisy observations) in the MuJoCo and PyBullet simulators. We open-source hardware designs, supporting software, and baseline results for educational use and reproducible research.


title: Avoided ferromagnetic quantum critical point in pressurized La$_5$Co$_2$Ge$_3$

abstract: We present the pressure-temperature phase diagram La$_5$Co$_2$Ge$_3$ up to $\sim$ 5\,GPa, which was constructed from magnetization, resistivity and specific heat measurements. At ambient pressure, La$_5$Co$_2$Ge$_3$ is an itinerant ferromagnet with a Curie temperature $T_\textrm C\sim$ 4\,K. Upon increasing pressure up to $\sim$ 1.7\,GPa, $T_\textrm C$ is suppressed down to $\sim$ 3\,K. Upon further increasing pressure, our results suggest that La$_5$Co$_2$Ge$_3$ enters a different low-temperature ground state. The corresponding transition temperature, $T^*$, has a nonmonotonic pressure dependence up to $\sim$ 5\,GPa. Our results demonstrate that the ferromagnetic quantum critical point in La$_5$Co$_2$Ge$_3$ is avoided by the appearance of a different, likely magnetically ordered state that has an antiferromagnetic component.


title: Fractional forcing number of graphs

abstract: The notion of forcing sets for perfect matchings was introduced by Harary, Klein, and \v{Z}ivkovi\'{c}. The application of this problem in chemistry, as well as its interesting theoretical aspects, made this subject very active. In this work, we introduce the notion of the forcing function of fractional perfect matchings which is continuous analogous to forcing sets defined over the perfect matching polytope of graphs. We show that our defined object is a continuous and concave function extension of the integral forcing set. Then, we use our results about this extension to conclude new bounds and results about the integral case of forcing sets for the family of edge and vertex-transitive graphs and in particular, hypercube graphs.


title: HoVer: A Dataset for Many-Hop Fact Extraction And Claim Verification

abstract: We introduce HoVer (HOppy VERification), a dataset for many-hop evidence extraction and fact verification. It challenges models to extract facts from several Wikipedia articles that are relevant to a claim and classify whether the claim is Supported or Not-Supported by the facts. In HoVer, the claims require evidence to be extracted from as many as four English Wikipedia articles and embody reasoning graphs of diverse shapes. Moreover, most of the 3/4-hop claims are written in multiple sentences, which adds to the complexity of understanding long-range dependency relations such as coreference. We show that the performance of an existing state-of-the-art semantic-matching model degrades significantly on our dataset as the number of reasoning hops increases, hence demonstrating the necessity of many-hop reasoning to achieve strong results. We hope that the introduction of this challenging dataset and the accompanying evaluation task will encourage research in many-hop fact retrieval and information verification. We make the HoVer dataset publicly available at https://hover-nlp.github.io


title: Mining Functionally Related Genes with Semi-Supervised Learning

abstract: The study of biological processes can greatly benefit from tools that automatically predict gene functions or directly cluster genes based on shared functionality. Existing data mining methods predict protein functionality by exploiting data obtained from high-throughput experiments or meta-scale information from public databases. Most existing prediction tools are targeted at predicting protein functions that are described in the gene ontology (GO). However, in many cases biologists wish to discover functionally related genes for which GO terms are inadequate. In this paper, we introduce a rich set of features and use them in conjunction with semisupervised learning approaches in order to expand an initial set of seed genes to a larger cluster of functionally related genes. Among all the semi-supervised methods that were evaluated, the framework of learning with positive and unlabeled examples (LPU) is shown to be especially appropriate for mining functionally related genes. When evaluated on experimentally validated benchmark data, the LPU approaches1 significantly outperform a standard supervised learning algorithm as well as an established state-of-the-art method. Given an initial set of seed genes, our best performing approach could be used to mine functionally related genes in a wide range of organisms.


title: Advanced Electrical Conductors: An Overview and Prospects of Metal Nanocomposite and Nanocarbon Based Conductors

abstract: Advanced electrical conductors that outperform copper and aluminum can revolutionize our lives, enabling billions of dollars in energy savings and facilitating a transition to an electric mobility future. Nanocarbons (carbon nanotubes and graphene) present a unique opportunity for developing advanced conductors for electrical power, communications, electronics, and electric machines for the aerospace, marine, and automotive industries. This paper compiles the major research progress in the field of advanced nanocarbon-based and metal-nanocarbon conductors. It also elucidates the competitiveness and implications of advanced conductors with respect to conventional ones and describes their materials science, properties, and characterization. Finally, several areas of future research for advanced electrical conductors are proposed.


title: Towards Keypoint Guided Self-Supervised Depth Estimation

abstract: This paper proposes to use keypoints as a self-supervision clue for learning depth map estimation from a collection of input images. As ground truth depth from real images is difficult to obtain, there are many unsupervised and self-supervised approaches to depth estimation that have been proposed. Most of these unsupervised approaches use depth map and ego-motion estimations to reproject the pixels from the current image into the adjacent image from the image collection. Depth and ego-motion estimations are evaluated based on pixel intensity differences between the correspondent original and reprojected pixels. Instead of reprojecting the individual pixels, we propose to first select image keypoints in both images and then reproject and compare the correspondent keypoints of the two images. The keypoints should describe the distinctive image features well. By learning a deep model with and without the keypoint extraction technique, we show that using the keypoints improve the depth estimation learning. We also propose some future directions for keypoint-guided learning of structure-from-motion problems.


title: Machine Generation and Detection of Arabic Manipulated and Fake News

abstract: Fake news and deceptive machine-generated text are serious problems threatening modern societies, including in the Arab world. This motivates work on detecting false and manipulated stories online. However, a bottleneck for this research is lack of sufficient data to train detection models. We present a novel method for automatically generating Arabic manipulated (and potentially fake) news stories. Our method is simple and only depends on availability of true stories, which are abundant online, and a part of speech tagger (POS). To facilitate future work, we dispense with both of these requirements altogether by providing AraNews, a novel and large POS-tagged news dataset that can be used off-the-shelf. Using stories generated based on AraNews, we carry out a human annotation study that casts light on the effects of machine manipulation on text veracity. The study also measures human ability to detect Arabic machine manipulated text generated by our method. Finally, we develop the first models for detecting manipulated Arabic news and achieve state-of-the-art results on Arabic fake news detection (macro F1=70.06). Our models and data are publicly available.


title: Effects of parallel electric and magnetic fields on Rydberg excitons in buckled two-dimensional materials

abstract: We study direct and indirect magnetoexcitons in Rydberg states in monolayers and double-layer heterostructures of Xenes (silicene, germanene, and stanene) in external parallel electric and magnetic fields, applied perpendicular to the monolayer and heterostructure. We calculate binding energies of magnetoexcitons for the Rydberg states 1$s$, 2$s$, 3$s$, and 4$s$, by numerical integration of the Schr\"{o}dinger equation using the Rytova-Keldysh potential for direct magnetoexciton and both the Rytova-Keldysh and Coulomb potentials for indirect excitons. Latter allows understanding a role of screening in Xenes. In the external perpendicular electric field, the buckled structure of the Xene monolayers leads to appearance of potential difference between sublattices allowing to tune electron and hole masses and, therefore, the binding energies and diamagnetic coefficients (DMCs) of magnetoexcitons. We report the energy contribution from electric and magnetic fields to the binding energies and DMCs. The tunability of the energy contribution of direct and indirect magnetoexcitons by electric and magnetic fields is demonstrated. It is also shown that DMCs of direct excitons can be tuned by the electric field, and the DMCs of indirect magnetoexcitons can be tuned by the electric field and manipulated by the number of h-BN layers. Therefore, these allowing the possibility of electronic devices design that can be controlled by external electric and magnetic fields and the number of h-BN layers. The calculations of the binding energies and DMCs of magnetoexcitons in Xenes monolayers and heterostructures are novel and can be compared with the experimental results when they will be available.


title: Calculation of electron transport in branched semiconductor nanostructures using quantum network model

abstract: Electron transport in branched semiconductor nanostructures provides many possibilities for creating fundamentally new devices. We solve the problem of its calculation using a quantum network model. The proposed scheme consists of three computational parts: S-matrix of the network junction, S-matrix of the network in terms of its junctions' S-matrices, electric currents through the network based on its S-matrix. To calculate the S-matrix of the network junction, we propose scattering boundary conditions in a clear integro-differential form. As an alternative, we also consider the Dirichlet-to-Neumann and Neumann-to-Dirichlet map methods. To calculate the S-matrix of the network in terms of its junctions' S-matrices, we obtain a network combining formula. We find electrical currents through the network in the framework of the Landauer$-$B\"uttiker formalism. Everywhere for calculations, we use extended scattering matrices, which allows taking into account correctly the contribution of tunnel effects between junctions. We demonstrate the proposed calculation scheme by modeling nanostructure based on two-dimensional electron gas. For this purpose we offer a model of a network formed by smooth junctions with one, two and three adjacent branches. We calculate the electrical properties of such a network (by the example of GaAs), formed by four junctions, depending on the temperature.


title: Iterated multiplication in $VTC^0$

abstract: We show that $VTC^0$, the basic theory of bounded arithmetic corresponding to the complexity class $\mathrm{TC}^0$, proves the $IMUL$ axiom expressing the totality of iterated multiplication satisfying its recursive definition, by formalizing a suitable version of the $\mathrm{TC}^0$ iterated multiplication algorithm by Hesse, Allender, and Barrington. As a consequence, $VTC^0$ can also prove the integer division axiom, and (by our previous results) the RSUV-translation of induction and minimization for sharply bounded formulas. Similar consequences hold for the related theories $\Delta^b_1$-$CR$ and $C^0_2$. As a side result, we also prove that there is a well-behaved $\Delta_0$ definition of modular powering in $I\Delta_0+WPHP(\Delta_0)$.


title: Explain by Evidence: An Explainable Memory-based Neural Network for Question Answering

abstract: Interpretability and explainability of deep neural networks are challenging due to their scale, complexity, and the agreeable notions on which the explaining process rests. Previous work, in particular, has focused on representing internal components of neural networks through human-friendly visuals and concepts. On the other hand, in real life, when making a decision, human tends to rely on similar situations and/or associations in the past. Hence arguably, a promising approach to make the model transparent is to design it in a way such that the model explicitly connects the current sample with the seen ones, and bases its decision on these samples. Grounded on that principle, we propose in this paper an explainable, evidence-based memory network architecture, which learns to summarize the dataset and extract supporting evidences to make its decision. Our model achieves state-of-the-art performance on two popular question answering datasets (i.e. TrecQA and WikiQA). Via further analysis, we show that this model can reliably trace the errors it has made in the validation step to the training instances that might have caused these errors. We believe that this error-tracing capability provides significant benefit in improving dataset quality in many applications.


title: Fuel and Time Optimal USV Trajectory Planning under Flexible Refueling Constraints

abstract: This paper addresses the problem of trajectory optimization for an unmanned surface vehicle while considering direction-dependent ocean currents and flexible refueling constraints. This work is motivated by the rising interest in developing autonomous navigation technology for commercial, scientific, and military applications for ocean-bound unmanned surface vehicles. Relevant literature on such vehicles has addressed energy-efficient trajectory optimization and time-efficient trajectory optimization. However, the application of trajectory optimization techniques which include refueling stops and multi-objective optimization remains relatively unexplored. We address this open challenge by formulating the trajectory design problem as a nonconvex mixed-integer optimization program with a multi-objective cost function. Then, we apply dynamic programming to solve this optimization program for fuel and time optimal trajectories. We synthesize these results into a series of Pareto fronts which demonstrates the tradeoff between fuel consumption and trip time for a prototypical route with direction-dependent ocean currents. Furthermore, the optimal trajectories for which we solve illustrate the changes in the vehicle's behavior as the fuel level becomes low, and as the vehicle encounters counterproductive ocean currents. Our results indicate several meaningful insights about the overall trajectory optimization process.


title: End-to-end Deep Learning Methods for Automated Damage Detection in Extreme Events at Various Scales

abstract: Robust Mask R-CNN (Mask Regional Convolu-tional Neural Network) methods are proposed and tested for automatic detection of cracks on structures or their components that may be damaged during extreme events, such as earth-quakes. We curated a new dataset with 2,021 labeled images for training and validation and aimed to find end-to-end deep neural networks for crack detection in the field. With data augmentation and parameters fine-tuning, Path Aggregation Network (PANet) with spatial attention mechanisms and High-resolution Network (HRNet) are introduced into Mask R-CNNs. The tests on three public datasets with low- or high-resolution images demonstrate that the proposed methods can achieve a big improvement over alternative networks, so the proposed method may be sufficient for crack detection for a variety of scales in real applications.


title: Dynamical evolution of a cluster of primordial black holes

abstract: Evolution of a cluster of primordial black holes in the two-body relaxation approximation based on the Fokker-Planck equation is discussed. In our calculation, we consider the self-gravitating cluster with a wide range of black holes masses from $10^{-4} M_{\odot}$ up to $100 M_{\odot}$ and the total mass $10^5 M_{\odot}$. Moreover, we included a massive black hole in the cluster center which determines the evolution rate of the density profile in its vicinity.


title: Weyl groups, the Dirac inequality, and isolated unitary unramified representations

abstract: I present several applications of the Dirac inequality to the determination of isolated unitary representations and associated "spectral gaps" in the case of unramified principal series. The method works particularly well in order to attach irreducible unitary representations to the large nilpotent orbits (e.g., regular, subregular) in the Langlands dual complex Lie algebra. The results could be viewed as a $p$-adic analogue of Salamanca-Riba's classification of irreducible unitary $(\mathfrak g,K)$-modules with strongly regular infinitesimal character.


title: New identities with Stirling, hyperharmonic, and derangement numbers, Bernoulli and Euler polynomials, powers, and factorials

abstract: A number of identities are proved by using Stirling transforms. These identities involve Stirling numbers of the first and second kinds, hyperharmonic and derangement numbers, Bernoulli and Euler numbers and polynomials, powers, power sums, and factorials.


title: Smart Time-Multiplexing of Quads Solves the Multicamera Interference Problem

abstract: Time-of-flight (ToF) cameras are becoming increasingly popular for 3D imaging. Their optimal usage has been studied from the several aspects. One of the open research problems is the possibility of a multicamera interference problem when two or more ToF cameras are operating simultaneously. In this work we present an efficient method to synchronize multiple operating ToF cameras. Our method is based on the time-division multiplexing, but unlike traditional time multiplexing, it does not decrease the effective camera frame rate. Additionally, for unsynchronized cameras, we provide a robust method to extract from their corresponding video streams, frames which are not subject to multicamera interference problem. We demonstrate our approach through a series of experiments and with a different level of support available for triggering, ranging from a hardware triggering to purely random software triggering.


title: Visualization of Dynamic Polaronic Strain Fields in Hybrid Lead Halide Perovskites

abstract: Excitation localization involving dynamic nanoscale distortions is a central aspect of photocatalysis, quantum materials and molecular optoelectronics. Experimental characterization of such distortions requires techniques sensitive to the formation of point-defect-like local structural rearrangements in real time. Here, we visualize excitation-induced strain fields in a prototypical member of the lead halide perovskites via femtosecond resolution diffuse x-ray scattering measurements. This enables momentum-resolved phonon spectroscopy of the locally-distorted structure and reveals radially-expanding nanometer-scale elastic strain fields associated with the formation and relaxation of polarons in photoexcited perovskites. Quantitative estimates of the magnitude and the shape of this polaronic distortion are obtained, providing direct insights into the debated dynamic structural distortions in these materials. Optical pump-probe reflection spectroscopy corroborates these results and shows how these large polaronic distortions transiently modify the carrier effective mass, providing a unified picture of the coupled structural and electronic dynamics that underlie the unique optoelectronic functionality of the hybrid perovskites.


title: Can Human Sex Be Learned Using Only 2D Body Keypoint Estimations?

abstract: In this paper, we analyze human male and female sex recognition problem and present a fully automated classification system using only 2D keypoints. The keypoints represent human joints. A keypoint set consists of 15 joints and the keypoint estimations are obtained using an OpenPose 2D keypoint detector. We learn a deep learning model to distinguish males and females using the keypoints as input and binary labels as output. We use two public datasets in the experimental section - 3DPeople and PETA. On PETA dataset, we report a 77% accuracy. We provide model performance details on both PETA and 3DPeople. To measure the effect of noisy 2D keypoint detections on the performance, we run separate experiments on 3DPeople ground truth and noisy keypoint data. Finally, we extract a set of factors that affect the classification accuracy and propose future work. The advantage of the approach is that the input is small and the architecture is simple, which enables us to run many experiments and keep the real-time performance in inference. The source code, with the experiments and data preparation scripts, are available on GitHub (https://github.com/kristijanbartol/human-sex-classifier).


title: Optimal incentives to mitigate epidemics: a Stackelberg mean field game approach

abstract: Motivated by models of epidemic control in large populations, we consider a Stackelberg mean field game model between a principal and a mean field of agents evolving on a finite state space. The agents play a non-cooperative game in which they can control their transition rates between states to minimize an individual cost. The principal can influence the resulting Nash equilibrium through incentives so as to optimize its own objective. We analyze this game using a probabilistic approach. We then propose an application to an epidemic model of SIR type in which the agents control their interaction rate and the principal is a regulator acting with non pharmaceutical interventions. To compute the solutions, we propose an innovative numerical approach based on Monte Carlo simulations and machine learning tools for stochastic optimization. We conclude with numerical experiments by illustrating the impact of the agents' and the regulator's optimal decisions in two models: a basic SIR model with semi-explicit solutions and a more complex model with a larger state space.


title: IMU-Assisted Learning of Single-View Rolling Shutter Correction

abstract: Rolling shutter distortion is highly undesirable for photography and computer vision algorithms (e.g., visual SLAM) because pixels can be potentially captured at different times and poses. In this paper, we propose a deep neural network to predict depth and row-wise pose from a single image for rolling shutter correction. Our contribution in this work is to incorporate inertial measurement unit (IMU) data into the pose refinement process, which, compared to the state-of-the-art, greatly enhances the pose prediction. The improved accuracy and robustness make it possible for numerous vision algorithms to use imagery captured by rolling shutter cameras and produce highly accurate results. We also extend a dataset to have real rolling shutter images, IMU data, depth maps, camera poses, and corresponding global shutter images for rolling shutter correction training. We demonstrate the efficacy of the proposed method by evaluating the performance of Direct Sparse Odometry (DSO) algorithm on rolling shutter imagery corrected using the proposed approach. Results show marked improvements of the DSO algorithm over using uncorrected imagery, validating the proposed approach.


title: Visibility Extension via Reflection

abstract: This paper studies a variant of the Art Gallery problem in which the ``walls" can be replaced by \emph{reflecting edges}, which allows the guards to see further and thereby see a larger portion of the gallery. Given a simple polygon $\cal P$, first, we consider one guard as a point viewer, and we intend to use reflection to add a certain amount of area to the visibility polygon of the guard. We study visibility with specular and diffuse reflections where the specular type of reflection is the mirror-like reflection, and in the diffuse type of reflection, the angle between the incident and reflected ray may assume all possible values between $0$ and $\pi$. Lee and Aggarwal already proved that several versions of the general Art Gallery problem are $NP$-hard. We show that several cases of adding an area to the visible area of a given point guard are $NP$-hard, too. Second, we assume all edges are reflectors, and we intend to decrease the minimum number of guards required to cover the whole gallery. Chao Xu proved that even considering $r$ specular reflections, one may need $\lfloor \frac{n}{3} \rfloor$ guards to cover the polygon. Let $r$ be the maximum number of reflections of a guard's visibility ray. In this work, we prove that considering $r$ \emph{diffuse} reflections, the minimum number of \emph{vertex or boundary} guards required to cover a given simple polygon $\cal P$ decreases to { $\bf \lceil \frac{\alpha}{1+ \lfloor \frac{r}{8} \rfloor} \rceil$}, where $\alpha$ indicates the minimum number of guards required to cover the polygon without reflection. We also generalize the $\mathcal{O}(\log n)$-approximation ratio algorithm of the vertex guarding problem to work in the presence of reflection.


title: Minimax Group Fairness: Algorithms and Experiments

abstract: We consider a recently introduced framework in which fairness is measured by worst-case outcomes across groups, rather than by the more standard differences between group outcomes. In this framework we provide provably convergent oracle-efficient learning algorithms (or equivalently, reductions to non-fair learning) for minimax group fairness. Here the goal is that of minimizing the maximum loss across all groups, rather than equalizing group losses. Our algorithms apply to both regression and classification settings and support both overall error and false positive or false negative rates as the fairness measure of interest. They also support relaxations of the fairness constraints, thus permitting study of the tradeoff between overall accuracy and minimax fairness. We compare the experimental behavior and performance of our algorithms across a variety of fairness-sensitive data sets and show empirical cases in which minimax fairness is strictly and strongly preferable to equal outcome notions.


title: Improving RNN Transducer Based ASR with Auxiliary Tasks

abstract: End-to-end automatic speech recognition (ASR) models with a single neural network have recently demonstrated state-of-the-art results compared to conventional hybrid speech recognizers. Specifically, recurrent neural network transducer (RNN-T) has shown competitive ASR performance on various benchmarks. In this work, we examine ways in which RNN-T can achieve better ASR accuracy via performing auxiliary tasks. We propose (i) using the same auxiliary task as primary RNN-T ASR task, and (ii) performing context-dependent graphemic state prediction as in conventional hybrid modeling. In transcribing social media videos with varying training data size, we first evaluate the streaming ASR performance on three languages: Romanian, Turkish and German. We find that both proposed methods provide consistent improvements. Next, we observe that both auxiliary tasks demonstrate efficacy in learning deep transformer encoders for RNN-T criterion, thus achieving competitive results - 2.0%/4.2% WER on LibriSpeech test-clean/other - as compared to prior top performing models.


title: Exploring End-to-End Multi-channel ASR with Bias Information for Meeting Transcription

abstract: Joint optimization of multi-channel front-end and automatic speech recognition (ASR) has attracted much interest. While promising results have been reported for various tasks, past studies on its meeting transcription application were limited to small scale experiments. It is still unclear whether such a joint framework can be beneficial for a more practical setup where a massive amount of single channel training data can be leveraged for building a strong ASR back-end. In this work, we present our investigation on the joint modeling of a mask-based beamformer and Attention-Encoder-Decoder-based ASR in the setting where we have 75k hours of single-channel data and a relatively small amount of real multi-channel data for model training. We explore effective training procedures, including a comparison of simulated and real multi-channel training data. To guide the recognition towards a target speaker and deal with overlapped speech, we also explore various combinations of bias information, such as direction of arrivals and speaker profiles. We propose an effective location bias integration method called deep concatenation for the beamformer network. In our evaluation on various meeting recordings, we show that the proposed framework achieves a substantial word error rate reduction.


title: In the Beginning there were n Agents: Founding and Amending a Constitution

abstract: Consider n agents forming an egalitarian, self-governed community. Their first task is to decide on a decision rule to make further decisions. We start from a rather general initial agreement on the decision-making process based upon a set of intuitive and self-evident axioms, as well as simplifying assumptions about the preferences of the agents. From these humble beginnings we derive a decision rule. Crucially, the decision rule also specifies how it can be changed, or amended, and thus acts as a de facto constitution. Our main contribution is in providing an example of an initial agreement that is simple and intuitive, and a constitution that logically follows from it. The naive agreement is on the basic process of decision making - that agents approve or disapprove proposals; that their vote determines either the acceptance or rejection of each proposal; and on the axioms, which are requirements regarding a constitution that engenders a self-updating decision making process.


title: Deep generative selection models of T and B cell receptor repertoires with soNNia

abstract: Subclasses of lymphocytes carry different functional roles to work together to produce an immune response and lasting immunity. Additionally to these functional roles, T and B-cell lymphocytes rely on the diversity of their receptor chains to recognize different pathogens. The lymphocyte subclasses emerge from common ancestors generated with the same diversity of receptors during selection processes. Here we leverage biophysical models of receptor generation with machine learning models of selection to identify specific sequence features characteristic of functional lymphocyte repertoires and subrepertoires. Specifically using only repertoire level sequence information, we classify CD4$^+$ and CD8$^+$ T-cells, find correlations between receptor chains arising during selection and identify T-cells subsets that are targets of pathogenic epitopes. We also show examples of when simple linear classifiers do as well as more complex machine learning methods.


title: Evaluating the Performance of Twitter-based Exploit Detectors

abstract: Patch prioritization is a crucial aspect of information systems security, and knowledge of which vulnerabilities were exploited in the wild is a powerful tool to help systems administrators accomplish this task. The analysis of social media for this specific application can enhance the results and bring more agility by collecting data from online discussions and applying machine learning techniques to detect real-world exploits. In this paper, we use a technique that combines Twitter data with public database information to classify vulnerabilities as exploited or not-exploited. We analyze the behavior of different classifying algorithms, investigate the influence of different antivirus data as ground truth, and experiment with various time window sizes. Our findings suggest that using a Light Gradient Boosting Machine (LightGBM) can benefit the results, and for most cases, the statistics related to a tweet and the users who tweeted are more meaningful than the text tweeted. We also demonstrate the importance of using ground-truth data from security companies not mentioned in previous works.


title: Uncertainty-Aware Vehicle Orientation Estimation for Joint Detection-Prediction Models

abstract: Object detection is a critical component of a self-driving system, tasked with inferring the current states of the surrounding traffic actors. While there exist a number of studies on the problem of inferring the position and shape of vehicle actors, understanding actors' orientation remains a challenge for existing state-of-the-art detectors. Orientation is an important property for downstream modules of an autonomous system, particularly relevant for motion prediction of stationary or reversing actors where current approaches struggle. We focus on this task and present a method that extends the existing models that perform joint object detection and motion prediction, allowing us to more accurately infer vehicle orientations. In addition, the approach is able to quantify prediction uncertainty, outputting the probability that the inferred orientation is flipped, which allows for improved motion prediction and safer autonomous operations. Empirical results show the benefits of the approach, obtaining state-of-the-art performance on the open-sourced nuScenes data set.


title: A Hierarchical Subspace Model for Language-Attuned Acoustic Unit Discovery

abstract: In this work, we propose a hierarchical subspace model for acoustic unit discovery. In this approach, we frame the task as one of learning embeddings on a low-dimensional phonetic subspace, and simultaneously specify the subspace itself as an embedding on a hyper-subspace. We train the hyper-subspace on a set of transcribed languages and transfer it to the target language. In the target language, we infer both the language and unit embeddings in an unsupervised manner, and in so doing, we simultaneously learn a subspace of units specific to that language and the units that dwell on it. We conduct our experiments on TIMIT and two low-resource languages: Mboshi and Yoruba. Results show that our model outperforms major acoustic unit discovery techniques, both in terms of clustering quality and segmentation accuracy.


title: Behavioral Use Licensing for Responsible AI

abstract: With the growing reliance on artificial intelligence (AI) for many different applications, the sharing of code, data, and models is important to ensure the replicability and democratization of scientific knowledge. Many high-profile academic publishing venues expect code and models to be submitted and released with papers. Furthermore, developers often want to release these assets to encourage development of technology that leverages their frameworks and services. A number of organizations have expressed concerns about the inappropriate or irresponsible use of AI and have proposed ethical guidelines around the application of such systems. While such guidelines can help set norms and shape policy, they are not easily enforceable. In this paper, we advocate the use of licensing to enable legally enforceable behavioral use conditions on software and code and provide several case studies that demonstrate the feasibility of behavioral use licensing. We envision how licensing may be implemented in accordance with existing responsible AI guidelines.


title: IFC models for (semi)automating common planning checks for building permits

abstract: To support building permit issuing with automatic digital tools, the reuse of models produced by designers would make the process quicker and more objective. However, current studies and pilots often leave a gap with respect to the models as actually provided by architects, having varying quality and content. In this study, rather than taking a top down approach, we started from the available data and made the necessary inferences, which gave the opportunity to tackle basic and common issues often preventing smooth automatic processing. Specific characteristics of the IFC models were outlined and a tool was developed to extract the necessary information from them to check representative regulations. While the case study is specific in location, regulations and input models, the type of issues encountered are a generally applicable example for automated code compliance checking. This represents a solid base for future works towards the automation of building permits issuing.


title: Multilingual Bottleneck Features for Improving ASR Performance of Code-Switched Speech in Under-Resourced Languages

abstract: In this work, we explore the benefits of using multilingual bottleneck features (mBNF) in acoustic modelling for the automatic speech recognition of code-switched (CS) speech in African languages. The unavailability of annotated corpora in the languages of interest has always been a primary challenge when developing speech recognition systems for this severely under-resourced type of speech. Hence, it is worthwhile to investigate the potential of using speech corpora available for other better-resourced languages to improve speech recognition performance. To achieve this, we train a mBNF extractor using nine Southern Bantu languages that form part of the freely available multilingual NCHLT corpus. We append these mBNFs to the existing MFCCs, pitch features and i-vectors to train acoustic models for automatic speech recognition (ASR) in the target code-switched languages. Our results show that the inclusion of the mBNF features leads to clear performance improvements over a baseline trained without the mBNFs for code-switched English-isiZulu, English-isiXhosa, English-Sesotho and English-Setswana speech.


title: Iterative Retina for high track multiplicity in a barrel-shape tracker and high magnetic field

abstract: Real-time track tracking in high energy physics experiments at colliders running at high luminosity is very challenging for trigger systems. To perform pattern-recognition and track fitting in online trigger system, the artificial Retina algorithm has been introduced in the field. Retina can be implemented in the state of the art FPGA devices. Our developments use Retina in an iterative way to identify track for barrel-shape tracker embedded in a high magnetic field and with high track multiplicity. As a benchmark we simulate LHC t-tbar events, with a pile-up of 200 and a GEANT-4 based simulation of a 6-layers barrel tracker detector made of silicon modules. With this sample the performance of the hardware design (resource usage, latency) is evaluated. Both efficiency and purity of the Retina fitting are over 90%. Moreover we have also added a Kalman filter after the Retina fit to improve the resolution on the track parameters. Our simulation results show that the Kalman filter can work well together with the Retina algorithm to find track through t-tbar event and provides high resolutions of the reconstructed parameters.


title: How the Availability of Higher Education Affects Incentives? Evidence from Federal University Openings in Brazil

abstract: This paper studies the impact of an university opening on incentives for human capital accumulation of prospective students in its neighborhood. The opening causes an exogenous fall on the cost to attend university, through the decrease in distance, leading to an incentive to increase effort - shown by the positive effect on students' grades. I use an event study approach with two-way fixed effects to retrieve a causal estimate, exploiting the variation across groups of students that receive treatment at different times - mitigating the bias created by the decision of governments on the location of new universities. Results show an average increase of $0.038$ standard deviations in test grades, for the municipality where the university was established, and are robust to a series of potential problems, including some of the usual concerns in event study models.


title: Hidden Markov P\'olya trees for high-dimensional distributions

abstract: The P\'olya tree (PT) process is a general-purpose Bayesian nonparametric model that has found wide application in a range of inference problems. It has a simple analytic form and the posterior computation boils down to beta-binomial conjugate updates along a partition tree over the sample space. Recent development in PT models shows that performance of these models can be substantially improved by (i) allowing the partition tree to adapt to the structure of the underlying distributions and (ii) incorporating latent state variables that characterize local features of the underlying distributions. However, important limitations of the PT remain, including (i) the sensitivity in the posterior inference with respect to the choice of the partition tree, and (ii) the lack of scalability with respect to dimensionality of the sample space. We consider a modeling strategy for PT models that incorporates a flexible prior on the partition tree along with latent states with Markov dependency. We introduce a hybrid algorithm combining sequential Monte Carlo (SMC) and recursive message passing for posterior sampling that can scale up to 100 dimensions. While our description of the algorithm assumes a single computer environment, it has the potential to be implemented on distributed systems to further enhance the scalability. Moreover, we investigate the large sample properties of the tree structures and latent states under the posterior model. We carry out extensive numerical experiments in density estimation and two-group comparison, which show that flexible partitioning can substantially improve the performance of PT models in both inference tasks. We demonstrate an application to a mass cytometry data set with 19 dimensions and over 200,000 observations.


title: Quantum Noise and its Importance to the Quantum Classical Transition Problem: Energy Measurement Aspects

abstract: In the present contribution we discuss the role of experimental limitations in the classical limit problem. We studied some simple models and found that Quantum Mechanics does not re-produce classical mechanical predictions, unless we consider the experimental limitations ruled by uncertainty principle. We have shown that the discrete nature of energy levels of integrable systems can be accessed by classical measurements. We have defined a precise limit for this procedure. It may be used as a tool to define the classical limit as far as the discrete spectra of integrable systems are concerned.


title: PubSqueezer: A Text-Mining Web Tool to Transform Unstructured Documents into Structured Data

abstract: The amount of scientific papers published every day is daunting and constantly increasing. Keeping up with literature represents a challenge. If one wants to start exploring new topics it is hard to have a big picture without reading lots of articles. Furthermore, as one reads through literature, making mental connections is crucial to ask new questions which might lead to discoveries. In this work, I present a web tool which uses a Text Mining strategy to transform large collections of unstructured biomedical articles into structured data. Generated results give a quick overview on complex topics which can possibly suggest not explicitly reported information. In particular, I show two Data Science analyses. First, I present a literature based rare diseases network build using this tool in the hope that it will help clarify some aspects of these less popular pathologies. Secondly, I show how a literature based analysis conducted with PubSqueezer results allows to describe known facts about SARS-CoV-2. In one sentence, data generated with PubSqueezer make it easy to use scientific literate in any computational analysis such as machine learning, natural language processing etc. Availability: http://www.pubsqueezer.com


title: Time-dependence of the effective temperatures of a two-dimensional Brownian gyrator with cold and hot components

abstract: We consider a model of a two-dimensional molecular machine - called Brownian gyrator - that consists of two coordinates coupled to each other and to separate heat baths at temperatures respectively $T_x$ and $T_y$. We consider the limit in which one component is passive, because its bath is "cold", $T_x \to 0$, while the second is in contact with a "hot" bath, $T_y > 0$, hence it entrains the passive component in a stochastic motion. We derive an asymmetry relation as a function of time, from which time dependent effective temperatures can be obtained for both components. We find that the effective temperature of the passive element tends to a constant value, which is a fraction of $T_y$, while the effective temperature of the driving component grows without bounds, in fact exponentially in time, as the steady-state is approached.


title: LBGP: Learning Based Goal Planning for Autonomous Following in Front

abstract: This paper investigates a hybrid solution which combines deep reinforcement learning (RL) and classical trajectory planning for the following in front application. Here, an autonomous robot aims to stay ahead of a person as the person freely walks around. Following in front is a challenging problem as the user's intended trajectory is unknown and needs to be estimated, explicitly or implicitly, by the robot. In addition, the robot needs to find a feasible way to safely navigate ahead of human trajectory. Our deep RL module implicitly estimates human trajectory and produces short-term navigational goals to guide the robot. These goals are used by a trajectory planner to smoothly navigate the robot to the short-term goals, and eventually in front of the user. We employ curriculum learning in the deep RL module to efficiently achieve a high return. Our system outperforms the state-of-the-art in following ahead and is more reliable compared to end-to-end alternatives in both the simulation and real world experiments. In contrast to a pure deep RL approach, we demonstrate zero-shot transfer of the trained policy from simulation to the real world.


title: Noncommutative $C^k$ functions and Fr\'{e}chet derivatives of operator functions

abstract: Fix a unital $C^*$-algebra $\mathscr{A}$, and write $\mathscr{A}_{sa}$ for the set of self-adjoint elements of $\mathscr{A}$. Also, if $f:\mathbb{R}\to\mathbb{C}$ is a continuous function, then write $f_\mathscr{A}:\mathscr{A}_{sa}\to\mathscr{A}$ for the operator function $a\mapsto f(a)$ defined via functional calculus. In this paper, we introduce and study a space $NC^k(\mathbb{R})$ of $C^k$ functions $f:\mathbb{R}\to\mathbb{C}$ such that, no matter the choice of $\mathscr{A}$, the operator function $f_\mathscr{A}:\mathscr{A}_{sa}\to\mathscr{A}$ is $k$-times continuously Fr\'echet differentiable. In other words, if $f\in NC^k(\mathbb{R})$, then $f$ "lifts" to a $C^k$ map $f_\mathscr{A}:\mathscr{A}_{sa}\to\mathscr{A}$, for any (possibly noncommutative) unital $C^*$-algebra $\mathscr{A}$. For this reason, we call $NC^k(\mathbb{R})$ the space of noncommutative $C^k$ functions. Our proof that $f_\mathscr{A}\in C^k(\mathscr{A}_{sa};\mathscr{A})$, which requires only knowledge of the Fr\'echet derivatives of polynomials and operator norm estimates for "multiple operator integrals" (MOIs), is more elementary than the standard approach; nevertheless, $NC^k(\mathbb{R})$ contains all functions for which comparable results are known. Specifically, we prove that $NC^k(\mathbb{R})$ contains the homogeneous Besov space $\dot{B}_1^{k,\infty}(\mathbb{R})$ and the H\"older space $C_{loc}^{k,\varepsilon}(\mathbb{R})$. We highlight, however, that the results in this paper are the first of their type to be proven for arbitrary unital $C^*$-algebras, and that the extension to such a general setting makes use of the author's recent resolution of certain "separability issues" with the definition of MOIs. Finally, we prove by exhibiting specific examples that $W_k(\mathbb{R})_{loc}\subsetneq NC^k(\mathbb{R})\subsetneq C^k(\mathbb{R})$, where $W_k(\mathbb{R})_{loc}$ is the "localized" $k^{th}$ Wiener space.


title: Causal Imputation via Synthetic Interventions

abstract: Consider the problem of determining the effect of a compound on a specific cell type. To answer this question, researchers traditionally need to run an experiment applying the drug of interest to that cell type. This approach is not scalable: given a large number of different actions (compounds) and a large number of different contexts (cell types), it is infeasible to run an experiment for every action-context pair. In such cases, one would ideally like to predict the outcome for every pair while only having to perform experiments on a small subset of pairs. This task, which we label "causal imputation", is a generalization of the causal transportability problem. To address this challenge, we extend the recently introduced synthetic interventions (SI) estimator to handle more general data sparsity patterns. We prove that, under a latent factor model, our estimator provides valid estimates for the causal imputation task. We motivate this model by establishing a connection to the linear structural causal model literature. Finally, we consider the prominent CMAP dataset in predicting the effects of compounds on gene expression across cell types. We find that our estimator outperforms standard baselines, thus confirming its utility in biological applications.


title: Single- and narrow-line photoluminescence in a boron nitride-supported MoSe$_2$/graphene heterostructure

abstract: Heterostructures made from van der Waals materials provide a template to investigate proximity effects at atomically sharp heterointerfaces. In particular, near-field charge and energy transfer in heterostructures made from semiconducting transition metal dichalcogenides (TMD) have attracted interest to design model 2D "donor-acceptor" systems and new optoelectronic components. Here, using of Raman scattering and photoluminescence spectroscopies, we report a comprehensive characterization of a molybedenum diselenide (MoSe$_2$) monolayer deposited onto hexagonal boron nitride (hBN) and capped by mono- and bilayer graphene. Along with the atomically flat hBN susbstrate, a single graphene epilayer is sufficient to passivate the MoSe$_2$ layer and provides a homogenous environment without the need for an extra capping layer. As a result, we do not observe photo-induced doping in our heterostructure and the MoSe$_2$ excitonic linewidth gets as narrow as 1.6~meV, hence approaching the homogeneous limit. The semi-metallic graphene layer neutralizes the 2D semiconductor and enables picosecond non-radiative energy transfer that quenches radiative recombination from long-lived states. Hence, emission from the neutral band edge exciton largely dominates the photoluminescence spectrum of the MoSe$_2$/graphene heterostructure. Since this exciton has a picosecond radiative lifetime at low temperature, comparable with the energy transfer time, its low-temperature photoluminescence is only quenched by a factor of $3.3 \pm 1$ and $4.4 \pm 1$ in the presence of mono- and bilayer graphene, respectively. Finally, while our bare MoSe$_2$ on hBN exhibits negligible valley polarization at low temperature and under near-resonant excitation, we show that interfacing MoSe$_2$ with graphene yields a single-line emitter with degrees of valley polarization and coherence up to $\sim 15\,\%$.


title: Effect of Initial Volume on the Run-Out Behavior of Submerged Granular Columns

abstract: Submarine landslides transport thousands of cubic meters of sediment across continental shelves even at slopes as low as 1{\deg} and can cause significant casualty and damage to infrastructure. The run-out mechanism in a submarine landslide is affected by factors such as the initial packing density, permeability, slope angle, and initial volume. While past studies have focused on the influence of density, permeability, and slope angle on the granular column collapse, the impact of volume on the run-out characteristics has not been investigated. This study aims to understand how the initial volume affects the run-out using a two-dimensional coupled lattice Boltzman and discrete element (LBM-DEM) method. The coupled LBM-DEM approach allows simulating fluid flow at the pore-scale resolution to understand the grain-scale mechanisms driving the complex continuum-scale response in the granular column collapse. For submerged granular column collapse, the run-out mechanism is heavily influenced by the interaction between the grains and the surrounding fluid. The development of negative pore pressures during shearing and hydrodynamic drag forces inhibit the flow. On the other hand, entrainment of water resulting in hydroplaning enhances the flow. With an increase in volume, the interaction between the grains and the surrounding fluid varies, causing changes in the run-out behavior. For smaller volumes, the forces inhibiting the underwater flow predominates, resulting in shorter run-outs than their dry counterparts. At large volumes, hydroplaning results in larger run-out than the dry cases, despite the inhibiting effects of drag forces and negative pore pressures.


title: Disentangling the AGN and Star-Formation Contributions to the Radio-X-ray Emission of Radio-Loud Quasars at 1<z<2

abstract: We constrain the emission mechanisms responsible for the prodigious electromagnetic output generated by active galactic nuclei (AGN) and their host galaxies with a novel state-of-the-art AGN radio- to-X-ray spectral energy distribution model fitting code (ARXSED). ARXSED combines multiple components to fit the spectral energy distributions (SEDs) of AGN and their host galaxies. Emission components include radio structures such as lobes and jets, infrared emission from the AGN torus, visible-to-X-ray emission from the accretion disk, and radio-to-ultraviolet emission from the host galaxy. Applying ARXSED to the radio SEDs of 20 3CRR quasars at 1 < z < 2 verifies the need for more than a simple power law when compact radio structures are present. The non-thermal emission contributes 91%-57% of the observed-frame 1.25mm to 850{\mu}m flux, and this component must be accounted for when using these wavelengths to estimate star-formation properties. We predict the presence of strong radio-linked X-ray emission in more than half the sample sources. ARXSED estimates median (and the associated first and third quartile ranges) BH mass of $2.9_{1.7}^{6.0} \times 10^9~\rm M_{\odot}$, logarithm of Eddington ratio of $ -1.0_{-1.2}^{-0.6} $, and spin of $ 0.98_{0.94}^{0.99} $ for our sample. The inferred AGN torus and accretion disk parameters agree with those estimated from spectroscopic analyses of similar samples in the literature. We present the median intrinsic SED of the luminous radio-loud quasars at 1 < z < 2 ; this SED represents a significant improvement in the way each component is modeled.


title: Helioseismic Modeling of Background Flows

abstract: We present a 3-dimensional (3D) numerical solver of the linearized compressible Euler equations (GALE -- Global Acoustic Linearized Euler), used to model acoustic oscillations throughout the solar interior. The governing equations are solved in conservation form on a fully global spherical mesh ($0 \le \phi \le 2\pi$, $0 \le \theta \le \pi$, $0 \le r \le R_{\odot}$) over a background state generated by the standard Solar Model S. We implement an efficient pseudo-spectral computational method to calculate the contribution of the compressible material derivative dyad to internal velocity perturbations, computing oscillations over arbitrary 3D background velocity fields. This model offers a foundation for a "forward-modeling" approach, using helioseismology techniques to explore various regimes of internal mass flows. We demonstrate the efficacy of the numerical method presented in this paper by reproducing observed solar power spectra, showing rotational splitting due to differential rotation, and applying local helioseismology techniques to measure travel times created by a simple model of single-cell meridional circulation.


title: Astronomical Image Quality Prediction based on Environmental and Telescope Operating Conditions

abstract: Intelligent scheduling of the sequence of scientific exposures taken at ground-based astronomical observatories is massively challenging. Observing time is over-subscribed and atmospheric conditions are constantly changing. We propose to guide observatory scheduling using machine learning. Leveraging a 15-year archive of exposures, environmental, and operating conditions logged by the Canada-France-Hawaii Telescope, we construct a probabilistic data-driven model that accurately predicts image quality. We demonstrate that, by optimizing the opening and closing of twelve vents placed on the dome of the telescope, we can reduce dome-induced turbulence and improve telescope image quality by (0.05-0.2 arc-seconds). This translates to a reduction in exposure time (and hence cost) of $\sim 10-15\%$. Our study is the first step toward data-based optimization of the multi-million dollar operations of current and next-generation telescopes.


title: Group isomorphism is nearly-linear time for most orders

abstract: We show that there is a dense set $\ourset\subseteq \mathbb{N}$ of group orders and a constant $c$ such that for every $n\in \ourset$ we can decide in time $O(n^2(\log n)^c)$ whether two $n\times n$ multiplication tables describe isomorphic groups of order $n$. This improves significantly over the general $n^{O(\log n)}$-time complexity and shows that group isomorphism can be tested efficiently for almost all group orders $n$. We also show that in time $O(n^2 (\log n)^c)$ it can be decided whether an $n\times n$ multiplication table describes a group; this improves over the known $O(n^3)$ complexity. Our complexities are calculated for a deterministic multi-tape Turing machine model. We give the implications to a RAM model in the promise hierarchy as well.


title: Dislocation-induced Y segregation at basal-prismatic interfaces in Mg

abstract: Solute segregation at twin boundaries in Mg has been widely investigated, yet this phenomenon has not been studied at the equally important basal-prismatic interfaces. To fill this critical gap, this work investigates the segregation behavior of Y at basal-prismatic interfaces with various structures using atomistic simulations. The calculated interfacial energies show that short coherent interfaces and long semi-coherent interfaces containing disconnections and dislocations are more energetically stable than disordered interfaces, which is supported by our experimental observations. The segregation energy of Y at these lowest energy basal-prismatic interfaces shows a clear correlation with the atomic hydrostatic stress, highlighting the importance of local compressive stresses for segregation. In addition, sites around dislocations at the semi-coherent basal-prismatic interfaces demonstrate lower segregation energy, indicating that local defects such as interfacial dislocations can further enhance the segregation. In its entirety, this study indicates that the segregation of solutes can be affected by a number of different aspects of the local structure at complex interfaces in Mg alloys.


title: Sandslash: A Two-Level Framework for Efficient Graph Pattern Mining

abstract: Graph pattern mining (GPM) is used in diverse application areas including social network analysis, bioinformatics, and chemical engineering. Existing GPM frameworks either provide high-level interfaces for productivity at the cost of expressiveness or provide low-level interfaces that can express a wide variety of GPM algorithms at the cost of increased programming complexity. Moreover, existing systems lack the flexibility to explore combinations of optimizations to achieve performance competitive with hand-optimized applications. We present Sandslash, an in-memory Graph Pattern Mining (GPM) framework that uses a novel programming interface to support productive, expressive, and efficient GPM on large graphs. Sandslash provides a high-level API that needs only a specification of the GPM problem, and it implements fast subgraph enumeration, provides efficient data structures, and applies high-level optimizations automatically. To achieve performance competitive with expert-optimized implementations, Sandslash also provides a low-level API that allows users to express algorithm-specific optimizations. This enables Sandslash to support both high-productivity and high-efficiency without losing expressiveness. We evaluate Sandslash on shared-memory machines using five GPM applications and a wide range of large real-world graphs. Experimental results demonstrate that applications written using Sandslash high-level or low-level API outperforms state-of-the-art GPM systems AutoMine, Pangolin, and Peregrine on average by 13.8x, 7.9x, and 5.4x, respectively. We also show that these Sandslash applications outperform expert-optimized GPM implementations by 2.3x on average with less programming effort.


title: STReSSD: Sim-To-Real from Sound for Stochastic Dynamics

abstract: Sound is an information-rich medium that captures dynamic physical events. This work presents STReSSD, a framework that uses sound to bridge the simulation-to-reality gap for stochastic dynamics, demonstrated for the canonical case of a bouncing ball. A physically-motivated noise model is presented to capture stochastic behavior of the balls upon collision with the environment. A likelihood-free Bayesian inference framework is used to infer the parameters of the noise model, as well as a material property called the coefficient of restitution, from audio observations. The same inference framework and the calibrated stochastic simulator are then used to learn a probabilistic model of ball dynamics. The predictive capabilities of the dynamics model are tested in two robotic experiments. First, open-loop predictions anticipate probabilistic success of bouncing a ball into a cup. The second experiment integrates audio perception with a robotic arm to track and deflect a bouncing ball in real-time. We envision that this work is a step towards integrating audio-based inference for dynamic robotic tasks. Experimental results can be viewed at https://youtu.be/b7pOrgZrArk.


title: A Hysteretic Q-learning Coordination Framework for Emerging Mobility Systems in Smart Cities

abstract: Connected and automated vehicles (CAVs) can alleviate traffic congestion, air pollution, and improve safety. In this paper, we provide a decentralized coordination framework for CAVs at a signal-free intersection to minimize travel time and improve fuel efficiency. We employ a simple yet powerful reinforcement learning approach, an off-policy temporal difference learning called Q-learning, enhanced with a coordination mechanism to address this problem. Then, we integrate a first-in-first-out queuing policy to improve the performance of our system. We demonstrate the efficacy of our proposed approach through simulation and comparison with the classical optimal control method based on Pontryagin's minimum principle.


title: Semi-supervised URL Segmentation with Recurrent Neural Networks Pre-trained on Knowledge Graph Entities

abstract: Breaking domain names such as openresearch into component words open and research is important for applications like Text-to-Speech synthesis and web search. We link this problem to the classic problem of Chinese word segmentation and show the effectiveness of a tagging model based on Recurrent Neural Networks (RNNs) using characters as input. To compensate for the lack of training data, we propose a pre-training method on concatenated entity names in a large knowledge database. Pre-training improves the model by 33% and brings the sequence accuracy to 85%.


title: Ellipse Loss for Scene-Compliant Motion Prediction

abstract: Motion prediction is a critical part of self-driving technology, responsible for inferring future behavior of traffic actors in autonomous vehicle's surroundings. In order to ensure safe and efficient operations, prediction models need to output accurate trajectories that obey the map constraints. In this paper, we address this task and propose a novel ellipse loss that allows the models to better reason about scene compliance and predict more realistic trajectories. Ellipse loss penalizes off-road predictions directly in a supervised manner, by projecting the output trajectories into the top-down map frame using a differentiable trajectory rasterizer module. Moreover, it takes into account actor dimensions and orientation, providing more direct training signals to the model. We applied ellipse loss to a recently proposed state-of-the-art joint detection-prediction model to showcase its benefits. Evaluation on large-scale autonomous driving data strongly indicates that the method allows for more accurate and more realistic trajectory predictions.


title: Prediction of Future Failures for Heterogeneous Reliability Field Data

abstract: This article introduces methods for constructing prediction bounds or intervals for the number of future failures from heterogeneous reliability field data. We focus on within-sample prediction where early data from a failure-time process is used to predict future failures from the same process. Early data from high-reliability products, however, often have limited information due to some combination of small sample sizes, censoring, and truncation. In such cases, we use a Bayesian hierarchical model to model jointly multiple lifetime distributions arising from different subpopulations of similar products. By borrowing information across subpopulations, our method enables stable estimation and the computation of corresponding prediction intervals, even in cases where there are few observed failures. Three applications are provided to illustrate this methodology, and a simulation study is used to validate the coverage performance of the prediction intervals.


title: Quantum randomized encoding, verification of quantum computing, no-cloning, and blind quantum computing

abstract: Randomized encoding is a powerful cryptographic primitive with various applications such as secure multiparty computation, verifiable computation, parallel cryptography, and complexity lower-bounds. Intuitively, randomized encoding $\hat{f}$ of a function $f$ is another function such that $f(x)$ can be recovered from $\hat{f}(x)$, and nothing except for $f(x)$ is leaked from $\hat{f}(x)$. Its quantum version, quantum randomized encoding, has been introduced recently [Brakerski and Yuen, arXiv:2006.01085]. Intuitively, quantum randomized encoding $\hat{F}$ of a quantum operation $F$ is another quantum operation such that, for any quantum state $\rho$, $F(\rho)$ can be recovered from $\hat{F}(\rho)$, and nothing except for $F(\rho)$ is leaked from $\hat{F}(\rho)$. In this paper, we show that if quantum randomized encoding of BB84 state generations is possible with an encoding operation $E$, then a two-round verification of quantum computing is possible with a classical verifier who can additionally do the operation $E$. One of the most important goals in the field of the verification of quantum computing is to construct a verification protocol with a verifier as classical as possible. This result therefore demonstrates a potential application of quantum randomized encoding to the verification of quantum computing: if we can find a good quantum randomized encoding (in terms of the encoding complexity), then we can construct a good verification protocol of quantum computing. We, however, also show that too good quantum randomized encoding is impossible: if quantum randomized encoding with a classical encoding operation is possible, then the no-cloning is violated. We finally consider a natural modification of blind quantum computing protocols in such a way that the server gets the output like quantum randomized encoding. We show that the modified protocol is not secure.


title: Contact Localization for Robot Arms in Motion without Torque Sensing

abstract: Detecting and localizing contacts is essential for robot manipulators to perform contact-rich tasks in unstructured environments. While robot skins can localize contacts on the surface of robot arms, these sensors are not yet robust or easily accessible. As such, prior works have explored using proprioceptive observations, such as joint velocities and torques, to perform contact localization. Many past approaches assume the robot is static during contact incident, a single contact is made at a time, or having access to accurate dynamics models and joint torque sensing. In this work, we relax these assumptions and propose using Domain Randomization to train a neural network to localize contacts of robot arms in motion without joint torque observations. Our method uses a novel cylindrical projection encoding of the robot arm surface, which allows the network to use convolution layers to process input features and transposed convolution layers to predict contacts. The trained network achieves a contact detection accuracy of 91.5% and a mean contact localization error of 3.0cm. We further demonstrate an application of the contact localization model in an obstacle mapping task, evaluated in both simulation and the real world.


title: Predicting special care during the COVID-19 pandemic: A machine learning approach

abstract: More than ever COVID-19 is putting pressure on health systems all around the world, especially in Brazil. In this study we propose an analytical approach based on statistics and machine learning that uses lab exam data coming from patients to predict whether patients are going to require special care (hospitalisation in regular or special-care units). We also predict the number of days the patients will stay under such care. The two-step procedure developed uses Bayesian Optimisation to select the best model among several candidates leads us to final models that achieve 0.94 area under ROC curve performance for the first target and 1.87 root mean squared error for the second target (which is a 77% improvement over the mean baseline), making our model ready to be deployed as a decision system that could be available for everyone interested. The analytical approach can be used in other diseases and can help the planning hospital capacity.


title: Meissner levitation of a millimeter size neodymium magnet within a superconducting radio frequency cavity

abstract: We report on the magnetic levitation of a millimeter sized neodymium permanent magnet within the interior of a superconducting radio frequency (SRF) cavity. To the best of our knowledge, this is the first experimental work on levitating a magnet within an SRF cavity. The cavity is a coaxial quarter wave microwave resonator made from 6061 aluminum, having a resonance frequency of 10GHz and a loaded Q of 1400. The cylindrical magnet (N50) has a height of 1 mm, a diameter of 0.75 mm, a mass of 4 mg, and a remanence of 1.44 T. This produces a peak magnetic field 140 times greater than the critical field of aluminum. Our measurements are consistent over several heating and cooling cycles. Our work provides a path towards a novel optomechanical system.


title: Fuzzy measurements and coarse graining in quantum many-body systems

abstract: Using the quantum map formalism, we provide a framework to construct fuzzy and coarse grained quantum states of many-body systems that account for limitations in the resolution of real measurement devices probing them. The first set of maps handles particle-indexing errors, while the second deals with the effects of detectors that can only resolve a fraction of the system constituents. We apply these maps to a spin-$1/2$ XX-chain obtaining a blurred picture of the entanglement generation and propagation in the system. By construction, both maps are simply related via a partial trace, which allow us to concentrate on the properties of the former. We fully characterize the fuzzy map, identifying its symmetries and invariants spaces. We show that the volume of the tomographically accessible states decreases at a double exponential rate in the number of particles, imposing severe bounds to the ability to read and use information of a many-body quantum system.


title: One component regularity criteria for the axially symmetric MHD-Boussinesq system: criteria on the swirl component of the velocity

abstract: In this paper, we consider regularity criteria of a class of 3D axially symmetric MHD-Boussinesq systems without magnetic resistivity or thermal diffusivity. Under some Prodi-Serrin type critical assumptions on the horizontal angular component of the velocity, we will prove that strong solutions of the axially symmetric MHD-Boussinesq system can be smoothly extended beyond the possible blow-up time $T_\ast$ if the magnetic field contains only the horizontal swirl component. No a priori assumption on the magnetic field and the temperature fluctuation is imposed.


title: Transforming Fading Channel from Fast to Slow: IRS-Assisted High-Mobility Communication

abstract: In this paper, we study a new intelligent refracting surface (IRS)-assisted high-mobility communication with the IRS deployed in a high-speed moving vehicle to assist its passenger's communication with a static base station (BS) on the roadside. The vehicle's high Doppler frequency results in a fast fading channel between the BS and the passenger/user, which renders channel estimation for the IRS with a large number of refracting elements a more challenging task as compared to the conventional case with low-mobility users only. In order to mitigate the Doppler effect and reap the full IRS passive beamforming gain with low training overhead, we propose a new and efficient transmission protocol to execute channel estimation and IRS refraction design for data transmission. Specifically, by exploiting the quasi-static channel between the IRS and user both moving at the same high speed, we first estimate the cascaded BS-IRS-user channel with the Doppler effect compensated. Then, we estimate the instantaneous BS-user fast fading channel (without IRS refraction) and tune the IRS refraction over time accordingly to align the cascaded channel with the BS-user direct channel, thus maximizing the IRS's passive beamforming gain as well as converting their combined channel from fast to slow fading. Simulation results show the effectiveness of the proposed channel estimation scheme and passive beamforming design as compared to various benchmark schemes.


title: RetinaGAN: An Object-aware Approach to Sim-to-Real Transfer

abstract: The success of deep reinforcement learning (RL) and imitation learning (IL) in vision-based robotic manipulation typically hinges on the expense of large scale data collection. With simulation, data to train a policy can be collected efficiently at scale, but the visual gap between sim and real makes deployment in the real world difficult. We introduce RetinaGAN, a generative adversarial network (GAN) approach to adapt simulated images to realistic ones with object-detection consistency. RetinaGAN is trained in an unsupervised manner without task loss dependencies, and preserves general object structure and texture in adapted images. We evaluate our method on three real world tasks: grasping, pushing, and door opening. RetinaGAN improves upon the performance of prior sim-to-real methods for RL-based object instance grasping and continues to be effective even in the limited data regime. When applied to a pushing task in a similar visual domain, RetinaGAN demonstrates transfer with no additional real data requirements. We also show our method bridges the visual gap for a novel door opening task using imitation learning in a new visual domain. Visit the project website at https://retinagan.github.io/


title: Affinity LCFCN: Learning to Segment Fish with Weak Supervision

abstract: Aquaculture industries rely on the availability of accurate fish body measurements, e.g., length, width and mass. Manual methods that rely on physical tools like rulers are time and labour intensive. Leading automatic approaches rely on fully-supervised segmentation models to acquire these measurements but these require collecting per-pixel labels -- also time consuming and laborious: i.e., it can take up to two minutes per fish to generate accurate segmentation labels, almost always requiring at least some manual intervention. We propose an automatic segmentation model efficiently trained on images labeled with only point-level supervision, where each fish is annotated with a single click. This labeling process requires significantly less manual intervention, averaging roughly one second per fish. Our approach uses a fully convolutional neural network with one branch that outputs per-pixel scores and another that outputs an affinity matrix. We aggregate these two outputs using a random walk to obtain the final, refined per-pixel segmentation output. We train the entire model end-to-end with an LCFCN loss, resulting in our A-LCFCN method. We validate our model on the DeepFish dataset, which contains many fish habitats from the north-eastern Australian region. Our experimental results confirm that A-LCFCN outperforms a fully-supervised segmentation model at fixed annotation budget. Moreover, we show that A-LCFCN achieves better segmentation results than LCFCN and a standard baseline. We have released the code at \url{https://github.com/IssamLaradji/affinity_lcfcn}.


title: Stepanov pseudo almost periodic functions and applications

abstract: In this work, we present basic results and applications of Stepanov pseudo almost periodic functions with measures. Using only the continuity assumption, we prove a new composition result of $\mu$-pseudo almost periodic functions in Stepanov sense. Moreover, we present different applications to semilinear differential equations and inclusions in Banach spaces with weak regular forcing terms. We prove the existence and uniqueness of $\mu$-pseudo almost periodic solutions (in the strong sense) to a class of semilinear fractional inclusions and semilinear evolution equations, respectively, provided that the nonlinear forcing terms are only Stepanov $ \mu $-pseudo almost periodic in the first variable and not a uniformly strict contraction with respect to the second argument. Some examples illustrating our theoretical results are also presented.