title: Gaia Stellar Kinematics in the Head of the Orion A Cloud: Runaway Stellar Groups and Gravitational Infall

abstract: This work extends previous kinematic studies of young stars in the Head of the Orion A cloud (OMC-1/2/3/4/5). It is based on large samples of infrared, optical, and X-ray selected pre-main sequence stars with reliable radial velocities and Gaia-derived parallaxes and proper motions. Stellar kinematic groups are identified assuming they mimic the motion of their parental gas. Several groups are found to have peculiar kinematics: the NGC 1977 cluster and two stellar groups in the Extended Orion Nebula (EON) cavity are caught in the act of departing their birthplaces. The abnormal motion of NGC 1977 may have been caused by a global hierarchical cloud collapse, feedback by massive Ori OB1ab stars, supersonic turbulence, cloud-cloud collision, and/or slingshot effect; the former two models are favored by us. EON groups might have inherited anomalous motions of their parental cloudlets due to small-scale `rocket effects' from nearby OB stars. We also identify sparse stellar groups to the east and west of Orion A that are drifting from the central region, possibly a slowly expanding halo of the Orion Nebula Cluster. We confirm previously reported findings of varying line-of-sight distances to different parts of the cloud's Head with associated differences in gas velocity. Three-dimensional movies of star kinematics show contraction of the groups of stars in OMC-1 and global contraction of OMC-123 stars. Overall, the Head of Orion A region exhibits complex motions consistent with theoretical models involving hierarchical gravitational collapse in (possibly turbulent) clouds with OB stellar feedback.


title: A Single SMC Sampler on MPI that Outperforms a Single MCMC Sampler

abstract: Markov Chain Monte Carlo (MCMC) is a well-established family of algorithms which are primarily used in Bayesian statistics to sample from a target distribution when direct sampling is challenging. Single instances of MCMC methods are widely considered hard to parallelise in a problem-agnostic fashion and hence, unsuitable to meet both constraints of high accuracy and high throughput. Sequential Monte Carlo (SMC) Samplers can address the same problem, but are parallelisable: they share with Particle Filters the same key tasks and bottleneck. Although a rich literature already exists on MCMC methods, SMC Samplers are relatively underexplored, such that no parallel implementation is currently available. In this paper, we first propose a parallel MPI version of the SMC Sampler, including an optimised implementation of the bottleneck, and then compare it with single-core Metropolis-Hastings. The goal is to show that SMC Samplers may be a promising alternative to MCMC methods with high potential for future improvements. We demonstrate that a basic SMC Sampler with 512 cores is up to 85 times faster or up to 8 times more accurate than Metropolis-Hastings.


title: Detection of Thalassaemia Carriers by Automated Feature Extraction of Dried Blood Drops

abstract: Thalassaemia, triggered by defects in the globin genes, is one of the most common monogenic diseases. The beta-thalassaemia carrier state is clinically asymptomatic, thus, making it onerous to diagnose. The current gold standard technique is implausible to be used for onsite carrier detection as the method necessitates expensive instruments, skilled manpower and time. In this study, we have tried to classify the carriers from the healthy samples based on their blood droplet drying patterns using image analysis based tools and subsequently develop an in-house program for automated classification of the same. This automatic, rapid, less laborious and cost-effective technique will significantly increase the total number of carriers that are screened for thalassaemia per year in the country, thus, reducing the burden in the state run advanced health facilities.


title: Entropy-based Motion Intention Identification for Brain-Computer Interface

abstract: The identification of intentionally delivered commands is a challenge in Brain Computer Interfaces (BCIs) based on Sensory-Motor Rhythms (SMR). It is of fundamental importance that BCI systems controlling a robotic device (i.e., upper limb prosthesis) are capable of detecting if the user is in the so called Intentional Non-Control (INC) state (i.e., holding the prosthesis in a given position). In this work, we propose a novel approach based on the entropy of the Electroencephalogram (EEG) signals to provide a continuous identification of motion intention. Results from ten healthy subjects suggest that the proposed system can be used for reliably predicting motion in real-time at a framerate of 8 Hz with $80\% \pm 5\%$ of accuracy. Moreover, motion intention can be detected more than 1 second before muscular activation with an average accuracy of $76\% \pm 11\%$.


title: Making Speculative BFT Resilient with Trusted Monotonic Counters

abstract: Consensus mechanisms used by popular distributed ledgers are highly scalable but notoriously inefficient. Byzantine fault tolerance (BFT) protocols are efficient but far less scalable. Speculative BFT protocols such as Zyzzyva and Zyzzyva5 are efficient and scalable but require a trade-off: Zyzzyva requires only $3f + 1$ replicas to tolerate $f$ faults, but even a single slow replica will make Zyzzyva fall back to more expensive non-speculative operation. Zyzzyva5 does not require a non-speculative fallback, but requires $5f + 1$ replicas in order to tolerate $f$ faults. BFT variants using hardware-assisted trusted components can tolerate a greater proportion of faults, but require that every replica have this hardware. We present SACZyzzyva, addressing these concerns: resilience to slow replicas and requiring only $3f + 1$ replicas, with only one replica needing an active monotonic counter at any given time. We experimentally evaluate our protocols, demonstrating low latency and high scalability. We prove that SACZyzzyva is optimally robust and that trusted components cannot increase fault tolerance unless they are present in greater than two-thirds of replicas.


title: Recollements, comma categories and morphic enhancements

abstract: For each recollement of triangulated categories, there is an epivalence between the middle category and the comma category associated to a triangle functor from the category on the right to the category on the left. For a morphic enhancement of a triangulated category $\mathcal{T}$, there are three explicit ideals of the enhancing category, whose corresponding factor categories are all equivalent to the module category over $\mathcal{T}$. Examples related to inflation categories and weighted projective lines are discussed.


title: Rank3DGAN: Semantic mesh generation using relative attributes

abstract: In this paper, we investigate a novel problem of using generative adversarial networks in the task of 3D shape generation according to semantic attributes. Recent works map 3D shapes into 2D parameter domain, which enables training Generative Adversarial Networks (GANs) for 3D shape generation task. We extend these architectures to the conditional setting, where we generate 3D shapes with respect to subjective attributes defined by the user. Given pairwise comparisons of 3D shapes, our model performs two tasks: it learns a generative model with a controlled latent space, and a ranking function for the 3D shapes based on their multi-chart representation in 2D. The capability of the model is demonstrated with experiments on HumanShape, Basel Face Model and reconstructed 3D CUB datasets. We also present various applications that benefit from our model, such as multi-attribute exploration, mesh editing, and mesh attribute transfer.


title: Exploring CEvNS with NUCLEUS at the Chooz Nuclear Power Plant

abstract: Coherent elastic neutrino-nucleus scattering (CE$\nu$NS) offers a unique way to study neutrino properties and to search for new physics beyond the Standard Model. Nuclear reactors are promising sources to explore this process at low energies since they deliver large fluxes of (anti-)neutrinos with typical energies of a few MeV. In this paper, a new-generation experiment to study CE$\nu$NS is described. The NUCLEUS experiment will use cryogenic detectors which feature an unprecedentedly low energy threshold and a time response fast enough to be operated in above-ground conditions. Both sensitivity to low-energy nuclear recoils and a high event rate tolerance are stringent requirements to measure CE$\nu$NS of reactor antineutrinos. A new experimental site, denoted the Very-Near-Site (VNS) at the Chooz nuclear power plant in France is described. The VNS is located between the two 4.25 GW$_{\mathrm{th}}$ reactor cores and matches the requirements of NUCLEUS. First results of on-site measurements of neutron and muon backgrounds, the expected dominant background contributions, are given. In this paper a preliminary experimental setup with dedicated active and passive background reduction techniques is presented. Furthermore, the feasibility to operate the NUCLEUS detectors in coincidence with an active muon-veto at shallow overburden is studied. The paper concludes with a sensitivity study pointing out the promising physics potential of NUCLEUS at the Chooz nuclear power plant.


title: Dichotomize and Generalize: PAC-Bayesian Binary Activated Deep Neural Networks

abstract: We present a comprehensive study of multilayer neural networks with binary activation, relying on the PAC-Bayesian theory. Our contributions are twofold: (i) we develop an end-to-end framework to train a binary activated deep neural network, (ii) we provide nonvacuous PAC-Bayesian generalization bounds for binary activated deep neural networks. Our results are obtained by minimizing the expected loss of an architecture-dependent aggregation of binary activated deep neural networks. Our analysis inherently overcomes the fact that binary activation function is non-differentiable. The performance of our approach is assessed on a thorough numerical experiment protocol on real-life datasets.


title: A comparison of dynamical fluctuations of biased diffusion and run-and-tumble dynamics in one dimension

abstract: We compare the fluctuations in the velocity and in the fraction of time spent at a given position for minimal models of a passive and an active particle: an asymmetric random walker and a run-and-tumble particle in continuous time and on a 1D lattice. We compute rate functions and effective dynamics conditioned on large deviations for these observables. While generally different, for a unique and non-trivial choice of rates (up to a rescaling of time) the velocity rate functions for the two models become identical, whereas the effective processes generating the fluctuations remain distinct. This equivalence coincides with a remarkable parity of the spectra of the processes' generators. For the occupation-time problem, we show that both the passive and active particles undergo a prototypical dynamical phase transition when the average velocity is non-vanishing in the long-time limit.


title: Approximation Ratios of Graph Neural Networks for Combinatorial Problems

abstract: In this paper, from a theoretical perspective, we study how powerful graph neural networks (GNNs) can be for learning approximation algorithms for combinatorial problems. To this end, we first establish a new class of GNNs that can solve a strictly wider variety of problems than existing GNNs. Then, we bridge the gap between GNN theory and the theory of distributed local algorithms. We theoretically demonstrate that the most powerful GNN can learn approximation algorithms for the minimum dominating set problem and the minimum vertex cover problem with some approximation ratios with the aid of the theory of distributed local algorithms. We also show that most of the existing GNNs such as GIN, GAT, GCN, and GraphSAGE cannot perform better than with these ratios. This paper is the first to elucidate approximation ratios of GNNs for combinatorial problems. Furthermore, we prove that adding coloring or weak-coloring to each node feature improves these approximation ratios. This indicates that preprocessing and feature engineering theoretically strengthen model capabilities.


title: Maximal energy extraction via quantum measurement

abstract: We study the maximal amount of energy that can be extracted from a finite quantum system by means of projective measurements. For this quantity we coin the expression "metrotropy" $\mathcal{M}$, in analogy with "ergotropy" $\mathcal{W}$, which is the maximal amount of energy that can be extracted by means of unitary operations. The study is restricted to the case when the system is initially in a stationary state, and therefore the ergotropy is achieved by means of a permutation of the energy eigenstates. We show that i) the metrotropy is achieved by means of an even combination of the identity and an involution permutation; ii) it is $\mathcal{M}\leq\mathcal{W}/2$, with the bound being saturated when the permutation that achieves the ergotropy is an involution.


title: Nonlinear wave-mechanical effects in Korteweg fluid magma transport

abstract: Statistical mechanics arguments and Madelung hydrodynamical presentation are applied to the transport of magma in volcanic conduits. An effective wave equation with logarithmic nonlinearity becomes apparent in systems of this kind, which describes the flow of a two-phase barotropic Korteweg fluid with capillarity, and allows multiple eigensolutions thus leading to wave-mechanical effects. We study spontaneous symmetry breaking in the erupting lava which flows up the conduit, so that fluid fragmentation and nucleation of density inhomogeneities occur; therefore, changing temperature can trigger a transition between the "magma-dissolved gas" fluid and magmatic foam phases. This phase structure is studied by both analytical and numerical methods. In the fluid phase, cell-like inhomogeneities occur which are described by solitary wave solutions with a Gaussian density profile; we derive the many-body interaction potential for these inhomogeneities. For the foam phase, we demonstrate existence of topological kink solitons which describe bubble-type inhomogeneities; their stability is ensured by the conservation of a topological charge.


title: Explicitizing an Implicit Bias of the Frequency Principle in Two-layer Neural Networks

abstract: It remains a puzzle that why deep neural networks (DNNs), with more parameters than samples, often generalize well. An attempt of understanding this puzzle is to discover implicit biases underlying the training process of DNNs, such as the Frequency Principle (F-Principle), i.e., DNNs often fit target functions from low to high frequencies. Inspired by the F-Principle, we propose an effective model of linear F-Principle (LFP) dynamics which accurately predicts the learning results of two-layer ReLU neural networks (NNs) of large widths. This LFP dynamics is rationalized by a linearized mean field residual dynamics of NNs. Importantly, the long-time limit solution of this LFP dynamics is equivalent to the solution of a constrained optimization problem explicitly minimizing an FP-norm, in which higher frequencies of feasible solutions are more heavily penalized. Using this optimization formulation, an a priori estimate of the generalization error bound is provided, revealing that a higher FP-norm of the target function increases the generalization error. Overall, by explicitizing the implicit bias of the F-Principle as an explicit penalty for two-layer NNs, our work makes a step towards a quantitative understanding of the learning and generalization of general DNNs.


title: General Toeplitz matrices subject to Gaussian perturbations

abstract: We study the spectra of general $N\times N$ Toeplitz matrices given by symbols in the Wiener Algebra perturbed by small complex Gaussian random matrices, in the regime $N\gg 1$. We prove an asymptotic formula for the number of eigenvalues of the perturbed matrix in smooth domains. We show that these eigenvalues follow a Weyl law with probability sub-exponentially close to $1$, as $N\gg1$, in particular that most eigenvalues of the perturbed Toeplitz matrix are close to the curve in the complex plane given by the symbol of the unperturbed Toeplitz matrix.


title: Monte Carlo modelling of particle acceleration in collisionless shocks with an effective mean electric field

abstract: Relativistic particle acceleration in collisionless shocks of supernova remnants is accompanied by magnetic field amplification from cosmic ray (CR) driven plasma instabilities. Bell's fast CR-current instability is predicted to produce turbulence with a non-zero mean electric field in the shock precursor. We present a Monte Carlo model of Fermi shock acceleration explicitly taking into account an effective mean upstream electric field. Our model is nonlinear and includes the backreaction effects of efficient Fermi acceleration on the shock structure.


title: Extended Scale-Free Networks

abstract: Recently, Broido & Clauset (2019) mentioned that (strict) Scale-Free networks were rare, in real life. This might be related to the statement of Stumpf, Wiuf & May (2005), that sub-networks of scale-free networks are not scale-free. In the later, those sub-networks are asymptotically scale-free, but one should not forget about second-order deviation (possibly also third order actually). In this article, we introduce a concept of extended scale-free network, inspired by the extended Pareto distribution, that actually is maybe more realistic to describe real network than the strict scale free property. This property is consistent with Stumpf, Wiuf & May (2005): sub-network of scale-free larger networks are not strictly scale-free, but extended scale-free.


title: Loss Surface Modality of Feed-Forward Neural Network Architectures

abstract: It has been argued in the past that high-dimensional neural networks do not exhibit local minima capable of trapping an optimisation algorithm. However, the relationship between loss surface modality and the neural architecture parameters, such as the number of hidden neurons per layer and the number of hidden layers, remains poorly understood. This study employs fitness landscape analysis to study the modality of neural network loss surfaces under various feed-forward architecture settings. An increase in the problem dimensionality is shown to yield a more searchable and more exploitable loss surface. An increase in the hidden layer width is shown to effectively reduce the number of local minima, and simplify the shape of the global attractor. An increase in the architecture depth is shown to sharpen the global attractor, thus making it more exploitable.


title: Evolutionary dynamics with game transitions

abstract: The environment has a strong influence on a population's evolutionary dynamics. Driven by both intrinsic and external factors, the environment is subject to continual change in nature. To capture an ever-changing environment, we consider a model of evolutionary dynamics with game transitions, where individuals' behaviors together with the games they play in one time step influence the games to be played next time step. Within this model, we study the evolution of cooperation in structured populations and find a simple rule: weak selection favors cooperation over defection if the ratio of the benefit provided by an altruistic behavior, $b$, to the corresponding cost, $c$, exceeds $k-k'$, where $k$ is the average number of neighbors of an individual and $k'$ captures the effects of the game transitions. Even if cooperation cannot be favored in each individual game, allowing for a transition to a relatively valuable game after mutual cooperation and to a less valuable game after defection can result in a favorable outcome for cooperation. In particular, small variations in different games being played can promote cooperation markedly. Our results suggest that simple game transitions can serve as a mechanism for supporting prosocial behaviors in highly-connected populations.


title: Performance-Feedback Autoscaling with Budget Constraints for Cloud-based Workloads of Workflows

abstract: The growing popularity of workflows in the cloud domain promoted the development of sophisticated autoscaling policies that allow automatic allocation and deallocation of resources. However, many state-of-the-art autoscaling policies for workflows are mostly plan-based or designed for batches (ensembles) of workflows. This reduces their flexibility when dealing with workloads of workflows, as the workloads are often subject to unpredictable resource demand fluctuations. Moreover, autoscaling in clouds almost always imposes budget constraints that should be satisfied. The budget-aware autoscalers for workflows usually require task runtime estimates to be provided beforehand, which is not always possible when dealing with workloads due to their dynamic nature. To address these issues, we propose a novel Performance-Feedback Autoscaler (PFA) that is budget-aware and does not require task runtime estimates for its operation. Instead, it uses the performance-feedback loop that monitors the average throughput on each resource type. We implement PFA in the popular Apache Airflow workflow management system, and compare the performance of our autoscaler with other two state-of-the-art autoscalers, and with the optimal solution obtained with the Mixed Integer Programming approach. Our results show that PFA outperforms other considered online autoscalers, as it effectively minimizes the average job slowdown by up to 47% while still satisfying the budget constraints. Moreover, PFA shows by up to 76% lower average runtime than the competitors.


title: Convergence Guarantees for Adaptive Bayesian Quadrature Methods

abstract: Adaptive Bayesian quadrature (ABQ) is a powerful approach to numerical integration that empirically compares favorably with Monte Carlo integration on problems of medium dimensionality (where non-adaptive quadrature is not competitive). Its key ingredient is an acquisition function that changes as a function of previously collected values of the integrand. While this adaptivity appears to be empirically powerful, it complicates analysis. Consequently, there are no theoretical guarantees so far for this class of methods. In this work, for a broad class of adaptive Bayesian quadrature methods, we prove consistency, deriving non-tight but informative convergence rates. To do so we introduce a new concept we call weak adaptivity. Our results identify a large and flexible class of adaptive Bayesian quadrature rules as consistent, within which practitioners can develop empirically efficient methods.


title: Exploring Evolving Plants as Interacting Particles in a Randomly Generated Heterogeneous Environment

abstract: We model evolution of plants in a world, made up of different locations, with multiple environments (mutually exclusive and collectively exhaustive subsets of locations). Each environment (landmass) has temperature, rainfall, and other attributes that directly affect plant growth and reproduction. Each plant has preferences for environment attributes. Depending on how suitable the environment is to the plants, seeds are released or death occurs. With every reproductive cycle, genetic mutations occur. To model competition, plants in compete for survival, and success is stochastically dependent on environmental fitness. Our model determines whether and how evolution occurs, and how the attributes of plants change and possibly converge over time in relation to the attributes of the environment.


title: Quantitative normal approximation for sums of random variables with multilevel local dependence structure

abstract: We establish a quantitative normal approximation result for sums of random variables with multilevel local dependencies. As a corollary, we obtain a quantitative normal approximation result for linear functionals of random fields which may be approximated well by random fields with finite dependency range. Such random fields occur for example in the homogenization of linear elliptic equations with random coefficient fields. In particular, our result allows for the derivation of a quantitative normal approximation result for the approximation of effective coefficients in stochastic homogenization in the setting of coefficient fields with finite range of dependence. The proof of our normal approximation theorem is based on a suitable adaption of Stein's method and requires a different estimation strategy for terms originating from long-range dependencies as opposed to terms stemming from short-range dependencies.


title: Universal Bounds and Monotonicity Properties of Ratios of Hermite and Parabolic Cylinder Functions

abstract: We obtain so far unproved properties of a ratio involving a class of Hermite and parabolic cylinder functions. Those ratios are shown to be strictly decreasing and bounded by universal constants. Differently to usual analytic approaches, we employ simple purely probabilistic arguments to derive our results. In particular, we exploit the relation between Hermite and parabolic cylinder functions and the eigenfunctions of the infinitesimal generator of the Ornstein-Uhlenbeck process. As a byproduct, we obtain Tur\'an type inequalities.


title: 2-irreducible and strongly 2-irreducible submodules of a module

abstract: Let R be a commutative ring with identity and M be an R-module. In this paper, we will introduce the concept of 2-irreducible (resp., strongly 2- irreducible) submodules of M as a generalization of irreducible (resp., strongly irreducible) submodules of M and investigated some properties of these classes of modules.


title: A study on dynamical complexity of noise induced blood flow

abstract: In this article, the dynamics and complexity of a noise induced blood flow system have been investigated. Changes in the dynamics have been recognized by measuring the periodicity over significant parameters. Chaotic as well as non-chaotic regimes have also been classified. Further, dynamical complexity has been studied by phase space based weighted entropy. Numerical results show a strong correlation between the dynamics and complexity of the noise induced system. The correlation has been confirmed by a cross-correlation analysis.


title: Toposes of Discrete Monoid Actions

abstract: Properties of toposes of right $M$-sets are studied, and these toposes are characterised up to equivalence by their canonical points. The solution to the corresponding Morita equivalence problem is presented in the form of an equivalence between a 2-category of monoids and the corresponding 2-category of toposes.


title: Resolved energy budget of superstructures in Rayleigh-B\'{e}nard convection

abstract: Turbulent superstructures, i.e. large-scale flow structures in turbulent flows, play a crucial role in many geo- and astrophysical settings. In turbulent Rayleigh-B\'{e}nard convection, for example, horizontally extended coherent large-scale convection rolls emerge. Currently, a detailed understanding of the interplay of small-scale turbulent fluctuations and large-scale coherent structures is missing. Here, we investigate the resolved kinetic energy and temperature variance budgets by applying a filtering approach to direct numerical simulations of Rayleigh-B\'{e}nard convection at high aspect ratio. In particular, we focus on the energy transfer rate between large-scale flow structures and small-scale fluctuations. We show that the small scales primarily act as a dissipation for the superstructures. However, we find that the height-dependent energy transfer rate has a complex structure with distinct bulk and boundary layer features. Additionally, we observe that the heat transfer between scales mainly occurs close to the thermal boundary layer. Our results clarify the interplay of superstructures and turbulent fluctuations and may help to guide the development of an effective description of large-scale flow features in terms of reduced-order models.


title: Momentum-space geometric structure of helical evanescent waves and its implications on near-field directionality

abstract: In this work, a momentum-space geometrical structure in helical evanescent electromagnetic waves is revealed. It is shown that for every helical evanescent wave on a helicity-dependent half tangent line in momentum space, the orientation of each of its field, spin, and Poynting vectors is the same. This geometric structure reveals itself as a remarkable relation between the far-field and near-field components of the angular spectrum. Any general evanescent wavevector is linked to two points on the $k_{\rho}=k_0$ circle of propagating wavevectors via two helicity-dependent tangent lines. Knowing the field on the $k_{\rho}=k_0$ circle of a general dipolar source is sufficient to determine its entire evanescent angular spectrum. Applying this concept, we gain insights into near-field directionality by showing that every zero in the angular spectrum is a helicity singularity where two half-tangent lines of opposite helicity intersect. A powerful method for synthetic design of near-field directional sources is also devised, using structured helical illumination to gain full control of the near-field directionality. The results provide a fundamental insight of helical evanescent waves and have implications in areas where chiral light-matter interaction plays a central role.


title: Large Deviations For Sticky Brownian Motions

abstract: We consider n-point sticky Brownian motions: a family of n diffusions that evolve as independent Brownian motions when they are apart, and interact locally so that the set of coincidence times has positive Lebesgue measure with positive probability. These diffusions can also be seen as n random motions in a random environment whose distribution is given by so-called stochastic flows of kernels. For a specific type of sticky interaction, we prove exact formulas characterizing the stochastic flow and show that in the large deviations regime, the random fluctuations of these stochastic flows are Tracy-Widom GUE distributed. An equivalent formulation of this result states that the extremal particle among n sticky Brownian motions has Tracy-Widom distributed fluctuations in the large n and large time limit. These results are proved by viewing sticky Brownian motions as a (previously known) limit of the exactly solvable beta random walk in random environment.

categories: math.PR cond-mat.stat-mech math-ph math.MP


title: Information parity in complex networks

abstract: A growing interest in complex networks theory results in an ongoing demand for new analytical tools. We propose a novel measure based on information theory that provides a new perspective for a better understanding of networked systems: Termed "information parity," it quantifies the consonance of influence among nodes with respect to the whole network architecture. Considering the statistics of geodesic distances, information parity detects how similar a pair of nodes can influence and be influenced by the network. This allows us to quantify the quality of information gathered by the nodes. To demonstrate the method's potential, we evaluate a social network and human brain networks. Our results indicate that emerging phenomena like an ideological orientation of nodes in a social network is severely influenced by their information parities. We also show that anatomical brain networks have a greater information parity in inter-hemispheric correspondent regions placed near the sagittal plane. Finally, functional networks have, on average, greater information parity for inter-hemispheric correspondent regions in comparison to the whole network. We find that a pair of regions with high information parity exhibits higher correlation, suggesting that the functional correlations between cortical regions can be partially explained by the symmetry of their overall influences of the whole brain.


title: Quantum secret sharing with polarization-entangled photon pairs

abstract: We describe and experimentally demonstrate a three-party quantum secret sharing protocol using polarization-entangled photon pairs. The source itself serves as an active participant and can switch between the required photon states by modulating the pump beam only, thereby making the protocol less susceptible to loss and amenable to fast switching. Compared to three-photon protocols, the practical efficiency is dramatically improved as there is no need to generate, transmit, or detect a third photon.


title: Enhanced $Z$ boson decays as a new probe of first-order electroweak phase transition at future lepton colliders

abstract: We study phenomenological consequences of the strong first-order electroweak phase transition in an extension of the standard model with an inert doublet and vector-like leptons motivated by the muon $g-2$ anomaly and dark matter. We find that a condition for the strong first-order electroweak phase transition inevitably induces a large logarithmic enhancement in $Z$ boson decays, which relegates the explanation of the anomalous muon $g-2$ at below 2$\sigma$ level. Our analysis shows that future lepton collider experiments, especially the Giga-$Z$ at the International Linear Collider and Tera-$Z$ at the Circular Electron Positron Collider as well as Future Circular Collider have great capability to explore the nature of the electroweak phase transition, which is complementary to conventional approaches via measurements of the triple Higgs boson coupling and gravitational waves.


title: Hardness of Distributed Optimization

abstract: This paper studies lower bounds for fundamental optimization problems in the CONGEST model. We show that solving problems exactly in this model can be a hard task, by providing $\tilde{\Omega}(n^2)$ lower bounds for cornerstone problems, such as minimum dominating set (MDS), Hamiltonian path, Steiner tree and max-cut. These are almost tight, since all of these problems can be solved optimally in $O(n^2)$ rounds. Moreover, we show that even in bounded-degree graphs and even in simple graphs with maximum degree 5 and logarithmic diameter, it holds that various tasks, such as finding a maximum independent set (MaxIS) or a minimum vertex cover, are still difficult, requiring a near-tight number of $\tilde{\Omega}(n)$ rounds. Furthermore, we show that in some cases even approximations are difficult, by providing an $\tilde{\Omega}(n^2)$ lower bound for a $(7/8+\epsilon)$-approximation for MaxIS, and a nearly-linear lower bound for an $O(\log{n})$-approximation for the $k$-MDS problem for any constant $k \geq 2$, as well as for several variants of the Steiner tree problem. Our lower bounds are based on a rich variety of constructions that leverage novel observations, and reductions among problems that are specialized for the CONGEST model. However, for several additional approximation problems, as well as for exact computation of some central problems in $P$, such as maximum matching and max flow, we show that such constructions cannot be designed, by which we exemplify some limitations of this framework.


title: Sufficient criteria and sharp geometric conditions for observability in Banach spaces

abstract: Let $X,Y$ be Banach spaces, $(S_t)_{t \geq 0}$ a $C_0$-semigroup on $X$, $-A$ the corresponding infinitesimal generator on $X$, $C$ a bounded linear operator from $X$ to $Y$, and $T > 0$. We consider the system \[ \dot{x}(t) = -Ax(t), \quad y(t) = Cx(t) \quad t\in (0,T], \quad x(0) = x_0 \in X. \] We provide sufficient conditions such that this system satisfies a final state observability estimate in $L_r ((0,T) ; Y)$, $r \in [1,\infty]$. These sufficient conditions are given by an uncertainty relation and a dissipation estimate. Our approach unifies and generalizes the respective advantages from earlier results obtained in the context of Hilbert spaces. As an application we consider the example where $A$ is an elliptic operator in $L_p(\mathbb{R}^d)$ for $1<p<\infty$, and where $C = \mathbf{1}_\omega$ is the restriction onto a thick set $\omega \subset \mathbb{R}^d$. In this case, we show that the above system satisfies a final state observability estimate if and only if $\omega \subset \mathbb{R}^d$ is a thick set. Finally, we make use of the well-known relation between observability and null-controllability of the predual system, and investigate bounds on the corresponding control costs.


title: Emission of correlated jets from a driven matter-wave soliton in a quasi-one-dimensional geometry

abstract: We demonstrate the emission of correlated atom jets from a matter-wave soliton in a quasi-one-dimensional optical trap. We characterize the dependence of jet properties on the frequency, amplitude and length of the modulation, and qualitatively reproduce the trends in the mean-field picture with a one-dimensional time-dependent Gross-Pitaevskii equation simulation. High-order jets are observed for sufficiently long pulses. A double-pulse modulation sequence produces consecutive jets, and a multi-pulse sequence may lead to irregular 3D jets at a finite angle to the direction of the channel. In the limit of vanishing high-order jets beyond-mean-field number correlations of jet pairs are demonstrated, implying possible number squeezing.


title: Selectors for dense subsets of function spaces

abstract: Let $USC^*_p(X)$ be the topological space of real upper semicontinuous bounded functions defined on $X$ with the subspace topology of the product topology on ${}^X\mathbb{R}$. $\tilde\Phi^{\uparrow},\tilde\Psi^{\uparrow}$ are the sets of all upper sequentially dense, upper dense or pointwise dense subsets of $USC^*_p(X)$, respectively. We prove several equivalent assertions to the assertion $USC^*_p(X)$ satisfies the selection principles $S_1(\tilde\Phi^{\uparrow},\tilde\Psi^{\uparrow})$, including a condition on the topological space $X$. We prove similar results for the topological space $C^*_p(X)$ of continuous bounded functions. Similar results hold true for the selection principles $S_{fin}(\tilde\Phi^{\uparrow},\tilde\Psi^{\uparrow})$.


title: Towards differentiation and integration between Hopf algebroids and Lie algebroids

abstract: In this paper we set up the foundations around the notions of formal differentiation and formal integration in the context of commutative Hopf algebroids and Lie-Rinehart algebras. Specifically, we construct a contravariant functor from the category of commutative Hopf algebroids with a fixed base algebra to that of Lie-Rinehart algebras over the same algebra, the differentiation functor, which can be seen as an algebraic counterpart to the differentiation process from Lie groupoids to Lie algebroids. The other way around, we provide two interrelated contravariant functors form the category of Lie-Rinehart algebras to that of commutative Hopf algebroids, the integration functors. One of them yields a contravariant adjunction together with the differentiation functor. Under mild conditions, essentially on the base algebra, the other integration functor only induces an adjunction at the level of Galois Hopf algebroids. By employing the differentiation functor, we also analyse the geometric separability of a given morphism of Hopf algebroids. Several examples and applications are presented along the exposition.


title: MatchZoo: A Learning, Practicing, and Developing System for Neural Text Matching

abstract: Text matching is the core problem in many natural language processing (NLP) tasks, such as information retrieval, question answering, and conversation. Recently, deep leaning technology has been widely adopted for text matching, making neural text matching a new and active research domain. With a large number of neural matching models emerging rapidly, it becomes more and more difficult for researchers, especially those newcomers, to learn and understand these new models. Moreover, it is usually difficult to try these models due to the tedious data pre-processing, complicated parameter configuration, and massive optimization tricks, not to mention the unavailability of public codes sometimes. Finally, for researchers who want to develop new models, it is also not an easy task to implement a neural text matching model from scratch, and to compare with a bunch of existing models. In this paper, therefore, we present a novel system, namely MatchZoo, to facilitate the learning, practicing and designing of neural text matching models. The system consists of a powerful matching library and a user-friendly and interactive studio, which can help researchers: 1) to learn state-of-the-art neural text matching models systematically, 2) to train, test and apply these models with simple configurable steps; and 3) to develop their own models with rich APIs and assistance.


title: DEMEA: Deep Mesh Autoencoders for Non-Rigidly Deforming Objects

abstract: Mesh autoencoders are commonly used for dimensionality reduction, sampling and mesh modeling. We propose a general-purpose DEep MEsh Autoencoder (DEMEA) which adds a novel embedded deformation layer to a graph-convolutional mesh autoencoder. The embedded deformation layer (EDL) is a differentiable deformable geometric proxy which explicitly models point displacements of non-rigid deformations in a lower dimensional space and serves as a local rigidity regularizer. DEMEA decouples the parameterization of the deformation from the final mesh resolution since the deformation is defined over a lower dimensional embedded deformation graph. We perform a large-scale study on four different datasets of deformable objects. Reasoning about the local rigidity of meshes using EDL allows us to achieve higher-quality results for highly deformable objects, compared to directly regressing vertex positions. We demonstrate multiple applications of DEMEA, including non-rigid 3D reconstruction from depth and shading cues, non-rigid surface tracking, as well as the transfer of deformations over different meshes.


title: Privacy Risks of Securing Machine Learning Models against Adversarial Examples

abstract: The arms race between attacks and defenses for machine learning models has come to a forefront in recent years, in both the security community and the privacy community. However, one big limitation of previous research is that the security domain and the privacy domain have typically been considered separately. It is thus unclear whether the defense methods in one domain will have any unexpected impact on the other domain. In this paper, we take a step towards resolving this limitation by combining the two domains. In particular, we measure the success of membership inference attacks against six state-of-the-art defense methods that mitigate the risk of adversarial examples (i.e., evasion attacks). Membership inference attacks determine whether or not an individual data record has been part of a model's training set. The accuracy of such attacks reflects the information leakage of training algorithms about individual members of the training set. Adversarial defense methods against adversarial examples influence the model's decision boundaries such that model predictions remain unchanged for a small area around each input. However, this objective is optimized on training data. Thus, individual data records in the training set have a significant influence on robust models. This makes the models more vulnerable to inference attacks. To perform the membership inference attacks, we leverage the existing inference methods that exploit model predictions. We also propose two new inference methods that exploit structural properties of robust models on adversarially perturbed data. Our experimental evaluation demonstrates that compared with the natural training (undefended) approach, adversarial defense methods can indeed increase the target model's risk against membership inference attacks.


title: Devil in the Detail: Attack Scenarios in Industrial Applications

abstract: In the past years, industrial networks have become increasingly interconnected and opened to private or public networks. This leads to an increase in efficiency and manageability, but also increases the attack surface. Industrial networks often consist of legacy systems that have not been designed with security in mind. In the last decade, an increase in attacks on cyber-physical systems was observed, with drastic consequences on the physical work. In this work, attack vectors on industrial networks are categorised. A real-world process is simulated, attacks are then introduced. Finally, two machine learning-based methods for time series anomaly detection are employed to detect the attacks. Matrix Profiles are employed more successfully than a predictor Long Short-Term Memory network, a class of neural networks.


title: The Hitchin--Kobayashi Correspondence for Quiver Bundles over Generalized K\"ahler Manifolds

abstract: In this paper, we establish the Hitchin--Kobayashi correspondence for the $I_\pm$-holomorphic quiver bundle $\mathcal{E}=(E,\phi)$ over a compact generalized K\"{a}hler manifold $(X, I_+,I_-,g, b)$ such that $g$ is Gauduchon with respect to both $I_+$ and $I_-$, namely $\mathcal{E}$ is $(\alpha,\sigma,\tau)$-polystable if and only if $\mathcal{E}$ admits an $(\alpha,\sigma,\tau)$-Hermitian--Einstein metric.


title: Unmixedness and arithmetic properties of matroidal ideals

abstract: Let $R=k[x_1,...,x_n]$ be the polynomial ring in $n$ variables over a field $k$ and $I$ be a matroidal ideal of degree $d$. In this paper, we study the unmixedness properties and the arithmetical rank of $I$. Moreover, we show that $ara(I)=n-d+1$. This answer to the conjecture that made by H. J. Chiang-Hsieh \cite[Conjecture]{C}.


title: Learning to learn via Self-Critique

abstract: In few-shot learning, a machine learning system learns from a small set of labelled examples relating to a specific task, such that it can generalize to new examples of the same task. Given the limited availability of labelled examples in such tasks, we wish to make use of all the information we can. Usually a model learns task-specific information from a small training-set (support-set) to predict on an unlabelled validation set (target-set). The target-set contains additional task-specific information which is not utilized by existing few-shot learning methods. Making use of the target-set examples via transductive learning requires approaches beyond the current methods; at inference time, the target-set contains only unlabelled input data-points, and so discriminative learning cannot be used. In this paper, we propose a framework called Self-Critique and Adapt or SCA, which learns to learn a label-free loss function, parameterized as a neural network. A base-model learns on a support-set using existing methods (e.g. stochastic gradient descent combined with the cross-entropy loss), and then is updated for the incoming target-task using the learnt loss function. This label-free loss function is itself optimized such that the learnt model achieves higher generalization performance. Experiments demonstrate that SCA offers substantially reduced error-rates compared to baselines which only adapt on the support-set, and results in state of the art benchmark performance on Mini-ImageNet and Caltech-UCSD Birds 200.


title: Uncertainty Estimation in One-Stage Object Detection

abstract: Environment perception is the task for intelligent vehicles on which all subsequent steps rely. A key part of perception is to safely detect other road users such as vehicles, pedestrians, and cyclists. With modern deep learning techniques huge progress was made over the last years in this field. However such deep learning based object detection models cannot predict how certain they are in their predictions, potentially hampering the performance of later steps such as tracking or sensor fusion. We present a viable approaches to estimate uncertainty in an one-stage object detector, while improving the detection performance of the baseline approach. The proposed model is evaluated on a large scale automotive pedestrian dataset. Experimental results show that the uncertainty outputted by our system is coupled with detection accuracy and the occlusion level of pedestrians.


title: A DFA-based bivariate regression model for estimating the dependence of PM2.5 among neighbouring cities

abstract: On the basis of detrended fluctuation analysis (DFA), we propose a new bivariate linear regression model. This new model provides estimators of multi-scale regression coefficients to measure the dependence between variables and corresponding variables of interest with multi-scales. Numerical tests are performed to illustrate that the proposed DFA-based regression estimators are capable of accurately depicting the dependence between the variables of interest and can be used to identify different dependence at different time scales. We apply this model to analyze the PM2.5 series of three adjacent cities (Beijing, Tianjin, and Baoding) in Northern China. The estimated regression coefficients confirmed the dependence of PM2.5 among the three cities and illustrated that each city has different influence on the others at different seasons and at different time scales. Two statistics based on the scale-dependent $t$-statistic and the partial detrended cross-correlation coefficient are used to demonstrate the significance of the dependence. Three new scale-dependent evaluation indices show that the new DFA-based bivariate regression model can provide rich information on studied variables.


title: Partial regularity for the crack set minimizing the two-dimensional Griffith energy

abstract: In this paper we prove a $\mathcal C^{1,\alpha}$ regularity result for minimizers of the planar Griffith functional arising from a variational model of brittle fracture. We prove that any isolated connected component of the crack, the singular set of a minimizer, is locally a $\mathcal C^{1,\alpha}$ curve outside a set of zero Hausdorff measure.


title: Nonparametric Bootstrap Inference for the Targeted Highly Adaptive LASSO Estimator

abstract: The Highly-Adaptive-LASSO Targeted Minimum Loss Estimator (HAL-TMLE) is an efficient plug-in estimator of a pathwise differentiable parameter in a statistical model that at minimal (and possibly only) assumes that the sectional variation norm of the true nuisance functional parameters (i.e., the relevant part of data distribution) are finite. It relies on an initial estimator (HAL-MLE) of the nuisance functional parameters by minimizing the empirical risk over the parameter space under the constraint that the sectional variation norm of the candidate functions are bounded by a constant, where this constant can be selected with cross-validation. In this article, we establish that the nonparametric bootstrap for the HAL-TMLE, fixing the value of the sectional variation norm at a value larger or equal than the cross-validation selector, provides a consistent method for estimating the normal limit distribution of the HAL-TMLE. In order to optimize the finite sample coverage of the nonparametric bootstrap confidence intervals, we propose a selection method for this sectional variation norm that is based on running the nonparametric bootstrap for all values of the sectional variation norm larger than the one selected by cross-validation, and subsequently determining a value at which the width of the resulting confidence intervals reaches a plateau. We demonstrate our method for 1) nonparametric estimation of the average treatment effect based on observing on each unit a covariate vector, binary treatment, and outcome, and for 2) nonparametric estimation of the integral of the square of the multivariate density of the data distribution. In addition, we also present simulation results for these two examples demonstrating the excellent finite sample coverage of bootstrap-based confidence intervals.


title: Exploring light supersymmetry with GAMBIT

abstract: I summarize a recent study by the GAMBIT Collaboration in which we investigated the combined collider constraints on the chargino and neutralino sector of the Minimal Supersymmetric Standard Model. Through a large fit using GAMBIT we found that current ATLAS and CMS results with 36 fb$^{-1}$ of 13 TeV LHC collision data do not provide a general constraint on the lightest neutralino and chargino masses. Further, we found that a pattern of excesses in some of the LHC analyses can be fit in a subset of the model parameter space. The excess has an estimated local significance of 3.3$\sigma$ based on the 13 TeV results alone, and 2.9$\sigma$ when 13 TeV and 8 TeV results are combined.


title: Quasiparticle band structure and optical properties of rutile GeO$_2$, an ultra-wide-band-gap semiconductor

abstract: Rutile GeO$_2$ is a visible and near-ultraviolet-transparent oxide that has not been explored for semiconducting applications in electronic and optoelectronic devices. We investigate the electronic and optical properties of rutile GeO$_2$ with first-principles calculations based on density functional theory and many-body perturbation theory. Our band-structure calculations indicate a dipole-forbidden direct band gap at $\Gamma$ with an energy of 4.44 eV and effective masses equal to $m^*_{e\perp}$ =0.43$m_0$ , $m^*_{e||}$ =0.23$m_0$ , $m^*_{h\perp}$ =1.28$m_0$ , and $m^*_{h||}$=1.74$m_0$ . In contrast to the self-trapped hole polarons by lattice distortions in other wide-band-gap oxides that reduce the hole mobility, holes in rutile GeO$_2$ are delocalized due to their small effective mass. The first allowed optical transitions at $\Gamma$ occur at 5.04 eV ($\vec{E} \perp \vec{c}$) and 6.65 eV ($\vec{E} ||\vec{c} $). We also evaluate the optical absorption coefficient and refractive index along both crystallographic directions. Our estimates for the exciton binding energies using the Bohr model are close to the reported experimental value. The ultra-wide-band-gap and light carrier effective masses of rutile GeO$_2$, coupled with its optical transparency in the visible and near UV are promising for applications in UV-transparent conductors and solar-blind photodetectors.


title: Monitoring dynamic networks: a simulation-based strategy for comparing monitoring methods and a comparative study

abstract: Recently there has been a lot of interest in monitoring and identifying changes in dynamic networks, which has led to the development of a variety of monitoring methods. Unfortunately, these methods have not been systematically compared; moreover, new methods are often designed for a specialized use case. In light of this, we propose the use of simulation to compare the performance of network monitoring methods over a variety of dynamic network changes. Using our family of simulated dynamic networks, we compare the performance of several state-of-the-art social network monitoring methods in the literature. We compare their performance over a variety of types of change; we consider both increases in communication levels, node propensity change as well as changes in community structure. We show that there does not exist one method that is uniformly superior to the others; the best method depends on the context and the type of change one wishes to detect. As such, we conclude that a variety of methods is needed for network monitoring and that it is important to understand in which scenarios a given method is appropriate.


title: Faraday Rotation Measure Dependence on Galaxy Clusters Dynamics

abstract: We study the magnetic fields in galaxy clusters through Faraday rotation measurements crossing systems in different dynamical states. We confirm that magnetic fields are present in those systems and analyze the difference between relaxed and unrelaxed samples with respect to the dispersion between their inherent Faraday Rotation measurements. We found an increase of this RM dispersion and a higher RM overlapping frequency for unrelaxed clusters. This fact suggests that a large scale physical process is involved in the nature of unrelaxed systems and possible depolarization effects are present in the relaxed ones. We show that dynamically unrelaxed systems can enhance magnetic fields to large coherence lengths. In contrast, the results for relaxed systems suggests that small-scale dynamo can be a dominant mechanism for sustaining magnetic fields, leading to intrinsic depolarization.


title: Controlling skyrmion bubble confinement by dipolar interactions

abstract: Large skyrmion bubbles in confined geometries of various sizes and shapes are investigated, typically in the range of several micrometers. Two fundamentally different cases are studied to address the role of dipole-dipole interactions: (I) when there is no magnetic material present outside the small geometries and (II) when the geometries are embedded in films with a uniform magnetization. It is found that the preferential position of the skyrmion bubbles can be controlled by the geometrical shape, which turns out to be a stronger influence than local variations in material parameters. In addition, independent switching of the direction of the magnetization outside the small geometries can be used to further manipulate these preferential positions, in particular with respect to the edges. We show by numerical calculations that the observed interactions between the skyrmion bubbles and structure edge including the overall positioning of the bubbles are fully controlled by dipole-dipole interactions.


title: Shrinking Ricci solitons with positive isotropic curvature

abstract: We show that in dimensions $n \geq 12$, a non-flat complete gradient shrinking solitons with uniformly positive isotropic curvature (PIC) must be a quotient of either the round sphere $S^n$ or the cylinder $S^{n-1} \times \mathbb{R}$. We also observe that in dimensions $n \geq 5$, a complete gradient shrinking soliton that is strictly PIC and weakly PIC2 must be a quotient of either the round sphere $S^n$ or the cylinder $S^{n-1} \times \mathbb{R}$.


title: Complex heat capacity and entropy production of temperature modulated systems

abstract: Non-equilibrium systems under temperature modulation are investigated in the light of the stochastic thermodynamics. We show that, for small amplitudes of the temperature oscillations, the heat flux behaves sinusoidally with time, a result that allows the definition of the complex heat capacity. The real part of the complex heat capacity is the dynamic heat capacity, and its imaginary part is shown to be proportional to the rate of entropy production. We also show that the poles of the complex heat capacity are equal to imaginary unit multiplied by the eigenvalues of the unperturbed evolution operator, and are all located in the lower half plane of the complex frequency, assuring that the Kramers-Kronig relations are obeyed. We have also carried out an exact calculation of the complex heat capacity of a harmonic solid and determined the dispersion relation of the dynamic heat capacity and of the rate of entropy production.


title: An Explicitly Relational Neural Network Architecture

abstract: With a view to bridging the gap between deep learning and symbolic AI, we present a novel end-to-end neural network architecture that learns to form propositional representations with an explicitly relational structure from raw pixel data. In order to evaluate and analyse the architecture, we introduce a family of simple visual relational reasoning tasks of varying complexity. We show that the proposed architecture, when pre-trained on a curriculum of such tasks, learns to generate reusable representations that better facilitate subsequent learning on previously unseen tasks when compared to a number of baseline architectures. The workings of a successfully trained model are visualised to shed some light on how the architecture functions.


title: SCRAM: Spatially Coherent Randomized Attention Maps

abstract: Attention mechanisms and non-local mean operations in general are key ingredients in many state-of-the-art deep learning techniques. In particular, the Transformer model based on multi-head self-attention has recently achieved great success in natural language processing and computer vision. However, the vanilla algorithm computing the Transformer of an image with n pixels has O(n^2) complexity, which is often painfully slow and sometimes prohibitively expensive for large-scale image data. In this paper, we propose a fast randomized algorithm --- SCRAM --- that only requires O(n log(n)) time to produce an image attention map. Such a dramatic acceleration is attributed to our insight that attention maps on real-world images usually exhibit (1) spatial coherence and (2) sparse structure. The central idea of SCRAM is to employ PatchMatch, a randomized correspondence algorithm, to quickly pinpoint the most compatible key (argmax) for each query first, and then exploit that knowledge to design a sparse approximation to non-local mean operations. Using the argmax (mode) to dynamically construct the sparse approximation distinguishes our algorithm from all of the existing sparse approximate methods and makes it very efficient. Moreover, SCRAM is a broadly applicable approximation to any non-local mean layer in contrast to some other sparse approximations that can only approximate self-attention. Our preliminary experimental results suggest that SCRAM is indeed promising for speeding up or scaling up the computation of attention maps in the Transformer.


title: Unsupervised Machine Learning for the Discovery of Latent Disease Clusters and Patient Subgroups Using Electronic Health Records

abstract: Machine learning has become ubiquitous and a key technology on mining electronic health records (EHRs) for facilitating clinical research and practice. Unsupervised machine learning, as opposed to supervised learning, has shown promise in identifying novel patterns and relations from EHRs without using human created labels. In this paper, we investigate the application of unsupervised machine learning models in discovering latent disease clusters and patient subgroups based on EHRs. We utilized Latent Dirichlet Allocation (LDA), a generative probabilistic model, and proposed a novel model named Poisson Dirichlet Model (PDM), which extends the LDA approach using a Poisson distribution to model patients' disease diagnoses and to alleviate age and sex factors by considering both observed and expected observations. In the empirical experiments, we evaluated LDA and PDM on three patient cohorts with EHR data retrieved from the Rochester Epidemiology Project (REP), for the discovery of latent disease clusters and patient subgroups. We compared the effectiveness of LDA and PDM in identifying latent disease clusters through the visualization of disease representations learned by two approaches. We also tested the performance of LDA and PDM in differentiating patient subgroups through survival analysis, as well as statistical analysis. The experimental results show that the proposed PDM could effectively identify distinguished disease clusters by alleviating the impact of age and sex, and that LDA could stratify patients into more differentiable subgroups than PDM in terms of p-values. However, the subgroups discovered by PDM might imply the underlying patterns of diseases of greater interest in epidemiology research due to the alleviation of age and sex. Both unsupervised machine learning approaches could be leveraged to discover patient subgroups using EHRs but with different foci.


title: Adversarial Learned Molecular Graph Inference and Generation

abstract: Recent methods for generating novel molecules use graph representations of molecules and employ various forms of graph convolutional neural networks for inference. However, training requires solving an expensive graph isomorphism problem, which previous approaches do not address or solve only approximately. In this work, we propose ALMGIG, a likelihood-free adversarial learning framework for inference and de novo molecule generation that avoids explicitly computing a reconstruction loss. Our approach extends generative adversarial networks by including an adversarial cycle-consistency loss to implicitly enforce the reconstruction property. To capture properties unique to molecules, such as valence, we extend the Graph Isomorphism Network to multi-graphs. To quantify the performance of models, we propose to compute the distance between distributions of physicochemical properties with the 1-Wasserstein distance. We demonstrate that ALMGIG more accurately learns the distribution over the space of molecules than all baselines. Moreover, it can be utilized for drug discovery by efficiently searching the space of molecules using molecules' continuous latent representation. Our code is available at https://github.com/ai-med/almgig


title: SpecFuzz: Bringing Spectre-type vulnerabilities to the surface

abstract: SpecFuzz is the first tool that enables dynamic testing for speculative execution vulnerabilities (e.g., Spectre). The key is a novel concept of speculation exposure: The program is instrumented to simulate speculative execution in software by forcefully executing the code paths that could be triggered due to mispredictions, thereby making the speculative memory accesses visible to integrity checkers (e.g., AddressSanitizer). Combined with the conventional fuzzing techniques, speculation exposure enables more precise identification of potential vulnerabilities compared to state-of-the-art static analyzers. Our prototype for detecting Spectre V1 vulnerabilities successfully identifies all known variations of Spectre V1 and decreases the mitigation overheads across the evaluated applications, reducing the amount of instrumented branches by up to 77% given a sufficient test coverage.


title: Evidence for disc regulation in the lowest-mass stars of the young stellar cluster NGC 2264

abstract: In the pre-main-sequence stage, star-disc interactions have been shown to remove stellar angular momentum and regulate the rotation periods of stars with M2 and earlier spectral types. Whether disc regulation also extends to stars with later spectral types still remains a matter of debate. Here we present a star-disc interaction study in a sample of over 180 stars with spectral types M3 and later (corresponding to stellar masses $\leq 0.3 M_\odot$) in young stellar cluster NGC 2264. Combining rotation periods from the literature, new and literature spectral types, and newly presented deep Spitzer observations, we show that stars with masses below 0.3 $M_\odot$ with discs also rotate slower than stars without a disc in the same mass regime. Our results demonstrate that disc-regulation still operates in these low-mass stars, although the efficiency of this process might be lower than in higher-mass objects. We confirm that stars with spectral types earlier and later than M2 have distinct period distributions and that stars with spectral types M5 and later rotate even faster M3 and M4-type stars.


title: Pairing-quadrupole interplay in the neutron-deficient tin nuclei: first lifetime measurements of low-lying states in $^{106,108}$Sn

abstract: The lifetimes of the low-lying excited states $2^+$ and $4^+$ have been directly measured in the neutron-deficient $^{106,108}$Sn isotopes. The nuclei were populated via a deep-inelastic reaction and the lifetime measurement was performed employing a differential plunger device. The emitted $\gamma$ rays were detected by the AGATA array, while the reaction products were uniquely identified by the VAMOS++ magnetic spectrometer. Large-Scale Shell-Model calculations with realistic forces indicate that, independently of the pairing content of the interaction, the quadrupole force is dominant in the $B(E2; 2_1^+ \to 0_{g.s.}^+)$ values and it describes well the experimental pattern for $^{104-114}$Sn; the $B(E2; 4_1^+ \to 2_1^+)$ values, measured here for the first time, depend critically on a delicate pairing-quadrupole balance, disclosed by the very precise results in $^{108}$Sn. This result provides insight in the hitherto unexplained $B(E2; 4_1^+ \to 2_1^+)/B(E2; 2_1^+ \to 0_{g.s.}^+) < 1$ anomaly.


title: Secure Routing in IoT: Evaluation of RPL Secure Mode under Attacks

abstract: As the Routing Protocol for Low Power and Lossy Networks (RPL) became the standard for routing in the Internet of Things (IoT) networks, many researchers had investigated the security aspects of this protocol. However, no work (to the best of our knowledge) has investigated the use of the security mechanisms included in the protocol standard, due to the fact that there was no implementation for these features in any IoT operating system yet. A partial implementation of RPL security mechanisms was presented recently for Contiki operating system (by Perazzo et al.), which provided us with the opportunity to examine RPL security mechanisms. In this paper, we investigate the effects and challenges of using RPL security mechanisms under common routing attacks. First, a comparison of RPL performance, with and without its security mechanisms, under three routing attacks (Blackhole, Selective- Forward, and Neighbor attacks) is conducted using several metrics (e.g., average data packet delivery rate, average data packet delay, average power consumption... etc.) Based on the observations from this comparison, we came with few suggestions that could reduce the effects of such attacks, without having added security mechanisms for RPL.


title: The Impact of Augmented-Reality Head-Mounted Displays on Users' Movement Behavior: An Exploratory Study

abstract: The augmented-reality head-mounted display (e.g., Microsoft HoloLens) is one of the most innovative technologies in multimedia and human-computer interaction in recent years. Despite the emerging research of its applications on engineering, education, medicines, to name a few, its impact on users' movement behavior is still underexplored. The movement behavior, especially for office workers with sedentary lifestyles, is related to many chronic conditions. Unlike the traditional screens, the augmented-reality head-mounted display (AR-HMD) could enable mobile virtual screens, which might impact on users' movement behavior. In this paper, we present our initial study to explore the impact of AR-HMDs on users' movement behavior. We compared the differences of macro-movements (e.g., sit-stand transitions) and micro-movements (e.g., moving the head) between two experimental modes (i.e., spatial-mapping and tag-along) with a dedicated trivial quiz task using HoloLens. The study reveals interesting findings: strong evidence supports that participants had more head-movements in the tag-along mode where higher simplicity and freedom of moving the virtual screen were given; body position/direction changes show the same effect with moderate evidence, while sit-stand transitions show no difference between the two modes with weak evidence. Our results imply several design considerations and research opportunities for future work on the ergonomics of AR-HMDs in the perspective of health.


title: Nonreciprocal Metasurface with Space-Time Phase Modulation

abstract: Creating materials with time-variant properties is critical for breaking reciprocity that imposes fundamental limitations to wave propagation. However, it is challenging to realize efficient and ultrafast temporal modulation in a photonic system. Here, leveraging both spatial and temporal phase manipulation offered by an ultrathin nonlinear metasurface, we experimentally demonstrated nonreciprocal light reflection at wavelengths around 860 nm. The metasurface, with traveling-wave modulation upon nonlinear Kerr building blocks, creates spatial phase gradient and multi-terahertz temporal phase wobbling, which leads to unidirectional photonic transitions in both momentum and energy spaces. We observed completely asymmetric reflections in forward and backward light propagations within a sub-wavelength interaction length of 150 nm. Our approach pointed out a potential means for creating miniaturized and integratable nonreciprocal optical components.


title: Dynamical evolution of star-forming regions: III. Unbound stars and predictions for Gaia

abstract: We use $N$-body simulations to probe the early phases of the dynamical evolution of star-forming regions and focus on mass and velocity distributions of unbound stars. In this parameter space study, we vary the initial virial ratio and degree of spatial and kinematic substructure and analyse the fraction of stars that become unbound in two different mass classes (above and below 8 M$_{\odot}$). We find that the fraction of unbound stars differs depending on the initial conditions. After 10 Myr, in initially highly subvirial, substructured simulations, the high-mass and lower-mass unbound fractions are similar at $\sim$23 per cent. In initially virialised, substructured simulations, we find only $\sim$16 per cent of all high-mass stars are unbound, whereas $\sim$37 per cent of all lower-mass stars are. The velocity distributions of unbound stars only show differences for extremely different initial conditions. The distributions are dominated by large numbers of lower-mass stars becoming unbound just above the escape velocity of $\sim$3 km s$^{-1}$ with unbound high-mass stars moving faster on average than lower-mass unbound stars. We see no high-mass runaway stars (velocity > 30 km s$^{-1}$) from any of our initial conditions and only an occasional lower-mass runaway star from initially subvirial/substructured simulations. In our simulations, we find a small number of lower-mass walkaway stars (with velocity 5-30 km s$^{-1}$) from all of our initial conditions. These walkaway stars should be observable around many nearby star-forming regions with Gaia.


title: Observation of $\eta_c\to\omega\omega$ in $J/\psi\to\gamma\omega\omega$

abstract: Using a sample of $(1310.6\pm7.0)\times10^6$ $J/\psi$ events recorded with the BESIII detector at the symmetric electron positron collider BEPCII, we report the observation of the decay of the $(1^1 S_0)$ charmonium state $\eta_c$ into a pair of $\omega$ mesons in the process $J/\psi\to\gamma\omega\omega$. The branching fraction is measured for the first time to be $\mathcal{B}(\eta_c\to\omega\omega)= (2.88\pm0.10\pm0.46\pm0.68)\times10^{-3}$, where the first uncertainty is statistical, the second systematic and the third is from the uncertainty of $\mathcal{B}(J/\psi\to\gamma\eta_c)$. The mass and width of the $\eta_c$ are determined as $M=(2985.9\pm0.7\pm2.1)\,$MeV/$c^2$ and $\Gamma=(33.8\pm1.6\pm4.1)\,$MeV.


title: When is the $q$-multiplicity of a weight a power of $q$?

abstract: Berenshtein and Zelevinskii provided an exhaustive list of pairs of weights $(\lambda,\mu)$ of simple Lie algebras $\mathfrak{g}$ (up to Dynkin diagram isomorphism) for which the multiplicity of the weight $\mu$ in the representation of $\mathfrak{g}$ with highest weight $\lambda$ is equal to one. Using Kostant's weight multiplicity formula we describe and enumerate the contributing terms to the multiplicity for subsets of these pairs of weights and show that, in these cases, the cardinality of these contributing sets is enumerated by (multiples of) Fibonacci numbers. We conclude by using these results to compute the associated $q$-multiplicity for the pairs of weights considered, and conjecture that in all cases the $q$-multiplicity of such pairs of weights is given by a power of $q$.


title: Analytical treatment of the interaction quench dynamics of two bosons in a two-dimensional harmonic trap

abstract: We investigate the quantum dynamics of two bosons, trapped in a two-dimensional harmonic trap, upon quenching arbitrarily their interaction strength thereby covering the entire energy spectrum. Utilizing the exact analytical solution of the stationary system we derive a closed analytical form of the expansion coefficients of the time-evolved two-body wavefunction, whose dynamics is determined by an expansion over the postquench eigenstates. The emergent dynamical response of the system is analyzed in detail by inspecting several observables such as the fidelity, the reduced one-body densities, the radial probability density of the relative wavefunction in both real and momentum space as well as the Tan contact unveiling the existence of short range two-body correlations. It is found that when the system is initialized in its bound state it is perturbed in the most efficient manner compared to any other initial configuration. Moreover, starting from an interacting ground state the two-boson response is enhanced for quenches towards the non-interacting limit.


title: Photovoltage from ferroelectric domain walls in BiFeO$_3$

abstract: We calculate the component of the photovoltage in bismuth ferrite that is generated by ferroelectric domain walls, using first-principles methods, in order to compare its magnitude to the experimentally measured photovoltage. We find that excitons at the ferroelectric domain walls form an electric dipole layer resulting in a domain-wall driven photovoltage. This is of the same order of magnitude as the experimentally measured one, but only if the carrier lifetimes and diffusion lengths are larger than previously assumed.


title: Carbon-Chain Molecules in Molecular Outflows and Lupus I Region--New Producing Region and New Forming Mechanism

abstract: Using the new equipment of the Shanghai Tian Ma Radio Telescope, we have searched for carbon-chain molecules (CCMs) towards five outflow sources and six Lupus I starless dust cores, including one region known to be characterized by warm carbon-chain chemistry (WCCC), Lupus I-1 (IRAS 15398-3359), and one TMC-1 like cloud, Lupus I-6 (Lupus-1A). Lines of HC3N J=2-1, HC5N J=6-5, HC7N J=14-13, 15-14, 16-15 and C3S J=3-2 were detected in all the targets except in the outflow source L1660 and the starless dust core Lupus I-3/4. The column densities of nitrogen-bearing species range from 10$^{12}$ to 10$^{14}$ cm$^{-2}$ and those of C$_3$S are about 10$^{12}$ cm$^{-2}$. Two outflow sources, I20582+7724 and L1221, could be identified as new carbon-chain--producing regions. Four of the Lupus I dust cores are newly identified as early quiescent and dark carbon-chain--producing regions similar to Lup I-6, which together with the WCCC source, Lup I-1, indicate that carbon-chain-producing regions are popular in Lupus I which can be regard as a Taurus like molecular cloud complex in our Galaxy. The column densities of C3S are larger than those of HC7N in the three outflow sources I20582, L1221 and L1251A. Shocked carbon-chain chemistry (SCCC) is proposed to explain the abnormal high abundances of C3S compared with those of nitrogen-bearing CCMs. Gas-grain chemical models support the idea that shocks can fuel the environment of those sources with enough $S^+$ thus driving the generation of S-bearing CCMs.


title: PHYSTAT$\nu$ at CERN (January 2019)

abstract: A short overview is provided of the recent PHYSTAT$\nu$ meeting at CERN, which dealt with statistical issues relevant for neutrino experiments.


title: Doctor of Crosswise: Reducing Over-parametrization in Neural Networks

abstract: Dr. of Crosswise proposes a new architecture to reduce over-parametrization in Neural Networks. It introduces an operand for rapid computation in the framework of Deep Learning that leverages learned weights. The formalism is described in detail providing both an accurate elucidation of the mechanics and the theoretical implications.


title: Factor Models for High-Dimensional Functional Time Series

abstract: In this paper, we set up the theoretical foundations for a high-dimensional functional factor model approach in the analysis of large cross-sections (panels) of functional time series (FTS). We first establish a representation result stating that, under mild assumptions on the covariance operator of the cross-section, we can represent each FTS as the sum of a common component driven by scalar factors loaded via functional loadings, and a mildly cross-correlated idiosyncratic component. Our model and theory are developed in a general Hilbert space setting that allows for mixed panels of functional and scalar time series. We then turn to the identification of the number of factors, and the estimation of the factors, their loadings, and the common components. We provide a family of information criteria for identifying the number of factors, and prove their consistency. We provide average error bounds for the estimators of the factors, loadings, and common component; our results encompass the scalar case, for which they reproduce and extend, under weaker conditions, well-established similar results. Under slightly stronger assumptions, we also provide uniform bounds for the estimators of factors, loadings, and common component, thus extending existing scalar results. Our consistency results in the asymptotic regime where the number $N$ of series and the number $T$ of time observations diverge thus extend to the functional context the "blessing of dimensionality" that explains the success of factor models in the analysis of high-dimensional (scalar) time series. We provide numerical illustrations that corroborate the convergence rates predicted by the theory, and provide finer understanding of the interplay between $N$ and $T$ for estimation purposes. We conclude with an application to forecasting mortality curves, where we demonstrate that our approach outperforms existing methods.


title: Revisiting Relations between Stochastic Ageing and Dependence for Exchangeable Lifetimes with an Extension for the IFRA/DFRA Property

abstract: We first review an approach that had been developed in the past years to introduce concepts of "bivariate ageing" for exchangeable lifetimes and to analyze mutual relations among stochastic dependence, univariate ageing, and bivariate ageing. A specific feature of such an approach dwells on the concept of semi-copula and in the extension, from copulas to semi-copulas, of properties of stochastic dependence. In this perspective, we aim to discuss some intricate aspects of conceptual character and to provide the readers with pertinent remarks from a Bayesian Statistics standpoint. In particular we will discuss the role of extensions of dependence properties. "Archimedean" models have an important role in the present framework. In the second part of the paper, the definitions of Kendall distribution and of Kendall equivalence classes will be extended to semi-copulas and related properties will be analyzed. On such a basis, we will consider the notion of "Pseudo-Archimedean" models and extend to them the analysis of the relations between the ageing notions of IFRA/DFRA-type and the dependence concepts of PKD/NKD.


title: Naturalising the Third Family Hypercharge Model for Neutral Current $B-$Anomalies

abstract: We consider a deformation of the Third Family Hypercharge Model, which arguably makes the model more natural. Additional non-zero charges of the spontaneously broken, family-dependent $U(1)_F$ gauge symmetry are assigned to the second family leptons, and the third family leptons' charges are deformed away from their hypercharges in such a way that the $U(1)_F$ gauge symmetry remains anomaly-free. Second family $U(1)_F$ lepton charges allow a $Z^\prime$ coupling to muons without having to assume large charged lepton mixing, which risks violating tight lepton flavour violation bounds. In this deformed version, only the bottom and top Yukawa couplings are generated at the renormalisable level, whereas the tauon Yukawa coupling is absent. The $Z^\prime$ mediates a beyond the Standard Model contribution to an effective $(\bar b s) (\bar \mu \mu)$ vertex in the combination $C_9=-9C_{10}$ and is able to fit the apparent discrepancy between Standard Model predictions in flavour changing neutral-current $B-$meson decays and their measurements, whilst simultaneously avoiding current constraints from direct $Z^\prime$ searches and other measurements, when $1.2\ \text{TeV} < M_{Z^\prime} < 12.5\ \text{TeV}$.


title: Tiresias: Predicting Security Events Through Deep Learning

abstract: With the increased complexity of modern computer attacks, there is a need for defenders not only to detect malicious activity as it happens, but also to predict the specific steps that will be taken by an adversary when performing an attack. However this is still an open research problem, and previous research in predicting malicious events only looked at binary outcomes (e.g., whether an attack would happen or not), but not at the specific steps that an attacker would undertake. To fill this gap we present Tiresias, a system that leverages Recurrent Neural Networks (RNNs) to predict future events on a machine, based on previous observations. We test Tiresias on a dataset of 3.4 billion security events collected from a commercial intrusion prevention system, and show that our approach is effective in predicting the next event that will occur on a machine with a precision of up to 0.93. We also show that the models learned by Tiresias are reasonably stable over time, and provide a mechanism that can identify sudden drops in precision and trigger a retraining of the system. Finally, we show that the long-term memory typical of RNNs is key in performing event prediction, rendering simpler methods not up to the task.


title: Asteroid (3200) Phaethon: colors, phase curve, limits on cometary activity and fragmentation

abstract: We report on a multi-observatory campaign to examine asteroid 3200 Phaethon during its December 2017 close approach to Earth, in order to improve our measurements of its fundamental parameters, and to search for surface variations, cometary activity and fragmentation. The mean colors of Phaethon are B-V = 0.702 +/- 0.004, V-R = 0.309 +/- 0.003, R-I = 0.266 +/- 0.004, neutral to slightly blue, consistent with previous classifications of Phaethon as a F-type or B-type asteroid. Variations in Phaethon's B-V colors (but not V-R or R-I) with observer sub-latitude are seen and may be associated with craters observed by the Arecibo radar. High cadence photometry over phases from 20 to 100 degrees allows a fit to the values of the HG photometric parameters; H = 14.57 +/- 0.02, 13.63 +/- 0.02, 13.28 +/- 0.02, 13.07 +/- 0.02; G = 0.00 +/- 0.01, -0.09 +/- 0.01, -0.10 +/- 0.01, -0.08 +/- 0.01 in the BVRI filters respectively; the negative G values are consistent with other observations of F type asteroids. Light curve variations were seen that are also consistent with concavities reported by Arecibo, indicative of large craters on Phaethon's surface whose ejecta may be the source of the Geminid meteoroid stream. A search for gas/dust production set an upper limit of 0.06 +/- 0.02 kg/s when Phaethon was 1.449 AU from the Sun, and 0.2 +/- 0.1 kg/s at 1.067 AU. A search for meter-class fragments accompanying Phaethon did not find any whose on-sky motion was not also consistent with background main belt asteroids.


title: Dirac Delta Regression: Conditional Density Estimation with Clinical Trials

abstract: Personalized medicine seeks to identify the causal effect of treatment for a particular patient as opposed to a clinical population at large. Most investigators estimate such personalized treatment effects by regressing the outcome of a randomized clinical trial (RCT) on patient covariates. The realized value of the outcome may however lie far from the conditional expectation. We therefore introduce a method called Dirac Delta Regression (DDR) that estimates the entire conditional density from RCT data in order to visualize the probabilities across all possible outcome values. DDR transforms the outcome into a set of asymptotically Dirac delta distributions and then estimates the density using non-linear regression. The algorithm can identify significant differences in patient-specific outcomes even when no population level effect exists. Moreover, DDR outperforms state-of-the-art algorithms in conditional density estimation by a large margin even in the small sample regime. An R package is available at https://github.com/ericstrobl/DDR.


title: Search for low-mass quark-antiquark resonances produced in association with a photon at $\sqrt{s} = $ 13 TeV

abstract: A search for narrow low-mass resonances decaying to quark-antiquark pairs is presented. The search is based on proton-proton collisions events collected at 13 TeV by the CMS detector at the CERN LHC. The data sample corresponds to an integrated luminosity of 35.9 fb$^{-1}$, recorded in 2016. The search considers the case where the resonance has high transverse momentum due to initial-state radiation of a hard photon. To study this process, the decay products of the resonance are reconstructed as a single large-radius jet with two-pronged substructure. The signal would be identified as a localized excess in the jet invariant mass spectrum. No evidence for such a resonance is observed in the mass range 10 to 125 GeV. Upper limits at the 95% confidence level are set on the coupling strength of resonances decaying to quark pairs. The results obtained with this photon trigger strategy provide the first direct constraints on quark-antiquark resonance masses below 50 GeV obtained at a hadron collider.


title: The hyperrigidity of tensor algebras of C$^*$-correspondences

abstract: Given a C$^*$-correspondence $X$, we give necessary and sufficient conditions for the tensor algebra $\mathcal T_X^+$ to be hyperrigid. In the case where $X$ is coming from a topological graph we obtain a complete characterization.


title: Morphological organization of point-to-point transport in complex networks

abstract: We investigate the structural organization of the point-to-point electric, diffusive or hydraulic transport in complex scale-free networks. The random choice of two nodes, a source and a drain, to which a potential difference is applied, selects two tree-like structures, one emerging from the source and the other converging to the drain. These trees merge into a large cluster of the remaining nodes that is found to be quasi-equipotential and thus presents almost no resistance to transport. Such a global "tree-cluster-tree" structure is universal and leads to a power law decay of the currents distribution. Its exponent, $-2$, is determined by the multiplicative decrease of currents at successive branching points of a tree and is found to be independent of the network connectivity degree and resistance distribution.


title: Bohr radius for subordination and $K$-quasiconformal harmonic mappings

abstract: The present article concerns the Bohr radius for $K$-quasiconformal sense-preserving harmonic mappings $f=h+\overline{g}$ in the unit disk $\mathbb{D}$ for which the analytic part $h$ is subordinated to some analytic function $\varphi$, and the purpose is to look into two cases: when $\varphi$ is convex, or a general univalent function in $\ID$. The results state that if $h(z) =\sum_{n=0}^{\infty}a_n z^n$ and $g(z)=\sum_{n=1}^{\infty}b_n z^n$, then $$\sum_{n=1}^{\infty}(|a_n|+|b_n|)r^n\leq \dist (\varphi(0),\partial\varphi(\ID)) ~\mbox{ for $r\leq r^*$} $$ and give estimates for the largest possible $r^*$ depending only on the geometric property of $\varphi (\ID)$ and the parameter $K$. Improved versions of the theorems are given for the case when $b_1 = 0$ and corollaries are drawn for the case when $K\rightarrow \infty$.


title: Minimax Rates of Estimating Approximate Differential Privacy

abstract: Differential privacy has become a widely accepted notion of privacy, leading to the introduction and deployment of numerous privatization mechanisms. However, ensuring the privacy guarantee is an error-prone process, both in designing mechanisms and in implementing those mechanisms. Both types of errors will be greatly reduced, if we have a data-driven approach to verify privacy guarantees, from a black-box access to a mechanism. We pose it as a property estimation problem, and study the fundamental trade-offs involved in the accuracy in estimated privacy guarantees and the number of samples required. We introduce a novel estimator that uses polynomial approximation of a carefully chosen degree to optimally trade-off bias and variance. With $n$ samples, we show that this estimator achieves performance of a straightforward plug-in estimator with $n \ln n$ samples, a phenomenon referred to as effective sample size amplification. The minimax optimality of the proposed estimator is proved by comparing it to a matching fundamental lower bound.


title: Polystore++: Accelerated Polystore System for Heterogeneous Workloads

abstract: Modern real-time business analytic consist of heterogeneous workloads (e.g, database queries, graph processing, and machine learning). These analytic applications need programming environments that can capture all aspects of the constituent workloads (including data models they work on and movement of data across processing engines). Polystore systems suit such applications; however, these systems currently execute on CPUs and the slowdown of Moore's Law means they cannot meet the performance and efficiency requirements of modern workloads. We envision Polystore++, an architecture to accelerate existing polystore systems using hardware accelerators (e.g, FPGAs, CGRAs, and GPUs). Polystore++ systems can achieve high performance at low power by identifying and offloading components of a polystore system that are amenable to acceleration using specialized hardware. Building a Polystore++ system is challenging and introduces new research problems motivated by the use of hardware accelerators (e.g, optimizing and mapping query plans across heterogeneous computing units and exploiting hardware pipelining and parallelism to improve performance). In this paper, we discuss these challenges in detail and list possible approaches to address these problems.


title: What Can ResNet Learn Efficiently, Going Beyond Kernels?

abstract: How can neural networks such as ResNet efficiently learn CIFAR-10 with test accuracy more than 96%, while other methods, especially kernel methods, fall relatively behind? Can we more provide theoretical justifications for this gap? Recently, there is an influential line of work relating neural networks to kernels in the over-parameterized regime, proving they can learn certain concept class that is also learnable by kernels with similar test error. Yet, can neural networks provably learn some concept class BETTER than kernels? We answer this positively in the distribution-free setting. We prove neural networks can efficiently learn a notable class of functions, including those defined by three-layer residual networks with smooth activations, without any distributional assumption. At the same time, we prove there are simple functions in this class such that with the same number of training examples, the test error obtained by neural networks can be MUCH SMALLER than ANY kernel method, including neural tangent kernels (NTK). The main intuition is that multi-layer neural networks can implicitly perform hierarchical learning using different layers, which reduces the sample complexity comparing to "one-shot" learning algorithms such as kernel methods. In a follow-up work [2], this theory of hierarchical learning is further strengthened to incorporate the "backward feature correction" process when training deep networks. In the end, we also prove a computation complexity advantage of ResNet with respect to other learning methods including linear regression over arbitrary feature mappings.


title: Decidability of an Expressive Description Logic with Rational Grading

abstract: In this paper syntactic objects---concept constructors called part restrictions which realize rational grading are considered in Description Logics (DLs). Being able to convey statements about a rational part of a set of successors, part restrictions essentially enrich the expressive capabilities of DLs. We examine an extension of well-studied DL ALCQIHR+ with part restrictions, and prove that the reasoning in the extended logic is still decidable. The proof uses tableaux technique augmented with indices technique, designed for dealing with part restrictions.


title: On the unordered configuration space C(RP^n,2)

abstract: We prove that, if n is a 2-power, the unordered configuration space C(RP^n,2) cannot be immersed in R^{4n-2} nor embedded as a closed subspace of R^{4n-1}, optimal results, while if n is not a 2-power, C(RP^n,2) can be immersed in R^{4n-3}. We also obtain cohomological lower bounds for the topological complexity of C(RP^n,2), which are nearly optimal when n is a 2-power. We also give a new description of the mod-2 cohomology algebra of the Grassmann manifold G_{n+1,2}.


title: Tall cardinals in extender models

abstract: Assuming that there is no inner model with a Woodin cardinal, we obtain a characterization of $\lambda$-tall cardinals in extender models that are iterable. In particular we prove that in such extender models, a cardinal $\kappa$ is a tall cardinal if and only if it is either a strong cardinal or a measurable limit of strong cardinals.


title: The experiment is just as important as the likelihood in understanding the prior: A cautionary note on robust cognitive modelling

abstract: Cognitive modelling shares many features with statistical modelling, making it seem trivial to borrow from the practices of robust Bayesian statistics to protect the practice of robust cognitive modelling. We take one aspect of statistical workflow-prior predictive checks-and explore how they might be applied to a cognitive modelling task. We find that it is not only the likelihood that is needed to interpret the priors, we also need to incorporate experiment information as well. This suggests that while cognitive modelling might borrow from statistical practices, especially workflow, care must be made to make the adaptions necessary.


title: Desingularization of vortex rings in 3 dimensional Euler flows

abstract: In this paper, we are concerned with nonlinear desingularization of steady vortex rings of three-dimensional incompressible Euler fluids. We focus on the case when the vorticity function has a simple discontinuity, which corresponding to a jump in vorticity at the boundary of the cross-section of the vortex ring. Using the vorticity method, we construct a family of steady vortex rings which constitute a desingularization of the classical circular vortex filament in several kinds of domains. The precise localization of the asymptotic singular vortex filament is proved to depend on the circulation and the velocity at far fields of the vortex ring. Some qualitative and asymptotic properties are also established. Comparing with known results, our work actually enriches and advances the study on this problem.