title: Polylidar3D -- Fast Polygon Extraction from 3D Data

abstract: Flat surfaces captured by 3D point clouds are often used for localization, mapping, and modeling. Dense point cloud processing has high computation and memory costs making low-dimensional representations of flat surfaces such as polygons desirable. We present Polylidar3D, a non-convex polygon extraction algorithm which takes as input unorganized 3D point clouds (e.g., LiDAR data), organized point clouds (e.g., range images), or user-provided meshes. Non-convex polygons represent flat surfaces in an environment with interior cutouts representing obstacles or holes. The Polylidar3D front-end transforms input data into a half-edge triangular mesh. This representation provides a common level of input data abstraction for subsequent back-end processing. The Polylidar3D back-end is composed of four core algorithms: mesh smoothing, dominant plane normal estimation, planar segment extraction, and finally polygon extraction. Polylidar3D is shown to be quite fast, making use of CPU multi-threading and GPU acceleration when available. We demonstrate Polylidar3D's versatility and speed with real-world datasets including aerial LiDAR point clouds for rooftop mapping, autonomous driving LiDAR point clouds for road surface detection, and RGBD cameras for indoor floor/wall detection. We also evaluate Polylidar3D on a challenging planar segmentation benchmark dataset. Results consistently show excellent speed and accuracy.


title: A Computation-Efficient CNN System for High-Quality Brain Tumor Segmentation

abstract: The work presented in this paper is to propose a reliable high-quality system of Convolutional Neural Network (CNN) for brain tumor segmentation with a low computation requirement. The system consists of a CNN for the main processing for the segmentation, a pre-CNN block for data reduction and post-CNN refinement block. The unique CNN consists of 7 convolution layers involving only 108 kernels and 20308 trainable parameters. It is custom-designed, following the proposed paradigm of ASCNN (application specific CNN), to perform mono-modality and cross-modality feature extraction, tumor localization and pixel classification. Each layer fits the task assigned to it, by means of (i) appropriate normalization applied to its input data, (ii) correct convolution modes for the assigned task, and (iii) suitable nonlinear transformation to optimize the convolution results. In this specific design context, the number of kernels in each of the 7 layers is made to be just-sufficient for its task, instead of exponentially growing over the layers, to increase information density and to reduce randomness in the processing. The proposed activation function Full-ReLU helps to halve the number of kernels in convolution layers of high-pass filtering without degrading processing quality. A large number of experiments with BRATS2018 dataset have been conducted to measure the processing quality and reproducibility of the proposed system. The results demonstrate that the system reproduces reliably almost the same output to the same input after retraining. The mean dice scores for enhancing tumor, whole tumor and tumor core are 77.2%, 89.2% and 76.3%, respectively. The simple structure and reliable high processing quality of the proposed system will facilitate its implementation and medical applications.


title: Search for composite dark matter with optically levitated sensors

abstract: Results are reported from a search for a class of composite dark matter models with feeble, long-range interactions with normal matter. We search for impulses arising from passing dark matter particles by monitoring the mechanical motion of an optically levitated nanogram mass over the course of several days. Assuming such particles constitute the dominant component of dark matter, this search places upper limits on their interaction with neutrons of $\alpha_n \leq 1.2 \times 10^{-7}$ at 95\% confidence for dark matter masses between 1--10 TeV and mediator masses $m_\phi \leq 0.1$ eV. Due to the large enhancement of the cross-section for dark matter to coherently scatter from a nanogram mass ($\sim 10^{29}$ times that for a single neutron) and the ability to detect momentum transfers as small as $\sim$200 MeV/c, these results provide sensitivity to certain classes of composite dark matter models that substantially exceeds existing searches, including those employing kg-scale or ton-scale targets. Extensions of these techniques can enable directionally-sensitive searches for a broad class of previously inaccessible heavy dark matter candidates.

categories: hep-ex astro-ph.CO hep-ph physics.ins-det


title: Stripe phases in WSe2/WS2 moir\'e superlattices

abstract: Stripe phases, in which the rotational symmetry of charge density is spontaneously broken, occur in many strongly correlated systems with competing interactions. One representative example is the copper-oxide superconductors, where stripe order is thought to be relevant to the mechanism of high-temperature superconductivity. Identifying and studying the stripe phases in conventional strongly correlated systems are, however, challenging due to the complexity and limited tunability of these materials. Here we uncover stripe phases in WSe2/WS2 moir\'e superlattices with continuously gate-tunable charge densities by combining optical anisotropy and electronic compressibility measurements. We find strong electronic anisotropy over a large doping range peaked at 1/2 filling of the moir\'e superlattice. The 1/2-state is incompressible and assigned to a (insulating) stripe crystal phase. It can be continuously melted by thermal fluctuations around 35 K. The domain configuration revealed by wide-field imaging shows a preferential alignment along the high-symmetry axes of the moir\'e superlattice. Away from 1/2 filling, we observe additional stripe crystals at commensurate filling 1/4, 2/5 and 3/5. The anisotropy also extends into the compressible regime of the system at incommensurate fillings, indicating the presence of electronic liquid crystal states. The observed filling-dependent stripe phases agree with the theoretical phase diagram of the extended Hubbard model on a triangular lattice in the flat band limit. Our results demonstrate that two-dimensional semiconductor moir\'e superlattices are a highly tunable platform to study the stripe phases and their interplay with other symmetry breaking ground states.


title: Version Control of Speaker Recognition Systems

abstract: This paper discusses one of the most challenging practical engineering problems in speaker recognition systems - the version control of models and user profiles. A typical speaker recognition system consists of two stages: the enrollment stage, where a profile is generated from user-provided enrollment audio; and the runtime stage, where the voice identity of the runtime audio is compared against the stored profiles. As technology advances, the speaker recognition system needs to be updated for better performance. However, if the stored user profiles are not updated accordingly, version mismatch will result in meaningless recognition results. In this paper, we describe different version control strategies for speaker recognition systems that had been carefully studied at Google from years of engineering practice. These strategies are categorized into three groups according to how they are deployed in the production environment: device-side deployment, server-side deployment, and hybrid deployment. To compare different strategies with quantitative metrics under various network configurations, we present SpeakerVerSim, an easily-extensible Python-based simulation framework for different server-side deployment strategies of speaker recognition systems.


title: Mitigating backdoor attacks in LSTM-based Text Classification Systems by Backdoor Keyword Identification

abstract: It has been proved that deep neural networks are facing a new threat called backdoor attacks, where the adversary can inject backdoors into the neural network model through poisoning the training dataset. When the input containing some special pattern called the backdoor trigger, the model with backdoor will carry out malicious task such as misclassification specified by adversaries. In text classification systems, backdoors inserted in the models can cause spam or malicious speech to escape detection. Previous work mainly focused on the defense of backdoor attacks in computer vision, little attention has been paid to defense method for RNN backdoor attacks regarding text classification. In this paper, through analyzing the changes in inner LSTM neurons, we proposed a defense method called Backdoor Keyword Identification (BKI) to mitigate backdoor attacks which the adversary performs against LSTM-based text classification by data poisoning. This method can identify and exclude poisoning samples crafted to insert backdoor into the model from training data without a verified and trusted dataset. We evaluate our method on four different text classification datset: IMDB, DBpedia ontology, 20 newsgroups and Reuters-21578 dataset. It all achieves good performance regardless of the trigger sentences.


title: Validation of Sinus Drug Delivery Computational Fluid Dynamics (CFD) Modeling with In Vitro Gamma Scintigraphy

abstract: Background: Chronic rhinosinusitis (CRS) is a prevalent and disruptive disease. Medical management including nasal steroid sprays is the primary treatment modality. Computational fluid dynamics (CFD) has been used to characterize sinonasal airflow and intranasal drug delivery; however, variation in simulation methods indicates a need for large scale CFD model validation. Methods: Anatomic reconstructions of pre and post-operative CT scans of 3 functional endoscopic sinus surgery patients were created in Mimics(TM). Fluid analysis and drug particle deposition modeling were conducted using CFD methods with Fluent(TM) in 18 cases. Models were 3D printed and in vitro studies were performed using Tc99-labeled Nasacort(TM). Gamma scintigraphy signals and CFD-modeled spray mass were post-processed in a superimposed grid and compared. Statistical analysis using overlap coefficients (OCs) evaluated similarities between computational and experimental distributions and Kendall's tau rank correlation coefficient was employed to test independence. Results: OCs revealed strong agreement in percent deposition and grid profiles between CFD models and experimental results (mean [range] for sagittal, axial, and coronal grids were 0.69 [0.57], 0.61 [0.49], and 0.78 [0.44], respectively). Kendall's tau values showed strong agreement (average 0.73) between distributions, which were statistically significant (p < 0.05) apart from a single coronal grid in one model and two sagittal grids of another. Conclusions: CFD modeling demonstrates statistical agreement with in vitro experimental results. This validation study is one of the largest of its kind and supports the applicability of CFD in accurately modeling nasal spray drug delivery and using computational methods to investigate means of improving clinical drug delivery.


title: TSIT: A Simple and Versatile Framework for Image-to-Image Translation

abstract: We introduce a simple and versatile framework for image-to-image translation. We unearth the importance of normalization layers, and provide a carefully designed two-stream generative model with newly proposed feature transformations in a coarse-to-fine fashion. This allows multi-scale semantic structure information and style representation to be effectively captured and fused by the network, permitting our method to scale to various tasks in both unsupervised and supervised settings. No additional constraints (e.g., cycle consistency) are needed, contributing to a very clean and simple method. Multi-modal image synthesis with arbitrary style control is made possible. A systematic study compares the proposed method with several state-of-the-art task-specific baselines, verifying its effectiveness in both perceptual quality and quantitative evaluations.


title: E3-targetPred: Prediction of E3-Target Proteins Using Deep Latent Space Encoding

abstract: Understanding E3 ligase and target substrate interactions are important for cell biology and therapeutic development. However, experimental identification of E3 target relationships is not an easy task due to the labor-intensive nature of the experiments. In this article, a sequence-based E3-target prediction model is proposed for the first time. The proposed framework utilizes composition of k-spaced amino acid pairs (CKSAAP) to learn the relationship between E3 ligases and their target protein. A class separable latent space encoding scheme is also devised that provides a compressed representation of feature space. A thorough ablation study is performed to identify an optimal gap size for CKSAAP and the number of latent variables that can represent the E3-target relationship successfully. The proposed scheme is evaluated on an independent dataset for a variety of standard quantitative measures. In particular, it achieves an average accuracy of $70.63\%$ on an independent dataset. The source code and datasets used in the study are available at the author's GitHub page (https://github.com/psychemistz/E3targetPred).


title: Accretion of eroding pebbles and planetesimals in planetary envelopes

abstract: Wind erosion is a destructive mechanism that completely dissolves a weakly bound object like a planetesimal into its constituent particles, if the velocity relative to the ambient gas and the local gas pressure are sufficiently high. In numerical simulations we study the influence of such wind erosion on pebble and planetesimal accretion by a planetary body up to $10 R_\mathrm{Earth}$. Due to the rapid size reduction of an in-falling small body, the accretion outcome changes significantly. Erosion leads to a strong decrease in the accretion efficiency below a threshold size of the small body on the order of 10 m. This slows down pebble accretion significantly for a given size distribution of small bodies. The threshold radius of the small body increases with increasing planet radius and decreases with increasing semi-major axis. Within the parameters studied, an additional planetary atmosphere (up to 1 bar) is of minor importance.


title: Representation Sharing for Fast Object Detector Search and Beyond

abstract: Region Proposal Network (RPN) provides strong support for handling the scale variation of objects in two-stage object detection. For one-stage detectors which do not have RPN, it is more demanding to have powerful sub-networks capable of directly capturing objects of unknown sizes. To enhance such capability, we propose an extremely efficient neural architecture search method, named Fast And Diverse (FAD), to better explore the optimal configuration of receptive fields and convolution types in the sub-networks for one-stage detectors. FAD consists of a designed search space and an efficient architecture search algorithm. The search space contains a rich set of diverse transformations designed specifically for object detection. To cope with the designed search space, a novel search algorithm termed Representation Sharing (RepShare) is proposed to effectively identify the best combinations of the defined transformations. In our experiments, FAD obtains prominent improvements on two types of one-stage detectors with various backbones. In particular, our FAD detector achieves 46.4 AP on MS-COCO (under single-scale testing), outperforming the state-of-the-art detectors, including the most recent NAS-based detectors, Auto-FPN (searched for 16 GPU-days) and NAS-FCOS (28 GPU-days), while significantly reduces the search cost to 0.6 GPU-days. Beyond object detection, we further demonstrate the generality of FAD on the more challenging instance segmentation, and expect it to benefit more tasks.


title: HCMS at SemEval-2020 Task 9: A Neural Approach to Sentiment Analysis for Code-Mixed Texts

abstract: Problems involving code-mixed language are often plagued by a lack of resources and an absence of materials to perform sophisticated transfer learning with. In this paper we describe our submission to the Sentimix Hindi-English task involving sentiment classification of code-mixed texts, and with an F1 score of 67.1%, we demonstrate that simple convolution and attention may well produce reasonable results.


title: Detecting and Enumerating Small Induced Subgraphs in $c$-Closed Graphs

abstract: Fox et al. [SIAM J. Comp. 2020] introduced a new parameter, called $c$-closure, for a parameterized study of clique enumeration problems. A graph $G$ is $c$-closed if every pair of vertices with at least $c$ common neighbors is adjacent. The $c$-closure of $G$ is the smallest $c$ such that $G$ is $c$-closed. We systematically explore the impact of $c$-closure on the computational complexity of detecting and enumerating small induced subgraphs. More precisely, for each graph $H$ on three or four vertices, we investigate parameterized polynomial-time algorithms for detecting $H$ and for enumerating all occurrences of $H$ in a given $c$-closed graph.


title: Evidence of the ferroelectric polarization in charge transport through WTe$_2$ Weyl semimetal surface

abstract: We investigate electron transport along the surface of WTe$_2$ three-dimensional single crystals, which are characterized by coexistence of Weyl semimetal conductivity and ferroelectricity at room temperature. We find that non-linear behavior of $dV/dI(I)$ WTe$_2$ differential resistance is accompanied by slow relaxation process, which appears as the $dV/dI(I)$ dependence on the sign of the current change. This observation is confirmed by direct investigation of time-dependent relaxation curves. While strongly non-linear differential resistance should be expected for the zero-gap WTe$_2$, the slow relaxation in transport is very unusual for well-conducting semimetals at room temperature. We establish, that non-monotonous dependence of the amplitude of the effect on driving current $\Delta dV/dI(I)$ well corresponds to the known Sawyer-Tower's ferroelectric hysteresis loop. This conclusion is also confirmed by gate voltage dependencies, so our results can be understood as a direct demonstration of WTe$_2$ ferroelectric polarization in charge transport experiment.


title: 2D mobile breather scattering in a hexagonal crystal lattice

abstract: We describe, for the first time, the full 2D scattering of long-lived breathers in a model hexagonal lattice of atoms. The chosen system, representing an idealized model of mica, combines a Lennard-Jones interatomic potential with an "egg-box" harmonic potential well surface. We investigate the dependence of breather properties on the ratio of the well depths associated to the interaction and on-site potentials. High values of this ratio lead to large spatial displacements in adjacent chains of atoms and thus enhance the two dimensional character of the quasi-one-dimensional breather solutions. This effect is further investigated during breather-breather collisions by following the constrained energy density function in time for a set of randomly excited mobile breather solutions. Certain collisions lead to 60$^\circ$ scattering, and collisions of mobile and stationary breathers can generate a rich variety of states.


title: Vector boson polarizations in the decay of the Standard Model Higgs

abstract: The kinematic distributions of the lepton pairs produced in the decay of the Standard Model Higgs to ZZ and WW are related to the polarization fractions of the virtual vector bosons. The full amplitude can be decomposed analytically into a sum of polarized terms. Several observables, in particular the invariant mass of two charged leptons, one from each of the bosons, and the lepton angular distribution in the vector boson center of mass are shown to be sensitive to the boson polarizations.


title: NITS-Hinglish-SentiMix at SemEval-2020 Task 9: Sentiment Analysis For Code-Mixed Social Media Text Using an Ensemble Model

abstract: Sentiment Analysis is the process of deciphering what a sentence emotes and classifying them as either positive, negative, or neutral. In recent times, India has seen a huge influx in the number of active social media users and this has led to a plethora of unstructured text data. Since the Indian population is generally fluent in both Hindi and English, they end up generating code-mixed Hinglish social media text i.e. the expressions of Hindi language, written in the Roman script alongside other English words. The ability to adequately comprehend the notions in these texts is truly necessary. Our team, rns2020 participated in Task 9 at SemEval2020 intending to design a system to carry out the sentiment analysis of code-mixed social media text. This work proposes a system named NITS-Hinglish-SentiMix to viably complete the sentiment analysis of such code-mixed Hinglish text. The proposed framework has recorded an F-Score of 0.617 on the test data.


title: A Study on Evaluation Standard for Automatic Crack Detection Regard the Random Fractal

abstract: A reasonable evaluation standard underlies construction of effective deep learning models. However, we find in experiments that the automatic crack detectors based on deep learning are obviously underestimated by the widely used mean Average Precision (mAP) standard. This paper presents a study on the evaluation standard. It is clarified that the random fractal of crack disables the mAP standard, because the strict box matching in mAP calculation is unreasonable for the fractal feature. As a solution, a fractal-available evaluation standard named CovEval is proposed to correct the underestimation in crack detection. In CovEval, a different matching process based on the idea of covering box matching is adopted for this issue. In detail, Cover Area rate (CAr) is designed as a covering overlap, and a multi-match strategy is employed to release the one-to-one matching restriction in mAP. Extended Recall (XR), Extended Precision (XP) and Extended F-score (Fext) are defined for scoring the crack detectors. In experiments using several common frameworks for object detection, models get much higher scores in crack detection according to CovEval, which matches better with the visual performance. Moreover, based on faster R-CNN framework, we present a case study to optimize a crack detector based on CovEval standard. Recall (XR) of our best model achieves an industrial-level at 95.8, which implies that with reasonable standard for evaluation, the methods for object detection are with great potential for automatic industrial inspection.


title: Pressure Induced Enlargement and Ionic Current Rectification in Symmetric Nanopores

abstract: Nanopores in solid state membranes are a tool able to probe nanofluidic phenomena or can act as a single molecular sensor. They also have diverse applications in filtration, desalination or osmotic power generation. Many of these applications involve chemical, or hydrostatic pressure differences, which act on both the supporting membrane and the ion transport through the pore. By using pressure differences between the sides of the membrane, and an alternating current approach to probe ion transport, we investigate two distinct physical phenomena: the elastic deformation of the membrane through the measurment of strain at the nanopore, and the growth of ionic current rectification with pressure due to pore entrance effects.


title: Classical de Sitter solutions in three dimensions without tachyons?

abstract: We continue the study of compactifications of massive IIA supergravity on G2 orientifolds and demonstrate that breaking supersymmetry with anti-D2 and anti-D6 sources leads to 3d theories for which the typical tachyons haunting classical dS solutions can be absent. However for a concrete torus example the meta-stable dS window disappears after a quantization of fluxes and charges. We discuss the prospects of more general G2 compactifications and argue that they could potentially alleviate the tachyon problem by introducing larger tadpole numbers and warped throats. However, exactly those ingredients then seem to push the vacuum towards the brink of perturbative brane-flux decay in the open string sector. This is either a remarkable illustration of the no-dS swampland conjecture or such vacua live in very difficult to control regions of parameter space.


title: Augmentation adversarial training for self-supervised speaker recognition

abstract: The goal of this work is to train robust speaker recognition models without speaker labels. Recent works on unsupervised speaker representations are based on contrastive learning in which they encourage within-utterance embeddings to be similar and across-utterance embeddings to be dissimilar. However, since the within-utterance segments share the same acoustic characteristics, it is difficult to separate the speaker information from the channel information. To this end, we propose augmentation adversarial training strategy that trains the network to be discriminative for the speaker information, while invariant to the augmentation applied. Since the augmentation simulates the acoustic characteristics, training the network to be invariant to augmentation also encourages the network to be invariant to the channel information in general. Extensive experiments on the VoxCeleb and VOiCES datasets show significant improvements over previous works using self-supervision, and the performance of our self-supervised models far exceed that of humans.


title: Precession of timelike bound orbits in Kerr spacetime

abstract: Astrometric observations of S-stars provide a unique opportunity to probe the nature of Sagittarius-A* (Sgr-A*). In view of this, it has become important to understand the nature and behavior of timelike bound trajectories of particles around a massive central object. It is known now that whereas the Schwarzschild black hole does not allow the negative precession for the S-stars, the naked singularity spacetimes can admit the positive as well as negative precession for the bound timelike orbits. In this context, we study the perihelion precession of a test particle in the Kerr spacetime geometry. Considering some approximations, we investigate whether the timelike bound orbits of a test particle in Kerr spacetime can have negative precession. In this paper, we only consider low eccentric timelike equatorial orbits. With these considerations, we find that in Kerr spacetimes, negative precession of timelike bound orbits is not allowed.


title: Hide-and-Seek Privacy Challenge

abstract: The clinical time-series setting poses a unique combination of challenges to data modeling and sharing. Due to the high dimensionality of clinical time series, adequate de-identification to preserve privacy while retaining data utility is difficult to achieve using common de-identification techniques. An innovative approach to this problem is synthetic data generation. From a technical perspective, a good generative model for time-series data should preserve temporal dynamics, in the sense that new sequences respect the original relationships between high-dimensional variables across time. From the privacy perspective, the model should prevent patient re-identification by limiting vulnerability to membership inference attacks. The NeurIPS 2020 Hide-and-Seek Privacy Challenge is a novel two-tracked competition to simultaneously accelerate progress in tackling both problems. In our head-to-head format, participants in the synthetic data generation track (i.e. "hiders") and the patient re-identification track (i.e. "seekers") are directly pitted against each other by way of a new, high-quality intensive care time-series dataset: the AmsterdamUMCdb dataset. Ultimately, we seek to advance generative techniques for dense and high-dimensional temporal data streams that are (1) clinically meaningful in terms of fidelity and predictivity, as well as (2) capable of minimizing membership privacy risks in terms of the concrete notion of patient re-identification.


title: Pixel-Pair Occlusion Relationship Map(P2ORM): Formulation, Inference & Application

abstract: We formalize concepts around geometric occlusion in 2D images (i.e., ignoring semantics), and propose a novel unified formulation of both occlusion boundaries and occlusion orientations via a pixel-pair occlusion relation. The former provides a way to generate large-scale accurate occlusion datasets while, based on the latter, we propose a novel method for task-independent pixel-level occlusion relationship estimation from single images. Experiments on a variety of datasets demonstrate that our method outperforms existing ones on this task. To further illustrate the value of our formulation, we also propose a new depth map refinement method that consistently improve the performance of state-of-the-art monocular depth estimation methods. Our code and data are available at http://imagine.enpc.fr/~qiux/P2ORM/.


title: NLO QCD corrections to off-shell $\text{t}\bar{\text{t}}\text{W}^+$ production at the LHC

abstract: We present results of a computation of NLO QCD corrections to the production of an off-shell top--antitop pair in association with an off-shell $\text{W}^+$ boson in proton--proton collisions. As the calculation is based on the full matrix elements for the process $\text{p}\text{p}\to {\text{e}}^+\nu_{\text{e}}\,\mu^-\bar{\nu}_\mu\,\tau^+\nu_\tau\,{\text{b}}\,\bar{\text{b}}$, all off-shell, spin-correlation, and interference effects are included. The NLO QCD corrections are about $20\%$ for the integrated cross-section. Using a dynamical scale, the corrections to most distributions are at the same level, while some distributions show much larger $K$-factors in suppressed regions of phase space. We have performed a second calculation based on a double-pole approximation. While the corresponding results agree with the full calculation within few per cent for integrated cross-sections, the discrepancy can reach $10\%$ and more in regions of phase space that are not dominated by top--antitop production. As a consequence, on-shell calculations should only be trusted to this level of accuracy.


title: Exclusion of the fittest predicts microbial community diversity in fluctuating environments

abstract: Microorganisms live in environments that inevitably fluctuate between mild and harsh conditions. As harsh conditions may cause extinctions, the rate at which fluctuations occur can shape microbial communities and their diversity, but we still lack an intuition on how. Here, we build a mathematical model describing two microbial species living in an environment where substrate supplies randomly switch between abundant and scarce. We then vary the rate of switching as well as different properties of the interacting species, and measure the probability of the weaker species driving the stronger one extinct. We find that this probability increases with the strength of demographic noise under harsh conditions and peaks at either low, high, or intermediate switching rates depending on both species' ability to withstand the harsh environment. This complex relationship shows why finding patterns between environmental fluctuations and diversity has historically been difficult. In parameter ranges where the fittest species was most likely to be excluded, however, the beta diversity in larger communities also peaked. In sum, how environmental fluctuations affect interactions between a few species pairs predicts their effect on the beta diversity of the whole community.

categories: q-bio.PE cond-mat.stat-mech nlin.AO physics.bio-ph


title: Coupled Yu-Shiba-Rusinov states induced by a many-body molecular spin on a superconductor

abstract: A magnetic impurity on a superconductor induces Yu-Shiba-Rusinov (YSR) bound states, detected by tunneling spectroscopy as long-lived quasiparticle excitations inside the superconducting gap. Coupled YSR states constitute basic elements to engineer artificial superconducting states, but their substrate-mediated interactions are generally weak. In this paper, we report that intramolecular (Hund's like) exchange interactions produce coupled YSR states across a molecular platform. We measured YSR spectra along a magnetic iron-porphyrin on Pb(111) and found evidences of two orbital interaction channels, which invert their particle-hole asymmetry across the molecule. Numerical calculations show that the identical YSR asymmetry pattern of the two channels is caused by two spin-hosting orbitals with opposite potential scattering and coupled strongly. Both channels can be similarly excited by tunneling electrons into each orbital, depicting a new scenario for entangled superconducting bound states using molecular platforms.


title: Interfering tunneling paths through magnetic molecules on superconductors: Asymmetries of Kondo and Yu-Shiba-Rusinov resonances

abstract: Magnetic adsorbates on superconductors induce a Kondo resonance outside and Yu-Shiba-Rusinov (YSR) bound states inside the superconducting energy gap. When probed by scanning tunneling spectroscopy, the associated differential-conductance spectra frequently exhibit characteristic bias-voltage asymmetries. Here, we observe correlated variations of Kondo and YSR asymmetries across an Fe-porphyrin molecule adsorbed on Pb(111). We show that both asymmetries originate in interfering tunneling paths via a spin-carrying orbital and the highest occupied molecular orbital (HOMO). Strong evidence for this model comes from nodal planes of the HOMO, where tunneling reveals symmetric Kondo and YSR resonances. Our results establish an important mechanism for the asymmetries of Kondo and YSR lineshapes.


title: VLA Limits on Intermediate-Mass Black Holes in 19 Massive Globular Clusters

abstract: The NSF's Karl G.\ Jansky Very Large Array (VLA) was used at 3~cm to search for accretion signatures from intermediate-mass black holes (IMBHs) in 19 globular star clusters (GCs) in NGC\,3115, an early-type galaxy at a distance of 9.4 Mpc. The 19 have stellar masses $M_{\star} \sim (1.1 - 2.7) \times 10^6~M_\odot$, with a mean $\overline{M_{\star}} \sim 1.8 \times 10^6~M_\odot$. None were detected. An IMBH accretion model was applied to the individual GCs and their radio stack. The radio-stacked GCs have an IMBH mass $\overline{M_{\rm IMBH}} < 1.7 \times 10^5~M_\odot$ and mass fraction $\overline{M_{\rm IMBH}} / \overline{M_{\star}} < 9.5\%$, with each limit being uncertain by a factor of about 2.5. The latter limit contrasts with the extremes of some stripped nuclei, suggesting that the set of stacked GCs in NGC\,3115 is not a set of such nuclei. The radio luminosities of the individual GCs correspond to X-ray luminosities $L_{\rm X} < (3.3 - 10) \times 10^{38}$ erg~s$^{-1}$, with a factor of about 2.5 uncertainty. These limits predicted for putative IMBHs in the GCs are consistent with extant {\em Chandra} observations. Finally, a simulated observation with a next-generation VLA (ngVLA) demonstrates that accretion signatures from IMBHs in GCs can be detected in a radio-only search, yet elude detection in an X-ray-only search due to confusion from X-ray binaries in the GCs.


title: Reinforcement Learning Assisted Load Test Generation for E-Commerce Applications

abstract: Background: End-user satisfaction is not only dependent on the correct functioning of the software systems but is also heavily dependent on how well those functions are performed. Therefore, performance testing plays a critical role in making sure that the system responsively performs the indented functionality. Load test generation is a crucial activity in performance testing. Existing approaches for load test generation require expertise in performance modeling, or they are dependent on the system model or the source code. Aim: This thesis aims to propose and evaluate a model-free learning-based approach for load test generation, which doesn't require access to the system models or source code. Method: In this thesis, we treated the problem of optimal load test generation as a reinforcement learning (RL) problem. We proposed two RL-based approaches using q-learning and deep q-network for load test generation. In addition, we demonstrated the applicability of our tester agents on a real-world software system. Finally, we conducted an experiment to compare the efficiency of our proposed approaches to a random load test generation approach and a baseline approach. Results: Results from the experiment show that the RL-based approaches learned to generate effective workloads with smaller sizes and in fewer steps. The proposed approaches led to higher efficiency than the random and baseline approaches. Conclusion: Based on our findings, we conclude that RL-based agents can be used for load test generation, and they act more efficiently than the random and baseline approaches.


title: Commutative matching Rota-Baxter operators, shuffle products with decorations and matching Zinbiel algebras

abstract: The Rota-Baxter algebra and the shuffle product are both algebraic structures arising from integral operators and integral equations. Free commutative Rota-Baxter algebras provide an algebraic framework for integral equations with the simple Riemann integral operator. The Zinbiel algebras form a category in which the shuffle product algebra is the free object. Motivated by algebraic structures underlying integral equations involving multiple integral operators and kernels, we study commutative matching Rota-Baxter algebras and construct the free objects making use of the shuffle product with multiple decorations. We also construct free commutative matching Rota-Baxter algebras in a relative context, to emulate the action of the integral operators on the coefficient functions in an integral equation. We finally show that free commutative \match Rota-Baxter algebras give the free matching Zinbiel algebra, generalizing the characterization of the shuffle product algebra as the free Zinbiel algebra obtained by Loday.


title: First branching fraction measurement of the suppressed decay $\Xi_c^0\to \pi^-\Lambda_c^+$

abstract: The $\Xi_c^0$ baryon is unstable and usually decays into charmless final states by the $c \to s u\overline{d}$ transition. It can, however, also disintegrate into a $\pi^-$ meson and a $\Lambda_c^+$ baryon via $s$ quark decay or via $cs\to d c$ weak scattering. The interplay between the latter two processes governs the size of the branching fraction ${\cal{B}}$$(\Xi_c^0\to \pi^-\Lambda_c^+)$, first measured here to be $(0.55\pm 0.02 \pm 0.18)$%, where the first uncertainty is statistical and second systematic. This result is compatible with the larger of the theoretical predictions that connect models of hyperon decays using partially conserved axial currents and SU(3) symmetry with those involving the heavy-quark expansion and heavy-quark symmetry. In addition, the branching fraction of the normalization channel, ${\cal{B}}(\Xi_c^+\to p K^- \pi^+) = (1.135 \pm 0.002 \pm 0.387)$% is measured.


title: A new upper bound for separating words

abstract: We prove that for any distinct $x,y \in \{0,1\}^n$, there is a deterministic finite automaton with $\widetilde{O}(n^{1/3})$ states that accepts $x$ but not $y$. This improves Robson's 1989 upper bound of $\widetilde{O}(n^{2/5})$.


title: Optimal Transport using GANs for Lineage Tracing

abstract: In this paper, we present Super-OT, a novel approach to computational lineage tracing that combines a supervised learning framework with optimal transport based on Generative Adversarial Networks (GANs). Unlike previous approaches to lineage tracing, Super-OT has the flexibility to integrate paired data. We benchmark Super-OT based on single-cell RNA-seq data against Waddington-OT, a popular approach for lineage tracing that also employs optimal transport. We show that Super-OT achieves gains over Waddington-OT in predicting the class outcome of cells during differentiation, since it allows the integration of additional information during training.


title: PP-YOLO: An Effective and Efficient Implementation of Object Detector

abstract: Object detection is one of the most important areas in computer vision, which plays a key role in various practical scenarios. Due to limitation of hardware, it is often necessary to sacrifice accuracy to ensure the infer speed of the detector in practice. Therefore, the balance between effectiveness and efficiency of object detector must be considered. The goal of this paper is to implement an object detector with relatively balanced effectiveness and efficiency that can be directly applied in actual application scenarios, rather than propose a novel detection model. Considering that YOLOv3 has been widely used in practice, we develop a new object detector based on YOLOv3. We mainly try to combine various existing tricks that almost not increase the number of model parameters and FLOPs, to achieve the goal of improving the accuracy of detector as much as possible while ensuring that the speed is almost unchanged. Since all experiments in this paper are conducted based on PaddlePaddle, we call it PP-YOLO. By combining multiple tricks, PP-YOLO can achieve a better balance between effectiveness (45.2% mAP) and efficiency (72.9 FPS), surpassing the existing state-of-the-art detectors such as EfficientDet and YOLOv4.Source code is at https://github.com/PaddlePaddle/PaddleDetection.


title: Deep Active Learning by Model Interpretability

abstract: Recent successes of Deep Neural Networks (DNNs) in a variety of research tasks, however, heavily rely on the large amounts of labeled samples. This may require considerable annotation cost in real-world applications. Fortunately, active learning is a promising methodology to train high-performing model with minimal annotation cost. In the deep learning context, the critical question of active learning is how to precisely identify the informativeness of samples for DNN. In this paper, inspired by piece-wise linear interpretability in DNN, we introduce the linearly separable regions of samples to the problem of active learning, and propose a novel Deep Active learning approach by Model Interpretability (DAMI). To keep the maximal representativeness of the entire unlabeled data, DAMI tries to select and label samples on different linearly separable regions introduced by the piece-wise linear interpretability in DNN. We focus on modeling Multi-Layer Perception (MLP) for modeling tabular data. Specifically, we use the local piece-wise interpretation in MLP as the representation of each sample, and directly run K-Center clustering to select and label samples. To be noted, this whole process of DAMI does not require any hyper-parameters to tune manually. To verify the effectiveness of our approach, extensive experiments have been conducted on several tabular datasets. The experimental results demonstrate that DAMI constantly outperforms several state-of-the-art compared approaches.


title: Learning Differentiable Programs with Admissible Neural Heuristics

abstract: We study the problem of learning differentiable functions expressed as programs in a domain-specific language. Such programmatic models can offer benefits such as composability and interpretability; however, learning them requires optimizing over a combinatorial space of program "architectures". We frame this optimization problem as a search in a weighted graph whose paths encode top-down derivations of program syntax. Our key innovation is to view various classes of neural networks as continuous relaxations over the space of programs, which can then be used to complete any partial program. This relaxed program is differentiable and can be trained end-to-end, and the resulting training loss is an approximately admissible heuristic that can guide the combinatorial search. We instantiate our approach on top of the A-star algorithm and an iteratively deepened branch-and-bound search, and use these algorithms to learn programmatic classifiers in three sequence classification tasks. Our experiments show that the algorithms outperform state-of-the-art methods for program learning, and that they discover programmatic classifiers that yield natural interpretations and achieve competitive accuracy.


title: Efficient and near-optimal algorithms for sampling small connected subgraphs

abstract: We study the following problem: given an integer $k \ge 3$ and a simple graph $G$, sample a connected induced $k$-node subgraph of $G$ uniformly at random. This is a fundamental graph mining primitive with applications in social network analysis, bioinformatics, and more. Surprisingly, no efficient algorithm is known for uniform sampling; the only somewhat efficient algorithms available yield samples that are only approximately uniform, with running times that are unclear or suboptimal. In this work we provide: (i) a near-optimal mixing time bound for a well-known random walk technique, (ii) the first efficient algorithm for truly uniform graphlet sampling, and (iii) the first sublinear-time algorithm for $\epsilon$-uniform graphlet sampling.


title: An APEX survey of outflow and infall toward the youngest protostars in Orion

abstract: We aim to characterize the outflow properties of a sample of early Class 0 phase low-mass protostars in Orion first identified by the Herschel Space Observatory. We also look for signatures of infall in key molecular lines. CO $J$=3-2 and $J$=4-3 maps toward 16 very young Class 0 protostars were obtained using the Atacama Pathfinder EXperiment (APEX) telescope. We search the data for line wings indicative of outflows and calculate masses, velocities, and dynamical times for the outflows. We use additional HCO$^+$, H$^{13}$CO$^+$, and NH$_3$ lines to look for infall signatures toward the protostars. We estimate the outflow masses, forces, and mass-loss rates based on the CO $J$=3-2 and $J$=4-3 line intensities for 8 sources with detected outflows. We derive upper limits for the outflow masses and forces of sources without clear outflow detections. The total outflow masses for the sources with clear outflow detections are in the range between 0.03 and 0.16 $M_\odot$ for CO $J$=3-2, and in the range between 0.02 and 0.10 $M_\odot$ for CO $J$=4-3. The outflow forces are in the range between $1.57\times10^{-4}$ and $1.16\times10^{-3}$ $M_\odot$ km s$^{-1}$ yr$^{-1}$ for CO $J$=3-2 and in the range between $1.14\times10^{-4}$ and $6.92\times10^{-4}$ $M_\odot$ km s$^{-1}$ yr$^{-1}$ for CO $J$=4-3. Nine protostars in our sample show asymmetric line profiles indicative of infall in HCO$^+$, compared to H$^{13}$CO$^+$ or NH$_3$. The outflow forces of the protostars in our sample show no correlation with the bolometric luminosity, unlike those found by some earlier studies for other Class 0 protostars. The derived outflow forces for the sources with detected outflows are similar to those found for other - more evolved - Class 0 protostars, suggesting that outflows develop quickly in the Class 0 phase.


title: Leveraging Bottom-Up and Top-Down Attention for Few-Shot Object Detection

abstract: Few-shot object detection aims at detecting objects with few annotated examples, which remains a challenging research problem yet to be explored. Recent studies have shown the effectiveness of self-learned top-down attention mechanisms in object detection and other vision tasks. The top-down attention, however, is less effective at improving the performance of few-shot detectors. Due to the insufficient training data, object detectors cannot effectively generate attention maps for few-shot examples. To improve the performance and interpretability of few-shot object detectors, we propose an attentive few-shot object detection network (AttFDNet) that takes the advantages of both top-down and bottom-up attention. Being task-agnostic, the bottom-up attention serves as a prior that helps detect and localize naturally salient objects. We further address specific challenges in few-shot object detection by introducing two novel loss terms and a hybrid few-shot learning strategy. Experimental results and visualization demonstrate the complementary nature of the two types of attention and their roles in few-shot object detection. Codes are available at https://github.com/chenxy99/AttFDNet.


title: Formalizing Nakamoto-Style Proof of Stake

abstract: Fault-tolerant distributed systems move the trust in a single party to a majority of parties participating in the protocol. This makes blockchain based crypto-currencies possible: they allow parties to agree on a total order of transactions without a trusted third party. To trust a distributed system, the security of the protocol and the correctness of the implementation must be indisputable. We present the first machine checked proof that guarantees both safety and liveness for a consensus algorithm. We verify a Proof of Stake (PoS) Nakamoto-style blockchain (NSB) protocol, using the foundational proof assistant Coq. In particular, we consider a PoS NSB in a synchronous network with a static set of corrupted parties. We define execution semantics for this setting and prove chain growth, chain quality, and common prefix which together imply both safety and liveness.


title: How to reveal the nature of three or more pentaquark states?

abstract: Within the chiral unitary approach and with the constraints of heavy quark spin symmetry, we study the coupled channel interactions of ${\bar D}^{(*)}\Sigma_c^{(*)}$ channels, close to whose thresholds three pentaquark-like $P_c$ states have been reported by the LHCb Collaboration. In the present work, we take into account the contributions of pion exchanges via box diagrams to the interaction potentials, and therefore lift the degeneracy in the masses of ${\bar D}^*\Sigma_c^{(*)}$ spin multiplets. Fitting the $J/\psi p$ invariant mass distributions in the $\Lambda_b^0 \to J/\psi K^- p$ decay, we find that the LHCb pentaquark states can not be reproduced in the direct $J/\psi p$ production in the $\Lambda_b^0$ decay, and can only be indirectly produced in the final state interactions of the $\Lambda_b^0$ decay products, ${\bar D}^*\Sigma_c^{(*)}$, which further supports the nature of these states as $\bar{D}\Sigma_c$ molecules. Based on the fit results obtained, we study the partial decay widths/branching ratios to other decay channels, $\bar{D}^* \Lambda_c$, $\bar{D} \Lambda_c$, and $\eta_c N$, and the corresponding invariant mass distributions. The resonances with $J^P=\frac{1}{2}^-$, $P_c(4312)$, $P_c(4440)$ and the one of $\bar{D}^* \Sigma_c^*$ around 4500 MeV, have large partial decay width into $\eta_c N$, and thus, can be easily seen in the $\eta_c N$ invariant mass distributions. By contrast, the states with $J^P=\frac{3}{2}^-$, $P_c(4457)$, the (predicted) narrow $P_c(4380)$ and the bound state of $\bar{D}^* \Sigma_c^*$ with a mass of about 4520 MeV, do not decay into $\eta_c N$. Therefore, the $\eta_c N$ channel should be studied in future to provide further insights into the nature of these states, especially that of the $P_c(4440)$ and $P_c(4457)$.


title: Few-Shot Object Detection and Viewpoint Estimation for Objects in the Wild

abstract: Detecting objects and estimating their viewpoints in images are key tasks of 3D scene understanding. Recent approaches have achieved excellent results on very large benchmarks for object detection and viewpoint estimation. However, performances are still lagging behind for novel object categories with few samples. In this paper, we tackle the problems of few-shot object detection and few-shot viewpoint estimation. We demonstrate on both tasks the benefits of guiding the network prediction with class-representative features extracted from data in different modalities: image patches for object detection, and aligned 3D models for viewpoint estimation. Despite its simplicity, our method outperforms state-of-the-art methods by a large margin on a range of datasets, including PASCAL and COCO for few-shot object detection, and Pascal3D+ and ObjectNet3D for few-shot viewpoint estimation. Furthermore, when the 3D model is not available, we introduce a simple category-agnostic viewpoint estimation method by exploiting geometrical similarities and consistent pose labelling across different classes. While it moderately reduces performance, this approach still obtains better results than previous methods in this setting. Last, for the first time, we tackle the combination of both few-shot tasks, on three challenging benchmarks for viewpoint estimation in the wild, ObjectNet3D, Pascal3D+ and Pix3D, showing very promising results.


title: Optimization of Processing Allocation in Vehicular Edge Cloud based Architecture

abstract: Vehicular edge computing is a new distributed processing architecture that exploits the revolution in the processing capabilities of vehicles to provide energy efficient services and low delay for Internet of Things (IoT)-based systems. Edge computing relies on a set of distributed processing nodes (i.e. vehicles) that are located close to the end user. In this paper, we consider a vehicular edge cloud (VEC) consisting of a set of vehicle clusters that form a temporal vehicular cloud by combining their computational resources in the cluster. We tackle the problem of processing allocation in the proposed vehicular edge architecture by developing a Mixed Integer Linear Programming (MILP) optimization model that jointly minimizes power consumption, propagation delay, and queuing delay. The results show that the closer the processing node (PN) is to the access point (AP), the lower the power consumption and delay, as the distance and number of hops affect the propagation delay and queuing delay. However, the queuing delay at the AP becomes a limiting factor when it operates at a low service rate compared to the traffic arrival rate. Thus, processing tasks at the vehicular nodes (VN) was avoided whenever the objective function included queueing delay and the AP operated at a low service rate. Increase in the AP service rate results in a lower queuing delay and better VN utilization.


title: Random words in free groups, non-crossing matchings and RNA secondary structures

abstract: Consider a random word $X^n=(X_1,\ldots ,X_n)$ in an alphabet consisting of $4$ letters, with the letters viewed either as $A$, $U$, $G$ and $C$ (i.e., nucleotides in an RNA sequence) or $\alpha$, $\bar{\alpha}$, $\beta$ and $\bar{\beta}$ (i.e., generators of the free group $\langle\alpha,\beta\rangle$ and their inverses). We show that the expected fraction $\rho(n)$ of unpaired bases in an optimal RNA secondary structure (with only Watson-Crick bonds and no pseudo-knots) converges to a constant $\lambda_2$ with $0<\lambda_2<1$ as $n\to\infty$. Thus, a positive proportion of the bases of a random RNA string do not form hydrogen bonds. We do not know the exact value of $\lambda_2$, but we derive upper and lower bounds for it. In terms of free groups, $\rho(n)$ is the ratio of the length of the shortest word representing $X$ in the generating set consisting of conjugates of generators and their inverses to the word length of $X$ with respect to the standard generators and their inverses. Thus for a typical word the word length in the (infinite) generating set consisting of the conjugates of standard generators grows linearly with the word length in the standard generators. In fact, we show that a similar result holds for all non-abelian finitely generated free groups $\langle\alpha_1,\dots,\alpha_k\rangle$, $k\geq 2$.


title: AT2018kzr: the merger of an oxygen-neon white dwarf and a neutron star or black hole

abstract: We present detailed spectroscopic analysis of the extraordinarily fast-evolving transient AT2018kzr. The transient's observed lightcurve showed a rapid decline rate, comparable to the kilonova AT2017gfo. We calculate a self-consistent sequence of radiative transfer models (using TARDIS) and determine that the ejecta material is dominated by intermediate-mass elements (O, Mg and Si), with a photospheric velocity of $\sim$12000-14500km/s. The early spectra have the unusual combination of being blue but dominated by strong FeII and FeIII absorption features. We show that this combination is only possible with a high Fe content (3.5%). This implies a high Fe/(Ni+Co) ratio. Given the short time from the transient's proposed explosion epoch, the Fe cannot be $^{56}$Fe resulting from the decay of radioactive $^{56}$Ni synthesised in the explosion. Instead, we propose that this is stable $^{54}$Fe, and that the transient is unusually rich in this isotope. We further identify an additional, high-velocity component of ejecta material at $\sim$20000-26000km/s, which is mildly asymmetric and detectable through the CaII NIR triplet. We discuss our findings with reference to a range of plausible progenitor systems and compare with published theoretical work. We conclude that AT2018kzr is most likely the result of a merger between an ONe white dwarf and a neutron star or black hole. As such, it would be the second plausible candidate with a good spectral sequence for the electromagnetic counterpart of a compact binary merger, after AT2017gfo.


title: Colour-biased Hamilton cycles in random graphs

abstract: We prove that a random graph $G(n,p)$, with $p$ above the Hamiltonicity threshold, is typically such that for any $r$-colouring of its edges there exists a Hamilton cycle with at least $(2/(r+ 1)-o(1))n$ edges of the same colour. This estimate is asymptotically optimal.


title: HeRTA: Heaviside Real-Time Analysis

abstract: We investigate the mathematical properties of event bound functions as they are used in the worst-case response time analysis and utilization tests. We figure out the differences and similarities between the two approaches. Based on this analysis, we derive a more general form do describe events and event bounds. This new unified approach gives clear new insights in the investigation of real-time systems, simplifies the models and will support algebraic proofs in future work. In the end, we present a unified analysis which allows the algebraic definition of any scheduler. Introducing such functions to the real-time scheduling theory will lead two a more systematic way to integrate new concepts and applications to the theory. Last but not least, we show how the response time analysis in dynamic scheduling can be improved.


title: Dynamics of large deviations in the hydrodynamic limit: Non-interacting systems

abstract: We study the dynamics of the statistics of the energy transferred across a point along a quantum chain which is prepared in the inhomogeneous initial state obtained by joining two identical semi-infinite parts thermalized at two different temperatures. In particular, we consider the transverse field Ising and harmonic chains as prototypical models of non-interacting fermionic and bosonic excitations, respectively. Within the so-called hydrodynamic limit of large space-time scales we first discuss the mean values of the energy density and current, and then, aiming at the statistics of fluctuations, we calculate exactly the scaled cumulant generating function of the transferred energy. From the latter, the evolution of the associated large deviation function is obtained. A natural interpretation of our results is provided in terms of a semi-classical picture of quasi-particles moving ballistically along classical trajectories. Similarities and differences between the transferred energy scaled cumulant and the large deviation functions in the cases of non-interacting fermions and bosons are discussed.


title: Singularity formation and regularization at multiple times in the viscous Hamilton-Jacobi equation

abstract: The Cauchy-Dirichlet pbm for the superquadratic viscous Hamilton-Jacobi eqn (VHJ), which has important applications in stochastic control theory, admits a unique, global viscosity solution. Sol. thus exist in the weak sense after appearance of singularity in finite time, which occurs through gradient blow-up (GBU) on the boundary. Whereas theory of visc. sol. has been extensively studied and applied to many PDEs, there are less results on refined behavior of sol. In particular, detailed behavior of visc. sol. of VHJ after GBU has remained mostly open. Here, in general dim., for each $m\ge 1$ we construct sol. which undergo GBU and LBC at least at $m$ times and then recover regularity, as well as sol. that exhibit GBU without LBC at 1st blowup time. In 1d, we obtain the complete classification of visc. sol. at each time, which extends to radial cases in higher d. Furthermore for each $m\ge 2$ and arbitrarily given combination of GBU types with/without LBC at $m$ times in arbitrarily given order, we show exist. of a sol. with this exact combination of GBU. Some sol. display a new type of behavior called "bouncing". Global weak sol. of VHJ with multiple time singularity turn out to display larger variety of behaviors than for the Fujita eqn. We introduce a method based on an arbitrary number of critical parameters, whose continuity requires a delicate argument. Since we do not rely on any known special sol. unlike in Fujita eqn, our method is expected to apply to other eqns. Singular behaviors at multiple times are completely new in the context of VHJ but also of stochastic control theory. In this framework our results imply that for certain spatial distributions of rewards, if a controled Brownian particle starts near the boundary, then the net gain attains profitable values on different time horizons but not on some intermediate times.


title: Holographic Floquet states in low dimensions (I)

abstract: We study the response of a (2+1)-dimensional gauge theory to an external rotating electric field. In the strong coupling regime such system is formulated holographically in a top-down model constructed by intersecting D3- and D5-branes along 2+1 dimensions, in the quenched approximation, in which the D5-brane is a probe in the AdS_5 x S^5 geometry. The system has a non-equilibrium phase diagram with conductive and insulator phases. The external driving induces a rotating current due to vacuum polarization (in the insulator phase) and to Schwinger effect (in the conductive phase). For some particular values of the driving frequency the external field resonates with the vector mesons of the model and a rotating current can be produced even in the limit of vanishing driving field. These features are in common with the (3+1) dimensional setup based on the D3-D7 brane model and hint on some interesting universality. We also compute the conductivities paying special attention to the photovoltaic induced Hall effect, which is only present for massive charged carriers. In the vicinity of the Floquet condensate the optical Hall coefficient persists at zero driving field, signalling time reversal symmetry breaking.


title: Experimental behaviour of a three-stage metal hydride hydrogen compressor

abstract: A three-stage metal hydride hydrogen compressor (MHHC) system based in AB2-type alloys has been set-up. Every stage can be considered as a Sieverts-type apparatus. The MHHC system can work in the pressure and temperature ranges comprised from vacuum to 250 bar and from RT to 200C, respectively. An efficient thermal management system was set up for the operational ranges of temperature designed. It dumps temperature shifts due to hydrogen expansion during stage coupling and hydrogen absorption/desorption in the alloys. Each reactor consists of a single and thin stainless-steel tube to maximize heat transfer. They are filled with similar amount of AB2 alloy. The MHHC system was able to produce a compression ratio (CR) as high as of 84.7 for inlet and outlet hydrogen pressures of 1.44 and 122 bar for a temperature span of 23 to 120C.


title: Silhouette Vectorization by Affine Scale-space

abstract: Silhouettes or 2D planar shapes are extremely important in human communication, which involves many logos, graphics symbols and fonts in vector form. Many more shapes can be extracted from image by binarization or segmentation, thus in raster form that requires a vectorization. There is a need for disposing of a mathematically well defined and justified shape vectorization process, which in addition provides a minimal set of control points with geometric meaning. In this paper we propose a silhouette vectorization method which extracts the outline of a 2D shape from a raster binary image, and converts it to a combination of cubic B\'{e}zier polygons and perfect circles. Starting from the boundary curvature extrema computed at sub-pixel level, we identify a set of control points based on the affine scale-space induced by the outline. These control points capture similarity invariant geometric features of the given silhouette and give precise locations of the shape's corners.of the given silhouette. Then, piecewise B\'{e}zier cubics are computed by least-square fitting combined with an adaptive splitting to guarantee a predefined accuracy. When there are no curvature extrema identified, either the outline is recognized as a circle using the isoperimetric inequality, or a pair of the most distant outline points are chosen to initiate the fitting. Given their construction, most of our control points are geometrically stable under affine transformations. By comparing with other feature detectors, we show that our method can be used as a reliable feature point detector for silhouettes. Compared to state-of-the-art image vectorization software, our algorithm demonstrates superior reduction on the number of control points, while maintaining high accuracy.


title: The Regge limit of AdS$_3$ holographic correlators

abstract: We study the Regge limit of 4-point AdS$_3 \times S^3$ correlators in the tree-level supergravity approximation and provide various explicit checks of the relation between the eikonal phase derived in the bulk picture and the anomalous dimensions of certain double-trace operators. We consider both correlators involving all light operators and HHLL correlators with two light and two heavy multi-particle states. These heavy operators have a conformal dimension proportional to the central charge and are pure states of the theory, dual to asymptotically AdS$_3 \times S^3$ regular geometries. Deviation from AdS$_3 \times S^3$ is parametrised by a scale $\mu$ and is related to the conformal dimension of the dual heavy operator. In the HHLL case, we work at leading order in $\mu$ and derive the CFT data relevant to the bootstrap relations in the Regge limit. Specifically, we show that the minimal solution to these equations relevant for the conical defect geometries is different to the solution implied by the microstate geometries dual to pure states.


title: Deformation and Unobstructedness of Determinantal Schemes

abstract: Let $Hilb ^{p(t)}(P^n)$ be the Hilbert scheme of closed subschemes of $P^n$ with Hilbert polynomial $p(t) \in Q[t]$, and let $W:= \overline{W(\underline{b};\underline{a};r)}$ be the closure of the locus in $Hilb ^{p(t)}(P^n)$ of determinantal schemes defined by the vanishing of the $(t-r+1)\times (t - r+1)$ minors of some matrix $\mathcal A$ of size $t\times (t+c-1)$ with $ij$-enty a homogeneous form of degree $a_j-b_i$ and with $r$ satisfying $\max\{1,2-c\} \le r < t$. $W$ is an irreducible algebraic set. First of all, we compute an upper $r$-independent bound for the dimension of $W$ in terms of $a_j$ and $b_i$ which is sharp for $r=1$. In the linear case ($a_j = 1, b_i=0$) and cases sufficiently close, we conjecture and to a certain degree prove that this bound is achieved for all $r$. Then, we study to what extent $W$ is a generically smooth component of $Hilb ^{p(t)}(P^n)$. Under some weak numerical assumptions on the integers $a_j$ and $b_i$ (or under some depth conditions) we conjecture and often prove that $W$ is a generically smooth component. Moreover, we also study the depth of the normal module of the homogeneous coordinate ring of $(X)\in W$ and of a closely related module. We conjecture, and in some cases prove, that their codepth is often 1 (resp. $r$). These results extend previous results on standard determinantal schemes to determinantal schemes; i.e. previous results of the authors on $W(\underline{b};\underline{a};1)$ to $W$ with $1\le r < t$ and $c\ge 2-r$. Finally, deformations of exterior powers of the cokernel of the map determined by $\mathcal A$ are studied and proven to be given as deformations of $X \subset P^n$ if $\dim X \ge 3$. The work contains many examples which illustrate the results obtained and a considerable number of open problems; some of them are collected as conjectures in the final section.


title: The Asymmetric Travelling Salesman Problem in Sparse Digraphs

abstract: Asymmetric Travelling Salesman Problem (ATSP) and its special case Directed Hamiltonicity are among the most fundamental problems in computer science. The dynamic programming algorithm running in time $O^*(2^n)$ developed almost 60 years ago by Bellman, Held and Karp, is still the state of the art for both of these problems. In this work we focus on sparse digraphs. First, we recall known approaches for Undirected Hamiltonicity and TSP in sparse graphs and we analyse their consequences for Directed Hamiltonicity and ATSP in sparse digraphs, either by adapting the algorithm, or by using reductions. In this way, we get a number of running time upper bounds for a few classes of sparse digraphs, including $O^*(2^{n/3})$ for digraphs with both out- and indegree bounded by 2, and $O^*(3^{n/2})$ for digraphs with outdegree bounded by 3. Our main results are focused on digraphs of bounded average outdegree $d$. The baseline for ATSP here is a simple enumeration of cycle covers which can be done in time bounded by $O^*(\mu(d)^n)$ for a function $\mu(d)\le(\lceil{d}\rceil!)^{1/{\lceil{d}\rceil}}$. One can also observe that Directed Hamiltonicity can be solved in randomized time $O^*((2-2^{-d})^n)$ and polynomial space, by adapting a recent result of Bj\"{o}rklund [ISAAC 2018] stated originally for Undirected Hamiltonicity in sparse bipartite graphs. We present two new deterministic algorithms for ATSP: the first running in time $O(2^{0.441(d-1)n})$ and polynomial space, and the second in exponential space with running time of $O^*(\tau(d)^{n/2})$ for a function $\tau(d)\le d$.


title: New X-shaped bulge photometric model as a tool for measuring B/PS bulges and their X-structures in photometric studies

abstract: Recent orbital studies of 3D bar structure in various numerical and analytical models show that X-structures that reside in boxy/peanut-shaped (B/PS) bulges are not delineated by some specific type of orbits, but are natural parts of them and formed by the same orbits that constitute such bulges. This implies that to accurately account for B/PS bulges and their X-structures in photometric studies, one needs the photometric model of B/PS bulge that includes an X-structure as its natural part. To find such a model, we considered a self-consistent numerical galaxy model where a typical B/PS bulge arises. Using spectral characteristics of particle-"stars", we decomposed the galaxy model onto the bar and non-bar components. We used the extracted 3D bar component to find an appropriate B/PS bulge photometric model, which can account for X-structures residing in such bulges. The resulted B/PS bulge photometric model has a truncated 2D Sersic profile with truncations introduced above (in the upper half-plane) and below (in the bottom half-plane) the rays of X-structures. We applied this model to represent B/PS bulges of various numerical models and some real galaxies. The comparison with previous works revealed that there are systematic shifts between the X-structure parameters of the same galaxies measured within the different approaches. We found that the geometric parameters of X-structures of real and modelled galaxies are consistent with each other if we measure them using our new model.


title: Hidden Symmetries, the Bianchi Classification and Geodesics of the Quantum Geometric Ground-State Manifolds

abstract: We study the Killing vectors of the quantum ground-state manifold of a parameter-dependent Hamiltonian. We find that the manifold may have symmetries that are not visible at the level of the Hamiltonian and that different quantum phases of matter exhibit different symmetries. We propose a Bianchi-based classification of the various ground-state manifolds using the Lie algebra of the Killing vector fields. Moreover, we explain how to exploit these symmetries to find geodesics and explore their behaviour when crossing critical lines. We briefly discuss the relation between geodesics, energy fluctuations and adiabatic preparation protocols. Our primary example is the anisotropic transverse-field Ising model. We also analyze the Ising limit and find analytic solutions to the geodesic equations for both cases.


title: Receding Horizon Control Based Online Motion Planning with Partially Infeasible LTL Specifications

abstract: This work considers online optimal motion planning of an autonomous agent subject to linear temporal logic (LTL) constraints. The environment is dynamic in the sense of containing mobile obstacles and time-varying areas of interest (i.e., time-varying reward and workspace properties) to be visited by the agent. Since user-specified tasks may not be fully realized (i.e., partially infeasible), this work considers hard and soft LTL constraints, where hard constraints enforce safety requirement (e.g. avoid obstacles) while soft constraints represent tasks that can be relaxed to not strictly follow user specifications. The motion planning of the agent is to generate policies, in decreasing order of priority, to 1) formally guarantee the satisfaction of safety constraints; 2) mostly satisfy soft constraints (i.e., minimize the violation cost if desired tasks are partially infeasible); and 3) optimize the objective of rewards collection (i.e., visiting dynamic areas of more interests). To achieve these objectives, a relaxed product automaton, which allows the agent to not strictly follow the desired LTL constraints, is constructed. A utility function is developed to quantify the differences between the revised and the desired motion plan, and the accumulated rewards are designed to bias the motion plan towards those areas of more interests. Receding horizon control is synthesized with an LTL formula to maximize the accumulated utilities over a finite horizon, while ensuring that safety constraints are fully satisfied and soft constraints are mostly satisfied. Simulation and experiment results are provided to demonstrate the effectiveness of the developed motion strategy.


title: Nonparametric Tests in Linear Model with Autoregressive Errors

abstract: In the linear regression model with possibly autoregressive errors, we propose a family of nonparametric tests for regression under a nuisance autoregression. The tests avoid the estimation of nuisance parameters, in contrast to the tests proposed in the literature.


title: On Kerr black hole deformations admitting a Carter constant and an invariant criterion for the separability of the wave equation

abstract: In a previous work of ours, the most general family of Kerr deformations -- admitting a Carter constant -- has been presented. This time a simple, necessary and sufficient condition in order for the aforementioned family to have a separable Klein-Gordon equations is exhibited.


title: The degeneracy between primordial non-Gaussianity and foregrounds in 21cm intensity mapping experiments

abstract: Potential evidence for primordial non-Gaussianity (PNG) is expected to lie in the largest scales mapped by cosmological surveys. Forthcoming 21cm intensity mapping experiments will aim to probe these scales by surveying neutral hydrogen (HI) within galaxies. However, foreground signals dominate the faint 21cm emission, meaning foreground cleaning is required to recover the cosmological signal. The effect this has is to damp the HI power spectrum on the largest scales, especially along the line-of-sight. Whilst there is agreement that this contamination is potentially problematic for probing PNG, it is yet to be fully explored and quantified. In this work we carry out the first forecasts on $f_\text{NL}$ that incorporate simulated foreground maps that are removed using techniques employed in real data. Using an MCMC analysis, we demonstrate that foreground cleaned data recovers hugely biased values ($f_\text{NL} = -102.1_{-7.96}^{+8.39}$ [68% CL]) on our $f_\text{NL}=0$ fiducial input. Introducing a model with fixed parameters for the foreground contamination allows us to recover unbiased results ($f_\text{NL} = -2.94_{-11.9}^{+11.4}$). However, it is not clear that we will have sufficient understanding of foreground contamination to allow for such rigid models. Treating the main parameter $k_\parallel^\text{FG}$ in our foreground model as a nuisance parameter and marginalizing over it, still recovers unbiased results but at the expense of much larger errors ($f_\text{NL} = 0.75^{+40.2}_{-44.5}$), that can only be reduced by imposing the Planck 2018 prior. Our results show that significant progress on understanding and controlling foreground removal effects is necessary in order to study PNG with HI intensity mapping.


title: Generating Empirical Core Size Distributions of Hedonic Games using a Monte Carlo Method

abstract: Data analytics allows an analyst to gain insight into underlying populations through the use of various computational approaches, including Monte Carlo methods. This paper discusses an approach to apply Monte Carlo methods to hedonic games. Hedonic games have gain popularity over the last two decades leading to several research articles that are concerned with the necessary, sufficient, or both conditions of the existence of a core partition. Researchers have used analytical methods for this work. We propose that using a numerical approach will give insights that might not be available through current analytical methods. In this paper, we describe an approach to representing hedonic games, with strict preferences, in a matrix form that can easily be generated; that is, a hedonic game with randomly generated preferences for each player. Using this generative approach, we were able to create and solve, i.e., find any core partitions, of millions of hedonic games. Our Monte Carlo experiment generated games with up to thirteen players. The results discuss the distribution form of the core size of the games of a given number of players. We also discuss computational considerations. Our numerical study of hedonic games gives insight into the underlying properties of hedonic games.


title: Generation, Characterization and Manipulation of Quantum Correlations in Electron Beams

abstract: Entanglement engineering plays a central role in quantum-enhanced technologies, with potential physical platforms that outperform their classical counterparts. However, free electrons remain largely unexplored despite their great capacity to encode and manipulate quantum information, due in part the lack of a suitable theoretical framework. Here we link theoretical concepts from quantum information to available free-electron sources. Specifically, we consider the interactions among electrons propagating near the surface of a polariton-supporting medium, and study the entanglement induced by pair-wise coupling. These correlations depend on controlled interaction interval and the initial electron bandwidth. We show that long interaction times of broadband electrons extend their temporal coherence. This in turn is revealed through a widened Hong-Ou-Mandel peak, and associated with an increased entanglement entropy. We then introduce a discrete basis of electronic temporal-modes, and discriminate between them via coincidence detection with a shaped probe. This paves the way for ultrafast quantum information transfer by means of free electrons, rendering the large alphabet that they span in the time domain accessible.


title: Integration of an Energy Management Tool and Digital Twin for Coordination and Control of Multi-vector Smart Energy Systems

abstract: As Internet of Things (IoT) technologies enable greater communication between energy assets in smart cities, the operational coordination of various energy networks in a city or district becomes more viable. Suitable tools are needed that can harness advanced control and machine learning techniques to achieve environmental, economic and resilience objectives. In this paper, an energy management tool is presented that can offer optimal control, scheduling, forecasting and coordination services to energy assets across a district, enabling optimal decisions under user-defined objectives. The tool presented here can coordinate different sub-systems in a district to avoid the violation of high-level system constraints and is designed in a generic fashion to enable transferable use across different energy sectors. The work demonstrates the potential for a single open-source optimisation framework to be applied across multiple energy vectors, providing local government the opportunity to manage different assets in a coordinated fashion. This is shown through case studies that integrate low-carbon communal heating for social housing with electric vehicle charge-point management to achieve high-level system constraints and local government objectives in the borough of Greenwich, London. The paper illustrates the theoretical methodology, the software architecture and the digital twin-based testing environment underpinning the proposed approach.


title: Sound2Sight: Generating Visual Dynamics from Sound and Context

abstract: Learning associations across modalities is critical for robust multimodal reasoning, especially when a modality may be missing during inference. In this paper, we study this problem in the context of audio-conditioned visual synthesis -- a task that is important, for example, in occlusion reasoning. Specifically, our goal is to generate future video frames and their motion dynamics conditioned on audio and a few past frames. To tackle this problem, we present Sound2Sight, a deep variational framework, that is trained to learn a per frame stochastic prior conditioned on a joint embedding of audio and past frames. This embedding is learned via a multi-head attention-based audio-visual transformer encoder. The learned prior is then sampled to further condition a video forecasting module to generate future frames. The stochastic prior allows the model to sample multiple plausible futures that are consistent with the provided audio and the past context. Moreover, to improve the quality and coherence of the generated frames, we propose a multimodal discriminator that differentiates between a synthesized and a real audio-visual clip. We empirically evaluate our approach, vis-\'a-vis closely-related prior methods, on two new datasets viz. (i) Multimodal Stochastic Moving MNIST with a Surprise Obstacle, (ii) Youtube Paintings; as well as on the existing Audio-Set Drums dataset. Our extensive experiments demonstrate that Sound2Sight significantly outperforms the state of the art in the generated video quality, while also producing diverse video content.


title: BSL-1K: Scaling up co-articulated sign language recognition using mouthing cues

abstract: Recent progress in fine-grained gesture and action classification, and machine translation, point to the possibility of automated sign language recognition becoming a reality. A key stumbling block in making progress towards this goal is a lack of appropriate training data, stemming from the high complexity of sign annotation and a limited supply of qualified annotators. In this work, we introduce a new scalable approach to data collection for sign recognition in continuous videos. We make use of weakly-aligned subtitles for broadcast footage together with a keyword spotting method to automatically localise sign-instances for a vocabulary of 1,000 signs in 1,000 hours of video. We make the following contributions: (1) We show how to use mouthing cues from signers to obtain high-quality annotations from video data - the result is the BSL-1K dataset, a collection of British Sign Language (BSL) signs of unprecedented scale; (2) We show that we can use BSL-1K to train strong sign recognition models for co-articulated signs in BSL and that these models additionally form excellent pretraining for other sign languages and benchmarks - we exceed the state of the art on both the MSASL and WLASL benchmarks. Finally, (3) we propose new large-scale evaluation sets for the tasks of sign recognition and sign spotting and provide baselines which we hope will serve to stimulate research in this area.


title: Reggeon Field Theory and Self Duality: Making Ends Meet

abstract: Motivated by the question of unitarity of Reggeon Field Theory, we use the effective field theory philosophy to find possible Reggeon Field Theory Hamiltonians $H_{RFT}$. We require that $H_{RFT}$ is self dual, reproduce all known limits (dilute-dense and dilute-dilute) and exhibits all the symmetries of the JIMWLK Hamiltonian. We find a family of Hamiltonians which satisfy all the above requirements. One of these is identical in form to the so called "diamond action" discussed in \cite{diamond,Balitsky05}. However we show by explicit calculation that the so called "diamond condition" is not satisfied beyond leading perturbative order.


title: Provably Robust Adversarial Examples

abstract: We introduce the concept of provably robust adversarial examples for deep neural networks - connected input regions constructed from standard adversarial examples which are guaranteed to be robust to a set of real-world perturbations (such as changes in pixel intensity and geometric transformations). We present a novel method called PARADE for generating these regions in a scalable manner which works by iteratively refining the region initially obtained via sampling until a refined region is certified to be adversarial with existing state-of-the-art verifiers. At each step, a novel optimization procedure is applied to maximize the region's volume under the constraint that the convex relaxation of the network behavior with respect to the region implies a chosen bound on the certification objective. Our experimental evaluation shows the effectiveness of PARADE: it successfully finds large provably robust regions including ones containing $\approx 10^{573}$ adversarial examples for pixel intensity and $\approx 10^{599}$ for geometric perturbations. The provability enables our robust examples to be significantly more effective against state-of-the-art defenses based on randomized smoothing than the individual attacks used to construct the regions.


title: SN 2014ab: An Aspherical Type IIn Supernova with Low Polarization

abstract: We present photometry, spectra, and spectropolarimetry of supernova (SN) 2014ab, obtained through $\sim 200$ days after peak brightness. SN 2014ab was a luminous Type IIn SN ($M_V < -19.14$ mag) discovered after peak brightness near the nucleus of its host galaxy, VV 306c. Prediscovery upper limits constrain the time of explosion to within 200 days prior to discovery. While SN 2014ab declined by $\sim 1$ mag over the course of our observations, the observed spectrum remained remarkably unchanged. Spectra exhibit an asymmetric emission-line profile with a consistently stronger blueshifted component, suggesting the presence of dust or a lack of symmetry between the far side and near side of the SN. The Pa$\beta$ emission line shows a profile very similar to that of H$\alpha$, implying that this stronger blueshifted component is caused either through obscuration by large dust grains, occultation by optically thick material, or a lack of symmetry between the far side and near side of the interaction region. Despite these asymmetric line profiles, our spectropolarimetric data show that SN 2014ab has little detected polarization after accounting for the interstellar polarization. This suggests that we are seeing emission from a photosphere that has only small deviation from circular symmetry face-on. We are likely seeing a SN IIn with nearly circular symmetry in the plane normal to our line of sight, but with either large-grain dust or significant asymmetry in the density of circumstellar material or SN ejecta along our line of sight. We suggest that SN 2014ab and SN 2010jl (as well as other SNe IIn) may be similar events viewed from different directions.


title: FedCTR: Federated Native Ad CTR Prediction with Multi-Platform User Behavior Data

abstract: Native ad is a popular type of online advertisement which has similar forms with the native content displayed on websites. Native ad CTR prediction is useful for improving user experience and platform revenue. However, it is challenging due to the lack of explicit user intent, and users' behaviors on the platform with native ads may not be sufficient to infer their interest in ads. Fortunately, user behaviors exist on many online platforms and they can provide complementary information for user interest mining. Thus, leveraging multi-platform user behaviors is useful for native ad CTR prediction. However, user behaviors are highly privacy-sensitive and the behavior data on different platforms cannot be directly aggregated due to user privacy concerns and data protection regulations like GDPR. Existing CTR prediction methods usually require centralized storage of user behavior data for user modeling and cannot be directly applied to the CTR prediction task with multi-platform user behaviors. In this paper, we propose a federated native ad CTR prediction method named FedCTR, which can learn user interest representations from their behaviors on multiple platforms in a privacy-preserving way. On each platform a local user model is used to learn user embeddings from the local user behaviors on that platform. The local user embeddings from different platforms are uploaded to a server for aggregation, and the aggregated user embeddings are sent to the ad platform for CTR prediction. Besides, we apply LDP and DP techniques to the local and aggregated user embeddings respectively for better privacy protection. Moreover, we propose a federated framework for model training with distributed models and user behaviors. Extensive experiments on real-world dataset show that FedCTR can effectively leverage multi-platform user behaviors for native ad CTR prediction in a privacy-preserving manner.


title: Is Multichannel Access Useful in Timely Information Update?

abstract: This paper investigates information freshness of multichannel access in information update systems. Age of information (AoI) is a fundamentally important metric to characterize information freshness, defined as the time elapsed since the generation of the last successfully received update. When multiple devices share the same wireless channel to send updates to a common receiver, an interesting question is whether dividing the whole channel into several subchannels will lead to better AoI performance. Given the same frequency band, dividing it into different numbers of subchannels lead to different transmission times and packet error rates (PER) of short update packets, thus affecting information freshness. We focus on a multichannel access system where different devices take turns to transmit with a cyclic schedule repeated over time. We first derive the average AoI by estimating the PERs of short packets. Then we examine bounded AoI, for which the instantaneous AoI is required to be below a threshold a large percentage of the time. Simulation results indicate that multichannel access can provide low average AoI and uniform bounded AoI simultaneously across different received powers. Overall, our investigations provide insights into practical designs of multichannel access systems with AoI requirements.


title: The polaronic effect of a metal layer on variable range hopping

abstract: We investigate the effect of a metal plate on the variable range hopping (VRH) conductivity of a two dimensional electron-glass (EG) system. The VRH conductivity is known to have a stretched exponential dependence on temperature, with an exponent $p$ that depends on the shape of the EG's single particle density of states (DOS). For constant DOS $p=1/3$ and for linear DOS $p=1/2$, also known as Mott's and Efros-Shklovskii's VRH respectively. The presence of the plate causes two effects on the EG system, static and dynamic. The well known static effect accounts for the additional screening of the Coulomb repulsion in the EG and for the partial filling of the Coulomb gap in the DOS. This in turn causes an increase of the conductivity at very low temperatures. Here we investigate the complementary dynamical effect, which is related to the polaronic phenomena. Our main result is the dynamical suppression of the standard phonon assisted hopping and, thus, suppression of the conductivity in a much wider range of temperatures as compared to the low temperature static effect. The relation to experiments is discussed.


title: Multiphase Flows: Rich Physics, Challenging Theory, and Big Simulations

abstract: Understanding multiphase flows is vital to addressing some of our most pressing human needs: clean air, clean water and the sustainable production of food and energy. This article focuses on a subset of multiphase flows called particle-laden suspensions involving non-deforming particles in a carrier fluid. The hydrodynamic interactions in these flows result in rich multiscale physics, such as clustering and pseudo-turbulence, with important practical implications. Theoretical formulations to represent, explain and predict these phenomena encounter peculiar challenges that multiphase flows pose for classical statistical mechanics. A critical analysis of existing approaches leads to the identification of key desirable characteristics that a formulation must possess in order to be successful at representing these physical phenomena. The need to build accurate closure models for unclosed terms that arise in statistical theories has motivated the development of particle-resolved direct numerical simulations (PR--DNS) for model-free simulation at the microscale. A critical perspective on outstanding questions and potential limitations of PR-DNS for model development is provided. Selected highlights of recent progress using PR-DNS to discover new multiphase flow physics and develop models are reviewed. Alternative theoretical formulations and extensions to current formulations are outlined as promising future research directions. The article concludes with a summary perspective on the importance of integrating theoretical, modeling, computational, and experimental efforts at different scales. This article is based on an invited talk given at the 2019 Annual Meeting of the American Physical Society's Division of Fluid Dynamics in Seattle, WA.


title: Infinite Stable Graphs With Large Chromatic Number

abstract: We prove that if $G=(V,E)$ is an $\omega$-stable (respectively, superstable) graph with $\chi(G)>\aleph_0$ (respectively, $2^{\aleph_0}$) then $G$ contains all the finite subgraphs of the shift graph $\text{Sh}_n(\omega)$ for some $n$. We prove a variant of this theorem for graphs interpretable in stationary stable theories. Furthermore, if $G$ is $\omega$-stable with $\mathrm{U}(G)\leq 2$ we prove that $n\leq 2$ suffices.


title: HITNet: Hierarchical Iterative Tile Refinement Network for Real-time Stereo Matching

abstract: This paper presents HITNet, a novel neural network architecture for real-time stereo matching. Contrary to many recent neural network approaches that operate on a full cost volume and rely on 3D convolutions, our approach does not explicitly build a volume and instead relies on a fast multi-resolution initialization step, differentiable 2D geometric propagation and warping mechanisms to infer disparity hypotheses. To achieve a high level of accuracy, our network not only geometrically reasons about disparities but also infers slanted plane hypotheses allowing to more accurately perform geometric warping and upsampling operations. Our architecture is inherently multi-resolution allowing the propagation of information across different levels. Multiple experiments prove the effectiveness of the proposed approach at a fraction of the computation required by state-of-the-art methods. At the time of writing, HITNet ranks 1st-3rd on all the metrics published on the ETH3D website for two view stereo, ranks 1st on most of the metrics among all the end-to-end learning approaches on Middlebury-v3, ranks 1st on the popular KITTI 2012 and 2015 benchmarks among the published methods faster than 100ms.


title: Dimension reduction in recurrent networks by canonicalization

abstract: Many recurrent neural network machine learning paradigms can be formulated using state-space representations. The classical notion of canonical state-space realization is adapted in this paper to accommodate semi-infinite inputs so that it can be used as a dimension reduction tool in the recurrent networks setup. The so-called input forgetting property is identified as the key hypothesis that guarantees the existence and uniqueness (up to system isomorphisms) of canonical realizations for causal and time-invariant input/output systems with semi-infinite inputs. Additionally, the notion of optimal reduction coming from the theory of symmetric Hamiltonian systems is implemented in our setup to construct canonical realizations out of input forgetting but not necessarily canonical ones. These two procedures are studied in detail in the framework of linear fading memory input/output systems. Finally, the notion of implicit reduction using reproducing kernel Hilbert spaces (RKHS) is introduced which allows, for systems with linear readouts, to achieve dimension reduction without the need to actually compute the reduced spaces introduced in the first part of the paper.