title: Polarized inelastic neutron scattering of non-reciprocal spin waves in MnSi

abstract: We report spin-polarized inelastic neutron scattering of the dynamical structure factor of the conical magnetic helix in the cubic chiral magnet MnSi. We find that the spectral weight of spin-flip scattering processes is concentrated on single branches for wavevector transfer parallel to the helix axis as inferred from well-defined peaks in the neutron spectra. In contrast, for wavevector transfers perpendicular to the helix the spectral weight is distributed among different branches of the magnon band structure as reflected in broader features of the spectra. Taking into account the effects of instrumental resolution, our experimental results are in excellent quantitative agreement with parameter-free theoretical predictions. Whereas the dispersion of the spin waves in MnSi appears to be approximately reciprocal at low energies and small applied fields, the associated spin-resolved spectral weight displays a pronounced non-reciprocity that implies a distinct non-reciprocal response in the limit of vanishing uniform magnetization at zero magnetic field.


title: Delayed sudden death of entanglement at exceptional points

abstract: Almost a decade ago, physicists encountered a strange quantum phenomenon that predicts an unusual death of entanglement under the influence of local noisy environment,known as entanglement sudden death (ESD). This could be an immediate stumbling block in realizing all the entanglement based quantum information and computation protocols. In this work, we propose a scheme to tackle such shortcomings by exploiting the phenomenon of exceptional points (EP). Starting with a binary mechanical $\mathcal{PT}$ symmetric system, realized over an optomechanical platform, we show that a substantial delay in ESD can be achieved via pushing the system towards an exceptional point. This finding has been further extended to higher (third) order exceptional point by considering a more complicated tripartite entanglement into account.


title: Wehrl-type coherent state entropy inequalities for $SU(1,1)$ and its $AX+B$ subgroup

abstract: We discuss the Wehrl-type entropy inequality conjecture for the group $SU(1,1)$ and for its subgroup $AX+B$ (or affine group), their representations on $L^2({\mathbb R}_+)$, and their coherent states. For $AX+B$ the Wehrl-type conjecture for $L^p$-norms of these coherent states (also known as the R\'enyi entropies) is proved in the case that $p$ is an even integer. We also show how the general $AX+B$ case reduces to an unsolved problem about analytic functions on the upper half plane and the unit disc.


title: Iterative schemes for surfactant transport in porous media

abstract: In this work we consider the transport of a surfactant in a variably saturated porous media. The water flow is modelled by the Richards equations and it is fully coupled with the transport equation for the surfactant. Three linearization techniques are discussed: the Newton method, the modified Picard and the L-scheme. Based on these, monolithic and splitting schemes are proposed and their convergence is analyzed. The performance of these schemes is illustrated on four numerical examples. For these examples, the number of iterations and the condition numbers of the linear systems emerging in each iteration are presented.


title: A Semantic-based Medical Image Fusion Approach

abstract: It is necessary for clinicians to comprehensively analyze patient information from different sources. Medical image fusion is a promising approach to providing overall information from medical images of different modalities. However, existing medical image fusion approaches ignore the semantics of images, making the fused image difficult to understand. In this work, we propose a new evaluation index to measure the semantic loss of fused image, and put forward a Fusion W-Net (FW-Net) for multimodal medical image fusion. The experimental results are promising: the fused image generated by our approach greatly reduces the semantic information loss, and has better visual effects in contrast to five state-of-art approaches. Our approach and tool have great potential to be applied in the clinical setting.


title: Patient-Specific Effects of Medication Using Latent Force Models with Gaussian Processes

abstract: Multi-output Gaussian processes (GPs) are a flexible Bayesian nonparametric framework that has proven useful in jointly modeling the physiological states of patients in medical time series data. However, capturing the short-term effects of drugs and therapeutic interventions on patient physiological state remains challenging. We propose a novel approach that models the effect of interventions as a hybrid Gaussian process composed of a GP capturing patient physiology convolved with a latent force model capturing effects of treatments on specific physiological features. This convolution of a multi-output GP with a GP including a causal time-marked kernel leads to a well-characterized model of the patients' physiological state responding to interventions. We show that our model leads to analytically tractable cross-covariance functions, allowing scalable inference. Our hierarchical model includes estimates of patient-specific effects but allows sharing of support across patients. Our approach achieves competitive predictive performance on challenging hospital data, where we recover patient-specific response to the administration of three common drugs: one antihypertensive drug and two anticoagulants.


title: On smooth projective D-affine varieties

abstract: We show various properties of smooth projective D-affine varieties. In particular, any smooth projective D-affine variety is algebraically simply connected and its image under a fibration is D-affine. In characteristic zero such D-affine varieties are also uniruled. We also show that (apart from a few small characteristics) a smooth projective surface is D-affine if and only if it is isomorphic to either ${\mathbb P}^2$ or ${\mathbb P}^1\times {\mathbb P}^1$. In positive characteristic, a basic tool in the proof is a new generalization of Miyaoka's generic semipositivity theorem.


title: Approximate Quantiles for Datacenter Telemetry Monitoring

abstract: Datacenter systems require efficient troubleshooting and effective resource scheduling so as to minimize downtimes and to efficiently utilize limited resources. In doing so, datacenter operators employ streaming analytics for collecting and processing datacenter telemetry over a temporal window. The quantile operator is key to these systems as it can summarize the typical and abnormal behavior of the monitored system. Computing quantiles in real-time is resource-intensive as it requires processing hundreds of millions of events in seconds while providing high accuracy. We overcome these challenges in real-time quantile computation through workload-driven approximation, motivated by three insights in our study: (i) values are dominated by a set of recurring small values, (ii) distribution of small values is consistent across different time scales, and (iii) tail values are dominated by a small set of large values. That is, we propose AOMG, an efficient and accurate quantile approximation algorithm that capitalizes on these insights. AOMG minimizes memory footprint of the quantile operator via compression and frequency-based summarization of small values. While these summaries are stored and processed at sub-window granularity for memory efficiency, they can extend to compute quantiles on user-defined temporal windows. Low value error for tail quantiles is achieved by retaining a few tail values per subwindow. AOMG estimates quantiles with high throughput and less than 5% relative value error across a wide range of use cases while state-of-the-art algorithms either have a high relative value error (9.3-137.0%) or deliver lower throughput (15-92%).


title: Variational Langevin Hamiltonian Monte Carlo for Distant Multi-modal Sampling

abstract: The Hamiltonian Monte Carlo (HMC) sampling algorithm exploits Hamiltonian dynamics to construct efficient Markov Chain Monte Carlo (MCMC), which has become increasingly popular in machine learning and statistics. Since HMC uses the gradient information of the target distribution, it can explore the state space much more efficiently than the random-walk proposals. However, probabilistic inference involving multi-modal distributions is very difficult for standard HMC method, especially when the modes are far away from each other. Sampling algorithms are then often incapable of traveling across the places of low probability. In this paper, we propose a novel MCMC algorithm which aims to sample from multi-modal distributions effectively. The method improves Hamiltonian dynamics to reduce the autocorrelation of the samples and uses a variational distribution to explore the phase space and find new modes. A formal proof is provided which shows that the proposed method can converge to target distributions. Both synthetic and real datasets are used to evaluate its properties and performance. The experimental results verify the theory and show superior performance in multi-modal sampling.


title: Improving VAEs' Robustness to Adversarial Attack

abstract: Variational autoencoders (VAEs) have recently been shown to be vulnerable to adversarial attacks, wherein they are fooled into reconstructing a chosen target image. However, how to defend against such attacks remains an open problem. We make significant advances in addressing this issue by introducing methods for producing adversarially robust VAEs. Namely, we first demonstrate that methods proposed to obtain disentangled latent representations produce VAEs that are more robust to these attacks. However, this robustness comes at the cost of reducing the quality of the reconstructions. We ameliorate this by applying disentangling methods to hierarchical VAEs. The resulting models produce high-fidelity autoencoders that are also adversarially robust. We confirm their capabilities on several different datasets and with current state-of-the-art VAE adversarial attacks, and also show that they increase the robustness of downstream tasks to attack.


title: Elimination ideals and Bezout relations

abstract: Let $k$ be an infinite field and $I\subset k [x_1, \ldots ,x_n]$ be an ideal such that dim $V(I)=q$. Denote by $(f_1, \ldots, f_s)$ a set of generators of $I$. One can see that in the set $I\cap k [x_{1},...,x_{q+1}]$ there exist non-zero polynomials, depending only on these $q+1$ variables. We aim to bound the minimal degree of the polynomials of this type, and of a B\'ezout (i.e. membership) relation expressing such a polynomial as a combination of the $f_i$.


title: Kernel Instrumental Variable Regression

abstract: Instrumental variable (IV) regression is a strategy for learning causal relationships in observational data. If measurements of input X and output Y are confounded, the causal relationship can nonetheless be identified if an instrumental variable Z is available that influences X directly, but is conditionally independent of Y given X and the unmeasured confounder. The classic two-stage least squares algorithm (2SLS) simplifies the estimation problem by modeling all relationships as linear functions. We propose kernel instrumental variable regression (KIV), a nonparametric generalization of 2SLS, modeling relations among X, Y, and Z as nonlinear functions in reproducing kernel Hilbert spaces (RKHSs). We prove the consistency of KIV under mild assumptions, and derive conditions under which convergence occurs at the minimax optimal rate for unconfounded, single-stage RKHS regression. In doing so, we obtain an efficient ratio between training sample sizes used in the algorithm's first and second stages. In experiments, KIV outperforms state of the art alternatives for nonparametric IV regression.

categories: cs.LG econ.EM math.FA math.ST stat.ML stat.TH


title: An implicit gradient-descent procedure for minimax problems

abstract: A game theory inspired methodology is proposed for finding a function's saddle points. While explicit descent methods are known to have severe convergence issues, implicit methods are natural in an adversarial setting, as they take the other player's optimal strategy into account. The implicit scheme proposed has an adaptive learning rate that makes it transition to Newton's method in the neighborhood of saddle points. Convergence is shown through local analysis and, in non convex-concave settings, thorough numerical examples in optimal transport and linear programming. An ad-hoc quasi Newton method is developed for high dimensional problems, for which the inversion of the Hessian of the objective function may entail a high computational cost.


title: Experimental and Numerical Analysis of Strain Gradient in Tensile Concrete Prisms Reinforced with Multiple Bars

abstract: This work is a continuation of the ongoing research on deformation behavior of reinforced concrete elements under tension. The previous studies have revealed that deformation behaviors of elements reinforced with multiple bars and the traditional prismatic members reinforced with a center bar are essentially different. The latter layout, though typical of laboratory specimens, could not represent the norm of structures in real-life. Thus, a new test methodology to investigate the strain distribution in concrete prismatic members reinforced with multiple bars subjected to axial tension is devised. Prismatic concrete specimens with different reinforcement configurations were fabricated and tested using the proposed setup. Deformation behavior of the specimens is modeled with a tailor-designed bond modeling approach for rigorous finite element analysis. It is revealed that the average deformations of the concrete could be different from the prevailing approach of average deformations of the steel, and are dependent on the reinforcement configurations. Therefore, the efficiency of concrete in tension should be carefully taken into account for rational design of structural elements. The study endorses promising abilities of finite element technique as a versatile analysis tool whose full potential is to be revealed with the advent of computer hardware.


title: Weak cosmic censorship in Born-Infeld electrodynamics and bound on charge-to-mass ratio

abstract: We construct a class of counterexamples to cosmic censorship in four dimensional Einstein-Born-Infeld theory with asymptotically anti-de Sitter boundary conditions, and investigate the effect of the Born-Infeld parameter $b$ in comparison with the counterpart of Einstein-Maxwell theory. When a charged massive scalar field is included into the action, we find that this class of counterexamples to cosmic censorship would be removed if the charge of scalar fields is above the minimum value of charge $q_{min}$. In particular, the minimum value of charge required to preserve cosmic censorship increases with the increasing of Born-Infeld parameter. Meanwhile, we also show the lower bounds on charge-to-mass ratio with the different values of Born-Infeld parameter.


title: On the design of stabilizing cycles for switched linear systems

abstract: Given a family of systems, identifying stabilizing switching signals in terms of infinite walks constructed by concatenating cycles on the underlying directed graph of a switched system that satisfy certain conditions, is a well-known technique in the literature. This paper deals with a new {method to design} these cycles for stability of switched linear systems. We employ properties of the subsystem matrices and mild assumption on the admissible switches between the subsystems {for this purpose}. In contrast to prior works, {our construction of} stabilizing cycles does not involve design of Lyapunov-like functions and storage of sets of scalars in memory prior to the application of a cycle detection algorithm. As a result, {the} techniques {proposed in this paper} offer improved numerical tractability.


title: State-constrained control-affine parabolic problems I: first and second order necessary optimality conditions

abstract: In this paper we consider an optimal control problem governed by a semilinear heat equation with bilinear control-state terms and subject to control and state constraints. The state constraints are of integral type, the integral being with respect to the space variable. The control is multidimensional. The cost functional is of a tracking type and contains a linear term in the control variables. We derive second order necessary conditions relying on the concept of alternative costates and quasi-radial critical directions. The appendix provides an example illustrating the applicability of our results.


abstract: In this paper we propose a new language model called AGENT, which stands for Adversarial Generation and Encoding of Nested Texts. AGENT is designed for encoding, generating and refining documents that consist of a long and coherent text, such as an entire book, provided they are hierarchically annotated (nested). i.e. divided into sentences, paragraphs and chapters. The core idea of our system is learning vector representations for each level of the text hierarchy (sentences, paragraphs, etc...), and train each such representation to perform 3 tasks: The task of reconstructing the sequence of vectors from a lower level that was used to create the representation, and generalized versions of the Masked Language Modeling (MLM) and "Next Sentence Prediction" tasks from BERT Devlin et al. [2018]. Additionally we present a new adversarial model for long text generation and suggest a way to improve the coherence of the generated text by traversing its vector representation tree.


title: Patterns for Blockchain Data Migration

abstract: With the rapid evolution of technological, economic, and regulatory landscapes, contemporary blockchain platforms are all but certain to undergo major changes. Therefore, the applications that rely on them will eventually need to migrate from one blockchain instance to another to remain competitive and secure, as well as to enhance the business process, performance, cost efficiency, privacy, and regulatory compliance. However, the differences in data and smart contract representations, modes of hosting, transaction fees, as well as the need to preserve consistency, immutability, and data provenance introduce unique challenges over database migration. We first present a set of blockchain migration scenarios and data fidelity levels using an illustrative example. We then present a set of migration patterns to address those scenarios and the above data management challenges. Finally, we demonstrate how the effort, cost, and risk of migration could be minimized by choosing a suitable set of data migration patterns, data fidelity level, and proactive system design. Practical considerations and research challenges are also highlighted.


title: Lung cancer screening with low-dose CT scans using a deep learning approach

abstract: Lung cancer is the leading cause of cancer deaths. Early detection through low-dose computed tomography (CT) screening has been shown to significantly reduce mortality but suffers from a high false positive rate that leads to unnecessary diagnostic procedures. Quantitative image analysis coupled to deep learning techniques has the potential to reduce this false positive rate. We conducted a computational analysis of 1449 low-dose CT studies drawn from the National Lung Screening Trial (NLST) cohort. We applied to this cohort our newly developed algorithm, DeepScreener, which is based on a novel deep learning approach. The algorithm, after the training process using about 3000 CT studies, does not require lung nodule annotations to conduct cancer prediction. The algorithm uses consecutive slices and multi-task features to determine whether a nodule is likely to be cancer, and a spatial pyramid to detect nodules at different scales. We find that the algorithm can predict a patient's cancer status from a volumetric lung CT image with high accuracy (78.2%, with area under the Receiver Operating Characteristic curve (AUC) of 0.858). Our preliminary framework ranked 16th of 1972 teams (top 1%) in the Data Science Bowl 2017 (DSB2017) competition, based on the challenge datasets. We report here the application of DeepScreener on an independent NLST test set. This study indicates that the deep learning approach has the potential to significantly reduce the false positive rate in lung cancer screening with low-dose CT scans.


title: Network Formation under Random Attack and Probabilistic Spread

abstract: We study a network formation game where agents receive benefits by forming connections to other agents but also incur both direct and indirect costs from the formed connections. Specifically, once the agents have purchased their connections, an attack starts at a randomly chosen vertex in the network and spreads according to the independent cascade model with a fixed probability, destroying any infected agents. The utility or welfare of an agent in our game is defined to be the expected size of the agent's connected component post-attack minus her expenditure in forming connections. Our goal is to understand the properties of the equilibrium networks formed in this game. Our first result concerns the edge density of equilibrium networks. A network connection increases both the likelihood of remaining connected to other agents after an attack as well the likelihood of getting infected by a cascading spread of infection. We show that the latter concern primarily prevails and any equilibrium network in our game contains only $O(n\log n)$ edges where $n$ denotes the number of agents. On the other hand, there are equilibrium networks that contain $\Omega(n)$ edges showing that our edge density bound is tight up to a logarithmic factor. Our second result shows that the presence of attack and its spread through a cascade does not significantly lower social welfare as long as the network is not too dense. We show that any non-trivial equilibrium network with $O(n)$ edges has $\Theta(n^2)$ social welfare, asymptotically similar to the social welfare guarantee in the game without any attacks.


title: The early growth of supermassive black holes in cosmological hydrodynamic simulations with constrained Gaussian realizations

abstract: The paper examines the early growth of supermassive black holes (SMBHs) in cosmological hydrodynamic simulations with different BH seeding scenarios. Employing the constrained Gaussian realization, we reconstruct the initial conditions in the large-volume BlueTides simulation and run them to $z=6$ to cross-validate that the method reproduces the first quasars and their environments. Our constrained simulations in a volume of $(15\, h^{-1}{\rm Mpc})^3$ successfully recover the evolution of large-scale structure and the stellar and BH masses in the vicinity of a $\sim10^{12}\, M_{\odot}$ halo which we identified in BlueTides at $z\sim7$ hosting a $\sim10^9\, M_{\odot}$ SMBH. Among our constrained simulations, only the ones with a low-tidal field and high-density peak in the initial conditions induce the fastest BH growth required to explain the $z>6$ quasars. We run two sets of simulations with different BH seed masses of $5\times10^3$, $5\times10^4$, and $5\times10^5\, h^{-1}M_{\odot}$, (a) with the same ratio of halo to BH seed mass and (b) with the same halo threshold mass. At $z=6$, all the SMBHs converge in mass to $\sim10^9\, M_{\odot}$ except for the one with the smallest seed in (b) undergoing critical BH growth and reaching $10^8$ -- $10^9\, M_{\odot}$, albeit with most of the growth in (b) delayed compared to set (a). The finding of eight BH mergers in the small-seed scenario (four with masses $10^4$ -- $10^6\, M_{\odot}$ at $z>12$), six in the intermediate-seed scenario, and zero in the large-seed scenario suggests that the vast BHs in the small-seed scenario merge frequently during the early phases of the growth of SMBHs. The increased BH merger rate for the low-mass BH seed and halo threshold scenario provides an exciting prospect for discriminating BH formation mechanisms with the advent of multi-messenger astrophysics and next-generation gravitational wave facilities.


title: Notes on derivations of Murray--von Neumann algebras

abstract: Let $\mathcal{M}$ be a type II$_1$ von Neumann factor and let $S(\mathcal{M})$ be the associated Murray-von Neumann algebra of all measurable operators affiliated to $\mathcal{M}.$ We extend a result of Kadison and Liu \cite{KL} by showing that any derivation from $S(\mathcal{M})$ into an $\mathcal{M}$-bimodule $\mathcal{B}\subsetneq S(\mathcal{M})$ is trivial. In the special case, when $\mathcal{M}$ is the hyperfinite type II$_1-$factor $\mathcal{R}$, we introduce the algebra $AD(\mathcal{R})$, a noncommutative analogue of the algebra of all almost everywhere approximately differentiable functions on $[0,1]$ and show that it is a proper subalgebra of $S(\mathcal{R})$. This algebra is strictly larger than the corresponding ring of continuous geometry introduced by von Neumann. Further, we establish that the classical approximate derivative on (classes of) Lebesgue measurable functions on $[0,1]$ admits an extension to a derivation from $AD(\mathcal{R})$ into $S(\mathcal{R})$, which fails to be spatial. Finally, we show that for a Cartan masa $\mathcal{A}$ in a hyperfinite II$_1-$factor $\mathcal{R}$ there exists a derivation $\delta$ from $\mathcal{A}$ into $S(\mathcal{A})$ which does not admit an extension up to a derivation from $\mathcal{R}$ to $S(\mathcal{R}).$


title: Generalized Heegner cycles on Mumford curves

abstract: We study generalised Heegner cycles, originally introduced by Bertolini-Darmon-Prasanna for modular curves, in the context of Mumford curves. The main result of this paper relates generalized Heegner cycles with the two variable anticyclotomic $p$-adic $L$-function attached to a Coleman family $f_\infty$ and an imaginary quadratic field $K$. Our generalised Heegner cycles allow us to study the restriction of this function to non-central critical lines. The main result expresses the derivative along the weight variable of this anticyclotomic $p$-adic $L$-function restricted to non necessarily central critical lines as a combination of the image of generalized Heegner cycles under a $p$-adic Abel-Jacobi map. In studying generalised Heegner cycles in the context of Mumford curves, we also obtain an extension of a result of Masdeu for the (one variable) anticyclotomic $p$-adic $L$-function of a modular form $f$ and an imaginary quadratic field $K$ at non-central critical integers.


title: Blockchain for Internet of Things: A Survey

abstract: Internet of Things (IoT) is reshaping the incumbent industry to smart industry featured with data-driven decision-making. However, intrinsic features of IoT result in a number of challenges such as decentralization, poor interoperability, privacy and security vulnerabilities. Blockchain technology brings the opportunities in addressing the challenges of IoT. In this paper, we investigate the integration of blockchain technology with IoT. We name such synthesis of blockchain and IoT as Blockchain of Things (BCoT). This paper presents an in-depth survey of BCoT and discusses the insights of this new paradigm. In particular, we first briefly introduce IoT and discuss the challenges of IoT. Then we give an overview of blockchain technology. We next concentrate on introducing the convergence of blockchain and IoT and presenting the proposal of BCoT architecture. We further discuss the issues about using blockchain for 5G beyond in IoT as well as industrial applications of BCoT. Finally, we outline the open research directions in this promising area.


title: Personalized Multimedia Item and Key Frame Recommendation

abstract: When recommending or advertising items to users, an emerging trend is to present each multimedia item with a key frame image (e.g., the poster of a movie). As each multimedia item can be represented as multiple fine-grained visual images (e.g., related images of the movie), personalized key frame recommendation is necessary in these applications to attract users' unique visual preferences. However, previous personalized key frame recommendation models relied on users' fine-grained image behavior of multimedia items (e.g., user-image interaction behavior), which is often not available in real scenarios. In this paper, we study the general problem of joint multimedia item and key frame recommendation in the absence of the fine-grained user-image behavior. We argue that the key challenge of this problem lies in discovering users' visual profiles for key frame recommendation, as most recommendation models would fail without any users' fine-grained image behavior. To tackle this challenge, we leverage users' item behavior by projecting users (items) in two latent spaces: a collaborative latent space and a visual latent space. We further design a model to discern both the collaborative and visual dimensions of users, and model how users make decisive item preferences from these two spaces. As a result, the learned user visual profiles could be directly applied for key frame recommendation. Finally, experimental results on a real-world dataset clearly show the effectiveness of our proposed model on the two recommendation tasks.


title: COS960: A Chinese Word Similarity Dataset of 960 Word Pairs

abstract: Word similarity computation is a widely recognized task in the field of lexical semantics. Most proposed tasks test on similarity of word pairs of single morpheme, while few works focus on words of two morphemes or more morphemes. In this work, we propose COS960, a benchmark dataset with 960 pairs of Chinese wOrd Similarity, where all the words have two morphemes in three Part of Speech (POS) tags with their human annotated similarity rather than relatedness. We give a detailed description of dataset construction and annotation process, and test on a range of word embedding models. The dataset of this paper can be obtained from https://github.com/thunlp/COS960.


title: Minimal Bubbling for Willmore Surfaces

abstract: In this paper we build an explicit example of a minimal bubble on a Willmore surface, showing there cannot be compactness for Willmore immersions of Willmore energy above $16 \pi$. Additionnally we prove an inequality on the second residue for limits sequences of Willmore immersions with simple minimal bubbles. Doing so, we exclude some gluing configurations and prove compactness for immersed Willmore tori of energy below $12 \pi$.


title: Magnetic fluctuations in the itinerant ferromagnet LaCrGe3 studied by 139La NMR

abstract: LaCrGe$_3$ is an itinerant ferromagnet with a Curie temperature of $T_{\rm c}$ = 85 K and exhibits an avoided ferromagnetic quantum critical point under pressure through a modulated antiferromagnetic phase as well as tri-critical wing structure in its temperature-pressure-magnetic field ($T$-$p$-$H$) phase diagram. In order to understand the static and dynamical magnetic properties of LaCrGe$_3$, we carried out $^{139}$La nuclear magnetic resonance (NMR) measurements. Based on the analysis of NMR data, using the self-consistent-renomalization (SCR) theory, the spin fluctuations in the paramagnetic state are revealed to be isotropic ferromagnetic and three dimensional (3D) in nature. Moreover, the system is found to follow the generalized Rhodes-Wohfarth relation which is expected in 3D itinerant ferromagnetic systems. As compared to other similar itinerant ferromagnets, the Cr 3$d$ electrons and their spin fluctuations are characterized to have a relatively high degree of localization in real space.


title: Metric Learning for Individual Fairness

abstract: There has been much discussion recently about how fairness should be measured or enforced in classification. Individual Fairness [Dwork, Hardt, Pitassi, Reingold, Zemel, 2012], which requires that similar individuals be treated similarly, is a highly appealing definition as it gives strong guarantees on treatment of individuals. Unfortunately, the need for a task-specific similarity metric has prevented its use in practice. In this work, we propose a solution to the problem of approximating a metric for Individual Fairness based on human judgments. Our model assumes that we have access to a human fairness arbiter, who can answer a limited set of queries concerning similarity of individuals for a particular task, is free of explicit biases and possesses sufficient domain knowledge to evaluate similarity. Our contributions include definitions for metric approximation relevant for Individual Fairness, constructions for approximations from a limited number of realistic queries to the arbiter on a sample of individuals, and learning procedures to construct hypotheses for metric approximations which generalize to unseen samples under certain assumptions of learnability of distance threshold functions.


title: Holder Regularity up to the Boundary for Critical SQG on Bounded Domains

abstract: We consider the dissipative SQG equation in bounded domains, first introduced by Constantin and Ignatova in 2016. We show global Holder regularity up to the boundary of the solution, with a method based on the De Giorgi techniques. The boundary introduces several difficulties. In particular, the Dirichlet Laplacian is not translation invariant near the boundary, which leads to complications involving the Riesz transform.


title: U-Slot Patch Principle and Design Methodology Using Characteristic Mode Analysis and Coupled Mode Theory

abstract: Patch antennas incorporating a U-shaped slot are well-known to have relatively large (about 30%) impedance bandwidths. This work uses Characteristic Mode Analysis to explain the impedance behavior of a classic U-slot patch geometry in terms of Coupled Mode Theory and shows the relevant modes are in-phase and anti-phase coupled modes whose resonant frequencies are governed by Coupled Mode Theory. Additional analysis shows that one uncoupled resonator is the conventional TM01 patch mode and the other is a lumped LC resonator involving the slot and the probe. An equivalent circuit model for the antenna is given wherein element values are extracted from Characteristic Mode Analysis data and which explicitly demonstrates coupling between these two resonators. The circuit model approximately reproduces the impedance locus of the driven simulation. A design methodology based on Coupled Mode Theory and guided by Characteristic Mode Analysis is presented that allows wideband U-slot patch geometries to be designed quickly and efficiently. The methodology is illustrated through example.


title: A slender body model for thin rigid fibers: validation and comparisons

abstract: In this paper we consider a computational model for the motion of thin, rigid fibers in viscous flows based on slender body theory. Slender body theory approximates the fluid velocity field about the fiber as the flow due to a distribution of singular solutions to the Stokes equations along the fiber centerline. The velocity of the fiber itself is often approximated by an asymptotic limit of this expression. Here we investigate the efficacy of simply evaluating the slender body velocity expression on a curve along the surface of the actual 3D fiber, rather than limiting to the fiber centerline. Doing so may yield an expression better suited for numerical simulation. We validate this model for two simple geometries, namely, thin ellipsoids and thin rings, and we compare the model to results in the literature for constant and shear flow. In the case of a fiber with straight centerline, the model coincides with the prolate spheroid model of Jeffery. For the thin torus, the computed force agrees with the asymptotically accurate values of Johnson and Wu and gives qualitatively similar dynamics to oblate spheroids of similar size and inertia


title: Super-resolution of Time-series Labels for Bootstrapped Event Detection

abstract: Solving real-world problems, particularly with deep learning, relies on the availability of abundant, quality data. In this paper we develop a novel framework that maximises the utility of time-series datasets that contain only small quantities of expertly-labelled data, larger quantities of weakly (or coarsely) labelled data and a large volume of unlabelled data. This represents scenarios commonly encountered in the real world, such as in crowd-sourcing applications. In our work, we use a nested loop using a Kernel Density Estimator (KDE) to super-resolve the abundant low-quality data labels, thereby enabling effective training of a Convolutional Neural Network (CNN). We demonstrate two key results: a) The KDE is able to super-resolve labels more accurately, and with better calibrated probabilities, than well-established classifiers acting as baselines; b) Our CNN, trained on super-resolved labels from the KDE, achieves an improvement in F1 score of 22.1% over the next best baseline system in our candidate problem domain.


title: Data-Pooling in Stochastic Optimization

abstract: Managing large-scale systems often involves simultaneously solving thousands of unrelated stochastic optimization problems, each with limited data. Intuition suggests one can decouple these unrelated problems and solve them separately without loss of generality. We propose a novel data-pooling algorithm called Shrunken-SAA that disproves this intuition. In particular, we prove that combining data across problems can outperform decoupling, even when there is no a priori structure linking the problems and data are drawn independently. Our approach does not require strong distributional assumptions and applies to constrained, possibly non-convex, non-smooth optimization problems such as vehicle-routing, economic lot-sizing or facility location. We compare and contrast our results to a similar phenomenon in statistics (Stein's Phenomenon), highlighting unique features that arise in the optimization setting that are not present in estimation. We further prove that as the number of problems grows large, Shrunken-SAA learns if pooling can improve upon decoupling and the optimal amount to pool, even if the average amount of data per problem is fixed and bounded. Importantly, we highlight a simple intuition based on stability that highlights when and why data-pooling offers a benefit, elucidating this perhaps surprising phenomenon. This intuition further suggests that data-pooling offers the most benefits when there are many problems, each of which has a small amount of relevant data. Finally, we demonstrate the practical benefits of data-pooling using real data from a chain of retail drug stores in the context of inventory management.


title: Variability of young stellar objects in the star-forming region Pelican Nebula

abstract: We observed a field of $16'\times 16'$ in the star-forming region Pelican Nebula (IC 5070) at $BVRI$ wavelengths for 90 nights spread over one year in 2012-2013. More than 250 epochs in $VRI$-bands are used to identify and classify variables up to $V\sim 21$~mag. We present a catalogue of optical time-series photometry with periods, mean-magnitudes and classifications for 95 variable stars including 67 pre-main-sequence variables towards star-forming region IC 5070. The pre-main-sequence variables are further classified as candidate classical T Tauri and weak-line T Tauri stars based on their light curve variations and the locations on the color-color and color-magnitude diagrams using optical and infrared data together with Gaia DR2 astrometry. Classical T Tauri stars display variability amplitudes up to three times the maximum fluctuation in disk-free weak-line T Tauri stars, which show strong periodic variations. Short-term variability is missed in our photometry within single nights. Several classical T Tauri stars display long-lasting ($\geq 10$ days) single or multiple fading and brightening events up to a couple of magnitudes at optical wavelengths. The typical mass and age of the pre-main-sequence variables from the isochrone-fitting and spectral energy distributions are estimated to be $\le 1~M_\odot$ and $\sim 2$ Myr, respectively. We do not find any correlation between the optical amplitudes or periods with the physical parameters (mass and age) of pre-main-sequence stars.


title: Transient quantum isolation and critical behavior in the magnetization dynamics of half-metallic manganites

abstract: We combine time resolved pump-probe Magneto-Optical Kerr Effect and Photoelectron Spectroscopy experiments supported by theoretical analysis to determine the relaxation dynamics of delocalized electrons in half-metallic ferromagnetic manganite $La_{1-x}Sr_{x}MnO_{3}$. We observe that the half-metallic character of $La_{1-x}Sr_{x}MnO_{3}$ determines the timescale of both the electronic phase transition and the quenching of magnetization, revealing a quantum isolation of the spin system in double exchange ferromagnets extending up to hundreds of picoseconds. We demonstrate the use of time-resolved hard X-ray photoelectron spectroscopy (TR-HAXPES) as a unique tool to single out the evolution of strongly correlated electronic states across a second-order phase transition in a complex material.


title: Enhancing Transformation-based Defenses using a Distribution Classifier

abstract: Adversarial attacks on convolutional neural networks (CNN) have gained significant attention and there have been active research efforts on defense mechanisms. Stochastic input transformation methods have been proposed, where the idea is to recover the image from adversarial attack by random transformation, and to take the majority vote as consensus among the random samples. However, the transformation improves the accuracy on adversarial images at the expense of the accuracy on clean images. While it is intuitive that the accuracy on clean images would deteriorate, the exact mechanism in which how this occurs is unclear. In this paper, we study the distribution of softmax induced by stochastic transformations. We observe that with random transformations on the clean images, although the mass of the softmax distribution could shift to the wrong class, the resulting distribution of softmax could be used to correct the prediction. Furthermore, on the adversarial counterparts, with the image transformation, the resulting shapes of the distribution of softmax are similar to the distributions from the clean images. With these observations, we propose a method to improve existing transformation-based defenses. We train a separate lightweight distribution classifier to recognize distinct features in the distributions of softmax outputs of transformed images. Our empirical studies show that our distribution classifier, by training on distributions obtained from clean images only, outperforms majority voting for both clean and adversarial images. Our method is generic and can be integrated with existing transformation-based defenses.


title: Type-theoretic weak factorization systems

abstract: This article presents three characterizations of the weak factorization systems on finitely complete categories that interpret intensional dependent type theory with Sigma-, Pi-, and Id-types. The first characterization is that the weak factorization system (L,R) has the properties that L is stable under pullback along R and that all maps to a terminal object are in R. We call such weak factorization systems type-theoretic. The second is that the weak factorization system has an Id-presentation: roughly, it is generated by Id-types in the empty context. The third is that the weak factorization system (L, R) is generated by a Moore relation system, a generalization of the notion of Moore paths.


title: Superposition of the Coupled NLS and MKdV Systems

abstract: Superpositions of hierarchies of integrable equations are also integrable. The superposed equations, such as the Hirota equations in the AKNS hierarchy, cannot be considered as new integrable equations. Furthermore if one applies the Hirota bilinear method to these equations one obtains the same $N$-soliton solutions of the generating equation which differ only by the dispersion relations. Similar discussions can be made for the locally and nonlocally reduced equations as well. We give, as an example, AKNS system of equations in $(1+1)$-dimensions.


title: Integrability of the $n$-dimensional axially symmetric Chaplygin sphere

abstract: We consider the $n$-dimensional Chaplygin sphere under the assumption that the mass distribution of the sphere is axisymmetric. We prove that for initial conditions whose angular momentum about the contact point is vertical, the dynamics is quasi-periodic. For $n=4$ we perform the reduction by the associated $SO(3)$ symmetry and show that the reduced system is integrable by the Euler-Jacobi theorem.


title: On the Stanley depth of powers of monomial ideals

abstract: Let $\mathbb{K}$ be a field and $S=\mathbb{K}[x_1,\dots,x_n]$ be the polynomial ring in $n$ variables over $\mathbb{K}$. In 1982, R. Stanley associated a combinatorial invariant to any finitely generated $\mathbb{Z}^n$-graded $S$-module which is now called Stanley depth. Stanley conjectured that this invariant is an upper bound for the depth of module. Stanley's conjecture has been disproved by Duval et al. \cite{abcj}, and the counterexample is a quotient of squarefree monomial ideals. On the other hand, there are evidences showing that Stanley's inequality can be true for high powers of monomial ideals. In this survey article, we collect the recent results in this direction. More precisely, we investigate the Stanley depth of powers, integral closure of powers and symbolic powers of monomial ideals.


title: Quantum-inspired memory-enhanced stochastic algorithms

abstract: Stochastic models are highly relevant tools in science, engineering, and society. Recent work suggests emerging quantum computing technologies can substantially decrease the memory requirements for simulating stochastic models. Here we show that some of these recent quantum memory-enhanced algorithms can be either implemented or approximated classically. In other words, we show that it is possible to develop quantum-inspired classical algorithms that require much less memory than the best classical algorithms known to date. Being classical, such algorithms could be implemented in state-of-the-art high-performance computers, which could potentially enhance the study of large-scale complex systems. Furthermore, since memory is the main bottleneck limiting the performance of classical supercomputers in one of the most promising avenues to demonstrate quantum 'supremacy', we expect adaptations of these ideas may potentially further raise the bar for near-term quantum computers to reach such a milestone.


title: Graph-based Discriminators: Sample Complexity and Expressiveness

abstract: A basic question in learning theory is to identify if two distributions are identical when we have access only to examples sampled from the distributions. This basic task is considered, for example, in the context of Generative Adversarial Networks (GANs), where a discriminator is trained to distinguish between a real-life distribution and a synthetic distribution. % Classically, we use a hypothesis class $H$ and claim that the two distributions are distinct if for some $h\in H$ the expected value on the two distributions is (significantly) different. Our starting point is the following fundamental problem: "is having the hypothesis dependent on more than a single random example beneficial". To address this challenge we define $k$-ary based discriminators, which have a family of Boolean $k$-ary functions $\mathcal{G}$. Each function $g\in \mathcal{G}$ naturally defines a hyper-graph, indicating whether a given hyper-edge exists. A function $g\in \mathcal{G}$ distinguishes between two distributions, if the expected value of $g$, on a $k$-tuple of i.i.d examples, on the two distributions is (significantly) different. We study the expressiveness of families of $k$-ary functions, compared to the classical hypothesis class $H$, which is $k=1$. We show a separation in expressiveness of $k+1$-ary versus $k$-ary functions. This demonstrate the great benefit of having $k\geq 2$ as distinguishers. For $k\geq 2$ we introduce a notion similar to the VC-dimension, and show that it controls the sample complexity. We proceed and provide upper and lower bounds as a function of our extended notion of VC-dimension.


title: Parametric Shape Modeling and Skeleton Extraction with Radial Basis Functions using Similarity Domains Network

abstract: We demonstrate the use of similarity domains (SDs) for shape modeling and skeleton extraction. SDs are recently proposed and they can be utilized in a neural network framework to help us analyze shapes. SDs are modeled with radial basis functions with varying shape parameters in Similarity Domains Networks (SDNs). In this paper, we demonstrate how using SDN can first help us model a pixel-based image in terms of SDs and then demonstrate how those learned SDs can be used to extract the skeleton of a shape.


title: How to best use Syntax in Semantic Role Labelling

abstract: There are many different ways in which external information might be used in an NLP task. This paper investigates how external syntactic information can be used most effectively in the Semantic Role Labeling (SRL) task. We evaluate three different ways of encoding syntactic parses and three different ways of injecting them into a state-of-the-art neural ELMo-based SRL sequence labelling model. We show that using a constituency representation as input features improves performance the most, achieving a new state-of-the-art for non-ensemble SRL models on the in-domain CoNLL'05 and CoNLL'12 benchmarks.


title: Loop Antennas for Use On/Off Metal Ground Planes

abstract: Many applications benefit from the ability of an RFID tag to operate both on and off a conducting ground plane. This paper presents an electrically small loop antenna at 433 MHz that passively maintains its free-space tune and match when located a certain distance away from a large conducting ground plane. The design achieves this using a single radiation mechanism (that of a loop) in both environments without the use of a ground plane or EBG/AMC structure. An equivalent circuit model is developed that explains the dual-environment behavior and shows that the geometry balances inductive and capacitive parasitics introduced by the ground plane such that the free-space loop reactance, and thus resonant frequency, does not change. A design equation for balancing the inductive and capacitive parasitic effects is derived. Finally, experimental data showing the design eliminates ground plane detuning in practice is presented. The design is suitable for active, "hard" RFID tag applications.


title: The set of $p$-harmonic functions in $B_{1}$ is total in $C^{k}(\bar{B}_{1})$

abstract: Let $(-\Delta_{p})^{s}$, with $0<s<1<p<\infty$, be the fractional $p$-Laplacian operator. We prove that the span of $p$-harmonic functions in $B_{1}$ is dense in $C^{k}(\bar{B}_{1})$.


title: Breit and QED effects on the 3d9 2D3/2 - 2D5/2 transition energy in Co-like ions

abstract: The multiconfiguration Dirac-Hartree-Fock theory is used to calculate the 3d9 2D3/2 - 2D5/2 transition energy for Co-like ions with Z = 28-100. We investigate how electron correlation, frequency-independent and -dependent Breit interactions, as well as QED corrections, vary along the sequence. The well-understood frequency-independent Breit contribution has the largest contribution for all ions. Among the corrections to this, correlation decreases rapidly with Z, the frequency-dependent Breit contribution is important especially for high-Z ions, and the self-energy contribution to the QED becomes the largest correction already for Z>50. We evaluate and compare results for the Self-energy in three different approximations, (i) the approach implemented in the GRASP2K package, (ii) the method based on Welton's concept and (iii) a model operator approach recently developed by Shabaev and coworkers. Through comparison with experimental values, it seems that the third set of results have the best agreement with experiments, but the difference from experiments for high-Z ions, is around 0.03%-0.04%, and therefore our results are outside the error bars of the experiments.


title: Natural Image Noise Dataset

abstract: Convolutional neural networks have been the focus of research aiming to solve image denoising problems, but their performance remains unsatisfactory for most applications. These networks are trained with synthetic noise distributions that do not accurately reflect the noise captured by image sensors. Some datasets of clean-noisy image pairs have been introduced but they are usually meant for benchmarking or specific applications. We introduce the Natural Image Noise Dataset (NIND), a dataset of DSLR-like images with varying levels of ISO noise which is large enough to train models for blind denoising over a wide range of noise. We demonstrate a denoising model trained with the NIND and show that it significantly outperforms BM3D on ISO noise from unseen images, even when generalizing to images from a different type of camera. The Natural Image Noise Dataset is published on Wikimedia Commons such that it remains open for curation and contributions. We expect that this dataset will prove useful for future image denoising applications.


title: GLAD: Learning Sparse Graph Recovery

abstract: Recovering sparse conditional independence graphs from data is a fundamental problem in machine learning with wide applications. A popular formulation of the problem is an $\ell_1$ regularized maximum likelihood estimation. Many convex optimization algorithms have been designed to solve this formulation to recover the graph structure. Recently, there is a surge of interest to learn algorithms directly based on data, and in this case, learn to map empirical covariance to the sparse precision matrix. However, it is a challenging task in this case, since the symmetric positive definiteness (SPD) and sparsity of the matrix are not easy to enforce in learned algorithms, and a direct mapping from data to precision matrix may contain many parameters. We propose a deep learning architecture, GLAD, which uses an Alternating Minimization (AM) algorithm as our model inductive bias, and learns the model parameters via supervised learning. We show that GLAD learns a very compact and effective model for recovering sparse graphs from data.


title: On the moduli of hypersurfaces in toric orbifolds

abstract: We construct and study the moduli of hypersurfaces in toric orbifolds. Let $X$ be a projective toric orbifold and $\alpha \in Cl(X)$ an ample class. The moduli space is constructed as a quotient of the linear system $|\alpha|$ by $G = Aut(X)$. Since the group $G$ is non-reductive in general, we use new techniques of non-reductive geometric invariant theory. Using the $A$-discriminant we prove semistability for certain toric orbifolds. Further, we show that quasismooth hypersurfaces in a weighted projective space are stable when the weighted projective space satisfies a certain condition. We also discuss how to proceed when this condition is not satisfied. We prove that the automorphism group of a quasismooth hypersurface of weighted projective space is finite excluding some low degrees.


title: Robust approximate linear regression without correspondence

abstract: We propose methods for estimating correspondence between two point sets under the presence of outliers in both the source and target sets. The proposed algorithms expand upon the theory of the regression without correspondence problem to estimate transformation coefficients using unordered multisets of covariates and responses. Previous theoretical analysis of the problem has been done in a setting where the responses are a complete permutation of the regressed covariates. This paper expands the problem setting by analyzing the cases where only a subset of the responses is a permutation of the regressed covariates in addition to some covariates being outliers. We term this problem \textit{robust regression without correspondence} and provide several algorithms based on random sample consensus for exact and approximate recovery in a noiseless and noisy one-dimensional setting as well as an approximation algorithm for multiple dimensions. The theoretical guarantees of the algorithms are verified in simulated data. We demonstrate an important computational neuroscience application of the proposed framework by demonstrating its effectiveness in a \textit{Caenorhabditis elegans} neuron matching problem where the presence of outliers in both the source and target nematodes is a natural tendency.


title: "President Vows to Cut <Taxes> Hair": Dataset and Analysis of Creative Text Editing for Humorous Headlines

abstract: We introduce, release, and analyze a new dataset, called Humicroedit, for research in computational humor. Our publicly available data consists of regular English news headlines paired with versions of the same headlines that contain simple replacement edits designed to make them funny. We carefully curated crowdsourced editors to create funny headlines and judges to score a to a total of 15,095 edited headlines, with five judges per headline. The simple edits, usually just a single word replacement, mean we can apply straightforward analysis techniques to determine what makes our edited headlines humorous. We show how the data support classic theories of humor, such as incongruity, superiority, and setup/punchline. Finally, we develop baseline classifiers that can predict whether or not an edited headline is funny, which is a first step toward automatically generating humorous headlines as an approach to creating topical humor.


title: The Wishart planted ensemble: A tunably-rugged pairwise Ising model with a first-order phase transition

abstract: We propose the Wishart planted ensemble, a class of zero-field Ising models with tunable algorithmic hardness and specifiable (or planted) ground state. The problem class arises from a simple procedure for generating a family of random integer programming problems with specific statistical symmetry properties, but turns out to have intimate connections to a sign-inverted variant of the Hopfield model. The Hamiltonian contains only 2-spin interactions, with the coupler matrix following a type of Wishart distribution. The class exhibits a classical first-order phase transition in temperature. For some parameter settings the model has a locally-stable paramagnetic state, a feature which correlates strongly with difficulty in finding the ground state and suggests an extremely rugged energy landscape. We analytically probe the ensemble thermodynamic properties by deriving the Thouless-Anderson-Palmer equations and free energy and corroborate the results with a replica and annealed approximation analysis; extensive Monte Carlo simulations confirm our predictions of the first-order transition temperature. The class exhibits a wide variation in algorithmic hardness as a generation parameter is varied, with a pronounced easy-hard-easy profile and peak in solution time towering many orders of magnitude over that of the easy regimes. By deriving the ensemble-averaged energy distribution and taking into account finite-precision representation, we propose an analytical expression for the location of the hardness peak and show that at fixed precision, the number of constraints in the integer program must increase with system size to yield truly hard problems. The Wishart planted ensemble is interesting for its peculiar physical properties and provides a useful and analytically-transparent set of problems for benchmarking optimization algorithms.


title: The definability of the extender sequence $\mathbb{E}$ from $\mathbb{E}{\upharpoonright}\aleph_1$ in $L[\mathbb{E}]$

abstract: Let $M$ be an iterable fine structural mouse. We prove that if $E\in M$ and $M\models$``$E$ is a countably complete short extender whose support is a cardinal $\theta$ and $\mathcal{H}_\theta\subseteq\mathrm{Ult}(V,E)$'' then $E$ is in the extender sequence $\mathbb{E}^M$ of $M$. We also prove other related facts, and use them to establish that if $\kappa$ is an uncountable cardinal of $M$ and $(\kappa^+)^M$ exists in $M$ then $(\mathcal{H}_{\kappa^+})^M$ satisfies the Axiom of Global Choice. We then prove that if $M$ satisfies the Power Set Axiom then $\mathbb{E}^M$ is definable over the universe of $M$ from the parameter $X=\mathbb{E}^M{\upharpoonright}\aleph_1^M$, and therefore $M$ satisfies ``Every set is $\mathrm{OD}_X$''. We also prove various local versions of this fact in which $M$ has a largest cardinal, and a version for generic extensions of $M$. As a consequence, for example, the minimal proper class mouse with a Woodin limit of Woodin cardinals models ``$V=\mathrm{HOD}$''. This adapts to many other similar examples. We also describe a simplified approach to Mitchell-Steel fine structure, which does away with the parameters $u_n$.


title: A particle-field representation unifies paradigms in active matter

abstract: Active matter research focuses on the emergent behavior among interacting self-propelled particles. Unification of seemingly disconnected paradigms -- active phase-separation of repulsive discs and collective motion of self-propelled rods -- is a major challenge in contemporary active matter. Inspired by the quanto-mechanical wave-particle duality, we develop an approach based on the representation of active particles by smoothed continuum fields. On the basis of the collision kinetics, we demonstrate analytically and numerically how nonequilibrium stresses acting among self-driven, anisotropic objects hinder the formation of phase-separated states as observed for self-propelled discs and facilitate the emergence of orientational order. Besides particle shape, the rigidity of self-propelled objects controlling the symmetry of emergent ordered states is as a crucial parameter: impenetrable, anisotropic rods are found to form polar, moving clusters, whereas large-scale nematic structures emerge for soft rods, notably separated by a bistable coexistence regime. These results indicate that the symmetry of the ordered state is not dictated by the symmetry of the interaction potential but is rather a dynamical, emergent property of active systems. This unifying theoretical framework can represent a variety of active systems: living cell tissues, bacterial colonies, cytoskeletal extracts as well as shaken granular media.


title: Multi-dimensional Spectral Super-Resolution with Prior Knowledge via Frequency-Selective Vandermonde Decomposition and ADMM

abstract: This paper is concerned with estimation of multiple frequencies from incomplete and/or noisy samples based on a low-CP-rank tensor data model where each CP vector is an array response vector of one frequency. Suppose that it is known a priori that the frequencies lie in some given intervals, we develop efficient super-resolution estimators by exploiting such prior knowledge based on frequency-selective (FS) atomic norm minimization. We study the MD Vandermonde decomposition of block Toeplitz matrices in which the frequencies are restricted to lie in given intervals. We then propose to solve the FS atomic norm minimization problems for the low-rank spectral tensor recovery by converting them into semidefinite programs based on the MD Vandermonde decomposition. We also develop fast solvers for solving these semidefinite programs via the alternating direction method of multipliers (ADMM), where each iteration involves a number of refinement steps to utilize the prior knowledge. Extensive simulation results are presented to illustrate the high performance of the proposed methods.


title: NMO-velocity surfaces and Dix-type formulae in anisotropic heterogeneous media

abstract: Reflection moveout of pure modes recorded on conventional-length spreads is described by a normal-moveout (NMO) velocity that depends on the orientation of the common-midpoint (CMP) line. Here, we introduce the concept of NMO-velocity surfaces, obtained by plotting the NMO velocity as the radius-vector along all possible directions in 3-D space, and use it to develop Dix-type averaging and differentiation algorithms in anisotropic heterogeneous media. The intersection of the NMO-velocity surface with the horizontal plane represents the NMO ellipse that can be estimated from wide-azimuth reflection data. We demonstrate that the NMO ellipse and conventional-spread moveout as a whole can be modeled by Dix-type averaging of specifically oriented cross-sections of the NMO-velocity surfaces along the zero-offset reflection raypath. This formalism is particularly simple to implement for a stack of homogeneous anisotropic layers separated by plane dipping boundaries. Since our method involves computing just a single (zero-offset) ray for a given reflection event, it can be efficiently used in anisotropic stacking-velocity tomography.


title: Conventions and Coalitions in Repeated Games

abstract: We develop a theory of repeated interaction for coalitional behavior. We consider stage games where both individuals and coalitions may deviate. However, coalition members cannot commit to long-run behavior, and anticipate that today's actions influence tomorrow's behavior. We evaluate the degree to which history-dependence can deter coalitional deviations. If monitoring is perfect, every feasible and strictly individually rational payoff can be supported by history-dependent conventions. By contrast, if players can make secret side-payments to each other, every coalition achieves a coalitional minmax value, potentially reducing the set of supportable payoffs to the core of the stage game.


title: Functional time series prediction under partial observation of the future curve

abstract: This paper tackles one of the most fundamental goals in functional time series analysis which is to provide reliable predictions for future functions. Existing methods for predicting a complete future functional observation use only completely observed trajectories. We develop a new method, called partial functional prediction (PFP), which uses both completely observed trajectories and partial information (available partial data) on the trajectory to be predicted. The PFP method includes an automatic selection criterion for tuning parameters based on minimizing the prediction error, and the convergence rate of the PFP prediction is established. Simulation studies demonstrate that incorporating partially observed trajectory in the prediction outperforms existing methods with respect to mean squared prediction error. The PFP method is illustrated to be superior in the analysis of environmental data and traffic flow data.


title: Biomedical Named Entity Recognition via Reference-Set Augmented Bootstrapping

abstract: We present a weakly-supervised data augmentation approach to improve Named Entity Recognition (NER) in a challenging domain: extracting biomedical entities (e.g., proteins) from the scientific literature. First, we train a neural NER (NNER) model over a small seed of fully-labeled examples. Second, we use a reference set of entity names (e.g., proteins in UniProt) to identify entity mentions with high precision, but low recall, on an unlabeled corpus. Third, we use the NNER model to assign weak labels to the corpus. Finally, we retrain our NNER model iteratively over the augmented training set, including the seed, the reference-set examples, and the weakly-labeled examples, which improves model performance. We show empirically that this augmented bootstrapping process significantly improves NER performance, and discuss the factors impacting the efficacy of the approach.


title: Learning to Generate Grounded Visual Captions without Localization Supervision

abstract: When automatically generating a sentence description for an image or video, it often remains unclear how well the generated caption is grounded, that is whether the model uses the correct image regions to output particular words, or if the model is hallucinating based on priors in the dataset and/or the language model. The most common way of relating image regions with words in caption models is through an attention mechanism over the regions that are used as input to predict the next word. The model must therefore learn to predict the attentional weights without knowing the word it should localize. This is difficult to train without grounding supervision since recurrent models can propagate past information and there is no explicit signal to force the captioning model to properly ground the individual decoded words. In this work, we help the model to achieve this via a novel cyclical training regimen that forces the model to localize each word in the image after the sentence decoder generates it, and then reconstruct the sentence from the localized image region(s) to match the ground-truth. Our proposed framework only requires learning one extra fully-connected layer (the localizer), a layer that can be removed at test time. We show that our model significantly improves grounding accuracy without relying on grounding supervision or introducing extra computation during inference, for both image and video captioning tasks. Code is available at https://github.com/chihyaoma/cyclical-visual-captioning .


title: Proportional Fair RAT Aggregation in HetNets

abstract: Heterogeneity in wireless network architectures (i.e., the coexistence of 3G, LTE, 5G, WiFi, etc.) has become a key component of current and future generation cellular networks. Simultaneous aggregation of each client's traffic across multiple such radio access technologies (RATs) / base stations (BSs) can significantly increase the system throughput, and has become an important feature of cellular standards on multi-RAT integration. Distributed algorithms that can realize the full potential of this aggregation are thus of great importance to operators. In this paper, we study the problem of resource allocation for multi-RAT traffic aggregation in HetNets (heterogeneous networks). Our goal is to ensure that the resources at each BS are allocated so that the aggregate throughput achieved by each client across its RATs satisfies a proportional fairness (PF) criterion. In particular, we provide a simple distributed algorithm for resource allocation at each BS that extends the PF allocation algorithm for a single BS. Despite its simplicity and lack of coordination across the BSs, we show that our algorithm converges to the desired PF solution and provide (tight) bounds on its convergence speed. We also study the characteristics of the optimal solution and use its properties to prove the optimality of our algorithm's outcomes.


title: Assessing Algorithmic Fairness with Unobserved Protected Class Using Data Combination

abstract: The increasing impact of algorithmic decisions on people's lives compels us to scrutinize their fairness and, in particular, the disparate impacts that ostensibly-color-blind algorithms can have on different groups. Examples include credit decisioning, hiring, advertising, criminal justice, personalized medicine, and targeted policymaking, where in some cases legislative or regulatory frameworks for fairness exist and define specific protected classes. In this paper we study a fundamental challenge to assessing disparate impacts in practice: protected class membership is often not observed in the data. This is particularly a problem in lending and healthcare. We consider the use of an auxiliary dataset, such as the US census, to construct models that predict the protected class from proxy variables, such as surname and geolocation. We show that even with such data, a variety of common disparity measures are generally unidentifiable, providing a new perspective on the documented biases of popular proxy-based methods. We provide exact characterizations of the tightest-possible set of all possible true disparities that are consistent with the data (and possibly any assumptions). We further provide optimization-based algorithms for computing and visualizing these sets and statistical tools to assess sampling uncertainty. Together, these enable reliable and robust assessments of disparities -- an important tool when disparity assessment can have far-reaching policy implications. We demonstrate this in two case studies with real data: mortgage lending and personalized medicine dosing.


title: Joint spatial modeling of significant wave height and wave period using the SPDE approach

abstract: The ocean wave distribution in a specific region of space and time is described by its sea state. Knowledge about the sea states a ship encounters on a journey can be used to assess various parameters of risk and wear associated with the journey. Two important characteristics of the sea state are the significant wave height and mean wave period. We propose a joint spatial model of these two quantities on the north Atlantic ocean. The model describes the distribution of the logarithm of the two quantities as a bivariate Gaussian random field. This random field is modeled as a solution to a system of coupled stochastic partial differential equations. The bivariate random field can model a wide variety of non-stationary anisotropy and allows for arbitrary, and different, differentiability for the two marginal fields. The parameters of the model are estimated on data of the north Atlantic using a stepwise maximum likelihood method. The fitted model is used to derive the distribution of accumulated fatigue damage for a ship sailing a transatlantic route. Also, a method for estimating the risk of capsizing due to broaching-to, based on the joint distribution of the two sea state characteristics, is investigated. The risks are calculated for a transatlantic route between America and Europe using both data and the fitted model. The results show that the model compares well with observed data. Also, it shows that the bivariate model is needed and cannot simply be approximated by a model of significant wave height alone.


title: Performance Evaluation for the Co-existence of eMBB and URLLC Networks: Synchronized versus Unsynchronized TDD

abstract: To ensure the high level of automation required in today's industrial applications, next-generation wireless networks must enable real-time control and automation of dynamic processes with the requirements of extreme low-latency and ultra-reliable communications. In this paper, we provide a performance assessment for the co-existence of a macro (eMBB) and a local factory (URLLC) network and evaluate the network conditions under which the latency and reliability requirements of factory automation applications are met. In particular, we evaluate the co-existence of the eMBB and URLLC networks under two scenarios: (i) synchronized TDD, in which both networks follow the same TDD pattern, and (ii) unsynchronized TDD, in which the eMBB and URLLC networks follow different TDD patterns. Simulation results show that the high downlink interference from the macro base stations towards the factory results in a reduction of the downlink URLLC capacity and service availability in case of synchronized TDD and a reduction of the uplink URLLC capacity and service availability in case of unsynchronized TDD. Finally, it is shown that a promising case for co-existence is the adjacent channel allocation, for both synchronized and unsynchronized TDD deployments. Here, the required isolation to protect the URLLC network in the worst-case scenario where the factory is located next to a macro site can be handled via the factory wall penetration loss (e.g., considering high concrete or metal-coated building walls) along with other solutions such as filters, larger separation distance, and band pairing.


title: At What Level Should One Cluster Standard Errors in Paired and Small-Strata Experiments?

abstract: In matched-pairs experiments in which one cluster per pair of clusters is assigned to treatment, to estimate treatment effects, researchers often regress their outcome on a treatment indicator and pair fixed effects, clustering standard errors at the unit-ofrandomization level. We show that even if the treatment has no effect, a 5%-level t-test based on this regression will wrongly conclude that the treatment has an effect up to 16.5% of the time. To fix this problem, researchers should instead cluster standard errors at the pair level. Using simulations, we show that similar results apply to clustered experiments with small strata.


title: Electron affinities of At and its homologous elements Cl, Br, and I

abstract: The multiconfiguration Dirac-Hartree-Fock method is applied to study the electron affinities of At and its homologous elements Cl, Br, and I. Our method of calculation is validated through the comparison with the available experimental electron affinities of Cl, Br, I, and other theoretical values. The agreement between our predicted electron affinities and the available experimental values for Cl, Br, and I is within 0.2%, which is an improvement of more than a factor of 10 over previous theoretical studies. Applying the same method to At, the electron affinity of At is predicted to be 2.3729(46) eV.


title: Adaptive Online Learning for Gradient-Based Optimizers

abstract: As application demands for online convex optimization accelerate, the need for designing new methods that simultaneously cover a large class of convex functions and impose the lowest possible regret is highly rising. Known online optimization methods usually perform well only in specific settings, and their performance depends highly on the geometry of the decision space and cost functions. However, in practice, lack of such geometric information leads to confusion in using the appropriate algorithm. To address this issue, some adaptive methods have been proposed that focus on adaptively learning parameters such as step size, Lipschitz constant, and strong convexity coefficient, or on specific parametric families such as quadratic regularizers. In this work, we generalize these methods and propose a framework that competes with the best algorithm in a family of expert algorithms. Our framework includes many of the well-known adaptive methods including MetaGrad, MetaGrad+C, and Ader. We also introduce a second algorithm that computationally outperforms our first algorithm with at most a constant factor increase in regret. Finally, as a representative application of our proposed algorithm, we study the problem of learning the best regularizer from a family of regularizers for Online Mirror Descent. Empirically, we support our theoretical findings in the problem of learning the best regularizer on the simplex and $l_2$-ball in a multiclass learning problem.


title: Cooperative neural networks (CoNN): Exploiting prior independence structure for improved classification

abstract: We propose a new approach, called cooperative neural networks (CoNN), which uses a set of cooperatively trained neural networks to capture latent representations that exploit prior given independence structure. The model is more flexible than traditional graphical models based on exponential family distributions, but incorporates more domain specific prior structure than traditional deep networks or variational autoencoders. The framework is very general and can be used to exploit the independence structure of any graphical model. We illustrate the technique by showing that we can transfer the independence structure of the popular Latent Dirichlet Allocation (LDA) model to a cooperative neural network, CoNN-sLDA. Empirical evaluation of CoNN-sLDA on supervised text classification tasks demonstrates that the theoretical advantages of prior independence structure can be realized in practice -we demonstrate a 23\% reduction in error on the challenging MultiSent data set compared to state-of-the-art.


title: Quantum Heat Engine and Quantum Phase Transition: through Anisotropic LMG and Full Dicke models

abstract: The enhancement of quantum heat engines (QHEs) efficiency is of great interest for fundamental studies and quantum technology developments, where collective many-body effects play an important role. In this work we analyze the efficiency of two QHEs where the working substance exhibits second order quantum phase transitions (QPT). One of these engines is defined by the working substance corresponding to the anisotropic Lipkin-Meshkov-Glick (LMG) model and the other to the full Dicke model. We consider that, working at thermal equilibrium, the heat engines realize a thermodynamic Stirling cycle type. For both QHEs, a remarkable enhancement of efficiency is obtained when during the cycle the working substances undergo a QPT, where eventually the efficiency reaches the Carnot bound. We also analyze the effect of the degree of anisotropy in the interaction term of the LMG model and the unbalance between rotating and counter-rotating terms in the full Dicke model. It is observed a better efficiency increase when the interaction term in the LMG model is more anisotropic, and in the full Dicke model, when the rotating and counter-rotating interaction terms are equally balanced. We discuss an equivalence between our Stirling cycle and the Carnot cycle at some particular values of the model parameters, where maximum efficiencies are attained. It is also analyzed how the ground state degeneracy in the QPT is associated to such maximum efficiency. Finally, these behaviors are related to the symmetries of the models that break at the phase transition.


title: On $k$ point density problem for band-diagonal $M$-bases

abstract: In the early 1990s the works of Larson, Wogen and Argyros, Lambrou, Longstaff disclosed an example of a strong tridiagonal $M$-basis that was not rank one dense. Later Katavolos, Lambrou and Papadakis studied $k$ point density property of this example. In this paper we present new methods for the analysis of $k$ point density and rank one density properties for band-diagonal $M$-bases.


title: On the computational complexity of the probabilistic label tree algorithms

abstract: Label tree-based algorithms are widely used to tackle multi-class and multi-label problems with a large number of labels. We focus on a particular subclass of these algorithms that use probabilistic classifiers in the tree nodes. Examples of such algorithms are hierarchical softmax (HSM), designed for multi-class classification, and probabilistic label trees (PLTs) that generalize HSM to multi-label problems. If the tree structure is given, learning of PLT can be solved with provable regret guaranties [Wydmuch et.al. 2018]. However, to find a tree structure that results in a PLT with a low training and prediction computational costs as well as low statistical error seems to be a very challenging problem, not well-understood yet. In this paper, we address the problem of finding a tree structure that has low computational cost. First, we show that finding a tree with optimal training cost is NP-complete, nevertheless there are some tractable special cases with either perfect approximation or exact solution that can be obtained in linear time in terms of the number of labels $m$. For the general case, we obtain $O(\log m)$ approximation in linear time too. Moreover, we prove an upper bound on the expected prediction cost expressed in terms of the expected training cost. We also show that under additional assumptions the prediction cost of a PLT is $O(\log m)$.


title: Multimodal Transformer for Unaligned Multimodal Language Sequences

abstract: Human language is often multimodal, which comprehends a mixture of natural language, facial gestures, and acoustic behaviors. However, two major challenges in modeling such multimodal human language time-series data exist: 1) inherent data non-alignment due to variable sampling rates for the sequences from each modality; and 2) long-range dependencies between elements across modalities. In this paper, we introduce the Multimodal Transformer (MulT) to generically address the above issues in an end-to-end manner without explicitly aligning the data. At the heart of our model is the directional pairwise crossmodal attention, which attends to interactions between multimodal sequences across distinct time steps and latently adapt streams from one modality to another. Comprehensive experiments on both aligned and non-aligned multimodal time-series show that our model outperforms state-of-the-art methods by a large margin. In addition, empirical analysis suggests that correlated crossmodal signals are able to be captured by the proposed crossmodal attention mechanism in MulT.


title: The Theory of Weak Revealed Preference

abstract: We offer a rationalization of the weak generalized axiom of revealed preference (WGARP) for both finite and infinite data sets of consumer choice. We call it maximin rationalization, in which each pairwise choice is associated with a "local" utility function. We develop its associated weak revealed-preference theory. We show that preference recoverability and welfare analysis \`a la Varian (1982) may not be informative enough, when the weak axiom holds, but when consumers are not utility maximizers. We clarify the reasons for this failure and provide new informative bounds for the consumer's true preferences.


title: GANchors: Realistic Image Perturbation Distributions for Anchors Using Generative Models

abstract: We extend and improve the work of Model Agnostic Anchors for explanations on image classification through the use of generative adversarial networks (GANs). Using GANs, we generate samples from a more realistic perturbation distribution, by optimizing under a lower dimensional latent space. This increases the trust in an explanation, as results now come from images that are more likely to be found in the original training set of a classifier, rather than an overlay of random images. A large drawback to our method is the computational complexity of sampling through optimization; to address this, we implement more efficient algorithms, including a diverse encoder. Lastly, we share results from the MNIST and CelebA datasets, and note that our explanations can lead to smaller and higher precision anchors.


title: On Atomic Registers and Randomized Consensus in M&M Systems

abstract: Motivated by recent distributed systems technology, Aguilera et al. introduced a hybrid model of distributed computing, called message-and-memory model or m&m model for short [1]. In this model, processes can communicate by message passing and also by accessing some shared memory (e.g., through some RDMA connections). We first consider the basic problem of implementing an atomic single-writer multi-reader (SWMR) register shared by all the processes in m&m systems. Specifically, we give an algorithm that implements such a register in m&m systems and show that it is optimal in the number of process crashes that it can tolerate. This generalizes the well-known implementation of an atomic SWMR register in a pure message-passing system [5]. We then combine our register implementation for m&m systems with the well-known randomized consensus algorithm of Aspnes and Herlihy [4], and obtain a randomized consensus algorithm for m&m systems that is also optimal in the number of process crashes that it can tolerate. Finally, we determine the minimum number of RDMA connections that is sufficient to implement a SWMR register, or solve randomized consensus, in an m&m system with t process crashes, for any given t.


title: Quantitative Overfitting Management for Human-in-the-loop ML Application Development with ease.ml/meter

abstract: Simplifying machine learning (ML) application development, including distributed computation, programming interface, resource management, model selection, etc, has attracted intensive interests recently. These research efforts have significantly improved the efficiency and the degree of automation of developing ML models. In this paper, we take a first step in an orthogonal direction towards automated quality management for human-in-the-loop ML application development. We build ease. ml/meter, a system that can automatically detect and measure the degree of overfitting during the whole lifecycle of ML application development. ease. ml/meter returns overfitting signals with strong probabilistic guarantees, based on which developers can take appropriate actions. In particular, ease. ml/meter provides principled guidelines to simple yet nontrivial questions regarding desired validation and test data sizes, which are among commonest questions raised by developers. The fact that ML application development is typically a continuous procedure further worsens the situation: The validation and test data sets can lose their statistical power quickly due to multiple accesses, especially in the presence of adaptive analysis. ease. ml/meter addresses these challenges by leveraging a collection of novel techniques and optimizations, resulting in practically tractable data sizes without compromising the probabilistic guarantees. We present the design and implementation details of ease. ml/meter, as well as detailed theoretical analysis and empirical evaluation of its effectiveness.


title: Latent Retrieval for Weakly Supervised Open Domain Question Answering

abstract: Recent work on open domain question answering (QA) assumes strong supervision of the supporting evidence and/or assumes a blackbox information retrieval (IR) system to retrieve evidence candidates. We argue that both are suboptimal, since gold evidence is not always available, and QA is fundamentally different from IR. We show for the first time that it is possible to jointly learn the retriever and reader from question-answer string pairs and without any IR system. In this setting, evidence retrieval from all of Wikipedia is treated as a latent variable. Since this is impractical to learn from scratch, we pre-train the retriever with an Inverse Cloze Task. We evaluate on open versions of five QA datasets. On datasets where the questioner already knows the answer, a traditional IR system such as BM25 is sufficient. On datasets where a user is genuinely seeking an answer, we show that learned retrieval is crucial, outperforming BM25 by up to 19 points in exact match.


title: D\'evisser, d\'ecouper, \'eclater et aplatir les espaces de Berkovich

abstract: We develop in this article flattening techniques for coherent sheaves in the realm of Berkovich spaces; we are inspired by the general strategy that Raynaud and Gruson have used for dealing with the analogous problem in scheme theory. As an application, we give a general description of the image of an arbitrary morphism between compact analytic spaces.


title: Learning low-dimensional state embeddings and metastable clusters from time series data

abstract: This paper studies how to find compact state embeddings from high-dimensional Markov state trajectories, where the transition kernel has a small intrinsic rank. In the spirit of diffusion map, we propose an efficient method for learning a low-dimensional state embedding and capturing the process's dynamics. This idea also leads to a kernel reshaping method for more accurate nonparametric estimation of the transition function. State embedding can be used to cluster states into metastable sets, thereby identifying the slow dynamics. Sharp statistical error bounds and misclassification rate are proved. Experiment on a simulated dynamical system shows that the state clustering method indeed reveals metastable structures. We also experiment with time series generated by layers of a Deep-Q-Network when playing an Atari game. The embedding method identifies game states to be similar if they share similar future events, even though their raw data are far different.


title: Active Learning for Binary Classification with Abstention

abstract: We construct and analyze active learning algorithms for the problem of binary classification with abstention. We consider three abstention settings: \emph{fixed-cost} and two variants of \emph{bounded-rate} abstention, and for each of them propose an active learning algorithm. All the proposed algorithms can work in the most commonly used active learning models, i.e., \emph{membership-query}, \emph{pool-based}, and \emph{stream-based} sampling. We obtain upper-bounds on the excess risk of our algorithms in a general non-parametric framework and establish their minimax near-optimality by deriving matching lower-bounds. Since our algorithms rely on the knowledge of some smoothness parameters of the regression function, we then describe a new strategy to adapt to these unknown parameters in a data-driven manner. Since the worst case computational complexity of our proposed algorithms increases exponentially with the dimension of the input space, we conclude the paper with a computationally efficient variant of our algorithm whose computational complexity has a polynomial dependence over a smaller but rich class of learning problems.


title: Integrability, existence of global solutions and wave breaking criteria for a generalization of the Camassa-Holm equation

abstract: Recent generalizations of the Camassa-Holm equation are studied from the point of view of existence of global solutions, criteria for wave breaking phenomena and integrability. We provide conditions, based on lower bounds for the first spatial derivative of local solutions, for global well-posedness for the family under consideration in Sobolev spaces. Moreover, we prove that wave breaking phenomena occurs under certain mild hypothesis. Regarding integrability, we apply the machinery developed by Dubrovin [Commun. Math. Phys. 267, 117--139 (2006)] to prove that there exists a unique bi-hamiltonian structure for the equation only when it is reduced to the Dullin-Gotwald-Holm equation. Our results suggest that a recent shallow water model incorporating Coriollis efects is integrable only in specific situations. Finally, to finish the scheme of geometric integrability of the family of equations initiated in a previous work, we prove that the Dullin-Gotwald-Holm equation describes pseudo-spherical surfaces.


title: Adiabatic Thermal Radiation Pumps for Thermal Photonics

abstract: We control the direction and magnitude of thermal radiation, between two bodies at equal temperature (in thermal equilibrium), by invoking the concept of adiabatic pumping. Specifically, within a resonant near-field electromagnetic heat transfer framework, we utilize an {\it instantaneous} scattering matrix approach to unveil the critical role of wave interference in radiative heat transfer. We find that appropriately designed adiabatic pumping cycling near diabolic singularities can dramatically enhance the efficiency of the directional energy transfer. We confirm our results using a realistic electronic circuit set-up.


title: Programming Soft Robots with Flexible Mechanical Metamaterials

abstract: The complex behavior of highly deformable mechanical metamaterials can substantially enhance the performance of soft robots.


title: Neural Bug Finding: A Study of Opportunities and Challenges

abstract: Static analysis is one of the most widely adopted techniques to find software bugs before code is put in production. Designing and implementing effective and efficient static analyses is difficult and requires high expertise, which results in only a few experts able to write such analyses. This paper explores the opportunities and challenges of an alternative way of creating static bug detectors: neural bug finding. The basic idea is to formulate bug detection as a classification problem, and to address this problem with neural networks trained on examples of buggy and non-buggy code. We systematically study the effectiveness of this approach based on code examples labeled by a state-of-the-art, static bug detector. Our results show that neural bug finding is surprisingly effective for some bug patterns, sometimes reaching a precision and recall of over 80%, but also that it struggles to understand some program properties obvious to a traditional analysis. A qualitative analysis of the results provides insights into why neural bug finders sometimes work and sometimes do not work. We also identify pitfalls in selecting the code examples used to train and validate neural bug finders, and propose an algorithm for selecting effective training data.


title: The Einstein-Infeld-Hoffmann legacy in mathematical relativity. Part I: The classical motion of charged point particles

abstract: Einstein, Infeld, and Hoffmann (EIH) claimed that the field equations of general relativity theory alone imply the equations of motion of neutral matter particles, viewed as point singularities in space-like slices of spacetime; they also claimed that they had generalized their results to charged point singularities. While their analysis falls apart upon closer scrutiny, the key idea merits our attention. This rapport identifies necessary conditions for a well-defined general-relativistic joint initial value problem of $N$ classical point charges and their electromagnetic and gravitational fields. Among them, in particular, is the requirement that the electromagnetic vacuum law guarantees a finite field energy-momentum of a point charge. This disqualifies the Maxwell(--Lorentz) law used by EIH. On the positive side, if the electromagnetic vacuum law of Bopp, Land\'e--Thomas, and Podolsky (BLTP) is used, and the singularities equipped with a non-zero bare rest mass, then a joint initial value problem can be formulated in the spirit of the EIH proposal, and shown to be locally well-posed --- \emph{in the special-relativistic zero-$G$ limit}. With gravitational coupling (i.e. $G>0$), though, changing Maxwell's into the BLTP law and assigning a bare rest mass to the singularities is by itself not sufficient to obtain even a merely well-defined joint initial value problem: the gravitational coupling also needs to be changed, conceivably in the manner of Jordan and Brans--Dicke.