title: Average Dark Matter Halo Sparsity Relations as Consistency Check of Mass Estimates in Galaxy Cluster Samples

abstract: The dark matter halo sparsity provides a direct observational proxy of the halo mass profile, characterizing halos in terms of the ratio of masses within radii which enclose two different overdensities. Previous numerical simulation analyses have shown that at a given redshift the halo sparsity carries cosmological information encoded in the halo mass profile. Moreover, its ensemble averaged value can be inferred from prior knowledge of the halo mass function at the overdensities of interest. Here, we present a detailed study of the ensemble average properties of the halo sparsity. In particular, using halo catalogs from high-resolution N-body simulations, we show that its ensemble average value can be estimated from the ratio of the averages of the inverse halo masses as well as the ratio of the averages of the halo masses at the overdensity of interests. This can be relevant for galaxy clusters data analyses. As an example, we have estimated the average sparsity properties of galaxy clusters from the LoCuSS and HIFLUGCS datasets respectively. The results suggest that the expected consistency of the different average sparsity estimates can provide a test of the robustness of mass measurements in galaxy cluster samples.


title: Lightweight Real-time Makeup Try-on in Mobile Browsers with Tiny CNN Models for Facial Tracking

abstract: Recent works on convolutional neural networks (CNNs) for facial alignment have demonstrated unprecedented accuracy on a variety of large, publicly available datasets. However, the developed models are often both cumbersome and computationally expensive, and are not adapted to applications on resource restricted devices. In this work, we look into developing and training compact facial alignment models that feature fast inference speed and small deployment size, making them suitable for applications on the aforementioned category of devices. Our main contribution lies in designing such small models while maintaining high accuracy of facial alignment. The models we propose make use of light CNN architectures adapted to the facial alignment problem for accurate two-stage prediction of facial landmark coordinates from low-resolution output heatmaps. We further combine the developed facial tracker with a rendering method, and build a real-time makeup try-on demo that runs client-side in smartphone Web browsers. More results and demo are in our project page: http://research.modiface.com/makeup-try-on-cvprw2019/


title: Rational points and derived equivalence

abstract: We give the first examples of derived equivalences between varieties defined over non-closed fields where one has a rational point and the other does not. We begin with torsors over Jacobians of curves over Q and F_q(t), and conclude with a pair of hyperkaehler 4-folds over Q. The latter is independently interesting as a new example of a transcendental Brauer-Manin obstruction to the Hasse principle.


title: Induced correlations and rupture of molecular chaos by anisotropic dissipative Janus hard disks

abstract: A system of smooth "frozen" Janus-type disks is studied. Such disks cannot rotate and are divided by their diameter into two sides of different inelasticities. Taking as a reference a system of colored elastic disks, we find differences in the behavior of the collisions once the anisotropy is included. A homogeneous state, akin to the homogeneous cooling state of granular gases, is seen to arise and the singular behavior of both the collisions and the precollisional correlations are highlighted.


title: Experimental simultaneous read out of the real and imaginary parts of the weak value

abstract: The weak value, the average result of a weak measurement, has proven useful for probing quantum and classical systems. Examples include the amplification of small signals, investigating quantum paradoxes, and elucidating fundamental quantum phenomena such as geometric phase. A key characteristic of the weak value is that it can be complex, in contrast to a standard expectation value. However, typically only either the real or imaginary component of the weak value is determined in a given experimental setup. Weak measurements can be used to, in a sense, simultaneously measure non-commuting observables. This principle was used in the direct measurement of the quantum wavefunction. However, the wavefunction's real and imaginary components, given by a weak value, are determined in different setups or on separate ensembles of systems, putting the procedure's directness in question. To address these issues, we introduce and experimentally demonstrate a general method to simultaneously read out both components of the weak value in a single experimental apparatus. In particular, we directly measure the polarization state of an ensemble of photons using weak measurement. With our method, each photon contributes to both the real and imaginary parts of the weak-value average. On a fundamental level, this suggests that the full complex weak value is a characteristic of each photon measured.


title: Estimates for the number of rational points on simple abelian varieties over finite fields

abstract: Let $A$ be a simple abelian variety of dimension $g$ over the field $\mathbb{F}_q$. The paper provides improvements on the Weil estimates for the size of $A(\mathbb{F}_q)$. For an arbitrary value of $q$ we prove $(\lfloor(\sqrt{q}-1)^2 \rfloor + 1)^g \leqslant A(\mathbb{F}_q) \leqslant (\lceil(\sqrt{q}+1)^2 \rceil - 1)^{g}$ holds with finitely many exceptions. We compute improved bounds for various small values of $q$. For instance, the Weil bounds for $q=3,4$ give a trivial estimate $A(\mathbb{F}_q) \geqslant 1$; we prove $A(\mathbb{F}_3) \geqslant 1.359^g$ and $A(\mathbb{F}_4) \geqslant 2.275^g$ hold with finitely many exceptions. We use these results to describe all abelian varieties over finite fields that have no new points in some finite field extension.


title: Robust Change Detection for Large-Scale Data Streams

abstract: Robust change-point detection for large-scale data streams has many real-world applications in industrial quality control, signal detection, biosurveillance. Unfortunately, it is highly non-trivial to develop efficient schemes due to three challenges: (1) the unknown sparse subset of affected data streams, (2) the unexpected outliers, and (3) computational scalability for real-time monitoring and detection. In this article, we develop a family of efficient real-time robust detection schemes for monitoring large-scale independent data streams. For each data stream, we propose to construct a new local robust detection statistic called $L_{\alpha}$-CUSUM statistic that can reduce the effect of outliers by using the Box-Cox transformation of the likelihood function. Then the global scheme will raise an alarm based upon the sum of the shrinkage transformation of these local $L_{\alpha}$-CUSUM statistics so as to filter out unaffected data streams. In addition, we propose a new concept called {\em false alarm breakdown point} to measure the robustness of online monitoring schemes and propose a worst-case detection efficiency score to measure the detection efficiency when the data contain outliers. We then characterize the breakdown point and the efficiency score of our proposed schemes. Asymptotic analysis and numerical simulations are conducted to illustrate the robustness and efficiency of our proposed schemes.


title: Sidewalk and Toronto: Critical Systems Heuristics and the Smart City

abstract: `Smart cities', urban development projects that design computational systems and sensory technology to monitor activity and regulate energy consumption and resource distribution, are a frontier for the prospective deployment of ICTs for sustainability. Often reduced to technological problems of optimization, these projects have implications far beyond narrow environmental and consumptive frames of sustainability. Studying them requires frameworks that support us in examining technological and environmental sustainability dimensions jointly with social justice perspectives. This paper uses Critical Systems Heuristics (CSH) to examine the design of Sidewalk Toronto, an ongoing smart city development. We explore how the professed values guiding the project are contentiously enacted, and we argue that key stakeholders and beneficiaries in the planning process significantly constrain the emancipatory and transformative potential of the project by marginalizing the role of residents in determining project purposes. This analysis contributes an example that illustrates the relevance of critical systems thinking in ICT4S and offers CSH as a conceptual frame that supports critical reflection on the tensions between the visions and realities of `sustainable' ways of organizing human life.


title: Nonminimal Lorentz Violation in Linearized Gravity

abstract: This contribution to the CPT'19 meeting provides a brief overview of recent theoretical studies of nonminimal Lorentz violation in linearized gravity. Signatures in gravitational waves from coalescing compact binaries are discussed.


title: Absence of hindrance in microscopic $^{12}$C+$^{12}$C fusion study

abstract: Background: Studies of low-energy fusion of light nuclei are important in astrophysical modeling, with small variations in reaction rates having a large impact on nucleosynthesis yields. Due to the lack of experimental data at astrophysical energies, extrapolation and microscopic methods are needed to model fusion probabilities. Purpose: To investigate deep sub-barrier $^{12}$C+$^{12}$C fusion cross sections and establish trends for the $S$ factor. Method: Microscopic methods based on static Hartree-Fock (HF) and time-dependent Hartree-Fock (TDHF) mean-field theory are used to obtain $^{12}$C+$^{12}$C ion-ion fusion potentials. Fusion cross sections and astrophysical $S$ factors are then calculated using the incoming wave boundary condition (IWBC) method. Results: Both density-constrained frozen Hartree-Fock (DCFHF) and density-constrained TDHF (DC-TDHF) predict a rising $S$ factor at low energies, with DC-TDHF predicting a slight damping in the deep sub-barrier region ($\approx1$~MeV). Comparison between DC-TDHF calculations and maximum experimental cross-sections in the resonance peaks are good. However the discrepancy in experimental low energy results inhibits interpretation of the trend. Conclusions: Using the fully microscopic DCFHF and DC-TDHF methods, no $S$ factor maximum is observed in the $^{12}$C+$^{12}$C fusion reaction. In addition, no extreme sub-barrier hindrance is predicted at low energies. The development of a microscopic theory of fusion including resonance effects, as well as further experiments at lower energies must be done before the deep sub-barrier behavior of the reaction can be established.


title: Bayesian Wavelet-packet Historical Functional Linear Models

abstract: Historical Functional Linear Models (HFLM) quantify associations between a functional predictor and functional outcome where the predictor is an exposure variable that occurs before, or at least concurrently with, the outcome. Current work on the HFLM is largely limited to frequentist estimation techniques that employ spline-based basis representations. In this work, we propose a novel use of the discrete wavelet-packet transformation, which has not previously been used in functional models, to estimate historical relationships in a fully Bayesian model. Since inference has not been an emphasis of the existing work on HFLMs, we also employ two established Bayesian inference procedures in this historical functional setting. We investigate the operating characteristics of our wavelet-packet HFLM, as well as the two inference procedures, in simulation and use the model to analyze data on the impact of lagged exposure to particulate matter finer than 2.5$\mu$g on heart rate variability in a cohort of journeyman boilermakers over the course of a day's shift.


title: Holomorphic functions with large cluster sets

abstract: We study linear and algebraic structures in sets of bounded holomorphic functions on the ball which have large cluster sets at every possible point (i.e., every point on the sphere in several complex variables and every point of the closed unit ball of the bidual in the infinite dimensional case). We show that this set is strongly c-algebrable for all separable Banach spaces. For specific spaces including lp or duals of Lorentz sequence spaces, we have strongly c-algebrability and spaceability even for the subalgebra of uniformly continuous holomorphic functions on the ball.


title: One-dimensional exponential families with constant Hessian scalar curvature

abstract: We give a complete classification of 1-dimensional exponential families $\mathcal{E}$ defined over a finite space $\Omega=\{x_{0}, ...,x_{n}\}$ whose Hessian scalar curvature is constant. We observe an interesting phenomenon: if $\mathcal{E}$ has constant Hessian scalar curvature, say $\lambda$, then $\lambda=\tfrac{2}{k}$ for some positive integer $k\leq m$. We also discuss the central role played by the binomial distribution in this classification.


title: Robustness and Tractability for Non-convex M-estimators

abstract: We investigate two important properties of M-estimator, namely, robustness and tractability, in linear regression setting, when the observations are contaminated by some arbitrary outliers. Specifically, robustness means the statistical property that the estimator should always be close to the underlying true parameters {\em regardless of the distribution of the outliers}, and tractability indicates the computational property that the estimator can be computed efficiently, even if the objective function of the M-estimator is {\em non-convex}. In this article, by learning the landscape of the empirical risk, we show that under mild conditions, many M-estimators enjoy nice robustness and tractability properties simultaneously, when the percentage of outliers is small. We further extend our analysis to the high-dimensional setting, where the number of parameters is greater than the number of samples, $p \gg n$, and prove that when the proportion of outliers is small, the penalized M-estimators with {\em $L_1$} penalty will enjoy robustness and tractability simultaneously. Our research provides an analytic approach to see the effects of outliers and tuning parameters on the robustness and tractability for some families of M-estimators. Simulation and case study are presented to illustrate the usefulness of our theoretical results for M-estimators under Welsch's exponential squared loss.


title: The EDGE-CALIFA Survey: Exploring the Star Formation Law through Variable Selection

abstract: We present a multilinear analysis to determine the significant predictors of star formation in galaxies using the combined EDGE-CALIFA sample of galaxies. We analyze 1845 kpc-scale lines of sight across 39 galaxies with molecular line emission measurements from EDGE combined with optical IFU data drawn from CALIFA. We use the Least Absolute Shrinkage and Selection Operator (LASSO) to identify significant factors in predicting star formation rates. We find that the local star formation rate surface density is increased by higher molecular gas surface densities and stellar surface densities. In contrast, we see lower star formation rates in systems with older stellar populations, higher gas- and stellar-phase metallicities and larger galaxy masses. We also find a significant increase in star formation rate with galactocentric radius normalized by the disk scale length, which suggests additional parameters regulating star formation rate not explored in this study.


title: About one interesting and important model in quantum mechanics I. Dynamic decription

abstract: In this paper the detailed investigation of one of the most interested models in the non relativistic quantum mechanics of one massive particle i.e., introduced by G. Poeschl and E. Teller in 1933 is presented. This model includes as particular cases two most popular and valuable models: the quasi free particle in the box with impenetrable hard walls (i.e., the model with confinement) and Bloch quantum harmonic oscillator, which is unconfined in space; both models are frequently and effectively exploited in modern nanotechnology e.g., in quantum dots and magnetic traps. We give the extensive and elementary exposition of the potentials, wave functions and energetic spectra of all these interconnected models. Moreover, the pressure operator is defined following the lines of G. Helmann and R. Feynman which were the first who introduced this idea in the late 30ies in quantum chemistry. By these means the baroenergetic equation of state is obtained and analyzed for all three models; in particular, it is shown the absence of the pressure for the Bloch oscillator due to the infinite width of the box. The generalization of these results on the case of nonzero temperature will be given later.


title: Continuous Control for Automated Lane Change Behavior Based on Deep Deterministic Policy Gradient Algorithm

abstract: Lane change is a challenging task which requires delicate actions to ensure safety and comfort. Some recent studies have attempted to solve the lane-change control problem with Reinforcement Learning (RL), yet the action is confined to discrete action space. To overcome this limitation, we formulate the lane change behavior with continuous action in a model-free dynamic driving environment based on Deep Deterministic Policy Gradient (DDPG). The reward function, which is critical for learning the optimal policy, is defined by control values, position deviation status, and maneuvering time to provide the RL agent informative signals. The RL agent is trained from scratch without resorting to any prior knowledge of the environment and vehicle dynamics since they are not easy to obtain. Seven models under different hyperparameter settings are compared. A video showing the learning progress of the driving behavior is available. It demonstrates the RL vehicle agent initially runs out of road boundary frequently, but eventually has managed to smoothly and stably change to the target lane with a success rate of 100% under diverse driving situations in simulation.


title: An Imitation Learning Approach to Unsupervised Parsing

abstract: Recently, there has been an increasing interest in unsupervised parsers that optimize semantically oriented objectives, typically using reinforcement learning. Unfortunately, the learned trees often do not match actual syntax trees well. Shen et al. (2018) propose a structured attention mechanism for language modeling (PRPN), which induces better syntactic structures but relies on ad hoc heuristics. Also, their model lacks interpretability as it is not grounded in parsing actions. In our work, we propose an imitation learning approach to unsupervised parsing, where we transfer the syntactic knowledge induced by the PRPN to a Tree-LSTM model with discrete parsing actions. Its policy is then refined by Gumbel-Softmax training towards a semantically oriented objective. We evaluate our approach on the All Natural Language Inference dataset and show that it achieves a new state of the art in terms of parsing $F$-score, outperforming our base models, including the PRPN.


title: A Data Driven Method of Feedforward Compensator Optimization for Autonomous Vehicle Control

abstract: A reliable controller is critical for execution of safe and smooth maneuvers of an autonomous vehicle. The controller must be robust to external disturbances, such as road surface, weather, wind conditions, and so on. It also needs to deal with internal variations of vehicle sub-systems, including powertrain inefficiency, measurement errors, time delay, etc. These factors introduce issues in controller performance. In this paper, a feed-forward compensator is designed via a data-driven method to model and optimize the controller performance. Principal Component Analysis (PCA) is applied for extracting influential features, after which a Time Delay Neural Network is adopted to predict control errors over a future time horizon. Based on the predicted error, a feedforward compensator is then designed to improve control performance. Simulation results in different scenarios show that, with the help of with the proposed feedforward compensator, the maximum path tracking error and the steering wheel angle oscillation are improved by 44.4% and 26.7%, respectively.


title: On the Cosmological Evolution of Long Gamma-ray Burst Properties

abstract: We examine the relationship between a number of long gamma-ray burst (lGRB) properties (isotropic emitted energy, luminosity, intrinsic duration, jet opening angle) and redshift. We find that even when accounting for conservative detector flux limits, there appears to be a significant correlation between isotropic equivalent energy and redshift, suggesting cosmological evolution of the lGRB progenitor. Analyzing a sub-sample of lGRBs with jet opening angle estimates, we find the beaming-corrected lGRB emitted energy does not correlate with redshift, but jet opening angle does. Additionally, we find a statistically significant anti-correlation between the intrinsic prompt duration and redshift, even when accounting for potential selection effects. We also find that - for a given redshift - isotropic energy is positively correlated with intrinsic prompt duration. None of these GRB properties appear to be correlated with galactic offset. From our selection-effect-corrected redshift distribution, we estimate a co-moving rate density for lGRBs, and compare this to the global cosmic star formation rate (SFR). We find the lGRB rate mildly exceeds the global star formation rate between a redshift of 3 and 5, and declines rapidly at redshifts above this (although we cannot constrain the lGRB rate above a redshift of about 6 due to sample incompleteness). We find the lGRB rate diverges significantly from the SFR at lower redshifts. We discuss both the correlations and lGRB rate density in terms of various lGRB progenitor models and their apparent preference for low-metallicity environments.


title: Investigation of Cyber Attacks on a Water Distribution System

abstract: A Cyber Physical System (CPS) consists of cyber components for computation and communication, and physical components such as sensors and actuators for process control. These components are networked and interact in a feedback loop. CPS are found in critical infrastructure such as water distribution, power grid, and mass transportation. Often these systems are vulnerable to attacks as the cyber components such as Supervisory Control and Data Acquisition workstations, Human Machine Interface and Programmable Logic Controllers are potential targets for attackers. In this work, we report a study to investigate the impact of cyber attacks on a water distribution (WADI) system. Attacks were designed to meet attacker objectives and launched on WADI using a specially designed tool. This tool enables the launch of single and multi-point attacks where the latter are designed to specifically hide one or more attacks. The outcome of the experiments led to a better understanding of attack propagation and behavior of WADI in response to the attacks as well as to the design of an attack detection mechanism for water distribution system.


title: Deep Q-Learning for Directed Acyclic Graph Generation

abstract: We present a method to generate directed acyclic graphs (DAGs) using deep reinforcement learning, specifically deep Q-learning. Generating graphs with specified structures is an important and challenging task in various application fields, however most current graph generation methods produce graphs with undirected edges. We demonstrate that this method is capable of generating DAGs with topology and node types satisfying specified criteria in highly sparse reward environments.


title: Learning Shape Representation on Sparse Point Clouds for Volumetric Image Segmentation

abstract: Volumetric image segmentation with convolutional neural networks (CNNs) encounters several challenges, which are specific to medical images. Among these challenges are large volumes of interest, high class imbalances, and difficulties in learning shape representations. To tackle these challenges, we propose to improve over traditional CNN-based volumetric image segmentation through point-wise classification of point clouds. The sparsity of point clouds allows processing of entire image volumes, balancing highly imbalanced segmentation problems, and explicitly learning an anatomical shape. We build upon PointCNN, a neural network proposed to process point clouds, and propose here to jointly encode shape and volumetric information within the point cloud in a compact and computationally effective manner. We demonstrate how this approach can then be used to refine CNN-based segmentation, which yields significantly improved results in our experiments on the difficult task of peripheral nerve segmentation from magnetic resonance neurography images. By synthetic experiments, we further show the capability of our approach in learning an explicit anatomical shape representation.


title: Enhancing Gradient-based Attacks with Symbolic Intervals

abstract: Recent breakthroughs in defenses against adversarial examples, like adversarial training, make the neural networks robust against various classes of attackers (e.g., first-order gradient-based attacks). However, it is an open question whether the adversarially trained networks are truly robust under unknown attacks. In this paper, we present interval attacks, a new technique to find adversarial examples to evaluate the robustness of neural networks. Interval attacks leverage symbolic interval propagation, a bound propagation technique that can exploit a broader view around the current input to locate promising areas containing adversarial instances, which in turn can be searched with existing gradient-guided attacks. We can obtain such a broader view using sound bound propagation methods to track and over-approximate the errors of the network within given input ranges. Our results show that, on state-of-the-art adversarially trained networks, interval attack can find on average 47% relatively more violations than the state-of-the-art gradient-guided PGD attack.


title: Improving RetinaNet for CT Lesion Detection with Dense Masks from Weak RECIST Labels

abstract: Accurate, automated lesion detection in Computed Tomography (CT) is an important yet challenging task due to the large variation of lesion types, sizes, locations and appearances. Recent work on CT lesion detection employs two-stage region proposal based methods trained with centroid or bounding-box annotations. We propose a highly accurate and efficient one-stage lesion detector, by re-designing a RetinaNet to meet the particular challenges in medical imaging. Specifically, we optimize the anchor configurations using a differential evolution search algorithm. For training, we leverage the response evaluation criteria in solid tumors (RECIST) annotation which are measured in clinical routine. We incorporate dense masks from weak RECIST labels, obtained automatically using GrabCut, into the training objective, which in combination with other advancements yields new state-of-the-art performance. We evaluate our method on the public DeepLesion benchmark, consisting of 32,735 lesions across the body. Our one-stage detector achieves a sensitivity of 90.77% at 4 false positives per image, significantly outperforming the best reported methods by over 5%.


title: On well-posedness of generalized Hall-magneto-hydrodynamics

abstract: We obtain local well-posedness result for the generalized Hall-magneto-hydrodynamics system in Besov spaces ${\dot B^{-(2\alpha_1-\gamma)}_{\infty, \infty}} \times {\dot B^{-(2\alpha_2-\beta)}_{\infty,\infty}(\mathbb R^3)}$ with suitable indexes $\alpha_1, \alpha_2, \beta$ and $\gamma.$ As a corollary, the generalized electron magneto-hydrodynamics system is globally well-posed in ${\dot B^{-(2\alpha_2-2)}}_{\infty, \infty}(\mathbb R^3)$ for small initial data.


title: SParC: Cross-Domain Semantic Parsing in Context

abstract: We present SParC, a dataset for cross-domainSemanticParsing inContext that consists of 4,298 coherent question sequences (12k+ individual questions annotated with SQL queries). It is obtained from controlled user interactions with 200 complex databases over 138 domains. We provide an in-depth analysis of SParC and show that it introduces new challenges compared to existing datasets. SParC demonstrates complex contextual dependencies, (2) has greater semantic diversity, and (3) requires generalization to unseen domains due to its cross-domain nature and the unseen databases at test time. We experiment with two state-of-the-art text-to-SQL models adapted to the context-dependent, cross-domain setup. The best model obtains an exact match accuracy of 20.2% over all questions and less than10% over all interaction sequences, indicating that the cross-domain setting and the con-textual phenomena of the dataset present significant challenges for future research. The dataset, baselines, and leaderboard are released at https://yale-lily.github.io/sparc.


title: A Generic Synchronous Dataflow Architecture to Rapidly Prototype and Deploy Robot Controllers

abstract: The paper presents a software architecture to optimize the process of prototyping and deploying robot controllers that are synthesized using model-based design methodologies. The architecture is composed of a framework and a pipeline. Therefore, the contribution of the paper is twofold. First, we introduce an open-source actor-oriented framework that abstracts the common robotic uses of middlewares, optimizers, and simulators. Using this framework, we then present a pipeline that implements the model-based design methodology. The components of the proposed framework are generic, and they can be interfaced with any tool supporting model-based design. We demonstrate the effectiveness of the approach describing the application of the resulting synchronous dataflow architecture to the design of a balancing controller for the YARP-based humanoid robot iCub. This example exploits the interfacing with Simulink and Simulink Coder.


title: Automated Machine Learning: State-of-The-Art and Open Challenges

abstract: With the continuous and vast increase in the amount of data in our digital world, it has been acknowledged that the number of knowledgeable data scientists can not scale to address these challenges. Thus, there was a crucial need for automating the process of building good machine learning models. In the last few years, several techniques and frameworks have been introduced to tackle the challenge of automating the process of Combined Algorithm Selection and Hyper-parameter tuning (CASH) in the machine learning domain. The main aim of these techniques is to reduce the role of the human in the loop and fill the gap for non-expert machine learning users by playing the role of the domain expert. In this paper, we present a comprehensive survey for the state-of-the-art efforts in tackling the CASH problem. In addition, we highlight the research work of automating the other steps of the full complex machine learning pipeline (AutoML) from data understanding till model deployment. Furthermore, we provide comprehensive coverage for the various tools and frameworks that have been introduced in this domain. Finally, we discuss some of the research directions and open challenges that need to be addressed in order to achieve the vision and goals of the AutoML process.


title: High-precision characterization of the neutron light output of stilbene along the directions of maximum and minimum response

abstract: The scintillation light output response of stilbene crystals has been measured for protons recoiling along the \textit{a}, \textit{b}, and \textit{c'} crystalline axes with energies between 1.3 and 10 MeV using neutrons produced with the tandem Van de Graaff accelerator at Triangle Universities Nuclear Laboratory. The proton recoil energy and direction were measured using the coincident detection of neutrons between a stilbene scintillator and an array of EJ-309 liquid scintillators spanning arranged neutron recoil angles. The maximum light output was found to coincide with proton recoils along the \textit{a}-axis, in disagreement with other published measurements, which reported the \textit{b}-axis as the direction of the maximum light output. Additional measurements were conducted using two different stilbene crystals to confirm these results: a second measurement using the coincident detection of neutrons; measurements of neutron full energy deposition events along the \textit{a} and \textit{b} axes; and measurements of the count rate for $^{252}$Cf neutrons traveling along the \textit{a} and \textit{b} axes directions. All measurements found that recoils along the \textit{a}-axis produce the maximum light output.


title: Quantum annealing with longitudinal bias fields

abstract: Quantum annealing aims at solving hard computational problems through adiabatic state preparation. Here, I propose to use inhomogeneous longitudinal magnetic fields to enhance the efficiency of the annealing. Such fields are able to bias the annealing dynamics into the desired solution, and in many cases, suitable field configurations can be found iteratively. Alternatively, the longitudinal fields can also be applied as an antibias which filters out unwanted contributions from the final state. This strategy is particularly well suited for instances which are difficult to solve within the standard quantum annealing approach. By numerically simulating the dynamics for small instances of the exact cover problem, the performance of these different strategies is investigated.


title: Progressive-X: Efficient, Anytime, Multi-Model Fitting Algorithm

abstract: The Progressive-X algorithm, Prog-X in short, is proposed for geometric multi-model fitting. The method interleaves sampling and consolidation of the current data interpretation via repetitive hypothesis proposal, fast rejection, and integration of the new hypothesis into the kept instance set by labeling energy minimization. Due to exploring the data progressively, the method has several beneficial properties compared with the state-of-the-art. First, a clear criterion, adopted from RANSAC, controls the termination and stops the algorithm when the probability of finding a new model with a reasonable number of inliers falls below a threshold. Second, Prog-X is an any-time algorithm. Thus, whenever is interrupted, e.g. due to a time limit, the returned instances cover real and, likely, the most dominant ones. The method is superior to the state-of-the-art in terms of accuracy in both synthetic experiments and on publicly available real-world datasets for homography, two-view motion, and motion segmentation.


title: Current-voltage characteristics in Ag/Au nanostructures at resistive transitions

abstract: Transitions to immeasurably small electrical resistance in thin films of Ag/Au nanostructure-based films have generated significant interest because such transitions can occur even at ambient temperature and pressure. While the zero-bias resistance and magnetic transition in these films have been reported recently, the non-equilibrium current-voltage ($I-V$) transport characteristics at the transition remains unexplored. Here we report the $I-V$ characteristics at zero magnetic field of a prototypical Ag/Au nanocluster film close to its resistivity transition at the critical temperature $T_{C}$ of $\approx160$ K. The $I-V$ characteristics become strongly hysteretic close to the transition and exhibit a temperature-dependent critical current scale beyond which the resistance increases rapidly. Intriguingly, the non-equilibrium transport regime consists of a series of nearly equispaced resistance steps when the drive current exceeds the critical current. We have discussed the similarity of these observations with resistive transitions in ultra-thin superconducting wires via phase slip centres.


title: Brain-Network Clustering via Kernel-ARMA Modeling and the Grassmannian

abstract: Recent advances in neuroscience and in the technology of functional magnetic resonance imaging (fMRI) and electro-encephalography (EEG) have propelled a growing interest in brain-network clustering via time-series analysis. Notwithstanding, most of the brain-network clustering methods revolve around state clustering and/or node clustering (a.k.a. community detection or topology inference) within states. This work answers first the need of capturing non-linear nodal dependencies by bringing forth a novel feature-extraction mechanism via kernel autoregressive-moving-average modeling. The extracted features are mapped to the Grassmann manifold (Grassmannian), which consists of all linear subspaces of a fixed rank. By virtue of the Riemannian geometry of the Grassmannian, a unifying clustering framework is offered to tackle all possible clustering problems in a network: Cluster multiple states, detect communities within states, and even identify/track subnetwork state sequences. The effectiveness of the proposed approach is underlined by extensive numerical tests on synthetic and real fMRI/EEG data which demonstrate that the advocated learning method compares favorably versus several state-of-the-art clustering schemes.


title: The [CII]/[NII] ratio in 3 < z < 6 sub-millimetre galaxies from the South Pole Telescope survey

abstract: We present Atacama Compact Array and Atacama Pathfinder Experiment observations of the [N II] 205 $\mu$m fine-structure line in 40 sub-millimetre galaxies lying at redshifts z = 3 to 6, drawn from the 2500 deg$^2$ South Pole Telescope survey. This represents the largest uniformly selected sample of high-redshift [N II] 205 $\mu$m measurements to date. 29 sources also have [C II] 158 $\mu$m line observations allowing a characterization of the distribution of the [C II] to [N II] luminosity ratio for the first time at high-redshift. The sample exhibits a median L$_{[C II]}$ /L$_{[N II]}$ $\approx$ 11 and interquartile range of 5.0 to 24.7. These ratios are similar to those observed in local (U)LIRGs, possibly indicating similarities in their interstellar medium. At the extremes, we find individual sub-millimetre galaxies with L$_{[C II]}$ /L$_{[N II]}$ low enough to suggest a smaller contribution from neutral gas than ionized gas to the [C II] flux and high enough to suggest strongly photon or X-ray region dominated flux. These results highlight a large range in this line luminosity ratio for sub-millimetre galaxies, which may be caused by variations in gas density, the relative abundances of carbon and nitrogen, ionization parameter, metallicity, and a variation in the fractional abundance of ionized and neutral interstellar medium.


title: Random sequential adsorption of Platonic and Archimedean solids

abstract: The aim of the study presented here was the analysis of packings generated according to random sequential adsorption protocol consisting of identical Platonic and Archimedean solids. The computer simulations performed showed, that the highest saturated packing fraction ${\theta}=0.40210(68)$ is reached by packings built of truncated tetrahedra and the smallest one ${\theta}=0.35635(67)$ by packings composed of regular tetrahedra. The propagation of translational and orientational order exhibited microstructural propertied typically seen in RSA packings and the kinetics of 3 dimensional packings growth were again observed not to be strictly connected with the dimenstion of the configuration space. Moreover, a number of optimizations for the RSA algorithm were described allowing generation of significantly larger packings, which translated directly to a lower statistical error of the results obtained. Additionally, the polyhedral order parameters provided can be utilized in other studies regarding particles of polyhedral symmetry.


title: Progressive NAPSAC: sampling from gradually growing neighborhoods

abstract: We propose Progressive NAPSAC, P-NAPSAC in short, which merges the advantages of local and global sampling by drawing samples from gradually growing neighborhoods. Exploiting the fact that nearby points are more likely to originate from the same geometric model, P-NAPSAC finds local structures earlier than global samplers. We show that the progressive spatial sampling in P-NAPSAC can be integrated with PROSAC sampling, which is applied to the first, location-defining, point. P-NAPSAC is embedded in USAC, a state-of-the-art robust estimation pipeline, which we further improve by implementing its local optimization as in Graph-Cut RANSAC. We call the resulting estimator USAC*. The method is tested on homography and fundamental matrix fitting on a total of 10,691 models from seven publicly available datasets. USAC* with P-NAPSAC outperforms reference methods in terms of speed on all problems.


title: Influence Maximization with Spontaneous User Adoption

abstract: We incorporate self activation into influence propagation and propose the self-activation independent cascade (SAIC) model: nodes may be self activated besides being selected as seeds, and influence propagates from both selected seeds and self activated nodes. Self activation reflects the real-world scenarios such as people naturally share product recommendations with their friends even without marketing intervention. It also leads to two new forms of optimization problems: (a) {\em preemptive influence maximization (PIM)}, which aims to find $k$ nodes that, if self-activated, can reach the most number of nodes before other self-activated nodes; and (b) {\em boosted preemptive influence maximization (BPIM)}, which aims to select $k$ seeds that are guaranteed to be activated and can reach the most number of nodes before other self-activated nodes. We propose scalable algorithms for PIM and BPIM and prove that they achieve $1-\varepsilon$ approximation for PIM and $1-1/e-\varepsilon$ approximation for BPIM, for any $\varepsilon > 0$. Through extensive tests on real-world graphs, we demonstrate that our algorithms outperform the baseline algorithms significantly for the PIM problem in solution quality, and also outperform the baselines for BPIM when self-activation behaviors are non-uniform across nodes.


title: Renormalizing Yukawa interactions in the standard model with matrices and noncommutative geometry

abstract: We show that gauge-independent terms in the one-loop and multi-loops $\beta$-functions of the Standard Model can be exactly computed from the Wetterich functional renormalization of a matrix model. Our framework is associated to the finite spectral triple underlying the computation of the Standard Model Lagrangian from the spectral action of Noncommutative Geometry. This matrix-Yukawa duality for the $\beta$-function is a first hint towards understanding the renormalization of the Noncommutative Standard Model conceptually, and provides a novel computational approach for multi-loop $\beta$-functions of particle physics models.


title: Ground State Electromagnetic Moments of $^{37}$Ca

abstract: The hyperfine coupling constants of neutron deficient $^{37}$Ca were deduced from the atomic hyperfine spectrum of the $4s~^2S_{1/2}$ $\leftrightarrow$ $4p~^2P_{3/2}$ transition in Ca II, measured using the collinear laser spectroscopy technique. The ground-state magnetic-dipole and spectroscopic electric-quadrupole moments were determined for the first time as $\mu = +0.7453(72) \mu_N$ and $Q = -15(11)$ $e^2$fm$^2$, respectively. The experimental values agree well with nuclear shell model calculations using the universal sd model-space Hamiltonians versions A and B (USDA/B) in the $sd$-model space with a 95\% probability of the canonical nucleon configuration. It is shown that the magnetic moment of $^{39}$Ca requires a larger non-$sd$-shell component than that of $^{37}$Ca for good agreement with the shell-model calculation, indicating a more robust closed sub-shell structure of $^{36}$Ca at the neutron number $N$ = 16 than $^{40}$Ca. The results are also compared to valence-space in-medium similarity renormalization group calculations based on chiral two- and three-nucleon interactions.


title: Teaching AI to Explain its Decisions Using Embeddings and Multi-Task Learning

abstract: Using machine learning in high-stakes applications often requires predictions to be accompanied by explanations comprehensible to the domain user, who has ultimate responsibility for decisions and outcomes. Recently, a new framework for providing explanations, called TED, has been proposed to provide meaningful explanations for predictions. This framework augments training data to include explanations elicited from domain users, in addition to features and labels. This approach ensures that explanations for predictions are tailored to the complexity expectations and domain knowledge of the consumer. In this paper, we build on this foundational work, by exploring more sophisticated instantiations of the TED framework and empirically evaluate their effectiveness in two diverse domains, chemical odor and skin cancer prediction. Results demonstrate that meaningful explanations can be reliably taught to machine learning algorithms, and in some cases, improving modeling accuracy.


title: On the absolute divergence of Fourier series in the infinite dimensional torus

abstract: We present some simple counterexamples, based on quadratic forms in infinitely many variables, showing that the implication $f\in C^{(\infty}(\mathbb{T}^\omega)\Longrightarrow\sum_{\bar{p}\in\mathbb{Z}^\infty}|\widehat{f}(\bar{p})|<\infty$ is false. There are functions of the class $C^{(\infty}(\mathbb{T}^\omega)$ (depending on an infinite number of variables) whose Fourier series diverges absolutely. This fact establishes a significant difference from the finite dimensional case.


title: Spin-Wave Optical Elements: Towards Spin-Wave Fourier Optics

abstract: We perform micromagnetic simulations to investigate the propagation of spin-wave beams through spin-wave optical elements. Despite spin-wave propagation in magnetic media being strongly anisotropic, we use axicons to excite spinwave Bessel-Gaussian beams and gradient-index lenses to focus spin waves in analogy to conventional optics with light in isotropic media. Moreover, we demonstrate spin-wave Fourier optics using gradient-index lenses. These results contribute to the growing field of spin-wave optics.


title: Proving the existence of bound states for attractive potentials in 1-d and 2-d without calculus

abstract: Schroedinger developed an operator method for solving quantum mechanics. While this technique is overshadowed by his more familiar differential equation approach, it has found wide application as an illustration of supersymmetric quantum mechanics. One reason for the reticence in its usage for conventional quantum instruction is that the approach for simple problems like the particle-in-a-box is much more complicated than the differential equation approach, making it appear to be less useful for pedagogy. We argue that the approach is still quite attractive because it employs only algebraic methods, and thereby has a much lower level of math background needed to use it. We show how Schroedinger's operator method can be streamlined for these particle-in-a-box problems greatly reducing the complexity of the solution and making it much more accessible. As an application, we illustrate how this approach can be used to prove an important result, the existence of bound states for one- and two-dimensional attractive potentials, using only algebraic methods. The approach developed here can be employed in undergraduate classes and possibly even high school classes because it employs only algebra and requires essentially no calculus.


title: Private Deep Learning with Teacher Ensembles

abstract: Privacy-preserving deep learning is crucial for deploying deep neural network based solutions, especially when the model works on data that contains sensitive information. Most privacy-preserving methods lead to undesirable performance degradation. Ensemble learning is an effective way to improve model performance. In this work, we propose a new method for teacher ensembles that uses more informative network outputs under differential private stochastic gradient descent and provide provable privacy guarantees. Out method employs knowledge distillation and hint learning on intermediate representations to facilitate the training of student model. Additionally, we propose a simple weighted ensemble scheme that works more robustly across different teaching settings. Experimental results on three common image datasets benchmark (i.e., CIFAR10, MINST, and SVHN) demonstrate that our approach outperforms previous state-of-the-art methods on both performance and privacy-budget.


title: A neural network based policy iteration algorithm with global $H^2$-superlinear convergence for stochastic games on domains

abstract: In this work, we propose a class of numerical schemes for solving semilinear Hamilton-Jacobi-Bellman-Isaacs (HJBI) boundary value problems which arise naturally from exit time problems of diffusion processes with controlled drift. We exploit policy iteration to reduce the semilinear problem into a sequence of linear Dirichlet problems, which are subsequently approximated by a multilayer feedforward neural network ansatz. We establish that the numerical solutions converge globally in the $H^2$-norm, and further demonstrate that this convergence is superlinear, by interpreting the algorithm as an inexact Newton iteration for the HJBI equation. Moreover, we construct the optimal feedback controls from the numerical value functions and deduce convergence. The numerical schemes and convergence results are then extended to HJBI boundary value problems corresponding to controlled diffusion processes with oblique boundary reflection. Numerical experiments on the stochastic Zermelo navigation problem are presented to illustrate the theoretical results and to demonstrate the effectiveness of the method.


title: Hyperbolic Fracton Model, Subsystem Symmetry, and Holography II: The Dual Eight-Vertex Model

abstract: The discovery of fracton states of matter opens up an exciting, largely unexplored field of many-body physics. Certain fracton states' similarity to gravity is an intriguing property. In an earlier work [H. Yan, Phys. Rev. B 99, 155126 (2019)], we have demonstrated that a simple fracton model in anti-de Sitter space satisfies several major holographic properties. In this follow-up paper, we study the eight-vertex model dual to the original model. The dual model has the advantage of illuminating the mutual information and subsystem charges pictorially, which helps to reveal its connections to various other topics in the study of holography and fracton phases. At zero temperature, the dual eight-vertex model is a discrete realization of the bit-thread model, a powerful tool developed to visualize holography. The bit-thread picture combined with subsystem charges can give a quantitative account of the isometry between the bulk and the boundary at finite energy, which is also a key issue for holography. The black hole microscopic degrees of freedom can be identified in this picture, which turn out to be encoded non-locally on the horizon. The eight-vertex model proves to be a very helpful venue to improve our understanding of the hyperbolic fracton model as a toy model of holography.


title: Implied and Realized Volatility: A Study of Distributions and the Distribution of Difference

abstract: We study distributions of realized variance (squared realized volatility) and squared implied volatility, as represented by VIX and VXO indices. We find that Generalized Beta distribution provide the best fits. These fits are much more accurate for realized variance than for squared VIX and VXO -- possibly another indicator that the latter have deficiencies in predicting the former. We also show that there are noticeable differences between the distributions of the 1970-2017 realized variance and its 1990-2017 portion, for which VIX and VXO became available. This may be indicative of a feedback effect that implied volatility has on realized volatility. We also discuss the distribution of the difference between squared implied volatility and realized variance and show that, at the basic level, it is consistent with Pearson's correlations obtained from linear regression.


title: Calibration of Argus and the 4mm Receiver on the GBT

abstract: The calibration procedures for data collected for Argus and the 4mm Receiver instruments on the GBT are presented. The measured beam size, aperture efficiency, and main-beam efficiency are derived for the range of observing frequencies (66--116 GHz) within the 3mm atmospheric window. The telescope performs well even at the highest frequencies (>100 GHz). The amount of power in the error pattern of the antenna beam is estimated. Approximately 95% of the total antenna power is contained within 1 degree of the pointed direction. The calibration derived using small sources follows theoretical expectations based on the Ruze equation. In general, bright point source calibrators that are monitored regularly by ALMA can be used to accurately derive the main-beam efficiency of the telescope.


title: Automatic Retrosynthetic Pathway Planning Using Template-free Models

abstract: We present an attention-based Transformer model for automatic retrosynthesis route planning. Our approach starts from reactants prediction of single-step organic reactions for given products, followed by Monte Carlo tree search-based automatic retrosynthetic pathway prediction. Trained on two datasets from the United States patent literature, our models achieved a top-1 prediction accuracy of over 54.6% and 63.0% with more than 95% and 99.6% validity rate of SMILES, respectively, which is the best up to now to our knowledge. We also demonstrate the application potential of our model by successfully performing multi-step retrosynthetic route planning for four case products, i.e., antiseizure drug Rufinamide, a novel allosteric activator, an inhibitor of human acute-myeloid-leukemia cells and a complex intermediate of drug candidate. Further, by using heuristics Monte Carlo tree search, we achieved automatic retrosynthetic pathway searching and successfully reproduced published synthesis pathways. In summary, our model has achieved the state-of-the-art performance on single-step retrosynthetic prediction and provides a novel strategy for automatic retrosynthetic pathway planning.


title: Easing the Monte Carlo sign problem

abstract: Quantum Monte Carlo (QMC) methods are the gold standard for studying equilibrium properties of quantum many-body systems -- their phase transitions, ground and thermal state properties. However, in many interesting situations QMC methods are faced with a sign problem, causing the severe limitation of an exponential increase in the sampling complexity and hence the run-time of the QMC algorithm. In this work, we develop a systematic, generally applicable, and practically feasible methodology for easing the sign problem by efficiently computable basis changes and use it to rigorously assess the sign problem. Our framework introduces measures of non-stoquasticity that -- as we demonstrate analytically and numerically -- at the same time provide a practically relevant and efficiently computable figure of merit for the severity of the sign problem. We show that those measures can practically be brought to a good use to ease the sign problem. To do so, we use geometric algorithms for optimization over the orthogonal group and ease the sign problem of frustrated Heisenberg ladders. Complementing this pragmatic mindset, we prove that easing the sign problem in terms of those measures is in general an NP-complete task for nearest-neighbour Hamiltonians and simple basis choices by a polynomial reduction to the MAXCUT-problem. Intriguingly, easing remains hard even in cases in which we can efficiently assert that no exact solution exists.


title: Split extensions and semidirect products of unitary magmas

abstract: We develop a theory of split extensions of unitary magmas, which includes defining such extensions and describing them via suitably defined semidirect product, yielding an equivalence between the categories of split extensions and of (suitably defined) actions of unitary magmas on unitary magmas. The class of split extensions is pullback stable but not closed under composition. We introduce two subclasses of it that have both of these properties.


title: Low rank plus sparse decomposition of synthetic aperture radar data for target imaging and tracking

abstract: We analyze synthetic aperture radar (SAR) imaging of complex ground scenes that contain both stationary and moving targets. In the usual SAR acquisition scheme, we consider ways to preprocess the data so as to separate the contributions of the moving targets from those due to stationary background reflectors. Both components of the data, that is, reflections from stationary and moving targets, are considered as signal that is needed for target imaging and tracking, respectively. The approach we use is to decompose the data matrix into a low rank and a sparse part. This decomposition enables us to capture the reflections from moving targets into the sparse part and those from stationary targets into the low rank part of the data. The computational tool for this is robust principal component analysis (RPCA) applied to the SAR data matrix. We also introduce a lossless baseband transformation of the data, which simplifies the analysis and improves the performance of the RPCA algorithm. Our main contribution is a theoretical analysis that determines an optimal choice of parameters for the RPCA algorithm so as to have an effective and stable separation of SAR data coming from moving and stationary targets. This analysis gives also a lower bound for detectable target velocities. We show in particular that the rank of the sparse matrix is proportional to the square root of the target's speed in the direction that connects the SAR platform trajectory to the imaging region. The robustness of the approach is illustrated with numerical simulations in the X-band SAR regime.


title: Risk-Sensitive Compact Decision Trees for Autonomous Execution in Presence of Simulated Market Response

abstract: We demonstrate an application of risk-sensitive reinforcement learning to optimizing execution in limit order book markets. We represent taking order execution decisions based on limit order book knowledge by a Markov Decision Process; and train a trading agent in a market simulator, which emulates multi-agent interaction by synthesizing market response to our agent's execution decisions from historical data. Due to market impact, executing high volume orders can incur significant cost. We learn trading signals from market microstructure in presence of simulated market response and derive explainable decision-tree-based execution policies using risk-sensitive Q-learning to minimize execution cost subject to constraints on cost variance.


title: Green's relations and stability for subsemigroups

abstract: We prove new results on inheritance of Green's relations by subsemigroups in the presence of stability of elements. We provide counterexamples in other cases to show in particular that not all right-stable semigroups are embeddable in left-stable semigroups. This is carried out in the context of a survey of the various closely related notions of stability and minimality of Green's classes that have appeared in the literature over the last sixty years, and which have sometimes been presented in different forms.


title: A Tunable Loss Function for Robust Classification: Calibration, Landscape, and Generalization

abstract: We introduce a tunable loss function called $\alpha$-loss, parameterized by $\alpha \in (0,\infty]$, which interpolates between the exponential loss ($\alpha = 1/2$), the log-loss ($\alpha = 1$), and the 0-1 loss ($\alpha = \infty$), for the machine learning setting of classification. Theoretically, we illustrate a fundamental connection between $\alpha$-loss and Arimoto conditional entropy, verify the classification-calibration of $\alpha$-loss in order to demonstrate asymptotic optimality via Rademacher complexity generalization techniques, and build-upon a notion called strictly local quasi-convexity in order to quantitatively characterize the optimization landscape of $\alpha$-loss. Practically, we perform class imbalance, robustness, and classification experiments on benchmark image datasets using convolutional-neural-networks. Our main practical conclusion is that certain tasks may benefit from tuning $\alpha$-loss away from log-loss ($\alpha = 1$), and to this end we provide simple heuristics for the practitioner. In particular, navigating the $\alpha$ hyperparameter can readily provide superior model robustness to label flips ($\alpha > 1$) and sensitivity to imbalanced classes ($\alpha < 1$).


title: A Note on Submodular Maximization over Independence Systems

abstract: In this work, we consider the maximization of submodular functions constrained by independence systems. Because of the wide applicability of submodular functions, this problem has been extensively studied in the literature, on specialized independence systems. For general independence systems, even when all of the bases of the independence system have the same size, we show that for any $\epsilon > 0$, the problem is hard to approximate within $(2/n)^{1-\epsilon}$, where $n$ is the size of the ground set. In the same context, we show the greedy algorithm does obtain a ratio of $2/n$ under an additional mild additional assumption. Finally, we provide the first nearly linear-time algorithm for maximization of non-monotone submodular functions over $p$-extendible independence systems.


title: Quantum mechanical 4-dimensional non-polarizing beamsplitter

abstract: The effects of a beamsplitter are frequently described mathematically as a matrix acting on a two input ports vector. This might be comprehensive for a scalar field but certainly insufficient in case of photons which are vector fields. In this paper we discuss theoretical grounds to define elements of a 4x4 matrix to more accurately represent the beamsplitter, fully accounting for transverse polarization modes. We also provide experimental evidence confirming this matrix representation. From an educational point of view the paper addresses a new applicability of Hilbert space description of vector fields which may be used in a classical context such as the Fresnel formalism for reflection and transmission coefficients at a dielectric interface. That the formalism can be readily verified with a simple experiment provides further benefit. The beamsplitter expression derived can also be applied in the field of quantum computing.


title: The formation and dissipation of current sheets and shocks due to compressive waves in a stratified atmosphere containing a magnetic null

abstract: We study the propagation and dissipation of magnetohydrodynamic waves in a set of numerical models that each include a solar--like stratified atmosphere and a magnetic field with a null point. All simulations have the same magnetic field configuration but different transition region heights. Compressive wave packets introduced in the photospheric portion of the simulations refract towards the null and collapse it into a current sheet, which then undergoes reconnection. The collapsed null forms a current sheet due to a strong magnetic pressure gradient caused by the inability of magnetic perturbations to cross the null. Although the null current sheet undergoes multiple reconnection episodes due to repeated reflections off the lower boundary, we find no evidence of oscillatory reconnection arising from the dynamics of the null itself. Wave mode conversion around the null generates a series of slow mode shocks localized near each separatrix. The shock strength is asymmetric across each separatrix, and subsequent shock damping therefore creates a tangential discontinuity across each separatrix, with long--lived current densities. A parameter study of the injected wave energy to reach the null confirms our previous WKB estimates. Finally, using current estimates of the photospheric acoustic power, we estimate that the shock and Ohmic heating we describe may account for $\approx1-10\%$ of the radiative losses from coronal bright points with similar topologies, and are similarly insufficient to account for losses from larger structures such as ephemeral regions. At the same time, the dynamics are comparable to proposed mechanisms for generating type--II spicules.

categories: astro-ph.SR physics.comp-ph physics.flu-dyn physics.plasm-ph


title: Highly Parallelized Data-driven MPC for Minimal Intervention Shared Control

abstract: We present a shared control paradigm that improves a user's ability to operate complex, dynamic systems in potentially dangerous environments without a priori knowledge of the user's objective. In this paradigm, the role of the autonomous partner is to improve the general safety of the system without constraining the user's ability to achieve unspecified behaviors. Our approach relies on a data-driven, model-based representation of the joint human-machine system to evaluate, in parallel, a significant number of potential inputs that the user may wish to provide. These samples are used to (1) predict the safety of the system over a receding horizon, and (2) minimize the influence of the autonomous partner. The resulting shared control algorithm maximizes the authority allocated to the human partner to improve their sense of agency, while improving safety. We evaluate the efficacy of our shared control algorithm with a human subjects study (n=20) conducted in two simulated environments: a balance bot and a race car. During the experiment, users are free to operate each system however they would like (i.e., there is no specified task) and are only asked to try to avoid unsafe regions of the state space. Using modern computational resources (i.e., GPUs) our approach is able to consider more than 10,000 potential trajectories at each time step in a control loop running at 100Hz for the balance bot and 60Hz for the race car. The results of the study show that our shared control paradigm improves system safety without knowledge of the user's goal, while maintaining high-levels of user satisfaction and low-levels of frustration. Our code is available online at https://github.com/asbroad/mpmi_shared_control.


title: DEMO-Net: Degree-specific Graph Neural Networks for Node and Graph Classification

abstract: Graph data widely exist in many high-impact applications. Inspired by the success of deep learning in grid-structured data, graph neural network models have been proposed to learn powerful node-level or graph-level representation. However, most of the existing graph neural networks suffer from the following limitations: (1) there is limited analysis regarding the graph convolution properties, such as seed-oriented, degree-aware and order-free; (2) the node's degree-specific graph structure is not explicitly expressed in graph convolution for distinguishing structure-aware node neighborhoods; (3) the theoretical explanation regarding the graph-level pooling schemes is unclear. To address these problems, we propose a generic degree-specific graph neural network named DEMO-Net motivated by Weisfeiler-Lehman graph isomorphism test that recursively identifies 1-hop neighborhood structures. In order to explicitly capture the graph topology integrated with node attributes, we argue that graph convolution should have three properties: seed-oriented, degree-aware, order-free. To this end, we propose multi-task graph convolution where each task represents node representation learning for nodes with a specific degree value, thus leading to preserving the degree-specific graph structure. In particular, we design two multi-task learning methods: degree-specific weight and hashing functions for graph convolution. In addition, we propose a novel graph-level pooling/readout scheme for learning graph representation provably lying in a degree-specific Hilbert kernel space. The experimental results on several node and graph classification benchmark data sets demonstrate the effectiveness and efficiency of our proposed DEMO-Net over state-of-the-art graph neural network models.


title: Behavior of convex surfaces near ridge points

abstract: The aim of this paper is twofold. First, we cut off a part of a convex surface by a plane near a ridge point and characterize the limiting behavior of the surface measure in $S^2$ induced by this part of surface when the plane approaches the point. Second, this characterization is applied to Newton's least resistance problem for convex bodies: minimize the functional $\int\int_\Omega (1 + |\nabla u(x,y)|^2)^{-1} dx dy$ in the class of convex functions $u: \Omega \to [0,M]$, where $\Omega \subset R^2$ is a convex body and $M > 0$. It has been known that if $u_*$ solves the problem then $|\nabla u_*(x,y)| \ge 1$ at all regular points $(x,y)$ such that $u_*(x,y) > 0$. We prove that if the lower level set $L_0 = \{ (x,y): u_*(x,y) = 0 \}$ has nonempty interior, then for almost all points of its boundary $(\bar x, \bar y) \in \partial L_0$ one has $\lim_{\stackrel{(x,y)\to(\bar x,\bar y)}{u_*(x,y)>0}}|\nabla u_*(x,y)| = 1$.


title: DOT: Gene-set analysis by combining decorrelated association statistics

abstract: Historically, the majority of statistical association methods have been designed assuming availability of SNP-level information. However, modern genetic and sequencing data present new challenges to access and sharing of genotype-phenotype datasets, including cost management, difficulties in consolidation of records across research groups, etc. These issues make methods based on SNP-level summary statistics for a joint analysis of variants in a group particularly appealing. The most common form of combining statistics is a sum of SNP-level squared scores, possibly weighted, as in burden tests for rare variants. The overall significance of the resulting statistic is evaluated using its distribution under the null hypothesis. Here, we demonstrate that this basic approach can be substantially improved by decorrelating scores prior to their addition, resulting in remarkable power gains in situations that are most commonly encountered in practice; namely, under heterogeneity of effect sizes and diversity between pairwise LD. In these situations, the power of the traditional test, based on the added squared scores, quickly reaches a ceiling, as the number of variants increases. Thus, the traditional approach does not benefit from information potentially contained in any additional SNPs, while our decorrelation by orthogonal transformation (DOT) method yields steady gain in power. We present theoretical and computational analyses of both approaches, and reveal causes behind sometimes dramatic difference in their respective powers. We showcase DOT by analyzing breast cancer data, in which our method strengthened levels of previously reported associations and implied the possibility of multiple new alleles that jointly confer breast cancer risk.


title: Virial inversion and density functionals

abstract: We prove a novel inversion theorem for functionals given as power series in infinite-dimensional spaces and apply it to the inversion of the density-activity relation for inhomogeneous systems. This provides a rigorous framework to prove convergence for density functionals for inhomogeneous systems with applications in classical density function theory, liquid crystals, molecules with various shapes or other internal degrees of freedom. The key technical tool is the representation of the inverse via a fixed point equation and a combinatorial identity for trees, which allows us to obtain convergence estimates in situations where Banach inversion fails. Moreover, the new method for the inversion gives for the (homogeneous) hard sphere gas a significantly improved radius of convergence for the virial expansion improving the first and up to now best result by Lebowitz and Penrose (1964).


title: Valley-selective chiral phonon replicas of dark excitons and trions in monolayer WSe2

abstract: We observe a set of three replica luminescent peaks at ~21.4 meV below the dark exciton, negative and positive dark trions (or exciton-polarons) in monolayer WSe2. The replica redshift energy matches the energy of the zone-center E"-mode optical phonons. The phonon replicas exhibit parallel gate dependence and same g-factors as the dark excitonic states, but follow the valley selection rules of the bright excitonic states. While the dark states exhibit out-of-plane transition dipole and valley-independent linearly polarized emission in the in-plane directions, their phonon replicas exhibit in-plane transition dipole and valley-dependent circularly polarized emission in the out-of-plane directions. Our results and symmetry analysis show that the K-valley dark exciton decays into a left-handed chiral phonon and a right-handed photon, whereas the K'-valley dark exciton decays into a right-handed chiral phonon and a left-handed photon. Such valley selection rules of chiral phonon replicas can be utilized to identify the valleys of the dark excitonic states and explore their chiral interactions with phonons.


title: When do we have 1 + 1 = 11 and 2 + 2 =5?

abstract: The phrase "$ 2+2=5 $" is a clich\'e or a slogan used in political speeches, propaganda, or literature, most notably in the novel "$ 1984 $" by George Orwell. More recently, we came across a You-Tube short film comedy, Alternative Math, produced by IdeaMan Studios (see \cite{Danny}). It is a hilarious exaggeration of a teacher who is dragged through the mud for teaching that $ 2+2=4 $ and not $ 22 $, as Danny, a young student, kept on insisting. In the movie, Danny and the whole community sincerely believe $ 1+1=11 $ and $ 2+2=22 $. Jokes aside, we ask the question whether a polynomially defined group law "$\oplus$" defined over the field of rationals such that $ 1\oplus1=u $ and $ 2 \oplus2=v $ can simultaneously be satisfied for arbitrary integers $u$ and $ v $. Answer to this question takes us through a fascinating journey from Brahmagupta all the way to the modern works of Louis Joel Mordell and Ramanujan!


title: Privacy-Preserving Classification of Personal Text Messages with Secure Multi-Party Computation: An Application to Hate-Speech Detection

abstract: Classification of personal text messages has many useful applications in surveillance, e-commerce, and mental health care, to name a few. Giving applications access to personal texts can easily lead to (un)intentional privacy violations. We propose the first privacy-preserving solution for text classification that is provably secure. Our method, which is based on Secure Multiparty Computation (SMC), encompasses both feature extraction from texts, and subsequent classification with logistic regression and tree ensembles. We prove that when using our secure text classification method, the application does not learn anything about the text, and the author of the text does not learn anything about the text classification model used by the application beyond what is given by the classification result itself. We perform end-to-end experiments with an application for detecting hate speech against women and immigrants, demonstrating excellent runtime results without loss of accuracy.


title: Locality and causality in perturbative AQFT

abstract: In this paper we discuss how seemingly different notions of locality and causality in quantum field theory can be unified using a non-abelian generalization of the Hammerstein property (originally introduced as a weaker version of linearity). We also prove a generalization of the main theorem of renormalization, in which we do not require field independence.


title: Improved low-count quantitative PET reconstruction with an iterative neural network

abstract: Image reconstruction in low-count PET is particularly challenging because gammas from natural radioactivity in Lu-based crystals cause high random fractions that lower the measurement signal-to-noise-ratio (SNR). In model-based image reconstruction (MBIR), using more iterations of an unregularized method may increase the noise, so incorporating regularization into the image reconstruction is desirable to control the noise. New regularization methods based on learned convolutional operators are emerging in MBIR. We modify the architecture of an iterative neural network, BCD-Net, for PET MBIR, and demonstrate the efficacy of the trained BCD-Net using XCAT phantom data that simulates the low true coincidence count-rates with high random fractions typical for Y-90 PET patient imaging after Y-90 microsphere radioembolization. Numerical results show that the proposed BCD-Net significantly improves CNR and RMSE of the reconstructed images compared to MBIR methods using non-trained regularizers, total variation (TV) and non-local means (NLM). Moreover, BCD-Net successfully generalizes to test data that differs from the training data. Improvements were also demonstrated for the clinically relevant phantom measurement data where we used training and testing datasets having very different activity distributions and count-levels.


title: Low degree points on curves

abstract: In this paper we investigate an arithmetic analogue of the gonality of a smooth projective curve $C$ over a number field $k$: the minimal $e$ such there are infinitely many points $P \in C(\bar{k})$ with $[k(P):k] \leq e$. Developing techniques that make use of an auxiliary smooth surface containing the curve, we show that this invariant can take any value subject to constraints imposed by the gonality. Building on work of Debarre--Klassen, we show that this invariant is equal to the gonality for all sufficiently ample curves on a surface $S$ with trivial irregularity.


title: Context Attentive Document Ranking and Query Suggestion

abstract: We present a context-aware neural ranking model to exploit users' on-task search activities and enhance retrieval performance. In particular, a two-level hierarchical recurrent neural network is introduced to learn search context representation of individual queries, search tasks, and corresponding dependency structure by jointly optimizing two companion retrieval tasks: document ranking and query suggestion. To identify the variable dependency structure between search context and users' ongoing search activities, attention at both levels of recurrent states are introduced. Extensive experiment comparisons against a rich set of baseline methods and an in-depth ablation analysis confirm the value of our proposed approach for modeling search context buried in search tasks.


title: Finding Friend and Foe in Multi-Agent Games

abstract: Recent breakthroughs in AI for multi-agent games like Go, Poker, and Dota, have seen great strides in recent years. Yet none of these games address the real-life challenge of cooperation in the presence of unknown and uncertain teammates. This challenge is a key game mechanism in hidden role games. Here we develop the DeepRole algorithm, a multi-agent reinforcement learning agent that we test on The Resistance: Avalon, the most popular hidden role game. DeepRole combines counterfactual regret minimization (CFR) with deep value networks trained through self-play. Our algorithm integrates deductive reasoning into vector-form CFR to reason about joint beliefs and deduce partially observable actions. We augment deep value networks with constraints that yield interpretable representations of win probabilities. These innovations enable DeepRole to scale to the full Avalon game. Empirical game-theoretic methods show that DeepRole outperforms other hand-crafted and learned agents in five-player Avalon. DeepRole played with and against human players on the web in hybrid human-agent teams. We find that DeepRole outperforms human players as both a cooperator and a competitor.


title: OutdoorSent: Sentiment Analysis of Urban Outdoor Images by Using Semantic and Deep Features

abstract: Opinion mining in outdoor images posted by users during different activities can provide valuable information to better understand urban areas. In this regard, we propose a framework to classify the sentiment of outdoor images shared by users on social networks. We compare the performance of state-of-the-art ConvNet architectures, and one specifically designed for sentiment analysis. We also evaluate how the merging of deep features and semantic information derived from the scene attributes can improve classification and cross-dataset generalization performance. The evaluation explores a novel dataset, namely OutdoorSent, and other datasets publicly available. We observe that the incorporation of knowledge about semantic attributes improves the accuracy of all ConvNet architectures studied. Besides, we found that exploring only images related to the context of the study, outdoor in our case, is recommended, i.e., indoor images were not significantly helpful. Furthermore, we demonstrated the applicability of our results in the city of Chicago, USA, showing that they can help to improve the knowledge of subjective characteristics of different areas of the city. For instance, particular areas of the city tend to concentrate more images of a specific class of sentiment, which are also correlated with median income, opening up opportunities in different fields.


title: On the graphical stability of hybrid solutions with non-matching jump times: Extended Paper

abstract: We investigate stability of a solution of a hybrid system in the sense that the graphs of solutions from nearby initial conditions remain close and tend towards the graph of the given solution. In this manner, a small continuous-time mismatch is allowed between the jump times of neighbouring solutions and the `peaking phenomenon' is avoided. We provide conditions such that this stability notion is implied by stability with respect to a specifically designed distance-like function. Hence, stability of solutions in the graphical sense can be analysed with existing Lyapunov techniques.


title: Comment on Frauchiger and Renner paper (Nat. Commun. 9, 3711 (2018)): the problem of stopping times

abstract: The Gedankenexperiment advanced by Frauchiger and Renner in their "Nature" paper was based on an implicit assumption that one can synchronize stochastic measurement intervals between two non-interacting systems. This hypothesis, the author demonstrates, is equivalent to the complete entanglement of these systems. Consequently, Frauchiger and Renner's postulate Q is meaningless and needs to be narrowed. Accurate reformulation of the postulate Q1 does not entail any paradoxes with measurement. This paper is agnostic concerning particular interpretations of quantum mechanics. Nor does it refer to the "collapse of the wavefunction."


title: Equilibrium thermodynamic susceptibilities for a dense degenerate Dirac field

abstract: Parity preserving relativistic fluids in four spacetime dimensions admit seven independent thermodynamic susceptibilities at the second order in the hydrodynamic derivative expansion. We compute all parity-even second order thermodynamic susceptibilities for a free massive Dirac field at zero temperature and a nonzero chemical potential, based on the Kubo formulas reported in P. Kovtun and A. Shukla, Kubo formulas for thermodynamic transport coefficients, J. High Energy Phys. 10 (2018) 007. We also compute the second order constitutive relations for the energy-momentum tensor and the conserved current in the absence of external gauge fields.


title: Zero-Hopf bifurcation in the general Van der Pol-Duffing equation

abstract: We study analytically the coexistence of multiple periodic solutions and invariant tori in the general Van der Pol-Duffing oscillator equations. We use several results related to the averaging method in order to analytically obtain our results. We also provide numerical examples for all the analytical results that we provide.


title: Out-of-equilibrium clock model at the verge of criticality

abstract: We consider an out-of-equilibrium lattice model consisting of 2D discrete rotators, in contact with heat reservoirs at different temperatures. The equilibrium counterpart of such model, the clock-model, exhibits three phases; a low-temperature ordered phase, a quasi-liquid phase, and a high-temperature disordered phase, with two corresponding phase transitions. In the out-of-equilibrium model the simultaneous breaking of spatial symmetry and thermal equilibrium give rise to directed rotation of the spin variables. In this regime the system behaves as a thermal machine converting heat currents into motion. In order to quantify the susceptibility of the machine to the thermodynamic force driving it out-of-equilibrium, we introduce and study a dynamical response function. We show that the optimal operational regime for such a thermal machine occurs when the out-of-equilibrium disturbance is applied around the critical temperature at the boundary between the first two phases, namely where the system is mostly susceptible to external thermodynamic forces and exhibits a sharper transition. We thus argue that critical fluctuations in a system of interacting motors can be exploited to enhance the machine overall dynamic and thermodynamic performances.


title: MNIST-C: A Robustness Benchmark for Computer Vision

abstract: We introduce the MNIST-C dataset, a comprehensive suite of 15 corruptions applied to the MNIST test set, for benchmarking out-of-distribution robustness in computer vision. Through several experiments and visualizations we demonstrate that our corruptions significantly degrade performance of state-of-the-art computer vision models while preserving the semantic content of the test images. In contrast to the popular notion of adversarial robustness, our model-agnostic corruptions do not seek worst-case performance but are instead designed to be broad and diverse, capturing multiple failure modes of modern models. In fact, we find that several previously published adversarial defenses significantly degrade robustness as measured by MNIST-C. We hope that our benchmark serves as a useful tool for future work in designing systems that are able to learn robust feature representations that capture the underlying semantics of the input.


title: Towards Business Partnership Recommendation Using User Opinion on Facebook

abstract: The identification of strategic business partnerships can potentially provide competitive advantages for businesses; however, due to the dynamics and uncertainty present in business environments, this task could be challenging. To help businesses in this task, this study presents a similarity model between businesses that consider the opinions of users on content shared by businesses on social media. Thus, this model captures significant virtual relationships among businesses that are generated by users in the virtual world. Besides, we propose an algorithm for detecting business communities in the considered model. We also propose an algorithm to identify possible business outliers in the detected communities, which could represent an automatic way to identify non-obvious relations that might deserve particular attention of business owners. By exploring approximately 280 million user reactions on Facebook, we show that our results could favor the development of, for example, a new strategic business partnership recommendation service.


title: The Most Massive galaxy Clusters (M2C) across cosmic time: link between radial total mass distribution and dynamical state

abstract: We study the dynamical state and the integrated total mass profiles of 75 massive (M500 > 5 e+14 M_sun) SZ-selected clusters at 0.08<z< 1.1. The sample is built from the Planck catalogue, with the addition of 4 SPT clusters at z>0.9. Using XMM imaging observations, we characterise the dynamical state with the centroid shift, the concentration, and their combination, M, which simultaneously probes the core and the large scale gas morphology. Using spatially-resolved spectroscopy and assuming hydrostatic equilibrium, we derive the total integrated mass profiles. The mass profile shape is quantified by the sparsity, the ratio of M500 to M2500, the masses at density contrast 500 and 2500, respectively. We study the correlations between the various parameters and their dependence on redshift. We confirm that SZ-selected samples, thought to reflect most closely the underlying cluster population, are dominated by disturbed and non-cool core objects at all z. There is no significant evolution or mass dependence of either the cool core fraction or the centroid shift parameter. The M parameter evolves slightly with z, having a correlation coefficient of rho= -0.2 $\pm$ 0.1 and a null hypothesis p-value of 0.01. In the high mass regime considered here, the sparsity evolves minimally with redshift, increasing by 10% between z<0.2 and z>0.55, an effect significant at less than 2 sigma. In contrast, the dependence of the sparsity on dynamical state is much stronger, increasing by a factor of $\sim$60% from the 1/3 most relaxed to the 1/3 most disturbed objects, an effect significant at more than 3 sigma. This is the first observational evidence that the shape of the integrated total mass profile in massive clusters is principally governed by the dynamical state, and is only mildly dependent on redshift. We discuss the consequences for the comparison between observations and theoretical predictions.


title: Strongly Interacting Neutrino Portal Dark Matter

abstract: We present a realistic, simple and natural model of strongly-interacting dark matter based on the neutrino-portal paradigm. The strong interactions at small velocities are generated by the exchange of dark photons, and produce the observed core-like DM distribution in galactic centers; this effect could be spoiled by the formation of DM bound states (also due to dark-photon effects), which we avoid by requiring the DM candidates to be light, with masses below O(10 GeV). The mixing of the dark photon with the Z and ordinary photon is strongly suppressed by introducing a softly-broken discrete symmetry similar to charge conjugation, which also ensures that the dark photon life-time is short enough to avoid restrictions derived form big-bang nucleosynthesis and large-scale structure formation. Other constraints are accommodated without the need of fine tuning, in particular nucleon scattering occurs only at one loop, so direct detection cross sections are naturally suppressed. Neutrino masses are generated through the inverse see saw.


title: How to Initialize your Network? Robust Initialization for WeightNorm & ResNets

abstract: Residual networks (ResNet) and weight normalization play an important role in various deep learning applications. However, parameter initialization strategies have not been studied previously for weight normalized networks and, in practice, initialization methods designed for un-normalized networks are used as a proxy. Similarly, initialization for ResNets have also been studied for un-normalized networks and often under simplified settings ignoring the shortcut connection. To address these issues, we propose a novel parameter initialization strategy that avoids explosion/vanishment of information across layers for weight normalized networks with and without residual connections. The proposed strategy is based on a theoretical analysis using mean field approximation. We run over 2,500 experiments and evaluate our proposal on image datasets showing that the proposed initialization outperforms existing initialization methods in terms of generalization performance, robustness to hyper-parameter values and variance between seeds, especially when networks get deeper in which case existing methods fail to even start training. Finally, we show that using our initialization in conjunction with learning rate warmup is able to reduce the gap between the performance of weight normalized and batch normalized networks.


title: Entropy Rain: Dilution and Compression of Thermals in Stratified Domains

abstract: Large-scale convective flows called giant cells were once thought to transport the Sun's luminosity in the solar convection zone, but recent observations have called their existence into question. In place of large-scale flows, some authors have suggested the solar luminosity may instead be transported by small droplets of rapidly falling, low entropy fluid. This "entropy rain" could propagate as dense vortex rings, analogous to rising buoyant thermals in the Earth's atmosphere. In this work, we develop an analytical theory describing the evolution of dense, negatively buoyant thermals. We verify the theory with 2D cylindrical and 3D cartesian simulations of laminar, axisymmetric thermals in highly stratified atmospheres. Our results show that dense thermals fall in two categories: a stalling regime in which the droplets slow down and expand, and a falling regime in which the droplets accelerate and shrink as they propagate downwards. We estimate that solar downflows are in the falling regime and maintain their entropy perturbation against diffusion until they reach the base of the convection zone. This suggests that entropy rain may be an effective nonlocal mechanism for transporting the solar luminosity.


title: Anatomical Priors for Image Segmentation via Post-Processing with Denoising Autoencoders

abstract: Deep convolutional neural networks (CNN) proved to be highly accurate to perform anatomical segmentation of medical images. However, some of the most popular CNN architectures for image segmentation still rely on post-processing strategies (e.g. Conditional Random Fields) to incorporate connectivity constraints into the resulting masks. These post-processing steps are based on the assumption that objects are usually continuous and therefore nearby pixels should be assigned the same object label. Even if it is a valid assumption in general, these methods do not offer a straightforward way to incorporate more complex priors like convexity or arbitrary shape restrictions. In this work we propose Post-DAE, a post-processing method based on denoising autoencoders (DAE) trained using only segmentation masks. We learn a low-dimensional space of anatomically plausible segmentations, and use it as a post-processing step to impose shape constraints on the resulting masks obtained with arbitrary segmentation methods. Our approach is independent of image modality and intensity information since it employs only segmentation masks for training. This enables the use of anatomical segmentations that do not need to be paired with intensity images, making the approach very flexible. Our experimental results on anatomical segmentation of X-ray images show that Post-DAE can improve the quality of noisy and incorrect segmentation masks obtained with a variety of standard methods, by bringing them back to a feasible space, with almost no extra computational time.


title: Design of electrostatic phase elements for sorting the orbital angular momentum of electrons

abstract: The orbital angular momentum (OAM) sorter is a new electron optical device for measuring an electron s OAM. It is based on two phase elements, which are referred to as the unwrapper and corrector and are placed in Fourier conjugate planes in an electron microscope. The most convenient implementation of this concept is based on the use of electrostatic phase elements, such as a charged needle as the unwrapper and a set of electrodes with alternating charges as the corrector. Here, we use simulations to assess the role of imperfections in such a device, in comparison to an ideal sorter. We show that the finite length of the needle and the boundary conditions introduce astigmatism, which leads to detrimental cross-talk in the OAM spectrum. We demonstrate that an improved setup comprising three charged needles can be used to compensate for this aberration, allowing measurements with a level of cross-talk in the OAM spectrum that is comparable to the ideal case.


title: A note on dual modules and the transpose

abstract: It is a classical result in matrix algebra that any square matrix over a field can be conjugated to its transpose by a symmetric matrix. For $F$ a non-Archimedean local field, Tupan used this to give an elementary proof that transpose inverse takes each irreducible smooth representation of ${\rm GL}_n(F)$ to its dual. We re-prove the matrix result and related observations using module-theoretic arguments. In addition, we write down a generalization that applies to central simple algebras with an involution of the first kind. We use this generalization to extend Tupan's method of argument to ${\rm GL}_n(D)$ for $D$ a quaternion division algebra over $F$.


title: Sobolev spaces for multi-black hole initial data

abstract: In this article we introduce weighted Sobolev spaces that are well suited to treat initial data for multiple black hole systems. We prove general results for elliptic operators on these spaces and give a simple proof of existence of a class of initial data describing many extremal black holes.


title: Mod\`eles g\'eom\'etriques attach\'es aux paires r\'eductives

abstract: L'objet de cet article d'exposition est de pr\'esenter une introduction \`a l'article "The ext algebra of a quantized cycle" \'ecrit en collaboration avec Damien Calaque, et d'expliquer plus g\'en\'eralement comment le dictionnaire entre th\'eorie de Lie et g\'eom\'etrie alg\'ebrique, d\'evelopp\'e par Calaque, C\u{a}ld\u{a}raru et Tu \`a la suite des travaux de Kapranov et de Markarian, peut \^etre consolid\'e au sens o\`u les \'enonc\'es g\'eom\'etriques ne sont plus seulement des analogues de r\'esultats alg\'ebriques, mais en sont des extensions pour certains objets de Lie dans des cat\'egories d\'eriv\'ees.


title: Hyperscaling violating geometry with magnetic field and DC conductivity

abstract: We consider dyonic black hole in hyperscaling violating Lifshitz theories arised in a four dimensional Einstein-Maxwell-dilaton system along with axion fields. Considering the linearised equation of relevant fluctuations in metric and gauge fields, we analytically compute thermoelectric conductivity of the dual theory using Dirichlet boundary condition and find agreement with conductivities obtained in near horizon analysis. We also study temperature dependence of the conductivities.