title: The PLATO Solar-like Light-curve Simulator: A tool to generate realistic stellar light-curves with instrumental effects representative of the PLATO mission

abstract: The preparation of science objectives of the ESA's PLATO space mission will require the implementation of hare-and-hound exercises relying on the massive generation of representative simulated light-curves. We developed a light-curve simulator named the PLATO Solar-like Light-curve Simulator (PSLS) in order to generate light-curves representative of typical PLATO targets, i.e. showing simultaneously solar-like oscillations, stellar granulation, and magnetic activity. At the same time, PSLS also aims at mimicking in a realistic way the random noise and the systematic errors representative of the PLATO multi-telescope concept. To quantify the instrumental systematic errors, we performed a series of simulations at pixel level that include various relevant sources of perturbations expected for PLATO. From the simulated pixels, we extract the photometry as planned on-board. The simulated light-curves are then corrected for instrumental effects using the instrument Point Spread Functions reconstructed on the basis of a microscanning technique that will be operated during the in-flight calibration phases. These corrected light-curves are then fitted by a parametric model, which we incorporated in PSLS. We show that the instrumental systematic errors dominate the signal only at frequencies below 20muHz and are found to mainly depend on stellar magnitude and on the detector charge transfer inefficiency. To illustrate how realistic our simulator is, we compared its predictions with observations made by Kepler on three typical targets and found a good qualitative agreement with the observations. PSLS reproduces the main properties of expected PLATO light-curves. Its speed of execution and its inclusion of relevant stellar signals as well as sources of noises representative of the PLATO cameras make it an indispensable tool for the scientific preparation of the PLATO mission.


title: (Re)constructing Code Loops

abstract: The Moufang loop named for Richard Parker is a central extension of the extended binary Golay code. It the prototypical example of a general class of nonassociative structures known today as code loops, which have been studied from a number of different algebraic and combinatorial perspectives. This expository article aims to highlight an experimental approach to computing in code loops, by a combination of a small amount of precomputed information and making use of the rich identities that code loops' twisted cocycles satisfy. As a byproduct we demonstrate that one can reconstruct the multiplication in Parker's loop from a mere fragment of its twisted cocycle. We also give relatively large subspaces of the Golay code over which Parker's loop splits as a direct product.


title: Deep Visual MPC-Policy Learning for Navigation

abstract: Humans can routinely follow a trajectory defined by a list of images/landmarks. However, traditional robot navigation methods require accurate mapping of the environment, localization, and planning. Moreover, these methods are sensitive to subtle changes in the environment. In this paper, we propose a Deep Visual MPC-policy learning method that can perform visual navigation while avoiding collisions with unseen objects on the navigation path. Our model PoliNet takes in as input a visual trajectory and the image of the robot's current view and outputs velocity commands for a planning horizon of $N$ steps that optimally balance between trajectory following and obstacle avoidance. PoliNet is trained using a strong image predictive model and traversability estimation model in a MPC setup, with minimal human supervision. Different from prior work, PoliNet can be applied to new scenes without retraining. We show experimentally that the robot can follow a visual trajectory when varying start position and in the presence of previously unseen obstacles. We validated our algorithm with tests both in a realistic simulation environment and in the real world. We also show that we can generate visual trajectories in simulation and execute the corresponding path in the real environment. Our approach outperforms classical approaches as well as previous learning-based baselines in success rate of goal reaching, sub-goal coverage rate, and computational load.


title: On Transformations in Stochastic Gradient MCMC

abstract: Stochastic gradient Langevin dynamics (SGLD) is a computationally efficient sampler for Bayesian posterior inference given a large scale dataset. Although SGLD is designed for unbounded random variables, many practical models incorporate variables with boundaries such as non-negative ones or those in a finite interval. To bridge this gap, we consider mapping unbounded samples into the target interval. This paper reveals that several mapping approaches commonly used in the literature produces erroneous samples from theoretical and empirical perspectives. We show that the change of random variable using an invertible Lipschitz mapping function overcomes the pitfall as well as attains the weak convergence. Experiments demonstrate its efficacy for widely-used models with bounded latent variables including Bayesian non-negative matrix factorization and binary neural networks.


title: Heat transfer in a nonequilibrium spin-boson model: A perturbative approach

abstract: We investigate the heat transport in a nonequilibrium spin-boson model, where a two level system bridging two harmonic reservoirs at different temperatures, by employing a unitary transformation along with a resolvent operator expansion technique. Analytical expressions of the heat current and the thermal conductance of this model are obtained. Compared with the performances of other methods, namely, the nonequilibrium Green's function method and the equation of motion formulation, our approach provides a reasonable description of heat transfer properties of the nonequilibrium spin-boson model for the weak-coupling region at low temperature.


title: Anonymous State Pinning for Private Blockchains

abstract: Public blockchains such as Ethereum and Bitcoin provide transparency and accountability, and have strong non-repudiation properties, but fall far short of enterprise privacy requirements for business processes. Consequently consortiums are exploring private blockchains to keep their membership and transactions private. However, private blockchains do not provide adequate protection against potential collusion by consortium members to revert the state of the blockchain. To countenance this, the private blockchain state may be "pinned" to a tamper resistant public blockchain. Existing solutions offering pinning to the public blockchain would reveal the transaction rate of the private blockchain, and do not provide a mechanism to contest the validity of a pin. Moreover, they require that all transactions and members of the private blockchain be revealed. These challenges are hampering the wider adoption of private blockchain technology. We describe the primary author's `Anonymous State Pinning approach', which overcomes these limitations and present a security proof to demonstrate pins can be challenged without compromising these properties. We perform a gas cost analysis of the implementation to estimate the operating cost of this technology, which shows that pinning a private blockchain at the rate of one pin per hour would cost US$508 per year. A hierarchical pinning approach is proposed which would allow many private blockchains to pin to a management blockchain which would then pin to Ethereum MainNet. This approach saves money, but at the cost of increased finality times.


title: On Interpolating Sesqui-Harmonic Legendre Curves in Sasakian Space Forms

abstract: We consider interpolating sesqui-harmonic Legendre curves in Sasakian space forms. We find the necessary and sufficient conditions for Legendre curves in Sasakian space forms to be interpolating sesqui-harmonic. Finally, we obtain an example for an interpolating sesqui-harmonic Legendre curve in a Sasakian space form.


title: Absence of embedded eigenvalues for translationally invariant magnetic Laplacians

abstract: Translationnally invariant bidimensional magnetic Laplacians are considered. Using an improved version of the harmonic approximation, we establish the absence of point spectrum under various assumptions on the behavior of the magnetic field.


title: Multimapper: Data Density Sensitive Topological Visualization

abstract: Mapper is an algorithm that summarizes the topological information contained in a dataset and provides an insightful visualization. It takes as input a point cloud which is possibly high-dimensional, a filter function on it and an open cover on the range of the function. It returns the nerve simplicial complex of the pullback of the cover. Mapper can be considered a discrete approximation of the topological construct called Reeb space, as analysed in the $1$-dimensional case by [Carriere et al.,2018]. Despite its success in obtaining insights in various fields such as in [Kamruzzaman et al., 2016], Mapper is an ad hoc technique requiring lots of parameter tuning. There is also no measure to quantify goodness of the resulting visualization, which often deviates from the Reeb space in practice. In this paper, we introduce a new cover selection scheme for data that reduces the obscuration of topological information at both the computation and visualisation steps. To achieve this, we replace global scale selection of cover with a scale selection scheme sensitive to local density of data points. We also propose a method to detect some deviations in Mapper from Reeb space via computation of persistence features on the Mapper graph.


title: Origin of Cosmic Ray Electrons and Positrons

abstract: With experimental results of AMS on the spectra of cosmic ray (CR) $e^{-}$, $e^{+}$, $e^{-}+e^{+}$ and positron fraction, as well as new measurements of CR $e^{-}+e^{+}$ flux by HESS, one can better understand the CR lepton ($e^{-}$ and $e^{+}$) spectra and the puzzling electron-positron excess above $\sim$10 GeV. In this article, spectra of CR $e^{-}$ and $e^{+}$ are fitted with a physically motivated simple model, and their injection spectra are obtained with a one-dimensional propagation model including the diffusion and energy loss processes. Our results show that the electron-positron excess can be attributed to uniformly distributed sources that continuously inject into the galactic disk electron-positron with a power-law spectrum cutting off near 1 TeV and a triple power-law model is needed to fit the primary CR electron spectrum. The lower energy spectral break can be attributed to propagation effects giving rise to a broken power-law injection spectrum of primary CR electrons with a spectral hardening above $\sim$40 GeV.


title: Prediction of Atomization Energies of Au13+ Clusters through the Machine Learning Approach

abstract: We examine a new method for predicting the atomization energies of Au13+ clusters by a nonlinear regression model using interatomic and centroid distances as descriptors to improve the efficiency of density-functional theory calculations. Learning data were created using the time-series data of atomic coordinates and Kohn-Sham energy generated by molecular-dynamics simulations. This approach predicted the atomization energies of fifteen known stable/metastable structures of Au13+ clusters well. Moreover, we found that the fitting to the test data could be markedly improved by eliminating the descriptors representing the short interatomic distance.


title: A face cover perspective to $\ell_1$ embeddings of planar graphs

abstract: It was conjectured by Gupta et al. [Combinatorica04] that every planar graph can be embedded into $\ell_1$ with constant distortion. However, given an $n$-vertex weighted planar graph, the best upper bound on the distortion is only $O(\sqrt{\log n})$, by Rao [SoCG99]. In this paper we study the case where there is a set $K$ of terminals, and the goal is to embed only the terminals into $\ell_1$ with low distortion. In a seminal paper, Okamura and Seymour [J.Comb.Theory81] showed that if all the terminals lie on a single face, they can be embedded isometrically into $\ell_1$. The more general case, where the set of terminals can be covered by $\gamma$ faces, was studied by Lee and Sidiropoulos [STOC09] and Chekuri et al. [J.Comb.Theory13]. The state of the art is an upper bound of $O(\log \gamma)$ by Krauthgamer, Lee and Rika [SODA19]. Our contribution is a further improvement on the upper bound to $O(\sqrt{\log\gamma})$. Since every planar graph has at most $O(n)$ faces, any further improvement on this result, will be a major breakthrough, directly improving upon Rao's long standing upper bound. Moreover, it is well known that the flow-cut gap equals to the distortion of the best embedding into $\ell_1$. Therefore, our result provides a polynomial time $O(\sqrt{\log \gamma})$-approximation to the sparsest cut problem on planar graphs, for the case where all the demand pairs can be covered by $\gamma$ faces.


title: Invariant Safety for Distributed Applications

abstract: We study a proof methodology for verifying the safety of data invariants of highly-available distributed applications that replicate state. The proof is (1) modular: one can reason about each individual operation separately, and (2) sequential: one can reason about a distributed application as if it were sequential. We automate the methodology and illustrate the use of the tool with a representative example.


title: Noncommutative corrections to the minimal surface areas of the pure AdS spacetime and Schwarzschild-AdS black hole

abstract: Based on the perturbation expansion, we compute the noncommutative corrections to the minimal surface areas of the pure AdS spacetime and Schwarzschild-AdS black hole, where the noncommutative background is suitably constructed in terms of the Poincar\'e coordinate system. In particular, we find a reasonable tetrad with subtlety, which not only matches the metrics of the pure AdS spacetime and Schwarzschild-AdS black hole in the commutative case, but also makes the corrections real rather than complex in the noncommutative case. For the pure AdS spacetime, the nocommutative effect is only a logarithmic term, while for the Schwarzschild-AdS black hole, it contains a logarithmic contribution plus both a mass term and a noncommutative parameter related term. Furthermore, we show that the holographic entanglement entropy with noncommutativity obeys a relation which is similar to the first law of thermodynamics in the pure AdS spacetime.


title: Finite Horizon Mean Field Games on Networks

abstract: We consider finite horizon stochastic mean field games in which the state space is a network. They are described by a system coupling a backward in time Hamilton-Jacobi-Bellman equation and a forward in time Fokker-Planck equation. The value function u is continuous and satisfies general Kirchhoff conditions at the vertices. The density m of the distribution of states satisfies dual transmission conditions: in particular, m is generally discontinuous across the vertices, and the values of m on each side of the vertices satisfy special compatibility conditions. The stress is put on the case when the Hamiltonian is Lipschitz continuous. Existence and uniqueness are proven.


title: A new regularization approach for numerical differentiation

abstract: The problem of numerical differentiation can be thought of as an inverse problem by considering it as solving a Volterra equation. It is well known that such inverse integral problems are ill-posed and one requires regularization methods to approximate the solution appropriately. The commonly practiced regularization methods are (external) parameter-based like Tikhonov regularization, which have certain inherent difficulties like choosing an optimal value of the regularization parameter, especially in the absence of noise information, which is a non-trivial task. An attractive alternative is iterative regularization, where one minimizes an associated functional in a regularized fashion (i.e., stopping at an appropriate iteration). However, in most of the regularization methods the associated minimizing functional contains the noisy data directly, and hence, the recovery gets affected. In this paper, we propose an iterative regularization method where the minimizing functional does not contain the noisy data directly. The advantage, in addition to circumventing the use of noisy data directly, is that the sequence of functions (or curves) constructed during the descent process does not converge strongly to the noise data, rather weakly and hence, avoids overfitting. Furthermore, this method is very robust to extreme noise level in the data as well as to errors with non-zero mean. To demonstrate the effectiveness of the new method we provide some examples comparing the numerical results obtained from our method with results obtained from some of the popular regularization methods such as Tikhonov regularization, total variation, smoothing spline and the polynomial regression method.


title: On the numerical computation of Killing and conformally Killing vector fields on compact Riemannian manifolds

abstract: The defining equations for Killing vector fields and conformal Killing vector fields are overdetermined systems of PDE. This makes it difficult to solve the systems numerically. We propose an approach which reduces the computation to the solution of a symmetric eigenvalue problem. The eigenvalue problem is then solved by finite element techniques. The formulation itself is valid in any dimension and for arbitrary compact Riemannian manifolds. The numerical results which validate the method are given in two dimensional case.


title: Blind Dynamic Resource Allocation in Closed Networks via Mirror Backpressure

abstract: We study the problem of maximizing payoff generated over a period of time in a general class of closed queueing networks with a finite, fixed number of supply units which circulate in the system. Demand arrives stochastically, and serving a demand unit (customer) causes a supply unit to relocate from the ``origin'' to the ``destination'' of the customer. The key challenge is to manage the distribution of supply in the network. We consider general controls including customer entry control, pricing, and assignment. Motivating applications include shared transportation platforms and scrip systems. Inspired by the mirror descent algorithm for optimization and the backpressure policy for network control, we introduce a rich family of \emph{Mirror Backpressure} (MBP) control policies. The MBP policies are simple and practical, and crucially do not need any statistical knowledge of the demand (customer) arrival rates (these rates are permitted to vary in time). Under mild conditions, we propose MBP policies that are provably near optimal. Specifically, our policies lose at most $O(\frac{K}{T}+\frac{1}{K} + \sqrt{\eta K})$ payoff per customer relative to the optimal policy that knows the demand arrival rates, where $K$ is the number of supply units, $T$ is the total number of customers over the time horizon, and $\eta$ is the demand process' average rate of change per customer arrival. An adaptation of MBP is found to perform well in numerical experiments based on data from ride-hailing.


title: Using DP Towards A Shortest Path Problem-Related Application

abstract: The detection of curved lanes is still challenging for autonomous driving systems. Although current cutting-edge approaches have performed well in real applications, most of them are based on strict model assumptions. Similar to other visual recognition tasks, lane detection can be formulated as a two-dimensional graph searching problem, which can be solved by finding several optimal paths along with line segments and boundaries. In this paper, we present a directed graph model, in which dynamic programming is used to deal with a specific shortest path problem. This model is particularly suitable to represent objects with long continuous shape structure, e.g., lanes and roads. We apply the designed model and proposed an algorithm for detecting lanes by formulating it as the shortest path problem. To evaluate the performance of our proposed algorithm, we tested five sequences (including 1573 frames) from the KITTI database. The results showed that our method achieves an average successful detection precision of 97.5%.


title: On polynomial extension property in n-disc

abstract: In this note we show that an one-dimensional algebraic subset $\mathcal{V}$ of arbitrarily dimensional polidisc $\mathbb{D}^n$, which has the polynomial extension property, is a holomorphic retract.


title: Recovering the Star Formation History of IC 1613 Dwarf Galaxy Using Evolved Stars

abstract: Determining the star formation history (SFH) is key to understand the formation and evolution of dwarf galaxies. Recovering the SFH in resolved galaxies is mostly based on deep colour--magnitude diagrams (CMDs), which trace the signatures of multiple evolutionary stages of their stellar populations. In distant and unresolved galaxies, the integrated light of the galaxy can be decomposed, albeit made difficult by an age--metallicity degeneracy. Another solution to determine the SFH of resolved galaxies is based on evolved stars; these luminous stars are the most accessible tracers of the underlying stellar populations and can trace the entire SFH. Here we present a novel method based on long period variable (LPV) evolved asymptotic giant branch (AGB) stars and red supergiants (RSGs). We applied this method to reconstruct the SFH for IC 1613, an irregular dwarf galaxy at a distance of 750 kpc. Our results provide an independent confirmation that no major episode of star formation occurred in IC 1613 over the past 5 Gyr.


title: A relationship between Gelfand-Tsetlin bases and Chari-Loktev bases for irreducible finite dimensional representations of special linear Lie algebras

abstract: We consider two bases for an arbitrary finite dimensional irreducible representation of a complex special linear Lie algebra: the classical Gelfand-Tsetlin basis and the relatively new Chari-Loktev basis. Both are parametrized by the set of (integral Gelfand-Tsetlin) patterns with a fixed bounding sequence determined by the highest weight of the representation. We define the "row-wise dominance" partial order on this set of patterns, and prove that the transition matrix between the two bases is triangular with respect to this partial order. We write down explicit expressions for the diagonal elements of the transition matrix.


title: Homogenization of Bingham Flow in thin porous media

abstract: By using dimension reduction and homogenization techniques, we study the steady flow of an incompresible viscoplastic Bingham fluid in a thin porous medium. A main feature of our study is the dependence of the yield stress of the Bingham fluid on the small parameters describing the geometry of the thin porous medium under consideration. Three different problems are obtained in the limit when the small parameter $\varepsilon$ tends to zero, following the ratio between the height $\varepsilon$ of the porous medium and the relative dimension $a_\varepsilon$ of its periodically distributed pores. We conclude with the interpretation of these limit problems, which all preserve the nonlinear character of the flow.


title: Self-dual cuspidal representations

abstract: Let $G$ be a connected reductive group over a finite field $\mathfrak{f}$ of order $q$. When $q$ is small, we make further assumptions on $G$. Then we determine precisely when $G(\mathfrak{f})$ admits irreducible, cuspidal representations that are self-dual, of Deligne-Lusztig type, or both. Finally, we outline some consequences for the existence of self-dual supercuspidal representations of reductive $p$-adic groups.


title: Histo-blood group glycans in the context of personalized medicine

abstract: Background: A subset of histo-blood group antigens including ABO and Lewis are oligosaccharide structures which may be conjugated to lipids or proteins. They are known to be important recognition motifs not only in the context of blood transfusions, but also in infection and cancer development. Scope of review: Current knowledge on the molecular background and the implication of histo-blood group glycans in the prevention and therapy of infectious and non-communicable diseases, such as cancer and cardiovascular disease, is presented. Major conclusions: Glycan-based histo-blood groups are associated with intestinal microbiota com-position, the risk of various diseases as well as therapeutic success of, e.g., vaccination. Their potential as prebiotic or anti-microbial agents, as disease biomarkers and vaccine targets should be further investigated in future studies. For this, recent and future technological advancements will be of particular importance, especially with regard to the unambiguous structural characterization of the glycan portion in combination with information on the protein and lipid carriers of histo-blood group-active glycans in large cohorts. General significance: Histo-blood group glycans have a unique linking position in the complex net-work of genes, oncodevelopmental biological processes, and disease mechanisms. Thus, they are highly promising targets for novel approaches in the field of personalized medicine.


title: PRIME: Psf Reconstruction and Identification for Multiple sources characterization Enhancement. Application to Keck NIRC2 imager

abstract: In order to enhance accuracy of astrophysical estimates obtained on Adaptive-optics (AO) images, such as photometry and astrometry, we investigate a new concept to constrain the Point Spread Function (PSF) model called PSF Reconstruction and Identification for Multi-sources characterization Enhancement (PRIME), that handles jointly the science image and the AO control loop data. We present in this paper the concept of PRIME and validate it on Keck II telescope NIRC2 images. We show that by calibrating the PSF model over the scientific image, PSF reconstruction achieves 1\% and 3 mas of accuracy on respectively the Strehl-ratio and the PSF full width at half maximum. We show on NIRC2 binary images that PRIME is sufficiently robust to noise to retain photometry and astrometry precision below 0.005 mag and 100$\mu$as on a $m_H=$ 14 mag object. Finally, we also validate that PRIME performs a PSF calibration on the triple system Gl569BAB which provides a separation of 66.73$\pm 1.02$ and a differential photometry of 0.538$\pm 0.048$, compared to the reference values obtained with the extracted PSF which are 66.76 mas $\pm$ 0.94 and 0.532 mag $\pm$ 0.041.


title: A first principles study of high pressure phase diagram of bismuth at 0 ~14 GPa based on structure search and quasi-harmonic approximation

abstract: We have performed first principles study for bismuth crystal structure at pressure from 0~14 GPa based on structure search and quasi-harmonic approximation. A new stable phase with Pbcm symmetry is predicted by structure search method. We find that the most stable structures of bismuth at 0 K are R-3m(0 ~ 3.29 GPa), Pbcm (3.29 GPa ~ 4.91 GPa), Cmce (4.91 GPa ~ 10.57 GPa) and Im-3m ( > 10.57 GPa), respectively. By quasi-harmonic approximation, we predicted the phase diagram of bismuth from first principles calculations. We found that the phase transition pressure reduces with increasing temperature. Our calculation agrees with the trend of experimental phase diagram. The P4/ncc model structure for the incommensurate Bi-III phase is not a stable phase in our calculation. A better model for the Bi-III phase is still needed. We also note that the spin-orbital interaction is very important for phase-diagram simulation of bismuth. By using first principle based structure search method, we successfully determine the low temperature high pressure phase diagram of bismuth, showing that the structure search method can effectively find the most stable structure of given material at high pressure even with high Z elements.


title: Simultaneous inference for linear mixed model parameters with an application to small area estimation

abstract: Over the past decades, linear mixed models have attracted considerable attention in various fields of applied statistics. They are popular whenever clustered, hierarchical or longitudinal data are investigated. Nonetheless, statistical tools for valid simultaneous inference for mixed parameters are rare. This is surprising because one often faces inferential problems beyond the pointwise examination of fixed or mixed parameters. For example, there is an interest in a comparative analysis of cluster-level parameters or subject-specific estimates in studies with repeated measurements. We discuss methods for simultaneous inference assuming a linear mixed model. Specifically, we develop simultaneous prediction intervals as well as multiple testing procedures for mixed parameters. They are useful for joint considerations or comparisons of cluster-level parameters. We employ a consistent bootstrap approximation of the distribution of max-type statistic to construct our tools. The numerical performance of the developed methodology is studied in simulation experiments and illustrated in a data example on household incomes in small areas.


title: Hair Segmentation on Time-of-Flight RGBD Images

abstract: Robust segmentation of hair from portrait images remains challenging: hair does not conform to a uniform shape, style or even color; dark hair in particular lacks features. We present a novel computational imaging solution that tackles the problem from both input and processing fronts. We explore using Time-of-Flight (ToF) RGBD sensors on recent mobile devices. We first conduct a comprehensive analysis to show that scattering and inter-reflection cause different noise patterns on hair vs. non-hair regions on ToF images, by changing the light path and/or combining multiple paths. We then develop a deep network based approach that employs both ToF depth map and the RGB gradient maps to produce an initial hair segmentation with labeled hair components. We then refine the result by imposing ToF noise prior under the conditional random field. We collect the first ToF RGBD hair dataset with 20k+ head images captured on 30 human subjects with a variety of hairstyles at different view angles. Comprehensive experiments show that our approach outperforms the RGB based techniques in accuracy and robustness and can handle traditionally challenging cases such as dark hair, similar hair/background, similar hair/foreground, etc.


title: Linkage of Pfister forms over $\mathbb{C}(x_1,\ldots,x_n)$

abstract: In this note, we prove the existence of a set of $n$-fold Pfister forms of cardinality $2^n$ over $\mathbb{C}(x_1,\dots,x_n)$ which do not share a common $(n-1)$-fold factor. This gives a negative answer to a question raised by Becher. The main tools are the existence of the dyadic valuation on the complex numbers and recent results on symmetric bilinear over fields of characteristic 2.


title: On semi-transitive orientability of Kneser graphs and their complements

abstract: An orientation of a graph is semi-transitive if it is acyclic, and for any directed path $v_0\rightarrow v_1\rightarrow \cdots\rightarrow v_k$ either there is no edge between $v_0$ and $v_k$, or $v_i\rightarrow v_j$ is an edge for all $0\leq i<j\leq k$. An undirected graph is semi-transitive if it admits a semi-transitive orientation. Semi-transitive graphs include several important classes of graphs such as 3-colorable graphs, comparability graphs, and circle graphs, and they are precisely the class of word-representable graphs studied extensively in the literature. In this paper, we study semi-transitive orientability of the celebrated Kneser graph $K(n,k)$, which is the graph whose vertices correspond to the $k$-element subsets of a set of $n$ elements, and where two vertices are adjacent if and only if the two corresponding sets are disjoint. We show that for $n\geq 15k-24$, $K(n,k)$ is not semi-transitive, while for $k\leq n\leq 2k+1$, $K(n,k)$ is semi-transitive. Also, we show computationally that a subgraph $S$ on 16 vertices and 36 edges of $K(8,3)$, and thus $K(8,3)$ itself on 56 vertices and 280 edges, is non-semi-transitive. $S$ and $K(8,3)$ are the first explicit examples of triangle-free non-semi-transitive graphs, whose existence was established via Erd\H{o}s' theorem by Halld\'{o}rsson et al. in 2011. Moreover, we show that the complement graph $\overline{K(n,k)}$ of $K(n,k)$ is semi-transitive if and only if $n\geq 2k$.


title: The multiple symmetry sustaining phase transitions of spin ice

abstract: We present the full phase diagram of the dumbbell model of spin ice as a function of temperature, chemical potential and staggered chemical potential which breaks the translational lattice symmetry in favour of charge crystal ordering. We observe a double winged structure with five possible phases, monopole fluid (spin ice), fragmented single monopole crystal phases and double monopole crystal, the zinc blend structure. Our model provides a skeleton for liquid-liquid phase transitions and for the winged structures observed for itinerant magnets under pressure and external field. We relate our results to recent experiments on Ho$_2$Ir$_2$O$_7$ and propose a wide ranging set of new experiments that exploit the phase diagram, including high pressure protocols, dynamical scaling of Kibble-Zurek form and universal violations of the fluctuation-dissipation theorem.


title: Deep neural networks for classifying complex features in diffraction images

abstract: Intense short-wavelength pulses from free-electron lasers and high-harmonic-generation sources enable diffractive imaging of individual nano-sized objects with a single x-ray laser shot. The enormous data sets with up to several million diffraction patterns represent a severe problem for data analysis, due to the high dimensionality of imaging data. Feature recognition and selection is a crucial step to reduce the dimensionality. Usually, custom-made algorithms are developed at a considerable effort to approximate the particular features connected to an individual specimen, but facing different experimental conditions, these approaches do not generalize well. On the other hand, deep neural networks are the principal instrument for today's revolution in automated image recognition, a development that has not been adapted to its full potential for data analysis in science. We recently published in Langbehn et al. (Phys. Rev. Lett. 121, 255301 (2018)) the first application of a deep neural network as a feature extractor for wide-angle diffraction images of helium nanodroplets. Here we present the setup, our modifications and the training process of the deep neural network for diffraction image classification and its systematic benchmarking. We find that deep neural networks significantly outperform previous attempts for sorting and classifying complex diffraction patterns and are a significant improvement for the much-needed assistance during post-processing of large amounts of experimental coherent diffraction imaging data.


title: Random scattering and alternating projection optimization for active phase control of a laser beam array

abstract: A fraction of a laser beam array, whose unknown phase relationships must be set to prescribed values, is launched into a scattering media with random transmission. The resulting output speckle pattern is sampled by an array of photodiodes measuring the local light intensity. The data feed an innovative optimization process which controls a phase modulator array. Few iterations of the opto-numeric loop lead to efficient and fast phase locking on any desired wavefront.


title: Tests of General Relativity and Fundamental Physics with Space-based Gravitational Wave Detectors

abstract: Low-frequency gravitational-wave astronomy can perform precision tests of general relativity and probe fundamental physics in a regime previously inaccessible. A space-based detector will be a formidable tool to explore gravity's role in the cosmos, potentially telling us if and where Einstein's theory fails and providing clues about some of the greatest mysteries in physics and astronomy, such as dark matter and the origin of the Universe.


title: Family size decomposition of genealogical trees

abstract: We study the path of family size decompositions of varying depth of genealogical trees. We prove that this decomposition as a function on (equivalence classes of) ultra-metric measure spaces to the Skorohod space describing the family sizes at different depths is perfect onto its image, i.e. there is a suitable topology such that this map is continuous closed surjective and pre-images of compact sets are compact. We also specify a (dense) subset so that the restriction of the function to this subspace is a homeomorphism. This property allows us to argue that the whole genealogy of a Fleming-Viot process with mutation and selection as well as the genealogy in a Feller branching population can be reconstructed by the genealogical distance of two randomly chosen individuals.


title: Calculation of the Anisotropic Coefficients of Thermal Expansion: A First-Principles Approach

abstract: Predictions of the anisotropic coefficients of thermal expansion are needed to not only compare to experimental measurement, but also as input for macroscopic modeling of devices which operate over a large temperature range. While most current methods are limited to isotropic systems within the quasiharmonic approximation, our method uses first-principles calculations and includes anharmonic effects to determine the temperature-dependent properties of materials. These include the lattice parameters, anisotropic coefficients of thermal expansion, isothermal bulk modulus, and specific heat at constant pressure. Our method has been tested on two compounds (Cu and AlN) and predicts thermal properties which compare favorably to experimental measurement over a wide temperature range.


title: Arabic natural language processing: An overview

abstract: Arabic is recognised as the 4th most used language of the Internet. Arabic has three main varieties: (1) classical Arabic (CA), (2) Modern Standard Arabic (MSA), (3) Arabic Dialect (AD). MSA and AD could be written either in Arabic or in Roman script (Arabizi), which corresponds to Arabic written with Latin letters, numerals and punctuation. Due to the complexity of this language and the number of corresponding challenges for NLP, many surveys have been conducted, in order to synthesise the work done on Arabic. However these surveys principally focus on two varieties of Arabic (MSA and AD, written in Arabic letters only), they are slightly old (no such survey since 2015) and therefore do not cover recent resources and tools. To bridge the gap, we propose a survey focusing on 90 recent research papers (74% of which were published after 2015). Our study presents and classifies the work done on the three varieties of Arabic, by concentrating on both Arabic and Arabizi, and associates each work to its publicly available resources whenever available.


abstract: Nowadays, multi-view clustering has attracted more and more attention. To date, almost all the previous studies assume that views are complete. However, in reality, it is often the case that each view may contain some missing instances. Such incompleteness makes it impossible to directly use traditional multi-view clustering methods. In this paper, we propose a Doubly Aligned Incomplete Multi-view Clustering algorithm (DAIMC) based on weighted semi-nonnegative matrix factorization (semi-NMF). Specifically, on the one hand, DAIMC utilizes the given instance alignment information to learn a common latent feature matrix for all the views. On the other hand, DAIMC establishes a consensus basis matrix with the help of $L_{2,1}$-Norm regularized regression for reducing the influence of missing instances. Consequently, compared with existing methods, besides inheriting the strength of semi-NMF with ability to handle negative entries, DAIMC has two unique advantages: 1) solving the incomplete view problem by introducing a respective weight matrix for each view, making it able to easily adapt to the case with more than two views; 2) reducing the influence of view incompleteness on clustering by enforcing the basis matrices of individual views being aligned with the help of regression. Experiments on four real-world datasets demonstrate its advantages.


title: Generosity, selfishness and exploitation as optimal greedy strategies for resource sharing

abstract: Resource sharing outside the kinship bonds is rare. Besides humans, it occurs in chimpanzee, wild dogs and hyenas as well as in vampire bats. Resource sharing is an instance of animal cooperation, where an animal gives away part of the resources that it owns for the benefit of a recipient. Taking inspiration from blood-sharing in vampire bats, here show the emergence of generosity in a Markov game, which couples the resource sharing between two players with the gathering task of that resource. At variance with the classical evolutionary models for cooperation, the optimal strategies of this game can be potentially learned by animals during their life-time. The players act greedily, that is, they try to individually maximize only their personal income. Nonetheless, the analytical solution of the model shows that three non trivial optimal behaviours emerge depending on conditions. Besides the obvious case when players are selfish in their choice of resource division, there are conditions under which both players are generous. Moreover, we also found a range of situations in which one selfish player exploits another generous individual, for the satisfaction of both players. Our results show that resource sharing is favoured by three factors: a long time horizon over which the players try to optimize their own game, the similarity among players in their ability of performing the resource-gathering task, as well as by the availability of resources in the environment. These concurrent requirements lead to identify necessary conditions for the emergence of generosity.


title: GRATIS: GeneRAting TIme Series with diverse and controllable characteristics

abstract: The explosion of time series data in recent years has brought a flourish of new time series analysis methods, for forecasting, clustering, classification and other tasks. The evaluation of these new methods requires either collecting or simulating a diverse set of time series benchmarking data to enable reliable comparisons against alternative approaches. We propose GeneRAting TIme Series with diverse and controllable characteristics, named GRATIS, with the use of mixture autoregressive (MAR) models. We simulate sets of time series using MAR models and investigate the diversity and coverage of the generated time series in a time series feature space. By tuning the parameters of the MAR models, GRATIS is also able to efficiently generate new time series with controllable features. In general, as a costless surrogate to the traditional data collection approach, GRATIS can be used as an evaluation tool for tasks such as time series forecasting and classification. We illustrate the usefulness of our time series generation process through a time series forecasting application.


title: Interpretable Deep Learning in Drug Discovery

abstract: Without any means of interpretation, neural networks that predict molecular properties and bioactivities are merely black boxes. We will unravel these black boxes and will demonstrate approaches to understand the learned representations which are hidden inside these models. We show how single neurons can be interpreted as classifiers which determine the presence or absence of pharmacophore- or toxicophore-like structures, thereby generating new insights and relevant knowledge for chemistry, pharmacology and biochemistry. We further discuss how these novel pharmacophores/toxicophores can be determined from the network by identifying the most relevant components of a compound for the prediction of the network. Additionally, we propose a method which can be used to extract new pharmacophores from a model and will show that these extracted structures are consistent with literature findings. We envision that having access to such interpretable knowledge is a crucial aid in the development and design of new pharmaceutically active molecules, and helps to investigate and understand failures and successes of current methods.


title: Coupled-wave formalism for bound states in the continuum in guided-mode resonant gratings

abstract: We present simple yet extremely accurate coupled-wave models describing the formation of bound states in the continuum (BICs) in 1D-periodic guided-mode resonant gratings (GMRGs) consisting of a slab waveguide layer with a binary grating attached to one or both of its interfaces. Using these models, we obtain simple closed-form expressions predicting the locations of the BICs and quasi-BICs in the $\omega$-$k_x$ parameter space. We study two mechanisms of the BIC formation: coupling between two counter-propagating guided modes and coupling between a guided mode and a Fabry-P\'erot mode. The BIC conditions for the two considered mechanisms are formulated in terms of the scattering coefficients of the binary grating. The predictions of the presented models are in excellent agreement with the results of rigorous numerical simulations obtained using the Fourier modal method.


title: Nonlocal Spin Transport as a Probe of Viscous Magnon Fluids

abstract: Magnons in ferromagnets behave as a viscous fluid over a length scale, the momentum-relaxation length, below which momentum-conserving scattering processes dominate. We show theoretically that in this hydrodynamic regime viscous effects lead to a sign change in the magnon chemical potential, which can be detected as a sign change in the nonlocal resistance measured in spin transport experiments. This sign change is observable when the injector-detector distance becomes comparable to the momentum-relaxation length. Taking into account momentum- and spin-relaxation processes, we consider the quasiconservation laws for momentum and spin in a magnon fluid. The resulting equations are solved for nonlocal spin transport devices in which spin is injected and detected via metallic leads. Because of the finite viscosity we also find a backflow of magnons close to the injector lead. Our work shows that nonlocal magnon spin transport devices are an attractive platform to develop and study magnon-fluid dynamics.


title: Multi-output Bus Travel Time Prediction with Convolutional LSTM Neural Network

abstract: Accurate and reliable travel time predictions in public transport networks are essential for delivering an attractive service that is able to compete with other modes of transport in urban areas. The traditional application of this information, where arrival and departure predictions are displayed on digital boards, is highly visible in the city landscape of most modern metropolises. More recently, the same information has become critical as input for smart-phone trip planners in order to alert passengers about unreachable connections, alternative route choices and prolonged travel times. More sophisticated Intelligent Transport Systems (ITS) include the predictions of connection assurance, i.e. to hold back services in case a connecting service is delayed. In order to operate such systems, and to ensure the confidence of passengers in the systems, the information provided must be accurate and reliable. Traditional methods have trouble with this as congestion, and thus travel time variability, increases in cities, consequently making travel time predictions in urban areas a non-trivial task. This paper presents a system for bus travel time prediction that leverages the non-static spatio-temporal correlations present in urban bus networks, allowing the discovery of complex patterns not captured by traditional methods. The underlying model is a multi-output, multi-time-step, deep neural network that uses a combination of convolutional and long short-term memory (LSTM) layers. The method is empirically evaluated and compared to other popular approaches for link travel time prediction and currently available services, including the currently deployed model in Copenhagen, Denmark. We find that the proposed model significantly outperforms all the other methods we compare with, and is able to detect small irregular peaks in bus travel times very quickly.


title: Radio detection of cosmic rays in [1.7-3.7] MHz: the EXTASIS experiment

abstract: Since 2003, significant efforts have been devoted to the understanding of the radio emission of extensive air showers above 20 MHz. Despite some studies led until the early nineties, the band available below 20 MHz has remained unused for 20 years. However, it has been claimed by some pioneering experiments that extensive air showers emit a strong electric field in this band and that there is evidence of a large increase of the radio pulse amplitude with decreasing frequencies. The EXTASIS experiment, located within the Nan\c{c}ay Radioastronomy Observatory and supported by the scintillator array and the autonomous radio stations of the CODALEMA experiment, aims to re-investigate the low-frequency band, and especially to study the so-called "sudden death" contribution, the expected electric field radiated by the shower front when hitting ground level. In this work, we present the instrumental setup of the EXTASIS experiment composed of~$7$ low-frequency antennas operating in [1.7-3.7] MHz and covering approximately \SI{1}{\kilo\metre\squared}. We report the observation of~$18$ air showers detected in coincidence in the three instruments, and estimate a detection threshold of \SI{23\pm4}{\micro\volt\per\metre} from comparisons with detailed SELFAS3 simulations. We also report a strong correlation of the low-frequency signal observation with the atmospheric electric field.


title: SR-LSTM: State Refinement for LSTM towards Pedestrian Trajectory Prediction

abstract: In crowd scenarios, reliable trajectory prediction of pedestrians requires insightful understanding of their social behaviors. These behaviors have been well investigated by plenty of studies, while it is hard to be fully expressed by hand-craft rules. Recent studies based on LSTM networks have shown great ability to learn social behaviors. However, many of these methods rely on previous neighboring hidden states but ignore the important current intention of the neighbors. In order to address this issue, we propose a data-driven state refinement module for LSTM network (SR-LSTM), which activates the utilization of the current intention of neighbors, and jointly and iteratively refines the current states of all participants in the crowd through a message passing mechanism. To effectively extract the social effect of neighbors, we further introduce a social-aware information selection mechanism consisting of an element-wise motion gate and a pedestrian-wise attention to select useful message from neighboring pedestrians. Experimental results on two public datasets, i.e. ETH and UCY, demonstrate the effectiveness of our proposed SR-LSTM and we achieves state-of-the-art results.


title: Enhancing Music Features by Knowledge Transfer from User-item Log Data

abstract: In this paper, we propose a novel method that exploits music listening log data for general-purpose music feature extraction. Despite the wealth of information available in the log data of user-item interactions, it has been mostly used for collaborative filtering to find similar items or users and was not fully investigated for content-based music applications. We resolve this problem by extending intra-domain knowledge distillation to cross-domain: i.e., by transferring knowledge obtained from the user-item domain to the music content domain. The proposed system first trains the model that estimates log information from the audio contents; then it uses the model to improve other task-specific models. The experiments on various music classification and regression tasks show that the proposed method successfully improves the performances of the task-specific models.


title: Combining sale records of landings and fishers knowledge for predicting metiers in a small-scale, multi-gear, multispecies fishery

abstract: Stock management should be guided by assessment models that, among others, need to be fed by reliable data of catch and effort. However, precise data are difficult to obtain in heterogeneous fisheries. Specifically, small scale, multi gear, multispecies fisheries are dynamic systems where fishers may lively change fishing strategy conditioned by multiple drivers. Provided that some stocks can be shared by several metiers, a precise categorization of metiers should be the first step toward metier specific estimates of catch and effort, which in turn would allow a better understanding of the system dynamics. Here we propose an approach for predicting the metier of any given fishing trip from its landing records. This approach combines the knowledge of expert fishers with the existing sales register of landings in Mallorca. It successfully predicts metiers for all the 162815 small scale fishery fishing trips from Mallorca between 2004 and 2015. The largest effort is invested in the metiers Cuttlefish Fish and Spiny lobster, landings peak for Cuttlefish Fish and Dolphinfish and revenues for Spiny lobster and Dolphinfish. Metier predictions also allowed us to describe the temporal trends experienced by each metier and to characterize the species that are specific to each metier. Seasonal variability is by far more relevant than between year variability, which confirms that at least some fishers are adopting a rotation cycle of metiers along the year. Effort, landings and gross revenues decreased in the last 12 years. The approach proposed is also applicable to any other fishery for which the metier for a fishing trip sample is known, but relying on fishers expertise points more directly to fishers intention. Thus, metier predictions produced with the proposed approach are closer to the actual uses of fishers, providing better grounds for an improved management.


title: The homotopy groups of the automorphism groups of Cuntz-Toeplitz algebras

abstract: The Cuntz-Toeplitz algebra $E_{n+1}$ for $n\geq1$ is the universal C*-algebra generated by $n+1$ isometries with mutually orthogonal ranges. In this paper, we investigate the automorphism groups of the Cuntz-Toeplitz algebras and determine their homotopy groups.


title: Stationary analysis of a tandem queue with coupled processors subject to global breakdowns

abstract: We consider a tandem queue with coupled processors, which is subject to global breakdowns. When the network is in the operating mode and both queues are non empty, the total service capacity is shared among the stations according to fixed proportions. When one of the stations becomes empty, the total service capacity is given to the non-empty station. Moreover, arrival rates depend on the state of the network. The system is described by a Markov modulated random walk in the quarter plane representing the number of jobs in the two stations and the state of the network. By applying the generating function approach, we first apply the power series approximation method to obtain power series expansions of the generating function of the stationary queue lengths for both network states. Then, we also provide a way to derive the generating function of the stationary queue lengths for both network states in terms of the solution of a Riemann-Hilbert boundary value problem. Numerical results are obtained to show insights in the system performance.


title: Dynamics and Statistics of Reorientations of Large-Scale Circulation in Turbulent Rotating Rayleigh-B\'{e}nard Convection

abstract: We present a direct numerical simulation to investigate the dynamics and statistics of reorientations of large-scale circulation (LSC) in turbulent rotating Rayleigh-B\'{e}nard convection (RRBC) for air ($Pr=0.7$) contained in a cylindrical cell with unit aspect ratio. A wide range of rotation rates ($0\leq Ro^{-1}\leq 30$) is considered for two different Rayleigh numbers $Ra=2\times10^6$ and $2\times10^7$. Using the Fourier mode analysis of time series data obtained from the different probes placed in the azimuthal direction of the container at the mid-plane, the orientation and associated dynamics of LSC are characterized. The amplitude of the first Fourier mode quantifies the strength of LSC and its phase $\Phi_1$ gives the information of the azimuthal orientation of LSC. Based on the energy contained in the Fourier modes different flow regimes are identified as the rotation rate is varied for a given Rayleigh number. LSC structure is observed in the low rotation regime ( $Ro^{-1} \lesssim 1$). A strong correlation between the orientation of LSC structure and the heat transfer and boundary layer dynamics is observed. In the LSC regime, the dissipation rates follow the log-normal behaviour, while at higher rotation rates, a clear departure from log-normality is noticed. Different types of reorientations, namely, rotation-led, cessation-led, partial and complete reversal are identified. The distribution of change in orientation of LSC follows a power law behaviour as $P(|\Delta \Phi_1|) \propto |\Delta \Phi_1|^{-m}$, with the exponent $m\approx 3.7$. In addition, the statistics of time interval between successive reorientations follow a Poisson distribution. These observations are in good agreement with earlier experimental results.


title: Multigoal-oriented optimal control problems with nonlinear PDE constraints

abstract: In this work, we consider an optimal control problem subject to a nonlinear PDE constraint and apply it to the regularized $p$-Laplace equation. To this end, a reduced unconstrained optimization problem in terms of the control variable is formulated. Based on the reduced approach, we then derive an a posteriori error representation and mesh adaptivity for multiple quantities of interest. All quantities are combined to one, and then the dual-weighted residual (DWR) method is applied to this combined functional. Furthermore, the estimator allows for balancing the discretization error and the nonlinear iteration error. These developments allow us to formulate an adaptive solution strategy, which is finally substantiated via several numerical examples.


title: Physical properties and transmission spectrum of the WASP-74 planetary system from multi-band photometry

abstract: We present broad-band photometry of eleven planetary transits of the hot Jupiter WASP-74b, using three medium-class telescopes and employing the telescope-defocussing technique. Most of the transits were monitored through I filters and one was simultaneously observed in five optical (U, g', r', i', z') and three near infrared (J, H, K) passbands, for a total of 18 light curves. We also obtained new high-resolution spectra of the host star. We used these new data to review the orbital and physical properties of the WASP-74 planetary system. We were able to better constrain the main system characteristics, measuring smaller radius and mass for both the hot Jupiter and its host star than previously reported in the literature. Joining our optical data with those taken with the HST in the near infrared, we built up an observational transmission spectrum of the planet, which suggests the presence of strong optical absorbers, as TiO and VO gases, in its atmosphere.


title: On a $p$-Adic Generalized Gibbs Measure for Ising Model on a Cayley Tree

abstract: In this paper we consider a $p$-adic Ising model on the Cayley tree of order $k\geq 2$. We give full description of all $p$-adic translation-invariant generalized Gibbs measures for $k=3$. Moreover, we show the existence of phase transition for $p$-adic Ising model for any $k\geq3$ when $p\equiv1(\operatorname{mod }4)$.


title: Investigating optically-excited THz standing spin waves using noncollinear magnetic bilayers

abstract: We investigate optically excited THz standing spin waves in noncollinear magnetic bilayers. Using femtosecond laser-pulse excitation, a spin current is generated in the first ferromagnetic (FM) layer, and flows through a conductive spacer layer to be injected into the second (transverse) FM layer, where it exerts a spin-transfer torque on the magnetization and excites higher-order standing spin waves. We show that the noncollinear magnetic bilayer is a convenient tool that allows easy excitation of THz spin waves, and can be used to investigate the dispersion and thereby the spin wave stiffness parameter in the thin-film regime. This is experimentally demonstrated using wedge-shaped Co and CoB (absorption) layers. Furthermore, the damping of these THz spin waves is investigated, showing a strong increase of the damping with decreasing absorption layer thickness, much stronger than expected from interface spin pumping effects. Additionally, a previously unseen sudden decrease in the damping for the thinnest films is observed. A model for the additional damping contribution incorporating both these observations is proposed.


title: Variable Order, Directional H2-Matrices for Helmholtz Problems with Complex Frequency

abstract: The sparse approximation of high-frequency Helmholtz-type integral operators has many important physical applications such as problems in wave propagation and wave scattering. The discrete system matrices are huge and densely populated; hence their sparse approximation is of outstanding importance. In our paper we will generalize the directional $\mathcal{H}^{2}$-matrix techniques from the \textquotedblleft pure\textquotedblright\ Helmholtz operator $\mathcal{L}u=-\Delta u+\zeta^{2}u$ with $\zeta=-\operatorname*{i}k$, $k\in\mathbb{R}$, to general complex frequencies $\zeta\in\mathbb{C}$ with $\operatorname{Re}\zeta>0$. In this case, the fundamental solution decreases exponentially for large arguments. We will develop a new admissibility condition which contains $\operatorname{Re}\zeta$ in an explicit way and introduce the approximation of the integral kernel function on admissible blocks in terms of frequency-dependent \textit{directional expansion functions}. We develop an error analysis which is explicit with respect to the expansion order and with respect to $\operatorname{Re}\zeta$ and $\operatorname{Im}\zeta$. This allows to choose the \textit{variable }expansion order in a quasi-optimal way depending on $\operatorname{Re}\zeta$ but independent of, possibly large, $\operatorname{Im}\zeta$. The complexity analysis is explicit with respect to $\operatorname{Re}\zeta$ and $\operatorname{Im}\zeta$ and shows how higher values of $\operatorname{Re}% \zeta$ reduce the complexity. In certain cases, it even turns out that the discrete matrix can be replaced by its nearfield part. Numerical experiments illustrate the sharpness of the derived estimates and the efficiency of our sparse approximation.


title: WASP-92, WASP-93 and WASP-118: Transit timing variations and long-term stability of the systems

abstract: We studied three exoplanetary systems with transiting planets: WASP-92, WASP-93 and WASP-118. Using ground-based photometric observations of WASP-92 and WASP-93 and Kepler-K2 observations of WASP-118, we redetermined the orbital and physical parameters of these planets. The precise times of all transits were determined. We constructed O-C diagrams of transits and analysed possible transit timing variations. We did not observe any significant deviation from a linear ephemeris for any of the selected exoplanets. We put upper-mass limits for other hypothetical planets in these systems. Using long-term numerical simulation, we looked for stable regions where another planet could exist for a long time. We used the maximum eccentricity method for this purpose. We discuss the influence of values of initial inclination and eccentricity on the shape and size of regions of stability.


title: There are infinitely many rational Diophantine sextuples with square denominators

abstract: A rational Diophantine m-tuple is a set of m nonzero rationals such that the product of any two of them increased by 1 is a perfect square. The first rational Diophantine quadruple was found by Diophantus, while Euler proved that there are infinitely many rational Diophantine quintuples. In 1999, Gibbs found the first example of a rational Diophantine sextuple, and in 2016 Dujella, Kazalicki, Miki\'c and Szikszai proved that there are infinitely many of them. In this paper, we prove that there exist infinitely many rational Diophantine sextuples such that the denominators of all the elements in the sextuples are perfect squares.


title: Relaxing the Assumptions of Knockoffs by Conditioning

abstract: The recent paper Cand\`es et al. (2018) introduced model-X knockoffs, a method for variable selection that provably and non-asymptotically controls the false discovery rate with no restrictions or assumptions on the dimensionality of the data or the conditional distribution of the response given the covariates. The one requirement for the procedure is that the covariate samples are drawn independently and identically from a precisely-known (but arbitrary) distribution. The present paper shows that the exact same guarantees can be made without knowing the covariate distribution fully, but instead knowing it only up to a parametric model with as many as $\Omega(n^{*}p)$ parameters, where $p$ is the dimension and $n^{*}$ is the number of covariate samples (which may exceed the usual sample size $n$ of labeled samples when unlabeled samples are also available). The key is to treat the covariates as if they are drawn conditionally on their observed value for a sufficient statistic of the model. Although this idea is simple, even in Gaussian models conditioning on a sufficient statistic leads to a distribution supported on a set of zero Lebesgue measure, requiring techniques from topological measure theory to establish valid algorithms. We demonstrate how to do this for three models of interest, with simulations showing the new approach remains powerful under the weaker assumptions.


title: Higher Structures in M-Theory

abstract: The key open problem of string theory remains its non-perturbative completion to M-theory. A decisive hint to its inner workings comes from numerous appearances of higher structures in the limits of M-theory that are already understood, such as higher degree flux fields and their dualities, or the higher algebraic structures governing closed string field theory. These are all controlled by the higher homotopy theory of derived categories, generalised cohomology theories, and $L_\infty$-algebras. This is the introductory chapter to the proceedings of the LMS/EPSRC Durham Symposium on Higher Structures in M-Theory. We first review higher structures as well as their motivation in string theory and beyond. Then we list the contributions in this volume, putting them into context.


title: A necessary condition on domains for optimal Orlicz-Sobolev embeddings

abstract: We provide a necessary condition on the regularity of domains for the optimal embeddings of first order (and higher order) Orlicz-Sobolev spaces into Orlicz spaces in the sense of \cite{Cia96} (and \cite{Cia06}).


title: Limiting Network Size within Finite Bounds for Optimization

abstract: Largest theoretical contribution to Neural Networks comes from VC Dimension which characterizes the sample complexity of classification model in a probabilistic view and are widely used to study the generalization error. So far in the literature the VC Dimension has only been used to approximate the generalization error bounds on different Neural Network architectures. VC Dimension has not yet been implicitly or explicitly stated to fix the network size which is important as the wrong configuration could lead to high computation effort in training and leads to over fitting. So there is a need to bound these units so that task can be computed with only sufficient number of parameters. For binary classification tasks shallow networks are used as they have universal approximation property and it is enough to size the hidden layer width for such networks. The paper brings out a theoretical justification on required attribute size and its corresponding hidden layer dimension for a given sample set that gives an optimal binary classification results with minimum training complexity in a single layered feed forward network framework. The paper also establishes proof on the existence of bounds on the width of the hidden layer and its range subjected to certain conditions. Findings in this paper are experimentally analyzed on three different dataset using Mathlab 2018 (b) software.


title: The robust bilevel continuous knapsack problem with uncertain coefficients in the follower's objective

abstract: We consider a bilevel continuous knapsack problem where the leader controls the capacity of the knapsack and the follower chooses an optimal packing according to his own profits, which may differ from those of the leader. To this bilevel problem, we add uncertainty in a natural way, assuming that the leader does not have full knowledge about the follower's problem. More precisely, adopting the robust optimization approach and assuming that the follower's profits belong to a given uncertainty set, our aim is to compute a solution that optimizes the worst-case follower's reaction from the leader's perspective. By investigating the complexity of this problem with respect to different types of uncertainty sets, we make first steps towards better understanding the combination of bilevel optimization and robust combinatorial optimization. We show that the problem can be solved in polynomial time for both discrete and interval uncertainty, but that the same problem becomes NP-hard when each coefficient can independently assume only a finite number of values. In particular, this demonstrates that replacing uncertainty sets by their convex hulls may change the problem significantly, in contrast to the situation in classical single-level robust optimization. For general polytopal uncertainty, the problem again turns out to be NP-hard, and the same is true for ellipsoidal uncertainty even in the uncorrelated case. All presented hardness results already apply to the evaluation of the leader's objective function.


title: Complete set of translation invariant measurements with Lipschitz bounds

abstract: In image and audio signal classification, a major problem is to build stable representations that are invariant under rigid motions and, more generally, to small diffeomorphisms. Translation invariant representations of signals in $\mathbb{C}^n$ are of particular importance. The existence of such representations is intimately related to classical invariant theory, inverse problems in compressed sensing and deep learning. Despite an impressive body of litereature on the subject, most representations available are either: i) not stable due to the presence of high frequencies; ii) non discriminative; iii) non invariant when projected to finite dimensional subspaces. In the present paper, we construct low dimensional representations of signals in $\mathbb{C}^n$ that are invariant under finite unitary group actions, as a special case we establish the existence of low-dimensional and complete $\mathbb{Z}_m$-invariant representations for any $m\in\mathbb{N}$. Our construction yields a stable, discriminative transform with semi-explicit Lipschitz bounds on the dimension; this is particularly relevant for applications. Using some tools from Algebraic Geometry, we define a high dimensional homogeneous function that is injective. We then exploit the projective character of this embedding and see that the target space can be reduced significantly by using a generic linear transformation. Finally, we introduce the notion of {\it non-parallel} map, which is enjoyed by our function and employ this to construct a Lipschitz modification of it.


title: Current-induced motion of twisted skyrmions

abstract: Twisted skyrmions, whose helicity angles are different from that of Bloch skyrmions and N\'eel skyrmions, have already been demonstrated in experiments recently. In this work, we first contrast the magnetic structure and origin of the twisted skyrmion with other three types of skyrmion including Bloch skyrmion, N\'eel skyrmion and antiskyrmion. Following, we investigate the dynamics of twisted skyrmions driven by the spin transfer toque (STT) and the spin Hall effect (SHE) by using micromagnetic simulations. It is found that the spin Hall angle of the twisted skyrmion is related to the dissipative force tensor and the Gilbert damping both for the motions induced by the STT and the SHE, especially for the SHE induced motion, the skyrmion Hall angle depends substantially on the skyrmion helicity. At last, we demonstrate that the trajectory of the twisted skyrmion can be controlled in a two dimensional plane with a Gilbert damping gradient. Our results provide the understanding of current-induced motion of twisted skyrmions, which may contribute to the applications of skyrmion-based racetrack memories.


title: Fock space representation of the circle quantum group

abstract: In [arXiv:1711.07391] we have defined quantum groups $\mathbf{U}_\upsilon(\mathfrak{sl}(\mathbb{R}))$ and $\mathbf{U}_\upsilon(\mathfrak{sl}(S^1))$, which can be interpreted as continuous generalizations of the quantum groups of the Kac-Moody Lie algebras of finite, respectively affine type $A$. In the present paper, we define the Fock space representation $\mathcal{F}_{\mathbb{R}}$ of the quantum group $\mathbf{U}_\upsilon(\mathfrak{sl}(\mathbb{R}))$ as the vector space generated by real pyramids (a continuous generalization of the notion of partition). In addition, by using a variant of the "folding procedure" of Hayashi-Misra-Miwa, we define an action of $\mathbf{U}_\upsilon(\mathfrak{sl}(S^1))$ on $\mathcal{F}_{\mathbb{R}}$.


title: Revealing correlations between a system and an inaccessible environment

abstract: How can we detect that our local, controllable quantum system is correlated with some other inaccessible environmental system? The local detection method developed in recent years allows to realize a dynamical witness for correlations without requiring knowledge of or access to the environment that is correlated with the local accessible quantum system. Here, we provide a brief summary of the theoretical method and recent experimental studies with single photons and trapped ions coupled to increasingly complex environments.


title: Trip Centrality: walking on a temporal multiplex with non-instantaneous link travel time

abstract: In complex networks, centrality metrics quantify the connectivity of nodes and identify the most important ones in the transmission of signals. In many real world networks, especially in transportation systems, links are dynamic, i.e. their presence depends on time, and travelling between two nodes requires a non-vanishing time. Additionally, many networks are structured on several layers, representing, e.g., different transportation modes or service providers. Temporal generalisations of centrality metrics based on walk-counting, like Katz centrality, exist, however they do not account for non-zero link travel times and for the multiplex structure. We propose a generalisation of Katz centrality, termed Trip Centrality, counting only the paths that can be travelled according to the network temporal structure, i.e. "trips", while also differentiating the contributions of inter- and intra-layer walks to centrality. We show an application to the US air transport system, specifically computing airports' centrality losses due to delays in the flight network.


title: Factorized sectorial relations, their maximal sectorial extensions, and form sums

abstract: In this paper sectorial operators, or more generally, sectorial relations and their maximal sectorial extensions in a Hilbert space ${\mathfrak H}$ are considered. The particular interest is in sectorial relations $S$, which can be expressed in the factorized form \[ S=T^*(I+iB)T \quad \text{or} \quad S=T(I+iB)T^*, \] where $B$ is a bounded selfadjoint operator in a Hilbert space ${\mathfrak K}$ and $T:{\mathfrak H}\to{\mathfrak K}$ or $T:{\mathfrak K}\to{\mathfrak H}$, respectively, is a linear operator or a linear relation which is not assumed to be closed. Using the specific factorized form of $S$, a description of all the maximal sectorial extensions of $S$ is given with a straightforward construction of the extreme extensions $S_F$, the Friedrichs extension, and $S_K$, the Kre\u{\i}n extension of $S$, which uses the above factorized form of $S$. As an application of this construction the form sum of maximal sectorial extensions of two sectorial relations is treated.


title: Weyl Anomaly and Vacuum Magnetization Current of M5-brane in Background Flux

abstract: It was recently discovered that for a boundary system in the presence of a background magnetic field, the quantum fluctuation of the vacuum would create a non-uniform magnetization density for the vacuum and a magnetization current is induced in the vacuum. It was also shown that this magnetic Casimir effect of the vacuum is closely related to another quantum effect of the vacuum, the Weyl anomaly. Furthermore, the phenomena can be understood in terms of the holography of the boundary system. In this article, we review the derivation of this phenomena from QFT as well as the derivation of it using AdS/BCFT. We then generalize this four dimensional effect to six-dimensions. We use the AdS/BCFT holography to show that in the presence of a 3-form magnetic field strength $H$, a string current is induced in a six-dimensional boundary conformal field theory. This allows us to determine the gauge field contribution to the Weyl anomaly in six-dimensional conformal field theory in a $H$-flux background. For the (2,0) superconformal field theory of $N$ M5-branes, the current has a magnitude proportional to $N^3$ for large $N$. This suggests that the degree of freedoms scales as $N^3$ in the (2,0) superconformal theory of $N$ multiple M5-branes. Our result for the Weyl anomaly is a new prediction for the (2,0) theory.


title: First order p-adic deformations of weight one newforms

abstract: This article studies the first-order $p$-adic deformations of classical weight one newforms, relating their fourier coefficients to the $p$-adic logarithms of algebraic numbers in the field cut out by the associated projective Galois representation.


title: Full electrostatic control of quantum interference in an extended trenched Josephson junction

abstract: Hybrid semiconductor/superconductor devices constitute an important platform for a wide range of applications, from quantum computing to topological-state-based architectures. Here, we demonstrate full modulation of the interference pattern in a superconducting interference device with two parallel islands of ballistic InAs quantum wells separated by a trench, by acting independently on two side-gates. This so far unexplored geometry enables us to tune the device with high precision from a SQUID-like to a Fraunhofer-like behavior simply by electrostatic gating, without the need for an additional in-plane magnetic field. These measurements are successfully analyzed within a theoretical model of an extended tunnel Josephson junction, taking into account the focusing factor of the setup. The impact of these results on the design of novel devices is discussed.


title: Gauge PDE and AKSZ-type Sigma Models

abstract: A gauge PDE is a natural notion which arises by abstracting what physicists call a local gauge field theory defined in terms of BV-BRST differential (not necessarily Lagrangian). We study supergeometry of gauge PDEs paying particular attention to globally well-defined definitions and equivalences of such objects. We demonstrate that a natural geometrical language to work with gauge PDEs is that of $Q$-bundles. In particular, we demonstrate that any gauge PDE can be embedded into a super-jet bundle of the $Q$-bundle. This gives a globally well-defined version of the so-called parent formulation. In the case of reparameterization-invariant systems, the parent formulation takes the form of an AKSZ-type sigma model with an infinite-dimensional target space.


title: Higher Gauge Structures in Double and Exceptional Field Theory

abstract: We review the higher gauge symmetries in double and exceptional field theory from the viewpoint of an embedding tensor construction. This is based on a (typically infinite-dimensional) Lie algebra $\frak{g}$ and a choice of representation $R$. The embedding tensor is a map from the representation space $R$ into $\frak{g}$ satisfying a compatibility condition (`quadratic constraint'). The Lie algebra structure on $\frak{g}$ is transported to a Leibniz--Loday algebra on $R$, which in turn gives rise to an $L_{\infty}$-structure. We review how the gauge structures of double and exceptional field theory fit into this framework.


title: How Space-Times Emerge from the Superpoint

abstract: We describe how the super Minkowski space-times relevant to string theory and M-theory, complete with their Lorentz metrics and spin structures, emerge from a much more elementary object: the superpoint. In the sense of higher structures, this comes from treating the superpoint as an object in a flavor of rational homotopy theory, and repeatedly constructing central extensions. We will fit this story into the larger picture of the brane bouquet of Fiorenza-Sati-Schreiber: string theories and membrane theories emerge from super Minkowski space-times in precisely the same way as the super Minkowski space-times themselves emerge from the superpoint. This note is adapted from a talk I gave at the Durham symposium Higher Structures in M-Theory.


title: Looking for ancillary signals around GW150914

abstract: We replicated the procedure in Liu and Jackson (arXiv:1609.08346), who had found evidence for a low amplitude signal in the vicinity of GW150914. This was based upon the large correlation between the time integral of the Pearson cross-correlation coefficient in the off-source region of GW150914, and the Pearson cross-correlation in a narrow window around GW150914, for the same time lag between the two LIGO detectors as the gravitational wave signal. Our results mostly agree with those in arXiv:1609.08346. We find the statistical significance of the observed cross-correlation to be about 2.5 $\sigma$. We also used the cross-correlation method to search for short duration signals at all other physical values of the time lag, within this 4096 second time interval, but do not find evidence for any statistically significant events in the off-source region.


title: Multiple Fourier Component Analysis of X-ray Second Harmonic Generation in Diamond

abstract: The unprecedented brilliance of X-ray free-electron lasers (XFELs) [1, 2] has enabled first studies of nonlinear interactions in the hard X-ray range. In particular, X-ray-optical mixing [3], X-ray second harmonic generation (XSHG) [4] and nonlinear Compton scattering (NLCS) [5] have been recently observed for the first time using XFELs. The former two experiments as well as X-ray parametric downconversion (XPDC)[6, 7] are well explained by nonlinearities in the impulse approximation[8], where electrons in a solid target are assumed to be quasi free for X-ray interactions far from atomic resonances. However, the energy of the photons generated in NLCS at intensities reaching up to 4 x 1020 W/cm2 exhibit an anomalous red-shift that is in violation with the free-electron model. Here we investigate the underlying physics of X-ray nonlinear interactions at intensities on order of 1016 W/cm2. Specifically, we perform a systematic study of XSHG in diamond. While one phase-matching geometry has been measured in Shwartz et al.[4], we extend these studies to multiple Fourier components and with significantly higher statistics, which allows us to determine the second order nonlinear structure factor. We measure the efficiency, angular dependence, and contributions from different source terms of the process. We find good agreement of our measurements with the quasi-free electron model.


title: Lessons from M2's and Hopes for M5's

abstract: In this talk we will review the construction of M2-brane SCFT's highlighting some novelties and the role of 3-algebras. Parts of our discussion will closely follow parts of arXiv:1203.3546. Next we will discuss M5-branes: the basics, the obstacles as well as various attempts to construct the associated SCFT and potential relations between M2-branes and M5-branes.


title: Development of a compact HAPG crystal Von Hamos X-ray spectrometer forextended and diffused sources

abstract: Bragg spectroscopy is one of the best established experimental methods for high energy resolution X-ray measurements; however, this technique is limited to the measurement of photons producedfrom well collimated (tens of microns) or point-like sources and becomes quite inefficient for photonscoming from extended and diffused sources. The possibility to perform simultaneous measurementsof several energies is strongly demanded when low rate signals are expected and single angular scansrequire long exposure times. A prototype of a high resolution and high precision X-ray spectrometerworking also with extended isotropic sources, has been developed by the VOXES collaboration atINFN Laboratories of Frascati, using Highly Annealed Pyrolitic Graphite (HAPG) crystals in a semi- Von Hamos configuration, in which the position detector is rotated with respect to thestandard Von Hamos one, to increase the dynamic energy range. The aim is to deliver a cost effectivesystem having an energy resolution at the level of eV for X-ray energies from about 2 keV up to tensof keV, able to perform sub-eV precision measurements with non point-like sources. The proposedspectrometer has possible applications in several fields, going from fundamental physics to quantummechanics tests, synchrotron radiation and X-FEL applications, astronomy, medicine and industry.In particular, this technique is fundamental for a series of nuclear physics measurements like, forexample, the energies of the exotic atoms radiative transitions which allow to extract fundamentalparameters in the low energy QCD in the strangeness sector. In this work, the working principleof the spectrometer is presented, together with the tests and the results, in terms of resolution andsource, size obtained for Fe(K\alpha1,2), Cu(K\alpha1,2), Ni(K\beta), Zn(K\alpha1,2), Mo(K\alpha1,2) and Nb(K\beta)lines.


title: Weakly Supervised Complementary Parts Models for Fine-Grained Image Classification from the Bottom Up

abstract: Given a training dataset composed of images and corresponding category labels, deep convolutional neural networks show a strong ability in mining discriminative parts for image classification. However, deep convolutional neural networks trained with image level labels only tend to focus on the most discriminative parts while missing other object parts, which could provide complementary information. In this paper, we approach this problem from a different perspective. We build complementary parts models in a weakly supervised manner to retrieve information suppressed by dominant object parts detected by convolutional neural networks. Given image level labels only, we first extract rough object instances by performing weakly supervised object detection and instance segmentation using Mask R-CNN and CRF-based segmentation. Then we estimate and search for the best parts model for each object instance under the principle of preserving as much diversity as possible. In the last stage, we build a bi-directional long short-term memory (LSTM) network to fuze and encode the partial information of these complementary parts into a comprehensive feature for image classification. Experimental results indicate that the proposed method not only achieves significant improvement over our baseline models, but also outperforms state-of-the-art algorithms by a large margin (6.7%, 2.8%, 5.2% respectively) on Stanford Dogs 120, Caltech-UCSD Birds 2011-200 and Caltech 256.


title: A Modern Point of View on Anomalies

abstract: We review the concept of anomaly field theory, namely the fact that the anomalies of a $d$-dimensional field theory can be encoded in a $d+1$-dimensional field theory functor. We give numerous examples of anomaly field theories, explain how classical facts about anomalies are recovered from the anomaly field theory, and review recent work on global anomaly cancellation in 6d supergravity where this concept was instrumental. We also sketch the status of global anomaly cancellation checks in string theory. This paper is based on a talk given at the Durham Symposium `Higher Structures in M-theory' in August 2018.


title: Cosmological consequences of Omnia Sequestra

abstract: Vacuum energy sequestering is a mechanism for cancelling off the radiative corrections to vacuum energy. The most comprehensive low energy model, proposed in 1606.04958 [hep-th], has the ability to cancel off radiative corrections to vacuum energy for loops of both matter and gravitons, in contrast to earlier proposals. Here we explore the framework and cosmological consequences of this model, which we call Omnia Sequestra, owing to its ability to sequester all. A computation of historic integrals on a cosmological background reveals some subtleties with UV sensitivity not seen in earlier models, but which are tamed in a Universe that grows sufficiently old. For these old Universes, we estimate the size of the radiatively stable residual cosmological constant and show that it does not exceed the critical density of our Universe today. We also study the effect of phase transitions, both homogeneous and inhomogeneous, and find that generically spacetime regions with a small cosmological constant do not need to be fine-tuned against the scale of the transition, a result which is now seen to hold across all models of sequestering. The model is developed in other ways, from its compatibility with inflation, to the correct inclusion of boundaries and the geometric consequences of certain choices of boundary data.


title: Estimating a pressure dependent thermal conductivity coefficient with applications in food technology

abstract: In this paper we introduce a method to estimate a pressure dependent thermal conductivity coefficient arising in a heat diffusion model with applications in food technology. To address the known smoothing effect of the direct problem, we model the uncertainty of the conductivity coefficient as a hierarchical Gaussian Markov random field (GMRF) restricted to uniqueness conditions for the solution of the inverse problem established in Fraguela et al. Furthermore, we propose a Single Variable Exchange Metropolis-Hastings algorithm to sample the corresponding conditional probability distribution of the conductivity coefficient given observations of the temperature. Sensitivity analysis of the direct problem suggests that large integration times are necessary to identify the thermal conductivity coefficient. Numerical evidence indicates that a signal to noise ratio of roughly 1000 suffices to reliably retrieve the thermal conductivity coefficient.


title: Predicting Research Trends From Arxiv

abstract: We perform trend detection on two datasets of Arxiv papers, derived from its machine learning (cs.LG) and natural language processing (cs.CL) categories. Our approach is bottom-up: we first rank papers by their normalized citation counts, then group top-ranked papers into different categories based on the tasks that they pursue and the methods they use. We then analyze these resulting topics. We find that the dominating paradigm in cs.CL revolves around natural language generation problems and those in cs.LG revolve around reinforcement learning and adversarial principles. By extrapolation, we predict that these topics will remain lead problems/approaches in their fields in the short- and mid-term.


title: Active Scene Learning

abstract: Sketch recognition allows natural and efficient interaction in pen-based interfaces. A key obstacle to building accurate sketch recognizers has been the difficulty of creating large amounts of annotated training data. Several authors have attempted to address this issue by creating synthetic data, and by building tools that support efficient annotation. Two prominent sets of approaches stand out from the rest of the crowd. They use interim classifiers trained with a small set of labeled data to aid the labeling of the remainder of the data. The first set of approaches uses a classifier trained with a partially labeled dataset to automatically label unlabeled instances. The others, based on active learning, save annotation effort by giving priority to labeling informative data instances. The former is sub-optimal since it doesn't prioritize the order of labeling to favor informative instances, while the latter makes the strong assumption that unlabeled data comes in an already segmented form (i.e. the ink in the training data is already assembled into groups forming isolated object instances). In this paper, we propose an active learning framework that combines the strengths of these methods, while addressing their weaknesses. In particular, we propose two methods for deciding how batches of unsegmented sketch scenes should be labeled. The first method, scene-wise selection, assesses the informativeness of each drawing (sketch scene) as a whole, and asks the user to annotate all objects in the drawing. The latter, segment-wise selection, attempts more precise targeting to locate informative fragments of drawings for user labeling. We show that both selection schemes outperform random selection. Furthermore, we demonstrate that precise targeting yields superior performance. Overall, our approach allows reaching top accuracy figures with up to 30% savings in annotation cost.


title: Asymptotics for volatility derivatives in multi-factor rough volatility models

abstract: We present small-time implied volatility asymptotics for Realised Variance (RV) and VIX options for a number of (rough) stochastic volatility models via large deviations principle. We provide numerical results along with efficient and robust numerical recipes to compute the rate function; the backbone of our theoretical framework. Based on our results, we further develop approximation schemes for the density of RV, which in turn allows to express the volatility swap in close-form. Lastly, we investigate different constructions of multi-factor models and how each of them affects the convexity of the implied volatility smile. Interestingly, we identify the class of models that generate non-linear smiles around-the-money.


title: The Rational Higher Structure of M-theory

abstract: We review how core structures of string/M-theory emerge as higher structures in super homotopy theory; namely from systematic analysis of the brane bouquet of universal invariant higher central extensions growing out of the superpoint. Since super homotopy theory is immensely rich, to start with we consider this in the rational/infinitesimal approximation which ignores torsion-subgroups in brane charges and focuses on tangent spaces of super space-time. Already at this level, super homotopy theory discovers all super $p$-brane species, their intersection laws, their M/IIA-, T- and S-duality relations, their black brane avatars at ADE-singularities, including their instanton contributions, and, last not least, Dirac charge quantization: for the D-branes it recovers twisted K-theory, rationally, but for the M-branes it gives cohomotopy cohomology theory. We close with an outlook on the lift of these results beyond the rational/infinitesimal approximation to a candidate formalization of microscopic M-theory in super homotopy theory.


title: Only Connect, Securely

abstract: The lattice model proposed by Denning in her seminal work provided secure information flow analyses with an intuitive and uniform mathematical foundation. Different organisations, however, may employ quite different security lattices. In this paper, we propose a connection framework that permits different organisations to exchange information while maintaining both security of information flows as well as their autonomy in formulating and maintaining security policy. Our prescriptive framework is based on the rigorous mathematical framework of Lagois connections given by Melton, together with a simple operational model for transferring object data between domains. The merit of this formulation is that it is simple, minimal, adaptable and intuitive, and provides a formal framework for establishing secure information flow across autonomous interacting organisations. We show that our framework is semantically sound, by proving that the connections proposed preserve standard correctness notions such as non-interference.


title: A new class of integrable Lotka-Volterra systems

abstract: A parameter-dependent class of Hamiltonian (generalized) Lotka-Volterra systems is considered. We prove that this class contains Liouville integrable as well as superintegrable cases according to particular choices of the parameters. We determine sufficient conditions which result in integrable behavior, while we numerically explore the complementary cases, where these analytically derived conditions are not satisfied.