title: FRK: An R Package for Spatial and Spatio-Temporal Prediction with Large Datasets

abstract: FRK is an R software package for spatial/spatio-temporal modelling and prediction with large datasets. It facilitates optimal spatial prediction (kriging) on the most commonly used manifolds (in Euclidean space and on the surface of the sphere), for both spatial and spatio-temporal fields. It differs from many of the packages for spatial modelling and prediction by avoiding stationary and isotropic covariance and variogram models, instead constructing a spatial random effects (SRE) model on a fine-resolution discretised spatial domain. The discrete element is known as a basic areal unit (BAU), whose introduction in the software leads to several practical advantages. The software can be used to (i) integrate multiple observations with different supports with relative ease; (ii) obtain exact predictions at millions of prediction locations (without conditional simulation); and (iii) distinguish between measurement error and fine-scale variation at the resolution of the BAU, thereby allowing for reliable uncertainty quantification. The temporal component is included by adding another dimension. A key component of the SRE model is the specification of spatial or spatio-temporal basis functions; in the package, they can be generated automatically or by the user. The package also offers automatic BAU construction, an expectation-maximisation (EM) algorithm for parameter estimation, and functionality for prediction over any user-specified polygons or BAUs. Use of the package is illustrated on several spatial and spatio-temporal datasets, and its predictions and the model it implements are extensively compared to others commonly used for spatial prediction and modelling.


title: Two-Stream 3D Convolutional Neural Network for Skeleton-Based Action Recognition

abstract: It remains a challenge to efficiently extract spatialtemporal information from skeleton sequences for 3D human action recognition. Although most recent action recognition methods are based on Recurrent Neural Networks which present outstanding performance, one of the shortcomings of these methods is the tendency to overemphasize the temporal information. Since 3D convolutional neural network(3D CNN) is a powerful tool to simultaneously learn features from both spatial and temporal dimensions through capturing the correlations between three dimensional signals, this paper proposes a novel two-stream model using 3D CNN. To our best knowledge, this is the first application of 3D CNN in skeleton-based action recognition. Our method consists of three stages. First, skeleton joints are mapped into a 3D coordinate space and then encoding the spatial and temporal information, respectively. Second, 3D CNN models are seperately adopted to extract deep features from two streams. Third, to enhance the ability of deep features to capture global relationships, we extend every stream into multitemporal version. Extensive experiments on the SmartHome dataset and the large-scale NTU RGB-D dataset demonstrate that our method outperforms most of RNN-based methods, which verify the complementary property between spatial and temporal information and the robustness to noise.


title: Investigating the inner structure of focal adhesions with single-molecule localization microscopy

abstract: Cells rely on focal adhesions (FAs) to carry out a variety of important tasks, including motion, environmental sensing, and adhesion to the extracellular matrix. Although attaining a fundamental characterization of FAs is a compelling goal, their extensive complexity and small size, which can be below the diffraction limit, have hindered a full understanding. In this study we have used single-molecule localization microscopy (SMLM) to investigate integrin $\beta$3 and paxillin in rat embryonic fibroblasts growing on two different extracellular matrix-representing substrates (i.e. fibronectin-coated substrates and specifically bio-functionalized nano-patterned substrates). To quantify the substructure of FAs, we developed a method based on expectation maximization of a Gaussian mixture that accounts for localization uncertainty and background. Analysis of our SMLM data indicates that the structures within FAs, characterized as a Gaussian mixture, typically have areas between 0.01 and 1 $\mu$m$^2$, contain 10 to 100 localizations, and can exhibit substantial eccentricity. Our approach based on SMLM opens new avenues for studying structural and functional biology of molecular assemblies that display substantial varieties in size, shape, and density.


title: Real models for the framed little $n$-disks operads

abstract: We study the action of the orthogonal group on the little $n$-disks operads. As an application we provide small models (over the reals) for the framed little $n$-disks operads. It follows in particular that the framed little $n$-disks operads are formal (over the reals) for $n$ even and coformal for all $n$.


title: Revisiting Hybrid Interferometry with Low-Frequency Radio Astronomy Arrays

abstract: Radio interferometry most commonly involves antennas or antenna arrays of identical design. The identical antenna assumption leads to a convenient and useful mathematical simplification resulting in a scalar problem. An interesting variant to this is a "hybrid" interferometer involving two designs. We encounter this in the characterization of low-frequency antenna/array prototypes using a homogenous low-frequency array telescope such as the Murchison Widefield Array (MWA). In this work, we present an interferometry equation that applies to hybrid antennas. The resulting equation involves vector inner products rather than scalar multiplications. We discuss physical interpretation and useful applications of this concept in the areas of sensitivity measurement and calibration of an antenna/array under test using a compact calibrator source.


title: Combinatorial Semi-Bandits with Knapsacks

abstract: We unify two prominent lines of work on multi-armed bandits: bandits with knapsacks (BwK) and combinatorial semi-bandits. The former concerns limited "resources" consumed by the algorithm, e.g., limited supply in dynamic pricing. The latter allows a huge number of actions but assumes combinatorial structure and additional feedback to make the problem tractable. We define a common generalization, support it with several motivating examples, and design an algorithm for it. Our regret bounds are comparable with those for BwK and combinatorial semi- bandits.


title: A Multi-Armed Bandit to Smartly Select a Training Set from Big Medical Data

abstract: With the availability of big medical image data, the selection of an adequate training set is becoming more important to address the heterogeneity of different datasets. Simply including all the data does not only incur high processing costs but can even harm the prediction. We formulate the smart and efficient selection of a training dataset from big medical image data as a multi-armed bandit problem, solved by Thompson sampling. Our method assumes that image features are not available at the time of the selection of the samples, and therefore relies only on meta information associated with the images. Our strategy simultaneously exploits data sources with high chances of yielding useful samples and explores new data regions. For our evaluation, we focus on the application of estimating the age from a brain MRI. Our results on 7,250 subjects from 10 datasets show that our approach leads to higher accuracy while only requiring a fraction of the training data.


title: Distributed Synthesis for Parameterized Temporal Logics

abstract: We consider the synthesis of distributed implementations for specifications in parameterized temporal logics such as PROMPT-LTL, which extends LTL by temporal operators equipped with parameters that bound their scope. For single process synthesis it is well-established that such parametric extensions do not increase worst-case complexities. For synchronous distributed systems we show that, despite being more powerful, the realizability problem for PROMPT-LTL is not harder than its LTL counterpart. For asynchronous systems we have to express scheduling assumptions and therefore consider an assume-guarantee synthesis problem. As asynchronous distributed synthesis is already undecidable for LTL, we give a semi-decision procedure for the PROMPT-LTL assume-guarantee synthesis problem based on bounded synthesis. Finally, we show that our results extend to the stronger logics PLTL and PLDL.


title: Noncommutative Bell polynomials and the dual immaculate basis

abstract: We define a new family of noncommutative Bell polynomials in the algebra of free quasi-symmetric functions and relate it to the dual immaculate basis of quasi-symmetric functions. We obtain noncommutative versions of Grinberg's results [Canad. J. Math. 69 (2017), 21--53], and interpret them in terms of the tridendriform structure of WQSym. We then present a variant of Rey's self-dual Hopf algebra of set partitions [FPSAC'07, Tianjin] adapted to our noncommutative Bell polynomials and give a complete description of the Bell equivalence classes as linear extensions of explicit posets.


title: A convenient basis for the Izergin-Korepin model

abstract: We propose a convenient orthogonal basis of the Hilbert space for the Izergin-Korepin model (or the quantum spin chain associated with the $A^{(2)}_{2}$ algebra). It is shown that the monodromy-matrix elements acting on the basis take relatively simple forms (c.f. acting on the original basis ), which is quite similar as that in the so-called F-basis for the quantum spin chains associated with $A$-type (super)algebras. As an application, we present the recursive expressions of Bethe states in the basis for the Izergin-Korepin model.


title: Compact bilateral single conductor surface wave transmission line

abstract: A compact bilateral single conductor surface wave transmission line (TL) is proposed, converting the quasi-transverse electromagnetic (QTEM) mode of low characteristic impedance slotline into the transverse magnetic (TM) mode of single-conductor TL. The propagation constant of the proposed TL is decided by geometric parameters of the periodic corrugated structure. Compared to conventional transitions between coplanar waveguide (CPW) and single-conductor TLs, such as Goubau line (G-Line) and surface plasmons TL, the proposed structure halves the size and this feature gives important potentials to develop integrated surface wave devices and circuits. The designed structure, sample fabrication and experimental verification are discussed.


title: Radial distribution of Julia sets of derivatives of solutions of complex linear differential equations

abstract: In this paper we mainly investigate the radial distribution of Julia set of derivatives of entire solutions of some complex linear differential equations. Under certain conditions, we find the lower bound of it which improve some recent results.


title: Superposition of Macroscopically Distinct States in Adiabatic Quantum Computation

abstract: What are the conditions for adiabatic quantum computation (AQC) to outperform classical computation? Although there exist several quantum adiabatic algorithms achieving the strong quantum speedup, the essential keys to their speedups are still unclear. Here, we investigate the connection between superpositions of macroscopically distinct states and known examples of the speedup in AQC. To formalize this notion we consider an index $p$ that quantifies a superposition of macroscopically distinct states from the asymptotic behaviors of fluctuations of additive observables. We determine this index for five examples of adiabatic algorithms exhibiting various degrees of the speedup. The results suggest that the superposition of macroscopically distinct states is an appropriate indicator of entanglement crucial to the strong quantum speedup in AQC.


title: Consistent Multitask Learning with Nonlinear Output Relations

abstract: Key to multitask learning is exploiting relationships between different tasks to improve prediction performance. If the relations are linear, regularization approaches can be used successfully. However, in practice assuming the tasks to be linearly related might be restrictive, and allowing for nonlinear structures is a challenge. In this paper, we tackle this issue by casting the problem within the framework of structured prediction. Our main contribution is a novel algorithm for learning multiple tasks which are related by a system of nonlinear equations that their joint outputs need to satisfy. We show that the algorithm is consistent and can be efficiently implemented. Experimental results show the potential of the proposed method.


title: Distance bounds for graphs with some negative Bakry-\'Emery curvature

abstract: We prove distance bounds for graphs possessing positive Bakry-\'Emery curvature apart from an exceptional set, where the curvature is allowed to be non-positive. If the set of non-positively curved vertices is finite, then the graph admits an explicit upper bound for the diameter. Otherwise, the graph is a subset of the tubular neighborhood with an explicit radius around the non-positively curved vertices. Those results seem to be the first assuming non-constant Bakry-\'Emery curvature assumptions on graphs.


title: On the density of states of graphene in the nearest-neighbor approximation

abstract: We propose an alternative analytical expression for the density of states of a clean graphene in the nearest-neighbor approximation. In contrast to the previously known expression, it can be written as a single formula valid for the whole energy range. The correspondence with the previously known expression is shown and the limiting cases are analyzed.


title: Boundary Behaviour and Confinement of Screw Dislocations

abstract: In this note we discuss two aspects of screw dislocations dynamics: their behavior near the boundary and a way to confine them inside the material. In the former case, we obtain analytical results on the estimates of collision times (one dislocation with the boundary and two dislocations with opposite Burgers vectors with each other); numerical evidence is also provided. In the latter, we obtain analytical results stating that, under imposing a certain type of boundary conditions, it is energetically favorable for dislocations to remain confined inside the domain.


title: Enhanced skyrmion stability due to exchange frustration

abstract: Skyrmions are localized, topologically non-trivial spin structures which have raised high hopes for future spintronic applications. A key issue is skyrmion stability with respect to annihilation into the ferromagnetic state. Energy barriers for this collapse have been calculated taking only nearest neighbor exchange interactions into account. Here, we demonstrate that exchange interactions beyond nearest neighbors can be essential to describe stability of skyrmionic spin structures. We focus on the prototypical film system Pd/Fe/Ir(111) and demonstrate that an effective nearest-neighbor exchange or micromagnetic model can only account for equilibrium properties such as the skyrmion profile or the zero temperature phase diagram. However, energy barriers and critical fields of skyrmion collapse as well as skyrmion lifetimes are drastically underestimated since the energy of the transition state cannot be accurately described. Antiskyrmions are not even metastable. Our work shows that frustration of exchange interactions is a route towards enhanced skyrmion stability even in systems with a ferromagnetic ground state.


title: Br\"uck Conjecture with hyper-order less than one

abstract: In this paper we affirm Br\"{u}ck conjecture provided $f$ is of hyper-order less than one by studying the infinite hyper-order of solutions of a complex differential equation.


title: Spin-filter effect at the interface of magnetic/non-magnetic homojunctions in Li doped ZnO nanostructures

abstract: After more than a decade of extensive research on the magnetic order triggered by lattice defects in a wide range of nominally non-magnetic materials, we report its application in a spintronic device. This device is based on a spin-filter phenomenon we discovered at the interfaces between defect-induced magnetic and non-magnetic regions, produced at the surface of a Li doped ZnO microwire by low-energy proton implantation. Positive magnetoresistance is observed at 300~K and scales with the number of interfaces introduced along the wire.


title: A Novel Sixth Order Energy-Conserved Method for Three-Dimensional Time-Domain Maxwell's Equations

abstract: In this paper, a novel sixth order energy-conserved method is proposed for solving the three-dimensional time-domain Maxwell's equations. The new scheme preserves five discrete energy conservation laws, three momentum conservation laws, symplectic conservation law as well as two divergence-free properties and is proved to be unconditionally stable, non-dissipative. An optimal error estimate is established based on the energy method, which shows that the proposed method is of sixth order accuracy in time and spectral accuracy in space in discrete $L^{2}$-norm. The constant in the error estimate is proved to be only $O(T)$. Furthermore, the numerical dispersion relation is analyzed in detail and a fast solver is presented to solve the resulting discrete linear equations efficiently. Numerical results are addressed to verify our theoretical analysis.


title: Reeb dynamics inspired by Katok's example in Finsler geometry

abstract: Inspired by Katok's examples of Finsler metrics with a small number of closed geodesics, we present two results on Reeb flows with finitely many periodic orbits. The first result is concerned with a contact-geometric description of magnetic flows on the 2-sphere found recently by Benedetti. We give a simple interpretation of that work in terms of a quaternionic symmetry. In the second part, we use Hamiltonian circle actions on symplectic manifolds to produce compact, connected contact manifolds in dimension at least five with arbitrarily large numbers of periodic Reeb orbits. This contrasts sharply with recent work by Cristofaro-Gardiner, Hutchings and Pomerleano on Reeb flows in dimension three. With the help of Hamiltonian plugs and a surgery construction due to Laudenbach we reprove a result of Cieliebak: one can produce Hamiltonian flows in dimension at least five with any number of periodic orbits; in dimension three, with any number greater than one.


title: The Geometric Origin of the CP Phase

abstract: The complex phase present in CP-violating systems such as neutral kaons is shown to be of geometrical origin. It is also concluded that the complex phase of the Cabibbo--Kobayashi--Maskawa (CKM) matrix is a Berry-like phase.


title: Quantum probability updating from zero prior (by-passing Cromwell's rule)

abstract: Cromwell's rule (also known as the zero priors paradox) refers to the constraint of classical probability theory that if one assigns a prior probability of 0 or 1 to a hypothesis, then the posterior has to be 0 or 1 as well (this is a straightforward implication of how Bayes's rule works). Relatedly, hypotheses with a very low prior cannot be updated to have a very high posterior without a tremendous amount of new evidence to support them (or to make other possibilities highly improbable). Cromwell's rule appears at odds with our intuition of how humans update probabilities. In this work, we report two simple decision making experiments, which seem to be inconsistent with Cromwell's rule. Quantum probability theory, the rules for how to assign probabilities from the mathematical formalism of quantum mechanics, provides an alternative framework for probabilistic inference. An advantage of quantum probability theory is that it is not subject to Cromwell's rule and it can accommodate changes from zero or very small priors to significant posteriors. We outline a model of decision making, based on quantum theory, which can accommodate the changes from priors to posteriors, observed in our experiments.


title: Discontinuous-galerkin methods for a kinetic model of self-organized dynamics

abstract: This paper deals with the numerical resolution of kinetic models for systems of self-propelled particles subject to alignment interaction and attraction-repulsion. We focus on the kinetic model considered in [18, 17] where alignment is taken into account in addition of an attraction-repulsion interaction potential. We apply a discontinuous Galerkin method for the free transport and non-local drift velocity together with a spectral method for the velocity variable. Then, we analyse consistency and stability of the semi-discrete scheme. We propose several numerical experiments which provide a solid validation of the method and its underlying concepts.


title: Three-component soliton states in spinor $F=1$ Bose-Einstein condensates

abstract: Dilute-gas Bose-Einstein condensates are an exceptionally versatile testbed for the investigation of novel solitonic structures. While matter-wave solitons in one- and two-component systems have been the focus of intense research efforts, an extension to three components has never been attempted in experiments, to the best of our knowledge. Here, we experimentally demonstrate the existence of robust dark-bright-bright (DBB) and dark-dark-bright (DDB) solitons in a spinor $F=1$ condensate. We observe lifetimes on the order of hundreds of milliseconds for these structures. Our theoretical analysis, based on a multiscale expansion method, shows that small-amplitude solitons of these types obey universal long-short wave resonant interaction models, namely Yajima-Oikawa systems. Our experimental and analytical findings are corroborated by direct numerical simulations highlighting the persistence of, e.g., the DBB states, as well as their robust oscillations in the trap.


title: Black-Box Attacks against RNN based Malware Detection Algorithms

abstract: Recent researches have shown that machine learning based malware detection algorithms are very vulnerable under the attacks of adversarial examples. These works mainly focused on the detection algorithms which use features with fixed dimension, while some researchers have begun to use recurrent neural networks (RNN) to detect malware based on sequential API features. This paper proposes a novel algorithm to generate sequential adversarial examples, which are used to attack a RNN based malware detection system. It is usually hard for malicious attackers to know the exact structures and weights of the victim RNN. A substitute RNN is trained to approximate the victim RNN. Then we propose a generative RNN to output sequential adversarial examples from the original sequential malware inputs. Experimental results showed that RNN based malware detection algorithms fail to detect most of the generated malicious adversarial examples, which means the proposed model is able to effectively bypass the detection algorithms.


title: Extension of the product of a post-Lie algebra and application to the SISO feedback transformation group

abstract: We describe the both post-and pre-Lie algebra g SISO associated to the affine SISO feedback transformation group. We show that it is a member of a family of post-Lie algebras associated to representations of a particular solvable Lie algebra. We first construct the extension of the magmatic product of a post-Lie algebra to its enveloping algebra, which allows to describe free post-Lie algebras and is widely used to obtain the enveloping of g SISO and its dual.


title: Symmetry breaking in linear multipole traps

abstract: Radiofrequency multipole traps have been used for some decades in cold collision experiments, and are gaining interest for precision spectroscopy due to their low mi-cromotion contribution, and the predicted unusual cold-ion structures. However, the experimental realisation is not yet fully controlled, and open questions in the operation of these devices remain. We present experimental observations of symmetry breaking of the trapping potential in a macroscopic octupole trap with laser-cooled ions. Numerical simulations have been performed in order to explain the appearance of additional local potential minima, and be able to control them in a next step. We characterize these additional potential minima, in particular with respect to their position, their potential depth and their probability of population as a function of the radial and angular displacement of the trapping rods.


title: Topological entropy for Reeb vector fields in dimension three via open book decompositions

abstract: Given an open book decomposition of a contact three man-ifold (M, $\xi$) with pseudo-Anosov monodromy and fractional Dehn twist coefficient c = k n, we construct a Legendrian knot $\Lambda$ close to the stable foliation of a page, together with a small Legendrian pushoff $\Lambda$. When k $\ge$ 5, we apply the techniques of [CH2] to show that the strip Legen-drian contact homology of $\Lambda$ $\rightarrow$ $\Lambda$ is well-defined and has an exponential growth property. The work [Al2] then implies that all Reeb vector fields for $\xi$ have positive topological entropy.


title: Kinetostatic Analysis and Solution Classification of a Planar Tensegrity Mechanism

abstract: Tensegrity mechanisms have several interesting properties that make them suitable for a number of applications. Their analysis is generally challenging because the static equilibrium conditions often result in complex equations. A class of planar one-degree-of-freedom (dof) tensegrity mechanisms with three linear springs is analyzed in detail in this paper. The kinetostatic equations are derived and solved under several loading and geometric conditions. It is shown that these mechanisms exhibit up to six equilibrium configurations, of which one or two are stable. Discriminant varieties and cylindrical algebraic decomposition combined with Groebner base elimination are used to classify solutions as function of the input parameters.


title: Quasilinear and Hessian Lane-Emden type systems with measure data

abstract: We study nonlinear systems of the form $-\Delta\_pu=v^{q\_1}+\mu,\;-\Delta\_pv=u^{q\_2}+\eta$ and $F\_k[-u]=v^{s\_1}+\mu,\;F\_k[-v]=u^{s\_2}+\eta$ in a bounded domain $\Omega$ or in $\mathbb{R}^N$ where $\mu$ and $\eta$ are nonnegative Radon measures, $\Delta\_p$ and $F\_k$ are respectively the $p$-Laplacian and the $k$-Hessian operators and $q\_1$, $q\_2$, $s\_1$ and $s\_2$ positive numbers. We give necessary and sufficient conditions for existence expressed in terms of Riesz or Bessel capacities.


title: A convex extension of lower semicontinuous functions defined on normal Hausdorff space

abstract: We prove that, any problem of minimization of proper lower semicontinuous function defined on a normal Hausdorff space, is canonically equivalent to a problem of minimization of a proper weak * lower semicontinuous convex function defined on a weak * convex compact subset of some dual Banach space. We estalish the existence of an bijective operator between the two classes of functions which preserves the problems of minimization.


title: A two-level domain-decomposition preconditioner for the time-harmonic Maxwell's equations

abstract: The construction of fast iterative solvers for the indefinite time-harmonic Maxwell's system at mid- to high-frequency is a problem of great current interest. Some of the difficulties that arise are similar to those encountered in the case of the mid- to high-frequency Helmholtz equation. Here we investigate how two-level domain-decomposition preconditioners recently proposed for the Helmholtz equation work in the Maxwell case, both from the theoretical and numerical points of view.


title: Two-level preconditioners for the Helmholtz equation

abstract: In this paper we compare numerically two different coarse space definitions for two-level domain decomposition preconditioners for the Helmholtz equation, both in two and three dimensions. While we solve the pure Helmholtz problem without absorption, the preconditioners are built from problems with absorption. In the first method, the coarse space is based on the discretization of the problem with absorption on a coarse mesh, with diameter constrained by the wavenumber. In the second method, the coarse space is built by solving local eigenproblems involving the Dirichlet-to-Neumann (DtN) operator.


title: Long time behaviour and mean-field limit of Atlas models

abstract: This article reviews a few basic features of systems of one-dimensional diffusions with rank-based characteristics. Such systems arise in particular in the modelling of financial markets , where they go by the name of Atlas models. We mostly describe their long time and large scale behaviour, and lay a particular emphasis on the case of mean-field interactions. We finally present an application of the reviewed results to the modelling of capital distribution in systems with a large number of agents.


title: Drude Weight for the Lieb-Liniger Bose Gas

abstract: Based on the method of hydrodynamic projections we derive a concise formula for the Drude weight of the repulsive Lieb-Liniger $\delta$-Bose gas. Our formula contains only quantities which are obtainable from the thermodynamic Bethe ansatz. The Drude weight is an infinite-dimensional matrix, or bilinear functional: it is bilinear in the currents, and each current may refer to a general linear combination of the conserved charges of the model. As a by-product we obtain the dynamical two-point correlation functions involving charge and current densities at small wavelengths and long times, and in addition the scaled covariance matrix of charge transfer. We expect that our formulas extend to other integrable quantum models.


title: Latent Multi-task Architecture Learning

abstract: Multi-task learning (MTL) allows deep neural networks to learn from related tasks by sharing parameters with other networks. In practice, however, MTL involves searching an enormous space of possible parameter sharing architectures to find (a) the layers or subspaces that benefit from sharing, (b) the appropriate amount of sharing, and (c) the appropriate relative weights of the different task losses. Recent work has addressed each of the above problems in isolation. In this work we present an approach that learns a latent multi-task architecture that jointly addresses (a)--(c). We present experiments on synthetic data and data from OntoNotes 5.0, including four different tasks and seven different domains. Our extension consistently outperforms previous approaches to learning latent architectures for multi-task problems and achieves up to 15% average error reductions over common approaches to MTL.


title: Dimension improvement in Dhar's refutation of the Eden conjecture

abstract: We consider the Eden model on the d-dimensional hypercubical unoriented lattice , for large d. Initially, every lattice point is healthy, except the origin which is infected. Then, each infected lattice point contaminates any of its neighbours with rate 1. The Eden model is equivalent to first passage percolation, with exponential passage times on edges. The Eden conjecture states that the limit shape of the Eden model is a Euclidean ball. By putting the computations of Dhar [Dha88] a little further with modern computers and efficient implementation we obtain improved bounds for the speed of infection. This shows that the Eden conjecture does not hold in dimension superior to 22 (the lower known dimension was 35).


title: Wavefunctions for large electronic systems

abstract: Wavefunctions for large electron numbers suffer from an exponential growth of the Hilbert space which is required for their description. In fact, as pointed out by W. Kohn, for electron numbers $N > N_0$ where $N_0 \approx 10^3$ they become meaningless (exponential wall problem). Nevertheless, despite of the enormous successes of density functional theory, one would also like to develop electronic structure calculations for large systems based on wavefunctions. This is possible if one defines the latter in Liouville space with a cumulant metric rather than in Hilbert space. The cluster expansion of the free energy of a classical monoatomic gas makes it plausible that cumulants are a proper tool for electronic structure calculations.


title: Topological dimension tunes activity patterns in hierarchical modular network models

abstract: Connectivity patterns of relevance in neuroscience and systems biology can be encoded in hierarchical modular networks (HMNs). Moreover, recent studies highlight the role of hierarchical modular organization in shaping brain activity patterns, providing an excellent substrate to promote both the segregation and integration of neural information. Here we propose an extensive numerical analysis of the critical spreading rate (or "epidemic" threshold) --separating a phase with endemic persistent activity from one in which activity ceases-- on diverse HMNs. By employing analytical and computational techniques we determine the nature of such a threshold and scrutinize how it depends on general structural features of the underlying HMN. We critically discuss the extent to which current graph-spectral methods can be applied to predict the onset of spreading in HMNs, and we propose the network topological dimension as a relevant and unifying structural parameter, controlling the epidemic threshold.


title: The Sine-Gordon regime of the Landau-Lifshitz equation with a strong easy-plane anisotropy

abstract: It is well-known that the dynamics of biaxial ferromagnets with a strong easy-plane anisotropy is essentially governed by the Sine-Gordon equation. In this paper, we provide a rigorous justification to this observation. More precisely, we show the convergence of the solutions to the Landau-Lifshitz equation for biaxial ferromagnets towards the solutions to the Sine-Gordon equation in the regime of a strong easy-plane anisotropy. Moreover, we establish the sharpness of our convergence result. This result holds for solutions to the Landau-Lifshitz equation in high order Sobolev spaces. We first provide an alternative proof for local well-posedness in this setting by introducing high order energy quantities with better symmetrization properties. We then derive the convergence from the consistency of the Landau-Lifshitz equation with the Sine-Gordon equation by using well-tailored energy estimates. As a by-product, we also obtain a further derivation of the free wave regime of the Landau-Lifshitz equation.


title: In situ accretion of gaseous envelopes on to planetary cores embedded in evolving protoplanetary discs

abstract: The core accretion hypothesis posits that planets with significant gaseous envelopes accreted them from their protoplanetary discs after the formation of rocky/icy cores. Observations indicate that such exoplanets exist at a broad range of orbital radii, but it is not known whether they accreted their envelopes in situ, or originated elsewhere and migrated to their current locations. We consider the evolution of solid cores embedded in evolving viscous discs that undergo gaseous envelope accretion in situ with orbital radii in the range $0.1-10\rm au$. Additionally, we determine the long-term evolution of the planets that had no runaway gas accretion phase after disc dispersal. We find: (i) Planets with $5 \rm M_{\oplus}$ cores never undergo runaway accretion. The most massive envelope contained $2.8 \rm M_{\oplus}$ with the planet orbiting at $10 \rm au$. (ii) Accretion is more efficient onto $10 \rm M_{\oplus}$ and $15 \rm M_{\oplus}$ cores. For orbital radii $a_{\rm p} \ge 0.5 \rm au$, $15 \rm M_{\oplus}$ cores always experienced runaway gas accretion. For $a_{\rm p} \ge 5 \rm au$, all but one of the $10 \rm M_{\oplus}$ cores experienced runaway gas accretion. No planets experienced runaway growth at $a_{\rm p} = 0.1 \rm au$. (iii) We find that, after disc dispersal, planets with significant gaseous envelopes cool and contract on Gyr time-scales, the contraction time being sensitive to the opacity assumed. Our results indicate that Hot Jupiters with core masses $\lesssim 15 \rm M_{\oplus}$ at $\lesssim 0.1 \rm au$ likely accreted their gaseous envelopes at larger distances and migrated inwards. Consistently with the known exoplanet population, Super-Earths and mini-Neptunes at small radii during the disc lifetime, accrete only modest gaseous envelopes.


title: Capacity Outer Bound and Degrees of Freedom of Wiener Phase Noise Channels with Oversampling

abstract: The discrete-time Wiener phase noise channel with an integrate-and-dump multi-sample receiver is studied. A novel outer bound on the capacity with an average input power constraint is derived as a function of the oversampling factor. This outer bound yields the degrees of freedom for the scenario in which the oversampling factor grows with the transmit power $P$ as $P^{\alpha}$. The result shows, perhaps surprisingly, that the largest pre-log that can be attained with phase modulation at high signal-to-noise ratio is at most $1/4$.


title: Rational points on non-normal hypercubics

abstract: We show that the count of rational points by de la Bret\`{e}che, Browning and Salberger on the Cayley ruled cubic surface extends to all non-normal integral hypercubics which are not cones.


title: Total weight choosability for Halin graphs

abstract: A proper total weighting of a graph $G$ is a mapping $\phi$ which assigns to each vertex and each edge of $G$ a real number as its weight so that for any edge $uv$ of $G$, $\sum_{e \in E(v)}\phi(e)+\phi(v) \ne \sum_{e \in E(u)}\phi(e)+\phi(u)$. A $(k,k')$-list assignment of $G$ is a mapping $L$ which assigns to each vertex $v$ a set $L(v)$ of $k$ permissible weights and to each edge $e$ a set $L(e)$ of $k'$ permissible weights. An $L$-total weighting is a total weighting $\phi$ with $\phi(z) \in L(z)$ for each $z \in V(G) \cup E(G)$. A graph $G$ is called $(k,k')$-choosable if for every $(k,k')$-list assignment $L$ of $G$, there exists a proper $L$-total weighting. As a strenghtening of the well-known 1-2-3 conjecture, it was conjectured in [ Wong and Zhu, Total weight choosability of graphs, J. Graph Theory 66 (2011), 198-212] that every graph without isolated edge is $(1,3)$-choosable. It is easy to verified this conjecture for trees, however, to prove it for wheels seemed to be quite non-trivial. In this paper, we develop some tools and techniques which enable us to prove this conjecture for generalized Halin graphs.


title: A note on some algebraic trapdoors for block ciphers

abstract: We provide sufficient conditions to guarantee that a translation based cipher is not vulnerable with respect to the partition-based trapdoor. This trapdoor has been introduced, recently, by Bannier et al. (2016) and it generalizes that introduced by Paterson in 1999. Moreover, we discuss the fact that studying the group generated by the round functions of a block cipher may not be sufficient to guarantee security against these trapdoors for the cipher.


title: Binary Star Formation and the Outflows from their Discs

abstract: We carry out magnetohydrodynamical simulations with FLASH of the formation of a single, a tight binary ($a\sim$2.5 AU) and a wide binary star ($a\sim$45 AU). We study the outflows and jets from these systems to understand the contributions the circumstellar and circumbinary discs have on the efficiency and morphology of the outflow. In the single star and tight binary case we obtain a single pair of jets launched from the system, while in the wide binary case two pairs of jets are observed. This implies that in the tight binary case the contribution of the circumbinary disc on the outflow is greater than that in the wide binary case. We also find that the single star case is the most efficient at transporting mass, linear and angular momentum from the system, while the wide binary case is less efficient ($\sim$50$\%, \sim$33$\%, \sim$42$\%$ of the respective quantities in the single star case). The tight binary's efficiency falls between the other two cases ($\sim$71$\%, \sim$66$\%, \sim$87$\%$ of the respective quantities in the single star case). By studying the magnetic field structure we deduce that the outflows in the single star and tight binary star case are magnetocentrifugally driven, whereas in the wide binary star case the outflows are driven by a magnetic pressure gradient.


title: Techniques for visualizing LSTMs applied to electrocardiograms

abstract: This paper explores four different visualization techniques for long short-term memory (LSTM) networks applied to continuous-valued time series. On the datasets analysed, we find that the best visualization technique is to learn an input deletion mask that optimally reduces the true class score. With a specific focus on single-lead electrocardiograms from the MIT-BIH arrhythmia dataset, we show that salient input features for the LSTM classifier align well with medical theory.


title: Reference String Extraction Using Line-Based Conditional Random Fields

abstract: The extraction of individual reference strings from the reference section of scientific publications is an important step in the citation extraction pipeline. Current approaches divide this task into two steps by first detecting the reference section areas and then grouping the text lines in such areas into reference strings. We propose a classification model that considers every line in a publication as a potential part of a reference string. By applying line-based conditional random fields rather than constructing the graphical model based on the individual words, dependencies and patterns that are typical in reference sections provide strong features while the overall complexity of the model is reduced.


title: Isomorphism between the $R$-matrix and Drinfeld presentations of Yangian in types $B$, $C$ and $D$

abstract: It is well-known that the Gauss decomposition of the generator matrix in the $R$-matrix presentation of the Yangian in type $A$ yields generators of its Drinfeld presentation. Defining relations between these generators are known in an explicit form thus providing an isomorphism between the presentations. It has been an open problem since the pioneering work of Drinfeld to extend this result to the remaining types. We give a solution for the classical types $B$, $C$ and $D$ by constructing an explicit isomorphism between the $R$-matrix and Drinfeld presentations of the Yangian. It is based on an embedding theorem which allows us to consider the Yangian of rank $n-1$ as a subalgebra of the Yangian of rank $n$ of the same type.


title: Pattern formation in a two-dimensional two-species diffusion model with anisotropic nonlinear diffusivities: a lattice approach

abstract: Diffusion in a two-species 2D system has been simulated using a lattice approach. Rodlike particles were considered as linear $k$-mers of two mutually perpendicular orientations ($k_x$- and $k_y$-mers) on a square lattice. These $k_x$- and $k_y$-mers were treated as species of two kinds. A random sequential adsorption model was used to produce an initial homogeneous distribution of $k$-mers. The concentration of $k$-mers, $p$, was varied in the range from 0.1 to the jamming concentration, $p_j$. By means of the Monte Carlo technique, translational diffusion of the $k$-mers was simulated as a random walk, while rotational diffusion was ignored. We demonstrated that the diffusion coefficients are strongly anisotropic and nonlinearly concentration-dependent. For sufficiently large concentrations (packing densities) and $k \geq 6$, the system tends toward a well-organized steady state. Boundary conditions (BC) predetermine the final state of the system. When periodic BCs are applied along both directions of the square lattice, the system tends to a steady state in the form of diagonal stripes. The formation of stripe domains takes longer time the larger the lattice size, and is observed only for concentrations above a particular critical value. When insulating (zero flux) BCs are applied along both directions of the square lattice, each kind of $k$-mer tries to completely occupy a half of the lattice divided by a diagonal, e.g., $k_x$-mers locate in the upper left corner, while the $k_y$-mers are situated in the lower right corner ("yin-yang" pattern). From time to time, regions built of $k_x$- and $k_y$-mers exchange their locations through irregular patterns. When mixed BCs are used (periodic BCs are applied along one direction whereas insulating BCs are applied along the other one), the system still tends to form the stripes, but they are unstable and change their spatial orientation.


title: Chronological operator-valued Feynman-Kac formulae for generalized fractional evolutions

abstract: We study the generalized fractional linear problem $D^{\nu}_{a+*} f(x) =A(x)f(x)+g(x)$, where $D^{\nu}$ is an arbitrary mixture of Caputo derivatives of order at most one and $A(x)$ a family of operators in a Banach space generating strongly continuous semigroups. For time homogeneous case, when $A(x)$ does not depend on time $x$, the solution is expressed by the generalized operator-valued Mittag-Leffler function. For the more involved time-dependent case we use the method of non-commutative operator-valued Feynman-Kac formula in combination with the probabilistic interpretation of Caputo derivatives suggested recently by the author to find the general integral representation of the solutions, which are new even for the case of the standard Caputo derivative $D^{\beta}_{a+*}$. In the point of view adopted here we analyse the fractional equations not as some 'exotic evolutions', but rather as 'standard' stationary problems leading to the stationary non-commutative operator-valued Feynman-Kac representation.


title: An adelic arithmeticity theorem for lattices in products

abstract: We prove that, under mild assumptions, a lattice in a product of semi-simple Lie group and a totally disconnected locally compact group is, in a certain sense, arithmetic. We do not assume the lattice to be finitely generated or the ambient group to be compactly generated.


title: Diagonal forms of higher degree over function fields of $p$-adic curves

abstract: We investigate diagonal forms of degree $d$ over the function field $F$ of a smooth projective $p$-adic curve: if a form is isotropic over the completion of $F$ with respect to each discrete valuation of $F$, then it is isotropic over certain fields $F_U$, $F_P$ and $F_p$. These fields appear naturally when applying the methodology of patching; $F$ is the inverse limit of the finite inverse system of fields $\{F_U,F_P,F_p\}$. Our observations complement some known bounds on the higher $u$-invariant of diagonal forms of degree $d$. We only consider diagonal forms of degree $d$ over fields of characteristic not dividing $d!$.


title: Evolutionary game of coalition building under external pressure

abstract: We study the fragmentation-coagulation (or merging and splitting) evolutionary control model as introduced recently by one of the authors, where $N$ small players can form coalitions to resist to the pressure exerted by the principal. It is a Markov chain in continuous time and the players have a common reward to optimize. We study the behavior as $N$ grows and show that the problem converges to a (one player) deterministic optimization problem in continuous time, in the infinite dimensional state space.


title: Computational Methods for Path-based Robust Flows

abstract: Real world networks are often subject to severe uncertainties which need to be addressed by any reliable prescriptive model. In the context of the maximum flow problem subject to arc failure, robust models have gained particular attention. For a path-based model, the resulting optimization problem is assumed to be difficult in the literature, yet the complexity status is widely unknown. We present a computational approach to solve the robust flow problem to optimality by simultaneous primal and dual separation, the practical efficacy of which is shown by a computational study. Furthermore, we introduce a novel model of robust flows which provides a compromise between stochastic and robust optimization by assigning probabilities to groups of scenarios. The new model can be solved by the same computational techniques as the robust model. A bound on the generalization error is proven for the case that the probabilities are determined empirically. The suggested model as well as the computational approach extend to linear optimization problems more general than robust flows.


title: Experimental observation of a current-driven instability in a neutral electron-positron beam

abstract: We report on the first experimental observation of a current-driven instability developing in a quasi-neutral matter-antimatter beam. Strong magnetic fields ($\geq$ 1 T) are measured, via means of a proton radiography technique, after the propagation of a neutral electron-positron beam through a background electron-ion plasma.The experimentally determined equipartition parameter of $\epsilon_B \approx 10^{-3}$, is typical of values inferred from models of astrophysical gamma-ray bursts, in which the relativistic flows are also expected to be pair dominated. The data, supported by Particle-In-Cell simulations and simple analytical estimates, indicate that these magnetic fields persist in the background plasma for thousands of inverse plasma frequencies. The existence of such long-lived magnetic fields can be related to analog astrophysical systems, such as those prevalent in lepton-dominated jets.


title: Stochastic spikes and strong noise limits of stochastic differential equations

abstract: Motivated by studies of indirect measurements in quantum mechanics, we investigate stochastic differential equations with a fixed point subject to an additional infinitesimal repulsive perturbation. We conjecture, and prove for an important class, that the solutions exhibit a universal behavior when time is rescaled appropriately: by fine-tuning of the time scale with the infinitesimal repulsive perturbation, the trajectories converge in a precise sense to spiky trajectories that can be reconstructed from an auxiliary time-homogeneous Poisson process. Our results are based on two main tools. The first is a time change followed by an application of Skorokhod's lemma. We prove an effective approximate version of this lemma of independent interest. The second is an analysis of first passage times, which shows a deep interplay between scale functions and invariant measures. We conclude with some speculations of possible applications of the same techniques in other areas.


title: Deep Sensing: Cooperative Spectrum Sensing Based on Convolutional Neural Networks

abstract: In this paper, we investigate cooperative spectrum sensing (CSS) in a cognitive radio network (CRN) where multiple secondary users (SUs) cooperate in order to detect a primary user (PU) which possibly occupies multiple bands simultaneously. Deep cooperative sensing (DCS), which constitutes the first CSS framework based on a convolutional neural network (CNN), is proposed. In DCS, instead of the explicit mathematical modeling of CSS which is hard to compute and also hard to use in practice, the strategy for combining the individual sensing results of the SUs is learned with a CNN using training sensing samples. Accordingly, an environment-specific CSS which considers both spectral and spatial correlation of individual sensing outcomes, is found in an adaptive manner regardless of whether the individual sensing results are quantized or not. Through simulation, we show that the performance of CSS can be improved by the proposed DCS with low complexity even when the number of training samples is moderate.


title: COLA with massive neutrinos

abstract: The effect of massive neutrinos on the growth of cold dark matter perturbations acts as a scale-dependent Newton's constant and leads to scale-dependent growth factors just as we often find in models of gravity beyond General Relativity. We show how to compute growth factors for $\Lambda$CDM and general modified gravity cosmologies combined with massive neutrinos in Lagrangian perturbation theory for use in COLA and extensions thereof. We implement this together with the grid-based massive neutrino method of Brandbyge and Hannestad in $\texttt{MG-PICOLA}$ and compare COLA simulations to full $\it N$-body simulations of $\Lambda$CDM and $f(R)$ gravity with massive neutrinos. Our implementation is computationally cheap if the underlying cosmology already has scale-dependent growth factors and it is shown to be able to produce results that match $\it N$-body to percent level accuracy for both the total and CDM matter power-spectra up to $k\lesssim 1 h/$Mpc.


title: Relativistic dust accretion of charged particles in Kerr-Newman spacetime

abstract: We describe a new analytical model for the accretion of particles from a rotating and charged spherical shell of dilute collisionless plasma onto a rotating and charged black hole. By assuming a continuous injection of particles at the spherical shell and by treating the black hole and a featureless accretion disc located in the equatorial plane as passive sinks of particles we build a stationary accretion model. This may then serve as a toy model for plasma feeding an accretion disc around a charged and rotating black hole. Therefore, our new model is a direct generalization of the analytical accretion model introduced by E. Tejeda, P. A. Taylor, and J. C. Miller (2013). We use our generalized model to analyze the influence of a net charge of the black hole, which will in general be very small, on the accretion of plasma. Within the assumptions of our model we demonstrate that already a vanishingly small charge of the black hole may in general still have a non-negligible effect on the motion of the plasma, as long as the electromagnetic field of the plasma is still negligible. Furthermore, we argue that the inner and outer edges of the forming accretion disc strongly depend on the charge of the accreted plasma. The resulting possible configurations of accretion discs are analyzed in detail.


title: Differential operator for discrete Gegenbauer--Sobolev orthogonal polynomials: eigenvalues and asymptotics

abstract: We consider the following discrete Sobolev inner product involving the Gegenbauer weight $$(f,g)_S:=\int_{-1}^1f(x)g(x)(1-x^2)^{\alpha}dx+M\big[f^{(j)}(-1)g^{(j)}(-1)+f^{(j)}(1)g^{(j)}(1)\big],$$ where $\alpha>-1,$ $j\in \mathbb{N}\cup \{0\},$ and $M>0.$ Let $\{Q_n^{(\alpha,M,j)}\}_{n\geq0}$ be the sequence of orthogonal polynomials with respect to the above inner product. These polynomials are eigenfunctions of a differential operator $\mathbf{T}. $ We establish the asymptotic behavior of the corresponding eigenvalues. Furthermore, we calculate the exact value $$r_0 = \lim_{n\rightarrow \infty}\frac{\log \left(\max_{x\in [-1,1]} |\widetilde{Q}_n^{(\alpha,M,j)}(x)|\right)}{\log \widetilde{\lambda}_n},$$ where $\{\widetilde{Q}_n^{(\alpha,M,j)}\}_{n\geq0}$ are the sequence of orthonormal polynomials with respect to this Sobolev inner product. This value $r_0$ is related to the convergence of a series in a left--definite space. Finally, we study the Mehler--Heine type asymptotics for $\{Q_n^{(\alpha,M,j)}\}_{n\geq0}.$


title: Look, Listen and Learn

abstract: We consider the question: what can be learnt by looking at and listening to a large number of unlabelled videos? There is a valuable, but so far untapped, source of information contained in the video itself -- the correspondence between the visual and the audio streams, and we introduce a novel "Audio-Visual Correspondence" learning task that makes use of this. Training visual and audio networks from scratch, without any additional supervision other than the raw unconstrained videos themselves, is shown to successfully solve this task, and, more interestingly, result in good visual and audio representations. These features set the new state-of-the-art on two sound classification benchmarks, and perform on par with the state-of-the-art self-supervised approaches on ImageNet classification. We also demonstrate that the network is able to localize objects in both modalities, as well as perform fine-grained recognition tasks.


title: Transformation of Python Applications into Function-as-a-Service Deployments

abstract: New cloud programming and deployment models pose challenges to software application engineers who are looking, often in vain, for tools to automate any necessary code adaptation and transformation. Function-as-a-Service interfaces are particular non-trivial targets when considering that most cloud applications are implemented in non-functional languages. Among the most widely used of these languages is Python. This starting position calls for an automated approach to transform monolithic Python code into modular FaaS units by partially automated decomposition. Hence, this paper introduces and evaluates Lambada, a Python module to dynamically decompose, convert and deploy unmodified Python code into AWS Lambda functions. Beyond the tooling in the form of a measured open source prototype implementation, the paper contributes a description of the algorithms and code rewriting rules as blueprints for transformations of other scripting languages.


title: Rotating solitons supported by a spiral waveguide

abstract: We investigate numerically light propagation in a single spiral waveguide formed in a nonlinear photorefractive medium for a low spatial frequency of the waveguide rotation. We present the general procedure for finding solitonic solutions in spiral waveguiding structures, as well as the variational approach to calculate soliton parameters analytically. Solitons supported by the spiral waveguide perform robust stable rotational oscillatory motion, with the period predicted by their static characteristics, without any signatures of wave radiation or soliton decay over many rotation periods and diffraction lengths.


title: Effect of Heterogeneity in Models of El-Ni\~no Southern Oscillations

abstract: The emergence of oscillations in models of the El-Ni\~no effect is of utmost relevance. Here we investigate a coupled nonlinear delay differential system modeling theEl-Ni\~no/ Southern Oscillation (ENSO) phenomenon, which arises through the strong coupling of the ocean-atmosphere system. In particular, we study the temporal patterns of the sea surface temperature anomaly of the two sub-regions. For identical sub-regions we typically observe a co-existence of amplitude and oscillator death behavior for low delays, and heterogeneous oscillations for high delays, when inter-region coupling is weak. For moderate inter-region coupling strengths one obtains homogeneous oscillations for sufficiently large delays and amplitude death for small delays. When the inter-region coupling strength is large, oscillations are suppressed altogether, implying that strongly coupled sub-regions do not exhibit ENSO-like oscillations. Further we observe that larger strengths of self-delay coupling favours oscillations, while oscillations die out when the delayed coupling is weak. This indicates again that delayed feedback, incorporating oceanic wave transit effects, is the principal cause of oscillatory behaviour. So the effect of trapped ocean waves propagating in a basin with closed boundaries is crucial for the emergence of ENSO. Further, we show how non-uniformity in delays, and difference in the strengths of the self-delay coupling of the sub-regions, affect the rise of oscillations. Interestingly we find that larger delays and self-delay coupling strengths lead to oscillations, while strong inter-region coupling kills oscillatory behaviour. Thus, we find that coupling sub-regions has a very significant effect on the emergence of oscillations, and strong coupling typically suppresses oscillations, while weak coupling of non-identical sub-regions can induce oscillations, thereby favouring ENSO.


title: Local equivalence of some maximally symmetric rolling distributions and $SU(2)$ Pfaffian systems

abstract: We give a description of Nurowski's conformal structure for some examples of bracket-generating rank 2 distributions in dimension 5, aka $(2,3,5)$-distributions, namely the An-Nurowski circle twistor distribution for pairs of surfaces of constant Gauss curvature rolling without slipping or twisting over each other. In the case of hyperboloid surfaces whose curvature ratios give maximally symmetric $(2,3,5)$-distributions, we find the change of coordinates that map the conformal structure to the flat metric of Engel. We also consider a rank $3$ Pfaffian system in dimension 5 with $SU(2)$ symmetry obtained by rotating two of the 1-forms in the Pfaffian system of the spheres rolling distribution, and discuss complexifications of such distributions.


title: Multilevel Monte Carlo Simulation of the Eddy Current Problem With Random Parameters

abstract: The multilevel Monte Carlo method is applied to an academic example in the field of electromagnetism. The method exhibits a reduced variance by assigning the samples to multiple models with a varying spatial resolution. For the given example it is found that the main costs of the method are spent on the coarsest level.


title: Distributed Testing of Conductance

abstract: We study the problem of testing conductance in the setting of distributed computing and give a two-sided tester that takes $\mathcal{O}(\log(n) / (\epsilon \Phi^2))$ rounds to decide if a graph has conductance at least $\Phi$ or is $\epsilon$-far from having conductance at least $\Phi^2 / 1000$ in the distributed CONGEST model. We also show that $\Omega(\log n)$ rounds are necessary for testing conductance even in the LOCAL model. In the case of a connected graph, we show that we can perform the test even when the number of vertices in the graph is not known a priori. This is the first two-sided tester in the distributed model we are aware of. A key observation is that one can perform a polynomial number of random walks from a small set of vertices if it is sufficient to track only some small statistics of the walks. This greatly reduces the congestion on the edges compared to tracking each walk individually.


title: The Galois group of the category of mixed Hodge-Tate structures

abstract: The category of rational mixed Hodge-Tate structures is a mixed Tate category. So thanks to the Tannakian formalism, it is equivalent to the category of finite dimensional graded comodules over a graded commutative Hopf algebra H over Q. Since the category has homological dimension 1, the Hopf algebra H is isomorphic to the commutative graded Hopf algebra provided by the tensor algebra of the graded vector space given by the direct sum of the groups C/Q(n) over n>0. However this isomorphism is not natural in any sense, e.g. does not work in families. We give a natural explicit construction of the Hopf algebra H. Generalizing this, we define a Hopf dg-algebra related to any dg-algebra R over a field k, equipped with an invertible line k(1). When R is the sheaf of algebras given by the holomorphic de Rham complex of a complex manifold X, and the line is Q(1), the related Hopf dg-algebra describes a dg-model of the derived category of variations of Hodge-Tate structures on X. Its cobar complex provides a dg-model for the rational Deligne cohomology of X. We consider a variant of our construction which starts from Fontaine's crystalline / semi-stable period rings and produces graded / dg Hopf algebras, which we relate to the p-adic Hodge theory.


title: Extracting Lyapunov exponents from the echo dynamics of Bose-Einstein condensates on a lattice

abstract: We propose theoretically an experimentally realizable method to demonstrate the Lyapunov instability and to extract the value of the largest Lyapunov exponent for a chaotic many-particle interacting system. The proposal focuses specifically on a lattice of coupled Bose-Einstein condensates in the classical regime describable by the discrete Gross-Pitaevskii equation. We suggest to use imperfect time-reversal of system's dynamics known as Loschmidt echo, which can be realized experimentally by reversing the sign of the Hamiltonian of the system. The routine involves tracking and then subtracting the noise of virtually any observable quantity before and after the time-reversal. We support the theoretical analysis by direct numerical simulations demonstrating that the largest Lyapunov exponent can indeed be extracted from the Loschmidt echo routine. We also discuss possible values of experimental parameters required for implementing this proposal.


title: Disorder-induced dephasing in backscattering-free quantum transport

abstract: We analyze the disorder-perturbed transport of quantum states in the absence of backscattering. This comprises, for instance, the propagation of edge-mode wave packets in topological insulators, or the propagation of photons in inhomogeneous media. We quantify the disorder-induced dephasing, which we show to be bound. Moreover, we identify a gap condition to remain in the backscattering-free regime despite disorder-induced momentum broadening. Our analysis comprises the full disorder-averaged quantum state, on the level of both populations and coherences, appreciating states as potential carriers of quantum information. The well-definedness of states is guaranteed by our treatment of the nonequilibrium dynamics with Lindblad master equations.


title: Resonances in a Chaotic Attractor Crisis of the Lorenz Flow

abstract: Local bifurcations of stationary points and limit cycles have successfully been characterized in terms of the critical exponents of these solutions. Lyapunov exponents and their associated covariant Lyapunov vectors have been proposed as tools for supporting the understanding of critical transitions in chaotic dynamical systems. However, it is in general not clear how the statistical properties of dynamical systems change across a boundary crisis during which a chaotic attractor collides with a saddle. This behavior is investigated here for a boundary crisis in the Lorenz flow, for which neither the Lyapunov exponents nor the covariant Lyapunov vectors provide a criterion for the crisis. Instead, the convergence of the time evolution of probability densities to the invariant measure, governed by the semigroup of transfer operators, is expected to slow down at the approach of the crisis. Such convergence is described by the eigenvalues of the generator of this semigroup, which can be divided into two families, referred to as the stable and unstable Ruelle-Pollicott resonances, respectively. The former describes the convergence of densities to the attractor (or escape from a repeller) and is estimated from many short time series sampling the phase space. The latter is responsible for the decay of correlations, or mixing, and can be estimated from a long times series, invoking ergodicity. It is found numerically for the Lorenz flow that the stable resonances do approach the imaginary axis during the crisis, as is indicative of the loss of global stability of the attractor. On the other hand, the unstable resonances, and a fortiori the decay of correlations, do not ag the proximity of the crisis, thus questioning the usual design of early warning indicators of boundary crises of chaotic attractors and the applicability of response theory close to such crises.


title: Towards superfluidity of dipolar excitons in a TMDC double layer

abstract: We study formation and superfluidity of dipolar excitons in double layer heterostructures formed by two transition metal dichalcogenide (TMDC) atomically thin layers. Considering screening effects for an electron-hole interaction via the harmonic oscillator approximation for the Keldysh potential, the analytical expressions for the exciton energy spectrum and the mean field critical temperature $T_{c}$ for the superfluidity are obtained. It is shown that binding energies of A excitons are larger than for B excitons. The mean field critical temperature for a two-component dilute exciton system in a TMDC double layer is analyzed and shown that latter is an increasing function of the factor $Q$, determined by the effective masses of A and B excitons and their reduced mass. Comparison of the calculations for $T_{c}$ performed by employing the Coulomb and Keldysh interactions demonstrates the importance of screening effects in TMDC.


title: Correlation Alignment by Riemannian Metric for Domain Adaptation

abstract: Domain adaptation techniques address the problem of reducing the sensitivity of machine learning methods to the so-called domain shift, namely the difference between source (training) and target (test) data distributions. In particular, unsupervised domain adaptation assumes no labels are available in the target domain. To this end, aligning second order statistics (covariances) of target and source domains have proven to be an effective approach ti fill the gap between the domains. However, covariance matrices do not form a subspace of the Euclidean space, but live in a Riemannian manifold with non-positive curvature, making the usual Euclidean metric suboptimal to measure distances. In this paper, we extend the idea of training a neural network with a constraint on the covariances of the hidden layer features, by rigorously accounting for the curved structure of the manifold of symmetric positive definite matrices. The resulting loss function exploits a theoretically sound geodesic distance on such manifold. Results show indeed the suboptimal nature of the Euclidean distance. This makes us able to perform better than previous approaches on the standard Office dataset, a benchmark for domain adaptation techniques.


title: Duality Twisted Reductions of Double Field Theory of Type II Strings

abstract: We study duality twisted reductions of the Double Field Theory (DFT) of the RR sector of massless Type II theory, with twists belonging to the duality group $Spin^+(10,10)$. We determine the action and the gauge algebra of the resulting theory and determine the conditions for consistency. In doing this, we work with the DFT action constructed by Hohm, Kwak and Zwiebach, which we rewrite in terms of the Mukai pairing: a natural bilinear form on the space of spinors, which is manifestly $Spin(n,n)$ invariant. If the duality twist is introduced via the $Spin^+(10,10)$ element $S$ in the RR sector, then the NS-NS sector should also be deformed via the duality twist $U = \rho(S)$, where $\rho$ is the double covering homomorphism between $Pin(n,n)$ and $O(n,n)$. We show that the set of conditions required for the consistency of the reduction of the NS-NS sector are also crucial for the consistency of the reduction of the RR sector, owing to the fact that the Lie algebras of $Spin(n,n)$ and $SO(n,n)$ are isomorphic. In addition, requirement of gauge invariance imposes an extra constraint on the fluxes that determine the deformations.


title: Unmasking the abnormal events in video

abstract: We propose a novel framework for abnormal event detection in video that requires no training sequences. Our framework is based on unmasking, a technique previously used for authorship verification in text documents, which we adapt to our task. We iteratively train a binary classifier to distinguish between two consecutive video sequences while removing at each step the most discriminant features. Higher training accuracy rates of the intermediately obtained classifiers represent abnormal events. To the best of our knowledge, this is the first work to apply unmasking for a computer vision task. We compare our method with several state-of-the-art supervised and unsupervised methods on four benchmark data sets. The empirical results indicate that our abnormal event detection framework can achieve state-of-the-art results, while running in real-time at 20 frames per second.


title: Light tunneling anomaly in interlaced metallic wire meshes

abstract: For long wavelengths three-dimensional connected metallic wire meshes are impenetrable by light and have an electromagnetic response similar to that of an electron gas below the plasma frequency. Surprisingly, here it is shown that when two opaque metallic meshes are spatially-interlaced the combined structure enables an anomalous light tunneling in the long wavelength regime. The effect is due to the destructive interference of the waves scattered by the two wire meshes, which leads to a Fano-type resonance.


title: Nearest-Neighbor Sample Compression: Efficiency, Consistency, Infinite Dimensions

abstract: We examine the Bayes-consistency of a recently proposed 1-nearest-neighbor-based multiclass learning algorithm. This algorithm is derived from sample compression bounds and enjoys the statistical advantages of tight, fully empirical generalization bounds, as well as the algorithmic advantages of a faster runtime and memory savings. We prove that this algorithm is strongly Bayes-consistent in metric spaces with finite doubling dimension --- the first consistency result for an efficient nearest-neighbor sample compression scheme. Rather surprisingly, we discover that this algorithm continues to be Bayes-consistent even in a certain infinite-dimensional setting, in which the basic measure-theoretic conditions on which classic consistency proofs hinge are violated. This is all the more surprising, since it is known that $k$-NN is not Bayes-consistent in this setting. We pose several challenging open problems for future research.


title: From Frustrated to Unfrustrated: Coupling two triangular-lattice itinerant Quantum Magnets

abstract: Motivated by systems that can be seen as composed of two frustrated sublattices combined into a less frustrated total lattice, we study the double-exchange model with nearest-neighbor (NN) and next--nearest-neighbor (NNN) couplings on the honeycomb lattice. When adding NN hopping and its resulting double exchange to the antiferromagnetic (AFM) Heisenberg coupling, the resulting phase diagram is quite different from that of purely Heisenberg-like magnetic models and strongly depends on electron filling. For half filling, patterns of AFM dimers dominate, where the effective electronic bands remain graphene-like with Dirac cones in all phases, from the FM to the $120^\circ$ limit. When the density of states at the Fermi level is sizable, we find non-coplanar incommensurate states as well as a small-vortex phase. Finally, a non-coplanar commensurate pattern realizes a Chern insulator at quarter filling. In the case of both NN and NNN hopping, the noncoplanar spin pattern inducing Chern insulators in triangular lattices is found to be quite stable under coupling into a honeycomb system. The resulting total phases are topologically nontrivial and either a Chern insulator with $C=2$ or a magnetic topological crystalline insulator protected by a combination or mirror-reflection and time-reversal symmetries arise.


title: Observational hints of a real age spread in the young LMC star cluster NGC 1971

abstract: We report the serendipitous young Large Magellanic Cloud cluster, NGC 1971, exhibits an extended main-sequence turnoff (eMSTO) possibly originated by mostly a real age spread. We used CT1 Washington photometry to produce a colour-magnitude diagram (CMD) with the fiducial cluster features. From its eMSTO, we estimated an age spread of ~ 170 Myr (observed age range 100-280 Myr), once observational errors, stellar binarity, overall metalicity variations and stellar rotation effects were subtracted in quadrature from the observed age width.


title: Multiplicity Derivative: A new signature of first order phase transition in intermediate energy heavy ion collision

abstract: Measurement of M, the total multiplicity, for central collision between comparable mass heavy ions can provide a signature for first order phase transition. The derivative of M with respect to E*/A where E* is the excitation energy in the centre of mass and A the total mass of the dissociating system is expected to go through maximum as a function of E*. Theoretical modelling shows that this is the energy where the specific heat Cv maximizes which typically happens at first order phase transition. The measurement of total M is probably feasible in more than one laboratory.


title: Supernova Neutrino in a Strangeon Star Model

abstract: The neutrino burst detected during supernova SN1987A is explained in a strangeon star model, in which it is proposed that a pulsar-like compact object is composed of strangeons (strangeon: an abbreviation of "strange nucleon"). A nascent strangeon star's initial internal energy is calculated, with the inclusion of pion excitation (energy around 10^53 erg, comparable to the gravitational binding energy of a collapsed core). A liquid-solid phase transition at temperature ~ 1-2 MeV may occur only a few ten-seconds after core-collapse, and the thermal evolution of strangeon star is then modeled. It is found that the neutrino burst observed from SN 1987A could be re-produced in such a cooling model.


title: Magnetic field dynamos and magnetically triggered flow instabilities

abstract: The project A2 of the LIMTECH Alliance aimed at a better understanding of those magnetohydrodynamic instabilities that are relevant for the generation and the action of cosmic magnetic fields. These comprise the hydromagnetic dynamo effect and various magnetically triggered flow instabilities, such as the magnetorotational instability and the Tayler instability. The project was intended to support the experimental capabilities to become available in the framework of the DREsden Sodium facility for DYNamo and thermohydraulic studies (DRESDYN). An associated starting grant was focused on the dimensioning of a liquid metal experiment on the newly found magnetic destabilization of rotating flows with positive shear. In this paper, the main results of these two projects are summarized.


title: Estimation of squeezing properties of multiphoton coherent states from optical tomograms

abstract: We have examined both single and entangled two-mode multiphoton coherent states and shown how the `Janus-faced' properties between two partner states are mirrored in appropriate tomograms. Entropic squeezing, quadrature squeezing and higher-order squeezing properties for a wide range of nonclassical states are estimated directly from tomograms. We have demonstrated how squeezing properties of two-mode entangled states produced at the output port of a quantum beamsplitter are sensitive to the relative phase between the reflected and transmitted fields. This feature allows for the possibility of tuning the relative phase to enhance squeezing properties of the state. Finally we have examined the manner in which decoherence affects squeezing and the changes in the optical tomogram of the state due to interaction with the environment.


title: On the analytic properties of intertwining operators II: local degree bounds and limit multiplicities

abstract: In this paper we continue to study the degrees of matrix coefficients of intertwining operators associated to reductive groups over $p$-adic local fields. Together with previous analysis of global normalizing factors we can control the analytic properties of global intertwining operators for a large class of reductive groups over number fields, in particular for inner forms of $GL(n)$ and $SL(n)$ and quasi-split classical groups. This has a direct application to the limit multiplicity problem for these groups.


title: Non-relativistic approximate numerical ideal-magneto hydrodynamics of (1+1) D transverse flow in Bjorken scenario

abstract: In this study, we investigate the impact of the magnetic field on the evolution of the transverse flow of QGP matter in the magneto-hydrodynamic (MHD) framework. We assume that the magnetic field is perpendicular to the reaction plane and then we solve the coupled Maxwell and conservation equations in (1+1D) transverse flow, within the Bjorken scenario. We consider a QGP with infinite electrical conductivity. First, the magnetic effects on the QGP medium at mid-rapidity are investigated at leading order; then the time and space dependence of the energy density, velocity and magnetic field in the transverse plane of the ideal magnetized hot plasma are obtained.


title: Quantum effects on an atom with a magnetic quadrupole moment in a region with a time-dependent magnetic field

abstract: The quantum description of an atom with a magnetic quadrupole moment in the presence of a time-dependent magnetic field is analysed. It is shown that the time-dependent magnetic field induces an electric field that interacts with the magnetic quadrupole moment of the atom and gives rise to a Landau-type quantization. It is also shown that a time-independent Schr\"odinger equation can be obtained, i.e., without existing the interaction between the magnetic quadrupole moment of the atom and the time-dependent magnetic field, therefore, the Schr\"odinger equation can be solved exactly. It is also analysed this system subject to scalar potentials.


title: The Gaia-ESO Survey: dynamics of ionized and neutral gas in the Lagoon nebula (M8)

abstract: We present a spectroscopic study of the dynamics of the ionized and neutral gas throughout the Lagoon nebula (M8), using VLT/FLAMES data from the Gaia-ESO Survey. We explore the connections between the nebular gas and the stellar population of the associated star cluster NGC6530. We characterize through spectral fitting emission lines of H-alpha, [N II] and [S II] doublets, [O III], and absorption lines of sodium D doublet, using data from the FLAMES/Giraffe and UVES spectrographs, on more than 1000 sightlines towards the entire face of the Lagoon nebula. Gas temperatures are derived from line-width comparisons, densities from the [S II] doublet ratio, and ionization parameter from H-alpha/[N II] ratio. Although doubly-peaked emission profiles are rarely found, line asymmetries often imply multiple velocity components along the line of sight. This is especially true for the sodium absorption, and for the [O III] lines. Spatial maps for density and ionization are derived, and compared to other known properties of the nebula and of its massive stars 9 Sgr, Herschel 36 and HD 165052 which are confirmed to provide most of the ionizing flux. The detailed velocity fields across the nebula show several expanding shells, related to the cluster NGC6530, the O stars 9 Sgr and Herschel 36, and the massive protostar M8East-IR. The origins of kinematical expansion and ionization of the NGC6530 shell appear to be different. We are able to put constrains on the line-of-sight (relative or absolute) distances between some of these objects and the molecular cloud. The large obscuring band running through the middle of the nebula is being compressed by both sides, which might explain its enhanced density. We also find an unexplained large-scale velocity gradient across the entire nebula. At larger distances, the transition from ionized to neutral gas is studied using the sodium lines.


title: On the splitting of the Kummer exact sequence

abstract: We prove the splitting of the Kummer exact sequence and related exact sequences in arithmetic geometry.


title: Harmonic functions on locally compact groups of polynomial growth

abstract: We extend a theorem by Kleiner, stating that on a group with polynomial growth, the space of harmonic functions of polynomial of at most $k$ is finite dimensional, to the settings of locally compact groups equipped with measures with non-compact support. This has implications to the structure of the space of polynomially growing harmonic functions.


title: Learning to Succeed while Teaching to Fail: Privacy in Closed Machine Learning Systems

abstract: Security, privacy, and fairness have become critical in the era of data science and machine learning. More and more we see that achieving universally secure, private, and fair systems is practically impossible. We have seen for example how generative adversarial networks can be used to learn about the expected private training data; how the exploitation of additional data can reveal private information in the original one; and how what looks like unrelated features can teach us about each other. Confronted with this challenge, in this paper we open a new line of research, where the security, privacy, and fairness is learned and used in a closed environment. The goal is to ensure that a given entity (e.g., the company or the government), trusted to infer certain information with our data, is blocked from inferring protected information from it. For example, a hospital might be allowed to produce diagnosis on the patient (the positive task), without being able to infer the gender of the subject (negative task). Similarly, a company can guarantee that internally it is not using the provided data for any undesired task, an important goal that is not contradicting the virtually impossible challenge of blocking everybody from the undesired task. We design a system that learns to succeed on the positive task while simultaneously fail at the negative one, and illustrate this with challenging cases where the positive task is actually harder than the negative one being blocked. Fairness, to the information in the negative task, is often automatically obtained as a result of this proposed approach. The particular framework and examples open the door to security, privacy, and fairness in very important closed scenarios, ranging from private data accumulation companies like social networks to law-enforcement and hospitals.


title: Origin and Structures of Solar Eruptions I: Magnetic Flux Rope (Invited Review)

abstract: Coronal mass ejections (CMEs) and solar flares are the large-scale and most energetic eruptive phenomena in our solar system and able to release a large quantity of plasma and magnetic flux from the solar atmosphere into the solar wind. When these high-speed magnetized plasmas along with the energetic particles arrive at the Earth, they may interact with the magnetosphere and ionosphere, and seriously affect the safety of human high-tech activities in outer space. The travel time of a CME to 1 AU is about 1-3 days, while energetic particles from the eruptions arrive even earlier. An efficient forecast of these phenomena therefore requires a clear detection of CMEs/flares at the stage as early as possible. To estimate the possibility of an eruption leading to a CME/flare, we need to elucidate some fundamental but elusive processes including in particular the origin and structures of CMEs/flares. Understanding these processes can not only improve the prediction of the occurrence of CMEs/flares and their effects on geospace and the heliosphere but also help understand the mass ejections and flares on other solar-type stars. The main purpose of this review is to address the origin and early structures of CMEs/flares, from multi-wavelength observational perspective. First of all, we start with the ongoing debate of whether the pre-eruptive configuration, i.e., a helical magnetic flux rope (MFR), of CMEs/flares exists before the eruption and then emphatically introduce observational manifestations of the MFR. Secondly, we elaborate on the possible formation mechanisms of the MFR through distinct ways. Thirdly, we discuss the initiation of the MFR and associated dynamics during its evolution toward the CME/flare. Finally, we come to some conclusions and put forward some prospects in the future.


title: A kinetic regime of hydrodynamic fluctuations and long time tails for a Bjorken expansion

abstract: We develop a set of kinetic equations for hydrodynamic fluctuations which are equivalent to nonlinear hydrodynamics with noise. The hydro-kinetic equations can be coupled to existing second order hydrodynamic codes to incorporate the physics of these fluctuations, which become dominant near the critical point. We use the hydro-kinetic equations to calculate the modifications of energy momentum tensor by thermal fluctuations from the earliest moments and at late times in Bjorken expansion. The solution to the kinetic equations precisely determines the coefficient of the first fractional power ($\propto \tau^{-3/2}$) in the energy momentum tensor gradient expansion. Numerically, we find that the contribution to the longitudinal pressure from hydrodynamic fluctuations is comparable to the second order hydrodynamic terms for typical medium parameters used to simulate heavy ion collisions.


title: Logical Learning Through a Hybrid Neural Network with Auxiliary Inputs

abstract: The human reasoning process is seldom a one-way process from an input leading to an output. Instead, it often involves a systematic deduction by ruling out other possible outcomes as a self-checking mechanism. In this paper, we describe the design of a hybrid neural network for logical learning that is similar to the human reasoning through the introduction of an auxiliary input, namely the indicators, that act as the hints to suggest logical outcomes. We generate these indicators by digging into the hidden information buried underneath the original training data for direct or indirect suggestions. We used the MNIST data to demonstrate the design and use of these indicators in a convolutional neural network. We trained a series of such hybrid neural networks with variations of the indicators. Our results show that these hybrid neural networks are very robust in generating logical outcomes with inherently higher prediction accuracy than the direct use of the original input and output in apparent models. Such improved predictability with reassured logical confidence is obtained through the exhaustion of all possible indicators to rule out all illogical outcomes, which is not available in the apparent models. Our logical learning process can effectively cope with the unknown unknowns using a full exploitation of all existing knowledge available for learning. The design and implementation of the hints, namely the indicators, become an essential part of artificial intelligence for logical learning. We also introduce an ongoing application setup for this hybrid neural network in an autonomous grasping robot, namely as_DeepClaw, aiming at learning an optimized grasping pose through logical learning.


title: The photon PDF from high-mass Drell Yan data at the LHC using xFitter

abstract: In this contribution, we review the results of the recent paper "The photon PDF from high-mass Drell Yan data at the LHC" (arXiv:1701.08553), where a determination of the photon PDF from fits to recent ATLAS measurements of high-mass Drell-Yan dilepton production at centre-of-mass energy of 8 TeV is presented.


title: Alternating and symmetric groups with Eulerian generating graph

abstract: Given a finite group $G$, the generating graph $\Gamma(G)$ of $G$ has as vertices the (nontrivial) elements of $G$ and two vertices are adjacent if and only if they are distinct and generate $G$ as group elements. In this paper we investigate properties about the degrees of the vertices of $\Gamma(G)$ when $G$ is an alternating group or a symmetric group. In particular, we determine the vertices of $\Gamma(G)$ having even degree and show that $\Gamma(G)$ is Eulerian if and only if $n$ and $n-1$ are not equal to a prime number congruent to 3 modulo 4.


title: Superposition of p-superharmonic functions

abstract: The Dominative $p$-Laplace Operator is introduced. This operator is a relative to the $p$-Laplacian, but with the distinguishing property of being sublinear. It explains the superposition principle in the $p$-Laplace Equation.


title: Sensitivity of Helioseismic Measurements of Normal-mode Coupling to Flows and Sound-speed Perturbations

abstract: In this article, we derive and compute the sensitivity of measurements of coupling between normal modes of oscillation in the Sun to underlying flows. The theory is based on first-Born perturbation theory, and the analysis is carried out using the formalism described by \citet{lavely92}. Albeit tedious, we detail the derivation and compute the sensitivity of specific pairs of coupled normal modes to anomalies in the interior. Indeed, these kernels are critical for the accurate inference of convective flow amplitudes and large-scale circulations in the solar interior. We resolve some inconsistencies in the derivation of \citet{lavely92} and reformulate the fluid-continuity condition. We also derive and compute sound-speed kernels, paving the way for inverting for thermal anomalies alongside flows.


title: Differential single jet inclusive production at Next-to-Next-to-Leading Order in QCD

abstract: In this talk we present the recent calculation in all partonic channels of the fully differential single jet inclusive cross section at Next-to-Next-to-Leading Order in QCD. We discuss the size and shape of the perturbative corrections as a function of the functional form of the renormalisation and factorisation scales and compare the predictions at NLO and NNLO to the available ATLAS 7 TeV data. We find significant effects at low-$p_T$ due to changes in the functional form of the scale choice whereas at high-$p_T$ the two most common scale choices in the literature give identical results and the perturbative corrections lead to a substantial reduction in the scale dependence of the theoretical prediction at NNLO.


title: Measurement of Meson Resonance Production in $\pi^{-} + $C Interactions at SPS energies

abstract: We present measurements of $\rho^0$, $\omega$ and K$^{*0}$ spectra in $\pi^{-} + $C production interactions at 158 GeV/c and $\rho^0$ spectra at 350 GeV/c using the NA61/SHINE spectrometer at the CERN SPS. Spectra are presented as a function of the Feynman's variable $x_\text{F}$ in the range $0 < x_\text{F} < 1$ and $0 < x_\text{F} < 0.5$ for 158 GeV/c and 350 GeV/c respectively. Furthermore, we show comparisons with previous measurements and predictions of several hadronic interaction models. These measurements are essential for a better understanding of hadronic shower development and for improving the modeling of cosmic ray air showers.


title: Salient Object Detection with Semantic Priors

abstract: Salient object detection has increasingly become a popular topic in cognitive and computational sciences, including computer vision and artificial intelligence research. In this paper, we propose integrating \textit{semantic priors} into the salient object detection process. Our algorithm consists of three basic steps. Firstly, the explicit saliency map is obtained based on the semantic segmentation refined by the explicit saliency priors learned from the data. Next, the implicit saliency map is computed based on a trained model which maps the implicit saliency priors embedded into regional features with the saliency values. Finally, the explicit semantic map and the implicit map are adaptively fused to form a pixel-accurate saliency map which uniformly covers the objects of interest. We further evaluate the proposed framework on two challenging datasets, namely, ECSSD and HKUIS. The extensive experimental results demonstrate that our method outperforms other state-of-the-art methods.


title: Spontaneous breakdown of charge in the MSSM and in the NMSSM: Possibilities and Implications

abstract: We study the possibilities and the implications of a spontaneous breakdown of charge in the MSSM and in the $Z_3$-symmetric NMSSM. The breakdown is triggered by the charged states of the Higgs doublets acquiring vacuum expectation values. In the MSSM, it is known that the presence of a charge conserving minimum for the tree-level Higgs potential precludes a deeper (global) charge-breaking minimum. We find that the inclusion of radiative correction to the potential does not alter the situation while a deeper charge-conserving minimum could arise, albeit with no major practical consequences. In the NMSSM scenario, a charge-breaking global minimum, with or without an accompanying charge-conserving deeper minimum, could appear even with the tree-level Higgs potential thanks to the presence of a charge-neutral scalar state which transforms as a singlet under the Standard Model gauge group. Use of the NMSSM Higgs potential that includes both quantum and thermal corrections and the requirement of a viable (stable or long-lived) vacuum that breaks the electroweak symmetry, along with its compatibility with the latest Higgs data, lead to nontrivial constraints on the NMSSM parameter space.


title: Unbiasing Truncated Backpropagation Through Time

abstract: Truncated Backpropagation Through Time (truncated BPTT) is a widespread method for learning recurrent computational graphs. Truncated BPTT keeps the computational benefits of Backpropagation Through Time (BPTT) while relieving the need for a complete backtrack through the whole data sequence at every step. However, truncation favors short-term dependencies: the gradient estimate of truncated BPTT is biased, so that it does not benefit from the convergence guarantees from stochastic gradient theory. We introduce Anticipated Reweighted Truncated Backpropagation (ARTBP), an algorithm that keeps the computational benefits of truncated BPTT, while providing unbiasedness. ARTBP works by using variable truncation lengths together with carefully chosen compensation factors in the backpropagation equation. We check the viability of ARTBP on two tasks. First, a simple synthetic task where careful balancing of temporal dependencies at different scales is needed: truncated BPTT displays unreliable performance, and in worst case scenarios, divergence, while ARTBP converges reliably. Second, on Penn Treebank character-level language modelling, ARTBP slightly outperforms truncated BPTT.