title: Learning Radiative Transfer Models for Climate Change Applications in Imaging Spectroscopy

abstract: According to a recent investigation, an estimated 33-50% of the world's coral reefs have undergone degradation, believed to be as a result of climate change. A strong driver of climate change and the subsequent environmental impact are greenhouse gases such as methane. However, the exact relation climate change has to the environmental condition cannot be easily established. Remote sensing methods are increasingly being used to quantify and draw connections between rapidly changing climatic conditions and environmental impact. A crucial part of this analysis is processing spectroscopy data using radiative transfer models (RTMs) which is a computationally expensive process and limits their use with high volume imaging spectrometers. This work presents an algorithm that can efficiently emulate RTMs using neural networks leading to a multifold speedup in processing time, and yielding multiple downstream benefits.

categories: cs.LG astro-ph.IM physics.comp-ph stat.ML


title: Bott-Samelson atlases, total positivity, and Poisson structures on some homogeneous spaces

abstract: Let $G$ be a connected and simply connected complex semisimple Lie group. For a collection of homogeneous $G$-spaces $G/Q$, we construct a finite atlas ${\mathcal{A}}_{\rm BS}(G/Q)$ on $G/Q$, called the Bott-Samelson atlas, and we prove that all of its coordinate functions are positive with respect to the Lusztig positive structure on $G/Q$. We also show that the standard Poisson structure $\pi_{G/Q}$ on $G/Q$ is presented, in each of the coordinate charts of ${\mathcal{A}}_{\rm BS}(G/Q)$, as a symmetric Poisson CGL extension (or a certain localization thereof) in the sense of Goodearl-Yakimov, making $(G/Q, \pi_{G/Q}, {\mathcal{A}}_{\rm BS}(G/Q))$ into a Poisson-Ore variety. Examples of $G/Q$ include $G$ itself, $G/T$, $G/B$, and $G/N$, where $T \subset G$ is a maximal torus, $B \subset G$ a Borel subgroup, and $N$ the uniradical of $B$.


title: Emerging unitary evolutions in dissipatively coupled systems

abstract: Having a broad range of methods available for implementing unitary operations is crucial for quantum information tasks. We study a dissipative process commonly used to describe dissipatively coupled systems and show that the process can lead to pure unitary dynamics on one part of a bipartite system, provided that the process is strong enough. If suitably engineered, the process allows to implement generic unitary operations. In fact, we show within the framework of quantum control theory that the dissipative process can turn the system of interest into a system capable of universal quantum information task. We characterize the time scales necessary to implement gates with high fidelity through the dissipative evolution. The considered dissipative evolution is of particular importance since it can be engineered in the laboratory in the realm of superconducting circuits. Based on a reservoir that is formed by a lossy microwave mode we present a detailed study of how our theoretical findings can be realized in an experimental setting.


title: Phononics of Graphene and Graphene Composites

abstract: I present a concise account concerning the emergence of a research field, which deals with the thermal properties of graphene, covering the refinement of understanding of phonon transport in two-dimensional material systems. The practical application of graphene and few-layer graphene in thermal interface materials are also discussed.


title: Critical Bridge Spheres for Links with Arbitrarily Many Bridges

abstract: We show that for every integer $b\geq 3$, there exists a link in a $b$-bridge position with respect to a critical bridge sphere. In fact, for each $b$, we construct an infinite family of links which we call square whose bridge spheres are critical.


title: Interevent time distribution, burst, and hybrid percolation transition

abstract: Critical phenomena of a second-order percolation transition are known to be independent of cluster merging or pruning process. However, those of a hybrid percolation transition (HPT), mixed properties of both first-order and second-order transitions, depend on the processes. The HPT induced by cluster merging is more intrigue and little understood than the other. Here, we construct a theoretical framework using the so-called restricted percolation model. In this model, clusters are ranked by size and partitioned into small- and large-cluster sets. As the cluster rankings are updated by cluster coalescence, clusters may move back and forth across the set boundary. The inter-event time (IET) between two consecutive crossing times have two distributions with power-law decays, which in turn characterize the criticality of the HPT. A burst of such crossing events occurs and signals the upcoming transition. We discuss a related phenomenon to this critical dynamics.


title: Learning Individual Causal Effects from Networked Observational Data

abstract: Convenient access to observational data enables us to learn causal effects without randomized experiments. This research direction draws increasing attention in research areas such as economics, healthcare, and education. For example, we can study how a medicine (the treatment) causally affects the health condition (the outcome) of a patient using existing electronic health records. To validate causal effects learned from observational data, we have to control confounding bias -- the influence of variables which causally influence both the treatment and the outcome. Existing work along this line overwhelmingly relies on the unconfoundedness assumption that there do not exist unobserved confounders. However, this assumption is untestable and can even be untenable. In fact, an important fact ignored by the majority of previous work is that observational data can come with network information that can be utilized to infer hidden confounders. For example, in an observational study of the individual-level treatment effect of a medicine, instead of randomized experiments, the medicine is often assigned to each individual based on a series of factors. Some of the factors (e.g., socioeconomic status) can be challenging to measure and therefore become hidden confounders. Fortunately, the socioeconomic status of an individual can be reflected by whom she is connected in social networks. With this fact in mind, we aim to exploit the network information to recognize patterns of hidden confounders which would further allow us to learn valid individual causal effects from observational data. In this work, we propose a novel causal inference framework, the network deconfounder, which learns representations to unravel patterns of hidden confounders from the network information. Empirically, we perform extensive experiments to validate the effectiveness of the network deconfounder on various datasets.


title: On statistical Calder\'on problems

abstract: For $D$ a bounded domain in $\mathbb R^d, d \ge 2,$ with smooth boundary $\partial D$, the non-linear inverse problem of recovering the unknown conductivity $\gamma$ determining solutions $u=u_{\gamma, f}$ of the partial differential equation \begin{equation*} \begin{split} \nabla \cdot(\gamma \nabla u)&=0 \quad \text{ in }D, \\ u&=f \quad \text { on } \partial D, \end{split} \end{equation*} from noisy observations $Y$ of the Dirichlet-to-Neumann map \[f \mapsto \Lambda_\gamma(f) = {\gamma \frac{\partial u_{\gamma,f}}{\partial \nu}}\Big|_{\partial D},\] with $\partial/\partial \nu$ denoting the outward normal derivative, is considered. The data $Y$ consists of $\Lambda_\gamma$ corrupted by additive Gaussian noise at noise level $\varepsilon>0$, and a statistical algorithm $\hat \gamma(Y)$ is constructed which is shown to recover $\gamma$ in supremum-norm loss at a statistical convergence rate of the order $\log(1/\varepsilon)^{-\delta}$ as $\varepsilon \to 0$. It is further shown that this convergence rate is optimal, up to the precise value of the exponent $\delta>0$, in an information theoretic sense. The estimator $\hat \gamma(Y)$ has a Bayesian interpretation in terms of the posterior mean of a suitable Gaussian process prior and can be computed by MCMC methods.


title: DsTau: Study of tau neutrino production with 400 GeV protons from the CERN-SPS

abstract: In the DsTau experiment at the CERN SPS, an independent and direct way to measure tau neutrino production following high energy proton interactions was proposed. As the main source of tau neutrinos is a decay of Ds mesons, produced in proton-nucleus interactions, the project aims at measuring a differential cross section of this reaction. The experimental method is based on a use of high resolution emulsion detectors for effective registration of events with short lived particle decays. Here we present the motivation of the study, details of the experimental technique, and the first results of the analysis of the data collected during test runs, which prove feasibility of the full scale study of the process in future.


title: Recovering Variable Names for Minified Code with Usage Contexts

abstract: In modern Web technology, JavaScript (JS) code plays an important role. To avoid the exposure of original source code, the variable names in JS code deployed in the wild are often replaced by short, meaningless names, thus making the code extremely difficult to manually understand and analysis. This paper presents JSNeat, an information retrieval (IR)-based approach to recover the variable names in minified JS code. JSNeat follows a data-driven approach to recover names by searching for them in a large corpus of open-source JS code. We use three types of contexts to match a variable in given minified code against the corpus including the context of properties and roles of the variable, the context of that variable and relations with other variables under recovery, and the context of the task of the function to which the variable contributes. We performed several empirical experiments to evaluate JSNeat on the dataset of more than 322K JS files with 1M functions, and 3.5M variables with 176K unique variable names. We found that JSNeat achieves a high accuracy of 69.1%, which is the relative improvements of 66.1% and 43% over two state-of-the-art approaches JSNice and JSNaughty, respectively. The time to recover for a file or for a variable with JSNeat is twice as fast as with JSNice and 4x as fast as with JNaughty, respectively.


title: Nektar++: enhancing the capability and application of high-fidelity spectral/$hp$ element methods

abstract: Nektar++ is an open-source framework that provides a flexible, high-performance and scalable platform for the development of solvers for partial differential equations using the high-order spectral/$hp$ element method. In particular, Nektar++ aims to overcome the complex implementation challenges that are often associated with high-order methods, thereby allowing them to be more readily used in a wide range of application areas. In this paper, we present the algorithmic, implementation and application developments associated with our Nektar++ version 5.0 release. We describe some of the key software and performance developments, including our strategies on parallel I/O, on in situ processing, the use of collective operations for exploiting current and emerging hardware, and interfaces to enable multi-solver coupling. Furthermore, we provide details on a newly developed Python interface that enables a more rapid introduction for new users unfamiliar with spectral/$hp$ element methods, C++ and/or Nektar++. This release also incorporates a number of numerical method developments - in particular: the method of moving frames, which provides an additional approach for the simulation of equations on embedded curvilinear manifolds and domains; a means of handling spatially variable polynomial order; and a novel technique for quasi-3D simulations to permit spatially-varying perturbations to the geometry in the homogeneous direction. Finally, we demonstrate the new application-level features provided in this release, namely: a facility for generating high-order curvilinear meshes called NekMesh; a novel new AcousticSolver for aeroacoustic problems; our development of a 'thick' strip model for the modelling of fluid-structure interaction problems in the context of vortex-induced vibrations. We conclude by commenting some directions for future code development and expansion.


title: Brittle-Ductile Transitions in a Metallic Glass

abstract: Recent computational and laboratory experiments have shown that the brittle-ductile transitions in metallic glasses such as Vitreloy1 are strongly sensitive to the initial effective disorder (or "fictive") temperature. Glasses with lower effective temperatures are weak and brittle; those with higher effective temperatures are strong and ductile. The analysis of this phenomenon presented here examines the onset of fracture at the tip of a slightly rounded notch as predicted by the shear-transformation-zone (STZ) theory of spatially varying plastic deformation. The central ingredient of this analysis is an approximation for the dynamics of the plastic zone formed by stress concentration at the notch tip. This zone first shields the tip but then breaks down suddenly producing a discontinuous transition between brittle and ductile failure, in agreement with the numerical and experimental observations.


title: Finding a Generator Matrix of a Multidimensional Cyclic Code

abstract: We generalize Sepasdar's method for finding a generator matrix of two-dimensional cyclic codes to find an independent subset of a general multicyclic code, which may form a basis of the code as a vector subspace. A generator matrix can be then constructed from this basis.


title: Improving Low-Resource Cross-lingual Document Retrieval by Reranking with Deep Bilingual Representations

abstract: In this paper, we propose to boost low-resource cross-lingual document retrieval performance with deep bilingual query-document representations. We match queries and documents in both source and target languages with four components, each of which is implemented as a term interaction-based deep neural network with cross-lingual word embeddings as input. By including query likelihood scores as extra features, our model effectively learns to rerank the retrieved documents by using a small number of relevance labels for low-resource language pairs. Due to the shared cross-lingual word embedding space, the model can also be directly applied to another language pair without any training label. Experimental results on the MATERIAL dataset show that our model outperforms the competitive translation-based baselines on English-Swahili, English-Tagalog, and English-Somali cross-lingual information retrieval tasks.


title: The late-time afterglow evolution of long gamma-ray bursts GRB 160625B and GRB 160509A

abstract: We present post-jet-break \textit{HST}, VLA and \textit{Chandra} observations of the afterglow of the long $\gamma$-ray bursts GRB 160625B (between 69 and 209 days) and GRB 160509A (between 35 and 80 days). We calculate the post-jet-break decline rates of the light curves, and find the afterglow of GRB 160625B inconsistent with a simple $t^{-3/4}$ steepening over the break, expected from the geometric effect of the jet edge entering our line of sight. However, the favored optical post-break decline ($f_{\nu} \propto t^{-1.96 \pm 0.07}$) is also inconsistent with the $f_{\nu} \propto t^{-p}$ decline (where $p \approx 2.3$ from the pre-break light curve), which is expected from exponential lateral expansion of the jet; perhaps suggesting lateral expansion that only affects a fraction of the jet. The post-break decline of GRB 160509A is consistent with both the $t^{-3/4}$ steepening and with $f_{\nu} \propto t^{-p}$. We also use {\sc boxfit} to fit afterglow models to both light curves and find both to be energetically consistent with a millisecond magnetar central engine, although the magnetar parameters need to be extreme (i.e. $E \sim 3 \times 10^{52}$ erg). Finally, the late-time radio light curves of both afterglows are not reproduced well by {\sc boxfit} and are inconsistent with predictions from the standard jet model; instead both are well represented by a single power law decline (roughly $f_{\nu} \propto t^{-1}$) with no breaks. This requires a highly chromatic jet break ($t_{j,\mathrm{radio}} > 10 \times t_{j,\mathrm{optical}}$) and possibly a two-component jet for both bursts.


title: Asymptotic property C of the countable direct sum of uniformly discrete $0$-hyperbolic spaces

abstract: We define the direct sum of a countable family of pointed metric spaces in a way resembling the direct sum of groups. Then we prove that if a family consists of $0$-hyperbolic (in the sense of Gromov) and $D$-discrete spaces, then its direct sum has asymptotic property C. The main example is a countable direct sum of free groups of (possibly varying) finite rank. This is a generalization of T. Yamauchi's result concernig the countable direct sum of the integers.


title: Neurogeometry of perception: isotropic and anisotropic aspects

abstract: In this paper we first recall the definition of geometical model of the visual cortex, focusing in particular on the geometrical properties of horizontal cortical connectivity. Then we recognize that histograms of edges - co-occurrences are not isotropic distributed, and are strongly biased in horizontal and vertical directions of the stimulus. Finally we introduce a new model of non isotropic cortical connectivity modeled on the histogram of edges - co-occurrences. Using this kernel we are able to justify oblique phenomena comparable with experimental findings.


title: Making Asynchronous Stochastic Gradient Descent Work for Transformers

abstract: Asynchronous stochastic gradient descent (SGD) is attractive from a speed perspective because workers do not wait for synchronization. However, the Transformer model converges poorly with asynchronous SGD, resulting in substantially lower quality compared to synchronous SGD. To investigate why this is the case, we isolate differences between asynchronous and synchronous methods to investigate batch size and staleness effects. We find that summing several asynchronous updates, rather than applying them immediately, restores convergence behavior. With this hybrid method, Transformer training for neural machine translation task reaches a near-convergence level 1.36x faster in single-node multi-GPU training with no impact on model quality.


title: This Email Could Save Your Life: Introducing the Task of Email Subject Line Generation

abstract: Given the overwhelming number of emails, an effective subject line becomes essential to better inform the recipient of the email's content. In this paper, we propose and study the task of email subject line generation: automatically generating an email subject line from the email body. We create the first dataset for this task and find that email subject line generation favor extremely abstractive summary which differentiates it from news headline generation or news single document summarization. We then develop a novel deep learning method and compare it to several baselines as well as recent state-of-the-art text summarization systems. We also investigate the efficacy of several automatic metrics based on correlations with human judgments and propose a new automatic evaluation metric. Our system outperforms competitive baselines given both automatic and human evaluations. To our knowledge, this is the first work to tackle the problem of effective email subject line generation.


title: Self-organisation of tip functionalised elongated colloidal particles

abstract: Weakly attractive interactions between the tips of rod-like colloidal particles affect their liquid-crystal phase behaviour due to a subtle interplay between enthalpy and entropy. Here, we employ molecular dynamics simulations on semi-flexible, repulsive bead-spring chains of which one of the two end beads attract each other. We calculate the phase diagram as a function of both the volume fraction of the chains and the strength of the attractive potential. We identify a large number of phases that include isotropic, nematic, smectic A, smectic B and crystalline states. For tip attraction energies lower than the thermal energy, our results are qualitatively consistent with experimental findings: we find that an increase of the attraction strength shifts the nematic to smectic A phase transition to lower volume fractions, with only minor effect on the stability of the other phases. For sufficiently strong tip attraction, the nematic phase disappears completely, in addition leading to the destabilisation of the isotropic phase. In order to better understand the underlying physics of these phenomena, we also investigate the clustering of the particles at their attractive tips and the effective molecular field experienced by the particles in the smectic A phase. Based on these results, we argue that the clustering of the tips only affects the phase stability if lamellar structures (``micelles'') are formed. We find that an increase of the attraction strength increases the degree of order in the layered phases.Interestingly, we also find evidence for the existence of an anti-ferroelectric smectic A phase transition induced by the interaction between the tips. A simple Maier-Saupe-McMillan model confirms our findings.


title: ML-LOO: Detecting Adversarial Examples with Feature Attribution

abstract: Deep neural networks obtain state-of-the-art performance on a series of tasks. However, they are easily fooled by adding a small adversarial perturbation to input. The perturbation is often human imperceptible on image data. We observe a significant difference in feature attributions of adversarially crafted examples from those of original ones. Based on this observation, we introduce a new framework to detect adversarial examples through thresholding a scale estimate of feature attribution scores. Furthermore, we extend our method to include multi-layer feature attributions in order to tackle the attacks with mixed confidence levels. Through vast experiments, our method achieves superior performances in distinguishing adversarial examples from popular attack methods on a variety of real data sets among state-of-the-art detection methods. In particular, our method is able to detect adversarial examples of mixed confidence levels, and transfer between different attacking methods.


title: Analytical studies on the hoop conjecture in charged curved spacetimes

abstract: Recently, with numerical methods, Hod clarified the validity of Thorne hoop conjecture for spatially regular static charged fluid spheres, which were considered as counterexamples against the hoop conjecture. In this work, we provide an analytical proof on Thorne hoop conjecture in the spatially regular static charged fluid sphere spacetimes.


title: Positroid varieties and cluster algebras

abstract: We show that the coordinate ring of an open positroid variety coincides with the cluster algebra associated to a Postnikov diagram. This confirms conjectures of Postnikov, Muller--Speyer, and Leclerc, and generalizes results of Scott and Serhiyenko--Sherman-Bennett--Williams.


title: Attending to Discriminative Certainty for Domain Adaptation

abstract: In this paper, we aim to solve for unsupervised domain adaptation of classifiers where we have access to label information for the source domain while these are not available for a target domain. While various methods have been proposed for solving these including adversarial discriminator based methods, most approaches have focused on the entire image based domain adaptation. In an image, there would be regions that can be adapted better, for instance, the foreground object may be similar in nature. To obtain such regions, we propose methods that consider the probabilistic certainty estimate of various regions and specify focus on these during classification for adaptation. We observe that just by incorporating the probabilistic certainty of the discriminator while training the classifier, we are able to obtain state of the art results on various datasets as compared against all the recent methods. We provide a thorough empirical analysis of the method by providing ablation analysis, statistical significance test, and visualization of the attention maps and t-SNE embeddings. These evaluations convincingly demonstrate the effectiveness of the proposed approach.


title: Logarithmic entanglement growth in two-dimensional disordered fermionic systems

abstract: We investigate the growth of the entanglement entropy $S_{\textrm{ent}}$ following global quenches in two-dimensional free fermion models with potential and bond disorder. For the potential disorder case we show that an intermediate weak localization regime exists in which $S_{\textrm{ent}}(t)$ grows logarithmically in time $t$ before Anderson localization sets in. For the case of binary bond disorder near the percolation transition we find additive logarithmic corrections to area and volume laws as well as a scaling at long times which is consistent with an infinite randomness fixed point.


title: Convolutional Bipartite Attractor Networks

abstract: In human perception and cognition, a fundamental operation that brains perform is interpretation: constructing coherent neural states from noisy, incomplete, and intrinsically ambiguous evidence. The problem of interpretation is well matched to an early and often overlooked architecture, the attractor network---a recurrent neural net that performs constraint satisfaction, imputation of missing features, and clean up of noisy data via energy minimization dynamics. We revisit attractor nets in light of modern deep learning methods and propose a convolutional bipartite architecture with a novel training loss, activation function, and connectivity constraints. We tackle larger problems than have been previously explored with attractor nets and demonstrate their potential for image completion and super-resolution. We argue that this architecture is better motivated than ever-deeper feedforward models and is a viable alternative to more costly sampling-based generative methods on a range of supervised and unsupervised tasks.


title: Local convergence analysis of the Gauss-Newton-Kurchatov method

abstract: We present a local convergence analysis of the Gauss-Newton-Kurchatov method for solving nonlinear least squares problems with a decomposition of the operator. The method uses the sum of the derivative of the differentiable part of the operator and the divided difference of the nondifferentiable part instead of computing the full Jacobian. A theorem, which establishes the conditions of convergence, radius and the convergence order of the proposed method, is proved (Shakhno 2017). However, the radius of convergence is small in general limiting the choice of initial points. Using tighter estimates on the distances, under weaker hypotheses (Argyros et al. 2013), we provide an analysis of the Gauss-Newton-Kurchatov method with the following advantages over the corresponding results (Shakhno 2017): extended convergence region; finer error distances, and an at least as precise information on the location of the solution. The numerical examples illustrate the theoretical results.


title: Forward and Backward Knowledge Transfer for Sentiment Classification

abstract: This paper studies the problem of learning a sequence of sentiment classification tasks. The learned knowledge from each task is retained and used to help future or subsequent task learning. This learning paradigm is called Lifelong Learning (LL). However, existing LL methods either only transfer knowledge forward to help future learning and do not go back to improve the model of a previous task or require the training data of the previous task to retrain its model to exploit backward/reverse knowledge transfer. This paper studies reverse knowledge transfer of LL in the context of naive Bayesian (NB) classification. It aims to improve the model of a previous task by leveraging future knowledge without retraining using its training data. This is done by exploiting a key characteristic of the generative model of NB. That is, it is possible to improve the NB classifier for a task by improving its model parameters directly by using the retained knowledge from other tasks. Experimental results show that the proposed method markedly outperforms existing LL baselines.


title: Deep learning calibration of option pricing models: some pitfalls and solutions

abstract: Recent progress in the field of artificial intelligence, machine learning and also in computer industry resulted in the ongoing boom of using these techniques as applied to solving complex tasks in both science and industry. Same is, of course, true for the financial industry and mathematical finance. In this paper we consider a classical problem of mathematical finance - calibration of option pricing models to market data, as it was recently drawn some attention of the financial society in the context of deep learning and artificial neural networks. We highlight some pitfalls in the existing approaches and propose resolutions that improve both performance and accuracy of calibration. We also address a problem of no-arbitrage pricing when using a trained neural net, that is currently ignored in the literature.


title: Sentence Centrality Revisited for Unsupervised Summarization

abstract: Single document summarization has enjoyed renewed interests in recent years thanks to the popularity of neural network models and the availability of large-scale datasets. In this paper we develop an unsupervised approach arguing that it is unrealistic to expect large-scale and high-quality training data to be available or created for different types of summaries, domains, or languages. We revisit a popular graph-based ranking algorithm and modify how node (aka sentence) centrality is computed in two ways: (a)~we employ BERT, a state-of-the-art neural representation learning model to better capture sentential meaning and (b)~we build graphs with directed edges arguing that the contribution of any two nodes to their respective centrality is influenced by their relative position in a document. Experimental results on three news summarization datasets representative of different languages and writing styles show that our approach outperforms strong baselines by a wide margin.


title: Outlier Exposure with Confidence Control for Out-of-Distribution Detection

abstract: Deep neural networks have achieved great success in classification tasks during the last years. However, one major problem to the path towards artificial intelligence is the inability of neural networks to accurately detect samples from novel class distributions and therefore, most of the existent classification algorithms assume that all classes are known prior to the training stage. In this work, we propose a methodology for training a neural network that allows it to efficiently detect out-of-distribution (OOD) examples without compromising much of its classification accuracy on the test examples from known classes. We propose a novel loss function that gives rise to a novel method, Outlier Exposure with Confidence Control (OECC), which achieves superior results in OOD detection with OE both on image and text classification tasks without requiring access to OOD samples. Additionally, we experimentally show that the combination of OECC with state-of-the-art post-training OOD detection methods, like the Mahalanobis Detector (MD) and the Gramian Matrices (GM) methods, further improves their performance in the OOD detection task, demonstrating the potential of combining training and post-training methods for OOD detection.


title: Mastery Learning-Like Teaching with Achievements

abstract: This paper describes the design of a second-year, 20 ECTS credit course on imperative and object-oriented programming. The key design rhetoric is encouraging students to assume responsibility for their own learning, and, to this end, elements from mastery learning and other teaching strategies are used in concert to construct an achievement-based system where students are put in charge of how and when they are examined. In addition to describing the elements of the course design, the paper reports on experiences from teaching in this format, and how the format has evolved over time.


title: Identifying optical turbulence profiles for realistic tomographic error in adaptive optics

abstract: For extremely large telescopes, adaptive optics will be required to correct the Earth's turbulent atmosphere. The performance of tomographic adaptive optics is strongly dependent on the vertical distribution (profile) of this turbulence. An important way in which this manifests is the tomographic error, arising from imperfect measurement and reconstruction of the turbulent phase at altitude. Conventionally, a small number of reference profiles are used to obtain this error in simulation however these profiles are not constructed to be representative in terms of tomographic error. It is therefore unknown whether these simulations are providing realistic performance estimates. Here, we employ analytical adaptive optics simulation that drastically reduces computation times to compute tomographic error for 10 691 measurements of the turbulence profile gathered by the Stereo-SCIDAR instrument at ESO Paranal. We assess for the first time the impact of the profile on tomographic error in a statistical manner. We find, in agreement with previous work, that the tomographic error is most directly linked with the distribution of turbulence into discrete, stratified layers. Reference profiles are found to provide mostly higher tomographic error than expected, which we attribute to the fact that these profiles are primarily composed of averages of many measurements resulting in unrealistic, continuous distributions of turbulence. We propose that a representative profile should be defined with respect to a particular system, and that as such simulations with a large statistical sample of profiles must be an important step in the design process.


title: Group-theoretical origin of symmetries of hypergeometric class equations and functions

abstract: We show that properties of hypergeometric class equations and functions become transparent if we derive them from appropriate 2nd order differential equations with constant coefficients. More precisely, properties of the hypergeometric and Gegenbauer equation can be derived from generalized symmetries of the Laplace equation in 4, resp. 3 dimension. Properties of the confluent, resp. Hermite equation can be derived from generalized symmetries of the heat equation in 2, resp. 1 dimension. Finally, the theory of the ${}_1F_1$ equation (equivalent to the Bessel equation) follows from the symmetries of the Helmholtz equation in 2 dimensions. All these symmetries become very simple when viewed on the level of the 6- or 5-dimensional ambient space. Crucial role is played by the Lie algebra of generalized symmetries of these 2nd order PDE's, its Cartan algebra, the set of roots and the Weyl group. Standard hypergeometric class functions are special solutions of these PDE's diagonalizing the Cartan algebra. Recurrence relations of these functions correspond to the roots. Their discrete symmetries correspond to the elements of the Weyl group.


title: Adaptive Two-stage Stochastic Programming with an Application to Capacity Expansion Planning

abstract: Multi-stage stochastic programming is a well-established framework for sequential decision making under uncertainty by seeking policies that are fully adapted to the uncertainty. Often such flexible policies are not desirable, and the decision maker may need to commit to a set of actions for a number of planning periods. Two-stage stochastic programming might be better suited to such settings, where the decisions for all periods are made here-and-now and do not adapt to the uncertainty realized. In this paper, we propose a novel alternative approach, where the stages are not predetermined but part of the optimization problem. Each component of the decision policy has an associated revision point, a period prior to which the decision is predetermined and after which it is revised to adjust to the uncertainty realized thus far. We motivate this setting using the multi-period newsvendor problem by deriving an optimal adaptive policy. We label the proposed approach as adaptive two-stage stochastic programming and provide a generic mixed-integer programming formulation for finite stochastic processes. We show that adaptive two-stage stochastic programming is NP-hard in general. Next, we derive bounds on the value of adaptive two-stage programming in comparison to the two-stage and multi-stage approaches for a specific problem structure inspired by the capacity expansion planning problem. Since directly solving the mixed-integer linear program associated with the adaptive two-stage approach might be very costly for large instances, we propose several heuristic solution algorithms based on the bound analysis. We provide approximation guarantees for these heuristics. Finally, we present an extensive computational study on an electricity generation capacity expansion planning problem and demonstrate the computational and practical impacts of the proposed approach from various perspectives.


title: Revealing the system-bath coupling via Landau-Zener-St\"uckelberg interferometry in superconducting qubits

abstract: In this work we propose a way to unveil the type of environmental noise in strongly driven superconducting flux qubits through the analysis of the Landau-Zener-St\"uckelberg (LZS) interferometry. We study both the two-level and the multilevel dynamics of the flux qubit driven by a dc+ac magnetic field. We found that the LZS interference patterns exhibit well defined multiphoton resonances whose shape strongly depend on the time scale and the type of coupling to a quantum bath. For the case of transverse system-bath coupling, the n-photon resonances are narrow and nearly symmetric with respect to the dc magnetic field for almost all time scales, whilst in the case of longitudinal coupling they exhibit a change from a wide symmetric to an antisymmetric shape for times of the order of the relaxation time. We find this dynamic behavior relevant for the interpretation of several LZS interferometry experiments in which the stationary regime is not completely reached.


title: Higher spin mapping class groups and strata of Abelian differentials over Teichm{\"u}ller space

abstract: For $g \ge 5$, we give a complete classification of the connected components of strata of abelian differentials over Teichm\"uller space, establishing an analogue of Kontsevich and Zorich's classification of their components over moduli space. Building off of work of the first author (arXiv:1901.05482), we find that the non-hyperelliptic components are classified by an invariant known as an $r$-spin structure. This is accomplished by computing a certain monodromy group valued in the mapping class group. To do this, we determine explicit finite generating sets for all $r$-spin stabilizer subgroups of the mapping class group, completing a project begun by the second author (arXiv:1710.08042). Some corollaries in flat geometry and toric geometry are obtained from these results.


title: DiCENet: Dimension-wise Convolutions for Efficient Networks

abstract: We introduce a novel and generic convolutional unit, DiCE unit, that is built using dimension-wise convolutions and dimension-wise fusion. The dimension-wise convolutions apply light-weight convolutional filtering across each dimension of the input tensor while dimension-wise fusion efficiently combines these dimension-wise representations; allowing the DiCE unit to efficiently encode spatial and channel-wise information contained in the input tensor. The DiCE unit is simple and can be seamlessly integrated with any architecture to improve its efficiency and performance. Compared to depth-wise separable convolutions, the DiCE unit shows significant improvements across different architectures. When DiCE units are stacked to build the DiCENet model, we observe significant improvements over state-of-the-art models across various computer vision tasks including image classification, object detection, and semantic segmentation. On the ImageNet dataset, the DiCENet delivers 2-4% higher accuracy than state-of-the-art manually designed models (e.g., MobileNetv2 and ShuffleNetv2). Also, DiCENet generalizes better to tasks (e.g., object detection) that are often used in resource-constrained devices in comparison to state-of-the-art separable convolution-based efficient networks, including neural search-based methods (e.g., MobileNetv3 and MixNet. Our source code in PyTorch is open-source and is available at https://github.com/sacmehta/EdgeNets/


title: How to quantify a dynamical quantum resource

abstract: We show that the generalization of the relative entropy of a resource from states to channels is not unique, and there are at least six such generalizations. We then show that two of these generalizations are asymptotically continuous, satisfy a version of the asymptotic equipartition property, and their regularizations appear in the power exponent of channel versions of the quantum Stein's Lemma. To obtain our results, we use a new type of "smoothing" that can be applied to functions of channels (with no state analog). We call it "liberal smoothing" as it allows for more spread in the optimization. Along the way, we show that the diamond norm can be expressed as a D_max distance to the set of quantum channels, and prove a variety of properties of all six generalizations of the relative entropy of a resource.


title: Maximum Weighted Loss Discrepancy

abstract: Though machine learning algorithms excel at minimizing the average loss over a population, this might lead to large discrepancies between the losses across groups within the population. To capture this inequality, we introduce and study a notion we call maximum weighted loss discrepancy (MWLD), the maximum (weighted) difference between the loss of a group and the loss of the population. We relate MWLD to group fairness notions and robustness to demographic shifts. We then show MWLD satisfies the following three properties: 1) It is statistically impossible to estimate MWLD when all groups have equal weights. 2) For a particular family of weighting functions, we can estimate MWLD efficiently. 3) MWLD is related to loss variance, a quantity that arises in generalization bounds. We estimate MWLD with different weighting functions on four common datasets from the fairness literature. We finally show that loss variance regularization can halve the loss variance of a classifier and hence reduce MWLD without suffering a significant drop in accuracy.


title: Generation and Characterization of Tailored MIR Waveforms for Steering Molecular Dynamics

abstract: The dream of physico-chemists to control molecular reactions with light beyond electronic excitations pushes the development of laser pulse shaping capabilities in the mid-infrared (MIR) spectral range. Here, we present a compact optical parametric amplifier platform for the generation and shaping of MIR laser pulses in the wavelength range between $8\,\mu$m and $15\,\mu$m. Opportunities for judiciously tailoring the electromagnetic waveform are investigated, demonstrating light field control with a spectral resolution of 60 GHz at a total spectral bandwidth of 5 THz. In experiments focusing on spectral amplitude manipulation these parameters result in a time window of 1.8 ps available for shaping the temporal pulse envelope and a phase modulation resolution of 100 mrad for several picosecond delays.


title: Domain Adaptive Dialog Generation via Meta Learning

abstract: Domain adaptation is an essential task in dialog system building because there are so many new dialog tasks created for different needs every day. Collecting and annotating training data for these new tasks is costly since it involves real user interactions. We propose a domain adaptive dialog generation method based on meta-learning (DAML). DAML is an end-to-end trainable dialog system model that learns from multiple rich-resource tasks and then adapts to new domains with minimal training samples. We train a dialog system model using multiple rich-resource single-domain dialog data by applying the model-agnostic meta-learning algorithm to dialog domain. The model is capable of learning a competitive dialog system on a new domain with only a few training examples in an efficient manner. The two-step gradient updates in DAML enable the model to learn general features across multiple tasks. We evaluate our method on a simulated dialog dataset and achieve state-of-the-art performance, which is generalizable to new tasks.


title: Asymptotic approximations of the continuous Hahn polynomials and their zeros

abstract: Asymptotic approximations for the continuous Hahn polynomials and their zeros as the degree grows to infinity are established via their three-term recurrence relation. The methods are based on the uniform asymptotic expansions for difference equations developed by Wang and Wong (\textit{Numer. Math.}, 2003) and the matching technique in the complex plane developed by Wang (\textit{J. Approx. Theory}, 2014).


title: Warm gas in protostellar outflows. II. EHV jet and outflows from OMC-2/3

abstract: OMC-2/3 is one of the nearest embedded cluster-forming region that includes intermediate-mass protostars at early stages of evolution. A previous CO (3--2) mapping survey towards this region revealed outflow activity related to sources at different evolutionary phases. The present work aims to study the warm gas in the high-velocity emission from several outflows found in CO (3--2) emission by previous observations, determine their physical conditions, and make comparison with previous results in low-mass star-forming regions. We use the CHAMP+ heterodyne array on the APEX telescope to map the CO (6--5) and CO (7--6) emission in the OMC-2 FIR 6 and OMC-3 MMS 1-6 regions, and to observe $^{13}$CO (6--5) at selected positions. We analyze these data together with previous CO (3--2) observations. In addition, we mapped the SiO (5--4) emission in OMC-2 FIR 6. The CO (6--5) emission was detected in most of the outflow lobes in the mapped regions, while the CO (7--6) was found mostly from the OMC-3 outflows. In the OMC-3 MMS 5 outflow, a previously undetected extremely high velocity gas was found in CO (6--5). This extremely high velocity emission arises from the regions close to the central object MMS 5. Radiative transfer models revealed that the high-velocity gas from MMS 5 outflow consists of gas with $n_{\rm H_2}=$10$^4$--10$^{5}$ cm$^{-3}$ and $T>$ 200 K, similar to what is observed in young Class 0 low-mass protostars. For the other outflows, values of $n_{\rm H_2}>$10$^{4}$ cm$^{-3}$ were found. The physical conditions and kinematic properties of the young intermediate-mass outflows presented here are similar to those found in outflows from Class 0 low-mass objects. Due to their excitation requirements, mid$-J$ CO lines are good tracers of extremely high velocity gas in young outflows likely related to jets.


title: Inductive Logic Programming via Differentiable Deep Neural Logic Networks

abstract: We propose a novel paradigm for solving Inductive Logic Programming (ILP) problems via deep recurrent neural networks. This proposed ILP solver is designed based on differentiable implementation of the deduction via forward chaining. In contrast to the majority of past methods, instead of searching through the space of possible first-order logic rules by using some restrictive rule templates, we directly learn the symbolic logical predicate rules by introducing a novel differentiable Neural Logic (dNL) network. The proposed dNL network is able to learn and represent Boolean functions efficiently and in an explicit manner. We show that the proposed dNL-ILP solver supports desirable features such as recursion and predicate invention. Further, we investigate the performance of the proposed ILP solver in classification tasks involving benchmark relational datasets. In particular, we show that our proposed method outperforms the state of the art ILP solvers in classification tasks for Mutagenesis, Cora and IMDB datasets.


title: PizzaBox: Studying Internet Connected Physical Object Manipulation based Food Ordering

abstract: This paper presents the designing and testing of PizzaBox, a 3D printed, interactive food ordering system that aims to differ from conventional food ordering systems and provide an entertaining and unique experience when ordering a pizza by incorporating underlying technologies that support ubiquitous computing. The PizzaBox has gone through both low and medium fidelity testing while working collaboratively with participants to co-design and refine a product that is approachable to all age groups while maintaining a simple process for ordering food from start to finish. Final testing was conducted at an independent pizzeria where interviews with participants lead us to develop four discussion themes 1) usability and end user engagement, 2) towards connected real-time products and services, 3) healthy eating, 4) evolution of food ordering systems. Our interviews show that in general, PizzaBox would have a greater appeal to a younger audience by providing a fantasy of helping in the creation and baking of the pizza but also has a novelty value that all ages would enjoy. We investigate the effect that the PizzaBox has in encouraging new healthy habits or promoting a healthier lifestyle as well as how we can improve PizzaBox to better encourage these lifestyle changes.


title: Pattern-Affinitive Propagation across Depth, Surface Normal and Semantic Segmentation

abstract: In this paper, we propose a novel Pattern-Affinitive Propagation (PAP) framework to jointly predict depth, surface normal and semantic segmentation. The motivation behind it comes from the statistic observation that pattern-affinitive pairs recur much frequently across different tasks as well as within a task. Thus, we can conduct two types of propagations, cross-task propagation and task-specific propagation, to adaptively diffuse those similar patterns. The former integrates cross-task affinity patterns to adapt to each task therein through the calculation on non-local relationships. Next the latter performs an iterative diffusion in the feature space so that the cross-task affinity patterns can be widely-spread within the task. Accordingly, the learning of each task can be regularized and boosted by the complementary task-level affinities. Extensive experiments demonstrate the effectiveness and the superiority of our method on the joint three tasks. Meanwhile, we achieve the state-of-the-art or competitive results on the three related datasets, NYUD-v2, SUN-RGBD and KITTI.


title: Provably Robust Boosted Decision Stumps and Trees against Adversarial Attacks

abstract: The problem of adversarial robustness has been studied extensively for neural networks. However, for boosted decision trees and decision stumps there are almost no results, even though they are widely used in practice (e.g. XGBoost) due to their accuracy, interpretability, and efficiency. We show in this paper that for boosted decision stumps the \textit{exact} min-max robust loss and test error for an $l_\infty$-attack can be computed in $O(T\log T)$ time per input, where $T$ is the number of decision stumps and the optimal update step of the ensemble can be done in $O(n^2\,T\log T)$, where $n$ is the number of data points. For boosted trees we show how to efficiently calculate and optimize an upper bound on the robust loss, which leads to state-of-the-art robust test error for boosted trees on MNIST (12.5% for $\epsilon_\infty=0.3$), FMNIST (23.2% for $\epsilon_\infty=0.1$), and CIFAR-10 (74.7% for $\epsilon_\infty=8/255$). Moreover, the robust test error rates we achieve are competitive to the ones of provably robust convolutional networks. The code of all our experiments is available at http://github.com/max-andr/provably-robust-boosting


title: The runaway greenhouse radius inflation effect - An observational diagnostic to probe water on Earth-size planets and test the Habitable Zone concept

abstract: Planets similar to Earth - but slightly more irradiated - are expected to enter into a runaway greenhouse state, where all surface water rapidly evaporates, forming an optically thick H2O-dominated atmosphere. For Earth, this extreme climate transition is thought to occur for a ~6% increase only of the solar luminosity, though the exact limit at which the transition would occur is still a highly debated topic. In general, the runaway greenhouse is believed to be a fundamental process in the evolution of Earth-size, temperate planets. Using 1-D radiative-convective climate calculations accounting for thick, hot water vapour-dominated atmospheres, we evaluate the transit atmospheric thickness of a post-runaway greenhouse atmosphere, and find that it could possibly reach over a thousand kilometers (i.e., a few tens of % of Earth radius). This abrupt radius inflation - resulting from the runaway-greenhouse-induced transition - could be detected statistically by ongoing and upcoming space missions such as TESS, CHEOPS and PLATO (combined with precise radial velocity mass measurements with ground-based spectrographs such as ESPRESSO, CARMENES or SPIRou), or even in particular cases in multiplanetary systems such as TRAPPIST-1 (when masses and radii will be known with good enough precision). This result provides the community with an observational test of (1) the concept of runaway greenhouse, that defines the inner edge of the traditional Habitable Zone, and the exact limit of the runaway greenhouse transition. In particular, this could provide an empirical measurement of the irradiation at which Earth analogs transition from a temperate to a runaway greenhouse climate state. This astronomical measurement would make it possible to statistically estimate how close Earth is from the runaway greenhouse. (2) the presence (and statistical abundance) of water in temperate, Earth-size exoplanets.


title: Families of periodic orbits: closed 1-forms and global continuability

abstract: We investigate global continuation of periodic orbits of a differential equation depending on a parameter, assuming that a closed 1-form satisfying certain properties exists. We begin by extending the global continuation theory of Alexander, Alligood, Mallet-Paret, Yorke, and others to this situation, formulating a new notion of global continuability and a new global continuation theorem tailored for this situation. In particular, we show that the existence of such a 1-form ensures that local continuability of periodic orbits implies global continuability. Using our general theory, we then develop continuation-based techniques for proving the existence of periodic orbits. In contrast to previous work, a key feature of our results is that existence of periodic orbits can be proven (i) without finding trapping regions for the dynamics and (ii) without establishing a priori upper bounds on the periods of orbits. We illustrate the theory in examples inspired by the synthetic biology literature.


title: Thermodynamics of accelerated fermion gas and instability at Unruh temperature

abstract: We demonstrate that the energy density of an accelerated fermion gas evaluated within quantum statistical approach in Minkowski space is related to a quantum correction to the vacuum expectation value of the energy-momentum tensor in a space with non-trivial metric and conical singularity. The key element of the derivation is the existence of a novel class of polynomial Sommerfeld integrals. The emerging duality of quantum statistical and geometrical approaches is explicitly checked at temperatures $T$ above or equal to the Unruh temperature $T_U$. Treating the acceleration as an imaginary part of the chemical potential allows for an analytical continuation to temperatures $T<T_U$ . There is a discontinuity at $T=T_U$ manifested in the second derivative of the energy density with respect to the temperature. Moreover, energy density becomes negative at $T<T_U$, apparently indicating some instability. Obtained results might have phenomenological implications for the physics of heavy-ion collisions.


title: Area Law Saturation of Entropy Bound from Perturbative Unitarity in Renormalizable Theories

abstract: We study the quantum information storage capacity of solitons and baryons in renormalizable quantum field theories that do not include gravity. We observe that a 't Hooft-Polyakov magnetic monopole saturates the Bekenstein bound on information when the theory saturates the bound on perturbative unitarity. In this very limit the monopole entropy assumes the form of an area-law, strikingly similar to a black hole entropy in gravity. The phenomenon appears universal and takes place for other solitons and non-perturbative objects. We observe the same behaviour of entropy of a baryon in QCD with large number of colors. These observations indicate that the area-law form of the entropy bound extends beyond gravity and is deeply rooted in concepts of weak coupling and perturbative unitarity. One provoked idea is that confinement in QCD may be understood as a prevention mechanism against violation of Bekenstein entropy bound by colored states.


title: Cold, dense atomic ion clouds produced by cryogenic buffer gas cooling

abstract: We produce cold and dense clouds of atomic ions (Ca$^+$, Dy$^+$) by laser ablation of metal targets and cryogenic buffer gas cooling of the resulting plasma. We measure the temperature and density of the ion clouds using laser absorption spectroscopy. We find that large ion densities can be obtained at temperatures as low as 6 K. Our method opens up new ways to study cold neutral plasmas, and to perform survey spectroscopy of ions that cannot be laser-cooled easily.


title: Reducing the variance in online optimization by transporting past gradients

abstract: Most stochastic optimization methods use gradients once before discarding them. While variance reduction methods have shown that reusing past gradients can be beneficial when there is a finite number of datapoints, they do not easily extend to the online setting. One issue is the staleness due to using past gradients. We propose to correct this staleness using the idea of implicit gradient transport (IGT) which transforms gradients computed at previous iterates into gradients evaluated at the current iterate without using the Hessian explicitly. In addition to reducing the variance and bias of our updates over time, IGT can be used as a drop-in replacement for the gradient estimate in a number of well-understood methods such as heavy ball or Adam. We show experimentally that it achieves state-of-the-art results on a wide range of architectures and benchmarks. Additionally, the IGT gradient estimator yields the optimal asymptotic convergence rate for online stochastic optimization in the restricted setting where the Hessians of all component functions are equal.


title: Proposed Guidelines for the Responsible Use of Explainable Machine Learning

abstract: Explainable machine learning (ML) enables human learning from ML, human appeal of automated model decisions, regulatory compliance, and security audits of ML models. Explainable ML (i.e. explainable artificial intelligence or XAI) has been implemented in numerous open source and commercial packages and explainable ML is also an important, mandatory, or embedded aspect of commercial predictive modeling in industries like financial services. However, like many technologies, explainable ML can be misused, particularly as a faulty safeguard for harmful black-boxes, e.g. fairwashing or scaffolding, and for other malevolent purposes like stealing models and sensitive training data. To promote best-practice discussions for this already in-flight technology, this short text presents internal definitions and a few examples before covering the proposed guidelines. This text concludes with a seemingly natural argument for the use of interpretable models and explanatory, debugging, and disparate impact testing methods in life- or mission-critical ML systems.


title: The error term in the Sato-Tate theorem of Birch

abstract: We establish an error term in the Sato-Tate theorem of Birch. That is, for $p$ prime, $q=p^r$ we show that $\#\{ (a,b) \in \mathbb{F}_q^2 : \theta_{a,b}\in I\} =\mu_{ST}(I)q^2 + O_r(q^{7/4})$ for any interval $I\subseteq[0,\pi]$ where for an elliptic curve $E: y^2= x^3 +ax +b$, the quantity $\theta_{a,b}$ is defined by $2\sqrt{q}\cos\theta_{a,b} = q+1-E(\mathbb{F}_q)$ and $\mu_{ST}(I)$ denotes the Sato-Tate measure of the interval $I$.


title: Relaxation Processes in Long-Range Lattices

abstract: The relaxation to equilibrium of lattice systems with long-range interactions is investigated. The timescales involved depend polynomially on the system size, potentially leading to diverging equilibration times. A kinetic equation for long-range lattices is proposed, which explain these timescales as well as a threshold in the interaction range reported in [Phys. Rev. Lett. 110, 170603 (2013)]. Non-Markovian effects are shown to play an important role in the relaxation of systems of up to thousands of particles.


title: Linear Dimension Reduction Approximately Preserving a Function of the 1-Norm

abstract: For any finite point set in $D$-dimensional space equipped with the 1-norm, we present random linear embeddings to $k$-dimensional space, with a new metric, having the following properties. For any pair of points from the point set that are not too close, the distance between their images is a strictly concave increasing function of their original distance, up to multiplicative error. The target dimension $k$ need only be quadratic in the logarithm of the size of the point set to ensure the result holds with high probability. The linear embeddings are random matrices composed of standard Cauchy random variables, and the proofs rely on Chernoff bounds for sums of iid random variables. The new metric is translation invariant, but is not induced by a norm.


title: Sensitivity of the excitation functions of collective flow to relativistic scalar and vector meson interactions in the relativistic quantum molecular dynamics model RQMD.RMF

abstract: Relativistic quantum molecular dynamics with scalar and vector interactions based on the relativistic mean meson field theory, RQMD.RMF, is developed.It is implemented into the microscopic transport code JAM.The sensitivity of the directed and of the elliptic proton flow in high energy heavy-ion collisions on the stiffness of the RMF equation of state (EoS) is examined. These new calculations are compared to experimental data at mid-central Au + Au collisions in the beam energy range $2.5 < \sqrt{s_{NN}} < 20$ GeV. This new RQMD model with the relativistic mean field scalar and vector meson interactions does describe consistently, with one RMF parameter set,the beam energy dependence of both the directed flow and the elliptic flow,from SIS18 to AGS and RHIC BES-II energies, $\sqrt{s_{NN}}< 10$ GeV.There are different sensitivities of these different kinds of flow to the EoS: elliptic flow is most sensitive to the nuclear incompressibility constant,at the moderate beam energies $\sqrt{s_{NN}}<3$ GeV,whereas the directed flow is most sensitive to the effective baryon mass at saturation density at $3< \sqrt{s_{NN}}<5 $ GeV. Matters abruptly change in the next higher energy range,$\sqrt{s_{NN}}\gtrsim 10-20$ GeV:the directed flow data show a double change of sign of the slope of $v_1$, inverting twice in this energy range,in sudden contradiction to the RQMD.RMF calculation for a monotonous, stiff EoS. This surprising oscillating behavior,a double change of sign of the $v_1$ slope, points to the appearance of a hitherto unknown first-order phase transition in excited QCD matter at high baryon densities in mid-central Au + Au collisions.


title: Seeing Things from a Different Angle: Discovering Diverse Perspectives about Claims

abstract: One key consequence of the information revolution is a significant increase and a contamination of our information supply. The practice of fact checking won't suffice to eliminate the biases in text data we observe, as the degree of factuality alone does not determine whether biases exist in the spectrum of opinions visible to us. To better understand controversial issues, one needs to view them from a diverse yet comprehensive set of perspectives. For example, there are many ways to respond to a claim such as "animals should have lawful rights", and these responses form a spectrum of perspectives, each with a stance relative to this claim and, ideally, with evidence supporting it. Inherently, this is a natural language understanding task, and we propose to address it as such. Specifically, we propose the task of substantiated perspective discovery where, given a claim, a system is expected to discover a diverse set of well-corroborated perspectives that take a stance with respect to the claim. Each perspective should be substantiated by evidence paragraphs which summarize pertinent results and facts. We construct PERSPECTRUM, a dataset of claims, perspectives and evidence, making use of online debate websites to create the initial data collection, and augmenting it using search engines in order to expand and diversify our dataset. We use crowd-sourcing to filter out noise and ensure high-quality data. Our dataset contains 1k claims, accompanied with pools of 10k and 8k perspective sentences and evidence paragraphs, respectively. We provide a thorough analysis of the dataset to highlight key underlying language understanding challenges, and show that human baselines across multiple subtasks far outperform ma-chine baselines built upon state-of-the-art NLP techniques. This poses a challenge and opportunity for the NLP community to address.


title: Structure from Motion for Panorama-Style Videos

abstract: We present a novel Structure from Motion pipeline that is capable of reconstructing accurate camera poses for panorama-style video capture without prior camera intrinsic calibration. While panorama-style capture is common and convenient, previous reconstruction methods fail to obtain accurate reconstructions due to the rotation-dominant motion and small baseline between views. Our method is built on the assumption that the camera motion approximately corresponds to motion on a sphere, and we introduce three novel relative pose methods to estimate the fundamental matrix and camera distortion for spherical motion. These solvers are efficient and robust, and provide an excellent initialization for bundle adjustment. A soft prior on the camera poses is used to discourage large deviations from the spherical motion assumption when performing bundle adjustment, which allows cameras to remain properly constrained for optimization in the absence of well-triangulated 3D points. To validate the effectiveness of the proposed method we evaluate our approach on both synthetic and real-world data, and demonstrate that camera poses are accurate enough for multiview stereo.


title: Simultaneous retrodiction of multi-mode optomechanical systems using matched filters

abstract: Generation and manipulation of many-body entangled states is of considerable interest, for applications in quantum simulation or sensing, for example. Measurement and verification of the resulting many-body state presents a formidable challenge, however, which can be simplified by multiplexed readout using shared measurement resources. In this work, we analyze and demonstrate state retrodiction for a system of optomechanical oscillators coupled to a single-mode optical cavity. Coupling to the shared cavity field facilitates simultaneous optical measurement of the oscillators' transient dynamics at distinct frequencies. Optimal estimators for the oscillators' initial state can be defined as a set of linear matched filters, derived from a detailed model for the detected homodyne signal. We find that the optimal state estimate for optomechanical retrodiction is obtained from high-cooperativity measurements, reaching estimate sensitivity at the Standard Quantum Limit (SQL). Simultaneous estimation of the state of multiple oscillators places additional limits on the estimate precision, due to the diffusive noise each oscillator adds to the optomechanical signal. However, we show that the sensitivity of simultaneous multi-mode state retrodiction reaches the SQL for sufficiently well-resolved oscillators. Finally, an experimental demonstration of two-mode retrodiction is presented, which requires further accounting for technical fluctuations of the oscillator frequency.


title: Edge states of photon pairs in cavity arrays with spatially modulated nonlinearity

abstract: We study theoretically an extended Bose-Hubbard model with the spatially modulated interaction strength, describing a one-dimensional array of tunneling-coupled nonlinear cavities. It is demonstrated that the spatial modulation of the nonlinearity induces bound two-photon edge states. The formation of these edge states has been understood analytically in terms of nonlinear self-localization.


title: Circuitscape in Julia: High Performance Connectivity Modelling to Support Conservation Decisions

abstract: Connectivity across landscapes influences a wide range of conservation-relevant ecological processes, including species movements, gene flow, and the spread of wildfire, pests, and diseases. Recent improvements in remote sensing data suggest great potential to advance connectivity models, but computational constraints hinder these advances. To address this challenge, we upgraded the widely-used Circuitscape connectivity package to the high performance Julia programming language. Circuitscape.jl allows users to solve problems faster via improved parallel processing and solvers, and supports applications to larger problems (e.g., datasets with hundreds of millions of cells). We document speed improvements of up to 1800\%. We also demonstrate scaling of problem sizes up to 437 million grid cells. These improvements allow modelers to work with higher resolution data, larger landscapes and perform sensitivity analysis effortlessly. These improvements accelerate the pace of innovation, helping modelers address pressing challenges like species range shifts under climate change. Our collaboration between ecologists and computer scientists has led to the use of connectivity models to inform conservation decisions. Further, these next generation connectivity models will produce results faster, facilitating stronger engagement with decision-makers.


title: apricot: Submodular selection for data summarization in Python

abstract: We present apricot, an open source Python package for selecting representative subsets from large data sets using submodular optimization. The package implements an efficient greedy selection algorithm that offers strong theoretical guarantees on the quality of the selected set. Two submodular set functions are implemented in apricot: facility location, which is broadly applicable but requires memory quadratic in the number of examples in the data set, and a feature-based function that is less broadly applicable but can scale to millions of examples. Apricot is extremely efficient, using both algorithmic speedups such as the lazy greedy algorithm and code optimizers such as numba. We demonstrate the use of subset selection by training machine learning models to comparable accuracy using either the full data set or a representative subset thereof. This paper presents an explanation of submodular selection, an overview of the features in apricot, and an application to several data sets. The code and tutorial Jupyter notebooks are available at https://github.com/jmschrei/apricot


title: Dynamic Mode Decomposition and Sparse Measurements for Characterization and Monitoring of Power System Disturbances

abstract: We introduce the dynamics mode decomposition for monitoring wide-area power grid networks from sparse measurement data. The mathematical framework fuses data from multiple sensors based on multivariate statistics, providing accurate full state estimation from limited measurements and generating data-driven forecasts for the state of the system. Our proposed data-driven strategy, which is based on energy metrics, can be used for the analysis of major disturbances in the network. The approach is tested and validated using time domain simulations in the IEEE 118 bus system under various disturbance scenarios and under different sparse observations of the system. In addition to state reconstruction, the minimal number of sensors required for monitoring disturbances can be evaluated. Visualization techniques are developed in order to aid in the analysis and characterization of the system after disturbance.


title: Inorganic photovoltaic cells based on BiFeO3: spontaneous polarization, lattice matching, light polarization and their relationship to photovoltaic performance

abstract: Inorganic ferroelectric perovskite oxides are more stable than hybrid perovskites. However, their solar energy harvest efficiency is not so good. Here, by constructing a series of BiFeO3 based devices (solar cells), we investigated three factors that influence the photovoltaic performance, including spontaneous polarization, terminated ions species in the interface between BiFeO3 and the electrode, and polarized light irradiation. This work was carried out in the framework of density functional theory combined with non-equilibrium Green's function theory under built in electric field or finite bias. The results showed that 1. the photocurrent is larger only under a suitable electronic band gap rather than larger spontaneous polarization; 2. the photocurrent reaches the largest in Bi ions terminated interface than in the case of Fe ion or O ion with SrTiO3 electrode; 3. the photocurrent could be largely enhanced if the polarized direction of the monochromatic light is perpendicular to the spontaneous polarization direction. The results would deepen the understanding of some experimental results of BiFeO3 based solar cells.


title: On the Convergence of Time Splitting Methods for Quantum Dynamics in the Semiclassical Regime

abstract: By using the pseudo-metric introduced in [F. Golse, T. Paul: Archive for Rational Mech. Anal. 223 (2017) 57-94], which is an analogue of the Wasserstein distance of exponent $2$ between a quantum density operator and a classical (phase-space) density, we prove that the convergence of time splitting algorithms for the von Neumann equation of quantum dynamics is uniform in the Planck constant $\hbar$. We obtain explicit uniform in $\hbar$ error estimates for the first order Lie-Trotter, and the second order Strang splitting methods.


title: In Situ Cane Toad Recognition

abstract: Cane toads are invasive, toxic to native predators, compete with native insectivores, and have a devastating impact on Australian ecosystems, prompting the Australian government to list toads as a key threatening process under the Environment Protection and Biodiversity Conservation Act 1999. Mechanical cane toad traps could be made more native-fauna friendly if they could distinguish invasive cane toads from native species. Here we designed and trained a Convolution Neural Network (CNN) starting from the Xception CNN. The XToadGmp toad-recognition CNN we developed was trained end-to-end using heat-map Gaussian targets. After training, XToadGmp required minimum image pre/post-processing and when tested on 720x1280 shaped images, it achieved 97.1% classification accuracy on 1863 toad and 2892 not-toad test images, which were not used in training.


title: Four Things Everyone Should Know to Improve Batch Normalization

abstract: A key component of most neural network architectures is the use of normalization layers, such as Batch Normalization. Despite its common use and large utility in optimizing deep architectures, it has been challenging both to generically improve upon Batch Normalization and to understand the circumstances that lend themselves to other enhancements. In this paper, we identify four improvements to the generic form of Batch Normalization and the circumstances under which they work, yielding performance gains across all batch sizes while requiring no additional computation during training. These contributions include proposing a method for reasoning about the current example in inference normalization statistics, fixing a training vs. inference discrepancy; recognizing and validating the powerful regularization effect of Ghost Batch Normalization for small and medium batch sizes; examining the effect of weight decay regularization on the scaling and shifting parameters gamma and beta; and identifying a new normalization algorithm for very small batch sizes by combining the strengths of Batch and Group Normalization. We validate our results empirically on six datasets: CIFAR-100, SVHN, Caltech-256, Oxford Flowers-102, CUB-2011, and ImageNet.


title: Supercompact minus compact is super

abstract: According to a folklore characterization of supercompact spaces, a compact Hausdorff space is supercompact if and only if it has a binary closed $k$-network. This characterization suggests to call a topological space $super$ if it has a binary closed $k$-network $\mathcal N$. The binarity of $\mathcal N$ means that every linked subfamily of $\mathcal N$ is centered. Therefore, a Hausdorff space is supercompact if and only if it is super and compact. In this paper we prove that the class of super spaces contains all GO-spaces, all supercompact spaces, all metrizable spaces, and all collectionwise normal $\aleph$-spaces. Moreover, the class of super spaces is closed under taking Tychonoff products and discretely dense sets in Tychonoff products. The superness of metrizable spaces implies that each compact metrizable space is supercompact, which was first proved by Strok and Szyma\'nski (1975) and then reproved by Mills (1979), van Douwen (1981), and D{\c e}bski (1984).


title: Concentration inequalities in spaces of random configurations with positive Ricci curvatures

abstract: In this paper, we prove an Azuma-Hoeffding-type inequality in several classical models of random configurations, including the Erd\H{o}s-R\'enyi random graph models $G(n,p)$ and $G(n,M)$, the random $d$-out(in)-regular directed graphs, and the space of random permutations. The main idea is using Ollivier's work on the Ricci curvature of Markov chairs on metric spaces. Here we give a cleaner form of such concentration inequality in graphs. Namely, we show that for any Lipschitz function $f$ on any graph (equipped with an ergodic random walk and thus an invariant distribution $\nu$) with Ricci curvature at least $\kappa>0$, we have \[\nu \left( |f-E_{\nu}f| \geq t \right) \leq 2\exp\left( -\frac{t^2\kappa}{7} \right).\]


title: Nonequilibrium steady states of Bose-Einstein condensates with a local particle loss in double potential barriers

abstract: We investigate stability of non-equilibrium steady states of Bose-Einstein condensates with a local one-body loss in the presence of double potential barriers. We construct an exactly solvable mean-field model, in which the local loss and the potential barriers take the form of a delta function. Using the exact solutions of our model, we show that there are parameter regions in which two steady-state solutions are dynamically stable, i.e., the model exhibits bistability. We also find that unidirectional hysteresis phenomena appear when the local-loss rate is varied in some parameter region.


title: A Federated Authorization Framework for Distributed Personal Data and Digital Identity

abstract: The digital identity problem is a complex one in large part because it involves personal data, the algorithms which compute reputations on the data and the management of the identifiers that are linked to personal data. The reality of today is that personal data of an individual is distributed throughout the Internet, in both private and public institutions, and increasingly also on the user's devices. In order to empower individuals to have a say in who has access to their personal data and to enable individuals to make use of their data for their own purposes, a coherent and scalable access authorization architecture is required. Such an architecture must allow different data holders, data providers and user-content generators to respond to an individual's wishes with regards to consent in a federated fashion. This federation must allow an individual to easily manage access policies and provide consent as required by current and forthcoming data privacy regulations. This paper describes the User Managed Access (UMA) architecture and protocols that provide the foundation for scalable access authorization.


title: Toward Solving 2-TBSG Efficiently

abstract: 2-TBSG is a two-player game model which aims to find Nash equilibriums and is widely utilized in reinforced learning and AI. Inspired by the fact that the simplex method for solving the deterministic discounted Markov decision processes (MDPs) is strongly polynomial independent of the discounted factor, we are trying to answer an open problem whether there is a similar algorithm for 2-TBSG. We develop a simplex strategy iteration where one player updates its strategy with a simplex step while the other player finds an optimal counterstrategy in turn, and a modified simplex strategy iteration. Both of them belong to a class of geometrically converging algorithms. We establish the strongly polynomial property of these algorithms by considering a strategy combined from the current strategy and the equilibrium strategy. Moreover, we present a method to transform general 2-TBSGs into special 2-TBSGs where each state has exactly two actions.


title: Extreme Eigenvalue Distributions of Jacobi Ensembles: New Exact Representations, Asymptotics and Finite Size Corrections

abstract: Let $\mathbf{W}_1$ and $\mathbf{W}_2$ be independent $n\times n$ complex central Wishart matrices with $m_1$ and $m_2$ degrees of freedom respectively. This paper is concerned with the extreme eigenvalue distributions of double-Wishart matrices $(\mathbf{W}_1+\mathbf{W}_2)^{-1}\mathbf{W}_1$, which are analogous to those of F matrices ${\bf W}_1 {\bf W}_2^{-1}$ and those of the Jacobi unitary ensemble (JUE). Defining $\alpha_1=m_1-n$ and $\alpha_2=m_2-n$, we derive new exact distribution formulas in terms of $(\alpha_1+\alpha_2)$-dimensional matrix determinants, with elements involving derivatives of Legendre polynomials. This provides a convenient exact representation, while facilitating a direct large-$n$ analysis with $\alpha_1$ and $\alpha_2$ fixed (i.e., under the so-called "hard-edge" scaling limit); the analysis is based on new asymptotic properties of Legendre polynomials and their relation with Bessel functions that are here established. Specifically, we present limiting formulas for the smallest and largest eigenvalue distributions as $n \to \infty$ in terms of $\alpha_1$- and $\alpha_2$-dimensional determinants respectively, which agrees with expectations from known universality results involving the JUE and the Laguerre unitary ensemble (LUE). We also derive finite-$n$ corrections for the asymptotic extreme eigenvalue distributions under hard-edge scaling, giving new insights on universality by comparing with corresponding correction terms derived recently for the LUE. Our derivations are based on elementary algebraic manipulations, differing from existing results on double-Wishart and related models which often involve Fredholm determinants, Painlev\'e differential equations, or hypergeometric functions of matrix arguments.


title: Landau theory for smectic-A -- hexatic-B coexistence in smectic films

abstract: We explain theoretically peculiarities of the smectic A -- hexatic B equilibrium phase coexistence in a finite temperature range recently observed experimentally in free standing smectic films [I.A.Zaluzhnyy et al., Physical Review E, volume 98, 052703 (2018)]. We quantitatively describe this unexpected phenomenon within Landau phase transitions theory assuming that the film state is close to a tricritical point. We found that the surface hexatic order leads to diminishing the phase coexistence range as the film thickness decreases shrinking it at some minimal film thickness, of the order of the hexatic correlation length. We established universal laws for the temperature width of the phase coexistence in terms of the reduced variables. Our theory is in agreement with the existing experimental data.


title: Density of hyperbolicity of real Newton maps

abstract: In this paper, based on the known rigidity theorems of Newton maps ([DS], [RYZ]) and real polynomials ([KSS1], [CvS]), we prove the density of hyperbolicity in the family of real Newton maps of degree d>2 with all free critical points real.


title: Whither Programs as Specifications

abstract: Unifying theories distil common features of programming languages and design methods by means of algebraic operators and their laws. Several practical concerns --- e.g., improvement of a program, conformance of code with design, correctness with respect to specified requirements --- are subsumed by the beautiful notion that programs and designs are special forms of specification and their relationships are instances of logical implication between specifications. Mathematical development of this idea has been fruitful but limited to an impoverished notion of specification: trace properties. Some mathematically precise properties of programs, dubbed hyperproperties, refer to traces collectively. For example, confidentiality involves knowledge of possible traces. This article reports on both obvious and surprising results about lifting algebras of programming to hyperproperties, especially in connection with loops, and suggests directions for further research. The technical results are: a compositional semantics, at the hyper level, of imperative programs with loops, and proof that this semantics coincides with the direct image of a standard semantics, for subset closed hyperproperties.


title: On the Equilibrium Uniqueness in Cournot Competition with Demand Uncertainty

abstract: We revisit the linear Cournot model with uncertain demand that is studied in Lagerl\"of (2006)* and provide sufficient conditions for equilibrium uniqueness that complement the existing results. We show that if the distribution of the demand intercept has the decreasing mean residual demand (DMRD) or the increasing generalized failure rate (IGFR) property, then uniqueness of equilibrium is guaranteed. The DMRD condition implies log-concavity of the expected profits per unit of output without additional assumptions on the existence or the shape of the density of the demand intercept and, hence, answers in the affirmative the conjecture of Lagerl\"of (2006)* that such conditions may not be necessary. *Johan Lagerl\"of, Equilibrium uniqueness in a Cournot model with demand uncertainty. The B.E. Journal in Theoretical Economics, Vol. 6: Iss 1. (Topics), Article 19:1--6, 2006.


title: The Implicit Bias of AdaGrad on Separable Data

abstract: We study the implicit bias of AdaGrad on separable linear classification problems. We show that AdaGrad converges to a direction that can be characterized as the solution of a quadratic optimization problem with the same feasible set as the hard SVM problem. We also give a discussion about how different choices of the hyperparameters of AdaGrad might impact this direction. This provides a deeper understanding of why adaptive methods do not seem to have the generalization ability as good as gradient descent does in practice.


title: Cross-view Semantic Segmentation for Sensing Surroundings

abstract: Sensing surroundings plays a crucial role in human spatial perception, as it extracts the spatial configuration of objects as well as the free space from the observations. To facilitate the robot perception with such a surrounding sensing capability, we introduce a novel visual task called Cross-view Semantic Segmentation as well as a framework named View Parsing Network (VPN) to address it. In the cross-view semantic segmentation task, the agent is trained to parse the first-view observations into a top-down-view semantic map indicating the spatial location of all the objects at pixel-level. The main issue of this task is that we lack the real-world annotations of top-down-view data. To mitigate this, we train the VPN in 3D graphics environment and utilize the domain adaptation technique to transfer it to handle real-world data. We evaluate our VPN on both synthetic and real-world agents. The experimental results show that our model can effectively make use of the information from different views and multi-modalities to understanding spatial information. Our further experiment on a LoCoBot robot shows that our model enables the surrounding sensing capability from 2D image input. Code and demo videos can be found at \url{https://view-parsing-network.github.io}.


title: Joint Visual Grounding with Language Scene Graphs

abstract: Visual grounding is a task to ground referring expressions in images, e.g., localize "the white truck in front of the yellow one". To resolve this task fundamentally, the model should first find out the contextual objects (e.g., the "yellow" truck) and then exploit them to disambiguate the referent from other similar objects by using the attributes and relationships (e.g., "white", "yellow", "in front of"). However, due to the lack of annotations on contextual objects and their relationships, existing methods degenerate the above joint grounding process into a holistic association between the expression and regions, thus suffering from unsatisfactory performance and limited interpretability. In this paper, we alleviate the missing-annotation problem and enable the joint reasoning by leveraging the language scene graph which covers both labeled referent and unlabeled contexts (other objects, attributes, and relationships). Specifically, the language scene graph is a graphical representation where the nodes are objects with attributes and the edges are relationships. We construct a factor graph based on it and then perform marginalization over the graph, such that we can ground both referent and contexts on corresponding image regions to achieve the joint visual grounding (JVG). Experimental results demonstrate that the proposed approach is effective and interpretable, e.g., on three benchmarks, it outperforms the state-of-the-art methods while offers a complete grounding of all the objects mentioned in the referring expression.


title: A Top-Down Approach for the Multiple Exercises and Valuation of Employee Stock Options

abstract: We propose a new framework to value employee stock options (ESOs) that captures multiple exercises of different quantities over time. We also model the ESO holder's job termination risk and incorporate its impact on the payoffs of both vested and unvested ESOs. Numerical methods based on Fourier transform and finite differences are developed and implemented to solve the associated systems of PDEs. In addition, we introduce a new valuation method based on maturity randomization that yields analytic formulae for vested and unvested ESO costs. We examine the cost impact of job termination risk, exercise intensity, and various contractual features.


title: Adversarial Attack Generation Empowered by Min-Max Optimization

abstract: The worst-case training principle that minimizes the maximal adversarial loss, also known as adversarial training (AT), has shown to be a state-of-the-art approach for enhancing adversarial robustness. Nevertheless, min-max optimization beyond the purpose of AT has not been rigorously explored in the adversarial context. In this paper, we show how a general framework of min-max optimization over multiple domains can be leveraged to advance the design of different types of adversarial attacks. In particular, given a set of risk sources, minimizing the worst-case attack loss can be reformulated as a min-max problem by introducing domain weights that are maximized over the probability simplex of the domain set. We showcase this unified framework in three attack generation problems -- attacking model ensembles, devising universal perturbation under multiple inputs, and crafting attacks resilient to data transformations. Extensive experiments demonstrate that our approach leads to substantial attack improvement over the existing heuristic strategies as well as robustness improvement over state-of-the-art defense methods trained to be robust against multiple perturbation types. Furthermore, we find that the self-adjusted domain weights learned from our min-max framework can provide a holistic tool to explain the difficulty level of attack across domains. Code is available at https://github.com/wangjksjtu/minmax-adv.


title: A Low Rank Gaussian Process Prediction Model for Very Large Datasets

abstract: Spatial prediction requires expensive computation to invert the spatial covariance matrix it depends on and also has considerable storage needs. This work concentrates on computationally efficient algorithms for prediction using very large datasets. A recent prediction model for spatial data known as Fixed Rank Kriging is much faster than the kriging and can be easily implemented with less assumptions about the process. However, Fixed Rank Kriging requires the estimation of a matrix which must be positive definite and the original estimation procedure cannot guarantee this property. We present a result that shows when a matrix subtraction of a given form will give a positive definite matrix. Motivated by this result, we present an iterative Fixed Rank Kriging algorithm that ensures positive definiteness of the matrix required for prediction and show that under mild conditions the algorithm numerically converges. The modified Fixed Rank Kriging procedure is implemented to predict missing chlorophyll observations for very large regions of ocean color. Predictions are compared to those made by other well known methods of spatial prediction.


title: Extending comb-based spectral estimation to multiaxis quantum noise

abstract: We show how to achieve full spectral characterization of general multiaxis additive noise. Our pulsed spectral estimation technique is based on sequence repetition and frequency-comb sampling and is applicable even to models where a large qubit energy-splitting is present (as is typically the case for spin qubits in semiconductors, for example), as long as the noise is stationary and a second-order (Gaussian) approximation to the controlled reduced dynamics is viable. Our new result is crucial to extending the applicability of these protocols, now standard in dephasing-dominated platforms such as silicon-based qubits, to experimental platforms where both $T_1$ and $T_2$ processes are significant, such as superconducting qubits.


title: Energy extraction and particle acceleration around a rotating dyonic black hole in $N=2$, $U(1)^2$ gauged supergravity

abstract: In the present paper, we explore various gravitational aspects such as energy extraction (via the Penrose process and Superradiance), particle collisions around a $\mathcal{N}=2$, $U(1)^2$ dyonic rotating black hole (BH) in the gauged supergravity model. The impact of the rotation parameter ($a$) and the gauge coupling constant ($g$) on the behaviour of horizon and ergoregion of the BH is studied. It is of interest to note that, compared with the extremal Kerr BH, the gauge coupling constant, under certain constraints, can enhance the maximum efficiency of energy extraction by the Penrose process almost double. Under the same constraints, we can extract approximately 60.75\% of the initial mass energy from the BH which is noticeably higher in contrast to the extremal Kerr BH. The limit of energy extraction in terms of the local speeds of the fragments is also examined with the help of the Wald inequality. We identify an upper limit on the gauge coupling constant up to which the phenomenon of Superradiance is likely to occur. Finally, we computed the center-of-mass energy ($E_{CM}$) of two particles with the same rest masses moving in the equatorial plane of the BH. Our study also aims to sensitize $E_{CM}$ to the rotation parameter and the gauge coupling constant for extremal and nonextremal spacetime as well. Especially, for the extremal case, an infinitely large amount of $E_{CM}$ can be achieved closer to the horizon which allows the BH to serve as a more powerful Planck-energy-scale collider as compared to Kerr and any other generalized BHs in the Kerr family explored so far in general relativity. However, $E_{CM}$ for the nonextremal spacetime is shown to be finite and has an upper bound.