title: NDN4IVC: A Framework for Simulating and Testing of Applications in Vehicular Named Data Networking

abstract: This paper presents a customized framework (NDN4IVC) for simulating and testing intelligent transportation systems and applications in vehicular named-data networking (V-NDN). The project uses two popular simulators in the literature for VANET simulation, a network simulator based on discrete events (Ns-3), with ndnSIM module installed, and Sumo, a simulator for urban mobility. NDN4IVC allows bidirectional communication between Sumo and Ns-3 and integrates the NDN stack and the NFD (NDN Forwarding Daemon) code. The project also brings together a comprehensive set of codes, models, functionalities, and technologies to improve proposals and protocols in V-NDN.


title: The Highly Self-Absorbed Blazar, PKS\,1351$-$018

abstract: PKS\,1351$-$018 at a redshift of $z=3.71$ is one of the most luminous, steady synchrotron sources with a luminosity $> 10^{47}$\,erg~s$^{-1}$. The synchrotron luminosity does not seem to vary by more than $\sim 25\%$ over 35 years. In order to appreciate this remarkable behavior, if it were at $z=0.5$, it would have a flux density at 15 GHz in a range of $110 - 137$\,Jy over 11 yrs. In spite of this steady behavior, two strong $\gamma$-ray flares $\lesssim 10^{49}$\,erg~s$^{-1}$ were detected in 2011 and 2016. There is blazar-like behavior coexisting with the steady behavior. This study is aimed at elucidating the dual nature of this source. We find that the radio source is extremely compact with a bright core and a steep spectrum secondary component, 12\,mas away, that appears to be constant in position and flux density in six epochs from 1995 to 2018. We estimate that a jet with a time averaged power of $(5.2 \pm 3.2) \times 10^{45}$\,erg~s$^{-1}$ terminates in this lobe that is advancing $\gtrsim 0.9 c$ at a deprojected distance of $1-3$\,kpc from the central engine. This is the rare case of a young ($\sim 6000$\,yr), very powerful radio source that is viewed a few degrees from the jet axis. We find evidence of a high velocity (4000\,km~s$^{-1}$), high ionization wind emanating form a luminous quasar. The young radio jet appears to experience modest bending as it navigates through the intense quasar environment.


title: SIMILAR: Submodular Information Measures Based Active Learning In Realistic Scenarios

abstract: Active learning has proven to be useful for minimizing labeling costs by selecting the most informative samples. However, existing active learning methods do not work well in realistic scenarios such as imbalance or rare classes, out-of-distribution data in the unlabeled set, and redundancy. In this work, we propose SIMILAR (Submodular Information Measures based actIve LeARning), a unified active learning framework using recently proposed submodular information measures (SIM) as acquisition functions. We argue that SIMILAR not only works in standard active learning, but also easily extends to the realistic settings considered above and acts as a one-stop solution for active learning that is scalable to large real-world datasets. Empirically, we show that SIMILAR significantly outperforms existing active learning algorithms by as much as ~5% - 18% in the case of rare classes and ~5% - 10% in the case of out-of-distribution data on several image classification tasks like CIFAR-10, MNIST, and ImageNet. SIMILAR is available as a part of the DISTIL toolkit: "https://github.com/decile-team/distil".


title: Strong edge coloring of Cayley graphs and some product graphs

abstract: A strong edge coloring of a graph $G$ is a proper edge coloring of $G$ such that every color class is an induced matching. The minimum number of colors required is termed the strong chromatic index. In this paper, we determine the exact value of the strong chromatic index of all unitary Cayley graphs. Our investigations reveal an underlying product structure from which the unitary Cayley graphs emerge. We then go on to give tight bounds for the strong chromatic index of the Cartesian product of two trees, including an exact formula for the product in the case of stars. Further, we give bounds for the strong chromatic index of the product of a tree with a cycle. For any tree, those bounds may differ from the actual value only by not more than a small additive constant (at most 2 for even cycles and at most 5 for odd cycles), moreover they yield the exact value when the length of the cycle is divisible by $4$.


title: Toward Drug-Target Interaction Prediction via Ensemble Modeling and Transfer Learning

abstract: Drug-target interaction (DTI) prediction plays a crucial role in drug discovery, and deep learning approaches have achieved state-of-the-art performance in this field. We introduce an ensemble of deep learning models (EnsembleDLM) for DTI prediction. EnsembleDLM only uses the sequence information of chemical compounds and proteins, and it aggregates the predictions from multiple deep neural networks. This approach not only achieves state-of-the-art performance in Davis and KIBA datasets but also reaches cutting-edge performance in the cross-domain applications across different bio-activity types and different protein classes. We also demonstrate that EnsembleDLM achieves a good performance (Pearson correlation coefficient and concordance index > 0.8) in the new domain with approximately 50% transfer learning data, i.e., the training set has twice as much data as the test set.


title: High-speed 2D and 3D mid-IR imaging with an InGaAs camera

abstract: Recent work on mid-infrared (MIR) detection through the process of non-degenerate two-photon absorption (NTA) in semiconducting materials has shown that wide-field MIR imaging can be achieved with standard Si cameras. While this approach enables MIR imaging at high pixel densities, the low nonlinear absorption coefficient of Si prevents fast NTA-based imaging at lower illumination doses. Here we overcome this limitation by using InGaAs as the photosensor. Taking advantage of the much higher nonlinear absorption coefficient of this direct bandgap semiconductor, we demonstrate high-speed MIR imaging up to 500 fps with under 1 ms exposure per frame, enabling 2D or 3D mapping without pre- or post-processing of the image.


title: Twist-bend nematics and heliconical cholesterics: a physico-chemical analysis of phase transitions and related specific properties

abstract: Certain nematic liquid crystals, e.g., those formed by banana-shaped molecules, can exhibit a low-temperature twist-bend nematic (Ntb) phase. Upon addition of chiral dopants, a chiral version of the twist-bend phase (N*tb) can be observed below the conventional chiral nematic (N*) phase, while under electric field the N* phase is transformed into a specific state known as "heliconical cholesteric". In this work, we have studied the well-known Ntb-forming system CB7CB:CB6OCB with addition of 5CB and chiral dopants (ChD) using optical microscopy, differential scanning calorimetry (DSC), and measurements of temperature-dependent optical transmission using optical microscopy. Effects of 5CB and different chiral dopants (of steroid or non-steroid nature) upon thermal stability of Ntb phase were analyzed, and selective reflection in the visible range could be observed in the N* phase with a sufficiently high ChD content. As a peculiar feature, sharp unwinding of the cholesteric helix was observed at lower temperatures when approaching the N*tb phase, which appears to be similar to the helix unwinding close to the smectic-A transition.


title: Neural Task Success Classifiers for Robotic Manipulation from Few Real Demonstrations

abstract: Robots learning a new manipulation task from a small amount of demonstrations are increasingly demanded in different workspaces. A classifier model assessing the quality of actions can predict the successful completion of a task, which can be used by intelligent agents for action-selection. This paper presents a novel classifier that learns to classify task completion only from a few demonstrations. We carry out a comprehensive comparison of different neural classifiers, e.g. fully connected-based, fully convolutional-based, sequence2sequence-based, and domain adaptation-based classification. We also present a new dataset including five robot manipulation tasks, which is publicly available. We compared the performances of our novel classifier and the existing models using our dataset and the MIME dataset. The results suggest domain adaptation and timing-based features improve success prediction. Our novel model, i.e. fully convolutional neural network with domain adaptation and timing features, achieves an average classification accuracy of 97.3\% and 95.5\% across tasks in both datasets whereas state-of-the-art classifiers without domain adaptation and timing-features only achieve 82.4\% and 90.3\%, respectively.


title: Verifying Verified Code

abstract: A recent case study from AWS by Chong et al. proposes an effective methodology for Bounded Model Checking in industry. In this paper, we report on a follow up case study that explores the methodology from the perspective of three research questions: (a) can proof artifacts be used across verification tools; (b) are there bugs in verified code; and (c) can specifications be improved. To study these questions, we port the verification tasks for $\texttt{aws-c-common}$ library to SEAHORN and KLEE. We show the benefits of using compiler semantics and cross-checking specifications with different verification techniques, and call for standardizing proof library extensions to increase specification reuse. The verification tasks discussed are publicly available online.


title: Symmetry, Thermodynamics and Topology in Active Matter

abstract: This article summarizes some of the open questions in the field of active matter that have emerged during Active20, a nine-week program held at the Kavli Institute for Theoretical Physics (KITP) in Spring 2020. The article does not provide a review of the field, but rather a personal view of the authors, informed by contributions of all participants, on new directions in active matter research. The topics highlighted include: the ubiquitous occurrence of spontaneous flows and active turbulence and the theoretical and experimental challenges associated with controlling and harnessing such flows; the role of motile topological defects in ordered states of active matter and their possible biological relevance; the emergence of non-reciprocal effective interactions and the role of chirality in active systems and their intriguing connections to non-Hermitian quantum mechanics; the progress towards a formulation of the thermodynamics of active systems thanks to the feedback between theory and experiments; the impact of the active matter framework on our understanding of the emergent mechanics of biological tissue. These seemingly diverse phenomena all stem from the defining property of active matter - assemblies of self-driven entities that individually break time-reversal symmetry and collectively organize in a rich variety of nonequilibrium states.


title: The density structure of supersonic self-gravitating turbulence

abstract: We conduct numerical experiments to determine the density probability distribution function (PDF) produced in supersonic, isothermal, self-gravitating turbulence of the sort that is ubiquitous in star-forming molecular clouds. Our experiments cover a wide range of turbulent Mach number and virial parameter, allowing us for the first time to determine how the PDF responds as these parameters vary, and we introduce a new diagnostic, the dimensionless star formation efficiency versus density ($\epsilon_{\rm ff}(s)$) curve, which provides a sensitive diagnostic of the PDF shape and dynamics. We show that the PDF follows a universal functional form consisting of a log-normal at low density with two distinct power law tails at higher density; the first of these represents the onset of self-gravitation, and the second reflects the onset of rotational support. Once the star formation efficiency reaches a few percent, the PDF becomes statistically steady, with no evidence for secular time-evolution at star formation efficiencies from about five to 20 percent. We show that both the Mach number and the virial parameter influence the characteristic densities at which the log-normal gives way to the first power-law, and the first to the second, and we extend (for the former) and develop (for the latter) simple theoretical models for the relationship between these density thresholds and the global properties of the turbulent medium.


title: On certain semigroups of transformations with an invariant set

abstract: Let $X$ be a nonempty set and let $T(X)$ be the full transformation semigroup on $X$. The main objective of this paper is to study the subsemigroup $\overline{\Omega}(X, Y)$ of $T(X)$ defined by \[\overline{\Omega}(X, Y) = \{f\in T(X)\colon Yf = Y\},\] where $Y$ is a fixed nonempty subset of $X$. We describe regular elements in $\overline{\Omega}(X, Y)$ and show that $\overline{\Omega}(X, Y)$ is regular if and only if $Y$ is finite. We characterize unit-regular elements in $\overline{\Omega}(X, Y)$ and prove that $\overline{\Omega}(X, Y)$ is unit-regular if and only if $X$ is finite. We characterize Green's relations on $\overline{\Omega}(X, Y)$ and prove that $\mathcal{D} =\mathcal{J}$ on $\overline{\Omega}(X, Y)$ if and only if $Y$ is finite. We also determine ideals of $\overline{\Omega}(X, Y)$ and investigate its kernel. This paper extends several results appeared in the literature.


title: Mitigating Uncertainty of Classifier for Unsupervised Domain Adaptation

abstract: Understanding unsupervised domain adaptation has been an important task that has been well explored. However, the wide variety of methods have not analyzed the role of a classifier's performance in detail. In this paper, we thoroughly examine the role of a classifier in terms of matching source and target distributions. We specifically investigate the classifier ability by matching a) the distribution of features, b) probabilistic uncertainty for samples and c) certainty activation mappings. Our analysis suggests that using these three distributions does result in a consistently improved performance on all the datasets. Our work thus extends present knowledge on the role of the various distributions obtained from the classifier towards solving unsupervised domain adaptation.


title: Two edge-count tests and relevance analysis in k high-dimensional samples

abstract: For the task of relevance analysis, the conventional Tukey's test may be applied to the set of all pairwise comparisons. However, there were few studies that discuss both nonparametric k-sample comparisons and relevance analysis in high dimensions. Our aim is to capture the degree of relevance between combined samples and provide additional insights and advantages in high-dimensional k-sample comparisons. Our solution is to extend a graph-based two-sample comparison and investigate its availability for large and unequal sample sizes. We propose two distribution-free test statistics based on between-sample edge counts and measure the degree of relevance by standardized counts. The asymptotic permutation null distributions of the proposed statistics are derived, and the power gain is proved when the sample sizes are smaller than the square root of the dimension. We also discuss different edge costs in the graph to compare the parameters of the distributions. Simulation comparisons and real data analysis of tumors and images further convince the value of our proposed method. Software implementing the relevance analysis is available in the R package Relevance.


title: Essence of Factual Knowledge

abstract: Knowledge bases are collections of domain-specific and commonsense facts. Recently, the sizes of KBs are rocketing due to automatic extraction for knowledge and facts. For example, the number of facts in WikiData is up to 974 million! According to our observation, current KBs, especially domain KBs, show strong relevance in relations according to some topics. These patterns can be used to conclude and infer for part of facts in the KBs. Therefore, the original KBs can be minimzed by extracting patterns and essential facts.


title: Normalizing Flow based Hidden Markov Models for Classification of Speech Phones with Explainability

abstract: In pursuit of explainability, we develop generative models for sequential data. The proposed models provide state-of-the-art classification results and robust performance for speech phone classification. We combine modern neural networks (normalizing flows) and traditional generative models (hidden Markov models - HMMs). Normalizing flow-based mixture models (NMMs) are used to model the conditional probability distribution given the hidden state in the HMMs. Model parameters are learned through judicious combinations of time-tested Bayesian learning methods and contemporary neural network learning methods. We mainly combine expectation-maximization (EM) and mini-batch gradient descent. The proposed generative models can compute likelihood of a data and hence directly suitable for maximum-likelihood (ML) classification approach. Due to structural flexibility of HMMs, we can use different normalizing flow models. This leads to different types of HMMs providing diversity in data modeling capacity. The diversity provides an opportunity for easy decision fusion from different models. For a standard speech phone classification setup involving 39 phones (classes) and the TIMIT dataset, we show that the use of standard features called mel-frequency-cepstral-coeffcients (MFCCs), the proposed generative models, and the decision fusion together can achieve $86.6\%$ accuracy by generative training only. This result is close to state-of-the-art results, for examples, $86.2\%$ accuracy of PyTorch-Kaldi toolkit [1], and $85.1\%$ accuracy using light gated recurrent units [2]. We do not use any discriminative learning approach and related sophisticated features in this article.


title: Visualizing the geometry of labeled high-dimensional data with spheres

abstract: Data visualizations summarize high-dimensional distributions in two or three dimensions. Dimensionality reduction entails a loss of information, and what is preserved differs between methods. Existing methods preserve the local or the global geometry of the points, and most techniques do not consider labels. Here we introduce "hypersphere2sphere" (H2S), a new method that aims to visualize not the points, but the relationships between the labeled distributions. H2S fits a hypersphere to each labeled set of points in a high-dimensional space and visualizes each hypersphere as a sphere in 3D (or circle in 2D). H2S perfectly captures the geometry of up to 4 hyperspheres in 3D (or 3 in 2D), and approximates the geometry for larger numbers of distributions, matching the sizes (radii), and the pairwise separations (between-center distances) and overlaps (along the center-connection line). The resulting visualizations are robust to sampling imbalances. Leveraging labels and the sphere as the simplest geometrical primitive, H2S provides an important addition to the toolbox of visualization techniques.


title: Impact of the valley orbit coupling on exchange gate for spin qubits in silicon quantum dots

abstract: The presence of degenerate conduction band valleys and how they are mixed by interfaces play critical roles in determining electron interaction and spectrum in a silicon nanostructure. Here we investigate how the valley phases affect the exchange interaction in a symmetric two-electron silicon double quantum dot. Through a configuration interaction calculation, we find that exchange splitting is suppressed at a finite value of valley phase difference between the two dots, and reaches its minimum value ({\sim} 0) when the phase difference is {\pi}. Such a suppression can be explained using the Hubbard model, through the valley-phase-dependent dressing by the doubly occupied states on the ground singlet and triplet states. The contributions of the higher orbital states also play a vital role in determining the value of the exchange energy in general, which is a crucial parameter for applications such as exchange gates for spin qubits.


title: EMG-Based Feature Extraction and Classification for Prosthetic Hand Control

abstract: In recent years, real-time control of prosthetic hands has gained a great deal of attention. In particular, real-time analysis of Electromyography (EMG) signals has several challenges to achieve an acceptable accuracy and execution delay. In this paper, we address some of these challenges by improving the accuracy in a shorter signal length. We first introduce a set of new feature extraction functions applying on each level of wavelet decomposition. Then, we propose a postprocessing approach to process the neural network outputs. The experimental results illustrate that the proposed method enhances the accuracy of real-time classification of EMG signals up to $95.5\%$ for $800$ msec signal length. The proposed postprocessing method achieves higher consistency compared with conventional majority voting and Bayesian fusion methods.


title: Flow-based sampling for multimodal distributions in lattice field theory

abstract: Recent results have demonstrated that samplers constructed with flow-based generative models are a promising new approach for configuration generation in lattice field theory. In this paper, we present a set of methods to construct flow models for targets with multiple separated modes (i.e. theories with multiple vacua). We demonstrate the application of these methods to modeling two-dimensional real scalar field theory in its symmetry-broken phase. In this context we investigate the performance of different flow-based sampling algorithms, including a composite sampling algorithm where flow-based proposals are occasionally augmented by applying updates using traditional algorithms like HMC.


title: A note on codegrees and Taketa's inequality

abstract: Let $G$ be a finite group and ${\rm cd}(G)$ will be the set of the degrees of the complex irreducible characters of $G$. Also let ${\rm cod}(G)$ be the set of codegrees of the irreducible characters of $G$. The Taketa problem conjectures if $G$ is solvable, then ${\rm dl}(G) \leq |{\rm cd}(G)|$, where ${\rm dl}(G)$ is the derived length of $G$. In this note, we show that ${\rm dl}(G) \leq |{\rm cod}(G)|$ in some cases and we conjecture that this inequality holds if $G$ is a finite solvable group.


title: Observation of a many-body-localized discrete time crystal with a programmable spin-based quantum simulator

abstract: The discrete time crystal (DTC) is a recently discovered phase of matter that spontaneously breaks time-translation symmetry. Disorder-induced many-body-localization is required to stabilize a DTC to arbitrary times, yet an experimental investigation of this localized regime has proven elusive. Here, we observe the hallmark signatures of a many-body-localized DTC using a novel quantum simulation platform based on individually controllable $^{13}$C nuclear spins in diamond. We demonstrate the characteristic long-lived spatiotemporal order and confirm that it is robust for generic initial states. Our results are consistent with the realization of an out-of-equilibrium Floquet phase of matter and establish a programmable quantum simulator based on solid-state spins for exploring many-body physics.


title: Bragg spectrum, K-theory and Gap Labelling of aperiodic solids

abstract: The diffraction spectrum of an aperiodic solid is related to the group of eigenvalues of the dynamical system associated with the solid. Those eigenvalues with continuous eigenfunctions constitute the topological Bragg spectrum. We relate the topological Bragg spectrum to the topological invariants (Chern numbers) of the solid and to the gap-labelling group, which is the group of possible gap labels for the spectrum of a Schr\"odinger operator describing the electronic motion in the solid.


title: Design Optimization of Monoblade Autorotating Pods To Exhibit an Unconventional Descent Technique Using Glauert's Modelling

abstract: Many unconventional descent mechanisms are evolved in nature to maximize the dispersion of seeds to increase the population of floral species. The induced autorotation produces lift through asymmetrical weight distribution, increasing the fall duration and giving the seed extra time to get drifted away by the wind. The proposed bio-inspired concept was used to produce novel modern pods for various aerospace applications that require free-falling or controlled velocity descent in planetary or interplanetary missions without relying on traditional techniques such as propulsion-based descent and the use of parachutes. We provide an explanation for the design procedure and the functioning of a mono blade auto-rotating wing. An element-based computational method based on Glauert's blade element momentum theory (BEMT) model was employed to estimate the geometry by maximizing the coefficient of power through MATLAB's optimization toolbox using the Sequential quadratic programming (SQP) solver. The dynamic model was developed for the single-wing design through the MATLAB Simulink 6-DOF toolbox to carry out a free-flight simulation of the wing to verify its global stability.


title: Componentwise Linearity of Powers of Cover Ideals

abstract: Let $G$ be a finite simple graph and $J(G)$ denote its vertex cover ideal in a polynomial ring over a field. % $\mathbb{K}$. The $k$-th symbolic power of $J(G)$ is denoted by $J(G)^{(k)}$. In this paper, we give a criteria for cover ideals of vertex decomposable graphs to have the property that all their symbolic powers are not componentwise linear. Also, we give a necessary and sufficient condition on $G$ so that $J(G)^{(k)}$ is a componentwise linear ideal for some (equivalently, for all) $k \geq 2$ when $G$ is a graph such that $G \setminus N_G[A]$ has a simplicial vertex for any independent set $A$ of $G$. Using this result, we prove that $J(G)^{(k)}$ is a componentwise linear ideal for several classes of graphs for all $k \geq 2$. In particular, if $G$ is a bipartite graph, then $J(G)$ is a componentwise linear ideal if and only if $J(G)^k$ is a componentwise linear ideal for some (equivalently, for all) $k \geq 2$.


title: A projection-domain low-count quantitative SPECT method for alpha-particle emitting radiopharmaceutical therapy

abstract: Single-photon emission computed tomography (SPECT) provides a mechanism to estimate regional isotope uptake in lesions and at-risk organs after administration of {\alpha}-particle-emitting radiopharmaceutical therapies ({\alpha}-RPTs). However, this estimation task is challenging due to the complex emission spectra, the very low number of detected counts, the impact of stray-radiation-related noise at these low counts, and the multiple image-degrading processes in SPECT. The conventional reconstruction-based quantification methods are observed to be erroneous for {\alpha}-RPT SPECT. To address these challenges, we developed a low-count quantitative SPECT (LC-QSPECT) method that directly estimates the regional activity uptake from the projection data, compensates for stray-radiation-related noise, and for the radioisotope and SPECT physics. The method was validated in the context of three-dimensional SPECT with 223 Ra. Validation was performed using both realistic simulation studies, including a virtual clinical trial, and synthetic and anthropomorphic physical-phantom studies. Across all studies, the LC-QSPECT method yielded reliable regional-uptake estimates and outperformed the conventional ordered subset expectation maximization (OSEM)-based reconstruction and geometric transfer matrix (GTM)-based post-reconstruction partial-volume compensation methods. Further, the method yielded reliable uptake across different lesion sizes, contrasts, and different levels of intra-lesion heterogeneity. Additionally, the variance of the estimated uptake approached the Cram\'e-Rao bound-defined theoretical limit.


title: Ready-to-use analytic model for gravitational waves from a hierarchical triple with Kozai-Lidov oscillations

abstract: Gravitational waves emitted by inner binaries in hierarchical triple systems are interesting astrophysical candidates for space-based detectors like the Laser Interferometer Space Antenna, LISA. In the presence of a third body, such as a supermassive black hole, an inner binary consisting of intermediate mass black holes can undergo oscillations in eccentricity and inclination angle due to the Kozai-Lidov mechanism. In this work, we construct analytic gravitational waveforms in the Fourier domain, taking into account the Kozai-Lidov effect at Newtonian (leading) order. Using multiple-scale analysis, we make use of the separability of timescales to combine the effects of both Kozai-Lidov oscillations and radiation-reaction. We assume small eccentricity and present analytic solutions to the evolution of the other orbital elements. Our analytic calculation can be systematically extended to higher orders in eccentricity, and can be used to construct inspiral-merger-ringdown models. The imprint on the waveform, due to this combined evolution, is computed under the stationary-phase approximation. We find that the oscillations leave a clear signature on the Fourier amplitude of the waveform while leaving a measurable imprint on the gravitational wave phase, and that our analytic results are consistent with numerics. Further, with our study of the astrophysical parameters of the hierarchical triple, we outline potential source candidates, along with potential implications for gravitational wave data analysis.


title: Singular angular magnetoresistance and sharp resonant features in a high-mobility metal with open orbits, ReO3

abstract: We report high-resolution angular magnetoresistance (AMR) experiments performed on crystals of ReO$_3$ with high mobility (90,000 cm$^2$/Vs at 2 K) and extremely low residual resistivity (5-8 n$\Omega$cm). The Fermi surface, comprised of intersecting cylinders, supports open orbits. The resistivity $\rho_{xx}$ in a magnetic field $B$ = 9 T displays a singular pattern of behavior. With $\bf E\parallel \hat{x}$ and $\bf B$ initially $\parallel\bf\hat{z}$, tilting $\bf B$ in the longitudinal $k_z$-$k_x$ plane leads to a steep decrease in $\rho_{xx}$ by a factor of 40. However, if $\bf B$ is tilted in the transverse $k_y$-$k_z$ plane, $\rho_{xx}$ increases steeply by a factor of 8. Using the Shockley tube integral approach, we show that, in ReO$_3$, the singular behavior results from the rapid conversion of closed to open orbits, resulting in opposite signs for AMR in orthogonal planes. The floor values of $\rho_{xx}$ in both AMR scans are identified with specific sets of open and closed orbits. Also, the "completion angle" $\gamma_c$ detected in the AMR is shown to be an intrinsic geometric feature that provides a new way to measure the Fermi radius $k_F$. However, additional sharp resonant features which appear at very small tilt angles in the longitudinal AMR scans are not explained by the tube integral approach.


title: A Hessian-dependent functional with free boundaries and applications to mean-field games

abstract: We study a Hessian-dependent functional driven by a fully nonlinear operator. The associated Euler-Lagrange equation is a fully nonlinear mean-field game with free boundaries. Our findings include the existence of solutions to the mean-field game, together with H\"older continuity of the value function and improved integrability of the density. In addition, we prove the reduced free boundary is a set of finite perimeter. To conclude our analysis, we prove a $\Gamma$-convergence result for the functional.


title: Nonnegative Matrix Factorization with Group and Basis Restrictions

abstract: Nonnegative matrix factorization (NMF) is a popular method used to reduce dimensionality in data sets whose elements are nonnegative. It does so by decomposing the data set of interest, $\mathbf{X}$, into two lower rank nonnegative matrices multiplied together ($\mathbf{X} \approx \mathbf{WH}$). These two matrices can be described as the latent factors, represented in the rows of $\mathbf{H}$, and the scores of the observations on these factors that are found in the rows of $\mathbf{W}$. This paper provides an extension of this method which allows one to specify prior knowledge of the data, including both group information and possible underlying factors. This is done by further decomposing the matrix, $\mathbf{H}$, into matrices $\mathbf{A}$ and $\mathbf{S}$ multiplied together. These matrices represent an 'auxiliary' matrix and a semi-constrained factor matrix respectively. This method and its updating criterion are proposed, followed by its application on both simulated and real world examples.


title: q-Paths: Generalizing the Geometric Annealing Path using Power Means

abstract: Many common machine learning methods involve the geometric annealing path, a sequence of intermediate densities between two distributions of interest constructed using the geometric average. While alternatives such as the moment-averaging path have demonstrated performance gains in some settings, their practical applicability remains limited by exponential family endpoint assumptions and a lack of closed form energy function. In this work, we introduce $q$-paths, a family of paths which is derived from a generalized notion of the mean, includes the geometric and arithmetic mixtures as special cases, and admits a simple closed form involving the deformed logarithm function from nonextensive thermodynamics. Following previous analysis of the geometric path, we interpret our $q$-paths as corresponding to a $q$-exponential family of distributions, and provide a variational representation of intermediate densities as minimizing a mixture of $\alpha$-divergences to the endpoints. We show that small deviations away from the geometric path yield empirical gains for Bayesian inference using Sequential Monte Carlo and generative model evaluation using Annealed Importance Sampling.


title: Case study of Innovative Teaching Practices and their Impact for Electrical Engineering Courses during COVID-19 Pandemic

abstract: Due to the COVID-19 pandemic, there was an urgent need to move to online teaching and develop innovations to guarantee the Student Learning Outcomes (SLOs) are being fulfilled. The contributions of this paper are two-fold: the effects of an experimented teaching strategy, i.e. multi-course project-based learning (MPL) approach, are presented followed with online assessment techniques investigation for senior level electrical engineering (EE) courses at Qatar University. The course project of the senior course was designed in such a way that it helps in simultaneously attaining the objectives of the senior and capstone courses, that the students were taking at the same time. It is known that the MPL approach enhances the critical thinking capacity of students which is also a major outcome of Education for Sustainable Development (ESD). The developed project ensures the fulfillment of a series of SLOs, that are concentrated on soft engineering and project management skills. The difficulties of adopting the MPL method for the senior level courses are in aligning the project towards fulfilling the learning outcomes of every individual course. The study also provides the students feedback on online assessment techniques incorporated with the MPL, due to online teaching during COVID-19 pandemic. In order to provide a benchmark and to highlight the obtained results, the innovative teaching approaches were compared to conventional methods taught on the same senior course in a previous semester. Based on the feedback from teachers and students from previously conducted case study it was believed that the MPL approach would support the students. With the statistical analysis (Chi-square, two-tailed T statistics and hypothesis testing using z-test) it can be concluded that the MPL and online assessment actually help to achieve better attainment of the SLOs, even during a pandemic situation.


title: Space Charge Effects for Collective Instabilities in Circular Machines

abstract: Coulomb fields of charged particle beams in circular machines determine, together with wake fields, modes of the collective beam oscillations, both for transverse and longitudinal degrees of freedom. Recent progress in these two areas of beam dynamics is discussed.


title: Phylogenetic Diversity Rankings in the Face of Extinctions: the Robustness of the Fair Proportion Index

abstract: Planning for the protection of species often involves difficult choices about which species to prioritize, given constrained resources. One way of prioritizing species is to consider their "evolutionary distinctiveness", i.e. their relative evolutionary isolation on a phylogenetic tree. Several evolutionary isolation metrics or phylogenetic diversity indices have been introduced in the literature, among them the so-called Fair Proportion index (also known as the "evolutionary distinctiveness" score). This index apportions the total diversity of a tree among all leaves, thereby providing a simple prioritization criterion for conservation. Here, we focus on the prioritization order obtained from the Fair Proportion index and analyze the effects of species extinction on this ranking. More precisely, we analyze the extent to which the ranking order may change when some species go extinct and the Fair Proportion index is re-computed for the remaining taxa. We show that for each phylogenetic tree, there are edge lengths such that the extinction of one leaf per cherry completely reverses the ranking. Moreover, we show that even if only the lowest ranked species goes extinct, the ranking order may drastically change. We end by analyzing the effects of these two extinction scenarios (extinction of the lowest ranked species and extinction of one leaf per cherry) for a collection of empirical and simulated trees. In both cases, we can observe significant changes in the prioritization orders, highlighting the empirical relevance of our theoretical findings.


title: Proof of the impossibility of probabilistic induction

abstract: In this short note I restate and simplify the proof of the impossibility of probabilistic induction from Popper (1992). Other proofs are possible (cf. Popper (1985)).


title: Population balance models for particulate flows in porous media:breakage and shear-induced events

abstract: Transport and particulate processes are ubiquitous in environmental, industrial and biological applications, often involving complex geometries and porous media. In this work we present a general population balance model for particle transport at the pore-scale, including aggregation, breakage and surface deposition. The various terms in the equations are analysed with a dimensional analysis, including a novel collision-induced breakage mechanism, and split into one- and two-particles processes. While the first are linear processes, they might both depend on local flow properties (e.g. shear). This means that the upscaling (via volume averaging and homogenisation) to a macroscopic (Darcy-scale) description requires closures assumptions. We discuss this problem and derive an effective macroscopic term for the shear-induced events, such as breakage caused by shear forces on the transported particles. We focus on breakage events as prototype for linear shear-induced events and derive upscaled breakage frequencies in periodic geometries, starting from non-linear power-law dependence on the local fluid shear rate. Results are presented for a two-dimensional channel flow and a three dimensional regular arrangement of spheres, for arbitrarily fast (mixing-limited) events. Implications for linearised shear-induced collisions are also discussed. This work lays the foundations of a new general framework for multiscale modelling of particulate flows.


title: Josephson oscillations of edge solitons in a photonic-topological coupler

abstract: We introduce a scheme of a photonic coupler built of two parallel topological-insulator slab waveguides with the intrinsic Kerr nonlinearity, separated by a gap. Josephson oscillations (JO) of a single edge soliton created in one slab, and of a pair of solitons created in two slabs, are considered. The single soliton jumping between the slabs is subject to quick radiative decay. On the other hand, the JO of the copropagating soliton pair may be essentially more robust, as one soliton can absorb dispersive waves emitted by the other. The most robust JO regime is featured by the pair of solitons with phase shift $\pi$ between them.


title: Global embedding of BTZ spacetime using generalized method of symmetric embeddings construction

abstract: It is often easier to study pseudo-Riemannian manifolds by presenting them as surfaces in some ambient space. We propose an algorithm for construction of explicit isometric embeddings of pseudo-Riemannian manifolds with symmetries into an ambient space of higher dimension. While most of the existing methods are based on Gauss-Codazzi-Mainardi-Peterson equations, we do not use them and instead concentrate on a system of equations which connects the metric on the manifold and the embedding function of the surface. Our algorithm is based on the group theoretical method of separation of variables that we developed earlier (arXiv:1202.1204). The algorithm makes this method more convenient and simple to use. It allowed us to simplify the construction of many known embeddings as well as obtain some new ones. In particular, we obtain explicit global embeddings of spinning BTZ black hole in 7-dimensional flat space.


title: An Investigation of the (In)effectiveness of Counterfactually Augmented Data

abstract: While pretrained language models achieve excellent performance on natural language understanding benchmarks, they tend to rely on spurious correlations and generalize poorly to out-of-distribution (OOD) data. Recent work has explored using counterfactually-augmented data (CAD) -- data generated by minimally perturbing examples to flip the ground-truth label -- to identify robust features that are invariant under distribution shift. However, empirical results using CAD for OOD generalization have been mixed. To explain this discrepancy, we draw insights from a linear Gaussian model and demonstrate the pitfalls of CAD. Specifically, we show that (a) while CAD is effective at identifying robust features, it may prevent the model from learning unperturbed robust features; and (b) CAD may exacerbate existing spurious correlations in the data. On two crowdsourced CAD datasets, our results show that the lack of perturbation diversity limits their effectiveness on OOD generalization, calling for innovative crowdsourcing procedures to elicit diverse perturbation of examples.


title: Folding Orthosymplectic Quivers

abstract: Folding identical legs of a simply-laced quiver creates a quiver with a non-simply laced edge. So far, this has been explored for quivers containing unitary gauge groups. In this paper, orthosymplectic quivers are folded, giving rise to a new family of quivers. This is realised by intersecting orientifolds in the brane system. The monopole formula for these non-simply laced orthosymplectic quivers is introduced. Some of the folded quivers have Coulomb branches that are closures of minimal nilpotent orbits of exceptional algebras, thus providing a new construction of these fundamental moduli spaces. Moreover, a general family of folded orthosymplectic quivers is shown to be a new magnetic quiver realisation of Higgs branches of 4d $\mathcal{N}=2$ theories. The Hasse (phase) diagrams of certain families are derived via quiver subtraction as well as Kraft-Procesi transitions in the brane system.


title: Ultra-clean radon-free four cylinder magnetically-coupled piston pump

abstract: A high performance gas displacement pump based on four individual cylinders was developed. The magnetically-coupled pistons and the hermetically-sealed housings as well as the special cleanliness in terms of out-gassing and radio-purity make the four cylinder pump interesting for the usage in low background experiments dealing with noble gases as target. An optimized inner flow path as well as reduced dead volume with respect to the prototype single cylinder pump of the XENON1T experiment combined with advanced polymer piston gaskets and a piston coupling force of (3177 $\pm$ 162) N ensures a high and reliable performance. Furthermore, a phase-shifted synchronization of the pistons' movement creates an additional performance boost as well as minimizes fluctuations of flow and compression. The pump is able to generate xenon flows of 474 slpm at a pressure difference of 1.80 bar.


title: Fermi LAT observations of Sagittarius A*: Imaging Analysis

abstract: Sagittarius A* (Sgr A*) -- the supermassive black hole (SMBH) in the center of our galaxy -- has been observed in most of the electromagnetic spectrum, from radio to X-rays. Diffuse gamma-ray emission has been observed around Sgr A* and a gamma-ray point source has been detected coinciding with the SMBH's position, although there is no definitive association between the two. In this work, we have used ~11 years of Fermi Large Area Telescope (LAT) observations of the point source 4FGL J1745.6-2859 and performed a detailed imaging analysis across four energy bands. Our goal is to elucidate the nature of the gamma-ray emission at the Galactic Center (GC) and whether it is associated with the SMBH. We find that the centroid of the emission approaches Sgr A*'s location as the energy increases. Assuming that the gamma-ray point source is located at the GC, we estimate a luminosity of 2.61E36 erg/s in the 100 MeV to 500 GeV energy range. This is consistent with Sgr A*'s bolometric luminosity. Based on the point source properties, we ruled out several potential candidates for its nature and favor a cosmic ray origin either from protons, electrons or both, accelerated by -- or in the vicinity of -- the SMBH. Our results indicate that the point source at the GC is indeed the gamma-ray counterpart of Sgr A* in the GeV range.


title: TMUML: A Singular TM Model with UML Use Cases and Classes

abstract: In the systems and software modeling field, a conceptual model involves modeling with concepts to support development and design. An example of a conceptual model is a description developed using the Unified Modeling Language (UML). UML uses a model multiplicity formulation approach, wherein a number of models are used to represent alternative views. By contrast, a model singularity approach uses only a single integrated model. Each of these styles of modeling has its strengths and weaknesses. This paper introduces a partial solution to the issue of multiplicity vs. singularity in modeling by adopting UML use cases and class models into the conceptual thinging machine (TM) model. To apply use cases, we adopt the observation that a use-case diagram is a description that shows the internal structure of the part of the system represented by the use case in addition to being useful to people outside of the system. Additionally, the UML class diagram is recast in TM representation. Accordingly, we develop a TMUML model that embraces the TM specification of the UML class diagram and the internal structure extracted from the UML use case. TMUML modeling introduces some of the advantages that have made UML a popular modeling language to TM modeling. At the same time, this approach supplies UML with partial model singularity. The paper details experimentation with TMUML using examples from the literature. Our results indicate that mixing UML with other models could be a viable approach.


title: The Spotlight: A General Method for Discovering Systematic Errors in Deep Learning Models

abstract: Supervised learning models often make systematic errors on rare subsets of the data. When these subsets correspond to explicit labels in the data (e.g., gender, race) such poor performance can be identified straightforwardly. This paper introduces a method for discovering systematic errors that do not correspond to such explicitly labelled subgroups. The key idea is that similar inputs tend to have similar representations in the final hidden layer of a neural network. We leverage this structure by "shining a spotlight" on this representation space to find contiguous regions where the model performs poorly. We show that the spotlight surfaces semantically meaningful areas of weakness in a wide variety of existing models spanning computer vision, NLP, and recommender systems.


title: Geometric Machine Learning for Channel Covariance Estimation in Vehicular Networks

abstract: Learning the covariance matrices of spatially-correlated wireless channels, in millimeter-wave (mmWave) vehicular communication, can be utilized in designing environmen-taware beamforming codebooks. Such channel covariance matrices can be represented on non-Euclidean Riemannian manifolds, thanks to their symmetric positive definite (SPD) characteristics. Consequently in this paper, we propose a Riemannian-Geometric machine learning (G-ML) approach for estimating the channel covariance matrices based on unsupervised K-Means model. The proposed K-means algorithm utilizes Log-Euclidean metric (LEM) as the distance measure among channel covariance matrices over the Riemannian manifolds. We show that our proposed K-Means G-ML model can achieve up to 80% less error compared to Euclidean-based K-Means algorithm, which applies clustering on the channel vectors themselves.


title: Functional limit theorems for random walks perturbed by positive alpha-stable jumps

abstract: Let $\xi_1$, $\xi_2,\ldots$ be i.i.d. random variables of zero mean and finite variance and $\eta_1$, $\eta_2,\ldots$ positive i.i.d. random variables whose distribution belongs to the domain of attraction of an $\alpha$-stable distribution, $\alpha\in (0,1)$. The two collections are assumed independent. We consider a Markov chain with jumps of two types. If the present position of the Markov chain is positive, then the jump $\xi_k$ occurs; if the present position of the Markov chain is nonpositive, then its next position is $\eta_j$. We prove a functional limit theorem for this Markov chain under Donsker's scaling. The weak limit is a nonnegative process $(X(t))_{t\geq 0}$ satisfying a stochastic equation ${\rm d}X(t)={\rm d}W(t)+ {\rm d}U_\alpha(L_X^{(0)}(t))$, where $W$ is a Brownian motion, $U_\alpha$ is an $\alpha$-stable subordinator which is independent of $W$, and $L_X^{(0)}$ is a local time of $X$ at $0$. Also, we explain that $X$ is a Feller Brownian motion with a `jump-type' exit from $0$.


title: On the Bike Spreading Problem

abstract: A free-floating bike-sharing system (FFBSS) is a dockless rental system where an individual can borrow a bike and returns it anywhere, within the service area. To improve the rental service, available bikes should be distributed over the entire service area: a customer leaving from any position is then more likely to find a near bike and then to use the service. Moreover, spreading bikes among the entire service area increases urban spatial equity since the benefits of FFBSS are not a prerogative of just a few zones. For guaranteeing such distribution, the FFBSS operator can use vans to manually relocate bikes, but it incurs high economic and environmental costs. We propose a novel approach that exploits the existing bike flows generated by customers to distribute bikes. More specifically, by envisioning the problem as an Influence Maximization problem, we show that it is possible to position batches of bikes on a small number of zones, and then the daily use of FFBSS will efficiently spread these bikes on a large area. We show that detecting these zones is NP-complete, but there exists a simple and efficient $1-1/e$ approximation algorithm; our approach is then evaluated on a dataset of rides from the free-floating bike-sharing system of the city of Padova.


title: Slowly rotating gravastars

abstract: We solve Einstein's equations for slowly-rotating gravitational condensate stars (gravastars) up to second order in the rotation by expanding about the spherically symmetric gravastar with de Sitter interior and Schwarzschild exterior matched at their common horizon. Requiring that the perturbations are finite on the null surface reduces the exterior geometry to that of a Kerr black hole, implying that a slowly rotating gravastar cannot be distinguished from a Kerr black hole by any measurement or observation restricted to the macroscopic spacetime exterior to the horizon. We determine the interior solution, the surface stress tensor, and the Komar mass and angular momentum localized on the slowly rotating horizon surface. With the interior equation of state fixed at $p=-\rho$, finite junction conditions on the null horizon surface necessarily lead to an interior solution with a singular core, where the perturbative expansion breaks down. Comparison to other models and implications for more rapidly rotating gravastars are briefly discussed.


title: Measurements of the electron-helicity asymmetry in the quasi-elastic ${\rm A}(\vec{e},e' p)$ process

abstract: We present measurements of the electron helicity asymmetry in quasi-elastic proton knockout from $^{2}$H and $^{12}$C nuclei by polarized electrons. This asymmetry depends on the fifth structure function, is antisymmetric with respect to the scattering plane, and vanishes in the absence of final-state interactions, and thus it provides a sensitive tool for their study. Our kinematics cover the full range in off-coplanarity angle $\phi_{pq}$, with a polar angle $\theta_{pq}$ coverage up to about 8 degrees. The missing energy resolution enabled us to determine the asymmetries for knock-out resulting in different states of the residual $^{11}$B system. We find that the helicity asymmetry for $p$-shell knockout from $^{12}$C depends on the final state of the residual system and is relatively large (up to $\approx 0.16$), especially at low missing momentum. It is considerably smaller (up to $\approx 0.01$) for $s$-shell knockout from both $^{12}$C and $^2$H. The data for $^2$H are in very good agreement with theoretical calculations, while the predictions for $^{12}$C exhibit differences with respect to the data.


title: Combining Frame-Synchronous and Label-Synchronous Systems for Speech Recognition

abstract: Commonly used automatic speech recognition (ASR) systems can be classified into frame-synchronous and label-synchronous categories, based on whether the speech is decoded on a per-frame or per-label basis. Frame-synchronous systems, such as traditional hidden Markov model systems, can easily incorporate existing knowledge and can support streaming ASR applications. Label-synchronous systems, based on attention-based encoder-decoder models, can jointly learn the acoustic and language information with a single model, which can be regarded as audio-grounded language models. In this paper, we propose rescoring the N-best hypotheses or lattices produced by a first-pass frame-synchronous system with a label-synchronous system in a second-pass. By exploiting the complementary modelling of the different approaches, the combined two-pass systems achieve competitive performance without using any extra speech or text data on two standard ASR tasks. For the 80-hour AMI IHM dataset, the combined system has a 13.7% word error rate (WER) on the evaluation set, which is up to a 29% relative WER reduction over the individual systems. For the 300-hour Switchboard dataset, the WERs of the combined system are 5.7% and 12.1% on Switchboard and CallHome subsets of Hub5'00, and 13.2% and 7.6% on Switchboard Cellular and Fisher subsets of RT03, up to a 33% relative reduction in WER over the individual systems.


title: Antiferromagnetic Order and Spin-Canting Transition in the Corrugated Square Net Compound Cu$_3$(TeO$_4$)(SO$_4$)$\cdot$H$_2$O

abstract: Strongly correlated electrons in layered perovskite structures have been the birthplace of high-temperature superconductivity, spin liquid, and quantum criticality. Specifically, the cuprate materials with layered structures made of corner sharing square planar CuO$_4$ units have been intensely studied due to their Mott insulating grounds state which leads to high-temperature superconductivity upon doping. Identifying new compounds with similar lattice and electronic structures has become a challenge in solid state chemistry. Here, we report the hydrothermal crystal growth of a new copper tellurite sulfate Cu$_3$(TeO$_4$)(SO$_4$)$\cdot$H$_2$O, a promising alternative to layered perovskites. The orthorhombic phase (space group $Pnma$) is made of corrugated layers of corner-sharing CuO$_4$ square-planar units that are edge-shared with TeO$_4$ units. The layers are linked by slabs of corner-sharing CuO$_4$ and SO$_4$. Using both the bond valence sum analysis and magnetization data, we find purely Cu$^{2+}$ ions within the layers, but a mixed valence of Cu$^{2+}$/Cu${^+}$ between the layers. Cu$_3$(TeO$_4$)(SO$_4$)$\cdot$H$_2$O undergoes an antiferromagnetic transition at $T_N$=67 K marked by a peak in the magnetic susceptibility. Upon further cooling, a spin-canting transition occurs at $T^{\star}$=12 K evidenced by a kink in the heat capacity. The spin-canting transition is explained based on a $J_1$-$J_2$ model of magnetic interactions, which is consistent with the slightly different in-plane super-exchange paths. We present Cu$_3$(TeO$_4$)(SO$_4$)$\cdot$H$_2$O as a promising platform for the future doping and strain experiments that could tune the Mott insulating ground state into superconducting or spin liquid states.


title: Stochastic Series Expansion Quantum Monte Carlo for Rydberg Arrays

abstract: Arrays of Rydberg atoms are a powerful platform to realize strongly-interacting quantum many-body systems. A common Rydberg Hamiltonian is free of the sign problem, meaning that its equilibrium properties are amenable to efficient simulation by quantum Monte Carlo (QMC). In this paper, we develop a Stochastic Series Expansion QMC algorithm for Rydberg atoms interacting on arbitrary lattices. We describe a cluster update that allows for the efficient sampling and calculation of physical observables for typical experimental parameters, and show that the algorithm can reproduce experimental results on large Rydberg arrays in one and two dimensions.


title: Design Rules for DMI-Stabilised Skyrmions

abstract: Magnetic skyrmions are topological objects, which have recently been observed in thin films at room temperature. Sub 100-nm sizes and spin polarised current manipulation make them candidates for high density information storage and processing. Besides material thickness, skyrmion stability involves many contributions: ferromagnetic exchange, magnetic anisotropy, Dzyaloshinskii-Moryia exchange interaction (DMI) and demagnetising energy. Multidimensional phase diagrams have been reported in the litterature. In this work we propose a simple two-parameter model, exact for thin films in the negligible magnetisation limit, e.g. ferrimagnets close to compensation and synthetic artificial antiferromagnets. It allows to define design rules to stabilize small diameter skyrmions at room temperature with explicit estimates of their nucleation and collapse energies. Comparisons to micromagnetic calculations allow to assess the model quality for non-zero magnetisation and show good agreement.


title: Ghost dynamics in the soft gluon limit

abstract: We present a detailed study of the dynamics associated with the ghost sector of quenched QCD in the Landau gauge, where the relevant dynamical equations are supplemented with key inputs originating from large-volume lattice simulations. In particular, we solve the coupled system of Schwinger-Dyson equations that governs the evolution of the ghost dressing function and the ghost-gluon vertex, using as input for the gluon propagator lattice data that have been cured from volume and discretization artifacts. In addition, we explore the soft gluon limit of the same system, employing recent lattice data for the three-gluon vertex that enters in one of the diagrams defining the Schwinger-Dyson equation of the ghost-gluon vertex. The results obtained from the numerical treatment of these equations are in excellent agreement with lattice data for the ghost dressing function, once the latter have undergone the appropriate scale-setting and artifact elimination refinements. Moreover, the coincidence observed between the ghost-gluon vertex in general kinematics and in the soft gluon limit reveals an outstanding consistency of physical concepts and computational schemes.


title: Enhancing Multi-Robot Perception via Learned Data Association

abstract: In this paper, we address the multi-robot collaborative perception problem, specifically in the context of multi-view infilling for distributed semantic segmentation. This setting entails several real-world challenges, especially those relating to unregistered multi-agent image data. Solutions must effectively leverage multiple, non-static, and intermittently-overlapping RGB perspectives. To this end, we propose the Multi-Agent Infilling Network: an extensible neural architecture that can be deployed (in a distributed manner) to each agent in a robotic swarm. Specifically, each robot is in charge of locally encoding and decoding visual information, and an extensible neural mechanism allows for an uncertainty-aware and context-based exchange of intermediate features. We demonstrate improved performance on a realistic multi-robot AirSim dataset.


title: Hypergeometric Multiple Orthogonal Polynomials and Random Walks

abstract: The recently found hypergeometric multiple orthogonal polynomials on the step-line by Lima and Loureiro are shown to be random walk polynomials. It is proven that the corresponding Jacobi matrix and its transpose, which are nonnegative matrices and describe higher recurrence relations, can be normalized to two stochastic matrices, dual to each other. Using the Christoffel-Darboux formula on the step-line and the Poincar\'e theory for non-homogeneous recurrence relations it is proven that both stochastic matrices are related by transposition in the large $n$ limit. These random walks are beyond birth and death, as they describe a chain in where transitions to the two previous states are allowed, or in the dual to the two next states.The corresponding Karlin-McGregor representation formula is given for these new Markov chains. The regions of hypergeometric parameters where the Markov chains are recurrent or transient are given. Stochastic factorizations, in terms of pure birth and of pure death factors, for the corresponding Markov matrices of types I and II, are provided.Twelve uniform Jacobi matrices and the corresponding random walks, related to a Jacobi matrix of Toeplitz type, and theirs stochastic or semi-stochastic matrices (with sinks and sources), that describe Markov chains beyond birth and death, are found and studied. One of these uniform stochastic cases, which is a recurrent random walk, is the only hypergeometric multiple random walk having a uniform stochastic factorization. The corresponding weights, Jacobi and Markov transition matrices and sequences of type II multiple orthogonal polynomials are provided. Chain of Christoffel transformations connecting the stochastic uniform tuples between them, and the semi-stochastic uniform tuples, between them, are presented.


title: Overcoming Obstructions via Bandwidth-Limited Multi-Agent Spatial Handshaking

abstract: In this paper, we address bandwidth-limited and obstruction-prone collaborative perception, specifically in the context of multi-agent semantic segmentation. This setting presents several key challenges, including processing and exchanging unregistered robotic swarm imagery. To be successful, solutions must effectively leverage multiple non-static and intermittently-overlapping RGB perspectives, while heeding bandwidth constraints and overcoming unwanted foreground obstructions. As such, we propose an end-to-end learn-able Multi-Agent Spatial Handshaking network (MASH) to process, compress, and propagate visual information across a robotic swarm. Our distributed communication module operates directly (and exclusively) on raw image data, without additional input requirements such as pose, depth, or warping data. We demonstrate superior performance of our model compared against several baselines in a photo-realistic multi-robot AirSim environment, especially in the presence of image occlusions. Our method achieves an absolute 11% IoU improvement over strong baselines.


title: Uniqueness and asymptotic stability of time-periodic solution for the fractal Burgers equation

abstract: The paper is concerned with the time-periodic (T-periodic) problem of the fractal Burgers equation with a T-periodic force on the real line. Based on the Galerkin approximates and Fourier series (transform) methods, we first prove the existence of T-periodic solution to a linearized version. Then, the existence and uniqueness of T-periodic solution to the nonlinear equation are established by the contraction mapping argument. Furthermore, we show that the unique T-periodic solution is asymptotically stable. This analysis, which is carried out in energy space $ H^{1}(0,T;H^{\frac{\alpha}{2}}(R))\cap L^{2}(0,T;\dot{H}^{\alpha})$ with $1<\alpha<\frac{3}{2}$, extends the T-periodic viscid Burgers equation in \cite{5} to the T-periodic fractional case.


title: Autonomous Navigation for Quadrupedal Robots with Optimized Jumping through Constrained Obstacles

abstract: Quadrupeds are strong candidates for navigating challenging environments because of their agile and dynamic designs. This paper presents a methodology that extends the range of exploration for quadrupedal robots by creating an end-to-end navigation framework that exploits walking and jumping modes. To obtain a dynamic jumping maneuver while avoiding obstacles, dynamically-feasible trajectories are optimized offline through collocation-based optimization where safety constraints are imposed. Such optimization schematic allows the robot to jump through window-shaped obstacles by considering both obstacles in the air and on the ground. The resulted jumping mode is utilized in an autonomous navigation pipeline that leverages a search-based global planner and a local planner to enable the robot to reach the goal location by walking. A state machine together with a decision making strategy allows the system to switch behaviors between walking around obstacles or jumping through them. The proposed framework is experimentally deployed and validated on a quadrupedal robot, a Mini Cheetah, to enable the robot to autonomously navigate through an environment while avoiding obstacles and jumping over a maximum height of 13 cm to pass through a window-shaped opening in order to reach its goal.


title: Almost Tight Approximation Algorithms for Explainable Clustering

abstract: Recently, due to an increasing interest for transparency in artificial intelligence, several methods of explainable machine learning have been developed with the simultaneous goal of accuracy and interpretability by humans. In this paper, we study a recent framework of explainable clustering first suggested by Dasgupta et al.~\cite{dasgupta2020explainable}. Specifically, we focus on the $k$-means and $k$-medians problems and provide nearly tight upper and lower bounds. First, we provide an $O(\log k \log \log k)$-approximation algorithm for explainable $k$-medians, improving on the best known algorithm of $O(k)$~\cite{dasgupta2020explainable} and nearly matching the known $\Omega(\log k)$ lower bound~\cite{dasgupta2020explainable}. In addition, in low-dimensional spaces $d \ll \log k$, we show that our algorithm also provides an $O(d \log^2 d)$-approximate solution for explainable $k$-medians. This improves over the best known bound of $O(d \log k)$ for low dimensions~\cite{laber2021explainable}, and is a constant for constant dimensional spaces. To complement this, we show a nearly matching $\Omega(d)$ lower bound. Next, we study the $k$-means problem in this context and provide an $O(k \log k)$-approximation algorithm for explainable $k$-means, improving over the $O(k^2)$ bound of Dasgupta et al. and the $O(d k \log k)$ bound of \cite{laber2021explainable}. To complement this we provide an almost tight $\Omega(k)$ lower bound, improving over the $\Omega(\log k)$ lower bound of Dasgupta et al. Given an approximate solution to the classic $k$-means and $k$-medians, our algorithm for $k$-medians runs in time $O(kd \log^2 k )$ and our algorithm for $k$-means runs in time $ O(k^2 d)$.


title: Generalization of Jordan-Lie of Finite Dimensional Associative Algebras

abstract: We generalize Baranov and Shlaka's results about bar-minimal Jordan-Lie and regular inner ideals of finite dimensional associative algebras. Let A be a finite dimensional 1-perfect associative algebras A over an algebraically closed field \mathbb{F} of characteristic p\ge0 and let A' be a subalgebra of A. We prove that for any bar-minimal Jordan-Lie inner ideal B' a A', there is a bar-minimal Jordan-Lie inner ideal of A that contains B' and if B' is regular, then is a regular inner ideal of A that contains B'. We also prove that for any strict orthogonal pair (e',f') in A', there is a strict orthogonal idempotent pair (e,f) in A such that e'A'f'\subseteq eAf


title: A Flexible Joint Model for Multiple Longitudinal Biomarkers and A Time-to-Event Outcome: With Applications to Dynamic Prediction Using Highly Correlated Biomarkers

abstract: In biomedical studies it is common to collect data on multiple biomarkers during study follow-up for dynamic prediction of a time-to-event clinical outcome. The biomarkers are typically intermittently measured, missing at some event times, and may be subject to high biological variations, which cannot be readily used as time-dependent covariates in a standard time-to-event model. Moreover, they can be highly correlated if they are from in the same biological pathway. To address these issues, we propose a flexible joint model framework that models the multiple biomarkers with a shared latent reduced rank longitudinal principal component model and correlates the latent process to the event time by the Cox model for dynamic prediction of the event time. The proposed joint model for highly correlated biomarkers is more flexible than some existing methods since the latent trajectory shared by the multiple biomarkers does not require specification of a priori parametric time trend and is determined by data. We derive an Expectation-Maximization (EM) algorithm for parameter estimation, study large sample properties of the estimators, and adapt the developed method to make dynamic prediction of the time-to-event outcome. Bootstrap is used for standard error estimation and inference. The proposed method is evaluated using simulations and illustrated on a lung transplant data to predict chronic lung allograft dysfunction (CLAD) using chemokines measured in bronchoalveolar lavage fluid of the patients.


title: Local minimizers for a class of functionals over the Nehari set

abstract: We analyze the topological structure of the Nehari set for a class of functionals depending on a real parameter $\lambda$, and having two degrees of homogeneity. A special attention is paid to the extremal parameter $\lambda^*$, which is the threshold value for the Nehari set to be given by a {\it natural constraint}. The main difficulty arises when $\lambda>\lambda^*$, as the energy functional may be unbounded from below over the Nehari set. In such situation we prove the existence of local minimizers of the functional constrained to this set. We unify and extend previous existence and multiplicity results for critical points of indefinite, $(p,q)$-Laplacian, and Kirchhoff type problems.


title: On Bridging Generic and Personalized Federated Learning for Image Classification

abstract: Federated learning is promising for its capability to collaboratively train models with multiple clients without accessing their data, but vulnerable when clients' data distributions diverge from each other. This divergence further leads to a dilemma: "Should we prioritize the learned model's generic performance (for future use at the server) or its personalized performance (for each client)?" These two, seemingly competing goals have divided the community to focus on one or the other, yet in this paper we show that it is possible to approach both at the same time. Concretely, we propose a novel federated learning framework that explicitly decouples a model's dual duties with two prediction tasks. On the one hand, we introduce a family of losses that are robust to non-identical class distributions, enabling clients to train a generic predictor with a consistent objective across them. On the other hand, we formulate the personalized predictor as a lightweight adaptive module that is learned to minimize each client's empirical risk on top of the generic predictor. With this two-loss, two-predictor framework which we name Federated Robust Decoupling (Fed-RoD), the learned model can simultaneously achieve state-of-the-art generic and personalized performance, essentially bridging the two tasks.


title: Hypnozoite dynamics for Plasmodium vivax malaria: the epidemiological effects of radical cure

abstract: Malaria is a mosquito-borne disease with a devastating global impact. Plasmodium vivax is a major cause of human malaria beyond sub-Saharan Africa. Relapsing infections, driven by a reservoir of liver-stage parasites known as hypnozoites, present unique challenges for the control of P. vivax malaria. Following indeterminate dormancy periods, hypnozoites may activate to trigger relapses. Clearance of the hypnozoite reservoir through drug treatment (radical cure) has been proposed as a potential tool for the elimination of P. vivax malaria. Here, we introduce a stochastic, within-host model to jointly characterise hypnozoite and infection dynamics for an individual in a general transmission setting, allowing for radical cure. We begin by extending an existing activation-clearance model for a single hypnozoite, adapted to both short- and long-latency strains, to include drug treatment. We then embed this activation-clearance model in an epidemiological framework accounting for repeated mosquito inoculation and the administration of radical cure. By constructing an open network of infinite server queues, we derive analytic expressions for several quantities of epidemiological significance, including the size of the hypnozoite reservoir; the relative contribution of relapses to the infection burden; the distribution of multiple infections; the cumulative number of recurrences over time, and the time to first recurrence following drug treatment. By deriving, rather than assuming parameteric forms, we characterise the transient dynamics of the hypnozoite reservoir following radical cure more accurately than previous approaches. To yield population-level insights, our analytic within-host distributions can be embedded in multiscale models. Our work thus contributes to the epidemiological understanding of the effects of radical cure on P. vivax malaria.


title: Coproduct for affine Yangians and parabolic induction for rectangular $W$-algebras

abstract: We construct algebra homomorphisms from affine Yangians to the current algebras of rectangular $W$-algebras both in type A. The construction is given via the coproduct and the evaluation map for the affine Yangians. As a consequence, we show that parabolic inductions for representations of the rectangular $W$-algebras can be regarded as tensor product representations of the affine Yangians under the homomorphisms. The same method is applicable also to the super setting.


title: UTNet: A Hybrid Transformer Architecture for Medical Image Segmentation

abstract: Transformer architecture has emerged to be successful in a number of natural language processing tasks. However, its applications to medical vision remain largely unexplored. In this study, we present UTNet, a simple yet powerful hybrid Transformer architecture that integrates self-attention into a convolutional neural network for enhancing medical image segmentation. UTNet applies self-attention modules in both encoder and decoder for capturing long-range dependency at different scales with minimal overhead. To this end, we propose an efficient self-attention mechanism along with relative position encoding that reduces the complexity of self-attention operation significantly from $O(n^2)$ to approximate $O(n)$. A new self-attention decoder is also proposed to recover fine-grained details from the skipped connections in the encoder. Our approach addresses the dilemma that Transformer requires huge amounts of data to learn vision inductive bias. Our hybrid layer design allows the initialization of Transformer into convolutional networks without a need of pre-training. We have evaluated UTNet on the multi-label, multi-vendor cardiac magnetic resonance imaging cohort. UTNet demonstrates superior segmentation performance and robustness against the state-of-the-art approaches, holding the promise to generalize well on other medical image segmentations.


title: Polarized Self-Attention: Towards High-quality Pixel-wise Regression

abstract: Pixel-wise regression is probably the most common problem in fine-grained computer vision tasks, such as estimating keypoint heatmaps and segmentation masks. These regression problems are very challenging particularly because they require, at low computation overheads, modeling long-range dependencies on high-resolution inputs/outputs to estimate the highly nonlinear pixel-wise semantics. While attention mechanisms in Deep Convolutional Neural Networks(DCNNs) has become popular for boosting long-range dependencies, element-specific attention, such as Nonlocal blocks, is highly complex and noise-sensitive to learn, and most of simplified attention hybrids try to reach the best compromise among multiple types of tasks. In this paper, we present the Polarized Self-Attention(PSA) block that incorporates two critical designs towards high-quality pixel-wise regression: (1) Polarized filtering: keeping high internal resolution in both channel and spatial attention computation while completely collapsing input tensors along their counterpart dimensions. (2) Enhancement: composing non-linearity that directly fits the output distribution of typical fine-grained regression, such as the 2D Gaussian distribution (keypoint heatmaps), or the 2D Binormial distribution (binary segmentation masks). PSA appears to have exhausted the representation capacity within its channel-only and spatial-only branches, such that there is only marginal metric differences between its sequential and parallel layouts. Experimental results show that PSA boosts standard baselines by $2-4$ points, and boosts state-of-the-arts by $1-2$ points on 2D pose estimation and semantic segmentation benchmarks.


title: Reinforcement Learning for Feedback-Enabled Cyber Resilience

abstract: Digitization and remote connectivity have enlarged the attack surface and made cyber systems more vulnerable. As attackers become increasingly sophisticated and resourceful, mere reliance on traditional cyber protection, such as intrusion detection, firewalls, and encryption, is insufficient to secure the cyber systems. Cyber resilience provides a new security paradigm that complements inadequate protection with resilience mechanisms. A Cyber-Resilient Mechanism (CRM) adapts to the known or zero-day threats and uncertainties in real-time and strategically responds to them to maintain critical functions of the cyber systems in the event of successful attacks. Feedback architectures play a pivotal role in enabling the online sensing, reasoning, and actuation process of the CRM. Reinforcement Learning (RL) is an essential tool that epitomizes the feedback architectures for cyber resilience. It allows the CRM to provide sequential responses to attacks with limited or without prior knowledge of the environment and the attacker. In this work, we review the literature on RL for cyber resilience and discuss cyber resilience against three major types of vulnerabilities, i.e., posture-related, information-related, and human-related vulnerabilities. We introduce three application domains of CRMs: moving target defense, defensive cyber deception, and assistive human security technologies. The RL algorithms also have vulnerabilities themselves. We explain the three vulnerabilities of RL and present attack models where the attacker targets the information exchanged between the environment and the agent: the rewards, the state observations, and the action commands. We show that the attacker can trick the RL agent into learning a nefarious policy with minimum attacking effort. Lastly, we discuss the future challenges of RL for cyber security and resilience and emerging applications of RL-based CRMs.


title: Novel characterisation of dopant-based qubits

abstract: Silicon is a leading qubit platform thanks to the exceptional coherence times that can be achieved and to the available commercial manufacturing platform for integration. Building scalable quantum processing architectures relies on accurate quantum state manipulation, which can only be achieved through a complete understanding of the underlying quantum state properties. This article reviews the electrical methods that have been developed to probe the quantum states encoded in individual and interacting atom qubits in silicon, from the pioneering single electron tunneling spectroscopy framework in nanoscale transistors, to radio frequency reflectometry to probe coherence properties and scanning tunneling microscopy to directly image the wave function at the atomic scale. Together with the development of atomistic simulations of realistic devices, these methods are today applied to other emerging dopant and optically addressable defect states to accelerate the engineering of quantum technologies in silicon.


title: Exact solution of a non-stationary cavity with one intermode interaction

abstract: A non-stationary one-dimensional cavity can be described by the time-dependent and multi-mode effective Hamiltonian of the so-called dynamical Casimir effect. Due to the non-adiabatic boundary conditions imposed in one of the cavity mirrors, this effect predicts the generation of real photons out of vacuum fluctuations of the electromagnetic field. Such photon generation strongly depends on the number of modes in the cavity and their intermode couplings. Here, by using an algebraic approach, we show that for any set of functions parameterizing the effective Hamiltonian, the corresponding time-dependent Schr\"odinger equation admits an exact solution when the cavity has one intermode interaction. With the exact time evolution operator, written as a product of eleven exponentials, we obtain the average photon number in each mode, a few relevant observables and some statistical properties for the evolved vacuum state.


title: Photoinduced iodide repulsion and halides-demixing in layered perovskites

abstract: Mixing halides in metal halide perovskites (MHPs) is an effective approach to adjust MHPs bandgap for applications in tandem solar cells. However, mixed-halide (MH-) MHPs undergo light-induced-phase-segregation (LIPS) under continuous illumination. Therefore, understanding the mechanism of LIPS is necessary for developing stable MH-MHPs. In this work, we investigated LIPS in layered (L) MHPs and discovered a critical role of spacer cations in LIPS. Through probing chemical changes of LIPS, we unveil light-induced-iodide-repulsion and the formation of Br-rich-phase in illuminated regions during LIPS. This discovery also gives insight into LIPS process in three dimensional (3D) MHPs. By further investigating LIPS in 3D MHPs, we reveal that LIPS induces not only the formation of Br-rich and I-rich domains but also an overall change of halide distribution along the film thickness direction, which can affect the electronic energy alignment and consequently MHPs devices performance. Moreover, LIPS is more significant in the bulk due to larger population of photogenerated charge carriers. Overall, this study reveals the chemical mechanism of LIPS in MHPs and its potential effect on device performance, offering insight into understanding LIPS mechanism and improving the stability of MHPs.


title: Sums of triangular numbers and sums of squares

abstract: For non-negative integers $a,b,$ and $n$, let $N(a, b; n)$ be the number of representations of $n$ as a sum of squares with coefficients $1$ or $3$ ($a$ of ones and $b$ of threes). Let $N^*(a,b; n)$ be the number of representations of $n$ as a sum of odd squares with coefficients $1$ or $3$ ($a$ of ones and $b$ of threes). We have that $N^*(a,b;8n+a+3b)$ is the number of representations of $n$ as a sum of triangular numbers with coefficients $1$ or $3$ ($a$ of ones and $b$ of threes). It is known that for $a$ and $b$ satisfying $1\leq a+3b \leq 7$, we have $$ N^*(a,b;8n+a+3b)= \frac{2}{2+{a\choose4}+ab} N(a,b;8n+a+3b) $$ and for $a$ and $b$ satisfying $a+3b=8$, we have $$ N^*(a,b;8n+a+3b) = \frac{2}{2+{a\choose4}+ab} \left( N(a,b;8n+a+3b) - N(a,b; (8n+a+3b)/4) \right). %& t(8,0;{n}) = \frac{1}{36} \left( N(8,0;8n+8) - N(8,0;2n+2) \right). \label{eq31_5} $$ Such identities are not known for $a+3b>8$. In this paper, for general $a$ and $b$ with $a+b$ even, we prove asymptotic equivalence of formulas similar to the above, as $n\rightarrow\infty$. One of our main results extends a theorem of Bateman, Datskovsky, and Knopp where the case $b=0$ and general $a$ was considered. Our approach is different from Bateman-Datskovsky-Knopp's proof where the circle method and singular series were used. We achieve our results by explicitly computing the Eisenstein components of the generating functions of $N^*(a,b;8n+a+3b)$ and $N(a,b;8n+a+3b)$. The method we use is robust and can be adapted in studying the asymptotics of other representation numbers with general coefficients.


title: Analytical Continuation of Matrix-Valued Functions: Carath\'eodory Formalism

abstract: Finite-temperature quantum field theories are formulated in terms of Green's functions and self-energies on the Matsubara axis. In multi-orbital systems, these quantities are related to positive semidefinite matrix-valued functions of the Carath\'eodory and Schur class. Analysis, interpretation and evaluation of derived quantities such as real-frequency response functions requires analytic continuation of the off-diagonal elements to the real axis. We derive the criteria under which such functions exist for given Matsubara data and present an interpolation algorithm that intrinsically respects their mathematical properties. For small systems with precise Matsubara data, we find that the continuation exactly recovers all off-diagonal and diagonal elements. In real-materials systems, we show that the precision of the continuation is sufficient for the analytic continuation to commute with the Dyson equation, and we show that the commonly used truncation of off-diagonal self-energy elements leads to considerable approximation artifacts. Our method paves the way for the systematic evaluation of Matsubara data with equations of many-body theory on the real-frequency axis.


title: Case Relation Transformer: A Crossmodal Language Generation Model for Fetching Instructions

abstract: There have been many studies in robotics to improve the communication skills of domestic service robots. Most studies, however, have not fully benefited from recent advances in deep neural networks because the training datasets are not large enough. In this paper, our aim is to augment the datasets based on a crossmodal language generation model. We propose the Case Relation Transformer (CRT), which generates a fetching instruction sentence from an image, such as "Move the blue flip-flop to the lower left box." Unlike existing methods, the CRT uses the Transformer to integrate the visual features and geometry features of objects in the image. The CRT can handle the objects because of the Case Relation Block. We conducted comparison experiments and a human evaluation. The experimental results show the CRT outperforms baseline methods.


title: Local and global well-posedness in $L^{2}(\mathbb R^{n})$ for the inhomogeneous nonlinear Schr\"{o}dinger equation

abstract: This paper investigates the local and global well-posedness for the inhomogeneous nonlinear Schr\"{o}dinger (INLS) equation $iu_{t} +\Delta u=\lambda \left|x\right|^{-b} \left|u\right|^{\sigma } u, u(0)=u_{0} \in L^{2}(\mathbb R^{n})$, where $\lambda \in \mathbb C$, $0<b<\min \left\{2,{\rm \; }n\right\}$ and $0<\sigma \le \frac{4-2b}{n} $. We prove the local well-posedness and small data global well-posedness of the INLS equation in the mass-critical case $\sigma =\frac{4-2b}{n} $, which have remained open until now. We also obtain some local well-posedness results in the mass-subcritical case $\sigma <\frac{4-2b}{n} $. In order to obtain the results above, we establish the Strichartz estimates in Lorentz spaces and use the contraction mapping principle based on Strichartz estimates.


title: Quantum Imaginary Time Evolution Algorithm for Quantum Field Theories with Continuous Variables

abstract: We calculate the energy levels and corresponding eigenstates of an interacting scalar quantum field theory on a lattice using a continuous-variable version of the quantum imaginary time evolution algorithm. Only a single qumode is needed for the simulation of the field at each point on the lattice. Our quantum algorithm avoids the use of non-Gaussian quantum gates and relies, instead, on detectors projecting onto eigenstates of the photon-number operator. Using Xanadu's Strawberry Fields simulator, we obtain results on energy levels that are in very good agreement with results from exact calculations. We propose an experimental setup that can be realized with existing technology.


title: Small data global well--posedness and scattering for the inhomogeneous nonlinear Schr\"{o}dinger equation in $H^{s} (\mathbb R^{n})$

abstract: We consider the Cauchy problem for the inhomogeneous nonlinear Schr\"{o}dinger (INLS) equation \[iu_{t} +\Delta u=|x|^{-b} f\left(u\right), u\left(0\right)=u_{0} \in H^{s} (\mathbb R^{n}),\] where $0<s<\min \left\{n,\;\frac{n}{2} +1\right\}$, $0<b<\min \left\{2,\;n-s,{\rm \; 1}+\frac{n-2s}{2} \right\}$ and $f\left(u\right)$ is a nonlinear function that behaves like $\lambda \left|u\right|^{\sigma } u$ with $\lambda \in \mathbb C$ and $\sigma >0$. We prove that the Cauchy problem of the INLS equation is globally well--posed in $H^{s} (\mathbb R^{n})$ if the initial data is sufficiently small and $\sigma _{0} <\sigma <\sigma _{s} $, where $\sigma _{0} =\frac{4-2b}{n} $ and $\sigma _{s} =\frac{4-2b}{n-2s} $ if $s<\frac{n}{2} $; $\sigma _{s} =\infty $ if $s\ge \frac{n}{2} $. Our global well--posedness result improves the one of Guzm\'{a}n in (Nonlinear Anal. Real World Appl. 37: 249--286, 2017) by extending the validity of $s$ and $b$. In addition, we also have the small data scattering result.


title: The Causal-Neural Connection: Expressiveness, Learnability, and Inference

abstract: One of the central elements of any causal inference is an object called structural causal model (SCM), which represents a collection of mechanisms and exogenous sources of random variation of the system under investigation (Pearl, 2000). An important property of many kinds of neural networks is universal approximability: the ability to approximate any function to arbitrary precision. Given this property, one may be tempted to surmise that a collection of neural nets is capable of learning any SCM by training on data generated by that SCM. In this paper, we show this is not the case by disentangling the notions of expressivity and learnability. Specifically, we show that the causal hierarchy theorem (Thm. 1, Bareinboim et al., 2020), which describes the limits of what can be learned from data, still holds for neural models. For instance, an arbitrarily complex and expressive neural net is unable to predict the effects of interventions given observational data alone. Given this result, we introduce a special type of SCM called a neural causal model (NCM), and formalize a new type of inductive bias to encode structural constraints necessary for performing causal inferences. Building on this new class of models, we focus on solving two canonical tasks found in the literature known as causal identification and estimation. Leveraging the neural toolbox, we develop an algorithm that is both sufficient and necessary to determine whether a causal effect can be learned from data (i.e., causal identifiability); it then estimates the effect whenever identifiability holds (causal estimation). Simulations corroborate the proposed approach.


title: The Steinberg representation is irreducible

abstract: We prove that the Steinberg representation of a connected reductive group over an infinite field is irreducible. For finite fields, this is a classical theorem of Steinberg and Curtis.


title: Continuous dependence of the Cauchy problem for the inhomogeneous nonlinear Schr\"{o}dinger equation in $H^{s} (\mathbb R^{n} )$

abstract: We consider the Cauchy problem for the inhomogeneous nonlinear Schr\"{o}dinger (INLS) equation \[iu_{t} +\Delta u=|x|^{-b} f(u),\;u(0)\in H^{s} (\mathbb R^{n} ),\] where $n\in \mathbb N$, $0<s<\min \{ n,\; 1+n/2\} $, $0<b<\min \{ 2,\;n-s,\;1+\frac{n-2s}{2} \} $ and $f(u)$ is a nonlinear function that behaves like $\lambda \left|u\right|^{\sigma } u$ with $\sigma>0$ and $\lambda \in \mathbb C$. Recently, An--Kim \cite{AK21} proved the local existence of solutions in $H^{s}(\mathbb R^{n} )$ with $0\le s<\min \{ n,\; 1+n/2\}$. However even though the solution is constructed by a fixed point technique, continuous dependence in the standard sense in $H^{s}(\mathbb R^{n} )$ with $0< s<\min \{ n,\; 1+n/2\}$ doesn't follow from the contraction mapping argument. In this paper, we show that the solution depends continuously on the initial data in the standard sense in $H^{s}(\mathbb R^{n} )$, i.e. in the sense that the local solution flow is continuous $H^{s}(\mathbb R^{n} )\to H^{s}(\mathbb R^{n} )$, if $\sigma $ satisfies certain assumptions.


title: The Cauchy problem for the critical inhomogeneous nonlinear Schr\"{o}dinger equation in $H^{s}(\mathbb R^{n})$

abstract: In this paper, we study the Cauchy problem for the critical inhomogeneous nonlinear Schr\"{o}dinger (INLS) equation \[iu_{t} +\Delta u=|x|^{-b} f(u), ~u(0)=u_{0} \in H^{s} (\mathbb R^{n} ),\] where $n\ge3$, $1\le s<\frac{n}{2} $, $0<b<2$ and $f(u)$ is a nonlinear function that behaves like $\lambda \left|u\right|^{\sigma } u$ with $\lambda \in \mathbb C$ and $\sigma =\frac{4-2b}{n-2s} $. We establish the local well-posedness as well as the small data global well-posedness and scattering in $H^{s} (\mathbb R^{n} )$ with $1\le s<\frac{n}{2}$ for the critical INLS equation under some assumption on $b$. To this end, we first establish various nonlinear estimates by using fractional Hardy inequality and then use the contraction mapping principle based on Strichartz estimates.


title: Mitigating deep double descent by concatenating inputs

abstract: The double descent curve is one of the most intriguing properties of deep neural networks. It contrasts the classical bias-variance curve with the behavior of modern neural networks, occurring where the number of samples nears the number of parameters. In this work, we explore the connection between the double descent phenomena and the number of samples in the deep neural network setting. In particular, we propose a construction which augments the existing dataset by artificially increasing the number of samples. This construction empirically mitigates the double descent curve in this setting. We reproduce existing work on deep double descent, and observe a smooth descent into the overparameterized region for our construction. This occurs both with respect to the model size, and with respect to the number epochs.


title: Near-optimal Algorithms for Explainable k-Medians and k-Means

abstract: We consider the problem of explainable $k$-medians and $k$-means introduced by Dasgupta, Frost, Moshkovitz, and Rashtchian~(ICML 2020). In this problem, our goal is to find a threshold decision tree that partitions data into $k$ clusters and minimizes the $k$-medians or $k$-means objective. The obtained clustering is easy to interpret because every decision node of a threshold tree splits data based on a single feature into two groups. We propose a new algorithm for this problem which is $\tilde O(\log k)$ competitive with $k$-medians with $\ell_1$ norm and $\tilde O(k)$ competitive with $k$-means. This is an improvement over the previous guarantees of $O(k)$ and $O(k^2)$ by Dasgupta et al (2020). We also provide a new algorithm which is $O(\log^{3/2} k)$ competitive for $k$-medians with $\ell_2$ norm. Our first algorithm is near-optimal: Dasgupta et al (2020) showed a lower bound of $\Omega(\log k)$ for $k$-medians; in this work, we prove a lower bound of $\tilde\Omega(k)$ for $k$-means. We also provide a lower bound of $\Omega(\log k)$ for $k$-medians with $\ell_2$ norm.


title: Precoder Design for Physical-Layer Security and Authentication in Massive MIMO UAV Communications

abstract: Supporting reliable and seamless wireless connectivity for unmanned aerial vehicles (UAVs) has recently become a critical requirement to enable various different use cases of UAVs. Due to their widespread deployment footprint, cellular networks can support beyond visual line of sight (BVLOS) communications for UAVs. In this paper, we consider cellular connected UAVs (C-UAVs) that are served by massive multiple-input-multiple-output (MIMO) links to extend coverage range, while also improving physical layer security and authentication. We consider Rician channel and propose a novel linear precoder design for transmitting data and artificial noise (AN). We derive the closed-form expression of the ergodic secrecy rate of C-UAVs for both conventional and proposed precoder designs. In addition, we obtain the optimal power splitting factor that divides the power between data and AN by asymptotic analysis. Then, we apply the proposed precoder design in the fingerprint embedding authentication framework, where the goal is to minimize the probability of detection of the authentication tag at an eavesdropper. In simulation results, we show the superiority of the proposed precoder in both secrecy rate and the authentication probability considering moderate and large number of antenna massive MIMO scenarios.