title: Extending Sparse Tensor Accelerators to Support Multiple Compression Formats

abstract: Sparsity, which occurs in both scientific applications and Deep Learning (DL) models, has been a key target of optimization within recent ASIC accelerators due to the potential memory and compute savings. These applications use data stored in a variety of compression formats. We demonstrate that both the compactness of different compression formats and the compute efficiency of the algorithms enabled by them vary across tensor dimensions and amount of sparsity. Since DL and scientific workloads span across all sparsity regions, there can be numerous format combinations for optimizing memory and compute efficiency. Unfortunately, many proposed accelerators operate on one or two fixed format combinations. This work proposes hardware extensions to accelerators for supporting numerous format combinations seamlessly and demonstrates ~4X speedup over performing format conversions in software.


title: A massively parallel evolutionary algorithm for the partial Latin square extension problem

abstract: The partial Latin square extension problem is to fill as many as possible empty cells of a partially filled Latin square. This problem is a useful model for a wide range of applications in diverse domains. This paper presents the first massively parallel evolutionary algorithm algorithm for this computationally challenging problem based on a transformation of the problem to partial graph coloring. The algorithm features the following original elements. Based on a very large population (with more than $10^4$ individuals) and modern graphical processing units, the algorithm performs many local searches in parallel to ensure an intensive exploitation of the search space. The algorithm employs a dedicated crossover with a specific parent matching strategy to create a large number of diversified and information-preserving offspring at each generation. Extensive experiments on 1800 benchmark instances show a high competitiveness of the algorithm compared to the current best performing methods. Competitive results are also reported on the related Latin square completion problem. Analyses are performed to shed lights on the roles of the main algorithmic components. The code of the algorithm will be made publicly available.


title: Generalized Vanishing Theorems for Yukawa Couplings in Heterotic Compactifications

abstract: Heterotic compactifications on Calabi-Yau threefolds frequently exhibit textures of vanishing Yukawa couplings in their low energy description. The vanishing of these couplings is often not enforced by any obvious symmetry and appears to be topological in nature. Recent results in the literature used differential geometric methods to explain the origin of some of this structure. A vanishing theorem was given which showed that the effect could be attributed, in part, to the embedding of the Calabi-Yau manifolds of interest inside higher dimensional ambient spaces, if the gauge bundles involved descended from vector bundles on those larger manifolds. In this paper, we utilize an algebro-geometric approach to provide an alternative derivation of some of these results, and are thus able to generalize them to a much wider arena than has been considered before. For example, we consider cases where the vector bundles of interest do not descend from bundles on the ambient space. In such a manner we are able to highlight the ubiquity with which textures of vanishing Yukawa couplings can be expected to arise in heterotic compactifications, with multiple different constraints arising from a plethora of different geometric features associated to the gauge bundle.


title: 3D Human Pose Estimation with Spatial and Temporal Transformers

abstract: Transformer architectures have become the model of choice in natural language processing and are now being introduced into computer vision tasks such as image classification, object detection, and semantic segmentation. However, in the field of human pose estimation, convolutional architectures still remain dominant. In this work, we present PoseFormer, a purely transformer-based approach for 3D human pose estimation in videos without convolutional architectures involved. Inspired by recent developments in vision transformers, we design a spatial-temporal transformer structure to comprehensively model the human joint relations within each frame as well as the temporal correlations across frames, then output an accurate 3D human pose of the center frame. We quantitatively and qualitatively evaluate our method on two popular and standard benchmark datasets: Human3.6M and MPI-INF-3DHP. Extensive experiments show that PoseFormer achieves state-of-the-art performance on both datasets. Code is available at \url{https://github.com/zczcwh/PoseFormer}


title: The Temporal Analysis of Light Pollution in Turkey using VIIRS data

abstract: Artificial Light pollution (AL) in Turkey and in Turkish observatories between 2012--2020 have been studied using the archival data of Visible Infrared Imaging Radiometer Suite (VIIRS) instrument. The astroGIS database has been used in processing the data (https://www.astrogis.org) \cite{2020MNRAS.493.1204A}. The total energy released to space from Turkey increased by 80\% in 2019 with respect to 2012. In the span of the dataset, a steady and continuous increase has been observed throughout all cities of the country. On the other hand, Dark Sky Park locations, East and Southeast Anatolian regions and mostly rural areas around the cities kept their AL level constant. Four demographic parameters have been studied and they were found to be correlated very well with AL: Population ($R \simeq 0.90$); GDP ($R \simeq 0.87$); Total Power Consumption ($R \simeq 0.66$) and Outdoor Lightening ($R \simeq 0.67$). Contrary to countries acting to prevent AL increases, Turkey seems to be at the beginning of an era where AL will arithmetically increase throughout the country and enormous amount of energy will continuously escape to space and therefore will be wasted. Therefore, a preventive legislation, especially for invaluable astronomical site locations such as TURAG, TUG, DAG and \c{C}AAM where each is counted as a truly dark site due to their SQM values, has to be enacted in Turkey, in very near future.


title: Effect of natural gamma background radiation on portal monitor radioisotope unmixing

abstract: National security relies on several layers of protection. One of the most important is the traffic control at borders and ports that exploits Radiation Portal Monitors (RPMs) to detect and deter potential smuggling attempts. Most portal monitors rely on plastic scintillators to detect gamma rays. Despite their poor energy resolution, their cost effectiveness and the possibility of growing them in large sizes makes them the gamma-ray detector of choice in RPMs. Unmixing algorithms applied to organic scintillator spectra can be used to reliably identify the bare and unshielded radionuclides that triggered an alarm, even with fewer than 1,000 detected counts and in the presence of two or three nuclides at the same time. In this work, we experimentally studied the robustness of a state-of-the-art unmixing algorithm to different radiation background spectra, due to varying atmospheric conditions, in the 16 $^\circ$C to 28 $^\circ$C temperature range. In the presence of background, the algorithm is able to identify the nuclides present in unknown radionuclide mixtures of three nuclides, when at least 1,000 counts from the sources are detected. With fewer counts available, we found larger differences of approximately 35.9$\%$ between estimated nuclide fractions and actual ones. In these low count rate regimes, the uncertainty associated by our algorithm with the identified fractions could be an additional valuable tool to determine whether the identification is reliable or a longer measurement to increase the signal-to-noise ratio is needed. Moreover, the algorithm identification performances are consistent throughout different data sets, with negligible differences in the presence of background types of different intensity and spectral shape.


title: Sharp decay rates for localized perturbations to the critical front in the Ginzburg-Landau equation

abstract: We revisit the nonlinear stability of the critical invasion front in the Ginzburg-Landau equation. Our main result shows that the amplitude of localized perturbations decays with rate $t^{-3/2}$, while the phase decays diffusively. We thereby refine earlier work of Bricmont and Kupiainen as well as Eckmann and Wayne, who separately established nonlinear stability but with slower decay rates. On a technical level, we rely on sharp linear estimates obtained through analysis of the resolvent near the essential spectrum via a far-field/core decomposition which is well suited to accurately describing the dynamics of separate neutrally stable modes arising from far-field behavior on the left and right.


title: Spatial coherence of room-temperature monolayer WSe$_2$ exciton-polaritons in a trap

abstract: The emergence of spatial and temporal coherence of light emitted from solid-state systems is a fundamental phenomenon, rooting in a plethora of microscopic processes. It is intrinsically aligned with the control of light-matter coupling, and canonical for laser oscillation. However, it also emerges in the superradiance of multiple, phase-locked emitters, and more recently, coherence and long-range order have been investigated in bosonic condensates of thermalized light, as well as in exciton-polaritons driven to a ground state via stimulated scattering. Here, we experimentally show that the interaction between photons in a Fabry-Perot microcavity and excitons in an atomically thin WSe$_2$ layer is sufficient such that the system enters the hybridized regime of strong light-matter coupling at ambient conditions. Via Michelson interferometry, we capture clear evidence of increased spatial and temporal coherence of the emitted light from the spatially confined system ground-state. The coherence build-up is accompanied by a threshold-like behaviour of the emitted light intensity, which is a fingerprint of a polariton laser effect. Valley-physics is manifested in the presence of an external magnetic field, which allows us to manipulate K and K' polaritons via the Valley-Zeeman-effect. Our findings are of high application relevance, as they confirm the possibility to use atomically thin crystals as simple and versatile components of coherent light-sources, and in valleytronic applications at room temperature.


title: Structure Calculation and Reconstruction of Discrete State Dynamics from Residual Dipolar Couplings using REDCRAFT

abstract: Residual Dipolar Couplings (RDCs) acquired by Nuclear Magnetic Resonance (NMR) spectroscopy can be an indispensable source of information in investigation of molecular structures and dynamics. Here we present a complete strategy for structure calculation and reconstruction of discrete state dynamics from RDC data. Our method utilizes the previously presented REDCRAFT software package and its dynamic-profile analysis to complete the task of fragmented structure determination and identification of the onset of dynamics from RDC data. Fragmented structure determination was used to demonstrate successful structure calculation of static and dynamic domains for several models of dynamics. We provide a mechanism of producing an ensemble of conformations for the dynamical regions that describe any observed order tensor discrepancies between the static and dynamic domains within a protein. In addition, the presented method is capable of approximating relative occupancy of each conformational state. The developed methodology has been evaluated on simulated RDC data with 1Hz of error from an 83 residue {\alpha} protein (PDBID 1A1Z), and a 213 residue {\alpha}/\b{eta} protein DGCR8 (PDBID 2YT4). Using 1A1Z, various models of arc and complex two and three discrete-state dynamics were simulated. MD simulation was used to generate a 2-state dynamics for DGCR8. In both instances our method reproduced structure of the protein including the conformational ensemble to within less than 2{\AA}. Based on our investigations, arc motions with more than 30{\deg} of rotation are recognized as internal dynamics and are reconstructed with sufficient accuracy. Furthermore, states with relative occupancies above 20% are consistently recognized and reconstructed successfully. Arc motions with magnitude of 15{\deg} or relative occupancy of less than 10% are consistently unrecognizable as dynamical regions.


title: Robot Manipulator Control with Inverse Kinematics PD-Pseudoinverse Jacobian and Forward Kinematics Denavit Hartenberg

abstract: This paper presents the development of vision-based robotic arm manipulator control by applying Proportional Derivative-Pseudoinverse Jacobian (PD-PIJ) kinematics and Denavit Hartenberg forward kinematics. The task of sorting objects based on color is carried out to observe error propagation in the implementation of manipulator on real system. The objects image captured by the digital camera were processed based on HSV-color model and the centroid coordinate of each object detected were calculated. These coordinates are end effector position target to pick each object and were placed to the right position based on its color. Based on the end effector position target, PD-PIJ inverse kinematics method was used to determine the right angle of each joint of manipulator links. The angles found by PD-PIJ is the input of DH forward kinematics. The process was repeated until the square end effector reached the target. The experiment of model and implementation to actual manipulator were analyzed using Probability Density Function (PDF) and Weibull Probability Distribution. The result shows that the manipulator navigation system had a good performance. The real implementation of color sorting task on manipulator shows the probability of success rate cm is 94.46% for euclidian distance error less than 1.2 cm.


title: Cellcounter: a deep learning framework for high-fidelity spatial localization of neurons

abstract: Many neuroscientific applications require robust and accurate localization of neurons. It is still an unsolved problem because of the enormous variation in intensity, texture, spatial overlap, morphology and background artifacts. In addition, curation of a large dataset containing complete manual annotation of neurons from high-resolution images to train a classifier requires significant time and effort. We present Cellcounter, a deep learning-based model trained on images containing incompletely-annotated neurons with highly-varied morphology and control images containing artifacts and background structures. Leveraging the striking self-learning ability, Cellcounter gradually labels neurons, obviating the need for time-intensive complete annotation. Cellcounter shows its efficacy over the state of the arts in the accurate localization of neurons while significantly reducing false-positive detection in several protocols.


title: Two-sided confidence interval of a binomial proportion: how to choose?

abstract: Introduction: estimation of confidence intervals (CIs) of binomial proportions has been reviewed more than once but the directional interpretation, distinguishing the overestimation from the underestimation, was neglected while the sample size and theoretical proportion variances from experiment to experiment have not been formally taken in account. Herein, we define and apply new evaluation criteria, then give recommendations for the practical use of these CIs. Materials & methods: Google Scholar was used for bibliographic research. Evaluation criteria were (i) one-sided conditional errors, (ii) one-sided local average errors assuming a random theoretical proportion and (iii) expected half-widths of CIs. Results: Wald's CI did not control any of the risks, even when the expected number of successes reached 32. The likelihood ratio CI had a better balance than the logistic Wald CI. The Clopper-Pearson mid-P CI controlled well one-sided local average errors whereas the simple Clopper-Pearson CI was strictly conservative on both one-sided conditional errors. The percentile and basic bootstrap CIs had the same bias order as Wald's CI whereas the studentized CIs and BCa, modified for discrete bootstrap distributions, were less biased but not as efficient as the parametric methods. The half-widths of CIs mirrored local average errors. Conclusion: we recommend using the Clopper-Pearson mid-P CI for the estimation of a proportion except for observed-theoretical proportion comparison under controlled experimental conditions in which the Clopper-Pearson CI may be better.


title: Extreme Emission-Line Galaxies in SDSS. I. Empirical and model-based calibrations of chemical abundances

abstract: Local star-forming galaxies show properties that are thought to differ from galaxies in the early Universe. Among them, the ionizing stellar populations and the gas geometry make the recipes designed to derive chemical abundances from nebular emission lines to differ from those calibrated in the Local Universe. A sample of 1969 Extreme Emission Line Galaxies (EELGs) at a redshift 0 < z < 0.49, selected from the Sloan Digital Sky Survey (SDSS) to be local analogues of high-redshift galaxies, was used to analyze their most prominent emission lines and to derive total oxygen abundances and nitrogen-to-oxygen ratios following the direct method in the ranges 7.7 < 12+log(O/H) < 8.6 and -1.8 < log(N/O) < -0.8. They allow us to obtain new empirically calibrated strong-line methods and to evaluate other recipes based on photoionization models that can be later used for a chemical analysis of actively star-forming galaxies in very early stages of galaxy evolution. Our new relations are in agreement with others found for smaller samples of objects at higher redshifts. When compared with other relations calibrated in the local Universe, they differ when the employed strong-line ratio depends on the hardness of the ionizing radiation, such as O32 or Ne3O2, but they do not when the main dependence is on the ionization parameter, such as S23. In the case of strong-line ratios depending on [NII] lines, the derivation of O/H becomes very uncertain due to the very high N/O values derived in this sample, above all in the low-metallicity regime. Finally, we adapt the bayesian-like code HII-Chi-mistry for the conditions found in this kind of galaxies and we prove that it can be used to derive within errors both O/H and N/O, in consistency with the direct method .


title: A bright inner disk and structures in the transition disk around the very low-mass star CIDA 1

abstract: Observations of protoplanetary disks around very low-mass stars and brown dwarfs remain challenging and little is known about their properties. The disk around CIDA1 ($\sim$0.1-0.2$M_\odot$) is one of the very few known disks that host a large cavity (20au radius in size) around a very low-mass star. We present new ALMA observations at Band7 (0.9mm) and Band4 (2.1mm) of CIDA1 with a resolution of $\sim 0.05''\times 0.034''$. These new ALMA observations reveal a very bright and unresolved inner disk, a shallow spectral index of the dust emission ($\sim2$), and a complex morphology of a ring located at 20au. We also present X-Shooter (VLT) observations that confirm the high accretion rate of CIDA1 of $\dot{M}_{\rm acc}$=1.4 $\times~10^{-8}M_\odot$/yr. This high value of $\dot{M}_{\rm acc}$, the observed inner disk, and the large cavity of 20au exclude models of photo-evaporation to explain the observed cavity. When comparing these observations with models that combine planet-disk interaction, dust evolution, and radiative transfer, we exclude planets more massive than 0.5$M_{\rm{Jup}}$ as the potential origin of the large cavity because with these it is difficult to maintain a long-lived and bright inner disk. Even in this planet mass regime, an additional physical process may be needed to stop the particles from migrating inwards and to maintain a bright inner disk on timescales of millions of years. Such mechanisms include a trap formed by a very close-in extra planet or the inner edge of a dead zone. The low spectral index of the disk around CIDA1 is difficult to explain and challenges our current dust evolution models, in particular processes like fragmentation, growth, and diffusion of particles inside pressure bumps.


title: The GBT Diffuse Ionized Gas Survey (GDIGS): Survey Overview and First Data Release

abstract: The Green Bank Telescope (GBT) Diffuse Ionized Gas Survey (GDIGS) traces ionized gas in the Galactic midplane by measuring $4-8$GHz radio recombination line (RRL) emission. The nominal survey zone is $32.3^{\circ}> l >-5^{\circ}$, $|b|<0.5^{\circ}$, but coverage extends above and below the plane in select fields, and additionally includes the areas around W47 ($l \simeq 37.5^{\circ}$) and W49 ($l \simeq 43^{\circ}$). GDIGS simultaneously observes 22 Hn$\alpha$ (15 usable), 25 Hn$\beta$ (18 usable), and 8 Hn$\gamma$ RRLs (all usable), as well as multiple molecular line transitions (including of H$_2^{13}$CO, H$_2$CO, and CH$_3$OH). Here, we describe the GDIGS survey parameters and characterize the RRL data, focusing primarily on the Hn$\alpha$ data. We produce sensitive data cubes by averaging the usable RRLs, after first smoothing to a common spectral resolution of 0.5km/s and a spatial resolution of 2.65' for Hn$\alpha$, 2.62' for Hn$\beta$, and 2.09' for Hn$\gamma$. The average spectral noise per spaxel in the \hna\ data cubes is $\sim\!10$mK ($\sim\!5$mJy/beam). This sensitivity allows GDIGS to detect RRLs from plasma throughout the inner Galaxy. The GDIGS Hn$\alpha$ data are sensitive to emission measures $EM \gtrsim 1100$cm$^{-6}$pc, which corresponds to a mean electron density $\langle n_e \rangle \gtrsim 30$cm$^{-3}$ for a 1pc path length or $\langle n_e \rangle \gtrsim 1$cm$^{-3}$ for a 1kpc path length.


title: $({\mathrm R},{\mathcal B})$-Multidimensional-almost automorphic functions with applications to integral and partial differential equations

abstract: In this paper, we analyze the classes of $({\mathrm R},{\mathcal B})$-multi-almost automorphic functions and asymptotically $({\mathrm R},{\mathcal B})$-multi-almost automorphic functions. We provide plenty valuable applications to the abstract Volterra integrodifferential equations in Banach spaces and partial differential equations.


title: Smooth covers of moduli stacks of Riemann surfaces with symmetry

abstract: We construct explicitly a finite cover of the moduli stack of compact Riemann surfaces with a given group of symmetries by a smooth quasi-projective variety.


title: Micromagnetic modelling of magnetic domain walls in curved cylindrical nanotubes and nanowires

abstract: We investigate the effect of curvature on the energy and stability of domain wall configurations in curved cylindrical nanotubes and nanowires. We use micromagnetic simulations to calculate the phase diagram for the transverse wall (TW) and vortex wall (VW) states in tubes, finding the ground state configuration and the metastability region where both types of walls can exist. The introduction of curvature shifts the range for which the TW is the ground state domain wall to higher diameters, and increases the range of metastability. We interpret this behavior to be primarily due to the curvature-induced effective Dzyaloshinskii-Moriya term in the exchange energy. Furthermore, we demonstrate qualitatively the same behavior in solid cylindrical nanowires. Comparing both tubes and wires, we observe how while in tubes curvature tends to suppress the transformation from the TW to VW, in wires it promotes the transformation of the VW containing the Bloch point into the TW. These findings have important implications in the fundamental understanding of domain walls in 3D geometries, and the design of future domain wall devices.


title: Applied Nanofabrication for X-ray Grating Spectroscopy

abstract: Measuring the diffuse, highly-ionized baryonic content in galactic halos and the intergalactic medium through soft x-ray absorption spectroscopy of active galactic nuclei is a main scientific objective of the Lynx X-ray Observatory mission concept that can only be accomplished with a next-generation grating spectrometer. Realizing such an instrument using reflection grating technology requires thousands of custom blazed gratings that each perform with high diffraction efficiency to be manufactured and aligned to intercept radiation coming to a focus in a Wolter-I telescope. The aim of this thesis is to implement two recently-developed techniques in nanofabrication for this task, with an emphasis on beamline diffraction-efficiency testing for characterizing spectral sensitivity. In particular, thermally-activated selective topography equilibration (TASTE) is pursued as a means for fabricating a master grating with the key advantage that it enables blazed groove facets to be patterned in polymeric electron-beam resist over a non-parallel groove layout not limited by substrate crystal structure. Additionally, substrate-conformal imprint lithography (SCIL) is studied as a method for mass manufacturing high-fidelity grating replicas in a silica sol-gel resist while avoiding many of the detriments associated with large-area patterning in other nanoimprint techniques. Diffraction-efficiency testing of sub-micron grating prototypes coated with gold shows that TASTE is capable of meeting Lynx requirements for spectral sensitivity, with room for improvement at small groove periods, and that while SCIL offers a promising avenue for Lynx grating production, imprints suffer a small blaze-angle reduction due to resist shrinkage. Accompanying this dissertation are appendices that outline physics fundamentals for x-ray spectral lines, x-ray optics, and diffraction gratings.


title: Stationary underdispersed INAR(1) models based on the backward approach

abstract: Most of the stationary first-order autoregressive integer-valued (INAR(1)) models were developed for a given thinning operator using either the forward approach or the backward approach. In the forward approach the marginal distribution of the time series is specified and an appropriate distribution for the innovation sequence is sought. Whereas in the backward setting, the roles are reversed. The common distribution of the innovation sequence is specified and the distributional properties of the marginal distribution of the time series are studied. In this article we focus on the backward approach in presence of the Binomial thinning operator. We establish a number of theoretical results which we proceed to use to develop stationary INAR(1) models with finite mean. We illustrate our results by presenting some new INAR(1) models that show underdispersion.


title: Dynamic Kernel Matching for Non-conforming Data: A Case Study of T-cell Receptor Datasets

abstract: Most statistical classifiers are designed to find patterns in data where numbers fit into rows and columns, like in a spreadsheet, but many kinds of data do not conform to this structure. To uncover patterns in non-conforming data, we describe an approach for modifying established statistical classifiers to handle non-conforming data, which we call dynamic kernel matching (DKM). As examples of non-conforming data, we consider (i) a dataset of T-cell receptor (TCR) sequences labelled by disease antigen and (ii) a dataset of sequenced TCR repertoires labelled by patient cytomegalovirus (CMV) serostatus, anticipating that both datasets contain signatures for diagnosing disease. We successfully fit statistical classifiers augmented with DKM to both datasets and report the performance on holdout data using standard metrics and metrics allowing for indeterminant diagnoses. Finally, we identify the patterns used by our statistical classifiers to generate predictions and show that these patterns agree with observations from experimental studies.


title: New dynamical features of pure k-essential cosmologies

abstract: We come back on the dynamical properties of k-essential cosmological models and show how the interesting phenomenological features of those models are related to the existence of boundaries in the phase surface. We focus our attention to the branching points where the energy density has an extremum and the effective speed of sound diverges. We discuss the behaviour of solutions of a general class of cosmological models exhibiting such curves and give two possible interpretations; the most interesting possibility regards the arrow of time that is reversed in trespassing the branching curve. This study teaches to us something new about general FLRW cosmologies where the fluids driving the cosmic evolution have equations of state that are multivalued functions of the energy density and other thermodynamical quantities.


title: Dynamic Model for Query-Document Expansion towards Improving Retrieval Relevance

abstract: Getting relevant information from search engines has been the heart of research works in information retrieval. Query expansion is a retrieval technique that has been studied and proved to yield positive results in relevance. Users are required to express their queries as a shortlist of words, sentences, or questions. With this short format, a huge amount of information is lost in the process of translating the information need from the actual query size since the user cannot convey all his thoughts in a few words. This mostly leads to poor query representation which contributes to undesired retrieval effectiveness. This loss of information has made the study of query expansion technique a strong area of study. This research work focuses on two methods of retrieval for both tweet-length queries and sentence-length queries. Two algorithms have been proposed and the implementation is expected to produce a better relevance retrieval model than most state-the-art relevance models.


title: Maximum Likelihood Recursive State Estimation using the Expectation Maximization Algorithm

abstract: A Maximum Likelihood recursive state estimator is derived for non-linear and non-Gaussian state-space models. The estimator combines a particle filter to generate the conditional density and the Expectation Maximization algorithm to compute the maximum likelihood state estimate iteratively. Algorithms for maximum likelihood state filtering, prediction and smoothing are presented. The convergence properties of these algorithms, which are inherited from the Expectation Maximization algorithm, are proven and examined in two examples. It is shown that, with randomized reinitialization, which is feasible because of the algorithm simplicity, these methods are able to converge to the Maximum Likelihood Estimate (MLE) of multimodal, truncated and skewed densities, as well as those of disjoint support.


title: Smooth Aggregation for Difficult Stretched Mesh and Coefficient Variation Problems

abstract: Four adaptations of the smoothed aggregation algebraic multigrid (SA-AMG) method are proposed with an eye towards improving the convergence and robustness of the solver in situations when the discretization matrix contains many weak connections. These weak connections can cause higher than expected levels of fill-in within the coarse discretization matrices and can also give rise to sub-optimal smoothing within the prolongator smoothing phase. These smoothing drawbacks are due to the relatively small size of some diagonal entries within the filtered matrix that one obtains after dropping the weak connections. The new algorithms consider modifications to the Jacobi-like step that defines the prolongator smoother, modifications to the filtered matrix, and also direct modifications to the resulting grid transfer operators. Numerical results are given illustrating the potential benefits of the proposed adaptations.


title: Sequencing by Emergence: Modeling and Estimation

abstract: Sequencing by Emergence (SEQE) is a new single-molecule nucleic acid (DNA/RNA) sequencing technology that estimates sequence as an emergent property of the binding and localization of a repertoire of short oligonucleotide probes. SEQE promises to deliver accurate, ultra-long, haplotype-phased reads at the whole genome-scale for very low cost within 10 minutes. The data SEQE generates requires entirely new inference techniques. In this paper we introduce a probabilistic model of the SEQE measurement process and an algorithm that estimates sequence by solving a convex relaxation of the corresponding maximum likelihood problem. We demonstrate the effectiveness of our algorithm on a variety of simulated datasets.


title: Unsupervised Doppler Radar-Based Activity Recognition for e-Healthcare

abstract: Passive radio frequency (RF) sensing and monitoring of human daily activities in elderly care homes is an emerging topic. Micro-Doppler radars are an appealing solution considering their non-intrusiveness, deep penetration, and high-distance range. Unsupervised activity recognition using Doppler radar data has not received attention, in spite of its importance in case of unlabelled or poorly labelled activities in real scenarios. This study proposes two unsupervised feature extraction methods for the purpose of human activity monitoring using Doppler-streams. These include a local Discrete Cosine Transform (DCT)-based feature extraction method and a local entropy-based feature extraction method. In addition, a novel application of Convolutional Variational Autoencoder (CVAE) feature extraction is employed for the first time for Doppler radar data. The three feature extraction architectures are compared with the previously used Convolutional Autoencoder (CAE) and linear feature extraction based on Principal Component Analysis (PCA) and 2DPCA. Unsupervised clustering is performed using K-Means and K-Medoids. The results show the superiority of DCT-based method, entropy-based method, and CVAE features compared to CAE, PCA, and 2DPCA, with more than 5\%-20\% average accuracy. In regards to computation time, the two proposed methods are noticeably much faster than the existing CVAE. Furthermore, for high-dimensional data visualisation, three manifold learning techniques are considered. The methods are compared for the projection of raw data as well as the encoded CVAE features. All three methods show an improved visualisation ability when applied to the encoded CVAE features.


title: Generalized Theory of Optical Resonator and Waveguide Modes and their Linear and Kerr Nonlinear Coupling

abstract: We derive a general theory of linear coupling and Kerr nonlinear coupling between modes of dielectric optical resonators from first principles. The treatment is not specific to a particular geometry or choice of mode basis, and can therefore be used as a foundation for describing any phenomenon resulting from any combination of linear coupling, scattering and Kerr nonlinearity, such as bending and surface roughness losses, geometric backscattering, self- and cross-phase modulation, four-wave mixing, third-harmonic generation and Kerr frequency comb generation. The theory is then applied to a translationally symmetric waveguide in order to calculate the evanescent coupling strength to the modes of a microresonator placed nearby, as well as the Kerr self- and cross-phase modulation terms between the modes of the resonator. This is then used to derive a dimensionless equation describing the symmetry-breaking dynamics of two counterpropagating modes of a loop resonator and prove that cross-phase modulation is exactly twice as strong as self-phase modulation only in the case that the two counterpropagating modes are otherwise identical.


title: Reading Isn't Believing: Adversarial Attacks On Multi-Modal Neurons

abstract: With Open AI's publishing of their CLIP model (Contrastive Language-Image Pre-training), multi-modal neural networks now provide accessible models that combine reading with visual recognition. Their network offers novel ways to probe its dual abilities to read text while classifying visual objects. This paper demonstrates several new categories of adversarial attacks, spanning basic typographical, conceptual, and iconographic inputs generated to fool the model into making false or absurd classifications. We demonstrate that contradictory text and image signals can confuse the model into choosing false (visual) options. Like previous authors, we show by example that the CLIP model tends to read first, look later, a phenomenon we describe as reading isn't believing.


title: Semi-Decentralized Federated Learning with Cooperative D2D Local Model Aggregations

abstract: Federated learning has emerged as a popular technique for distributing machine learning (ML) model training across the wireless edge. In this paper, we propose two timescale hybrid federated learning (TT-HF), a semi-decentralized learning architecture that combines the conventional device-to-server communication paradigm for federated learning with device-to-device (D2D) communications for model training. In TT-HF, during each global aggregation interval, devices (i) perform multiple stochastic gradient descent iterations on their individual datasets, and (ii) aperiodically engage in consensus procedure of their model parameters through cooperative, distributed D2D communications within local clusters. With a new general definition of gradient diversity, we formally study the convergence behavior of TT-HF, resulting in new convergence bounds for distributed ML. We leverage our convergence bounds to develop an adaptive control algorithm that tunes the step size, D2D communication rounds, and global aggregation period of TT-HF over time to target a sublinear convergence rate of O(1/t) while minimizing network resource utilization. Our subsequent experiments demonstrate that TT-HF significantly outperforms the current art in federated learning in terms of model accuracy and/or network energy consumption in different scenarios where local device datasets exhibit statistical heterogeneity. Finally, our numerical evaluations demonstrate robustness against outages caused by fading channels, as well favorable performance with non-convex loss functions.


title: Learning an optimal feedback operator semiglobally stabilizing semilinear parabolic equations

abstract: Stabilizing feedback operators are presented which depend only on the orthogonal projection of the state onto the finite-dimensional control space. A class of monotone feedback operators mapping the finite-dimensional control space into itself is considered. The special case of the scaled identity operator is included. Conditions are given on the set of actuators and on the magnitude of the monotonicity, which guarantee the semiglobal stabilizing property of the feedback for a class semilinear parabolic-like equations. Subsequently an optimal feedback control minimizing the quadratic energy cost is computed by a deep neural network, exploiting the fact that the feedback depends only on a finite dimensional component of the state. Numerical simulations demonstrate the stabilizing performance of explicitly scaled orthogonal projection feedbacks, and of deep neural network feedbacks.


title: The Twist Subgroup is generated by two elements

abstract: We show that the twist subgroup $\mathcal{T}_g$ of a nonorientable surface of genus $g$ can be generated by two elements for every odd $g\geq27$ and even $g\geq42$. Using these generators, we can also show that $\mathcal{T}_g$ can be generated by two or three commutators depending on $g$ modulo $4$. Moreover, we show that $\mathcal{T}_g$ can be generated by three elements if $g\geq 8$. For this general case, the number of commutator generators is either three or four depending on $g$ modulo $4$ again.


title: Concentric Spherical GNN for 3D Representation Learning

abstract: Learning 3D representations that generalize well to arbitrarily oriented inputs is a challenge of practical importance in applications varying from computer vision to physics and chemistry. We propose a novel multi-resolution convolutional architecture for learning over concentric spherical feature maps, of which the single sphere representation is a special case. Our hierarchical architecture is based on alternatively learning to incorporate both intra-sphere and inter-sphere information. We show the applicability of our method for two different types of 3D inputs, mesh objects, which can be regularly sampled, and point clouds, which are irregularly distributed. We also propose an efficient mapping of point clouds to concentric spherical images, thereby bridging spherical convolutions on grids with general point clouds. We demonstrate the effectiveness of our approach in improving state-of-the-art performance on 3D classification tasks with rotated data.


title: Investigating the conformal behaviour of SU(2) with one adjoint Dirac flavor

abstract: We present a major update on our investigations of SU(2) gauge theory with one Dirac flavor in the adjoint representation on the lattice. In particular we consider larger volumes, as well as four different values of the gauge coupling. We provide results for the spectrum including gluonic, fermionic, and hybrid observables, Polyakov loops, and the anomalous dimension of the fermionic condensate from the Dirac mode number. These data confirm that the theory is close to the lower boundary of the conformal window for adjoint fermions. Our investigations provide important insights regarding the realization of different infrared scenarios that have been conjectured for this theory.


title: Modelling pulsar emission in the high-energy and very-high-energy regimes

abstract: The Fermi Large Area Telescope has revolutionised the $\gamma$-ray pulsar field, increasing the population to over 250 detected pulsars. The majority display spectra with exponential cutoffs in a narrow range around a few GeV. Models predicted cutoffs up to 100 GeV; it was therefore not expected that pulsars would be visible in the very-high-energy ($>$100 GeV) regime. Subsequent surprise discoveries by ground-based telescopes of pulsed emission from four pulsars above tens of GeV have marked the beginning of a new era, raising important questions about the electrodynamics and local environment of pulsar magnetospheres. Detection of the Vela pulsar by H.E.S.S. (20-120 GeV) and Fermi provides evidence for a curved spectrum. We posit this to result from curvature radiation via primary particles in the pulsar magnetosphere and current sheet. We present energy-dependent light curves using an extended slot gap and current sheet model and invoking a two-step accelerating $E$-field as motivated by kinetic simulations. I include a refined calculation of the curvature radius of particle trajectories, impacting the particle transport, predicted light curves, and spectra. The model reproduces the decrease of flux of the first light-curve peak relative to the second one, evolution of the bridge emission, near constant phase positions of peaks, and narrowing of pulses with increasing energy. We can fundamentally explain the first of these trends, since I found that the curvature radii of the particle trajectories in regions where the second $\gamma$-ray light curve peak originates are systematically larger than those associated with the first peak, implying a correspondingly larger cutoff for the second peak. An unknown azimuthal dependence of the $E$-field as well as uncertainty in the precise emission locale preclude a simplistic discrimination of emission mechanisms.


title: Decompositions and coalescing eigenvalues of symmetric definite pencils depending on parameters

abstract: In this work, we consider symmetric positive definite pencils depending on two parameters. That is, we are concerned with the generalized eigenvalue problem $A(x)-\lambda B(x)$, where $A$ and $B$ are symmetric matrix valued functions in ${\mathbb R}^{n\times n}$, smoothly depending on parameters $x\in \Omega\subset {\mathbb R}^2$; further, $B$ is also positive definite. In general, the eigenvalues of this multiparameter problem will not be smooth, the lack of smoothness resulting from eigenvalues being equal at some parameter values (conical intersections). We first give general theoretical results on the smoothness of eigenvalues and eigenvectors for the present generalized eigenvalue problem, and hence for the corresponding projections, and then perform a numerical study of the statistical properties of coalescing eigenvalues for pencils where $A$ and $B$ are either full or banded, for several bandwidths. Our numerical study will be performed with respect to a random matrix ensemble which respects the underlying engineering problems motivating our study.


title: Orbital and stellar parameters for 2M06464003+0109157: a double-lined eclipsing binary of spotted, sub-solar twins

abstract: We calculated physical and orbital properties for 2M06464003+0109157, a 1.06 day eclipsing double lined spectroscopic binary. We modelled the system's ASAS-SN and TESS light curves, measuring the system's inclination and radii of each component. Extracting radial velocities for each component from 6 SDSS/APOGEE spectra, we measured the system's mass ratio and performed a full orbital fit. Our analysis indicates that 2M06464003+0109157 has components with nearly equal masses ($m_1/m_2 =0.99 \pm 0.01$; $M_1{_,}{_2} = 0.57 \pm 0.015$ M$_\odot$) and comparable radii ($R_1 = 0.66 \pm 0.05$ R$_\odot$, $R_2 = 0.57 \pm 0.06$ R$_\odot$). The solution required two star spots to incorporate the out of eclipse variation that is seen in the light curve. We report our full characterization of this system, and prospects for similar analyses using survey data to measure precise physical and orbital properties for EBs.


title: Addressing Hate Speech with Data Science: An Overview from Computer Science Perspective

abstract: From a computer science perspective, addressing on-line hate speech is a challenging task that is attracting the attention of both industry (mainly social media platform owners) and academia. In this chapter, we provide an overview of state-of-the-art data-science approaches - how they define hate speech, which tasks they solve to mitigate the phenomenon, and how they address these tasks. We limit our investigation mostly to (semi-)automatic detection of hate speech, which is the task that the majority of existing computer science works focus on. Finally, we summarize the challenges and the open problems in the current data-science research and the future directions in this field. Our aim is to prepare an easily understandable report, capable to promote the multidisciplinary character of hate speech research. Researchers from other domains (e.g., psychology and sociology) can thus take advantage of the knowledge achieved in the computer science domain but also contribute back and help improve how computer science is addressing that urgent and socially relevant issue which is the prevalence of hate speech in social media.


title: Descente fid\`element plate et alg\'ebrisation en g\'eom\'etrie de Berkovich

abstract: This article studies descent theory in the setting of Berkovich spaces. We give sufficient conditions for a given fibered category over the category of k-affinoid algebras to be a stack for the Berkovich analogue of the faithfully-flat topology. We give some applications to the faithfully flat descent of morphisms and show that some descent data are always effective. We also show that the property of being algebraic for a morphism between the analytification of two schemes is a local property for the faithfully-flat topology.


title: Quantisation Scale-Spaces

abstract: Recently, sparsification scale-spaces have been obtained as a sequence of inpainted images by gradually removing known image data. Thus, these scale-spaces rely on spatial sparsity. In the present paper, we show that sparsification of the co-domain, the set of admissible grey values, also constitutes scale-spaces with induced hierarchical quantisation techniques. These quantisation scale-spaces are closely tied to information theoretical measures for coding cost, and therefore particularly interesting for inpainting-based compression. Based on this observation, we propose a sparsification algorithm for the grey-value domain that outperforms uniform quantisation as well as classical clustering approaches.


title: Recent Advances in Deep Learning Techniques for Face Recognition

abstract: In recent years, researchers have proposed many deep learning (DL) methods for various tasks, and particularly face recognition (FR) made an enormous leap using these techniques. Deep FR systems benefit from the hierarchical architecture of the DL methods to learn discriminative face representation. Therefore, DL techniques significantly improve state-of-the-art performance on FR systems and encourage diverse and efficient real-world applications. In this paper, we present a comprehensive analysis of various FR systems that leverage the different types of DL techniques, and for the study, we summarize 168 recent contributions from this area. We discuss the papers related to different algorithms, architectures, loss functions, activation functions, datasets, challenges, improvement ideas, current and future trends of DL-based FR systems. We provide a detailed discussion of various DL methods to understand the current state-of-the-art, and then we discuss various activation and loss functions for the methods. Additionally, we summarize different datasets used widely for FR tasks and discuss challenges related to illumination, expression, pose variations, and occlusion. Finally, we discuss improvement ideas, current and future trends of FR tasks.


title: Image Synthesis for Data Augmentation in Medical CT using Deep Reinforcement Learning

abstract: Deep learning has shown great promise for CT image reconstruction, in particular to enable low dose imaging and integrated diagnostics. These merits, however, stand at great odds with the low availability of diverse image data which are needed to train these neural networks. We propose to overcome this bottleneck via a deep reinforcement learning (DRL) approach that is integrated with a style-transfer (ST) methodology, where the DRL generates the anatomical shapes and the ST synthesizes the texture detail. We show that our method bears high promise for generating novel and anatomically accurate high resolution CT images at large and diverse quantities. Our approach is specifically designed to work with even small image datasets which is desirable given the often low amount of image data many researchers have available to them.


title: Temperature dependence of $\rho$ meson-nucleon coupling constant from the AdS/QCD soft-wall model

abstract: We investigate the dependence of the $\rho$ meson-nucleon coupling constant on the temperature of the medium using the soft-wall model of AdS/QCD. The finite temperature profile functions for the vector and fermion fields are applied to the model having a thermal dilaton field. The interaction Lagrangian in the bulk between these fields is written as in zero temperature case and includes minimal- and magnetic-type interactions. The temperature dependence of the $g_{\rho NN}(T)$ coupling constant and its terms are plotted. We observe that the coupling constant and its separate terms become zero at the medium temperature near the Hawking temperature of phase transition.


title: Non-integrability of the Kepler and the two-body problem on the Heisenberg group

abstract: The analog of the Kepler system defined on the Heisenberg group introduced by Montgomery and Shanbrom in [Fields Inst. Commun., Vol. 73, Springer, New York, 2015, 319-342, arXiv:1212.2713] is integrable on the zero level of the Hamiltonian. We show that in all other cases the system is not Liouville integrable due to the lack of additional meromorphic first integrals. We prove that the analog of the two-body problem on the Heisenberg group is not integrable in the Liouville sense.


title: Naive Automated Machine Learning -- A Late Baseline for AutoML

abstract: Automated Machine Learning (AutoML) is the problem of automatically finding the pipeline with the best generalization performance on some given dataset. AutoML has received enormous attention in the last decade and has been addressed with sophisticated black-box optimization techniques such as Bayesian Optimization, Grammar-Based Genetic Algorithms, and tree search algorithms. In contrast to those approaches, we present Naive AutoML, a very simple solution to AutoML that exploits important meta-knowledge about machine learning problems and makes simplifying, yet, effective assumptions to quickly come to high-quality solutions. While Naive AutoML can be considered a baseline for the highly sophisticated black-box solvers, we empirically show that those solvers are not able to outperform Naive AutoML; sometimes the contrary is true. On the other hand, Naive AutoML comes with strong advantages such as interpretability and flexibility and poses a strong challenge to current tools.


title: Sunflowers in set systems of bounded dimension

abstract: Given a family $\mathcal F$ of $k$-element sets, $S_1,\ldots,S_r\in\mathcal F$ form an {\em $r$-sunflower} if $S_i \cap S_j =S_{i'} \cap S_{j'}$ for all $i \neq j$ and $i' \neq j'$. According to a famous conjecture of Erd\H os and Rado (1960), there is a constant $c=c(r)$ such that if $|\mathcal F|\ge c^k$, then $\mathcal F$ contains an $r$-sunflower. We come close to proving this conjecture for families of bounded {\em Vapnik-Chervonenkis dimension}, VC-dim$(\mathcal F)\le d$. In this case, we show that $r$-sunflowers exist under the slightly stronger assumption $|\mathcal F|\ge2^{10k(dr)^{2\log^{*} k}}$. Here, $\log^*$ denotes the iterated logarithm function. We also verify the Erd\H os-Rado conjecture for families $\mathcal F$ of bounded {\em Littlestone dimension} and for some geometrically defined set systems.


title: Super-convergence and Differential Privacy: Training faster with better privacy guarantees

abstract: The combination of deep neural networks and Differential Privacy has been of increasing interest in recent years, as it offers important data protection guarantees to the individuals of the training datasets used. However, using Differential Privacy in the training of neural networks comes with a set of shortcomings, like a decrease in validation accuracy and a significant increase in the use of resources and time in training. In this paper, we examine super-convergence as a way of greatly increasing training speed of differentially private neural networks, addressing the shortcoming of high training time and resource use. Super-convergence allows for acceleration in network training using very high learning rates, and has been shown to achieve models with high utility in orders of magnitude less training iterations than conventional ways. Experiments in this paper show that this order-of-magnitude speedup can also be seen when combining it with Differential Privacy, allowing for higher validation accuracies in much fewer training iterations compared to non-private, non-super convergent baseline models. Furthermore, super-convergence is shown to improve the privacy guarantees of private models.


title: Precompensation of 3D field distortions in remote focus two-photon microscopy

abstract: Remote focusing is widely used in 3D two-photon microscopy and 3D photostimulation because it enables fast axial scanning without moving the objective lens or specimen. However, due to the design constraints of microscope optics, remote focus units are often located in non-telecentric positions in the optical path, leading to significant depth dependent 3D field distortions in the imaging volume. To address this limitation, we characterized 3D field distortions arising from non-telecentric remote focusing and present a method for distortion precompensation. We demonstrate its applicability for a 3D two-photon microscope that uses an acousto-optic lens (AOL) for remote focusing and scanning. We show that the distortion precompensation method improves the pointing precision of the AOL microscope to < 0.5 micrometer throughout the 400 x 400 x 400 micrometer imaging volume.


title: Panconnectivity Algorithm for Eisenstein-Jacobi Networks

abstract: The cycles in an interconnection network are one of the communication types that are considered as a factor to measure the efficiency and reliability of the networks' topology. The network is said to be panconnected if there are cycles of length $l$ between two nodes u and v, for all l = d(u, v), d(u, v) +1, d(u, v) +2, ..., n-1 where d(u, v) is the shortest distance between u and v in a given network, and n is the total number of nodes in the network. In this paper, we propose an algorithm that generates and proves the panconnectivity of Eisenstein-Jacobi networks by constructing all cycles between any two nodes in the network of length l such that 3 <= l < n. The correctness of the proposed algorithm is given with the time complexity O(n^4).


title: A General Language-Based Framework for Specifying and Verifying Notions of Opacity

abstract: Opacity is an information flow property that captures the notion of plausible deniability in dynamic systems, that is whether an intruder can deduce that "secret" behavior has occurred. In this paper we provide a general framework of opacity to unify the many existing notions of opacity that exist for discrete event systems. We use this framework to discuss language-based and state-based notions of opacity over automata. We present several methods for language-based opacity verification, and a general approach to transform state-based notions into language-based ones. We demonstrate this approach for current-state and initial-state opacity, unifying existing results. We then investigate the notions of K-step opacity. We provide a language-based view of K-step opacity encompassing two existing notions and two new ones. We then analyze the corresponding language-based verification methods both formally and with numerical examples. In each case, the proposed methods offer significant reductions in runtime and space complexity.


title: Ano-Graph: Learning Normal Scene Contextual Graphs to Detect Video Anomalies

abstract: Video anomaly detection has proved to be a challenging task owing to its unsupervised training procedure and high spatio-temporal complexity existing in real-world scenarios. In the absence of anomalous training samples, state-of-the-art methods try to extract features that fully grasp normal behaviors in both space and time domains using different approaches such as autoencoders, or generative adversarial networks. However, these approaches completely ignore or, by using the ability of deep networks in the hierarchical modeling, poorly model the spatio-temporal interactions that exist between objects. To address this issue, we propose a novel yet efficient method named Ano-Graph for learning and modeling the interaction of normal objects. Towards this end, a Spatio-Temporal Graph (STG) is made by considering each node as an object's feature extracted from a real-time off-the-shelf object detector, and edges are made based on their interactions. After that, a self-supervised learning method is employed on the STG in such a way that encapsulates interactions in a semantic space. Our method is data-efficient, significantly more robust against common real-world variations such as illumination, and passes SOTA by a large margin on the challenging datasets ADOC and Street Scene while stays competitive on Avenue, ShanghaiTech, and UCSD.


title: Evolution of the cluster of primordial black holes within the Fokker-Planck approach

abstract: The calculation results of the evolution of the cluster of primordial black holes based on the Fokker-Planck equation with neglecting of the gas accretion onto black holes are presented. In addition, we consider how a massive black hole located within the cluster center affects on its evolution. Despite it creates an additional potential in the central region of the cluster and might capture surrounding black holes, a negligible growth rate of a central black hole was shown for 1 Gyr. Furthermore, we find a significant (approximately tenfold) expansion of the cluster.


title: UNETR: Transformers for 3D Medical Image Segmentation

abstract: Fully Convolutional Neural Networks (FCNNs) with contracting and expanding paths have shown prominence for the majority of medical image segmentation applications since the past decade. In FCNNs, the encoder plays an integral role by learning both global and local features and contextual representations which can be utilized for semantic output prediction by the decoder. Despite their success, the locality of convolutional layers in FCNNs, limits the capability of learning long-range spatial dependencies. Inspired by the recent success of transformers for Natural Language Processing (NLP) in long-range sequence learning, we reformulate the task of volumetric (3D) medical image segmentation as a sequence-to-sequence prediction problem. We introduce a novel architecture, dubbed as UNEt TRansformers (UNETR), that utilizes a transformer as the encoder to learn sequence representations of the input volume and effectively capture the global multi-scale information, while also following the successful "U-shaped" network design for the encoder and decoder. The transformer encoder is directly connected to a decoder via skip connections at different resolutions to compute the final semantic segmentation output. We have validated the performance of our method on the Multi Atlas Labeling Beyond The Cranial Vault (BTCV) dataset for multi-organ segmentation and the Medical Segmentation Decathlon (MSD) dataset for brain tumor and spleen segmentation tasks. Our benchmarks demonstrate new state-of-the-art performance on the BTCV leaderboard. Code: https://monai.io/research/unetr


title: Topological Semimetals for Scaled Back-End-Of-Line Interconnect Beyond Cu

abstract: The resistance bottleneck in metal-interconnect scaling calls for new interconnect materials. This paper explores topological semimetals as a potential solution. After reviewing the desirable properties of topological semimetals for back-end-of-line (BEOL) interconnects, we use CoSi as an example to demonstrate the decreasing resistance-area product with scaling and provide material-search guidelines.


title: The relative efficiencies of bars and clumps in driving disc stars to retrograde motion

abstract: The presence of stars on retrograde orbits in disc galaxies is usually attributed to accretion events, both via direct accretion, as well as through the heating of the disc stars. Recent studies have shown that retrograde orbits can also be produced via scattering by dense clumps, which are often present in the early stages of a galaxy's evolution. However, so far it has been unclear whether other internally-driven mechanisms, such as bars, are also capable of driving retrograde motion. Therefore, in this paper, we investigate the efficiencies with which bars and clumps produce retrograde orbits in disc galaxies. We do this by comparing the retrograde fractions and the spatial distributions of the retrograde populations in four $N$-body$+$smooth particle hydrodynamics (SPH) simulations of isolated disc galaxies spanning a range of evolutionary behaviours. We find that both bars and clumps are capable of generating significant retrograde populations of order $\sim 10\%$ of all stars. We also find that while clump-driven retrograde stars may be found at large galactocentric radii, bar-driven retrograde stars remain in the vicinity of the bar, even if the bar dissolves. Consequently, we find that retrograde stars in the Solar Neighbourhood in the clumpy models are exclusively clump-driven, but this is a trace population, constituting $0.01-0.04\%$ of the total stellar population in this region. Finally, we find that neither bars (including dissolving ones) nor clumps in the models are able to produce rotationally supported counter-rotating discs.


title: CoCoMoT: Conformance Checking of Multi-Perspective Processes via SMT (Extended Version)

abstract: Conformance checking is a key process mining task for comparing the expected behavior captured in a process model and the actual behavior recorded in a log. While this problem has been extensively studied for pure control-flow processes, conformance checking with multi-perspective processes is still at its infancy. In this paper, we attack this challenging problem by considering processes that combine the data and control-flow dimensions. In particular, we adopt data Petri nets (DPNs) as the underlying reference formalism, and show how solid, well-established automated reasoning techniques can be effectively employed for computing conformance metrics and data-aware alignments. We do so by introducing the CoCoMoT (Computing Conformance Modulo Theories) framework, with a fourfold contribution. First, we show how SAT-based encodings studied in the pure control-flow setting can be lifted to our data-aware case, using SMT as the underlying formal and algorithmic framework. Second, we introduce a novel preprocessing technique based on a notion of property-preserving clustering, to speed up the computation of conformance checking outputs. Third, we provide a proof-of-concept implementation that uses a state-of-the-art SMT solver and report on preliminary experiments. Finally, we discuss how CoCoMoT directly lends itself to a number of further tasks, like multi- and anti-alignments, log analysis by clustering, and model repair.


title: Domains of attraction of invariant distributions of the infinite Atlas model

abstract: The infinite Atlas model describes a countable system of competing Brownian particles where the lowest particle gets a unit upward drift and the rest evolve as standard Brownian motions. The stochastic process of gaps between the particles in the infinite Atlas model does not have a unique stationary distribution and in fact for every $a \ge 0$, $\pi_a := \bigotimes_{i=1}^{\infty} \operatorname{Exp}(2 + ia)$ is a stationary measure for the gap process. We say that an initial distribution of gaps is in the weak domain of attraction of the stationary measure $\pi_a$ if the time averaged laws of the stochastic process of the gaps, when initialized using that distribution, converge to $\pi_a$ weakly in the large time limit. We provide general sufficient conditions on the initial gap distribution of the Atlas particles for it to lie in the weak domain of attraction of $\pi_a$ for each $a\ge 0$. The cases $a=0$ and $a>0$ are qualitatively different as is seen from the analysis and the sufficient conditions that we provide. Proofs are based on the analysis of synchronous couplings, namely, couplings of the ranked particle systems started from different initial configurations, but driven using the same set of Brownian motions.


title: Nature's forms are frilly, flexible, and functional

abstract: A ubiquitous motif in nature is the self-similar hierarchical buckling of a thin lamina near its margins. This is seen in leaves, flowers, fungi, corals, and marine invertebrates. We investigate this morphology from the perspective of non-Euclidean plate theory. We identify a novel type of defect, a branch-point of the normal map, that allows for the generation of such complex wrinkling patterns in thin elastic hyperbolic surfaces, even in the absence of stretching. We argue that branch points are the natural defects in hyperbolic sheets, they carry a topological charge which gives them a degree of robustness, and they can influence the overall morphology of a hyperbolic surface without concentrating elastic energy. We develop a theory for branch points and investigate their role in determining the mechanical response of hyperbolic sheets to weak external forces.


title: Hidden Technical Debts for Fair Machine Learning in Financial Services

abstract: The recent advancements in machine learning (ML) have demonstrated the potential for providing a powerful solution to build complex prediction systems in a short time. However, in highly regulated industries, such as the financial technology (Fintech), people have raised concerns about the risk of ML systems discriminating against specific protected groups or individuals. To address these concerns, researchers have introduced various mathematical fairness metrics and bias mitigation algorithms. This paper discusses hidden technical debts and challenges of building fair ML systems in a production environment for Fintech. We explore various stages that require attention for fairness in the ML system development and deployment life cycle. To identify hidden technical debts that exist in building fair ML system for Fintech, we focus on key pipeline stages including data preparation, model development, system monitoring and integration in production. Our analysis shows that enforcing fairness for production-ready ML systems in Fintech requires specific engineering commitments at different stages of ML system life cycle. We also propose several initial starting points to mitigate these technical debts for deploying fair ML systems in production.


title: EMS and DMS Integration of the Coordinative Real-time Sub-Transmission Volt-Var Control Tool under High DER Penetration

abstract: This paper proposes an applicable approach to deploy the Coordinative Real-time Sub-Transmission Volt-Var Control Tool (CReST-VCT), and a holistic system integration framework considering both the energy management system (EMS) and distribution system management system (DMS). This provides an architectural basis and can serve as the implementation guideline of CReST-VCT and other advanced grid support tools, to co-optimize the operation benefits of distributed energy resources (DERs) and assets in both transmission and distribution networks. Potential communication protocols for different physical domains of a real application is included. Performance and security issues are also discussed, along with specific considerations for field deployment. Finally, the paper presents a viable pathway for CReST-VCT and other advanced grid support tools to be integrated in an open-source standardized-based platform that supports distribution utilities.


title: Metaphysics in Mathematics

abstract: The purpose of this project is to outline various philosophies on the metaphysics of mathematics that have been prominent since the time of Cantor, highlighting some biographical aspects that have influenced these ideas as well. The main topics will be the independent existence of mathematics and controversies over the nature of the mathematical infinite. After describing these ideas, I will demonstrate some of the similarities that are common to these philosophies, showing that despite reaching different conclusions many are guided by the same driving idea.


title: Integrability vs. RG flow in $G \times G$ and $G \times G /H$ sigma models

abstract: We consider a class of 2d $\sigma$-models on products of group spaces that provide new examples of a close connection between integrability and stability under the RG flow. We first study the integrable $G \times G$ model derived from the affine Gaudin construction (for which the 1-loop $\beta$-functions were found in arXiv:2010.07879) and show that its condition of integrability is preserved also by the 2-loop RG flow. We then investigate the RG flow in the gauged $G \times G /H$ model, in particular the integrable $T^{1,1}$ model found in arXiv:2010.05573. We also construct a new class of integrable $G \times G /H$ models in the case when the subgroup $H$ is abelian. In the simplest case of $G=SU_2$, $H=U_1$ this leads to an integrable $\sigma$-model on the $T^{1,q}$ space (with a particular $B$-field). This model is also shown to be stable under the 2-loop RG flow, and we relate this property to its invariance under T-duality in an isometric $U_1$ direction. This $T^{1,q}$ model may be interpreted as an integrable deformation of the GMM model (of two coupled WZW theories with generic levels) away from the conformal point.


title: Speckle Tweezers for Simultaneous Controlling of Low and High Refractive Index Micro-particles

abstract: Manipulation of micro and nanoscale particles suspended in a fluidic medium is one among the defining goals of modern nanotechnology. Speckle tweezers (ST) by incorporating randomly distributed light fields have been used to apply detectable limits on the Brownian motion of micro-particles with refractive indices higher than their medium. Indeed, compared to periodic potentials, ST represents a wider possibility to be operated for such tasks. Here, we extend the usefulness of ST into low index micro-particles. Repelling of such particles by high intensity regions into lower intensity regions makes them to be locally confined, and the confinement can be tuned by changing the average grain intensity and size of the speckle patterns. Experiments on polystyrenes and liposomes validate the procedure. Moreover, we show that ST can be used to nano-particle (NP)-loaded liposomes. Interestingly, the different interactions of NP-loaded and empty liposomes with ST enables collective manipulation of their mixture using the same speckle pattern, which may be explained by inclusion of the photophoretic forces on NPs in NP-loaded liposomes. Our results on the different behavior between empty and non-empty vesicles may open a new window on controlling collective transportation of drug micro-containers along with its wide applications in soft matter.


title: Characterizing the Communication Requirements of GNN Accelerators: A Model-Based Approach

abstract: Relational data present in real world graph representations demands for tools capable to study it accurately. In this regard Graph Neural Network (GNN) is a powerful tool, wherein various models for it have also been developed over the past decade. Recently, there has been a significant push towards creating accelerators that speed up the inference and training process of GNNs. These accelerators, however, do not delve into the impact of their dataflows on the overall data movement and, hence, on the communication requirements. In this paper, we formulate analytical models that capture the amount of data movement in the most recent GNN accelerator frameworks. Specifically, the proposed models capture the dataflows and hardware setup of these accelerator designs and expose their scalability characteristics for a set of hardware, GNN model and input graph parameters. Additionally, the proposed approach provides means for the comparative analysis of the vastly different GNN accelerators.


title: A Multilevel Approach to Stochastic Trace Estimation

abstract: This article presents a randomized matrix-free method for approximating the trace of $f({\bf A})$, where ${\bf A}$ is a large symmetric matrix and $f$ is a function analytic in a closed interval containing the eigenvalues of ${\bf A}$. Our method uses a combination of stochastic trace estimation (i.e., Hutchinson's method), Chebyshev approximation, and multilevel Monte Carlo techniques. We establish general bounds on the approximation error of this method by extending an existing error bound for Hutchinson's method to multilevel trace estimators. Numerical experiments are conducted for common applications such as estimating the log-determinant, nuclear norm, and Estrada index, and triangle counting in graphs. We find that using multilevel techniques can substantially reduce the variance of existing single-level estimators.


title: Quantum optics of soliton microcombs

abstract: Soliton microcombs -- phase-locked microcavity frequency combs -- have become the foundation of several classical technologies in integrated photonics, including spectroscopy, LiDAR, and optical computing. Despite the predicted multimode entanglement across the comb, experimental study of the quantum optics of the soliton microcomb has been elusive. In this work, we use second-order photon correlations to study the underlying quantum processes of soliton microcombs in an integrated silicon carbide microresonator. We show that a stable temporal lattice of solitons can isolate a multimode below-threshold Gaussian state from any admixture of coherent light, and predict that all-to-all entanglement can be realized for the state. Our work opens a pathway toward a soliton-based multimode quantum resource.


title: Pretraining the Noisy Channel Model for Task-Oriented Dialogue

abstract: Direct decoding for task-oriented dialogue is known to suffer from the explaining-away effect, manifested in models that prefer short and generic responses. Here we argue for the use of Bayes' theorem to factorize the dialogue task into two models, the distribution of the context given the response, and the prior for the response itself. This approach, an instantiation of the noisy channel model, both mitigates the explaining-away effect and allows the principled incorporation of large pretrained models for the response prior. We present extensive experiments showing that a noisy channel model decodes better responses compared to direct decoding and that a two stage pretraining strategy, employing both open-domain and task-oriented dialogue data, improves over randomly initialized models.


title: An Auditability, Transparent, and Privacy-Preserving for Supply Chain Traceability Based on Blockchain

abstract: Traceability and auditability are key structures that are vital in supply chain management and construction. However, trust is the most important aspect of customers in these systems. Also, we have to rely on third parties to trade in centralized systems. Although current exist frameworks for these solutions in the supply chain, these have work poor traceability and lack of real-time information, and especially lack of privacy-preserving. In this paper, we propose a privacy-preserving framework for supply chain traceability that using smart contracts. Development processes, model implementation, and smart contracts are presented in detail and we show cryptographic techniques in these technologies to address the aforementioned. Finally, thanks to traceability and auditability, customers and other parties can view with a single product ID and also verified with digital signature the claims of the actors in the system.


title: Optimally Summarizing Data by Small Fact Sets for Concise Answers to Voice Queries

abstract: Our goal is to find combinations of facts that optimally summarize data sets. We consider this problem in the context of voice query interfaces for simple, exploratory data analysis. Here, the system answers voice queries with a short summary of relevant data. Finding optimal voice data summaries is computationally expensive. Prior work in this domain has exploited sampling and incremental processing. Instead, we rely on a pre-processing stage generating summaries of data subsets in a batch operation. This step reduces run time overheads by orders of magnitude. We present multiple algorithms for the pre-processing stage, realizing different tradeoffs between optimality and data processing overheads. We analyze our algorithms formally and compare them experimentally with prior methods for generating voice data summaries. We report on multiple user studies with a prototype system implementing our approach. Furthermore, we report on insights gained from a public deployment of our system on the Google Assistant Platform.


title: Sensor Placement for Globally Optimal Coverage of 3D-Embedded Surfaces

abstract: We carry out a structural and algorithmic study of a mobile sensor coverage optimization problem targeting 2D surfaces embedded in a 3D workspace. The investigated settings model multiple important applications including camera network deployment for surveillance, geological monitoring/survey of 3D terrains, and UVC-based surface disinfection for the prevention of the spread of disease agents (e.g., SARS-CoV-2). Under a unified general "sensor coverage" problem, three concrete formulations are examined, focusing on optimizing visibility, single-best coverage quality, and cumulative quality, respectively. After demonstrating the computational intractability of all these formulations, we describe approximation schemes and mathematical programming models for near-optimally solving them. The effectiveness of our methods is thoroughly evaluated under realistic and practical scenarios.


title: Graphical Test for Discrete Uniformity and its Applications in Goodness of Fit Evaluation and Multiple Sample Comparison

abstract: Assessing goodness of fit to a given distribution plays an important role in computational statistics. The Probability integral transformation (PIT) can be used to convert the question of whether a given sample originates from a reference distribution into a problem of testing for uniformity. We present new simulation and optimization based methods to obtain simultaneous confidence bands for the whole empirical cumulative distribution function (ECDF) of the PIT values under the assumption of uniformity. Simultaneous confidence bands correspond to such confidence intervals at each point that jointly satisfy a desired coverage. These methods can also be applied in cases where the reference distribution is represented only by a finite sample. The confidence bands provide an intuitive ECDF-based graphical test for uniformity, which also provides useful information on the quality of the discrepancy. We further extend the simulation and optimization methods to determine simultaneous confidence bands for testing whether multiple samples come from the same underlying distribution. This multiple sample comparison test is especially useful in Markov chain Monte Carlo convergence diagnostics. We provide numerical experiments to assess the properties of the tests using both simulated and real world data and give recommendations on their practical application in computational statistics workflows.


title: Elementary proof for the bounds of the complexity of a planar multigraph and the size of a prime rectangular squaring

abstract: Two results (together with their relatively elementary proofs) are presented. The first one presents the upper boundary on the number of spanning trees in a finite planar multigraph, proving that the complexity (the number of spanning trees) of a planar multigraph with $n$ edges does not exceed $\tau^n$, where $\tau \approx 1.8637$. This result is, quite possibly, already known and/or published -- my quick web search did not turn up anything but that does not really prove much. It also seems plausible that this inequality is actually true for the "best possible" value of $\tau^* \approx 1.7916$. The second result uses the above theorem to improve on the well-known Conway's inequality for the number of tiles in a prime rectangular squaring.


title: Generalizing Object-Centric Task-Axes Controllers using Keypoints

abstract: To perform manipulation tasks in the real world, robots need to operate on objects with various shapes, sizes and without access to geometric models. It is often unfeasible to train monolithic neural network policies across such large variance in object properties. Towards this generalization challenge, we propose to learn modular task policies which compose object-centric task-axes controllers. These task-axes controllers are parameterized by properties associated with underlying objects in the scene. We infer these controller parameters directly from visual input using multi-view dense correspondence learning. Our overall approach provides a simple, modular and yet powerful framework for learning manipulation tasks. We empirically evaluate our approach on multiple different manipulation tasks and show its ability to generalize to large variance in object size, shape and geometry.


title: Openness of splinter loci in prime characteristic

abstract: A splinter is a notion of singularity that has seen numerous recent applications, especially in connection with the direct summand theorem, the mixed characteristic minimal model program, Cohen-Macaulayness of absolute integral closures and cohomology vanishing theorems. Nevertheless, many basic questions about these singularities remain elusive. One outstanding problem is whether the splinter property spreads from a point to an open neighborhood of a noetherian scheme. Our paper addresses this problem in prime characteristic, where we show that a locally noetherian scheme that has finite Frobenius or that is locally essentially of finite type over a quasi-excellent local ring has an open splinter locus. In particular, all varieties over fields of positive characteristic have open splinter loci. Intimate connections are established between the openness of splinter loci and $F$-compatible ideals, which are prime characteristic analogues of log canonical centers. We prove the surprising fact that for a large class of noetherian rings with pure (aka universally injective) Frobenius, the splinter condition is detected by the splitting of a single generically \'etale finite extension. We also show that for a noetherian $\textbf{N}$-graded ring over a field, the homogeneous maximal ideal detects the splinter property.


title: S3M: Siamese Stack (Trace) Similarity Measure

abstract: Automatic crash reporting systems have become a de-facto standard in software development. These systems monitor target software, and if a crash occurs they send details to a backend application. Later on, these reports are aggregated and used in the development process to 1) understand whether it is a new or an existing issue, 2) assign these bugs to appropriate developers, and 3) gain a general overview of the application's bug landscape. The efficiency of report aggregation and subsequent operations heavily depends on the quality of the report similarity metric. However, a distinctive feature of this kind of report is that no textual input from the user (i.e., bug description) is available: it contains only stack trace information. In this paper, we present S3M ("extreme") -- the first approach to computing stack trace similarity based on deep learning. It is based on a siamese architecture that uses a biLSTM encoder and a fully-connected classifier to compute similarity. Our experiments demonstrate the superiority of our approach over the state-of-the-art on both open-sourced data and a private JetBrains dataset. Additionally, we review the impact of stack trace trimming on the quality of the results.


title: Light Element Abundances and Multiple Populations in M53

abstract: We present results from a study of 94 red giant stars in the globular cluster M53. We use low-resolution spectra to measure the strength of CN and CH features at $\sim$3800 and 4300 \r{A}, respectively. The strengths of these features are used to classify stars into a CN-enhanced and CN-normal population and to measure C and N abundances in all 94 stars. We find the red giant branch stars to be evenly split between the two populations identified, and observe the presence of CN-enhanced stars on the asymptotic giant branch. In addition, we identify 5 CH star candidates based on the strength of their CN and CH band features, and the presence of a P-branch in their CH band. We compare our identification of multiple populations to those based on the Na-O anti-correlation and pseudo-color indices in HST UV photometry, and find general agreement between all three methods. Our large sample size also allows us to study the radial distribution of each population, and we find that the CN-enhanced population is more centrally concentrated. We use our C and N measurements to compare the evolutionary changes in these elements as a function of magnitude between the two populations, and show that both populations experience similar evolutionary changes to the surface abundances of C and N. Finally, we calculate C+N+O abundances for each population and compare them to similar measurements made in M10; we find that in both clusters CN-enhanced stars have a slightly enhanced C+N+O ($\Delta$(C+N+O) $\sim$ 0.2 dex).


title: Enhancement of quantum correlations and geometric phase for a driven bipartite quantum system in a structured environment

abstract: We study the role of driving in an initial maximally entangled state evolving under the presence of a structured environment in a weak and strong regime. We focus on the enhancement and degradation of maximal Concurrence when the system is driven on and out of resonance for a general evolution, as well as the effect of adding a transverse coupling among the particles of the model. We further investigate the role of driving in the acquisition of a geometric phase for the maximally entangled state. As the model studied herein can be used to model experimental situations such as hybrid quantum classical systems feasible with current technologies, this knowledge can aid the search for physical setups that best retain quantum properties under dissipative dynamics.


title: White Paper Machine Learning in Certified Systems

abstract: Machine Learning (ML) seems to be one of the most promising solution to automate partially or completely some of the complex tasks currently realized by humans, such as driving vehicles, recognizing voice, etc. It is also an opportunity to implement and embed new capabilities out of the reach of classical implementation techniques. However, ML techniques introduce new potential risks. Therefore, they have only been applied in systems where their benefits are considered worth the increase of risk. In practice, ML techniques raise multiple challenges that could prevent their use in systems submitted to certification constraints. But what are the actual challenges? Can they be overcome by selecting appropriate ML techniques, or by adopting new engineering or certification practices? These are some of the questions addressed by the ML Certification 3 Workgroup (WG) set-up by the Institut de Recherche Technologique Saint Exup\'ery de Toulouse (IRT), as part of the DEEL Project.


title: Quantifying the enhancement of two-photon absorption due to spectral-temporal entanglement

abstract: When a low flux of time-frequency-entangled photon pairs (EPP) illuminates a two-photon transition, the rate of two-photon absorption (TPA) can be enhanced considerably by the quantum nature of photon number correlations and frequency correlations. We present a quantum-theoretic derivation of entangled TPA (ETPA) and calculate an upper bound on the amount of quantum enhancement that is possible in such systems. The derived bounds indicate that in order to observe ETPA the experiments would need to operate at a combination of significantly higher rates of EPP illumination, molecular concentrations, and conventional TPA cross sections than are achieved in typical experiments.


title: Improving the Lexical Ability of Pretrained Language Models for Unsupervised Neural Machine Translation

abstract: Successful methods for unsupervised neural machine translation (UNMT) employ crosslingual pretraining via self-supervision, often in the form of a masked language modeling or a sequence generation task, which requires the model to align the lexical- and high-level representations of the two languages. While cross-lingual pretraining works for similar languages with abundant corpora, it performs poorly in low-resource and distant languages. Previous research has shown that this is because the representations are not sufficiently aligned. In this paper, we enhance the bilingual masked language model pretraining with lexical-level information by using type-level cross-lingual subword embeddings. Empirical results demonstrate improved performance both on UNMT (up to 4.5 BLEU) and bilingual lexicon induction using our method compared to a UNMT baseline.


title: High-energy EFT probes with fully differential Drell-Yan measurements

abstract: We study the potential of fully-differential measurements of high-energy dilepton cross-sections at the LHC to probe heavy new physics encapsulated in dimension-6 interaction operators. The assessment is performed in the seven-dimensional parameter space of operators that induce energy-growing corrections to the Standard Model partonic cross-sections at the interference level, and in the two-dimensional subspace associated with the W and Y parameters. A considerable sensitivity improvement is found relative to single-differential measurements, owing to the possibility of probing at the interference level more directions in the seven-dimensional parameter space. The reduction of parton distribution function uncertainties in the fully-differential fit is also found to play a significant role. The results are interpreted in the minimal Z' new-physics model, providing a concrete illustration of the advantages of the fully-differential analysis. We find that high-energy dilepton measurements can extend the Z' exclusion and discovery potential well beyond the reach of direct searches in a large region of the parameter space.


title: Resilient Cooperative Adaptive Cruise Control for Autonomous Vehicles Using Machine Learning

abstract: Cooperative Adaptive Cruise Control (CACC) is a fundamental connected vehicle application that extends Adaptive Cruise Control by exploiting vehicle-to-vehicle (V2V) communication. CACC is a crucial ingredient for numerous autonomous vehicle functionalities including platooning, distributed route management, etc. Unfortunately, malicious V2V communications can subvert CACC, leading to string instability and road accidents. In this paper, we develop a novel resiliency infrastructure, RACCON, for detecting and mitigating V2V attacks on CACC. RACCON uses machine learning to develop an on-board prediction model that captures anomalous vehicular responses and performs mitigation in real time. RACCON-enabled vehicles can exploit the high efficiency of CACC without compromising safety, even under potentially adversarial scenarios. We present extensive experimental evaluation to demonstrate the efficacy of RACCON.


title: Articulated Object Interaction in Unknown Scenes with Whole-Body Mobile Manipulation

abstract: A kitchen assistant needs to operate human-scale objects, such as cabinets and ovens, in unmapped environments with dynamic obstacles. Autonomous interactions in such environments require integrating dexterous manipulation and fluid mobility. While mobile manipulators in different form factors provide an extended workspace, their real-world adoption has been limited. Executing a high-level task for general objects requires a perceptual understanding of the object as well as adaptive whole-body control among dynamic obstacles. In this paper, we propose a two-stage architecture for autonomous interaction with large articulated objects in unknown environments. The first stage, object-centric planner, only focuses on the object to provide an action-conditional sequence of states for manipulation using RGB-D data. The second stage, agent-centric planner, formulates the whole-body motion control as an optimal control problem that ensures safe tracking of the generated plan, even in scenes with moving obstacles. We show that the proposed pipeline can handle complex static and dynamic kitchen settings for both wheel-based and legged mobile manipulators. Compared to other agent-centric planners, our proposed planner achieves a higher success rate and a lower execution time. We also perform hardware tests on a legged mobile manipulator to interact with various articulated objects in a kitchen. For additional material, please check: www.pair.toronto.edu/articulated-mm/.


title: Deepening Lee-Carter for longevity projections with uncertainty estimation

abstract: Undoubtedly, several countries worldwide endure to experience a continuous increase in life expectancy, extending the challenges of life actuaries and demographers in forecasting mortality. Although several stochastic mortality models have been proposed in past literature, the mortality forecasting research remains a crucial task. Recently, various research works encourage the adequacy of deep learning models to extrapolate suitable pattern within mortality data. Such a learning models allow to achieve accurate point predictions, albeit also uncertainty measures are necessary to support both model estimates reliability and risk evaluations. To the best of our knowledge, machine and deep learning literature in mortality forecasting lack for studies about uncertainty estimation. As new advance in mortality forecasting, we formalizes the deep Neural Networks integration within the Lee-Carter framework, posing a first bridge between the deep learning and the mortality density forecasts. We test our model proposal in a numerical application considering three representative countries worldwide and both genders, scrutinizing two different fitting periods. Exploiting the meaning of both biological reasonableness and plausibility of forecasts, as well as performance metrics, our findings confirm the suitability of deep learning models to improve the predictive capacity of the Lee-Carter model, providing more reliable mortality boundaries also on the long-run.


title: A constant-factor approximation algorithm for Nash Social Welfare with submodular valuations

abstract: We present a $380$-approximation algorithm for the Nash Social Welfare problem with submodular valuations. Our algorithm builds on and extends a recent constant-factor approximation for Rado valuations.


title: A unified framework for weighted parametric group sequential design (WPGSD)

abstract: Group sequential design (GSD) is widely used in clinical trials in which correlated tests of multiple hypotheses are used. Multiple primary objectives resulting in tests with known correlations include evaluating 1) multiple experimental treatment arms, 2) multiple populations, 3) the combination of multiple arms and multiple populations, or 4) any asymptotically multivariate normal tests. In this paper, we focus on the first 3 of these and extend the framework of the weighted parametric multiple test procedure from fixed designs with a single analysis per objective to a GSD setting where different objectives may be assessed at the same or different times, each in a group sequential fashion. Pragmatic methods for design and analysis of weighted parametric group sequential design(WPGSD) under closed testing procedures are proposed to maintain the strong control of familywise Type I error rate (FWER) when correlations between tests are incorporated. This results in the ability to relax testing bounds compared to designs not fully adjusting for known correlations, increasing power or allowing decreased sample size. We illustrate the proposed methods using clinical trial examples and conduct a simulation study to evaluate the operating characteristics.