title: Poisson geometrical aspects of the Tomita-Takesaki modular theory

abstract: We investigate some genuine Poisson geometric objects in the modular theory of an arbitrary von Neumann algebra $\mathfrak{M}$. Specifically, for any standard form realization $(\mathfrak{M},\mathcal{H},J,\mathcal{P})$, we find a canonical foliation of the Hilbert space $\mathcal{H}$, whose leaves are Banach manifolds that are weakly immersed into~$\mathcal{H}$, thereby endowing $\mathcal{H}$ with a richer Banach manifold structure to be denoted by $\widetilde{\mathcal{H}}$. We also find that $\widetilde{\mathcal{H}}$ has the structure of a Banach-Lie groupoid $\widetilde{\mathcal{H}}\rightrightarrows\mathfrak{M}_*^+$ which is isomorphic to the action groupoid $\mathcal{U}(\mathfrak{M})\ast\mathfrak{M}_*^+\rightrightarrows\mathfrak{M}_*^+$ defined by the natural action of the Banach-Lie groupoid of partial isometries $\mathcal{U}(\mathfrak{M})\rightrightarrows\mathcal{L}(\mathfrak{M})$ on the positive cone in the predual $\mathfrak{M}_*^+$, where $\mathcal{L}(\mathfrak{M})$ is the projection lattice of $\mathfrak{M}$. There is also a presymplectic form $\widetilde{\boldsymbol\omega}\in\Omega^2(\widetilde{\mathcal{H}})$ that comes fom the scalar product of $\mathcal{H}$ and is multiplicative in the usual sense of finite-dimensional Lie groupoid theory. We further show that the groupoid $(\widetilde{\mathcal{H}},\widetilde{\boldsymbol\omega})\rightrightarrows \mathfrak{M}_*^+$ shares several other properties of finite-dimensional presymplectic groupoids and we investigate the Poisson manifold structures of its orbits as well as the leaf space the foliation defined by the degeneracy kernel of the presymplectic form~$\widetilde{\boldsymbol\omega}$.


title: Structured Channel Covariance Estimation from Limited Samples in Massive MIMO

abstract: Obtaining channel covariance knowledge is of great importance in various Multiple-Input Multiple-Output MIMO communication applications, including channel estimation and covariance-based user grouping. In a massive MIMO system, covariance estimation proves to be challenging due to the large number of antennas ($M\gg 1$) employed in the base station and hence, a high signal dimension. In this case, the number of pilot transmissions $N$ becomes comparable to the number of antennas and standard estimators, such as the sample covariance, yield a poor estimate of the true covariance and are undesirable. In this paper, we propose a Maximum-Likelihood (ML) massive MIMO covariance estimator, based on a parametric representation of the channel angular spread function (ASF). The parametric representation emerges from super-resolving discrete ASF components via the well-known MUltiple SIgnal Classification (MUSIC) method plus approximating its continuous component using suitable limited-support density function. We maximize the likelihood function using a concave-convex procedure, which is initialized via a non-negative least-squares optimization problem. Our simulation results show that the proposed method outperforms the state of the art in various estimation quality metrics and for different sample size to signal dimension ($N/M$) ratios.


title: The Frank-Lieb approach to sharp Sobolev inequalities

abstract: Frank and Lieb gave a new, rearrangement-free, proof of the sharp Hardy-Littlewood-Sobolev inequalities by exploiting their conformal covariance. Using this they gave new proofs of sharp Sobolev inequalities for the embeddings $W^{k,2}(\mathbb{R}^n)\hookrightarrow L^{\frac{2n}{n-2k}}(\mathbb{R}^n)$. We show that their argument gives a direct proof of the latter inequalities without passing through Hardy-Littlewood-Sobolev inequalities, and, moreover, a new proof of a sharp fully nonlinear Sobolev inequality involving the $\sigma_2$-curvature. Our argument relies on nice commutator identities deduced using the Fefferman-Graham ambient metric.


title: Minimum Data Requirements and Supplemental Angle Constraints for Protein Structure Prediction with REDCRAFT

abstract: One algorithm to predict protein structure is the residual dipolar coupling based residue assembly and filter tool (REDCRAFT). This algorithm exploits an exponential reduction of the search space of all possible structures to find a structure that best fits a set of experimental residual dipolar couplings. However, the minimum amount of data required to successfully determine a protein's structure using REDCRAFT has not been previously investigated. Here we explore the effect of reducing the amount of data used to fold proteins. Our goal is to reduce experimental data collection times while retaining the accuracy levels previously achieved with larger amounts of data. We also investigate incorporating a priori secondary structure information into REDCRAFT to improve its structure prediction ability.


title: Coherent spin pumping in a strongly coupled magnon-magnon hybrid system

abstract: We experimentally identify coherent spin pumping in the magnon-magnon hybrid modes of permalloy/yttrium iron garnet (Py/YIG) bilayers. Using broadband ferromagnetic resonance, an "avoided crossing" is observed between the uniform mode of Py and the spin wave mode of YIG due to the fieldlike interfacial exchange coupling. We also identify additional linewidth suppression and enhancement for the in-phase and out-of-phase hybrid modes, respectively, \textcolor{black}{which can be interpreted as concerted dampinglike torque from spin pumping}. Our analysis predicts inverse proportionality of both fieldlike and dampinglike torques to the square root of the Py thickness, which quantitatively agrees with experiments.


title: Decidability Problems for Adele Rings and related restricted products

abstract: We study elementary equivalence of adele rings and decidability for adele rings of general number fields. We prove that elementary equivalence of adele rings implies isomorphism of the adele rings.


title: Learning Fairness in Multi-Agent Systems

abstract: Fairness is essential for human society, contributing to stability and productivity. Similarly, fairness is also the key for many multi-agent systems. Taking fairness into multi-agent learning could help multi-agent systems become both efficient and stable. However, learning efficiency and fairness simultaneously is a complex, multi-objective, joint-policy optimization. To tackle these difficulties, we propose FEN, a novel hierarchical reinforcement learning model. We first decompose fairness for each agent and propose fair-efficient reward that each agent learns its own policy to optimize. To avoid multi-objective conflict, we design a hierarchy consisting of a controller and several sub-policies, where the controller maximizes the fair-efficient reward by switching among the sub-policies that provides diverse behaviors to interact with the environment. FEN can be trained in a fully decentralized way, making it easy to be deployed in real-world applications. Empirically, we show that FEN easily learns both fairness and efficiency and significantly outperforms baselines in a variety of multi-agent scenarios.


title: Vorticity of viscous electronic flow in graphene

abstract: In ultra-pure materials electrons may exhibit a collective motion similar to the hydrodynamic flow of a viscous fluid, the phenomenon with far reaching consequences in a wide range of many body systems from black holes to high-temperature superconductivity. Yet the definitive detection of this intriguing behavior remains elusive. Until recently, experimental techniques for observing hydrodynamic behavior in solids were based on measuring macroscopic transport properties, such as the "nonlocal" (or "vicinity") resistance, which may allow alternative interpretation. Earlier this year two breakthrough experiments demonstrated two distinct imaging techniques making it possible to "observe" the electronic flow directly. We demonstrate that a hydrodynamic flow in a long Hall bar (in the absence of magnetic field) exhibits a nontrivial vortex structure accompanied by a sign-alternating nonlocal resistance. An experimental observation of such unique flow pattern could serve a definitive proof of electronic hydrodynamics.

categories: cond-mat.mes-hall cond-mat.mtrl-sci cond-mat.str-el physics.flu-dyn physics.plasm-ph


title: Coisotropic Ekeland-Hofer capacities

abstract: For subsets in the standard symplectic space $(\mathbb{R}^{2n},\omega_0)$ whose closures are intersecting with coisotropic subspace $\mathbb{R}^{n,k}$ we construct relative versions of the Ekeland-Hofer capacities of the subsets with respect to $\mathbb{R}^{n,k}$, establish representation formulas for such capacities of bounded convex domains intersecting with $\mathbb{R}^{n,k}$. We also prove a product formula and a fact that the value of this capacity on a hypersurface $\mathcal{S}$ of restricted contact type containing the origin is equal to the action of a generalized leafwise chord on $\mathcal{S}$.


title: Dynamic Cloth Manipulation with Deep Reinforcement Learning

abstract: In this paper we present a Deep Reinforcement Learning approach to solve dynamic cloth manipulation tasks. Differing from the case of rigid objects, we stress that the followed trajectory (including speed and acceleration) has a decisive influence on the final state of cloth, which can greatly vary even if the positions reached by the grasped points are the same. We explore how goal positions for non-grasped points can be attained through learning adequate trajectories for the grasped points. Our approach uses few demonstrations to improve control policy learning, and a sparse reward approach to avoid engineering complex reward functions. Since perception of textiles is challenging, we also study different state representations to assess the minimum observation space required for learning to succeed. Finally, we compare different combinations of control policy encodings, demonstrations, and sparse reward learning techniques, and show that our proposed approach can learn dynamic cloth manipulation in an efficient way, i.e., using a reduced observation space, a few demonstrations, and a sparse reward.


title: Global well-posedness of a binary-ternary Boltzmann equation

abstract: In this paper we show global well-posedness near vacuum for the binary-ternary Boltzmann equation. The binary-ternary Boltzmann equation provides a correction term to the classical Boltzmann equation, taking into account both binary and ternary interactions of particles, and may serve as a more accurate description model for denser gases in non-equilibrium. Well-posedness of the classical Boltzmann equation and, independently, the purely ternary Boltzmann equation follow as special cases. To prove global well-posedness, we use a Kaniel-Shinbrot iteration and related work to approximate the solution of the nonlinear equation by monotone sequences of supersolutions and subsolutions. This analysis required establishing new convolution type estimates to control the contribution of the ternary collisional operator to the model. We show that the ternary operator allows consideration of softer potentials than the one binary operator, consequently our solution to the ternary correction of the Boltzmann equation preserves all the properties of the binary interactions solution. These results are novel for collisional operators of monoatomic gases with either hard or soft potentials that model both binary and ternary interactions.


title: Strictly linear light cones in long-range interacting systems of arbitrary dimensions

abstract: In locally interacting quantum many-body systems, the velocity of information propagation is finitely bounded and a linear light cone can be defined. Outside the light cone, the amount of information rapidly decays with distance. When systems have long-range interactions, it is highly nontrivial whether such a linear light cone exists. Herein, we consider generic long-range interacting systems with decaying interactions, such as $R^{-\alpha}$ with distance $R$. We prove the existence of the linear light cone for $\alpha>2D+1$ ($D$: the spatial dimension), where we obtain the Lieb--Robinson bound as $\|[O_i(t),O_j]\|\lesssim{t}^{2D+1}(R-\bar{v}t)^{-\alpha}$ with $\bar{v}=\mathcal{O}(1)$ for two arbitrary operators $O_i$ and $O_j$ separated by a distance $R$. Moreover, we provide an explicit quantum-state transfer protocol that achieves the above bound up to a constant coefficient and violates the linear light cone for $\alpha<2D+1$. In the regime of $\alpha>2D+1$, our result characterizes the best general constraints on the information spreading.

categories: quant-ph cond-mat.dis-nn cond-mat.stat-mech hep-th math-ph math.MP


title: Optimization of CNOT circuits on limited connectivity architecture

abstract: A CNOT circuit is the key gadget for entangling qubits in quantum computing systems. However, the qubit connectivity of noisy intermediate-scale quantum (NISQ) devices is constrained by their {limited connectivity architecture}. To improve the performance of CNOT circuits on NISQ devices, we investigate the optimization of the size/depth of CNOT circuits under the limited connectivity architecture. We present a method that can optimize the size of any $n$-qubit CNOT circuit $O\left(\frac{n^2}{\log \delta}\right)$ on any connected graph with minimum degree $\delta$, and prove this bound is optimal for the regular graph. For the near-term sparsely connected structure, we additionally present a method that can optimize the size of any $n$-qubit CNOT circuit to below $2n^2$. The numerical experiment shows that our method performs better than state-of-the-art results. Specifically, we present an example to illustrate the applicability of our algorithm. For the grid structure, which is commonly used in current quantum devices, we demonstrate that the depth of any $n$-qubit CNOT circuit can be optimized to be linear in $n$ with certain ancillary qubits (ancillas). Experimental results indicate that this method has significant improvements compared with all of the existing methods. We additionally test our algorithms on the five-qubit IBMQ devices, and the experiments show that the measurement results of the optimized circuit with our algorithm are more robust to noise compared with the IBM mapping method.


title: In-Place Zero-Space Memory Protection for CNN

abstract: Convolutional Neural Networks (CNN) are being actively explored for safety-critical applications such as autonomous vehicles and aerospace, where it is essential to ensure the reliability of inference results in the presence of possible memory faults. Traditional methods such as error correction codes (ECC) and Triple Modular Redundancy (TMR) are CNN-oblivious and incur substantial memory overhead and energy cost. This paper introduces in-place zero-space ECC assisted with a new training scheme weight distribution-oriented training. The new method provides the first known zero space cost memory protection for CNNs without compromising the reliability offered by traditional ECC.


title: How to have more things by forgetting how to count them

abstract: Cohen's first model is a model of Zermelo--Fraenkel set theory in which there is a Dedekind-finite set of real numbers, and it is perhaps the most famous model where the Axiom of Choice fails. We force over this model to add a function from this Dedekind-finite set to some infinite ordinal $\kappa$. In the case that we force the function to be injective, it turns out that the resulting model is the same as adding $\kappa$ Cohen reals to the ground model, and that we have just added an enumeration of the canonical Dedekind-finite set. In the case where the function is merely surjective it turns out that we do not add any reals, sets of ordinals, or collapse any Dedekind-finite sets. This motivates the question if there is any combinatorial condition on a Dedekind-finite set $A$ which characterises when a forcing will preserve its Dedekind-finiteness or not add new sets of ordinals. We answer this question in the case of "Adding a Cohen subset" by presenting a varied list of conditions each equivalent to the preservation of Dedekind-finiteness. For example, $2^A$ is extremally disconnected, or $[A]^{<\omega}$ is Dedekind-finite.


title: Continual Unsupervised Representation Learning

abstract: Continual learning aims to improve the ability of modern learning systems to deal with non-stationary distributions, typically by attempting to learn a series of tasks sequentially. Prior art in the field has largely considered supervised or reinforcement learning tasks, and often assumes full knowledge of task labels and boundaries. In this work, we propose an approach (CURL) to tackle a more general problem that we will refer to as unsupervised continual learning. The focus is on learning representations without any knowledge about task identity, and we explore scenarios when there are abrupt changes between tasks, smooth transitions from one task to another, or even when the data is shuffled. The proposed approach performs task inference directly within the model, is able to dynamically expand to capture new concepts over its lifetime, and incorporates additional rehearsal-based techniques to deal with catastrophic forgetting. We demonstrate the efficacy of CURL in an unsupervised learning setting with MNIST and Omniglot, where the lack of labels ensures no information is leaked about the task. Further, we demonstrate strong performance compared to prior art in an i.i.d setting, or when adapting the technique to supervised tasks such as incremental class learning.


title: Extending the Parisi formula along a Hamilton-Jacobi equation

abstract: We study the free energy of mixed $p$-spin spin glass models enriched with an additional magnetic field given by the canonical Gaussian field associated with a Ruelle probability cascade. We prove that this free energy converges to the Hopf-Lax solution of a certain Hamilton-Jacobi equation. Using this result, we give a new representation of the free energy of mixed $p$-spin models with soft spins.


title: On first countable, cellular-compact spaces

abstract: As it was introduced by Tkachuk and Wilson, a topological space $X$ is cellular-compact if given any cellular, i.e. disjoint, family $\mathcal U$ of non-empty open subsets of $X$ there is a compact subspace $K\subset X$ such that $K\cap U\ne \emptyset$ for each $U\in \mathcal U$. Answering several questions raised by Tkachuk and Wilson we show that (1) any first countable cellular-compact $T_2$ space is $T_3$, and so its cardinality is at most $\mathfrak{c} = 2^{\omega}$; (2) $cov(\mathcal M)>{\omega}_1$ implies that every first countable and separable cellular-compact $T_2$ space is compact; (3 if there is no $S$-space then any cellular-compact $T_3$ space of countable spread is compact; (4) $MA_{{\omega}_1}$ implies that every point of a compact $T_2$ space of countable spread has a disjoint local $\pi$-base.


title: Holomorphic curves in mixed Shimura varieties

abstract: Following work by Ullmo and Yafaev, we propose and prove an analogue of the Bloch-Ochiai theorem in the context of mixed Shimura varieties. We follow the strategy and use results of previous articles by Ullmo and Yafaev and the author plus consequences of the Ax-Lindemann-Weierstrass theorem for mixed Shimura varieties due to Gao.


title: Elliptic curves with long arithmetic progressions have large rank

abstract: For any family of elliptic curves over the rational numbers with fixed $j$-invariant, we prove that the existence of a long sequence of rational points whose $x$-coordinates form a non-trivial arithmetic progression implies that the Mordell-Weil rank is large, and similarly for $y$-coordinates. We give applications related to uniform boundedness of ranks, conjectures by Bremner and Mohanty, and arithmetic statistics on elliptic curves. Our approach involves Nevanlinna theory as well as R\'emond's quantitative extension of results of Faltings.


title: Quantum Evolution And Sub-laplacian Operators On Groups Of Heisenberg Type

abstract: In this paper we analyze the evolution of the time averaged energy densities associated with a family of solutions to a Schr{\"o}dinger equation on a Lie group of Heisenberg type. We use a semi-classical approach adapted to the stratified structure of the group and describe the semi-classical measures (also called quantum limits) that are associated with this family. This allows us to prove an Egorov's type Theorem describing the quantum evolution of a pseudodifferential semi-classical operator through the semi-group generated by a sub-Laplacian.


title: Measurement of $J/\psi$ at forward and backward rapidity in $p$+$p$, $p$$+A$l, $p$$+A$u, and $^3$He+Au collisions at $\sqrt{s_{_{NN}}}=200~{\rm GeV}$

abstract: Charmonium is a valuable probe in heavy-ion collisions to study the properties of the quark gluon plasma, and is also an interesting probe in small collision systems to study cold nuclear matter effects, which are also present in large collision systems. With the recent observations of collective behavior of produced particles in small system collisions, measurements of the modification of charmonium in small systems have become increasingly relevant. We present the results of $J/\psi$ measurements at forward and backward rapidity in various small collision systems, $p$$+$$p$, $p$$+$Al, $p$$+$Au and $^3$He$+$Au, at $\sqrt{s_{_{NN}}}$=200 GeV. The results are presented in the form of the observable $R_{AB}$, the nuclear modification factor, a measure of the ratio of the $J/\psi$ invariant yield compared to the scaled yield in $p$$+$$p$ collisions. We examine the rapidity, transverse momentum, and collision centrality dependence of nuclear effects on $J/\psi$ production with different projectile sizes $p$ and $^3$He, and different target sizes Al and Au. The modification is found to be strongly dependent on the target size, but to be very similar for $p$$+$Au and $^{3}$He$+$Au. However, for 0%--20% central collisions at backward rapidity, the modification for $^{3}$He$+$Au is found to be smaller than that for $p$$+$Au, with a mean fit to the ratio of $0.89\pm0.03$(stat)${\pm}0.08$(syst), possibly indicating final state effects due to the larger projectile size.


title: NAT: Neural Architecture Transformer for Accurate and Compact Architectures

abstract: Designing effective architectures is one of the key factors behind the success of deep neural networks. Existing deep architectures are either manually designed or automatically searched by some Neural Architecture Search (NAS) methods. However, even a well-searched architecture may still contain many non-significant or redundant modules or operations (e.g., convolution or pooling), which may not only incur substantial memory consumption and computation cost but also deteriorate the performance. Thus, it is necessary to optimize the operations inside an architecture to improve the performance without introducing extra computation cost. Unfortunately, such a constrained optimization problem is NP-hard. To make the problem feasible, we cast the optimization problem into a Markov decision process (MDP) and seek to learn a Neural Architecture Transformer (NAT) to replace the redundant operations with the more computationally efficient ones (e.g., skip connection or directly removing the connection). Based on MDP, we learn NAT by exploiting reinforcement learning to obtain the optimization policies w.r.t. different architectures. To verify the effectiveness of the proposed strategies, we apply NAT on both hand-crafted architectures and NAS based architectures. Extensive experiments on two benchmark datasets, i.e., CIFAR-10 and ImageNet, demonstrate that the transformed architecture by NAT significantly outperforms both its original form and those architectures optimized by existing methods.


title: Gyrokinetic investigation of the damping channels of Alfv\'en modes in ASDEX Upgrade

abstract: The linear destabilization and nonlinear saturation of energetic-particle driven Alfv\'enic instabilities in tokamaks strongly depend on the damping channels. In this work, the collisionless damping mechanisms of Alfv\'enic modes are investigated within a gyrokinetic framework, by means of global simulations with the particle-in-cell code ORB5, and compared with the eigenvalue code LIGKA and reduced models. In particular, the continuum damping and the Landau damping (of ions and electrons) are considered. The electron Landau damping is found to be dominant on the ion Landau damping for experimentally relevant cases. As an application, the linear and nonlinear dynamics of toroidicity induced Alfv\'en eigenmodes and energetic-particle driven modes in ASDEX Upgrade is investigated theoretically and compared with experimental measurements.


title: Positive HBs antigen in the absence of hepatitis B virus infection

abstract: French recommendations for the screening of hepatitis B virus (HBV) infection were updated in 2019 with the association of three markers: HBs Ag, anti-HBs Ab and anti-HBc Ab. These three markers allow identification of infected patients, vaccinated patients and patients who have been in contact with HBV. A positive HBs Ag is usually associated with HBV infection but this interpretation must take into account the clinical context. In particular, the absence of anti-HBc Ab, normal ALAT levels and the absence of jaundice can be associated with recent HBV vaccination or false-positive HBs Ag. Recent HBV vaccination can usually be confirmed by patient questioning, while confirmatory tests are useful to detect false positive HBs Ag. If necessary, a second sample can be requested to confirm the interpretation.


title: Semi-supervisedly Co-embedding Attributed Networks

abstract: Deep generative models (DGMs) have achieved remarkable advances. Semi-supervised variational auto-encoders (SVAE) as a classical DGM offer a principled framework to effectively generalize from small labelled data to large unlabelled ones, but it is difficult to incorporate rich unstructured relationships within the multiple heterogeneous entities. In this paper, to deal with the problem, we present a semi-supervised co-embedding model for attributed networks (SCAN) based on the generalized SVAE for heterogeneous data, which collaboratively learns low-dimensional vector representations of both nodes and attributes for partially labelled attributed networks semi-supervisedly. The node and attribute embeddings obtained in a unified manner by our SCAN can benefit for capturing not only the proximities between nodes but also the affinities between nodes and attributes. Moreover, our model also trains a discriminative network to learn the label predictive distribution of nodes. Experimental results on real-world networks demonstrate that our model yields excellent performance in a number of applications such as attribute inference, user profiling and node classification compared to the state-of-the-art baselines.


title: Structured exploration in the finite horizon linear quadratic dual control problem

abstract: This paper presents a novel approach to synthesize dual controllers for unknown linear time-invariant systems with the tasks of optimizing a quadratic cost while reducing the uncertainty. To this end, a synthesis problem is defined where the feedback law has to simultaneously gain knowledge of the system and robustly optimize the cost. By framing the problem in a finite horizon setting, the trade-offs arising when the tasks include both identification and control are formally captured in the optimization problem. Results show that efficient exploration strategies are achieved when the structure of the problem is exploited.


title: Large depth-of-field tracking of colloidal spheres in holographic microscopy by modeling the objective lens

abstract: Holographic microscopy has developed into a powerful tool for 3D particle tracking, yielding nanometer-scale precision at high frame rates. However, current particle tracking algorithms ignore the effect of the microscope objective on the formation of the recorded hologram. As a result, particle tracking in holographic microscopy is currently limited to particles well above the microscope focus. Here, we show that modeling the effect of an aberration-free lens allows tracking of particles above, near, and below the focal plane in holographic microscopy, doubling the depth of field. Finally, we use our model to determine the conditions under which ignoring the effect of the lens is justified, and in what conditions it leads to systematic errors.


title: The Cramer-Rao inequality to go beyond the $\mathbf{\sqrt{N}}$-limit of the standard least-squares method in track fitting

abstract: The Cramer-Rao-Frechet inequality is reviewed specializing it to track fitting. A diffused opinion attributes to this inequality the limitation of the resolution of the track fits with the number N of observations. It turns out that this opinion is incorrect, weighted least squares method is not subjected to that N-limitation. In a previous publication, simulations with a simple Gaussian model produced interesting results: a linear growth of the peaks of the distributions with the number $N$ of observations, much faster than the $\sqrt{N}$ of the standard least squares. These results could be considered a violation of a well known $1/N$-rule for the variance of an unbiased estimator, frequently reported as the Cramer-Rao-Frechet bound. To clarify this point beyond any doubt, it would be essential a direct proof of the consistency of those results with this inequality. Unfortunately, such proof is lacking or very difficult to find. Hence, the Cramer-Rao-Frechet developments are applied to prove the efficiency (optimality) of the simple Gaussian model and the consistency of its results. The inequality remains valid even for irregular models supporting the results of realistic models with similar growths.


title: No evidence of a sudden change of spectral appearance or magnetic field strength of the O9.7V star HD 54879

abstract: It was recently claimed that the magnetic O-type star HD 54879 exhibits important radial velocity variability indicative of its presence in a spectroscopic binary. More remarkably, it was furthermore reported that the star underwent a short, sudden variation in spectral type and magnetic field. In this Letter we examine new Narval and ESPaDOnS data of this star in addition to the previously-published FORS2 data and conclude that both the reported velocity variations and the sudden spectral and magnetic changes are spurious.


title: Direct N-body application on low-power and energy-efficient parallel architectures

abstract: The aim of this work is to quantitatively evaluate the impact of computation on the energy consumption on ARM MPSoC platforms, exploiting CPUs, embedded GPUs and FPGAs. One of them possibly represents the future of High Performance Computing systems: a prototype of an Exascale supercomputer. Performance and energy measurements are made using a state-of-the-art direct $N$-body code from the astrophysical domain. We provide a comparison of the time-to-solution and energy delay product metrics, for different software configurations. We have shown that FPGA technologies can be used for application kernel acceleration and are emerging as a promising alternative to "traditional" technologies for HPC, which purely focus on peak-performance than on power-efficiency.


title: Probabilistic Bias Mitigation in Word Embeddings

abstract: It has been shown that word embeddings derived from large corpora tend to incorporate biases present in their training data. Various methods for mitigating these biases have been proposed, but recent work has demonstrated that these methods hide but fail to truly remove the biases, which can still be observed in word nearest-neighbor statistics. In this work we propose a probabilistic view of word embedding bias. We leverage this framework to present a novel method for mitigating bias which relies on probabilistic observations to yield a more robust bias mitigation algorithm. We demonstrate that this method effectively reduces bias according to three separate measures of bias while maintaining embedding quality across various popular benchmark semantic tasks


title: Order Determination for Spiked Models

abstract: Motivated by dimension reduction in regression analysis and signal detection, we investigate the order determination for large dimension matrices including spiked models of which the numbers of covariates are proportional to the sample sizes for different models. Because the asymptotic behaviour of the estimated eigenvalues of the corresponding matrices differ completely from those in fixed dimension scenarios, we then discuss the largest possible number we can identify and introduce a "valley-cliff" criterion. We propose two versions of the criterion: one based on the original differences of eigenvalues and the other based on the transformed differences, which reduces the effects of ridge selection in the former one. This generic method is very easy to implement and computationally inexpensive, and it can be applied to various matrices. As examples, we focus on spiked population models, spiked Fisher matrices and factor models with auto-covariance matrices. Numerical studies are conducted to examine the method's finite sample performances and to compare it with existing methods.


title: Data-driven model for hydraulic fracturing design optimization: focus on building digital database and production forecast

abstract: Growing amount of hydraulic fracturing (HF) jobs in the recent two decades resulted in a significant amount of measured data available for development of predictive models via machine learning (ML). In multistage fractured completions, post-fracturing production analysis reveals that different stages produce very non-uniformly due to a combination of geomechanics and fracturing design factors. Hence, there is a significant room for improvement of current design practices. The workflow is essentially split into two stages. As a result of the first stage, the present paper summarizes the efforts into the creation of a digital database of field data from several thousands of multistage HF jobs on wells from circa 20 different oilfields in Western Siberia, Russia. In terms of the number of points (fracturing jobs), the present database is a rare case of a representative dataset of about 5000 data points. Each point in the data base contains the vector of 92 input variables (the reservoir, well and the frac design parameters) and the vector of production data, which is characterized by 16 parameters, including the target, cumulative oil production. Data preparation has been done using various ML techniques: the problem of missing values in the database is solved with collaborative filtering for data imputation; outliers are removed using visualisation of cluster data structure by t-SNE algorithm. The production forecast problem is solved via CatBoost algorithm. Prediction capability of the model is measured with the coefficient of determination (R^2) and reached 0.815. The inverse problem (selecting an optimum set of fracturing design parameters to maximize production) will be considered in the second part of the study to be published in another paper, along with a recommendation system for advising DESC and production stimulation engineers on an optimized fracturing design.


title: Seebeck coefficient in low-dimensional fluctuating charge-density-wave systems

abstract: We study the role of charge density-wave fluctuations on the temperature dependence of Seebeck coefficient in quasi-one dimensional conductors with a Peierls instability. The description of low-dimensional incommensurate charge density-wave fluctuations as obtained by a generalized Ginzburg-Landau approach for arrays of weakly coupled chains is embodied in the numerical solution of the semi-classical Boltzmann transport equation. The energy and temperature dependence of the scattering time of electrons on fluctuations can then be extracted and its influence on the Seebeck coefficient calculated. The connexion between theory and experiments carried out on molecular conductors is presented and critically discussed.


title: Modelling ultrafast non-equilibrium carrier dynamics and relaxation processes upon irradiation of hexagonal Silicon-Carbide with femtosecond laser pulses

abstract: We present a theoretical investigation of the yet unexplored dynamics of the produced excited carriers upon irradiation of hexagonal Silicon Carbide (6H-SiC) with femtosecond laser pulses. To describe the ultrafast behaviour of laser induced out-of-equilibrium carriers, a real time simulation based on Density Functional Theory (DFT) methodology is used to compute both the hot carrier dynamics and transient change of the optical properties. A Two-Temperature model (TTM) is also employed to derive the relaxation processes for laser pulses of wavelength 401 nm, duration 50 fs at normal incidence irradiation which indicate that surface damage on the material occurs for fluence ~1.88 Jcm-2. This approach of linking, for the first time, real time calculations, transient optical properties and TTM modelling, has strong implications for understanding both the ultrafast dynamics and relaxation processes and providing a precise investigation of the impact of hot carrier population in surface damage mechanisms in solids.


title: Assessment of Multiple-Biomarker Classifiers: fundamental principles and a proposed strategy

abstract: The multiple-biomarker classifier problem and its assessment are reviewed against the background of some fundamental principles from the field of statistical pattern recognition, machine learning, or the recently so-called "data science". A narrow reading of that literature has led many authors to neglect the contribution to the total uncertainty of performance assessment from the finite training sample. Yet the latter is a fundamental indicator of the stability of a classifier; thus its neglect may be contributing to the problematic status of many studies. A three-level strategy is proposed for moving forward in this field. The lowest level is that of construction, where candidate features are selected and the choice of classifier architecture is made. At that point, the effective dimensionality of the classifier is estimated and used to size the next level of analysis, a pilot study on previously unseen cases. The total (training and testing) uncertainty resulting from the pilot study is, in turn, used to size the highest level of analysis, a pivotal study with a target level of uncertainty. Some resources available in the literature for implementing this approach are reviewed. Although the concepts explained in the present article may be fundamental and straightforward for many researchers in the machine learning community they are subtle for many practitioners, for whom we provided a general advice for the best practice in \cite{Shi2010MAQCII} and elaborate here in the present paper.


title: (Non)-escape of mass and equidistribution for horospherical actions on trees

abstract: Let $G$ be a large group acting on a biregular tree $T$ and $\Gamma \leq G$ a geometrically finite lattice. In an earlier work, the authors classified orbit closures of the action of the horospherical subgroups on $G/\Gamma$. In this article we show that there is no escape of mass and use this to prove that, in fact, dense orbits equidistribute to the Haar measure on $G/\Gamma$. On the other hand, we show that new dynamical phenomena for horospherical actions appear on quotients by non-geometrically finite lattices: we give examples of non-geometrically finite lattices where an escape of mass phenomenon occurs and where the orbital averages along a Folner sequence do not converge. In the last part, as a by-product of our methods, we show that projections to $\Gamma \backslash T$ of the uniform distributions on large spheres in the tree $T$ converge to a natural probability measure on $\Gamma \backslash T$. Finally, we apply this equidistribution result to a lattice point counting problem to obtain counting asymptotics with exponential error term.


title: Percolation of the excursion sets of planar symmetric shot noise fields

abstract: We prove the existence of phase transitions in the global connectivity of the excursion sets of planar symmetric shot noise fields. Our main result establishes a phase transition with respect to the level for shot noise fields with symmetric log-concave mark distributions, including Gaussian, uniform, and Laplace marks, and kernels that are positive, symmetric, and have sufficient tail decay. Without the log-concavity assumption we prove a phase transition with respect to the intensity of positive marks.


title: Deep ATCA and VLA radio observations of short-GRB host galaxies. Constraints on star-formation rates, afterglow flux, and kilonova radio flares

abstract: We report the results of an extensive radio-continuum observing campaign of host galaxies of short gamma-ray bursts (GRBs). The goal of this survey was to search for optically obscured star formation, possibly indicative of a population of young short-GRB progenitors. Our sample comprises the hosts and host-galaxy candidates of 16 short-GRBs from 2005 to 2015, corresponding to roughly 1/3 of the presently known ensemble of well-localized short bursts. Eight GRB fields were observed with ATCA (at 5.5 and 9.0 GHz), and eight fields with the VLA (mostly at 5.5 GHz). The observations typically achieved a 1-sigma_rms of 5 to 8 microJy. In most cases they were performed years after the corresponding burst. No new short-GRB host with optically obscured star formation was found. Only one host galaxy was detected, the one of GRB 100206A at z=0.407. However, its starburst nature was already known from optical/IR data. Its measured radio flux can be interpreted as being due to a star formation rate (SFR) of about 60 M_sol/yr. This is in good agreement with earlier expectations based on the observed broad-band spectral energy distribution of this galaxy. The 15 non-detections constrain the SFRs of the suspected host galaxies and provide upper limits on late-time luminosities of the associated radio afterglows and predicted kilonova radio flares. The non-detection of radio emission from GRB explosion sites confirms the intrinsically low luminosity of short-GRB afterglows and places significant constraints on the parameter space of magnetar-powered radio flares. Luminous radio flares from fiducial massive magnetars have not been found.


title: Atomistic simulation of PDADMAC/PSS oligoelectrolyte multilayers: overall comparison of tri- and tetra-layer systems

abstract: By employing large-scale molecular dynamics simulations of atomistically resolved oligoelectrolytes in aqueous solutions, we study in detail the first four layer-by-layer deposition cycles of an oligoelectrolyte multilayer made of poly(diallyl dimethyl ammonium chloride)/poly(styrene sulfonate sodium salt) (PDADMAC/PSS). The multilayers are grown on a silica substrate in 0.1M {NaCl} electrolyte solutions and the swollen structures are then subsequently exposed to varying added salt concentration. We investigated the microscopic properties of the films, analyzing in detail the differences between three- and four-layers systems. Our simulations provide insights on the early stages of growth of a multilayer, which are particularly challenging for experimental observations. We found a rather strong entanglement of the oligoelectrolytes, with a fuzzy layering of the film structure. The main charge compensation mechanism is for all cases intrinsic, whereas extrinsic compensation is relatively ehanced for the layer of the last deposition cycle. In addition, we quantified other fundamental observables of these systems, as the film thickness, water uptake, and overcharge fractions for each deposition layer.


title: Resurgence of the Renormalization Group Equation

abstract: We show how the renormalons emerge from the renormalization group equation with a priori no reference to any Feynman diagrams. The proof is rather given by recasting the renormalization group equation as a resurgent equation studied in the mathematical literature, which describes a function with an infinite number of singularities in the positive axis of the Borel plane. Consistency requires a one-to-one correspondence between the existence of such kind of equation and the actual (generalized) Borel resummation of the renormalons through a one-parameter transseries. Our finding suggests how non-perturbative contributions can affect the running couplings. We also discuss these concepts within the context of gauge theories, making use of the large number of flavor expansion.


title: ALLSAT compressed with wildcards: Frequent Set Mining

abstract: Like any simplicial complex the simplicial complex of all frequent sets can be compressed with wildcards once the maximal frequent sets (=facets) are known. Namely, the task (a particular kind of ALLSAT problem) is achieved by the author's recent algorithm Facets-To-Faces. But how to get the facets in the first place? The novel algorithm Find-All-Facets determines all facets of any (decidable) finite simplicial complex by replacing costly hypergraph dualization (Dualize+Advance and its variants) with the cheaper calculation of the minimal members of certain set families. The latter task is sped up by Vertical Layout. While all of this concerns arbitrary simplicial complexes, the impact to Frequent Set Mining (FSM) seems particularly high.


title: Residues on Affine Grassmannians

abstract: Given a linear group G over a field k, we define a notion of index and residue of an element g of G(k((t)). This provides an alternative proof of Gabber's theorem stating that G has no subgroups isomorphic to the additive or the commutative group iff G(k[[t]])= G(k((t))). In the case of a reductive group, we offer an explicit connection with the theory of affine grassmannians.


title: Inspection of new physics in $\rm B_s^0 \to K^+K^-$ decay mode

abstract: We scrutinize the penguin dominated $ B_s \to K^+ K^-$ decay mode involving $b \to s$ quark level transition in family non-universal $Z^ \prime$ and vector-like down quark model. There is discrepancy in the standard model branching ratio value of this mode with the experimental results reported by Belle, CDF and LHCb Collaborations. Additionally, the measured values of CP-violating asymmetries $ C_{K^+K^-}$ and $ S_{K^+K^-}$ deviate from the SM results. We constrain the new parameter space by using the existing experimental limits on leptonic $ B_s\to \ell \ell$ ($\ell = e, \mu, \tau$) processes. We then check the effects of new physics on the branching ratio and CP violating parameters of the $ B_s \to K^+ K^-$ process.


title: Backward Nonlinear Smoothing Diffusions

abstract: We present a backward diffusion flow (i.e. a backward-in-time stochastic differential equation) whose marginal distribution at any (earlier) time is equal to the smoothing distribution when the terminal state (at a latter time) is distributed according to the filtering distribution. This is a novel interpretation of the smoothing solution in terms of a nonlinear diffusion (stochastic) flow. This solution contrasts with, and complements, the (backward) deterministic flow of probability distributions (viz. a type of Kushner smoothing equation) studied in a number of prior works. A number of corollaries of our main result are given including a derivation of the time-reversal of a stochastic differential equation, and an immediate derivation of the classical Rauch-Tung-Striebel smoothing equations in the linear setting.


title: ODE-methods in non-local equations

abstract: Non-local equations cannot be treated using classical ODE theorems. Nevertheless, several new methods have been introduced in the non-local gluing scheme of our previous article "On higher dimensional singularities for the fractional Yamabe problem: a non-local Mazzeo-Pacard program"; we survey and improve those, and present new applications as well. First, from the explicit symbol of the conformal fractional Laplacian, a variation of constants formula is obtained for fractional Hardy operators. We thus develop, in addition to a suitable extension in the spirit of Caffarelli--Silvestre, an equivalent formulation as an infinite system of second order constant coefficient ODEs. Classical ODE quantities like the Hamiltonian and Wro\'nskian may then be utilized. As applications, we obtain a Frobenius theorem and establish new Poho\vzaev identities. We also give a detailed proof for the non-degeneracy of the fast-decay singular solution of the fractional Lane-Emden equation.


title: Anisotropic compressed sensing for non-Cartesian MRI acquisitions

abstract: In the present note we develop some theoretical results in the theory of anisotropic compressed sensing that allow to take structured sparsity and variable density structured sampling into account. We expect that the obtained results will be useful to derive explicit expressions for optimal sampling strategies in the non-Cartesian (radial, spiral, etc.) setting in MRI.


title: Determination of a wave field in a laterally inhomogeneous medium from boundary data

abstract: We deal with the Cauchy problem for a perturbed wave equation in the half-plane with data given on a part of the space-time boundary. The equation in consideration describes a wave process in a laterally inhomogeneous medium. We propose a reconstruction algorithm, which is applicable to the problem of determining nonstationary wave field from boundary data arising in geophysics.


title: Data-driven Analysis of Regional Capacity Factors in a Large-Scale Power Market: A Perspective from Market Participants

abstract: A competitive wholesale electricity market consists of thousands of interacting market participants. Driven by the variations of fuel costs, system loads and weathers, these market participants compete actively and behave variously in the power market. Although electricity markets tend to become more transparent, a large amount of market information is still not publicly available to market participants. Hence, data-driven analysis based on public data is crucial for market participants to better understand and model large-scale power markets, and ultimately to perform better in power trading. While most of the previous researches related to the large-scale power markets are based on the synthetic networks, a data-driven approach utilizing the real power market data is proposed in this paper. First, the power plants' monthly net generation and capacity data are obtained from U.S. Energy Information Administration (EIA) and aggregated to figure out the monthly regional capacity factors which are used to characterize the market's regional behaviors for market participants. Then, the regional capacity factors are analyzed against the metered system loads and natural gas prices to study the generation behaviors in the power market. The analysis reveals the impacts of regional natural gas prices on capacity factors and the responses of generating behaviors to the system loads. The analysis results present the solid evidence and rational references for market participants to model and validate the large-scale power market in the future.


title: Ab initio electron-defect interactions using Wannier functions

abstract: Computing electron-defect (e-d) interactions from first principles has remained impractical due to computational cost. Here we develop an interpolation scheme based on maximally localized Wannier functions (WFs) to efficiently compute e-d interaction matrix elements. The interpolated matrix elements can accurately reproduce those computed directly without interpolation, and the approach can significantly speed up calculations of e-d relaxation times and defect-limited charge transport. We show example calculations of vacancy defects in silicon and copper, for which we compute the e-d relaxation times on fine uniform and random Brillouin zone grids (and for copper, directly on the Fermi surface) as well as the defect-limited resistivity at low temperature. Our interpolation approach opens doors for atomistic calculations of charge carrier dynamics in the presence of defects.


title: Truncations of Ordered Abelian Groups

abstract: The abstract will be added in due course.


title: Hausdorff dimension of the second Grigorchuk group

abstract: We show that the Hausdorff dimension of the closure of the second Grigorchuk group is 43/128. Furthermore we establish that the second Grigorchuk group is super strongly fractal and that its automorphism group equals its normaliser in the full automorphism group of the tree.


title: A remark on the enumeration of rooted labeled trees

abstract: Two decades ago, Chauve, Dulucq and Guibert showed that the number of rooted trees on the vertex set $[n+1]$ in which exactly $k$ children of the root are lower-numbered than the root is $\binom{n}{k} \, n^{n-k}$. Here I give a simpler proof of this result.


title: Do Multi-hop Readers Dream of Reasoning Chains?

abstract: General Question Answering (QA) systems over texts require the multi-hop reasoning capability, i.e. the ability to reason with information collected from multiple passages to derive the answer. In this paper we conduct a systematic analysis to assess such an ability of various existing models proposed for multi-hop QA tasks. Specifically, our analysis investigates that whether providing the full reasoning chain of multiple passages, instead of just one final passage where the answer appears, could improve the performance of the existing QA models. Surprisingly, when using the additional evidence passages, the improvements of all the existing multi-hop reading approaches are rather limited, with the highest error reduction of 5.8% on F1 (corresponding to 1.3% absolute improvement) from the BERT model. To better understand whether the reasoning chains could indeed help find correct answers, we further develop a co-matching-based method that leads to 13.1% error reduction with passage chains when applied to two of our base readers (including BERT). Our results demonstrate the existence of the potential improvement using explicit multi-hop reasoning and the necessity to develop models with better reasoning abilities.


title: Mean Field Approximation for Identical Bosons on the Complete Graph

abstract: Non-linear dynamics in the quantum random walk setting have been shown to enable conditional speedup of Grover's algorithm. We examine the mean field approximation required for the use of the Gross-Pitaevskii equation on identical bosons evolving on the complete graph. We show that the states of such systems are parameterized by the basis of Young diagrams and determine their one- and two-party marginals. We find that isolated particles are required for good agreement with the mean field approximation, proving that without isolated particles the matrix fidelity agreement is bounded from above by $1/2$.


title: Option-based Equity Risk Premiums

abstract: We construct the term structure of the (forward-looking, US market) equity risk premium from SPX option chains. The method is "model-light". Risk-neutral probability densities are estimated by fitting $N$-component Gaussian mixture models to option quotes, where $N$ is a small integer (here 4 or 5). These densities are transformed to their real-world equivalents by exponential tilting with a single parameter: the Coefficient of Relative Risk Aversion $\kappa$. From history, I estimate $\kappa = 3 \pm 0.5$. From the inferred real-world densities, the equity risk premium is readily calculated. Three term structures serve as examples.


title: A note on isometric immersions and differential equations which describe pseudospherical surfaces

abstract: In this paper, we provide families of second order non-linear partial differential equations, describing pseudospherical surfaces (pss equations), with the property of having local isometric immersions in E^3, with principal curvatures depending on finite-order jets of solutions of the differential equation. These equations occupy a particularly special place amongst pss equations, since a series of recent papers [2, 7, 11, 12, 13], on several classes of pss equations, seemed to suggest that only the sine-Gordon equation had the above property. Explicit examples are given, which include the short pulse equation and some generalizations.


title: On invertible elements in reduced $C^*$-algebras of acylindrically hyperbolic groups

abstract: Let $G$ be an acylindrically hyperbolic group. We prove that if $G$ has no non-trivial finite normal subgroups, then the set of invertible elements is dense in the reduced $C^\ast$-algebra of $G$. The same result is obtained for finite direct products of acylindrically hyperbolic groups.


title: A Nonisothermal Thermodynamical Model Of Liquid-vapor Interaction With Metastability

abstract: The paper concerns the construction of a compressible liquid-vapor relaxation model which is able to capture the metastable states of the non isothermal van der Waals model as well as saturation states. Starting from the Gibbs formalism, we propose a dynamical system which complies with the second law of thermodynamics. Numerical simulations illustrate the expected behaviour of metastable states: an initial metastable condition submitted to a certain perturbation may stay in the metastable state or reaches a saturation state. The dynamical system is then coupled to the dynamics of the compressible fluid using an Euler set of equations supplemented by convection equations on the fractions of volume, mass and energy of one of the phases.


title: Towards vision-based robotic skins: a data-driven, multi-camera tactile sensor

abstract: This paper describes the design of a multi-camera optical tactile sensor that provides information about the contact force distribution applied to its soft surface. This information is contained in the motion of spherical particles spread within the surface, which deforms when subject to force. The small embedded cameras capture images of the different particle patterns that are then mapped to the three-dimensional contact force distribution through a machine learning architecture. The design proposed in this paper exhibits a larger contact surface and a thinner structure than most of the existing camera-based tactile sensors, without the use of additional reflecting components such as mirrors. A modular implementation of the learning architecture is discussed that facilitates the scalability to larger surfaces such as robotic skins.


title: Typical behavior of lower scaled oscillation

abstract: For a mapping $f\colon X\to Y$ between metric spaces the function $\text{lip} f\colon X\to[0,\infty]$ defined by $\text{lip} f(x)=\liminf_{r\to0}\frac{\text{diam} f(B(x,r))}{r}$ is termed the lower scaled oscillation or little lip function. We prove that, given any positive integer $d$ and a locally compact set $\Omega\subseteq\mathbb{R}^d$ with a nonempty interior, for a typical continuous function $f\colon \Omega\to\mathbb{R}$ the set $\{x\in\Omega:\mbox{lip} f(x)>0\}$ has both Hausdorff and lower packing dimensions exactly $d-1$, while the set $\{x\in\Omega:\text{lip} f(x)=\infty\}$ has non-$\sigma$ finite $(d{-}1)$-dimensional Hausdorff measure. This sharp result roofs previous results of Balogh and Cs\"ornyei, Hanson and Buczolich, Hanson, Rmoutil and Z\"urcher. It follows, e.g., that a graph of a typical function $f\in C(\Omega)$ is microscopic, and for a typical function $f\colon[0,1]\to[0,1]$ there are sets $A,B\subseteq[0,1]$ of lower packing and Hausdorff dimension zero, respectively, such that the graph of $f$ is contained in the set $A\times[0,1]\cup[0,1]\times B$.


title: Document-level Neural Machine Translation with Associated Memory Network

abstract: Standard neural machine translation (NMT) is on the assumption that the document-level context is independent. Most existing document-level NMT approaches are satisfied with a smattering sense of global document-level information, while this work focuses on exploiting detailed document-level context in terms of a memory network. The capacity of the memory network that detecting the most relevant part of the current sentence from memory renders a natural solution to model the rich document-level context. In this work, the proposed document-aware memory network is implemented to enhance the Transformer NMT baseline. Experiments on several tasks show that the proposed method significantly improves the NMT performance over strong Transformer baselines and other related studies.


title: Controllability properties from the exterior under positivity constraints for a 1-D fractional heat equation

abstract: We study the controllability to trajectories, under positivity constraints on the control or the state, of a one-dimensional heat equation involving the fractional Laplace operator $ (-\partial_x^2)^s$ (with $0<s<1$) on the interval $(-1,1)$. Our control function is localized in an open set $\mathcal O$ in the exterior of $(-1,1)$, that is, $\mathcal O\subset (\mathbb{R} \setminus (-1,1))$. We show that there exists a minimal (strictly positive) time $T_{\rm min}$ such that the fractional heat dynamics can be controlled from any initial datum in $L^2(-1,1)$ to a positive trajectory through the action of an exterior positive control, if and only if $\frac 12<s<1$. In addition, we prove that at this minimal controllability time, the constrained controllability is achieved by means of a control that belongs to a certain space of Radon measures. Finally, we provide several numerical illustrations that confirm our theoretical results.


title: Secondary terms in asymptotics for the number of zeros of quadratic forms

abstract: Let $F$ be a non-degenerate quadratic form on an $n$-dimensional vector space $V$ over the rational numbers. One is interested in counting the number of zeros of the quadratic form whose coordinates are restricted in a smoothed box of size $B$, roughly speaking. For example, Heath-Brown gave an asymptotic of the form: $c_1 B^{n-2} +O_{J,\epsilon, \omega}(B^{(n-1)/2+\epsilon})$, for any $\epsilon > 0$ and dim$V \geq 5$, where $c_1 \in \mathbb{C}$ and $\omega \in \mathcal{S}(V(\mathbb{R}))$ is a smooth function. More recently, Getz gave an asymptotic of the form: $c_1 B^{n-2} + c_2 B^{n/2}+O_{J,\epsilon, \omega}(B^{n/2+\epsilon-1})$ when $n$ is even, in which $c_2 \in \mathbb{C}$ has a pleasant geometric interpretation. We consider the case where $n$ is odd and give an analogous asymptotic of the form: $c_1 B^{n-2} +c_2B^{(n-1)/2}+O_{J,\epsilon,\omega}(B^{n/2+\epsilon-1})$. Notably it turns out that the geometric interpretation of the constant $c_2$ of the asymptotic in the odd degree and even degree cases is strikingly different.


title: Competing Activists--Political Polarization

abstract: Recent empirical findings suggest that societies have become more polarized in various countries. That is, the median voter of today represents a smaller fraction of society compared to two decades ago and yet, the mechanisms underlying this phenomenon are not fully understood. Since interactions between influential actors ("activists") and voters play a major role in opinion formation, e.g. through social media, we develop a macroscopic opinion model in which competing activists spread their political ideas in specific groups of society. These ideas spread further to other groups in declining strength. While unilateral spreading shifts the opinion distribution, competition of activists leads to additional phenomena: Small heterogeneities among competing activists cause them to target different groups in society, which amplifies polarization. For moderate heterogeneities, we obtain target cycles and further amplification of polarization. In such cycles, the stronger activist differentiates himself from the weaker one, while the latter aims to imitate the stronger activist.


title: AQUALOC: An Underwater Dataset for Visual-Inertial-Pressure Localization

abstract: We present a new dataset, dedicated to the development of simultaneous localization and mapping methods for underwater vehicles navigating close to the seabed. The data sequences composing this dataset are recorded in three different environments: a harbor at a depth of a few meters, a first archaeological site at a depth of 270 meters and a second site at a depth of 380 meters. The data acquisition is performed using Remotely Operated Vehicles equipped with a monocular monochromatic camera, a low-cost inertial measurement unit, a pressure sensor and a computing unit, all embedded in a single enclosure. The sensors' measurements are recorded synchronously on the computing unit and seventeen sequences have been created from all the acquired data. These sequences are made available in the form of ROS bags and as raw data. For each sequence, a trajectory has also been computed offline using a Structure-from-Motion library in order to allow the comparison with real-time localization methods. With the release of this dataset, we wish to provide data difficult to acquire and to encourage the development of vision-based localization methods dedicated to the underwater environment. The dataset can be downloaded from: http://www.lirmm.fr/aqualoc/


title: Application of the second law to the atmosphere: impacts of the third-law definition for the moist-air entropy

abstract: Calculations of entropy fluxes and production rate have been evaluated with some success to study atmospheric processes. However, recurring questions arise as to how best to take into account entropy flux due to radiation, for example. This article raises another kind of question: how to define the entropy of the atmosphere itself, which is composed of variable proportions of dry air (nitrogen, oxygen, argon, etc.) and water (vapour, liquid, ice). The specific values of the entropy for such a variable composition system depend on the reference values of its components. Most of the current definitions are based on entropies set at zero for dry air and liquid water at zero degrees Celsius. Differently, the third law of thermodynamics assumes that the entropy of all species cancels out for the more stable solid state at the zero of absolute temperatures. In this paper, we analyze the possible consequences of this absolute definition of entropy of moist air on the calculation of entropy fluxes. The impacts of moisture are significant and these new calculation methods seem to be able to modify the budgets of atmospheric entropy, with possible impacts on the nature of the equilibrium of the atmosphere resulting from entropic imbalances induced by radiations.


title: Motives with modulus, II: Modulus sheaves with transfers for proper modulus pairs

abstract: We develop a theory of sheaves and cohomology on the category of proper modulus pairs. This complements [KMSY21], where a theory of sheaves and cohomology on the category of non-proper modulus pairs has been developed.


title: Identification of additional jets in the t-tbar b-bbar events using a deep neural network

abstract: In the top quark pair production in association with the Higgs boson decaying to a b quark pair t-tbar H (b-bbar), the final state has an irreducible nonresonant background from the production of a top quark pair in association with a b quark pair t-tbar b-bbar. Therefore, understanding of the t-tbar b-bbar process precisely in particular differential cross-section as functions of the properties of the additional b jets not from the top quark decay is essential for improving the sensitivity of a search for the t-tbar H b-bbar process. The two additional b jets can be identified by using various approaches. In this paper, the performances are compared quantitatively in the lepton+jets decay channel in terms of the matching efficiency of assigning two additional b jets as a figure of merit. This study provides valuable information towards the precise measurement of differential cross-sections as a function of properties of the additional b jets in the t-tbar b-bbar events. We showed that a matching efficiency of around 40% could be achieved using a deep neural network method. In the events with at least 4 b jets, this performance is 8% better than that achieved using minimum Delta R(b,bbar) method. This is consistent with the boosted decision tree method within its statistical uncertainty.


title: On the experimental determination of the repulsive component of the potential from high pressure measurements: what is special about twelve?

abstract: In this paper we present an overview of results in the literature regarding the thermodynamical scaling of the dynamics of liquids and polymers as measured from high-pressure measurements. Specifically, we look at the scaling exponent gamma, and argue that it exhibits the limiting behavior gamma=4 in regimes for which molecular interactions are dominated by the repulsive part of the intermolecular potential. For repulsive potentials of the form U(r)= r^n, gamma has been found to be related to the exponent n via the relation gamma = n/3. Therefore, this limiting behavior for gamma would suggest that a large number of molecular systems may be described by a common repulsive potential U(r)~ r^n with n~12.


title: Attention Is All You Need for Chinese Word Segmentation

abstract: Taking greedy decoding algorithm as it should be, this work focuses on further strengthening the model itself for Chinese word segmentation (CWS), which results in an even more fast and more accurate CWS model. Our model consists of an attention only stacked encoder and a light enough decoder for the greedy segmentation plus two highway connections for smoother training, in which the encoder is composed of a newly proposed Transformer variant, Gaussian-masked Directional (GD) Transformer, and a biaffine attention scorer. With the effective encoder design, our model only needs to take unigram features for scoring. Our model is evaluated on SIGHAN Bakeoff benchmark datasets. The experimental results show that with the highest segmentation speed, the proposed model achieves new state-of-the-art or comparable performance against strong baselines in terms of strict closed test setting.


title: Matter-wave interference of a native polypeptide

abstract: The de Broglie wave nature of matter is a paradigmatic example of fundamental quantum physics and enables precise measurements of forces, fundamental constants and even material properties. However, even though matter-wave interferometry is nowadays routinely realized in many laboratories, this feat has remained an outstanding challenge for the vast class of native polypeptides, the building blocks of life, which are ubiquitous in biology but fragile and difficult to handle. Here, we demonstrate the quantum wave nature of gramicidin, a natural antibiotic composed of 15 amino acids. Femtosecond laser desorption of a thin biomolecular film with intensities up to 1~TW/cm$^2$ transfers these molecules into a cold noble gas jet. Even though the peptide's de Broglie wavelength is as tiny as 350~fm, the molecular coherence is delocalized over more than 20 times the molecular size in our all-optical time-domain Talbot-Lau interferometer. We compare the observed interference fringes for two different interference orders with a model that includes both a rigorous treatment of the peptide's quantum wave nature as well as a quantum chemical assessment of its optical properties to distinguish our result from classical predictions. The successful realization of quantum optics with this polypeptide as a prototypical biomolecule paves the way for quantum-assisted molecule metrology and in particular the optical spectroscopy of a large class of biologically relevant molecules.


title: Naver Labs Europe's Systems for the Document-Level Generation and Translation Task at WNGT 2019

abstract: Recently, neural models led to significant improvements in both machine translation (MT) and natural language generation tasks (NLG). However, generation of long descriptive summaries conditioned on structured data remains an open challenge. Likewise, MT that goes beyond sentence-level context is still an open issue (e.g., document-level MT or MT with metadata). To address these challenges, we propose to leverage data from both tasks and do transfer learning between MT, NLG, and MT with source-side metadata (MT+NLG). First, we train document-based MT systems with large amounts of parallel data. Then, we adapt these models to pure NLG and MT+NLG tasks by fine-tuning with smaller amounts of domain-specific data. This end-to-end NLG approach, without data selection and planning, outperforms the previous state of the art on the Rotowire NLG task. We participated to the "Document Generation and Translation" task at WNGT 2019, and ranked first in all tracks.


title: Team NCTU: Toward AI-Driving for Autonomous Surface Vehicles -- From Duckietown to RobotX

abstract: Robotic software and hardware systems of autonomous surface vehicles have been developed in transportation, military, and ocean researches for decades. Previous efforts in RobotX Challenges 2014 and 2016 facilitates the developments for important tasks such as obstacle avoidance and docking. Team NCTU is motivated by the AI Driving Olympics (AI-DO) developed by the Duckietown community, and adopts the principles to RobotX challenge. With the containerization (Docker) and uniformed AI agent (with observations and actions), we could better 1) integrate solutions developed in different middlewares (ROS and MOOS), 2) develop essential functionalities of from simulation (Gazebo) to real robots (either miniaturized or full-sized WAM-V), and 3) compare different approaches either from classic model-based or learning-based. Finally, we setup an outdoor on-surface platform with localization services for evaluation. Some of the preliminary results will be presented for the Team NCTU participations of the RobotX competition in Hawaii in 2018.


title: Notes on Chow rings of G/B and BG

abstract: Let $G$ be a compact Lie group and $T$ its maximal torus. The composition of maps $ H^*(BG)\to H^*(BT) \to H^*(G/T)$ is zero for positive degree, while it is far from exact. We change $H^*(G/T)$ by Chow ring $CH^*(X)$ for $X$ some twisted form of $G/T$, and change $H^*(BG)$ by $CH^*(BG)$. Then we see that it becomes near to exact but still not exact, in general. We also see that the difference for exactness relates to the generalized Rost motive in $X$.


title: Points rationnels dans leur fibre: compl\'ements \`a un th\'eor\`eme de Poonen

abstract: Soit $f:X\to S$ un morphisme surjectif et de pr\'esentation finie de sch\'emas int\`egres. Lorsque $S$ est de type fini sur un corps ou sur $\mathbb{Z}$, et de dimension $>0$, Poonen a montr\'e qu'il existe un point $x\in X$ dont le corps r\'esiduel $\kappa(x)$ est une extension radicielle de $\kappa(f(x))$. Dans ce travail, on prolonge ce r\'esultat de plusieurs fa\c{c}ons. D'abord, on peut choisir $x$ tel que $f(x)$ soit un point de codimension $1$ de $S$; si $S$ est lisse sur un corps $k$, on peut exiger que $\kappa(f(x))$ soit s\'eparable sur $k$. Dans une autre direction, on montre des r\'esultats analogues pour d'autres classes de sch\'emas $S$, par exemple les sch\'emas noeth\'eriens int\`egres de dimension $\geq2$. Let $f:X\to S$ be a morphism of integral schemes, which is surjective and of finite presentation. When $S$ is of finite type over a field or over $\mathbb{Z}$, of positive dimension, Poonen has shown that there is a point $x\in X$ whose residue field $\kappa(x)$ is purely inseparable over $\kappa(f(x))$. In this paper, we extend this result in several ways. First we prove that we can take $x$ such that $f(x)$ is a codimension $1$ point of $S$; if $S$ is smooth over a fiel $k$, we can require $\kappa(f(x))$ to be separable over $k$. In another direction, we prove that similar results hold for other schemes $S$, such as noetherian integral schemes of dimension $\geq2$.


title: Transport Model for Feature Extraction

abstract: We present a new feature extraction method for complex and large datasets, based on the concept of transport operators on graphs. The proposed approach generalizes and extends the many existing data representation methodologies built upon diffusion processes, to a new domain where dynamical systems play a key role. The main advantage of this approach comes from the ability to exploit different relationships than those arising in the context of e.g., Graph Laplacians. Fundamental properties of the transport operators are proved. We demonstrate the flexibility of the method by introducing several diverse examples of transformations. We close the paper with a series of computational experiments and applications to the problem of classification of hyperspectral satellite imagery, to illustrate the practical implications of our algorithm and its ability to quantify new aspects of relationships within complicated datasets.


title: Gaussian-Spherical Restricted Boltzmann Machines

abstract: We consider a special type of Restricted Boltzmann machine (RBM), namely a Gaussian-spherical RBM where the visible units have Gaussian priors while the vector of hidden variables is constrained to stay on an ${\mathbbm L}_2$ sphere. The spherical constraint having the advantage to admit exact asymptotic treatments, various scaling regimes are explicitly identified based solely on the spectral properties of the coupling matrix (also called weight matrix of the RBM). Incidentally these happen to be formally related to similar scaling behaviours obtained in a different context dealing with spatial condensation of zero range processes. More specifically, when the spectrum of the coupling matrix is doubly degenerated an exact treatment can be proposed to deal with finite size effects. Interestingly the known parallel between the ferromagnetic transition of the spherical model and the Bose-Einstein condensation can be made explicit in that case. More importantly this gives us the ability to extract all needed response functions with arbitrary precision for the training algorithm of the RBM. This allows us then to numerically integrate the dynamics of the spectrum of the weight matrix during learning in a precise way. This dynamics reveals in particular a sequential emergence of modes from the Marchenko-Pastur bulk of singular vectors of the coupling matrix.


title: Resolving the low mass puzzle of $\Lambda_c(2940)^+$

abstract: For the long standing low mass puzzle of $\Lambda_c(2940)^+$, we propose an unquenched picture. Our calculation explicitly shows that the mass of the $\Lambda_c(2P,3/2^-)$ state can be lowered down to be consistent with the experimental data of $\Lambda_c(2940)^+$ by introducing the $D^*N$ channel contribution. Additionally, we give a semi-quantitative analysis to illustrate why the $\Lambda_c(2940)^+$ state has a narrow width. It means that the low mass puzzle of $\Lambda_c(2940)^+$ can be solved. What is more important is that we predict a mass inversion relation for the $2P$ $\Lambda_{c}^+$ states, i.e., the $\Lambda_c(2P,1/2^-)$ state is higher than the $\Lambda_c(2P,3/2^-)$, which is totally different from the result of conventional quenched quark model. It provides a criterion to test such an unquenched scenario for $\Lambda_c(2940)^+$. We expect the future experimental progress from the LHCb and Belle II.


title: Debian Package usage profiler for Debian based Systems

abstract: The embedded devices of today due to their CPU, RAM capabilities can run various Linux distributions but in most cases they are different from general purpose distributions as they are usually lighter and specific to the needs of that particular system. In this project, we share the problems associated in adopting a fully heavy-weight Debian based system like Ubuntu in embedded/automotive platforms and provide solutions to optimize them to identify unused/redundant content in the system. This helps developer to reduce the hefty general purpose distribution to an application specific distribution. The solution involves collecting usage data in the system in a non-invasive manner (to avoid any drop in performance) to suggest users the redundant, unused parts of the system that can be safely removed without impacting the system functionality.


title: Supershear shock front contribution to the tsunami from the 2018 $\mathbf M_{\mathbf w}$ 7.5 Palu, Indonesia earthquake

abstract: Hazardous tsunamis are known to be generated predominantly at subduction zones. However, the 2018 Mw 7.5 Sulawesi (Indonesia) earthquake on a strike-slip fault generated a tsunami that devastated the city of Palu. The mechanism by which this tsunami originated from such an earthquake has been debated. Here we present near-field ground motion (GPS) data confirming that the earthquake attained supershear speed, i.e., a rupture speed greater than the shear wave speed of the host medium. We study the effect of this supershear rupture on tsunami generation by coupling the ground motion to a one-dimensional nonlinear shallow-water wave model accounting for both time-dependent bathymetric displacement and velocity. With the local bathymetric profile of Palu bay around a tidal station, our simulations reproduce the tsunami arrival and motions observed by CCTV cameras. We conclude that Mach (shock) fronts, generated by the supershear speed, interacted with the bathymetry and contributed to the tsunami.


title: Run-time Parameter Sensitivity Analysis Optimizations

abstract: Efficient execution of parameter sensitivity analysis (SA) is critical to allow for its routinely use. The pathology image processing application investigated in this work processes high-resolution whole-slide cancer tissue images from large datasets to characterize and classify the disease. However, the application is parameterized and changes in parameter values may significantly affect its results. Thus, understanding the impact of parameters to the output using SA is important to draw reliable scientific conclusions. The execution of the application is rather compute intensive, and a SA requires it to process the input data multiple times as parameter values are systematically varied. Optimizing this process is then important to allow for SA to be executed with large datasets. In this work, we employ a distributed computing system with novel computation reuse optimizations to accelerate SA. The new computation reuse strategy can maximize reuse even with limited memory availability where previous approaches would not be able to fully take advantage of reuse. The proposed solution was evaluated on an environment with 256 nodes (7168 CPU-cores) attaining a parallel efficiency of over 92%, and improving the previous reuse strategies in up to 2.8x.


title: Positional Attention-based Frame Identification with BERT: A Deep Learning Approach to Target Disambiguation and Semantic Frame Selection

abstract: Semantic parsing is the task of transforming sentences from natural language into formal representations of predicate-argument structures. Under this research area, frame-semantic parsing has attracted much interest. This parsing approach leverages the lexical information defined in FrameNet to associate marked predicates or targets with semantic frames, thereby assigning semantic roles to sentence components based on pre-specified frame elements in FrameNet. In this paper, a deep neural network architecture known as Positional Attention-based Frame Identification with BERT (PAFIBERT) is presented as a solution to the frame identification subtask in frame-semantic parsing. Although the importance of this subtask is well-established, prior research has yet to find a robust solution that works satisfactorily for both in-domain and out-of-domain data. This study thus set out to improve frame identification in light of recent advancements of language modeling and transfer learning in natural language processing. The proposed method is partially empowered by BERT, a pre-trained language model that excels at capturing contextual information in texts. By combining the language representation power of BERT with a position-based attention mechanism, PAFIBERT is able to attend to target-specific contexts in sentences for disambiguating targets and associating them with the most suitable semantic frames. Under various experimental settings, PAFIBERT outperformed existing solutions by a significant margin, achieving new state-of-the-art results for both in-domain and out-of-domain benchmark test sets.


title: New quantumness domains through generalized squeezed states

abstract: Current definitions of both squeezing operator and squeezed vacuum state are critically examined on the grounds of consistency with the underlying su(1,1) algebraic structure. Accordingly, the generalized coherent states for su(1,1) in its Schwinger two-photon realization are proposed as squeezed states. The physical implication of this assumption is that two additional degrees of freedom become available for the control of quantum optical systems. The resulting physical predictions are evaluated in terms of quadrature squeezing and photon statistics, while the application to a Mach-Zehnder interferometer is discussed to show the emergence of nonclassical regions, characterized by negative values of Mandel's parameter, which cannot be anticipated by the current formulation, and then outline future possible use in quantum technologies.


title: An effective-gravity perspective on the Sun-Jupiter-comet three-body system

abstract: Within the solar system, approximate realizations of the three-body problem occur when a comet approaches a planet while being affected mainly by such a planet and the Sun, and this configuration was investigated by Tisserand within the framework of Newtonian gravity. The exact relativistic treatment of the problem is not an easy task, but the present paper develops an approximate calculational scheme which computes for the first time the tiny effective-gravity correction to the equation of the surface for all points of which it is equally advantageous to regard the heliocentric motion as being perturbed by the attraction of Jupiter, or the jovicentric motion as being perturbed by the attraction of the Sun. This analysis completes the previous theoretical investigations of effective-gravity corrections to the Newtonian analysis of three-body systems, and represents an intermediate step towards relativistic effects on cometary motions.


title: On the Interaction Between Deep Detectors and Siamese Trackers in Video Surveillance

abstract: Visual object tracking is an important function in many real-time video surveillance applications, such as localization and spatio-temporal recognition of persons. In real-world applications, an object detector and tracker must interact on a periodic basis to discover new objects, and thereby to initiate tracks. Periodic interactions with the detector can also allow the tracker to validate and/or update its object template with new bounding boxes. However, bounding boxes provided by a state-of-the-art detector are noisy, due to changes in appearance, background and occlusion, which can cause the tracker to drift. Moreover, CNN-based detectors can provide a high level of accuracy at the expense of computational complexity, so interactions should be minimized for real-time applications. In this paper, a new approach is proposed to manage detector-tracker interactions for trackers from the Siamese-FC family. By integrating a change detection mechanism into a deep Siamese-FC tracker, its template can be adapted in response to changes in a target's appearance that lead to drifts during tracking. An abrupt change detection triggers an update of tracker template using the bounding box produced by the detector, while in the case of a gradual change, the detector is used to update an evolving set of templates for robust matching. Experiments were performed using state-of-the-art Siamese-FC trackers and the YOLOv3 detector on a subset of videos from the OTB-100 dataset that mimic video surveillance scenarios. Results highlight the importance for reliable VOT of using accurate detectors. They also indicate that our adaptive Siamese trackers are robust to noisy object detections, and can significantly improve the performance of Siamese-FC tracking.


title: Agent-based and continuous models of hopper bands for the Australian plague locust: How resource consumption mediates pulse formation and geometry

abstract: Locusts are significant agricultural pests. Under favorable environmental conditions flightless juveniles may aggregate into coherent, aligned swarms referred to as hopper bands. These bands are often observed as a propagating wave having a dense front with rapidly decreasing density in the wake. A tantalizing and common observation is that these fronts slow and steepen in the presence of green vegetation. This suggests the collective motion of the band is mediated by resource consumption. Our goal is to model and quantify this effect. We focus on the Australian plague locust, for which excellent field and experimental data is available. Exploiting the alignment of locusts in hopper bands, we concentrate solely on the density variation perpendicular to the front. We develop two models in tandem; an agent-based model that tracks the position of individuals and a partial differential equation model that describes locust density. In both these models, locust are either stationary (and feeding) or moving. Resources decrease with feeding. The rate at which locusts transition between moving and stationary (and vice versa) is enhanced (diminished) by resource abundance. This effect proves essential to the formation, shape, and speed of locust hopper bands in our models. From the biological literature we estimate ranges for the ten input parameters of our models. Sobol sensitivity analysis yields insight into how the band's collective characteristics vary with changes in the input parameters. By examining 4.4 million parameter combinations, we identify biologically consistent parameters that reproduce field observations. We thus demonstrate that resource-dependent behavior can explain the density distribution observed in locust hopper bands. This work suggests that feeding behaviors should be an intrinsic part of future modeling efforts.


title: Perturbative aspects of mass-deformed N=3 Chern-Simons-matter theory

abstract: Within the superfield formalism, we calculate the two-point functions and the effective potential for the mass-deformed ${\cal N}=3$ Chern-Simons-matter theory and discuss the related renormalization group issues.


title: On the range of a vector measure

abstract: Let $(\Omega,\Sigma,\mu)$ be a finite measure space, $Z$ be a Banach space and $\nu:\Sigma \to Z^*$ be a countably additive $\mu$-continuous vector measure. Let $X \subseteq Z^*$ be a norm-closed subspace which is norming for $Z$. Write $\sigma(Z,X)$ (resp. $\mu(X,Z)$) to denote the weak (resp. Mackey) topology on $Z$ (resp. $X$) associated to the dual pair $\langle X,Z\rangle$. Suppose that, either $(Z,\sigma(Z,X))$ has the Mazur property, or $(B_{X^*},w^*)$ is convex block compact and $(X,\mu(X,Z))$ is complete. We prove that the range of $\nu$ is contained in $X$ if, for each $A\in \Sigma$ with $\mu(A)>0$, the $w^*$-closed convex hull of $\{\frac{\nu(B)}{\mu(B)}: \, B\in \Sigma, \, B \subseteq A, \, \mu(B)>0\}$ intersects $X$. This extends results obtained by Freniche [Proc. Amer. Math. Soc. 107 (1989), no. 1, 119--124] when $Z=X^*$.


title: Influence of the stress state on the cross-slip free energy barrier in Al: an atomistic investigation

abstract: The influence of the stress state on the cross-slip rate in Al was analyzed by means of molecular dynamics simulations and transition state theory. The activation energy barrier in the absence of thermal energy was determined through the nudged elastic band method while the cross-slip rates were determined using molecular dynamics simulations for different magnitudes of the Schmid stress on the cross-slip plane, and of the Escaig stresses on the cross-slip and glide planes. The enthalpy barrier and the effective attempt frequency were determined from the average rates of cross-slip obtained from the molecular dynamics simulations. It was found that the different stress states influence the cross-slip rate assuming harmonic transition state theory. Moreover, the theoretical contributions to the enthalpy barrier (configurational and due to the interaction of the applied stress with the local stress field created by the defect) were identified from the atomistic simulations while the entropic contribution to the activation energy could be estimated by the Meyer-Neldel rule. Based on these results, an analytical expression of the activation enthalpy for cross-slip in Al as a function of the different combinations of Schmid and Escaig stress states was developed and validated. This expression can be easily used in dislocation dynamics simulations to evaluate the probability of cross-slip of screw dislocation segments.


title: Derivation of a two-phase flow model with two-scale kinematics, geometric variables and surface tension using variational calculus

abstract: The present paper proposes a two-phase flow model that is able to account for two-scale kinematics and two-scale surface tension effects based on geometric variables at small scale. At large scale, the flow and the full geometry of the interface may be retrieved thanks to the bulk variables, while at small scale the interface is accurately described by volume fraction, interfacial area density and mean curvature, called the geometric variables. Our work mainly relies on the Least Action Principle. The resulting system is an extension of a previous work modeling small scale pulsation in which surface tension was not taken into account at large or small scale. Whereas the original derivation assumes a cloud of monodispersed spherical bubbles, the present context allows for polydispersed, non-spherical bubbles. The resulting system of equations solely involves small scale geometric variables, thus contributing in the construction of a unified model describing both large and small scales.


title: Almost conservation laws for stochastic nonlinear Schr\"odinger equations

abstract: In this paper, we present a globalization argument for stochastic nonlinear dispersive PDEs with additive noises by adapting the $I$-method (= the method of almost conservation laws) to the stochastic setting. As a model example, we consider the defocusing stochastic cubic nonlinear Schr\"odinger equation (SNLS) on $\mathbb R^3$ with additive stochastic forcing, white in time and correlated in space, such that the noise lies below the energy space. By combining the $I$-method with Ito's lemma and a stopping time argument, we construct global-in-time dynamics for SNLS below the energy space.


title: Legendre Equivalences of Spherical Boltzmann Machines

abstract: We study either fully visible and restricted Boltzmann machines with sub-Gaussian random weights and spherical or Gaussian priors. We prove the free energies of the spherical and Gaussian models are related by a Legendre transformation. Incidentally our analysis brings also a new purely variational derivation of the free energy of the spherical models.


title: A Relational Program Logic with Data Abstraction and Dynamic Framing

abstract: Dedicated to Tony Hoare. In a paper published in 1972 Hoare articulated the fundamental notions of hiding invariants and simulations. Hiding: invariants on encapsulated data representations need not be mentioned in specifications that comprise the API of a module. Simulation: correctness of a new data representation and implementation can be established by proving simulation between the old and new implementations using a coupling relation defined on the encapsulated state. These results were formalized semantically and for a simple model of state, though the paper claimed this could be extended to encompass dynamically allocated objects. In recent years, progress has been made towards formalizing the claim, for simulation, though mainly in semantic developments. In this article, hiding and simulation are combined with the idea in Hoare's 1969 paper: a logic of programs. For an object-based language with dynamic allocation, we introduce a relational Hoare logic with stateful frame conditions that formalizes encapsulation, hiding of invariants, and couplings that relate two implementations. Relations and other assertions are expressed in first-order logic. Specifications can express a wide range of relational properties such as conditional equivalence and noninterference with declassification. The proof rules facilitate relational reasoning by means of convenient alignments and are shown sound with respect to a conventional operational semantics. A derived proof rule for equivalence of linked programs directly embodies representation independence. Applicability to representative examples is demonstrated using an SMT-based implementation.


title: Carleman estimates for a stochastic degenerate parabolic equation and applications to null controllability and an inverse random source problem

abstract: In this paper, we establish two Carleman estimates for a stochastic degenerate parabolic equation. The first one is for the backward stochastic degenerate parabolic equation with singular weight function. Combining this Carleman estimate and an approximate argument, we prove the null controllability of the forward stochastic degenerate parabolic equation with the gradient term. The second one is for the forward stochastic degenerate parabolic equation with regular weighted function, based on which we obtain the Lipschitz stability for an inverse problem of determining a random source depending only on time in the forward stochastic degenerate parabolic equation.


title: Improving the robustness of online social networks: A simulation approach of network interventions

abstract: Online social networks (OSN) are prime examples of socio-technical systems in which individuals interact via a technical platform. OSN are very volatile because users enter and exit and frequently change their interactions. This makes the robustness of such systems difficult to measure and to control. To quantify robustness, we propose a coreness value obtained from the directed interaction network. We study the emergence of large drop-out cascades of users leaving the OSN by means of an agent-based model. For agents, we define a utility function that depends on their relative reputation and their costs for interactions. The decision of agents to leave the OSN depends on this utility. Our aim is to prevent drop-out cascades by influencing specific agents with low utility. We identify strategies to control agents in the core and the periphery of the OSN such that drop-out cascades are significantly reduced, and the robustness of the OSN is increased.