title: SoK: Lending Pools in Decentralized Finance

abstract: Lending pools are decentralized applications which allow mutually untrusted users to lend and borrow crypto-assets. These applications feature complex, highly parametric incentive mechanisms to equilibrate the loan market. This complexity makes the behaviour of lending pools difficult to understand and to predict: indeed, ineffective incentives and attacks could potentially lead to emergent unwanted behaviours. Reasoning about lending pools is made even harder by the lack of executable models of their behaviour: to precisely understand how users interact with lending pools, eventually one has to inspect their implementations, where the incentive mechanisms are intertwined with low-level implementation details. Further, the variety of existing implementations makes it difficult to distill the common aspects of lending pools. We systematize the existing knowledge about lending pools, leveraging a new formal model of interactions with users, which reflects the archetypal features of mainstream implementations. This enables us to prove some general properties of lending pools, such as the correct handling of funds, and to precisely describe vulnerabilities and attacks. We also discuss the role of lending pools in the broader context of decentralized finance.


title: Pain Assessment based on fNIRS using Bidirectional LSTMs

abstract: Assessing pain in patients unable to speak (also called non-verbal patients) is extremely complicated and often is done by clinical judgement. However, this method is not reliable since patients vital signs can fluctuate significantly due to other underlying medical conditions. No objective diagnosis test exists to date that can assist medical practitioners in the diagnosis of pain. In this study we propose the use of functional near-infrared spectroscopy (fNIRS) and deep learning for the assessment of human pain. The aim of this study is to explore the use deep learning to automatically learn features from fNIRS raw data to reduce the level of subjectivity and domain knowledge required in the design of hand-crafted features. Four deep learning models were evaluated, multilayer perceptron (MLP), forward and backward long short-term memory net-works (LSTM), and bidirectional LSTM. The results showed that the Bi-LSTM model achieved the highest accuracy (90.6%)and faster than the other three models. These results advance knowledge in pain assessment using neuroimaging as a method of diagnosis and represent a step closer to developing a physiologically based diagnosis of human pain that will benefit vulnerable populations who cannot self-report pain.


title: Universal properties of the Kardar-Parisi-Zhang equation with quenched columnar disorders

abstract: Inspired by the recent results on totally asymmetric simple exclusion processes on a periodic lattice with short-ranged quenched hopping rates [A. Haldar, A. Basu, Phys Rev Research 2, 043073 (2020)], we study the universal scaling properties of the Kardar-Parisi-Zhang (KPZ) equation with short-ranged quenched columnar disorder in general d-dimensions. We show that there are generic propagating modes in the system that have their origin in the quenched disorder and make the system anisotropic. We argue that the presence of the propagating modes actually make the effects of the quenched disorder irrelevant, making the universal long wavelength scaling property belong to the well-known KPZ universality class. On the other hand, when these waves vanish in a special limit of the model, new universality class emerges with dimension d = 4 as the lower critical dimension, above which the system is speculated to admit a disorder-induced roughening transition to a perturbatively inaccessible rough phase.


title: Deep Semi-Supervised Embedded Clustering (DSEC) for Stratification of Heart Failure Patients

abstract: Determining phenotypes of diseases can have considerable benefits for in-hospital patient care and to drug development. The structure of high dimensional data sets such as electronic health records are often represented through an embedding of the data, with clustering methods used to group data of similar structure. If subgroups are known to exist within data, supervised methods may be used to influence the clusters discovered. We propose to extend deep embedded clustering to a semi-supervised deep embedded clustering algorithm to stratify subgroups through known labels in the data. In this work we apply deep semi-supervised embedded clustering to determine data-driven patient subgroups of heart failure from the electronic health records of 4,487 heart failure and control patients. We find clinically relevant clusters from an embedded space derived from heterogeneous data. The proposed algorithm can potentially find new undiagnosed subgroups of patients that have different outcomes, and, therefore, lead to improved treatments.


title: Normal forms and Sternberg conjugation theorems for infinite dimensional coupled map lattices

abstract: In this paper we present local Sternberg conjugation theorems near attracting fixed points for lattice systems. The interactions are spatially decaying and are not restricted to finite distance. The conjugations obtained retain the same spatial decay. In the presence of resonances the conjugations are to a polynomial normal form that also has decaying properties.


title: Detecting Hateful Memes Using a Multimodal Deep Ensemble

abstract: While significant progress has been made using machine learning algorithms to detect hate speech, important technical challenges still remain to be solved in order to bring their performance closer to human accuracy. We investigate several of the most recent visual-linguistic Transformer architectures and propose improvements to increase their performance for this task. The proposed model outperforms the baselines by a large margin and ranks 5$^{th}$ on the leaderboard out of 3,100+ participants.


title: Fate of doped carriers in silver fluoride cuprate analogues

abstract: AgF$_2$ is a correlated charge-transfer insulator with properties remarkably similar to insulating cuprates which have raised hope that it may lead to a new family of unconventional superconductors upon doping. We use ab initio computations to study doping strategies leading to metallization. Because the upper Hubbard band is very narrow electron doping leads to undesired strongly self-trapped states (polarons). For the hole-doped case, polaron tendency is stronger than for cuprates but still moderate enough to expect that heavily doped compounds may become metallic. Since the strong electron lattice coupling originates in the strong buckling we study also an hypothetically flat allotrope and show that it has excellent prospect to become metallic. We compare the AgF2 behavior with that for the hole-doped conventional cuprate La$_2$CuO$_4$ and electron-doped Nd$_2$CuO$_4$. Our results show a clear path to achieve high temperature superconductivity in silver fluorides.


title: Statistical modeling of pneumothorax deformation by mapping CT and cone-beam CT images

abstract: In this study, we introduce statistical modeling methods for pneumothorax deformation using paired cone-beam computed tomography (CT) images. We designed a deformable mesh registration framework for shape changes involving non-linear deformation and rotation of the lungs. The registered meshes with local correspondences are available for both surgical guidance in thoracoscopic surgery and building statistical deformation models with inter-patient variations. In addition, a kernel-based deformation learning framework is proposed to reconstruct intraoperative deflated states of the lung from the preoperative CT models. This paper reports the findings of pneumothorax deformation and evaluation results of the kernel-based deformation framework.


title: New constraints on the planetary system around the young active star AU Mic. Two transiting warm Neptunes near mean-motion resonance

abstract: AU Mic is a young, active star whose transiting planet was recently detected. We report our analysis of its TESS data, where we modeled the BY Draconis type quasi-periodic rotational modulation by starspots simultaneously to the flaring activity and planetary transits. We measured a flare occurrence rate of 6.35 flares per day for flares with amplitudes in the range of $0.06\% < f_{\rm max} < 1.5\%$ of the star flux. We employed a Bayesian MCMC analysis to model the five transits of AU Mic b, improving the constraints on the planetary parameters. The planet radius of $4.07\pm0.17$~R$_{\oplus}$ and a mean density of $1.4\pm0.4$~g~cm$^{-3}$ confirms that it is a Neptune-size moderately inflated planet. While a single feature possibly due to a second planet was previously reported in the former TESS data, we report the detection of two additional transit-like events in the new TESS observations of July 2020. This represents substantial evidence for a second planet (AU Mic c) in the system. We analyzed its three transits and obtained an orbital period of $18.859019\pm0.000016$~d and a planetary radius of $3.24\pm0.16$~R$_{\oplus}$, which defines it as a warm Neptune-size planet with an expected mass in the range of 2.2~M$_{\oplus}$~$< M_{\rm c} < $25.0~M$_{\oplus}$. The two planets in the system are in near 9:4 mean-motion resonance. We show that this configuration is dynamically stable and should produce transit-timing variations (TTV). Our non-detection of significant TTV in AU Mic b suggests an upper limit for the mass of AU Mic c of $<7$~M$_{\oplus}$, indicating that this planet is also likely to be inflated. As a young multi-planet system with at least two transiting planets, AU Mic becomes a key system for the study of atmospheres of infant planets and of planet-planet and planet-disk dynamics at the early stages of planetary evolution.


title: Linear complementary pair of group codes over finite principal ideal rings

abstract: A pair $(C, D)$ of group codes over group algebra $R[G]$ is called a linear complementary pair (LCP) if $C \oplus D =R[G]$, where $R$ is a finite principal ideal ring, and $G$ is a finite group. We provide a necessary and sufficient condition for a pair $(C, D)$ of group codes over group algebra $R[G]$ to be LCP. Then we prove that if $C$ and $D$ are both group codes over $R[G]$, then $C$ and $D^{\perp}$ are permutation equivalent.


title: Robotic Following of Flexible Extended Objects: Relevant Technical Facts on the Kinematics of a Moving Continuum

abstract: The paper offers general technical facts on the kinematics of a moving continuum involved in research on robotic following of flexible extended objects.


title: Angular analysis of the $B^{+}\rightarrow K^{\ast+}\mu^{+}\mu^{-}$ decay

abstract: We present an angular analysis of the $B^{+}\rightarrow K^{\ast+}(\rightarrow K_{S}^{0}\pi^{+})\mu^{+}\mu^{-}$ decay using 9$\,\mbox{fb}^{-1}$ of $pp$ collision data collected with the LHCb experiment. For the first time, the full set of CP-averaged angular observables is measured in intervals of the dimuon invariant mass squared. Local deviations from Standard Model predictions are observed, similar to those in previous LHCb analyses of the isospin-partner $B^{0}\rightarrow K^{\ast0}\mu^{+}\mu^{-}$ decay. The global tension is dependent on which effective couplings are considered and on the choice of theory nuisance parameters.


title: Vectorial dark dissipative solitons in Kerr resonators

abstract: We report the existence of vectorial dark dissipative solitons in optical cavities subject to a coherently injected beam. We assume that the resonator is operating in a normal dispersion regime far from any modulational instability. We show that the vectorial front locking mechanism allows for the stabilisation of dark dissipative structures. These structures differ by their temporal duration and their state of polarization. We characterize them by constructing their heteroclinic snaking bifurcation diagram showing evidence of multistability within a finite range of the control parameter.


title: Understanding the Galactic population of normal pulsars: A leap forward

abstract: We revisit the population of normal pulsars in the Galactic field in an `evolutionary' approach. By comparing the distributions of various parameters of synthetic pulsars detectable by the Parkes Multibeam Pulsar Survey, the Pulsar Arecibo L-band Feed Array Survey, and two Swinburne Multibeam surveys with those of the real pulsars detected by the same surveys, we find that a good and physically realistic model can be obtained by using a uniform distribution of the braking index in the range of 2.5 to 3.0, a uniform distribution of the cosine of the angle between the spin and the magnetic axis in the range of 0 to 1, a log-normal birth distribution of the surface magnetic field with the mean and the standard deviation as 12.85 and 0.55 respectively while keeping the distributions of other parameters unchanged from the ones most commonly used in the literature. We have also replaced the universal 'death-line' by a `death-condition' specific to each individual pulsar. We find that our model is better than the most popular model. With our improved model, we predict that an all-sky pulsar survey with phase-I SKA-MID will detect about nine thousand normal pulsars in the Galactic field. Among these pulsars, a considerable number will produce continuous gravitational waves in the operational range of the future ground-based gravitational waves detectors like LIGO A$+$, and in certain cases, the spin-down limit of the gravitational wave strains will be well below the detection sensitivity limit. We also provide a fit for the present-day distributions of the spin periods and 1400 MHz luminosities of the whole normal pulsar population in the Galactic field (which are potentially observable) and those can be used in future population studies under the snapshot approach.


title: Effects of Quantum Diffraction on the Propagation of E-A-W Solitary Structure in Fermi Plasma

abstract: Plasma state of matter can be studied in various types of situations. These studies are of great interest in Astrophysical objects like galaxies, accretion disk, neutron stars, etc, and laboratory plasma as well. Different objects demand different approaches to investigate the dynamics of the plasma. The relativistic effects in the motion of electrons in Quantum Plasma highly affect the characteristics of the solitary structure of the wave with two-temperature electrons. In this paper, considering the quantum hydrodynamic (QHD) model a dispersion relation is derived, and using standard perturbation technique, a mathematical model (i.e. nonlinear Schr\"odinger Equation) is studied for a wave with relativistic and quantum effects in it. We study the analysis for different values of diffraction coefficient, streaming velocity, and other plasma parameters as well. We analyze the stable rogue wave structure using NLSE and run simulations of those solitary profiles and rogue waves.


title: A Hybrid Bandit Framework for Diversified Recommendation

abstract: The interactive recommender systems involve users in the recommendation procedure by receiving timely user feedback to update the recommendation policy. Therefore, they are widely used in real application scenarios. Previous interactive recommendation methods primarily focus on learning users' personalized preferences on the relevance properties of an item set. However, the investigation of users' personalized preferences on the diversity properties of an item set is usually ignored. To overcome this problem, we propose the Linear Modular Dispersion Bandit (LMDB) framework, which is an online learning setting for optimizing a combination of modular functions and dispersion functions. Specifically, LMDB employs modular functions to model the relevance properties of each item, and dispersion functions to describe the diversity properties of an item set. Moreover, we also develop a learning algorithm, called Linear Modular Dispersion Hybrid (LMDH) to solve the LMDB problem and derive a gap-free bound on its n-step regret. Extensive experiments on real datasets are performed to demonstrate the effectiveness of the proposed LMDB framework in balancing the recommendation accuracy and diversity.


title: Reconfinement, localization and thermal monopoles in $SU(3)$ trace-deformed Yang-Mills theory

abstract: We study, by means of numerical lattice simulations, the properties of the reconfinement phase transition taking place in trace deformed $SU(3)$ Yang-Mills theory defined on $\mathbb{R}^3\times S^1$, in which center symmetry is recovered even for small compactification radii. We show, by means of a finite size scaling analysis, that the reconfinement phase transition is first-order, like the usual $SU(3)$ thermal phase transition. We then investigate two different physical phenomena, which are known to characterize the standard confinement/deconfinement phase transition, namely the condensation of thermal magnetic monopoles and the change in the localization properties of the eigenmodes of the Dirac operator. Regarding the latter, we show that the mobility edge signalling the Anderson-like transition in the Dirac spectrum vanishes as one enters the reconfined phase, as it happens in the standard confined phase. Thermal monopoles, instead, show a peculiar behavior: their density decreases going through reconfinement, at odds with the standard thermal theory; nonetheless, they condense at reconfinement, like at the usual confinement transition. The coincidence of monopole condensation and Dirac mode delocalization, even in a framework different from that of the standard confinement transition, suggests the existence of a strict link between them.


title: Learning Maximally Monotone Operators for Image Recovery

abstract: We introduce a new paradigm for solving regularized variational problems. These are typically formulated to address ill-posed inverse problems encountered in signal and image processing. The objective function is traditionally defined by adding a regularization function to a data fit term, which is subsequently minimized by using iterative optimization algorithms. Recently, several works have proposed to replace the operator related to the regularization by a more sophisticated denoiser. These approaches, known as plug-and-play (PnP) methods, have shown excellent performance. Although it has been noticed that, under some Lipschitz properties on the denoisers, the convergence of the resulting algorithm is guaranteed, little is known about characterizing the asymptotically delivered solution. In the current article, we propose to address this limitation. More specifically, instead of employing a functional regularization, we perform an operator regularization, where a maximally monotone operator (MMO) is learned in a supervised manner. This formulation is flexible as it allows the solution to be characterized through a broad range of variational inequalities, and it includes convex regularizations as special cases. From an algorithmic standpoint, the proposed approach consists in replacing the resolvent of the MMO by a neural network (NN). We present a universal approximation theorem proving that nonexpansive NNs are suitable models for the resolvent of a wide class of MMOs. The proposed approach thus provides a sound theoretical framework for analyzing the asymptotic behavior of first-order PnP algorithms. In addition, we propose a numerical strategy to train NNs corresponding to resolvents of MMOs. We apply our approach to image restoration problems and demonstrate its validity in terms of both convergence and quality.


title: AttentionDDI: Siamese Attention-based Deep Learning method for drug-drug interaction predictions

abstract: Background: Drug-drug interactions (DDIs) refer to processes triggered by the administration of two or more drugs leading to side effects beyond those observed when drugs are administered by themselves. Due to the massive number of possible drug pairs, it is nearly impossible to experimentally test all combinations and discover previously unobserved side effects. Therefore, machine learning based methods are being used to address this issue. Methods: We propose a Siamese self-attention multi-modal neural network for DDI prediction that integrates multiple drug similarity measures that have been derived from a comparison of drug characteristics including drug targets, pathways and gene expression profiles. Results: Our proposed DDI prediction model provides multiple advantages: 1) It is trained end-to-end, overcoming limitations of models composed of multiple separate steps, 2) it offers model explainability via an Attention mechanism for identifying salient input features and 3) it achieves similar or better prediction performance (AUPR scores ranging from 0.77 to 0.92) compared to state-of-the-art DDI models when tested on various benchmark datasets. Novel DDI predictions are further validated using independent data resources. Conclusions: We find that a Siamese multi-modal neural network is able to accurately predict DDIs and that an Attention mechanism, typically used in the Natural Language Processing domain, can be beneficially applied to aid in DDI model explainability.


title: Quantum frequency doubling in the topological insulator Bi2Se3

abstract: The nonlinear Hall effect due to Berry curvature dipole (BCD) induces frequency doubling, which was recently observed in time-reversal-invariant materials. Here we report novel electric frequency doubling in the absence of BCD on a surface of the topological insulator Bi2Se3 under zero magnetic field. We observe that the frequency-doubling voltage transverse to the applied ac current shows a threefold rotational symmetry, whereas it forbids BCD. One of the mechanisms compatible with the symmetry is skew scattering, arising from the inherent chirality of the topological surface state. We introduce the Berry curvature triple, a high-order moment of the Berry curvature, to explain skew scattering under the threefold rotational symmetry. Our work paves the way to obtain a giant second-order nonlinear electric effect in high mobility quantum materials, as the skew scattering surpasses other mechanisms in the clean limit.


title: The duality-character Solution-Information-Carrying (SIC) unitary propagators

abstract: The HSSS quantum search process owns the dual character that it obeys both the unitary quantum dynamics and the mathematical-logical principle of the unstructured search problem. It is essentially different from a conventional quantum search algorithm. It is constructed with the duality-character oracle operations of unstructured search problem. It consists of the two consecutive steps: (1) the search-space dynamical reduction and (2) the dynamical quantum-state-difference amplification (QUANSDAM). The QUANSDAM process is directly constructed with the SIC unitary propagators, while the latter each are prepared with the basic SIC unitary operators. Here the preparation for the SIC unitary propagators of a single-atom system is concretely carried out by starting from the basic SIC unitary operators. The SIC unitary propagator of a quantum system may reflect the quantum symmetry of the quantum system, while the basic SIC unitary operators may not. The quantum symmetry is considered as the fundamental quantum-computing-speedup resource in the quantum-computing speedup theory. The purpose for the preparation is ultimately to employ the quantum symmetry to speed up the QUANSDAM process. The preparation is a solution-information transfer process. It is unitary and deterministic. It obeys the information conservation law. In methodology it is based on the energy eigenfunction expansion and the multiple-quantum operator algebra space. Furthermore, a general theory mainly based on the Feynman path integration technique and also the energy eigenfunction expansion method is established to treat theoretically and calculate a SIC unitary propagator of any quantum system in the coordinate representation, which may be further used to construct theoretically an exponential QUANSDAM process in future.


title: Secant acceleration of sequential residual methods for solving large-scale nonlinear systems of equations

abstract: Sequential Residual Methods try to solve nonlinear systems of equations $F(x)=0$ by iteratively updating the current approximate solution along a residual-related direction. Therefore, memory requirements are minimal and, consequently, these methods are attractive for solving large-scale nonlinear systems. However, the convergence of these algorithms may be slow in critical cases; therefore, acceleration procedures are welcome. In this paper, we suggest to employ a variation of the Sequential Secant Method in order to accelerate Sequential Residual Methods. The performance of the resulting algorithm is illustrated by applying it to the solution of very large problems coming from the discretization of partial differential equations.


title: Nonequilibrium thermodynamics of input-driven networks

abstract: Neural dynamics of energy-based models are governed by energy minimization and the patterns stored in the network are retrieved when the system reaches equilibrium. However, when the system is driven by time-varying external input, the nonequilibrium process of such physical system has not been well characterized. Here, we study attractor neural networks, specifically the Hopfield network, driven by time-varying external input and measure thermodynamic quantities along trajectories between two collective states. The overlap between distribution of the forward and reversal work along the nonequilibrium trajectories agrees with the equilibrium free energy difference between two states, following the prediction of Crooks fluctuation theorem. We study conditions with different stimulation protocol and neural network constraints. We further discuss how biologically plausible synaptic connections and information processing may play a role in this nonequilibrium framework. These results demonstrate how nonequilibrium thermodynamics can be relevant for neural computation and connect to recent systems neuroscience studies with closed-loop dynamic perturbations.


title: Soft-IntroVAE: Analyzing and Improving the Introspective Variational Autoencoder

abstract: The recently introduced introspective variational autoencoder (IntroVAE) exhibits outstanding image generations, and allows for amortized inference using an image encoder. The main idea in IntroVAE is to train a VAE adversarially, using the VAE encoder to discriminate between generated and real data samples. However, the original IntroVAE loss function relied on a particular hinge-loss formulation that is very hard to stabilize in practice, and its theoretical convergence analysis ignored important terms in the loss. In this work, we take a step towards better understanding of the IntroVAE model, its practical implementation, and its applications. We propose the Soft-IntroVAE, a modified IntroVAE that replaces the hinge-loss terms with a smooth exponential loss on generated samples. This change significantly improves training stability, and also enables theoretical analysis of the complete algorithm. Interestingly, we show that the IntroVAE converges to a distribution that minimizes a sum of KL distance from the data distribution and an entropy term. We discuss the implications of this result, and demonstrate that it induces competitive image generation and reconstruction. Finally, we describe two applications of Soft-IntroVAE to unsupervised image translation and out-of-distribution detection, and demonstrate compelling results. Code and additional information is available on the project website -- https://taldatech.github.io/soft-intro-vae-web


title: Designing a Socio-Technical Business Process for Analyzing Information Quality Requirements: Experience Report

abstract: Although many BPs involve critical activities that demand high-quality information for their successful enactment, most available BP approaches focus mainly on control-flow, and either ignore the Information Quality (IQ) perspective or consider it as a mere technical issue, instead of a social and organizational one. This leaves a BP subject to different types of social and organizational IQ vulnerabilities that may negatively impact, or even abort the BP enactment. To tackle this problem, a Socio-Technical BP (STBP), namely a Workflow-net with Actors (WFA-net) has been developed. WFA-net allows for capturing IQ requirements in their social and organizational context. This paper reports on the experience gained, findings and lessons learned while developing the WFA-net.


title: Intrinsic Dimensionality Explains the Effectiveness of Language Model Fine-Tuning

abstract: Although pretrained language models can be fine-tuned to produce state-of-the-art results for a very wide range of language understanding tasks, the dynamics of this process are not well understood, especially in the low data regime. Why can we use relatively vanilla gradient descent algorithms (e.g., without strong regularization) to tune a model with hundreds of millions of parameters on datasets with only hundreds or thousands of labeled examples? In this paper, we argue that analyzing fine-tuning through the lens of intrinsic dimension provides us with empirical and theoretical intuitions to explain this remarkable phenomenon. We empirically show that common pre-trained models have a very low intrinsic dimension; in other words, there exists a low dimension reparameterization that is as effective for fine-tuning as the full parameter space. For example, by optimizing only 200 trainable parameters randomly projected back into the full space, we can tune a RoBERTa model to achieve 90\% of the full parameter performance levels on MRPC. Furthermore, we empirically show that pre-training implicitly minimizes intrinsic dimension and, perhaps surprisingly, larger models tend to have lower intrinsic dimension after a fixed number of pre-training updates, at least in part explaining their extreme effectiveness. Lastly, we connect intrinsic dimensionality with low dimensional task representations and compression based generalization bounds to provide intrinsic-dimension-based generalization bounds that are independent of the full parameter count.


title: Tor: a toolbox for the continuation of two-dimensional tori in autonomous systems and non-autonomous systems with periodic forcing

abstract: We present a toolbox for the continuation of two-dimensional tori in autonomous dynamical systems and non-autonomous systems with periodic forcing. A torus is solved as the solution to a boundary-value problem. Truncated Fourier series and collocation methods are used to discretize the boundary-value problem. This toolbox is based on the continuation package COCO (https://sourceforge.net/projects/cocotools/). A few examples are included to demonstrate the functionality of this toolbox.


title: Interpolating Points on a Non-Uniform Grid using a Mixture of Gaussians

abstract: In this work, we propose an approach to perform non-uniform image interpolation based on a Gaussian Mixture Model. Traditional image interpolation methods, like nearest neighbor, bilinear, Hamming, Lanczos, etc. assume that the coordinates you want to interpolate from, are positioned on a uniform grid. However, it is not always the case in practice and we develop an interpolation method that is able to generate an image from arbitrarily positioned pixel values. We do this by representing each known pixel as a 2D normal distribution and considering each output image pixel as a sample from the mixture of all the known ones. Apart from the ability to reconstruct an image from arbitrarily positioned set of pixels, this also allows us to differentiate through the interpolation procedure, which might be helpful for downstream applications. Our optimized CUDA kernel and the source code to reproduce the benchmarks is located at https://github.com/universome/non-uniform-interpolation.


title: Lorentz groups of cyclotomic extensions

abstract: In this (mostly historical) note we show how a unified Kummer-Artin-Schreier sequence from [W], [SOS] may be recovered from the relativistic velocity addition law.


title: Seed Phenotyping on Neural Networks using Domain Randomization and Transfer Learning

abstract: Seed phenotyping is the idea of analyzing the morphometric characteristics of a seed to predict the behavior of the seed in terms of development, tolerance and yield in various environmental conditions. The focus of the work is the application and feasibility analysis of the state-of-the-art object detection and localization neural networks, Mask R-CNN and YOLO (You Only Look Once), for seed phenotyping using Tensorflow. One of the major bottlenecks of such an endeavor is the need for large amounts of training data. While the capture of a multitude of seed images is taunting, the images are also required to be annotated to indicate the boundaries of the seeds on the image and converted to data formats that the neural networks are able to consume. Although tools to manually perform the task of annotation are available for free, the amount of time required is enormous. In order to tackle such a scenario, the idea of domain randomization i.e. the technique of applying models trained on images containing simulated objects to real-world objects, is considered. In addition, transfer learning i.e. the idea of applying the knowledge obtained while solving a problem to a different problem, is used. The networks are trained on pre-trained weights from the popular ImageNet and COCO data sets. As part of the work, experiments with different parameters are conducted on five different seed types namely, canola, rough rice, sorghum, soy, and wheat.


title: Co-GAT: A Co-Interactive Graph Attention Network for Joint Dialog Act Recognition and Sentiment Classification

abstract: In a dialog system, dialog act recognition and sentiment classification are two correlative tasks to capture speakers intentions, where dialog act and sentiment can indicate the explicit and the implicit intentions separately. The dialog context information (contextual information) and the mutual interaction information are two key factors that contribute to the two related tasks. Unfortunately, none of the existing approaches consider the two important sources of information simultaneously. In this paper, we propose a Co-Interactive Graph Attention Network (Co-GAT) to jointly perform the two tasks. The core module is a proposed co-interactive graph interaction layer where a cross-utterances connection and a cross-tasks connection are constructed and iteratively updated with each other, achieving to consider the two types of information simultaneously. Experimental results on two public datasets show that our model successfully captures the two sources of information and achieve the state-of-the-art performance. In addition, we find that the contributions from the contextual and mutual interaction information do not fully overlap with contextualized word representations (BERT, Roberta, XLNet).


title: Three-dimensional Hydrodynamics Simulations of Precollapse Shell Burning in the Si- and O-rich Layers

abstract: We present 3D hydrodynamics simulations of shell burning in two progenitors with zero-age main-sequence masses of 22 and 27 $M_{\odot}$ for $\sim$65 and 200 s up to the onset of gravitational collapse, respectively. The 22 and 27 $M_{\odot}$ stars are selected from a suite of 1D progenitors. The former and the latter have an extended Si- and O-rich layer with a width of $\sim$10$^9$ cm and $\sim$5$\times 10^9$ cm, respectively. Our 3D results show that turbulent mixing occurs in both of the progenitors with the angle-averaged turbulent Mach number exceeding $\sim$0.1 at the maximum. We observe that an episodic burning of O and Ne, which takes place underneath the convection bases, enhances the turbulent mixing in the 22 and 27 $M_\odot$ models, respectively. The distribution of nucleosynthetic yields is significantly different from that in 1D simulations, namely, in 3D more homogeneous and inhomogeneous in the radial and angular direction, respectively. By performing a spectrum analysis, we investigate the growth of turbulence and its role of material mixing in the convective layers. We also present a scalar spherical harmonics mode analysis of the turbulent Mach number. This analytical formula would be helpful for supernova modelers to implement the precollapse perturbations in core-collapse supernova simulations. Based on the results, we discuss implications for the possible onset of the perturbation-aided neutrino-driven supernova explosion.


title: Calibration and Uncertainty Quantification of Convective Parameters in an Idealized GCM

abstract: Parameters in climate models are usually calibrated manually, exploiting only small subsets of the available data. This precludes both optimal calibration and quantification of uncertainties. Traditional Bayesian calibration methods that allow uncertainty quantification are too expensive for climate models; they are also not robust in the presence of internal climate variability. For example, Markov chain Monte Carlo (MCMC) methods typically require $O(10^5)$ model runs and are sensitive to internal variability noise, rendering them infeasible for climate models. Here we demonstrate an approach to model calibration and uncertainty quantification that requires only $O(10^2)$ model runs and can accommodate internal climate variability. The approach consists of three stages: (i) a calibration stage uses variants of ensemble Kalman inversion to calibrate a model by minimizing mismatches between model and data statistics; (ii) an emulation stage emulates the parameter-to-data map with Gaussian processes (GP), using the model runs in the calibration stage for training; (iii) a sampling stage approximates the Bayesian posterior distributions by sampling the GP emulator with MCMC. We demonstrate the feasibility and computational efficiency of this calibrate-emulate-sample (CES) approach in a perfect-model setting. Using an idealized general circulation model, we estimate parameters in a simple convection scheme from synthetic data generated with the model. The CES approach generates probability distributions of the parameters that are good approximations of the Bayesian posteriors, at a fraction of the computational cost usually required to obtain them. Sampling from this approximate posterior allows the generation of climate predictions with quantified parametric uncertainties.


title: Non-abelian U-duality at work

abstract: Non-abelian U-duality originates from the construction of exceptional Drinfel'd algebra (EDA), which extends the constriction of the classical Drinfel'd double. This symmetry is a natural extension of Poisson--Lie T-duality and is believed to be a symmetry of Type II string/M-theory or their low-energy effective theories. In this paper, we consider non-abelian U-dualities of 11- or 10-dimensional backgrounds starting with E${}_{n(n)}$ EDA with $n\leq 6$ with vanishing trombone gauging. The latter guarantees that all dual backgrounds satisfy the standard supergravity equations of motion. In particular, when the duality includes a timelike T-duality, we obtain solutions of M$^*$-theory or Type II$^*$ background equations, as expected. Also starting with coboundary EDA's we provide examples of generalised Yang--Baxter deformations of M-theory and Type IIB backgrounds. The obtained results provide explicit examples when non-abelian U-duality works well as a solution generating transformation.


title: Surface terms in effective action of O-plane at order $\alpha'^2$

abstract: The effective action of string theory has both bulk and boundary terms if the spacetime is an open manifold. Recently, the known classical effective action of string theory at the leading order of $\alpha'$ and its corresponding boundary action have been reproduced by constraining the effective actions to be invariant under gauge transformations and under string duality transformations. In this paper, we use this idea to find the classical effective action of the O-plane and its corresponding boundary terms in type II superstring theories at order $\alpha'^2$ and for NS-NS couplings. We find that these constraints fix the bulk action and its corresponding boundary terms up to one overall factor. They also produce three multiplets in the boundary action that their coefficients are independent of the bulk couplings under the string dualities.


title: Hearing through Vibrations: Perception of Musical Emotions by Profoundly Deaf People

abstract: Advances in tactile-audio feedback technology have created new possibilities for deaf people to feel music. However, little is known about deaf individuals' perception of musical emotions through vibrotactile feedback. In this paper, we present the findings from a mixed-methods study with 16 profoundly deaf participants. The study protocol was designed to explore how users of a backpack-style vibrotactile display perceive intended emotions in twenty music excerpts. Quantitative analysis demonstrated that participants correctly identified happy and angry excerpts and rated them as more arousing than sad and peaceful excerpts. More positive emotions were experienced during happy compared to angry excerpts while peaceful and sad excerpts were hard to be differentiated. Based on qualitative data, we highlight the benefits and limitations of using vibrations to convey musical emotions to profoundly deaf users. Finally, we provide guidelines for designing accessible music experiences for the deaf community.


title: Metadynamics sampling in atomic environment space for collecting training data for machine learning potentials

abstract: The universal mathematical form of machine-learning potentials (MLPs) shifts the core of development of interatomic potentials to collecting proper training data. Ideally, the training set should encompass diverse local atomic environments but the conventional approach is prone to sampling similar configurations repeatedly, mainly due to the Boltzmann statistics. As such, practitioners handpick a large pool of distinct configurations manually, stretching the development period significantly. Herein, we suggest a novel sampling method optimized for gathering diverse yet relevant configurations semi-automatically. This is achieved by applying the metadynamics with the descriptor for the local atomic environment as a collective variable. As a result, the simulation is automatically steered toward unvisited local environment space such that each atom experiences diverse chemical environments without redundancy. We apply the proposed metadynamics sampling to H:Pt(111), GeTe, and Si systems. Throughout the examples, a small number of metadynamics trajectories can provide reference structures necessary for training high-fidelity MLPs. By proposing a semi-automatic sampling method tuned for MLPs, the present work paves the way to wider applications of MLPs to many challenging applications.


title: Filtering the intensity of public concern from social media count data with jumps

abstract: Count time series obtained from online social media data, such as Twitter, have drawn increasing interest among academics and market analysts over the past decade. Transforming Web activity records into counts yields time series with peculiar features, including the coexistence of smooth paths and sudden jumps, as well as cross-sectional and temporal dependence. Using Twitter posts about country risks for the United Kingdom and the United States, this paper proposes an innovative state space model for multivariate count data with jumps. We use the proposed model to assess the impact of public concerns in these countries on market systems. To do so, public concerns inferred from Twitter data are unpacked into country-specific persistent terms, risk social amplification events, and co-movements of the country series. The identified components are then used to investigate the existence and magnitude of country-risk spillovers and social amplification effects on the volatility of financial markets.


title: Approximating Excited States using Neural Networks

abstract: Recently developed neural network-based wave function methods are capable of achieving state-of-the-art results for finding the ground state in real space. In this work, a neural network-based method is used to compute excited states. We train our network via variational principle, along a further penalty term that imposes the orthogonality with lower-energy eigenfunctions. As a demonstration of the effectiveness of this approach, results from numerical calculations for one-dimensional and two-dimensional harmonic oscillators are presented.


title: Learning Vehicle Routing Problems using Policy Optimisation

abstract: Deep reinforcement learning (DRL) has been used to learn effective heuristics for solving complex combinatorial optimisation problem via policy networks and have demonstrated promising performance. Existing works have focused on solving (vehicle) routing problems as they have a nice balance between non-triviality and difficulty. State-of-the-art approaches learn a policy using reinforcement learning, and the learnt policy acts as a pseudo solver. These approaches have demonstrated good performance in some cases, but given the large search space typical combinatorial/routing problem, they can converge too quickly to poor policy. To prevent this, in this paper, we propose an approach name entropy regularised reinforcement learning (ERRL) that supports exploration by providing more stochastic policies, which tends to improve optimisation. Empirically, the low variance ERRL offers RL training fast and stable. We also introduce a combination of local search operators during test time, which significantly improves solution and complement ERRL. We qualitatively demonstrate that for vehicle routing problems, a policy with higher entropy can make the optimisation landscape smooth which makes it easier to optimise. The quantitative evaluation shows that the performance of the model is comparable with the state-of-the-art variants. In our evaluation, we experimentally illustrate that the model produces state-of-the-art performance on variants of Vehicle Routing problems such as Capacitated Vehicle Routing Problem (CVRP), Multiple Routing with Fixed Fleet Problems (MRPFF) and Travelling Salesman problem.


title: Constrained systems, generalized Hamilton-Jacobi actions, and quantization

abstract: Mechanical systems (i.e., one-dimensional field theories) with constraints are the focus of this paper. In the classical theory, systems with infinite-dimensional targets are considered as well (this then encompasses also higher-dimensional field theories in the hamiltonian formalism). The properties of the Hamilton-Jacobi (HJ) action are described in details and several examples are explicitly computed (including nonabelian Chern-Simons theory, where the HJ action turns out to be the gauged Wess-Zumino-Witten action). Perturbative quantization, limited in this note to finite-dimensional targets, is performed in the framework of the Batalin-Vilkovisky (BV) formalism in the bulk and of the Batalin-Fradkin-Vilkovisky (BFV) formalism at the endpoints. As a sanity check of the method, it is proved that the semiclassical contribution of the physical part of the evolution operator is still given by the HJ action. Several examples are computed explicitly. In particular, it is shown that the toy model for nonabelian Chern-Simons theory and the toy model for 7D Chern-Simons theory with nonlinear Hitchin polarization do not have quantum corrections in the physical part (the extension of these results to the actual cases is discussed in the companion paper [arXiv:2012.13983]). Background material for both the classical part (symplectic geometry, generalized generating functions, HJ actions, and the extension of these concepts to infinite-dimensional manifolds) and the quantum part (BV-BFV formalism) is provided.


title: Critical behavior of charged AdS black holes surrounded by quintessence via an alternative phase space

abstract: Considering the variable cosmological constant in the extended phase space has a significant background in the black hole physics. It was shown that the thermodynamic behavior of charged AdS black hole surrounded by the quintessence in the extended phase space is similar to the van der Waals fluid. In this paper, we indicate that such a black hole admits the same criticality and van der Waals like behavior in the non-extended phase space. In other words, we keep the cosmological constant as a fixed parameter, and instead, we consider the normalization factor as a thermodynamic variable. We show that there is a first-order small/large black hole phase transition which is analogous to the liquid/gas phase transition in fluids. We introduce a new picture of the equation of state and then we calculate the corresponding critical quantities. Moreover, we obtain the critical exponents and show that they are the same values as the van der Waals system. Finally, we study the photon sphere and the shadow observed by a distant observer and investigate how the shadow radius may be affected by the variation of black hole parameters. We also investigate the relations between shadow radius and phase transitions and calculate the critical shadow radius where the black hole undergoes a second-order phase transition.


title: A direct approach to prescribing scalar curvature on bundles

abstract: This note intends to demonstrate how to discuss scalar curvature functions' admissibility on bundles by directly applying some of the Kazdan--Warner results. Proofs of the concept include determining which functions are realizable as scalar curvature functions on the total space of several bundles over exotic manifolds. In addition, we employ traditional variational methods to provide reasonable conditions to smooth functions on the total spaces of some fiber bundles to be realized as scalar curvature functions for some Riemannian submersions metrics. We apply these last results to bundles over Calabi--Yau manifolds.


title: Thermal equilibrium of an ideal gas in a free-floating box

abstract: The equilibrium and fluctuations of an ideal gas in a rigid container are studied by every student of statistical mechanics. Here we study the less well-known case when the box is floating freely; in particular we determine the fluctuations of the box in velocity and position due to interactions with the gas it contains. This system is a toy model for the fluctuations in velocity and position of a black hole surrounded by stars at the center of a galaxy. These fluctuations may be observable in nearby galaxies.


title: On the Area of the Fundamental Region of a Binary Form Associated with Algebraic Trigonometric Quantities

abstract: Let $F(x, y)$ be a binary form of degree at least three and non-zero discriminant. We estimate the area $A_F$ bounded by the curve $|F(x, y)| = 1$ for four families of binary forms. The first two families that we are interested in are homogenizations of minimal polynomials of $2\cos\left(\frac{2\pi}{n}\right)$ and $2\sin\left(\frac{2\pi}{n}\right)$, which we denote by $\Psi_n(x, y)$ and $\Pi_n(x, y)$, respectively. The remaining two families of binary forms that we consider are homogenizations of Chebyshev polynomials of first and second kinds, denoted $T_n(x, y)$ and $U_n(x, y)$, respectively.


title: Slow Control System for PandaX-III experiment

abstract: The PandaX-III experiment uses high pressure gaseous time projection chamber to search for the neutrinoless double beta decay of $^{136}$Xe. A modular slow control system~(SCS) has been designed to monitor all the critical parameters of the experiment. It ensures the proper operation of the experiment as well as to provide necessary information for data corrections. The main subsystems of the experiment will be constantly monitored by the data collection module of the SCS, which collects data from sensors and sends them to the centralized database. When an alarm message is generated by the anomaly detection module, it will be sent to an alert website and related on-call experts immediately. A demonstrator of the SCS has been built for the PandaX-III prototype detector. The long-term test of it provided valuable experience for the final design of the SCS for PandaX-III.


title: QCD theory overview

abstract: In this review I am going to present biased by personal experience review of QCD. The review covers topics like Improved Transverse Momentum Dependent Factorization, $k_T$ dependent splitting functions, Transversal Momentum Dependent parton shower, non-Gaussian broadening of jet traversing quark gluon plasma.


title: How large is the diffractive contribution to inclusive dijet photoproduction in UPCs at the LHC?

abstract: Using next-to-leading order (NLO) perturbative QCD, we calculate the diffractive contribution to inclusive dijet photoproduction in Pb-Pb ultraperipheral collisions (UPCs) at the LHC and find that it does not exceed $5-10$% in small-$x_A$ bins in the ATLAS kinematics at $\sqrt{s_{NN}}=5.02$ TeV. Its smallness is a result of the restricted kinematics ($p_{T1} > 20$ GeV and $x_A > 0.001$), the large nuclear suppression of nuclear diffractive parton distribution functions predicted in the leading twist model of nuclear shadowing, and additional suppression due to QCD factorization breaking in diffraction. At the same time, using looser $p_T$ cuts, e.g., $p_{T1} > 10$ GeV and $p_{T i\neq 1} > 5-7$ GeV, we find that $(d\sigma_{\rm diff}/dx_A)/(d\sigma_{\rm inc}/dx_A)$ can reach $10-20$% at $x \approx 5 \times 10^{-4}$. Also, applying our framework to proton-proton UPCs at $\sqrt{s_{NN}}=13$ TeV, we find that the ratio of the diffractive and inclusive cross sections of dijet photoproduction $(d\sigma_{\rm diff}/dx_p)/(d\sigma_{\rm inc}/dx_p)$ is as large as $10-15$% for $x_p \sim 5 \times 10^{-4}$. An account of the contribution of Pomeron-Pomeron scattering, which is not included in our analysis, should make this ratio somewhat larger.


title: Introductory E & M Lab Manual for Virtual Teaching

abstract: Introductory electricity and magnetism lab manual was designed to use with virtual Physics II class. The lab manual consists of experiments on electrostatics, electric potential and energy, current and resistance, DC circuits, electromagnetism, and AC circuits. Virtual experiments were based on simulations. Open educational resources (OER) were used for all experiments. Virtual experiments were designed to simulate in-person physical lab experiments. Special emphasis was given to computational data analysis with excel. Formatted excel sheets per each lab were given to students and step by step calculation in excel were explained during the synchronous class. Learning management system (LMS) was used to fully web enhance the lab class. Virtual labs were delivered by using live video conference technology and recorded lab sessions were added to LMS. Lab class were tested with both virtual delivery methods (synchronous and asynchronous). Student learning outcomes (understand, apply, analyze and evaluate) were studied with detailed lab reports and end of the semester lab-based written exam which confirmed the virtual lab class was as effective as the in-person physical lab class.


title: Generalised Airy Polynomials

abstract: We consider properties of semi-classical orthogonal polynomials with respect to the generalised Airy weight \[\omega(x;t,\lambda)=x^{\lambda}\exp\left(-\tfrac13x^3+tx\right),\qquad x\in \mathbb{R}^+,\] with parameters $\lambda>-1$ and $t\in \mathbb{R}$. We also investigate the zeros and recurrence coefficients of the polynomials. The generalised sextic Freud weight \[\omega(x;t,\lambda)=|x|^{2\lambda+1}\exp\left(-x^6+tx^2\right), \qquad x\in \mathbb{R},\] arises from a symmetrisation of the generalised Airy weight and we study analogous properties of the polynomials orthogonal with respect to this weight.


title: Experimental observation of turbulent coherent structures in a superfluid of light

abstract: We experimentally explore the rich variety of nonlinear coherent structures arising in a turbulent flow of superfluid light past an obstacle in an all-optical configuration. The different hydrodynamic regimes observed are organised in a unique phase diagram involving the velocity of the flow and the diameter of the obstacle. Then, we focus on the vortices nucleated in the wake of the obstacle by investigating their intensity profile and the dependence of the radius of their core on the healing length. Our results pave the way for further investigations on turbulence in photon superfluids and provide versatile experimental tools for simulating quantum transport with nonlinear light.


title: Kinetic Energy Distribution of Fragments for Thermal Neutron-Induced $^{235}$U and $^{239}$Pu Fission Reactions

abstract: Focused on the generation and evolution of vast complementary pairs of the primary fission fragments at scission moment, Dinuclear and Statistical Model (DSM) is proposed. (1) It is assumed that the fissile nucleus elongates along a symmetric coaxis until it breaks into two primary fission fragments. (2) Every complementary pair of the primary fission fragments is approximatively described as two ellipsoids with large deformation at scission moment. (3) The kinetic energy in every complementary pair of the primary fragments is mainly provided by Coulomb repulsion, which is explicitly expressed through strict six-dimensional integrals. (4) Only three phenomenological coefficients are obtained to globally describe the quadrupole deformation parameters of arbitrary primary fragments both for $^{235}$U($n_{th}, f$) and $^{239}$Pu($n_{th}, f$) reactions, on the basis of the common characteristics of the measured data, such as mass and charge distributions, kinetic energy distributions. In the framework of DSM, the explicit average total kinetic energy distribution $\overline{TKE}(A)$ and the average kinetic energy distribution $\overline{KE}(A)$ are consistently represented. The theoretical results in this paper agree well with the experimental data. Furthermore, this model is expected as the reliable approach to generally evaluate the corresponding observebles for thermal neutron-induced fission of actinides.


title: Fibrations in semi-toric and generalized complex geometry

abstract: This paper studies the interplay between self-crossing boundary Lefschetz fibrations and generalized complex structures. We show that these fibrations arise from the moment maps in semi-toric geometry and use them to construct self-crossing stable generalized complex four-manifolds using Gompf--Thurston methods for Lie algebroids. These results bring forth further structure on several previously known examples of generalized complex manifolds. We moreover show that these fibrations are compatible with taking connected sums, and use this to prove a singularity trade result between two types of singularities occurring in these fibrations.


title: Extremely energetic supernova explosions embedded in a massive circumstellar medium: the case of SN 2016aps

abstract: We perform one-dimensional radiation-hydrodynamic simulations of energetic supernova ejecta colliding with a massive circumstellar medium (CSM) aiming at explaining SN 2016aps, likely the brightest supernova observed to date. SN 2016aps was a superluminous Type-IIn SN, which released as much as $\gtrsim 5\times 10^{51}$ erg of thermal radiation. Our results suggest that the multi-band light curve of SN 2016aps is well explained by the collision of a $30\ M_\odot$ SN ejecta with the explosion energy of $10^{52}$ erg and a $\simeq 8\ M_\odot$ wind-like CSM with the outer radius of $10^{16}$ cm, i.e., a hypernova explosion embedded in a massive CSM. This finding indicates that very massive stars with initial masses larger than $40\ M_\odot$, which supposedly produce highly energetic SNe, occasionally eject their hydrogen-rich envelopes shortly before the core-collapse. We suggest that the pulsational pair-instability SNe may provide a natural explanation for the massive CSM and the energetic explosion. We also provide the relations between the peak luminosity, the radiated energy, and the rise time for interacting SNe with the kinetic energy of $10^{52}$ erg, which can be used for interpreting SN 2016aps-like objects in future surveys.


title: On the geometry of simply connected wandering domains

abstract: We study the geometry of simply connected wandering domains for entire functions and we prove that every bounded connected regular open set, whose closure has a connected complement, is a wandering domain of some entire function. In particular such domain can be realized as an escaping or an oscillating wandering domain. As a consequence we obtain that every Jordan curve is the boundary of a wandering Fatou component of some entire function.


title: Fractional black $p$-branes on orbifold ${\mathbb C}^n/{\mathbb Z}_n$

abstract: The recent discovery of an explicit solution of a black hole on the resolved orbifold ${\mathbb C}^n/{\mathbb Z}_n$ makes it possible to investigate the existence of $p$-branes on the orbifold. In particular, it is possible with reasonable precision to verify the prediction that an M2-brane on ${\mathbb C}^4/{\mathbb Z}_4$ in eleven dimensions and a D3-brane on ${\mathbb C}^3/{\mathbb Z}_3$ in ten dimensions have a family of black $p$-branes on the orbifold ${\mathbb C}^n/{\mathbb Z}_n$. These solutions are extremal and have regular horizons $S^{2n-1}/{\mathbb Z}_n$ without any naked singularity, with near horizon geometries AdS${}_{p+2}\times S^{2n-1}/{\mathbb Z}_n$.


title: Quotient groups of IA-automorphisms of free metabelian groups

abstract: For a positive integer $n$, with $n \geq 2$, let $M_n$ be a free metabelian group of rank $n$. For $c \in \mathbb{N}$, let $\gamma_c(M_n)$ be the $c$-th term of the lower central series of $M_n$. For $c \geq 2$, let ${\rm I}_{c}{\rm A}(M_n)$ be the subgroup of ${\rm Aut}(M_{n})$ consisting of all automorphisms inducing the identity mapping on $M_n/\gamma_c(M_n)$. In this paper, we study the quotient groups ${\cal L}^{c}({\rm IA}(M_{n})) = {\rm I}_{c}{\rm A}(M_n)/{\rm I}_{c+1}{\rm A}(M_n)$ for all $n$ and $c$. For $c \geq 2$, we show $\gamma_{c}({\rm IA}(M_{2})) = {\rm I}_{c+1}{\rm A}(M_{2}))$. For $n = 3$, we show $\gamma_{3}({\rm IA}(M_{3})) \neq {\rm I}_{4}{\rm A}(M_{3})$ and so, the Andreadakis' conjecture (for a free metabelian group) is not valid for $n = 3$ and $c = 3$. For $n \geq 4$ and $c \geq 3$, we prove that ${\cal L}^{c}({\rm IA}(M_{n})) = \gamma_{c-1}({\rm IA}(M_{n})){\rm I}_{c+1}{\rm A}(M_{n})/{\rm I}_{c+1}{\rm A}(M_{n})$.


title: Stability Analysis of Discrete-Time Linear Complementarity Systems

abstract: A Discrete-Time Linear Complementarity System (DLCS) is a dynamical system in discrete time whose state evolution is governed by linear dynamics in states and algebraic variables that solve a Linear Complementarity Problem (LCP). The DLCS is the hybrid dynamical system that is the discrete-time counterpart of the well-known Linear Complementarity System (LCS). We derive sufficient conditions for Lyapunov stability of a DLCS when using a quadratic Lyapunov function that depends only on the state variables and a quadratic Lyapunov function that depends both on the state and the algebraic variables. The sufficient conditions require checking the feasibility of a copositive program over nonconvex cones. Our results only assume that the LCP is solvable and do not require the solutions to be unique. We devise a novel, exact cutting plane algorithm for the verification of stability and the computation of the Lyapunov functions. To the best of our knowledge, our algorithm is the first exact approach for stability verification of DLCS. A number of numerical examples are presented to illustrate the approach. Though our main object of study in this paper is the DLCS, the proposed algorithm can be readily applied to the stability verification of LCS. In this context, we show the equivalence between the stability of a LCS and the DLCS, resulting from a time-stepping procedure applied to the LCS for all sufficiently small time steps.


title: Answer to an open question concerning the $1/e$-strategy for best choice under no information

abstract: This paper answers a long-standing open question concerning the $1/e$-strategy for the problem of best choice. $N$ candidates for a job arrive at times independently uniformly distributed in $[0,1]$. The interviewer knows how each candidate ranks relative to all others seen so far, and must immediately appoint or reject each candidate as they arrive. The aim is to choose the best overall. The $1/e$ strategy is to follow the rule: `Do nothing until time $1/e$, then appoint the first candidate thereafter who is best so far (if any).' The question, first discussed with Larry Shepp in 1983, was to know whether the $1/e$-strategy is optimal if one has `no information about the total number of options'. Quite what this might mean is open to various interpretations, but we shall take the proportional-increment process formulation of \cite{BY}. Such processes are shown to have a very rigid structure, being time-changed {\em pure birth processes}, and this allows some precise distributional calculations, from which we deduce that the $1/e$-strategy is in fact not optimal.


title: Using Spatial Logic and Model Checking for Nevus Segmentation

abstract: Spatial and spatio-temporal model checking techniques have a wide range of application domains, among which large scale distributed systems and signal and image analysis. In the latter domain, automatic and semi-automatic contouring in Medical Imaging has shown to be a very promising and versatile application that can greatly facilitate the work of professionals in this domain, while supporting explainability, easy replicability and exchange of medical image analysis methods. In recent work we have applied this model-checking technique to the (3D) contouring of tumours and related oedema in magnetic resonance images of the brain. In the current work we address the contouring of (2D) images of nevi. One of the challenges of treating nevi images is their considerable inhomogeneity in shape, colour, texture and size. To deal with this challenge we use a texture similarity operator, in combination with spatial logic operators. We apply our technique on images of a large public database and compare the results with associated ground truth segmentation provided by domain experts.


title: Wide-angle effects on galaxy ellipticity correlations

abstract: We show an efficient way to compute wide-angle or all-sky statistics of galaxy intrinsic alignment in three-dimensional configuration space. For this purpose, we expand the two-point correlation function using a newly introduced spin-dependent tripolar spherical harmonic basis. Therefore, the angular dependences on the two line-of-sight (LOS) directions pointing to each pair of objects, which are degenerate with each other in the conventional analysis under the small-angle or plane-parallel (PP) approximation, are unambiguously decomposed. By means of this, we, for the first time, compute the wide-angle auto and cross correlations between intrinsic ellipticities, number densities and velocities of galaxies, and compare them with the PP-limit results. For the ellipticity-ellipticity and density-ellipticity correlations, we find more than $10\%$ deviation from the PP-limit results if the opening angle between two LOS directions exceeds $30^\circ - 50^\circ$. It is also shown that even if the PP-limit result is strictly zero, the non-vanishing correlation is obtained over the various scales, arising purely from the curved-sky effects. Our results indicate the importance of the data analysis not relying on the PP approximation in order to determine the cosmological parameters more precisely and/or find new physics via ongoing and forthcoming wide-angle galaxy surveys.


title: Low-Energy Effective Field Theory below the Electroweak Scale: Dimension-8 Operators

abstract: We construct a complete basis of dimension-8 operators in the Low-Energy Effective Field Theory below the Electroweak Scale (LEFT). We find there are 35058 dimension-8 operators in the LEFT for two generations of up-type quarks and three generations of down-type quarks, charged leptons, and left-handed neutrinos. The existence of this operator basis is a necessary prerequisite for matching to the Standard Model Effective Field Theory at the dimension-8 level.


title: Understanding and Predicting Characteristics of Test Collections in Information Retrieval

abstract: Research community evaluations in information retrieval, such as NIST's Text REtrieval Conference (TREC), build reusable test collections by pooling document rankings submitted by many teams. Naturally, the quality of the resulting test collection thus greatly depends on the number of participating teams and the quality of their submitted runs. In this work, we investigate: i) how the number of participants, coupled with other factors, affects the quality of a test collection; and ii) whether the quality of a test collection can be inferred prior to collecting relevance judgments from human assessors. Experiments conducted on six TREC collections illustrate how the number of teams interacts with various other factors to influence the resulting quality of test collections. We also show that the reusability of a test collection can be predicted with high accuracy when the same document collection is used for successive years in an evaluation campaign, as is common in TREC.


title: Fuzzy Commitments Offer Insufficient Protection to Biometric Templates Produced by Deep Learning

abstract: In this work, we study the protection that fuzzy commitments offer when they are applied to facial images, processed by the state of the art deep learning facial recognition systems. We show that while these systems are capable of producing great accuracy, they produce templates of too little entropy. As a result, we present a reconstruction attack that takes a protected template, and reconstructs a facial image. The reconstructed facial images greatly resemble the original ones. In the simplest attack scenario, more than 78% of these reconstructed templates succeed in unlocking an account (when the system is configured to 0.1% FAR). Even in the "hardest" settings (in which we take a reconstructed image from one system and use it in a different system, with different feature extraction process) the reconstructed image offers 50 to 120 times higher success rates than the system's FAR.


title: Multi-fidelity Bayesian Neural Networks: Algorithms and Applications

abstract: We propose a new class of Bayesian neural networks (BNNs) that can be trained using noisy data of variable fidelity, and we apply them to learn function approximations as well as to solve inverse problems based on partial differential equations (PDEs). These multi-fidelity BNNs consist of three neural networks: The first is a fully connected neural network, which is trained following the maximum a posteriori probability (MAP) method to fit the low-fidelity data; the second is a Bayesian neural network employed to capture the cross-correlation with uncertainty quantification between the low- and high-fidelity data; and the last one is the physics-informed neural network, which encodes the physical laws described by PDEs. For the training of the last two neural networks, we use the Hamiltonian Monte Carlo method to estimate accurately the posterior distributions for the corresponding hyperparameters. We demonstrate the accuracy of the present method using synthetic data as well as real measurements. Specifically, we first approximate a one- and four-dimensional function, and then infer the reaction rates in one- and two-dimensional diffusion-reaction systems. Moreover, we infer the sea surface temperature (SST) in the Massachusetts and Cape Cod Bays using satellite images and in-situ measurements. Taken together, our results demonstrate that the present method can capture both linear and nonlinear correlation between the low- and high-fideilty data adaptively, identify unknown parameters in PDEs, and quantify uncertainties in predictions, given a few scattered noisy high-fidelity data. Finally, we demonstrate that we can effectively and efficiently reduce the uncertainties and hence enhance the prediction accuracy with an active learning approach, using as examples a specific one-dimensional function approximation and an inverse PDE problem.


title: Robust penalized spline estimation with difference penalties

abstract: Penalized spline estimation with discrete difference penalties (P-splines) is a popular estimation method for semiparametric models, but the classical least-squares estimator is highly sensitive to deviations from its ideal model assumptions. To remedy this deficiency, a broad class of P-spline estimators based on general loss functions is introduced and studied. Robust estimators are obtained by well-chosen loss functions, such as the Huber or Tukey loss function. A preliminary scale estimator can also be included in the loss function. It is shown that this class of P-spline estimators enjoys the same optimal asymptotic properties as least-squares P-splines, thereby providing strong theoretical motivation for its use. The proposed estimators may be computed very efficiently through a simple adaptation of well-established iterative least squares algorithms and exhibit excellent performance even in finite samples, as evidenced by a numerical study and a real-data example.


title: Characterizing the COVID-19 Transmission in South Korea Using the KCDC Patient Data

abstract: As the COVID-19 outbreak evolves around the world, the World Health Organization (WHO) and its Member States have been heavily relying on staying at home and lock down measures to control the spread of the virus. In the last months, various signs showed that the COVID-19 curve was flattening, but even the partial lifting of some containment measures (e.g., school closures and telecommuting) appear to favor a second wave of the disease. The accurate evaluation of possible countermeasures and their well-timed revocation are therefore crucial to avoid future waves or reduce their duration. In this paper, we analyze patient and route data of infected patients from January 20, 2020, to May 31, 2020, collected by the Korean Center for Disease Control & Prevention (KCDC). This data analysis helps us to characterize patient mobility patterns and then use this characterization to parameterize simulations to evaluate different what-if scenarios. Although this is not a definitive model of how COVID-19 spreads in a population, its usefulness and flexibility are illustrated using real-world data for exploring virus spread under a variety of circumstances.


title: Randomized final-state problem for the Zakharov system in dimension three

abstract: We consider the final-state problem for the Zakharov system in the energy space in three space dimensions. For $(u_+, v_+) \in H^1 \times L^2$ without any size restriction, symmetry assumption or additional angular regularity, we perform a physical-space randomization on $u_+$ and an angular randomization on $v_+$ yielding random final states $(u_+^\omega, v_+^\omega)$. We obtain that for almost every $\omega$, there is a unique solution of the Zakharov system scattering to the final state $(u_+^\omega, v_+^\omega)$. The key ingredient in the proof is the use of time-weighted norms and generalized Strichartz estimates which are accessible due to the randomization.


title: Van der Waals Heterostructure Pt$_{2}$HgSe$_{3}$/CrI$_3$ for Topological Valleytronics

abstract: We identify a valley-polarized Chern insulator in the van der Waals heterostructure, Pt$_{2}$HgSe$_{3}$/CrI$_3$, for potential applications with interplay between electric, magnetic, optical, and mechanical effects. The interlayer proximity magnetic coupling nearly closes the band gap of Pt$_{2}$HgSe$_{3}$ and the strong intra-layer spin-orbit coupling further lifts the valley degeneracy by over 100 meV leading to positive and negative band gaps at opposite valleys. In the valley with negative gap, the interfacial Rashba spin-orbit coupling opens a topological band gap of 17.8 meV, which is enlarged to 30.8 meV by adding an $h$-BN layer. We find large orbital magnetization in Pt$_{2}$HgSe$_{3}$ layer that is much larger than spin, which can induce measurable optical Kerr effect. The valley polarization and Chern number are coupled to the magnetic order of the nearest neighboring CrI$_3$ layer, which is switchable by electric, magnetic, and mechanical means in experiments. The presence of $h$-BN protects the topological phase allowing the construction of superlattices with valley, spin, and layer degrees of freedoms.


title: Classification and statistics of cut and project sets

abstract: We define Ratner-Marklof-Strombergsson measures. These are probability measures supported on cut-and-project sets in R^d (d > 1) which are invariant and ergodic for the action of the groups ASL_d(R) or SL_d(R). We classify the measures that can arise in terms of algebraic groups and homogeneous dynamics. Using the classification, we prove analogues of results of Siegel, Weil and Rogers about a Siegel summation formula and identities and bounds involving higher moments. We deduce results about asymptotics, with error estimates, of point-counting and patch-counting for typical cut-and-project sets.


title: Hierarchical Planning for Resource Allocation in Emergency Response Systems

abstract: A classical problem in city-scale cyber-physical systems (CPS) is resource allocation under uncertainty. Typically, such problems are modeled as Markov (or semi-Markov) decision processes. While online, offline, and decentralized approaches have been applied to such problems, they have difficulty scaling to large decision problems. We present a general approach to hierarchical planning that leverages structure in city-level CPS problems for resource allocation under uncertainty. We use the emergency response as a case study and show how a large resource allocation problem can be split into smaller problems. We then create a principled framework for solving the smaller problems and tackling the interaction between them. Finally, we use real-world data from Nashville, Tennessee, a major metropolitan area in the United States, to validate our approach. Our experiments show that the proposed approach outperforms state-of-the-art approaches used in the field of emergency response.


title: Blind Demixing of Diffused Graph Signals

abstract: Using graphs to model irregular information domains is an effective approach to deal with some of the intricacies of contemporary (network) data. A key aspect is how the data, represented as graph signals, depend on the topology of the graph. Widely-used approaches assume that the observed signals can be viewed as outputs of graph filters (i.e., polynomials of a matrix representation of the graph) whose inputs have a particular structure. Diffused graph signals, which correspond to an originally sparse (node-localized) signal percolated through the graph via filtering, fall into this class. In that context, this paper deals with the problem of jointly identifying graph filters and separating their (sparse) input signals from a mixture of diffused graph signals, thus generalizing to the graph signal processing framework the classical blind demixing (blind source separation) of temporal and spatial signals. We first consider the scenario where the supporting graphs are different across the signals, providing a theorem for demixing feasibility along with probabilistic bounds on successful recovery. Additionally, an analysis of the degenerate problem of demixing with a single graph is also presented. Numerical experiments with synthetic and real-world graphs empirically illustrating the main theoretical findings close the paper.


title: Leptonic and Hadronic Radiative Processes in Supermassive-Black-Hole Jets

abstract: Supermassive black holes lying in the center of galaxies can launch relativistic jets of plasma along their polar axis. The physics of black-hole jets is a very active research topic in astrophysics, owing to the fact that many questions remain open on the physical mechanisms of jet launching, of particle acceleration in the jet, and on the radiative processes. In this work I focus on the last item, and present a review of the current understanding of radiative emission processes in supermassive-black-hole jets.


title: More on topological vertex formalism for 5-brane webs with O5-plane

abstract: We propose a concrete form of a vertex function, which we call O-vertex, for the intersection between an O5-plane and a 5-brane in the topological vertex formalism, as an extension of the work of arXiv:1709.01928. Using the O-vertex it is possible to compute the Nekrasov partition functions of 5d theories realized on any 5-brane web diagrams with O5-planes. We apply our proposal to 5-brane webs with an O5-plane and compute the partition functions of pure SO($N$) gauge theories and the pure $G_2$ gauge theory. The obtained results agree with the results known in the literature. We also compute the partition function of the pure SU(3) gauge theory with the Chern-Simons level $9$. At the end we rewrite the O-vertex in a form of a vertex operator.


title: The Nisnevich Motive of an Algebraic Stack

abstract: We construct the motive of an algebraic stack in the Nisnevich topology. For stacks which are Nisnevich locally quotient stacks, we give a presentation of the motive in terms of simplicial schemes. We also show that for quotient stacks the motivic cohomology agrees with the Edidin-Graham-Totaro Chow groups with integer coefficients.


title: Homotopically unbounded disks for generic surface diffeomorphisms

abstract: In this paper we consider closed orientable surfaces $S$ of positive genus and $C^r$-diffeomorphisms $f:S\rightarrow S$ isotopic to the identity ($r\geq 1)$. The main objective is to study periodic open topological disks which are homotopically unbounded (i.e. which lift to unbounded connected sets in the universal covering). We show that these disks are not uncommon, and are related to important dynamical phenomena. We also study the dynamics on these disks under certain generic conditions. Our first main result implies that for the torus (or for arbitrary surfaces, with an additional condition) if the rotation set of a map has nonempty interior and is not locally constant, then the map is $C^r$-accumulated by diffeomorphisms exhibiting periodic homotopically unbounded disks. Our second result shows that $C^r$-generically, if the rotation set has nonempty interior (plus an additional hypothesis if the genus of $S$ is greater than $1$) a maximal periodic disk which is unbounded and has a rational prime ends rotation number must be the basin of some compact attractor or repeller contained in the disk. As a byproduct we obtain results describing certain periodic components of the complement of the closure of stable or unstable manifolds of a periodic orbit in the $C^r$-generic setting.


title: Majorizing Measures for the Optimizer

abstract: The theory of majorizing measures, extensively developed by Fernique, Talagrand and many others, provides one of the most general frameworks for controlling the behavior of stochastic processes. In particular, it can be applied to derive quantitative bounds on the expected suprema and the degree of continuity of sample paths for many processes. One of the crowning achievements of the theory is Talagrand's tight alternative characterization of the suprema of Gaussian processes in terms of majorizing measures. The proof of this theorem was difficult, and thus considerable effort was put into the task of developing both shorter and easier to understand proofs. A major reason for this difficulty was considered to be theory of majorizing measures itself, which had the reputation of being opaque and mysterious. As a consequence, most recent treatments of the theory (including by Talagrand himself) have eschewed the use of majorizing measures in favor of a purely combinatorial approach (the generic chaining) where objects based on sequences of partitions provide roughly matching upper and lower bounds on the desired expected supremum. In this paper, we return to majorizing measures as a primary object of study, and give a viewpoint that we think is natural and clarifying from an optimization perspective. As our main contribution, we give an algorithmic proof of the majorizing measures theorem based on two parts: (1) We make the simple (but apparently new) observation that finding the best majorizing measure can be cast as a convex program. This also allows for efficiently computing the measure using off-the-shelf methods from convex optimization. (2) We obtain tree-based upper and lower bound certificates by rounding, in a series of steps, the primal and dual solutions to this convex program. [...]


title: On Statistical Efficiency in Learning

abstract: A central issue of many statistical learning problems is to select an appropriate model from a set of candidate models. Large models tend to inflate the variance (or overfitting), while small models tend to cause biases (or underfitting) for a given fixed dataset. In this work, we address the critical challenge of model selection to strike a balance between model fitting and model complexity, thus gaining reliable predictive power. We consider the task of approaching the theoretical limit of statistical learning, meaning that the selected model has the predictive performance that is as good as the best possible model given a class of potentially misspecified candidate models. We propose a generalized notion of Takeuchi's information criterion and prove that the proposed method can asymptotically achieve the optimal out-sample prediction loss under reasonable assumptions. It is the first proof of the asymptotic property of Takeuchi's information criterion to our best knowledge. Our proof applies to a wide variety of nonlinear models, loss functions, and high dimensionality (in the sense that the models' complexity can grow with sample size). The proposed method can be used as a computationally efficient surrogate for leave-one-out cross-validation. Moreover, for modeling streaming data, we propose an online algorithm that sequentially expands the model complexity to enhance selection stability and reduce computation cost. Experimental studies show that the proposed method has desirable predictive power and significantly less computational cost than some popular methods.

categories: math.ST cs.IT cs.LG eess.SP math.IT physics.data-an stat.TH


title: The 300 "Correlators" Suggests 4D, $\cal N$ = 1 SUSY Is a Solution to a Set of Sudoku Puzzles

abstract: A conjecture is made that the weight space for 4D, $\cal N$-extended supersymmetrical representations is embedded within the permutahedra associated with permutation groups ${\mathbb{S}}{}_{d}$. Adinkras and Coxeter Groups associated with minimal representations of 4D, $\cal N$ = 1 supersymmetry provide evidence supporting this conjecture. It is shown the appearance of the mathematics of 4D, $\cal N$ = 1 minimal off-shell supersymmetry representations is equivalent to solving a four color problem on the truncated octahedron. This observation suggest an entirely new way to approach the off-shell SUSY auxiliary field problem based on IT algorithms probing the properties of ${\mathbb{S}}{}_{d}$.


title: Leave Zero Out: Towards a No-Cross-Validation Approach for Model Selection

abstract: As the main workhorse for model selection, Cross Validation (CV) has achieved an empirical success due to its simplicity and intuitiveness. However, despite its ubiquitous role, CV often falls into the following notorious dilemmas. On the one hand, for small data cases, CV suffers a conservatively biased estimation, since some part of the limited data has to hold out for validation. On the other hand, for large data cases, CV tends to be extremely cumbersome, e.g., intolerant time-consuming, due to the repeated training procedures. Naturally, a straightforward ambition for CV is to validate the models with far less computational cost, while making full use of the entire given data-set for training. Thus, instead of holding out the given data, a cheap and theoretically guaranteed auxiliary/augmented validation is derived strategically in this paper. Such an embarrassingly simple strategy only needs to train models on the entire given data-set once, making the model-selection considerably efficient. In addition, the proposed validation approach is suitable for a wide range of learning settings due to the independence of both augmentation and out-of-sample estimation on learning process. In the end, we demonstrate the accuracy and computational benefits of our proposed method by extensive evaluation on multiple data-sets, models and tasks.


title: Lattice dynamics and magnetic exchange interactions in GeCo2O4, a spinel with S = 1/2 pyrochlore lattice

abstract: GeCo$_2$O$_4$ is a unique system in the family of cobalt spinels ACo$_2$O$_4$ (A= Sn, Ti, Ru, Mn, Al, Zn, Fe, etc.) in which magnetic Co ions stabilize on the pyrochlore lattice exhibiting a large degree of orbital frustration. Due to the complexity of the low-temperature antiferromagnetic (AFM) ordering and long-range magnetic exchange interactions, the lattice dynamics and magnetic structure of GeCo$_2$O$_4$ spinel has remained puzzling. To address this issue, here we present theoretical and experimental investigations of the highly frustrated magnetic structure, and the infrared (IR) and Raman-active phonon modes in the spinel GeCo$_2$O$_4$, which exhibits an AFM ordering below the N\'eel temperature $T_N$ ~21 K, followed by a cubic ($Fd{\bar 3}m$) to tetragonal ($I4_{1}/amd$) structural phase transition at $T_S$ ~16 K. Our density-functional theory (DFT+U) calculations reveal that one needs to consider magnetic-exchange interactions up to the third nearest neighbors to get an accurate description of the low-temperature AFM order in GeCo$_2$O$_4$. At room temperature three distinct IR-active modes ($T_{1u}$) are observed at frequencies 680, 413, and 325 cm$^{-1}$ along with four Raman-active modes $A_{1g}$, $T_{2g}(1)$, $T_{2g}(2)$, and $E_{g}$ at frequencies 760, 647, 550, and 308 cm$^{-1}$, respectively, which match reasonably well with our DFT+U calculated values. All the IR-active and Raman-active phonon modes exhibit signatures of moderate spin-phonon coupling. The temperature dependence of various parameters, such as the shift, width, and intensity, of the Raman-active modes, is also discussed. Noticeable changes around $T_N$ and $T_S$ are observed in the Raman line parameters of the $E_{g}$ and $T_{2g}$ modes, which are associated with the modulation of the Co-O bonds in CoO$_6$ octahedra during the excitations of these modes.


title: Variational Determinant Estimation with Spherical Normalizing Flows

abstract: This paper introduces the Variational Determinant Estimator (VDE), a variational extension of the recently proposed determinant estimator discovered by arXiv:2005.06553v2. Our estimator significantly reduces the variance even for low sample sizes by combining (importance-weighted) variational inference and a family of normalizing flows which allow density estimation on hyperspheres. In the ideal case of a tight variational bound, the VDE becomes a zero variance estimator, and a single sample is sufficient for an exact (log) determinant estimate.


title: Derive Lovelock Gravity from String Theory in Cosmological Background

abstract: It was proved more than three decades ago, that the first order $\alpha'$ correction of string effective theory could be written as the Gauss-Bonnet term, which is the quadratic term of Lovelock gravity. In cosmological background, with an appropriate field redefinition, we reorganize the infinite $\alpha'$ corrections of string effective action into a finite term expression for any specific dimension. This finite term expression matches Lovelock gravity exactly and thus fix the couplings of Lovelock gravity by the coefficients of string effective action. This result thus provides a strong support to string theory.


title: Very High Energy Emission and Cascade Radiation of Gamma-Ray Burst Afterglows: Homogeneous Versus Wind External Media

abstract: Recent detection of sub-TeV emission from gamma-ray bursts (GRBs) represents a breakthrough in the GRB study. The multi-wavelength data of the afterglows of GRB 190114C support the synchrotron self-Compton (SSC) origin for its sub-TeV emission. We present a comparative analysis on the SSC emission of GRB afterglows in the homogeneous and wind environment in the framework of the forward shock model. The $\gamma\gamma$ absorption of very high-energy photons due to pair production within the source and the Klein-Nishina effect on the inverse-Compton scattering are considered. Generally a higher SSC flux is expected for a larger circum-burst density due to a larger Compton parameter, but meanwhile the internal $\gamma\gamma$ absorption is more severer for sub-TeV emission. The flux ratio between the SSC component and the synchrotron component decreases more quickly with time in the wind medium case than that in the homogenous-density medium case. The light curves of the SSC emission are also different for the two types of media. We also calculate the cascade emission resulted from the absorbed high-energy photons. In the ISM environment with $n> 1\,\rm cm^{-3}$, the cascade synchrotron emission could be comparable to the synchrotron emission of the primary electrons in the optical band, which may flatten the optical afterglow light curve at early time ($t<1$ h). In the wind medium with $A_{\ast}> 0.1$, the cascade emission in the eV-GeV band is comparable or even larger than the emission of the primary electrons at early time.


title: Reducing transient energy growth in a channel flow using static output feedback control

abstract: Transient energy growth of flow perturbations is an important mechanism for laminar-to-turbulent transition that can be mitigated with feedback control. Linear quadratic optimal control strategies have shown some success in reducing transient energy growth and suppressing transition, but acceptable worst-case performance can be difficult to achieve using sensor-based output feedback control. In this study, we investigate static output feedback controllers for reducing transient energy growth of flow perturbations within linear and nonlinear simulations of a sub-critical channel flow. A static output feedback linear quadratic regulator~(SOF-LQR) is designed to reduce the worst-case transient energy growth due to flow perturbations. The controller directly uses wall-based measurements to optimally regulate the flow with wall-normal blowing and suction from the upper and lower channel walls. Optimal static output feedback gains are computed using a modified Anderson-Moore algorithm that accelerates the iterative solution of the synthesis problem by leveraging Armijo-type adaptations. We show that SOF-LQR controllers can reduce the worst-case transient energy growth due to flow perturbations. Our results also indicate that SOF-LQR controllers exhibit robustness to Reynolds number variations. Further, direct numerical simulations show that the designed SOF-LQR controllers increase laminar-to-turbulent transition thresholds under streamwise disturbances and delay transition under spanwise disturbances. The results of this study highlight the advantages of SOF-LQR controllers and create opportunities for realizing improved transition control strategies in the future.


title: Generalization in portfolio-based algorithm selection

abstract: Portfolio-based algorithm selection has seen tremendous practical success over the past two decades. This algorithm configuration procedure works by first selecting a portfolio of diverse algorithm parameter settings, and then, on a given problem instance, using an algorithm selector to choose a parameter setting from the portfolio with strong predicted performance. Oftentimes, both the portfolio and the algorithm selector are chosen using a training set of typical problem instances from the application domain at hand. In this paper, we provide the first provable guarantees for portfolio-based algorithm selection. We analyze how large the training set should be to ensure that the resulting algorithm selector's average performance over the training set is close to its future (expected) performance. This involves analyzing three key reasons why these two quantities may diverge: 1) the learning-theoretic complexity of the algorithm selector, 2) the size of the portfolio, and 3) the learning-theoretic complexity of the algorithm's performance as a function of its parameters. We introduce an end-to-end learning-theoretic analysis of the portfolio construction and algorithm selection together. We prove that if the portfolio is large, overfitting is inevitable, even with an extremely simple algorithm selector. With experiments, we illustrate a tradeoff exposed by our theoretical analysis: as we increase the portfolio size, we can hope to include a well-suited parameter setting for every possible problem instance, but it becomes impossible to avoid overfitting.


title: Higher order obstructions to the desingularization of Einstein metrics

abstract: We find new obstructions to the desingularization of compact Einstein orbifolds by smooth Einstein metrics. These new obstructions, specific to the compact situation, raise the question of whether a compact Einstein $4$-orbifold which is limit of Einstein metrics bubbling out Eguchi-Hanson metrics has to be K\"ahler. We then test these obstructions to discuss if it is possible to produce a Ricci-flat but not K\"ahler metric by the most promising desingularization configuration proposed by Page in 1981. We identify $84$ obstructions which, once compared to the $57$ degrees of freedom, indicate that almost all flat orbifold metrics on $\mathbb{T}^4/\mathbb{Z}_2$ should not be limit of Ricci-flat metrics with generic holonomy while bubbling out Eguchi-Hanson metrics. Perhaps surprisingly, in the most symmetric situation, we also identify a $14$-dimensional family of desingularizations satisfying all of our $84$ obstructions.