title: Exploring the jamming transition over a wide range of critical densities

abstract: We numerically study the jamming transition of frictionless polydisperse spheres in three dimensions. We use an efficient thermalisation algorithm for the equilibrium hard sphere fluid and generate amorphous jammed packings over a range of critical jamming densities that is about three times broader than in previous studies. This allows us to reexamine a wide range of structural properties characterizing the jamming transition. Both isostaticity and the critical behavior of the pair correlation function hold over the entire range of jamming densities. At intermediate length scales, we find a weak, smooth increase of bond orientational order. By contrast, distorted icosahedral structures grow rapidly with increasing the volume fraction in both fluid and jammed states. Surprisingly, at large scale we observe that denser jammed states show stronger deviations from hyperuniformity, suggesting that the enhanced amorphous ordering inherited from the equilibrium fluid competes with, rather than enhances, hyperuniformity. Finally, finite size fluctuations of the critical jamming density are considerably suppressed in the denser jammed states, indicating an important change in the topography of the potential energy landscape. By considerably stretching the amplitude of the critical "J-line", our work disentangles physical properties at the contact scale that are associated with jamming criticality, from those occurring at larger length scales, which have a different nature.


title: Robust Fusion Methods for Big Data

abstract: We address one of the important problems in Big Data, namely how to combine estimators from different subsamples by robust fusion procedures, when we are unable to deal with the whole sample.


title: Dirichlet-to-Neumann and elliptic operators on C 1+$\kappa$ -domains: Poisson and Gaussian bounds

abstract: We prove Poisson upper bounds for the heat kernel of the Dirichlet-to-Neumann operator with variable H{\"o}lder coefficients when the underlying domain is bounded and has a C 1+$\kappa$-boundary for some $\kappa$ > 0. We also prove a number of other results such as gradient estimates for heat kernels and Green functions G of elliptic operators with possibly complex-valued coefficients. We establish H{\"o}lder continuity of $\nabla$ x $\nabla$ y G up to the boundary. These results are used to prove L p-estimates for commutators of Dirichlet-to-Neumann operators on the boundary of C 1+$\kappa$-domains. Such estimates are the keystone in our approach for the Poisson bounds.


title: Anisotropic electronic transport of the two-dimensional electron system in Al2O3/SrTiO3 heterostructures

abstract: Transport measurements on the two dimensional electron system in Al2O3 SrTiO3 heterostructures indicate significant noncrystalline anisotropic behavior below T = 30 K. Lattice dislocations in SrTiO3 and interfacial steps are suggested to be the main sources for electronic anisotropy. Anisotropic defect scattering likewise alters magnetoresistance at low temperature remarkably and influences spin-orbit coupling significantly by the Elliot Yafet mechanism of spin relaxation resulting in anisotropic weak localization. Applying a magnetic field parallel to the interface results in an additional field induced anisotropy of the conductance, which can be attributed to Rashba spin orbit interaction. Compared to LaAlO3 SrTiO3, Rashba coupling seems to be reduced indicating a weaker polarity in Al2O3 SrTiO3 heterostructures.


title: Subdifferential characterization of probability functions under Gaussian distribution

abstract: Probability functions figure prominently in optimization problems of engineering. They may be nonsmooth even if all input data are smooth.This fact motivates the consideration of subdifferentials for such typically just continuous functions. The aim of this paper is to provide subdifferential formulae in the case of Gaussian distributions for possibly infinite-dimensional decision variables and nonsmooth (locally Lipschitzian) input data. These formulae are based on the spheric-radial decomposition of Gaussian random vectors on the one hand and on a cone of directions of moderate growth on the other. By successively adding additional hypotheses, conditions are satisfied under which the probability function is locally Lipschitzian or even differentiable.


title: On the space of solutions of the Horava theory at the kinetic-conformal point

abstract: The nonprojectable Horava theory at the kinetic-conformal point is defined by setting a specific value of the coupling constant of the kinetic term of the Lagrangian. This formulation has two additional second class-constraints that eliminate the extra mode. We show that the space of solutions of this theory in the Hamiltonian formalism is bigger than the space of solutions in the original Lagrangian formalism. In the Hamiltonian formalism there are certain configurations for the Lagrange multupliers that lead to solutions that cannot be found in the original Lagrangian formulation. We show specific examples in vacuum and with a source. The solution with the source has homogeneous and isotropic spatial hypersurfaces. The enhancement of the space of solutions leaves the possibility that new solutions applicable to cosmology, or to other physical systems, can be found in the Hamiltonian formalism.


title: Comment on "Disassembling the Clockwork Mechanism"

abstract: We respond to the criticism raised in the paper arXiv:1704.07831.


title: The analytic structure and the transcendental weight of the BFKL ladder at NLL accuracy

abstract: We study some analytic properties of the BFKL ladder at next-to-leading logarithmic accuracy (NLLA). We use a procedure by Chirilli and Kovchegov to construct the NLO eigenfunctions, and we show that the BFKL ladder can be evaluated order by order in the coupling in terms of certain generalised single-valued multiple polylogarithms recently introduced by Schnetz. We develop techniques to evaluate the BFKL ladder at any loop order, and we present explicit results up to five loops. Using the freedom in defining the matter content of the NLO BFKL eigenvalue, we obtain conditions for the BFKL ladder in momentum space at NLLA to have maximal transcendental weight. We observe that, unlike in moment space, the result in momentum space in N = 4 SYM is not identical to the maximal weight part of QCD, and moreover that there is no gauge theory with this property. We classify the theories for which the BFKL ladder at NLLA has maximal weight in terms of their field content, and we find that these theories are highly constrained: there are precisely four classes of theories with this property involving only fundamental and adjoint matter, all of which have a vanishing one-loop beta function and a matter content that fits into supersymmetric multiplets. Our findings indicate that theories which have maximal weight are highly constrained and point to the possibility that there is a connection between maximal transcendental weight and superconformal symmetry.


title: Tidal dissipation in rotating low-mass stars and implications for the orbital evolution of close-in planets I. From the PMS to the RGB at solar metallicity

abstract: Star-planet interactions must be taken into account in stellar models to understand the dynamical evolution of close-in planets. The dependence of the tidal interactions on the structural and rotational evolution of the star is of peculiar importance and should be correctly treated. We quantify how tidal dissipation in the convective envelope of rotating low-mass stars evolves from the pre-main sequence up to the red-giant branch depending on the initial stellar mass. We investigate the consequences of this evolution on planetary orbital evolution. We couple the tidal dissipation formalism described in Mathis (2015) to the stellar evolution code STAREVOL and apply it to rotating stars with masses between 0.3 and 1.4 M$_\odot$. In addition, we generalize the work of Bolmont & Mathis (2016) by following the orbital evolution of close-in planets using the new tidal dissipation predictions for advanced phases of stellar evolution. On the PMS the evolution of tidal dissipation is controlled by the evolution of the internal structure of the contracting star. On the MS it is strongly driven by the variation of surface rotation that is impacted by magnetized stellar winds braking. The main effect of taking into account the rotational evolution of the stars is to lower the tidal dissipation strength by about four orders of magnitude on the main-sequence, compared to a normalized dissipation rate that only takes into account structural changes. The evolution of the dissipation strongly depends on the evolution of the internal structure and rotation of the star. From the pre-main sequence up to the tip of the red-giant branch, it varies by several orders of magnitude, with strong consequences for the orbital evolution of close-in massive planets. These effects are the strongest during the pre-main sequence, implying that the planets are mainly sensitive to the star's early history.


title: (Metric) Bisimulation Games and Real-Valued Modal Logics for Coalgebras

abstract: Behavioural equivalences can be characterized via bisimulations, modal logics and spoiler-defender games. In this paper we review these three perspectives in a coalgebraic setting, which allows us to generalize from the particular branching type of a transition system. We are interested in qualitative notions (classical bisimulation) as well as quantitative notions (bisimulation metrics). Our first contribution is to introduce a spoiler-defender bisimulation game for coalgebras in the classical case. Second, we introduce such games for the metric case and furthermore define a real-valued modal coalgebraic logic, from which we can derive the strategy of the spoiler. For this logic we show a quantitative version of the Hennessy-Milner theorem.


title: What we talk about when we talk about blazars?

abstract: After the discovery of powerful relativistic jets from Narrow-Line Seyfert 1 Galaxies, and the understanding of their similarity with those of blazars, a problem of terminology was born. The word blazar is today associated to BL Lac Objects and Flat-Spectrum Radio Quasars, which are somehow different from Narrow-Line Seyfert 1 Galaxies. Using the same word for all the three classes of AGN could drive either toward some misunderstanding, or to the oversight of some important characteristics. I review the main characteristics of these sources, and finally I propose a new scheme of classification.


title: Tidal dissipation in rotating low-mass stars and implications for the orbital evolution of close-in massive planets. II. Effect of stellar metallicity

abstract: Observations of hot Jupiter type exoplanets suggest that their orbital period distribution depends on the metallicity of their host star. We investigate here whether the impact of the stellar metallicity on the evolution of the tidal dissipation inside the convective envelope of rotating stars and its resulting effect on the planetary migration might be a possible explanation for this observed statistical trend. We use a frequency-averaged tidal dissipation formalism coupled to an orbital evolution code and to rotating stellar evolution models to estimate the effect of a change of stellar metallicity on the evolution of close-in planets. We consider here two different stellar masses: 0.4 and 1.0 $M_{\odot}$ evolving from the early pre-main sequence phase up to the red giant branch. We show that the metallicity of a star has a strong effect on the stellar parameters which in turn strongly influence the tidal dissipation in the convective region. While on the pre-main sequence the dissipation of a metal poor Sun-like star is higher than the dissipation of a metal rich Sun-like star, on the main sequence it is the opposite. However, for the $0.4~M_{\odot}$ star, the dependence of the dissipation with metallicity is much less visible. Using an orbital evolution model, we show that changing the metallicity leads to different orbital evolutions (e.g., planets migrate farther out from an initially fast rotating metal rich star). By using this model, we qualitatively reproduced the observational trends of the population of hot Jupiters with the metallicity of their host stars. However, more steps are needed to improve our model to try to quantitatively fit our results to the observations. Namely, we need to improve the treatment of the rotation evolution in the orbital evolution model and ultimately we need to consistently couple of the orbital model to the stellar evolution model.


title: Resolution of the $k$-Dirac operator

abstract: This is the second part in a series of two papers. The $k$-Dirac complex is a complex of differential operators which are natural to a particular $|2|$-graded parabolic geometry. In this paper we will consider the $k$-Dirac complex over a homogeneous space of the parabolic geometry and as a first result, we will prove that the $k$-Dirac complex is exact with formal power series at any fixed point. Then we will show that the $k$-Dirac complex descends from an affine subset of the homogeneous space to a complex of linear, constant coefficient differential operators and that the first operator in the descended complex is the $k$-Dirac operator studied in Clifford analysis. The main result of this paper is that the descended complex is locally exact and thus it forms a resolution of the $k$-Dirac operator.


title: Time-reversal invariant topological superfluids in Bose-Fermi mixtures

abstract: A mixed dimensional system of fermions in two layers immersed in a Bose-Einstein condensate (BEC) is shown to be a promising setup to realise topological superfluids with time-reversal symmetry (TRS). The induced interaction between the fermions mediated by the BEC gives rise to a competition between p-wave pairing within each layer and s-wave pairing between the layers. When the layers are far apart, intra-layer pairing dominates and the system forms a topological superfluid either with or without TRS. With decreasing layer separation or increasing BEC coherence length, inter-layer pairing sets in. We show that this leads either to a second order transition breaking TRS where the edge modes gradually become gapped, or to a first order transition to a topologically trivial s-wave superfluid. Our results provide a realistic roadmap for experimentally realising a topological superfluid with TRS in a cold atomic system.


title: Graph coarse-graining reveals differences in the module-level structure of functional brain networks

abstract: Network analysis is rapidly becoming a standard tool for studying functional magnetic resonance imaging (fMRI) data. In this framework, different brain areas are mapped to the nodes of a network, whose links depict functional dependencies between the areas. The sizes of the areas that the nodes portray vary between studies. Recently, it has been recommended that the original volume elements, voxels, of the imaging experiment should be used as the network nodes to avoid artefacts and biases. However, this results in a large numbers of nodes and links, and the sheer amount of detail may obscure important network features that are manifested on larger scales. One fruitful approach to detecting such features is to partition networks into modules, i.e. groups of nodes that are densely connected internally but have few connections between them. However, attempting to understand how functional networks differ by simply comparing their individual modular structures can be a daunting task, and results may be hard to interpret. We show that instead of comparing different partitions, it is beneficial to analyze differences in the connectivity between and within the very same modules in networks obtained under different conditions. We develop a network coarse-graining methodology that provides easily interpretable results and allows assessing the statistical significance of observed differences. The feasibility of the method is demonstrated by analyzing fMRI data recorded from 13 healthy subjects during rest and movie viewing. While independent partitioning of the networks corresponding to the the two conditions yields few insights on their differences, network coarse-graining allows us to pinpoint e.g. the increased number of intra-module links within the visual cortex during movie viewing.


title: A multifunctional metasurface: from extraordinary optical transmission to extraordinary optical diffraction in a single structure

abstract: We show that, a metasurface composed of subwavelength metallic slit array embedded in an asymmetric environment can exhibit either extraordinary optical transmission (EOT) or extraordinary optical diffraction (EOD). By employing an analytical model expansion method and the diffraction order chart in k-vector space, we found that the resonance decaying pathway of the local slit cavity mode can be tuned to either 0th or -1st diffraction order by changing the parallel wavevector, which gives rise to enhanced 0th transmission (EOT) of the structure for small incident angles, and enhanced -1st diffraction (EOD) for large incident angles. Based on this appealing feature, a multifunctional metasurface that can switch its functionality between transmission filter, mirror and off-axis lens is demonstrated. Our findings provide a convenient way to construct multifunctional integrated optical devices on a single planar device.


title: Black holes as bubbles of AdS

abstract: In this paper we propose that bubbles of AdS within Minkowski spacetime, stabilized at a finite radius by stiff matter and an electromagnetic gas, can be an alternative endpoint of gravitational collapse. The bubbles are horizonless with a size up to 12.5% larger than their Schwarzschild radius depending on their charge. We argue that they are stable against small perturbations, and have thermodynamical properties similar to those of real black holes. We provide a realization of the bubbles within string theory that relies on a specific brane intersection giving rise to a shell carrying dissolved charges from lower dimensional D-branes as well as a gas of open strings. We also note that our construction provides a new way of understanding the entropy of Reissner-Nordstr\"om black holes in the extremal limit.


title: Nonlinear photon-atom coupling with 4Pi microscopy

abstract: Implementing nonlinear interactions between single photons and single atoms is at the forefront of optical physics. Motivated by the prospects of deterministic all-optical quantum logic, many efforts are currently underway to find suitable experimental techniques. Focusing the incident photons onto the atom with a lens yielded promising results, but is limited by diffraction to moderate interaction strengths. However, techniques to exceed the diffraction limit are known from high-resolution imaging. In this work, we adapt a super-resolution imaging technique, 4Pi microscopy, to efficiently couple light to a single atom. We observe 36.6(3)% extinction of the incident field, and a modified photon statistics of the transmitted field -- indicating nonlinear interaction at the single-photon level.


title: Heuristic Rectangle Splitting: Leveraging Single-Objective Heuristics to Efficiently Solve Multi-Objective Problems

abstract: Real-life problems are often characterized by conflicting optimization objectives. Consequently, there has been a growing interest not only in multi-objective models, but also in specialized multi-objective metaheuristics for solving those models. A wide variety of methods, e.g. NSGA-II, SPEA, IBEA, scatter search, Pareto local search, and many others, have thus been proposed over the years. Yet in principle, multi-objective problems can be efficiently solved with existing tailored single-objective solvers -- this is the central idea behind the well-known epsilon-constraint method (ECM). Despite its theoretical properties and conceptual simplicity, the epsilon-constraint method has been largely ignored in the domain of heuristics and remains associated mostly with exact algorithms. In this article we dispel these preconceptions and demonstrate that the epsilon-constraint framework can be a highly effective way to directly leverage the existing research on single-objective optimization for solving multi-objective problems. We propose an improved version of the classical ECM adapted to the challenges and requirements specific to heuristic search. The resulting framework is implemented with an existing state-of-the-art single-objective solver for the Capacitated Vehicle Routing Problem (CVRP) and tested on the VRP with Route Balancing (VRPRB). Based on an extensive computational study, we show the added value of our adaptations compared to the classical ECM, and demonstrate that our simple epsilon-constraint algorithm significantly outperforms the current state-of-the-art multi-objective metaheuristics with respect to multiple quality metrics. We conclude with a discussion of relevant success factors and promising directions for further research.


title: Numerical low-rank approximation of matrix differential equations

abstract: The efficient numerical integration of large-scale matrix differential equations is a topical problem in numerical analysis and of great importance in many applications. Standard numerical methods applied to such problems require an unduly amount of computing time and memory, in general. Based on a dynamical low-rank approximation of the solution, a new splitting integrator is proposed for a quite general class of stiff matrix differential equations. This class comprises differential Lyapunov and differential Riccati equations that arise from spatial discretizations of partial differential equations. The proposed integrator handles stiffness in an efficient way, and it preserves the symmetry and positive semidefiniteness of solutions of differential Lyapunov equations. Numerical examples that illustrate the benefits of this new method are given. In particular, numerical results for the efficient simulation of the weather phenomenon El Ni\~no are presented.


title: Divergence-free $H$(div)-FEM for time-dependent incompressible flows with applications to high Reynolds number vortex dynamics

abstract: In this article, we consider exactly divergence-free $H$(div)-conforming finite element methods for time-dependent incompressible viscous flow problems. This is an extension of previous research concerning divergence-free $H^1$-conforming methods. For the linearised Oseen case, the first semi-discrete numerical analysis for time-dependent flows is presented here whereby special emphasis is put on pressure- and Reynolds-semi-robustness. For convection-dominated problems, the proposed method relies on a velocity jump upwind stabilisation which is not gradient-based. Complementing the theoretical results, $H$(div)-FEM are applied to the simulation of full nonlinear Navier-Stokes problems. Focussing on dynamic high Reynolds number examples with vortical structures, the proposed method proves to be capable of reliably handling the planar lattice flow problem, Kelvin-Helmholtz instabilities and freely decaying two-dimensional turbulence.


title: Detection of vortex coherent structures in superfluid turbulence

abstract: Filamentary regions of high vorticity irregularly form and disappear in the turbulent flows of classical fluids. We report an experimental comparative study of these so-called " coherent structures " in a classical versus quantum fluid, using liquid helium with a superfluid fraction varied from 0% up to 83%. The low pressure core of the vorticity filaments is detected by pressure probes located on the sidewall of a 78-cm-diameter Von K\'arm\'an cell driven up to record turbulent intensity (R $\lambda$ $\sim$ $\sqrt$ Re 10000). The statistics of occurrence, magnitude and relative distribution of the filaments in a classical fluid are found indistinguishable from their superfluid counterpart, namely the bundles of quantized vortex lines. This suggest that the internal structure of vortex filaments, as well as their dissipative properties have a negligible impact on their macroscopic dynamics, such as lifetime and intermittent properties.


title: Differentiable sphere theorems whose comparison spaces are standard spheres or exotic ones

abstract: We show that for an arbitrarily given closed Riemannian manifold $M$ admitting a point $p \in M$ with a single cut point, every closed Riemannian manifold $N$ admitting a point $q \in N$ with a single cut point is diffeomorphic to $M$ if the radial curvatures of $N$ at $q$ are sufficiently close in the sense of $L^1$-norm to those of $M$ at $p$. Our result hence not only produces a weak version of the Cartan--Ambrose--Hicks theorem in the case where underlying manifolds admit a point with a single cut point, but also is a kind of a weak version of the Blaschke conjecture for spheres proved by Berger. In particular that result generalizes one of theorems in Cheeger's Ph.D. Thesis in that case. Remark that every exotic sphere of dimension $> 4$ admits a metric such that there is a point whose cut locus consists of a single point.


title: The decomposition of almost paracontact metric manifolds in eleven classes revisited

abstract: This paper is a continuation of our previous work, where eleven basic classes of almost paracontact metric manifolds with respect to the covariant derivative of the structure tensor field were obtained. First we decompose one of the eleven classes into two classes and the basic classes of the considered manifolds become twelve. Also, we determine the classes of $\alpha$-para-Sasakian, $\alpha$-para-Kenmotsu, normal, paracontact metric, para-Sasakian, K-paracontact and quasi-para-Sasakian manifolds. Moreover, we study 3-dimensional almost paracontact metric manifolds and show that they belong to four basic classes from the considered classification. We define an almost paracontact metric structure on any 3-dimensional Lie group and give concrete examples of Lie groups belonging to each of the four basic classes, characterized by commutators on the corresponding Lie algebras.


title: New guaranteed lower bounds on eigenvalues by conforming finite elements

abstract: We provide two new methods for computing lower bounds of eigenvalues of symmetric elliptic second-order differential operators with mixed boundary conditions of Dirichlet, Neumann, and Robin type. The methods generalize ideas of Weinstein's and Kato's bounds and they are designed for a simple and straightforward implementation in the context of the standard finite element method. These lower bounds are obtained by a posteriori error estimators based on local flux reconstructions, which can be naturally utilized for adaptive mesh refinement. We derive these bounds, prove that they estimate the exact eigenvalues from below, and illustrate their practical performance by a numerical example.


title: Consequences of a wave-correction extended ray dynamics for integrable and chaotic optical microcavities

abstract: Ray optics has proven to be an effcient and versatile tool to describe dielectric optical microcavities and their far-field emission based on the principle of ray-wave correspondence. Whereas often the well-known ray-optics at planar interfaces yields reasonable results, semiclassically and boundary-curvature induced corrections will become more important as the cavity size is further reduced. In this paper we summarize the various ray optics descriptions of optical microresonators, paying in addition special attention to the differences that arise between chaotic vs. non-chaotic (integrable or nearly integrable) resonator geometries, respectively. Whereas the far-field pattern in the chaotic case is known to be determined by the overlap of the unstable manifold with the leaky region, it results from the emission of trajectories with the smallest nonzero decay rates in the non-chaotic situation. We present an enhanced ray optical description, extended by wave-inspired (semiclassical) corrections, and discuss their consequences for the ray dynamics. In particular we find clear indications for the presence of attractors resulting from the non-Hamiltonian character of the extended ray dynamics in phase space. We illustrate their impact on the far-field emission and show that it can considerably differ from the conventional ray description result.


title: Fast learning rate of deep learning via a kernel perspective

abstract: We develop a new theoretical framework to analyze the generalization error of deep learning, and derive a new fast learning rate for two representative algorithms: empirical risk minimization and Bayesian deep learning. The series of theoretical analyses of deep learning has revealed its high expressive power and universal approximation capability. Although these analyses are highly nonparametric, existing generalization error analyses have been developed mainly in a fixed dimensional parametric model. To compensate this gap, we develop an infinite dimensional model that is based on an integral form as performed in the analysis of the universal approximation capability. This allows us to define a reproducing kernel Hilbert space corresponding to each layer. Our point of view is to deal with the ordinary finite dimensional deep neural network as a finite approximation of the infinite dimensional one. The approximation error is evaluated by the degree of freedom of the reproducing kernel Hilbert space in each layer. To estimate a good finite dimensional model, we consider both of empirical risk minimization and Bayesian deep learning. We derive its generalization error bound and it is shown that there appears bias-variance trade-off in terms of the number of parameters of the finite dimensional approximation. We show that the optimal width of the internal layers can be determined through the degree of freedom and the convergence rate can be faster than $O(1/\sqrt{n})$ rate which has been shown in the existing studies.


title: In-situ characterization of the Hamamatsu R5912-HQE photomultiplier tubes used in the DEAP-3600 experiment

abstract: The Hamamatsu R5912-HQE photomultiplier-tube (PMT) is a novel high-quantum efficiency PMT. It is currently used in the DEAP-3600 dark matter detector and is of significant interest for future dark matter and neutrino experiments where high signal yields are needed. We report on the methods developed for in-situ characterization and monitoring of DEAP's 255 R5912-HQE PMTs. This includes a detailed discussion of typical measured single-photoelectron charge distributions, correlated noise (afterpulsing), dark noise, double, and late pulsing characteristics. The characterization is performed during the detector commissioning phase using laser light injected through a light diffusing sphere and during normal detector operation using LED light injected through optical fibres.


title: Strong solvability of regularized stochastic Landau-Lifshitz-Gilbert equation

abstract: We examine a stochastic Landau-Lifshitz-Gilbert equation based on an exchange energy functional containing second-order derivatives of the unknown field. Such regularizations are featured in advanced micromagnetic models recently introduced in connection with nanoscale topological solitons. We show that, in contrast to the classical stochastic Landau-Lifshitz-Gilbert equation based on the Dirichlet energy alone, the regularized equation is solvable in the stochastically strong sense. As a consequence it preserves the topology of the initial data, almost surely.


title: Maximum Number of Common Zeros of Homogeneous Polynomials over Finite Fields

abstract: About two decades ago, Tsfasman and Boguslavsky conjectured a formula for the maximum number of common zeros that $r$ linearly independent homogeneous polynomials of degree $d$ in $m+1$ variables with coefficients in a finite field with $q$ elements can have in the corresponding $m$-dimensional projective space. Recently, it has been shown by Datta and Ghorpade that this conjecture is valid if $r$ is at most $m+1$ and can be invalid otherwise. Moreover a new conjecture was proposed for many values of $r$ beyond $m+1$. In this paper, we prove that this new conjecture holds true for several values of $r$. In particular, this settles the new conjecture completely when $d=3$. Our result also includes the positive result of Datta and Ghorpade as a special case. Further, we determine the maximum number of zeros in certain cases not covered by the earlier conjectures and results, namely, the case of $d=q-1$ and of $d=q$. All these results are directly applicable to the determination of the maximum number of points on sections of Veronese varieties by linear subvarieties of a fixed dimension, and also the determination of generalized Hamming weights of projective Reed-Muller codes.


title: Implementing the sine transform of fermionic modes as a tensor network

abstract: Based on the algebraic theory of signal processing, we recursively decompose the discrete sine transform of first kind (DST-I) into small orthogonal block operations. Using a diagrammatic language, we then second-quantize this decomposition to construct a tensor network implementing the DST-I for fermionic modes on a lattice. The complexity of the resulting network is shown to scale as $\frac 54 n \log n$ (not considering swap gates), where $n$ is the number of lattice sites. Our method provides a systematic approach of generalizing Ferris' spectral tensor network for non-trivial boundary conditions.


title: The Frobenius morphism on flag varieties, II

abstract: In this paper, which is the sequel to arXiv:1410.3742, we study the Frobenius pushforward of the structure sheaf on the adjoint varieties in type ${\bf A}_3$ and ${\bf A}_4$. We show that this pushforward sheaf decomposes into a direct sum of indecomposable bundles and explicitly determine this set that does not depend of the characteristic. In accordance with the results of arXiv:0707.0913, this set forms a strong full exceptional collection in the derived category of coherent sheaves. These computations lead to a natural conjectural answer in the general case that we state at the end.


title: Increased H$_2$CO production in the outer disk around HD 163296

abstract: Three formaldehyde lines were observed (H$_2$CO 3$_{03}$--2$_{02}$, H$_2$CO 3$_{22}$--2$_{21}$, and H$_2$CO 3$_{21}$--2$_{20}$) in the protoplanetary disk around the Herbig Ae star HD 163296 with ALMA at 0.5 arcsecond (60 AU) spatial resolution. H$_2$CO 3$_{03}$--2$_{02}$ was readily detected via imaging, while the weaker H$_2$CO 3$_{22}$--2$_{21}$ and H$_2$CO 3$_{21}$--2$_{20}$ lines required matched filter analysis to detect. H$_2$CO is present throughout most of the gaseous disk, extending out to 550 AU. An apparent 50 AU inner radius of the H$_2$CO emission is likely caused by an optically thick dust continuum. The H$_2$CO radial intensity profile shows a peak at 100 AU and a secondary bump at around 300 AU, suggesting increased production in the outer disk. Different parameterizations of the H$_2$CO abundance were compared to the observed visibilities with $\chi^2$ minimization, using either a characteristic temperature, a characteristic radius or a radial power law index to describe the H$_2$CO chemistry. Similar models were applied to ALMA Science Verification data of C$^{18}$O. In all modeling scenarios, fits to the H$_2$CO data show an increased abundance in the outer disk. The overall best-fit H$_2$CO model shows a factor of two enhancement beyond a radius of 270$\pm$20 AU, with an inner abundance of $2\!-\!5 \times 10^{-12}$. The H$_2$CO emitting region has a lower limit on the kinetic temperature of $T > 20$ K. The C$^{18}$O modeling suggests an order of magnitude depletion in the outer disk and an abundance of $4\!-\!12 \times 10^{-8}$ in the inner disk. The increase in H$_2$CO outer disk emission could be a result of hydrogenation of CO ices on dust grains that are then sublimated via thermal desorption or UV photodesorption, or more efficient gas-phase production beyond about 300 AU if CO is photodisocciated in this region.


title: Categories with norms

abstract: We study a metric-like structure on categories, showing that the concept of the limit of a sequence in a metric space and the concept of the colimit of a sequence in a category have a common generalization. The main concept is a norm on a category, generalizing pseudo-metrics and group valuations. In this new context, we discuss topics like Cauchy completion and the Banach Contraction Principle.


title: Sequential Multiple Testing

abstract: We study an online multiple testing problem where the hypotheses arrive sequentially in a stream. The test statistics are independent and assumed to have the same distribution under their respective null hypotheses. We investigate two procedures LORD and LOND, proposed by (Javanmard and Montanari, 2015), which are proved to control the FDR in an online manner. In some (static) model, we show that LORD is optimal in some asymptotic sense, in particular as powerful as the (static) Benjamini-Hochberg procedure to first asymptotic order. We also quantify the performance of LOND. Some numerical experiments complement our theory.


title: Anisotropic hydrodynamic modeling of 2.76 TeV Pb-Pb collisions

abstract: We compare phenomenological results from 3+1d quasiparticle anisotropic hydrodynamics (aHydroQP) with experimental data collected in LHC 2.76 TeV Pb-Pb collisions. In particular, we present comparisons of particle spectra, average transverse momentum, elliptic flow, and HBT radii. The aHydroQP model relies on the introduction of a single temperature-dependent quasiparticle mass which is fit to lattice QCD data. By taking moments of the resulting Boltzmann equation, we obtain the dynamical equations used in the hydrodynamic stage which include the effects of both shear and bulk viscosities. At freeze-out, we use anisotropic Cooper-Frye freeze-out performed on a fixed-energy-density hypersurface to convert to hadrons. To model the production and decays of the hadrons we use THERMINATOR 2 which is customized to sample from ellipsoidal momentum-space distribution functions. Using smooth Glauber initial conditions, we find very good agreement with many heavy-ion collision observables.


title: Monte Carlo study of an anisotropic Ising multilayer with antiferromagnetic interlayer couplings

abstract: We present a Monte Carlo study of the magnetic properties of an Ising multilayer ferrimagnet. The system consists of two kinds of non-equivalent planes, one of which is site-diluted. All intralayer couplings are ferromagnetic. The different kinds of planes are stacked alternately and the interlayer couplings are antiferromagnetic. We perform the simulations using the Wolff algorithm and employ multiple histogram reweighting and finite-size scaling methods to analyze the data with special emphasis on the study of compensation phenomena. Compensation and critical temperatures of the system are obtained as functions of the Hamiltonian parameters and we present a detailed discussion about the contribution of each parameter to the presence or absence of the compensation effect. A comparison is presented between our results and those reported in the literature for the same model using the pair approximation. We also compare our results with those obtained through both the pair approximation and Monte Carlo simulations for the bilayer system.


title: Asymptotic behaviour of the Christoffel functions on the Unit Ball in the presence of a Mass on the Sphere

abstract: We present a family of mutually orthogonal polynomials on the unit ball with respect to an inner product which includes a mass uniformly distributed on the sphere. First, connection formulas relating these multivariate orthogonal polynomials and the classical ball polynomials are obtained. Then, using the representation formula for these polynomials in terms of spherical harmonics analytic properties will be deduced. Finally, we analyze the asymptotic behaviour of the Christoffel functions.


title: Adaptive Classification for Prediction Under a Budget

abstract: We propose a novel adaptive approximation approach for test-time resource-constrained prediction. Given an input instance at test-time, a gating function identifies a prediction model for the input among a collection of models. Our objective is to minimize overall average cost without sacrificing accuracy. We learn gating and prediction models on fully labeled training data by means of a bottom-up strategy. Our novel bottom-up method first trains a high-accuracy complex model. Then a low-complexity gating and prediction model are subsequently learned to adaptively approximate the high-accuracy model in regions where low-cost models are capable of making highly accurate predictions. We pose an empirical loss minimization problem with cost constraints to jointly train gating and prediction models. On a number of benchmark datasets our method outperforms state-of-the-art achieving higher accuracy for the same cost.


title: Deterministic subgraph detection in broadcast CONGEST

abstract: We present simple deterministic algorithms for subgraph finding and enumeration in the broadcast CONGEST model of distributed computation: -- For any constant $k$, detecting $k$-paths and trees on $k$ nodes can be done in $O(1)$ rounds. -- For any constant $k$, detecting $k$-cycles and pseudotrees on $k$ nodes can be done in $O(n)$ rounds. -- On $d$-degenerate graphs, cliques and $4$-cycles can be enumerated in $O(d + \log n)$ rounds, and $5$-cycles in $O(d^2 + \log n)$ rounds. In many cases, these bounds are tight up to logarithmic factors. Moreover, we show that the algorithms for $d$-degenerate graphs can be improved to optimal complexity $O(d/\log n)$ and $O(d^2/\log n)$, respectively, in the supported CONGEST model, which can be seen as an intermediate model between CONGEST and the congested clique.


title: Control and Energy Management System in Microgrids

abstract: As a cutting-edge technology, microgrids feature intelligent EMSs and sophisticated control, which will dramatically change our energy infrastructure. The modern microgrids are a relatively recent development with high potential to bring distributed generation, DES devices, controllable loads, communication infrastructure, and many new technologies into the mainstream. As a more controllable and intelligent entity, a microgrid has more growth potential than ever before. However, there are still many open questions, such as the future business models and economics. What is the cost-benefit to the end-user? How should we systematically evaluate the potential benefits and costs of control and energy management in a microgrid?


title: Energy Deposition and Radiation to Electronics

abstract: Chapter 10 in High-Luminosity Large Hadron Collider (HL-LHC) : Preliminary Design Report. The Large Hadron Collider (LHC) is one of the largest scientific instruments ever built. Since opening up a new energy frontier for exploration in 2010, it has gathered a global user community of about 7,000 scientists working in fundamental particle physics and the physics of hadronic matter at extreme temperature and density. To sustain and extend its discovery potential, the LHC will need a major upgrade in the 2020s. This will increase its luminosity (rate of collisions) by a factor of five beyond the original design value and the integrated luminosity (total collisions created) by a factor ten. The LHC is already a highly complex and exquisitely optimised machine so this upgrade must be carefully conceived and will require about ten years to implement. The new configuration, known as High Luminosity LHC (HL-LHC), will rely on a number of key innovations that push accelerator technology beyond its present limits. Among these are cutting-edge 11-12 tesla superconducting magnets, compact superconducting cavities for beam rotation with ultra-precise phase control, new technology and physical processes for beam collimation and 300 metre-long high-power superconducting links with negligible energy dissipation. The present document describes the technologies and components that will be used to realise the project and is intended to serve as the basis for the detailed engineering design of HL-LHC.


title: Energy-Efficient Transponder Configuration for FMF-based Elastic Optical Networks

abstract: We propose an energy-efficient procedure for transponder configuration in FMF-based elastic optical networks in which quality of service and physical constraints are guaranteed and joint optimization of transmit optical power, temporal, spatial and spectral variables are addressed. We use geometric convexification techniques to provide convex representations for quality of service, transponder power consumption and transponder configuration problem. Simulation results show that our convex formulation is considerably faster than its mixed-integer nonlinear counterpart and its ability to optimize transmit optical power reduces total transponder power consumption up to 32%. We also analyze the effect of mode coupling and number of available modes on power consumption of different network elements.


title: Absence of Landau damping in driven three-component Bose-Einstein condensate in optical lattices

abstract: We explore the quantum many-body physics of a three-component Bose-Einstein condensate (BEC) in an optical lattices driven by laser fields in $V$ and $\Lambda$ configurations. We obtain exact analytical expressions for the energy spectrum and amplitudes of elementary excitations, and discover symmetries among them. We demonstrate that the applied laser fields induce a gap in the otherwise gapless Bogoliubov spectrum. We find that Landau damping of the collective modes above the energy of the gap is carried by laser-induced roton modes and is considerably suppressed compared to the phonon-mediated damping endemic to undriven scalar BECs.


title: On the finite $W$-algebra for the Lie superalgebra Q(N) in the non-regular case

abstract: In this paper we study the finite W-algebra for the queer Lie superalgebra Q(n) associated with the non-regular even nilpotent coadjoint orbits in the case when the corresponding nilpotent element has Jordan blocks each of size l. We prove that this finite W-algebra is isomorphic to a quotient of the super-Yangian of Q({n/l})


title: Machine Learned Learning Machines

abstract: There are two common approaches for optimizing the performance of a machine: genetic algorithms and machine learning. A genetic algorithm is applied over many generations whereas machine learning works by applying feedback until the system meets a performance threshold. Though these are methods that typically operate separately, we combine evolutionary adaptation and machine learning into one approach. Our focus is on machines that can learn during their lifetime, but instead of equipping them with a machine learning algorithm we aim to let them evolve their ability to learn by themselves. We use evolvable networks of probabilistic and deterministic logic gates, known as Markov Brains, as our computational model organism. The ability of Markov Brains to learn is augmented by a novel adaptive component that can change its computational behavior based on feedback. We show that Markov Brains can indeed evolve to incorporate these feedback gates to improve their adaptability to variable environments. By combining these two methods, we now also implemented a computational model that can be used to study the evolution of learning.


title: Mining Process Model Descriptions of Daily Life through Event Abstraction

abstract: Process mining techniques focus on extracting insight in processes from event logs. Process mining has the potential to provide valuable insights in (un)healthy habits and to contribute to ambient assisted living solutions when applied on data from smart home environments. However, events recorded in smart home environments are on the level of sensor triggers, at which process discovery algorithms produce overgeneralizing process models that allow for too much behavior and that are difficult to interpret for human experts. We show that abstracting the events to a higher-level interpretation can enable discovery of more precise and more comprehensible models. We present a framework for the extraction of features that can be used for abstraction with supervised learning methods that is based on the XES IEEE standard for event logs. This framework can automatically abstract sensor-level events to their interpretation at the human activity level, after training it on training data for which both the sensor and human activity events are known. We demonstrate our abstraction framework on three real-life smart home event logs and show that the process models that can be discovered after abstraction are more precise indeed.


title: No critical nonlinear diffusion in 1D quasilinear fully parabolic chemotaxis system

abstract: This paper deals with the fully parabolic 1d chemotaxis system with diffusion 1/(1 + u). We prove that the above mentioned nonlinearity, despite being a natural candidate, is not critical. It means that for such a diffusion any initial condition, independently on the magnitude of mass, generates global-in-time solution. In view of our theorem one sees that one-dimensional Keller- Segel system is essentially different than its higher-dimensional versions. In order to prove our theorem we establish a new Lyapunov-like functional associated to the system. The information we gain from our new functional (together with some estimates based on the well-known old Lyapunov functional) turns out to be rich enough to establish global existence for the initial-boundary value problem.


title: Sanya lectures : geometry of spherical varieties

abstract: These are expanded notes from lectures on the geometry of spherical varieties given in Sanya. We review some aspects of the geometry of spherical varieties. We first describe the structure of $B$-orbits. Using the local structure theorems, we describe the Picard group and the group of Weyl divisors and give some necessary conditions for smoothness. We later on consider $B$-stable curves and describe in details the structure of the Chow group of curves as well as the pairing between curves and divisors. Building on these results we give an explicit $B$-stable canonical divisor on any spherical variety.


title: The neutral silicon-vacancy center in diamond: spin polarization and lifetimes

abstract: We demonstrate optical spin polarization of the neutrally-charged silicon-vacancy defect in diamond ($\mathrm{SiV^{0}}$), an $S=1$ defect which emits with a zero-phonon line at 946 nm. The spin polarization is found to be most efficient under resonant excitation, but non-zero at below-resonant energies. We measure an ensemble spin coherence time $T_2>100~\mathrm{\mu s}$ at low-temperature, and a spin relaxation limit of $T_1>25~\mathrm{s}$. Optical spin state initialization around 946 nm allows independent initialization of $\mathrm{SiV^{0}}$ and $\mathrm{NV^{-}}$ within the same optically-addressed volume, and $\mathrm{SiV^{0}}$ emits within the telecoms downconversion band to 1550 nm: when combined with its high Debye-Waller factor, our initial results suggest that $\mathrm{SiV^{0}}$ is a promising candidate for a long-range quantum communication technology.


title: Geometric realizations of cyclic actions on surfaces

abstract: Let $ \text{Mod}(S_g)$ denote the mapping class group of the closed orientable surface $S_g$ of genus $g\geq 2$, and let $f\in \text{Mod}(S_g)$ be of finite order. We give an inductive procedure to construct an explicit hyperbolic structure on $S_g$ that realizes $f$ as an isometry. In other words, this procedure yields an explicit solution to the Nielsen realization problem for cyclic subgroups of $ \text{Mod}(S_g)$. Furthermore, we give a purely combinatorial perspective by showing how certain finite order mapping classes can be viewed as fat graph automorphisms. As an application of our realizations, we determine the sizes of maximal reduction systems for certain finite order mapping classes. Moreover, we describe a method to compute the image of finite order mapping classes and the roots of Dehn twists, under the symplectic representation $\Psi: \text{Mod}(S_g) \to \text{Sp}(2g; \mathbb{Z})$.


title: Asymptotic properties of Banach spaces and coarse quotient maps

abstract: We give a quantitative result about asymptotic moduli of Banach spaces under coarse quotient maps. More precisely, we prove that if a Banach space $Y$ is a coarse quotient of a subset of a Banach space $X$, where the coarse quotient map is coarse Lipschitz, then the ($\beta$)-modulus of $X$ is bounded by the modulus of asymptotic uniform smoothness of $Y$ up to some constants. In particular, if the coarse quotient map is a coarse homeomorphism, then the modulus of asymptotic uniform convexity of $X$ is bounded by the modulus of asymptotic uniform smoothness of $Y$ up to some constants.


title: Dependency-Aware Rollback and Checkpoint-Restart for Distributed Task-Based Runtimes

abstract: With the increase in compute nodes in large compute platforms, a proportional increase in node failures will follow. Many application-based checkpoint/restart (C/R) techniques have been proposed for MPI applications to target the reduced mean time between failures. However, rollback as part of the recovery remains a dominant cost even in highly optimised MPI applications employing C/R techniques. Continuing execution past a checkpoint (that is, reducing rollback) is possible in message-passing runtimes, but extremely complex to design and implement. Our work focuses on task-based runtimes, where task dependencies are explicit and message passing is implicit. We see an opportunity for reducing rollback for such runtimes: we explore task dependencies in the rollback, which we call dependency-aware rollback. We also design a new C/R technique, which is influenced by recursive decomposition of tasks, and combine it with dependency-aware rollback. We expect the dependency-aware rollback to cancel and recompute less tasks in the presence of node failures. We describe, implement and validate the proposed protocol in a simulator, which confirms these expectations. In addition, we consistently observe faster overall execution time for dependency-aware rollback in the presence of faults, despite the fact that reduced task cancellation does not guarantee reduced overall execution time.


title: On Multilingual Training of Neural Dependency Parsers

abstract: We show that a recently proposed neural dependency parser can be improved by joint training on multiple languages from the same family. The parser is implemented as a deep neural network whose only input is orthographic representations of words. In order to successfully parse, the network has to discover how linguistically relevant concepts can be inferred from word spellings. We analyze the representations of characters and words that are learned by the network to establish which properties of languages were accounted for. In particular we show that the parser has approximately learned to associate Latin characters with their Cyrillic counterparts and that it can group Polish and Russian words that have a similar grammatical function. Finally, we evaluate the parser on selected languages from the Universal Dependencies dataset and show that it is competitive with other recently proposed state-of-the art methods, while having a simple structure.


title: Landau levels in QCD

abstract: We present first evidence for the Landau level structure of Dirac eigenmodes in full QCD for nonzero background magnetic fields, based on first principles lattice simulations using staggered quarks. Our approach involves the identification of the lowest Landau level modes in two dimensions, where topological arguments ensure a clear separation of these modes from energetically higher states, and an expansion of the full four-dimensional modes in the basis of these two-dimensional states. We evaluate various fermionic observables including the quark condensate and the spin polarization in this basis to find how much the lowest Landau level contributes to them. The results allow for a deeper insight into the dynamics of quarks and gluons in background magnetic fields and may be directly compared to low-energy models of QCD employing the lowest Landau level approximation.


title: Multiphoton Scattering Tomography with Coherent States

abstract: In this work we develop an experimental procedure to interrogate the single- and multiphoton scattering matrices of an unknown quantum system interacting with propagating photons. Our proposal requires coherent state laser or microwave inputs and homodyne detection at the scatterer's output, and provides simultaneous information about multiple ---elastic and inelastic--- segments of the scattering matrix. The method is resilient to detector noise and its errors can be made arbitrarily small by combining experiments at various laser powers. Finally, we show that the tomography of scattering has to be performed using pulsed lasers to efficiently gather information about the nonlinear processes in the scatterer.


title: Effective Twisted Conjugacy Separability of Nilpotent Groups

abstract: This paper initiates the study of effective twisted conjugacy separability for finitely generated groups, which measures the complexity of separating distinct twisted conjugacy classes via finite quotients. The focus is on nilpotent groups, and our main result shows that there is a polynomial upper bound for twisted conjugacy separability. That allows us to study regular conjugacy separability in the case of virtually nilpotent groups, where we compute a polynomial upper bound as well. As another application, we improve the work of the second author by giving a precise calculation of conjugacy separability for finitely generated nilpotent groups of nilpotency class 2.


title: A Theoretical Framework for Lagrangian Descriptors

abstract: This paper provides a theoretical background for Lagrangian Descriptors (LDs). The goal of achieving rigourous proofs that justify the ability of LDs to detect invariant manifolds is simplified by introducing an alternative definition for LDs. The definition is stated for $n$-dimensional systems with general time dependence, however we rigorously prove that this method reveals the stable and unstable manifolds of hyperbolic points in four particular 2D cases: a hyperbolic saddle point for linear autonomous systems, a hyperbolic saddle point for nonlinear autonomous systems, a hyperbolic saddle point for linear nonautonomous systems and a hyperbolic saddle point for nonlinear nonautonomous systems. We also discuss further rigorous results which show the ability of LDs to highlight additional invariants sets, such as $n$-tori. These results are just a simple extension of the ergodic partition theory which we illustrate by applying this methodology to well-known examples, such as the planar field of the harmonic oscillator and the 3D ABC flow. Finally, we provide a thorough discussion on the requirement of the objectivity (frame-invariance) property for tools designed to reveal phase space structures and their implications for Lagrangian descriptors.


title: Elliptic Zeta functions and equivariant functions,

abstract: In this paper we establish a close connection between three notions at- tached to a modular subgroup. Namely the set of weight two meromorphic modular forms, the set of equivariant functions on the upper half-plane commuting with the action of the modular subgroup and the set of elliptic zeta functions generalizing the Weierstrass zeta functions. In particular, we show that the equivariant functions can be parameterized by modular objects as well as by elliptic objects.


title: Anomalous Thermal Expansion, Negative Linear Compressibility and High-Pressure Phase Transition in ZnAu2(CN)4: Neutron Inelastic Scattering and Lattice Dynamics Studies

abstract: We present temperature dependent inelastic neutron scattering measurments, accompanied byab-initio calculations of phonon spectra and elastic properties as a function of pressure to understand anharmonicity of phonons and to study the mechanism of negative thermal expansion and negative linear compressibility behaviour of ZnAu2(CN)4. The mechanism is identified in terms of specific anharmonic modes that involve bending of the Zn(CN)4-Au- Zn(CN)4 linkage. The high-pressure phase transition at about 2 GPa is also investigated and found to be related to softening of a phonon mode at the L-point at the Brillouin zone boundary and its coupling with a zone-centre phonon and an M-point phonon in the ambient pressure phase. Although the phase transition is primarily driven by a L-point soft phonon mode, which usually leads to a second order transition with a 2 x 2 x 2 supercell, in the present case the structure is close to an elastic instability that leads to a weakly first order transition.


title: Chaotic Dynamics in Nonautonomous Maps: Application to the Nonautomous Henon Map

abstract: In this paper we analyze chaotic dynamics for two dimensional nonautonomous maps through the use of a nonautonomous version of the Conley-Moser conditions given previously. With this approach we are able to give a precise definition of what is meant by a chaotic invariant set for nonautonomous maps. We extend the nonautonomous Conley-Moser conditions by deriving a new sufficient condition for the nonautonomous chaotic invariant set to be hyperbolic. We consider the specific example of a nonautonomous H\'enon map and give sufficient conditions, in terms of the parameters defining the map, for the nonautonomous H\'enon map to have a hyperbolic chaotic invariant set.


title: Black-box Testing of First-Order Logic Ontologies Using WordNet

abstract: Artificial Intelligence aims to provide computer programs with commonsense knowledge to reason about our world. This paper offers a new practical approach towards automated commonsense reasoning with first-order logic (FOL) ontologies. We propose a new black-box testing methodology of FOL SUMO-based ontologies by exploiting WordNet and its mapping into SUMO. Our proposal includes a method for the (semi-)automatic creation of a very large benchmark of competency questions and a procedure for its automated evaluation by using automated theorem provers (ATPs). Applying different quality criteria, our testing proposal enables a successful evaluation of a) the competency of several translations of SUMO into FOL and b) the performance of various automated ATPs. Finally, we also provide a fine-grained and complete analysis of the commonsense reasoning competency of current FOL SUMO-based ontologies.


title: Increasing the Efficiency of Sparse Matrix-Matrix Multiplication with a 2.5D Algorithm and One-Sided MPI

abstract: Matrix-matrix multiplication is a basic operation in linear algebra and an essential building block for a wide range of algorithms in various scientific fields. Theory and implementation for the dense, square matrix case are well-developed. If matrices are sparse, with application-specific sparsity patterns, the optimal implementation remains an open question. Here, we explore the performance of communication reducing 2.5D algorithms and one-sided MPI communication in the context of linear scaling electronic structure theory. In particular, we extend the DBCSR sparse matrix library, which is the basic building block for linear scaling electronic structure theory and low scaling correlated methods in CP2K. The library is specifically designed to efficiently perform block-sparse matrix-matrix multiplication of matrices with a relatively large occupation. Here, we compare the performance of the original implementation based on Cannon's algorithm and MPI point-to-point communication, with an implementation based on MPI one-sided communications (RMA), in both a 2D and a 2.5D approach. The 2.5D approach trades memory and auxiliary operations for reduced communication, which can lead to a speedup if communication is dominant. The 2.5D algorithm is somewhat easier to implement with one-sided communications. A detailed description of the implementation is provided, also for non ideal processor topologies, since this is important for actual applications. Given the importance of the precise sparsity pattern, and even the actual matrix data, which decides the effective fill-in upon multiplication, the tests are performed within the CP2K package with application benchmarks. Results show a substantial boost in performance for the RMA based 2.5D algorithm, up to 1.80x, which is observed to increase with the number of involved processes in the parallelization.


title: Automatic White-Box Testing of First-Order Logic Ontologies

abstract: Formal ontologies are axiomatizations in a logic-based formalism. The development of formal ontologies, and their important role in the Semantic Web area, is generating considerable research on the use of automated reasoning techniques and tools that help in ontology engineering. One of the main aims is to refine and to improve axiomatizations for enabling automated reasoning tools to efficiently infer reliable information. Defects in the axiomatization can not only cause wrong inferences, but can also hinder the inference of expected information, either by increasing the computational cost of, or even preventing, the inference. In this paper, we introduce a novel, fully automatic white-box testing framework for first-order logic ontologies. Our methodology is based on the detection of inference-based redundancies in the given axiomatization. The application of the proposed testing method is fully automatic since a) the automated generation of tests is guided only by the syntax of axioms and b) the evaluation of tests is performed by automated theorem provers. Our proposal enables the detection of defects and serves to certify the grade of suitability --for reasoning purposes-- of every axiom. We formally define the set of tests that are generated from any axiom and prove that every test is logically related to redundancies in the axiom from which the test has been generated. We have implemented our method and used this implementation to automatically detect several non-trivial defects that were hidden in various first-order logic ontologies. Throughout the paper we provide illustrative examples of these defects, explain how they were found, and how each proof --given by an automated theorem-prover-- provides useful hints on the nature of each defect. Additionally, by correcting all the detected defects, we have obtained an improved version of one of the tested ontologies: Adimen-SUMO.


title: Permutation-based Causal Inference Algorithms with Interventions

abstract: Learning directed acyclic graphs using both observational and interventional data is now a fundamentally important problem due to recent technological developments in genomics that generate such single-cell gene expression data at a very large scale. In order to utilize this data for learning gene regulatory networks, efficient and reliable causal inference algorithms are needed that can make use of both observational and interventional data. In this paper, we present two algorithms of this type and prove that both are consistent under the faithfulness assumption. These algorithms are interventional adaptations of the Greedy SP algorithm and are the first algorithms using both observational and interventional data with consistency guarantees. Moreover, these algorithms have the advantage that they are nonparametric, which makes them useful also for analyzing non-Gaussian data. In this paper, we present these two algorithms and their consistency guarantees, and we analyze their performance on simulated data, protein signaling data, and single-cell gene expression data.


title: Hot-electron relaxation in dense `two-temperature' hydrogen

abstract: Recent theories of hot-electron relaxation in dense hydrogen or deuterium are examined in the light of recent molecular-dynamics simulations as well as various theoretical developments within the two-temperature model. The theoretical work since 1998 have led to the formulation of the $f$-sum version of the Fermi Golden rule formula as the most convenient method for the calculation of the rate of cooling of hot electrons where energy is transferred to cold ions. The attempt to include relaxation via the ion-acoustic modes of the two coupled subsystems, i.e., electrons and ions has led to a coupled-mode formulation which has now been established by a variety of formal methods. However, various simplified calculational models of the system with coupled-modes, as well as sophisticated molecular dynamics simulations seem to disagree. It is expected that coupled-mode calculations which use the simple Coulomb potential $V_{ei}(r)=-|e|Z/r$ for the electron-ion interaction within RPA will greatly over-estimate the coupled-mode contribution. A weak pseudopotential $U_{ei}(r)$ would probably bring the estimated coupled-mode contribution to agree with that obtained by simulations. It is suggested that the available `reduced models' have been constructed without much attention to the satisfaction of important sum rules, Kramers-Kr\"onig relations etc. We also deal with the question of how strongly coupled ion-ion systems can be addressed by an extension of the second-order linear response theory which is the basis of current formulations of energy relaxation in warm-dense matter systems. These are of interest in a variety of fields including hot-electron semi-conductor devices, inertial-fusion studies of hot compressed hydrogen, as well as in astrophysical applications.


title: Nearly Frobenius structures in some families of algebras

abstract: In this article we continue with the study started in [1] of nearly Frobenius structures in some representative families of finite dimensional algebras, as the radical square zero algebras, string algebras and the toupie algebras. We prove that the radical square zero algebras with at least one path of length two are nearly Frobenius. As for the string algebras, in the ones that are not gentle, we can afirm that there is at least one non-trivial nearly Frobenius structure. Finally, in the case of the toupie algebras, we prove that the existence of monomial relations is a suficient condition to have non-trivial nearly Frobenius structure. Using the technics developed for the previous families of algebras we prove suficient conditions for the existence of non-trivial Frobenius structures in quotients of path algebras in general.


title: On the smallest non-trivial quotients of mapping class groups

abstract: We prove that the smallest non-trivial quotient of the mapping class group of a connected orientable surface of genus at least 3 without punctures is $\mathrm{Sp}_{2g}(2)$, thus confirming a conjecture of Zimmermann. In the process, we generalise Korkmaz's results on $\mathbb{C}$-linear representations of mapping class groups to projective representations over any field.


title: The MEGII detector

abstract: We present a report of the MEG II experiment, the upgrade of MEG, whose goal is to search for the forbidden decay \megc\ with increased precision. After having briefly reviewed the motivation for such a search and the current limit due to MEG, we present the conceptual design of the detector detailing for each subdetector the motivations and the extent of the upgrade and the expected resolution improvements. Novel subdetectors and calibration hardware are introduced. We conclude with the expected sensitivity of the MEGII experiment.


title: Bayesian stochastic blockmodeling

abstract: This chapter provides a self-contained introduction to the use of Bayesian inference to extract large-scale modular structures from network data, based on the stochastic blockmodel (SBM), as well as its degree-corrected and overlapping generalizations. We focus on nonparametric formulations that allow their inference in a manner that prevents overfitting, and enables model selection. We discuss aspects of the choice of priors, in particular how to avoid underfitting via increased Bayesian hierarchies, and we contrast the task of sampling network partitions from the posterior distribution with finding the single point estimate that maximizes it, while describing efficient algorithms to perform either one. We also show how inferring the SBM can be used to predict missing and spurious links, and shed light on the fundamental limitations of the detectability of modular structures in networks.


title: On the regularity of edge ideal of graphs

abstract: Let $G$ be a graph with $n$ vertices, $S=\mathbb{K}[x_1,\dots,x_n]$ be the polynomial ring in $n$ variables over a field $\mathbb{K}$ and $I(G)$ denote the edge ideal of $G$. For every collection $\mathcal{H}$ of connected graphs with $K_2\in \mathcal{H}$, we introduce the notions of $\ind-match_{\mathcal{H}}(G)$ and $\min-match_{\mathcal{H}}(G)$. It will be proved that the inequalities $\ind-match_{\{K_2, C_5\}}(G)\leq{\rm reg}(S/I(G))\leq\min-match_{\{K_2, C_5\}}(G)$ are true. Moreover, we show that if $G$ is a Cohen--Macaulay graph with girth at least five, then ${\rm reg}(S/I(G))=\ind-match_{\{K_2, C_5\}}(G)$. Furthermore, we prove that if $G$ is a paw--free and doubly Cohen--Macaulay graph, then ${\rm reg}(S/I(G))=\ind-match_{\{K_2, C_5\}}(G)$ if and only if every connected component of $G$ is either a complete graph or a $5$-cycle graph. Among other results, we show that for every doubly Cohen--Macaulay simplicial complex, the equality ${\rm reg}(\mathbb{K}[\Delta])={\rm dim}(\mathbb{K}[\Delta])$ holds.


title: Optimal control for the stochastic FitzHugh-Nagumo model with recovery variable

abstract: In the present paper we derive the existence and uniqueness of a solution for the optimal control problem determined by a stochastic FitzHugh-Nagumo equation with recovery variable. In particular due the cubic non-linearity in the drift coefficients, standard techniques cannot be applied so that the Ekeland's variational principle has to be exploited.


title: Extending Enveloping Algebras via Anti-Cocommutative Elements

abstract: Anti-cocommutativity was introduced by Wang, Zhuang, Zhang (2013) in their paper Coassociative Lie algebras. Since universal enveloping algebras of Lie algebras are connected Hopf algebras, we extend enveloping algebras using the notion of anti-cocommutative elements. This concept is the main focus of this thesis. We separate the results (Chapter 4) into four parts: 1) Lie algebras containing anti-cocommutative elements; 2) Extending enveloping algebras using anti-cocommutative elements; 3) A global dimension problem for connected Hopf algebras; 4) Properties of the antipode of some connected Hopf algebras.


title: Latent Intention Dialogue Models

abstract: Developing a dialogue agent that is capable of making autonomous decisions and communicating by natural language is one of the long-term goals of machine learning research. Traditional approaches either rely on hand-crafting a small state-action set for applying reinforcement learning that is not scalable or constructing deterministic models for learning dialogue sentences that fail to capture natural conversational variability. In this paper, we propose a Latent Intention Dialogue Model (LIDM) that employs a discrete latent variable to learn underlying dialogue intentions in the framework of neural variational inference. In a goal-oriented dialogue scenario, these latent intentions can be interpreted as actions guiding the generation of machine responses, which can be further refined autonomously by reinforcement learning. The experimental evaluation of LIDM shows that the model out-performs published benchmarks for both corpus-based and human evaluation, demonstrating the effectiveness of discrete latent variable models for learning goal-oriented dialogues.


title: $\mathcal O(\alpha^{3}\alpha_s)$ Study on the yields and polarizations of $J/\psi(\Upsilon)$ within the framework of non-relativistic QCD via $\gamma\gamma \to J/\psi(\Upsilon)+\gamma+X$ at CEPC

abstract: Within the framework of the non-relativistic QCD (NRQCD), we make a systematical study of the yields and polarizations of $J/\psi$ and $\Upsilon$ via $\gamma \gamma \to J/\psi(\Upsilon)+\gamma+X$ in photon-photon collisions at the Circular Electron Positron Collider (CEPC), up to $\mathcal O(\alpha^{3}\alpha_s)$. We find that this process at CEPC is quite "clean", namely the direct photoproduction absolutely dominate over the single- and double- resolved processes, at least 2 orders of magnitude larger. It is found that the next-to-leading order (NLO) QCD corrections will significantly reduce the results due to that the virtual corrections to $^3S_1^1$ is large and negative. For $J/\psi$, as $p_t$ increases, the color octet (CO) processes will provide increasingly important contributions to the total NLO results. Moreover the inclusion of CO contributions will dramatically change the polarizations of $J/\psi$ from toally transverse to longitudinal, which can be regarded as a distinct signal for the CO mechanism. However, for the case of $\Upsilon$, the effects of the CO processes are negligible, both for yields and polarizations. For $J/\psi$, the dependence of the yields on the value of the renormalization scale $\mu_r$ is moderate, while significant for the polarization. The impact of the variation of $\mu_{\lambda}$ is found to be relatively slight. As for the case of $\Upsilon$, the uncertainties of $\mu_{r}$ and $\mu_{\lambda}$ just bring about negligible effects. The future measurements on this semi-inclusive photoproductions of $J/\psi(\Upsilon)+\gamma+X$, especially on the polarization parameters of $J/\psi$, will be a good laboratory for the study of heavy quarkonium production mechanism and helpful to clarify the problems of the $J/\psi$ polarization puzzle.


title: More on the total dominator chromatic number of a graph

abstract: Let $G$ be a simple graph. A total dominator coloring of $G$, is a proper coloring of the vertices of $G$ in which each vertex of the graph is adjacent to every vertex of some color class. The total dominator chromatic (TDC) number $\chi_d^t(G)$ of $G$, is the minimum number of colors among all total dominator coloring of $G$. The neighbourhood corona of two graphs $G_1$ and $G_2$ is denoted by $G_1 \star G_2$ and is the graph obtained by taking one copy of $G_1$ and $|V(G_1)|$ copies of $G_2$, and joining the neighbours of the $i$th vertex of $G_1$ to every vertex in the $i$th copy of $G_2$. In this paper, we study the total dominator chromatic number of the neighbourhood of two graphs and investigate the total dominator chromatic number of $r$-gluing of two graphs. Stability (bondage number) of total dominator chromatic number of $G$ is the minimum number of vertices (edges) of $G$ whose removal changes the TDC-number of $G$. We study the stability and bondage number of certatin graphs.


title: $L^p$-estimates and regularity for SPDEs with monotone semilinearity

abstract: Semilinear stochastic partial differential equations on bounded domains $\mathscr{D}$ are considered. The semilinear term may have arbitrary polynomial growth as long as it is continuous and monotone except perhaps near the origin. Typical examples are the stochastic Allen--Cahn and Ginzburg--Landau equations. The first main result of this article are $L^p$-estimates for such equations. The $L^p$-estimates are subsequently employed in obtaining higher regularity. This is motivated by ongoing work to obtain rate of convergence estimates for numerical approximations to such equations. It is shown, under appropriate assumptions, that the solution is continuous in time with values in the Sobolev space $H^2(\mathscr{D}')$ and $\ell^2$-integrable with values in $H^3(\mathscr{D}')$, for any compact $\mathscr{D}' \subset \mathscr{D}$. Using results from $L^p$-theory of SPDEs obtained by Kim~\cite{kim04} we get analogous results in weighted Sobolev spaces on the whole $\mathscr{D}$. Finally it is shown that the solution is H\"older continuous in time of order $\frac{1}{2} - \frac{2}{q}$ as a process with values in a weighted $L^q$-space, where $q$ arises from the integrability assumptions imposed on the initial condition and forcing terms.


title: Thermal regimes of Li-ion conductivity in beta-eucryptite

abstract: While it is well established that ionic conduction in lithium aluminosilicates proceeds via hopping of Li ions, the nature of the various hoping-based mechanisms in different temperature regimes has not been fully elucidated. The difficulties associated with investigating the conduction have to do with the presence of grains and grain boundaries of different orientations in these usually polycrystalline materials. Herein, we use electrochemical impedance spectroscopy (EIS) to investigate the ion conduction mechanisms in -eucryptite, which is a prototypical lithium aluminosilicate. In the absence of significant structural transitions in grain boundaries, we have found that there are three conduction regimes for the one-dimensional ionic motion along the c axis channels in the grains, and determined the activation energies for each of these temperature regimes. Activation energies computed from molecular statics calculations of the potential energy landscape encountered by Li ions suggest that at temperatures below 440 {\deg}C conduction proceeds via cooperative or correlated motion, in agreement with established literature. Between 440 {\deg}C and 500{\deg}C, the activation barriers extracted from EIS measurements are large and consistent with those from atomistic calculations for uncorrelated Li ion hopping. Above 500 {\deg}C the activation barriers decrease significantly, which indicates that after the transition to the Li-disordered phase of -eucryptite, the Li ion motion largely regains the correlated character.


title: Linearization Instability for Generic Gravity in AdS

abstract: In general relativity, perturbation theory about a background solution fails if the background spacetime has a Killing symmetry and a compact spacelike Cauchy surface. This failure, dubbed as {\it linearization instability}, shows itself as non-integrability of the perturbative infinitesimal deformation to a finite deformation of the background. Namely, the linearized field equations have spurious solutions which cannot be obtained from the linearization of exact solutions. In practice, one can show the failure of the linear perturbation theory by showing that a certain quadratic (integral) constraint on the linearized solutions is not satisfied. For non-compact Cauchy surfaces, the situation is different and for example, Minkowski space having a non-compact Cauchy surface, is linearization stable. Here we study, the linearization instability in generic metric theories of gravity where Einstein's theory is modified with additional curvature terms. We show that, unlike the case of general relativity, for modified theories even in the non-compact Cauchy surface cases, there are some theories which show linearization instability about their anti-de Sitter backgrounds. Recent $D$ dimensional critical and three dimensional chiral gravity theories are two such examples. This observation sheds light on the paradoxical behavior of vanishing conserved charges (mass, angular momenta) for non-vacuum solutions, such as black holes, in these theories.


title: High pressure Raman study of the quantum magnet (C$_4$H$_{12}$N$_2$)Cu$_2$Cl$_6$

abstract: Magnetic and lattice excitations in the quantum antiferromagnet (C$_4$H$_{12}$N$_2$)Cu$_2$Cl$_6$ (PHCC) are studied across two pressure-induced phase transition at $P_c=4.3~\mathrm{kbar}$ and $P_1=13.4~\mathrm{kbar}$ using Raman spectroscopy. It is confirmed that neither transition is a result of a structural transformation. Magnetic scattering is detected. It shows a pronounced pressure dependence and undergoes substantial changes at both transitions. The results are in clear contradiction with previous neutron studies, which detected only minor changes of the magnon spectrum at $P_1$. A number of phonons show anomalous frequency shifts at low temperatures. This effect is pressure dependent and for two of the observed phonons dramatically reverses sign at around $P_1$. The anomalous behavior is attributed to strong magnetoelastic coupling in PHCC.


title: Second moment of the pion distribution amplitude with the momentum smearing technique

abstract: Using the second moment of the pion distribution amplitude as an example, we investigate whether lattice calculations of matrix elements of local operators involving covariant derivatives may benefit from the recently proposed momentum smearing technique for hadronic interpolators. Comparing the momentum smearing technique to the traditional Wuppertal smearing we find - at equal computational cost - a considerable reduction of the statistical errors. The present investigation was carried out using $N_f=2+1$ dynamical non-perturbatively order $a$ improved Wilson fermions on lattices of different volumes and pion masses down to 220 MeV.


title: Optical pump-rejection filter based on silicon sub-wavelength engineered photonic structures

abstract: The high index contrast of the silicon-on-insulator (SOI) platform allows the realization of ultra-compact photonic circuits. However, this high contrast hinders the implementation of narrow-band Bragg filters. These typically require corrugations widths of a few nanometers or double-etch geometries, hampering device fabrication. Here we report, for the first time, on the realization of SOI Bragg filters based on sub-wavelength index engineering in a differential corrugation width configuration. The proposed double periodicity structure allows narrow-band rejection with a single etch step and relaxed width constraints. Based on this concept, we experimentally demonstrate a single-etch, $\mathbf{220\,nm}$ thick, Si Bragg filter featuring a corrugation width of $\mathbf{150\,nm}$, a rejection bandwidth of $\mathbf{1.1\,nm}$ and an extinction ratio exceeding $\mathbf{40\,dB}$. This represents a ten-fold width increase compared to conventional single-periodicity, single-etch counterparts with similar bandwidths.


title: Some Ageing Properties of Dynamic Additive Mean Residual Life Model

abstract: Although proportional hazard rate model is a very popular model to analyze failure time data, sometimes it becomes important to study the additive hazard rate model. Again, sometimes the concept of the hazard rate function is abstract, in comparison to the concept of mean residual life function. A new model called `dynamic additive mean residual life model' where the covariates are time-dependent has been defined in the literature. Here we study the closure properties of the model for different positive and negative ageing classes under certain condition(s). Quite a few examples are presented to illustrate different properties of the model.


title: Fair Division of a Graph

abstract: We consider fair allocation of indivisible items under an additional constraint: there is an undirected graph describing the relationship between the items, and each agent's share must form a connected subgraph of this graph. This framework captures, e.g., fair allocation of land plots, where the graph describes the accessibility relation among the plots. We focus on agents that have additive utilities for the items, and consider several common fair division solution concepts, such as proportionality, envy-freeness and maximin share guarantee. While finding good allocations according to these solution concepts is computationally hard in general, we design efficient algorithms for special cases where the underlying graph has simple structure, and/or the number of agents -or, less restrictively, the number of agent types- is small. In particular, despite non-existence results in the general case, we prove that for acyclic graphs a maximin share allocation always exists and can be found efficiently.


title: A note on weak convergence of the $n$-point motions of Harris flows

abstract: In this note we extend the main results of [2] and [8], which concern the weak convergence of the $n$-point motions of smooth Harris flows to those of the Arratia flow, to the case when the covariance functions of these Harris flows converge pointwise to a covariance function whose support is of zero Lebesgue measure.


title: Dynamic scaling analysis of the long-range RKKY Ising spin glass Dy$_{x}$Y$_{1-x}$Ru$_{2}$Si$_{2}$

abstract: Dynamic scaling analyses of linear and nonlinear ac susceptibilities in a model magnet of the long-rang RKKY Ising spin glass (SG) Dy$_{x}$Y$_{1-x}$Ru$_{2}$Si$_{2}$ were examined. The obtained set of the critical exponents, $\gamma$ $\sim$ 1, $\beta$ $\sim$ 1, $\delta$ $\sim$ 2, and $z\nu$ $\sim$ 3.4, indicates the SG phase transition belongs to a different universality class from either the canonical (Heisenberg) or the short-range Ising SGs. The analyses also reveal a finite-temperature SG transition with the same critical exponents under a magnetic field and the phase transition line $T_{\mbox{g}}(H)$ described by $T_{\mbox{g}}(H)$ $=$ $T_{\mbox{g}}(0)(1-AH^{2/\phi})$ with $\phi$ $\sim$ 2. The crossover exponent $\phi$ obeys the scaling relation $\phi$ $=$ $\gamma + \beta$ within the margin of errors. These results strongly suggest the spontaneous replica-symmetry-breaking (RSB) with a {\it non- or marginal-mean-field universality class} in the long-range RKKY Ising SG.


title: Purely Long-Range Coherent Interactions in Two-Dimensional Structured Baths

abstract: In this work we study the quantum dynamics emerging when quantum emitters exchange excitations with a two-dimensional bosonic bath with hexagonal symmetry. We show that a single quantum emitter spectrally tuned to the middle of the band relaxes following a logarithmic law in time due to the existence of a singular point with vanishing density of states, i.e., the Dirac point. Moreover, when several emitters are coupled to the bath at that frequency, long-range coherent interactions between them appear which decay inversely proportional to their distance without exponential attenuation. We analyze both the finite and infinite system situation using both perturbative and non-perturbative methods.


title: Directed random walks on polytopes with few facets

abstract: Let $P$ be a simple polytope with $n-d = 2$, where $d$ is the dimension and $n$ is the number of facets. The graph of such a polytope is also called a grid. It is known that the directed random walk along the edges of $P$ terminates after $O(\log^2 n)$ steps, if the edges are oriented in a (pseudo-)linear fashion. We prove that the same bound holds for the more general unique sink orientations.


title: Single-particle dispersion in stably stratified turbulence

abstract: We present models for single-particle dispersion in vertical and horizontal directions of stably stratified flows. The model in the vertical direction is based on the observed Lagrangian spectrum of the vertical velocity, while the model in the horizontal direction is a combination of a continuous-time eddy-constrained random walk process with a contribution to transport from horizontal winds. Transport at times larger than the Lagrangian turnover time is not universal and dependent on these winds. The models yield results in good agreement with direct numerical simulations of stratified turbulence, for which single-particle dispersion differs from the well studied case of homogeneous and isotropic turbulence.


title: Deep Learning for Patient-Specific Kidney Graft Survival Analysis

abstract: An accurate model of patient-specific kidney graft survival distributions can help to improve shared-decision making in the treatment and care of patients. In this paper, we propose a deep learning method that directly models the survival function instead of estimating the hazard function to predict survival times for graft patients based on the principle of multi-task learning. By learning to jointly predict the time of the event, and its rank in the cox partial log likelihood framework, our deep learning approach outperforms, in terms of survival time prediction quality and concordance index, other common methods for survival analysis, including the Cox Proportional Hazards model and a network trained on the cox partial log-likelihood.


title: Fast Single-Class Classification and the Principle of Logit Separation

abstract: We consider neural network training, in applications in which there are many possible classes, but at test-time, the task is a binary classification task of determining whether the given example belongs to a specific class, where the class of interest can be different each time the classifier is applied. For instance, this is the case for real-time image search. We define the Single Logit Classification (SLC) task: training the network so that at test-time, it would be possible to accurately identify whether the example belongs to a given class in a computationally efficient manner, based only on the output logit for this class. We propose a natural principle, the Principle of Logit Separation, as a guideline for choosing and designing losses suitable for the SLC. We show that the cross-entropy loss function is not aligned with the Principle of Logit Separation. In contrast, there are known loss functions, as well as novel batch loss functions that we propose, which are aligned with this principle. In total, we study seven loss functions. Our experiments show that indeed in almost all cases, losses that are aligned with the Principle of Logit Separation obtain at least 20% relative accuracy improvement in the SLC task compared to losses that are not aligned with it, and sometimes considerably more. Furthermore, we show that fast SLC does not cause any drop in binary classification accuracy, compared to standard classification in which all logits are computed, and yields a speedup which grows with the number of classes. For instance, we demonstrate a 10x speedup when the number of classes is 400,000. Tensorflow code for optimizing the new batch losses is publicly available at https://github.com/cruvadom/Logit Separation.


title: Semi-Fredholmness of weighted singular integral operators with shifts and slowly oscillating data

abstract: Let $\alpha,\beta$ be orientation-preserving homeomorphisms of $[0,\infty]$ onto itself, which have only two fixed points at $0$ and $\infty$, and whose restrictions to $\mathbb{R}_+=(0,\infty)$ are diffeomorphisms, and let $U_\alpha,U_\beta$ be the corresponding isometric shift operators on the space $L^p(\mathbb{R}_+)$ given by $U_\mu f=(\mu')^{1/p}(f\circ\mu)$ for $\mu\in\{\alpha,\beta\}$. We prove sufficient conditions for the right and left Fredholmness on $L^p(\mathbb{R}_+)$ of singular integral operators of the form $A_+P_\gamma^++A_-P_\gamma^-$, where $P_\gamma^\pm=(I\pm S_\gamma)/2$, $S_\gamma$ is a weighted Cauchy singular integral operator, $A_+=\sum_{k\in\mathbb{Z}}a_kU_\alpha^k$ and $A_-=\sum_{k\in\mathbb{Z}}b_kU_\beta^k$ are operators in the Wiener algebras of functional operators with shifts. We assume that the coefficients $a_k,b_k$ for $k\in\mathbb{Z}$ and the derivatives of the shifts $\alpha',\beta'$ are bounded continuous functions on $\mathbb{R}_+$ which may have slowly oscillating discontinuities at $0$ and $\infty$.


title: Entanglement witnesses for families of the bound entangled three-qubit states

abstract: We construct three-qubit entanglement witnesses with relatively simple structures. Despite their simplicity, these witnesses are capable of detecting a number of bound entangled states more effectively. To illustrate this, two families of bound entangled three-qubit states, introduced by Kay [Phys. Rev. A 83, 020303 (2011)] and Kye [J. Phys. A: Math. Theor. 48, 235303 (2015)], are considered and it is shown that these witnesses are able to detect the entanglement of all states in the families.


title: Modelling the Type Ic SN 2004aw: a Moderately Energetic Explosion of a Massive C+O Star without a GRB

abstract: An analysis of the Type Ic supernova (SN) 2004aw is performed by means of models of the photospheric and nebular spectra and of the bolometric light curve. SN2004aw is shown not to be ``broad-lined'', contrary to previous claims, but rather a ``fast-lined'' SN Ic. The spectral resemblance to the narrow-lined Type Ic SN1994I, combined with the strong nebular [O I] emission and the broad light curve, point to a moderately energetic explosion of a massive C+O star. The ejected 56Ni mass is ~0.2 Msun. The ejecta mass as constrained by the models is ~3-5 Msun, while the kinetic energy is estimated as KE ~3-6 e51 ergs. The ratio KE/Mej, the specific energy which influences the shape of the spectrum, is therefore ~1. The corresponding zero-age main-sequence mass of the progenitor star may have been ~23-28 Msun. Tests show that a flatter outer density structure may have caused a broad-lined spectrum at epochs before those observed without affecting the later epochs when data are available, implying that our estimate of KE is a lower limit. SN2004aw may have been powered by either a collapsar or a magnetar, both of which have been proposed for gamma-ray burst-supernovae. Evidence for this is seen in the innermost layers, which appear to be highly aspherical as suggested by the nebular line profiles. However, any engine was not extremely powerful, as the outer ejecta are more consistent with a spherical explosion and no gamma-ray burst was detected in coincidence with SN2004aw.


title: SuperBrownian motion and the spatial Lambda-Fleming-Viot process

abstract: It is well known that the dynamics of a subpopulation of individuals of a rare type in a Wright-Fisher diffusion can be approximated by a Feller branching process. Here we establish an analogue of that result for a spatially distributed population whose dynamics are described by a spatial Lambda-Fleming-Viot process (SLFV). The subpopulation of rare individuals is then approximated by a superBrownian motion. This result mirrors Cox et al. (2000), where it is shown that when suitably rescaled, sparse voter models converge to superBrownian motion. We also prove the somewhat more surprising result, that by choosing the dynamics of the SLFV appropriately we can recover superBrownian motion with stable branching in an analogous way. This is a spatial analogue of (a special case of) results of Bertoin and Le Gall (2006), who show that the generalised Fleming-Viot process that is dual to the beta-coalescent, when suitably rescaled, converges to a continuous state branching process with stable branching mechanism.