title: Excited rotational states of molecules in a superfluid

abstract: We combine experimental and theoretical approaches to explore excited rotational states of molecules embedded in helium nanodroplets using CS$_2$ and I$_2$ as examples. Laser-induced nonadiabatic molecular alignment is employed to measure spectral lines for rotational states extending beyond those initially populated at the 0.37 K droplet temperature. We construct a simple quantum mechanical model, based on a linear rotor coupled to a single-mode bosonic bath, to determine the rotational energy structure in its entirety. The calculated and measured spectral lines are in good agreement. We show that the effect of the surrounding superfluid on molecular rotation can be rationalized by a single quantity -- the angular momentum, transferred from the molecule to the droplet.

categories: physics.chem-ph cond-mat.mes-hall cond-mat.quant-gas physics.atm-clus quant-ph


title: Never Go Full Batch (in Stochastic Convex Optimization)

abstract: We study the generalization performance of $\text{full-batch}$ optimization algorithms for stochastic convex optimization: these are first-order methods that only access the exact gradient of the empirical risk (rather than gradients with respect to individual data points), that include a wide range of algorithms such as gradient descent, mirror descent, and their regularized and/or accelerated variants. We provide a new separation result showing that, while algorithms such as stochastic gradient descent can generalize and optimize the population risk to within $\epsilon$ after $O(1/\epsilon^2)$ iterations, full-batch methods either need at least $\Omega(1/\epsilon^4)$ iterations or exhibit a dimension-dependent sample complexity.


title: Dealing with overdispersion in multivariate count data

abstract: The problem of overdispersion in multivariate count data is a challenging issue. Nowadays, it covers a central role mainly due to the relevance of modern technologies data, such as Next Generation Sequencing and textual data from the web or digital collections. This work presents a comprehensive analysis of the likelihood-based models for extra-variation data proposed in the scientific literature. Particular attention will be paid to the models feasible for high-dimensional data. A new approach together with its parametric-estimation procedure is proposed. It is a deeper version of the Dirichlet-Multinomial distribution and it leads to important results allowing to get a better approximation of the observed variability. A significative comparison of these models is made through two different simulation studies that both confirm that the new model considered in this work allows to achieve the best results.


title: SinGAN-Seg: Synthetic training data generation for medical image segmentation

abstract: Analyzing medical data to find abnormalities is a time-consuming and costly task, particularly for rare abnormalities, requiring tremendous efforts from medical experts. Artificial intelligence has become a popular tool for the automatic processing of medical data, acting as a supportive tool for doctors. However, the machine learning models used to build these tools are highly dependent on the data used to train them. Large amounts of data can be difficult to obtain in medicine due to privacy, expensive and time-consuming annotations, and a general lack of data samples for infrequent lesions. Here, we present a novel synthetic data generation pipeline, called SinGAN-Seg, to produce synthetic medical images with corresponding masks using a single training image. Our method is different from the traditional GANs because our model needs only a single image and the corresponding ground truth to train. Our method produces alternative artificial segmentation datasets with ground truth masks when real datasets are not allowed to share. The pipeline is evaluated using qualitative and quantitative comparisons between real and synthetic data to show that the style transfer technique used in our pipeline significantly improves the quality of the generated data and our method is better than other state-of-the-art GANs to prepare synthetic images when the size of training datasets are limited. By training UNet++ using both real and the synthetic data generated from the SinGAN-Seg pipeline, we show that models trained with synthetic data have very close performances to those trained on real data when the datasets have a considerable amount of data. In contrast, Synthetic data generated from the SinGAN-Seg pipeline can improve the performance of segmentation models when training datasets do not have a considerable amount of data. The code is available on GitHub.


title: Approximate Frank-Wolfe Algorithms over Graph-structured Support Sets

abstract: In this paper, we consider approximate Frank-Wolfe (FW) algorithms to solve convex optimization problems over graph-structured support sets where the linear minimization oracle (LMO) cannot be efficiently obtained in general. We first demonstrate that two popular approximation assumptions (additive and multiplicative gap errors) are not applicable in that no cheap gap-approximate LMO oracle exists. Thus, approximate dual maximization oracles (DMO) are proposed, which approximate the inner product rather than the gap. We prove that the standard FW method using a $\delta$-approximate DMO converges as $\mathcal{O}((1-\delta) \sqrt{s}/\delta)$ in the worst case, and as $\mathcal{O}(L/(\delta^2 t))$ over a $\delta$-relaxation of the constraint set. Furthermore, when the solution is on the boundary, a variant of FW converges as $\mathcal{O}(1/t^2)$ under the quadratic growth assumption. Our empirical results suggest that even these improved bounds are pessimistic, showing fast convergence in recovering real-world images with graph-structured sparsity.


title: Simulations of systematic effects arising from cosmic rays in the LiteBIRD space telescope, and effects on the measurements of CMB $B$-modes

abstract: Systematic effects arising from cosmic rays have been shown to be a significant threat to space telescopes using high-sensitivity bolometers. The LiteBIRD space mission aims to measure the polarised Cosmic Microwave Background with unprecedented sensitivity, but its positioning in space will also render it susceptible to cosmic ray effects. We present an end-to-end simulator for evaluating the expected scale of cosmic ray effect on the LiteBIRD space mission, which we demonstrate on a subset of detectors on the 166 GHz band of the Low Frequency Telescope. The simulator couples the expected proton flux at L2 with a model of the thermal response of the LFT focal plane and the electrothermal response of its superconducting detectors, producing time-ordered data which is projected into simulated sky maps and subsequent angular power spectra.


title: Epidemic processes with vaccination and immunity loss studied with the BLUES function method

abstract: The Beyond-Linear-Use-of-Equation-Superposition (BLUES) function method is extended to coupled nonlinear ordinary differential equations and applied to the epidemiological SIRS model with vaccination. Accurate analytic approximations are obtained for the time evolution of the susceptible and infected population fractions. The results are compared with those obtained with alternative methods, notably Adomian decomposition, variational iteration and homotopy perturbation. In contrast with these methods, the BLUES iteration converges rapidly, globally, and captures the exact asymptotic behavior for long times. The time of the infection peak is calculated using the BLUES approximants and the results are compared with numerical solutions, which indicate that the method is able to generate useful analytic expressions that coincide with the (numerically) exact ones already for a small number of iterations.


title: The Lightweaver Framework for NLTE Radiative Transfer in Python

abstract: Tools for computing detailed optically thick spectral line profiles out of local thermodynamic equilibrium have always been focused on speed, due to the large computational effort involved. With the Lightweaver framework, we have produced a more flexible, modular toolkit for building custom tools in a high-level language, Python, without sacrificing speed against the current state of the art. The goal of providing a more flexible method for constructing these complex simulations is to decrease the barrier to entry and allow more rapid exploration of the field. In this paper we present an overview of the theory of optically thick NLTE radiative transfer, the numerical methods implemented in Lightweaver including the problems of time-dependent populations and charge-conservation, as well as an overview of the components most users will interact with, to demonstrate their flexibility.


title: Photon-mediated interactions near a Dirac photonic crystal slab

abstract: Dirac energy-dispersions are responsible of the extraordinary transport properties of graphene. This motivated the quest for engineering such energy dispersions also in photonics, where they have been predicted to lead to many exciting phenomena. One paradigmatic example is the possibility of obtaining power-law, decoherence-free, photon-mediated interactions between quantum emitters when they interact with such photonic baths. This prediction, however, has been obtained either by using toy-model baths, which neglect polarization effects, or by restricting the emitter position to high-symmetry points of the unit cell in the case of realistic structures. Here, we develop a semi-analytical theory of dipole radiation near photonic Dirac points in realistic structures that allows us to compute the effective photon-mediated interactions along the whole unit cell. Using this theory, we are able to find the positions that maximize the emitter interactions and their range, finding a trade-off between them. Besides, using the polarization degree of freedom, we also find positions where the nature of the collective interactions change from being coherent to dissipative ones. Thus, our results significantly improve the knowledge of Dirac light-matter interfaces, and can serve as a guidance for future experimental designs.

categories: cond-mat.mes-hall physics.atom-ph physics.optics quant-ph


title: Towards targeted kinetic trapping of organic-inorganic interfaces: A computational case study

abstract: Properties of inorganic-organic interfaces, such as their interface dipole, strongly depend on the structural arrangements of the organic molecules. A prime example is tetracyanoethylene (TCNE) on Cu(111), which shows two different phases with significantly different work functions. However, the thermodynamically pre-ferred phase is not always the one that is best suited for a given application. Rather, it may be desirable to selectively grow a kinetically trapped structure. In this work, we employ density functional theory and transi-tion state theory to discuss under which conditions such a kinetic trapping might be possible for the model system of TCNE on Cu. Specifically, we want to trap the molecules in the first layer in a flat-lying orientation. This requires temperatures that are sufficiently low to suppress the re-orientation of the molecules, which is thermodynamically more favorable for high dosages, but still high enough to enable ordered growth through diffusion of molecules. Based on the temperature-dependent diffusion and re-orientation rates, we propose a temperature range at which the re-orientation can be successfully suppressed.


title: Hunting dark energy with pressure-dependent photon-photon scattering

abstract: Toward understanding of dark energy, we propose a novel method to directly produce a chameleon particle and force its decay under controlled gas pressure in a laboratory-based experiment. {\it Chameleon gravity}, characterized by its varying mass depending on its environment, could be a source of dark energy, which is predicted in modified gravity. A remarkable finding is a correspondence between the varying mass and a characteristic pressure dependence of a stimulated photon-photon scattering rate in a dilute gas surrounding a focused photon-beam spot. By observing a steep pressure dependence in the scattering rate, we can directly extract the characteristic feature of the chameleon mechanism. As a benchmark model of modified gravity consistent with the present cosmological observations, a reduced $F(R)$ gravity is introduced in the laboratory scale. We then demonstrate that the proposed method indeed enables a wide-ranging parameter scan of such a chameleon model with the varying mass around $(0.1-1)~[\mu \mathrm{eV}]$ by controlling pressure values.


title: Two-Pulse Direct Laser Acceleration in a Laser-Driven Plasma Accelerator

abstract: We present methods and preliminary observations of two pulse Direct Laser Acceleration in a Laser-Driven Plasma Accelerator. This acceleration mechanism uses a second co-propagating laser pulse to overlap and further accelerate electrons in a wakefield bubble, increasing energy at the cost of emittance when compared to traditional laser wakefield acceleration (LWFA). To this end, we introduce a method of femtosecond scale control of time delay between two co-propagating pulses. We show energy enhancement when the separation between the two pulses approaches the bubble radius.


title: EmoGen: Quantifiable Emotion Generation and Analysis for Experimental Psychology

abstract: 3D facial modelling and animation in computer vision and graphics traditionally require either digital artist's skill or complex pipelines with objective-function-based solvers to fit models to motion capture. This inaccessibility of quality modelling to a non-expert is an impediment to effective quantitative study of facial stimuli in experimental psychology. The EmoGen methodology we present in this paper solves the issue democratising facial modelling technology. EmoGen is a robust and configurable framework letting anyone author arbitrary quantifiable facial expressions in 3D through a user-guided genetic algorithm search. Beyond sample generation, our methodology is made complete with techniques to analyse distributions of these expressions in a principled way. This paper covers the technical aspects of expression generation, specifically our production-quality facial blendshape model, automatic corrective mechanisms of implausible facial configurations in the absence of artist's supervision and the genetic algorithm implementation employed in the model space search. Further, we provide a comparative evaluation of ways to quantify generated facial expressions in the blendshape and geometric domains and compare them theoretically and empirically. The purpose of this analysis is 1. to define a similarity cost function to simulate model space search for convergence and parameter dependence assessment of the genetic algorithm and 2. to inform the best practices in the data distribution analysis for experimental psychology.


title: Adaptive Stochastic ADMM for Decentralized Reinforcement Learning in Edge Industrial IoT

abstract: Edge computing provides a promising paradigm to support the implementation of Industrial Internet of Things (IIoT) by offloading tasks to nearby edge nodes. Meanwhile, the increasing network size makes it impractical for centralized data processing due to limited bandwidth, and consequently a decentralized learning scheme is preferable. Reinforcement learning (RL) has been widely investigated and shown to be a promising solution for decision-making and optimal control processes. For RL in a decentralized setup, edge nodes (agents) connected through a communication network aim to work collaboratively to find a policy to optimize the global reward as the sum of local rewards. However, communication costs, scalability and adaptation in complex environments with heterogeneous agents may significantly limit the performance of decentralized RL. Alternating direction method of multipliers (ADMM) has a structure that allows for decentralized implementation, and has shown faster convergence than gradient descent based methods. Therefore, we propose an adaptive stochastic incremental ADMM (asI-ADMM) algorithm and apply the asI-ADMM to decentralized RL with edge-computing-empowered IIoT networks. We provide convergence properties for proposed algorithms by designing a Lyapunov function and prove that the asI-ADMM has $O(\frac{1}{k}) +O(\frac{1}{M})$ convergence rate where $k$ and $ M$ are the number of iterations and batch samples, respectively. Then, we test our algorithm with two supervised learning problems. For performance evaluation, we simulate two applications in decentralized RL settings with homogeneous and heterogeneous agents. The experiment results show that our proposed algorithms outperform the state of the art in terms of communication costs and scalability, and can well adapt to complex IoT environments.


title: Carrier-Envelope Phase Controlled Electron Injection into a Laser-Wakefield Accelerator

abstract: Single cycle laser pulse propagating inside a plasma causes controllable asymmetric plasma electron expulsion from laser according to laser carrier envelope phase (CEP) and forms an oscillating plasma bubble. Bubble's transverse wakefield is modified, exhibiting periodic modulation. Injection scheme for a laser wakefield accelerator combining a single cycle low frequency laser pulse and a many cycle high frequency laser pulse is proposed. The co-propagating laser pulses form a transversely oscillating wakefield which efficiently traps and accelerates electrons from background plasma. By tuning the initial CEP of the single cycle laser pulse, injection dynamics can be modified independently of the many cycle pulse, enabling control of electron bunches' spatial profile.


title: Modeling Betatron Radiation Diagnostics for E-310 -- Trojan Horse

abstract: The E-310 experiment at the Facility for Advanced Accelerator Experimental Tests II (FACET-II) at SLAC National Accelerator Laboratory aims to demonstrate the creation of high brightness beams from a plasma photocathode. Betatron radiation will be measured by a Compton spectrometer, currently under development at UCLA, to provide single-shot, nondestructive beam diagnostics. We give a brief overview of this spectrometer as well as double differential spectrum reconstruction from the spectrometer image and beam parameter reconstruction from this double differential spectrum. We discuss three models for betatron radiation: an idealized particle tracking code which computes radiation from Li\'enard-Wiechert potentials, a quasi-static particle-in-cell (PIC) code which computes radiation from Li\'enard-Wiechert potentials, and a full PIC code which computes radiation using a Monte Carlo QED method. Spectra computed by the three models for a simple case are compared.


title: Adaptive 3D descattering with a dynamic synthesis network

abstract: Deep learning has been broadly applied to imaging in scattering applications. A common framework is to train a descattering network for image recovery by removing scattering artifacts. To achieve the best results on a broad spectrum of scattering conditions, individual "expert" networks need to be trained for each condition. However, the expert's performance sharply degrades when the testing condition differs from the training. An alternative brute-force approach is to train a "generalist" network using data from diverse scattering conditions. It generally requires a larger network to encapsulate the diversity in the data and a sufficiently large training set to avoid overfitting. Here, we propose an adaptive learning framework, termed dynamic synthesis network (DSN), which dynamically adjusts the model weights and adapts to different scattering conditions. The adaptability is achieved by a novel "mixture of experts" architecture that enables dynamically synthesizing a network by blending multiple experts using a gating network. We demonstrate the DSN in holographic 3D particle imaging for a variety of scattering conditions. We show in simulation that our DSN provides generalization across a continuum of scattering conditions. In addition, we show that by training the DSN entirely on simulated data, the network can generalize to experiments and achieve robust 3D descattering. We expect the same concept can find many other applications, such as denoising and imaging in scattering media. Broadly, our dynamic synthesis framework opens up a new paradigm for designing highly adaptive deep learning and computational imaging techniques.


title: Tunable directional emission and collective dissipation with quantum metasurfaces

abstract: Subwavelength atomic arrays, recently labeled as quantum metamaterials, have emerged as an exciting platform for obtaining novel quantum optical phenomena. The strong interference effects in these systems generate subradiant excitations that propagate through the atomic array with very long lifetimes. Here, we demonstrate that one can harness these excitations to obtain tunable directional emission patterns and collective dissipative couplings when placing judiciously additional atoms nearby the atomic array. For doing that, we first characterize the optimal array geometry to obtain directional emission patterns. Then, we characterize the best atomic positions to couple efficiently to the subradiant metasurface excitations, and provide several improvement strategies based on entangled atomic clusters or bilayers. Afterwards, we also show how the directionality of the emission pattern can be controlled through the relative dipole orientation between the auxiliary atoms and the one of the array. Finally, we benchmark how these directional emission patterns translate into to collective, anisotropic dissipative couplings between the auxiliary atoms by studying the lifetime modification of atomic entangled states.


title: Stiffness and atomic-scale friction in superlubricant MoS$_2$ bilayers

abstract: By using ab-initio-accurate force fields and molecular dynamics simulations we demonstrate that the layer stiffness has profound effects on the superlubricant state of two-dimensional van der Waals heterostructures. These are engineered to have identical inter-layer sliding energy surfaces, but layers of different rigidity, so that the effects of the stiffness on the microscopic friction in the superlubricant state can be isolated. A twofold increase in the intra-layer stiffness reduces the friction by approximately a factor six. Most importantly, we find two sliding regimes as a function of the sliding velocity. At low velocity the heat generated by the motion is efficiently exchanged between the layers and the friction is independent on whether the sliding layer is softer or harder than the substrate. In contrast, at high velocity the friction heat flux cannot be exchanged fast enough, and the build up of significant temperature gradients between the layers is observed. In this situation the temperature profile depends on whether the slider is softer than the substrate.


title: Symplectic modular symmetry in heterotic string vacua: flavor, CP, and $R$-symmetries

abstract: We examine a common origin of four-dimensional flavor, CP, and $U(1)_R$ symmetries in the context of heterotic string theory with standard embedding. We find that flavor and $U(1)_R$ symmetries are unified into the $Sp(2h+2, \mathbb{C})$ modular symmetries of Calabi-Yau threefolds with $h$ being the number of moduli fields. Together with the $\mathbb{Z}_2^{\rm CP}$ CP symmetry, they are enhanced to $GSp(2h+2, \mathbb{C})\simeq Sp(2h+2, \mathbb{C})\rtimes \mathbb{Z}_2^{\rm CP}$ generalized symplectic modular symmetry. We exemplify the $S_3, S_4, T^\prime, S_9$ non-Abelian flavor symmetries on explicit toroidal orbifolds with and without resolutions and $\mathbb{Z}_2,S_4$ flavor symmetries on three-parameter examples of Calabi-Yau threefolds. Thus, non-trivial flavor symmetries appear in not only the exact orbifold limit but also a certain class of Calabi-Yau threefolds. These flavor symmetries are further enlarged to non-Abelian discrete groups by the CP symmetry.


title: Differentiable Particle Filters through Conditional Normalizing Flow

abstract: Differentiable particle filters provide a flexible mechanism to adaptively train dynamic and measurement models by learning from observed data. However, most existing differentiable particle filters are within the bootstrap particle filtering framework and fail to incorporate the information from latest observations to construct better proposals. In this paper, we utilize conditional normalizing flows to construct proposal distributions for differentiable particle filters, enriching the distribution families that the proposal distributions can represent. In addition, normalizing flows are incorporated in the construction of the dynamic model, resulting in a more expressive dynamic model. We demonstrate the performance of the proposed conditional normalizing flow-based differentiable particle filters in a visual tracking task.


title: Ultrasonic chaining of emulsion droplets

abstract: Emulsion droplets trapped in an ultrasonic levitator behave in two ways that solid spheres do not: (1) Individual droplets spin rapidly about an axis parallel to the trapping plane, and (2) coaxially spinning droplets form long chains aligned with their common axis of rotation. Acoustically-organized chains interact hydrodynamically, either to merge into longer chains or to form three-dimensional bundles of chains. Solid spheres, by contrast, form close-packed planar crystals drawn together by the sound-mediated secondary Bjerknes interaction. We demonstrate the chain-to-crystal transition with a model system in which fluid emulsion droplets can be photopolymerized into solid spheres without significantly changing other material properties. The behavior of this experimental system is quantitatively consistent with an acoustohydrodynamic model for spinning spheres in an acoustic levitator. This study therefore introduces acoustically-driven spinning as a mechanism for guiding self-organization of acoustically levitated matter.


title: Data Deduplication with Random Substitutions

abstract: Data deduplication saves storage space by identifying and removing repeats in the data stream. Compared with traditional compression methods, data deduplication schemes are more time efficient and are thus widely used in large scale storage systems. In this paper, we provide an information-theoretic analysis on the performance of deduplication algorithms on data streams in which repeats are not exact. We introduce a source model in which probabilistic substitutions are considered. More precisely, each symbol in a repeated string is substituted with a given edit probability. Deduplication algorithms in both the fixed-length scheme and the variable-length scheme are studied. The fixed-length deduplication algorithm is shown to be unsuitable for the proposed source model as it does not take into account the edit probability. Two modifications are proposed and shown to have performances within a constant factor of optimal with the knowledge of source model parameters. We also study the conventional variable-length deduplication algorithm and show that as source entropy becomes smaller, the size of the compressed string vanishes relative to the length of the uncompressed string, leading to high compression ratios.


title: Profinite groups with restricted centralizers of $\pi$-elements

abstract: A group $G$ is said to have restricted centralizers if for each $g$ in $G$ the centralizer $C_G(g)$ either is finite or has finite index in $G$. Shalev showed that a profinite group with restricted centralizers is virtually abelian. Given a set of primes $\pi$, we take interest in profinite groups with restricted centralizers of $\pi$-elements. It is shown that such a profinite group has an open subgroup of the form $P\times Q$, where $P$ is an abelian pro-$\pi$ subgroup and $Q$ is a pro-$\pi'$ subgroup. This significantly strengthens a result from our earlier paper.


title: Dyadic John-Nirenberg space

abstract: We discuss the dyadic John-Nirenberg space that is a generalization of functions of bounded mean oscillation. A John-Nirenberg inequality, which gives a weak type estimate for the oscillation of a function, is discussed in the setting of medians instead of integral averages. We show that the dyadic maximal operator is bounded on the dyadic John-Nirenberg space and provide a method to construct nontrivial functions in the dyadic John-Nirenberg space. Moreover, we prove that the John-Nirenberg space is complete. Several open problems are also discussed.


title: Graph-based machine learning beyond stable materials and relaxed crystal structures

abstract: There has been a recent surge of interest in using machine learning to approximate density functional theory (DFT) in materials science. However, many of the most performant models are evaluated on large databases of computed properties of, primarily, materials with precise atomic coordinates available, and which have been experimentally synthesized, i.e., which are thermodynamically stable or metastable. These aspects provide challenges when applying such models on theoretical candidate materials, for example for materials discovery, where the coordinates are not known. To extend the scope of this methodology, we investigate the performance of the Crystal Graph Convolutional Neural Network (CGCNN) on a data set of theoretical structures in three related ternary phase diagrams (Ti,Zr,Hf)-Zn-N, which thus include many highly unstable structures. We then investigate the impact on the performance of using atomic positions that are only partially relaxed into local energy minima. We also explore options for improving the performance in these scenarios by transfer learning, either from models trained on a large database of mostly stable systems, or a different but related phase diagram. Models pre-trained on stable materials do not significantly improve performance, but models trained on similar data transfer very well. We demonstrate how our findings can be utilized to generate phase diagrams with a major reduction in computational effort.


title: Inverse problems for discrete heat equations and random walks for a class of graphs

abstract: We study the inverse problem of determining a finite weighted graph $(X,E)$ from the source-to-solution map on a vertex subset $B\subset X$ for heat equations on graphs, where the time variable can be either discrete or continuous. We prove that this problem is equivalent to the discrete version of the inverse interior spectral problem, provided that there does not exist a nonzero eigenfunction of the weighted graph Laplacian vanishing identically on $B$. In particular, we consider inverse problems for discrete-time random walks on finite graphs. We show that under a novel geometric condition (called the Two-Points Condition), the graph structure and the transition matrix of the random walk can be uniquely recovered from the distributions of the first passing times on $B$, or from the observation on $B$ of one realization of the random walk.


title: VeriDL: Integrity Verification of Outsourced Deep Learning Services (Extended Version)

abstract: Deep neural networks (DNNs) are prominent due to their superior performance in many fields. The deep-learning-as-a-service (DLaaS) paradigm enables individuals and organizations (clients) to outsource their DNN learning tasks to the cloud-based platforms. However, the DLaaS server may return incorrect DNN models due to various reasons (e.g., Byzantine failures). This raises the serious concern of how to verify if the DNN models trained by potentially untrusted DLaaS servers are indeed correct. To address this concern, in this paper, we design VeriDL, a framework that supports efficient correctness verification of DNN models in the DLaaS paradigm. The key idea of VeriDL is the design of a small-size cryptographic proof of the training process of the DNN model, which is associated with the model and returned to the client. Through the proof, VeriDL can verify the correctness of the DNN model returned by the DLaaS server with a deterministic guarantee and cheap overhead. Our experiments on four real-world datasets demonstrate the efficiency and effectiveness of VeriDL.


title: The CMO-Dirichlet problem for the Schr\"odinger equation in the upper half-space and characterizations of CMO

abstract: Let $\mathcal{L}$ be a Schr\"odinger operator of the form $\mathcal{L}=-\Delta+V$ acting on $L^2(\mathbb R^n)$ where the nonnegative potential $V$ belongs to the reverse H\"older class ${RH}_q$ for some $q\geq (n+1)/2$. Let ${CMO}_{\mathcal{L}}(\mathbb{R}^n)$ denote the function space of vanishing mean oscillation associated to $\mathcal{L}$. In this article we will show that a function $f$ of ${ CMO}_{\mathcal{L}}(\mathbb{R}^n) $ is the trace of the solution to $\mathbb{L}u=-u_{tt}+\mathcal{L} u=0$, $u(x,0)=f(x)$, if and only if, $u$ satisfies a Carleson condition $$ \sup_{B: \ { balls}}\mathcal{C}_{u,B} :=\sup_{B(x_B,r_B): \ { balls}} r_B^{-n}\int_0^{r_B}\int_{B(x_B, r_B)} \big|t \nabla u(x,t)\big|^2\, \frac{ dx\, dt } {t} <\infty, $$ and $$ \lim _{a \rightarrow 0}\sup _{B: r_{B} \leq a} \,\mathcal{C}_{u,B} = \lim _{a \rightarrow \infty}\sup _{B: r_{B} \geq a} \,\mathcal{C}_{u,B} = \lim _{a \rightarrow \infty}\sup _{B: B \subseteq \left(B(0, a)\right)^c} \,\mathcal{C}_{u,B}=0. $$ This continues the lines of the previous characterizations by Duong, Yan and Zhang \cite{DYZ} and Jiang and Li \cite{JL} for the ${ BMO}_{\mathcal{L}}$ spaces, which were founded by Fabes, Johnson and Neri \cite{FJN} for the classical BMO space. For this purpose, we will prove two new characterizations of the ${ CMO}_{\mathcal{L}}(\mathbb{R}^n)$ space, in terms of mean oscillation and the theory of tent spaces, respectively.


title: Monomial ideals and the failure of the Strong Lefschetz property

abstract: We give a sharp lower bound for the Hilbert function in degree $d$ of artinian quotients $\Bbbk[x_1,\ldots,x_n]/I$ failing the Strong Lefschetz property, where $I$ is a monomial ideal generated in degree $d \geq 2$. We also provide sharp lower bounds for other classes of ideals, and connect our result to the classification of the Hilbert functions forcing the Strong Lefschetz property by Zanello and Zylinski.


title: Coherent presentations of monoids with a right-noetherian Garside family

abstract: This paper shows how to construct coherent presentations (presentations by generators, relations and relations among relations) of monoids admitting a right-noetherian Garside family. Thereby, it resolves the question of finding a unifying generalisation of the following two distinct extensions of construction of coherent presentations for spherical Artin-Tits monoids: to general Artin-Tits monoids, and to Garside monoids. The result is applied to some monoids which are neither Artin-Tits nor Garside.


title: The Importance of Reference Frame for Pressure at the Liquid-Vapour Interface

abstract: The local pressure tensor is non-unique, a fact which has generated confusion and debate in the seventy years since the seminal work by Irving Kirkwood. This non-uniqueness is normally attributed to the interaction path between molecules, especially in the interfacial-science community. In this work we reframe this discussion of non-uniqueness in terms of the location, or reference frame, used to measure the pressure. By using a general mathematical description of the liquid-vapour interface, we obtain a reference frame that moves with the interface through time, providing a new insight into the pressure. We compare this instantaneous moving reference frame with the fixed Eulerian one. Through this process, we show the requirement that normal pressure balance at the moving surface is satisfied by surface fluxes, however an additional corrective term based on surface curvature is required for the average pressure in a volume. We make the case that a focus on the path of integration is the cause of much of the confusion in the literature. Using an explicit reference frame with a more general derivation of pressure clarifies some of the issues of uniqueness in the pressure tensor and provides a pressure tensor which is defined at any instant in time and valid away from thermodynamic equilibrium.


title: On the detection-to-track association for online multi-object tracking

abstract: Driven by recent advances in object detection with deep neural networks, the tracking-by-detection paradigm has gained increasing prevalence in the research community of multi-object tracking (MOT). It has long been known that appearance information plays an essential role in the detection-to-track association, which lies at the core of the tracking-by-detection paradigm. While most existing works consider the appearance distances between the detections and the tracks, they ignore the statistical information implied by the historical appearance distance records in the tracks, which can be particularly useful when a detection has similar distances with two or more tracks. In this work, we propose a hybrid track association (HTA) algorithm that models the historical appearance distances of a track with an incremental Gaussian mixture model (IGMM) and incorporates the derived statistical information into the calculation of the detection-to-track association cost. Experimental results on three MOT benchmarks confirm that HTA effectively improves the target identification performance with a small compromise to the tracking speed. Additionally, compared to many state-of-the-art trackers, the DeepSORT tracker equipped with HTA achieves better or comparable performance in terms of the balance of tracking quality and speed.


title: Secure Quantized Training for Deep Learning

abstract: We implement training of neural networks in secure multi-party computation (MPC) using quantization commonly used in said setting. We are the first to present an MNIST classifier purely trained in MPC that comes within 0.2 percent of the accuracy of the same convolutional neural network trained via plaintext computation. More concretely, we have trained a network with two convolutional and two dense layers to 99.2% accuracy in 3.5 hours (under one hour for 99% accuracy). We have also implemented AlexNet for CIFAR-10, which converges in a few hours. We develop novel protocols for exponentiation and inverse square root. Finally, we present experiments in a range of MPC security models for up to ten parties, both with honest and dishonest majority as well as semi-honest and malicious security.


title: A sparse Bayesian hierarchical vector autoregressive model for microbial dynamics in a wastewater treatment plant

abstract: Proper function of a wastewater treatment plant (WWTP) relies on maintaining a delicate balance between a multitude of competing microorganisms. Gaining a detailed understanding of the complex network of interactions therein is essential to maximising not only current operational efficiencies, but also for the effective design of new treatment technologies. Metagenomics offers an insight into these dynamic systems through the analysis of the microbial DNA sequences present. Unique taxa are inferred through sequence clustering to form operational taxonomic units (OTUs), with per-taxa abundance estimates obtained from corresponding sequence counts. The data in this study comprise weekly OTU counts from an activated sludge (AS) tank of a WWTP. To model the OTU dynamics, we develop a Bayesian hierarchical vector autoregressive model, which is a linear approximation to the commonly used generalised Lotka-Volterra (gLV) model. To tackle the high dimensionality and sparsity of the data, they are first clustered into 12 "bins" using a seasonal phase-based approach. The autoregressive coefficient matrix is assumed to be sparse, so we explore different shrinkage priors by analysing simulated data sets before selecting the regularised horseshoe prior for the biological application. We find that ammonia and chemical oxygen demand have a positive relationship with several bins and pH has a positive relationship with one bin. These results are supported by findings in the biological literature. We identify several negative interactions, which suggests OTUs in different bins may be competing for resources and that these relationships are complex. We also identify two positive interactions. Although simpler than a gLV model, our vector autoregression offers valuable insight into the microbial dynamics of the WWTP.


title: Orders and Polytropes: Matrix Algebras from Valuations

abstract: We apply tropical geometry to study matrix algebras over a field with valuation. Using the shapes of min-max convexity, known as polytropes, we revisit the graduated orders introduced by Plesken and Zassenhaus. These are classified by the polytrope region. We advance the ideal theory of graduated orders by introducing their ideal class polytropes. This article emphasizes examples and computations. It offers first steps in the geometric combinatorics of endomorphism rings of configurations in affine buildings.


title: A new Lagrange multiplier approach for constructing structure preserving schemes, I. positivity preserving

abstract: We propose a new Lagrange multiplier approach to construct positivity preserving schemes for parabolic type equations. The new approach introduces a space-time Lagrange multiplier to enforce the positivity with the Karush-Kuhn-Tucker (KKT) conditions. We then use a predictor-corrector approach to construct a class of positivity schemes: with a generic semi-implicit or implicit scheme as the prediction step, and the correction step, which enforces the positivity, can be implemented with negligible cost. We also present a modification which allows us to construct schemes which, in addition to positivity preserving, is also mass conserving. This new approach is not restricted to any particular spatial discretization and can be combined with various time discretization schemes. We establish stability results for our first- and second-order schemes under a general setting, and present ample numerical results to validate the new approach.


title: SPH modelling of companion-perturbed AGB outflows including a new morphology classification scheme

abstract: Asymptotic giant branch (AGB) stars are known to lose a significant amount of mass by a stellar wind, which controls the remainder of their stellar lifetime. High angular-resolution observations show that the winds of these cool stars typically exhibit mid- to small-scale density perturbations such as spirals and arcs, believed to be caused by the gravitational interaction with a (sub-)stellar companion. We aim to explore the effects of the wind-companion interaction on the 3D density and velocity distribution of the wind, as a function of three key parameters: wind velocity, binary separation and companion mass. For the first time, we compare the impact on the outflow of a planetary companion to that of a stellar companion. We intend to devise a morphology classification scheme based on a singular parameter. With our grid of models we cover the prominent morphology changes in a companion-perturbed AGB outflow: slow winds with a close, massive binary companion show a more complex morphology. Additionally, we prove that massive planets are able to significantly impact the density structure of an AGB wind. We find that the interaction with a companion affects the terminal velocity of the wind, which can be explained by the gravitational slingshot mechanism. We distinguish between two types of wind focussing to the orbital plane resulting from distinct mechanisms: global flattening of the outflow as a result of the AGB star's orbital motion and the formation of an EDE as a consequence of the companion's gravitational pull. We investigate different morphology classification schemes and uncover that the ratio of the gravitational potential energy density of the companion to the kinetic energy density of the AGB outflow yields a robust classification parameter for the models presented in this paper.


title: An Improved Near-Infrared Spectrum of the Archetype Y Dwarf WISEP J182831.08+265037.8

abstract: We present a Hubble Space Telescope/Wide-Field Camera 3 near infrared spectrum of the archetype Y dwarf WISEP 182831.08+265037.8. The spectrum covers the 0.9-1.7 um wavelength range at a resolving power of lambda/Delta lambda ~180 and is a significant improvement over the previously published spectrum because it covers a broader wavelength range and is uncontaminated by light from a background star. The spectrum is unique for a cool brown dwarf in that the flux peaks in the Y, J, and H band are of near equal intensity in units of f_lambda. We fail to detect any absorption bands of NH_3 in the spectrum, in contrast to the predictions of chemical equilibrium models, but tentatively identify CH_4 as the carrier of an unknown absorption feature centered at 1.015 um. Using previously published ground- and spaced-based photometry, and using a Rayleigh Jeans tail to account for flux emerging longward of 4.5 um, we compute a bolometric luminosity of log (L_bol/L_sun)=-6.50+-0.02 which is significantly lower than previously published results. Finally, we compare the spectrum and photometry to two sets of atmospheric models and find that best overall match to the observed properties of WISEP 182831.08+265037.8 is a ~1 Gyr old binary composed of two T_eff~325 K, ~5 M_Jup brown dwarfs with subsolar [C/O] ratios.


title: Machine Learning and Deep Learning for Fixed-Text Keystroke Dynamics

abstract: Keystroke dynamics can be used to analyze the way that users type by measuring various aspects of keyboard input. Previous work has demonstrated the feasibility of user authentication and identification utilizing keystroke dynamics. In this research, we consider a wide variety of machine learning and deep learning techniques based on fixed-text keystroke-derived features, we optimize the resulting models, and we compare our results to those obtained in related research. We find that models based on extreme gradient boosting (XGBoost) and multi-layer perceptrons (MLP)perform well in our experiments. Our best models outperform previous comparable research.


title: Electron Acceleration at Rippled Low-Mach-number Shocks in High-beta Collisionless Cosmic Plasmas

abstract: Using large-scale fully-kinetic two-dimensional particle-in-cell simulations, we investigate the effects of shock rippling on electron acceleration at low-Mach-number shocks propagating in high-$\beta$ plasmas, in application to merger shocks in galaxy clusters. We find that the electron acceleration rate increases considerably when the rippling modes appear. The main acceleration mechanism is stochastic shock-drift acceleration, in which electrons are confined at the shock by pitch-angle scattering off turbulence and gain energy from the motional electric field. The presence of multi-scale magnetic turbulence at the shock transition and the region immediately behind the main shock overshoot is essential for electron energization. Wide-energy non-thermal electron distributions are formed both upstream and downstream of the shock. The maximum energy of the electrons is sufficient for their injection into diffusive shock acceleration. We show for the first time that the downstream electron spectrum has a~power-law form with index $p\approx 2.5$, in agreement with observations.


title: Raman spectroscopy and planetary exploration: testing the ExoMars/RLS system at the Tabernas Desert (Spain)

abstract: ExoFit trials are field campaigns financed by ESA to test the Rosalind Franklin rover and to enhance collaboration practices between ExoMars working groups. During the first trial, a replicate of the ExoMars rover was remotely operated from Oxfordshire (United Kingdom) to perform a complex sequence of scientific operation at the Tabernas Desert (Spain). By following the ExoMars Reference Surface Mission (RSM), the rover investigated the Badlands subsoil and collected drill cores, whose analytical study was entrusted to the RLS (Raman Laser Spectrometer) team. The preliminary characterization of core samples was performed in-situ through the RLS Engineering and Qualification Model (EQM-2) and the Raman Demonstrator (RAD1), being this a new, portable emulator of the RLS. In-situ results where then complemented by laboratory analysis using the RLS ExoMars simulator and the commercial version of the Curiosity/CheMin XRD system. Raman data, obtained by closely simulating the operational constraints of the mission, successfully disclosed the mineralogical composition of the samples, reaching the detection of minor/trace phases that were not detected by XRD. More importantly, Raman analysis detected many organic functional groups, proving the presence of extremophile organisms in the arid sub-surface of the Tabernas Desert. In light of the forthcoming ExoMars mission, the results here presented proves that RLS could play a critical role in the characterization of Martian sub-surface environments and in the analytical detection of potential traces of live tracers.


title: Ground-State Cooling of a Mechanical Oscillator via a Hybrid Electro-Optomechanical System

abstract: We present a scheme for ground-state cooling of a mechanical resonator by simultaneously coupling it to a superconducting qubit and a cavity field. The Hamiltonian describing the hybrid system dynamics is systematically derived. The cooling process is driven by a red-detuned ac drive on the qubit and a laser drive on the optomechanical cavity. We have investigated cooling in the weak and the strong coupling regimes for both the individual system, i.e., qubit assisted cooling and optomechanical cooling, and compared them with the effective hybrid cooling. It is shown that hybrid cooling is more effective compared to the individual cooling mechanisms, and could be applied in both the resolved and the unresolved sideband regimes.


title: TransSC: Transformer-based Shape Completion for Grasp Evaluation

abstract: Currently, robotic grasping methods based on sparse partial point clouds have attained a great grasping performance on various objects while they often generate wrong grasping candidates due to the lack of geometric information on the object. In this work, we propose a novel and robust shape completion model (TransSC). This model has a transformer-based encoder to explore more point-wise features and a manifold-based decoder to exploit more object details using a partial point cloud as input. Quantitative experiments verify the effectiveness of the proposed shape completion network and demonstrate it outperforms existing methods. Besides, TransSC is integrated into a grasp evaluation network to generate a set of grasp candidates. The simulation experiment shows that TransSC improves the grasping generation result compared to the existing shape completion baselines. Furthermore, our robotic experiment shows that with TransSC the robot is more successful in grasping objects that are randomly placed on a support surface.


title: Sharp Morrey-Sobolev inequalities and eigenvalue problems on Riemannian-Finsler manifolds with nonnegative Ricci curvature

abstract: Combining the sharp isoperimetric inequality established by Z. Balogh and A. Krist\'aly [Math. Ann., in press, doi:10.1007/s00208-022-02380-1] with an anisotropic symmetrization argument, we establish sharp Morrey-Sobolev inequalities on $n$-dimensional Finsler manifolds having nonnegative $n$-Ricci curvature. A byproduct of this method is a Hardy-Sobolev-type inequality in the same geometric setting. As applications, by using variational arguments, we guarantee the existence/multiplicity of solutions for certain eigenvalue problems and elliptic PDEs involving the Finsler-Laplace operator. Our results are also new in the Riemannian setting.


title: Strongly compact cardinals and ordinal definability

abstract: This paper explores several topics related to Woodin's HOD conjecture. We improve the large cardinal hypothesis of Woodin's HOD dichotomy theorem from an extendible cardinal to a strongly compact cardinal. We show that assuming there is a strongly compact cardinal and the HOD hypothesis holds, there is no elementary embedding from HOD to HOD, settling a question of Woodin. We show that the HOD hypothesis is equivalent to a uniqueness property of elementary embeddings of levels of the cumulative hierarchy. We prove that the HOD hypothesis holds if and only if every regular cardinal above the first strongly compact cardinal carries an ordinal definable omega-Jonsson algebra. We show that if the HOD hypothesis holds and HOD satisfies the Ultrapower Axiom, then every supercompact cardinal is supercompact in HOD.


title: Elastic energy of multi-component solid solutions and strain origins of phase stability in high-entropy alloys

abstract: The elastic energy of mixing for multi-component solid solutions is derived by generalizing Eshelby's sphere-in-hole model for binary alloys. By surveying the dependence of the elastic energy on chemical composition and lattice misfit, we propose a lattice strain coefficient {\lambda}*. Applying to several high-entropy alloys and superalloys, we found that most solid solution alloys are stable when {\lambda}*<0.16, analogous to the Hume-Rothery atomic-size rule for binary alloys. We also reveal that the polydispersity index {\delta}, frequently used for describing strain in multi-component alloys, is directly related to the elastic energy (e) with e=q{\delta}^2, q being an elastic constant. Furthermore, the effects of (i) the number and (ii) the atomic-size distribution of constituting elements on the phase stability of high-entropy alloys were quantified. The present derivations open for richer considerations of elastic effects in high-entropy alloys, offering immediate support for quantitative assessments of their thermodynamic properties and studying related strengthening mechanisms.


title: Lipschitz functions on submanifolds in Heisenberg groups

abstract: We study the behavior of Lipschitz functions on intrinsic $C^1$ submanifolds of Heisenberg groups: our main result is their almost everywhere tangential Pansu differentiability. We also provide two applications: a Lusin-type approximation of Lipschitz functions on $\HH$-rectifiable sets, and a coarea formula on $\HH$-rectifiable sets that completes the program started in~\cite{JNGV}.


title: Automatic Metadata Extraction Incorporating Visual Features from Scanned Electronic Theses and Dissertations

abstract: Electronic Theses and Dissertations (ETDs) contain domain knowledge that can be used for many digital library tasks, such as analyzing citation networks and predicting research trends. Automatic metadata extraction is important to build scalable digital library search engines. Most existing methods are designed for born-digital documents, so they often fail to extract metadata from scanned documents such as for ETDs. Traditional sequence tagging methods mainly rely on text-based features. In this paper, we propose a conditional random field (CRF) model that combines text-based and visual features. To verify the robustness of our model, we extended an existing corpus and created a new ground truth corpus consisting of 500 ETD cover pages with human validated metadata. Our experiments show that CRF with visual features outperformed both a heuristic and a CRF model with only text-based features. The proposed model achieved 81.3%-96% F1 measure on seven metadata fields. The data and source code are publicly available on Google Drive (https://tinyurl.com/y8kxzwrp) and a GitHub repository (https://github.com/lamps-lab/ETDMiner/tree/master/etd_crf), respectively.


title: First observation of high-$K$ isomeric states in $^{249}$Md and $^{251}$Md

abstract: Decay spectroscopy of the odd-proton nuclei $^{249}$Md and $^{251}$Md has been performed. High-$K$ isomeric states were identified for the first time in these two nuclei through the measurement of their electromagnetic decay. An isomeric state with a half-life of $2.8(5)$ ms and an excitation energy $\geq 910$ keV was found in $^{249}$Md. In $^{251}$Md, an isomeric state with a half-life of $1.4(3)$ s and an excitation energy $\geq 844$ keV was found. Similarly to the neighbouring $^{255}$Lr, these two isomeric states are interpreted as 3 quasi-particle high-$K$ states and compared to new theoretical calculations. Excited nuclear configurations were calculated within two scenarios: via blocking nuclear states located in proximity to the Fermi surface or/and using the quasiparticle Bardeen-Cooper-Schrieffer method. Relevant states were selected on the basis of the microscopic-macroscopic model with a deformed Woods-Saxon potential. The most probable candidates for the configurations of $K$-isomeric states in Md nuclei are proposed.


title: Tiling of polyhedral sets

abstract: A self-affine tiling of a compact set G of positive Lebesgue measure is its partition to parallel shifts of a compact set which is affinely similar to G. We find all polyhedral sets (unions of finitely many convex polyhedra) that admit self-affine tilings. It is shown that in R^d there exist an infinite family of such polyhedral sets, not affinely equivalent to each other. A special attention is paid to an important particular case when the matrix of affine similarity and the translation vectors are integer. Applications to the approximation theory and to the functional analysis are discussed.


title: Hydrodynamic magneto-transport in holographic charge density wave states

abstract: We employ hydrodynamics and gauge/gravity to study magneto-transport in phases of matter where translations are broken (pseudo-)spontaneously. First we provide a hydrodynamic description of systems where translations are broken homogeneously at nonzero lattice pressure and magnetic field. This allows us to determine analytic expressions for all the relevant transport coefficients. Next we construct holographic models of those phases and determine all the DC conductivities in terms of the dual black hole geometry. Combining the hydrodynamic and holographic descriptions we obtain analytic expression for the AC thermo-electric correlators. These are fixed in terms of the black hole geometry and a pinning frequency we determine numerically. We find an excellent agreement between our hydrodynamic and holographic descriptions and show that the holographic models are good avatars for the study of magneto-phonons.


title: Out-of-distribution Generalization in the Presence of Nuisance-Induced Spurious Correlations

abstract: In many prediction problems, spurious correlations are induced by a changing relationship between the label and a nuisance variable that is also correlated with the covariates. For example, in classifying animals in natural images, the background, which is a nuisance, can predict the type of animal. This nuisance-label relationship does not always hold, and the performance of a model trained under one such relationship may be poor on data with a different nuisance-label relationship. To build predictive models that perform well regardless of the nuisance-label relationship, we develop Nuisance-Randomized Distillation (NURD). We introduce the nuisance-randomized distribution, a distribution where the nuisance and the label are independent. Under this distribution, we define the set of representations such that conditioning on any member, the nuisance and the label remain independent. We prove that the representations in this set always perform better than chance, while representations outside of this set may not. NURD finds a representation from this set that is most informative of the label under the nuisance-randomized distribution, and we prove that this representation achieves the highest performance regardless of the nuisance-label relationship. We evaluate NURD on several tasks including chest X-ray classification where, using non-lung patches as the nuisance, NURD produces models that predict pneumonia under strong spurious correlations.


title: Eccentricities, fluctuations and A-dependence of elliptic and triangular flows in heavy-ion collisions

abstract: A simple geometrical model with event-by-event fluctuations is suggested to study elliptical and triangular eccentricities in the initial state of relativistic heavy-ion collisions. This model describes rather well the ALICE and ATLAS data for Pb+Pb collisions at center-of-mass energy $\sqrt{s_{NN}} = 5.02$~TeV per nucleon pair, assuming that the second, $v_2$, and third, $v_3$, harmonics of the anisotropic flow are simply linearly proportional to the eccentricities $\varepsilon_2$ and $\varepsilon_3$, respectively. We show that the eccentricity $\varepsilon_3$ has a pure fluctuation origin and is substantially dependent on the size of the overlap area only, while the eccentricity $\varepsilon_2$ is mainly related to the average collision geometry. Elliptic flow, therefore, is weakly dependent on the event-by-event fluctuations everywhere except of the very central collisions 0--2%, whereas triangular flow is mostly determined by the fluctuations. The scaling dependence of the magnitude of the flow harmonics on atomic number, $v_n \propto A^{-1/3}$, is predicted for this centrality interval.


title: Efficient Tree-Traversals: Reconciling Parallelism and Dense Data Representations

abstract: Recent work showed that compiling functional programs to use dense, serialized memory representations for recursive algebraic datatypes can yield significant constant-factor speedups for sequential programs. But serializing data in a maximally dense format consequently serializes the processing of that data, yielding a tension between density and parallelism. This paper shows that a disciplined, practical compromise is possible. We present Parallel Gibbon, a compiler that obtains the benefits of dense data formats and parallelism. We formalize the semantics of the parallel location calculus underpinning this novel implementation strategy, and show that it is type-safe. Parallel Gibbon exceeds the parallel performance of existing compilers for purely functional programs that use recursive algebraic datatypes, including, notably, abstract-syntax-tree traversals as in compilers.


title: Alignment interactions drive structural transitions in biological tissues

abstract: Experimental evidence shows that there is a feedback between cell shape and cell motion. How this feedback impacts the collective behavior of dense cell monolayers remains an open question. We investigate the effect of a feedback that tends to align the cell crawling direction with cell elongation in a biological tissue model. We find that the alignment interaction promotes nematic patterns in the fluid phase that eventually undergo a non-equilibrium phase transition into a quasi-hexagonal solid. Meanwhile, highly asymmetric cells do not undergo the liquid-to-solid transition for any value of the alignment coupling. In this regime, the dynamics of cell centers and shape fluctuation show features typical of glassy systems.


title: Harmonically confined long-ranged interacting gas in the presence of a hard wall

abstract: In this paper, we compute exactly the average density of a harmonically confined Riesz gas of $N$ particles for large $N$ in the presence of a hard wall. In this Riesz gas, the particles repel each other via a pairwise interaction that behaves as $|x_i - x_j|^{-k}$ for $k>-2$, with $x_i$ denoting the position of the $i^{\rm th}$ particle. This density can be classified into three different regimes of $k$. For $k \geq 1$, where the interactions are effectively short-ranged, the appropriately scaled density has a finite support over $[-l_k(w),w]$ where $w$ is the scaled position of the wall. While the density vanishes at the left edge of the support, it approaches a nonzero constant at the right edge $w$. For $-1<k<1$, where the interactions are weakly long-ranged, we find that the scaled density is again supported over $[-l_k(w),w]$. While it still vanishes at the left edge of the support, it diverges at the right edge $w$ algebraically with an exponent $(k-1)/2$. For $-2<k< -1$, the interactions are strongly long-ranged that leads to a rather exotic density profile with an extended bulk part and a delta-peak at the wall, separated by a hole in between. Exactly at $k=-1$ the hole disappears. For $-2<k< -1$, we find an interesting first-order phase transition when the scaled position of the wall decreases through a critical value $w=w^*(k)$. For $w<w^*(k)$, the density is a pure delta-peak located at the wall. The amplitude of the delta-peak plays the role of an order parameter which jumps to the value $1$ as $w$ is decreased through $w^*(k)$. Our analytical results are in very good agreement with our Monte-Carlo simulations.

categories: cond-mat.stat-mech math-ph math.MP math.PR


title: SearchGCN: Powering Embedding Retrieval by Graph Convolution Networks for E-Commerce Search

abstract: Graph convolution networks (GCN), which recently becomes new state-of-the-art method for graph node classification, recommendation and other applications, has not been successfully applied to industrial-scale search engine yet. In this proposal, we introduce our approach, namely SearchGCN, for embedding-based candidate retrieval in one of the largest e-commerce search engine in the world. Empirical studies demonstrate that SearchGCN learns better embedding representations than existing methods, especially for long tail queries and items. Thus, SearchGCN has been deployed into JD.com's search production since July 2020.


title: Asymptotically Optimal Welfare of Posted Pricing for Multiple Items with MHR Distributions

abstract: We consider the problem of posting prices for unit-demand buyers if all $n$ buyers have identically distributed valuations drawn from a distribution with monotone hazard rate. We show that even with multiple items asymptotically optimal welfare can be guaranteed. Our main results apply to the case that either a buyer's value for different items are independent or that they are perfectly correlated. We give mechanisms using dynamic prices that obtain a $1 - \Theta \left( \frac{1}{\log n}\right)$-fraction of the optimal social welfare in expectation. Furthermore, we devise mechanisms that only use static item prices and are $1 - \Theta \left( \frac{\log\log\log n}{\log n}\right)$-competitive compared to the optimal social welfare. As we show, both guarantees are asymptotically optimal, even for a single item and exponential distributions.


title: Distribution-Free Prediction Bands for Multivariate Functional Time Series: an Application to the Italian Gas Market

abstract: Uncertainty quantification in forecasting represents a topic of great importance in energy trading, as understanding the status of the energy market would enable traders to directly evaluate the impact of their own offers/bids. To this end, we propose a scalable procedure that outputs closed-form simultaneous prediction bands for multivariate functional response variables in a time series setting, which is able to guarantee performance bounds in terms of unconditional coverage and asymptotic exactness, both under some conditions. After evaluating its performance on synthetic data, the method is used to build multivariate prediction bands for daily demand and offer curves in the Italian gas market.


title: Visualising Argumentation Graphs with Graph Embeddings and t-SNE

abstract: This paper applies t-SNE, a visualisation technique familiar from Deep Neural Network research to argumentation graphs by applying it to the output of graph embeddings generated using several different methods. It shows that such a visualisation approach can work for argumentation and show interesting structural properties of argumentation graphs, opening up paths for further research in the area.


title: Multistage Stochastic Model Predictive Control for Urban Automated Driving

abstract: Trajectory planning in urban automated driving is challenging because of the high uncertainty resulting from the unknown future motion of other traffic participants. Robust approaches guarantee safety, but tend to result in overly conservative motion planning. Hence, we propose to use Stochastic Model Predictive Control for vehicle control in urban driving, allowing to efficiently plan the vehicle trajectory, while maintaining the risk probability sufficiently low. For motion optimization, we propose to use a two-stage hierarchical structure that plans the trajectory and the maneuver separately. A high-level layer takes advantage of a long prediction horizon and of an abstract model to plan the optimal maneuver, and a lower level is in charge of executing the selected maneuver by properly planning the vehicle's trajectory. Numerical simulations are included, showing the potential of our proposal.


title: Testing a Battery Management System via Criticality-based Rare Event Simulation

abstract: For the validation of safety-critical systems regarding safety and comfort, e.g., in the context of automated driving, engineers often have to cope with large (parametric) test spaces for which it is infeasible to test through all possible parameter configurations. At the same time, critical behavior of a well-engineered system with respect to prescribed safety and comfort requirements tends to be extremely rare, speaking of probabilities of order $10^{-6}$ or less, but clearly has to be examined carefully for valid argumentation. Hence, common approaches such as boundary value analysis are insufficient while methods based on random sampling from the parameter space (simple Monte Carlo) lack the ability to detect these rare critical events efficiently, i.e., with appropriate simulation budget. For this reason, a more sophisticated simulation-based approach is proposed which employs optimistic optimization on an objective function called "criticality" in order to identify effectively the set of critical parameter configurations. Within the scope of the ITEA 3 TESTOMAT project (http://www.testomatproject.eu/) the collaboration partners OFFIS e.V. and AKKA Germany GmbH conducted a case study on applying criticality-based rare event simulation to the charging process of an automotive battery management system given as a model. The present technical report documents the industrial use case, the approach, application and experimental results, as well as lessons learned from the case study.


title: Towards a fairer reimbursement system for burn patients using cost-sensitive classification

abstract: The adoption of the Prospective Payment System (PPS) in the UK National Health Service (NHS) has led to the creation of patient groups called Health Resource Groups (HRG). HRGs aim to identify groups of clinically similar patients that share similar resource usage for reimbursement purposes. These groups are predominantly identified based on expert advice, with homogeneity checked using the length of stay (LOS). However, for complex patients such as those encountered in burn care, LOS is not a perfect proxy of resource usage, leading to incomplete homogeneity checks. To improve homogeneity in resource usage and severity, we propose a data-driven model and the inclusion of patient-level costing. We investigate whether a data-driven approach that considers additional measures of resource usage can lead to a more comprehensive model. In particular, a cost-sensitive decision tree model is adopted to identify features of importance and rules that allow for a focused segmentation on resource usage (LOS and patient-level cost) and clinical similarity (severity of burn). The proposed approach identified groups with increased homogeneity compared to the current HRG groups, allowing for a more equitable reimbursement of hospital care costs if adopted.


title: The unfinished fabric of the three neutrino paradigm

abstract: In the current 3nu paradigm, flavor oscillations probe 3 mixing angles (theta_12, theta_23, theta_13), one CP phase delta, and two squared mass differences delta m^2>0 and Delta m^2, where sign(Delta m^2)=+ (-) for normal (inverted) ordering. Absolute nu masses can be probed by the effective m_beta in beta decay, by the total mass Sigma in cosmology and, if neutrinos are Majorana, by another effective m_{beta beta} in 0nu2beta decay. Within an updated global analysis of (non)oscillation data, we constrain these 3nu parameters, both separately and in selected pairs, and highlight the concordance or discordance among different constraints. Five oscillation parameters (delta m^2, Delta m^2, theta_12, theta_23, theta_13) are consistently measured, with an overall accuracy ranging from ~1% for Delta m^2 to ~6% for sin^2(theta_23) (due to its octant ambiguity). We find overall hints for normal ordering (at 2.5 sigma), as well as for theta_23<pi/4 and for sin(delta)<0 (both at 90% C.L.), and discuss some tensions among datasets. Concerning nonoscillation data, we include the recent KATRIN constraints on m_beta, and we combine the latest 76-Ge, 130-Te and 136-Xe bounds on m_{beta beta}, accounting for NME covariances. We also discuss some variants related to CMB anisotropy and lensing data, which may affect cosmological constraints on Sigma and hints on sign(Delta m^2). The default option, including all Planck results, irrespective of the lensing anomaly, sets upper bounds on Sigma at the level of ~10^-1 eV, and further favors normal ordering up to ~3 sigma. An alternative option, that includes recent ACT results + other independent results (from WMAP and selected Planck data) globally consistent with standard lensing, is insensitive to the ordering but prefers Sigma ~(few) x 10^-1 eV, with different implications for m_beta and m_{beta beta} searches. (Abridged)

categories: hep-ph astro-ph.CO hep-ex nucl-ex nucl-th


title: General-relativistic treatment of tidal $g$-mode resonances in coalescing binaries of neutron stars. II. As triggers for precursor flares of short gamma-ray bursts

abstract: In some short gamma-ray bursts, precursor flares occurring $\sim$ seconds prior to the main episode have been observed. These flares may then be associated with the last few cycles of the inspiral when the orbital frequency is a few hundred Hz. During these final cycles, tidal forces can resonantly excite quasi-normal modes in the inspiralling stars, leading to a rapid increase in their amplitude. It has been shown that these modes can exert sufficiently strong strains onto the neutron star crust to instigate yieldings. Due to the typical frequencies of $g$-modes being $\sim 100\text{ Hz}$, their resonances with the orbital frequency match the precursor timings and warrant further investigation. Adopting realistic equations of state and solving the general-relativistic pulsation equations, we study $g$-mode resonances in coalescing quasi-circular binaries, where we consider various stellar rotation rates, degrees of stratification, and magnetic field structures. We show that for some combination of stellar parameters, the resonantly excited $g_1$- and $g_2$-modes may lead to crustal failure and trigger precursor flares.


title: The Limit Order Book Recreation Model (LOBRM): An Extended Analysis

abstract: The limit order book (LOB) depicts the fine-grained demand and supply relationship for financial assets and is widely used in market microstructure studies. Nevertheless, the availability and high cost of LOB data restrict its wider application. The LOB recreation model (LOBRM) was recently proposed to bridge this gap by synthesizing the LOB from trades and quotes (TAQ) data. However, in the original LOBRM study, there were two limitations: (1) experiments were conducted on a relatively small dataset containing only one day of LOB data; and (2) the training and testing were performed in a non-chronological fashion, which essentially re-frames the task as interpolation and potentially introduces lookahead bias. In this study, we extend the research on LOBRM and further validate its use in real-world application scenarios. We first advance the workflow of LOBRM by (1) adding a time-weighted z-score standardization for the LOB and (2) substituting the ordinary differential equation kernel with an exponential decay kernel to lower computation complexity. Experiments are conducted on the extended LOBSTER dataset in a chronological fashion, as it would be used in a real-world application. We find that (1) LOBRM with decay kernel is superior to traditional non-linear models, and module ensembling is effective; (2) prediction accuracy is negatively related to the volatility of order volumes resting in the LOB; (3) the proposed sparse encoding method for TAQ exhibits good generalization ability and can facilitate manifold tasks; and (4) the influence of stochastic drift on prediction accuracy can be alleviated by increasing historical samples.


title: Bounds for the chi-square approximation of the power divergence family of statistics

abstract: It is well-known that each statistic in the family of power divergence statistics, across $n$ trials and $r$ classifications with index parameter $\lambda\in\mathbb{R}$ (the Pearson, likelihood ratio and Freeman-Tukey statistics correspond to $\lambda=1,0,-1/2$, respectively) is asymptotically chi-square distributed as the sample size tends to infinity. In this paper, we obtain explicit bounds on this distributional approximation, measured using smooth test functions, that hold for a given finite sample $n$, and all index parameters ($\lambda>-1$) for which such finite sample bounds are meaningful. We obtain bounds that are of the optimal order $n^{-1}$. The dependence of our bounds on the index parameter $\lambda$ and the cell classification probabilities is also optimal, and the dependence on the number of cells is also respectable. Our bounds generalise, complement and improve on recent results from the literature.


title: Observation of polarized stochastic gravitational-wave background in pulsar-timing-array experiments

abstract: We study the observation of polarized stochastic gravitational-wave background (SGWB) in pulsar-timing-array experiments. The time residual for an observed pulsar is formulated as a line-of-sight integral that incorporates the effects of the pulsar term, from which we construct the correlation function of the time residual between a pair of pulsars in terms of the overlap reduction functions (ORFs) for the SGWB intensity and polarization anisotropies. Our formulation provides a numerical scheme for computing the ORFs for high multipole moments and the lowest-moment ORFs for the SGWB linear polarization are worked out for the first time.


title: About evaluation metrics for contextual uplift modeling

abstract: In this tech report we discuss the evaluation problem of contextual uplift modeling from the causal inference point of view. More particularly, we instantiate the individual treatment effect (ITE) estimation, and its evaluation counterpart. First, we unify two well studied fields: the statistical ITE approach and its observational counterpart based on uplift study. Then we exhibit the problem of evaluation, based on previous work about ITE and uplift modeling. Moreover, we derive a new estimator for the uplift curve, built on logged bandit feedback dataset, that reduces its variance. We prove that AUUC fails on non randomized control trial (RCT) datasets and discuss some corrections and guidelines that should be kept in mind while using AUUC (re-balancing the population, local importance sampling using propensity score).


title: Positively curved Finsler metrics on vector bundles

abstract: We construct a convex and strongly pseudoconvex Kobayashi positive Finsler metric on a vector bundle $E$ under the assumption that the symmetric power of the dual $S^kE^*$ has a Griffiths negative $L^2$-metric for some $k$. The proof relies on the negativity of direct image bundles and the Minkowski inequality for norms. As a corollary, we show that given a strongly pseudoconvex Kobayashi positive Finsler metric, one can upgrade to a \textit{convex} Finsler metric with the same property. We also give an extremal characterization of Kobayashi curvature for Finsler metrics.


title: Semiparametric estimation of McKean-Vlasov SDEs

abstract: In this paper we study the problem of semiparametric estimation for a class of McKean-Vlasov stochastic differential equations. Our aim is to estimate the drift coefficient of a MV-SDE based on observations of the corresponding particle system. We propose a semiparametric estimation procedure and derive the rates of convergence for the resulting estimator. We further prove that the obtained rates are essentially optimal in the minimax sense.


title: Using Terminal Circuit for Power System Electromagnetic Transient Simulation

abstract: The modern power system is evolving with increasing penetration of power electronics introducing complicated electromagnetic phenomenon. Electromagnetic transient (EMT) simulation is essential to understand power system behavior under disturbance which however is one of the most sophisticated and time-consuming applications in power system. To improve the electromagnetic transient simulation efficiency while keeping the simulation accuracy, this paper proposes to model and simulate power system electromagnetic transients by very large-scale integrated circuit (VLSI) as a preliminary exploration to eventually represent power system by VLSI circuit chip avoiding numerical calculation. To proof the concept, a simple 5 bus system is modeled and simulated to verify the feasibility of the proposed approach.


title: Goal-Conditioned Reinforcement Learning with Imagined Subgoals

abstract: Goal-conditioned reinforcement learning endows an agent with a large variety of skills, but it often struggles to solve tasks that require more temporally extended reasoning. In this work, we propose to incorporate imagined subgoals into policy learning to facilitate learning of complex tasks. Imagined subgoals are predicted by a separate high-level policy, which is trained simultaneously with the policy and its critic. This high-level policy predicts intermediate states halfway to the goal using the value function as a reachability metric. We don't require the policy to reach these subgoals explicitly. Instead, we use them to define a prior policy, and incorporate this prior into a KL-constrained policy iteration scheme to speed up and regularize learning. Imagined subgoals are used during policy learning, but not during test time, where we only apply the learned policy. We evaluate our approach on complex robotic navigation and manipulation tasks and show that it outperforms existing methods by a large margin.


title: Special Correspondences of CM Abelian Varieties and Eisenstein Series

abstract: Let $\mathcal{CM}_{\Phi}$ be the (integral model of the) stack of principally polarized CM Abelian varieties with a CM-type $\Phi$. Considering a pair of nearby CM-types (i.e. such that they are different in exactly one embedding) $\Phi_1, \Phi_2$, we let $X = \mathcal{CM}_{\Phi_1} \times \mathcal{CM}_{\Phi_2}$ and define arithmetic divisors $\mathcal{Z}(\alpha)$ on $X$ such that the Arakelov degree of $\mathcal{Z}(\alpha)$ is (up to multiplication by an explicit constant) equal to the central value of the $\alpha^{\text{th}}$ coefficient of the Fourier expansion of the derivative of a Hilbert Eisenstein series.


title: Cosmic Variation of Proton to Electron Mass Ratio with an interacting Higgs Scalar Field

abstract: We discuss that it is quite possible to realize the smooth transition of the universe between a matter/radiation dominated deceleration and a dark energy dominated acceleration, even with a variation of proton-to-electron mass ratio. The variation is incorporated into the theory of gravity using a cosmological Higgs scalar field with a non-trivial self-interaction potential, leading to a varying Higgs vacuum expectation value (VEV). This matches well with the data from molecular absorption spectra of a series of Quasars. In comparison with late-time cosmology, an observational consistency is reached using a Markov chain Monte Carlo simulation and JLA+OHD+BAO data sets. We find that the pattern of variation is embedded within the evolving Equation of State (EOS) of the scalar Dark Energy/Matter components, but leaves negligible trace on the effective EOS of the system. We discuss three cases of scalar extended theory of gravity, (a) a minimally coupled scalar, (b) a non-minimally coupled scalar and (c) a generalized Brans-Dicke setup. We also give a toy model of a unified cosmic history from inflation to the present era and discuss how the Higg VEV might have changed as a function of look back time.


title: Improving Human Motion Prediction Through Continual Learning

abstract: Human motion prediction is an essential component for enabling closer human-robot collaboration. The task of accurately predicting human motion is non-trivial. It is compounded by the variability of human motion, both at a skeletal level due to the varying size of humans and at a motion level due to individual movement's idiosyncrasies. These variables make it challenging for learning algorithms to obtain a general representation that is robust to the diverse spatio-temporal patterns of human motion. In this work, we propose a modular sequence learning approach that allows end-to-end training while also having the flexibility of being fine-tuned. Our approach relies on the diversity of training samples to first learn a robust representation, which can then be fine-tuned in a continual learning setup to predict the motion of new subjects. We evaluated the proposed approach by comparing its performance against state-of-the-art baselines. The results suggest that our approach outperforms other methods over all the evaluated temporal horizons, using a small amount of data for fine-tuning. The improved performance of our approach opens up the possibility of using continual learning for personalized and reliable motion prediction.


title: Searching for lepton flavor violating interactions at future electron-positron colliders

abstract: Lepton flavor violating interactions are absent in the standard model but are expected in various beyond standard models. In this work, the potential of the future circular electron-positron collider to probe the four fermion lepton flavor couplings via the $e^{+}e^{-}\rightarrow e^{\pm}\tau^{\mp}$ process is revisited by means of an effective field theory approach. We provide constraints at $95\%$ CL on the dimension-six Wilson coefficients including major sources of background processes and considering realistic detector effects at four expected operation energies $\sqrt{s}=157.5$, $162.5$, $240$ and $365$ GeV according to their corresponding integrated luminosities. We demonstrate that statistical combination of the results from four center-of-mass energies improves the sensitivity to the LFV couplings significantly. We compare the results with the prospects from Belle II with $50~ ab^{-1}$ and other studies at electron-positron colliders.


title: The SAMI Galaxy Survey: Detection of Environmental Dependence of Galaxy Spin in Observations and Simulations Using Marked Correlation Functions

abstract: The existence of a kinematic morphology-density relation remains uncertain, and instead stellar mass appears the more dominant driver of galaxy kinematics. We investigate the dependence of the stellar spin parameter proxy $\lambda_{R_e}$ on environment using a marked cross-correlation method with data from the SAMI Galaxy Survey. Our sample contains 710 galaxies with spatially resolved stellar velocity and velocity dispersion measurements. By utilising the highly complete spectroscopic data from the GAMA survey, we calculate marked cross-correlation functions for SAMI galaxies using a pair count estimator and marks based on stellar mass and $\lambda_{R_e}$. We detect an anti-correlation of stellar kinematics with environment at the 3.2$\sigma$ level, such that galaxies with low $\lambda_{R_e}$ values are preferably located in denser galaxy environments. However, a significant correlation between stellar mass and environment is also found (correlation at 2.4$\sigma$), as found in previous works. We compare these results to mock-observations from the cosmological EAGLE simulations, where we find a similar significant $\lambda_{R_e}$ anti-correlation with environment, and a mass and environment correlation. We demonstrate that the environmental correlation of $\lambda_{R_e}$ is not caused by the mass-environment relation. The significant relationship between $\lambda_{R_e}$ and environment remains when we exclude slow rotators. The signals in SAMI and EAGLE are strongest on small scales (10-100 kpc) as expected from galaxy interactions and mergers. Our work demonstrates that the technique of marked correlation functions is an effective tool for detecting the relationship between $\lambda_{R_e}$ and environment.


title: Identification of RF&MW microcalorimeter weak points by means of uncertainty analysis

abstract: Microcalorimeters are used by National Metrology Institutes (NMI) for the realization of the Radiofrequency and Microwaves (RF&MW) primary power standard. Since they are not available on the market, NMIs have to design their own systems. It involves the design of complex mechanical structures and of low noise data acquisition systems. Resulting setups allow precision measurements of RF&MW power by applying difficult and time consuming measurement techniques. Weaknesses to be addressed in order to improve the performance, whether in the mechanical structure or in the data acquisition electronics, are not easy to identify. Anyway, they can be found by analyzing the microcalorimeter measurement uncertainty. In recent years, several improvements have been made on the INRIM (Istituto Nazionale di Ricerca Metrologica, Italy) coaxial microcalorimeter with the aim of making its operation more stable and to reduce the measurement uncertainty. Its weak points are here analyzed by means of a comprehensive uncertainty budget. Details are also given on how uncertainty contributions have been determined. The method here applied is general and can be conveniently used in many other fields or applications provided that the analytical model is known. It is useful while designing an experiment and/or a posteriori, to identify the parts of the apparatus and of the measurement set-up that need to be optimized.


title: Comparison of forecasting of the risk of coronavirus (COVID 19) in high quality and low quality healthcare systems, using ANN models

abstract: COVID 19 is a disease that has abnormal over 170 nations worldwide. The number of infected people (either sick or dead) has been growing at a worrying ratio in virtually all the affected countries. Forecasting procedures can be instructed so helping in scheming well plans and in captivating creative conclusions. These procedures measure the conditions of the previous thus allowing well forecasts around the state to arise in the future. These predictions strength helps to make contradiction of likely pressures and significances. Forecasting procedures production a very main character in elastic precise predictions. In this case study used two models in order to diagnose optimal approach by compared the outputs. This study was introduced forecasting procedures into Artificial Neural Network models compared with regression model. Data collected from Al Kindy Teaching Hospital from the period of 28/5/2019 to 28/7/2019 show an energetic part in forecasting. Forecasting of a disease can be done founded on several parameters such as the age, gender, number of daily infections, number of patient with other disease and number of death. Though, forecasting procedures arise with their private data of tests. This study chats these tests and also offers a set of commendations for the persons who are presently hostile the global COVID 19 disease.


title: Scalar conservation laws with stochastic discontinuous flux function

abstract: A variety of real-world applications are modeled via hyperbolic conservation laws. To account for uncertainties or insufficient measurements, random coefficients may be incorporated. These random fields may depend discontinuously on the state space, e.g., to represent permeability in a heterogeneous or fractured medium. We introduce a suitable admissibility criterion for the resulting stochastic discontinuous-flux conservation law and prove its well-posedness. Therefore, we ensure the pathwise existence and uniqueness of the corresponding deterministic setting and present a novel proof for the measurability of the solution, since classical approaches fail in the discontinuous-flux case. As an example of the developed theory, we present a specific advection coefficient, which is modeled as a sum of a continuous random field and a pure jump field. This random field is employed in the stochastic conservation law, in particular a stochastic Burgers' equation, for numerical experiments. We approximate the solution to this problem via the Finite Volume method and introduce a new meshing strategy that accounts for the resulting standing wave profiles caused by the flux-discontinuities. The ability of this new meshing method to reduce the sample-wise variance is demonstrated in numerous numerical investigations.


title: Rectilinear approximation and volume estimates for hereditary bodies via [0,1]-decorated containers

abstract: We use the hypergraph container theory of Balogh--Morris--Samotij and Saxton--Thomason to obtain general rectilinear approximations and volume estimates for sequences of bodies closed under certain families of projections. We give a number of applications of our results, including a multicolour generalisation of a theorem of Hatami, Janson and Szegedy on the entropy of graph limits. Finally, we raise a number of questions on geometric and analytic approaches to containers.


title: Suppression of ballistic helical transport by isotropic dynamical magnetic impurities

abstract: Dynamical magnetic impurities (MI) are considered as a possible origin for suppression of the ballistic helical transport on edges of 2D topological insulators. The MIs provide a spin-flip backscattering of itinerant helical electrons. Such a backscattering reduces the ballistic conductance if the exchange interaction between the MI and the electrons is anisotropic and the Kondo screening is unimportant. It is well-known that the isotropic MIs do not suppress the helical transport in systems with axial spin symmetry of the electrons. We show that, if this symmetry is broken, the isotropic MI acquires an effective anisotropy and suppresses the helical conductance. The peculiar underlying mechanism is a successive backscattering of the electrons which propagate in the same direction and have different energies. The respective correction to the linear conductance is determined by the allowed phase space of the electrons and scales with temperature as T^4. Hence, it disappears at small temperatures. This qualitatively distinguishes effects governed by the MIs with the induced and bare anisotropy; the latter is temperature independent. If T is smaller than the applied bias, finite e V, the allowed phase space is provided by the bias and the differential conductance scales as (e V)^4.


title: IsiSPL: Toward an Automated Reactive Approach to build Software Product Lines

abstract: Over the past decades, Software Product Lines (SPLs) have demonstrated the benefits of systematic reuse to increase software development productivity and software product quality. Of the three adoption approaches, i.e. extractive, proactive and reactive, the reactive approach seems the most suitable for software development in practice. The strength of this approach is that it remains close to classical software development practices. In fact, it avoids a complete analysis of the business domain and its variability (i.e. proactive approach), and avoids requiring a set of product variants that covers this domain (i.e. extractive approach). Nevertheless, despite these advantages, we believe that the main obstacle of the reactive approach adoption is the lack of automation of its re-engineering process. This paper proposes isiSPL: a reactive-based approach that facilitates both construction and maintenance of an SPL. The construction of the SPL is based on a quasi-automatic process. The maintenance of the SPL can be made on a white-box SPL implementation, generated by isiSPL. isiSPL is based on two steps: first, the identification and integration of the artefacts of a newly created product into the structure of the SPL; second, the selection of a set of artefacts and their composition to generate a new product that can either partially or completely meet the requirements provided for a product intended by a developer. We have implemented isiSPL and validated its integration and generation using the two different sets of products from ArgoUML-SPL and Soduko-SPL.