title: Local Differential Privacy in Decentralized Optimization

abstract: Privacy concerns with sensitive data are receiving increasing attention. In this paper, we study local differential privacy (LDP) in interactive decentralized optimization. By constructing random local aggregators, we propose a framework to amplify LDP by a constant. We take Alternating Direction Method of Multipliers (ADMM), and decentralized gradient descent as two concrete examples, where experiments support our theory. In an asymptotic view, we address the following question: Under LDP, is it possible to design a distributed private minimizer for arbitrary closed convex constraints with utility loss not explicitly dependent on dimensionality? As an affiliated result, we also show that with merely linear secret sharing, information theoretic privacy is achievable for bounded colluding agents.


title: Mean value formulas for Ornstein-Uhlenbeck and Hermite temperatures

abstract: We obtain explicit mean value formulas for the solutions of the diffusion equations associated with the Ornstein-Uhlenbeck and Hermite operators. From these, we derive various useful properties, such as maximum principles, uniqueness theorems and Harnack-type inequalities.


title: Flip distances between graph orientations

abstract: Flip graphs are a ubiquitous class of graphs, which encode relations induced on a set of combinatorial objects by elementary, local changes. Skeletons of associahedra, for instance, are the graphs induced by quadrilateral flips in triangulations of a convex polygon. For some definition of a flip graph, a natural computational problem to consider is the flip distance: Given two objects, what is the minimum number of flips needed to transform one into the other? We consider flip graphs on orientations of simple graphs, where flips consist of reversing the direction of some edges. More precisely, we consider so-called $\alpha$-orientations of a graph $G$, in which every vertex $v$ has a specified outdegree $\alpha(v)$, and a flip consists of reversing all edges of a directed cycle. We prove that deciding whether the flip distance between two $\alpha$-orientations of a planar graph $G$ is at most two is \NP-complete. This also holds in the special case of perfect matchings, where flips involve alternating cycles. This problem amounts to finding geodesics on the common base polytope of two partition matroids, or, alternatively, on an alcoved polytope. It therefore provides an interesting example of a flip distance question that is computationally intractable despite having a natural interpretation as a geodesic on a nicely structured combinatorial polytope. We also consider the dual question of the flip distance betwe en graph orientations in which every cycle has a specified number of forward edges, and a flip is the reversal of all edges in a minimal directed cut. In general, the problem remains hard. However, if we restrict to flips that only change sinks into sources, or vice-versa, then the problem can be solved in polynomial time. Here we exploit the fact that the flip graph is the cover graph of a distributive lattice. This generalizes a recent result from Zhang, Qian, and Zhang.


title: A simple proof of a congruence for a series involving the little $q$-Jacobi polynomials

abstract: We give a simple and a more explicit proof of a mod $4$ congruence for a series involving the little $q$-Jacobi polynomials which arose in a recent study of a certain restricted overpartition function.


title: Semi-supervised Learning on Graph with an Alternating Diffusion Process

abstract: Graph-based semi-supervised learning usually involves two separate stages, constructing an affinity graph and then propagating labels for transductive inference on the graph. It is suboptimal to solve them independently, as the correlation between the affinity graph and labels are not fully exploited. In this paper, we integrate the two stages into one unified framework by formulating the graph construction as a regularized function estimation problem similar to label propagation. We propose an alternating diffusion process to solve the two problems simultaneously, which allows us to learn the graph and unknown labels in an iterative fashion. With the proposed framework, we are able to adequately leverage both the given labels and estimated labels to construct a better graph, and effectively propagate labels on such a dynamic graph updated simultaneously with the newly obtained labels. Extensive experiments on various real-world datasets have demonstrated the superiority of the proposed method compared to other state-of-the-art methods.


title: Metric currents and polylipschitz forms

abstract: We construct, for a locally compact metric space $X$, a space of polylipschitz forms $\bar\Gamma^*_c(X)$, which is a pre-dual for the space of metric currents of $\mathscr{D}_*(X)$ Ambrosio and Kirchheim. These polylipschitz forms may be seen as a substitute of differential forms in the metric setting.


title: $b\rightarrow s \mu^+ \mu^-$ anomalies and related phenomenology in $U(1)_{B_3 - x_\mu L_\mu - x_\tau L_\tau}$ flavor gauge models

abstract: We propose a generation dependent lepton/baryon gauge symmetry, $U(1)_{B_3 - x_\mu L_\mu - x_\tau L_\tau} \equiv U(1)_X$ (with $x_\mu + x_\tau =1$ for anomaly cancellation), as a possible solution for the $b \rightarrow s \mu^+ \mu^-$ anomalies. By introducing two Higgs doublet fields, we can reproduce the observed CKM matrix, and generate flavor changing $Z'$ interactions in the quark sector. Thus one can explain observed anomalies in $b \to s \ell^+ \ell^-$ decay with the lepton non-universal $U(1)_X$ charge assignments. We show the minimal setup explaining $b \to s \ell^+ \ell^-$ anomalies, neutrino masses and mixings and dark matter candidate, taking into account experimental constraints of flavor physics such as charged lepton flavor violations and the $B_s$--$\bar B_s$ mixing. Finally we discuss collider physics focusing on $Z'$ production at the Large Hadron Collider and relic density of our dark matter candidate.


title: On the $C^1$ and $C^2$-convergence to weak K.A.M. solutions

abstract: We introduce a notion of upper Green regular solutions to the Lax-Oleinik semi-group that is defined on the set of $C^0$ functions of a closed manifold via a Tonelli Lagrangian. Then we prove some weak $C^2$ convergence results to such a solution for a large class of approximated solutions as (1) the discounted solution (see [DFIZ16]); (2) the image of a $C^0$ function by the Lax-Oleinik semi-group; (3) the weak K.A.M. solutions for perturbed cohomology class. This kind of convergence implies the convergence in measure of the second derivatives. Moreover, we provide an example that is not upper Green regular and to which we have $C^1$ convergence but not convergence in measure of the second derivatives.


title: On Group-Like Magmoids

abstract: A magmoid is a non-empty set with a partial binary operation; group-like magmoids generalize group-like magmas such as semigroups, monoids and groups. In this article, we first consider the many ways in which the notions of associative multiplication, identities and inverses can be generalized when the total binary operation is replaced by a partial binary operation. Poloids, groupoids, skew-poloids, skew-groupoids, prepoloids, pregroupoids, skew-prepoloids and skew-pregroupoids are then defined in terms of generalized associativity, generalized identities and generalized inverses. Some basic results about these magmoids are derived, and connections between poloid-like and prepoloid-like magmoids, in particular semigroups, are described. Notably, analogues of the Ehresmann-Schein-Nampooribad theorem are proved.


title: Combinatorial and Algorithmic Properties of One Matrix Structure at Monotone Boolean Functions

abstract: One matrix structure in the area of monotone Boolean functions is defined here. Some of its combinatorial, algebraic and algorithmic properties are derived. On the base of these properties, three algorithms are built. First of them generates all monotone Boolean functions of $n$ variables in lexicographic order. The second one determines the first (resp. the last) lexicographically minimal true (resp. maximal false) vector of an unknown monotone function $f$ of $n$ variables. The algorithm uses at most $n$ membership queries and its running time is $\Theta(n)$. It serves the third algorithm, which identifies an unknown monotone Boolean function $f$ of $n$ variables by using membership queries only. The experimental results show that for $1\leq n\leq 6$, the algorithm determines $f$ by using at most $m.n$ queries, where $m$ is the combined size of the sets of minimal true and maximal false vectors of $f$.


title: Getafix: Learning to Fix Bugs Automatically

abstract: Static analyzers help find bugs early by warning about recurring bug categories. While fixing these bugs still remains a mostly manual task in practice, we observe that fixes for a specific bug category often are repetitive. This paper addresses the problem of automatically fixing instances of common bugs by learning from past fixes. We present Getafix, an approach that produces human-like fixes while being fast enough to suggest fixes in time proportional to the amount of time needed to obtain static analysis results in the first place. Getafix is based on a novel hierarchical clustering algorithm that summarizes fix patterns into a hierarchy ranging from general to specific patterns. Instead of a computationally expensive exploration of a potentially large space of candidate fixes, Getafix uses a simple yet effective ranking technique that uses the context of a code change to select the most appropriate fix for a given bug. Our evaluation applies Getafix to 1,268 bug fixes for six bug categories reported by popular static analyzers for Java, including null dereferences, incorrect API calls, and misuses of particular language constructs. The approach predicts exactly the human-written fix as the top-most suggestion between 12% and 91% of the time, depending on the bug category. The top-5 suggestions contain fixes for 526 of the 1,268 bugs. Moreover, we report on deploying the approach within Facebook, where it contributes to the reliability of software used by billions of people. To the best of our knowledge, Getafix is the first industrially-deployed automated bug-fixing tool that learns fix patterns from past, human-written fixes to produce human-like fixes.


title: Faraday-Rotation in Iron Garnet Films Beyond Elemental Substitutions

abstract: In previous decades significant efforts have been devoted to increasing the magneto-optical efficiency of iron garnet materials for the miniaturization of nonreciprocal devices such as isolators and circulators. Elemental substitutions or proper nano-structuring to benefit from optical resonances have been pursued. However, all these approaches still require film thicknesses of at least several tens of microns to deliver useful device applications, and suffer from narrow bandwidths in the case of optical resonance effects. This Letter reports on a newly discovered enhancement of the Faraday Effect observed experimentally in nanoscale bismuth-substituted iron garnet films. It is shown here that this enhancement is not due to elemental substitution or compositional variations. Nor is it due to photon trapping or resonance effects. Comprehensive experimental and theoretical analysis of the Faraday rotation reveals a dramatic seven-fold amplification in the magneto-optic gyrotropy within only 2 nm of the air-surface interface, corresponding to just a couple of atomic monolayers as a result of symmetry-breaking at the air-film interface. This finding opens up an avenue to the application of monolayer magnetic garnets for the control of light.


title: Solitons in inhomogeneous gauge potentials: integrable and nonintegrable dynamics

abstract: We introduce an exactly integrable nonlinear model describing the dynamics of spinor solitons in space-dependent matrix gauge potentials of rather general types. The model is shown to be gauge equivalent to the integrable system of vector nonlinear Schr\"odinger equations known as the Manakov model. As an example we consider a self-attractive Bose-Einstein condensate with random spin-orbit coupling (SOC). If Zeeman splitting is also included, the system becomes nonintegrable. We illustrate this by considering the random walk of a soliton in a disordered SOC landscape. While at zero Zeeman splitting the soliton moves without scattering along linear trajectories in the random SOC landscape, at nonzero splitting it exhibits strong scattering by the SOC inhomogeneities. For a large Zeeman splitting the integrability is recovered. In this sense the Zeeman splitting serves as a parameter controlling the crossover between two different integrable limits.


title: Probability Thermodynamics and Probability Quantum Field

abstract: We introduce probability thermodynamics and probability quantum fields. By probability we mean that there is an unknown operator, physical or nonphysical, whose eigenvalues obey a certain statistical distribution. Eigenvalue spectra define spectral functions. Various thermodynamic quantities in thermodynamics and effective actions in quantum field theory are all spectral functions. In the scheme, eigenvalues obey a probability distribution, so a probability distribution determines a family of spectral functions in thermodynamics and quantum field theory. This leads to probability thermodynamics and probability quantum fields determined by a probability distribution. In constructing spectral functions, we encounter a problem. The conventional definition of spectral functions applies only to lower bounded spectra. In our scheme, however, there are two types of spectra: lower bounded spectra, corresponding to the probability distribution with nonnegative random variables, and the lower unbounded spectra, corresponding to probability distributions with negative random variables. To take the lower unbounded spectra into account, we generalize the definition of spectral functions by analytical continuation. In some cases, we encounter divergences. We remove the divergence by a renormalization procedure. Moreover, in virtue of spectral theory in physics, we generalize some concepts in probability theory. For example, the moment-generating function in probability theory does not always exist. We redefine the moment-generating function as the generalized heat kernel introduced in this paper, which makes the concept definable when the definition in probability theory fails. Thermodynamic quantities, vacuum amplitudes, one-loop effective actions, and vacuum energies for various probability distributions are presented.


title: Individual Data Protected Integrative Regression Analysis of High-dimensional Heterogeneous Data

abstract: Evidence-based decision making often relies on meta-analyzing multiple studies, which enables more precise estimation and investigation of generalizability. Integrative analysis of multiple heterogeneous studies is, however, highly challenging in the ultra high dimensional setting. The challenge is even more pronounced when the individual level data cannot be shared across studies, known as DataSHIELD constraint (Wolfson et al., 2010). Under sparse regression models that are assumed to be similar yet not identical across studies, we propose in this paper a novel integrative estimation procedure for data-Shielding High-dimensional Integrative Regression (SHIR). SHIR protects individual data through summary-statistics-based integrating procedure, accommodates between study heterogeneity in both the covariate distribution and model parameters, and attains consistent variable selection. Theoretically, SHIR is statistically more efficient than the existing distributed approaches that integrate debiased LASSO estimators from the local sites. Furthermore, the estimation error incurred by aggregating derived data is negligible compared to the statistical minimax rate and SHIR is shown to be asymptotically equivalent in estimation to the ideal estimator obtained by sharing all data. The finite-sample performance of our method is studied and compared with existing approaches via extensive simulation settings. We further illustrate the utility of SHIR to derive phenotyping algorithms for coronary artery disease using electronic health records data from multiple chronic disease cohorts.


title: Motility-induced temperature difference in coexisting phases

abstract: In nature, objects which are in thermal contact with each other, usually approach the same temperature, unless a heat source (or sink) cherishes a persistent flow of heat. Accordingly, in a well-isolated apartment flat, most items are at a similar temperature. This is a general consequence of equilibrium thermodynamics, requiring coexisting phases to have identical temperatures. Opposing this generic situation, here we identify a system showing different temperatures in coexisting phases, which are separated from each other by a sharp and persistent temperature gradient. Thermodynamically, such a "hot" and a "cold" phase are allowed to coexist, as the system we consider comprises "active" particles which self-propel relative to their environment and are thus intrinsically out-of-equilibrium. Although these microparticles are well known to spontaneously phase-separate into a liquid- and a gas-like state, different kinetic temperatures in coexisting phases occur if and only if inertia is introduced, which is neglected in standard models describing active particles. Our results, therefore, exemplify a novel route to use active particles to create a self-sustained temperature gradient across coexisting phases, a phenomenon, which is fundamentally beyond equilibrium physics.


title: Almost global solutions to two classes of 1-d Hamiltonian Derivative Nonlinear Schr\"odinger equations

abstract: Consider two kinds of 1-d Hamiltonian Derivative Nonlinear Schr\"odinger (DNLS) equations with respect to different symplectic forms under periodic boundary conditions. The nonlinearities of these equations depend not only on $(x,\psi,\bar{\psi})$ but also on $(\psi_x,\bar{\psi}_x)$, which means the nonlinearities of these equations are unbounded. Suppose that the nonlinearities depend on the space-variable $x$ periodically. Under some assumptions, for most potentials of these two kinds of Hamiltonian DNLS equations, if the initial value is smaller than $\varepsilon\ll1$ in $p$-Sobolev norm, then the corresponding solution to these equations is also smaller than $2\varepsilon$ during a time interval $(-c\varepsilon^{-r_*},c\varepsilon^{-r_*})$(for any given positive $r_*$). The main methods are constructing Birkhoff normal forms to two kinds of Hamiltonian systems which have unbounded nonlinearities and using the special symmetry of the unbounded nonlinearities of Hamiltonian functions to obtain a long time estimate of the solution in $p$-Sobolev norm.


title: Search for Extra Scalars Produced in Association with Muon Pairs at the ILC

abstract: We study the search for an extra scalar $S$ boson produced in association with the $Z$ boson at the International Linear Collider (ILC). The study is performed at center-of-mass energies of 250 GeV and 500 GeV based on the full simulation of the International Large Detector (ILD). In order to be as model-independent as possible, the analysis uses the recoil technique, in particular with the $Z$ boson decaying into a pair of muons. As a result, exclusion cross-section limits are given in terms of a scale factor $k$ with respect to the Standard Model Higgs-strahlung process cross section. These predicted results, covering all possible searching regions of the extra scalars at the 250 GeV ILC and the 500 GeV ILC, can be interpreted independently of the decay modes of the $S$ boson.


title: The key role of BeppoSAX in the GRB history

abstract: Twenty years have already been elapsed from the BeppoSAX discovery of the first afterglow of a Gamma Ray Burst (GRB) on February 28, 1997. Thanks to this discovery, it was possible to unveil the 30 year mystery about GRB origin: GRBs are huge explosions in galaxies at cosmological distances. Starting from the first GRB detection with Vela satellites, I will review the main results obtained before BeppoSAX, the story of the BeppoSAX discovery of the GRB afterglow with the consequent cosmological distance determination, the main BeppoSAX results and those obtained after the BeppoSAX era until to nowadays with the still open problems and prospects.


title: R\'enyi Entropy Power and Normal Transport

abstract: A framework for deriving R\'enyi entropy-power inequalities (EPIs) is presented that uses linearization and an inequality of Dembo, Cover, and Thomas. Simple arguments are given to recover the previously known R\'enyi EPIs and derive new ones, by unifying a multiplicative form with constant c and a modification with exponent $\alpha$ of previous works. An information-theoretic proof of the Dembo-Cover-Thomas inequality---equivalent to Young's convolutional inequality with optimal constants---is provided, based on properties of R\'enyi conditional and relative entropies and using transportation arguments from Gaussian densities. For log-concave densities, a transportation proof of a sharp varentropy bound is presented.


title: A QUIC Implementation for ns-3

abstract: Quick UDP Internet Connections (QUIC) is a recently proposed transport protocol, currently being standardized by the Internet Engineering Task Force (IETF). It aims at overcoming some of the shortcomings of TCP, while maintaining the logic related to flow and congestion control, retransmissions and acknowledgments. It supports multiplexing of multiple application layer streams in the same connection, a more refined selective acknowledgment scheme, and low-latency connection establishment. It also integrates cryptographic functionalities in the protocol design. Moreover, QUIC is deployed at the application layer, and encapsulates its packets in UDP datagrams. Given the widespread interest in the new QUIC features, we believe that it is important to provide to the networking community an implementation in a controllable and isolated environment, i.e., a network simulator such as ns-3, in which it is possible to test QUIC's performance and understand design choices and possible limitations. Therefore, in this paper we present a native implementation of QUIC for ns-3, describing the features we implemented, the main assumptions and differences with respect to the QUIC Internet Drafts, and a set of examples.


title: Power contours: optimising sample size and precision in experimental psychology and human neuroscience

abstract: When designing experimental studies with human participants, experimenters must decide how many trials each participant will complete, as well as how many participants to test. Most discussion of statistical power (the ability of a study design to detect an effect) has focussed on sample size, and assumed sufficient trials. Here we explore the influence of both factors on statistical power, represented as a two-dimensional plot on which iso-power contours can be visualised. We demonstrate the conditions under which the number of trials is particularly important, i.e. when the within-participant variance is large relative to the between-participants variance. We then derive power contour plots using existing data sets for eight experimental paradigms and methodologies (including reaction times, sensory thresholds, fMRI, MEG, and EEG), and provide example code to calculate estimates of the within- and between-participant variance for each method. In all cases, the within-participant variance was larger than the between-participants variance, meaning that the number of trials has a meaningful influence on statistical power in commonly used paradigms. An online tool is provided (https://shiny.york.ac.uk/powercontours/) for generating power contours, from which the optimal combination of trials and participants can be calculated when designing future studies.


title: Timeline-based planning: Expressiveness and Complexity

abstract: Timeline-based planning is an approach originally developed in the context of space mission planning and scheduling, where problem domains are modelled as systems made of a number of independent but interacting components, whose behaviour over time, the timelines, is governed by a set of temporal constraints. This approach is different from the action-based perspective of common PDDL-like planning languages. Timeline-based systems have been successfully deployed in a number of space missions and other domains. However, despite this practical success, a thorough theoretical understanding of the paradigm was missing. This thesis fills this gap, providing the first detailed account of formal and computational properties of the timeline-based approach to planning. In particular, we show that a particularly restricted variant of the formalism is already expressive enough to compactly capture action-based temporal planning problems. Then, finding a solution plan for a timeline-based planning problem is proved to be EXPSPACE-complete. Then, we study the problem of timeline-based planning with uncertainty, that include external components whose behaviour is not under the control of the planned system. We identify a few issues in the state-of-the-art approach based on flexible plans, proposing timeline-based games, a more general game-theoretic formulation of the problem, that addresses those issues. We show that winning strategies for such games can be found in doubly-exponential time. Then, we study the expressiveness of the formalism from a logic point of view, showing that (most of) timeline-based planning problems can be captured by Bounded TPTL with Past, a fragment of TPTL+P that, unlike the latter, keeps an EXPSPACE satisfiability problem. The logic is introduced and its satisfiabilty problem is solved by extending a recent one-pass tree-shaped tableau method for LTL.


title: The isometries of the space of K\"ahler metrics

abstract: Given a compact K\"ahler manifold, we prove that all global isometries of the space of K\"ahler metrics are induced by biholomorphisms and anti-biholomorphisms of the manifold. In particular, there exist no global symmetries for Mabuchi's metric. Moreover, we show that the Mabuchi completion does not even admit local symmetries. Closely related to these findings, we provide a large class of metric geodesic segments that can not be extended at one end, pointing out the first such examples in the literature.


title: Screening Rules for Lasso with Non-Convex Sparse Regularizers

abstract: Leveraging on the convexity of the Lasso problem , screening rules help in accelerating solvers by discarding irrelevant variables, during the optimization process. However, because they provide better theoretical guarantees in identifying relevant variables, several non-convex regularizers for the Lasso have been proposed in the literature. This work is the first that introduces a screening rule strategy into a non-convex Lasso solver. The approach we propose is based on a iterative majorization-minimization (MM) strategy that includes a screening rule in the inner solver and a condition for propagating screened variables between iterations of MM. In addition to improve efficiency of solvers, we also provide guarantees that the inner solver is able to identify the zeros components of its critical point in finite time. Our experimental analysis illustrates the significant computational gain brought by the new screening rule compared to classical coordinate-descent or proximal gradient descent methods.


title: Optimal Measurement Times for a Small Number of Measures of a Brownian Motion over a Finite Period

abstract: The measure timetable plays a critical role for the accuracy of the estimator. This article deals with the optimization of the schedule of measures for observing a random process in time using a Kalman filter, when the length of the process is finite and fixed, and a fixed number of measures are available. The measuring devices are allowed to differ. The mean variance of the estimator is chosen as criterion for optimality. The cases of $1$ or $2$ measures are studied in detail, and analytical formulas are provided.


title: Making Convex Loss Functions Robust to Outliers using $e$-Exponentiated Transformation

abstract: In this paper, we propose a novel {\em $e$-exponentiated} transformation, $0 \le e<1$, for loss functions. When the transformation is applied to a convex loss function, the transformed loss function become more robust to outliers. Using a novel generalization error bound, we have theoretically shown that the transformed loss function has a tighter bound for datasets corrupted by outliers. Our empirical observation shows that the accuracy obtained using the transformed loss function can be significantly better than the same obtained using the original loss function and comparable to that obtained by some other state of the art methods in the presence of label noise.


title: On Leibniz cohomology

abstract: In this paper we prove the Leibniz analogue of Whitehead's vanishing theorem for the Chevalley-Eilenberg cohomology of Lie algebras. As a consequence, we obtain the second Whitehead lemma for Leibniz algebras. Moreover, we compute the cohomology of several Leibniz algebras with adjoint or irreducible coefficients. Our main tool is a Leibniz analogue of the Hochschild-Serre spectral sequence, which is an extension of (the dual of) a spectral sequence of Pirashvili for Leibniz homology from symmetric bimodules to arbitrary bimodules.


title: Validation of an immersed boundary method for compressible flows

abstract: This paper sums up some recent validations of an immersed boundary method for compressible flow simulations. It has been already shown that this method is able to provide accurate results without meshing effort around more or less complex geometries. Here, the authors focus on several simple test cases to assess the application range of the method. From subsonic to hypersonic flows, from steady to large-eddy unsteady simulations, in 2D or 3D, results are compared to classical simulations with body-fitted meshes and experiment. Moreover, the use of an efficient Navier-Stokes solver for all the cases is part of the benefit of the approach to provide a CFD solution in a reduced time.


title: Atlas-based automated detection of swim bladder in Medaka embryo

abstract: Fish embryo models are increasingly being used both for the assessment of chemicals efficacy and potential toxicity. This article proposes a methodology to automatically detect the swim bladder on 2D images of Medaka fish embryos seen either in dorsal view or in lateral view. After embryo segmentation and for each studied orientation, the method builds an atlas of a healthy embryo. This atlas is then used to define the region of interest and to guide the swim bladder segmentation with a discrete globally optimal active contour. Descriptors are subsequently designed from this segmentation. An automated random forest clas-sifier is built from these descriptors in order to classify embryos with and without a swim bladder. The proposed method is assessed on a dataset of 261 images, containing 202 embryos with a swim bladder (where 196 are in dorsal view and 6 are in lateral view) and 59 without (where 43 are in dorsal view and 16 are in lateral view). We obtain an average precision rate of 95% in the total dataset following 5-fold cross-validation.


title: LISA: a MATLAB package for Longitudinal Image Sequence Analysis

abstract: Large sequences of images (or movies) can now be obtained on an unprecedented scale, which poses fundamental challenges to the existing image analysis techniques. The challenges include heterogeneity, (automatic) alignment, multiple comparisons, potential artifacts, and hidden noises. This paper introduces our MATLAB package, Longitudinal Image Sequence Analysis (LISA), as a one-stop ensemble of image processing and analysis tool for comparing a general class of images from either different times, sessions, or subjects. Given two contrasting sequences of images, the image processing in LISA starts with selecting a region of interest in two representative images, followed by automatic or manual segmentation and registration. Automatic segmentation de-noises an image using a mixture of Gaussian distributions of the pixel intensity values, while manual segmentation applies a user-chosen intensity cut-off value to filter out noises. Automatic registration aligns the contrasting images based on a mid-line regression whereas manual registration lines up the images along a reference line formed by two user-selected points. The processed images are then rendered for simultaneous statistical comparisons to generate D, S, T, and P-maps. The D map represents a curated difference of contrasting images, the S map is the non-parametrically smoothed differences, the T map presents the variance-adjusted, smoothed differences, and the P-map provides multiplicity-controlled p-values. These maps reveal the regions with significant differences due to either longitudinal, subject-specific, or treatment changes. A user can skip the image processing step to dive directly into the statistical analysis step if the images have already been processed. Hence, LISA offers flexibility in applying other image pre-processing tools. LISA also has a parallel computing option for high definition images.


title: Emission-frequency separated high quality single-photon sources enabled by phonons

abstract: We demonstrate theoretically that the single-photon purity of photons emitted from a quantum dot exciton prepared by phonon-assisted off-resonant excitation can be significantly higher in a wide range of parameters than that obtained by resonant preparation for otherwise identical conditions. Despite the off-resonant excitation the brightness stays on a high level. These surprising findings exploit that the phonon-assisted preparation is a two-step process where phonons first lead to a relaxation between laser-dressed states while high exciton occupations are reached only with a delay to the laser pulse maximum by adiabatically undressing the dot states. Due to this delay, possible subsequent processes, in particular multi-photon excitations, appear at a time when the laser pulse is almost gone. The resulting suppression of reexcitation processes increases the single-photon purity. Due to the spectral separation of the signal photons from the laser frequencies this enables the emission of high quality single photons not disturbed by a laser background while taking advantage of the robustness of the phonon assisted scheme.


title: A Fleet of Miniature Cars for Experiments in Cooperative Driving

abstract: We introduce a unique experimental testbed that consists of a fleet of 16 miniature Ackermann-steering vehicles. We are motivated by a lack of available low-cost platforms to support research and education in multi-car navigation and trajectory planning. This article elaborates the design of our miniature robotic car, the Cambridge Minicar, as well as the fleet's control architecture. Our experimental testbed allows us to implement state-of-the-art driver models as well as autonomous control strategies, and test their validity in a real, physical multi-lane setup. Through experiments on our miniature highway, we are able to tangibly demonstrate the benefits of cooperative driving on multi-lane road topographies. Our setup paves the way for indoor large-fleet experimental research.


title: Homogenization of the Poisson equation in a non-periodically perforated domain

abstract: We study the Poisson equation in a perforated domain with homogeneous Dirichlet boundary conditions. The size of the perforations is denoted by $\epsilon$ > 0, and is proportional to the distance between neighbouring perforations. In the periodic case, the homogenized problem (obtained in the limit $\epsilon$ $\rightarrow$ 0) is well understood (see [21]). We extend these results to a non-periodic case which is defined as a localized deformation of the periodic setting. We propose geometric assumptions that make precise this setting, and we prove results which extend those of the periodic case: existence of a corrector, convergence to the homogenized problem, and two-scale expansion.


title: Chordal graphs are easily testable

abstract: We prove that the class of chordal graphs is easily testable in the following sense. There exists a constant $c>0$ such that, if adding/removing at most $\epsilon n^2$ edges to a graph $G$ with $n$ vertices does not make it chordal, then a set of $(1/\epsilon)^c$ vertices of $G$ chosen uniformly at random induces a graph that is not chordal with probability at least $1/2$. This answers a question of Gishboliner and Shapira.


title: On rigidity of trinomial hypersurfaces and factorial trinomial varieties

abstract: Trinomial varieties are affine varieties given by some special system of equations consisting of polynomials with three terms. Such varieties are total coordinate spaces of normal rational varieties with torus action of complexity one. For an affine variety X we consider the subgroup SAut(X) of the automorphism group generated by all algebraic subgroups isomorphic to the additive group of the ground field. An affine variety X is rigid if SAut(X) is trivial. In opposite an affine variety is flexible if SAut(X) acts transitively on the regular locus. Arzhantsev proved a criterium for a factorial trinomial hypersurface to be rigid. We give two generalizations of Arzhantsev's result: a criterium for an arbitrary trinomial hypersurface to be rigid and a criterium for a factorial trinomial variety to be rigid. Also a sufficient condition for a trinomial hypersurface to be flexible is obtained.


title: High-Speed Train Cell-less Network Enabled by XGS-PON and Impacts on vRAN Split Interface Transmission

abstract: We successfully demonstrate a transmission of a high layer split mobile interface for cell-less, high-speed train network applications using a commercially available XGS-PON. Operation is also demonstrated for a GbE interface.


title: Arago spot formation in the time domain

abstract: Using the space-time duality we theoretically and experimentally revisit the Arago spot formation in the time domain and explore the temporal emergence of a bright spot in the time shadow of an initial waveform. We describe the linear regime of propagation using Fresnel's integrals and show that in the presence of Kerr nonlinearity the Arago spot formation is affected depending on the sign of the dispersion. We finally confirm experimentally the Arago spot formation in the time domain using a telecommunication optical fiber platform.


title: Higgs bundles, abelian gerbes and cameral data

abstract: We study the Hitchin map for $G_{\mathbb{R}}$-Higgs bundles on a smooth curve, where $G_{\mathbb{R}}$ is a quasi-split real form of a complex reductive algebraic group $G$. By looking at the moduli stack of regular $G_{\mathbb{R}}$-Higgs bundles, we prove it induces a banded gerbe structure on a slightly larger stack, whose band is given by sheaves of tori. This characterization yields a cocyclic description of the fibres of the corresponding Hitchin map by means of cameral data. According to this, fibres of the Hitchin map are categories of principal torus bundles on the cameral cover. The corresponding points inside the stack of $G$-Higgs bundles are contained in the substack of points fixed by an involution induced by the Cartan involution of $G_{\mathbb{R}}$. We determine this substack of fixed points and prove that stable points are in correspondence with stable $G_{\mathbb{R}}$-Higgs bundles.


title: The First 50 Years of Software Reliability Engineering: A History of SRE with First Person Accounts

abstract: Software Reliability has just passed the 50-year milestone as a technical discipline along with Software Engineering. This paper traces the roots of Software Reliability Engineering (SRE) from its pre-software history to the beginnings of the field with the first software reliability model in 1967 through its maturation in the 1980s to the current challenges in proving application reliability on smartphones and in other areas. This history began as a thesis proposal for a History of Science research program and includes multiple previously unpublished interviews with founders of the field. The project evolved to also provide a survey of the development of SRE from notable prior histories and from citations of new work in the field including reliability applications to Agile Methods. This history concludes at the modern-day providing bookends in the theory, models, literature, and practice of Software Reliability Engineering from 1968 to 2018 and pointing towards new opportunities to deepen and broaden the field.


title: Data Management in Industry 4.0: State of the Art and Open Challenges

abstract: Information and communication technologies are permeating all aspects of industrial and manufacturing systems, expediting the generation of large volumes of industrial data. This article surveys the recent literature on data management as it applies to networked industrial environments and identifies several open research challenges for the future. As a first step, we extract important data properties (volume, variety, traffic, criticality) and identify the corresponding data enabling technologies of diverse fundamental industrial use cases, based on practical applications. Secondly, we provide a detailed outline of recent industrial architectural designs with respect to their data management philosophy (data presence, data coordination, data computation) and the extent of their distributiveness. Then, we conduct a holistic survey of the recent literature from which we derive a taxonomy of the latest advances on industrial data enabling technologies and data centric services, spanning all the way from the field level deep in the physical deployments, up to the cloud and applications level. Finally, motivated by the rich conclusions of this critical analysis, we identify interesting open challenges for future research. The concepts presented in this article thematically cover the largest part of the industrial automation pyramid layers. Our approach is multidisciplinary, as the selected publications were drawn from two fields; the communications, networking and computation field as well as the industrial, manufacturing and automation field. The article can help the readers to deeply understand how data management is currently applied in networked industrial environments, and select interesting open research opportunities to pursue.


title: One dimensional phase-ordering in the Ising model with space decaying interactions

abstract: The study of the phase ordering kinetics of the ferromagnetic one-dimensional Ising model dates back to 1963 for non conserved order parameter (NCOP) and to 1991 for conserved order parameter (COP). The case of long range interactions $J(r)$ has been widely studied at equilibrium but their effect on relaxation is a much less investigated field. Here we make a detailed numerical and analytical study of both cases, NCOP and COP. Many results are valid for any positive, decreasing coupling $J(r)$, but we focus specifically on the exponential case, $J_{exp}(r)=e^{-r/R}$ with varying $R>0$, and on the integrable power law case, $J_{pow}(r) =1/r^{1+\sigma}$ with $\sigma > 0$. We find that the {\it asymptotic} growth law $L(t)$ is the usual algebraic one, $L(t)\sim t^{1/z}$, of the corresponding model with nearest neighborg interaction ($z_{NCOP}=2$ and $z_{COP}=3$) for all models except $J_{pow}$ for small $\sigma$: in the non conserved case when $\sigma\le 1$ ($z_{NCOP}=\sigma+1$) and in the conserved case when $\sigma\to 0^+$ ($z_{COP}=4\beta+3$, where $\beta=1/T$ is the inverse of the absolute temperature). The models with space decaying interactions also differ markedly from the ones with nearest neighbors due to the presence of many long-lasting preasymptotic regimes, such as an exponential mean-field behavior with $L(t)\sim e^{t}$, a ballistic one with $L(t)\sim t$, a slow (logarithmic) behavior $L(t)\sim \ln t$ and one with $L(t)\sim t^{1/\sigma+1}$. All these regimes and their validity ranges have been found analytically and verified in numerical simulations. Our results show that the main effect of the conservation law is a strong slowdown of COP dynamics if interactions have an extended range. Finally, we compare the Ising model at hand with continuum approaches based on a Ginzburg-Landau free energy.


title: Weak Identification and Estimation of Social Interaction Models

abstract: The identification of the network effect is based on either group size variation, the structure of the network or the relative position in the network. I provide easy-to-verify necessary conditions for identification of undirected network models based on the number of distinct eigenvalues of the adjacency matrix. Identification of network effects is possible; although in many empirical situations existing identification strategies may require the use of many instruments or instruments that could be strongly correlated with each other. The use of highly correlated instruments or many instruments may lead to weak identification or many instruments bias. This paper proposes regularized versions of the two-stage least squares (2SLS) estimators as a solution to these problems. The proposed estimators are consistent and asymptotically normal. A Monte Carlo study illustrates the properties of the regularized estimators. An empirical application, assessing a local government tax competition model, shows the empirical relevance of using regularization methods.


title: On the geometric structure ofsome statistical manifolds

abstract: In information geometry, one of the basic problem is to study the geomet-ric properties of statistical manifold. In this paper, we study the geometricstructure of the generalized normal distribution manifold and show that it has constant {\alpha}-Gaussian curvature. Then for any positive integerp, we con-struct ap-dimensional statistical manifold that is {\alpha}-flat.


title: Calibration of the photon spectrometer PHOS of the ALICE experiment

abstract: The procedure for the energy calibration of the high granularity electromagnetic calorimeter PHOS of the ALICE experiment is presented. The methods used to perform the relative gain calibration, to evaluate the geometrical alignment and the corresponding correction of the absolute energy scale, to obtain the nonlinearity correction coefficients and finally, to calculate the time-dependent calibration corrections, are discussed and illustrated by the PHOS performance in proton-proton (pp) collisions at $\sqrt{s}$ = 13 TeV. After applying all corrections, the achieved mass resolutions for $\pi^0$ and $\eta$ mesons for $p_{\rm{T}} > 1.7$ GeV/$c$ are $\sigma_m^{\pi^0} = 4.56 \pm 0.03$ MeV/$c^2$ and $\sigma_m^{\eta} = 15.3 \pm 1.0$ MeV/$c^2$, respectively.


title: Compiled Obfuscation for Data Structures in Encrypted Computing

abstract: Encrypted computing is an emerging technology based on a processor that `works encrypted', taking encrypted inputs to encrypted outputs while data remains in encrypted form throughout. It aims to secure user data against possible insider attacks by the operator and operating system (who do not know the user's encryption key and cannot access it in the processor). Formally `obfuscating' compilation for encrypted computing is such that on each recompilation of the source code, machine code of the same structure is emitted for which runtime traces also all have the same structure but each word beneath the encryption differs from nominal with maximal possible entropy across recompilations. That generates classic cryptographic semantic security for data, relative to the security of the encryption, but it guarantees only single words and an adversary has more than that on which to base decryption attempts. This paper extends the existing integer-based technology to doubles, floats, arrays, structs and unions as data structures, covering ANSI C. A single principle drives compiler design and improves the existing security theory to quantitative results: every arithmetic instruction that writes must vary to the maximal extent possible.


title: Dark Cosmology: Investigating Dark Matter & Exotic Physics in the Dark Ages using the Redshifted 21-cm Global Spectrum

abstract: The Dark Ages, probed by the redshifted 21-cm signal, is the ideal epoch for a new rigorous test of the standard LCDM cosmological model. Divergences from that model would indicate new physics, such as dark matter decay (heating) or baryonic cooling beyond that expected from adiabatic expansion of the Universe. In the early Universe, most of the baryonic matter was in the form of neutral hydrogen (HI), detectable via its ground state's spin-flip transition. A measurement of the redshifted 21-cm spectrum maps the history of the HI gas through the Dark Ages and Cosmic Dawn and up to the Epoch of Reionization (EoR). The Experiment to Detect the Global EoR Signature (EDGES) recently reported an absorption trough at 78 MHz (redshift z of 17), similar in frequency to expectations for Cosmic Dawn, but about 3 times deeper than was thought possible from standard cosmology and adiabatic cooling of HI. Interactions between baryons and slightly-charged dark matter particles with electron-like mass provide a potential explanation of this difference but other cooling mechanisms are also being investigated to explain these results. The Cosmic Dawn trough is affected by cosmology and the complex astrophysical history of the first luminous objects. Another trough is expected during the Dark Ages, prior to the formation of the first stars and thus determined entirely by cosmological phenomena (including dark matter). Observations on or in orbit above the Moon's farside can investigate this pristine epoch (15-40 MHz; z=100-35), which is inaccessible from Earth. A single cross-dipole antenna or compact array can measure the amplitude of the 21-cm spectrum to the level required to distinguish (at >5$\sigma$}) the standard cosmological model from that of additional cooling derived from current EDGES results. This observation constitutes a powerful, clean probe of exotic physics in the Dark Ages.


title: BigEarthNet: A Large-Scale Benchmark Archive For Remote Sensing Image Understanding

abstract: This paper presents the BigEarthNet that is a new large-scale multi-label Sentinel-2 benchmark archive. The BigEarthNet consists of 590,326 Sentinel-2 image patches, each of which is a section of i) 120x120 pixels for 10m bands; ii) 60x60 pixels for 20m bands; and iii) 20x20 pixels for 60m bands. Unlike most of the existing archives, each image patch is annotated by multiple land-cover classes (i.e., multi-labels) that are provided from the CORINE Land Cover database of the year 2018 (CLC 2018). The BigEarthNet is significantly larger than the existing archives in remote sensing (RS) and thus is much more convenient to be used as a training source in the context of deep learning. This paper first addresses the limitations of the existing archives and then describes the properties of the BigEarthNet. Experimental results obtained in the framework of RS image scene classification problems show that a shallow Convolutional Neural Network (CNN) architecture trained on the BigEarthNet provides much higher accuracy compared to a state-of-the-art CNN model pre-trained on the ImageNet (which is a very popular large-scale benchmark archive in computer vision). The BigEarthNet opens up promising directions to advance operational RS applications and research in massive Sentinel-2 image archives.


title: Can We Achieve Fresh Information with Selfish Users in Mobile Crowd-Learning?

abstract: The proliferation of smart mobile devices has spurred an explosive growth of mobile crowd-learning services, where service providers rely on the user community to voluntarily collect, report, and share real-time information for a collection of scattered points of interest. A critical factor affecting the future large-scale adoption of such mobile crowd-learning applications is the freshness of the crowd-learned information, which can be measured by a metric termed ``age-of-information'' (AoI). However, we show that the AoI of mobile crowd-learning could be arbitrarily bad under selfish users' behaviors if the system is poorly designed. This motivates us to design efficient reward mechanisms to incentivize mobile users to report information in time, with the goal of keeping the AoI and congestion level of each PoI low. Toward this end, we consider a simple linear AoI-based reward mechanism and analyze its AoI and congestion performances in terms of price of anarchy (PoA), which characterizes the degradation of the system efficiency due to selfish behavior of users. Remarkably, we show that the proposed mechanism achieves the optimal AoI performance asymptotically in a deterministic scenario. Further, we prove that the proposed mechanism achieves a bounded PoA in general stochastic cases, and the bound only depends on system parameters. Particularly, when the service rates of PoIs are symmetric in stochastic cases, the achieved PoA is upper-bounded by $1/2$ asymptotically. Collectively, this work advances our understanding of information freshness in mobile crowd-learning systems.


title: Scalar Clouds and Quasinormal Modes

abstract: In this thesis, Maggiore's method (MM), which evaluates the transition frequency that appears in the adiabatic invariant from the highly damped quasinormal mode frequencies (QNMFs), is used to investigate the entropy and area spectra of the Garfinkle-Horowitz-Strominger black hole (GHSBH), the four-dimensional Lifshitz black hole with zero dynamical exponent (ZZLBH), and the rotating linear dilaton black hole (RLDBH), respectively. For studying the GHSBH's quantization, instead of ordinary quasinormal modes (QNMs), the boxed QNMs (BQNMs) that are the characteristic resonance spectra of the confined scalar fields in the GHSBH geometry are computed. To this end, it is assumed that the GHSBH has a confining mirror placed in the vicinity of its event horizon. It is then shown how the complex resonance frequencies of this caged black hole (BH) are computed considering the scalar perturbations around the event horizon. Additionally, the resonance modes (RMs) and the RM frequencies (RMFs) of the GHSBH are computed by using the confined scalar waves with high azimuthal quantum number. The entropy and area quantizations are shown to be independent of the GHSBH's parameters, however, both spectra are equally spaced.


title: Robust and fast heart rate variability analysis of long and noisy electrocardiograms using neural networks and images

abstract: Heart rate variability studies depend on the robust calculation of the tachogram, the heart rate times series, usually by the detection of R peaks in the electrocardiogram (ECG). ECGs however are subject to a number of sources of noise which are difficult to filter and therefore reduce the tachogram accuracy. We describe a pipeline for fast calculation of tachograms from noisy ECGs of several hours' length. The pipeline consists of three stages. A neural network (NN) trained to detect R peaks and distinguish these from noise; a measure to robustly detect false positives (FPs) and negatives (FNs) produced by the NN; a simple "alarm" algorithm for automatically removing FPs and interpolating FNs. In addition, we introduce the approach of encoding ECGs, tachograms and other cardiac time series in the form of raster images, which greatly speeds and eases their visual inspection and analysis.


title: Between homeomorphism type and Tukey type

abstract: Call a compact space $X$ pin homogeneous if every two points $a,b$ are pin equivalent, meaning that there exists a compact space $Y$, a quotient map $f\colon Y\to X$, and a homeomorphism $g\colon Y\to Y$ such that $gf^{-1}\{a\}=f^{-1}\{b\}$. We will prove a representation theorem for pin equivalence; transitivity of pin equivalence will be a corollary. Pin homogeneity is strictly weaker than homogeneity and pin equivalence is strictly stronger than Tukey equivalence. Just as with topological homogeneity, no infinite compact $F$-space is pin homogeneous. On the other hand, $X\times 2^{\chi(X)}$ is pin homogeneous for every compact $X$. And there is a compact pin homogeneous space with points of different $\pi$-character.


title: Implications of non-Markovian dynamics on information-driven engine

abstract: The understanding of memory effects arising from the interaction between system and environment is a key for engineering quantum thermodynamic devices beyond the standard Markovian limit. We study the performance of measurement-based thermal machine whose working medium dynamics is subject to backflow of information from the reservoir via collision based model. In this study, the non-Markovian effect is introduced by allowing for additional unitary interactions between the environments. We present two strategies of realizing non-Markovian dynamics and study their influence on the performance of the engine. Moreover, the role of system-environment memory effects on the engine work extraction and information gain through measurement can be beneficial in short time.


title: Non-Empirical Interactions for the Nuclear Shell Model: An Update

abstract: The nuclear shell model has been perhaps the most important conceptual and computational paradigm for the understanding of the structure of atomic nuclei. While the shell model has been predominantly used in a phenomenological context, there have been efforts stretching back over a half century to derive shell model parameters based on a realistic interaction between nucleons. More recently, several ab initio many-body methods---in particular many-body perturbation theory, the no-core shell model, the in-medium similarity renormalization group, and coupled cluster theory---have developed the capability to provide effective shell model Hamiltonians. We provide an update on the status of these methods and investigate the connections between them and potential strengths and weaknesses, with a particular focus on the in-medium similarity renormalization group approach. Three-body forces are demonstrated to be an important ingredient in understanding the modifications needed in phenomenological treatments. We then review some applications of these methods to comparisons with recent experimental measurements, and conclude with some remaining challenges in ab initio shell model theory.


abstract: Sum-Product Networks (SPNs) are hierarchical, graphical models that combine benefits of deep learning and probabilistic modeling. SPNs offer unique advantages to applications demanding exact probabilistic inference over high-dimensional, noisy inputs. Yet, compared to convolutional neural nets, they struggle with capturing complex spatial relationships in image data. To alleviate this issue, we introduce Deep Generalized Convolutional Sum-Product Networks (DGC-SPNs), which encode spatial features in a way similar to CNNs, while preserving the validity of the probabilistic SPN model. As opposed to existing SPN-based image representations, DGC-SPNs allow for overlapping convolution patches through a novel parameterization of dilations and strides, resulting in significantly improved feature coverage and feature resolution. DGC-SPNs substantially outperform other SPN architectures across several visual datasets and for both generative and discriminative tasks, including image inpainting and classification. These contributions are reinforced by the first simple, scalable, and GPU-optimized implementation of SPNs, integrated with the widely used Keras/TensorFlow framework. The resulting model is fully probabilistic and versatile, yet efficient and straightforward to apply in practical applications in place of traditional deep nets.


title: A Little Is Enough: Circumventing Defenses For Distributed Learning

abstract: Distributed learning is central for large-scale training of deep-learning models. However, they are exposed to a security threat in which Byzantine participants can interrupt or control the learning process. Previous attack models and their corresponding defenses assume that the rogue participants are (a) omniscient (know the data of all other participants), and (b) introduce large change to the parameters. We show that small but well-crafted changes are sufficient, leading to a novel non-omniscient attack on distributed learning that go undetected by all existing defenses. We demonstrate our attack method works not only for preventing convergence but also for repurposing of the model behavior (backdooring). We show that 20% of corrupt workers are sufficient to degrade a CIFAR10 model accuracy by 50%, as well as to introduce backdoors into MNIST and CIFAR10 models without hurting their accuracy


title: From self-organization in relativistic electron bunches to coherent synchrotron light: observation using a photonic time-stretch digitizer

abstract: In recent and future synchrotron radiation facilities, relativistic electron bunches with increasingly high charge density are needed for producing brilliant light at various wavelengths, from X-rays to terahertz. In such conditions, interaction of electrons bunches with their own emitted electromagnetic fields leads to instabilities and spontaneous formation of complex spatial structures. Understanding these instabilities is therefore key in most electron accelerators. However, investigations suffer from the lack of non-destructive recording tools for electron bunch shapes. In storage rings, most studies thus focus on the resulting emitted radiation. Here, we present measurements of the electric field in the immediate vicinity of the electron bunch in a storage ring, over many turns. For recording the ultrafast electric field, we designed a photonic time-stretch analog-to-digital converter with terasamples/second acquisition rate. We could thus observe the predicted link between spontaneous pattern formation and giant bursts of coherent synchrotron radiation in a storage ring.


title: Faster Gradient-Free Proximal Stochastic Methods for Nonconvex Nonsmooth Optimization

abstract: Proximal gradient method has been playing an important role to solve many machine learning tasks, especially for the nonsmooth problems. However, in some machine learning problems such as the bandit model and the black-box learning problem, proximal gradient method could fail because the explicit gradients of these problems are difficult or infeasible to obtain. The gradient-free (zeroth-order) method can address these problems because only the objective function values are required in the optimization. Recently, the first zeroth-order proximal stochastic algorithm was proposed to solve the nonconvex nonsmooth problems. However, its convergence rate is $O(\frac{1}{\sqrt{T}})$ for the nonconvex problems, which is significantly slower than the best convergence rate $O(\frac{1}{T})$ of the zeroth-order stochastic algorithm, where $T$ is the iteration number. To fill this gap, in the paper, we propose a class of faster zeroth-order proximal stochastic methods with the variance reduction techniques of SVRG and SAGA, which are denoted as ZO-ProxSVRG and ZO-ProxSAGA, respectively. In theoretical analysis, we address the main challenge that an unbiased estimate of the true gradient does not hold in the zeroth-order case, which was required in previous theoretical analysis of both SVRG and SAGA. Moreover, we prove that both ZO-ProxSVRG and ZO-ProxSAGA algorithms have $O(\frac{1}{T})$ convergence rates. Finally, the experimental results verify that our algorithms have a faster convergence rate than the existing zeroth-order proximal stochastic algorithm.


title: Bulk Fermi surface of the type-II Weyl semimetal candidate NbIrTe$_{4}$

abstract: Recently, a new group of layered transition-metal tetra-chalcogenides were proposed, via first principles calculations, to correspond to a new family of Weyl type-II semimetals with promising topological properties in the bulk as well as in the monolayer limit. In this article, we present measurements of the Shubnikov-de Haas (SdH) and de Haas-van Alphen effects under high magnetic fields for the type-II Weyl semimetallic candidate NbIrTe$_{4}$. We find that the angular dependence of the observed Fermi surface extremal cross-sectional areas agree well with our DFT calculations supporting the existence of Weyl type-II points in this material. Although we observe a large and non-saturating magnetoresistivity in NbIrTe$_{4}$ under fields all the way up to 35 T, Hall-effect measurements indicate that NbIrTe$_{4}$ is not a compensated semimetal. The transverse magnetoresistivity displays a four-fold angular dependence akin to the so-called butterfly magnetoresistivity observed in nodal line semimetals. However, we conclude that its field and this unconventional angular-dependence are governed by the topography of the Fermi-surface and the resulting anisotropy in effective masses and in carrier mobilities.


title: WiSE-ALE: Wide Sample Estimator for Approximate Latent Embedding

abstract: Variational Auto-encoders (VAEs) have been very successful as methods for forming compressed latent representations of complex, often high-dimensional, data. In this paper, we derive an alternative variational lower bound from the one common in VAEs, which aims to minimize aggregate information loss. Using our lower bound as the objective function for an auto-encoder enables us to place a prior on the bulk statistics, corresponding to an aggregate posterior for the entire dataset, as opposed to a single sample posterior as in the original VAE. This alternative form of prior constraint allows individual posteriors more flexibility to preserve necessary information for good reconstruction quality. We further derive an analytic approximation to our lower bound, leading to an efficient learning algorithm - WiSE-ALE. Through various examples, we demonstrate that WiSE-ALE can reach excellent reconstruction quality in comparison to other state-of-the-art VAE models, while still retaining the ability to learn a smooth, compact representation.


title: Characterisation of different stages of hadronic showers using the CALICE Si-W ECAL physics prototype

abstract: A detailed investigation of hadronic interactions is performed using $\pi^-$-mesons with energies in the range 2--10 GeV incident on a high granularity silicon-tungsten electromagnetic calorimeter. The data were recorded at FNAL in 2008. The region in which the $\pi^-$-mesons interact with the detector material and the produced secondary particles are characterised using a novel track-finding algorithm that reconstructs tracks within hadronic showers in a calorimeter in the absence of a magnetic field. The principle of carrying out detector monitoring and calibration using secondary tracks is also demonstrated.


title: Self-supervised Visual Feature Learning with Deep Neural Networks: A Survey

abstract: Large-scale labeled data are generally required to train deep neural networks in order to obtain better performance in visual feature learning from images or videos for computer vision applications. To avoid extensive cost of collecting and annotating large-scale datasets, as a subset of unsupervised learning methods, self-supervised learning methods are proposed to learn general image and video features from large-scale unlabeled data without using any human-annotated labels. This paper provides an extensive review of deep learning-based self-supervised general visual feature learning methods from images or videos. First, the motivation, general pipeline, and terminologies of this field are described. Then the common deep neural network architectures that used for self-supervised learning are summarized. Next, the main components and evaluation metrics of self-supervised learning methods are reviewed followed by the commonly used image and video datasets and the existing self-supervised visual feature learning methods. Finally, quantitative performance comparisons of the reviewed methods on benchmark datasets are summarized and discussed for both image and video feature learning. At last, this paper is concluded and lists a set of promising future directions for self-supervised visual feature learning.


title: Dynamics of 1-D Electron Motion under a Periodic Electric Field with Radiation Reaction Effect

abstract: We consider the 1-D motion of an electron under a periodic force and taking into account the effect of radiation reaction dissipation force on its motion, using the formulation of the radiation reaction force as a function of the external force. Two cases are considered: a simple sinusoidal time depending force, and sinusoidal electromagnetic force with position and time dependence. We found that the difference of the normalized (with respect the speed of light) velocities, with and without radiation reaction, are quite small between $10^{-31}$ to $10^{-14}$ for intensities on the electric field of $10^{-8}$ to 1 $Dynes/ues$, which may represent some concern to measure experimentally.


title: Finding any given 2-factor in sparse pseudorandom graphs efficiently

abstract: Given an $n$-vertex pseudorandom graph $G$ and an $n$-vertex graph $H$ with maximum degree at most two, we wish to find a copy of $H$ in $G$, i.e.\ an embedding $\varphi\colon V(H)\to V(G)$ so that $\varphi(u)\varphi(v)\in E(G)$ for all $uv\in E(H)$. Particular instances of this problem include finding a triangle-factor and finding a Hamilton cycle in $G$. Here, we provide a deterministic polynomial time algorithm that finds a given $H$ in any suitably pseudorandom graph $G$. The pseudorandom graphs we consider are $(p,\lambda)$-bijumbled graphs of minimum degree which is a constant proportion of the average degree, i.e.\ $\Omega(pn)$. A $(p,\lambda)$-bijumbled graph is characterised through the discrepancy property: $\left|e(A,B)-p|A||B|\right |<\lambda\sqrt{|A||B|}$ for any two sets of vertices $A$ and $B$. Our condition $\lambda=O(p^2n/\log n)$ on bijumbledness is within a log factor from being tight and provides a positive answer to a recent question of Nenadov. We combine novel variants of the absorption-reservoir method, a powerful tool from extremal graph theory and random graphs. Our approach is based on that of Nenadov (\emph{Bulletin of the London Mathematical Society}, to appear) and on ours (arXiv:1806.01676), together with additional ideas and simplifications.


title: Rank-finiteness for G-crossed braided fusion categories

abstract: We establish rank-finiteness for the class of $G$-crossed braided fusion categories, generalizing the recent result for modular categories and including the important case of braided fusion categories. This necessitates a study of slightly degenerate braided fusion categories and their centers, which are interesting for their own sake.


title: Vison Crystals in an Extended Kitaev Model on the Honeycomb Lattice

abstract: We introduce an extension of the Kitaev honeycomb model by including four-spin interactions that preserve the local gauge structure and hence the integrability of the original model. The extended model has a rich phase diagram containing five distinct vison crystals, as well as a symmetric $\pi$-flux spin liquid with a Fermi surface of Majorana fermions and a sequence of Lifshitz transitions. We discuss possible experimental signatures and, in particular, present finite-temperature Monte Carlo calculations of the specific heat and the static vison structure factor. We argue that our extended model emerges naturally from generic perturbations to the Kitaev honeycomb model.


title: Prediction of enthalpy for nitrogen gas revised

abstract: It is shown that the energy spectrum of the pure vibrational levels of the molecule consisting of two atoms interacting with each other via the modified Rosen-Morse potential, the analytical expressions for the vibrational partition function and enthalpy of the diatomic molecule, obtained in the paper Prediction of enthalpy for nitrogen gas, M. Deng, C.S. Jia, Evr. Phys. J. Plus 133, 258 (2018), are incorrect.


title: A partition of unity approach to fluid mechanics and fluid-structure interaction

abstract: For problems involving large deformations of thin structures, simulating fluid-structure interaction (FSI) remains challenging largely due to the need to balance computational feasibility, efficiency, and solution accuracy. Overlapping domain techniques have been introduced as a way to combine the fluid-solid mesh conformity, seen in moving-mesh methods, without the need for mesh smoothing or re-meshing, which is a core characteristic of fixed mesh approaches. In this work, we introduce a novel overlapping domain method based on a partition of unity approach. Unified function spaces are defined as a weighted sum of fields given on two overlapping meshes. The method is shown to achieve optimal convergence rates and to be stable for steady-state Stokes, Navier-Stokes, and ALE Navier-Stokes problems. Finally, we present results for FSI in the case of a 2D mock aortic valve simulation. These initial results point to the potential applicability of the method to a wide range of FSI applications, enabling boundary layer refinement and large deformations without the need for re-meshing or user-defined stabilization.


title: Solving the 4NLS with white noise initial data

abstract: We construct global-in-time singular dynamics for the (renormalized) cubic fourth order nonlinear Schr\"odinger equation on the circle, having the white noise measure as an invariant measure. For this purpose, we introduce the "random-resonant / nonlinear decomposition", which allows us to single out the singular component of the solution. Unlike the classical McKean, Bourgain, Da Prato-Debussche type argument, this singular component is nonlinear, consisting of arbitrarily high powers of the random initial data. We also employ a random gauge transform, leading to random Fourier restriction norm spaces. For this problem, a contraction argument does not work and we instead establish convergence of smooth approximating solutions by studying the partially iterated Duhamel formulation under the random gauge transform. We reduce the crucial nonlinear estimates to boundedness properties of certain random multilinear functionals of the white noise.


title: Self-adaptive waveguide boundary for wideband multi-mode four-wave mixing

abstract: We propose a new approach to provide wideband multi-mode four-wave mixing, independent of the intrinsic waveguide dispersion. We adopt concepts from quantum mechanics and sub-wavelength engineering to design an effective photon well, with a graded potential along the waveguide cross section, that provides flexible control over the mode confinement. The self-adaptive nature of the waveguide boundary allows different spatial modes with equi-spaced frequencies and shared propagation wavevector, automatically fulfilling both, energy conservation and wavevector phase matching conditions. Capitalizing on this concept, we show phase-matching among modes separated by 400 nm (bridging from telecom wavelengths to almost 2{\mu}m), with less than 5% deviation in a remarkably large bandwidth exceeding 300 nm. Furthermore, we also show the flexibility of the proposed approach that can be seamlessly adapted to different technology platforms with the same or different waveguide thicknesses. This strategy opens a new design space for versatile nonlinear applications in which the manipulation of energy spacing and phase matching is pivotal, e.g. all-optical signal processing with four-wave mixing, mid-infrared light generation, Brillouin scattering with selectable phonon energy, etc.


title: Robustness and Games Against Nature in Molecular Programming

abstract: Matter, especially DNA, is now programmed to carry out useful processes at the nanoscale. As these programs and processes become more complex and their envisioned safety-critical applications approach deployment, it is essential to develop methods for engineering trustworthiness into molecular programs. Some of this can be achieved by adapting existing software engineering methods, but molecular programming also presents new challenges that will require new methods. This paper presents a method for dealing with one such challenge, namely, the difficulty of ascertaining how robust a molecular program is to perturbations of the relative "clock speeds" of its various reactions. The method proposed here is game-theoretic. The robustness of a molecular program is quantified in terms of its ability to win (achieve its original objective) in games against other molecular programs that manipulate its relative clock speeds. This game-theoretic approach is general enough to quantify the security of a molecular program against malicious manipulations of its relative clock speeds. However, this preliminary report focuses on games against nature, games in which the molecular program's opponent perturbs clock speeds randomly (indifferently) according to the probabilities inherent in chemical kinetics.


title: Modelling cell reactions to ionizing radiation -- from a lesion to a cancer

abstract: This paper focuses on the analytic modelling of responses of cells in the body to ionizing radiation. The related mechanisms are consecutively taken into account and discussed. A model of the dose- and time-dependent adaptive response is considered, for two exposure categories: acute and protracted. In case of the latter exposure, we demonstrate that the response plateaus are expected under the modelling assumptions made. The expected total number of cancer cells as a function of time turns out to be perfectly described by the Gompertz function. The transition from a collection of cancer cells into a tumour is discussed at length. Special emphasis is put on the fact that characterizing the growth of a tumour (i.e., the increasing mass and volume) the use of differential equations cannot properly capture the key dynamics - formation of the tumour must exhibit properties of the phase transition, including self-organization and even self-organized criticality. As an example, a manageable percolation-type phase transition approach is used to address this problem. Nevertheless, general theory of tumour emergence is difficult to work out mathematically because experimental observations are limited to the relatively large tumours. Hence, determination of the conditions around the critical point is uncertain.


title: Understanding the cosmic ray positron flux

abstract: Recent precision measurements of the flux of cosmic ray positrons by the Alpha Magnetic Spectrometer show that the spectrum has a marked softening feature for energies close to one TeV. A possible interpretation of this result is that the observed feature measures the maximum energy of a new hard source of positrons perhaps associated to dark matter self--annihilation or decay, or to positron accelerators. A gradual hardening of the positron flux centered at $E \simeq 25$~GeV can also be understood as the signature of the transition where the new source overtakes the conventional component due to secondary production. This interpretation is simple and attractive, but it is not unique. The alternative possibility, that the positron flux is entirely of secondary origin, remains viable. In such a scenario the spectral softening observed by AMS for positrons is generated by energy loss effects, and a feature of similar, but not identical structure should be also visible in the $e^-$ spectrum. Spectral features similar to both the hardening and softening of the positron flux are in fact observed for electrons and call for a consistent explanation. Precision measurements of the $e^+$ and $e^-$ spectra in the TeV and multi--TeV energy range are crucial to clarify the problem.


title: FDD Massive MIMO Based on Efficient Downlink Channel Reconstruction

abstract: Massive multiple-input multiple-output (MIMO) systems deploying a large number of antennas at the base station considerably increase the spectrum efficiency by serving multiple users simultaneously without causing severe interference. However, the advantage relies on the availability of the downlink channel state information (CSI) of multiple users, which is still a challenge in frequency-division-duplex transmission systems. This paper aims to solve this problem by developing a full transceiver framework that includes downlink channel training (or estimation), CSI feedback, and channel reconstruction schemes. Our framework provides accurate reconstruction results for multiple users with small amounts of training and feedback overhead. Specifically, we first develop an enhanced Newtonized orthogonal matching pursuit (eNOMP) algorithm to extract the frequency-independent parameters (i.e., downtilts, azimuths, and delays) from the uplink. Then, by leveraging the information from these frequency-independent parameters, we develop an efficient downlink training scheme to estimate the downlink channel gains for multiple users. This training scheme offers an acceptable estimation error rate of the gains with a limited pilot amount. Numerical results verify the precision of the eNOMP algorithm and demonstrate that the sum-rate performance of the system using the reconstructed downlink channel can approach that of the system using perfect CSI.


title: Optimal Stopping and Utility in a Simple Model of Unemployment Insurance

abstract: Managing unemployment is one of the key issues in social policies. Unemployment insurance schemes are designed to cushion the financial and morale blow of loss of job but also to encourage the unemployed to seek new jobs more pro-actively due to the continuous reduction of benefit payments. In the present paper, a simple model of unemployment insurance is proposed with a focus on optimality of the individual's entry to the scheme. The corresponding optimal stopping problem is solved, and its similarity and differences with the perpetual American call option are discussed. Beyond a purely financial point of view, we argue that in the actuarial context the optimal decisions should take into account other possible preferences through a suitable utility function. Some examples in this direction are worked out.

categories: q-fin.ST math.OC q-fin.MF stat.AP stat.OT


title: Non-crossing run-and-tumble particles on a line

abstract: We study active particles performing independent run and tumble motion on an infinite line with velocities $v_0 \sigma(t)$, where $\sigma(t) = \pm 1$ is a dichotomous telegraphic noise with constant flipping rate $\gamma$. We first consider one particle in the presence of an absorbing wall at $x=0$ and calculate the probability that it has survived up to time $t$ and is at position $x$ at time $t$. We then consider two particles with independent telegraphic noises and compute exactly the probability that they do not cross up to time $t$. Contrarily to the case of passive (Brownian) particles this two-RTP problem can not be reduced to a single RTP with an absorbing wall. Nevertheless, we are able to compute exactly the probability of no-crossing of two independent RTP's up to time $t$ and find that it decays at large time as $t^{-1/2}$ with an amplitude that depends on the initial condition. The latter allows to define an effective length scale, analogous to the so called `` Milne extrapolation length'' in neutron scattering, which we demonstrate to be a fingerprint of the active dynamics.


title: Revisiting the Heavy Vector Quarkonium Leptonic Widths

abstract: We revisit the heavy quarkonium leptonic decays $\psi(nS) \to \ell^+\ell^-$ and $\Upsilon(nS) \to \ell^+\ell^-$ using the Bethe-Salpeter method. The emphasis is on the relativistic correction. For the $\psi(1S-5S)$ decays, the relativistic effects are $22^{+3}_{-2}\%$, $34^{+5}_{-5}\%$, $41^{+6}_{-6}\%$, $52^{+11}_{-13}\%$ and $62^{+14}_{-12}\%$, respectively. For the $\Upsilon(1S-5S)$ decays, the relativistic effects are $14^{+1}_{-2}\%$, $23^{+0}_{-3}\%$, $20^{+8}_{-2}\%$, $21^{+6}_{-7}\%$ and $28^{+2}_{-7}\%$, respectively. Thus, the relativistic corrections are large and important in heavy quarkonium leptonic decays, especially for the highly excited charmonium. Our results for $\Upsilon(nS) \to \ell^+\ell^-$ are consistent with the experimental data.


title: Iterated Belief Base Revision: A Dynamic Epistemic Logic Approach

abstract: AGM's belief revision is one of the main paradigms in the study of belief change operations. In this context, belief bases (prioritised bases) have been largely used to specify the agent's belief state - whether representing the agent's `explicit beliefs' or as a computational model for her belief state. While the connection of iterated AGM-like operations and their encoding in dynamic epistemic logics have been studied before, few works considered how well-known postulates from iterated belief revision theory can be characterised by means of belief bases and their counterpart in a dynamic epistemic logic. This work investigates how priority graphs, a syntactic representation of preference relations deeply connected to prioritised bases, can be used to characterise belief change operators, focusing on well-known postulates of Iterated Belief Change. We provide syntactic representations of belief change operators in a dynamic context, as well as new negative results regarding the possibility of representing an iterated belief revision operation using transformations on priority graphs.


title: Interlaced Greedy Algorithm for Maximization of Submodular Functions in Nearly Linear Time

abstract: A deterministic approximation algorithm is presented for the maximization of non-monotone submodular functions over a ground set of size $n$ subject to cardinality constraint $k$; the algorithm is based upon the idea of interlacing two greedy procedures. The algorithm uses interlaced, thresholded greedy procedures to obtain tight ratio $1/4 - \epsilon$ in $O \left( \frac{n}{\epsilon} \log \left( \frac{k}{\epsilon} \right) \right)$ queries of the objective function, which improves upon both the ratio and the quadratic time complexity of the previously fastest deterministic algorithm for this problem. The algorithm is validated in the context of two applications of non-monotone submodular maximization, on which it outperforms the fastest deterministic and randomized algorithms in prior literature.


title: Numerical upscaling of the free boundary dam problem in multiscale high-contrast media

abstract: In this paper, we address the numerical homogenization approximation of a free-boundary dam problem posed in a heterogeneous media. More precisely, we propose a generalized multiscale finite element (GMsFEM) method for the heterogeneous dam problem. The motivation of using the GMsFEM approach comes from the multiscale nature of the porous media due to its high-contrast permeability. Thus, although we can classically formulate the free-boundary dam problem as in the homogeneous case, a very high resolution will be needed by a standard finite element approximation in order to obtain realistic results that recover the multiscale nature. First, we introduce a fictitious time variable which motivates a suitable time discretization that can be understood as a fixed point iteration to the steady state solution, and we use a duality method to deal with the involved multivalued nonlinear terms. Next, we compute efficient approximations of the pressure and the saturation by using the GMfsFEM method and we can identify the free boundary. More precisely, the GMsGEM method provides numerical results that capture the behavior of the solution due to the variations of the coefficient at the fine-resolution, by just solving linear systems with size proportional to the number of coarse blocks of a coarse-grid (that does not need to be adapted to the variations of the coefficient). Finally, we present illustrative numerical results to validate the proposed methodology.


title: Probing the Final-stage Progenitor Evolution for Type IIP Supernova 2017eaw in NGC 6946

abstract: We presented a detailed analysis of progenitor properties of type IIP supernova 2017eaw in NGC 6946, based on the pre-explosion images and early-time observations obtained immediately after the explosion. An unusually red star, with M$_{F814W}$ = $-$6.9 mag and m$_{F606W}$$-$ m$_{F814W}=$2.9$\pm$0.2 mag, can be identified at the SN position in the pre-discovery Hubble Space Telescope(HST) images taken in 2016. The observed spectral energy distribution of this star, covering the wavelength of 0.6-2.0$\ \mathrm{\mu m}$, matches that of an M4-type red supergiant (RSG) with a temperature of about 3550 K. These results suggest that SN 2017eaw has a RSG progenitor with an initial mass of 12$\pm$2 M$_\odot$. The absolute F814W-band magnitude of this progenitor star is found to evolve from $-$7.2 mag in 2004 to $-$6.9 mag in 2016. Such a dimming effect is, however, unpredicted for a RSG in its neon/oxygen burning phase when its luminosity should modestly increase. The spectrum of SN 2017eaw taken a few hours after discovery clearly shows a narrow H$_\alpha$ emission feature blueshifted by $\sim$160 km s$^{-1}$. This narrow component disappeared in the spectrum taken two days later, suggesting the presence of a circumstellar material (CSM) shell (i.e., at a distance of $<$2.1-4.3$\times$10$^{14}$ cm). Combining the inferred distance with the expansion velocity of the CSM, we suggest that the progenitor of SN 2017eaw should have experienced violent mass loss at about 1-2 years prior to explosion, perhaps invoked by pulsational envelop ejection. This mechanism may help explain its luminosity decline in 2016 as well as the lack of detections of RSGs with initial mass in the range of 17 M$_\odot<$ M $<$ 25 M$_\odot$ as progenitors of SNe IIP.


title: Structured Group Local Sparse Tracker

abstract: Sparse representation is considered as a viable solution to visual tracking. In this paper, we propose a structured group local sparse tracker (SGLST), which exploits local patches inside target candidates in the particle filter framework. Unlike the conventional local sparse trackers, the proposed optimization model in SGLST not only adopts local and spatial information of the target candidates but also attains the spatial layout structure among them by employing a group-sparsity regularization term. To solve the optimization model, we propose an efficient numerical algorithm consisting of two subproblems with the closed-form solutions. Both qualitative and quantitative evaluations on the benchmarks of challenging image sequences demonstrate the superior performance of the proposed tracker against several state-of-the-art trackers.


title: A Statistical Analysis of Noisy Crowdsourced Weather Data

abstract: Spatial prediction of weather-elements like temperature, precipitation, and barometric pressure are generally based on satellite imagery or data collected at ground-stations. None of these data provide information at a more granular or "hyper-local" resolution. On the other hand, crowdsourced weather data, which are captured by sensors installed on mobile devices and gathered by weather-related mobile apps like WeatherSignal and AccuWeather, can serve as potential data sources for analyzing environmental processes at a hyper-local resolution. However, due to the low quality of the sensors and the non-laboratory environment, the quality of the observations in crowdsourced data is compromised. This paper describes methods to improve hyper-local spatial prediction using this varying-quality noisy crowdsourced information. We introduce a reliability metric, namely Veracity Score (VS), to assess the quality of the crowdsourced observations using a coarser, but high-quality, reference data. A VS-based methodology to analyze noisy spatial data is proposed and evaluated through extensive simulations. The merits of the proposed approach are illustrated through case studies analyzing crowdsourced daily average ambient temperature readings for one day in the contiguous United States.


title: Complex tori, theta groups and their Jordan properties

abstract: We prove that an analogue of Jordan's theorem on finite subgroups of general linear groups does not hold for the group of bimeromorphic automorphisms of a product of the complex projective line and a complex torus of positive algebraic dimension.


title: IceCube Sterile Neutrino Searches

abstract: Anomalies in short baseline experiments have been interpreted as evidence for additional neutrino mass states with large mass splittings from the known, active flavors. This explanation mandates a corresponding signature in the muon neutrino disappearance channel, which has yet to be observed. Searches for muon neutrino disappearance at the IceCube neutrino telescope presently provide the strongest limits in the space of mixing angles for eV-scale sterile neutrinos. This proceeding for the Very Large Volume Neutrino Telescopes (VLVnT) Workshop summarizes the IceCube analyses that have searched for sterile neutrinos and describes ongoing work toward enhanced, high-statistics sterile neutrino searches.


title: Transversality Properties: Primal Sufficient Conditions

abstract: The paper studies 'good arrangements' (transversality properties) of collections of sets in a normed vector space near a given point in their intersection. We target primal (metric and slope) characterizations of transversality properties in the nonlinear setting. The Holder case is given a special attention. Our main objective is not formally extending our earlier results from the Holder to a more general nonlinear setting, but rather to develop a general framework for quantitative analysis of transversality properties. The nonlinearity is just a simple setting, which allows us to unify the existing results on the topic. Unlike the well-studied subtransversality property, not many characterizations of the other two important properties: semitransversality and transversality have been known even in the linear case. Quantitative relations between nonlinear transversality properties and the corresponding regularity properties of set-valued mappings as well as nonlinear extensions of the new transversality properties of a set-valued mapping to a set in the range space due to Ioffe are also discussed.


title: Basic Kirwan injectivity and its applications

abstract: Consider the Hamiltonian action of a torus on a transversely symplectic foliation that is also Riemannian. When the transverse hard Lefschetz property is satisfied, we establish a foliated version of the Kirwan injectivity theorem, and use it to study Hamiltonian torus actions on transversely K\"ahler foliations. Among other things, we prove a foliated analogue of the Carrell--Liberman theorem. As an application, this confirms a conjecture raised by Battaglia--Zaffran on the basic Hodge numbers of symplectic toric quasifolds. Our methods also allow us to present a symplectic approach to the calculation of the Betti numbers of symplectic toric quasifolds as diffeological spaces.


title: Collaborative Similarity Embedding for Recommender Systems

abstract: We present collaborative similarity embedding (CSE), a unified framework that exploits comprehensive collaborative relations available in a user-item bipartite graph for representation learning and recommendation. In the proposed framework, we differentiate two types of proximity relations: direct proximity and k-th order neighborhood proximity. While learning from the former exploits direct user-item associations observable from the graph, learning from the latter makes use of implicit associations such as user-user similarities and item-item similarities, which can provide valuable information especially when the graph is sparse. Moreover, for improving scalability and flexibility, we propose a sampling technique that is specifically designed to capture the two types of proximity relations. Extensive experiments on eight benchmark datasets show that CSE yields significantly better performance than state-of-the-art recommendation methods.


title: Asymmetries of anti-triplet charmed baryon decays

abstract: We analyze the decay processes of ${\bf B}_c \to {\bf B}_n M$ with the $SU(3)_F$ flavor symmetry and spin-dependent amplitudes, where ${\bf B}_c({\bf B}_n)$ and $M$ are the anti-triplet charmed (octet) baryon and nonet meson states, respectively. In the $SU(3)_F$ approach, it is the first time that the decay rates and up-down asymmetries are fully and systematically studied without neglecting the ${\cal O}(\overline{15})$ contributions of the color anti-symmetric parts in the effective Hamiltonian. Our results of the up-down asymmetries based on $SU(3)_F$ are quite different from the previous theoretical values in the literature. In particular, we find that the up-down symmetry of $ \alpha(\Lambda_c^+\to \Xi^0 K^+)_{SU(3)} = 0.94^{+0.06}_{-0.11}$, which is consistent with the recent experimental data of $0.77\pm0.78$ by the BESIII Collaboration, but predicted to be zero in the literature. We also examine the $K_S^0-K_L^0$ asymmetries between the decays of ${\bf B}_c \to {\bf B}_n K_S^0$ and ${\bf B}_c \to {\bf B}_n K_L^0$ with both Cabibbo-allowed and doubly Cabibbo-suppressed transitions.


title: Linear motion planning with controlled collisions and pure planar braids

abstract: We compute the Lusternik-Schnirelmann category (LS-cat) and the higher topological complexity ($TC_s$, $s\geq2$) of the "no-$k$-equal" configuration space Conf$_k(\mathbb{R},n)$. This yields (with $k=3$) the LS-cat and the higher topological complexity of Khovanov's group PP$_n$ of pure planar braids on $n$ strands, which is an $\mathbb{R}$-analogue of Artin's classical pure braid group on $n$ strands. Our methods can be used to describe optimal motion planners for PP$_n$ provided $n$ is small.


title: Bi-warped product submanifolds of nearly Kaehler manifolds

abstract: We study bi-warped product submanifolds of nearly Kaehler manifolds which are the natural extension of warped products. We prove that every bi-warped product submanifold of the form $M=M_T\times_{f_1}\! M_\perp\times_{f_2}\! M_\theta$ in a nearly Kaehler manifold satisfies the following sharp inequality: $$\|h\|^2\geq 2p\|\nabla (\ln f_1)\|^2+4q\left(1+{\small \frac{10}{9}}\cot^2\theta\right)\|\nabla(\ln f_2)\|^2,$$ where $p=\dim M_\perp$, $q=\frac{1}{2}\dim M_\theta$, and $f_1,\,f_2$ are smooth positive functions on $M_T$. We also investigate the equality case of this inequality. Further, some applications of this inequality are also given.