title: Can Neutron-Star Mergers Explain the r-process Enrichment in Globular Clusters?

abstract: Star-to-star dispersion of r-process elements has been observed in a significant number of old, metal-poor globular clusters. We investigate early-time neutron-star mergers as the mechanism for this enrichment. Through both numerical modeling and analytical arguments, we show that neutron-star mergers cannot be induced through dynamical interactions early in the history of the cluster, even when the most liberal assumptions about neutron-star segregation are assumed. Therefore, if neutron-star mergers are the primary mechanism for r-process dispersion in globular clusters, they likely result from the evolution of isolated, primordial binaries in the clusters. Through population modeling, we find that moderate fractions of GCs with enrichment are only possible when a significant number of double neutron-star progenitors proceed through Case BB mass transfer --- under various assumptions for the initial properties of globular clusters, a neutron-star merger with the potential for enrichment will occur in ~15-60% (~30-90%) of globular clusters if this mass transfer proceeds stably (unstably). The strong anti-correlation between the pre-supernova orbital separation and post-supernova systemic velocity due to mass loss in the supernova leads to efficient ejection of most enrichment candidates from their host clusters. Thus, most enrichment events occur shortly after the double neutron stars are born. This requires star-forming gas that can absorb the r-process ejecta to be present in the globular cluster 30-50 Myr after the initial burst of star formation. If scenarios for redistributing gas in globular clusters cannot act on these timescales, the number of neutron-star merger enrichment candidates drops severely, and it is likely that another mechanism, such as r-process enrichment from collapsars, is at play.


title: Benign Overfitting in Linear Regression

abstract: The phenomenon of benign overfitting is one of the key mysteries uncovered by deep learning methodology: deep neural networks seem to predict well, even with a perfect fit to noisy training data. Motivated by this phenomenon, we consider when a perfect fit to training data in linear regression is compatible with accurate prediction. We give a characterization of linear regression problems for which the minimum norm interpolating prediction rule has near-optimal prediction accuracy. The characterization is in terms of two notions of the effective rank of the data covariance. It shows that overparameterization is essential for benign overfitting in this setting: the number of directions in parameter space that are unimportant for prediction must significantly exceed the sample size. By studying examples of data covariance properties that this characterization shows are required for benign overfitting, we find an important role for finite-dimensional data: the accuracy of the minimum norm interpolating prediction rule approaches the best possible accuracy for a much narrower range of properties of the data distribution when the data lies in an infinite dimensional space versus when the data lies in a finite dimensional space whose dimension grows faster than the sample size.


title: Exploring the Role of Prior Beliefs for Argument Persuasion

abstract: Public debate forums provide a common platform for exchanging opinions on a topic of interest. While recent studies in natural language processing (NLP) have provided empirical evidence that the language of the debaters and their patterns of interaction play a key role in changing the mind of a reader, research in psychology has shown that prior beliefs can affect our interpretation of an argument and could therefore constitute a competing alternative explanation for resistance to changing one's stance. To study the actual effect of language use vs. prior beliefs on persuasion, we provide a new dataset and propose a controlled setting that takes into consideration two reader level factors: political and religious ideology. We find that prior beliefs affected by these reader level factors play a more important role than language use effects and argue that it is important to account for them in NLP studies of persuasion.


title: Pattern formation during deformation of metallic nanolaminates

abstract: We used nonequilibrium molecular dynamics simulations to study the shear deformation of metallic composites composed of alternating layers of Cu and Au. Our simulations reveal the formation of "vortices" or "swirls" if the bimaterial interfaces are atomically rough and if none of the {111} planes that accommodate slip in fcc materials is exactly parallel to this interface. We trace the formation of these patterns back to grain rotation, induced by hindering dislocations from crossing the bimaterial interface. The instability is accompanied by shear-softening of the material. These calculations shed new light on recent observations of pattern formation in plastic flow, mechanical mixing of materials and the common formation of a tribomutation layer in tribologically loaded systems.


title: Quantum fluxes at the inner horizon of a spherical charged black hole

abstract: In an ongoing effort to explore quantum effects on the interior geometry of black holes, we explicitly compute the semiclassical flux components $\left\langle T_{uu}\right\rangle _{ren}$ and $\left\langle T_{vv}\right\rangle _{ren}$ ($u$ and $v$ being the standard Eddington coordinates) of the renormalized stress-energy tensor for a minimally-coupled massless quantum scalar field, in the vicinity of the inner horizon (IH) of a Reissner-Nordstr\"om black hole. These two flux components seem to dominate the effect of backreaction in the IH vicinity; and furthermore, their regularization procedure reveals remarkable simplicity. We consider the Hartle-Hawking and Unruh quantum states, the latter corresponding to an evaporating black hole. In both quantum states, we compute $\left\langle T_{uu}\right\rangle _{ren}$ and $\left\langle T_{vv}\right\rangle _{ren}$ in the IH vicinity for a wide range of $Q/M$ values. We find that both $\left\langle T_{uu}\right\rangle _{ren}$ and $\left\langle T_{vv}\right\rangle _{ren}$ attain finite asymptotic values at the IH. Depending on $Q/M$, these asymptotic values are found to be either positive or negative (or vanishing in-between). Note that having a nonvanishing $\left\langle T_{vv}\right\rangle _{ren}$ at the IH implies the formation of a curvature singularity on its ingoing section, the Cauchy horizon. Motivated by these findings, we also take initial steps in the exploration of the backreaction effect of these semiclassical fluxes on the near-IH geometry.


title: Experimental and synthetic measurements of polarized synchrotron emission from runaway electrons in Alcator C-Mod

abstract: This paper presents the first experimental analysis of polarized synchrotron emission from relativistic runaway electrons (REs) in a tokamak plasma. Importantly, we show that the polarization information of synchrotron radiation can be used to diagnose spatially-localized RE pitch angle distributions. Synchrotron-producing REs were generated during low density, Ohmic, diverted plasma discharges in the Alcator C-Mod tokamak. The ten-channel Motional Stark Effect diagnostic was used to measure spatial profiles of the polarization angle $\theta_{\mathrm{pol}}$ and the fraction $\mathrm{f}_{\mathrm{pol}}$ of detected light that was linearly-polarized. Spatial transitions in $\theta_{\mathrm{pol}}$ of 90$\deg$---from horizontal to vertical polarization and vice versa---are observed in experimental data and are well-explained by the gyro-motion of REs and high directionality of synchrotron radiation. Polarized synchrotron emission is modeled with the synthetic diagnostic SOFT; its output Green's (or detector response) functions reveal a critical RE pitch angle at which $\theta_{\mathrm{pol}}$ flips by 90$\deg$ and $\mathrm{f}_{\mathrm{pol}}$ is minimal. Using SOFT, we determine the dominant RE pitch angle which reproduces measured $\theta_{\mathrm{pol}}$ and $\mathrm{f}_{\mathrm{pol}}$ values. The spatiotemporal evolutions of $\theta_{\mathrm{pol}}$ and $\mathrm{f}_{\mathrm{pol}}$ are explored in detail for one C-Mod discharge. For channels viewing REs near the magnetic axis and flux surfaces $q$ = 1 and 4/3, disagreements between synthetic and experimental signals suggest that the sawtooth instability may be influencing RE dynamics. Furthermore, other sources of pitch angle scattering, not considered in this analysis, could help explain discrepancies between simulation and experiment.


title: CHIME/FRB Detection of the Original Repeating Fast Radio Burst Source FRB 121102

abstract: We report the detection of a single burst from the first-discovered repeating Fast Radio Burst source, FRB 121102, with CHIME/FRB, which operates in the frequency band 400-800 MHz. The detected burst occurred on 2018 November 19 and its emission extends down to at least 600 MHz, the lowest frequency detection of this source yet. The burst, detected with a significance of 23.7$\sigma$, has fluence 12$\pm$3 Jy ms and shows complex time and frequency morphology. The 34 ms width of the burst is the largest seen for this object at any frequency. We find evidence of sub-burst structure that drifts downward in frequency at a rate of -3.9$\pm$0.2 MHz ms$^{-1}$. Our best fit tentatively suggests a dispersion measure of 563.6$\pm$0.5 pc cm$^{-3}$, which is ${\approx}$1% higher than previously measured values. We set an upper limit on the scattering time at 500 MHz of 9.6 ms, which is consistent with expectations from the extrapolation from higher frequency data. We have exposure to the position of FRB 121102 for a total of 11.3 hrs within the FWHM of the synthesized beams at 600 MHz from 2018 July 25 to 2019 February 25. We estimate on the basis of this single event an average burst rate for FRB 121102 of 0.1-10 per day in the 400-800 MHz band for a median fluence threshold of 7 Jy ms in the stated time interval.


title: Critical behavior of the bulk viscosity in QCD

abstract: We study the behavior of the bulk viscosity $\zeta$ in QCD near a possible critical endpoint in the phase diagram. We verify the expectation that $(\zeta/s)\sim a(\xi/\xi_0)^{x_\zeta}$, where $s$ is the entropy density, $\xi$ is the correlation length, $\xi_0$ is the non-critical correlation length, $a$ is a constant and $x_\zeta\simeq 3$. Using a recently developed equation of state that includes a critical point in the universality class of the Ising model we estimate the constant of proportionality $a$. We find that $a$ is typically quite small, $a\sim O(10^{-4})$. We observe, however, that the result is sensitive to the commonly made assumption that the Ising temperature axis is approximately aligned with the QCD baryon chemical potential axis. If this is not the case, then the critical $\zeta/s$ can approach the non-critical value of $\eta/s$, where $\eta$ is the shear viscosity, even if the enhancement of the correlation length is modest, $\xi/\xi_0\sim 2$.


title: One Size Does Not Fit All: Quantifying and Exposing the Accuracy-Latency Trade-off in Machine Learning Cloud Service APIs via Tolerance Tiers

abstract: Today's cloud service architectures follow a "one size fits all" deployment strategy where the same service version instantiation is provided to the end users. However, consumers are broad and different applications have different accuracy and responsiveness requirements, which as we demonstrate renders the "one size fits all" approach inefficient in practice. We use a production-grade speech recognition engine, which serves several thousands of users, and an open source computer vision based system, to explain our point. To overcome the limitations of the "one size fits all" approach, we recommend Tolerance Tiers where each MLaaS tier exposes an accuracy/responsiveness characteristic, and consumers can programmatically select a tier. We evaluate our proposal on the CPU-based automatic speech recognition (ASR) engine and cutting-edge neural networks for image classification deployed on both CPUs and GPUs. The results show that our proposed approach provides an MLaaS cloud service architecture that can be tuned by the end API user or consumer to outperform the conventional "one size fits all" approach.


title: Shiva: the dust destruction model

abstract: We present a numerical tool Shiva designed to simulate the dust destruction in warm neutral, warm ionized, and hot ionized media under the influence of photo-processing, sputtering, and shattering. The tool is designed primarily to study the evolution of hydrogenated amorphous carbons (HACs), but options to simulate polycyclic aromatic hydrocarbons (PAHs), silicate and graphite grains are also implemented. HAC grain photo-processing includes both dehydrogenation and carbon atom loss. Dehydrogenation leads to material transformation from aliphatic to aromatic structure. Simultaneously, some other physical properties (band gap energy, optical properties, etc.) of the material change as well. The Shiva tool allows calculating the time-dependent evolution of the dust size distribution depending on hydrogen, helium, and carbon number densities and ionization state, gas temperature, radiation flux, relative gas-dust and grain-grain velocities. For HAC grains the evolution of band gap energy distribution is also computed. We describe a dust evolution model, on which the tool relies, and present evolutionary time-scales for dust grains of different sizes depending on external conditions. This allows a user to estimate quickly a lifetime of a specific dust grain under relevant conditions. As an example of the tool usage, we demonstrate how grain properties and corresponding infrared spectra evolve in photo-dissociation regions, H II regions, and supernova remnant shocks.


title: Degree of irrationality of a very general abelian variety

abstract: Consider a very general abelian variety $A$ of dimension at least $3$ and an integer $0<d\leq \dim A$. We show that if the map $A^k\to CH_0(A)$ has a $d$-dimensional fiber then $k\geq d+(\dim A+1)/2$. This extends results of the second-named author which covered the cases $d=1,2$. As a geometric application, we obtain that any dominant rational map from a very general abelian $g$-fold to $\mathbb{P}^g$ has degree at least $(3\dim A+1)/2$ for $g\geq 3$. This improves results of Alzati and the last-named author in the case of a very general abelian variety.


title: A Corpus for Modeling User and Language Effects in Argumentation on Online Debating

abstract: Existing argumentation datasets have succeeded in allowing researchers to develop computational methods for analyzing the content, structure and linguistic features of argumentative text. They have been much less successful in fostering studies of the effect of "user" traits -- characteristics and beliefs of the participants -- on the debate/argument outcome as this type of user information is generally not available. This paper presents a dataset of 78, 376 debates generated over a 10-year period along with surprisingly comprehensive participant profiles. We also complete an example study using the dataset to analyze the effect of selected user traits on the debate outcome in comparison to the linguistic features typically employed in studies of this kind.


title: Exact solutions for compact stars with CFL quark matter

abstract: The search for the true ground state of the dense matter remains open since Bodmer, Terazawa and other raised the possibility of stable quarks, boosted by Witten's $strange$ $matter$ hypothesis in 1984. Within this proposal, the strange matter is assumed to be composed of $strange$ quarks in addition to the usual $up$s and $down$s, having an energy per baryon lower than the strangeless counterpart, and even lower than that of nuclear matter. In this sense, neutron stars should actually be strange stars. Later work showed that a paired, symmetric in flavor, color-flavor locked (CFL) state would be preferred to the one without any pairing for a wide range of the parameters (gap $\Delta$, strange quark mass $m_s$, and bag constant B). We use an approximate, yet very accurate, CFL equation of state (EoS) that generalizes the MIT bag model to obtain two families of exact solutions for the static Einstein field equations constructing families anisotropic compact relativistic objects. In this fashion, we provide exact useful solutions directly connected with microphysics.


title: Computational assessment of an effective-sphere model for characterizing colloidal fractal aggregates with holographic microscopy

abstract: We perform simulations to evaluate a recent experimental technique for using in-line holographic microscopy and an effective-sphere model to measure the population-averaged fractal dimension $D_f$ of an ensemble of colloidal fractal aggregates. In this technique, models based on Lorenz-Mie scattering by a uniform sphere are fit to digital holograms of a population of fractal aggregates to determine the effective refractive indices $n_{eff}$ and effective radii $a_{eff}$ of the aggregates. A scaling relationship between $n_{eff}$ and $a_{eff}$ based on the Maxwell Garnett effective-medium theory then determines $D_f$. Here we use a multisphere superposition code to calculate the exact holograms produced by aggregates with tunable fractal dimensions $D_f$. We show that $n_{eff}$ and $a_{eff}$ become less sensitive to the aggregate orientation as $D_f$ increases. We also show that the Maxwell Garnett scaling relationship correctly determines $D_f$ to within 10.5\% when multiple scattering is negligible and the population-averaged coefficient of determination $\langle R^2\rangle_p > 0.6$, indicating that the holograms are well-described by the effective-sphere model.


title: Determining Relative Argument Specificity and Stance for Complex Argumentative Structures

abstract: Systems for automatic argument generation and debate require the ability to (1) determine the stance of any claims employed in the argument and (2) assess the specificity of each claim relative to the argument context. Existing work on understanding claim specificity and stance, however, has been limited to the study of argumentative structures that are relatively shallow, most often consisting of a single claim that directly supports or opposes the argument thesis. In this paper, we tackle these tasks in the context of complex arguments on a diverse set of topics. In particular, our dataset consists of manually curated argument trees for 741 controversial topics covering 95,312 unique claims; lines of argument are generally of depth 2 to 6. We find that as the distance between a pair of claims increases along the argument path, determining the relative specificity of a pair of claims becomes easier and determining their relative stance becomes harder.


title: Spin-orbit torques and their associated effective fields from gigahertz to terahertz

abstract: Terahertz spintronics offers the prospect of devices which are both faster and more energy-efficient. A promising route to achieve this goal is to exploit current-induced spin-orbit torques. However, the high-frequency properties of these quantities remain unexplored both experimentally and theoretically, within a realistic material-specific approach. Here we investigate the dynamical transverse components of the torques and uncover contributions longitudinal to the magnetic moment capable of changing its magnitude. We show that, while the torques can be drastically altered in the dynamical regime, the effective magnetic fields that accompany them present a frequency-independent behaviour, ranging from the static limit up to the terahertz domain - including the ferromagnetic resonance of the system. The outcomes of this work point to new ways to control magnetic units in next-generation spintronic devices.


title: Generalization to Novel Objects using Prior Relational Knowledge

abstract: To solve tasks in new environments involving objects unseen during training, agents must reason over prior information about those objects and their relations. We introduce the Prior Knowledge Graph network, an architecture for combining prior information, structured as a knowledge graph, with a symbolic parsing of the visual scene, and demonstrate that this approach is able to apply learned relations to novel objects whereas the baseline algorithms fail. Ablation experiments show that the agents ground the knowledge graph relations to semantically-relevant behaviors. In both a Sokoban game and the more complex Pacman environment, our network is also more sample efficient than the baselines, reaching the same performance in 5-10x fewer episodes. Once the agents are trained with our approach, we can manipulate agent behavior by modifying the knowledge graph in semantically meaningful ways. These results suggest that our network provides a framework for agents to reason over structured knowledge graphs while still leveraging gradient based learning approaches.


title: Ultrafast Transient Absorption Spectroscopy of the Charge-Transfer Insulator NiO: Beyond the Dynamical Franz-Keldysh Effect

abstract: We demonstrate that a dynamical modification of the Hubbard U in the model charge-transfer insulator NiO can be observed with state-of-the-art time-resolved absorption spectroscopy. Using a self-consistent time-dependent density functional theory plus U computational framework, we show that the dynamical modulation of screening and Hubbard U significantly changes the transient optical spectroscopy. Whereas we find the well-known dynamical Franz-Keldysh effect when the U is frozen, we observe a dynamical band-gap renormalization for dynamical U. The renormalization of the optical gap is found to be smaller than the renormalization of U. This work opens up the possibility of driving a light-induced transition from a charge-transfer into a Mott insulator phase.


title: Subharmonicity of direct images and applications

abstract: In this article we establish new positivity properties for direct images of twisted pluricanonical bundle of an algebraic fiber space. As a corollary we obtain an algebraicity criteria for holomorphic foliations which partly confirms a conjecture of Pereira-Touzet.


title: Content-Aware User Association and Multi-User MIMO Beamforming over Mobile Edge Caching

abstract: Mobile edge caching (MEC) has been introduced to support ever-growing end-users' needs. To reduce the backhaul traffic demand and content delivery latency, cache-enabled edge servers at base stations (BSs) are employed to provision popular contents at the network edge. In this paper, multiple-input-multiple-output (MIMO) operation and user association policy are linked to the underlying cache placement strategy to ensure a good trade-off between load balancing and backhaul traffic taking into account the underlying wireless channel and the finite cache capacity at edge servers. Due to the coupled interference among mobile stations, the binary nature of the underlying cache placement and user association matrices, the resulting mixed-timescale mixed integer optimization problem is nonconvex and NP-hard. To solve this problem, we decompose the joint optimization problem into a long-term content placement sub-problem and a short-term content delivery sub-problem. A novel iterative algorithm is introduced by leveraging the alternating direction method of multipliers together with a stochastic parallel successive convex approximation-based algorithm. The introduced scheme enables all BSs to update their optimization variables in parallel by solving a sequence of convex subproblems. Simulation evaluation demonstrates the efficiency of our strategy.


title: A Stricter Heap Separating Points-To Logic

abstract: Dynamic memory issues are hard to locate and may cost much of a development project's efforts and was repeatedly reported similarly afterwards independently by different persons. Verification as one formal method may proof a given program's heap matches a specified dynamic behaviour. Dynamic (or heap) memory, is the region within main memory that is manipulated by program statements like alloc, free and pointer manipulation during program execution. Usually, heap memory is allocated for problems where the amount of used memory is unknown prior to execution. Regions within the heap may be related "somehow" with each other, often, but not always, by pointers containing absolute addresses of related heap cells. The data structure described by all valid pointer variables manifests heap graphs. A heap graph is a directed connected simple graph within the dynamic memory which may contain cycles, and where each vertex represents an unique memory address and every edge links two heap vertices. The heap graph must be pointed by at least one variable from the local stack or a chain of other heap graphs which is finally pointed by at least one stacked variable. Heap vertices may not overlap. A heap formula expresses the assertion on dynamic memory and can either be a heaplet, or a recursively defined heap-spatial or logical formula.


title: Correlators of Polynomial Processes

abstract: In the setting of polynomial jump-diffusion dynamics, we provide an explicit formula for computing correlators, namely, cross-moments of the process at different time points along its path. The formula appears as a linear combination of exponentials of the generator matrix, extending the well-known moment formula for polynomial processes. The developed framework can, for example, be applied in financial pricing, such as for path-dependent options and in a stochastic volatility models context. In applications to options, having closed and compact formulations is attractive for sensitivity analysis and risk management, since Greeks can be derived explicitly.

categories: math.PR math.ST q-fin.CP q-fin.MF stat.TH


title: HEATS: Heterogeneity- and Energy-Aware Task-based Scheduling

abstract: Cloud providers usually offer diverse types of hardware for their users. Customers exploit this option to deploy cloud instances featuring GPUs, FPGAs, architectures other than x86 (e.g., ARM, IBM Power8), or featuring certain specific extensions (e.g, Intel SGX). We consider in this work the instances used by customers to deploy containers, nowadays the de facto standard for micro-services, or to execute computing tasks. In doing so, the underlying container orchestrator (e.g., Kubernetes) should be designed so as to take into account and exploit this hardware diversity. In addition, besides the feature range provided by different machines, there is an often overlooked diversity in the energy requirements introduced by hardware heterogeneity, which is simply ignored by default container orchestrator's placement strategies. We introduce HEATS, a new task-oriented and energy-aware orchestrator for containerized applications targeting heterogeneous clusters. HEATS allows customers to trade performance vs. energy requirements. Our system first learns the performance and energy features of the physical hosts. Then, it monitors the execution of tasks on the hosts and opportunistically migrates them onto different cluster nodes to match the customer-required deployment trade-offs. Our HEATS prototype is implemented within Google's Kubernetes. The evaluation with synthetic traces in our cluster indicate that our approach can yield considerable energy savings (up to 8.5%) and only marginally affect the overall runtime of deployed tasks (by at most 7%). HEATS is released as open-source.


title: High precision time measurements in future experiments

abstract: Detector examples discussed: MRPCs, MCP-PMTs, Diamond detectors, SiPMTs, Low and high gain Avalanche diodes (LGADs) and Micromegas. We specifically discuss issues such as single pixel vs. multi-pixel tests, small test vs. large physics system results and hidden problems people usually do not want to talk about.


title: Know your population and know your model: Using model-based regression and poststratification to generalize findings beyond the observed sample

abstract: Psychology research focuses on interactions, and this has deep implications for inference from non-representative samples. For the goal of estimating average treatment effects, we propose to fit a model allowing treatment to interact with background variables and then average over the distribution of these variables in the population. This can be seen as an extension of multilevel regression and poststratification (MRP), a method used in political science and other areas of survey research, where researchers wish to generalize from a sparse and possibly non-representative sample to the general population. In this paper, we discuss areas where this method can be used in the psychological sciences. We use our method to estimate the norming distribution for the Big Five Personality Scale using open source data. We argue that large open data sources like this and other collaborative data sources can be combined with MRP to help resolve current challenges of generalizability and replication in psychology.


title: Estimation of treatment effects following a sequential trial of multiple treatments

abstract: When a clinical trial is subject to a series of interim analyses as a result of which the study may be terminated or modified, final frequentist analyses need to take account of the design used. Failure to do so may result in overstated levels of significance, biased effect estimates and confidence intervals with inadequate coverage probabilities. A wide variety of valid methods of frequentist analysis have been devised for sequential designs comparing a single experimental treatment with a single control treatment. It is less clear how to perform the final analysis of a sequential or adaptive design applied in a more complex setting, for example to determine which treatment or set of treatments amongst several candidates should be recommended. This paper has been motivated by consideration of a trial in which four treatments for sepsis are to be compared, with interim analyses allowing the dropping of treatments or termination of the trial to declare a single winner or to conclude that there is little difference between the treatments that remain. The approach taken is based on the method of Rao-Blackwellisation which enhances the accuracy of unbiased estimates available from the first interim analysis by taking their conditional expectations given final sufficient statistics. Analytic approaches to determine such expectations are difficult and specific to the details of the design, and instead "reverse simulations" are conducted to construct replicate realisations of the first interim analysis from the final test statistics. The method also provides approximate confidence intervals for the differences between treatments.


title: Controlling Sub-Cycle Optical Chirality in the Photoionization of Chiral Molecules

abstract: Controlling the polarization state of electromagnetic radiation enables the investigation of fundamental symmetry properties of matter through chiroptical processes. Many strategies have been developed to reveal structural or dynamical information about chiral molecules, from the microwave to the extreme ultraviolet range. Most schemes employ circularly or elliptically polarized radiation, and more sophisticated configurations involve, for instance, light pulses with time-varying polarization states. In all these schemes, the polarization state of light is always considered as constant over one optical cycle. In this study, we zoom into the optical cycle in order to resolve and control a subcyle attosecond chiroptical process. We engineer an electric field whose instantaneous chirality can be controlled within the optical cycle, by combining two phase-locked orthogonally polarized fundamental and second harmonic fields. While the composite field has zero net ellipticity, it shows an instantaneous optical chirality which can be controlled via the two-color delay. We theoretically and experimentally investigate the photoionization of chiral molecules with this controlled chiral field. We find that electrons are preferentially ejected forward or backward relative to the laser propagation direction depending on the molecular handedness, similarly to the well-established photoelectron circular dichroism process. However, since the instantaneous chirality switches sign from one half cycle to the next, electrons ionized from two consecutive half cycles of the laser show opposite forward/backward asymmetries. This chiral signal provides a unique insight into the influence of instantaneous chirality in the dynamical photoionization process. Our results demonstrate the important role of sub-cycle polarization shaping of electric fields, as a new route to study and manipulate chiroptical processes.


title: Approximating the pth Root by Composite Rational Functions

abstract: A landmark result from rational approximation theory states that $x^{1/p}$ on $[0,1]$ can be approximated by a type-$(n,n)$ rational function with root-exponential accuracy. Motivated by the recursive optimality property of Zolotarev functions (for the square root and sign functions), we investigate approximating $x^{1/p}$ by composite rational functions of the form $r_k(x, r_{k-1}(x, r_{k-2}( \cdots (x,r_1(x,1)) )))$. While this class of rational functions ceases to contain the minimax (best) approximant for $p\geq 3$, we show that it achieves approximately $p$th-root exponential convergence with respect to the degree. Moreover, crucially, the convergence is doubly exponential with respect to the number of degrees of freedom, suggesting that composite rational functions are able to approximate $x^{1/p}$ and related functions (such as $|x|$ and the sector function) with exceptional efficiency.


title: The Adversarial Robustness of Sampling

abstract: Random sampling is a fundamental primitive in modern algorithms, statistics, and machine learning, used as a generic method to obtain a small yet "representative" subset of the data. In this work, we investigate the robustness of sampling against adaptive adversarial attacks in a streaming setting: An adversary sends a stream of elements from a universe $U$ to a sampling algorithm (e.g., Bernoulli sampling or reservoir sampling), with the goal of making the sample "very unrepresentative" of the underlying data stream. The adversary is fully adaptive in the sense that it knows the exact content of the sample at any given point along the stream, and can choose which element to send next accordingly, in an online manner. Well-known results in the static setting indicate that if the full stream is chosen in advance (non-adaptively), then a random sample of size $\Omega(d / \varepsilon^2)$ is an $\varepsilon$-approximation of the full data with good probability, where $d$ is the VC-dimension of the underlying set system $(U,R)$. Does this sample size suffice for robustness against an adaptive adversary? The simplistic answer is \emph{negative}: We demonstrate a set system where a constant sample size (corresponding to VC-dimension $1$) suffices in the static setting, yet an adaptive adversary can make the sample very unrepresentative, as long as the sample size is (strongly) sublinear in the stream length, using a simple and easy-to-implement attack. However, this attack is "theoretical only", requiring the set system size to (essentially) be exponential in the stream length. This is not a coincidence: We show that to make Bernoulli or reservoir sampling robust against adaptive adversaries, the modification required is solely to replace the VC-dimension term $d$ in the sample size with the cardinality term $\log |R|$. This nearly matches the bound imposed by the attack.


title: Adversarial FDI Attack against AC State Estimation with ANN

abstract: Artificial neural network (ANN) provides superior accuracy for nonlinear alternating current (AC) state estimation (SE) in smart grid over traditional methods. However, research has discovered that ANN could be easily fooled by adversarial examples. In this paper, we initiate a new study of adversarial false data injection (FDI) attack against AC SE with ANN: by injecting a deliberate attack vector into measurements, the attacker can degrade the accuracy of ANN SE while remaining undetected. We propose a population-based algorithm and a gradient-based algorithm to generate attack vectors. The performance of these algorithms is evaluated through simulations on IEEE 9-bus, 14-bus and 30-bus systems under various attack scenarios. Simulation results show that DE is more effective than SLSQP on all simulation cases. The attack examples generated by DE algorithm successfully degrade the ANN SE accuracy with high probability.


title: Concentration tuned tetragonal strain in alloys: application to magnetic anisotropy of FeNi$_{1-x}$Co$_x$

abstract: We explore an opportunity to induce and control tetragonal distortion in materials. The idea involves formation of a binary alloy from parent compounds having body-centered and face-centered symmetries. The concept is illustrated in the case of FeNi$_{1-x}$Co$_x$ magnetic alloy formed by substitutional doping of the L1$_0$ FeNi magnet with Co. Using electronic structure calculations we demonstrate that the tetragonal strain in this system can be controlled by concentration and it reaches maximum for $x=0.5$. This finding is then applied to create a large magnetocrystalline anisotropy (MAE) in FeNi$_{1-x}$Co$_x$ system by considering an interplay of the tetragonal distortion with electronic concentration and chemical anisotropy. In particular, we identify a new ordered FeNi$_{0.5}$Co$_{0.5}$ system with MAE larger by a factor 4.5 from the L1$_0$ FeNi magnet.


title: Sparsity-Assisted Signal Denoising and Pattern Recognition in Time-Series Data

abstract: We address the problem of signal denoising and pattern recognition in processing batch-mode time-series data by combining linear time-invariant filters, orthogonal multiresolution representations, and sparsity-based methods. We propose a novel approach to designing higher-order zero-phase low-pass, high-pass, and band-pass infinite impulse response filters as matrices, using spectral transformation of the state-space representation of digital filters. We also propose a proximal gradient-based technique to factorize a special class of zero-phase high-pass and band-pass digital filters so that the factorization product preserves the zero-phase property of the filter and also incorporates a sparse-derivative component of the input in the signal model. To demonstrate applications of our novel filter designs, we validate and propose new signal models to simultaneously denoise and identify patterns of interest. We begin by using our proposed filter design to test an existing signal model that simultaneously combines linear time invariant (LTI) filters and sparsity-based methods. We develop a new signal model called sparsity-assisted signal denoising (SASD) by combining our proposed filter designs with the existing signal model. Thereafter, we propose and derive a new signal model called sparsity-assisted pattern recognition (SAPR). In SAPR, we combine LTI band-pass filters and sparsity-based methods with orthogonal multiresolution representations, such as wavelets, to detect specific patterns in the input signal. Finally, we combine the signal denoising and pattern recognition tasks, and derive a new signal model called the sparsity-assisted signal denoising and pattern recognition (SASDPR). We illustrate the capabilities of the SAPR and SASDPR frameworks using sleep-electroencephalography data to detect K-complexes and sleep spindles, respectively.


title: $H_{\infty}$-Control of Grid-Connected Converters: Design, Objectives and Decentralized Stability Certificates

abstract: The modern power system features high penetration of power converters due to the development of renewables, HVDC, etc. Currently, the controller design and parameter tuning of power converters heavily rely on rich engineering experience and extrapolation from a single converter system, which may lead to inferior performance or even instabilities under variable grid conditions. In this paper, we propose an $H_{\infty}$-control design framework to provide a systematic way for the robust and optimal control design of power converters. We discuss how to choose weighting functions to achieve anticipated and robust performance with regards to multiple control objectives. Further, we show that by a proper choice of the weighting functions, the converter can be conveniently specified as grid-forming or grid-following in terms of small-signal dynamics. Moreover, this paper first proposes a decentralized stability criterion based on the small gain theorem, which enables us to guarantee the global small-signal stability of a multi-converter system through local control design of the power converters. We provide high-fidelity nonlinear simulations and hardware-in-the-loop (HIL) real-time simulations to illustrate the effectiveness of our method.


title: VBSCan Thessaloniki 2018 Workshop Summary

abstract: This document reports the first year of activity of the VBSCan COST Action network, as summarised by the talks and discussions happened during the VBSCan Thessaloniki 2018 workshop. The VBSCan COST action is aiming at a consistent and coordinated study of vector-boson scattering from the phenomenological and experimental point of view, for the best exploitation of the data that will be delivered by existing and future particle colliders.


title: Fairness criteria through the lens of directed acyclic graphical models

abstract: A substantial portion of the literature on fairness in algorithms proposes, analyzes, and operationalizes simple formulaic criteria for assessing fairness. Two of these criteria, Equalized Odds and Calibration by Group, have gained significant attention for their simplicity and intuitive appeal, but also for their incompatibility. This chapter provides a perspective on the meaning and consequences of these and other fairness criteria using graphical models which reveals Equalized Odds and related criteria to be ultimately misleading. An assessment of various graphical models suggests that fairness criteria should ultimately be case-specific and sensitive to the nature of the information the algorithm processes.


title: Instantons on Sasakian 7-manifolds

abstract: We study a natural contact instanton (CI) equation on gauge fields over 7-dimensional Sasakian manifolds, which is closely related both to the transverse Hermitian Yang-Mills (tHYM) condition and the G_2-instanton equation. We obtain, by Fredholm theory, a finite-dimensional local model for the moduli space of irreducible solutions. We derive cohomological conditions for smoothness, and we express its dimension in terms of the index of a transverse elliptic operator. Finally we show that the moduli space of selfdual contact instantons (ASDI) is K\"ahler, in the Sasakian case. As an instance of concrete interest, we specialise to transversely holomorphic Sasakian bundles over contact Calabi-Yau 7-manifolds, and we show that, in this context, the notions of contact instanton, integrable G_2-instanton and HYM connection coincide.


title: Enhancing temporal segmentation by nonlocal self-similarity

abstract: Temporal segmentation of untrimmed videos and photo-streams is currently an active area of research in computer vision and image processing. This paper proposes a new approach to improve the temporal segmentation of photo-streams. The method consists in enhancing image representations by encoding long-range temporal dependencies. Our key contribution is to take advantage of the temporal stationarity assumption of photostreams for modeling each frame by its nonlocal self-similarity function. The proposed approach is put to test on the EDUB-Seg dataset, a standard benchmark for egocentric photostream temporal segmentation. Starting from seven different (CNN based) image features, the method yields consistent improvements in event segmentation quality, leading to an average increase of F-measure of 3.71% with respect to the state of the art.


title: A Simple Deep Personalized Recommendation System

abstract: Recommender systems are critical tools to match listings and travelers in two-sided vacation rental marketplaces. Such systems require high capacity to extract user preferences for items from implicit signals at scale. To learn those preferences, we propose a Simple Deep Personalized Recommendation System to compute travelers' conditional embeddings. Our method combines listing embeddings in a supervised structure to build short-term historical context to personalize recommendations for travelers. Deployed in the production environment, this approach is computationally efficient and scalable, and allows us to capture non-linear dependencies. Our offline evaluation indicates that traveler embeddings created using a Deep Average Network can improve the precision of a downstream conversion prediction model by seven percent, outperforming more complex benchmark methods for online shopping experience personalization.


title: Voronoi Cells in Metric Algebraic Geometry of Plane Curves

abstract: Voronoi cells of varieties encode many features of their metric geometry. We prove that each Voronoi or Delaunay cell of a plane curve appears as the limit of a sequence of cells obtained from point samples of the curve. We use this result to study metric features of plane curves, including the medial axis, curvature, evolute, bottlenecks, and reach. In each case, we provide algebraic equations defining the object and, where possible, give formulas for the degrees of these algebraic varieties. We show how to identify the desired metric feature from Voronoi or Delaunay cells, and therefore how to approximate it by a finite point sample from the variety.


title: Identification and correction of Sagnac frequency variations: an implementation for the GINGERINO data analysis

abstract: Ring laser gyroscopes are top sensitivity inertial sensors used in the measurement of angular rotation rates. It is well known that the response of such remarkable instruments can in principle access the very low frequency band, but the occurrence of nonlinear effects in the laser dynamics imposes severe limitations in terms of sensitivity and stability. We report here general relationships aimed at evaluating corrections able to effectively account for nonlinear laser dynamics. The so-derived corrections are applied to analyse thirty days of continuous operation of the large area ring laser gyroscope GINGERINO leading to duly reconstruct the Sagnac frequency $\omega_S$. The analysis shows that, on the average, the evaluated corrections affect the measurement of the Earth rotation rate $\Omega_E$ at the level of 1 part in $1.5\times10^{3}$. Among the identified corrections, the null shift term $\omega_{NS}$ is the dominant one. It turns out proportional to the optical losses $\mu$ of the ring cavity, which are changing in time at the level of $10\%$ within the considered period of thirty days. The time behaviour is reconstructed based on available signals (interferogram and mono-beam intensities), and the Allan deviation of the estimated $\Omega_E$ shows a remarkable long term stability, leading to a sensitivity better than $10^{-10}$rad/s with more than $10$s of integration time, and approaching $(8.5\pm 0.5)\times 10^{-12}$rad/s with $4.5\times10^{5}$s of integration time.


title: The diversity of AGN variability: Some highlights and challenges

abstract: This article focuses on certain variability and emission characteristics of Active Galactic Nuclei (AGN), especially their radio-loud subset consisting of quasars, BL Lacs and $\gamma$-ray detected narrow-line Seyfert 1 galaxies, all of which exhibit relativistically beamed jets of nonthermal radiation. Several striking trends and correlations, including some that have received scant attention, drawn from the available comparatively recent literature are highlighted. These can provide very useful inputs to models of AGN and be probed at a deeper level using the optical telescopes recently set up at Devasthal (Nainital).


title: Hardware-efficient quantum random access memory with hybrid quantum acoustic systems

abstract: Hybrid quantum systems in which acoustic resonators couple to superconducting qubits are promising quantum information platforms. High quality factors and small mode volumes make acoustic modes ideal quantum memories, while the qubit-phonon coupling enables the initialization and manipulation of quantum states. We present a scheme for quantum computing with multimode quantum acoustic systems, and based on this scheme, propose a hardware-efficient implementation of a quantum random access memory (QRAM). Quantum information is stored in high-Q phonon modes, and couplings between modes are engineered by applying off-resonant drives to a transmon qubit. In comparison to existing proposals that involve directly exciting the qubit, this scheme can offer a substantial improvement in gate fidelity for long-lived acoustic modes. We show how these engineered phonon-phonon couplings can be used to access data in superposition according to the state of designated address modes--implementing a QRAM on a single chip.


title: Geometrically finite Poincar\'e-Einstein metrics

abstract: We construct new examples of Einstein metrics by perturbing the conformal infinity of geometrically finite hyperbolic metrics and by applying the inverse function theorem in suitable weighted H\"older spaces.


title: Magic Polygons and Degenerated Magic Polygons: Characterization and Properties

abstract: In this work we define Magic Polygons P (n, k) and Degenerated Magic Polygons D(n, k) and we obtain their main properties, such as the magic sum and the value corresponding to the root vertex. The existence of magic polygons P (n, k) and degenerated magic polygons D(n, k) are discussed for certain values of n and k.


title: Designer fermion models in functionalized graphene bilayers

abstract: We propose a method to realize a broad class of tunable fermionic Hamiltonians in graphene bilayer. For that matter, we consider graphene bilayer functionalized with sp$^3$ defects that induce zero energy resonances hosting an individual electron each. The application of an off-plane electric field opens up a gap, so that the zero energy resonance becomes an in-gap bound state whose confinement scales inversely with the gap. Controlling both the distance among the defects and the applied electric field, we can define fermionic models, even lattices, whose hoppings and Coulomb interactions can be tuned. We consider in detail the case of triangular and honeycomb artificial lattices and we show how, for a given arrangement of the sp$^3$ centers, these lattices can undergo an electrically controlled transition between the weak and strong coupling regimes.


title: Trans-Neptunian Binaries as Evidence for Planetesimal Formation by the Streaming Instability

abstract: A critical step toward the emergence of planets in a protoplanetary disk consists in accretion of planetesimals, bodies 1-1000 km in size, from smaller disk constituents. This process is poorly understood partly because we lack good observational constraints on the complex physical processes that contribute to planetesimal formation. In the outer solar system, the best place to look for clues is the Kuiper belt, where icy planetesimals survived to this day. Here we report evidence that Kuiper belt planetesimals formed by the streaming instability, a process in which aerodynamically concentrated clumps of pebbles gravitationally collapse into 100-km-class bodies. Gravitational collapse was previously suggested to explain the ubiquity of equal-size binaries in the Kuiper belt. We analyze new hydrodynamical simulations of the streaming instability to determine the model expectations for the spatial orientation of binary orbits. The predicted broad inclination distribution with 80% of prograde binary orbits matches the observations of trans-Neptunian binaries. The formation models which imply predominantly retrograde binary orbits can be ruled out. Given its applicability over a broad range of protoplanetary disk conditions, it is expected that the streaming instability seeded planetesimal formation also elsewhere in the solar system, and beyond.


title: Classification of homogeneous strictly pseudoconvex hypersurfaces in $\mathbb C^3$

abstract: Locally homogeneous strictly pseudoconvex hypersurfaces in $\mathbb C^2$ were classified by E.\,Cartan in 1932. In this work, we complete the classification of locally homogeneous strictly pseudoconvex hypersurfaces in $\mathbb C^3$.


title: Maximizing LSST Solar System Science: Approaches, Software Tools, and Infrastructure Needs

abstract: The Large Synoptic Survey Telescope (LSST) is expected to increase known small solar system object populations by an order of magnitude or more over the next decade, enabling a broad array of transformative solar system science investigations to be performed. In this white paper, we discuss software tools and infrastructure that we anticipate will be needed to conduct these investigations and outline possible approaches for implementing them. Feedback from the community or contributions to future updates of this work are welcome. Our aim is for this white paper to encourage further consideration of the software development needs of the LSST solar system science community, and also to be a call to action for working to meet those needs in advance of the expected start of the survey in late 2022.


title: Particle decays of levels in $^{11,12}$N and $^{12}$O investigated with the invariant-mass method

abstract: Particle-decaying states of the light nuclei $^{11,12}$N and $^{12}$O were studied using the invariant-mass method. The decay energies and intrinsic widths of a number of states were measured, and the momentum correlations of three-body decaying states were considered. A second 2$p$-decaying 2$^+$ state of $^{12}$O was observed for the first time, and a higher energy $^{12}$O state was observed in the 4$p$+2$\alpha$ decay channel. This 4$p$+2$\alpha$ channel also contains contributions from fission-like decay paths, including $^6$Be$_{g.s.}$+$^{6}$Be$_{g.s.}$. Analogs to these states in $^{12}$O were found in $^{12}$N in the 2$p$+$^{10}$B and 2$p$+$\alpha$+$^6$Li channels. The momentum correlations for the prompt 2$p$ decay of $^{12}$O$_{g.s.}$ were found to be nearly identical to those of $^{16}$Ne$_{g.s.}$, and the correlations for the new 2$^+$ state were found to be consistent with sequential decay through excited states in $^{11}$N. The momentum correlations for the 2$^+_1$ state in $^{12}$O provide a new value for the $^{11}$N ground-state energy. The states in $^{12}$N/$^{12}$O that belong to the $A$=12 isobaric sextet do not deviate from the quadratic isobaric multiplet mass equation (IMME) form.


title: Deflagration-to-detonation transition in an unconfined space: II. Expanding hydrogen-oxygen flames

abstract: The problem of deflagration-to-detonation transition in an unconfined environment is revisited. With a freely expanding self-accelerating hydrogen-oxygen flame as an example, it is shown that deflagration-to-detonation transition is indeed possible provided the flame is large enough. The transition occurs prior to merging of the flame with the flame-supported precursor shock. The pre-transition flame does not reach the threshold of CJ-deflagration. Numerical simulations employed are based on the recently developed pseudo-spectral method with time and space adaptation.


title: Baseline-free Quantitative Absorption Spectroscopy Based on Cepstral Analysis

abstract: The accuracy of quantitative absorption spectroscopy depends on correctly distinguishing molecular absorption signatures in a measured transmission spectrum from the varying intensity or "baseline" of the light source. Baseline correction becomes particularly difficult when the measurement involves complex, broadly absorbing molecules or non-ideal transmission effects such as etalons. We demonstrate a technique that eliminates the need to account for the laser intensity in absorption spectroscopy by converting the measured transmission spectrum of a gas sample to a modified form of the time-domain molecular free induction decay (m-FID) using a cepstral analysis technique developed for audio signal processing. Much of the m-FID signal is temporally separated from and independent of the source intensity, and this portion can be fit directly with a model to determine sample gas properties without correcting for the light source intensity. We validate the new approach in several complex absorption spectroscopy scenarios and discuss its limitations. The technique is applicable to spectra obtained with any absorption spectrometer and provides a fast and accurate approach for analyzing complex spectra.


title: Electric Dipole Spin Resonance of 2D Semiconductor Spin Qubits

abstract: Monolayer transition metal dichalcogenides (TMDs) offer a novel two-dimensional platform for semiconductor devices. One such application, whereby the added low dimensional crystal physics (i.e. optical spin selection rules) may prove TMDs a competitive candidate, are quantum dots as qubits. The band structure of TMD monolayers offers a number of different degrees of freedom and combinations thereof as potential qubit bases, primarily electron spin, valley isospin and the combination of the two due to the strong spin orbit coupling known as a Kramers qubit. Pure spin qubits in monolayer MoX$_2$ (where X=S or Se) can be achieved by energetically isolating a single valley and tuning to a spin degenerate regime within that valley by a combination of a sufficiently small quantum dot radius and large perpendicular magnetic field. Within such a TMD spin qubit, we theoretically analyse single qubit rotations induced by electric dipole spin resonance. We employ a rotating wave approximation within a second order time dependent Schrieffer-Wolf effective Hamiltonian to derive analytic expressions for the Rabi frequency of single qubit oscilations, and optimise the mechanism or the parameters to show oscilations up to $250\,{\rm MHz}$.


title: Software Engineering Research Community Viewpoints on Rapid Reviews

abstract: Background: One of the most important current challenges of Software Engineering (SE) research is to provide relevant evidence to practice. In health related fields, Rapid Reviews (RRs) have shown to be an effective method to achieve that goal. However, little is known about how the SE research community perceives the potential applicability of RRs. Aims: The goal of this study is to understand the SE research community viewpoints towards the use of RRs as a means to provide evidence to practitioners. Method: To understand their viewpoints, we invited 37 researchers to analyze 50 opinion statements about RRs, and rate them according to what extent they agree with each statement. Q-Methodology was employed to identify the most salient viewpoints, represented by the so called factors. Results: Four factors were identified: Factor A groups undecided researchers that need more evidence before using RRs; Researchers grouped in Factor B are generally positive about RRs, but highlight the need to define minimum standards; Factor C researchers are more skeptical and reinforce the importance of high quality evidence; Researchers aligned to Factor D have a pragmatic point of view, considering RRs can be applied based on the context and constraints faced by practitioners. Conclusions: In conclusion, although there are opposing viewpoints, there are also some common grounds. For example, all viewpoints agree that both RRs and Systematic Reviews can be poorly or well conducted.


title: Stability of the Spacetime Positive Mass Theorem in Spherical Symmetry

abstract: The rigidity statement of the positive mass theorem asserts that an asymptotically flat initial data set for the Einstein equations with zero ADM mass, and satisfying the dominant energy condition, must arise from an embedding into Minkowski space. In this paper we address the question of what happens when the mass is merely small. In particular, we formulate a conjecture for the stability statement associated with the spacetime version of the positive mass theorem, and give examples to show how it is basically sharp if true. This conjecture is then established under the assumption of spherical symmetry in all dimensions. More precisely, it is shown that a sequence of asymptotically flat initial data satisfying the dominant energy condition, without horizons except possibly at an inner boundary, and with ADM masses tending to zero must arise from isometric embeddings into a sequence of static spacetimes converging to Minkowski space in the pointed volume preserving intrinsic flat sense. The difference of second fundamental forms coming from the embeddings and initial data must converge to zero in $L^p$, $1\leq p<2$. In addition some minor tangential results are also given, including the spacetime version of the Penrose inequality with rigidity statement in all dimensions for spherically symmetric initial data, as well as symmetry inheritance properties for outermost apparent horizons.


title: Ultrastrong parametric coupling between a superconducting cavity and a mechanical resonator

abstract: We present a new optomechanical device where the motion of a micromechanical membrane couples to a microwave resonance of a three-dimensional superconducting cavity. With this architecture, we realize ultrastrong parametric coupling, where the coupling rate not only exceeds the dissipation rates in the system but also rivals the mechanical frequency itself. In this regime, the optomechanical interaction induces a frequency splitting between the hybridized normal modes that reaches 88% of the bare mechanical frequency, limited by the fundamental parametric instability. The coupling also exceeds the mechanical thermal decoherence rate, enabling new applications in ultrafast quantum state transfer and entanglement generation.


title: Doping evolution of the charge excitations and electron correlations in electron-doped superconducting La$_{2-x}$Ce$_{x}$CuO$_{4}$

abstract: Electron correlations play a dominant role in the charge dynamics of the cuprates. We use resonant inelastic x-ray scattering (RIXS) to track the doping dependence of the collective charge excitations in electron doped La$_{2-x}$Ce$_{x}$CuO$_{4}$(LCCO). From the resonant energy dependence and the out-of-plane momentum dependence, the charge excitations are identified as three-dimensional (3D) plasmons, which reflect the nature of the electronic structure and Coulomb repulsion on both short and long length scales. With increasing electron doping, the plasmon excitations show monotonic hardening in energy, a consequence of the electron correlation effect on electron structure near the Fermi surface (FS). Importantly, the plasmon excitations evolve from a broad feature into a well defined peak with much increased life time, revealing the evolution of the electrons from incoherent states to coherent quasi-particles near the FS. Such evolution marks the reduction of the short-range electronic correlation, and thus the softening of the Mottness of the system with increasing electron doping.


title: Multidimensional Contrast Limited Adaptive Histogram Equalization

abstract: Contrast enhancement is an important preprocessing technique for improving the performance of downstream tasks in image processing and computer vision. Among the existing approaches based on nonlinear histogram transformations, contrast limited adaptive histogram equalization (CLAHE) is a popular choice for dealing with 2D images obtained in natural and scientific settings. The recent hardware upgrade in data acquisition systems results in significant increase in data complexity, including their sizes and dimensions. Measurements of densely sampled data higher than three dimensions, usually composed of 3D data as a function of external parameters, are becoming commonplace in various applications in the natural sciences and engineering. The initial understanding of these complex multidimensional datasets often requires human intervention through visual examination, which may be hampered by the varying levels of contrast permeating through the dimensions. We show both qualitatively and quantitatively that using our multidimensional extension of CLAHE (MCLAHE) simultaneously on all dimensions of the datasets allows better visualization and discernment of multidimensional image features, as demonstrated using cases from 4D photoemission spectroscopy and fluorescence microscopy. Our implementation of multidimensional CLAHE in Tensorflow is publicly accessible and supports parallelization with multiple CPUs and various other hardware accelerators, including GPUs.

categories: eess.IV eess.SP physics.data-an q-bio.QM


title: Personalized Student Stress Prediction with Deep Multitask Network

abstract: With the growing popularity of wearable devices, the ability to utilize physiological data collected from these devices to predict the wearer's mental state such as mood and stress suggests great clinical applications, yet such a task is extremely challenging. In this paper, we present a general platform for personalized predictive modeling of behavioural states like students' level of stress. Through the use of Auto-encoders and Multitask learning we extend the prediction of stress to both sequences of passive sensor data and high-level covariates. Our model outperforms the state-of-the-art in the prediction of stress level from mobile sensor data, obtaining a 45.6 % improvement in F1 score on the StudentLife dataset.


title: An Inexact Augmented Lagrangian Framework for Nonconvex Optimization with Nonlinear Constraints

abstract: We propose a practical inexact augmented Lagrangian method (iALM) for nonconvex problems with nonlinear constraints. We characterize the total computational complexity of our method subject to a verifiable geometric condition, which is closely related to the Polyak-Lojasiewicz and Mangasarian-Fromowitz conditions. In particular, when a first-order solver is used for the inner iterates, we prove that iALM finds a first-order stationary point with $\tilde{\mathcal{O}}(1/\epsilon^4)$ calls to the first-order oracle. If, in addition, the problem is smooth and a second-order solver is used for the inner iterates, iALM finds a second-order stationary point with $\tilde{\mathcal{O}}(1/\epsilon^5)$ calls to the second-order oracle, which matches the known theoretical complexity result in the literature. We also provide strong numerical evidence on large-scale machine learning problems, including the Burer-Monteiro factorization of semidefinite programs, and a novel nonconvex relaxation of the standard basis pursuit template. For these examples, we also show how to verify our geometric condition.


title: Reminiscences by a student of Langlands

abstract: This article gives some memories of Thomas Hales of his years at Princeton as a graduate student under Robert Langlands. It has been prepared for the book "The Genesis of Langlands' Program," edited by Dr. Julia Mueller and Dr. Freydoon Shahidi.


title: Large-scale 3D point cloud representations via graph inception networks with applications to autonomous driving

abstract: We present a novel graph-neural-network-based system to effectively represent large-scale 3D point clouds with the applications to autonomous driving. Many previous works studied the representations of 3D point clouds based on two approaches, voxelization, which causes discretization errors and learning, which is hard to capture huge variations in large-scale scenarios. In this work, we combine voxelization and learning: we discretize the 3D space into voxels and propose novel graph inception networks to represent 3D points in each voxel. This combination makes the system avoid discretization errors and work for large-scale scenarios. The entire system for large-scale 3D point clouds acts like the blocked discrete cosine transform for 2D images; we thus call it the point cloud neural transform (PCT). We further apply the proposed PCT to represent real-time LiDAR sweeps produced by self-driving cars and the PCT with graph inception networks significantly outperforms its competitors.


title: Unifying Thermodynamic Uncertainty Relations

abstract: We introduce a new technique to bound the fluctuations exhibited by a physical system, based on the Euclidean geometry of the space of observables. Through a simple unifying argument, we derive a sweeping generalization of so-called Thermodynamic Uncertainty Relations (TURs). We not only strengthen the bounds but extend their realm of applicability and in many cases prove their optimality, without resorting to large deviation theory or information-theoretic techniques. In particular, we find the best TUR based on entropy production alone and also derive a novel bound for stationary Markov processes, which surpasses previous known bounds. Our results derive from the non-invariance of the system under a symmetry which can be other than time reversal and thus open a wide new spectrum of applications.


title: Geminal-Based Configuration Interaction

abstract: The antisymmetrized geminal power (AGP) wave function has a long history and considerable conceptual appeal, but in many situations its accuracy is wanting. Here, we consider a form of configuration interaction (CI) based upon the AGP wave function and taking advantage of its killing operators to construct an excitation manifold. Our geminal CI reduces to standard single-determinant--based CI in the limit in which AGP reduces to a single determinant. It substantially improves upon AGP in the reduced BCS Hamiltonian, which serves as a prototype for the kinds of strong pairing correlations relevant in Bardeen-Cooper-Schrieffer--style superconductivity. Moreover, our geminal CI naturally generalizes to add correlation to more general geminal-based wave functions than AGP.


title: Interactive Physics-Inspired Traffic Congestion Management

abstract: This paper proposes a new physics-based approach to effectively control congestion in a network of interconnected roads (NOIR). The paper integrates mass flow conservation and diffusion-based dynamics to model traffic coordination in a NOIR. The mass conservation law is used to model the traffic density dynamics across the NOIR while the diffusion law is applied to include traffic speed and motion direction into planning. This paper offers an analogy between traffic coordination in a transportation system and heat flux in a thermal system to define a potential filed over the NOIR. The paper also develops an interactive light-based and boundary control to manage traffic congestion through optimizing the traffic signal operations and controlling traffic flows at the NOIR boundary nodes. More specifically, a model predictive boundary control optimizes the NOIR inflow traffic while a receding horizon optimizer assigns the optimal movement phases at the NOIR intersections. For simulation, the paper models traffic congestion in a heterogeneous NOIR with a large number of interior and boundary nodes where the proposed interactive control can successfully manage the congestion.


title: Sensitivity-based Warmstarting for Nonlinear Model Predictive Control with Polyhedral State and Control Constraints

abstract: Model predictive control (MPC) is of increasing interest in applications for constrained control of multivariable systems. However, one of the major obstacles to its broader use is the computation time and effort required to solve a possibly non-convex optimal control problem (OCP) online. This paper introduces a sensitivity-based warmstarting strategy for systems with nonlinear dynamics and polyhedral constraints with the goal of reducing the computational footprint of MPC controllers. It predicts changes in the solution of the parameterized OCP as the parameter varies, by calculating the semiderivative of the solution mapping. The main novelty of the paper is that the polyhedrality of the constraints allows us to avoid imposing any constraint qualification conditions or strict complementarity assumptions. A numerical study featuring MPC applied to unmanned aerial vehicles illustrates the proposed approach.


title: Statistically and Computationally Efficient Change Point Localization in Regression Settings

abstract: Detecting when the underlying distribution changes for the observed time series is a fundamental problem arising in a broad spectrum of applications. In this paper, we study multiple change-point localization in the high-dimensional regression setting, which is particularly challenging as no direct observations of the parameter of interest is available. Specifically, we assume we observe $\{ x_t, y_t\}_{t=1}^n$ where $ \{ x_t\}_{t=1}^n $ are $p$-dimensional covariates, $\{y_t\}_{t=1}^n$ are the univariate responses satisfying $\mathbb{E}(y_t) = x_t^\top \beta_t^* \text{ for } 1\le t \le n $ and $\{\beta_t^*\}_{t=1}^n $ are the unobserved regression coefficients that change over time in a piecewise constant manner. We propose a novel projection-based algorithm, Variance Projected Wild Binary Segmentation~(VPWBS), which transforms the original (difficult) problem of change-point detection in $p$-dimensional regression to a simpler problem of change-point detection in mean of a one-dimensional time series. VPWBS is shown to achieve sharp localization rate $O_p(1/n)$ up to a log factor, a significant improvement from the best rate $O_p(1/\sqrt{n})$ known in the existing literature for multiple change-point localization in high-dimensional regression. Extensive numerical experiments are conducted to demonstrate the robust and favorable performance of VPWBS over two state-of-the-art algorithms, especially when the size of change in the regression coefficients $\{\beta_t^*\}_{t=1}^n $ is small.


title: Parameter Estimation and Uncertainty Quantification for Systems Biology Models

abstract: Mathematical models can provide quantitative insight into immunoreceptor signaling, but require parameterization and uncertainty quantification before making reliable predictions. We review currently available methods and software tools to address these problems. We consider gradient-based and gradient-free methods for point estimation of parameter values, and methods of profile likelihood, bootstrapping, and Bayesian inference for uncertainty quantification. We consider recent and potential future applications of these methods to systems-level modeling of immune-related phenomena.


title: Quantum Entropy Scoring for Fast Robust Mean Estimation and Improved Outlier Detection

abstract: We study two problems in high-dimensional robust statistics: \emph{robust mean estimation} and \emph{outlier detection}. In robust mean estimation the goal is to estimate the mean $\mu$ of a distribution on $\mathbb{R}^d$ given $n$ independent samples, an $\varepsilon$-fraction of which have been corrupted by a malicious adversary. In outlier detection the goal is to assign an \emph{outlier score} to each element of a data set such that elements more likely to be outliers are assigned higher scores. Our algorithms for both problems are based on a new outlier scoring method we call QUE-scoring based on \emph{quantum entropy regularization}. For robust mean estimation, this yields the first algorithm with optimal error rates and nearly-linear running time $\widetilde{O}(nd)$ in all parameters, improving on the previous fastest running time $\widetilde{O}(\min(nd/\varepsilon^6, nd^2))$. For outlier detection, we evaluate the performance of QUE-scoring via extensive experiments on synthetic and real data, and demonstrate that it often performs better than previously proposed algorithms. Code for these experiments is available at https://github.com/twistedcubic/que-outlier-detection .


title: Accelerating Large-Kernel Convolution Using Summed-Area Tables

abstract: Expanding the receptive field to capture large-scale context is key to obtaining good performance in dense prediction tasks, such as human pose estimation. While many state-of-the-art fully-convolutional architectures enlarge the receptive field by reducing resolution using strided convolution or pooling layers, the most straightforward strategy is adopting large filters. This, however, is costly because of the quadratic increase in the number of parameters and multiply-add operations. In this work, we explore using learnable box filters to allow for convolution with arbitrarily large kernel size, while keeping the number of parameters per filter constant. In addition, we use precomputed summed-area tables to make the computational cost of convolution independent of the filter size. We adapt and incorporate the box filter as a differentiable module in a fully-convolutional neural network, and demonstrate its competitive performance on popular benchmarks for the task of human pose estimation.


title: O($^3P$)+CO$_2$ scattering cross sections at superthermal collision energies for planetary aeronomy

abstract: We report new elastic and inelastic cross sections for O($^3P$)+CO$_2$ scattering at collision energies from 0.03 to 5 eV, of major importance to O escape from Mars, Venus, and CO$_2$-rich atmospheres. The cross sections were calculated from first principles using three newly constructed ab-initio potential energy surfaces correlating to the lowest energy asymptote of the complex. The surfaces were restricted to a planar geometry with the CO$_2$ molecule assumed to be in linear configuration fixed at equilibrium. Quantum-mechanical coupled-channel formalism with a large basis set was used to compute state-to-state integral and differential cross sections for elastic and inelastic O($^3P$)+CO$_2$ scattering between all pairs of rotational states of CO$_2$ molecule. The elastic cross sections are 35\% lower at 0.5 eV and more than 50\% lower at 4+ eV than values commonly used in studies of processes in upper and middle planetary atmospheres of Mars, Earth, Venus, and CO$_2$-rich planets. Momentum transfer cross sections, of interest for energy transport, were found to be lower than predicted by mass-scaling.


title: Approximate Dynamic Programming For Linear Systems with State and Input Constraints

abstract: Enforcing state and input constraints during reinforcement learning (RL) in continuous state spaces is an open but crucial problem which remains a roadblock to using RL in safety-critical applications. This paper leverages invariant sets to update control policies within an approximate dynamic programming (ADP) framework that guarantees constraint satisfaction for all time and converges to the optimal policy (in a linear quadratic regulator sense) asymptotically. An algorithm for implementing the proposed constrained ADP approach in a data-driven manner is provided. The potential of this formalism is demonstrated via numerical examples.


title: Some extensions of quaternions and symmetries of simply connected space forms

abstract: It is known that the groups of Euclidean rotations in dimension 3 (isometries of $S^2$), general Lorentz transformations in dimension 4 (Hyperbolic isometries in dimension 3), and screw motions in dimension 3 can be represented by the groups of unit--norm elements in the algebras of real quaternions, biquaternions (complex quaternions) and dual quaternions, respectively. In this work, we present a unified framework that allows a wider scope on the subject and includes all the classical results related to the action in dimension 3 and 4 of unit--norm elements of the algebras described above and the algebra of split biquaternions as particular cases. We establish a decomposition of unit--norm elements in all cases and obtain as a byproduct a new decomposition of the group rotations in dimension 4.


title: Deception Strategies and Threats for Online Discussions

abstract: Communication plays a major role in social systems. Effective communications, which requires transmission of the messages between individuals without disruptions or noise, can be a powerful tool to deliver intended impact. Language and style of the content can be leveraged to deceive and manipulate recipients. These deception and persuasion strategies can be applied to exert power and amass capital in politics and business. In this work, we provide a modest review of how such deception and persuasion strategies were applied to different communication channels over the years. We provide examples of campaigns that has occurred in different periods over the last 100 years, together with their corresponding dissemination mediums. In the Internet age, we enjoy access to the vast amount of information and the ability to communicate without borders. However, malicious actors work toward abusing online systems to disseminate disinformation, disrupt communication, and manipulate people by the means of automated tools, such as social bots. It is important to study the old practices of persuasion to be able to investigate modern practices and tools. Here we provide a discussion of current threats against society while drawing parallels with the historical practices and the recent research efforts on systems of detection and prevention.


title: Incentive Mechanisms to Prevent Efficiency Loss of Non-Profit Utilities

abstract: The modernization of the power system introduces technologies that may improve the system's efficiency by enhancing the capabilities of users. Despite their potential benefits, such technologies can have a negative impact. This subject has widely analyzed, mostly considering for-profit electric utilities. However, the literature has a gap regarding the impact of new technologies on non-profit utilities. In this work, we quantify the price of anarchy of non-profit utilities, that is, the cost caused by lack of coordination of users. We find that users, in the worst case, can consume up to twice the optimal demand, obtaining a small fraction of the optimal surplus. For this reason, we leverage the theory of mechanism design to design an incentive scheme that reduces the inefficiencies of the system, which preserves the privacy of users. We illustrate with simulations the efficiency loss of the system and show two instances of incentive mechanism that satisfy either budget balance and budget deficit.


title: Unsupervised Methods for Identifying Pass Coverage Among Defensive Backs with NFL Player Tracking Data

abstract: Analysis of player tracking data for American football is in its infancy, since the National Football League (NFL) released its Next Gen Stats tracking data publicly for the first time in December 2018. While tracking datasets in other sports often contain detailed annotations of on-field events, annotations in the NFL's tracking data are limited. Methods for creating these annotations typically require extensive human labeling, which is difficult and expensive. We begin tackling this class of problems by creating annotations for pass coverage types by defensive backs using unsupervised learning techniques, which require no manual labeling or human oversight. We define a set of features from the NFL's tracking data that help distinguish between "zone" and "man" coverage. We use Gaussian mixture modeling and hierarchical clustering to create clusters corresponding to each group, and we assign the appropriate type of coverage to each cluster through qualitative analysis of the plays in each cluster. We find that the mixture model's "soft" cluster assignments allow for more flexibility when identifying coverage types. Our work makes possible several potential avenues of future NFL research, and we provide a basic exploration of these in this paper.


title: Geometric phase predicts locomotion performance in undulating living systems across scales

abstract: Self-propelling organisms locomote via generation of patterns of self-deformation. Despite the diversity of body plans, internal actuation schemes and environments in limbless vertebrates and invertebrates, such organisms often use similar travelling waves of axial body bending for movement. Delineating how parameters (wave amplitudes, frequencies) lead to locomotor performance (e.g. speed, energy, turning capabilities) remains challenging. Here we show that a geometric framework that replaces laborious calculation with a diagrammatic scheme is well suited to discovery and comparison of optimal patterns of wave dynamics in diverse living systems. We focus on a regime of undulatory locomotion, that of highly damped environments, which is applicable not only to small organism movement in viscous fluids, but also larger animals moving in frictional fluids (sand) and on frictional ground. We find that the travelling wave dynamics used by mm-scale nematode worms and cm-scale desert dwelling snakes and lizards can be described by time series of the weights associated with two principal modes. The approximately circular closed path trajectories of mode weights in a self-deformation space enclose near-maximal surface integral (geometric phase) for organisms spanning two decades in body length. We hypothesize that such trajectories are targets of control (which we refer to as ``serpenoid templates"). Further, the geometric approach reveals how seemingly complex behaviors such as turning in worms and sidewinding snakes can be described as modulations of templates. Thus, the use of differential geometry in living systems can assist in the growth of comparative neuromechanics, allowing a common description of locomotion across taxa and providing hypotheses for function at lower levels of organization.


title: The Frogs Method: A Bioinspired Algorithm For Micromagnetic Dynamics Skyrmion Data Extraction

abstract: In this work we present a new bio-inspired method (using an adapted, frog based Particle Swarm Optimization) that can track a skyrmion's position. The structure and position of skyrmions in a given system is usually determined either by visual impression through a vector plot, or by averaging over magnetization and topological charge. Due to the inherent difficulty of acquiring this information in discrete systems, and also in systems with finite boundaries, we present a method which is able to reliably track a wide array of different topological structures, while also providing additional data about internal degrees of freedom, in both stationary and dynamic cases.


title: Resolutions of standard modules over KLR algebras of type $A$

abstract: Khovanov-Lauda-Rouquier algebras $R_\theta$ of finite Lie type are affine quasihereditary with standard modules $\Delta(\pi)$ labeled by Kostant partitions $\pi$ of $\theta$. In type $A$, we construct explicit projective resolutions of standard modules $\Delta(\pi)$.


title: A General Theory of Tensor Products of Convex Sets in Euclidean Spaces

abstract: We introduce both the notions of tensor product of convex bodies that contain zero in the interior, and of tensor product of $0$-symmetric convex bodies in Euclidean spaces. We prove that there is a bijection between tensor products of $0$-symmetric convex bodies and tensor norms on finite dimensional spaces. This bijection preserves duality, injectivity and projectivity. We obtain a formulation of Grothendieck`s Theorem for $0$-symmetric convex bodies and use it to give a geometric representation (up to the $K_G$-constant) of the Hilbertian tensor product. We see that the property of having enough symmetries is preserved by these tensor products, and exhibit relations with the L\"owner and the John ellipsoids.


title: Online Optimal Control with Linear Dynamics and Predictions: Algorithms and Regret Analysis

abstract: This paper studies the online optimal control problem with time-varying convex stage costs for a time-invariant linear dynamical system, where a finite lookahead window of accurate predictions of the stage costs are available at each time. We design online algorithms, Receding Horizon Gradient-based Control (RHGC), that utilize the predictions through finite steps of gradient computations. We study the algorithm performance measured by dynamic regret: the online performance minus the optimal performance in hindsight. It is shown that the dynamic regret of RHGC decays exponentially with the size of the lookahead window. In addition, we provide a fundamental limit of the dynamic regret for any online algorithms by considering linear quadratic tracking problems. The regret upper bound of one RHGC method almost reaches the fundamental limit, demonstrating the effectiveness of the algorithm. Finally, we numerically test our algorithms for both linear and nonlinear systems to show the effectiveness and generality of our RHGC.


title: Studies on small charge packet transport in high-resistivity fully-depleted CCDs

abstract: In this work, we will present a physical model and measurements of the transport of small charge packets in the bulk of thick high resistivity CCD before being collected by the pixel potential wells. A new technique to measure the lateral spread of the charge as a function of the ionization depth in the bulk is presented. Results from measurements on CCD currently in use for several scientific instruments are shown and validated with a new mathematical algorithm to extend the current modeling based only on the diffusion of the charge in silicon.


title: Some extension algebras for standard modules over KLR algebras of type $A$

abstract: Khovanov-Lauda-Rouquier algebras $R_\theta$ of finite Lie type are affine quasihereditary with standard modules $\Delta(\pi)$ labeled by Kostant partitions of $\theta$. Let $\Delta$ be the direct sum of all standard modules. It is known that the Yoneda algebra $\mathcal{E}_\theta:=\operatorname{Ext}_{R_\theta}^*(\Delta, \Delta)$ carries a structure of an $A_\infty$-algebra which can be used to reconstruct the category of standardly filtered $R_\theta$-modules. In this paper, we explicitly describe $\mathcal{E}_\theta$ in two special cases: (1) when $\theta$ is a positive root in type $\mathtt{A}$, and (2) when $\theta$ is of Lie type $\mathtt{A_2}$. In these cases, $\mathcal{E}_\theta$ turns out to be torsion free and intrinsically formal. We provide an example to show that the $A_\infty$-algebra $\mathcal{E}_\theta$ is non-formal in general.


title: Magnetic order in Nd$_2$PdSi$_3$ investigated using neutron scattering and muon spin relaxation

abstract: The rare-earth based ternary intermetallic compounds $R_2TX_3$ ($R$ = rare-earth, $T$ = transition-metal, $X$ = Si, Ge, Ga, In) have attracted considerable interest due to a wide range of interesting low temperature properties. Here we investigate the magnetic state of Nd$_{2}$PdSi$_{3}$ using neutron diffraction, muon spin relaxation ($\mu$SR) and inelastic neutron scattering (INS). This compound appears anomalous among the $R_{2}$PdSi$_{3}$ series, since it was proposed to order ferromagnetically, whereas others in this series are antiferromagnets. Although some members of the $R_2TX_3$ series have been reported to form ordered superstructures, our data are well described by Nd$_{2}$PdSi$_{3}$ adopting the AlB$_2$-type structure with a single Nd site, and we do not find evidence for superlattice peaks in neutron diffraction. Our results confirm the onset of long range magnetic order below $T_0=17$~K, where the whole sample enters the ordered state. Neutron diffraction measurements establish the presence of a ferromagnetic component in this compound, as well as an antiferromagnetic one which has a propagation vector $\mathbf{k_2}=(1/2,1/2,1/4-\delta)$ with a temperature dependent $\delta\approx0.02-0.04$, and moments orientated exclusively along the $c$-axis. $\mu$SR measurements suggest that these components coexist on a microscopic level, and therefore the magnetic structure of Nd$_{2}$PdSi$_{3}$ is predominantly ferromagnetic, with a sinusoidally modulated antiferromagnetic contribution which reaches a maximum amplitude at 11~K, and becomes smaller upon further decreasing the temperature. INS results show the presence of crystalline-electric field (CEF) excitations above $T_0$, and from our analysis we propose a CEF level scheme.


title: Selective Inference via Marginal Screening for High Dimensional Classification

abstract: Post-selection inference is a statistical technique for determining salient variables after model or variable selection. Recently, selective inference, a kind of post-selection inference framework, has garnered the attention in the statistics and machine learning communities. By conditioning on a specific variable selection procedure, selective inference can properly control for so-called selective type I error, which is a type I error conditional on a variable selection procedure, without imposing excessive additional computational costs. While selective inference can provide a valid hypothesis testing procedure, the main focus has hitherto been on Gaussian linear regression models. In this paper, we develop a selective inference framework for binary classification problem. We consider a logistic regression model after variable selection based on marginal screening, and derive the high dimensional statistical behavior of the post-selection estimator. This enables us to asymptotically control for selective type I error for the purposes of hypothesis testing after variable selection. We conduct several simulation studies to confirm the statistical power of the test, and compare our proposed method with data splitting and other methods.


title: Extremely large magnetoresistance and compensated Fermi surfaces in the antiferromagnetic semimetal YbAs

abstract: A number of rare-earth monopnictides have topologically non-trivial band structures together with magnetism and strong electronic correlations. In order to examine whether the antiferromagnetic (AFM) semimetal YbAs ($T\rm_N$ = 0.5 K) exhibits such a scenario, we have grown high-quality single crystals using a flux method, and characterized the magnetic properties and electronic structure using specific heat, magnetotransport and angle-resolved photoemission spectroscopy (ARPES) measurements, together with density functional theory (DFT) calculations. Both ARPES and DFT calculations find no evidence for band inversions in YbAs, indicating a topologically trivial electronic structure. From low-temperature magnetotransport measurements, we map the field-temperature phase diagram, where we find the presence of a field stabilized phase distinct from the AFM phase at low temperatures. An extremely large magnetoresistance (XMR) for both YbAs and the nonmagnetic counterpart LuAs, is also observed, which can consistently be accounted for by the presence of electron-hole compensation. Moreover, an angle-dependent study of the Shubnikov-de Haas effect oscillations reveals very similar Fermi surfaces between YbAs and LuAs, with light effective masses down to at least 0.5 K, indicating that the Yb-$4f$ electrons are well localized, and do not contribute to the Fermi surface. However, the influence of the localized Yb-$4f$ electrons on the magnetotransport of YbAs can be discerned from the distinct temperature dependence of the XMR compared to that of LuAs, which we attribute to the influence of short-ranged spin correlations that appear well above $T\rm_N$.


title: Eliciting Knowledge from Experts:Automatic Transcript Parsing for Cognitive Task Analysis

abstract: Cognitive task analysis (CTA) is a type of analysis in applied psychology aimed at eliciting and representing the knowledge and thought processes of domain experts. In CTA, often heavy human labor is involved to parse the interview transcript into structured knowledge (e.g., flowchart for different actions). To reduce human efforts and scale the process, automated CTA transcript parsing is desirable. However, this task has unique challenges as (1) it requires the understanding of long-range context information in conversational text; and (2) the amount of labeled data is limited and indirect---i.e., context-aware, noisy, and low-resource. In this paper, we propose a weakly-supervised information extraction framework for automated CTA transcript parsing. We partition the parsing process into a sequence labeling task and a text span-pair relation extraction task, with distant supervision from human-curated protocol files. To model long-range context information for extracting sentence relations, neighbor sentences are involved as a part of input. Different types of models for capturing context dependency are then applied. We manually annotate real-world CTA transcripts to facilitate the evaluation of the parsing tasks


title: A Tight Analysis of Greedy Yields Subexponential Time Approximation for Uniform Decision Tree

abstract: Decision Tree is a classic formulation of active learning: given $n$ hypotheses with nonnegative weights summing to 1 and a set of tests that each partition the hypotheses, output a decision tree using the provided tests that uniquely identifies each hypothesis and has minimum (weighted) average depth. Previous works showed that the greedy algorithm achieves a $O(\log n)$ approximation ratio for this problem and it is NP-hard beat a $O(\log n)$ approximation, settling the complexity of the problem. However, for Uniform Decision Tree, i.e. Decision Tree with uniform weights, the story is more subtle. The greedy algorithm's $O(\log n)$ approximation ratio was the best known, but the largest approximation ratio known to be NP-hard is $4-\varepsilon$. We prove that the greedy algorithm gives a $O(\frac{\log n}{\log C_{OPT}})$ approximation for Uniform Decision Tree, where $C_{OPT}$ is the cost of the optimal tree and show this is best possible for the greedy algorithm. As a corollary, we resolve a conjecture of Kosaraju, Przytycka, and Borgstrom. Leveraging this result, for all $\alpha\in(0,1)$, we exhibit a $\frac{9.01}{\alpha}$ approximation algorithm to Uniform Decision Tree running in subexponential time $2^{\tilde O(n^\alpha)}$. As a corollary, achieving any super-constant approximation ratio on Uniform Decision Tree is not NP-hard, assuming the Exponential Time Hypothesis. This work therefore adds approximating Uniform Decision Tree to a small list of natural problems that have subexponential time algorithms but no known polynomial time algorithms. All our results hold for Decision Tree with weights not too far from uniform. A key technical contribution of our work is showing a connection between greedy algorithms for Uniform Decision Tree and for Min Sum Set Cover.