title: Renormalization of the 3D exciton spectrum by the disorder

abstract: Effect of short-range disorder on the excited states of the exciton is studied. Disorder causes an obvious effect of broadening. Microscopically, an exciton, as an entity, is scattered by the large-scale disorder fluctuations. Much less trivial is that short-scale fluctuations, with a period of the order of the Bohr radius, cause a well-defined down-shift of the exciton levels. We demonstrate that this shift exceeds the broadening parametrically and study the dependence of this shift on the orbital number. Difference of the shifts for neighboring levels leads to effective renormalization of the Bohr energy. Most remarkable effect is the disorder-induced splitting of S and P exciton levels. The splitting originates from the fact that disorder lifts the accidental degeneracy of the hydrogen-like levels. The draw an analogy between this splitting and the Lamb shift in quantum electrodynamics.


title: Incorporating dependence on ice thickness in empirical parameterizations of wave dissipation by sea ice

abstract: This study is part of an effort to improve the Navy's ability to forecast wind-generated ocean waves in ice-infested regions, and here we are attempting to further this goal by improving prediction of dissipation of wave energy by sea ice. Rogers et al. (2021) presented new estimates of frequency-dependent dissipation of wave energy by sea ice, based on model-data inversion, and studied the correlation with various other parameters, such as ice thickness and sea state variables. Here, we use that dataset to propose a new dissipation parameterization which explicitly incorporates the dependence on the ice thickness, in addition to the wave frequency. The goal is to determine whether a parameterization dependent on wave frequency and ice thickness can be more accurate than one dependent only on wave frequency. Due to the dominant impact of frequency and confounding difficulties of field measurements, this is not a foregone conclusion. A parameterization is developed using the non-dimensionalization approach proposed by Yu et al. (2019). We find that the non-dimensionalization does result in significant scale collapse of the data, and inclusion of ice thickness does improve accuracy, most evidenced by reduced scatter when applied to the same dataset. However, evaluations against independent datasets are mixed. Possible reasons for this are discussed.


title: A sharp asymptotics of the partition function for the collapsed interacting partially directed self-avoiding walk

abstract: In the present paper, we investigate the collapsed phase of the interacting partially-directed self-avoiding walk (IPDSAW) that was introduced in Zwanzig and Lauritzen (1968). We provide sharp asymptotics of the partition function inside the collapsed phase, proving rigorously a conjecture formulated in Guttmann (2015) and Owczarek et al. (1993). As a by-product of our result, we obtain that, inside the collapsed phase, a typical IPDSAW trajectory is made of a unique macroscopic bead, consisting of a concatenation of long vertical stretches of alternating signs, outside which only finitely many monomers are lying.


title: Pointwise estimates for the derivative of algebraic polynomials

abstract: We give the sufficient condition on coefficients $a_k$ of an algebraic polynomial $P(z)=\sum_{k=0}^{n}a_kz^k$, $a_n\not=0,$ for the pointwise Bernstein inequality $|P'(z)|\le n|P(z)|$ to be true for all $z\in\overline{\mathbb D}:=\{w\in\mathbb C : |w|\le 1\}$.


title: Upper and lower estimates for rate of convergence in the Chernoff product formula for semigroups of operators

abstract: Chernoff approximations to strongly continuous one-parameter semigroups give solutions to a wide class of differential equations. This paper studies the rate of convergence of the Chernoff approximations. We provide simple natural examples for which the convergence is arbitrary fast, is arbitrary slow, and holds in the strong operator topology but does not hold in the norm operator topology. We also prove a general theorem that gives an upper estimate for the speed of decay of the norm of the residual term of the Chernoff approximations. The result is applied to one-dimensional parabolic differential equations with variable coefficients. The obtained estimates can be used for the numerical solution of PDEs.


title: Surface plasmon-enhanced photo-magnetic excitation of spin dynamics in Au/YIG:Co magneto-plasmonic crystals

abstract: We report strong amplification of photo-magnetic spin precession in Co-doped YIG employing a surface plasmon excitation in a metal-dielectric magneto-plasmonic crystal. Plasmonic enhancement is accompanied by the localization of the excitation within the 300~nm-thick layer inside the transparent dielectric garnet. Experimental results are nicely reproduced by numerical simulations of the photo-magnetic excitation. Our findings demonstrate the magneto-plasmonic concept of subwavelength localization and amplification of the photo-magnetic excitation in dielectric YIG:Co and open up a path to all-optical magnetization switching below diffraction limit with energy efficiency approaching the fundamental limit for magnetic memories.


title: The $A$-Polynomial and Knot Volume

abstract: In this paper, we conjecture a connection between the $A$-polynomial of a knot in $\mathbb{S}^{3}$ and the hyperbolic volume of its exterior $\mathcal{M}_{K}$ : the knots with zero hyperbolic volume are exactly the knots with an $A$-polynomial where every irreducible factor is the sum of two monomials in $L$ and $M$. Herein, we show the forward implication and examine cases that suggest the converse may also be true. Since the $A$-polynomial of hyperbolic knots are known to have at least one irreducible factor which is not the sum of two monomials in $L$ and $M$, this paper considers satellite knots which are graph knots and some with positive hyperbolic volume.


title: Autonomous Driving Data Chain & Interfaces

abstract: Recent developments in autonomous driving technology have proven that map data may be used, not only for general routing purposes, but also for to enhance and complement common sensor data. This document reviews the most commonly used interfaces and formats at each step of a selfhealing map data chain.


title: Low-Synch Gram-Schmidt with Delayed Reorthogonalization for Krylov Solvers

abstract: The parallel strong-scaling of Krylov iterative methods is largely determined by the number of global reductions required at each iteration. The GMRES and Krylov-Schur algorithms employ the Arnoldi algorithm for nonsymmetric matrices. The underlying orthogonalization scheme is left-looking and processes one column at a time. Thus, at least one global reduction is required per iteration. The traditional algorithm for generating the orthogonal Krylov basis vectors for the Krylov-Schur algorithm is classical Gram Schmidt applied twice with reorthogonalization (CGS2), requiring three global reductions per step. A new variant of CGS2 that requires only one reduction per iteration is applied to the Arnoldi-QR iteration. Strong-scaling results are presented for finding eigenvalue-pairs of nonsymmetric matrices. A preliminary attempt to derive a similar algorithm (one reduction per Arnoldi iteration with a robust orthogonalization scheme) was presented by Hernandez et al.(2007). Unlike our approach, their method is not forward stable for eigenvalues.


title: Engineering long-lived vibrational states for an organic molecule

abstract: The optomechanical character of molecules was discovered by Raman about one century ago. Today, molecules are promising contenders for high-performance quantum optomechanical platforms because their small size and large energy-level separations make them intrinsically robust against thermal agitations. Moreover, the precision and throughput of chemical synthesis can ensure a viable route to quantum technological applications. The challenge, however, is that the coupling of molecular vibrations to environmental phonons limits their coherence to picosecond time scales. Here, we improve the optomechanical quality of a molecule by several orders of magnitude through phononic engineering of its surrounding. By dressing a molecule with long-lived high-frequency phonon modes of its nanoscopic environment, we achieve storage and retrieval of photons at millisecond time scales and allow for the emergence of single-photon strong coupling in optomechanics. Our strategy can be extended to the realization of molecular optomechanical networks.


title: A Systematic Literature Review on Phishing and Anti-Phishing Techniques

abstract: Phishing is the number one threat in the world of internet. Phishing attacks are from decades and with each passing year it is becoming a major problem for internet users as attackers are coming with unique and creative ideas to breach the security. In this paper, different types of phishing and anti-phishing techniques are presented. For this purpose, the Systematic Literature Review(SLR) approach is followed to critically define the proposed research questions. At first 80 articles were extracted from different repositories. These articles were then filtered out using Tollgate Approach to find out different types of phishing and anti-phishing techniques. Research study evaluated that spear phishing, Email Spoofing, Email Manipulation and phone phishing are the most commonly used phishing techniques. On the other hand, according to the SLR, machine learning approaches have the highest accuracy of preventing and detecting phishing attacks among all other anti-phishing approaches.


title: Effective Resource-Competition Model for Species Coexistence

abstract: Local coexistence of species in large ecosystems is traditionally explained within the broad framework of niche theory. However, its rationale hardly justifies rich biodiversity observed in nearly homogeneous environments. Here we consider a consumer-resource model in which a coarse-graining procedure accounts for a variety of ecological mechanisms and leads to effective spatial effects which favour species coexistence. Herein, we provide conditions for several species to live in an environment with very few resources. In fact, the model displays two different phases depending on whether the number of surviving species is larger or smaller than the number of resources. We obtain conditions whereby a species can successfully colonize a pool of coexisting species. Finally, we analytically compute the distribution of the population sizes of coexisting species. Numerical simulations as well as empirical distributions of population sizes support our analytical findings.


title: Unsupervised Discovery of the Long-Tail in Instance Segmentation Using Hierarchical Self-Supervision

abstract: Instance segmentation is an active topic in computer vision that is usually solved by using supervised learning approaches over very large datasets composed of object level masks. Obtaining such a dataset for any new domain can be very expensive and time-consuming. In addition, models trained on certain annotated categories do not generalize well to unseen objects. The goal of this paper is to propose a method that can perform unsupervised discovery of long-tail categories in instance segmentation, through learning instance embeddings of masked regions. Leveraging rich relationship and hierarchical structure between objects in the images, we propose self-supervised losses for learning mask embeddings. Trained on COCO dataset without additional annotations of the long-tail objects, our model is able to discover novel and more fine-grained objects than the common categories in COCO. We show that the model achieves competitive quantitative results on LVIS as compared to the supervised and partially supervised methods.


title: All-Dielectric Meta-optics for High-Efficiency Independent Amplitude and Phase Manipulation

abstract: Metasurfaces, composed of subwavelength scattering elements, have demonstrated remarkable control over the transmitted amplitude, phase, and polarization of light. However, manipulating the amplitude upon transmission has required loss if a single metasurface is used. Here, we describe high-efficiency independent manipulation of the amplitude and phase of a beam using two lossless phase-only metasurfaces separated by a distance. With this configuration, we experimentally demonstrate optical components such as combined beam-forming and splitting devices, as well as those for forming complex-valued, three-dimensional holograms. The compound meta-optic platform provides a promising approach for achieving high performance optical holographic displays and compact optical components, while exhibiting a high overall efficiency.


title: Safe Control in the Presence of Stochastic Uncertainties

abstract: Accurate quantification of safety is essential for the design of autonomous systems. In this paper, we present a methodology to characterize the exact probabilities associated with invariance and recovery in safe control. We consider a stochastic control system where control barrier functions, gradient-based methods, and barrier certificates are used to constrain control actions and validate safety. We derive the probability distributions of the minimum and maximum barrier function values during any time interval and the first entry and exit times to and from any super level sets of the barrier function. These distributions are characterized by deterministic convection-diffusion equations, and the approach used is generalizable to other safe control methods based on barrier functions. These distributions can be used to characterize various quantities associated with invariance and recovery, such as the safety margin, the probability of entering and recovering from safe and unsafe regions, and the mean and tail distributions of failure and recovery times.


title: Robotic Waste Sorter with Agile Manipulation and Quickly Trainable Detector

abstract: Owing to human labor shortages, the automation of labor-intensive manual waste-sorting is needed. The goal of automating waste-sorting is to replace the human role of robust detection and agile manipulation of waste items with robots. To achieve this, we propose three methods. First, we provide a combined manipulation method using graspless push-and-drop and pick-and-release manipulation. Second, we provide a robotic system that can automatically collect object images to quickly train a deep neural-network model. Third, we provide a method to mitigate the differences in the appearance of target objects from two scenes: one for dataset collection and the other for waste sorting in a recycling factory. If differences exist, the performance of a trained waste detector may decrease. We address differences in illumination and background by applying object scaling, histogram matching with histogram equalization, and background synthesis to the source target-object images. Via experiments in an indoor experimental workplace for waste-sorting, we confirm that the proposed methods enable quick collection of the training image sets for three classes of waste items (i.e., aluminum can, glass bottle, and plastic bottle) and detection with higher performance than the methods that do not consider the differences. We also confirm that the proposed method enables the robot quickly manipulate the objects.


title: Small World Student Network at the University of Texas at Dallas in Times of Social Distancing

abstract: To limit the spread of the novel coronavirus on college campuses, a common strategy for the Fall 2020 and Spring 2021 terms has been to offer instruction weighted toward hybrid or fully online modalities. Colleges are now considering whether and how to expand hybrid or fully in-person instruction for future terms, and learn lessons from this experience for future use. Our paper uses Fall 2019 enrollment data for a medium-sized public American university to analyze whether some student groupings by class standing or course level are more susceptible to the spread of infectious disease through academic enrollment networks. Replicating Weeden and Cornwell [8], we find that enrollment networks at the institution are "small worlds" characterized by high clustering, short average path lengths, and multiple independent connections. Connectivity decreases as class standing (graduate vs. undergraduate; senior vs. freshman) and course level increase; as students move from generalized to specialized course loads, networks cluster by major. Holding other factors constant, policies focusing on in-person instruction for lower division students conflict with the greater risk of infectious spread through a lower division network in the absence of additional steps to minimize academic connectivity. There are academic and financial incentives for emphasizing the freshman experience, including concerns about student attrition from the first to second academic year and recouping costs of infrastructure investments in dormitories. Possible solutions could include (i) restricting face-to-face or hybrid instruction to courses in students' academic majors, which would disrupt larger networks into smaller ones and thus restrict the spread of infection across majors, and (ii) take a "scalpel" approach to instruction modes by moving online courses most likely to facilitate epidemic spread.


title: Global and local bifurcations, three-dimensional Henon maps and discrete Lorenz attractors

abstract: Lorenz attractors play an important role in the modern theory of dynamical systems. The reason is that they are robust, i.e. preserve their chaotic properties under various kinds of perturbations. This means that such attractors can exist in applied models and be observed in experiments. It is known that discrete Lorenz attractors can appear in local and global bifurcations of multidimensional diffeomorphisms. However, to date, only partial cases were investigated. In this paper bifurcations of homoclinic and heteroclinic cycles with quadratic tangencies of invariant manifolds are studied. A full list of such bifurcations, leading to the appearance of discrete Lorenz attractors is provided. In addition, with help of numerical techniques, it was proved that if one reverses time in the diffeomorphisms described above, the resulting systems also have such attractors. This result is an important step in the systematic studies of chaos and hyperchaos.


title: A Semantic Segmentation Network for Urban-Scale Building Footprint Extraction Using RGB Satellite Imagery

abstract: Urban areas consume over two-thirds of the world's energy and account for more than 70 percent of global CO2 emissions. As stated in IPCC's Global Warming of 1.5C report, achieving carbon neutrality by 2050 requires a clear understanding of urban geometry. High-quality building footprint generation from satellite images can accelerate this predictive process and empower municipal decision-making at scale. However, previous Deep Learning-based approaches face consequential issues such as scale invariance and defective footprints, partly due to ever-present class-wise imbalance. Additionally, most approaches require supplemental data such as point cloud data, building height information, and multi-band imagery - which has limited availability and are tedious to produce. In this paper, we propose a modified DeeplabV3+ module with a Dilated Res-Net backbone to generate masks of building footprints from three-channel RGB satellite imagery only. Furthermore, we introduce an F-Beta measure in our objective function to help the model account for skewed class distributions and prevent false-positive footprints. In addition to F-Beta, we incorporate an exponentially weighted boundary loss and use a cross-dataset training strategy to further increase the quality of predictions. As a result, we achieve state-of-the-art performances across three public benchmarks and demonstrate that our RGB-only method produces higher quality visual results and is agnostic to the scale, resolution, and urban density of satellite imagery.


title: Attention Forcing for Machine Translation

abstract: Auto-regressive sequence-to-sequence models with attention mechanisms have achieved state-of-the-art performance in various tasks including Text-To-Speech (TTS) and Neural Machine Translation (NMT). The standard training approach, teacher forcing, guides a model with the reference output history. At inference stage, the generated output history must be used. This mismatch can impact performance. However, it is highly challenging to train the model using the generated output. Several approaches have been proposed to address this problem, normally by selectively using the generated output history. To make training stable, these approaches often require a heuristic schedule or an auxiliary classifier. This paper introduces attention forcing for NMT. This approach guides the model with the generated output history and reference attention, and can reduce the training-inference mismatch without a schedule or a classifier. Attention forcing has been successful in TTS, but its application to NMT is more challenging, due to the discrete and multi-modal nature of the output space. To tackle this problem, this paper adds a selection scheme to vanilla attention forcing, which automatically selects a suitable training approach for each pair of training data. Experiments show that attention forcing can improve the overall translation quality and the diversity of the translations.


title: Waiting times between gamma-ray flares of Flat Spectrum Radio Quasars, and constraints on emission processes

abstract: The physical scenario responsible for gamma-ray flaring activity and its location for Flat Spectrum Radio Quasars is still debated. The study of the statistical distribution of waiting-times between flares (the time intervals between consecutive activity peaks) can give information on the distribution of flaring times, and constrain the physical mechanism responsible for gamma-ray emission. We adopt here a Scan-Statistic driven clustering method (iSRS) to recognize flaring states within the FERMI-LAT data, and identify the time of activity-peaks. Results: Flares waiting times can be described with a poissonian process, consisting of a set of overlapping bursts of flares, with an average burst duration of about 0.6 year, and average rate of 1.3/y . For waiting times below 1d host-frame we found a statistically-relevant second population, the fast-component, mainly from CTA 102 data. The period of conspicuous detection of the fast component for CTA 102 coincides with the crossing-time of the superluminal K1 feature with the C1 stationary feature in radio reported in Jorstad et al. (2017); Casadio et al. (2019). Conclusions: To reconcile the mechanism proposed in Jorstad et al. (2017); Casadio et al. (2019) with the bursting-activity, we have to assume that plasma streams with a typical length of about 2pc (in the stream reference-frame) reach the recollimation-shock. Otherwise, the distribution of waiting-times can be interpreted as originating from relativistic-plasma moving along the jet for a deprojected length of about 30-50pc (assuming a Lorentz-factor=10), that sporadically produces gamma-ray flares. In magnetic-reconnection scenario, reconnection events or plasma injection to the reconnection-sites should be intermittent. Individual plasmoids can be resolved in a few favourable cases only (Christie et al., 2019); they could be responsible for the fast component.


title: Designing for human-AI complementarity in K-12 education

abstract: Recent work has explored how complementary strengths of humans and artificial intelligence (AI) systems might be productively combined. However, successful forms of human-AI partnership have rarely been demonstrated in real-world settings. We present the iterative design and evaluation of Lumilo, smart glasses that help teachers help their students in AI-supported classrooms by presenting real-time analytics about students' learning, metacognition, and behavior. Results from a field study conducted in K-12 classrooms indicate that students learn more when teachers and AI tutors work together during class. We discuss implications of this research for the design of human-AI partnerships. We argue for more participatory approaches to research and design in this area, in which practitioners and other stakeholders are deeply, meaningfully involved throughout the process. Furthermore, we advocate for theory-building and for principled approaches to the study of human-AI decision-making in real-world contexts.


title: Simulations of $Nb_{3}Sn$ Layer RF Field Limits Due to Thermal Impedance

abstract: $Nb_{3}Sn$ performance in RF fields is limited to fields far below its superheating critical field. Poor thermal conductivity of $Nb_{3}Sn$ has been speculated to be the reason behind this limit. In order to better understand the contribution of $Nb_{3}Sn$ thermal conductivity to its RF performance, we simulated numerically with Matlab program*(based on SRIMP and HEAT codes) the limiting fields under different realistic conditions. Our simulations indicate that limiting fields observed presently in the experiments with RF fields cannot be explained by the thermal impedance of $Nb_{3}Sn$ alone. The results change significantly in the presence of higher losses due to extrinsic mechanisms.


title: Multi-class motion-based semantic segmentation for ureteroscopy and laser lithotripsy

abstract: Kidney stones represent a considerable burden for public health-care systems. Ureteroscopy with laser lithotripsy has evolved as the most commonly used technique for the treatment of kidney stones. Automated segmentation of kidney stones and laser fiber is an important initial step to performing any automated quantitative analysis of the stones, particularly stone-size estimation, that helps the surgeon decide if the stone requires more fragmentation. Factors such as turbid fluid inside the cavity, specularities, motion blur due to kidney movements and camera motion, bleeding, and stone debris impact the quality of vision within the kidney and lead to extended operative times. To the best of our knowledge, this is the first attempt made towards multi-class segmentation in ureteroscopy and laser lithotripsy data. We propose an end-to-end CNN-based framework for the segmentation of stones and laser fiber. The proposed approach utilizes two sub-networks: HybResUNet, a version of residual U-Net, that uses residual connections in the encoder path of U-Net and a DVFNet that generates DVF predictions which are then used to prune the prediction maps. We also present ablation studies that combine dilated convolutions, recurrent and residual connections, ASPP and attention gate. We propose a compound loss function that improves our segmentation performance. We have also provided an ablation study to determine the optimal data augmentation strategy. Our qualitative and quantitative results illustrate that our proposed method outperforms SOTA methods such as UNet and DeepLabv3+ showing an improvement of 5.2% and 15.93%, respectively, for the combined mean of DSC and JI in our invivo test dataset. We also show that our proposed model generalizes better on a new clinical dataset showing a mean improvement of 25.4%, 20%, and 11% over UNet, HybResUNet, and DeepLabv3+, respectively, for the same metric.


title: Stability for hyperbolic groups acting on boundary spheres

abstract: A hyperbolic group acts by homeomorphisms on its Gromov boundary. We show that if this boundary is a topological n-sphere the action is topologically stable in the dynamical sense: any nearby action is semi-conjugate to the standard boundary action.


title: Demanded Abstract Interpretation (Extended Version)

abstract: We consider the problem of making expressive static analyzers interactive. Formal static analysis is seeing increasingly widespread adoption as a tool for verification and bug-finding, but even with powerful cloud infrastructure it can take minutes or hours to get batch analysis results after a code change. While existing techniques offer some demand-driven or incremental aspects for certain classes of analysis, the fundamental challenge we tackle is doing both for arbitrary abstract interpreters. Our technique, demanded abstract interpretation, lifts program syntax and analysis state to a dynamically evolving graph structure, in which program edits, client-issued queries, and evaluation of abstract semantics are all treated uniformly. The key difficulty addressed by our approach is the application of general incremental computation techniques to the complex, cyclic dependency structure induced by abstract interpretation of loops with widening operators. We prove that desirable abstract interpretation meta-properties, including soundness and termination, are preserved in our approach, and that demanded analysis results are equal to those computed by a batch abstract interpretation. Experimental results suggest promise for a prototype demanded abstract interpretation framework: by combining incremental and demand-driven techniques, our framework consistently delivers analysis results at interactive speeds, answering 95% of queries within 1.2 seconds.


title: PATE-AAE: Incorporating Adversarial Autoencoder into Private Aggregation of Teacher Ensembles for Spoken Command Classification

abstract: We propose using an adversarial autoencoder (AAE) to replace generative adversarial network (GAN) in the private aggregation of teacher ensembles (PATE), a solution for ensuring differential privacy in speech applications. The AAE architecture allows us to obtain good synthetic speech leveraging upon a discriminative training of latent vectors. Such synthetic speech is used to build a privacy-preserving classifier when non-sensitive data is not sufficiently available in the public domain. This classifier follows the PATE scheme that uses an ensemble of noisy outputs to label the synthetic samples and guarantee $\varepsilon$-differential privacy (DP) on its derived classifiers. Our proposed framework thus consists of an AAE-based generator and a PATE-based classifier (PATE-AAE). Evaluated on the Google Speech Commands Dataset Version II, the proposed PATE-AAE improves the average classification accuracy by +$2.11\%$ and +$6.60\%$, respectively, when compared with alternative privacy-preserving solutions, namely PATE-GAN and DP-GAN, while maintaining a strong level of privacy target at $\varepsilon$=0.01 with a fixed $\delta$=10$^{-5}$.


title: Visual Servoing Approach for Autonomous UAV Landing on a Moving Vehicle

abstract: Many aerial robotic applications require the ability to land on moving platforms, such as delivery trucks and marine research boats. We present a method to autonomously land an Unmanned Aerial Vehicle on a moving vehicle. A visual servoing controller approaches the ground vehicle using velocity commands calculated directly in image space. The control laws generate velocity commands in all three dimensions, eliminating the need for a separate height controller. The method has shown the ability to approach and land on the moving deck in simulation, indoor and outdoor environments, and compared to the other available methods, it has provided the fastest landing approach. Unlike many existing methods for landing on fast-moving platforms, this method does not rely on additional external setups, such as RTK, motion capture system, ground station, offboard processing, or communication with the vehicle, and it requires only the minimal set of hardware and localization sensors. The videos and source codes are also provided.


title: Power homogeneous compacta and variations on tightness

abstract: The weak tightness $wt(X)$, introduced in [6], has the property $wt(X)\leq t(X)$. It was shown in [4] that if $X$ is a homogeneous compactum then $|X|\leq 2^{wt(X)\pi\chi(X)}$. We introduce the almost tightness $at(X)$ with the property $wt(X)\leq at(X)\leq t(X)$ and show that if $X$ is a power homogeneous compactum then $|X|\leq 2^{at(X)\pi\chi(X)}$. This improves the result of \arhangelskii, van Mill, and Ridderbos in [2] that $|X|\leq 2^{t(X)}$ for a power homogeneous compactum $X$ and gives a partial answer to a question in [4]. In addition, if $X$ is a homogeneous Hausdorff space we show that $|X|\leq 2^{pw_cL(X)wt(X)\pi\chi(X)pct(X)}$, improving a result in [3]. It also extends the result in [4] into the Hausdorff setting. The cardinal invariant $pwL_c(X)$, introduced in [5] by Bella and Spadaro, satisfies $pwL_c(X)\leq L(X)$ and $pwL_c(X)\leq c(X)$. We also show the weight $w(X)$ of a homogeneous space $X$ is bounded in various contexts using $wt(X)$. One such result is that if $X$ is homogeneous and regular then $w(X)\leq 2^{L(X)wt(X)pct(X)}$. This generalizes a result in [4] that if $X$ is a homogeneous compactum then $w(X)\leq 2^{wt(X)}$.


title: Minimal Presentation of $PSL(2,\mathbb{Z})$ Using Continuant Matrices with Integer Coefficients

abstract: In this article, the goal is to find the shortest presentation of a matrix $A \in PSL(2,\mathbb{Z})$ in terms of the so-called continuant matrices which are most known for their role in continued fraction theory. In chapter 7 of arXiv:1811.01229, Morier-G\'enoud and Ovsienko investigate this problem with the restriction that all coefficients of the continuant matrices are positive. Now, the goal is to determine the shortest presentation allowing all integer coefficients. To determine this minimal presentation, a few characteristic transformations will be introduced. It will also be investigated under which conditions such a minimal presentation becomes unique. The results are also generalized on conjugacy classes in $PSL(2,\mathbb{Z})$. If you wish to contact the author or you have some questions related to this work, feel free to write an email to christian.streib@online.de.


title: Three dimensional elastic beam frames: rigid joint conditions in variational and differential formulation

abstract: We consider three-dimensional elastic frames constructed out of Euler--Bernoulli beams and describe a simple process of generating joint conditions out of the geometric description of the frame. The corresponding differential operator is shown to be self-adjoint. In the special case of planar frames, the operator decomposes into a direct sum of two operators, one coupling out-of-plane displacement to angular (torsional) displacement and the other coupling in-plane displacement with axial displacement (compression). Detailed analysis of two examples is presented. We actively exploit the symmetry present in the examples and decompose the operator by restricting it onto reducing subspaces corresponding to irreducible representations of the symmetry group. These ``quotient'' operators are shown to capture particular oscillation modes of the frame.


title: Feature Evolution and Reuse -- An Exploratory Study of Eclipse

abstract: One of the purported ways to increase productivity and reduce development time is to reuse existing features and modules. If reuse is adopted, logically then, it will have a direct impact on a system's evolution. However, the evidence in the literature is not clear on the extent to which reuse is practiced in real-world projects, nor how it is practiced. In this paper we report the results of an investigation of reuse and evolution of software features in one of the largest open-source ecosystems - Eclipse. Eclipse provides a leading example of how a system can grow dramatically in size and number of features while maintaining its quality. Our results demonstrate the extent of feature reuse and evolution and also patterns of reuse across ten different Eclipse releases (from Europa to Neon).


title: New Local T1 Theorems on non-homogeneous spaces

abstract: We develop new local $T1$ theorems to characterize Calder\'on-Zygmund operators that extend boundedly or compactly on $L^{p}(\mathbb R^{n},\mu)$ with $\mu$ a measure of power growth. The results, whose proofs do not require random grids, allow the use of a countable collection of testing functions. As a corollary, we describe the measures $\mu$ of the complex plane for which the Cauchy integral defines a compact operator on $L^p(\mathbb C,\mu)$.


title: Oscillating Quantum Droplets from the free expansion of Logarithmic One-Dimensional Bose Gases

abstract: We analyze some issues related to the stability and free expansion of a one-dimensional logarithmic Bose-Einstein condensate, particularly its eventual relation to the formation of quantum droplet-type configurations. We prove that the corresponding properties, such as the energy of the associated N-body ground state, differ substantially with respect to its three-dimensional counterpart. Consequently, the free velocity expansion also shows differences with respect to the three-dimensional system when logarithmic interactions are taken into account. The one-dimensional logarithmic condensate tends to form quantum droplet-type configurations when the external trapping potential is turned off, i.e., the self-sustainability or self-confinement appears as in three-dimensions. However, we obtain that for some specific values of the self-interaction parameters and the number of particles under consideration, the cloud oscillates during the free expansion around to a specific equilibrium size. These results show that we can get scenarios in which the one-dimensional cloud reaches stable configurations, i.e., oscillating quantum droplets.


title: Boolean function metrics can assist modelers to check and choose logical rules

abstract: Computational models of biological processes provide one of the most powerful methods for a detailed analysis of the mechanisms that drive the behavior of complex systems. Logic-based modeling has enhanced our understanding and interpretation of those systems. Defining rules that determine how the output activity of biological entities is regulated by their respective inputs has proven to be challenging, due to increasingly larger models and the presence of noise in data, allowing multiple model parameterizations to fit the experimental observations. We present several Boolean function metrics that provide modelers with the appropriate framework to analyze the impact of a particular model parameterization. We demonstrate the link between a semantic characterization of a Boolean function and its consistency with the model's underlying regulatory structure. We further define the properties that outline such consistency and show that several of the Boolean functions under study violate them, questioning their biological plausibility and subsequent use. We also illustrate that regulatory functions can have major differences with regard to their asymptotic output behavior, with some of them being biased towards specific Boolean outcomes when others are dependent on the ratio between activating and inhibitory regulators. Application results show that in a specific signaling cancer network, the function bias can be used to guide the choice of logical operators for a model that matches data observations. Moreover, graph analysis indicates that the standardized Boolean function bias becomes more prominent with increasing numbers of regulators, confirming the fact that rule specification can effectively determine regulatory outcome despite the complex dynamics of biological networks.


title: Covariance estimation under one-bit quantization

abstract: We consider the classical problem of estimating the covariance matrix of a subgaussian distribution from i.i.d. samples in the novel context of coarse quantization, i.e., instead of having full knowledge of the samples, they are quantized to one or two bits per entry. This problem occurs naturally in signal processing applications. We introduce new estimators in two different quantization scenarios and derive non-asymptotic estimation error bounds in terms of the operator norm. In the first scenario we consider a simple, scale-invariant one-bit quantizer and derive an estimation result for the correlation matrix of a centered Gaussian distribution. In the second scenario, we add random dithering to the quantizer. In this case we can accurately estimate the full covariance matrix of a general subgaussian distribution by collecting two bits per entry of each sample. In both scenarios, our bounds apply to masked covariance estimation. We demonstrate the near-optimality of our error bounds by deriving corresponding (minimax) lower bounds and using numerical simulations.


title: Monte Carlo execution time estimation for Privacy-preserving Distributed Function Evaluation protocols

abstract: Recent developments in Machine Learning and Deep Learning depend heavily on cloud computing and specialized hardware, such as GPUs and TPUs. This forces those using those models to trust private data to cloud servers. Such scenario has prompted a large interest on Homomorphic Cryptography and Secure Multi-Party Computation protocols that allow the use of cloud computing power in a privacy-preserving manner. When comparing the efficiency of such protocols, most works in literature resort to complexity analysis that gives asymptotic higher-bounding limits of computational cost when input size tends to infinite. These limits may be very different from the actual cost or execution time, when performing such computations over small, or average-sized datasets. We argue that Monte Carlo methods can render better computational cost and time estimates, fostering better design and implementation decisions for complex systems, such as Privacy-Preserving Machine Learning Frameworks.


title: End-to-end Deep Learning Pipeline for Microwave Kinetic Inductance Detector (MKID) Resonator Identification and Tuning

abstract: We present the development of a machine learning based pipeline to fully automate the calibration of the frequency comb used to read out optical/IR Microwave Kinetic Inductance Detector (MKID) arrays. This process involves determining the resonant frequency and optimal drive power of every pixel (i.e. resonator) in the array, which is typically done manually. Modern optical/IR MKID arrays, such as DARKNESS (DARK-speckle Near-infrared Energy-resolving Superconducting Spectrophotometer) and MEC (MKID Exoplanet Camera), contain 10-20,000 pixels, making the calibration process extremely time consuming; each 2000 pixel feedline requires 4-6 hours of manual tuning. Here we present a pipeline which uses a single convolutional neural network (CNN) to perform both resonator identification and tuning simultaneously. We find that our pipeline has performance equal to that of the manual tuning process, and requires just twelve minutes of computational time per feedline.


title: A Review of AI-enabled Routing Protocols for UAV Networks: Trends, Challenges, and Future Outlook

abstract: Unmanned Aerial Vehicles (UAVs), as a recently emerging technology, enabled a new breed of unprecedented applications in different domains. This technology's ongoing trend is departing from large remotely-controlled drones to networks of small autonomous drones to collectively complete intricate tasks time and cost-effectively. An important challenge is developing efficient sensing, communication, and control algorithms that can accommodate the requirements of highly dynamic UAV networks with heterogeneous mobility levels. Recently, the use of Artificial Intelligence (AI) in learning-based networking has gained momentum to harness the learning power of cognizant nodes to make more intelligent networking decisions by integrating computational intelligence into UAV networks. An important example of this trend is developing learning-powered routing protocols, where machine learning methods are used to model and predict topology evolution, channel status, traffic mobility, and environmental factors for enhanced routing. This paper reviews AI-enabled routing protocols designed primarily for aerial networks, including topology-predictive and self-adaptive learning-based routing algorithms, with an emphasis on accommodating highly-dynamic network topology. To this end, we justify the importance and adaptation of AI into UAV network communications. We also address, with an AI emphasis, the closely related topics of mobility and networking models for UAV networks, simulation tools and public datasets, and relations to UAV swarming, which serve to choose the right algorithm for each scenario. We conclude by presenting future trends, and the remaining challenges in AI-based UAV networking, for different aspects of routing, connectivity, topology control, security and privacy, energy efficiency, and spectrum sharing.


title: A GPU Implementation of a Look-Ahead Optimal Controller for Eco-Driving Based on Dynamic Programming

abstract: Predictive energy management of Connected and Automated Vehicles (CAVs), in particular those with multiple power sources, has the potential to significantly improve energy savings in real-world driving conditions. In particular, the eco-driving problem seeks to design optimal speed and power usage profiles based upon available information from connectivity and advanced mapping features to minimize the fuel consumption between two designated locations. In this work, the eco-driving problem is formulated as a three-state receding horizon optimal control problem and solved via Dynamic Programming (DP). The optimal solution, in terms of vehicle speed and battery State of Charge (SoC) trajectories, allows a connected and automated hybrid electric vehicle to intelligently pass the signalized intersections and minimize fuel consumption over a prescribed route. To enable real-time implementation, a parallel architecture of DP is proposed for an NVIDIA GPU with CUDA programming. Simulation results indicate that the proposed optimal controller delivers more than 15% fuel economy benefits compared to a baseline control strategy and that the solver time can be reduced by more than 90% by the parallel implementation when compared to a serial implementation.


title: Occupational Mobility: Theory and Estimation for Italy

abstract: This paper presents a model where intergenerational occupational mobility is the joint outcome of three main determinants: income incentives, equality of opportunity and changes in the composition of occupations. The model rationalizes the use of transition matrices to measure mobility, which allows for the identification of asymmetric mobility patterns and for the formulation of a specific mobility index for each determinant. Italian children born in 1940-1951 had a lower mobility with respect to those born after 1965. The steady mobility for children born after 1965, however, covers a lower structural mobility in favour of upper-middle classes and a higher downward mobility from upper-middle classes. Equality of opportunity was far from the perfection but steady for those born after 1965. Changes in income incentives instead played a major role, leading to a higher downward mobility from upper-middle classes and lower upward mobility from the lower class.


title: Instance Level Affinity-Based Transfer for Unsupervised Domain Adaptation

abstract: Domain adaptation deals with training models using large scale labeled data from a specific source domain and then adapting the knowledge to certain target domains that have few or no labels. Many prior works learn domain agnostic feature representations for this purpose using a global distribution alignment objective which does not take into account the finer class specific structure in the source and target domains. We address this issue in our work and propose an instance affinity based criterion for source to target transfer during adaptation, called ILA-DA. We first propose a reliable and efficient method to extract similar and dissimilar samples across source and target, and utilize a multi-sample contrastive loss to drive the domain alignment process. ILA-DA simultaneously accounts for intra-class clustering as well as inter-class separation among the categories, resulting in less noisy classifier boundaries, improved transferability and increased accuracy. We verify the effectiveness of ILA-DA by observing consistent improvements in accuracy over popular domain adaptation approaches on a variety of benchmark datasets and provide insights into the proposed alignment approach. Code will be made publicly available at https://github.com/astuti/ILA-DA.


title: Intent Recognition and Unsupervised Slot Identification for Low Resourced Spoken Dialog Systems

abstract: Intent Recognition and Slot Identification are crucial components in spoken language understanding (SLU) systems. In this paper, we present a novel approach towards both these tasks in the context of low resourced and unwritten languages. We present an acoustic based SLU system that converts speech to its phonetic transcription using a universal phone recognition system. We build a word-free natural language understanding module that does intent recognition and slot identification from these phonetic transcription. Our proposed SLU system performs competitively for resource rich scenarios and significantly outperforms existing approaches as the amount of available data reduces. We observe more than 10% improvement for intent classification in Tamil and more than 5% improvement for intent classification in Sinhala. We also present a novel approach towards unsupervised slot identification using normalized attention scores. This approach can be used for unsupervised slot labelling, data augmentation and to generate data for a new slot in a one-shot way with only one speech recording


title: Distance signless Laplacian spectral radius and perfect matching in graphs and bipartite graphs

abstract: The distance matrix $\mathcal{D}$ of a connected graph $G$ is the matrix indexed by the vertices of $G$ which entry $\mathcal{D}_{i,j}$ equals the distance between the vertices $v_i$ and $v_j$. The distance signless Laplacian matrix $\mathcal{Q}(G)$ of graph $G$ is defined as $\mathcal{Q}(G)=Diag(Tr)+\mathcal{D}(G)$, where $Diag(Tr)$ is the diagonal matrix of the vertex transmissions in $G$. The largest eigenvalue of $\mathcal{Q}(G)$ is called the distance signless Laplacian spectral radius of $G$, written as $\eta_1(G)$. And a perfect matching in a graph is a set of disadjacent edges covering every vertex of $G$. In this paper, we present two suffcient conditions in terms of the distance signless Laplacian sepectral radius for the exsitence of perfect matchings in graphs and bipatite graphs.


title: Speedster: A TEE-assisted State Channel System

abstract: State channel network is the most popular layer-2 solution to theissues of scalability, high transaction fees, and low transaction throughput of public Blockchain networks. However, the existing works have limitations that curb the wide adoption of the technology, such as the expensive creation and closure of channels, strict synchronization between the main chain and off-chain channels, frozen deposits, and inability to execute multi-party smart contracts. In this work, we present Speedster, an account-based state-channel system that aims to address the above issues. To this end, Speedster leverages the latest development of secure hardware to create dispute-free certified channels that can be operated efficiently off the Blockchain. Speedster is fully decentralized and provides better privacy protection. It supports fast native multi-party contract execution, which is missing in prior TEE-enabled channel networks. Compared to the Lightning Network, Speedster improves the throughput by about 10,000X and generates 97% less on-chain data with a comparable network scale.


title: Measuring Linguistic Diversity During COVID-19

abstract: Computational measures of linguistic diversity help us understand the linguistic landscape using digital language data. The contribution of this paper is to calibrate measures of linguistic diversity using restrictions on international travel resulting from the COVID-19 pandemic. Previous work has mapped the distribution of languages using geo-referenced social media and web data. The goal, however, has been to describe these corpora themselves rather than to make inferences about underlying populations. This paper shows that a difference-in-differences method based on the Herfindahl-Hirschman Index can identify the bias in digital corpora that is introduced by non-local populations. These methods tell us where significant changes have taken place and whether this leads to increased or decreased diversity. This is an important step in aligning digital corpora like social media with the real-world populations that have produced them.


title: Fingerspelling Detection in American Sign Language

abstract: Fingerspelling, in which words are signed letter by letter, is an important component of American Sign Language. Most previous work on automatic fingerspelling recognition has assumed that the boundaries of fingerspelling regions in signing videos are known beforehand. In this paper, we consider the task of fingerspelling detection in raw, untrimmed sign language videos. This is an important step towards building real-world fingerspelling recognition systems. We propose a benchmark and a suite of evaluation metrics, some of which reflect the effect of detection on the downstream fingerspelling recognition task. In addition, we propose a new model that learns to detect fingerspelling via multi-task training, incorporating pose estimation and fingerspelling recognition (transcription) along with detection, and compare this model to several alternatives. The model outperforms all alternative approaches across all metrics, establishing a state of the art on the benchmark.


title: Resolving Confusion Over Third Order Accuracy of U-MUSCL

abstract: In this paper, we discuss the U-MUSCL reconstruction scheme -- an unstructured-grid extension of Van Leer's kappa-scheme -- proposed by Burg for the edge-based discretization [AIAA Paper 2005-4999]. This technique has been widely used in practical unstructured-grid fluid-dynamics solvers but with confusions: e.g., third-order accuracy with kappa=1/2 or kappa=1/3. This paper clarifies some of these confusions: e.g., the U-MUSCL scheme can be third-order accurate in the point-valued solution with kappa=1/3 on regular grids for linear equations in all dimensions, it can be third-order accurate with kappa=1/2 as the QUICK scheme in one dimension. It is shown that the U-MUSCL scheme cannot be third-order accurate for nonlinear equations, except a very special case of kappa=1/2 on regular simplex-element grids, but it can be an accurate low-dissipation second-order scheme. It is also shown that U-MUSCL extrapolates a quadratic function exactly with kappa=1/2 on arbitrary grids provided the gradient is computed by a quadratic least-squares method. Two techniques are discussed, which transform the U-MUSCL scheme into being genuinely third-order accurate on a regular grid: an efficient flux-reconstruction method and a special source term quadrature formula for kappa=1/2.

categories: math.NA cs.NA physics.comp-ph physics.flu-dyn


title: Extraction of instantaneous frequencies and amplitudes in nonstationary time-series data

abstract: Time-series analysis is critical for a diversity of applications in science and engineering. By leveraging the strengths of modern gradient descent algorithms, the Fourier transform, multi-resolution analysis, and Bayesian spectral analysis, we propose a data-driven approach to time-frequency analysis that circumvents many of the shortcomings of classic approaches, including the extraction of nonstationary signals with discontinuities in their behavior. The method introduced is equivalent to a {\em nonstationary Fourier mode decomposition} (NFMD) for nonstationary and nonlinear temporal signals, allowing for the accurate identification of instantaneous frequencies and their amplitudes. The method is demonstrated on a diversity of time-series data, including on data from cantilever-based electrostatic force microscopy to quantify the time-dependent evolution of charging dynamics at the nanoscale.


title: Representations of Language Varieties Are Reliable Given Corpus Similarity Measures

abstract: This paper measures similarity both within and between 84 language varieties across nine languages. These corpora are drawn from digital sources (the web and tweets), allowing us to evaluate whether such geo-referenced corpora are reliable for modelling linguistic variation. The basic idea is that, if each source adequately represents a single underlying language variety, then the similarity between these sources should be stable across all languages and countries. The paper shows that there is a consistent agreement between these sources using frequency-based corpus similarity measures. This provides further evidence that digital geo-referenced corpora consistently represent local language varieties.


title: Equity Impacts of Dollar Store Vaccine Distribution

abstract: We use geospatial data to examine the unprecedented national program currentlyunderway in the United States to distribute and administer vaccines against COVID-19. We quantify the impact of the proposed federal partnership with the companyDollar General to serve as vaccination sites and compare vaccine access with DollarGeneral to the current Federal Retail Pharmacy Partnership Program. Although dollarstores have been viewed with skepticism and controversy in the policy sector, we showthat, relative to the locations of the current federal program, Dollar General stores aredisproportionately likely to be located in Census tracts with high social vulnerability;using these stores as vaccination sites would greatly decrease the distance to vaccinesfor both low-income and minority households. We consider a hypothetical alternativepartnership with Dollar Tree and show that adding these stores to the vaccinationprogram would be similarly valuable, but impact different geographic areas than theDollar General partnership. Adding Dollar General to the current pharmacy partnersgreatly surpasses the goal set by the Biden administration of having 90% of the popu-lation within 5 miles of a vaccine site. We discuss the potential benefits of leveragingthese partnerships for other vaccinations, including against influenza.


title: New $X_{0,1}(2900)$-like exotic states in $b$-baryon decays

abstract: In the $B^+\to D^+ D^-K^+$ decay, LHCb has reported the observation of the open-charm exotic states $X_{0,1}^0\equiv X_{0,1}(2900)^0$ with four different quark flavors~$(ud\bar s \bar c)$, where the subscripts (0,1) denote the spins. To confirm the discovery, we propose $\Lambda_b\to \Sigma_c^{0(++)} X_{0,1}^{\prime\,0(--)}$ in the final state interaction, where $X_{0,1}^{\prime\,0(--)}$ with $s u\bar d \bar c$ ($ds\bar u \bar c$) are the new $X_{0,1}$-like exotic states. More specifically, $\Lambda_c^+D_s^-$ in $\Lambda_b\to \Lambda_c^+D_s^-$ are transformed as $\Sigma_c^{0(++)} X_{0,1}^{\prime\,0(--)}$, by exchanging $\pi^{+(-)}$. As the order of magnitude estimates, we calculate ${\cal B}(\Lambda_b\to \Sigma_c^{0(++)} X_{0,1}^{\prime\,0(--)}) =(2.3\pm 0.6,4.3\pm 0.8^{+3.3}_{-2.5})\times 10^{-4}$. In addition, we estimate other $b$-baryon decays with the $X_{0,1}$-like states, such as ${\cal B}(\Xi_{b}^{0(-)}\to \Xi_{c}^{0(+)}(2645)X_{0}^{\prime\,0(--)}, \Lambda_{b}\to \Xi_{c}^{\prime\,0}X_{0,1}^{0})\sim 10^{-5}$. While one needs $\Lambda_b\to \Sigma_c^{0(++)}M_c M$ to observe $X_{0,1}^{\prime\,0(--)}\to M_c M$ with $M_c M=D_s^-\pi^+$, $\bar D^0 \bar K^0$ $(D_s^-\pi^-$, $D^-K^-)$, ${\cal B}(\Lambda_b\to \Sigma_c^{0(++)} X_{0,1}^{\prime\,0(--)}, X_{0,1}^{\prime\,0(--)}\to M_c M)\sim 10^{-4}$ are accessible to the LHCb experiment.


title: Multi-Unit Directional Measures of Association: Moving Beyond Pairs of Words

abstract: This paper formulates and evaluates a series of multi-unit measures of directional association, building on the pairwise {\Delta}P measure, that are able to quantify association in sequences of varying length and type of representation. Multi-unit measures face an additional segmentation problem: once the implicit length constraint of pairwise measures is abandoned, association measures must also identify the borders of meaningful sequences. This paper takes a vector-based approach to the segmentation problem by using 18 unique measures to describe different aspects of multi-unit association. An examination of these measures across eight languages shows that they are stable across languages and that each provides a unique rank of associated sequences. Taken together, these measures expand corpus-based approaches to association by generalizing across varying lengths and types of representation.


title: Resistive switching of tetraindolyl derivative in ultrathin films: A potential candidate for non-volatile memory applications

abstract: Bipolar resistive switching using organic molecule is very promising for memory application owing to their advantages like simple device structure, low manufacturing cost, their stability and flexibility etc. Herein we report Langmuir-Blodgett and spin-coated film based bipolar resistive switching devices using organic material indole derivative. Pressure - area per molecule isotherm, Brewster Angle Microscopy, Atomic Force Microscopy and Scanning Electron Microscopy were used to have an idea about organization and morphology of the organic material onto thin film. Based on device structure and measurement protocol it is observed that the device made up of 1 shows non-volatile Resistive Random Access Memory behaviour with very high memory window, data sustainability and repeatability.Oxidation-reduction process as well as electric field driven conduction are the key behind such switching behaviour.Due to very good data retention, repeatability, stability and high device yield the switching device designed using compound 1may be a potential candidate for memory applications.


title: Finding Variants for Construction-Based Dialectometry: A Corpus-Based Approach to Regional CxGs

abstract: This paper develops a construction-based dialectometry capable of identifying previously unknown constructions and measuring the degree to which a given construction is subject to regional variation. The central idea is to learn a grammar of constructions (a CxG) using construction grammar induction and then to use these constructions as features for dialectometry. This offers a method for measuring the aggregate similarity between regional CxGs without limiting in advance the set of constructions subject to variation. The learned CxG is evaluated on how well it describes held-out test corpora while dialectometry is evaluated on how well it can model regional varieties of English. Themethod is tested using two distinct datasets: First, the International Corpus of English representing eight outer circle varieties; Second, a web-crawled corpus representing five inner circle varieties. Results show that themethod (1) produces a grammar with stable quality across sub-sets of a single corpus that is (2) capable of distinguishing between regional varieties of Englishwith a high degree of accuracy, thus (3) supporting dialectometricmethods formeasuring the similarity between varieties of English and (4) measuring the degree to which each construction is subject to regional variation. This is important for cognitive sociolinguistics because it operationalizes the idea that competition between constructions is organized at the functional level so that dialectometry needs to represent as much of the available functional space as possible.


title: Elliptic equations in divergence form with drifts in $L^2$

abstract: We consider the Dirichlet problem for second-order linear elliptic equations in divergence form \begin{equation*} -\mathrm{div }(A\nabla u)+\mathbf{b} \cdot \nabla u+\lambda u=f+\mathrm{div } \mathbf{F}\quad \text{in } \Omega\quad\text{and}\quad u=0\quad \text{on } \partial\Omega, \end{equation*} in bounded Lipschitz domain $\Omega$ in $\mathbb{R}^2$, where $A:\mathbb{R}^2\rightarrow \mathbb{R}^{2^2}$, $\mathbf{b} : \Omega\rightarrow \mathbb{R}^2$, and $\lambda \geq 0$ are given. If $2<p<\infty$ and $A$ has a small mean oscillation in small balls, $\Omega$ has small Lipschitz constant, and $\mathrm{div } A,\,\mathbf{b} \in L^{2}(\Omega;\mathbb{R}^2)$, then we prove existence and uniqueness of weak solutions in $W^{1,p}_0(\Omega)$ of the problem. Similar result also holds for the dual problem.


title: Multimedia Technology Applications and Algorithms: A Survey

abstract: Multimedia related research and development has evolved rapidly in the last few years with advancements in hardware, software and network infrastructures. As a result, multimedia has been integrated into domains like Healthcare and Medicine, Human facial feature extraction and tracking, pose recognition, disparity estimation, etc. This survey gives an overview of the various multimedia technologies and algorithms developed in the domains mentioned.


title: Entropy dissipation and propagation of chaos for the uniform reshuffling model

abstract: We investigate the uniform reshuffling model for money exchanges: two agents picked uniformly at random redistribute their dollars between them. This stochastic dynamics is of mean-field type and eventually leads to a exponential distribution of wealth. To better understand this dynamics, we investigate its limit as the number of agents goes to infinity. We prove rigorously the so-called propagation of chaos which links the stochastic dynamics to a (limiting) nonlinear partial differential equation (PDE). This deterministic description, which is well-known in the literature, has a flavor of the classical Boltzmann equation arising from statistical mechanics of dilute gases. We prove its convergence toward its exponential equilibrium distribution in the sense of relative entropy.


title: Tight Compression: Compressing CNN Through Fine-Grained Pruning and Weight Permutation for Efficient Implementation

abstract: The unstructured sparsity after pruning poses a challenge to the efficient implementation of deep learning models in existing regular architectures like systolic arrays. On the other hand, coarse-grained structured pruning is suitable for implementation in regular architectures but tends to have higher accuracy loss than unstructured pruning when the pruned models are of the same size. In this work, we propose a model compression method based on a novel weight permutation scheme to fully exploit the fine-grained weight sparsity in the hardware design. Through permutation, the optimal arrangement of the weight matrix is obtained, and the sparse weight matrix is further compressed to a small and dense format to make full use of the hardware resources. Two pruning granularities are explored. In addition to the unstructured weight pruning, we also propose a more fine-grained subword-level pruning to further improve the compression performance. Compared to the state-of-the-art works, the matrix compression rate is significantly improved from 5.88x to 14.13x. As a result, the throughput and energy efficiency are improved by 2.75 and 1.86 times, respectively.


title: Diarization of Legal Proceedings. Identifying and Transcribing Judicial Speech from Recorded Court Audio

abstract: United States Courts make audio recordings of oral arguments available as public record, but these recordings rarely include speaker annotations. This paper addresses the Speech Audio Diarization problem, answering the question of "Who spoke when?" in the domain of judicial oral argument proceedings. We present a workflow for diarizing the speech of judges using audio recordings of oral arguments, a process we call Reference-Dependent Speaker Verification. We utilize a speech embedding network trained with the Generalized End-to-End Loss to encode speech into d-vectors and a pre-defined reference audio library based on annotated data. We find that by encoding reference audio for speakers and full arguments and computing similarity scores we achieve a 13.8% Diarization Error Rate for speakers covered by the reference audio library on a held-out test set. We evaluate our method on the Supreme Court of the United States oral arguments, accessed through the Oyez Project, and outline future work for diarizing legal proceedings. A code repository for this research is available at github.com/JeffT13/rd-diarization


title: Nova-LSM: A Distributed, Component-based LSM-tree Key-value Store

abstract: The cloud infrastructure motivates disaggregation of monolithic data stores into components that are assembled together based on an application's workload. This study investigates disaggregation of an LSM-tree key-value store into components that communicate using RDMA. These components separate storage from processing, enabling processing components to share storage bandwidth and space. The processing components scatter blocks of a file (SSTable) across an arbitrary number of storage components and balance load across them using power-of-d. They construct ranges dynamically at runtime to parallelize compaction and enhance performance. Each component has configuration knobs that control its scalability. The resulting component-based system, Nova-LSM, is elastic. It outperforms its monolithic counterparts, both LevelDB and RocksDB, by several orders of magnitude with workloads that exhibit a skewed pattern of access to data.


title: Global Syntactic Variation in Seven Languages: Towards a Computational Dialectology

abstract: The goal of this paper is to provide a complete representation of regional linguistic variation on a global scale. To this end, the paper focuses on removing three constraints that have previously limited work within dialectology/dialectometry. First, rather than assuming a fixed and incomplete set of variants, we use Computational Construction Grammar to provide a replicable and falsifiable set of syntactic features. Second, rather than assuming a specific area of interest, we use global language mapping based on web-crawled and social media datasets to determine the selection of national varieties. Third, rather than looking at a single language in isolation, we model seven major languages together using the same methods: Arabic, English, French, German, Portuguese, Russian, and Spanish. Results show that models for each language are able to robustly predict the region-of-origin of held-out samples better using Construction Grammars than using simpler syntactic features. These global-scale experiments are used to argue that new methods in computational sociolinguistics are able to provide more generalized models of regional variation that are essential for understanding language variation and change at scale.


title: Study of BC$_{14}$N-bilayer graphene: Effects of atomic spacing and interatomic interaction between B and N atoms

abstract: We study the effects of an attractive interaction between the boron (B) and the nitrogen (N) atoms doped in a bilayer graphene (BLG), BC$_{14}$N, on the electronic, the thermal and the optical properties for two different types of a doping process: First, both the B and the N atoms are doped in the same layer while the other layer is undoped. Second, the B and N atoms are doped in both layers. An attractive interaction between the B and N atoms does not influence the interlayer interaction in the first case, while it does in the second case. We find that the strong B-N attractive interaction in one layer induces metallic behavior due to the crossing of the valence band and the Fermi energy, while the strong attractive interaction between both layers induces a semiconductor property arising from the emergence a bandgap. We therefore confirm that the metallic-like BLG is not a good material for thermal devices because it has a low figure of merit, while we notice that the semiconductor-like BLG has a high Seebeck coefficient and figure of merit as well as a low thermal conductivity. The strong attractive interaction of the B-N atoms between the layers gives rise to a prominent peak to appear in dielectric function, the excitation and the absorption spectra in the low energy, visible range, while a very weak peak is seen in the case of a strong attractive interaction between the B and N doped in one layer. Controlling the B and N atomic configurations in the BLG may help to improve the material for use in both thermoelectric and optoelectronic devices.


title: Lagrangian approach for modal analysis of fluid flows

abstract: Common modal decomposition techniques for flowfield analysis, data-driven modeling and flow control, such as proper orthogonal decomposition (POD) and dynamic mode decomposition (DMD) are usually performed in an Eulerian (fixed) frame of reference with snapshots from measurements or evolution equations. The Eulerian description poses some difficulties, however, when the domain or the mesh deforms with time as, for example, in fluid-structure interactions. For such cases, we first formulate a Lagrangian modal analysis (LMA) ansatz by a posteriori transforming the Eulerian flow fields into Lagrangian flow maps through an orientation and measure-preserving domain diffeomorphism. The development is then verified for Lagrangian variants of POD and DMD using direct numerical simulations (DNS) of two canonical flow configurations at Mach 0.5, the lid-driven cavity and flow past a cylinder, representing internal and external flows, respectively, at pre- and post-bifurcation Reynolds numbers. The LMA is demonstrated for several situations encompassing unsteady flow without and with boundary and mesh deformation as well as non-uniform base flows that are steady in Eulerian but not in Lagrangian frames. We show that LMA application to steady nonuniform base flow yields insights into flow stability and post-bifurcation dynamics. LMA naturally leads to Lagrangian coherent flow structures and connections with finite-time Lyapunov exponents (FTLE). We examine the mathematical link between FTLE and LMA by considering a double-gyre flow pattern. Dynamically important flow features in the Lagrangian sense are recovered by performing LMA with forward and backward (adjoint) time procedures.


title: Tighter bounds on transient moments of stochastic chemical systems

abstract: The use of approximate solution techniques for the Chemical Master Equation is common practice for the analysis of stochastic chemical systems. Despite their widespread use, however, many such techniques rely on unverifiable assumptions and only few provide mechanisms to control the approximation error quantitatively. Addressing this gap, Dowdy and Barton [The Journal of Chemical Physics, 149(7), 074103 (2018)] proposed a method for the computation of guaranteed bounds on the moment trajectories associated with stochastic chemical systems described by the Chemical Master Equation, thereby providing a general framework for error quantification. Here, we present an extension of this method. The key contribution is a new hierarchy of convex necessary moment conditions crucially reflecting the temporal causality and other regularity conditions that are inherent to the moment trajectories associated with stochastic processes described by the Chemical Master Equation. Analogous to the original method, these conditions generate a hierarchy of semidefinite programs that furnishes monotonically improving bounds on the trajectories of the moments and related statistics. Compared to its predecessor, the presented hierarchy produces bounds that are at least as tight and it often enables the computation of dramatically tighter bounds as it enjoys superior scaling properties and the generated semidefinite programs are highly structured. We analyze the properties of the presented hierarchy, discuss some aspects of its practical implementation and demonstrate its merits with several examples.


title: Effect of Strain Rate on Single Tau, Dimerized Tau and Tau-Microtubule Interface: a Molecular Dynamics Simulation Study

abstract: In this study, the mechanical behavior of single tau, dimerized tau, and tau-microtubule interface subjected to high strain rate is investigated by molecular dynamics simulation.


title: NMR determination of Van Hove singularity and Lifshitz transitions in nodal-line semimetal ZrSiTe

abstract: We have applied nuclear magnetic resonance spectroscopy to study the distinctive network of nodal lines in the Dirac semimetal ZrSiTe. The low-$T$ behavior is dominated by a symmetry-protected nodal line, with NMR providing a sensitive probe of the diamagnetic response of the associated carriers. A sharp low-$T$ minimum in NMR shift and $(T_1T)^{-1}$ provides a quantitative measure of the dispersionless, quasi-2D behavior of this nodal line. We also identify a van Hove singularity closely connected to this nodal line, and an associated $T$-induced Lifshitz transition. A disconnect in the NMR shift and line width at this temperature indicates the change in electronic behavior associated with this topological change. These features have an orientation-dependent behavior indicating a field-dependent scaling of the associated band energies.


title: Almost o-minimal structures and $\mathfrak X$-structures

abstract: We propose new structures called almost o-minimal structures and $\mathfrak X$-structures. The former is a first-order expansion of a dense linear order without endpoints such that the intersection of a definable set with a bounded open interval is a finite union of points and open intervals. The latter is a variant of van den Dries and Miller's analytic geometric categories and Shiota's $\mathfrak X$-sets and $\mathfrak Y$-sets. In them, the family of definable sets are closed only under proper projections unlike first-order structures. We demonstrate that an $\mathfrak X$-expansion of an ordered divisible abelian group always contains an o-minimal expansion of an ordered group such that all bounded $\mathfrak X$-definable sets are definable in the structure. Another contribution of this paper is a uniform local definable cell decomposition theorem for almost o-minimal expansions of ordered groups $\mathcal M=(M,<,0,+,\ldots)$. Let $\{A_\lambda\}_{\lambda\in\Lambda}$ be a finite family of definable subsets of $M^{m+n}$. Take an arbitrary positive element $R \in M$ and set $B=]-R,R[^n$. Then, there exists a finite partition into definable sets \begin{equation*} M^m \times B = X_1 \cup \ldots \cup X_k \end{equation*} such that $B=(X_1)_b \cup \ldots \cup (X_k)_b$ is a definable cell decomposition of $B$ for any $b \in M^m$ and either $X_i \cap A_\lambda = \emptyset$ or $X_i \subseteq A_\lambda$ for any $1 \leq i \leq k$ and $\lambda \in \Lambda$. Here, the notation $S_b$ denotes the fiber of a definable subset $S$ of $M^{m+n}$ at $b \in M^m$. We introduce the notion of multi-cells and demonstrate that any definable set is a finite union of multi-cells in the course of the proof of the above theorem.


title: Polarization-Resolved Extreme Ultraviolet Second Harmonic Generation from LiNbO$_3$

abstract: Second harmonic generation (SHG) spectroscopy ubiquitously enables the investigation of surface chemistry, interfacial chemistry as well as symmetry properties in solids. Polarization-resolved SHG spectroscopy in the visible to infrared regime is regularly used to investigate electronic and magnetic orders through their angular anisotropies within the crystal structure. However, the increasing complexity of novel materials and emerging phenomena hamper the interpretation of experiments solely based on the investigation of hybridized valence states. Here, polarization-resolved SHG in the extreme ultraviolet (XUV-SHG) is demonstrated for the first time, enabling element-resolved angular anisotropy investigations. In non-centrosymmetric LiNbO$_3$, elemental contributions by lithium and niobium are clearly distinguished by energy dependent XUV-SHG measurements. This element-resolved and symmetry-sensitive experiment suggests that the displacement of Li ions in LiNbO$_3$, which is known to lead to ferroelectricity, is accompanied by distortions to the Nb ion environment that breaks the inversion symmetry of the NbO$_{6}$ octahedron as well. Our simulations show that the measured second harmonic spectrum is consistent with Li ion displacements from the centrosymmetric position by $\sim$0.5 Angstrom while the Nb-O bonds are elongated/contracted by displacements of the O atoms by $\sim$0.1 Angstrom. In addition, the polarization-resolved measurement of XUV-SHG shows excellent agreement with numerical predictions based on dipole-induced SHG commonly used in the optical wavelengths. This constitutes the first verification of the dipole-based SHG model in the XUV regime. The findings of this work pave the way for future angle and time-resolved XUV-SHG studies with elemental specificity in condensed matter systems.


title: A Unified Convergence Rate Analysis of The Accelerated Smoothed Gap Reduction Algorithm

abstract: In this paper, we develop a unified convergence analysis framework for the Accelerated Smoothed GAp ReDuction algorithm (ASGARD) introduced in [20, Tran-Dinh et al, 2015] Unlike[20], the new analysis covers three settings in a single algorithm: general convexity, strong convexity, and strong convexity and smoothness. Moreover, we establish the convergence guarantees on three criteria: (i) gap function, (ii) primal objective residual, and (iii) dual objective residual. Our convergence rates are optimal (up to a constant factor) in all cases. While the convergence rate on the primal objective residual for the general convex case has been established in [20], we prove additional convergence rates on the gap function and the dual objective residual. The analysis for the last two cases is completely new. Our results provide a complete picture on the convergence guarantees of ASGARD. Finally, we present four different numerical experiments on a representative optimization model to verify our algorithm and compare it with Nesterov's smoothing technique.


title: On the validity of classical partition function

abstract: The partition function for a system of non-interacting $N-$particles can be found by summing over all the states of the system. The classical partition function for an ideal gas differs from Bosonic or Fermionic partition function in the classical regime. Students find it difficult to follow the differences arising out of incorrect counting by the classical partition function by missing out on the indistinguishability of particles and Fermi-Bose statistics. We present a pedagogical computer-based experiment to probe and demonstrate the key differences in the partition functions (i) $Q$, for the system of distinguishable and indistinguishable particles (ii) $B$, for Bosons and (ii) $F$, for Fermions without formally using the single-particle partition function.


title: Towards Real-time Semantic RGB-D SLAM in Dynamic Environments

abstract: Most of the existing visual SLAM methods heavily rely on a static world assumption and easily fail in dynamic environments. Some recent works eliminate the influence of dynamic objects by introducing deep learning-based semantic information to SLAM systems. However such methods suffer from high computational cost and cannot handle unknown objects. In this paper, we propose a real-time semantic RGB-D SLAM system for dynamic environments that is capable of detecting both known and unknown moving objects. To reduce the computational cost, we only perform semantic segmentation on keyframes to remove known dynamic objects, and maintain a static map for robust camera tracking. Furthermore, we propose an efficient geometry module to detect unknown moving objects by clustering the depth image into a few regions and identifying the dynamic regions via their reprojection errors. The proposed method is evaluated on public datasets and real-world conditions. To the best of our knowledge, it is one of the first semantic RGB-D SLAM systems that run in real-time on a low-power embedded platform and provide high localization accuracy in dynamic environments.


title: Hessian Estimation via Stein's Identity in Black-Box Problems

abstract: When the available information is noisy zeroth-order (ZO) oracle, stochastic approximation methods are popular for estimating the root of the multivariate gradient equation. Inspired by the Stein's identity, this work establishes a novel Hessian approximation scheme. We compare it alongside with second-order simultaneous perturbation stochastic approximation (2SPSA). On the basis of the almost sure convergence and the same convergence rate, 2SPSA requires four ZO queries, while ours requires three ZO queries. Moreover, 2SPSA requires two statistically independent perturbations and two differencing stepsizes, while ours requires generating one perturbation vector only and tuning one differencing stepsize only. Besides, the weighting mechanism for the Hessian estimate is generalized and the smoothness restriction on the loss function is relaxed compared to 2SPSA. Finally, we present numerical support for the reduced per-iteration ZO query complexity.


title: Efficient DETR: Improving End-to-End Object Detector with Dense Prior

abstract: The recently proposed end-to-end transformer detectors, such as DETR and Deformable DETR, have a cascade structure of stacking 6 decoder layers to update object queries iteratively, without which their performance degrades seriously. In this paper, we investigate that the random initialization of object containers, which include object queries and reference points, is mainly responsible for the requirement of multiple iterations. Based on our findings, we propose Efficient DETR, a simple and efficient pipeline for end-to-end object detection. By taking advantage of both dense detection and sparse set detection, Efficient DETR leverages dense prior to initialize the object containers and brings the gap of the 1-decoder structure and 6-decoder structure. Experiments conducted on MS COCO show that our method, with only 3 encoder layers and 1 decoder layer, achieves competitive performance with state-of-the-art object detection methods. Efficient DETR is also robust in crowded scenes. It outperforms modern detectors on CrowdHuman dataset by a large margin.


title: Pluriclosed manifolds with constant holomorphic sectional curvature

abstract: A long-standing conjecture in complex geometry says that a compact Hermitian manifold with constant holomorphic sectional curvature must be K\"ahler when the constant is non-zero and must be Chern flat when the constant is zero. The conjecture is known in complex dimension $2$ by the work of Balas-Gauduchon in 1985 (when the constant is zero or negative) and by Apostolov-Davidov-Muskarov in 1996 (when the constant is positive). For higher dimensions, the conjecture is still largely unknown. In this article, we restrict ourselves to pluriclosed manifolds, and confirm the conjecture for the special case of Strominger K\"ahler-like manifolds, namely, for Hermitian manifolds whose Strominger connection (also known as Bismut connection) obeys all the K\"ahler symmetries.


title: An Empirical Study on Channel Effects for Synthetic Voice Spoofing Countermeasure Systems

abstract: Spoofing countermeasure (CM) systems are critical in speaker verification; they aim to discern spoofing attacks from bona fide speech trials. In practice, however, acoustic condition variability in speech utterances may significantly degrade the performance of CM systems. In this paper, we conduct a cross-dataset study on several state-of-the-art CM systems and observe significant performance degradation compared with their single-dataset performance. Observing differences of average magnitude spectra of bona fide utterances across the datasets, we hypothesize that channel mismatch among these datasets is one important reason. We then verify it by demonstrating a similar degradation of CM systems trained on original but evaluated on channel-shifted data. Finally, we propose several channel robust strategies (data augmentation, multi-task learning, adversarial learning) for CM systems, and observe a significant performance improvement on cross-dataset experiments.


title: Non-Euclidean Contraction Theory for Monotone and Positive Systems

abstract: In this note we study contractivity of monotone systems and exponential convergence of positive systems using non-Euclidean norms. We first introduce the notion of conic matrix measure as a framework to study stability of monotone and positive systems. We study properties of the conic matrix measures and investigate their connection with weak pairings and standard matrix measures. Using conic matrix measures and weak pairings, we characterize contractivity and incremental stability of monotone systems with respect to non-Euclidean norms. Moreover, we use conic matrix measures to provide sufficient conditions for exponential convergence of positive systems to their equilibria. We show that our framework leads to novel results on (i) the contractivity of excitatory Hopfield neural networks, and (ii) the stability of interconnected systems using non-monotone positive comparison systems.


title: Learning the CSI Recovery in FDD Systems

abstract: We propose an innovative machine learning-based technique to address the problem of channel acquisition at the base station in frequency division duplex systems. In this context, the base station reconstructs the full channel state information in the downlink frequency range based on limited downlink channel state information feedback from the mobile terminal. The channel state information recovery is based on a convolutional neural network which is trained exclusively on collected channel state samples acquired in the uplink frequency domain. No acquisition of training samples in the downlink frequency range is required at all. Finally, after a detailed presentation and analysis of the proposed technique and its performance, the "transfer learning'' assumption of the convolutional neural network that is central to the proposed approach is validated with an analysis based on the maximum mean discrepancy metric.


title: Risk-sensitive Optimization for Robust Quantum Controls

abstract: Highly accurate and robust control of quantum operations is vital for the realization of error-correctible quantum computation. In this paper, we show that the robustness of high-precision controls can be remarkably enhanced through sampling-based stochastic optimization of a risk-sensitive loss function. Following the stochastic gradient-descent direction of this loss function, the optimization is guided to penalize poor-performance uncertainty samples in a tunable manner. We propose two algorithms, which are termed as the risk-sensitive GRAPE and the adaptive risk-sensitive GRAPE. Their effectiveness is demonstrated by numerical simulations, which is shown to be able to achieve high control robustness while maintaining high fidelity.


title: Learning and Generalizing Variable Impedance Manipulation Skills from Human Demonstrations

abstract: By learning Variable Impedance Control policy, robot assistants can intelligently adapt their manipulation compliance to ensure both safe interaction and proper task completion when operating in human-robot interaction environments. In this paper, we propose a DMP-based framework that learns and generalizes variable impedance manipulation skills from human demonstrations. This framework improves robots$'$ adaptability to environment changes(i.e. the weight and shape changes of grasping object at the robot end-effector) and inherits the efficiency of demonstration-variance-based stiffness estimation methods. Besides, with our stiffness estimation method, we generate not only translational stiffness profiles but also rotational stiffness profiles that are ignored or incomplete in most learning Variable Impedance Control papers. Real-world experiments on a 7 DoF redundant robot manipulator have been conducted to validate the effectiveness of our framework.


title: DARCNN: Domain Adaptive Region-based Convolutional Neural Network for Unsupervised Instance Segmentation in Biomedical Images

abstract: In the biomedical domain, there is an abundance of dense, complex data where objects of interest may be challenging to detect or constrained by limits of human knowledge. Labelled domain specific datasets for supervised tasks are often expensive to obtain, and furthermore discovery of novel distinct objects may be desirable for unbiased scientific discovery. Therefore, we propose leveraging the wealth of annotations in benchmark computer vision datasets to conduct unsupervised instance segmentation for diverse biomedical datasets. The key obstacle is thus overcoming the large domain shift from common to biomedical images. We propose a Domain Adaptive Region-based Convolutional Neural Network (DARCNN), that adapts knowledge of object definition from COCO, a large labelled vision dataset, to multiple biomedical datasets. We introduce a domain separation module, a self-supervised representation consistency loss, and an augmented pseudo-labelling stage within DARCNN to effectively perform domain adaptation across such large domain shifts. We showcase DARCNN's performance for unsupervised instance segmentation on numerous biomedical datasets.


title: On the Dynamism of User Rejections in Mobility-on-Demand Systems

abstract: Mobility-on-demand (MoD) systems, especially ride-hailing systems, have seen tremendous growth in recent years. These systems provide user-centric mobility services, whose users expect a high level of convenience. Waiting for a response after an app request and eventually learning after a long period of time that no vehicle is available is hardly acceptable. This study investigates the use-case where users should be served within a certain maximum waiting time. Under certain assumptions, which are reasonable for an attractive MoD business model, it can be shown that an operator using dynamic state optimization can communicate a rejection to users after the first iteration, thereby eliminating unnecessary waiting time before these users would leave the system. Furthermore, early operator rejections reduce the dimension of subsequent customer-vehicle assignment problems, thereby saving computational resources and solving the problems faster. In turn, this allows shorter re-optimization cycles and once again faster responses, i.e. a better user experience.


title: Zeus: Locality-aware Distributed Transactions

abstract: State-of-the-art distributed in-memory datastores (FaRM, FaSST, DrTM) provide strongly-consistent distributed transactions with high performance and availability. Transactions in those systems are fully general; they can atomically manipulate any set of objects in the store, regardless of their location. To achieve this, these systems use complex distributed transactional protocols. Meanwhile, many workloads have a high degree of locality. For such workloads, distributed transactions are an overkill as most operations only access objects located on the same server -- if sharded appropriately. In this paper, we show that for these workloads, a single-node transactional protocol combined with dynamic object re-sharding and asynchronously pipelined replication can provide the same level of generality with better performance, simpler protocols, and lower developer effort. We present Zeus, an in-memory distributed datastore that provides general transactions by acquiring all objects involved in the transaction to the same server and executing a single-node transaction on them. Zeus is fault-tolerant and strongly-consistent. At the heart of Zeus is a reliable dynamic object sharding protocol that can move 250K objects per second per server, allowing Zeus to process millions of transactions per second and outperform more traditional distributed transactions on a wide range of workloads that exhibit locality.


title: Uncertainty for Identifying Open-Set Errors in Visual Object Detection

abstract: Deployed into an open world, object detectors are prone to open-set errors, false positive detections of object classes not present in the training dataset. We propose GMM-Det, a real-time method for extracting epistemic uncertainty from object detectors to identify and reject open-set errors. GMM-Det trains the detector to produce a structured logit space that is modelled with class-specific Gaussian Mixture Models. At test time, open-set errors are identified by their low log-probability under all Gaussian Mixture Models. We test two common detector architectures, Faster R-CNN and RetinaNet, across three varied datasets spanning robotics and computer vision. Our results show that GMM-Det consistently outperforms existing uncertainty techniques for identifying and rejecting open-set detections, especially at the low-error-rate operating point required for safety-critical applications. GMM-Det maintains object detection performance, and introduces only minimal computational overhead. We also introduce a methodology for converting existing object detection datasets into specific open-set datasets to evaluate open-set performance in object detection.


title: Recursively Refined R-CNN: Instance Segmentation with Self-RoI Rebalancing

abstract: Within the field of instance segmentation, most of the state-of-the-art deep learning networks rely nowadays on cascade architectures, where multiple object detectors are trained sequentially, re-sampling the ground truth at each step. This offers a solution to the problem of exponentially vanishing positive samples. However, it also translates into an increase in network complexity in terms of the number of parameters. To address this issue, we propose Recursively Refined R-CNN (R^3-CNN) which avoids duplicates by introducing a loop mechanism instead. At the same time, it achieves a quality boost using a recursive re-sampling technique, where a specific IoU quality is utilized in each recursion to eventually equally cover the positive spectrum. Our experiments highlight the specific encoding of the loop mechanism in the weights, requiring its usage at inference time. The R^3-CNN architecture is able to surpass the recently proposed HTC model, while reducing the number of parameters significantly. Experiments on COCO minival 2017 dataset show performance boost independently from the utilized baseline model. The code is available online at https://github.com/IMPLabUniPr/mmdetection/tree/r3_cnn.


title: Asymptotic topological regularity of CAT(0) spaces

abstract: We study asymptotic topological regularity of CAT(0) spaces. We prove that if a purely n-dimensional, proper, geodesically complete CAT(0) space has small volume growth, then it is homeomorphic to the n-dimensional Euclidean space. We also discuss asymptotic geometry of proper, geodesically complete CAT(0) spaces of small volume growth.