title: Generate Your Counterfactuals: Towards Controlled Counterfactual Generation for Text

abstract: Machine Learning has seen tremendous growth recently, which has led to larger adoption of ML systems for educational assessments, credit risk, healthcare, employment, criminal justice, to name a few. The trustworthiness of ML and NLP systems is a crucial aspect and requires a guarantee that the decisions they make are fair and robust. Aligned with this, we propose a framework GYC, to generate a set of counterfactual text samples, which are crucial for testing these ML systems. Our main contributions include a) We introduce GYC, a framework to generate counterfactual samples such that the generation is plausible, diverse, goal-oriented, and effective, b) We generate counterfactual samples, that can direct the generation towards a corresponding condition such as named-entity tag, semantic role label, or sentiment. Our experimental results on various domains show that GYC generates counterfactual text samples exhibiting the above four properties. GYC generates counterfactuals that can act as test cases to evaluate a model and any text debiasing algorithm.


title: Class Clown: Data Redaction in Machine Unlearning at Enterprise Scale

abstract: Individuals are gaining more control of their personal data through recent data privacy laws such the General Data Protection Regulation and the California Consumer Privacy Act. One aspect of these laws is the ability to request a business to delete private information, the so called "right to be forgotten" or "right to erasure". These laws have serious financial implications for companies and organizations that train large, highly accurate deep neural networks (DNNs) using these valuable consumer data sets. However, a received redaction request poses complex technical challenges on how to comply with the law while fulfilling core business operations. We introduce a DNN model lifecycle maintenance process that establishes how to handle specific data redaction requests and minimize the need to completely retrain the model. Our process is based upon the membership inference attack as a compliance tool for every point in the training set. These attack models quantify the privacy risk of all training data points and form the basis of follow-on data redaction from an accurate deployed model; excision is implemented through incorrect label assignment within incremental model updates.


title: Emergence of Different Modes of Tool Use in a Reaching and Dragging Task

abstract: Tool use is an important milestone in the evolution of intelligence. In this paper, we investigate different modes of tool use that emerge in a reaching and dragging task. In this task, a jointed arm with a gripper must grab a tool (T, I, or L-shaped) and drag an object down to the target location (the bottom of the arena). The simulated environment had real physics such as gravity and friction. We trained a deep-reinforcement learning based controller (with raw visual and proprioceptive input) with minimal reward shaping information to tackle this task. We observed the emergence of a wide range of unexpected behaviors, not directly encoded in the motor primitives or reward functions. Examples include hitting the object to the target location, correcting error of initial contact, throwing the tool toward the object, as well as normal expected behavior such as wide sweep. Also, we further analyzed these behaviors based on the type of tool and the initial position of the target object. Our results show a rich repertoire of behaviors, beyond the basic built-in mechanisms of the deep reinforcement learning method we used.


title: 3D Graph Anatomy Geometry-Integrated Network for Pancreatic Mass Segmentation, Diagnosis, and Quantitative Patient Management

abstract: The pancreatic disease taxonomy includes ten types of masses (tumors or cysts)[20,8]. Previous work focuses on developing segmentation or classification methods only for certain mass types. Differential diagnosis of all mass types is clinically highly desirable [20] but has not been investigated using an automated image understanding approach. We exploit the feasibility to distinguish pancreatic ductal adenocarcinoma (PDAC) from the nine other nonPDAC masses using multi-phase CT imaging. Both image appearance and the 3D organ-mass geometry relationship are critical. We propose a holistic segmentation-mesh-classification network (SMCN) to provide patient-level diagnosis, by fully utilizing the geometry and location information, which is accomplished by combining the anatomical structure and the semantic detection-by-segmentation network. SMCN learns the pancreas and mass segmentation task and builds an anatomical correspondence-aware organ mesh model by progressively deforming a pancreas prototype on the raw segmentation mask (i.e., mask-to-mesh). A new graph-based residual convolutional network (Graph-ResNet), whose nodes fuse the information of the mesh model and feature vectors extracted from the segmentation network, is developed to produce the patient-level differential classification results. Extensive experiments on 661 patients' CT scans (five phases per patient) show that SMCN can improve the mass segmentation and detection accuracy compared to the strong baseline method nnUNet (e.g., for nonPDAC, Dice: 0.611 vs. 0.478; detection rate: 89% vs. 70%), achieve similar sensitivity and specificity in differentiating PDAC and nonPDAC as expert radiologists (i.e., 94% and 90%), and obtain results comparable to a multimodality test [20] that combines clinical, imaging, and molecular testing for clinical management of patients.


title: Reconciling X-ray and 21cm HI absorption gas column densities toward obscured AGN

abstract: Hydrogen column densities inferred from X-ray absorption are typically 5 - 30 times larger than the neutral atomic hydrogen column densities derived from 21cm HI absorption toward radio-loud active galactic nuclei. Some part of the difference is ascribed to uncertainty in the spin temperature \Tsp\ = 100 K that is often used to convert 21cm HI HI absorption to N(HI). Here we propose another way to infer the gas column from HI absorption. In our Galaxy there is a nearly linear correlation between the inteferometrically-measured integrated 21cm HI absorption \WHI\ and reddening, \WHI\ $\propto$ \EBV$^{1.10}$ for \WHI\ $\ga 0.7$ \kms\ or \EBV\ $\ga 0.04$ mag. Scaling \EBV\ then provides the total gas column density N(H) from the same dust column that is responsible for optical obscuration and X-ray absorption, without calculating N(HI). Values of N(H) so derived typically exceed N(HI) by a factor 4 because the ubiquitous Galactic 21cm HI HI absorption samples only a portion of the interstellar gas. If the well-studied case of Hydra-A is a guide, even very large disparities in X-ray and 21cm HI gas column densities can be explained by resolving the core radiocontinuum and inferring N(H) from 21cm HI absorption. Milky Way conditions are often invoked in discussion of obscured AGN, so the empirical relationship seen in the Milky Way should be a relevant benchmark.


title: Assessing the projection correction of Coronal Mass Ejection speeds on Time-of-Arrival prediction performance using the Effective Acceleration Model

abstract: White light images of Coronal Mass Ejections (CMEs) are projections on the plane-of-sky (POS). As a result, CME kinematics are subject to projection effects. The error in the true (deprojected) speed of CMEs is one of the main causes of uncertainty to Space Weather forecasts, since all estimates of the CME Time-of-Arrival (ToA) at a certain location within the heliosphere require, as input, the CME speed. We use single viewpoint observations for 1037 flare-CME events between 1996-2017 and propose a new approach for the correction of the CME speed assuming radial propagation from the flare site. Our method is uniquely capable to produce physically reasonable deprojected speeds across the full range of source longitudes. We bound the uncertainty in the deprojected speed estimates via limits in the true angular width of a CME based on multiview-point observations. Our corrections range up to 1.37-2.86 for CMEs originating from the center of the disk. On average, the deprojected speeds are 12.8% greater than their POS speeds. For slow CMEs (VPOS < 400 km/s) the full ice-cream cone model performs better while for fast and very fast CMEs (VPOS > 700 km/s) the shallow ice-cream model gives much better results. CMEs with 691-878 km/s POS speeds have a minimum ToA mean absolute error (MAE) of 11.6 hours. This method, is robust, easy to use, and has immediate applicability to Space Weather forecasting applications. Moreover, regarding the speed of CMEs, our work suggests that single viewpoint observations are generally reliable.


title: Oxygen Vacancies in Strontium Titanate: a DFT+DMFT study

abstract: We address the long-standing question of the nature of oxygen vacancies in strontium titanate, using a combination of density functional theory and dynamical mean-field theory (DFT+DMFT) to investigate in particular the effect of vacancy-site correlations on the electronic properties. Our approach uses a minimal low-energy electronic subspace including the Ti-$t_{2g}$ orbitals plus an additional vacancy-centered Wannier function, and provides an intuitive and physically transparent framework to study the effect of the local electron-electron interactions on the excess charge introduced by the oxygen vacancies. We estimate the strength of the screened interaction parameters using the constrained random phase approximation and find a sizeable Hubbard $U$ parameter for the vacancy orbital. Our main finding, which reconciles previous experimental and computational results, is that the ground state is either a state with double occupation of the localized defect state or a state with a singly-occupied vacancy and one electron transferred to the conduction band. The balance between these two competing states is determined by the strength of the interaction both on the vacancy and the Ti sites, and on the Ti-Ti distance across the vacancy. Finally, we contrast the case of vacancy doping in SrTiO$_3$ with doping via La substitution, and show that the latter is well described by a simple rigid-band picture.


title: Structured Index Coding Problem and Multi-access Coded Caching

abstract: Index coding and coded caching are two active research topics in information theory with strong ties to each other. Motivated by the multi-access coded caching problem, we study a new class of structured index coding problems (ICPs) which are formed by the union of several symmetric ICPs. We derive upper and lower bounds on the optimal server transmission rate for this class of ICPs and demonstrate that they differ by at most a factor of two. Finally, we apply these results to the multi-access coded caching problem to derive better bounds than the state of the art.


title: Radio signature of a distant behind-the-limb CME on 2017 September 6

abstract: We discuss properties of a Type IV burst, which was observed on 2017 September 6, as a result of the powerful flare X 9.3. At decameter wavelengths this burst was observed by the radio telescopes STEREO A, URAN-2, and NDA at frequencies 5 - 35 MHz. This moving Type IV burst was associated with a coronal mass ejection (CME) propagating in the southwest direction with a speed of 1570 km/s. The maximum radio flux of this burst was about 300 s.f.u. and the polarization was more than 40%. In the frequency range of 8-33 MHz it continued for more than 2 hr. For STEREO A the associated CME was behind the limb, its longitudinal angle was about 160 degrees. This moving Type IV burst was observed by STEREO A at frequencies of 5-15 MHz in spite of the low sensitivity of STEREO A. This means that the radio emission directivity of a Type IV burst is rather wide. Assuming the plasma mechanism of Type IV radio emission we derived the plasma density distribution in the CME core at distances of 5.6 Rs and 9.8 Rs and its mass to be about 10^16 g . It is planned that the minimum perihelion of the Parker Solar Probe (PSP) spacecraft will be at about 9 Rs. So we discuss in what conditions PSP will be in if it crosses a similar CME core.


title: Ghost Imaging of Dark Particles

abstract: We propose a new way to use optical tools from quantum imaging and quantum communication to search for physics beyond the standard model. Spontaneous parametric down conversion (SPDC) is a commonly used source of entangled photons in which pump photons convert to a signal-idler pair. We propose to search for "dark SPDC" (dSPDC) events in which a new dark sector particle replaces the idler. Though it does not interact, the presence of a dark particle can be inferred by the properties of the signal photon. Examples of dark states include axion-like-particles and dark photons. We show that the presence of an optical medium opens the phase space of the down-conversion process, or decay, which would be forbidden in vacuum. Search schemes are proposed which employ optical imaging and/or spectroscopy of the signal photons. The signal rates in our proposal scales with the second power of the feeble coupling to new physics, as opposed to light-shining-through-wall experiments whose signal scales with coupling to the fourth. We analyze the characteristics of optical media needed to enhance dSPDC and estimate the rate. A bench-top demonstration of a high resolution ghost imaging measurement is performed employing a Skipper-CCD to demonstrate its utility in a dSPDC search.


title: ODFNet: Using orientation distribution functions to characterize 3D point clouds

abstract: Learning new representations of 3D point clouds is an active research area in 3D vision, as the order-invariant point cloud structure still presents challenges to the design of neural network architectures. Recent works explored learning either global or local features or both for point clouds, however none of the earlier methods focused on capturing contextual shape information by analysing local orientation distribution of points. In this paper, we leverage on point orientation distributions around a point in order to obtain an expressive local neighborhood representation for point clouds. We achieve this by dividing the spherical neighborhood of a given point into predefined cone volumes, and statistics inside each volume are used as point features. In this way, a local patch can be represented by not only the selected point's nearest neighbors, but also considering a point density distribution defined along multiple orientations around the point. We are then able to construct an orientation distribution function (ODF) neural network that involves an ODFBlock which relies on mlp (multi-layer perceptron) layers. The new ODFNet model achieves state-of the-art accuracy for object classification on ModelNet40 and ScanObjectNN datasets, and segmentation on ShapeNet S3DIS datasets.


title: Optical rogue waves in multifractal photonic arrays

abstract: Optical rogue waves are demonstrated in the far-field scattered radiation from photonic arrays designed according to the aperiodic distributions of prime elements in complex quadratic fields. Specifically, by studying light diffraction from Eisenstein and Gaussian prime arrays we establish a connection between the formation of optical rogue waves and multifractality in the visible single-scattering regime. We link strong multifractality with the heavy-tail probability distributions that describe the fluctuations of scattered radiation from the fabricated arrays. Our findings pave the way to control high-intensity rogue waves using deterministic arrays of dielectric nanostructures for enhanced sensing and lithographic applications.


title: Coherent population trapping combined with cycling transitions for quantum dot hole spins using triplet trion states

abstract: Optical spin rotations and cycling transitions for measurement are normally incompatible in quantum dots, presenting a fundamental problem for quantum information applications. Here we show that for a hole spin this problem can be addressed using a trion with one hole in an excited orbital, where strong spin-orbit interaction tilts the spin. Then, a particular trion triplet forms a double $\Lambda$ system, even in a Faraday magnetic field, which we use to demonstrate fast hole spin initialization and coherent population trapping. The lowest trion transitions still strongly preserve spin, thus combining fast optical spin control with cycling transitions for spin readout.


title: Integer point enumeration on independence polytopes and half-open hypersimplices

abstract: In this paper we investigate the Ehrhart Theory of the independence matroid polytope of uniform matroids. It is proved that these polytopes have an Ehrhart polynomial with positive coefficients. To do that, we prove that indeed all half-open-hypersimplices are Ehrhart positive, and tile disjointly our polytope using them.


title: First detection of orbital motion for HD 106906 b: A wide-separation exoplanet on a Planet Nine-like orbit

abstract: HD 106906 is a 15 Myr old short-period (49 days) spectroscopic binary that hosts a wide-separation (737 au) planetary-mass ($\sim11\,M_{\rm Jup}$) common proper motion companion, HD 106906 b. Additionally, a circumbinary debris disk is resolved at optical and near-infrared wavelengths that exhibits a significant asymmetry at wide separations that may be driven by gravitational perturbations from the planet. In this study we present the first detection of orbital motion of HD 106906 b using Hubble Space Telescope images spanning a 14 yr period. We achieve high astrometric precision by cross-registering the locations of background stars with the Gaia astrometric catalog, providing the subpixel location of HD 106906 that is either saturated or obscured by coronagraphic optical elements. We measure a statistically significant $31.8\pm7.0$ mas eastward motion of the planet between the two most constraining measurements taken in 2004 and 2017. This motion enables a measurement of the inclination between the orbit of the planet and the inner debris disk of either $36_{-14}^{+27}$ deg or $44_{-14}^{+27}$ deg, depending on the true orientation of the orbit of the planet. There is a strong negative correlation between periastron and mutual inclination; orbits with smaller periastra are more misaligned with the disk plane. With a periastron of $510_{-320}^{+480}$ au, HD 106906 b is likely detached from the planetary region within 100 au radius, showing that a Planet Nine-like architecture can be established very early in the evolution of a planetary system.


title: Classical symmetries and the Quantum Approximate Optimization Algorithm

abstract: We study the relationship between the Quantum Approximate Optimization Algorithm (QAOA) and the underlying symmetries of the objective function to be optimized. Our approach formalizes the connection between quantum symmetry properties of the QAOA dynamics and the group of classical symmetries of the objective function. The connection is general and includes but is not limited to problems defined on graphs. We show a series of results exploring the connection and highlight examples of hard problem classes where a nontrivial symmetry subgroup can be obtained efficiently. In particular we show how classical objective function symmetries lead to invariant measurement outcome probabilities across states connected by such symmetries, independent of the choice of algorithm parameters or number of layers. To illustrate the power of the developed connection, we apply machine learning techniques towards predicting QAOA performance based on symmetry considerations. We provide numerical evidence that a small set of graph symmetry properties suffices to predict the minimum QAOA depth required to achieve a target approximation ratio on the MaxCut problem, in a practically important setting where QAOA parameter schedules are constrained to be linear and hence easier to optimize.


title: Not all peaks are created equal: the early growth of Supermassive Black Holes

abstract: In this work, we use the constrained Gaussian realization technique to study the early growth of supermassive black holes (SMBHs) in cosmological hydrodynamic simulations, exploring its relationship with features of the initial density peaks on large scales, ~1 Mpc/h. Our constrained simulations of volume (20 Mpc/h)^3 successfully reconstruct the large-scale structure as well as the black hole growth for the hosts of the rare 10^9 Msun SMBHs found in the BlueTides simulation at z~7. We run a set of simulations with constrained initial conditions by imposing a 5 \sigma_0(R_G) peak on scale of R_G = 1 Mpc/h varying different peak features, such as the shape and compactness as well as the tidal field surrounding the peak. We find that initial density peaks with high compactness and low tidal field induce the most rapid BH growth at early epochs. This is because compact density peaks with a more spherical large scale matter distribution lead to the formation of high density gas clumps in the centers of halos, and thus boost early BH accretion. Moreover, such initially compact density peaks in low tidal field regions also lead to a more compact BH host galaxy morphology. This can explain the tight correlation between BH growth and host galaxy compactness seen in observations.


title: A SAT-based Resolution of Lam's Problem

abstract: In 1989, computer searches by Lam, Thiel, and Swiercz experimentally resolved Lam's problem from projective geometry$\unicode{x2014}$the long-standing problem of determining if a projective plane of order ten exists. Both the original search and an independent verification in 2011 discovered no such projective plane. However, these searches were each performed using highly specialized custom-written code and did not produce nonexistence certificates. In this paper, we resolve Lam's problem by translating the problem into Boolean logic and use satisfiability (SAT) solvers to produce nonexistence certificates that can be verified by a third party. Our work uncovered consistency issues in both previous searches$\unicode{x2014}$highlighting the difficulty of relying on special-purpose search code for nonexistence results.


title: Precision physics with inclusive QCD processes

abstract: The inclusive production of hadrons through electroweak currents can be rigorously analysed with short-distance theoretical tools. The associated observables are insensitive to the involved infrared behaviour of the strong interaction, allowing for very precise tests of Quantum Chromodynamics. The theoretical predictions for $\sigma(e^+e^-\to\mathrm{hadrons})$ and the hadronic decay widths of the $\tau$ lepton and the $Z$, $W$ and Higgs bosons have reached an impressive accuracy of $\mathcal{O}(\alpha_s^4)$. Precise experimental measurements of the $Z$ and $\tau$ hadronic widths have made possible the accurate determination of the strong coupling at two very different energy scales, providing a highly significant experimental verification of asymptotic freedom. A detailed discussion of the theoretical description of these processes and their current phenomenological status is presented. The most precise determinations of $\alpha_s$ from other sources are also briefly reviewed and compared with the fully-inclusive results.


title: Promoting Semantics in Multi-objective Genetic Programming based on Decomposition

abstract: The study of semantics in Genetic Program (GP) deals with the behaviour of a program given a set of inputs and has been widely reported in helping to promote diversity in GP for a range of complex problems ultimately improving evolutionary search. The vast majority of these studies have focused their attention in single-objective GP, with just a few exceptions where Pareto-based dominance algorithms such as NSGA-II and SPEA2 have been used as frameworks to test whether highly popular semantics-based methods, such as Semantic Similarity-based Crossover (SSC), helps or hinders evolutionary search. Surprisingly it has been reported that the benefits exhibited by SSC in SOGP are not seen in Pareto-based dominance Multi-objective GP. In this work, we are interested in studying if the same carries out in Multi-objective Evolutionary Algorithms based on Decomposition (MOEA/D). By using the MNIST dataset, a well-known dataset used in the machine learning community, we show how SSC in MOEA/D promotes semantic diversity yielding better results compared to when this is not present in canonical MOEA/D.


title: Canonical Capsules: Self-Supervised Capsules in Canonical Pose

abstract: We propose a self-supervised capsule architecture for 3D point clouds. We compute capsule decompositions of objects through permutation-equivariant attention, and self-supervise the process by training with pairs of randomly rotated objects. Our key idea is to aggregate the attention masks into semantic keypoints, and use these to supervise a decomposition that satisfies the capsule invariance/equivariance properties. This not only enables the training of a semantically consistent decomposition, but also allows us to learn a canonicalization operation that enables object-centric reasoning. To train our neural network we require neither classification labels nor manually-aligned training datasets. Yet, by learning an object-centric representation in a self-supervised manner, our method outperforms the state-of-the-art on 3D point cloud reconstruction, canonicalization, and unsupervised classification.


title: Yaw Stability Control System Development and Implementation for a Fully Electric Vehicle

abstract: There is growing interest in fully electric vehicles in the automotive industry as it becomes increasingly more difficult to meet new and upcoming emission regulations based on internal combustion engines. Fully electric vehicles do not have an internal combustion engine. Hence, drive torque change for a traction control system and for a yaw stability control system has to be through the electric motor used for traction. The regenerative braking capability of fully electric vehicles has to be taken into account in designing braking controllers like ABS and yaw stability control through differential braking. Fully electric vehicles are usually lighter vehicles with different dynamic characteristics than that of their predecessors using internal combustion engines. As such, their yaw stability control systems have to be re-designed and tested. This paper reports the initial results of ongoing work on yaw stability controller design for a fully electric vehicle. Two different implementations on a research prototype fully electric light commercial vehicle are considered. The first implementation uses the production yaw stability control system in the internal combustion engine powered conventional vehicle. The drive torque change commands from the production ECU are read, modified and sent to the electric motor driver in trying to mimic the conventional vehicle. The differential braking commands are the same as in the conventional vehicle. In the second implementation, a generic yaw stability control system that calculates and issues its own drive torque change commands and differential braking commands is designed and implemented. Offline simulations on a validated model and a hardware-in-the-loop simulation system are used in designing the yaw stability control system.


title: A guide to choosing and implementing reference models for social network analysis

abstract: Analyzing social networks is challenging. Key features of relational data require the use of non-standard statistical methods such as developing system-specific null, or reference, models that randomize one or more components of the observed data. Here we review a variety of randomization procedures that generate reference models for social network analysis. Reference models provide an expectation for hypothesis-testing when analyzing network data. We outline the key stages in producing an effective reference model and detail four approaches for generating reference distributions: permutation, resampling, sampling from a distribution, and generative models. We highlight when each type of approach would be appropriate and note potential pitfalls for researchers to avoid. Throughout, we illustrate our points with examples from a simulated social system. Our aim is to provide social network researchers with a deeper understanding of analytical approaches to enhance their confidence when tailoring reference models to specific research questions.


title: SDSS-V Algorithms: Fast, Collision-Free Trajectory Planning for Heavily Overlapping Robotic Fiber Positioners

abstract: Robotic fiber positioner (RFP) arrays are becoming heavily adopted in wide field massively multiplexed spectroscopic survey instruments. RFP arrays decrease nightly operational overheads through rapid reconfiguration between fields and exposures. In comparison to similar instruments, SDSS-V has selected a very dense RFP packing scheme where any point in a field is typically accessible to three or more robots. This design provides flexibility in target assignment. However, the task of collision-less trajectory planning is especially challenging. We present two multi-agent distributed control strategies that are highly efficient and computationally inexpensive for determining collision-free paths for RFPs in heavily overlapping workspaces. We demonstrate that a reconfiguration path between two arbitrary robot configurations can be efficiently found if "folded" state, in which all robot arms are retracted and aligned in a lattice-like orientation, is inserted between the initial and final states. Although developed for SDSS-V, the approach we describe is generic and so applicable to a wide range of RFP designs and layouts. Robotic fiber positioner technology continues to advance rapidly, and in the near future ultra-densely packed RFP designs may be feasible. Our algorithms are especially capable in routing paths in very crowded environments, where we see efficient results even in regimes significantly more crowded than the SDSS-V RFP design.


title: Coriolis coupling effects in proton-pickup spectroscopic factors from $^{12}$B

abstract: Spectroscopic factors to low-lying negative-parity states in $^{11}$Be extracted from the $^{12}$B($d$,$^3$He)$^{11}$Be proton-removal reaction are interpreted within the rotational model. Earlier predictions of the $p$-wave proton removal strengths in the strong coupling limit of the Nilsson model underestimated the spectroscopic factors to the $3/2^-_1$ and $5/2^-_1$ states and suggested that deviations in the $1^+$ ground state of the odd-odd $^{12}$B due to Coriolis coupling should be further explored. In this work we use the Particle Rotor Model to take into account these effects and obtain a good description of the level scheme in $^{11}$B, with a moderate $K$-mixing of the proton Nilsson levels [110]1/2 and [101]3/2. This mixing, present in the $1^+$ bandhead of $^{12}$B, is key to explaining the proton pickup data.


title: Robustness of Model Predictions under Extension

abstract: Mathematical models of the real world are simplified representations of complex systems. A caveat to using mathematical models is that predicted causal effects and conditional independences may not be robust under model extensions, limiting applicability of such models. In this work, we consider conditions under which qualitative model predictions are preserved when two models are combined. Under mild assumptions, we show how to use the technique of causal ordering to efficiently assess the robustness of qualitative model predictions. We also characterize a large class of model extensions that preserve qualitative model predictions. For dynamical systems at equilibrium, we demonstrate how novel insights help to select appropriate model extensions and to reason about the presence of feedback loops. We illustrate our ideas with a viral infection model with immune responses.


title: Near-unity broadband omnidirectional emissivity via femtosecond laser surface processing

abstract: It is very challenging to achieve near perfect absorption/emission that is both broadband and omnidirectional while utilizing a scalable fabrication process. Femtosecond laser surface processing is an emerging low-cost and large-scale manufacturing technique used to directly and permanently modify the surface properties of a material. The versatility of this technique to produce tailored surface properties has resulted in a rapidly growing number of applications. Here, we demonstrate near perfect, broadband, omnidirectional emissivity from aluminum surfaces by tuning the laser surface processing parameters including fluence, pulse count, and the ambient gas. Full-wave simulations and experimental results prove that the obtained increase in emissivity is mainly a result of two distinct features produced by femtosecond laser surface processing: the introduction of microscale surface features and the thick oxide layer. This technique leads to functionalized metallic surfaces that are ideal for emerging applications, such as passive radiative cooling and thermal management of spacecraft.


title: Single-nucleon properties and pair correlations in nuclear matter from chiral two- and three-nucleon forces

abstract: We investigate single-particle properties in infinite nuclear matter using a variety of interactions. One of the focal points is to study the impact of chiral three-nucleon forces on the nucleon self-energy and related quantities, such as spectral function and momentum distribution. We also present results for pairing correlations in nuclear matter. We find characteristic and systematic differences between the predictions obtained with the (softer) chiral interactions and those based on one-boson-exchange or phenomenology.


title: Edited Media Understanding: Reasoning About Implications of Manipulated Images

abstract: Multimodal disinformation, from `deepfakes' to simple edits that deceive, is an important societal problem. Yet at the same time, the vast majority of media edits are harmless -- such as a filtered vacation photo. The difference between this example, and harmful edits that spread disinformation, is one of intent. Recognizing and describing this intent is a major challenge for today's AI systems. We present the task of Edited Media Understanding, requiring models to answer open-ended questions that capture the intent and implications of an image edit. We introduce a dataset for our task, EMU, with 48k question-answer pairs written in rich natural language. We evaluate a wide variety of vision-and-language models for our task, and introduce a new model PELICAN, which builds upon recent progress in pretrained multimodal representations. Our model obtains promising results on our dataset, with humans rating its answers as accurate 40.35% of the time. At the same time, there is still much work to be done -- humans prefer human-annotated captions 93.56% of the time -- and we provide analysis that highlights areas for further progress.


title: Nonlinearity accelerates the thermalization of the quartic FPUT model with stochastic baths

abstract: We investigate the equilibration process of the strongly coupled quartic Fermi-Pasta-Ulam-Tsingou (FPUT) model by adding Langevin baths to the ends of the chain. The time evolution of the system is investigated by means of extensive numerical simulations and shown to match the results expected from equilibrium statistical mechanics in the time-asymptotic limit. Upon increasing the nonlinear coupling, the thermalization of the energy spectrum displays an increasing asymmetry in favour of small-scale, high-frequency modes, which relax significantly faster than the large-scale, low-frequency ones. The global equilibration time is found to scale linearly with system size and shown to exhibit a power-law decay with the strength of the nonlinearity and temperature. Nonlinear interaction adds to energy distribution among modes, thus speeding up the thermalization process.


title: Neural Mechanics: Symmetry and Broken Conservation Laws in Deep Learning Dynamics

abstract: Understanding the dynamics of neural network parameters during training is one of the key challenges in building a theoretical foundation for deep learning. A central obstacle is that the motion of a network in high-dimensional parameter space undergoes discrete finite steps along complex stochastic gradients derived from real-world datasets. We circumvent this obstacle through a unifying theoretical framework based on intrinsic symmetries embedded in a network's architecture that are present for any dataset. We show that any such symmetry imposes stringent geometric constraints on gradients and Hessians, leading to an associated conservation law in the continuous-time limit of stochastic gradient descent (SGD), akin to Noether's theorem in physics. We further show that finite learning rates used in practice can actually break these symmetry induced conservation laws. We apply tools from finite difference methods to derive modified gradient flow, a differential equation that better approximates the numerical trajectory taken by SGD at finite learning rates. We combine modified gradient flow with our framework of symmetries to derive exact integral expressions for the dynamics of certain parameter combinations. We empirically validate our analytic expressions for learning dynamics on VGG-16 trained on Tiny ImageNet. Overall, by exploiting symmetry, our work demonstrates that we can analytically describe the learning dynamics of various parameter combinations at finite learning rates and batch sizes for state of the art architectures trained on any dataset.

categories: cs.LG cond-mat.dis-nn cond-mat.stat-mech q-bio.NC stat.ML


title: On 1/n neural representation and robustness

abstract: Understanding the nature of representation in neural networks is a goal shared by neuroscience and machine learning. It is therefore exciting that both fields converge not only on shared questions but also on similar approaches. A pressing question in these areas is understanding how the structure of the representation used by neural networks affects both their generalization, and robustness to perturbations. In this work, we investigate the latter by juxtaposing experimental results regarding the covariance spectrum of neural representations in the mouse V1 (Stringer et al) with artificial neural networks. We use adversarial robustness to probe Stringer et al's theory regarding the causal role of a 1/n covariance spectrum. We empirically investigate the benefits such a neural code confers in neural networks, and illuminate its role in multi-layer architectures. Our results show that imposing the experimentally observed structure on artificial neural networks makes them more robust to adversarial attacks. Moreover, our findings complement the existing theory relating wide neural networks to kernel methods, by showing the role of intermediate representations.


title: An Axiomatic Approach to Tensor Rank Functions

abstract: Recent work of Qi et al. arXiv:2004.11240v7 proposes a set of axioms for tensor rank functions. The current paper presents examples showing that their axioms allow rank functions to have some undesirable properties, and a stronger set of axioms is suggested that eliminates these properties. Two questions raised by Qi et al. involving the submax rank function are also answered.


title: Long Term Motion Prediction Using Keyposes

abstract: Long term human motion prediction is essential in safety-critical applications such as human-robot interaction and autonomous driving. In this paper we show that to achieve long term forecasting, predicting human pose at every time instant is unnecessary. Instead, it is more effective to predict a few keyposes and approximate intermediate ones by interpolating the keyposes. We demonstrate that our approach enables us to predict realistic motions for up to 5 seconds in the future, which is far longer than the typical 1 second encountered in the literature. Furthermore, because we model future keyposes probabilistically, we can generate multiple plausible future motions by sampling at inference time. Over this extended time period, our predictions are more realistic, more diverse and better preserve the motion dynamics than those state-of-the-art methods yield.


title: The Competing Effect of Initial Crack Depth Versus Chemical Strengthening Parameters on Apparent Fracture Toughness of Sodium Aluminosilicate Glass

abstract: The widespread use of sodium aluminosilicate glass in many engineering applications due to its mechanical and optical properties (transparency, dielectric, etc.), has become common in recent years. However, glass, a brittle material, has its vulnerability to fracture. Processes such as heat treatment (heat tempering) or chemical strengthening through ion-exchange have been used to create residual stress profiles on the glass, in a bid to improve its fracture strength. However, failure still occurs, which is mostly catastrophic and expensive to repair. Therefore understanding, predicting, and eventually improving the resistance to damage or fracture of chemically strengthened glass is important to designing new glasses that would be tougher while retaining their transparency. The relationship between the glass residual stress parameters such as the compressive stress (CS), depth of compression layer (DOL), and central tension (CT) versus apparent (effective) fracture toughness for different crack depth was investigated in this study using a Silicon Carbide particle blast plus ring-on-ring (RoR) test method. The results also showed that improving the fracture resistance of glass via chemical strengthening requires a proper combination of CS, DOL, and CT, which is particularly dependent on the initial/existing crack (flaw) depth. It was determined that for a damage event involving the introduction of a shallow crack depth, the criterion for optimal resistance to fracture, in terms of apparent fracture toughness, is weighted more towards a high CS, than deep DOL while for a deep flaw damage event, it is more weighted towards deep DOL, than a high CS. These results provide a valuable piece of information in the design of a more robust glass in engineering applications.


title: CARAFE++: Unified Content-Aware ReAssembly of FEatures

abstract: Feature reassembly, i.e. feature downsampling and upsampling, is a key operation in a number of modern convolutional network architectures, e.g., residual networks and feature pyramids. Its design is critical for dense prediction tasks such as object detection and semantic/instance segmentation. In this work, we propose unified Content-Aware ReAssembly of FEatures (CARAFE++), a universal, lightweight and highly effective operator to fulfill this goal. CARAFE++ has several appealing properties: (1) Unlike conventional methods such as pooling and interpolation that only exploit sub-pixel neighborhood, CARAFE++ aggregates contextual information within a large receptive field. (2) Instead of using a fixed kernel for all samples (e.g. convolution and deconvolution), CARAFE++ generates adaptive kernels on-the-fly to enable instance-specific content-aware handling. (3) CARAFE++ introduces little computational overhead and can be readily integrated into modern network architectures. We conduct comprehensive evaluations on standard benchmarks in object detection, instance/semantic segmentation and image inpainting. CARAFE++ shows consistent and substantial gains across all the tasks (2.5% APbox, 2.1% APmask, 1.94% mIoU, 1.35 dB respectively) with negligible computational overhead. It shows great potential to serve as a strong building block for modern deep networks.


title: A Deep Marginal-Contrastive Defense against Adversarial Attacks on 1D Models

abstract: Deep learning algorithms have been recently targeted by attackers due to their vulnerability. Several research studies have been conducted to address this issue and build more robust deep learning models. Non-continuous deep models are still not robust against adversarial, where most of the recent studies have focused on developing attack techniques to evade the learning process of the models. One of the main reasons behind the vulnerability of such models is that a learning classifier is unable to slightly predict perturbed samples. To address this issue, we propose a novel objective/loss function, the so-called marginal contrastive, which enforces the features to lie under a specified margin to facilitate their prediction using deep convolutional networks (i.e., Char-CNN). Extensive experiments have been conducted on continuous cases (e.g., UNSW NB15 dataset) and discrete ones (i.e, eight-large-scale datasets [32]) to prove the effectiveness of the proposed method. The results revealed that the regularization of the learning process based on the proposed loss function can improve the performance of Char-CNN.


title: Graph-Based Generative Representation Learning of Semantically and Behaviorally Augmented Floorplans

abstract: Floorplans are commonly used to represent the layout of buildings. In computer aided-design (CAD) floorplans are usually represented in the form of hierarchical graph structures. Research works towards computational techniques that facilitate the design process, such as automated analysis and optimization, often use simple floorplan representations that ignore the semantics of the space and do not take into account usage related analytics. We present a floorplan embedding technique that uses an attributed graph to represent the geometric information as well as design semantics and behavioral features of the inhabitants as node and edge attributes. A Long Short-Term Memory (LSTM) Variational Autoencoder (VAE) architecture is proposed and trained to embed attributed graphs as vectors in a continuous space. A user study is conducted to evaluate the coupling of similar floorplans retrieved from the embedding space with respect to a given input (e.g., design layout). The qualitative, quantitative and user-study evaluations show that our embedding framework produces meaningful and accurate vector representations for floorplans. In addition, our proposed model is a generative model. We studied and showcased its effectiveness for generating new floorplans. We also release the dataset that we have constructed and which, for each floorplan, includes the design semantics attributes as well as simulation generated human behavioral features for further study in the community.


title: Production of Thermal Axions across the ElectroWeak Phase Transition

abstract: Light axions can potentially leave a cosmic background, just like neutrinos. We complete the study of thermal axion production across the electroweak scale by providing a smooth and continuous treatment through the two phases. Focusing on both flavor conserving and violating couplings to third generation quarks, we compute the amount of axions produced via scatterings and decays of thermal bath particles. We perform a model independent analysis in terms of axion effective couplings, and we also make predictions for specific microscopic QCD axion scenarios. This observable effect, parameterized as it is conventional by an effective number of additional neutrinos, is above the $1\sigma$ sensitivity of future CMB-S4 surveys. Moreover, if one assumes no large hierarchies among dimensionless axion couplings to standard model particles, future axion helioscopes will provide a complementary probe for the parameter region we study.


title: Absence of local moments in the kagome metal KV3Sb5 as determined by muon spin spectroscopy

abstract: We have carried out muon spin relaxation and rotation measurements on the newly discovered kagome metal KV3Sb5, and find a local field dominated by weak magnetic disorder which we associate with the nuclear moments present, and a modest temperature dependence which tracks the bulk magnetic susceptibility. We find no evidence for the existence of V4+ local moments, suggesting that the physics underlying the recently reported giant unconventional anomalous Hall effect in this material warrants further studies.


title: Finding uniformly most reliable graphs by counting trivial cuts

abstract: There is a vast literature focused on network reliability evaluation. In the last decades, reliability optimization has been also addressed. Frank Boesch in 1986 introduced the concept of uniformly most reliable graph (UMRG). Later, Boesch \emph{et al.} presented the first UMRGs and conjectured that some special subdivisions of the bipartite complete graph $K_{3,3}$, as well as the bipartite complete graph $K_{4,4}$, are UMRGs. Wang proved that the first conjecture is true. Wendy Myrvold confirmed that $K_{4,4}$ is also UMRG, by means of computational tests. However, thus far, there is no mathematical proof in the literature. A trivial cut is an edge-set that includes all the incident edges of a fixed node. In this article we describe a methodology to determine UMRGs based on bounding the number of trivial cuts. As a proof-of-concept it is proved that both $K_{3,3}$ and $K_{4,4}$ are UMRGs.


title: Modular Analysis of Tree-Topology Models

abstract: We investigate networks of automata that synchronise over common action labels. A graph synchronisation topology between the automata is defined in such a way that two automata are connected iff they can synchronise over an action. We show a very effective reduction of networks of automata with tree-like synchronisation topologies. The reduction preserves a certain form of reachability, but not safety. The procedure is implemented in an open-source tool.


title: River: machine learning for streaming data in Python

abstract: River is a machine learning library for dynamic data streams and continual learning. It provides multiple state-of-the-art learning methods, data generators/transformers, performance metrics and evaluators for different stream learning problems. It is the result from the merger of the two most popular packages for stream learning in Python: Creme and scikit-multiflow. River introduces a revamped architecture based on the lessons learnt from the seminal packages. River's ambition is to be the go-to library for doing machine learning on streaming data. Additionally, this open source package brings under the same umbrella a large community of practitioners and researchers. The source code is available at https://github.com/online-ml/river.


title: Central limit theorem for bifurcating Markov chains under point-wise ergodic conditions

abstract: Bifurcating Markov chains (BMC) are Markov chains indexed by a full binary tree representing the evolution of a trait along a population where each individual has two children. We provide a central limit theorem for general additive functionals of BMC, and prove the existence of three regimes. This corresponds to a competition between the reproducing rate (each individual has two children) and the ergodicity rate for the evolution of the trait. This is in contrast with the work of Guyon (2007), where the considered additive functionals are sums of martingale increments, and only one regime appears. Our result can be seen as a discrete time version, but with general trait evolution, of results in the time continuous setting of branching particle system from Adamczak and Mi\l{}o\'{s} (2015), where the evolution of the trait is given by an Ornstein-Uhlenbeck process.


title: Boundary Stabilization of the linear MGT equation with Feedback Neumann control

abstract: The Jordan-Moore-Gibson-Thompson (JMGT)\cite{christov_heat_2005,jordan_nonlinear_2008,straughan_heat_2014} equation is a benchmark model describing propagation of nonlinear acoustic waves in heterogeneous fluids at rest. This is a third-order (in time) dynamics which accounts for a finite speed of propagation of heat signals (see \cite{coulouvrat_equations_1992,crighton_model_1979,jordan_nonlinear_2008,jordan_second-sound_2014,kaltenbacher_jordan-moore-gibson-thompson_2019}). In this paper, we study a boundary stabilization of linearized version (also known as MGT-equation) in the {\it critical case}, configuration in which the smallness of the diffusion effects leads to conservative dynamics \cite{kaltenbacher_wellposedness_2011}. Through a single measurement in {\it{feedback}} form made on a non-empty, relatively open portion of the boundary under natural geometric conditions, we were able to obtain uniform exponential stability results that are, in addition, uniform with respect to the space-dependent viscoelasticity parameter which no longer needs to be assumed positive and in fact can be degenerate and taken to be zero on the whole domain. This result, of independent interest in the area of boundary stabilization of MGT equations, provides a necessary first step for the study of optimal boundary feedback control on {\it infinite horizon} \cite{bucci_feedback_2019}.


title: 2-Step Sparse-View CT Reconstruction with a Domain-Specific Perceptual Network

abstract: Computed tomography is widely used to examine internal structures in a non-destructive manner. To obtain high-quality reconstructions, one typically has to acquire a densely sampled trajectory to avoid angular undersampling. However, many scenarios require a sparse-view measurement leading to streak-artifacts if unaccounted for. Current methods do not make full use of the domain-specific information, and hence fail to provide reliable reconstructions for highly undersampled data. We present a novel framework for sparse-view tomography by decoupling the reconstruction into two steps: First, we overcome its ill-posedness using a super-resolution network, SIN, trained on the sparse projections. The intermediate result allows for a closed-form tomographic reconstruction with preserved details and highly reduced streak-artifacts. Second, a refinement network, PRN, trained on the reconstructions reduces any remaining artifacts. We further propose a light-weight variant of the perceptual-loss that enhances domain-specific information, boosting restoration accuracy. Our experiments demonstrate an improvement over current solutions by 4 dB.


title: Approaching the Full Configuration Interaction Low-Energy Spectrum from an Arbitrary Reference Subspace

abstract: In a previous work (arXiv:2010.02027) we showed how the full configuration interaction (FCI) ground state energy can be obtained as a functional of an arbitrary reference wavefunction by means of a gradient descent or quasi-Newton algorithm. Here, we extend this approach and consider the optimization of the low-energy subspace of the Hamiltonian from an arbitrary reference subspace. The energies along the optimization path are obtained in terms of transition matrix elements among the states in the reference subspace. We show an application of the algorithm with a reference subspace constructed from a non-orthogonal configuration interaction (NOCI) formalism to describe the avoided crossing in LiF and the low-lying singlet and triplet spectrum of formaldehyde.


title: Obliquity dependence of the formation of the martian polar layered deposits

abstract: Mars' polar layered deposits (PLD) are comprised of layers of varying dust-to-water ice volume mixing ratios (VMR) that may record astronomically-forced climatic variation over Mars' recent orbital history. Retracing the formation of these layers by quantifying the sensitivity of deposition rates of polar material to astronomical forcing is critical for the interpretation of this record. Using a Mars global climate model (GCM), we investigate the sensitivity of annual polar water ice and dust surface deposition to various obliquities and surface water ice distributions at zero eccentricity, providing a reasonable characterization of the evolution of the PLD during recent low-eccentricity epochs. For obliquities between 15{\deg} - 35{\deg}, predicted net annual accumulation rates range from -1 to +14 mm/yr for water ice and from +0.003 to +0.3 mm/yr for dust. GCM-derived rates are ingested into an integration model that simulates polar accumulation of water ice and dust over 5 consecutive obliquity cycles (~700 kyrs) during a low eccentricity epoch. A subset of integration simulations predict combined accumulation of water ice and dust in the north at time averaged rates that are near the observationally-inferred value of 0.5 mm/yr. Three types of layers are produced per obliquity cycle: a ~30 m-thick dust-rich (~25% dust VMR) layer forms at high obliquity, a ~0.5 m-thick dust lag forms at low obliquity, and two ~10 m-thick dust-poor (~3%) layers form when obliquity is increasing/decreasing. The ~30 m-thick dust-rich layer is reminiscent of a ~30 m feature derived from visible imagery analysis the north PLD, while the ~0.5 m-thick dust lag is a factor of ~2 smaller than observed "thin layers". Overall, this investigation provides further evidence for obliquity forcing in the PLD climate record, and demonstrates the importance of ice-on-dust nucleation in polar depositional processes.


title: Robust Neural Routing Through Space Partitions for Camera Relocalization in Dynamic Indoor Environments

abstract: Localizing the camera in a known indoor environment is a key building block for scene mapping, robot navigation, AR, etc. Recent advances estimate the camera pose via optimization over the 2D/3D-3D correspondences established between the coordinates in 2D/3D camera space and 3D world space. Such a mapping is estimated with either a convolution neural network or a decision tree using only the static input image sequence, which makes these approaches vulnerable to dynamic indoor environments that are quite common yet challenging in the real world. To address the aforementioned issues, in this paper, we propose a novel outlier-aware neural tree which bridges the two worlds, deep learning and decision tree approaches. It builds on three important blocks: (a) a hierarchical space partition over the indoor scene to construct the decision tree; (b) a neural routing function, implemented as a deep classification network, employed for better 3D scene understanding; and (c) an outlier rejection module used to filter out dynamic points during the hierarchical routing process. Our proposed algorithm is evaluated on the RIO-10 benchmark developed for camera relocalization in dynamic indoor environments. It achieves robust neural routing through space partitions and outperforms the state-of-the-art approaches by around 30% on camera pose accuracy, while running comparably fast for evaluation.


title: STELAR: Spatio-temporal Tensor Factorization with Latent Epidemiological Regularization

abstract: Accurate prediction of the transmission of epidemic diseases such as COVID-19 is crucial for implementing effective mitigation measures. In this work, we develop a tensor method to predict the evolution of epidemic trends for many regions simultaneously. We construct a 3-way spatio-temporal tensor (location, attribute, time) of case counts and propose a nonnegative tensor factorization with latent epidemiological model regularization named STELAR. Unlike standard tensor factorization methods which cannot predict slabs ahead, STELAR enables long-term prediction by incorporating latent temporal regularization through a system of discrete-time difference equations of a widely adopted epidemiological model. We use latent instead of location/attribute-level epidemiological dynamics to capture common epidemic profile sub-types and improve collaborative learning and prediction. We conduct experiments using both county- and state-level COVID-19 data and show that our model can identify interesting latent patterns of the epidemic. Finally, we evaluate the predictive ability of our method and show superior performance compared to the baselines, achieving up to 21% lower root mean square error and 25% lower mean absolute error for county-level prediction.


title: Tailoring Superconducting Phases Observed in Hyperdoped Si:Ga for Cryogenic Circuit Applications

abstract: Hyperdoping with gallium (Ga) has been established as a route to observe superconductivity in silicon (Si). The relatively large critical temperatures (T$_{\rm c}$) and magnetic fields (B$_{\rm c}$) make this phase attractive for cryogenic circuit applications, particularly for scalable hybrid superconductor--semiconductor platforms. However, the robustness of Si:Ga superconductivity at millikelvin temperatures is yet to be evaluated. Here, we report the presence of a reentrant resistive transition below T$_{\rm c}$ for Si:Ga whose strength strongly depends on the distribution of the Ga clusters that precipitate in the implanted Si after annealing. By monitoring the reentrant resistance over a wide parameter space of implantation energies and fluences, we determine conditions that significantly improve the coherent coupling of Ga clusters, therefore, eliminating the reentrant transition even at temperatures as low as 20~mK.


title: Equivalence of variational principles to determine the speed of scalar reaction diffusion fronts

abstract: The determination of the speed of travelling fronts of the scalar reaction diffusion equation has been the subject of much study. Using different approaches seemingly disconnected variational principles have been established. The purpose of this work is to show the connection between them. For monostable reaction terms, we prove that a principle established by Hadeler and Rothe in 1975 and a second one by Benguria and Depassier in 1996 are logically equivalent, that is, either can be derived from the other. Two variational principles, formulated for arbitrary reaction terms, are shown to be related by a suitable change of variables. Finally a variational principle proven for monostable reaction terms is shown to be a formulation of the two previous ones in yet another independent variable.


title: Mitigating the Impact of Adversarial Attacks in Very Deep Networks

abstract: Deep Neural Network (DNN) models have vulnerabilities related to security concerns, with attackers usually employing complex hacking techniques to expose their structures. Data poisoning-enabled perturbation attacks are complex adversarial ones that inject false data into models. They negatively impact the learning process, with no benefit to deeper networks, as they degrade a model's accuracy and convergence rates. In this paper, we propose an attack-agnostic-based defense method for mitigating their influence. In it, a Defensive Feature Layer (DFL) is integrated with a well-known DNN architecture which assists in neutralizing the effects of illegitimate perturbation samples in the feature space. To boost the robustness and trustworthiness of this method for correctly classifying attacked input samples, we regularize the hidden space of a trained model with a discriminative loss function called Polarized Contrastive Loss (PCL). It improves discrimination among samples in different classes and maintains the resemblance of those in the same class. Also, we integrate a DFL and PCL in a compact model for defending against data poisoning attacks. This method is trained and tested using the CIFAR-10 and MNIST datasets with data poisoning-enabled perturbation attacks, with the experimental results revealing its excellent performance compared with those of recent peer techniques.


title: EvoCraft: A New Challenge for Open-Endedness

abstract: This paper introduces EvoCraft, a framework for Minecraft designed to study open-ended algorithms. We introduce an API that provides an open-source Python interface for communicating with Minecraft to place and track blocks. In contrast to previous work in Minecraft that focused on learning to play the game, the grand challenge we pose here is to automatically search for increasingly complex artifacts in an open-ended fashion. Compared to other environments used to study open-endedness, Minecraft allows the construction of almost any kind of structure, including actuated machines with circuits and mechanical components. We present initial baseline results in evolving simple Minecraft creations through both interactive and automated evolution. While evolution succeeds when tasked to grow a structure towards a specific target, it is unable to find a solution when rewarded for creating a simple machine that moves. Thus, EvoCraft offers a challenging new environment for automated search methods (such as evolution) to find complex artifacts that we hope will spur the development of more open-ended algorithms. A Python implementation of the EvoCraft framework is available at: https://github.com/real-itu/Evocraft-py.


title: A gentle introduction to Girard's Transcendental Syntax for the linear logician

abstract: Technically speaking, the transcendental syntax is about designing logics with a computational foundation. It suggests a new framework for proof theory where logic (proofs, formulas, truth, ...) is no more primitive but computation is. All the logical entities and activities will be presented as formatting/structuring on a given model of computation which should be as general, simple and natural as possible. The selected ground for logic in the transcendental syntax is a model of computation I call "stellar resolution" which is basically a logic-free reformulation of Robinson's first-order clausal resolution with a dynamics related to tile systems. An initial goal of the transcendental syntax is to retrieve linear logic from this new framework. In particular, this model naturally encodes cut-elimination for proof-structures. By using an idea of "interactive typing" reminiscent of realisability theory, it is possible to design formulas/types generalising the connectives of linear logic. Thanks to interactive typing, we are able to reach a semantic-free space where correctness criteria are seen as tests (as in unit testing or model checking) certifying logical correctness, thus allowing an effective use of logical entities.


title: Biblical names' relationships in the Gospel of Matthew, Mark, Luke, John and Acts of Apostles

abstract: In this paper we extrapolate the information about Bible's characters and places, and their interrelationships, by using text mining network-based approach. We study the narrative structure of the WEB version of 5 books: the Gospel of Matthew, Mark, Luke, John and Acts of the Apostles. The main focus is the protagonists' names interrelationships in an analytical way, namely using various network-based methods and descriptors. This corpus is processed for creating a network: we download the names of people and places from Wikipedia's list of biblical names, then we look for their co-occurrences in each verse and, at the end of this process, we get N co-occurred names. The strength of the link between two names is defined as the sum of the times that these occur together in all the verses, in this way we obtain 5 adjacency matrices (one per book) of N by N couples of names. After this pre-processing phase, for each of the 5 analysed books we calculate the main network centrality measures (classical degree, weighted degree, betweenness and closeness), the network vulnerability and we run the Community Detection algorithm to highlight the role of Messiah inside the overall networks and his groups (communities). We have found that the proposed approach is suitable for highlighting the structures of the names co-occurrences. The found frameworks' structures are useful for interpreting the characters' plots under a structural point of view.


title: Searching for dark sectors in multi lepton final state in e+ e- collisions

abstract: Electron positron collisions are a very promising environment to search for new physics, and in particular for dark sector related observables. The most challenging experimental problem in detecting dark sector candidates is the very high associated Standard Model background. For this reason it is important to identify observables that are, at the same time, minimally suppressed in the dark sector and highly suppressed in the Standard Model. One example is the $e^+ e^-\to 3(e^+e^-)$ process that can be mediated either by the production and subsequent decay of dark Higgs ($h'$), $e^+e^-\to A'h'\to 6e$ or produced by the Standards Model process $e^+ e^-\to 3(e^+e^-)$. In the following letter we study the relative contribution to observed $e^+ e^-\to 3(e^+e^-)$ total cross section, coming from the $h'$ mediated and from the Standard Model processes in the contest of fixed target and low energy collider experiments, with particular attention to the PADME experiment at the INFN Laboratori Nazionali di Frascati.


title: A Multi-Armed Bandit-based Approach to Mobile Network Provider Selection

abstract: We argue for giving users the ability to lease bandwidth temporarily from any mobile network operator. We propose, prototype, and evaluate a spectrum market for mobile network access, where multiple network operators offer blocks of bandwidth at specified prices for short-term leases to users, with autonomous agents on user devices making purchase decisions by trading off price, performance, and budget constraints. We show that the problem of provider selection can be formulated as a so-called Bandit problem. For the case where providers change prices synchronously, we approach the problem through contextual multi-armed bandits and Reinforcement Learning methods like Q-learning either applied directly to the bandit maximization problem or indirectly to approximate the Gittins indices that are known to yield the optimal provider selection policy. For a simulated scenario corresponding to a practical use case, our agent shows a $20-41\%$ QoE improvement over random provider selection under various demand, price and mobility conditions. We implemented a prototype spectrum market using LTE networks and eSIM techology and deployed it on a testbed, using a blockchain to implement the ledger where bandwidth purchase transactions are recorded. Experiments showed that we can learn both user behavior and network performance efficiently, and recorded $25-74\%$ improvements in QoE under various competing agent scenarios.


title: Automatic Registration and Clustering of Time Series

abstract: Clustering of time series data exhibits a number of challenges not present in other settings, notably the problem of registration (alignment) of observed signals. Typical approaches include pre-registration to a user-specified template or time warping approaches which attempt to optimally align series with a minimum of distortion. For many signals obtained from recording or sensing devices, these methods may be unsuitable as a template signal is not available for pre-registration, while the distortion of warping approaches may obscure meaningful temporal information. We propose a new method for automatic time series alignment within a clustering problem. Our approach, Temporal Registration using Optimal Unitary Transformations (TROUT), is based on a novel dissimilarity measure between time series that is easy to compute and automatically identifies optimal alignment between pairs of time series. By embedding our new measure in a optimization formulation, we retain well-known advantages of computational and statistical performance. We provide an efficient algorithm for TROUT-based clustering and demonstrate its superior performance over a range of competitors.


title: RAMPVIS: Towards a New Methodology for Developing Visualisation Capabilities for Large-scale Emergency Responses

abstract: The effort for combating the COVID-19 pandemic around the world has resulted in a huge amount of data, e.g., from testing, contact tracing, modelling, treatment, vaccine trials, and more. In addition to numerous challenges in epidemiology, healthcare, biosciences, and social sciences, there has been an urgent need to develop and provide visualisation and visual analytics (VIS) capacities to support emergency responses under difficult operational conditions. In this paper, we report the experience of a group of VIS volunteers who have been working in a large research and development consortium and providing VIS support to various observational, analytical, model-developmental and disseminative tasks. In particular, we describe our approaches to the challenges that we have encountered in requirements analysis, data acquisition, visual design, software design, system development, team organisation, and resource planning. By reflecting on our experience, we propose a set of recommendations as the first step towards a methodology for developing and providing rapid VIS capacities to support emergency responses.


title: MechElastic: A Python Library for Analysis of Mechanical and Elastic Properties of Bulk and 2D Materials

abstract: The MechElastic Python package evaluates the mechanical and elastic properties of bulk and 2D materials using the elastic coefficient matrix ($C_{ij}$) obtained from any ab-initio density-functional theory (DFT) code. The current version of this package reads the output of VASP, ABINIT, and Quantum Espresso codes (but it can be easily generalized to any other DFT code) and performs the appropriate post-processing of elastic constants as per the requirement of the user. This program can also detect the input structure's crystal symmetry and test the mechanical stability of all crystal classes using the Born-Huang criteria. Various useful material-specific properties such as elastic moduli, longitudinal and transverse elastic wave velocities, Debye temperature, elastic anisotropy, 2D layer modulus, hardness, Pugh's ratio, Cauchy's pressure, Kleinman parameter, and Lame's coefficients, can be estimated using this program. Another existing feature of this program is to employ the ELATE package [J. Phys.: Condens. Matter 28, 275201 (2016)] and plot the spatial variation of several elastic properties such as Poisson's ratio, linear compressibility, shear modulus, and Young's modulus in three dimensions. Further, the MechElastic package can plot the equation of state (EOS) curves for energy and pressure for a variety of EOS models such as Murnaghan, Birch, Birch-Murnaghan, and Vinet, by reading the inputted energy/pressure versus volume data obtained via numerical calculations or experiments. This package is particularly useful for the high-throughput analysis of elastic and mechanical properties of materials.


title: Concept Drift and Covariate Shift Detection Ensemble with Lagged Labels

abstract: In model serving, having one fixed model during the entire often life-long inference process is usually detrimental to model performance, as data distribution evolves over time, resulting in lack of reliability of the model trained on historical data. It is important to detect changes and retrain the model in time. The existing methods generally have three weaknesses: 1) using only classification error rate as signal, 2) assuming ground truth labels are immediately available after features from samples are received and 3) unable to decide what data to use to retrain the model when change occurs. We address the first problem by utilizing six different signals to capture a wide range of characteristics of data, and we address the second problem by allowing lag of labels, where labels of corresponding features are received after a lag in time. For the third problem, our proposed method automatically decides what data to use to retrain based on the signals. Extensive experiments on structured and unstructured data for different type of data changes establish that our method consistently outperforms the state-of-the-art methods by a large margin.


title: Fine-Grained Network Analysis for Modern Software Ecosystems

abstract: Modern software development is increasingly dependent on components, libraries and frameworks coming from third-party vendors or open-source suppliers and made available through a number of platforms (or forges). This way of writing software puts an emphasis on reuse and on composition, commoditizing the services which modern applications require. On the other hand, bugs and vulnerabilities in a single library living in one such ecosystem can affect, directly or by transitivity, a huge number of other libraries and applications. Currently, only product-level information on library dependencies is used to contain this kind of danger, but this knowledge often reveals itself too imprecise to lead to effective (and possibly automated) handling policies. We will discuss how fine-grained function-level dependencies can greatly improve reliability and reduce the impact of vulnerabilities on the whole software ecosystem.


title: Chaos stabilizes synchronization in systems of coupled inner-ear hair cells

abstract: Hair cells of the auditory and vestibular systems display astonishing sensitivity, frequency selectivity, and temporal resolution to external signals. These specialized cells utilize an internal active amplifier to achieve highly sensitive mechanical detection. One of the manifestations of this active process is the occurrence of spontaneous limit-cycle motion of the hair cell bundle. As hair bundles under in vivo conditions are typically coupled to each other by overlying structures, we explore the role of this coupling on the dynamics of the system, using a combination of theoretical and experimental approaches. Our numerical model suggests that the presence of chaotic dynamics in the response of individual bundles enhances their ability to synchronize when coupled, resulting in significant improvement in the system's ability to detect weak signals. This synchronization persists even for a large frequency dispersion and a large number of oscillators comprising the system. Further, the amplitude and coherence of the active motion is not reduced upon increasing the number of oscillators. Using artificial membranes, we impose mechanical coupling on groups of live and functional hair bundles, selected from in vitro preparations of the sensory epithelium, allowing us to explore the role of coupling experimentally. Consistent with the numerical simulations of the chaotic system, synchronization occurs even for large frequency dispersion and a large number of hair cells. Further, the amplitude and coherence of the spontaneous oscillations are independent of the number of hair cells in the network. We therefore propose that hair cells utilize their chaotic dynamics to stabilize the synchronized state and avoid the amplitude death regime, resulting in collective coherent motion that could play a role in generating spontaneous otoacoustic emissions and an enhanced ability to detect weak signals.


title: Simultaneous Grouping and Denoising via Sparse Convex Wavelet Clustering

abstract: Clustering is a ubiquitous problem in data science and signal processing. In many applications where we observe noisy signals, it is common practice to first denoise the data, perhaps using wavelet denoising, and then to apply a clustering algorithm. In this paper, we develop a sparse convex wavelet clustering approach that simultaneously denoises and discovers groups. Our approach utilizes convex fusion penalties to achieve agglomeration and group-sparse penalties to denoise through sparsity in the wavelet domain. In contrast to common practice which denoises then clusters, our method is a unified, convex approach that performs both simultaneously. Our method yields denoised (wavelet-sparse) cluster centroids that both improve interpretability and data compression. We demonstrate our method on synthetic examples and in an application to NMR spectroscopy.


title: ALSO-X and ALSO-X+: Better Convex Approximations for Chance Constrained Programs

abstract: In a chance constrained program (CCP), the decision-makers aim to seek the best decision whose probability of violating the uncertainty constraints is within the prespecified risk level. As a CCP is often nonconvex and is difficult to solve to optimality, much effort has been devoted to developing convex inner approximations for a CCP, among which the conditional value-at-risk (CVaR) has been known to be the best for more than a decade. This paper studies and generalizes the ALSO-X, originally proposed by Ahmed, Luedtke, SOng, and Xie (2017), for solving a CCP. We first show that the ALSO-X resembles a bilevel optimization, where the upper-level problem is to find the best objective function value and enforce the feasibility of a CCP for a given decision from the lower-level problem, and the lower-level problem is to minimize the expectation of constraint violations subject to the upper bound of the objective function value provided by the upper-level problem. This interpretation motivates us to prove that when uncertain constraints are convex in the decision variables, ALSO-X always outperforms the CVaR approximation. We further show (i) sufficient conditions under which ALSO-X can recover an optimal solution to a CCP; (ii) an equivalent bilinear programming formulation of a CCP, inspiring us to enhance ALSO-X with a convergent alternating minimization method (ALSO-X+); (iii) extensions of ALSO-X and ALSO-X+ to solve distributionally robust chance constrained programs (DRCCPs) under $\infty$-Wasserstein ambiguity set. Our numerical study demonstrates the effectiveness of the proposed methods.


title: Conditional Generation of Medical Images via Disentangled Adversarial Inference

abstract: Synthetic medical image generation has a huge potential for improving healthcare through many applications, from data augmentation for training machine learning systems to preserving patient privacy. Conditional Adversarial Generative Networks (cGANs) use a conditioning factor to generate images and have shown great success in recent years. Intuitively, the information in an image can be divided into two parts: 1) content which is presented through the conditioning vector and 2) style which is the undiscovered information missing from the conditioning vector. Current practices in using cGANs for medical image generation, only use a single variable for image generation (i.e., content) and therefore, do not provide much flexibility nor control over the generated image. In this work we propose a methodology to learn from the image itself, disentangled representations of style and content, and use this information to impose control over the generation process. In this framework, style is learned in a fully unsupervised manner, while content is learned through both supervised learning (using the conditioning vector) and unsupervised learning (with the inference mechanism). We undergo two novel regularization steps to ensure content-style disentanglement. First, we minimize the shared information between content and style by introducing a novel application of the gradient reverse layer (GRL); second, we introduce a self-supervised regularization method to further separate information in the content and style variables. We show that in general, two latent variable models achieve better performance and give more control over the generated image. We also show that our proposed model (DRAI) achieves the best disentanglement score and has the best overall performance.


title: Bayesian Inference for Polycrystalline Materials

abstract: Polycrystalline materials, such as metals, are comprised of heterogeneously oriented crystals. Observed crystal orientations are modelled as a sample from an orientation distribution function (ODF), which determines a variety of material properties and is therefore of great interest to practitioners. Observations consist of quaternions, 4-dimensional unit vectors reflecting both orientation and rotation of a single crystal. Thus, an ODF must account for known crystal symmetries as well as satisfy the unit length constraint. A popular method for estimating ODFs non-parametrically is symmetrized kernel density estimation. However, disadvantages of this approach include difficulty in interpreting results quantitatively, as well as in quantifying uncertainty in the ODF. We propose to use a mixture of symmetric Bingham distributions as a flexible parametric ODF model, inferring the number of mixture components, the mixture weights, and scale and location parameters based on crystal orientation data. Furthermore, our Bayesian approach allows for structured uncertainty quantification of the parameters of interest. We discuss details of the sampling methodology and conclude with analyses of various orientation datasets, interpretations of parameters of interest, and comparison with kernel density estimation methods.


title: Dynamics of charged dust in the orbit of Venus

abstract: We study the dynamics of co-orbital dust in the inner solar system, i.e. the role of the solar radiation pressure, Poynting-Robertson effect, solar wind, and the interplanetary magnetic field on the location, width and stability of resonant motion of charged, and micron sized dust grains situated in the 1:1 mean motion resonance with planet Venus. We find deviations and asymmetry between $L_4$ and $L_5$ in locations of libration centers and libration width under the influence of non-gravitational effects via both analytical and numerical methods. The triangular Lagrangian points become unstable once we take into consideration solar radiation pressure, the Poynting-Robertson effect and solar wind drag. The Lorentz force could further destabilize the orbits, especially for small dust particles. We also make a comparison between the circular, elliptic restricted three-body model and a more complete model including all planets.


title: Methodology for Mining, Discovering and Analyzing Semantic Human Mobility Behaviors

abstract: Various institutes produce large semantic datasets containing information regarding daily activities and human mobility. The analysis and understanding of such data are crucial for urban planning, socio-psychology, political sciences, and epidemiology. However, none of the typical data mining processes have been customized for the thorough analysis of semantic mobility sequences to translate data into understandable behaviors. Based on an extended literature review, we propose a novel methodological pipeline called simba (Semantic Indicators for Mobility and Behavior Analysis), for mining and analyzing semantic mobility sequences to identify coherent information and human behaviors. A framework for semantic sequence mobility analysis and clustering explicability based on integrating different complementary statistical indicators and visual tools is implemented. To validate this methodology, we used a large set of real daily mobility sequences obtained from a household travel survey. Complementary knowledge is automatically discovered in the proposed method.


title: Suppressing meta-holographic artifacts by laser coherence tuning

abstract: A metasurface hologram combines fine spatial resolution and large viewing angles with a planar form factor and compact size. However, it suffers coherent artifacts originating from electromagnetic cross-talk between closely packed meta-atoms and fabrication defects of nanoscale features. Here, we introduce an efficient method to remove all artifacts by fine-tuning the spatial coherence of illumination. Our method is implemented with a degenerate cavity laser, which allows precise, continuous tuning of spatial coherence over a wide range with little variation in emission spectrum and total power. We find the optimal degree of spatial coherence to remove the coherent artifacts of a meta-hologram while maintaining the image sharpness. This work paves the way to compact and dynamical holographic display free of coherent defects.


title: Flexible model of water based on the dielectric and electromagnetic spectrum properties : TIP4P/$\epsilon$ Flex

abstract: The Infrared Spectrum is used as an experimental data target, to improved the TIP4P/$\epsilon$, adding harmonic potential U(r) in all bonds and harmonic potential U({\theta}) in the angle formed by the hydrogens and oxygen atoms of the water molecule. The flexibility in the molecule gives the ability of the water molecules to change, around different temperatures and pressures, their structure and in the bulk liquid the distribution of the dipole moment. This distribution helps to reproduce better the experimental data that the rigid models can not describe. The rigid water models of 3 and 4 sites have limitations to describe all the experimental properties, and is because can not take on how the dipole moment is distributed of dipole moment around the different thermodynamics phases. The new flexible TIP4P/$\epsilon$ Flex water model is compared to the improve models of TIP4P and OPC model.


title: SonicPACT: An Ultrasonic Ranging Method for the Private Automated Contact Tracing (PACT) Protocol

abstract: Throughout the course of the COVID-19 pandemic, several countries have developed and released contact tracing and exposure notification smartphone applications (apps) to help slow the spread of the disease. To support such apps, Apple and Google have released Exposure Notification Application Programming Interfaces (APIs) to infer device (user) proximity using Bluetooth Low Energy (BLE) beacons. The Private Automated Contact Tracing (PACT) team has shown that accurately estimating the distance between devices using only BLE radio signals is challenging. This paper describes the design and implementation of the SonicPACT protocol to use near-ultrasonic signals on commodity iOS and Android smartphones to estimate distances using time-of-flight measurements. The protocol allows Android and iOS devices to interoperate, augmenting and improving the current exposure notification APIs. Our initial experimental results are promising, suggesting that SonicPACT should be considered for implementation by Apple and Google.


title: The ALMaQUEST Survey: V. The non-universality of kpc-scale star formation relations and the factors that drive them

abstract: Using a sample of ~15,000 kpc-scale star-forming spaxels in 28 galaxies drawn from the ALMA-MaNGA QUEnching and STar formation (ALMaQUEST) survey, we investigate the galaxy-to-galaxy variation of the `resolved' Schmidt-Kennicutt relation (rSK; Sigma_H2 - Sigma_SFR), the `resolved' star forming main sequence (rSFMS; Sigma_* - Sigma_SFR) and the `resolved' molecular gas main sequence (rMGMS; Sigma_* - Sigma_H2). The rSK relation, rSFMS and rMGMS all show significant galaxy-to-galaxy variation in both shape and normalization, indicating that none of these relations is universal between galaxies. The rSFMS shows the largest galaxy-to-galaxy variation and the rMGMS the least. By defining an `offset' from the average relations, we compute a Delta_rSK, Delta_rSFMS, Delta_rMGMS for each galaxy, to investigate correlations with global properties. We find the following correlations with at least 2 sigma significance: the rSK is lower (i.e. lower star formation efficiency) in galaxies with higher M_*, larger Sersic index and lower specific SFR (sSFR); the rSFMS is lower (i.e. lower sSFR) in galaxies with higher M_* and larger Sersic index; the rMGMS is lower (i.e. lower gas fraction) in galaxies with lower sSFR. In the ensemble of all 15,000 data points, the rSK relation and rMGMS show equally tight scatters and strong correlation coefficients, compared with a larger scatter and weaker correlation in the rSFMS. Moreover, whilst there is no correlation between Delta_rSK and Delta_rMGMS in the sample, the offset of a galaxy's rSFMS does correlate with both of the other two offsets. Our results therefore indicate that the rSK and rMGMS are independent relations, whereas the rSFMS is a result of their combination.


title: The ALMaQUEST Survey: VI. The molecular gas main sequence of `retired' regions in galaxies

abstract: In order to investigate the role of gas in the demise of star formation on kpc-scales, we compare the resolved molecular gas main sequence (rMGMS: Sigma_* vs Sigma_H2) of star-forming regions to the sequence of `retired' regions that have ceased to form new stars. Using data from the ALMaQUEST survey, we find that retired spaxels form a rMGMS that is distinct from that of star-forming spaxels, offset to lower Sigma_H2 at fixed Sigma_* by a factor of ~5. We study the rMGMS of star-forming and retired spaxels on a galaxy-by-galaxy basis for eight individual ALMaQUEST galaxies. Six of these galaxies have their retired spaxels concentrated within the central few kpc. Molecular gas is detected in 40-100% of retired spaxels in the eight galaxies in our sample. Both the star-forming and retired rMGMS show a diversity in normalization from galaxy-to-galaxy. However, in any given galaxy, the rMGMS for retired regions is found to be distinct from the star-forming sequence and gas fractions of retired spaxels are up to an order of magnitude lower than the star-forming spaxels. We conclude that quenching is associated with a depletion (but not absence) of molecular gas via a mechanism that typically begins in the centre of the galaxy.


title: Effects of Electric Vehicle Adoption for State-Wide Intercity Trips on Emission Saving and Energy Consumption

abstract: Electric vehicles (EVs) are considered as sustainable alternatives to conventional vehicles, as they reduce emission and fossil fuel dependency. A recent study has proposed a charging infrastructure planning tool to support intercity trips for the estimated EV market share (6 percent) in Michigan for 2030. The main goal of this study is to estimate the emission reduction associated with this electrification rate and infrastructure investment for light duty vehicles. To this end, a state-of-the-art emission estimation framework is proposed to be applied to the state-wide intercity travels. The main contributions of the proposed framework includes: 1) Incorporating a micro emission estimation model for simulated vehicle trajectories of the intercity network of Michigan, 2) Adjusting the micro emission model results considering impacts of monthly travel demand and temperature variations, and heterogeneity of vehicles based on their make, model, and age. The emission estimation framework is then compared with the traditional VMT analysis method as a benchmark. Finally, five different scenarios are explored for EV adoption to assess potential emission savings from the given electrification rate for each scenario. The results suggest an annual CO2 emission savings of 0.58-0.92 million-ton. The CO2 social cost savings may justify the investment on the network electrification. Note that only 3.7 to 8.6 percent of the total EV energy requirements must be provided via the DC fast charger network proposed by the charging infrastructure planning tool. This requires annual energy consumption of 22.15 to 51.76 BWh for the estimated EV market share in Michigan for 2030.


title: Joint Age of Information and Self Risk Assessment for Safer 802.11p based V2V Networks

abstract: Emerging 802.11p vehicle-to-vehicle (V2V) networks rely on periodic Basic Safety Messages (BSMs) to disseminate time-sensitive safety-critical information, such as vehicle position, speed, and heading -- that enables several safety applications and has the potential to improve on-road safety. Due to mobility, lack of global-knowledge and limited communication resources, designing an optimal BSM broadcast rate-control protocol is challenging. Recently, minimizing Age of Information (AoI) has gained momentum in designing BSM broadcast rate-control protocols. In this paper, we show that minimizing AoI solely does not always improve the safety of V2V networks. Specifically, we propose a novel metric, termed Trackability-aware Age of Information TAoI, that in addition to AoI, takes into account the self risk assessment of vehicles, quantified in terms of self tracking error (self-TE) -- which provides an indication of collision risk posed by the vehicle. Self-TE is defined as the difference between the actual location of a certain vehicle and its self-estimated location. Our extensive experiments, based on realistic SUMO traffic traces on top of ns-3 simulator, demonstrate that TAoI based rate-protocol significantly outperforms baseline AoI based rate protocol and default $10$ Hz broadcast rate in terms of safety performance, i.e., collision risk, in all considered V2V settings.


title: UAVs with Reconfigurable Intelligent Surfaces: Applications, Challenges, and Opportunities

abstract: A reconfigurable intelligent surface (RIS) is a metamaterial that can be integrated into walls and influence the propagation of electromagnetic waves. This, typically passive radio frequency (RF) technology is emerging for indoor and outdoor use with the potential of making wireless communications more reliable in increasingly challenging radio environments. This paper goes one step further and introduces mobile RIS, specifically, RIS carried by unmanned aerial vehicles (UAVs) to support cellular communications networks and services of the future. We elaborate on several use cases, challenges, and future research opportunities for designing and optimizing wireless systems at low cost and with low energy footprint.


title: A Data-Driven Analytical Framework of Estimating Multimodal Travel Demand Patterns using Mobile Device Location Data

abstract: While benefiting people's daily life in so many ways, smartphones and their location-based services are generating massive mobile device location data that has great potential to help us understand travel demand patterns and make transportation planning for the future. While recent studies have analyzed human travel behavior using such new data sources, limited research has been done to extract multimodal travel demand patterns out of them. This paper presents a data-driven analytical framework to bridge the gap. To be able to successfully detect travel modes using the passively collected location information, we conduct a smartphone-based GPS survey to collect ground truth observations. Then a jointly trained single-layer model and deep neural network for travel mode imputation is developed. Being "wide" and "deep" at the same time, this model combines the advantages of both types of models. The framework also incorporates the multimodal transportation network in order to evaluate the closeness of trip routes to the nearby rail, metro, highway and bus lines and therefore enhance the imputation accuracy. To showcase the applications of the introduced framework in answering real-world planning needs, a separate mobile device location data is processed through trip end identification and attribute generation, in a way that the travel mode imputation can be directly applied. The estimated multimodal travel demand patterns are then validated against typical household travel surveys in the same Washington D.C. and Baltimore Metropolitan Regions.