title: Framing Visual Musicology through Methodology Transfer

abstract: In this position paper, we frame the field of Visual Musicology by providing an overview of well-established musicological sub-domains and their corresponding analytic and visualization tasks. To foster collaborative, interdisciplinary research, we discuss relevant data and domain characteristics. We give a description of the problem space, as well as the design space of musicology and discuss how existing problem-design mappings or solutions from other fields can be transferred to musicology. We argue that, through methodology transfer, established methods can be exploited to solve current musicological problems and show exemplary mappings from analytics fields related to text, geospatial, time-series, and other high-dimensional data to musicology. Finally, we point out open challenges, discuss research gaps, and highlight future research opportunities.


title: Dynamic fields at the tip of sub-Rayleigh and supershear frictional rupture fronts

abstract: The onset of frictional motion at the interface between two distinct bodies in contact is characterized by the propagation of dynamic rupture fronts. We combine friction experiments and numerical simulations to study the properties of these frictional rupture fronts. We extend previous analysis of slow and sub-Rayleigh rupture fronts and show that strain fields and the evolution of real contact area in the tip vicinity of supershear ruptures are well described by analytical fracture-mechanics solutions. Fracture-mechanics theory further allows us to determine long sought-after interface properties, such as local fracture energy and frictional peak strength. Both properties are observed to be roughly independent of rupture speed and mode of propagation. However, our study also reveals discrepancies between measurements and analytical solutions that appear as the rupture speed approaches the longitudinal wave speed. Further comparison with dynamic simulations illustrates that, in the supershear propagation regime, transient and geometrical (finite sample thickness) effects cause smaller near-tip strain amplitudes than expected from the fracture-mechanics theory. By showing good quantitative agreement between experiments, simulations and theory over the entire range of possible rupture speeds, we demonstrate that frictional rupture fronts are classic dynamic cracks despite residual friction.


title: Gluonic Probe for the Short Range Correlation in Nucleus

abstract: We investigate the gluonic probe to the nucleon-nucleon short range correlation (SRC) in nucleus through heavy flavor production in deep inelastic scattering (DIS). The relevant EMC effects of $F_2^{c\bar c}$ structure function will provide a universality test of the SRCs which have been extensively studied in the quark-channel. These SRCs can also be studied through the sub-threshold production of heavy flavor in $eA$ collisions at the intermediate energy electron-ion collider, including open Charm and $J/\psi$ ($\Upsilon$) production.


title: Artificial Intelligence Fairness in the Context of Accessibility Research on Intelligent Systems for People who are Deaf or Hard of Hearing

abstract: We discuss issues of Artificial Intelligence (AI) fairness for people with disabilities, with examples drawn from our research on human-computer interaction (HCI) for AI-based systems for people who are Deaf or Hard of Hearing (DHH). In particular, we discuss the need for inclusion of data from people with disabilities in training sets, the lack of interpretability of AI systems, ethical responsibilities of access technology researchers and companies, the need for appropriate evaluation metrics for AI-based access technologies (to determine if they are ready to be deployed and if they can be trusted by users), and the ways in which AI systems influence human behavior and influence the set of abilities needed by users to successfully interact with computing systems.


title: Cold quark matter with heavy quarks and the stability of charm stars

abstract: We study the effects of heavy quarks on the equation of state for cold and dense quark matter obtained from perturbative QCD, yielding observables parametrized only by the renormalization scale. We investigate the thermodynamics of charm quark matter under the constraints of $\beta$ equilibrium and electric charge neutrality in a region of densities where perturbative QCD is, in principle, much more reliable. We also analyze the stability of charm stars, which might be realized as a new branch of ultradense hybrid compact stars, and find that such quark stars are unstable under radial oscillations.

categories: hep-ph astro-ph.HE gr-qc hep-lat nucl-th


title: A Type-Based HFL Model Checking Algorithm

abstract: Higher-order modal fixpoint logic (HFL) is a higher-order extension of the modal mu-calculus, and strictly more expressive than the modal mu-calculus. It has recently been shown that various program verification problems can naturally be reduced to HFL model checking: the problem of whether a given finite state system satisfies a given HFL formula. In this paper, we propose a novel algorithm for HFL model checking: it is the first practical algorithm in that it runs fast for typical inputs, despite the hyper-exponential worst-case complexity of the HFL model checking problem. Our algorithm is based on Kobayashi et al.'s type-based characterization of HFL model checking, and was inspired by a saturation-based algorithm for HORS model checking, another higher-order extension of model checking. We prove the correctness of the algorithm and report on an implementation and experimental results.


title: Complex Deep Learning Models for Denoising of Human Heart ECG signals

abstract: Effective and powerful methods for denoising real electrocardiogram (ECG) signals are important for wearable sensors and devices. Deep Learning (DL) models have been used extensively in image processing and other domains with great success but only very recently have been used in processing ECG signals. This paper presents several DL models namely Convolutional Neural Networks (CNNs), Long Short-Term Memory (LSTM), Restricted Boltzmann Machine (RBM) together with the more conventional filtering methods (low pass filtering, high pass filtering, Notch filtering) and the standard wavelet-based technique for denoising EEG signals. These methods are trained, tested and evaluated on different synthetic and real ECG datasets taken from the MIT PhysioNet database and for different simulation conditions (i.e. various lengths of the ECG signals, single or multiple records). The results show the CNN model is a performant model that can be used for off-line denoising ECG applications where it is satisfactory to train on a clean part of an ECG signal from an ECG record, and then to test on the same ECG signal, which would have some high level of noise added to it. However, for real-time applications or near-real time applications, this task becomes more cumbersome, as the clean part of an ECG signal is very probable to be very limited in size. Therefore the solution put forth in this work is to train a CNN model on 1 second ECG noisy artificial multiple heartbeat data (i.e. ECG at effort), which was generated in a first instance based on few sequences of real signal heartbeat ECG data (i.e. ECG at rest). Afterwards it would be possible to use the trained CNN model in real life situations to denoise the ECG signal.


title: The global existence of small self-interacting scalar field propagating in the contracting universe

abstract: We present a condition on the self-interaction term that guaranties the existence of the global in time solution of the Cauchy problem for the semilinear Klein-Gordon equation in the Friedmann-Lama$\hat{i}$tre-Robertson-Walker model of the contracting universe. For the Klein-Gordon equation with the Higgs potential we give a lower estimate for the lifespan of solution.


title: Hierarchical Text Classification with Reinforced Label Assignment

abstract: While existing hierarchical text classification (HTC) methods attempt to capture label hierarchies for model training, they either make local decisions regarding each label or completely ignore the hierarchy information during inference. To solve the mismatch between training and inference as well as modeling label dependencies in a more principled way, we formulate HTC as a Markov decision process and propose to learn a Label Assignment Policy via deep reinforcement learning to determine where to place an object and when to stop the assignment process. The proposed method, HiLAP, explores the hierarchy during both training and inference time in a consistent manner and makes inter-dependent decisions. As a general framework, HiLAP can incorporate different neural encoders as base models for end-to-end training. Experiments on five public datasets and four base models show that HiLAP yields an average improvement of 33.4% in Macro-F1 over flat classifiers and outperforms state-of-the-art HTC methods by a large margin. Data and code can be found at https://github.com/morningmoni/HiLAP.


title: Cosmological evolution of the absorption of $\gamma$-ray burst X-ray afterglows

abstract: X-ray absorption of $\gamma$-ray burst (GRB) afterglows is prevalent yet poorly understood. X-ray derived neutral hydrogen column densities ($N_{\rm H}$) of GRB X-ray afterglows show an increase with redshift, which might give a clue for the origin of this absorption. We use more than 350 X-ray afterglows with spectroscopic redshift ($z$) from the Swift XRT repository as well as over 100 Ly\,$\alpha$ absorption measurements in $z>1.6$ sources. The observed trend of the average optical depth $\tau$ at 0.5 keV is consistent with both a sharp increase of host $N_{\rm H}(z)$, and an absorbing diffuse intergalactic medium, along with decreasing host contribution to $\tau$. We analyze a sub-sample of high-$z$ GRBs with $N_{\rm H}$ derived both from the X-ray afterglow and the Ly\,$\alpha$ line. The increase of X-ray derived $N_{\rm H}(z)$ is contrasted by no such increase in the Ly\,$\alpha$ derived column density. We argue that this discrepancy implies a lack of association between the X-ray and Ly\,$\alpha$ absorbers at high-$z$. This points towards the X-ray absorption at high $z$ being dominated by an intervening absorber, which lends credibility to an absorbing intergalactic medium contribution.


title: On distribution of subsequences of primes having prime indices with respect to the $(R)$-denseness and convergence exponent

abstract: Denote by $\mathbb{N}$ and $\mathbb{P}$ the set of all positive integers and prime numbers, respectively. Let $\mathbb{P}=\{p_1<p_2<\dots <p_n<\dots\}$, where $p_n$ is the $n$-th prime number. For $k\in\mathbb{N}$ we recursively define subsequences $(p^{(k)}_n)_{n=1}^{+\infty}$ of the sequence $(p_n)_{n=1}^{+\infty}$ in the following way: let $p_n^{(1)}=p_n$ and $p_n^{(k+1)}=p_{p_n^{(k)}}$. In this paper we study and describe some interesting properties of the sets $\mathbb{P}_k=\{p_1^{(k)}<p_2^{(k)}<\dots<p_n^{(k)}<\dots\}$, $\mathbb{P}_n^{\mathrm{T}}=\{p_n^{(1)}<p_n^{(2)}<\dots<p_n^{(k)}<\dots\}$ and $\text{Diag}\mathbb{P}=\{p^{(1)}_1<p^{(2)}_2<\dots <p^{(k)}_k<\dots\}$ and their elements, for $k,n\in\mathbb{N}$. Especially, we check whether these sets have dense sets of ratios in $\mathbb{R}_+$. Moreover, we compute their exponents of convergence and asymptotics of their counting functions.


title: Ensemble-Based Deep Reinforcement Learning for Chatbots

abstract: Trainable chatbots that exhibit fluent and human-like conversations remain a big challenge in artificial intelligence. Deep Reinforcement Learning (DRL) is promising for addressing this challenge, but its successful application remains an open question. This article describes a novel ensemble-based approach applied to value-based DRL chatbots, which use finite action sets as a form of meaning representation. In our approach, while dialogue actions are derived from sentence clustering, the training datasets in our ensemble are derived from dialogue clustering. The latter aim to induce specialised agents that learn to interact in a particular style. In order to facilitate neural chatbot training using our proposed approach, we assume dialogue data in raw text only -- without any manually-labelled data. Experimental results using chitchat data reveal that (1) near human-like dialogue policies can be induced, (2) generalisation to unseen data is a difficult problem, and (3) training an ensemble of chatbot agents is essential for improved performance over using a single agent. In addition to evaluations using held-out data, our results are further supported by a human evaluation that rated dialogues in terms of fluency, engagingness and consistency -- which revealed that our proposed dialogue rewards strongly correlate with human judgements.


title: Investigating Meta-Learning Algorithms for Low-Resource Natural Language Understanding Tasks

abstract: Learning general representations of text is a fundamental problem for many natural language understanding (NLU) tasks. Previously, researchers have proposed to use language model pre-training and multi-task learning to learn robust representations. However, these methods can achieve sub-optimal performance in low-resource scenarios. Inspired by the recent success of optimization-based meta-learning algorithms, in this paper, we explore the model-agnostic meta-learning algorithm (MAML) and its variants for low-resource NLU tasks. We validate our methods on the GLUE benchmark and show that our proposed models can outperform several strong baselines. We further empirically demonstrate that the learned representations can be adapted to new tasks efficiently and effectively.


title: Phaseless Microwave Imaging Of Dielectric Cylinders: An Artificial Neural Networks-Based Approach

abstract: An inverse method for parameters estimation of infinite cylinders (the dielectric properties, location, and radius) in two dimensions from amplitude-only microwave information is presented. To this end two different Artificial Neural Networks (ANN) topologies are compared; Multilayer Perceptron (MLP) and a Convolutional Neural Network (CNN). Several simulations employing the Finite Differences in Time Domain (FDTD) method are performed to solve the direct electromagnetic problem and generate training, validation, and test sets for the ANN models. The magnitude of the mean errors in estimating the position and size of the cylinder are up to (1.9 $\pm$ 3.3) mm and (0.2 $\pm$ 0.8) mm for the MLP and CNN, respectively. The magnitude of the mean percentage relative errors in estimating the dielectric properties of the cylinder are up to (6.5 $\pm$ 13.8) % and (0.0 $\pm$ 7.2) % for the MLP and CNN, respectively. The errors in the parameters estimation from the MLP model are low, however, significantly lower errors were obtained with the CNN model. A validation example is shown using a simulation in three dimensions. Measurement examples with homogeneous and heterogeneous cylinders are presented aiming to prove the feasibility of the described method.


title: Improving Visual Feature Extraction in Glacial Environments

abstract: Glacial science could benefit tremendously from autonomous robots, but previous glacial robots have had perception issues in these colorless and featureless environments, specifically with visual feature extraction. This translates to failures in visual odometry and visual navigation. Glaciologists use near-infrared imagery to reveal the underlying heterogeneous spatial structure of snow and ice, and we theorize that this hidden near-infrared structure could produce more and higher quality features than available in visible light. We took a custom camera rig to Igloo Cave at Mt. St. Helens to test our theory. The camera rig contains two identical machine vision cameras, one which was outfitted with multiple filters to see only near-infrared light. We extracted features from short video clips taken inside Igloo Cave at Mt. St. Helens, using three popular feature extractors (FAST, SIFT, and SURF). We quantified the number of features and their quality for visual navigation by comparing the resulting orientation estimates to ground truth. Our main contribution is the use of NIR longpass filters to improve the quantity and quality of visual features in icy terrain, irrespective of the feature extractor used.


title: On the stability of optimization algorithms given by discretizations of the Euler-Lagrange ODE

abstract: The derivation of second-order ordinary differential equations (ODEs) as continuous-time limits of optimization algorithms has been shown to be an effective tool for the analysis of these algorithms. Additionally, discretizing generalizations of these ODEs can lead to new families of optimization methods. We study discretizations of an Euler-Lagrange equation which generate a large class of accelerated methods whose convergence rate is $O(\frac{1}{t^p})$ in continuous-time, where parameter $p$ is the order of the optimization method. Specifically, we address the question asking why a naive explicit-implicit Euler discretization of this solution produces an unstable algorithm, even for a strongly convex objective function. We prove that for a strongly convex $L$-smooth quadratic objective function and step size $\delta<\frac{1}{L}$, the naive discretization will exhibit stable behavior when the number of iterations $k$ satisfies the inequality $k < (\frac{4}{Lp^2 \delta^p})^{\frac{1}{p-2}}$. Additionally, we extend our analysis to the implicit and explicit Euler discretization methods to determine end behavior.


title: Large surface conductance and two-dimensional superconductivity in microstructured crystalline topological insulators

abstract: Controllable geometric manipulation via micromachining techniques provides a promising tool for enhancing useful topological electrical responses relevant to future applications such as quantum information science. Here we present microdevices fabricated with focused ion beam from indium-doped topological insulator Pb1-xSnxTe. With device thickness on the order of 1 {\mu}m and an extremely large bulk resistivity, we achieve an unprecedented enhancement of the surface contribution to about 30% of the total conductance near room temperature. The surface contribution increases as the temperature is reduced, becoming dominant below approximately 180 K, compared to 30 K in mm-thickness crystals. In addition to the enhanced surface contribution to normal-state transport, we observe the emergence of a two-dimensional superconductivity below 6 K. Measurements of magnetoresistivity at high magnetic fields reveal a weak antilocalization behavior in the normal-state magnetoconductance at low temperature and a variation in the power-law dependence of resistivity on temperature with field. These results demonstrate that interesting electrical response relevant to practical applications can be achieved by suitable engineering of single crystals.


title: Gaussian elements in CCR algebras

abstract: A system of matrix units in the Weyl algebra of convolution type is constructed with the aid of a Gaussian element so that it includes von Neumann's minimal projection, which explicitly shows that the associated C*-algebra is a compact operator algebra. The spectral decomposition of an arbitrary Gaussian element is then worked out in terms of the diagonal projections in the matrix units.


title: On subquotients of the etale cohomology of Shimura varieties

abstract: We study the conditions imposed by conjectures of Arthur and Kottwitz on the Galois representations occurring in the cohomology of Shimura varieties.


title: Unsupervised Domain Adaptation for Neural Machine Translation with Domain-Aware Feature Embeddings

abstract: The recent success of neural machine translation models relies on the availability of high quality, in-domain data. Domain adaptation is required when domain-specific data is scarce or nonexistent. Previous unsupervised domain adaptation strategies include training the model with in-domain copied monolingual or back-translated data. However, these methods use generic representations for text regardless of domain shift, which makes it infeasible for translation models to control outputs conditional on a specific domain. In this work, we propose an approach that adapts models with domain-aware feature embeddings, which are learned via an auxiliary language modeling task. Our approach allows the model to assign domain-specific representations to words and output sentences in the desired domain. Our empirical results demonstrate the effectiveness of the proposed strategy, achieving consistent improvements in multiple experimental settings. In addition, we show that combining our method with back translation can further improve the performance of the model.


title: Optical polarimetry: Methods, Instruments and Calibration Techniques

abstract: In this chapter we present a brief summary of methods, instruments and calibration techniques used in modern astronomical polarimetry in the optical wavelengths. We describe the properties of various polarization devices and detectors used for optical broadband, imaging and spectropolarimetry, and discuss their advantages and disadvantages. The necessity of a proper calibration of the raw polarization data is emphasized and methods of the determination and subtraction of instrumental polarization are considered. We also present a few examples of high-precision measurements of optical polarization of black hole X-ray binaries and massive binary stars made with our DiPol-2 polarimeter, which allowed us to constrain the sources of optical emission in black hole X-ray binaries and measure orbital parameters of massive stellar binaries.


title: EEG Signal Dimensionality Reduction and Classification using Tensor Decomposition and Deep Convolutional Neural Networks

abstract: A new deep learning-based electroencephalography (EEG) signal analysis framework is proposed. While deep neural networks, specifically convolutional neural networks (CNNs), have gained remarkable attention recently, they still suffer from high dimensionality of the training data. Two-dimensional input images of CNNs are more vulnerable to be redundant versus one-dimensional input time-series of conventional neural networks. In this study, we propose a new dimensionality reduction framework for reducing the dimension of CNN inputs based on the tensor decomposition of the time-frequency representation of EEG signals. The proposed tensor decomposition-based dimensionality reduction algorithm transforms a large set of slices of the input tensor to a concise set of slices which are called super-slices. Employing super-slices not only handles the artifacts and redundancies of the EEG data but also reduces the dimension of the CNNs training inputs. We also consider different time-frequency representation methods for EEG image generation and provide a comprehensive comparison among them. We test our proposed framework on HCB-MIT data and as results show our approach outperforms other previous studies.


title: Enhancing the capture velocity of a Dy magneto-optical trap with two-stage slowing

abstract: Magneto-optical traps (MOTs) based on the $626\;{\rm nm}$, $136\;{\rm kHz}$-wide intercombination line of Dy, which has an attractively low Doppler temperature of $3.3\;\mu{\rm K}$, have been implemented in a growing number of experiments over the last several years. A challenge in loading these MOTs comes from their low capture velocities. Slowed atomic beams can spread out significantly during free-flight from the Zeeman slower to the MOT position, reducing the fraction of the beam captured by the MOT. Here we apply, for the first time in a Dy experiment, a scheme for enhancing the loading rate of the MOT wherein atoms are Zeeman-slowed to a final velocity larger than the MOT's capture velocity, and then undergo a final stage of slowing by a pair of near-detuned beams addressing the $421\;{\rm nm}$ transition directly in front of the MOT. By reducing the free-flight time of the Zeeman-slowed atomic beam, we greatly enhance the slowed flux delivered to the MOT, leading to more than an order of magnitude enhancement in the final MOT population.


title: Special elliptic isometries, relative SU(2,1)-character varieties, and bendings

abstract: We study relations between special elliptic isometries in the complex hyperbolic plane. Relations of lengths 2, 3, and 4 are fully classified. Some relative SU(2,1)-character varieties of the quadruply punctured sphere are described and applied to the study of length 5 relations.


title: Dynamics and Transport at the Threshold of Many-Body Localization

abstract: Many-body localized (MBL) systems do not approach thermal equilibrium under their intrinsic dynamics; MBL and conventional thermalizing systems form distinct dynamical phases of matter, separated by a phase transition at which equilibrium statistical mechanics breaks down. True MBL is known to occur only under certain stringent conditions for perfectly isolated one-dimensional systems, with Hamiltonians that have strictly short-range interactions and lack any continuous non-Abelian symmetries. However, in practice, even systems that are not strictly MBL can be nearly MBL, with equilibration rates that are far slower than their other intrinsic timescales; thus, anomalously slow relaxation occurs in a much broader class of systems than strict MBL. In this review we address transport and dynamics in such nearly-MBL systems from a unified perspective. Our discussion covers various classes of such systems: (i) disordered and quasiperiodic systems on the thermal side of the MBL-thermal transition; (ii) systems that are strongly disordered, but obstructed from localizing because of symmetry, interaction range, or dimensionality; (iii) multiple-component systems, in which some components would in isolation be MBL but others are not; and finally (iv) driven systems whose dynamics lead to exponentially slow rates of heating to infinite temperature. A theme common to many of these problems is that they can be understood in terms of approximately localized degrees of freedom coupled to a heat bath (or baths) consisting of thermal degrees of freedom; however, this putative bath is itself nontrivial, being either small or very slowly relaxing. We discuss anomalous transport, diverging relaxation times, and other signatures of the proximity to MBL in these systems. We also survey recent theoretical and numerical methods that have been applied to study dynamics on either side of the MBL transition.

categories: cond-mat.dis-nn cond-mat.quant-gas cond-mat.stat-mech cond-mat.str-el quant-ph


title: Competitive and Cooperative electronic states in Ba(Fe$_{1-x}$T$_x$)$_2$As$_2$ with T=Co, Ni, Cr

abstract: The electronic structure inhomogeneities in Co, Ni, and Cr doped BaFe2As2 122 single crystals are compared using scanning tunneling microscopy/spectroscopy (STM/S) at the nanoscale within three bulk property regions in the phase diagram: a pure superconducting (SC) dome region (Co-122), a coexisting SC and antiferromagnetic (AFM) region (Ni-122), and a non-SC region (Cr-122). Machine learning is utilized to categorize the various nanometer scale inhomogeneous electronic states, described here as in-gap, L-shape and S-shape states immersed into the SC matrix for Ni-and Co-doped 122, and L-shape and S-shape states into the metallic matrix for Cr-doped 122. Although the relative percentages of in-gap, L-shape and S-shape states vary in the three samples, the total volume fraction of the three electronic states is quite similar. This is coincident with the number of electrons (Ni0.04 and Co0.08) and holes (Cr0.04) doped into the 122 compound. By combining the volume fractions of the three states, the local density of states (LDOS), magnetic field dependent behavior and global properties in these three samples, the in-gap state is confirmed as a magnetic impurity state from the Co or Ni dopants. In addition, the L-shape state is identified as a spin density wave (SDW) which competes with the SC phase, and the S-shape state is found to be another form of magnetic order which constructively cooperates with the SC phase, rather than competing with it. The comparison of the vortex structures indicates that the inhomogeneous electronic states serve as pinning centers for stabilizing the vortex lattice.


title: Analytic Bootstrap for Logarithmic CFT

abstract: We study logarithmic conformal field theory (LogCFT) in four dimensions using conformal bootstrap techniques in the large spin limit. We focus on the constraints imposed by conformal symmetry on the four point function of certain logarithmic scalar operators and compute the leading correction to the anomalous dimension of double trace operators in the large spin limit. There exist certain holographic duals to such LogCFTs, which involve higher derivative equations of motion. The anomalous dimension is related to the binding energy of a state where two scalars rotate around each other with a large angular momentum. We compute this energy shift and compare it to the anomalous dimension of the large spin double trace operators due to stress tensor exchange in the LogCFT. Our result shows that the cluster decomposition principle is satisfied for LogCFTs as long as the dimensions of the operators are positive.


title: A Whittle Index Approach to Minimizing Functions of Age of Information

abstract: We consider a setting where multiple active sources send real-time updates over a single-hop wireless broadcast network to a monitoring station. Our goal is to design a scheduling policy that minimizes the time-average of general non-decreasing cost functions of Age of Information. We use a Whittle index based approach to find low complexity scheduling policies that have good performance. We prove that for a system with two sources, having possibly different cost functions and reliable channels, the Whittle index policy is exactly optimal. We derive structural properties of an optimal policy, that suggest that the performance of the Whittle index policy may be close to optimal in general. These results might also be of independent interest in the study of restless multi-armed bandit problems with similar underlying structure. We further establish that minimizing monitoring error for linear time-invariant systems and symmetric Markov chains is equivalent to minimizing appropriately chosen monotone functions of Age of Information. Finally, we provide simulations comparing the Whittle index policy with optimal scheduling policies found using dynamic programming, which support our results.


title: Parton Physics on a Quantum Computer

abstract: Parton distribution functions and hadronic tensors may be computed on a universal quantum computer without many of the complexities that apply to Euclidean lattice calculations. We detail algorithms for computing parton distribution functions and the hadronic tensor in the Thirring model. Their generalization to QCD is discussed, with the conclusion that the parton distribution function is best obtained by fitting the hadronic tensor, rather than direct calculation. As a side effect of this method, we find that lepton-hadron cross sections may be computed relatively cheaply. Finally, we estimate the computational cost of performing such a calculation on a digital quantum computer, including the cost of state preparation, for physically relevant parameters.


title: Particle Probes with Superradiant Pulsars

abstract: We demonstrate that rotational superradiance can be efficient in millisecond pulsars. Measurements from the two fastest known pulsars PSR J1748-2446ad and PSR B1937+21 can place bounds on bosons with masses below 10^{-11} eV. The bounds are maximally good at masses corresponding to the rotation rate of the star, where scalar interactions that mediate forces ~ 10^6 times weaker than gravity are ruled out, exceeding existing fifth force constraints by 3 orders of magnitude. For certain neutron star equations of state, these measurements would also constrain the QCD axion with masses between 5 10^{-13} and 3 10^{-12} eV. Despite the ability of most neutron star equations of state to support frequencies as high as ~ 1500 Hz, the observed absence of pulsars above ~ 700 Hz could be due to the existence of a new particle of mass ~ 10^{-11} eV with a Yukawa coupling to nucleons.


title: Modeling and FEM-based Simulations of Composite Membrane based Circular Capacitive Pressure Sensor

abstract: In Micro-electro-mechanical Systems (MEMS) based pressure sensors and acoustic devices, deflection of a membrane is utilized for pressure or sound measurements. Due to advantages of capacitive pressure sensor over piezoresistive pressure sensors (low power consumption, less sensitive to temperature drift, higher dynamic range, high sensitivity), capacitive pressure sensors are the 2nd largest useable MEMS-based sensor after piezoresistive pressure sensors. We present a normal capacitive pressure sensor, for continuous sensing of normal and abnormal Intraocular Pressure (IOP). The composite membrane of the sensor is made of three materials, i.e., Si, SiO2 and Si3N4. The membrane deflection, capacitance variation, mechanical sensitivity, capacitive sensitivity and non-linearity are discussed in this work. Mathematical modeling is performed for analytical simulation, which is also compared with Finite Element Method (FEM) simulations. MATLAB is used for analytical simulations and CoventorWare is used for FEM simulations. The variation in analytical result of deflection in membrane w.r.t. FEM result is about 7.19%, and for capacitance, the variation is about 2.7% at maximum pressure of 8 kPa. The non-linearity is about 4.2492% for the proposed sensor for fabrication using surface micro-machining process.


title: Time-resolved mid-infrared dual-comb spectroscopy

abstract: Dual-comb spectroscopy can provide broad spectral bandwidth and high spectral resolution in a short acquisition time, enabling time-resolved measurements. Specifically, spectroscopy in the mid-infrared wavelength range is of particular interest, since most of the molecules have their strongest rotational-vibrational transitions in this "fingerprint" region. Here we report time-resolved mid-infrared dual-comb spectroscopy for the first time, covering ~300 nm bandwidth around 3.3 {\mu}m with 6 GHz spectral resolution and 20 {\mu}s temporal resolution. As a demonstration, we study a CH4/He gas mixture in an electric discharge, while the discharge is modulated between dark and glow regimes. We simultaneously monitor the production of C2H6 and the vibrational excitation of CH4 molecules, observing the dynamics of both processes. This approach to broadband, high-resolution, and time-resolved mid-infrared spectroscopy provides a new tool for monitoring the kinetics of fast chemical reactions, with potential applications in various fields such as physical chemistry and plasma/combustion analysis.

categories: physics.app-ph physics.ins-det physics.optics physics.plasm-ph


title: Giant magnetoelastic coupling in Love acoustic waveguide based on uniaxial multilayered TbCo2/FeCo nanostructured thin film on Quartz ST-cut

abstract: Coupling between dynamic strain and magnetization in ferromagnetic thin films has attracted special consideration as it presents both intriguing fundamental physics problems and technological importance for potential multi-functional devices and information handling. The dynamic strain can be generated by acoustic waves including bulk, surface or guided waves. In this work, we propose the theoretical and experimental investigation of the interaction of pure shear horizontal (SH) wave with a uniaxial multilayered TbCo2/FeCo thin film in a delay line configuration fabricated on Quartz ST-90X cut. We evaluate theoretically the evolution of phase velocity as a function of magnetic field and experimentally the variation of the transmission coefficient. A piezomagnetic model was developed allowing us to calculate the elastic stiffness constants of the multilayer as a function of the applied magnetic field. The model was also implemented for acoustic waves dispersion curves calculation. We show that the evolution of phase velocity is dominated by the C66 elastic stiffness constant variation as expected for the case of shear horizontal surface wave. The fabricated device let us exciting both fundamental and third harmonic shear mode at 410 MHz and 1.2 GHz, respectively. For both modes, the theoretical results corroborate very well the experimental ones. At 1.2 GHz the mode exhibits a maximum phase velocity shift close to 2.5% and an attenuation reaching 500 dB/cm, for a sensitivity as high as 250 ppm/Oe. The reported theoretical model and experimental results are of tremendous interest for the development of advanced devices for magnetic field sensing applications as well as investigating magnon-phonon interaction at a fundamental level.

categories: physics.app-ph cond-mat.mes-hall cond-mat.mtrl-sci physics.class-ph


title: Mathematical Modelling and Comparative Study of Elliptical and Circular Capacitive Pressure Microsensor

abstract: A lot of work on clamped circular, square and rectangular shaped capacitive pressure sensor has been carried out. However, to the best of our knowledge, no elaborate work has been performed on mathematical formulation and simulation of clamped elliptical shaped capacitive pressure sensor in literature. This paper describes the mathematical modelling and simulation of normal mode clamped elliptical shaped capacitive pressure sensor. The study of various performance parameters like maximum diaphragm deflection, capacitance variation, mechanical sensitivity, capacitive sensitivity and non-linearity is also carried out for operating pressure range of 0 kPa to 18 kPa. For circular capacitive pressure sensor, the operating pressure range is modified according to physical dimensions i.e. thickness and radius of diaphragm, separation gap between plates and maximum deflection. For same overlapping area between plates (10000*pi mm2), the comparison of elliptical shapes of different eccentricities with circular shape diaphragm is carried out. The thickness of diaphragm is taken as 2 um and separation gap is 1 um in all the designs which are used in this work. In this comparative study, it is observed that elliptical shaped capacitive pressure sensors have better linearity than circular diaphragm pressure sensor.


title: Gradient steady Kahler Ricci solitons with non-negative Ricci curvature and integrable scalar curvature

abstract: We study the non Ricci flat gradient steady K\"{a}hler Ricci soliton with non-negative Ricci curvature and weak integrability condition of the scalar curvature $S$, namely $\underline{\lim}_{r\to \infty} r^{-1}\int_{B_r} S=0$, and show that it is a quotient of $\Sigma\times \mathbb{C}^{n-1-k}\times N^k$, where $\Sigma$ and $N$ denote the Hamilton's cigar soliton and some compact K\"{a}hler Ricci flat manifold respectively. As an application, we prove that any non Ricci flat gradient steady K\"{a}hler Ricci soliton with $Ric\geq 0$, together with subquadratic volume growth or $\limsup_{r\to \infty} rS<1$ must have universal covering space isometric to $\Sigma\times \mathbb{C}^{n-1-k}\times N^k$.


title: On Indecomposable Vertex Algebras associated with Vertex Algebroids

abstract: Let $A$ be a finite dimensional unital commutative associative algebra and let $B$ be a finite dimensional vertex $A$-algebroid such that its Levi factor is isomorphic to $sl_2$. Under suitable conditions, we construct an indecomposable non-simple $\mathbb{N}$-graded vertex algebra $\overline{V_B}$ from the $\mathbb{N}$-graded vertex algebra $V_B$ associated with the vertex $A$-algebroid $B$. We show that this indecomposable non-simple $\mathbb{N}$-graded vertex algebra $\overline{V_B}$ is $C_2$-cofinite and has only two irreducible modules.


title: Networks of hybrid open systems

abstract: We generalize the results of "Networks of open systems" by the first author to the setting of hybrid systems. In particular we introduce the notions of hybrid open systems, their networks and maps between networks. A network of systems is a blueprint for building a larger system out of smaller subsystems by specifying a pattern of interactions between subsystems --- an interconnection map. Maps between networks allow us to produce maps between complex hybrid dynamical systems by specifying maps between their subsystems


title: Efficient estimation of optimal regimes under a no direct effect assumption

abstract: We derive new estimators of an optimal joint testing and treatment regime under the no direct effect (NDE) assumption that a given laboratory, diagnostic, or screening test has no effect on a patient's clinical outcomes except through the effect of the test results on the choice of treatment. We model the optimal joint strategy using an optimal regime structural nested mean model (opt-SNMM). The proposed estimators are more efficient than previous estimators of the parameters of an opt-SNMM because they efficiently leverage the `no direct effect (NDE) of testing' assumption. Our methods will be of importance to decision scientists who either perform cost-benefit analyses or are tasked with the estimation of the `value of information' supplied by an expensive diagnostic test (such as an MRI to screen for lung cancer).


title: Interactive Machine Comprehension with Information Seeking Agents

abstract: Existing machine reading comprehension (MRC) models do not scale effectively to real-world applications like web-level information retrieval and question answering (QA). We argue that this stems from the nature of MRC datasets: most of these are static environments wherein the supporting documents and all necessary information are fully observed. In this paper, we propose a simple method that reframes existing MRC datasets as interactive, partially observable environments. Specifically, we "occlude" the majority of a document's text and add context-sensitive commands that reveal "glimpses" of the hidden text to a model. We repurpose SQuAD and NewsQA as an initial case study, and then show how the interactive corpora can be used to train a model that seeks relevant information through sequential decision making. We believe that this setting can contribute in scaling models to web-level QA scenarios.


title: Ideologically Motivated Biases in a Multiple Issues Opinion Model

abstract: It has been observed people tend to have opinions that are far more internally consistent than it would be reasonable to expect. Here, we study how that observation might emerge from changing how agents trust the opinions of their peers in a model for opinion dynamics with multiple issues. A previous Bayesian inspired opinion model for continuous opinions is extended to include multiple issues. In the original model, agents tended to trust less opinions that were too different from their own. We investigate the properties of the extended model in its natural form. And we also introduce the possibility the trust of the agent might depend not only on the specific issue but on the average opinions over the many issues. By adopting such a ideological point of view, we observe an important decrease in the spread of individual opinions.


title: Sensitivity of the Prime-Cam Instrument on the CCAT-prime Telescope

abstract: CCAT-prime is a new 6 m crossed Dragone telescope designed to characterize the Cosmic Microwave Background (CMB) polarization and foregrounds, measure the Sunyaev-Zel'dovich effects of galaxy clusters, map the [CII] emission intensity from the Epoch of Reionization (EoR), and monitor accretion luminosity over multi-year timescales of hundreds of protostars in the Milky Way. CCAT-prime will make observations from a 5,600 m altitude site on Cerro Chajnantor in the Atacama Desert of northern Chile. The novel optical design of the telescope combined with high surface accuracy ($<$10 $\mu$m) mirrors and the exceptional atmospheric conditions of the site will enable sensitive broadband, polarimetric, and spectroscopic surveys at sub-mm to mm wavelengths. Prime-Cam, the first light instrument for CCAT-prime, consists of a 1.8 m diameter cryostat that can house seven individual instrument modules. Each instrument module, optimized for a specific science goal, will use state-of-the-art kinetic inductance detector (KID) arrays operated at $\sim$100 mK, and Fabry-Perot interferometers (FPI) for the EoR science. Prime-Cam will be commissioned with staged deployments to populate the seven instrument modules. The full instrument will consist of 60,000 polarimetric KIDs at a combination of 220/280/350/410 GHz, 31,000 KIDS at 250/360 GHz coupled with FPIs, and 21,000 polarimetric KIDs at 850 GHz. Prime-Cam is currently being built, and the CCAT-prime telescope is designed and under construction by Vertex Antennentechnik GmbH to achieve first light in 2021. CCAT-prime is also a potential telescope platform for the future CMB Stage-IV observations.


title: The Black Hole Weak Gravity Conjecture with Multiple Charges

abstract: We study the effect of higher-derivative corrections on asymptotically flat, four-dimensional, non-rotating dyonic black holes in low-energy models of gravity coupled to $N$ $U(1)$ gauge fields. For large extremal black holes, the leading $\mathcal{O}\left(1/Q^2\right)$ correction to the extremality bound is calculated from the most general low-energy effective action containing operators with up to four derivatives. Motivated by the multi-charge generalization of the Weak Gravity Conjecture, we analyze the necessary kinematic conditions for an asymptotically large extremal black hole to decay into a multi-particle state of finite charge extremal black holes. In the large black hole regime, we show that the convex hull condition degenerates to the requirement that a certain quartic form, constructed from the Wilson coefficients of the four-derivative effective operators, is everywhere positive. Using on-shell unitarity methods, we show that higher-derivative operators are renormalized at one-loop only if they generate local, on-shell matrix elements that are invariant tensors of the electromagnetic duality group $U(N)$. The one-loop logarithmic running of the four-derivative Wilson coefficients is calculated and shown to imply the positivity of the extremality form at some finite value of $Q^2$. This result generalizes a recently given argument by Charles, and shows that under the given assumptions the multi-charge Weak Gravity Conjecture is not a Swampland criterion.


title: Fermi/Pauli Duality in Arbitrary Dimension

abstract: We propose an exact map from commuting lattice spin systems with gauge interactions to fermionic models in an arbitrary number of dimensions.


title: Embracing Imperfect Datasets: A Review of Deep Learning Solutions for Medical Image Segmentation

abstract: The medical imaging literature has witnessed remarkable progress in high-performing segmentation models based on convolutional neural networks. Despite the new performance highs, the recent advanced segmentation models still require large, representative, and high quality annotated datasets. However, rarely do we have a perfect training dataset, particularly in the field of medical imaging, where data and annotations are both expensive to acquire. Recently, a large body of research has studied the problem of medical image segmentation with imperfect datasets, tackling two major dataset limitations: scarce annotations where only limited annotated data is available for training, and weak annotations where the training data has only sparse annotations, noisy annotations, or image-level annotations. In this article, we provide a detailed review of the solutions above, summarizing both the technical novelties and empirical results. We further compare the benefits and requirements of the surveyed methodologies and provide our recommended solutions. We hope this survey article increases the community awareness of the techniques that are available to handle imperfect medical image segmentation datasets.


title: Self-Supervised Representation Learning via Neighborhood-Relational Encoding

abstract: In this paper, we propose a novel self-supervised representation learning by taking advantage of a neighborhood-relational encoding (NRE) among the training data. Conventional unsupervised learning methods only focused on training deep networks to understand the primitive characteristics of the visual data, mainly to be able to reconstruct the data from a latent space. They often neglected the relation among the samples, which can serve as an important metric for self-supervision. Different from the previous work, NRE aims at preserving the local neighborhood structure on the data manifold. Therefore, it is less sensitive to outliers. We integrate our NRE component with an encoder-decoder structure for learning to represent samples considering their local neighborhood information. Such discriminative and unsupervised representation learning scheme is adaptable to different computer vision tasks due to its independence from intense annotation requirements. We evaluate our proposed method for different tasks, including classification, detection, and segmentation based on the learned latent representations. In addition, we adopt the auto-encoding capability of our proposed method for applications like defense against adversarial example attacks and video anomaly detection. Results confirm the performance of our method is better or at least comparable with the state-of-the-art for each specific application, but with a generic and self-supervised approach.


title: Curvature estimates for steady Ricci solitons

abstract: We show that for an $n$ dimensional complete non Ricci flat gradient steady Ricci soliton with potential function $f$ bounded above by a constant and curvature tensor $Rm$ satisfying $\overline{\lim}_{r\to \infty} r|Rm|<\frac{1}{5}$, then $|Rm|\leq Ce^{-r}$ for some constant $C>0$, improving a result of [36]. For any four dimensional complete non Ricci flat gradient steady Ricci soliton with scalar curvature $S\to 0$ as $r\to \infty$, we prove that $|Rm|\leq cS$ for some constant $c>0$, improving an estimate in [11]. As an application, we show that for a four dimensional complete non Ricci flat gradient steady Ricci soliton, $|Rm|$ decays exponentially provided that $\overline{\lim}_{r\to \infty} rS$ is sufficiently small and $f$ is bounded above by a constant.


title: Clique immersion in graph products

abstract: Let $G,H$ be graphs and $G*H$ represent a particular graph product of $G$ and $H$. We define $im(G)$ to be the largest $t$ such that $G$ has a $K_t$-immersion and ask: given $im(G)=t$ and $im(H)=r$, how large is $im(G*H)$? Best possible lower bounds are provided when $*$ is the Cartesian or lexicographic product, and a conjecture is offered for each of the direct and strong products, along with some partial results.


title: Nonconservation of Energy and Loss of Determinism I. Infinitely Many Balls

abstract: An infinite number of elastically colliding balls is considered in a classical, and then in a relativistic setting. Energy and momentum are not necessarily conserved globally, even though each collision does separately conserve them. This result holds in particular when the total mass of all the balls is finite, and even when the spatial extent and temporal duration of the process are also finite. Further, the process is shown to be indeterministic: there is an arbitrary parameter in the general solution that corresponds to the injection of an arbitrary amount of energy (classically), or energy-momentum (relativistically), into the system at the point of accumulation of the locations of the balls. Specific examples are given that illustrate these counter-intuitive results, including one in which all the balls move with the same velocity after every collision has taken place.


title: Dessins d'Enfants for Single-Cycle Belyi Maps

abstract: Riemann's Existence Theorem gives the following bijections: (1) Isomorphism classes of Belyi maps of degree $d$. (2) Equivalence classes of generating systems of degree $d$. (3) Isomorphism classes of dessins d'enfants with $d$ edges. In previous work, the first author and collaborators exploited the correspondence between Belyi maps and their generating systems to provide explicit equations for two infinite families of dynamical Belyi maps. We complete this picture by describing the dessins d'enfants for these two families.


title: Singular chains on Lie groups and the Cartan relations I

abstract: Let $G$ be a simply connected Lie group with Lie algebra $\mathfrak{g}$. We show that the following categories are naturally equivalent. The category $\mathsf{Mod}(C(G))$, of sufficiently smooth modules over the DG-algebra of singular chains on $G$. The category $\mathsf{Rep}(Tg)$ of representations of the DG-Lie algebra $T\mathfrak{g}$, which is universal for the Cartan relations. This equivalence extends the correspondence between representations of $G$ and representations of $\mathfrak{g}$. In a companion paper we show that in the compact case, the equivalence can be extended to an $\mathsf{A}_\infty$ equivalence of DG-categories.


title: A survey of cross-lingual features for zero-shot cross-lingual semantic parsing

abstract: The availability of corpora to train semantic parsers in English has lead to significant advances in the field. Unfortunately, for languages other than English, annotation is scarce and so are developed parsers. We then ask: could a parser trained in English be applied to language that it hasn't been trained on? To answer this question we explore zero-shot cross-lingual semantic parsing where we train an available coarse-to-fine semantic parser (Liu et al., 2018) using cross-lingual word embeddings and universal dependencies in English and test it on Italian, German and Dutch. Results on the Parallel Meaning Bank - a multilingual semantic graphbank, show that Universal Dependency features significantly boost performance when used in conjunction with other lexical features but modelling the UD structure directly when encoding the input does not.


title: Stability of aziridinium lead iodide perovskite: ring strain and water vulnerability

abstract: Recently, an aziridinium lead iodide perovskite was proposed as a possible solar cell absorber material. We investigated the stability of this material using a density-functional theory with an emphasis on the ring strain associated with the three-membered aziridinium cation. It is shown that the aziridinium ring is prone to opening within the PbI$_3$ environment. When exposed to moisture, aziridinium lead iodide can readily react with water. The resultant product will not likely be a stoichiometric lead halide perovskite structure.


title: Induced subgraphs of powers of oriented cycles

abstract: By using a $q$-analogue of the "magic" matrix introduced by H.Huang in his elegant solution of the sensitivity conjecture, we give a direct generalization of his result, replacing a hypercube graph by a Cartesian power of a directed $l$-cycle.


title: A Simple Explanation for the Observed Power Law Distribution of Line Intensity in Complex Many-Electron Atoms

abstract: It has long been observed that the number of weak lines from many-electron atoms follows a power law distribution of intensity. While computer simulations have reproduced this dependence, its origin has not yet been clarified. Here we report that the combination of two statistical models -- an exponential increase in the level density of many-electron atoms and local thermal equilibrium of the excited state population -- produces a surprisingly simple analytical explanation for this power law dependence. We find that the exponent of the power law is proportional to the electron temperature. This dependence may provide a useful diagnostic tool to extract the temperature of plasmas of complex atoms without the need to assign lines.


title: Outreach Strategies for Vaccine Distribution: A Multi-Period Stochastic Modeling Approach

abstract: Vaccination has been proven to be the most effective method to prevent infectious diseases. However, in many low and middle-income countries with geographically dispersed and nomadic populations, last-mile vaccine delivery can be extremely complex. Because newborns in remote population centers often do not have direct access to clinics and hospitals, they face significant risk from diseases and infections. An approach known as outreach is typically utilized to raise immunization rates in these situations. A set of these remote locations is chosen, and over an appropriate planning period, teams of clinicians and support personnel are sent from a depot to set up mobile clinics at these locations to vaccinate people there and in the immediate surrounding area. In this paper, we model the problem of optimally designing outreach efforts as a mixed integer program that is a combination of a set covering problem and a vehicle routing problem. In addition, because elements relevant to outreach (such as populations and road conditions) are often unstable and unpredictable, we address uncertainty and determine the worst-case solutions. This is done using a multi-period stochastic modeling approach that considers updated model parameter estimates and revised plans for subsequent planning periods. We also conduct numerical experiments to provide insights on how demographic characteristics affect outreach planning and where outreach planners should focus their attention when gathering data.


title: Design and Optimization of Ellipsoid Scatterer-based Metasurfaces via the Inverse T-Matrix Method

abstract: Large-area metasurfaces composed of discrete wavelength-scale scatterers present an extremely large number of degrees of freedom to engineer an optical element. These degrees of freedom provide tremendous design flexibility, and a central challenge in metasurface design is how to optimally leverage these degrees of freedom towards a desired optical function. Inverse design can be used to explore non-intuitive design space for metasurfaces. We report an inverse design method exploiting T-Matrix scattering of ellipsoidal scatterer based metasurfaces. Multifunctional, polarization multiplexed metasurfaces were designed using this approach. Finally, we apply this method to optimize the efficiency of an existing high numerical aperture (0.83)metalens design, and report an increase in efficiency from 26% to 32%


title: Separability of the kernel function in an integral formulation for anisotropic radiative transfer equation

abstract: We study in this work an integral formulation for the radiative transfer equation (RTE) in anisotropic media with truncated approximation to the scattering phase function. The integral formulation consists of a coupled system of integral equations for the angular moments of the transport solution. We analyze the approximate separability of the kernel functions in these integral formulations, deriving asymptotic lower and upper bounds on the number of terms needed in a separable approximation of the kernel functions as the moment grows. Our analysis provides the mathematical understanding on when low-rank approximations to the discretized integral kernels can be used to develop fast numerical algorithms for the corresponding system of integral equations.


title: Adversarial regression training for visualizing the progression of chronic obstructive pulmonary disease with chest x-rays

abstract: Knowledge of what spatial elements of medical images deep learning methods use as evidence is important for model interpretability, trustiness, and validation. There is a lack of such techniques for models in regression tasks. We propose a method, called visualization for regression with a generative adversarial network (VR-GAN), for formulating adversarial training specifically for datasets containing regression target values characterizing disease severity. We use a conditional generative adversarial network where the generator attempts to learn to shift the output of a regressor through creating disease effect maps that are added to the original images. Meanwhile, the regressor is trained to predict the original regression value for the modified images. A model trained with this technique learns to provide visualization for how the image would appear at different stages of the disease. We analyze our method in a dataset of chest x-rays associated with pulmonary function tests, used for diagnosing chronic obstructive pulmonary disease (COPD). For validation, we compute the difference of two registered x-rays of the same patient at different time points and correlate it to the generated disease effect map. The proposed method outperforms a technique based on classification and provides realistic-looking images, making modifications to images following what radiologists usually observe for this disease. Implementation code is available at https://github.com/ricbl/vrgan.


title: An Enterprise Control Methodology for the Techno-Economic Assessment of the Energy Water Nexus

abstract: In recent years, the energy-water nexus literature has recognized that the electricity and water infrastructure that enable the production, distribution, and consumption of these two commodities is fundamentally intertwined. Electric power is used to produce, treat, distribute, and recycle water while water is used to generate and consume electricity. In the meantime, significant attention has been given to renewable energy integration within the context of global climate change. While these two issues may seem unrelated, their resolution is potentially synergistic in that renewable energy technologies not only present low CO2 emissions but also low water-intensities. Furthermore, because water is readily stored, it has the potential to act as a flexible energy resource on both the supply and the demand-side of the electricity grid. Despite these synergies, the renewable energy integration and energy-water nexus literature have yet to methodologically converge to systematically address potential synergies. This paper advances an enterprise control methodology as a means of assessing the techno-economic performance of the energy water nexus. The enterprise control methodology has been developed in recent years to advance the methodological state of the art of renewable energy integration studies and used recently to carry out a full-scale study for the Independent System Operator (ISO) New England system. The methodology quantifies day-ahead and real-time energy market production costs, dispatched energy mixes, required operating reserves, levels of curtailment, and grid imbalances. This energy-water nexus methodological extension now includes flexible water-energy resources within the grid's energy resource portfolio and quantifies the amounts of water withdrawn and consumed. The simulation methodology is demonstrated on a modified version of the RTS-96 (RTS-GMLC) test case.


title: Anomaly cancellation in effective supergravity from the heterotic string with an anomalous U(1)

abstract: We show that a choice of Pauli-Villars regulators allows the cancellation of all conformal and chiral anomalies in an effective field theory from Z_3 compactification of the heterotic string with two Wilson lines and an anomalous U(1).


title: Solving fermion problems without solving the sign problem: symmetry-breaking wave functions from similarity-transformed propagators for solving 2D quantum dots

abstract: It is well known that the use of the primitive second-order propagator in Path Integral Monte Carlo calculations of many-fermion systems leads to the sign problem. In this work, we show that by using the similarity-transformed Fokker-Planck propagator, it is possible to solve for the ground state of a large quantum dot, with up to 100 polarized electrons, without solving the sign problem. These similarity-transformed propagators naturally produce rotational symmetry-breaking ground state wave functions previously used in the study of quantum dots and quantum Hall effects. However, instead of localizing the electrons at positions which {\it minimize} the potential energy, this derivation shows that they should be located at positions which {\it maximize} the bosonic ground state wave function. Further improvements in the energy can be obtained by using these as initial wave functions in a Ground State Path-Integral Monte Carlo calculation with second and fourth-order propagators.


title: Broadband Optical Detection using the Spin Seebeck Effect

abstract: The generation, control, and detection of spin currents in solid-state devices are critical for Joule-heating minimization, spin-based computation, and electrical energy generation from thermal gradients. Although incorporation of spin functionality into technologically important architectures is still in its infancy, advantages over all-electric devices are increasingly becoming clear. Here, we utilize the spin Seebeck effect (SSE) in Pt/Y3Fe5O12 devices to detect light from 390 to 2200 nm. We find the device responsivity is remarkably flat across this technologically important wavelength range, closely following the Pt absorption coefficient. As expected from a SSE-generation mechanism, we observe that the photovoltage and Pt heating dynamics are in strong agreement. To precisely determine the optically created thermal gradient produced from a point-like heat source, we introduce a field-modulation method for measuring the SSE. Our results show broadband optical detection can be performed with devices based solely on spin current generation and detection.


title: Spatio-temporal dynamics of turbulent separation bubbles

abstract: The spatio-temporal dynamics of separation bubbles induced to form in a fully-developed turbulent boundary layer (with Reynolds number based on momentum thickness of the boundary layer of 490) over a flat plate are studied via direct numerical simulations. Two different separation bubbles are examined: one induced by a suction-blowing velocity profile on the top boundary and the other, by a suction-only velocity profile. The latter condition allows reattachment to occur without an externally imposed favourable pressure gradient and leads to a separation bubble more representative of those occurring over airfoils and in diffusers. The suction-only separation bubble exhibits a range of clearly distinguishable modes including a high-frequency mode and a low-frequency "breathing" mode that has been observed in some previous experiments. The high-frequency mode is well characterized by classical frequency scalings for a plane mixing layer and is associated with the formation and shedding of spanwise oriented vortex rollers. The topology associated with the low-frequency motion is revealed by applying dynamic mode decomposition to the data from the simulations and is shown to be dominated by highly elongated structures in the streamwise direction. The possibility of G\"{o}rtler instability induced by the streamwise curvature on the upstream end of the separation bubble as the underlying mechanism for these structures and the associated low frequency is explored.


title: Quantum Hydrodynamics of Vorticity

abstract: We formulate a quantum theory of vorticity (hydro)dynamics on a general two-dimensional bosonic lattice. In the classical limit of a bosonic condensate, it reduces to conserved plasma-like vortex-antivortex dynamics. The nonlocal topological character of the vorticity flows is reflected in the bulk-edge correspondence dictated by the Stokes theorem. This is exploited to establish physical boundary conditions that realize, in the coarse-grained thermodynamic limit, an effective chemical-potential bias of vorticity. A Kubo formula is derived for the vorticity conductivity|which could be measured in a suggested practical device|in terms of quantum vorticity-flux correlators of the original lattice model. As an illustrative example, we discuss the superfluidity of vorticity, exploiting the particle-vortex duality at a bosonic superfluid-insulator transition.


title: Equitable Colorings of Borel Graphs

abstract: Hajnal and Szemer\'{e}di proved that if $G$ is a finite graph with maximum degree $\Delta$, then for every integer $k \geqslant \Delta+1$, $G$ has a proper coloring with $k$ colors in which every two color classes differ in size at most by $1$; such colorings are called equitable. We obtain an analog of this result for infinite graphs in the Borel setting. Specifically, we show that if $G$ is an aperiodic Borel graph of finite maximum degree $\Delta$, then for each $k \geqslant \Delta + 1$, $G$ has a Borel proper $k$-coloring in which every two color classes are related by an element of the Borel full semigroup of $G$. In particular, such colorings are equitable with respect to every $G$-invariant probability measure. We also establish a measurable version of a result of Kostochka and Nakprasit on equitable $\Delta$-colorings of graphs with small average degree. Namely, we prove that if $\Delta \geqslant 3$, $G$ does not contain a clique on $\Delta + 1$ vertices, and $\mu$ is an atomless $G$-invariant probability measure such that the average degree of $G$ with respect to $\mu$ is at most $\Delta/5$, then $G$ has a $\mu$-equitable $\Delta$-coloring. As steps towards the proof of this result, we establish measurable and list coloring extensions of a strengthening of Brooks's theorem due to Kostochka and Nakprasit.


title: Nonlinear optical effects in inversion-symmetry-breaking superconductors

abstract: We study nonlinear optical responses in superconducting systems with inversion ($\mathcal{I}$) symmetry-breaking order parameters. We first show that any superconducting system with $\mathcal{I}$ and time-reversal ($\mathcal{T}$) symmetries requires an $\mathcal{I}$-breaking order parameter to support optical transitions between particle-hole pair bands. We then use a 1D toy model of an $\mathcal{I}$-breaking superconductor to numerically calculate linear and nonlinear conductivities, including shift current and second harmonic generations (SHG) responses. We find that the magnitude of the signal is significantly larger in shift current/SHG response compare to the linear response due to the matrix element effect. We also present various scaling behaviors of the SHG signal, which may be relevant to the recent experimental observation of SHG in cuprates [1]. Finally, we confirm the generality of our observations regarding nonlinear responses of $\mathcal{I}$-breaking superconductors, by analyzing other models including a 1D three-band model and 2D square lattice model.


title: Critical Points, Critical Values, and a Determinant Identity for Complex Polynomials

abstract: Given any n-tuple of complex numbers, one can canonically define a polynomial of degree n+1 that has the entries of this n-tuple as its critical points. In 2002, Beardon, Carne, and Ng studied a map $\theta\colon \mathbb{C}^n\to \mathbb{C}^n$ which outputs the critical values of the canonical polynomial constructed from the input, and they proved that this map is onto. Along the way, they showed that $\theta$ is a local homeomorphism whenever the entries of the input are distinct and nonzero, and, implicitly, they produced a polynomial expression for the Jacobian determinant of $\theta$. In this article we extend and generalize both the local homeomorphism result and the elegant determinant identity to analogous situations where the critical points occur with multiplicities. This involves stratifying $\mathbb{C}^n$ according to which coordinates are equal and generalizing $\theta$ to a similar map $\mathbb{C}^\ell \to \mathbb{C}^\ell$ where $\ell$ is the number of distinct critical points. The more complicated determinant identity that we establish is closely connected to the multinomial identity known as Dyson's conjecture.


title: Theory of Weak Identification in Semiparametric Models

abstract: We provide general formulation of weak identification in semiparametric models and an efficiency concept. Weak identification occurs when a parameter is weakly regular, i.e., when it is locally homogeneous of degree zero. When this happens, consistent or equivariant estimation is shown to be impossible. We then show that there exists an underlying regular parameter that fully characterizes the weakly regular parameter. While this parameter is not unique, concepts of sufficiency and minimality help pin down a desirable one. If estimation of minimal sufficient underlying parameters is inefficient, it introduces noise in the corresponding estimation of weakly regular parameters, whence we can improve the estimators by local asymptotic Rao-Blackwellization. We call an estimator weakly efficient if it does not admit such improvement. New weakly efficient estimators are presented in linear IV and nonlinear regression models. Simulation of a linear IV model demonstrates how 2SLS and optimal IV estimators are improved.


title: Exploration-Enhanced POLITEX

abstract: We study algorithms for average-cost reinforcement learning problems with value function approximation. Our starting point is the recently proposed POLITEX algorithm, a version of policy iteration where the policy produced in each iteration is near-optimal in hindsight for the sum of all past value function estimates. POLITEX has sublinear regret guarantees in uniformly-mixing MDPs when the value estimation error can be controlled, which can be satisfied if all policies sufficiently explore the environment. Unfortunately, this assumption is often unrealistic. Motivated by the rapid growth of interest in developing policies that learn to explore their environment in the lack of rewards (also known as no-reward learning), we replace the previous assumption that all policies explore the environment with that a single, sufficiently exploring policy is available beforehand. The main contribution of the paper is the modification of POLITEX to incorporate such an exploration policy in a way that allows us to obtain a regret guarantee similar to the previous one but without requiring that all policies explore environment. In addition to the novel theoretical guarantees, we demonstrate the benefits of our scheme on environments which are difficult to explore using simple schemes like dithering. While the solution we obtain may not achieve the best possible regret, it is the first result that shows how to control the regret in the presence of function approximation errors on problems where exploration is nontrivial. Our approach can also be seen as a way of reducing the problem of minimizing the regret to learning a good exploration policy. We believe that modular approaches like ours can be highly beneficial in tackling harder control problems.


title: Transfinite sequences of topologies, descriptive complexity, and approximating equivalence relations

abstract: We introduce the notion of filtration between topologies and study its stabilization properties. Descriptive set theoretic complexity plays a role in this study. Filtrations lead to natural transfinite sequences approximating a given equivalence relation. We investigate those.


title: K-CONFIG: Using Failing Test Cases to Generate Test Cases in GCC Compilers

abstract: The correctness of compilers is instrumental in the safety and reliability of other software systems, as bugs in compilers can produce programs that do not reflect the intents of programmers. Compilers are complex software systems due to the complexity of optimization. GCC is an optimizing C compiler that has been used in building operating systems and many other system software. In this paper, we describe K-CONFIG, an approach that uses the bugs reported in the GCC repository to generate new test inputs. Our main insight is that the features appearing in the bug reports are likely to reappear in the future bugs, as the bugfixes can be incomplete or those features may be inherently challenging to implement hence more prone to errors. Our approach first clusters the failing test input extracted from the bug reports into clusters of similar test inputs. It then uses these clusters to create configurations for Csmith, the most popular test generator for C compilers. In our experiments on two versions of GCC, our approach could trigger up to 36 miscompilation failures, and 179 crashes, while Csmith with the default configuration did not trigger any failures. This work signifies the benefits of analyzing and using the reported bugs in the generation of new test inputs.


title: Exterior square gamma factors for cuspidal representations of $\mathrm{GL}_n$: simple supercuspidal representations

abstract: We compute the local twisted exterior square gamma factors for simple supercuspidal representations, using which we prove a local converse theorem for simple supercuspidal representations.


title: Capillary condensation in an active bath

abstract: We study capillary condensation in a bath consisting of active Brownian particles (ABPs) and the forces acting on the capillary close to the motility-induced phase separation (MIPS). The capillary is modelled as two parallel rods of high aspect ratio which are fixed in space. We consider a bath of ABPs having a self-propulsion speed much larger than the critical speed necessary for MIPS to occur. For a given particle speed, we gradually increase the packing fraction of ABPs, starting from a homogeneous dilute phase of ABPs and going towards the binodal of MIPS. Depending on the packing fraction of ABPs and capillary width, we find that the effective force between the capillary rods can be either attractive or repulsive. In fact, with increasing width it shows damped oscillations as long as capillary condensation occurs. We analyze them in detail by studying the distribution of particle distances from the inner and outer wall of the capillary, respectively. In addition, we examine the capillary in the active bath prepared under conditions close to the critical point. We do not observe signs of the presence of long-range Casimir interactions.


title: Inferring effective forces for Langevin dynamics using Gaussian processes

abstract: Effective forces -- derived from experimental or {\it in silico} molecular dynamics time traces -- are critical in developing reduced and computationally efficient descriptions of otherwise complex dynamical problems. Thus, designing methods to learn effective forces efficiently from time series data is important. Of equal importance is the fact that methods should be suitable in inferring forces for undersampled regions of the phase space where data are limited. Ideally, a method should {\it a priori} be minimally committal as to the shape of the effective force profile, exploit every data point without reducing data quality through any form of binning or pre-processing, and provide full credible intervals (error bars) about the prediction. So far no method satisfies all three criteria. Here we propose a generalization of the Gaussian process (GP), a key tool in Bayesian nonparametric inference and machine learning, to achieve this for the first time.


title: On the Baum-Connes Conjecture for Groups Acting on CAT(0)-Cubical Spaces

abstract: We give a new proof of the Baum--Connes conjecture with coefficients for any second countable, locally compact topological group that acts properly and cocompactly on a finite-dimensional CAT(0)-cubical space with bounded geometry. The proof uses the Julg-Valette complex of a CAT(0)-cubical space introduced by the first three authors, and the direct splitting method in Kasparov theory developed by the last author.


title: Exploiting Global Camera Network Constraints for Unsupervised Video Person Re-identification

abstract: Many unsupervised approaches have been proposed recently for the video-based re-identification problem since annotations of samples across cameras are time-consuming. However, higher-order relationships across the entire camera network are ignored by these methods, leading to contradictory outputs when matching results from different camera pairs are combined. In this paper, we address the problem of unsupervised video-based re-identification by proposing a consistent cross-view matching (CCM) framework, in which global camera network constraints are exploited to guarantee the matched pairs are with consistency. Specifically, we first propose to utilize the first neighbor of each sample to discover relations among samples and find the groups in each camera. Additionally, a cross-view matching strategy followed by global camera network constraints is proposed to explore the matching relationships across the entire camera network. Finally, we learn metric models for camera pairs progressively by alternatively mining consistent cross-view matching pairs and updating metric models using these obtained matches. Rigorous experiments on two widely-used benchmarks for video re-identification demonstrate the superiority of the proposed method over current state-of-the-art unsupervised methods; for example, on the MARS dataset, our method achieves an improvement of 4.2\% over unsupervised methods, and even 2.5\% over one-shot supervision-based methods for rank-1 accuracy.


title: Gridless Parameter Estimation for One-Bit MIMO Radar with Time-Varying Thresholds

abstract: We investigate the one-bit MIMO (1b-MIMO) radar that performs one-bit sampling with a time-varying threshold in the temporal domain and employs compressive sensing in the spatial and Doppler domains. The goals are to significantly reduce the hardware cost, energy consumption, and amount of stored data. The joint angle and Doppler frequency estimations from noisy one-bit data are studied. By showing that the effect of noise on one-bit sampling is equivalent to that of sparse impulsive perturbations, we formulate the one-bit $\ell_1$-regularized atomic-norm minimization (1b-ANM-L1) problem to achieve gridless parameter estimation with high accuracy. We also develop an iterative method for solving the 1b-ANM-L1 problem via the alternating direction method of multipliers. The Cram$\acute{\text{e}}$r-Rao bound (CRB) of the 1b-MIMO radar is analyzed, and the analytical performance of one-bit sampling with two different threshold strategies is discussed. Numerical experiments are presented to show that the 1b-MIMO radar can achieve high-resolution parameter estimation with a largely reduced amount of data.


title: Unit Level Modeling of Survey Data for Small Area Estimation Under Informative Sampling: A Comprehensive Overview with Extensions

abstract: Model-based small area estimation is frequently used in conjunction with survey data in order to establish estimates for under-sampled or unsampled geographies. These models can be specified at either the area-level, or the unit-level, but unit-level models often offer potential advantages such as more precise estimates and easy spatial aggregation. Nevertheless, relative to area-level models, literature on unit-level models is less prevalent. In modeling small areas at the unit level, challenges often arise as a consequence of the informative sampling mechanism used to collect the survey data. This paper provides a comprehensive methodological review for unit-level models under informative sampling, with an emphasis on Bayesian approaches. To provide insight into the differences between methods, we conduct a simulation study that compares several of the described approaches. In addition, the methods used for simulation are further illustrated through an application to the American Community Survey. Finally, we present several extensions and areas for future research.


title: Domain-Agnostic Learning with Anatomy-Consistent Embedding for Cross-Modality Liver Segmentation

abstract: Domain Adaptation (DA) has the potential to greatly help the generalization of deep learning models. However, the current literature usually assumes to transfer the knowledge from the source domain to a specific known target domain. Domain Agnostic Learning (DAL) proposes a new task of transferring knowledge from the source domain to data from multiple heterogeneous target domains. In this work, we propose the Domain-Agnostic Learning framework with Anatomy-Consistent Embedding (DALACE) that works on both domain-transfer and task-transfer to learn a disentangled representation, aiming to not only be invariant to different modalities but also preserve anatomical structures for the DA and DAL tasks in cross-modality liver segmentation. We validated and compared our model with state-of-the-art methods, including CycleGAN, Task Driven Generative Adversarial Network (TD-GAN), and Domain Adaptation via Disentangled Representations (DADR). For the DA task, our DALACE model outperformed CycleGAN, TD-GAN ,and DADR with DSC of 0.847 compared to 0.721, 0.793 and 0.806. For the DAL task, our model improved the performance with DSC of 0.794 from 0.522, 0.719 and 0.742 by CycleGAN, TD-GAN, and DADR. Further, we visualized the success of disentanglement, which added human interpretability of the learned meaningful representations. Through ablation analysis, we specifically showed the concrete benefits of disentanglement for downstream tasks and the role of supervision for better disentangled representation with segmentation consistency to be invariant to domains with the proposed Domain-Agnostic Module (DAM) and to preserve anatomical information with the proposed Anatomy-Preserving Module (APM).


title: An Enterprise Control Assessment Case Study of the Energy-Water Nexus for the ISO New England System

abstract: The electric power generation mix of ISO New England (ISO-NE) is fundamentally changing. Nuclear, coal, and oil generation facilities are retiring while natural gas, solar, and wind generation are being adopted to replace them. Variable renewable energy (VREs) such as solar and wind present multiple operational challenges that require new and innovative changes to how the electricity grid is managed and controlled. Within the context of a New England case study, this paper looks at ways in which the water supply systems (water and wastewater treatment), and water dependent electricity generating resources (hydro, and thermal power plants) can be operated flexibly to help balance energy in an evolving grid. The study's methodology employs the novel but now well published Electric Power Enterprise Control System (EPECS) simulator to study the electric power systems operation, and the System-Level Generic Model (SGEM) to study the associated water consumption and withdrawals. This work studies six potential 2040 scenarios for the energy-water nexus of the ISO-NE system. It presents a holistic analysis that quantifies power system imbalances, normal operating reserves, energy market production costs, and water withdrawal and consumption figures. For scenarios with a high penetration of VREs, the study shows great potential of water resources to enhance grid flexibility through the provision of load-following, ramping, and regulation reserves by water resources. The work also provides significant insights on how to jointly control the water and energy supply systems to aid in their synergistic integration.


title: Interval-Permutation Segment Graphs

abstract: In this work, we introduce the \emph{interval permutation segment (IP-SEG)} model that naturally generalizes the geometric intersection models of interval and permutation graphs. We study properties of two graph classes that arise from the IP-SEG model and present a family of forbidden subgraphs for these classes. In addition, we present polynomial algorithms for the clique and independent set problems on these classes, when the model is given as part of the input.


title: Self-Parametrizing System-Focused Atomistic Models

abstract: Computational studies of chemical reactions in complex environments such as proteins, nanostructures, or on surfaces require accurate and efficient atomistic models applicable to the nanometer scale. In general, an accurate parametrization of the atomistic entities will not be available for arbitrary system classes, but demands a fast automated system-focused parametrization procedure to be quickly applicable, reliable, flexible, and reproducible. Here, we develop and combine an automatically parametrizable quantum chemically derived molecular mechanics model with machine-learned corrections under autonomous uncertainty quantification and refinement. Our approach first generates an accurate, physically motivated model from a minimum energy structure and its corresponding Hessian matrix by a partial Hessian fitting procedure of the force constants. This model is then the starting point to generate a large number of configurations for which additional off-minimum reference data can be evaluated on the fly. A $\Delta$-machine learning model is trained on these data to provide a correction to energies and forces including uncertainty estimates. During the procedure, the flexibility of the machine learning model is tailored to the amount of available training data. The parametrization of large systems is enabled by a fragmentation approach. Due to their modular nature, all model construction steps allow for model improvement in a rolling fashion. Our approach may also be employed for the generation of system-focused electrostatic molecular mechanics embedding environments in a quantum-mechanical/molecular-mechanical hybrid model for arbitrary atomistic structures at the nanoscale.

categories: physics.chem-ph cond-mat.mes-hall physics.bio-ph physics.comp-ph


title: The Function Representation of Artificial Neural Network

abstract: This paper expresses the structure of artificial neural network (ANN) as a functional form, using the activation integral concept derived from the activation function. In this way, the structure of ANN can be represented by a simple function, and it is possible to find the mathematical solutions of ANN. Thus, it can be recognized that the current ANN can be placed in a more reasonable framework. Perhaps all questions about ANN will be eliminated.


title: A Systematic Study to Improve the Performance of SrCoO3 as anAnion-Intercalation-Type Electrode for Supercapacitors Through Interface, Oxygen Vacancies, and Doping

abstract: Supercapacitors have recently gained popularity as possible energy storage systems due to their high cycling ability and increased power density. However, one of the major drawbacks of supercapacitors is that they have a low energy density, which makes them less effective than batteries. Herein, we explore different methods of increasing the supercapacitor performance of the perovskite SrCoO3. We carry out first-principles calculations to systematically study how SrCoO3/graphene interface, oxygen vacancies, and doping improve the performance of strontium cobaltite as an anion-intercalation-type supercapacitor. The results show that the SrCoO3/graphene interface is relatively stable with a formation energy of 1.3 eV and is highly conductive, which makes it a promising material for supercapacitors. We also find that inducing oxygen vacancies in SrCoO3 significantly increases the conductivity of this material. Results of doping calculations reveal that doping with Mo, V, P, and Nb all increase the stability and conductivity of SrCoO3. We find that niobium is the most stable and most conductive of all four dopants. In addition, we find that vanadium is a very promising novel dopant for SrCoO3 as an anion-intercalation-type supercapacitor electrode material.


title: The effect of Maxwellian fluid on wave propagation in porous media

abstract: This study investigates the effect of a Maxwellian fluid on the propagation of waves in poroelastic media. Based on a fractional derivative stress-strain relation, a viscous dissipation function is obtained to measure the viscoelastic fluid-solid coupling effect. With the viscous dissipation function, elastic waves propagation is formulated in poroelastic media saturated by a fractional derivative Maxwellian fluid, and the analytical expression of the P- and S-wave dispersion/attenuation is presented. Numerical examples show that the fractional derivative Maxwell strain-stress relation has a significant influence on wave velocities and causes the fluid-solid coupling transition from a dissipative regime to an elastic regime. In addition, the predicted fluid velocities are consistent with the laboratory observations of viscoelastic fluids under an oscillating pressure gradient. The results indicate that a viscous-elastic fluid effect may account for the velocity oscillation observed in laboratory. The method elucidates dynamical differences for viscous and viscoelastic fluid in porous medium, which may be of great importance to unconventional oil/gas exploration industry as well as theoretical researches.


title: Local rigidity of parabolic algebraic actions

abstract: We show $C^\infty$ local rigidity for a broad class of abelian unipotent algebraic actions on homogeneous spaces of semisimple Lie groups. The method of proof is a combination of KAM type iteration scheme and representation theory. This is the first time in literature (strong) local rigidity for parabolic actions is addressed.


title: On the (In)security of Bluetooth Low Energy One-Way Secure Connections Only Mode

abstract: To defeat security threats such as man-in-the-middle (MITM) attacks, Bluetooth Low Energy (BLE) 4.2 and 5.x introduce the Secure Connections Only mode, under which a BLE device accepts only secure paring protocols including Passkey Entry and Numeric Comparison from an initiator, e.g., an Android mobile. However, the BLE specification does not explicitly require the Secure Connection Only mode of the initiator. Taking the Android's BLE programming framework for example, we found that it cannot enforce secure pairing, invalidating the security protection provided by the Secure Connection Only mode. The same problem applies to Apple iOS too. Specifically, we examine the life cycle of a BLE pairing process in Android and identify four severe design flaws. These design flaws can be exploited by attackers to perform downgrading attacks, forcing the BLE pairing protocols to run in the insecure mode without the users' awareness. To validate our findings, we selected and tested 18 popular BLE commercial products and our experimental results proved that downgrading attacks and MITM attacks were all possible to these products. All 3501 BLE apps from Androzoo are also subject to these attacks. For defense, we have designed and implemented a prototype of the Secure Connection Only mode on Android 8 through the Android Open Source Project (AOSP). We have reported the identified BLE pairing vulnerabilities to Bluetooth Special Interest Group (SIG), Google, Apple, Texas Instruments (TI) and all of them are actively addressing this issue. Google rated the reported security flaw a High Severity.


title: Detection of Backdoors in Trained Classifiers Without Access to the Training Set

abstract: Recently, a special type of data poisoning (DP) attack targeting Deep Neural Network (DNN) classifiers, known as a backdoor, was proposed. These attacks do not seek to degrade classification accuracy, but rather to have the classifier learn to classify to a target class whenever the backdoor pattern is present in a test example. Launching backdoor attacks does not require knowledge of the classifier or its training process - it only needs the ability to poison the training set with (a sufficient number of) exemplars containing a sufficiently strong backdoor pattern (labeled with the target class). Here we address post-training detection of backdoor attacks in DNN image classifiers, seldom considered in existing works, wherein the defender does not have access to the poisoned training set, but only to the trained classifier itself, as well as to clean examples from the classification domain. This is an important scenario because a trained classifier may be the basis of e.g. a phone app that will be shared with many users. Detecting backdoors post-training may thus reveal a widespread attack. We propose a purely unsupervised anomaly detection (AD) defense against imperceptible backdoor attacks that: i) detects whether the trained DNN has been backdoor-attacked; ii) infers the source and target classes involved in a detected attack; iii) we even demonstrate it is possible to accurately estimate the backdoor pattern. We test our AD approach, in comparison with alternative defenses, for several backdoor patterns, data sets, and attack settings and demonstrate its favorability. Our defense essentially requires setting a single hyperparameter (the detection threshold), which can e.g. be chosen to fix the system's false positive rate.


title: On computing the nonlinearity interval in parametric semidefinite optimization

abstract: This paper revisits the parametric analysis of semidefinite optimization problems with respect to the perturbation of the objective function along a fixed direction. We review the notions of invariancy set, nonlinearity interval, and transition point of the optimal partition, and we investigate their characterizations. We show that the set of transition points is finite and the continuity of the optimal set mapping, on the basis of Painlev\'e-Kuratowski set convergence, might fail on a nonlinearity interval. Under a local nonsingularity condition, we then develop a methodology, stemming from numerical algebraic geometry, to efficiently compute nonlinearity intervals and transition points of the optimal partition. Finally, we support the theoretical results by applying our procedure to some numerical examples.