title: Black hole evolution in quantum-gravitational framework

abstract: We found black hole evolution on a quantum-gravitational scattering framework with an aim to tackle the black hole information paradox. With this setup, various pieces of the system information are explicit from the start and unitary evolution is manifest throughout. The scattering amplitudes factorize into the perturbative part and nonperturbative part. The nonperturbative part is dominated by an instanton-type contribution, i.e., a black hole analogue of the Coleman-De Luccia's bounce solution, and we propose that the Hawking radiation be identified with the particles generated by the vacuum decay. Our results indicate that the black hole degrees of freedom are entangled not only with the Hawking modes but also with the pre-Hawking modes. The Wald's entropy charge measures their entanglement. The full quantum-gravitational entropy is defined as the vev of the Wald entropy charge. With this definition a {\em shifted} Page-like curve is generically generated and its quantum extension is readily defined.


title: Learning Canonical Representations for Scene Graph to Image Generation

abstract: Generating realistic images of complex visual scenes becomes challenging when one wishes to control the structure of the generated images. Previous approaches showed that scenes with few entities can be controlled using scene graphs, but this approach struggles as the complexity of the graph (the number of objects and edges) increases. In this work, we show that one limitation of current methods is their inability to capture semantic equivalence in graphs. We present a novel model that addresses these issues by learning canonical graph representations from the data, resulting in improved image generation for complex visual scenes. Our model demonstrates improved empirical performance on large scene graphs, robustness to noise in the input scene graph, and generalization on semantically equivalent graphs. Finally, we show improved performance of the model on three different benchmarks: Visual Genome, COCO, and CLEVR.


title: Image-based material characterization of complex microarchitectured additively manufactured structures

abstract: Significant developments in the field of additive manufacturing (AM) allowed the fabrication of complex microarchitectured components with varying porosity across different scales. However, due to the high complexity of this process, the final parts can exhibit significant variations in the nominal geometry. Computer tomographic images of 3D printed components provide extensive information about these microstructural variations, such as process-induced porosity, surface roughness, and other undesired morphological discrepancies. Yet, techniques to incorporate these imperfect AM geometries into the numerical material characterization analysis are computationally demanding. In this contribution, an efficient image-to-material-characterization framework using the high-order parallel Finite Cell Method is proposed. In this way, a flexible non-geometry-conforming discretization facilitates mesh generation for very complex microstructures at hand and allows a direct analysis of the images stemming from CT-scans. Numerical examples including a comparison to the experiments illustrate the potential of the proposed framework in the field of additive manufacturing product simulation.


title: Improved Explanatory Efficacy on Human Affect and Workload through Interactive Process in Artificial Intelligence

abstract: Despite recent advances in the field of explainable artificial intelligence systems, a concrete quantitative measure for evaluating the usability of such systems is nonexistent. Ensuring the success of an explanatory interface in interacting with users requires a cyclic, symbiotic relationship between human and artificial intelligence. We, therefore, propose explanatory efficacy, a novel metric for evaluating the strength of the cyclic relationship the interface exhibits. Furthermore, in a user study, we evaluated the perceived affect and workload and recorded the EEG signals of our participants as they interacted with our custom-built, iterative explanatory interface to build personalized recommendation systems. We found that systems for perceptually driven iterative tasks with greater explanatory efficacy are characterized by statistically significant hemispheric differences in neural signals with 62.4% accuracy, indicating the feasibility of neural correlates as a measure of explanatory efficacy. These findings are beneficial for researchers who aim to study the circular ecosystem of the human-artificial intelligence partnership.


title: Boltzmann-type description with cutoff of Follow-the-Leader traffic models

abstract: In this paper we consider a Boltzmann-type kinetic description of Follow-the-Leader traffic dynamics and we study the resulting asymptotic distributions, namely the counterpart of the Maxwellian distribution of the classical kinetic theory. In the Boltzmann-type equation we include a non-constant collision kernel, in the form of a cutoff, in order to exclude from the statistical model possibly unphysical interactions. In spite of the increased analytical difficulty caused by this further non-linearity, we show that a careful application of the quasi-invariant limit (an asymptotic procedure reminiscent of the grazing collision limit) successfully leads to a Fokker-Planck approximation of the original Boltzmann-type equation, whence stationary distributions can be explicitly computed. Our analytical results justify, from a genuinely model-based point of view, some empirical results found in the literature by interpolation of experimental data.


title: Support Vector Machine Classifier via $L_{0/1}$ Soft-Margin Loss

abstract: Support vector machine (SVM) has attracted great attentions for the last two decades due to its extensive applications, and thus numerous optimization models have been proposed. To distinguish all of them, in this paper, we introduce a new model equipped with an $L_{0/1}$ soft-margin loss (dubbed as $L_{0/1}$-SVM) which well captures the nature of the binary classification. Many of the existing convex/non-convex soft-margin losses can be viewed as a surrogate of the $L_{0/1}$ soft-margin loss. Despite the discrete nature of $L_{0/1}$, we manage to establish the existence of global minimizer of the new model as well as revealing the relationship among its minimizers and KKT/P-stationary points. These theoretical properties allow us to take advantage of the alternating direction method of multipliers. In addition, the $L_{0/1}$-support vector operator is introduced as a filter to prevent outliers from being support vectors during the training process. Hence, the method is expected to be relatively robust. Finally, numerical experiments demonstrate that our proposed method generates better performance in terms of much shorter computational time with much fewer number of support vectors when against with some other leading methods in areas of SVM. When the data size gets bigger, its advantage becomes more evident.


title: Optimized Tracking of Topic Evolution

abstract: Topic evolution modeling has been researched for a long time and has gained considerable interest. A state-of-the-art method has been recently using word modeling algorithms in combination with community detection mechanisms to achieve better results in a more effective way. We analyse results of this approach and discuss the two major challenges that this approach still faces. Although the topics that have resulted from the recent algorithm are good in general, they are very noisy due to many topics that are very unimportant because of their size, words, or ambiguity. Additionally, the number of words defining each topic is too large, making it difficult to analyse them in their unsorted state. In this paper, we propose approaches to tackle these challenges by adding topic filtering and network analysis metrics to define the importance of a topic. We test different combinations of these metrics to see which combination yields the best results. Furthermore, we add word filtering and ranking to each topic to identify the words with the highest novelty automatically. We evaluate our enhancement methods in two ways: human qualitative evaluation and automatic quantitative evaluation. Moreover, we created two case studies to test the quality of the clusters and words. In the quantitative evaluation, we use the pairwise mutual information score to test the coherency of topics. The quantitative evaluation also includes an analysis of execution times for each part of the program. The results of the experimental evaluations show that the two evaluation methods agree on the positive feasibility of the algorithm. We then show possible extensions in the form of usability and future improvements to the algorithm.


title: MetaFusion: Controlled False-Negative Reduction of Minority Classes in Semantic Segmentation

abstract: In semantic segmentation datasets, classes of high importance are oftentimes underrepresented, e.g., humans in street scenes. Neural networks are usually trained to reduce the overall number of errors, attaching identical loss to errors of all kinds. However, this is not necessarily aligned with human intuition. For instance, an overlooked pedestrian seems more severe than an incorrectly detected one. One possible remedy is to deploy different decision rules by introducing class priors which assigns larger weight to underrepresented classes. While reducing the false-negatives of the underrepresented class, at the same time this leads to a considerable increase of false-positive indications. In this work, we combine decision rules with methods for false-positive detection. We therefore fuse false-negative detection with uncertainty based false-positive meta classification. We present proof-of-concept results for CIFAR-10, and prove the efficiency of our method for the semantic segmentation of street scenes on the Cityscapes dataset based on predicted instances of the 'human' class. In the latter we employ an advanced false-positive detection method using uncertainty measures aggregated over instances. We thereby achieve improved trade-offs between false-negative and false-positive samples of the underrepresented classes.


title: Semantic Similarity To Improve Question Understanding in a Virtual Patient

abstract: In medicine, a communicating virtual patient or doctor allows students to train in medical diagnosis and develop skills to conduct a medical consultation. In this paper, we describe a conversational virtual standardized patient system to allow medical students to simulate a diagnosis strategy of an abdominal surgical emergency. We exploited the semantic properties captured by distributed word representations to search for similar questions in the virtual patient dialogue system. We created two dialogue systems that were evaluated on datasets collected during tests with students. The first system based on hand-crafted rules obtains $92.29\%$ as $F1$-score on the studied clinical case while the second system that combines rules and semantic similarity achieves $94.88\%$. It represents an error reduction of $9.70\%$ as compared to the rules-only-based system.


title: A note on the asymptotic behavior of the height for a birth-and-death process

abstract: This paper focuses on the asymptotic behaviors of the {\it height} for a birth-and-death process which related to a mean-field model \cite{FFS}(or the Anick-Mitra-Sondhi model \cite{DDM}). Recently, the asymptotic mean value of the height for the model is given in \cite{LAV}. In this paper, first, the asymptotic variance of the height is given, and as a consequence, a weak Law of Large Number for the height is obtained. Second, the centered and normalized height is proved to converge in distribution to a degenerate distribution, this indicates that the desired Central Limit Theorem fails.


title: Faster and Simpler SNN Simulation with Work Queues

abstract: We present a clock-driven Spiking Neural Network simulator which is up to 3x faster than the state of the art while, at the same time, being more general and requiring less programming effort on both the user's and maintainer's side. This is made possible by designing our pipeline around "work queues" which act as interfaces between stages and greatly reduce implementation complexity. We evaluate our work using three well-established SNN models on a series of benchmarks.


title: The Random Batch Method for $N$-Body Quantum Dynamics

abstract: This paper discusses a numerical method for computing the evolution of large interacting system of quantum particles. The idea of the random batch method is to replace the total interaction of each particle with the $N-1$ other particles by the interaction with $p<N$ particles chosen at random at each time step, multiplied by $(N-1)/p$. This reduces the computational cost of computing the interaction partial per time step from $O(N^2)$ to $O(N)$. For simplicity, we consider only in this work the case $p=1$. In other words, we assume that $N$ is even, and that at each time step, the $N$ particles are organized in $N/2$ pairs, with a random reshuffling of the pairs at the beginning of each time step. We obtain a convergence estimate for the Wigner transform of the single-particle reduced density matrix of the particle system at time $t$ that is uniform in $N>1$ and independent of the Planck constant $\hbar$.


title: Permuting quantum eigenmodes by a quasi-adiabatic motion of a potential wall

abstract: We study the Schr\"odinger equation $i\partial_t\psi=-\Delta\psi+V\psi$ on $L^2((0,1),\mathbb{C})$ where $V$ is a very high and localized potential wall. We aim to perform permutations of the eigenmodes and to control the solution of the equation. We consider the process where the position and the height of the potential wall change as follows. First, the potential increases from zero to a very large value, so a narrow potential wall is formed that almost splits the interval into two parts; then the wall moves to a different position, after which the height of the wall decays to zero again. We show that even though the rate of the variation of the potential's parameters can be arbitrarily slow, this process alternates adiabatic and non-adiabatic dynamics, leading to a non-trivial permutation of the eigenstates. Furthermore, we consider potentials with several narrow walls and we show how an arbitrarily slow motion of the walls can lead the system from any given state to an arbitrarily small neighborhood of any other state, thus proving the approximate controllability of the above Schr\"odinger equation by means of a soft, quasi-adiabatic variation of the potential.


title: Higher order Galerkin-collocation time discretization with Nitsche's method for the Navier-Stokes equations

abstract: We propose and study numerically the implicit approximation in time of the Navier-Stokes equations by a Galerkin-collocation method in time combined with inf-sup stable finite element methods in space. The conceptual basis of the Galerkin-collocation approach is the establishment of a direct connection between the Galerkin method and the classical collocation methods, with the perspective of achieving the accuracy of the former with reduced computational costs in terms of less complex algebraic systems of the latter. Regularity of higher order in time of the discrete solution is ensured further. As an additional ingredient, we employ Nitsche's method to impose all boundary conditions in weak form with the perspective that evolving domains become feasible in the future. We carefully compare the performance poroperties of the Galerkin-collocation approach with a standard continuous Galerkin-Petrov method using piecewise linear polynomials in time, that is algebraically equivalent to the popular Crank-Nicholson scheme. The condition number of the arising linear systems after Newton linearization as well as the reliable approximation of the drag and lift coefficient for laminar flow around a cylinder (DFG flow benchmark with $Re=100$) are investigated. The superiority of the Galerkin-collocation approach over the linear in time, continuous Galerkin-Petrov method is demonstrated therein.


title: McKean-Vlasov equations on infinite-dimensional Hilbert spaces with irregular drift and additive fractional noise

abstract: This paper establishes results on the existence and uniqueness of solutions to McKean-Vlasov equations, also called mean-field stochastic differential equations, in an infinite-dimensional Hilbert space setting with irregular drift. Here, McKean-Vlasov equations with additive noise are considered where the driving noise is cylindrical (fractional) Brownian motion. The existence and uniqueness of weak solutions are established for drift coefficients that are merely measurable, bounded, and continuous in the law variable. In particular, the drift coefficient is allowed to be singular in the spatial variable. Further, we discuss existence of a pathwisely unique strong solution as well as Malliavin differentiability.


title: An Ultra-Wideband Leaky Lens Antenna for Broadband Spectroscopic Imaging Applications

abstract: We present the design, fabrication and characterisation of a broadband leaky lens antenna for broadband, spectroscopic imaging applications. The antenna is designed for operation in the 300-900 GHz band. We integrate the antenna directly into an Al-NbTiN hybrid MKID to measure the beam pattern and absolute coupling efficiency at three frequency bands centred around 350, 650 and 850 GHz, covering the full antenna band. We find an aperture efficiency $\eta_{ap} \approx 0.4$ over the whole frequency band, limited by lens reflections. We find a good match with simulations for both the patterns and efficiency, demonstrating a 1:3 bandwidth in the sub-mm wavelength range for future on-chip spectrometers.


title: Collapse models and cosmology

abstract: Attempts to apply quantum collapse theories to Cosmology and cosmic inflation are reviewed. These attempts are motivated by the fact that the theory of cosmological perturbations of quantum-mechanical origin suffers from the single outcome problem, which is a modern incarnation of the quantum measurement problem, and that collapse models can provide a solution to these issues. Since inflationary predictions can be very accurately tested by cosmological data, this also leads to constraints on collapse models. These constraints are derived in the case of Continuous Spontaneous Localization (CSL) and are shown to be of unprecedented efficiency.


title: Recovering the normal form of an elasticity tensor

abstract: We propose an effective geometrical approach to recover the normal form of a given Elasticity tensor, once we know its symmetry class. In other words, we produce a rotation which brings an Elasticity tensor onto its normal form, given its components in any orthonormal frame, and this for any tensor of any symmetry class. Our methodology relies on the use of specific covariants and on the geometric characterization of each symmetry class using these covariants. An algorithm to detect the symmetry class of an Elasticity tensor is finally formulated.


title: Two-particle azimuthal correlations as a probe of collective behaviour in deep inelastic $\textit{ep}$ scattering at HERA

abstract: Two-particle azimuthal correlations have been measured in neutral current deep $\mbox{inelastic}$ $\textit{ep}$ scattering with virtuality $Q^2 > 5$ GeV$^2$ at a centre-of-mass energy $\sqrt{s}=318$ GeV recorded with the ZEUS detector at HERA. The correlations of charged particles have been measured in the range of laboratory pseudorapidity $-1.5 < \eta < 2.0$ and transverse momentum $0.1 < p_{\textrm{T}}~< 5.0$ GeV and event multiplicities $N_{\textrm{ch}}$ up to six times larger than the average $\left< N_{\textrm{ch}} \right>\approx5$. The two-particle correlations have been measured in terms of the angular observables $c_n\{2\}=\left< \left< \cos{ n \Delta\varphi} \right> \right>$, where $n$ is between 1 and 4 and $\Delta\varphi$ is the relative azimuthal angle between the two particles. Comparisons with available models of deep inelastic scattering, which are tuned to reproduce inclusive particle production, suggest that the measured two-particle correlations are dominated by contributions from multijet production. The correlations observed here do not indicate the kind of collective behaviour recently observed at the highest RHIC and LHC energies in high-multiplicity hadronic collisions.


title: Review of the Essential Roles of SMCs in ATAA Biomechanics

abstract: Aortic Aneurysms are among the most critical cardiovascular diseases. The present study is focused on Ascending Thoracic Aortic Aneurysms (ATAA). The main causes of ATAA are commonly cardiac malformations like bicuspid aor-tic valve or genetic mutations. Research studies dedicated to ATAA tend more and more to invoke multifactorial eects. In the current review, we show that all these eects converge towards a single paradigm relying upon the crucial biome-chanical role played by smooth muscle cells (SMCs) in controlling the distribution of mechanical stresses across the aortic wall. The chapter is organized as follows. In section 6.2, we introduce the basics of arterial wall biomechanics and how the stresses are distributed across its dierent layers and among the main structural constituents: collagen, elastin, and SMCs. In section 6.3, we introduce the biome-chanical active role of SMCs and its main regulators. We show how SMCs actively regulate the distribution of stresses across the aortic wall and among the main structural constituents. In section 6.4, we review studies showing that SMCs tend to have a preferred homeostatic tension. We show that mechanosensing can be understood as a reaction to homeostasis unbalance of SMC tension. Through the use of layer-specic multiscale modeling of the arterial wall, it is revealed that the quantication of SMC homeostatic tension is crucial to predict numerically the initiation and development of ATAA.


title: Finite-Sample Two-Group Composite Hypothesis Testing via Machine Learning

abstract: In the problem of composite hypothesis testing, identifying the potential uniformly most powerful (UMP) unbiased test is of great interest. Beyond typical hypothesis settings with exponential family, it is usually challenging to prove the existence and further construct such UMP unbiased tests with finite sample size. For example in the COVID-19 pandemic with limited previous assumptions on the treatment for investigation and the standard of care, adaptive clinical trials are appealing due to ethical considerations, and the ability to accommodate uncertainty while conducting the trial. Although several methods have been proposed to control type I error rates, how to find a more powerful hypothesis testing strategy is still an open question. Motivated by this problem, we propose an automatic framework of constructing test statistics and corresponding critical values via machine learning methods to enhance power in a finite sample. In this article, we particularly illustrate the performance using Deep Neural Networks (DNN) and discuss its advantages. Simulations and two case studies of adaptive designs demonstrate that our method is automatic, general and pre-specified to construct statistics with satisfactory power in finite-sample. Supplemental materials are available online including R code and an R shiny app.


title: Gradient-enhanced continuum models of healing in damaged soft tissues

abstract: Healing of soft biological tissue is the process of self-recovering or self-repairing the injured or damaged extracellular matrix (ECM). Healing is assumed to be stress-driven, with the objective of returning to a homeostatic stress metrics in the tissue after replacing the damaged ECM with new undamaged one. However, based on the existence of intrinsic length-scales in soft tissues, it is thought that computational models of healing should be non-local. In the present study, we introduce for the first time two gradient-enhanced con-stitutive healing models for soft tissues including non-local variables. The first model combines a continuum damage model with a temporally homogenized growth model, where the growth direction is determined according to local principal stress directions. The second one is based on a gradient-enhanced healing model with continuously recoverable damage variable. Both models are implemented in the finite-element package Abaqus by means of a user sub-routine UEL. Three two-dimensional situations simulating the healing process of soft tissues are modeled numerically with both models, and their application for simulation of balloon angioplasty is provided by illustrating the change of damage field and geometry in the media layer throughout the healing process.


title: A Unified Framework for Random Forest Prediction Error Estimation

abstract: We introduce a unified framework for random forest prediction error estimation based on a novel estimator of the conditional prediction error distribution function. Our framework enables simple plug-in estimation of key prediction uncertainty metrics, including conditional mean squared prediction errors, conditional biases, and conditional quantiles, for random forests and many variants. Our approach is especially well-adapted for prediction interval estimation; we show via simulations that our proposed prediction intervals are competitive with, and in some settings outperform, existing methods. To establish theoretical grounding for our framework, we prove pointwise uniform consistency of a more stringent version of our estimator of the conditional prediction error distribution function. The estimators introduced here are implemented in the R package forestError.


title: Genuine Multipartite Correlations Distribution in the Criticality of Lipkin-Meshkov-Glick Model

abstract: Correlations play a key role in critical phenomena. Quantities such as the entanglement entropy, for instance, provide key insights into the mechanisms underlying quantum criticality. Almost all of our present knowledge, however, is restricted to bipartite correlations. Some questions still remain unanswered, such as: What parcel of the total correlations are genuinely k-partite? With the goal of shedding light on this difficult question, in this paper we put forth a detailed study of the behavior of genuine multipartite correlations (GMC) of arbitrary orders in the Lipkin-Meshkov-Glick model. We find that GMC of all orders serve to signal the second order quantum phase transition presented in the model. Applying finite-size scaling methods, we also find the critical exponents for some orders of correlations.


title: A quantized statistical model of flow stress and generalized Hall-Petch law for deformable polycrystalline materials. A temperature-dimension effect

abstract: A theory of flow stress (FS), reviewing and developing our research,e.g. arxiv:1803.08247;1908.09338, is proposed,including yield strength (YS) of PC materials for quasi-static plastic loading for grain of average size d in range 10^{-8}-10^{-2}m. It's based on statistical model of energy spectrum distribution in each grain of 1-mode PC sample under plastic loading,with highest level equal to maximal dislocation energy. Found distribution of scalar dislocation density leads to FS due to Taylor strain hardening containing usual and anomalous HP laws for coarse and NC grains, respectively, and reaches maximum for extreme grain size d_0 of order 10^{-8}m. Maximum undergoes shift to region of larger grains for decreasing T and increasing strains. Coincidence is established among theoretical and experimental data on YS for BCC(\alpha-Fe), FCC(Cu,Al,Ni),HCP(\alpha-Ti,Zr) PC materials at T=300K.The T-dependence of strength quantities is studied. It is shown using Al that YS grows with decrease in T for all grains with d>3d_0,and then YS decreases in NC region,thus determining a temperature-dimension effect (TDE).1-phase model of PC sample is extended by including softening GB phase into 2-phase model,and then by dispersion (un)hardening. A quasi-particle interpretation of crystallite energy quantization is suggested.Analytic and graphic forms of HP laws are obtained in above samples with different values of small-,large-angle GB and constant pores.The maximum of YS and respective extremal grain size of the samples are shifted by change of 2-nd phase.The T-dependence of YS in range of 150-350K for Al demonstrates the validity of TDE. An enlargement of 2-nd phase neutralizes TDE.Deformation curves for 1- and 2-mode 2-phase \alpha-Fe PC model are constructed with Backofen-Considere fracture criterion,as compared to experimental,1-phase model data, and strongly depend on multimodality and GB

categories: cond-mat.mtrl-sci cond-mat.mes-hall cond-mat.soft cond-mat.stat-mech


title: A dynamic ordering policy for a stochastic inventory problem with cash constraints

abstract: This paper investigates a stochastic inventory management problem in which a cash-constrained small retailer periodically purchases a product from suppliers and sells it to a market while facing non-stationary demands. In each period, the retailer's available cash restricts the maximum quantity that can be ordered. There exists a fixed ordering cost for the retailer when purchasing. We partially characterize the optimal ordering policy by showing it has an $\bf s-C$ structure: for each period, when initial inventory is above the $\bf$s threshold, no product should be ordered no matter how much initial cash it has; when initial inventory is not large enough to be a $\bf s$ threshold, it is also better to not order when initial cash is below the threshold $C$. The values of $C$ may be state-dependent and related to each period's initial inventory. A heuristic policy $(s, C(x), S)$ is proposed: when initial inventory $x$ is less than $s$ and initial cash is greater than $C(x)$, order a quantity that brings inventory as close to $S$ as possible; otherwise, do not order. We first determine the values of the controlling parameters $s$, $C(x)$ and $S$ based on the results of stochastic dynamic programming and test their performance via an extensive computational study. The results show that the $(s, C(x), S)$ policy performs well with a maximum optimality gap of less than 1\% and an average gap of approximately 0.01\%. We then develop a simple and time-efficient heuristic method for computing policy $(s, C(x), S)$ by solving a mixed-integer linear programming problem and approximate newsvendor models: the average gap for this heuristic is approximately 2\% on our test bed.


title: Fractal-like mechanical resonators with soft-clamped fundamental mode

abstract: Self-similar structures occur naturally and have been employed to engineer exotic physical properties. Here we show that acoustic modes of a fractal-like system of tensioned strings can display increased mechanical quality factors due to the enhancement of dissipation dilution. We describe a realistic resonator design in which the quality factor of the fundamental mode is enhanced by as much as two orders of magnitude compared to a simple string with the same size and tension. Our findings can open new avenues in force sensing, cavity quantum optomechanics and experiments with suspended test masses.


title: Formation of localized states in dryland vegetation: Bifurcation structure and stability

abstract: In this paper, we study theoretically the emergence of localized states of vegetation close to the onset of desertification. These states are formed through the locking of vegetation fronts, connecting a uniform vegetation state with a bare soil state, which occurs nearby the Maxwell point of the system. To study these structures we consider a universal model of vegetation dynamics in drylands, which has been obtained as the normal form for different vegetation models. Close to the Maxwell point localized gaps and spots of vegetation exist and undergo collapsed snaking. The presence of gaps strongly suggest that the ecosystem may undergo a recovering process. In contrast, the presence of spots may indicate that the ecosystem is close to desertification.


title: Multi-stream Data Analytics for Enhanced Performance Prediction in Fantasy Football

abstract: Fantasy Premier League (FPL) performance predictors tend to base their algorithms purely on historical statistical data. The main problems with this approach is that external factors such as injuries, managerial decisions and other tournament match statistics can never be factored into the final predictions. In this paper, we present a new method for predicting future player performances by automatically incorporating human feedback into our model. Through statistical data analysis such as previous performances, upcoming fixture difficulty ratings, betting market analysis, opinions of the general-public and experts alike via social media and web articles, we can improve our understanding of who is likely to perform well in upcoming matches. When tested on the English Premier League 2018/19 season, the model outperformed regular statistical predictors by over 300 points, an average of 11 points per week, ranking within the top 0.5% of players rank 30,000 out of over 6.5 million players.


title: Time-based analysis of the NBA hot hand fallacy

abstract: The debate surrounding the hot hand in the NBA has been ongoing for many years. However, many of the previous works on this theme has focused on only the very next sequential shot attempt, often on very select players. This work looks in more detail the effect of a made or missed shot on the next series of shots over a two-year span, with time between shots shown to be a critical factor in the analysis. Also, multi-year streakiness is analyzed, and all indications are that players cannot really sustain their good (or bad) fortune from year to year.


title: VarNet: Variational Neural Networks for the Solution of Partial Differential Equations

abstract: In this paper we propose a new model-based unsupervised learning method, called VarNet, for the solution of partial differential equations (PDEs) using deep neural networks (NNs). Particularly, we propose a novel loss function that relies on the variational (integral) form of PDEs as apposed to their differential form which is commonly used in the literature. Our loss function is discretization-free, highly parallelizable, and more effective in capturing the solution of PDEs since it employs lower-order derivatives and trains over measure non-zero regions of space-time. Given this loss function, we also propose an approach to optimally select the space-time samples, used to train the NN, that is based on the feedback provided from the PDE residual. The models obtained using VarNet are smooth and do not require interpolation. They are also easily differentiable and can directly be used for control and optimization of PDEs. Finally, VarNet can straight-forwardly incorporate parametric PDE models making it a natural tool for model order reduction (MOR) of PDEs. We demonstrate the performance of our method through extensive numerical experiments for the advection-diffusion PDE as an important case-study.

categories: cs.LG physics.comp-ph physics.flu-dyn stat.ML


title: Supervised Chaotic Source Separation by a Tank of Water

abstract: Whether listening to overlapping conversations in a crowded room or recording the simultaneous electrical activity of millions of neurons, the natural world abounds with sparse measurements of complex overlapping signals that arise from dynamical processes. While tools that separate mixed signals into linear sources have proven necessary and useful, the underlying equational forms of most natural signals are unknown and nonlinear. Hence, there is a need for a framework that is general enough to extract sources without knowledge of their generating equations, and flexible enough to accommodate nonlinear, even chaotic, sources. Here we provide such a framework, where the sources are chaotic trajectories from independently evolving dynamical systems. We consider the mixture signal as the sum of two chaotic trajectories, and propose a supervised learning scheme that extracts the chaotic trajectories from their mixture. Specifically, we recruit a complex dynamical system as an intermediate processor that is constantly driven by the mixture. We then obtain the separated chaotic trajectories based on this intermediate system by training the proper output functions. To demonstrate the generalizability of this framework \emph{in silico}, we employ a tank of water as the intermediate system, and show its success in separating two-part mixtures of various chaotic trajectories. Finally, we relate the underlying mechanism of this method to the state-observer problem. This relation provides a quantitative theory that explains the performance of our method, such as why separation is difficult when two source signals are trajectories from the same chaotic system.


title: Weak existence and uniqueness for affine stochastic Volterra equations with L1-kernels

abstract: We provide existence, uniqueness and stability results for affine stochastic Volterra equations with $L^1$-kernels and jumps. Such equations arise as scaling limits of branching processes in population genetics and self-exciting Hawkes processes in mathematical finance. The strategy we adopt for the existence part is based on approximations using stochastic Volterra equations with $L^2$-kernels combined with a general stability result. Most importantly, we establish weak uniqueness using a duality argument on the Fourier--Laplace transform via a deterministic Riccati--Volterra integral equation. We illustrate the applicability of our results on Hawkes processes and a class of hyper-rough Volterra Heston models with a Hurst index $H \in (-1/2,1/2]$.


title: High resolution imaging of reconstructed domains and moire patterns in functional van der Waals heterostructure devices

abstract: The optical and electronic properties of van der Waals (vdW) heterostructures depend strongly on the atomic stacking order of the constituent layers. This is exemplified by periodic variation of the local atomic registry, known as moire patterns, giving rise to superconductivity and ferromagnetism in twisted bilayer graphene and novel exciton states in transition metal dichalcogenides (TMD) heterobilayers. However, the presence of the nanometer-scale moire superlattices is typically deduced indirectly, because conventional imaging techniques, such as transmission electron microscopy (TEM), require special sample preparation that is incompatible with most optical and transport measurements. Here, we demonstrate a method that uses a secondary electron microscope to directly image the local stacking order in fully hexagonal boron nitride (hBN) encapsulated, gated vdW heterostructure devices on standard Si-substrates. Using this method, we demonstrate imaging of reconstructed moire patterns in stacked TMDs, ABC/ABA stacking order in graphene multilayers, and AB/BA boundaries in bilayer graphene. Furthermore, we show that the technique is non-destructive, thus unlocking the possibility of directly correlating local stacking order with optical and electronic properties, crucial to the development of vdW heterostructure devices with precisely controlled functionality.


title: Progressive Learning Algorithm for Efficient Person Re-Identification

abstract: This paper studies the problem of Person Re-Identification (ReID)for large-scale applications. Recent research efforts have been devoted to building complicated part models, which introduce considerably high computational cost and memory consumption, inhibiting its practicability in large-scale applications. This paper aims to develop a novel learning strategy to find efficient feature embeddings while maintaining the balance of accuracy and model complexity. More specifically, we find by enhancing the classical triplet loss together with cross-entropy loss, our method can explore the hard examples and build a discriminant feature embedding yet compact enough for large-scale applications. Our method is carried out progressively using Bayesian optimization, and we call it the Progressive Learning Algorithm (PLA). Extensive experiments on three large-scale datasets show that our PLA is comparable or better than the-state-of-the-arts. Especially, on the challenging Market-1501 dataset, we achieve Rank-1=94.7\%/mAP=89.4\% while saving at least 30\% parameters than strong part models.


title: A self-consistent leptonic-hadronic interpretation of the electromagnetic and neutrino emissions from blazar TXS 0506+056

abstract: The potential association between the blazar TXS 0506+056 and the neutrino event IceCube-170922A provides a unique opportunity to study the possible physical connection between the high-energy photons and neutrinos. We explore the correlated electromagnetic and neutrino emissions of blazar TXS 0506+056 by a self-consistent leptonic-hadronic model, taking into account particle stochastic acceleration and all relevant radiative processes self-consistently. The electromagnetic and neutrino spectra of blazar TXS 0506+056 are reproduced by the proton synchrotron and hybrid leptonic-hadronic models based on the proton-photon interactions. It is found that the hybrid leptonic-hadronic model can be used to better explain the observed X-ray and $\gamma$-ray spectra of blazar TXS 0506+056 than the proton synchrotron model. Moreover, the predicted neutrino spectrum of the hybrid leptonic-hadronic model is closer to the observed one compared to the proton synchrotron model. We suggest that the hybrid leptonic-hadronic model is more favored if the neutrino event IceCube-170922A is associated with the blazar TXS 0506+056.


title: Note on time-regularity for weak solutions to parabolic systems of p-Laplace type

abstract: We show that local weak solutions to parabolic systems of p-Laplace type are H{\"o}lder continuous in time with values in a spatial Lebesgue space and H{\"o}lder continuous on almost every time line. We provide an elementary and self-contained proof building on the local higher integrability result of Kinnunen and Lewis.


title: Bounds on the minimum distance of algebraic geometry codes defined over some families of surfaces

abstract: We prove lower bounds for the minimum distance of algebraic geometry codes over surfaces whose canonical divisor is either nef or anti-strictly nef and over surfaces without irreducible curves of small genus. We sharpen these lower bounds for surfaces whose arithmetic Picard number equals one, surfaces without curves with small self-intersection and fibered surfaces. Finally we specify our bounds to the case of surfaces of degree $d\geq 3$ embedded in $\mathbb{P)^3$.


title: Dirac spectrum and the BEC-BCS crossover in QCD at nonzero isospin asymmetry

abstract: For large isospin asymmetries, perturbation theory predicts the QCD ground state to be a superfluid phase of $u$ and $\bar{d}$ Cooper pairs. This phase, which is denoted as the BCS phase, is expected to be smoothly connected to the standard phase with Bose-Einstein condensation (BEC) of charged pions at $\mu_I\ge m_\pi/2$ by an analytic crossover. A first hint for the existence of the BCS phase, which is likely characterised by the presence of both, deconfinement and charged pion condensation, is coming from the lattice observation that the deconfinement crossover smoothly penetrates into the BEC phase. To further scrutinize the existence of the BCS phase, in this proceedings article we investigate the complex spectrum of the massive Dirac operator in 2+1-flavor QCD at nonzero temperature and isospin chemical potential. The spectral density near the origin is related to the BCS gap via a generalization of the Banks-Casher relation to the case of complex Dirac eigenvalues (derived for the zero-temperature, high-density limits of QCD at nonzero isospin chemical potential).


title: VEGAS: VST Early-type GAlaxy Survey. V. IC 1459 group: Mass assembly history in low density environments

abstract: This paper is based on the multi-band VST Early-type GAlaxy Survey (VEGAS) with the VLT Survey Telescope (VST). We present new deep photometry of the IC1459 group in g and r band. The main goal of this work is to investigate the photometric properties of the IC1459 group, and to compare our results with those obtained for other galaxy groups studied in VEGAS, in order to provide a first view of the variation of their properties as a function of the evolution of the system. For all galaxies in the IC1459 group, we fit isophotes and extract the azimuthally-averaged surface-brightness profiles, the position angle and ellipticity profiles as a function of the semi-major axis, as well as the average colour profile. In each band, we estimate the total magnitudes, effective radii, mean colour, and total stellar mass for each galaxies in the group. Then we look at the structure of the brightest galaxies and faint features in their outskirts, considering also the intragroup component. The wide field of view, long integration time, high angular resolution, and arcsec-level seeing of OmegaCAM@VST allow us to map the light distribution of IC1459 down to a surface brightness level of 29.26 mag arcsec^{-2} in g band and 28.85 mag arcsec^{-2} in r band, and out to 7-10 Re, and to detect the optical counterpart of HI gas around IC1459. We also explore in depth three low density environments and provide information to understand how galaxies and groups properties change with the group evolution stage. There is a good agreement of our results with predictions of numerical simulations regarding the structural properties of the brightest galaxies of the groups. We suggest that the structure of the outer envelope of the BCGs, the intra-group light and the HI amount and distribution may be used as indicators of the different evolutionary stage and mass assembly in galaxy groups.


title: Infinite Black Hole Entropies at Infinite Distances and Tower of States

abstract: The aim of this paper is to elucidate a close connection between the black hole area law and the infinite distance conjecture in the context of the swampland. We consider families of black hole geometries, parametrized by their event horizon areas or by the values of their entropies, and show that the infinite entropy limit is always at infinite distance in the space of black hole geometries. It then follows from the infinite distance conjecture that there must be a tower of states in the infinite entropy limit, and that ignoring these towers on the horizon of the black hole would invalidate the effective theory when the entropy becomes large. We call this the black hole entropy distance conjecture. We then study two candidates for the tower of states. The first are the Kaluza-Klein modes of the internal geometry of extremal ${\cal N}=2$ black holes in string theory, whose masses on the horizon are fixed by the ${\cal N}=2$ attractor formalism, and given in terms of the black hole charges similarly to the entropy. However, we observe that it is possible to decouple their masses from the entropy, so that they cannot generically play the role of the tower. We thus consider a second kind of states: inspired by N-portrait quantum models of non-extremal black holes, we argue that the Goldstone-like modes that interpolate among the black hole microstates behave like the expected light tower of states.


title: Hartree-Fock analysis of the effects of long-range interactions on the Bose-Einstein condensation

abstract: We consider a Bose gas with two-body Kac-like scaled interactions V $\gamma$ (r) = $\gamma$ 3 v($\gamma$r) where v(x) is a given repulsive and integrable potential, while $\gamma$ is a positive parameter which controls the range of the interactions and their amplitude at a distance r. Using the Hartree-Fock approximation we find that, at finite non-zero temperatures, the Bose-Einstein condensation is destroyed by the repulsive interactions when they are sufficiently long-range. More precisely, we show that for $\gamma$ sufficiently small but finite the off-diagonal part of the one-body density matrix always vanishes at large distances. Our analysis sheds light on the coupling between critical correlations and long-range interactions, which might lead to the breakdown of the off-diagonal long-range order even beyond the Hartree-Fock approximation. Furthermore, our Hartree-Fock analysis shows the existence of a threshold value $\gamma$ 0 above which the Bose-Einstein condensation is restored. Since $\gamma$ 0 is an unbounded increasing function of the temperature this implies for a fixed $\gamma$, namely for a fixed scaled potential, that a condensate cannot form above some critical temperature whatever the value of the density.


title: Rapid and sensitive quantification of C3- and C6-phosphoesters in starch by fluorescence-assisted capillary electrophoresis

abstract: Phosphate groups are naturally present in starch at C3- or C6-position of the glucose residues and impact the structure of starch granules. Their precise quantification is necessary for understanding starch physicochemical properties and metabolism. Nevertheless, reliable quantification of Glc-3-P remains laborious and time consuming. Here we describe a capillary electrophoresis method for simultaneous measurement of both Glc-6-P and Glc-3-P after acid hydrolysis of starch. The sensitivity threshold was estimated at the fg scale, which is compatible with the analysis of less than a $\mu$g of sample. The method was validated by analyzing antisense potato lines deficient in SBEs, GWD or GBSS. We show that Glc-3-P content is altered in the latter and that these variations do not correlate with modifications in Glc-6-P content. We anticipate the method reported here to be an efficient tool for high throughput study of starch phosphorylation at both C3- and C6-position.


title: Organizing Family Support Services at ACM Conferences

abstract: This article reflects on our experiences providing family-support services to a large, interdisciplinary ACM conference (CHI2018) including, the policy decisions, the challenges, and the successes. The article incorporates empirical data collected from pre- and post-conference surveys, observed use of the services, and aspirational aims for future conferences. We are discussing best practices and recommendations to facilitate the implementation of child support services at other conferences. We believe our article will be of great interest to both practitioners and academics in expanding the inclusivity and family support provided by ACM conferences and beyond.


title: Ductile and brittle yielding in thermal and athermal amorphous materials

abstract: We study theoretically the yielding of sheared amorphous materials as a function of increasing levels of initial sample annealing prior to shear, in three widely used constitutive models and three widely studied annealing protocols. In thermal systems we find a gradual progression, with increasing annealing, from smoothly "ductile" yielding, in which the sample remains homogeneous, to abruptly "brittle" yielding, in which it becomes strongly shear banded. This progression arises from an increase with annealing in the size of an overshoot in the underlying stress-strain curve for homogeneous shear, which causes a shear banding instability that becomes more severe with increasing annealing. "Ductile" and "brittle" yielding thereby emerge as two limiting cases of a continuum of yielding transitions, from gradual to catastrophic. In contrast, athermal systems with a stress overshoot always show brittle yielding at low shear rates, however small the overshoot.


title: On-manifold Adversarial Data Augmentation Improves Uncertainty Calibration

abstract: Uncertainty estimates help to identify ambiguous, novel, or anomalous inputs, but the reliable quantification of uncertainty has proven to be challenging for modern deep networks. In order to improve uncertainty estimation, we propose On-Manifold Adversarial Data Augmentation or OMADA, which specifically attempts to generate the most challenging examples by following an on-manifold adversarial attack path in the latent space of an autoencoder-based generative model that closely approximates decision boundaries between two or more classes. On a variety of datasets as well as on multiple diverse network architectures, OMADA consistently yields more accurate and better calibrated classifiers than baseline models, and outperforms competing approaches such as Mixup, as well as achieving similar performance to (at times better than) post-processing calibration methods such as temperature scaling. Variants of OMADA can employ different sampling schemes for ambiguous on-manifold examples based on the entropy of their estimated soft labels, which exhibit specific strengths for generalization, calibration of predicted uncertainty, or detection of out-of-distribution inputs.


title: Pion observables with the Minkowski Space Pion Model

abstract: The pion structure in Minkowski space is described in terms of an analytic model of the Bethe-Salpeter amplitude combined with Euclidean Lattice QCD results for the running quark mass. In the present work, a pion model previously proposed, which allows for a Nakanishi integral representation, is studied in order to verify the sensitivity of the pion electromagnetic form factor to small variations of the quark self-energy. In addition, we extend the previous work, providing the Nakanishi integral representation for the invariants associated with a decomposition of the pion Bethe-Salpeter amplitude.


title: Quantum statistical signature of $\mathcal{PT}$ symmetry breaking

abstract: In multiparticle quantum interference, bosons show rather generally the tendency to bunch together, while fermions can not. This behavior, which is rooted in the different statistics of the particles, results in a higher coincidence rate $P$ for fermions than for bosons, i.e. $P^{(bos)}<P^{(ferm)}$. However, in lossy systems such a general rule can be violated because bosons can avoid lossy regions. Here it is shown that, in a rather general optical system showing passive parity-time ($\mathcal{PT}$) symmetry, at the $\mathcal{PT}$ symmetry breaking phase transition point the coincidence probabilities for bosons and fermions are equalized, while in the broken $\mathcal{PT}$ phase the reversal $P^{(bos)}>P^{(ferm)}$ is observed. Such effect is exemplified by considering the passive $\mathcal{PT}$-symmetric optical directional coupler.


title: High-Temperature Quantum Anomalous Hall Insulators in Lithium-Decorated Iron-Based Superconductor Materials

abstract: Quantum anomalous Hall (QAH) insulator is the key material to study emergent topological quantum effects, but its ultralow working temperature limits experiments. Here, by first-principles calculations, we find a family of stable two-dimensional (2D) structures generated by lithium decoration of layered iron-based superconductor materials FeX (X = S, Se, Te), and predict room-temperature ferromagnetic semiconductors together with large-gap high-Chern-number QAH insulators in the 2D materials. The extremely robust ferromagnetic order is induced by the electron injection from Li to Fe and stabilized by strong ferromagnetic kinetic exchange in the 2D Fe layer. While in the absence of spin-orbit coupling (SOC), the ferromagnetism polarizes the system into a half Dirac semimetal state protected by mirror symmetry, the SOC effect results in a spontaneous breaking of mirror symmetry and introduces a Dirac mass term, which creates QAH states with sizable gaps (several tens of meV) and multiple chiral edge modes. We also find a 3D QAH insulator phase featured by macroscopic number of chiral conduction channels in bulk LiOH-LiFeX. The findings open new opportunities to realize novel QAH physics and applications at high temperatures.


title: On the Unity of Logic: a Sequential, Unpolarized Approach

abstract: The present work aims to give a unity of logic via standard sequential, unpolarized games. Specifically, our vision is that there must be mathematically precise concepts of linear refinement and intuitionistic restriction of logic such that the linear refinement of classical logic (CL) coincides with (classical) linear logic (LL), and its intuitionistic restriction with the linear refinement of intuitionistic logic (IL) into intuitionistic LL (ILL). However, LL is, in contradiction to the name, cannot be the linear refinement of CL at least from the game-semantic point of view due to its concurrency and polarization. In fact, existing game semantics of LL employs concurrency, which is rather exotic to game semantics of ILL, IL or CL. Also, linear negation in LL is never true in (game semantics of) ILL, IL or CL. In search for the truly linear refinement of CL, we carve out (a sequent calculus of) linear logic negative ($LL^-$) from (the two-sided sequent calculus of) LL, and introducing a new distribution axiom $! ? A \vdash ? ! A$ (for a translation of sequents $\Delta \vdash \Gamma$ for CL into the sequents $! \Delta \vdash ? \Gamma$ for $LL^-$). We then give a categorical semantics of $LL^-$, for which we introduce why not monad ?, dual to the well-known of course comonad !, giving a categorical translation $\Delta \rightarrow \Gamma = ? (\Delta \multimap \Gamma) \cong ! \Delta \multimap ? \Gamma$ of CL into $LL^-$, which is the Kleisli extension of the standard translation $\Delta \rightarrow \Gamma = ! \Delta \multimap \Gamma$ of IL into ILL. Moreover, we instantiate the categorical semantics by fully complete (sequential, unpolarized) game semantics of $LL^-$ (without atoms), for which we introduce linearity of strategies.


title: Products of finite connected subgroups

abstract: For a non-empty class of groups $\cal L$, a finite group $G = AB$ is said to be an $\cal L$-connected product of the subgroups $A$ and $B$ if $\langle a, b\rangle \in \cal L$ for all $a \in A$ and $b \in B$. In a previous paper, we prove that for such a product, when $\cal L = \cal S$ is the class of finite soluble groups, then $[A,B]$ is soluble. This generalizes the theorem of Thompson which states the solubility of finite groups whose two-generated subgroups are soluble. In the present paper our result is applied to extend to finite groups previous research in the soluble universe. In particular, we characterize connected products for relevant classes of groups; among others the class of metanilpotent groups and the class of groups with nilpotent derived subgroup. Also we give local descriptions of relevant subgroups of finite groups.


title: Realization of spatial sparseness by deep ReLU nets with massive data

abstract: The great success of deep learning poses urgent challenges for understanding its working mechanism and rationality. The depth, structure, and massive size of the data are recognized to be three key ingredients for deep learning. Most of the recent theoretical studies for deep learning focus on the necessity and advantages of depth and structures of neural networks. In this paper, we aim at rigorous verification of the importance of massive data in embodying the out-performance of deep learning. To approximate and learn spatially sparse and smooth functions, we establish a novel sampling theorem in learning theory to show the necessity of massive data. We then prove that implementing the classical empirical risk minimization on some deep nets facilitates in realization of the optimal learning rates derived in the sampling theorem. This perhaps explains why deep learning performs so well in the era of big data.


title: Arbitrary Lagrangian-Eulerian hybridizable discontinuous Galerkin methods for incompressible flow with moving boundaries and interfaces

abstract: We present a class of Arbitrary Lagrangian-Eulerian hybridizable discontinuous Galerkin methods for the incompressible flow with moving boundaries and interfaces including two-phase flow with surface tension.


title: Estimation of Auction Models with Shape Restrictions

abstract: We introduce several new estimation methods that leverage shape constraints in auction models to estimate various objects of interest, including the distribution of a bidder's valuations, the bidder's ex ante expected surplus, and the seller's counterfactual revenue. The basic approach applies broadly in that (unlike most of the literature) it works for a wide range of auction formats and allows for asymmetric bidders. Though our approach is not restrictive, we focus our analysis on first--price, sealed--bid auctions with independent private valuations. We highlight two nonparametric estimation strategies, one based on a least squares criterion and the other on a maximum likelihood criterion. We also provide the first direct estimator of the strategy function. We establish several theoretical properties of our methods to guide empirical analysis and inference. In addition to providing the asymptotic distributions of our estimators, we identify ways in which methodological choices should be tailored to the objects of their interest. For objects like the bidders' ex ante surplus and the seller's counterfactual expected revenue with an additional symmetric bidder, we show that our input--parameter--free estimators achieve the semiparametric efficiency bound. For objects like the bidders' inverse strategy function, we provide an easily implementable boundary--corrected kernel smoothing and transformation method in order to ensure the squared error is integrable over the entire support of the valuations. An extensive simulation study illustrates our analytical results and demonstrates the respective advantages of our least--squares and maximum likelihood estimators in finite samples. Compared to estimation strategies based on kernel density estimation, the simulations indicate that the smoothed versions of our estimators enjoy a large degree of robustness to the choice of an input parameter.


title: PSR J0030+0451, GW170817 and the nuclear data: joint constraints on equation of state and bulk properties of neutron stars

abstract: Very recently the NICER collaboration has published the first-ever accurate measurement of mass and radius together for PSR J0030+0451, a nearby isolated quickly-rotating neutron star (NS). In this work we set the joint constraints on the equation of state (EoS) and some bulk properties of NSs with the data of PSR J0030+0451, GW170817 and some nuclear experiments. The piecewise polytropic expansion method and the spectral decomposition method have been adopted to parameterize the EoS. The resulting constraints are consistent with each other. Assuming the maximal gravitational mass of non-rotating NS $M_{\rm TOV}$ lies between $2.04 \rm M_{\odot}$ and $2.4 \rm M_{\odot}$, with the piecewise method the pressure at twice nuclear saturation density is measured to be $3.38^{+2.43}_{-1.50}\times 10^{34}~{\rm dyn~cm^{-2}}$ at the $90\%$ level. For a NS with canonical mass of $1.4 \rm M_\odot$, we have the moment of inertia $I_{1.4} = {1.43}^{+0.28}_{-0.13} \times 10^{38}~{\rm kg \cdot m^2}$, tidal deformability $\Lambda_{1.4} = 390_{-140}^{+320}$, radius $R_{1.4} = 12.2_{-0.9}^{+1.0}~{\rm km}$, and binding energy $BE_{1.4} = {0.16}^{+0.01}_{-0.02} \rm M_{\odot}$ at the $90\%$ level, which are improved in comparison to the constraints with the sole data of GW170817.


title: Slope of Orderable Dehn Filling of Two-Bridge Knots

abstract: In this paper, we study the Riley polynomial of double twist knots with higher genus. Using the root of the Riley polynomial, we compute the range of rational slope $r$ such that $r$-filling of the knot complement has left-orderable fundamental group. Further more, we make a conjecture about left-orderable surgery slopes of two-bridge knots.


title: Truncated Unity Parquet Solver

abstract: We present an implementation of a truncated unity parquet solver (TUPS) which solves the parquet equations using a truncated form-factor basis for the fermionic momenta. This way fluctuations from different scattering channels are treated on an equal footing. The essentially linear scaling of computational costs in the number of untruncated bosonic momenta allows us to treat system sizes of up to 76x76 discrete lattice momenta, unprecedented by previous unbiased methods that include the frequency dependence of the vertex. With TUPS, we provide the first numerical evidence that the parquet approximation might indeed respect the Mermin-Wagner theorem and further systematically analyze the convergence with respect to the number of form factors. Using a single form factor seems to qualitatively describe the physics of the half-filled Hubbard model correctly, including the pseudogap behaviour. Quantitatively, using a single or a few form factors only is not sufficient at lower temperatures or stronger coupling.


title: Colorings with only rainbow arithmetic progressions

abstract: If we want to color $1,2,\ldots,n$ with the property that all 3-term arithmetic progressions are rainbow (that is, their elements receive 3 distinct colors), then, obviously, we need to use at least $n/2$ colors. Surprisingly, much fewer colors suffice if we are allowed to leave a negligible proportion of integers uncolored. Specifically, we prove that there exist $\alpha,\beta<1$ such that for every $n$, there is a subset $A$ of $\{1,2,\ldots,n\}$ of size at least $n-n^{\alpha}$, the elements of which can be colored with $n^{\beta}$ colors with the property that every 3-term arithmetic progression in $A$ is rainbow. Moreover, $\beta$ can be chosen to be arbitrarily small. Our result can be easily extended to $k$-term arithmetic progressions for any $k\ge 3$. As a corollary, we obtain the following result of Alon, Moitra, and Sudakov, which can be used to design efficient communication protocols over shared directional multi-channels. There exist $\alpha',\beta'<1$ such that for every $n$, there is a graph with $n$ vertices and at least $\binom{n}{2}-n^{1+\alpha'}$ edges, whose edge set can be partitioned into at most $n^{1+\beta'}$ induced matchings.


title: Josephson radiation from nonlinear dynamics of Majorana zero modes

abstract: Josephson radiation is a powerful method to probe Majorana zero modes in topological superconductors. Recently, Josephson radiation with half the Josephson frequency has been experimentally observed in a HgTe-based junction, possibly from Majorana zero modes. However, this radiation vanishes above a critical voltage, sharply contradicting previous theoretical results. In this work, we theoretically obtain a radiation spectrum quantitatively in agreement with the experiment after including the nonlinear dynamics of the Majorana states into the standard resistively shunted junction model. We further predict two new structures of the radiation spectrum for future experimental verification: an interrupted emission line and a chaotic regime. We develop a fixed-point analysis to understand all these features. Our results resolve an apparent discrepancy between theory and experiments, and will inspire reexamination of structures in radiation spectra of various topological Josephson junctions.

categories: cond-mat.supr-con cond-mat.mes-hall cond-mat.other nlin.CD quant-ph


title: Differentiable spaces that are subcartesian

abstract: We show that the differential structure of the orbit space of a proper action of a Lie group on a smooth manifold is continuously reflexive. This implies that the orbit space is a differentiable space in the sense of Smith, which ensures that the orbit space has an exterior algebra of differenial forms, which statisfies Smith's version of de Rham's theorem. Because the orbit space is a locally closed subcartesian space, it has vector fields and their flows.


title: Detectors for high-energy messengers from the Universe

abstract: High-energy messengers from the Universe comprise charged cosmic rays, gamma rays and neutrinos. Here we summarise the detection principles and detection schemes for these particles, with a focus on ground-based instruments which employ natural media such as air, ice, or water as their detection medium.


title: High-statistics modeling of complex pedestrian avoidance scenarios

abstract: Quantitatively modeling the trajectories and behavior of pedestrians walking in crowds is an outstanding fundamental challenge deeply connected with the physics of flowing active matter, from a scientific point of view, and having societal applications entailing individual safety and comfort, from an application perspective. In this contribution, we review a pedestrian dynamics modeling approach, previously proposed by the authors, aimed at reproducing some of the statistical features of pedestrian motion. Comparing with high-statistics pedestrian dynamics measurements collected in real-life conditions (from hundreds of thousands to millions of trajectories), we modeled quantitatively the statistical features of the undisturbed motion (i.e. in absence of interactions with other pedestrians) as well as the avoidance dynamics triggered by a pedestrian incoming in the opposite direction. This was accomplished through (coupled) Langevin equations with potentials including multiple preferred velocity states and preferred paths. In this chapter we review this model, discussing some of its limitations, in view of its extension toward a more complex case: the avoidance dynamics of a single pedestrian walking through a crowd that is moving in the opposite direction. We analyze some of the challenges connected to this case and present extensions to the model capable of reproducing some features of the motion.


title: Polynomial Rewritings from Expressive Description Logics with Closed Predicates to Variants of Datalog

abstract: In many scenarios, complete and incomplete information coexist. For this reason, the knowledge representation and database communities have long shown interest in simultaneously supporting the closed- and the open-world views when reasoning about logic theories. Here we consider the setting of querying possibly incomplete data using logic theories, formalized as the evaluation of an ontology-mediated query (OMQ) that pairs a query with a theory, sometimes called an ontology, expressing background knowledge. This can be further enriched by specifying a set of closed predicates from the theory that are to be interpreted under the closed-world assumption, while the rest are interpreted with the open-world view. In this way we can retrieve more precise answers to queries by leveraging the partial completeness of the data. The central goal of this paper is to understand the relative expressiveness of OMQ languages in which the ontology is written in the expressive Description Logic (DL) ALCHOI and includes a set of closed predicates. We consider a restricted class of conjunctive queries. Our main result is to show that every query in this non-monotonic query language can be translated in polynomial time into Datalog with negation under the stable model semantics. To overcome the challenge that Datalog has no direct means to express the existential quantification present in ALCHOI, we define a two-player game that characterizes the satisfaction of the ontology, and design a Datalog query that can decide the existence of a winning strategy for the game. If there are no closed predicates, that is in the case of querying a plain ALCHOI knowledge base, our translation yields a positive disjunctive Datalog program of polynomial size. To the best of our knowledge, unlike previous translations for related fragments with expressive (non-Horn) DLs, these are the first polynomial time translations.


title: Improving Conversation Quality for VoIP Through Block Erasure Coding

abstract: The conversational quality of voice over IP (VoIP) depends on packet-loss rates, burstiness of packet loss, and delays (or latencies). The benefits for conversational voice quality of erasure coding attributable to its reduction in packet loss rates are widely appreciated. When block erasure coding is used, our analysis shows how those benefits are reduced or even eliminated by increases in delays and in a measure of burstiness of packet loss. We nevertheless show that the net effect of those three factors is still positive over a wide range of network loss rates provided that block sizes are sufficiently small and the sizes of decoding buffers have been optimized for real-time media. To perform this analysis, we develop a new analytical model describing the effects of block erasure coding on end-to-end network performance.


title: A Machine-learning based Probabilistic Perspective on Dynamic Security Assessment

abstract: Probabilistic security assessment and real-time dynamic security assessments (DSA) are promising to better handle the risks of system operations. The current methodologies of security assessments may require many time-domain simulations for some stability phenomena that are unpractical in real-time. Supervised machine learning is promising to predict DSA as their predictions are immediately available. Classifiers are offline trained on operating conditions and then used in real-time to identify operating conditions that are insecure. However, the predictions of classifiers can be sometimes wrong and hazardous if an alarm is missed for instance. A probabilistic output of the classifier is explored in more detail and proposed for probabilistic security assessment. An ensemble classifier is trained and calibrated offline by using Platt scaling to provide accurate probability estimates of the output. Imbalances in the training database and a cost-skewness addressing strategy are proposed for considering that missed alarms are significantly worse than false alarms. Subsequently, risk-minimised predictions can be made in real-time operation by applying cost-sensitive learning. Through case studies on a real data-set of the French transmission grid and on the IEEE 6 bus system using static security metrics, it is showcased how the proposed approach reduces inaccurate predictions and risks. The sensitivity on the likelihood of contingency is studied as well as on expected outage costs. Finally, the scalability to several contingencies and operating conditions are showcased.


title: Image Manipulation with Natural Language using Two-sidedAttentive Conditional Generative Adversarial Network

abstract: Altering the content of an image with photo editing tools is a tedious task for an inexperienced user. Especially, when modifying the visual attributes of a specific object in an image without affecting other constituents such as background etc. To simplify the process of image manipulation and to provide more control to users, it is better to utilize a simpler interface like natural language. Therefore, in this paper, we address the challenge of manipulating images using natural language description. We propose the Two-sidEd Attentive conditional Generative Adversarial Network (TEA-cGAN) to generate semantically manipulated images while preserving other contents such as background intact. TEA-cGAN uses fine-grained attention both in the generator and discriminator of Generative Adversarial Network (GAN) based framework at different scales. Experimental results show that TEA-cGAN which generates 128x128 and 256x256 resolution images outperforms existing methods on CUB and Oxford-102 datasets both quantitatively and qualitatively.


title: Cyber Physical Systems (CPS) Surveillance Using An Epidemic Model

abstract: Vast investments have recently been made worldwide in developing the Cyber-Physical System (CPS) technology with the expectations of improving economical and societal structures. However, great care must be paid to the CPS' complexity, the impact of emerging IoT (Internet of Things) protocols on the CPS infrastructure as well as the impact of information dissemination by these protocols on the safety of these infrastructures. This paper addresses the issue of CPS safety by proposing and evaluating the performance of a CPS management framework and the analysis of the dynamics of the underlining IoT network in the cyber-space. The main contributions of this paper are in threefold. Firstly, a new CPS framework is proposed; that: 1) builds around a layered architecture to compartmentalise the CPS functionalities into different modules for efficiency and scalability and 2) uses an inner feedback loop for the efficient management of CPS infrastructure. Secondly, building upon this framework, a novel diffusion model that uses the epidemic (interference) sets to produce accurate diffusion patterns across the CPS IoT subsystem is proposed. Finally, the proposed diffusion model is numerically analysed to show how it can be used to achieve efficient CPS surveillance in order to trigger reconfiguration to re-optimise the CPS when it is under stress. in IoT settings. The numerical analysis of the diffusion model shows that interference propagates in pairwise disjoint sets, with IoT nodes migrating from "susceptible" to "attacked" statuses and finally reaching the "removed" state at a predictable time. Deployment considerations on some of the current social and public networks are also onsidered


title: Thermalization of photoexcited carriers in two-dimensional transition metal dichalcogenides and internal quantum efficiency of van der Waals heterostructures

abstract: Van der Waals semiconductor heterostructures could be a platform to harness hot photoexcited carriers in the next generation of optoelectronic and photovoltaic devices. The internal quantum efficiency of hot-carrier devices is determined by the relation between photocarrier extraction and thermalization rates. Using \textit{ab-initio} methods we show that the photocarrier thermalization time in single-layer transition metal dichalcogenides strongly depends on the peculiarities of the phonon spectrum and the electronic spin-orbit coupling. In detail, the lifted spin degeneracy in the valence band suppresses the hole scattering on acoustic phonons, slowing down the thermalization of holes by one order of magnitude as compared to electrons. Moreover, the hole thermalization time behaves differently in MoS$_2$ and WSe$_2$ because spin-orbit interactions differ in these seemingly similar materials. We predict that the internal quantum efficiency of a tunneling van der Waals semiconductor heterostructure depends qualitatively on whether MoS$_2$ or WSe$_2$ is used.


title: On Lower Iteration Complexity Bounds for the Saddle Point Problems

abstract: In this paper, we study the lower iteration complexity bounds for finding the saddle point of a strongly convex and strongly concave saddle point problem: $\min_x\max_yF(x,y)$. We restrict the classes of algorithms in our investigation to be either pure first-order methods or methods using proximal mappings. The existing lower bound result for this type of problems is obtained via the framework of strongly monotone variational inequality problems, which corresponds to the case where the gradient Lipschitz constants ($L_x, L_y$ and $L_{xy}$) and strong convexity/concavity constants ($\mu_x$ and $\mu_y$) are uniform with respect to variables $x$ and $y$. However, specific to the min-max saddle point problem these parameters are naturally different. Therefore, one is led to finding the best possible lower iteration complexity bounds, specific to the min-max saddle point models. In this paper we present the following results. For the class of pure first-order algorithms, our lower iteration complexity bound is $\Omega\left(\sqrt{\frac{L_x}{\mu_x}+\frac{L_{xy}^2}{\mu_x\mu_y}+\frac{L_y}{\mu_y}}\cdot\ln\left(\frac{1}{\epsilon}\right)\right)$, where the term $\frac{L_{xy}^2}{\mu_x\mu_y}$ explains how the coupling influences the iteration complexity. Under several special parameter regimes, this lower bound has been achieved by corresponding optimal algorithms. However, whether or not the bound under the general parameter regime is optimal remains open. Additionally, for the special case of bilinear coupling problems, given the availability of certain proximal operators, a lower bound of $\Omega\left(\sqrt{\frac{L_{xy}^2}{\mu_x\mu_y}+1}\cdot\ln(\frac{1}{\epsilon})\right)$ is established in this paper, and optimal algorithms have already been developed in the literature.


title: Left-right crossings in the Miller-Abrahams random resistor network and in generalized Boolean models

abstract: We consider random graphs $\mathcal{G}$ built on a homogeneous Poisson point process on $\mathbb{R}^d$, $d\geq 2$, with points $x$ marked by i.i.d. random variables $E_x$. Fixed a symmetric function $h(\cdot, \cdot)$, the vertexes of $\mathcal{G}$ are given by points of the Poisson point process, while the edges are given by pairs $\{x,y\}$ with $x\not =y$ and $|x-y|\leq h(E_x,E_y)$. We call $\mathcal{G}$ Poisson $h$-generalized Boolean model, as one recovers the standard Poisson Boolean model by taking $h(a,b):=a+b$ and $E_x\geq 0$. Under general conditions, we show that in the supercritical phase the maximal number of vertex-disjoint left-right crossings in a box of size $n$ is lower bounded by $Cn^{d-1}$ apart from an event of exponentially small probability. As special applications, when the marks are non-negative, we consider the Poisson Boolean model and its generalization to $h(a,b)=(a+b)^\gamma$ with $\gamma>0$, the weight-dependent random connection models with max-kernel and with min-kernel and the graph obtained from the Miller-Abrahams random resistor network in which only filaments with conductivity lower bounded by a fixed positive constant are kept.


title: Analyticity and hp discontinuous Galerkin approximation of nonlinear Schr\"odinger eigenproblems

abstract: We study a class of nonlinear eigenvalue problems of Schr\"{o}dinger type, where the potential is singular on a set of points. Such problems are widely present in physics and chemistry, and their analysis is of both theoretical and practical interest. In particular, we study the regularity of the eigenfunctions of the operators considered, and we propose and analyze the approximation of the solution via an isotropically refined $hp$ discontinuous Galerkin (dG) method. We show that, for weighted analytic potentials and for up-to-quartic polynomial nonlinearities, the eigenfunctions belong to analytic-type non homogeneous weighted Sobolev spaces. We also prove quasi optimal a priori estimates on the error of the dG finite element method; when using an isotropically refined $hp$ space the numerical solution is shown to converge with exponential rate towards the exact eigenfunction. We conclude with a series of numerical tests to validate the theoretical results.


title: Parabolic SL(r)-opers

abstract: We define SL(r)-opers in the set-up of vector bundles on curves with a parabolic structure over a divisor. Basic properties of these objects are investigated.


title: Normality and uniqueness property of meromorphic function in terms of some differential polynomials

abstract: In this paper, we will consider normality and uniqueness property of a family $\mathcal{F}$ of meromorphic functions when $[Q(f)]^{(k)}$ and $[Q(g)]^{(k)}$ share $\alpha$ ignoring multiplicities, for any $f,g\in \mathcal{F}$, where $Q$ is a polynomial and $\alpha $ is a small function. Our results do not need all of zeros of $Q$ have large order as other authors's results.


title: Performance and error modeling of Deutsch's algorithm in IBM Q

abstract: The performance of quantum computers today can be studied by analyzing the effect of errors in the result of simple quantum algorithms. The modeling and characterization of these errors is relevant to correct them, for example, with quantum correcting codes. In this article we characterize the error of the five qubits quantum computer ibmqx4 (IBM Q), using a Deutsch algorithm and modeling the error by Generalized Amplitude Damping (GAD) and a unitary misalignment operation. Keywords: Quantum Deutsch's algorithm, Quantum error models, IBM Quantum Experience


title: Screening lengths and osmotic compressibility of flexible polyelectrolytes in excess salt solutions

abstract: We report results of small angle neutron scattering measurements made on sodium polystyrene sulfonate in aqueous salt solutions. The correlation length and osmotic compressibility are measured as a function of polymer (c) and added salt ($c_S$) concentrations, and the results are compared with scaling predictions and the random-phase approximation (RPA). In Dobrynin et al's scaling model the osmotic pressure consists of a counter-ion contribution and a polymer contribution. The polymer contribution is found to be two orders of magnitude smaller than expected from the scaling model, in agreement with earlier observations made on neutral polymers in good solvent condition. RPA allows the determination of single-chain dimensions in semidilute solutions at high polymer and added salt concentrations, but fails for $c_S < 2$ M. The \chi parameter can be modelled as the sum of an intrinsic contribution and an electrostatic term: $\chi \simeq \chi0+K/c_S^{1/2}$, where $\chi_0 > 0.5$ is consistent with the hydrophobic nature of the backbone of NaPSS. The dependence of $\chi_{elec} \simeq 1/c_S^{1/2}$ disagrees with the random-phase approximation ($\chi_{elec} \simeq 1/c_S$), but agrees with the light scattering results in dilute solution and Dobrynin et al's scaling treatment of electrostatic excluded volume.


title: From a discrete model of chemotaxis with volume-filling to a generalised Patlak-Keller-Segel model

abstract: We present a discrete model of chemotaxis whereby cells responding to a chemoattractant are seen as individual agents whose movement is described through a set of rules that result in a biased random walk. In order to take into account possible alterations in cellular motility observed at high cell densities (i.e. volume-filling), we let the probabilities of cell movement be modulated by a decaying function of the cell density. We formally show that a general form of the celebrated Patlak-Keller-Segel (PKS) model of chemotaxis can be formally derived as the appropriate continuum limit of this discrete model. The family of steady-state solutions of such a generalised PKS model are characterised and the conditions for the emergence of spatial patterns are studied via linear stability analysis. Moreover, we carry out a systematic quantitative comparison between numerical simulations of the discrete model and numerical solutions of the corresponding PKS model, both in one and in two spatial dimensions. The results obtained indicate that there is excellent quantitative agreement between the spatial patterns produced by the two models. Finally, we numerically show that the outcomes of the two models faithfully replicate those of the classical PKS model in a suitable asymptotic regime.


title: On Kronecker's Solvability Theorem

abstract: Kronecker's 1856 paper contains a solvability theorem that is useful to construct unsolvable algebraic equations. We show how Kronecker's solvability theorem can be derived naturally via a polynomial complete decomposition method. This method is similar to D\"orrie, but we fill a gap that appears in his proof.


title: Optical and electronic properties of low-density InAs/InP quantum dot-like structures devoted to single-photon emitters at telecom wavelengths

abstract: Due to their band-structure and optical properties, InAs/InP quantum dots (QDs) constitute a promising system for single-photon generation at third telecom window of silica fibers and for applications in quantum communication networks. However, obtaining the necessary low in-plane density of emitters remains a challenge. Such structures are also still less explored than their InAs/GaAs counterparts regarding optical properties of confined carriers. Here, we report on the growth via metal-organic vapor phase epitaxy and investigation of low-density InAs/InP QD-like structures, emitting in the range of 1.2-1.7 ${\mu}$m, which includes the S, C, and L bands of the third optical window. We observe multiple photoluminescence (PL) peaks originating from flat QDs with height of small integer numbers of material monolayers. Temperature-dependent PL reveals redistribution of carriers between families of QDs. Via time-resolved PL, we obtain radiative lifetimes nearly independent of emission energy in contrast to previous reports on InAs/InP QDs, which we attribute to strongly height-dependent electron-hole correlations. Additionally, we observe neutral and charged exciton emission from spatially isolated emitters. Using the 8-band k${\cdot}$p model and configuration-interaction method, we successfully reproduce energies of emission lines, the dispersion of exciton lifetimes, carrier activation energies, as well as the biexciton binding energy, which allows for a detailed and comprehensive analysis of the underlying physics.


title: Improving Knowledge-aware Dialogue Generation via Knowledge Base Question Answering

abstract: Neural network models usually suffer from the challenge of incorporating commonsense knowledge into the open-domain dialogue systems. In this paper, we propose a novel knowledge-aware dialogue generation model (called TransDG), which transfers question representation and knowledge matching abilities from knowledge base question answering (KBQA) task to facilitate the utterance understanding and factual knowledge selection for dialogue generation. In addition, we propose a response guiding attention and a multi-step decoding strategy to steer our model to focus on relevant features for response generation. Experiments on two benchmark datasets demonstrate that our model has robust superiority over compared methods in generating informative and fluent dialogues. Our code is available at https://github.com/siat-nlp/TransDG.


title: High energy particle collisions in static, spherically symmetric black-hole-like wormholes

abstract: A Damour-Solodukhin wormhole with a metric which is similar to a Schwarzschild black hole seems to be a black hole mimicker since it is difficult to distinguish them by practical astrophysical observations. In this paper, we investigate a center-of-mass energy for the collision of two test particles in the Damour-Solodukhin wormhole spacetime. We show that the center-of-mass energy for the head-on collision of the particles is large if the difference between the metrics of the wormhole and the black hole is small. To deeply understand the high energy particle collision, we generalize the head-on collision to static, spherically symmetric black-hole-like wormholes.


title: Extension, embedding and global stability in two dimensional monotone maps

abstract: We consider the general second order difference equation $x_{n+1}=F(x_n,x_{n-1})$ in which $F$ is continuous and of mixed monotonicity in its arguments. In equations with negative terms, a persistent set can be a proper subset of the positive orthant, which motivates studying global stability with respect to compact invariant domains. In this paper, we assume that $F$ has a semi-convex compact invariant domain, then make an extension of $F$ on a rectangular domain that contains the invariant domain. The extension preserves the continuity and monotonicity of $F.$ Then we use the embedding technique to embed the dynamical system generated by the extended map into a higher dimensional dynamical system, which we use to characterize the asymptotic dynamics of the original system. Some illustrative examples are given at the end.


title: Spinor-Helicity Formalism for Massless Fields in AdS$_4$ II: Potentials

abstract: In a recent letter we suggested a natural generalization of the flat-space spinor-helicity formalism in four dimensions to anti-de Sitter space. In the present paper we give some technical details that were left implicit previously. For lower-spin fields we also derive potentials associated with the previously found plane wave solutions for field strengths. We then employ these potentials to evaluate some three-point amplitudes. This analysis illustrates a typical computation of an amplitude without internal lines in our formalism.


title: First analytical calculation of black hole shadow in McVittie metric

abstract: Cosmic expansion influences the angular size of black hole shadow. The most general way to describe a black hole embedded into an expanding universe is to use the McVittie metric. So far, the exact analytical solution for the shadow size in the McVittie metric, valid for arbitrary law of expansion and arbitrary position of the observer, has not been found. In this paper, we present the first analytical solution for angular size of black hole shadow in McVittie metric as seen by observer comoving with the cosmic expansion. We use a method of matched asymptotic expansions to find approximate solution valid within the entire range of possible positions of observer. As two particular examples, we consider black hole in de Sitter and matter dominated universe.


title: A symplectic restriction problem

abstract: We investigate the norm of a degree 2 Siegel modular form of asymptotically large weight whose argument is restricted to the 3-dimensional subspace of its imaginary part. On average over Saito-Kurokawa lifts an asymptotic formula is established that is consistent with the mass equidistribution conjecture on the Siegel upper half space as well as the Lindelof hypothesis for the corresponding Koecher-Maass series. The ingredients include a new relative trace formula for pairs of Heegner periods.


title: BDoS: Blockchain Denial of Service

abstract: Proof-of-work (PoW) cryptocurrency blockchains like Bitcoin secure vast amounts of money. Their operators, called miners, expend resources to generate blocks and receive monetary rewards for their effort. Blockchains are, in principle, attractive targets for Denial-of-Service (DoS) attacks: There is fierce competition among coins, as well as potential gains from short selling. Classical DoS attacks, however, typically target a few servers and cannot scale to systems with many nodes. There have been no successful DoS attacks to date against prominent cryptocurrencies. We present Blockchain DoS (BDoS), the first incentive-based DoS attack that targets PoW cryptocurrencies. Unlike classical DoS, BDoS targets the system's mechanism design: It exploits the reward mechanism to discourage miner participation. Previous DoS attacks against PoW blockchains require an adversary's mining power to match that of all other miners. In contrast, BDoS can cause a blockchain to grind to a halt with significantly fewer resources, e.g., 21% as of March 2020 in Bitcoin, according to our empirical study. We find that Bitcoin's vulnerability to BDoS increases rapidly as the mining industry matures and profitability drops. BDoS differs from known attacks like Selfish Mining in its aim not to increase an adversary's revenue, but to disrupt the system. Although it bears some algorithmic similarity to those attacks, it introduces a new adversarial model, goals, algorithm, and game-theoretic analysis. Beyond its direct implications for operational blockchains, BDoS introduces the novel idea that an adversary can manipulate miners' incentives by proving the existence of blocks without actually publishing them.


title: Rearrangement and polarization

abstract: The paper has two main goals. The first is to take a new approach to rearrangements on certain classes of measurable real-valued functions on $\mathbb{R}^n$. Rearrangements are maps that are monotonic (up to sets of measure zero) and equimeasurable, i.e., they preserve the measure of super-level sets of functions. All the principal known symmetrization processes for functions, such as Steiner and Schwarz symmetrization, are rearrangements, and these have a multitude of applications in diverse areas of the mathematical sciences. The second goal is to understand which properties of rearrangements characterize polarization, a special rearrangement that has proved particularly useful in a number of contexts. In order to achieve this, new results are obtained on the structure of measure-preserving maps on convex bodies and of rearrangements generally.


title: The turbulent stress spectrum in the inertial and subinertial ranges

abstract: For velocity and magnetic fields, the turbulent pressure and, more generally, the squared fields such as the components of the turbulent stress tensor, play important roles in astrophysics. For both one and three dimensions, we derive the equations relating the energy spectra of the fields to the spectra of their squares. We solve the resulting integrals numerically and show that for turbulent energy spectra of Kolmogorov type, the spectral slope of the stress spectrum is also of Kolmogorov type. For shallower turbulence spectra, the slope of the stress spectrum quickly approaches that of white noise, regardless of how blue the spectrum of the field is. For fully helical fields, the stress spectrum is elevated by about a factor of two in the subinertial range, while that in the inertial range remains unchanged. We discuss possible implications for understanding the spectrum of primordial gravitational waves from causally generated magnetic fields during cosmological phase transitions in the early universe. We also discuss potential diagnostic applications to the interstellar medium, where polarization and scintillation measurements characterize the square of the magnetic field.