title: Restricted Irreducible Representations for the Non-graded Hamiltonian $H(2; (1,1); \Phi(1))$

abstract: We classify the simple restricted modules for the minimal $p$-envelope of the non-graded, non-restricted Hamiltonian Lie algebra $H(2; (1,1); \Phi(1))$ over an algebraically closed field $k$ of characteristic $p \geq 5$. We also give the restrictions of these modules to a subalgebra isomorphic to the first Witt Algebra, a result stated in [S. Herpel and D. Stewart, \emph{Selecta Mathematica} 22:2 (2016) 765--799] with an incomplete proof.


title: Deformations of $\mathcal W$ algebras via quantum toroidal algebras

abstract: The deformed $\mathcal W$ algebras of type $\textsf{A}$ have a uniform description in terms of the quantum toroidal $\mathfrak{gl}_1$ algebra $\mathcal E$. We introduce a comodule algebra $\mathcal K$ over $\mathcal E$ which gives a uniform construction of basic deformed $\mathcal W$ currents and screening operators in types $\textsf{B},\textsf{C},\textsf{D}$ including twisted and supersymmetric cases. We show that a completion of algebra $\mathcal K$ contains three commutative subalgebras. In particular, it allows us to obtain a commutative family of integrals of motion associated with affine Dynkin diagrams of all non-exceptional types except $\textsf{D}^{(2)}_{\ell+1}$. We also obtain in a uniform way deformed finite and affine Cartan matrices in all classical types together with a number of new examples, and discuss the corresponding screening operators.


title: Differential Network Analysis: A Statistical Perspective

abstract: Networks effectively capture interactions among components of complex systems, and have thus become a mainstay in many scientific disciplines. Growing evidence, especially from biology, suggest that networks undergo changes over time, and in response to external stimuli. In biology and medicine, these changes have been found to be predictive of complex diseases. They have also been used to gain insight into mechanisms of disease initiation and progression. Primarily motivated by biological applications, this article provides a review of recent statistical machine learning methods for inferring networks and identifying changes in their structures.


title: Analogue Hawking Effect: a master equation

abstract: We consider further on the problem of the analogue Hawking radiation. We propose a fourth order ordinary differential equation, which allows to discuss the problem of Hawking radiation in analogue gravity in a unified way, encompassing fluids and dielectric media. In a suitable approximation, involving weak dispersive effects, WKB solutions are obtained far from the horizon (turning point), and furthermore an equation governing the behaviour near the horizon is derived, and a complete set of analytical solutions is obtained also near the horizon. The subluminal case of the original fluid model introduced by Corley and Jacobson, the case of dielectric media are discussed. We show that in this approximation scheme there is a mode which is not directly involved in the pair-creation process. Thermality is verified and a framework for calculating the grey-body factor is provided.


title: Boundedness of $n$-complements for generalized pairs

abstract: We show the existence of $n$-complements for generalized pairs with additional Diophantine approximation properties when the coefficients of boundaries belong to a DCC set.


title: Fast Bayesian Record Linkage With Record-Specific Disagreement Parameters

abstract: Researchers are often interested in linking individuals between two datasets that lack a common unique identifier. Matching procedures often struggle to match records with common names, birthplaces or other field values. Computational feasibility is also a challenge, particularly when linking large datasets. We develop a Bayesian method for automated probabilistic record linkage and show it recovers more than 50% more true matches, holding accuracy constant, than comparable methods in a matching of military recruitment data to the 1900 US Census for which expert-labelled matches are available. Our approach, which builds on a recent state-of-the-art Bayesian method, refines the modelling of comparison data, allowing disagreement probability parameters conditional on non-match status to be record-specific in the smaller of the two datasets. This flexibility significantly improves matching when many records share common field values. We show that our method is computationally feasible in practice, despite the added complexity, with an R/C++ implementation that achieves significant improvement in speed over comparable recent methods. We also suggest a lightweight method for treatment of very common names and show how to estimate true positive rate and positive predictive value when true match status is unavailable.


title: An entwinement of algebraic topological and variational method to study the {\it Prandtl Batchelor} problem

abstract: In this paper, we investigate the existence of nontrivial weak solution for the {\it Prandtl-Batchelor} type free boundary value elliptic problem driven by a power nonlinearity. The algebraic topology approach will be used to establish the existence of approximate problem solutions, while variational techniques will be used to determine the existence of major problem solutions. In the process several classical results are improved.


title: Averages of coefficients of a class of degree 3 L-functions

abstract: In this note, we give a detailed proof of an asymptotic for averages of coefficients of a class of degree three $L$-functions which can be factorized as a product of a degree one and a degree two $L$-functions. We emphasize that we can break the $1/2$-barrier in the error term, and we get an explicit exponent.


title: Deep Neural Networks for Automatic Speech Processing: A Survey from Large Corpora to Limited Data

abstract: Most state-of-the-art speech systems are using Deep Neural Networks (DNNs). Those systems require a large amount of data to be learned. Hence, learning state-of-the-art frameworks on under-resourced speech languages/problems is a difficult task. Problems could be the limited amount of data for impaired speech. Furthermore, acquiring more data and/or expertise is time-consuming and expensive. In this paper we position ourselves for the following speech processing tasks: Automatic Speech Recognition, speaker identification and emotion recognition. To assess the problem of limited data, we firstly investigate state-of-the-art Automatic Speech Recognition systems as it represents the hardest tasks (due to the large variability in each language). Next, we provide an overview of techniques and tasks requiring fewer data. In the last section we investigate few-shot techniques as we interpret under-resourced speech as a few-shot problem. In that sense we propose an overview of few-shot techniques and perspectives of using such techniques for the focused speech problems in this survey. It occurs that the reviewed techniques are not well adapted for large datasets. Nevertheless, some promising results from the literature encourage the usage of such techniques for speech processing.


title: Analogue Hawking Effect: BEC and Surface Waves

abstract: We take into account two further physical models which play an utmost importance in the framework of Analogue Gravity. We first consider Bose--Einstein condensates (BEC) and then surface gravity waves in water. Our approach is based on the use of the master equation we introduced in a previous work. A more complete analysis of the singular perturbation problem involved, with particular reference to the behavior in the neighbourhood of the (real) turning point and its connection with the WKB approximation, allows us to verify the thermal character of the particle production process. Furthermore, we can provide a simple scheme apt to calculate explicitly the greybody factors in the case of BEC and surface waves. This corroborates the improved approach we proposed for studying the analogue Hawking effect in the usual limit of small dispersive effects.


title: Performance analysis of the Karhunen-Lo\`{e}ve Transform for artificial and astrophysical transmissions: denoising and detection

abstract: In this work, we propose a new method of computing the Karhunen-Lo\`{e}ve Transform (KLT) applied to complex voltage data for the detection and noise level reduction in astronomical signals. We compared this method with the standard KLT techniques based on the Toeplitz correlation matrix and we conducted a performance analysis for the detection and extraction of astrophysical and artificial signals via Monte Carlo simulations. We applied our novel method to a real data study-case: the Voyager 1 telemetry signal. We evaluated the KLT performance in an astrophysical context: our technique provides a remarkable improvement in computation time and Monte-Carlo simulations show significant reconstruction results for signal-to-noise ratio (SNR) down to -10 dB and comparable results with standard signal detection techniques. The application to artificial signals, such as the Voyager 1 data, shows a notable gain in SNR after the KLT.


title: Secure Traffic Lights: Replay Attack Detection for Model-based Smart Traffic Controllers

abstract: Rapid urbanization calls for smart traffic management solutions that incorporate sensors, distributed traffic controllers and V2X communication technologies to provide fine-grained traffic control to mitigate congestion. As in many other cyber-physical systems, smart traffic management systems typically lack security measures. This allows numerous opportunities for adversarial entities to craft attacks on the sensor networks, wireless data sharing and/or the distributed traffic controllers. We show that such vulnerabilities can be exploited to disrupt mobility in a large urban area and cause unsafe conditions for drivers and the pedestrians on the roads. Specifically, in this paper, we look into vulnerabilities in model-based traffic controllers and show that, even with state-of-the-art attack detectors in place, false-data injection can be used to hamper mobility. We demonstrate a replay attack by modeling an isolated intersection in VISSIM, a popular traffic simulator and also discuss countermeasures to thwart such attacks.


title: The open and clopen Ramsey theorems in the Weihrauch lattice

abstract: We investigate the uniform computational content of the open and clopen Ramsey theorems in the Weihrauch lattice. While they are known to be equivalent to $\mathrm{ATR_0}$ from the point of view of reverse mathematics, there is not a canonical way to phrase them as multivalued functions. We identify 8 different multivalued functions (5 corresponding to the open Ramsey theorem and 3 corresponding to the clopen Ramsey theorem) and study their degree from the point of view of Weihrauch, strong Weihrauch and arithmetic Weihrauch reducibility. In particular one of our functions turns out to be strictly stronger than any previously studied multivalued functions arising from statements around $\mathrm{ATR}_0$.


title: Breaking Anti-$\mathcal{PT}$ Symmetry by Spinning a Resonator

abstract: Non-Hermitian systems, with symmetric or antisymmetric Hamiltonians under the parity-time ($\mathcal{PT}$) operations, can have entirely real eigenvalues. This fact has led to surprising discoveries such as loss-induced lasing and topological energy transfer. A merit of anti-$\mathcal{PT}$ systems is free of gain, but in recent efforts on making anti-$\mathcal{PT}$ devices, nonlinearity is still required. Here, counterintuitively, we show how to achieve anti-$\mathcal{PT}$ symmetry and its spontaneous breaking in a linear device by spinning a lossy resonator. Compared with a Hermitian spinning device, significantly enhanced optical isolation and ultrasensitive nanoparticle sensing are achievable in the anti-$\mathcal{PT}$-broken phase. In a broader view, our work provides a new tool to study anti-$\mathcal{PT}$ physics, with such a wide range of applications as anti-$\mathcal{PT}$ lasers, anti-$\mathcal{PT}$ gyroscopes, and anti-$\mathcal{PT}$ topological photonics or optomechanics.


title: Towards Probabilistic Verification of Machine Unlearning

abstract: The right to be forgotten, also known as the right to erasure, is the right of individuals to have their data erased from an entity storing it. The status of this long held notion was legally solidified recently by the General Data Protection Regulation (GDPR) in the European Union. Consequently, there is a need for mechanisms whereby users can verify if service providers comply with their deletion requests. In this work, we take the first step in proposing a formal framework to study the design of such verification mechanisms for data deletion requests -- also known as machine unlearning -- in the context of systems that provide machine learning as a service (MLaaS). Our framework allows the rigorous quantification of any verification mechanism based on standard hypothesis testing. Furthermore, we propose a novel backdoor-based verification mechanism and demonstrate its effectiveness in certifying data deletion with high confidence, thus providing a basis for quantitatively inferring machine unlearning. We evaluate our approach over a range of network architectures such as multi-layer perceptrons (MLP), convolutional neural networks (CNN), residual networks (ResNet), and long short-term memory (LSTM), as well as over 5 different datasets. We demonstrate that our approach has minimal effect on the ML service's accuracy but provides high confidence verification of unlearning. Our proposed mechanism works even if only a handful of users employ our system to ascertain compliance with data deletion requests. In particular, with just 5% of users participating, modifying half their data with a backdoor, and with merely 30 test queries, our verification mechanism has both false positive and false negative ratios below $10^{-3}$. We also show the effectiveness of our approach by testing it against an adaptive adversary that uses a state-of-the-art backdoor defense method.


title: Discrete fragmentation systems in weighted $\ell^1$ spaces

abstract: We investigate an infinite, linear system of ordinary differential equations that models the evolution of fragmenting clusters. We assume that each cluster is composed of identical units (monomers) and we allow mass to be lost, gained or conserved during each fragmentation event. By formulating the initial-value problem for the system as an abstract Cauchy problem (ACP), posed in an appropriate weighted $\ell^1$ space, and then applying perturbation results from the theory of operator semigroups, we prove the existence and uniqueness of physically relevant, classical solutions for a wide class of initial cluster distributions. Additionally, we establish that it is always possible to identify a weighted $\ell^1$ space on which the fragmentation semigroup is analytic, which immediately implies that the corresponding ACP is well posed for any initial distribution belonging to this particular space. We also investigate the asymptotic behaviour of solutions, and show that, under appropriate restrictions on the fragmentation coefficients, solutions display the expected long-term behaviour of converging to a purely monomeric steady state. Moreover, when the fragmentation semigroup is analytic, solutions are shown to decay to this steady state at an explicitly defined exponential rate.


title: Plasma wakes driven by photon bursts via Compton scattering

abstract: Photon bursts with a wavelength smaller than the plasma inter-particle distance can drive plasma wakes via Compton scattering. We investigate this fundamental process analytically and numerically for different photon frequencies, photon flux, and plasma magnetization. Our results show that Langmuir and extraordinary modes are driven efficiently when the photon energy density lies above a certain threshold. The interaction of photon bursts with magnetized plasmas is of distinguished interest as the generated extraordinary modes can convert into pure electromagnetic waves at the plasma/vacuum boundary. This could possibly be a mechanism for the generation of radio waves in astrophysical scenarios in the presence of intense sources of high energy photons.


title: The Security-Utility Trade-off for Iris Authentication and Eye Animation for Social Virtual Avatars

abstract: The gaze behavior of virtual avatars is critical to social presence and perceived eye contact during social interactions in Virtual Reality. Virtual Reality headsets are being designed with integrated eye tracking to enable compelling virtual social interactions. This paper shows that the near infra-red cameras used in eye tracking capture eye images that contain iris patterns of the user. Because iris patterns are a gold standard biometric, the current technology places the user's biometric identity at risk. Our first contribution is an optical defocus based hardware solution to remove the iris biometric from the stream of eye tracking images. We characterize the performance of this solution with different internal parameters. Our second contribution is a psychophysical experiment with a same-different task that investigates the sensitivity of users to a virtual avatar's eye movements when this solution is applied. By deriving detection threshold values, our findings provide a range of defocus parameters where the change in eye movements would go unnoticed in a conversational setting. Our third contribution is a perceptual study to determine the impact of defocus parameters on the perceived eye contact, attentiveness, naturalness, and truthfulness of the avatar. Thus, if a user wishes to protect their iris biometric, our approach provides a solution that balances biometric protection while preventing their conversation partner from perceiving a difference in the user's virtual avatar. This work is the first to develop secure eye tracking configurations for VR/AR/XR applications and motivates future work in the area.


title: Danger Aware Vehicular Networking

abstract: IEEE 802.11p is one of the key technologies that enable Dedicated Short-Range Communications (DSRC) in intelligent transportation system (ITS) for safety on the road. The main challenge in vehicular communication is the large amount of data to be processed. As vehicle density and velocity increases, the data to be transmitted also increases. We proposed a protocol that reduces the number of messages transmitted at a vehicle according to the level of danger that the vehicle experiences. The proposed protocol measures inter-vehicle distance, as the representative of the danger of a vehicle, to determine the priority for transmission. Our results show that this prioritization of transmissions directly reduces the number of transmitters at a time, and hence results in higher performance in terms of key metrics--i.e., PDR, throughput, delay, probabilities of channel busy and collision.


title: How ice grows from premelting films and water droplets

abstract: Close to the triple point, the surface of ice is covered by a thin liquid layer (so-called quasi-liquid layer) which crucially impacts growth and melting rates. Experimental probes cannot observe the growth processes below this layer, and classical models of growth by vapor deposition do not account for the formation of premelting films. Here, we develop a mesoscopic model of liquid-film mediated ice growth, and identify the various resulting growth regimes. At low saturation, freezing proceeds by terrace spreading, but the motion of the buried solid is conveyed through the liquid to the outer liquid-vapor interface. At higher saturations water droplets condense, a large crater forms below, and freezing proceeds undetectably beneath the droplet. Our approach is a general framework that naturally models freezing close to three phase coexistence and provides a first principle theory of ice growth and melting which may prove useful in the geosciences.

categories: physics.chem-ph cond-mat.soft physics.ao-ph physics.flu-dyn physics.geo-ph


title: Motion-Attentive Transition for Zero-Shot Video Object Segmentation

abstract: In this paper, we present a novel Motion-Attentive Transition Network (MATNet) for zero-shot video object segmentation, which provides a new way of leveraging motion information to reinforce spatio-temporal object representation. An asymmetric attention block, called Motion-Attentive Transition (MAT), is designed within a two-stream encoder, which transforms appearance features into motion-attentive representations at each convolutional stage. In this way, the encoder becomes deeply interleaved, allowing for closely hierarchical interactions between object motion and appearance. This is superior to the typical two-stream architecture, which treats motion and appearance separately in each stream and often suffers from overfitting to appearance information. Additionally, a bridge network is proposed to obtain a compact, discriminative and scale-sensitive representation for multi-level encoder features, which is further fed into a decoder to achieve segmentation results. Extensive experiments on three challenging public benchmarks (i.e. DAVIS-16, FBMS and Youtube-Objects) show that our model achieves compelling performance against the state-of-the-arts.


title: b-Coloring Parameterized by Clique-Width

abstract: We provide a polynomial-time algorithm for b-Coloring on graphs of constant clique-width. This unifies and extends nearly all previously known polynomial time results on graph classes, and answers open questions posed by Campos and Silva [Algorithmica, 2018] and Bonomo et al. [Graphs Combin., 2009]. This constitutes the first result concerning structural parameterizations of this problem. We show that the problem is FPT when parameterized by the vertex cover number on general graphs, and on chordal graphs when parameterized by the number of colors. Additionally, we observe that our algorithm for graphs of bounded clique-width can be adapted to solve the Fall Coloring problem within the same runtime bound. The running times of the clique-width based algorithms for b-Coloring and Fall Coloring are tight under the Exponential Time Hypothesis.


title: Non-invasive focusing and imaging in scattering media with a fluorescence-based transmission matrix

abstract: In biological microscopy, light scattering represents the main limitation to image at depth. Recently, a set of wavefront shaping techniques has been developed in order to manipulate coherent light in strongly disordered materials. The Transmission Matrix approach has shown its capability to inverse the effect of scattering and efficiently focus light. In practice, the matrix is usually measured using an invasive detector or low-resolution acoustic guide stars. Here, we introduce a non-invasive and all-optical strategy based on linear fluorescence to reconstruct the transmission matrices, to and from a fluorescent object placed inside a scattering medium. It consists in demixing the incoherent patterns emitted by the object using low-rank factorizations and phase retrieval algorithms. We experimentally demonstrate the efficiency of this method through robust and selective focusing. Additionally, from the same measurements, it is possible to exploit memory effect correlations to image and reconstruct extended objects. This approach opens up a new route towards imaging in scattering media with linear or non-linear contrast mechanisms.


title: X-ray circular dichroism versus orbital magnetization

abstract: The x-ray magnetic circular dichroism (XMCD) sum rule yields an extremely useful ground-state observable, which provides a quantitative measure of spontaneous time-reversal symmetry breaking (T-breaking) in a given material. I derive here its explicit expression within band-structure theory, in the general case: trivial insulators, topological insulators, and metals. Orbital magnetization provides a different measure of T-breaking in the electronic ground state. The two observables belong to the class of "geometrical" observables; both are local and admit a "density" in coordinate space. In both of them one could include/exclude selected groups of bands, in order to acquire element-specific information about the T-breaking material. Only in the case of an isolated flat band the contributions to the two observables coincide. Finally, I provide the corresponding geometrical formula-in a different Hilbert space-for a many-body interacting system.


title: Squeeze operator: a classical view

abstract: In this paper we show the relation between $sp(4,\mathbb{R})$, the Lie algebra of the symplectic group, and the elements of the symplectic group $Sp(4,\mathbb{R})$. We use this relation to provide a classical analog of the squeeze operator $\widehat{S}(\zeta)$. This classical squeeze matrix shares some similarities with the correlation matrix ${\bf V}^{(2)}$ and its amount of squeezing is half of that in the correlation matrix.


title: Novel version of PageRank, CheiRank and 2DRank for Wikipedia in Multilingual Network using Social Impact

abstract: Nowadays, information describing navigation behaviour of internet users are used in several fields, e-commerce, economy, sociology and data science. Such information can be extracted from different knowledge bases, including business-oriented ones. In this paper, we propose a new model for the PageRank, CheiRank and 2DRank algorithm based on the use of clickstream and pageviews data in the google matrix construction. We used data from Wikipedia and analysed links between over 20 million articles from 11 language editions. We extracted over 1.4 billion source-destination pairs of articles from SQL dumps and more than 700 million pairs from XML dumps. Additionally, we unified the pairs based on the analysis of redirect pages and removed all duplicates. Moreover, we also created a bigger network of Wikipedia articles based on all considered language versions and obtained multilingual measures. Based on real data, we discussed the difference between standard PageRank, Cheirank, 2DRank and measures obtained based on our approach in separate languages and multilingual network of Wikipedia.


title: Probabilistic Framework for Constrained Manipulations and Task and Motion Planning under Uncertainty

abstract: Logic-Geometric Programming (LGP) is a powerful motion and manipulation planning framework, which represents hierarchical structure using logic rules that describe discrete aspects of problems, e.g., touch, grasp, hit, or push, and solves the resulting smooth trajectory optimization. The expressive power of logic allows LGP for handling complex, large-scale sequential manipulation and tool-use planning problems. In this paper, we extend the LGP formulation to stochastic domains. Based on the control-inference duality, we interpret LGP in a stochastic domain as fitting a mixture of Gaussians to the posterior path distribution, where each logic profile defines a single Gaussian path distribution. The proposed framework enables a robot to prioritize various interaction modes and to acquire interesting behaviors such as contact exploitation for uncertainty reduction, eventually providing a composite control scheme that is reactive to disturbance. The supplementary video can be found at https://youtu.be/CEaJdVlSZyo


title: SOIC: Semantic Online Initialization and Calibration for LiDAR and Camera

abstract: This paper presents a novel semantic-based online extrinsic calibration approach, SOIC (so, I see), for Light Detection and Ranging (LiDAR) and camera sensors. Previous online calibration methods usually need prior knowledge of rough initial values for optimization. The proposed approach removes this limitation by converting the initialization problem to a Perspective-n-Point (PnP) problem with the introduction of semantic centroids (SCs). The closed-form solution of this PnP problem has been well researched and can be found with existing PnP methods. Since the semantic centroid of the point cloud usually does not accurately match with that of the corresponding image, the accuracy of parameters are not improved even after a nonlinear refinement process. Thus, a cost function based on the constraint of the correspondence between semantic elements from both point cloud and image data is formulated. Subsequently, optimal extrinsic parameters are estimated by minimizing the cost function. We evaluate the proposed method either with GT or predicted semantics on KITTI dataset. Experimental results and comparisons with the baseline method verify the feasibility of the initialization strategy and the accuracy of the calibration approach. In addition, we release the source code at https://github.com/--/SOIC.


title: Collaborative Learning of Semi-Supervised Clustering and Classification for Labeling Uncurated Data

abstract: Domain-specific image collections present potential value in various areas of science and business but are often not curated nor have any way to readily extract relevant content. To employ contemporary supervised image analysis methods on such image data, they must first be cleaned and organized, and then manually labeled for the nomenclature employed in the specific domain, which is a time consuming and expensive endeavor. To address this issue, we designed and implemented the Plud system. Plud provides an iterative semi-supervised workflow to minimize the effort spent by an expert and handles realistic large collections of images. We believe it can support labeling datasets regardless of their size and type. Plud is an iterative sequence of unsupervised clustering, human assistance, and supervised classification. With each iteration 1) the labeled dataset grows, 2) the generality of the classification method and its accuracy increases, and 3) manual effort is reduced. We evaluated the effectiveness of our system, by applying it on over a million images documenting human decomposition. In our experiment comparing manual labeling with labeling conducted with the support of Plud, we found that it reduces the time needed to label data and produces highly accurate models for this new domain.


title: Cascaded Human-Object Interaction Recognition

abstract: Rapid progress has been witnessed for human-object interaction (HOI) recognition, but most existing models are confined to single-stage reasoning pipelines. Considering the intrinsic complexity of the task, we introduce a cascade architecture for a multi-stage, coarse-to-fine HOI understanding. At each stage, an instance localization network progressively refines HOI proposals and feeds them into an interaction recognition network. Each of the two networks is also connected to its predecessor at the previous stage, enabling cross-stage information propagation. The interaction recognition network has two crucial parts: a relation ranking module for high-quality HOI proposal selection and a triple-stream classifier for relation prediction. With our carefully-designed human-centric relation features, these two modules work collaboratively towards effective interaction understanding. Further beyond relation detection on a bounding-box level, we make our framework flexible to perform fine-grained pixel-wise relation segmentation; this provides a new glimpse into better relation modeling. Our approach reached the $1^{st}$ place in the ICCV2019 Person in Context Challenge, on both relation detection and segmentation tasks. It also shows promising results on V-COCO.


title: Mechanism Design for Large Scale Network Utility Maximization

abstract: Network utility maximization (NUM) is a general framework for designing distributed optimization algorithms for large-scale networks. An economic challenge arises in the presence of strategic agents' private information. Existing studies proposed (economic) mechanisms but largely neglected the issue of large-scale implementation. Specifically, they require certain modifications to the deployed algorithms, which may bring the significant cost. To tackle this challenge, we present the large-scale Vickery-Clark-Grove (VCG) Mechanism for NUM, with a simpler payment rule characterized by the shadow prices. The Large-Scale VCG Mechanism maximizes the network utility and achieves individual rationality and budget balance. With infinitely many agents, agents' truthful reports of their types are their dominant strategies; for the finite case, each agent's incentive to misreport converges quadratically to zero. For practical implementation, we introduce a modified mechanism that possesses an additional important technical property, superimposability, which makes it able to be built upon any (potentially distributed) algorithm that optimally solves the NUM Problem and ensures all agents to obey the algorithm. We then extend this idea to the dynamic case, when agents' types are dynamically evolving as a controlled Markov process. In this case, the mechanism leads to incentive compatible actions of agent for each time slot.


title: Extended matter bounce scenario in ghost free $f(R,\mathcal{G})$ gravity compatible with GW170817

abstract: In the context of a ghost free $f(R,\mathcal{G})$ model, an extended matter bounce scenario is studied where the form of the scale factor is given by $a(t) = (a_0t^2 + 1)^n$. The ghost free character of the model is ensured by the presence of a Lagrange multiplier, as developed in \cite{Nojiri:2018ouv}. The conditions under which, in this model, the speed of gravitational waves becomes equal to the speed of light (equal to one, in natural units), thus becoming compatible with the striking event GW170817, is investigated. It is shown that this happens for a class of Gauss-Bonnet (GB) coupling functions ($h(t)$) which satisfies a constraint equation of the form $\ddot{h} = \dot{h}H$, with $H$ the Hubble parameter. This constraint is then imposed on the ghost free $f(R,\mathcal{G})$ gravity theory to be consistent with the GW170817 event, subsequently, the corresponding non-singular bouncing cosmology with the aforementioned scale factor is extensively studied. The forms of the coupling function and Lagrange multiplier in the "low curvature limit" of the theory are reconstructed, yielding a viable approximation for $n < 1/2$. Correspondingly, by solving the cosmological perturbation equation, the main observable quantities, namely the spectral index, tensor to scalar ratio, and the running index are determined and confronted with the latest Planck 2018 data. Consistency with the data is proven for those parametric regimes that which correspond to $n < 1/2$. This makes the low curvature approximation a viable one for calculating the scalar and tensor power spectra.


title: Spatial dependence and space-time trend in extreme events

abstract: The statistical theory of extremes is extended to observations that are non-stationary and not independent. The non-stationarity over time and space is controlled via the scedasis (tail scale) in the marginal distributions. Spatial dependence stems from multivariate extreme value theory. We establish asymptotic theory for both the weighted sequential tail empirical process and the weighted tail quantile process based on all observations, taken over time and space. The results yield two statistical tests for homoscedasticity in the tail, one in space and one in time. Further, we show that the common extreme value index can be estimated via a pseudo-maximum likelihood procedure based on pooling all (non-stationary and dependent) observations. Our leading example and application is rainfall in Northern Germany.


title: CMB imprints of non-canonical anisotropic inflation

abstract: Effect of non-canonical scalar fields on the CMB imprints of the anisotropic inflation will be discussed in details in this paper. In particular, we are able to obtain the general formalism of the angular power spectra in the scalar perturbations, tensor perturbations, cross-correlations, and linear polarization in the context of the anisotropic inflation model involving non-canonical scalar fields. Furthermore, some significant numerical spectra will be plotted using the most recent data of Planck as well as the BICEP2 and Keck array. As a result, we find a very interesting point that the $TT$ spectra induced by the tensor perturbations as well as by the linear polarization will increase when the speed of sound decreases.


title: Photospheric magnetic topology of a north polar region

abstract: Aims. We aim to characterise the magnetism of a large fraction of the north polar region close to a maximum of activity, when the polar regions are reversing their dominant polarity. Methods. We make use of full spectropolarimetric data from the CRisp Imaging Spectro-Polarimeter installed at the Swedish Solar Telescope. The data consist of a photospheric spectral line, which is used to infer the various physical parameters of different quiet Sun regions by means of the solution of the radiative transfer equation. We focus our analysis on the properties found for the north polar region and their comparison to the same analysis applied to data taken at disc centre and low-latitude quiet Sun regions for reference. We also analyse the spatial distribution of magnetic structures throughout the north polar region. Results. We find that the physical properties of the polar region (line-of-sight velocity, magnetic flux, magnetic inclination and magnetic azimuth) are compatible with those found for the quiet Sun at disc centre and are similar to the ones found at low latitudes close to the limb. Specifically, the polar region magnetism presents no specific features. The structures for which the transformation from a line-of-sight to a local reference frame was possible harbour large magnetic fluxes ($>10^{17}$ Mx) and are in polarity imbalance with a dominant positive polarity, the largest ones ($>10^{19}$ Mx) being located below $73^{\circ}$ latitude.


title: Learning Optimal Control of Water Distribution Networks through Sequential Model-based Optimization

abstract: Sequential Model-based Bayesian Optimization has been successful-ly applied to several application domains, characterized by complex search spaces, such as Automated Machine Learning and Neural Architecture Search. This paper focuses on optimal control problems, proposing a Sequential Model-based Bayesian Optimization framework to learn optimal control strategies. A quite general formalization of the problem is provided, along with a specific instance related to optimization of pumping operations in an urban Water Distri-bution Network. Relevant results on a real-life Water Distribution Network are reported, comparing different possible choices for the proposed framework.


title: Symmetric spin liquids on the stuffed honeycomb lattice

abstract: We use a projective symmetry group analysis to determine all symmetric spin liquids on the stuffed honeycomb lattice Heisenberg model. This lattice interpolates between honeycomb, triangular and dice lattices, always preserving hexagonal symmetry, and it already has one spin liquid candidate, TbInO$_3$, albeit with strong spin-orbit coupling not considered here. In addition to the stuffed honeycomb lattice itself, we gain valuable insight into potential spin liquids on the honeycomb and triangular lattices, as well as how they might be connected. For example, the sublattice pairing state proposed on the honeycomb lattice connects to the uniform spinon Fermi surface that may be relevant for the triangular lattice with ring exchange, while there are no spin liquids competitive on both the $J_1-J_2$ honeycomb and triangular lattice limits. In particular, we find three stuffed honeycomb descendants of the U(1) Dirac spin liquid widely believed to be found on the $J_1-J_2$ triangular lattice. We also discuss how spin liquids near the honeycomb limit can potentially explain the physics of LiZn$_2$Mo$_3$O$_8$.


title: Inertial drag-out problem : sheets and films on a rotating disc

abstract: The so-called Landau-Levich-Deryaguin problem treats the coating flow dynamics of a thin viscous liquid film entrained by a moving solid surface. In this context, we use a simple experimental set-up consisting of a partially-immersed rotating disc in a liquid tank to study the role of inertia, and also curvature, on liquid entrainment. Using water and UCON$^{\mbox{{TM}}}$ mixtures, we point out a rich phenomenology in the presence of strong inertia : ejection of multiple liquid sheets on the emerging side of the disc, sheet fragmentation, ligament formation and atomization of the liquid flux entrained over the disc's rim. We focus our study on a single liquid sheet and the related average liquid flow rate entrained over a thin disc for various depth-to-radius ratio $h/R < 1$. We show that the liquid sheet is created via a ballistic mechanism as liquid is lifted out of the pool by the rotating disc. We then show that the flow rate in the entrained liquid film is controlled by both viscous and surface tension forces as in the classical Landau-Levich-Deryaguin problem despite the three dimensional, non-uniform and unsteady nature of the flow, and also despite the large values of the film thickness based flow Reynolds number. When the characteristic Froude and Weber numbers become significant, strong inertial effects influence the entrained liquid flux over the disc at large radius-to-immersion-depth ratio, namely via entrainment by the disc's lateral walls and via a contribution to the flow rate extracted from the 3D liquid sheet itself, respectively.


title: Anti-Aging Scheduling in Single-Server Queues: A Systematic and Comparative Study

abstract: The Age-of-Information (AoI) is a new performance metric recently proposed for measuring the freshness of information in information-update systems. In this work, we conduct a systematic and comparative study to investigate the impact of scheduling policies on the AoI performance in single-server queues and provide useful guidelines for the design of AoI-efficient scheduling policies. Specifically, we first perform extensive simulations to demonstrate that the update-size information can be leveraged for achieving a substantially improved AoI compared to non-size-based (or arrival-time-based) policies. Then, by utilizing both the update-size and arrival-time information, we propose three AoI-based policies. Observing improved AoI performance of policies that allow service preemption and that prioritize informative updates, we further propose preemptive, informative, AoI-based scheduling policies. Our simulation results show that such policies empirically achieve the best AoI performance among all the considered policies. However, compared to the best delay-efficient policies (such as Shortest-Remaining-Processing-Time (SRPT)), the AoI improvement is rather marginal in the settings with exogenous arrivals. Interestingly, we also prove sample-path equivalence between some size-based policies and AoI-based policies. This provides an intuitive explanation for why some size-based policies (such as SRPT) achieve a very good AoI performance.


title: Floquet engineering correlated materials with unpolarized light

abstract: Floquet engineering is a powerful tool that drives materials with periodic light. Traditionally, the light is monochromatic, with amplitude, frequency, and polarization varied. We introduce Floquet engineering via unpolarized light built from quasi-monochromatic light, and show how it can modify strongly correlated systems, while preserving the original symmetries. Different types of unpolarized light can realize different strongly correlated phases As an example, we treat insulating magnetic materials on a triangular lattice and show how unpolarized light can induce a Dirac spin liquid.


title: Finding Input Characterizations for Output Properties in ReLU Neural Networks

abstract: Deep Neural Networks (DNNs) have emerged as a powerful mechanism and are being increasingly deployed in real-world safety-critical domains. Despite the widespread success, their complex architecture makes proving any formal guarantees about them difficult. Identifying how logical notions of high-level correctness relate to the complex low-level network architecture is a significant challenge. In this project, we extend the ideas presented in and introduce a way to bridge the gap between the architecture and the high-level specifications. Our key insight is that instead of directly proving the safety properties that are required, we first prove properties that relate closely to the structure of the neural net and use them to reason about the safety properties. We build theoretical foundations for our approach, and empirically evaluate the performance through various experiments, achieving promising results than the existing approach by identifying a larger region of input space that guarantees a certain property on the output.


title: Describe NMR relaxation by effective diffusion equation

abstract: This paper proposes an effective diffusion equation method to analyze nuclear magnetic resonance (NMR) relaxation. NMR relaxation is a spin system recovery process, where the evolution of the spin system is affected by the random field due to Hamiltonians, such as dipolar couplings. The evolution of magnetization can be treated as a random walk in phase space described either by a normal or fractional phase diffusion equation. Based on these phase diffusion equations, the NMR relaxation rates and equations can be obtained, exemplified in the analysis of relaxations affected by an arbitrary random field, and by dipolar coupling for both like and unlike spins. The obtained theoretical results are consistent with the reported results in the literature. Additionally, the anomalous relaxation expression obtained from the Mittag-Leffler function based time correlation function can successfully fit the previously reported 13C T1 NMR experimental data of polyisobutylene (PIB) in the blend of PIB and head-to-head poly(propylene) (hhPP). Furthermore, the proposed phase diffusion approach provides an intuitive way to interpret NMR relaxation, particularly for the fractional NMR relaxation, which is still a challenge to explain by the available theoretical methods. The paper provides additional insights into NMR and magnetic resonance imaging (MRI) relaxation experiments.


title: Modelling Human Active Search in Optimizing Black-box Functions

abstract: Modelling human function learning has been the subject of in-tense research in cognitive sciences. The topic is relevant in black-box optimization where information about the objective and/or constraints is not available and must be learned through function evaluations. In this paper we focus on the relation between the behaviour of humans searching for the maximum and the probabilistic model used in Bayesian Optimization. As surrogate models of the unknown function both Gaussian Processes and Random Forest have been considered: the Bayesian learning paradigm is central in the development of active learning approaches balancing exploration/exploitation in uncertain conditions towards effective generalization in large decision spaces. In this paper we analyse experimentally how Bayesian Optimization compares to humans searching for the maximum of an unknown 2D function. A set of controlled experiments with 60 subjects, using both surrogate models, confirm that Bayesian Optimization provides a general model to represent individual patterns of active learning in humans


title: How to Train Your Super-Net: An Analysis of Training Heuristics in Weight-Sharing NAS

abstract: Weight sharing promises to make neural architecture search (NAS) tractable even on commodity hardware. Existing methods in this space rely on a diverse set of heuristics to design and train the shared-weight backbone network, a.k.a. the super-net. Since heuristics and hyperparameters substantially vary across different methods, a fair comparison between them can only be achieved by systematically analyzing the influence of these factors. In this paper, we therefore provide a systematic evaluation of the heuristics and hyperparameters that are frequently employed by weight-sharing NAS algorithms. Our analysis uncovers that some commonly-used heuristics for super-net training negatively impact the correlation between super-net and stand-alone performance, and evidences the strong influence of certain hyperparameters and architectural choices. Our code and experiments set a strong and reproducible baseline that future works can build on.


title: Vortex solutions in atomic Bose-Einstein condensates via the Adomian Decomposition Method

abstract: We study the dynamics of vortices with arbitrary topological charges in weakly interacting Bose-Einstein condensates using the Adomian Decomposition Method to solve the nonlinear Gross-Pitaevskii equation in polar coordinates. The solutions of the vortex equation are expressed in the form of infinite power series. The power series representations are compared with the exact numerical solutions of the Gross-Pitaevskii equation for the uniform and the harmonic potential, respectively. We find that there is a good agreement between the analytical and the numerical results.


title: Two More Fermionic Minimal Models

abstract: In this short note, we comment on the existence of two more fermionic unitary minimal models not included in recent work by Hsieh, Nakayama, and Tachikawa. These theories are obtained by fermionizing the $\mathbb{Z}_2$ symmetry of the m=11 and m=12 exceptional unitary minimal models. Furthermore, these should be the only missing cases.


title: Restore from Restored: Video Restoration with Pseudo Clean Video

abstract: In this study, we propose a self-supervised video denoising method called "restore-from-restored." This method fine-tunes a pre-trained network by using a pseudo clean video during the test phase. The pseudo clean video is obtained by applying a noisy video to the baseline network. By adopting a fully convolutional neural network (FCN) as the baseline, we can improve video denoising performance without accurate optical flow estimation and registration steps, in contrast to many conventional video restoration methods, due to the translation equivariant property of the FCN. Specifically, the proposed method can take advantage of plentiful similar patches existing across multiple consecutive frames (i.e., patch-recurrence); these patches can boost the performance of the baseline network by a large margin. We analyze the restoration performance of the fine-tuned video denoising networks with the proposed self-supervision-based learning algorithm, and demonstrate that the FCN can utilize recurring patches without requiring accurate registration among adjacent frames. In our experiments, we apply the proposed method to state-of-the-art denoisers and show that our fine-tuned networks achieve a considerable improvement in denoising performance.


title: Adjacency Labelling for Planar Graphs (and Beyond)

abstract: We show that there exists an adjacency labelling scheme for planar graphs where each vertex of an $n$-vertex planar graph $G$ is assigned a $(1+o(1))\log_2 n$-bit label and the labels of two vertices $u$ and $v$ are sufficient to determine if $uv$ is an edge of $G$. This is optimal up to the lower order term and is the first such asymptotically optimal result. An alternative, but equivalent, interpretation of this result is that, for every $n$, there exists a graph $U_n$ with $n^{1+o(1)}$ vertices such that every $n$-vertex planar graph is an induced subgraph of $U_n$. These results generalize to bounded genus graphs, apex-minor-free graphs, bounded-degree graphs from minor closed families, and $k$-planar graphs.


title: On Scalar Products in Higher Rank Quantum Separation of Variables

abstract: Using the framework of the quantum separation of variables (SoV) for higher rank quantum integrable lattice models [1], we introduce some foundations to go beyond the obtained complete transfer matrix spectrum description, and open the way to the computation of matrix elements of local operators. This first amounts to obtain simple expressions for scalar products of the so-called separate states (transfer matrix eigenstates or some simple generalization of them). In the higher rank case, left and right SoV bases are expected to be pseudo-orthogonal, that is for a given SoV co-vector, there could be more than one non-vanishing overlap with the vectors of the chosen right SoV basis. For simplicity, we describe our method to get these pseudo-orthogonality overlaps in the fundamental representations of the $\mathcal{Y}(gl_3)$ lattice model with $N$ sites, a case of rank 2. The non-zero couplings between the co-vector and vector SoV bases are exactly characterized. While the corresponding SoV-measure stays reasonably simple and of possible practical use, we address the problem of constructing left and right SoV bases which do satisfy standard orthogonality. In our approach, the SoV bases are constructed by using families of conserved charges. This gives us a large freedom in the SoV bases construction, and allows us to look for the choice of a family of conserved charges which leads to orthogonal co-vector/vector SoV bases. We first define such a choice in the case of twist matrices having simple spectrum and zero determinant. Then, we generalize the associated family of conserved charges and orthogonal SoV bases to generic simple spectrum and invertible twist matrices. Under this choice of conserved charges, and of the associated orthogonal SoV bases, the scalar products of separate states simplify considerably and take a form similar to the $\mathcal{Y}(gl_2)$ rank one case.


title: Induced and non-induced poset saturation problems

abstract: A subfamily $\mathcal{G}\subseteq \mathcal{F}\subseteq 2^{[n]}$ of sets is a non-induced (weak) copy of a poset $P$ in $\mathcal{F}$ if there exists a bijection $i:P\rightarrow \mathcal{G}$ such that $p\le_P q$ implies $i(p)\subseteq i(q)$. In the case where in addition $p\le_P q$ holds if and only if $i(p)\subseteq i(q)$, then $\mathcal{G}$ is an induced (strong) copy of $P$ in $\mathcal{F}$. We consider the minimum number $sat(n,P)$ [resp.\ $sat^*(n,P)$] of sets that a family $\mathcal{F}\subseteq 2^{[n]}$ can have without containing a non-induced [induced] copy of $P$ and being maximal with respect to this property, i.e., the addition of any $G\in 2^{[n]}\setminus \mathcal{F}$ creates a non-induced [induced] copy of $P$. We prove for any finite poset $P$ that $sat(n,P)\le 2^{|P|-2}$, a bound independent of the size $n$ of the ground set. For induced copies of $P$, there is a dichotomy: for any poset $P$ either $sat^*(n,P)\le K_P$ for some constant depending only on $P$ or $sat^*(n,P)\ge \log_2 n$. We classify several posets according to this dichotomy, and also show better upper and lower bounds on $sat(n,P)$ and $sat^*(n,P)$ for specific classes of posets. Our main new tool is a special ordering of the sets based on the colexicographic order. It turns out that if $P$ is given, processing the sets in this order and adding the sets greedily into our family whenever this does not ruin non-induced [induced] $P$-freeness, we tend to get a small size non-induced [induced] $P$-saturating family.


title: Transverse single-spin asymmetry for very forward neutral pion production in polarized $p+p$ collisions at $\sqrt{s} = 510$ GeV

abstract: Transverse single-spin asymmetries of very forward neutral pions generated in polarized $p + p$ collisions allow us to understand the production mechanism in terms of perturbative and non-perturbative strong interactions. During 2017 the RHICf Collaboration installed an electromagnetic calorimeter in the zero-degree region of the STAR detector at the Relativistic Heavy Ion Collider (RHIC) and measured neutral pions produced at pseudorapidity larger than 6 in polarized $p$+$p$ collisions at $\sqrt{s}$ = 510 GeV. The large non-zero asymmetries increasing both in longitudinal momentum fraction $x_{F}$ and transverse momentum $p_{T}$ have been observed at low transverse momentum $p_{T} < 1$ GeV/$c$ for the first time at this collision energy. The asymmetries show an approximate $x_{F}$ scaling in the $p_{T}$ region where non-perturbative processes are expected to dominate. A non-negligible contribution from soft processes may be necessary to explain the nonzero neutral pion asymmetries.


title: Controlled Optofluidic Crystallization of Colloids Tethered at Interfaces

abstract: We report experiments that show rapid crystallization of colloids tethered to an oil-water interface in response to laser illumination. This light-induced transition is due to a combination of long-ranged thermophoretic pumping and local optical binding. We show that the flow-induced force on the colloids can be described as the gradient of a potential. The nonequilibrium steady state due to local heating thus admits an effective equilibrium description. The optofluidic manipulation explored in this work opens novel ways to manipulate and assemble colloidal particles


title: Deep Inverse Feature Learning: A Representation Learning of Error

abstract: This paper introduces a novel perspective about error in machine learning and proposes inverse feature learning (IFL) as a representation learning approach that learns a set of high-level features based on the representation of error for classification or clustering purposes. The proposed perspective about error representation is fundamentally different from current learning methods, where in classification approaches they interpret the error as a function of the differences between the true labels and the predicted ones or in clustering approaches, in which the clustering objective functions such as compactness are used. Inverse feature learning method operates based on a deep clustering approach to obtain a qualitative form of the representation of error as features. The performance of the proposed IFL method is evaluated by applying the learned features along with the original features, or just using the learned features in different classification and clustering techniques for several data sets. The experimental results show that the proposed method leads to promising results in classification and especially in clustering. In classification, the proposed features along with the primary features improve the results of most of the classification methods on several popular data sets. In clustering, the performance of different clustering methods is considerably improved on different data sets. There are interesting results that show some few features of the representation of error capture highly informative aspects of primary features. We hope this paper helps to utilize the error representation learning in different feature learning domains.


title: Manifold Regularization for Locally Stable Deep Neural Networks

abstract: We apply concepts from manifold regularization to develop new regularization techniques for training locally stable deep neural networks. Our regularizers are based on a sparsification of the graph Laplacian which holds with high probability when the data is sparse in high dimensions, as is common in deep learning. Empirically, our networks exhibit stability in a diverse set of perturbation models, including $\ell_2$, $\ell_\infty$, and Wasserstein-based perturbations; in particular, we achieve 40% adversarial accuracy on CIFAR-10 against an adaptive PGD attack using $\ell_\infty$ perturbations of size $\epsilon = 8/255$, and state-of-the-art verified accuracy of 21% in the same perturbation model. Furthermore, our techniques are efficient, incurring overhead on par with two additional parallel forward passes through the network.


title: Factorized Machine Learning for Performance Modeling of Massively Parallel Heterogeneous Physical Simulations

abstract: We demonstrate neural-network runtime prediction for complex, many-parameter, massively parallel, heterogeneous-physics simulations running on cloud-based MPI clusters. Because individual simulations are so expensive, it is crucial to train the network on a limited dataset despite the potentially large input space of the physics at each point in the spatial domain. We achieve this using a two-part strategy. First, we perform data-driven static load balancing using regression coefficients extracted from small simulations, which both improves parallel performance and reduces the dependency of the runtime on the precise spatial layout of the heterogeneous physics. Second, we divide the execution time of these load-balanced simulations into computation and communication, factoring crude asymptotic scalings out of each term, and training neural nets for the remaining factor coefficients. This strategy is implemented for Meep, a popular and complex open-source electrodynamics simulation package, and are validated for heterogeneous simulations drawn from published engineering models.


title: Review of the high-power vacuum tube microwave sources

abstract: Since the first vacuum tube (X-ray tube) was invented by Wilhelm R\"ontgen in Germany, after more than one hundred years of development, the average power density of the vacuum tube microwave source has reached the order of 108 [MW][GHz]2. The maximum power density record was created by the Free Electron Lasers. In the high-power microwave field, the vacuum devices are still the mainstream microwave sources for applications such as scientific instruments, communications, radars, magnetic confinement fusion heating, microwave weapons, etc. The principles of microwave generation by vacuum tube microwave sources include Cherenkov or Smith-Purcell radiation, transition radiation, and Bremsstrahlung. In this paper, the vacuum tube microwave sources were reviewed in order according to the three radiation principles. Among them, the Vircators can produce 22 GW output power in P-band (0.23-1GHz). Vacuum tubes that can achieve continuous-wave operation include Traveling Wave Tubes, Klystrons, Free Electron Lasers, and Magnetrons, with output power up to 1MW. Vacuum tubes that can generate frequencies of the order of 100 GHz and above include Klystrons, Traveling Wave Tubes, Gyrotrons, Backward Wave Oscillators, Magnetrons, Surface Wave Oscillators, Free Electron Lasers, Orotrons, etc. Gyrotrons are very attractive in the millimeter wave and THz fields. The Gyrotrons can output power at the MW level with 3000s pulse width at millimeter wavelengths.

categories: physics.acc-ph physics.app-ph physics.ins-det physics.plasm-ph


title: Knowledge distillation via adaptive instance normalization

abstract: This paper addresses the problem of model compression via knowledge distillation. To this end, we propose a new knowledge distillation method based on transferring feature statistics, specifically the channel-wise mean and variance, from the teacher to the student. Our method goes beyond the standard way of enforcing the mean and variance of the student to be similar to those of the teacher through an $L_2$ loss, which we found it to be of limited effectiveness. Specifically, we propose a new loss based on adaptive instance normalization to effectively transfer the feature statistics. The main idea is to transfer the learned statistics back to the teacher via adaptive instance normalization (conditioned on the student) and let the teacher network "evaluate" via a loss whether the statistics learned by the student are reliably transferred. We show that our distillation method outperforms other state-of-the-art distillation methods over a large set of experimental settings including different (a) network architectures, (b) teacher-student capacities, (c) datasets, and (d) domains.


title: Staging energy sources to extend flight time of a multirotor UAV

abstract: Energy sources such as batteries do not decrease in mass after consumption, unlike combustion-based fuels. We present the concept of staging energy sources, i.e. consuming energy in stages and ejecting used stages, to progressively reduce the mass of aerial vehicles in-flight which reduces power consumption, and consequently increases flight time. A flight time vs. energy storage mass analysis is presented to show the endurance benefit of staging to multirotors. We consider two specific problems in discrete staging -- optimal order of staging given a certain number of energy sources, and optimal partitioning of a given energy storage mass budget into a given number of stages. We then derive results for two continuously staged cases -- an internal combustion engine driving propellers and a rocket engine. Notably, we show that a multicopter powered by internal combustion has an upper limit on achievable flight time independent of the available fuel mass, but no such limit exists for rocket propulsion. Lastly, we validate the analysis with flight experiments on a custom two-stage battery-powered quadcopter. This quadcopter can eject a battery stage after consumption in-flight using a custom-designed mechanism, and continue hovering using the next stage. The experimental flight times match well with those predicted from the analysis for our vehicle. We achieve a 19% increase in flight time using the batteries in two stages as compared to a single stage.


title: Exploration of Surgeons' Natural Skills for Robotic Catheterization

abstract: Despite having the robotic catheter systems which have recently emerged as safe way of performing cardiovascular interventions, a number of important challenges are yet to be investigated. One of them is exploration of surgeons' natural skills during vascular catheterization with robotic systems. In this study, surgeons' natural hand motions were investigated for identification of four basic movements used for intravascular catheterization. Controlled experiment was setup to acquire surface electromyography (sEMG) signals from six muscles that are innervated when a subject with catheterization skills made the four movements in open settings. k-means and k-NN models were implemented over average EMG and root means square features to uniquely identify the movements. The result shows great potentials of sEMG analysis towards designing intelligent cyborg control for safe and efficient robotic catheterization.


title: Variational Inference for Deep Probabilistic Canonical Correlation Analysis

abstract: In this paper, we propose a deep probabilistic multi-view model that is composed of a linear multi-view layer based on probabilistic canonical correlation analysis (CCA) description in the latent space together with deep generative networks as observation models. The network is designed to decompose the variations of all views into a shared latent representation and a set of view-specific components where the shared latent representation is intended to describe the common underlying sources of variation among the views. An efficient variational inference procedure is developed that approximates the posterior distributions of the latent probabilistic multi-view layer while taking into account the solution of probabilistic CCA. A generalization to models with arbitrary number of views is also proposed. The empirical studies confirm that the proposed deep generative multi-view model can successfully extend deep variational inference to multi-view learning while it efficiently integrates the relationship between multiple views to alleviate the difficulty of learning.


title: Compiling Neural Networks for a Computational Memory Accelerator

abstract: Computational memory (CM) is a promising approach for accelerating inference on neural networks (NN) by using enhanced memories that, in addition to storing data, allow computations on them. One of the main challenges of this approach is defining a hardware/software interface that allows a compiler to map NN models for efficient execution on the underlying CM accelerator. This is a non-trivial task because efficiency dictates that the CM accelerator is explicitly programmed as a dataflow engine where the execution of the different NN layers form a pipeline. In this paper, we present our work towards a software stack for executing ML models on such a multi-core CM accelerator. We describe an architecture for the hardware and software, and focus on the problem of implementing the appropriate control logic so that data dependencies are respected. We propose a solution to the latter that is based on polyhedral compilation.


title: Optimizing Streaming Parallelism on Heterogeneous Many-Core Architectures: A Machine Learning Based Approach

abstract: This article presents an automatic approach to quickly derive a good solution for hardware resource partition and task granularity for task-based parallel applications on heterogeneous many-core architectures. Our approach employs a performance model to estimate the resulting performance of the target application under a given resource partition and task granularity configuration. The model is used as a utility to quickly search for a good configuration at runtime. Instead of hand-crafting an analytical model that requires expert insights into low-level hardware details, we employ machine learning techniques to automatically learn it. We achieve this by first learning a predictive model offline using training programs. The learnt model can then be used to predict the performance of any unseen program at runtime. We apply our approach to 39 representative parallel applications and evaluate it on two representative heterogeneous many-core platforms: a CPU-XeonPhi platform and a CPU-GPU platform. Compared to the single-stream version, our approach achieves, on average, a 1.6x and 1.1x speedup on the XeonPhi and the GPU platform, respectively. These results translate to over 93% of the performance delivered by a theoretically perfect predictor.


title: A scheme for automatic differentiation of complex loss functions

abstract: For a real function, automatic differentiation is such a standard algorithm used to efficiently compute its gradient, that it is integrated in various neural network frameworks. However, despite the recent advances in using complex functions in machine learning and the well-established usefulness of automatic differentiation, the support of automatic differentiation for complex functions is not as well-established and widespread as for real functions. In this work we propose an efficient and seamless scheme to implement automatic differentiation for complex functions, which is a compatible generalization of the current scheme for real functions. This scheme can significantly simplify the implementation of neural networks which use complex numbers.


title: Propagating Asymptotic-Estimated Gradients for Low Bitwidth Quantized Neural Networks

abstract: The quantized neural networks (QNNs) can be useful for neural network acceleration and compression, but during the training process they pose a challenge: how to propagate the gradient of loss function through the graph flow with a derivative of 0 almost everywhere. In response to this non-differentiable situation, we propose a novel Asymptotic-Quantized Estimator (AQE) to estimate the gradient. In particular, during back-propagation, the graph that relates inputs to output remains smoothness and differentiability. At the end of training, the weights and activations have been quantized to low-precision because of the asymptotic behaviour of AQE. Meanwhile, we propose a M-bit Inputs and N-bit Weights Network (MINW-Net) trained by AQE, a quantized neural network with 1-3 bits weights and activations. In the inference phase, we can use XNOR or SHIFT operations instead of convolution operations to accelerate the MINW-Net. Our experiments on CIFAR datasets demonstrate that our AQE is well defined, and the QNNs with AQE perform better than that with Straight-Through Estimator (STE). For example, in the case of the same ConvNet that has 1-bit weights and activations, our MINW-Net with AQE can achieve a prediction accuracy 1.5\% higher than the Binarized Neural Network (BNN) with STE. The MINW-Net, which is trained from scratch by AQE, can achieve comparable classification accuracy as 32-bit counterparts on CIFAR test sets. Extensive experimental results on ImageNet dataset show great superiority of the proposed AQE and our MINW-Net achieves comparable results with other state-of-the-art QNNs.


title: Improved Baselines with Momentum Contrastive Learning

abstract: Contrastive unsupervised learning has recently shown encouraging progress, e.g., in Momentum Contrast (MoCo) and SimCLR. In this note, we verify the effectiveness of two of SimCLR's design improvements by implementing them in the MoCo framework. With simple modifications to MoCo---namely, using an MLP projection head and more data augmentation---we establish stronger baselines that outperform SimCLR and do not require large training batches. We hope this will make state-of-the-art unsupervised learning research more accessible. Code will be made public.


title: On Compositions of Transformations in Contrastive Self-Supervised Learning

abstract: In the image domain, excellent representations can be learned by inducing invariance to content-preserving transformations via noise contrastive learning. In this paper, we generalize contrastive learning to a wider set of transformations, and their compositions, for which either invariance or distinctiveness is sought. We show that it is not immediately obvious how existing methods such as SimCLR can be extended to do so. Instead, we introduce a number of formal requirements that all contrastive formulations must satisfy, and propose a practical construction which satisfies these requirements. In order to maximise the reach of this analysis, we express all components of noise contrastive formulations as the choice of certain generalized transformations of the data (GDTs), including data sampling. We then consider videos as an example of data in which a large variety of transformations are applicable, accounting for the extra modalities -- for which we analyze audio and text -- and the dimension of time. We find that being invariant to certain transformations and distinctive to others is critical to learning effective video representations, improving the state-of-the-art for multiple benchmarks by a large margin, and even surpassing supervised pretraining.


title: Discovering Symmetry Invariants and Conserved Quantities by Interpreting Siamese Neural Networks

abstract: In this paper, we introduce interpretable Siamese Neural Networks (SNN) for similarity detection to the field of theoretical physics. More precisely, we apply SNNs to events in special relativity, the transformation of electromagnetic fields, and the motion of particles in a central potential. In these examples, the SNNs learn to identify datapoints belonging to the same events, field configurations, or trajectory of motion. It turns out that in the process of learning which datapoints belong to the same event or field configuration, these SNNs also learn the relevant symmetry invariants and conserved quantities. These SNNs are highly interpretable, which enables us to reveal the symmetry invariants and conserved quantities without prior knowledge.


title: Learning Discrete State Abstractions With Deep Variational Inference

abstract: Abstraction is crucial for effective sequential decision making in domains with large state spaces. In this work, we propose an information bottleneck method for learning approximate bisimulations, a type of state abstraction. We use a deep neural encoder to map states onto continuous embeddings. We map these embeddings onto a discrete representation using an action-conditioned hidden Markov model, which is trained end-to-end with the neural network. Our method is suited for environments with high-dimensional states and learns from a stream of experience collected by an agent acting in a Markov decision process. Through this learned discrete abstract model, we can efficiently plan for unseen goals in a multi-goal Reinforcement Learning setting. We test our method in simplified robotic manipulation domains with image states. We also compare it against previous model-based approaches to finding bisimulations in discrete grid-world-like environments. Source code is available at https://github.com/ondrejba/discrete_abstractions.


title: The Hopf algebra structure of the $R^*$-operation

abstract: We give a Hopf-algebraic formulation of the $R^*$-operation, which is a canonical way to render UV and IR divergent Euclidean Feynman diagrams finite. Our analysis uncovers a close connection to Brown's Hopf algebra of motic graphs. Using this connection we are able to provide a verbose proof of the long observed 'commutativity' of UV and IR subtractions. We also give a new duality between UV and IR counterterms, which, entirely algebraic in nature, is formulated as an inverse relation on the group of characters of the Hopf algebra of log-divergent scaleless Feynman graphs. Many explicit examples of calculations with applications to infrared rearrangement are given.


title: Stochastic Recursive Momentum for Policy Gradient Methods

abstract: In this paper, we propose a novel algorithm named STOchastic Recursive Momentum for Policy Gradient (STORM-PG), which operates a SARAH-type stochastic recursive variance-reduced policy gradient in an exponential moving average fashion. STORM-PG enjoys a provably sharp $O(1/\epsilon^3)$ sample complexity bound for STORM-PG, matching the best-known convergence rate for policy gradient algorithm. In the mean time, STORM-PG avoids the alternations between large batches and small batches which persists in comparable variance-reduced policy gradient methods, allowing considerably simpler parameter tuning. Numerical experiments depicts the superiority of our algorithm over comparative policy gradient algorithms.


title: A local self-tuning mechanism for the cosmological constant

abstract: Recently the global variation of the Planck mass in the General Relativistic Einstein-Hilbert action was proposed as a self-tuning mechanism of the cosmological constant preventing vacuum energy from freely gravitating. We show that this global mechanism emerges for generic local scalar-tensor theories with additional coupling of the scalar field to the field strength of a three-form gauge field that turns the scalar field constant on the domain of the action. Evaluation of the resulting integral constraint equation over the observable Universe yields a self-consistent framework with General Relativistic field equations and arbitrary radiatively stable residual cosmological constant. We argue that the expectation value for this residual is in good agreement with the magnitude of the observed cosmic acceleration.


title: Canonical Analysis of Brans-Dicke Theory Addresses Hamiltonian Inequivalence between Jordan and Einstein Frames

abstract: Jordan and Einstein frame are studied under the light of Hamiltonian formalism. Dirac's constraint theory for Hamiltonian systems is applied to Brans-Dicke theory in the Jordan Frame. In both Jordan and Einstein frame, Brans-Dicke theory has four secondary first class constraints and their constraint algebra is closed. We show, contrary to what is generally believed, the Weyl (conformal) transformation, between the two frames, is not a canonical transformation, in the sense of Hamiltonian formalism. This addresses quantum mechanical inequivalence as well. A canonical transformation is shown.


title: Thermodynamics and weak cosmic censorship conjecture of charged AdS black hole in the Rastall gravity with pressure

abstract: Treating the cosmological constant as a dynamical variable, we investigate the thermodynamics and weak cosmic censorship conjecture (WCCC) of a charged AdS black hole (BH) in the Rastall gravity. We determine the energy momentum relation of charged fermion at the horizon of the BH by using the Dirac equation. Based on this relation, we show that the first law of thermodynamics (FLT) still holds as a fermion is absorbed by the BH. However, the entropy of both the extremal and near-extremal BH decreases in the irreversible process, which means that the second law of thermodynamics (SLT) is violated. Furthermore, we verify the validity of the WCCC by the minimum values of the metric function h(r) at its final state. For the extremal charged AdS BH in the Rastall gravity, we find that the WCCC is valid always since the BH is extreme. While for the case of near-extremal BH, we find the WCCC could be violable in the extended phase space (EPS), depending on the value of the parameters of the BH and their variations.


title: Understanding correlation between two bound state electrons using a simple model

abstract: Understanding electron correlation requires solving inseparable Schrodinger equation. In general, inseparable Schr\"odinger equations cannot be solved analytically. So their solutions are obtained numerically. In this paper we investigate electron correlation problem using the Dirac delta function repulsion between two electrons, where each electron is bound in their respective Dirac delta potential well.


title: Optimal trade strategy of a regional economy by food exports

abstract: This paper examines the export promotion of processed foods by a regional economy and regional vitalisation policy. We employ Bertrand models that contain a major home producer and a home producer in a local area. In our model, growth in the profit of one producer does not result in an increase in the profit of the other, despite strategic complements. We show that the profit of the producer in the local area decreases because of the deterioration of a location condition, and its profit increases through the reinforcement of the administrative guidance. Furthermore, when the inefficiency of the location worsens, the local government should optimally decrease the level of administrative guidance. Hence, the local government should strategically eliminate this inefficiency to maintain a sufficient effect of administrative guidance.


title: Generation of Ultra-Low Power Phononic Combs

abstract: We demonstrate excitation of phononic frequency combs in a Bulk Acoustic Wave system at a temperature of $20$mK using a single tone low power signal source. The observed ultra low power threshold is due to a combination of very high quality factor of $4.2\times 10^8$ and relatively strong nonlinear effects. The observed repetition rate of the comb varies from 0.7 to 2Hz and spans over tens of Hertz. The demonstrated system is fully excited via piezoelectricity and does not require mode spectra engineering and external optical or microwave signals. It is shown that the comb profile significantly depends on geometry of excitation and detection electrodes. Observed strong Duffing nonlinearity below the generation threshold suggests that the system is a phononic analogue to Kerr frequency combs excited in monolithic optical microresonators. The ultra-low power regime opens a way of integrating this phononic system with quantum hybrid systems such as impurity defects and superconducting qubits.


title: A quantum secret sharing scheme with verifiable function

abstract: In the $\left( {t,n} \right)$ threshold quantum secret sharing scheme, it is difficult to ensure that internal participants are honest. In this paper, a verifiable $\left( {t,n} \right)$ threshold quantum secret sharing scheme is designed combined with classical secret sharing scheme. First of all, the distributor uses the asymmetric binary polynomials to generate the shares and sends them to each participant. Secondly, the distributor sends the initial quantum state with the secret to the first participant, and each participant performs unitary operation that using the mutually unbiased bases on the obtained $d$ dimension single bit quantum state ($d$ is a large odd prime number). In this process, distributor can randomly check the participants, and find out the internal fraudsters by unitary inverse operation gradually upward. Then the secret is reconstructed after all other participants simultaneously public transmission. Security analysis show that this scheme can resist both external and internal attacks.


title: Advancing Renewable Electricity Consumption With Reinforcement Learning

abstract: As the share of renewable energy sources in the present electric energy mix rises, their intermittence proves to be the biggest challenge to carbon free electricity generation. To address this challenge, we propose an electricity pricing agent, which sends price signals to the customers and contributes to shifting the customer demand to periods of high renewable energy generation. We propose an implementation of a pricing agent with a reinforcement learning approach where the environment is represented by the customers, the electricity generation utilities and the weather conditions.

categories: eess.SP cs.AI cs.LG cs.MA cs.SY eess.SY stat.ML


title: Model for Thermal Comfort and Energy Saving Based on Individual Sensation Estimation

abstract: In office spaces, the ratio of energy consumption of air conditioning and lighting for maintaining the environment comfort is about 70%. On the other hand, many people claim being dissatisfied with the temperature of the air conditioning. Therefore, there is concern about work efficiency reduction caused by the current air conditioning control. In this research, we propose an automatic control system that improves both energy-saving and thermal comfort of all indoor users by quantifying individual differences in thermal comfort from vital information, on the basis of which the optimal settings of both air conditioning and wearable systems that can directly heat and cool individuals are determined. Various environments were simulated with different room sizes, numbers of users in a room, and heating/cooling conditions. The simulation results demonstrated the efficiency of the proposed system for both energy saving and comfort maximization.


title: Unraveling the magnetic interactions and spin state in insulating Sr$_{2-x}$La$_x$CoNbO$_6$

abstract: We investigate the structural, magnetic and spin-state transitions, and magnetocaloric properties of Sr$_{2-x}$La$_x$CoNbO$_6$ ($x=$ 0--1) double perovskites. The structural transition from tetragonal to monoclinic phase at $x$ $\geqslant$ 0.6, and an evolution of (101)/(103) superlattice reflections and Raman active modes indicate the enhancement in the B-site ordering with $x$. The magnetic susceptibility data reveal the transition from weak ferromagnetic (FM) to antiferromagnetic (AFM) ordering for $x$ $\geqslant$ 0.6 with T$_{\rm N}$$\approx$9--15~K. Interestingly, the La substitution drives towards more insulating state due to increase in high-spin Co$^{2+}$, whereas a spin-state crossover is observed in Co$^{3+}$ from high-spin to intermediate/low-spin states with $x$. We discuss the correlation between complex magnetic interactions and the presence of various Co spin-states in the system. Moreover, the emergence of metamagnetic nature due to the competition between FM and AFM interactions as well as crossover from conventional to inverse magnetocaloric effect have been demonstrated by detailed analysis of temperature and field dependent change in magnetic entropy.


title: Resonant and Scattering States in the $\alpha+\alpha$ System from the Non-Localized Cluster Model

abstract: The non-localized cluster model provides a new perspective on nuclear cluster effects and has been applied successfully to study cluster structures in various bound states and quasi-bound states (i.e., long-lived resonant states). In this work, we extend the application scope of the non-localized cluster model further to resonant and scattering states. Following the $R$-matrix theory, the configuration space is divided into the interior and exterior regions by a large channel radius such that the nuclear forces and the antisymmetrization effects become negligible between clusters in the exterior region. In the interior region, the picture of non-localized clustering is realized mathematically by adopting the Brink-Tohsaki-Horiuchi-Schuck-R\"opke (Brink-THSR) wave functions as the bases to construct the interior wave functions. The Bloch-Schr\"odinger equation is used to match the interior wave functions continuously with the asymptotic boundary conditions of the resonant and scattering states at the channel radius, which leads eventually to solutions of the problem. As a first test of the formalism, the low-lying resonant states of ${}^{8}$Be and the phase shifts of the $\alpha+\alpha$ elastic scattering are studied. The numerical results agree well with the experimental data, which shows the validity of the theoretical framework.


title: Spectral estimation of Hawkes processes from count data

abstract: This paper presents a parametric estimation method for ill-observed linear stationary Hawkes processes. When the exact locations of points are not observed, but only counts over time intervals of fixed size, methods based on the likelihood are not feasible. We show that spectral estimation based on Whittle's method is adapted to this case and provides consistent and asymptotically normal estimators, provided a mild moment condition on the reproduction function. Simulated datasets and a case-study illustrate the performances of the estimation, notably of the reproduction function even when time intervals are relatively large.


title: LIMEADE: From AI Explanations to Advice Taking

abstract: Research in human-centered AI has shown the benefits of systems that can explain their predictions. Methods that allow an AI to take advice from humans in response to explanations are similarly useful. While both capabilities are well-developed for transparent learning models (e.g., linear models and GA$^2$Ms), and recent techniques (e.g., LIME and SHAP) can generate explanations for opaque models, little attention has been given to advice methods for opaque models. This paper introduces LIMEADE, the first general framework that translates both positive and negative advice (expressed using high-level vocabulary such as that employed by post-hoc explanations) into an update to an arbitrary, underlying opaque model. We demonstrate the generality of our approach with case studies on seventy real-world models across two broad domains: image classification and text recommendation. We show our method improves accuracy compared to a rigorous baseline on the image classification domains. For the text modality, we apply our framework to a neural recommender system for scientific papers on a public website; our user study shows that our framework leads to significantly higher perceived user control, trust, and satisfaction.


title: Charge exchange, from the sky to the laboratory: A method to determine state-selective cross-sections for improved modeling

abstract: Charge exchange (CX) is a semi-resonant recombination process that can lead to spectral line emission in the X-ray band. It occurs in nearly any environment where hot plasma and cold gas interact: in the solar system, in comets and planetary atmospheres, and likely astrophysically, in, for example, supernova remnants and galaxy clusters. It also contributes to the soft X-ray background. Accurate spectral modeling of CX is thus critical to properly interpreting our astrophysical observations, but the commonly used CX models in popular spectral fitting packages often rely on scaling equations and may not accurately describe observations or laboratory measurements. This paper introduces a method that can be applied to high-resolution CX spectra to directly extract state-selective CX cross-sections for electron capture, a key parameter for properly simulating the resulting CX spectrum.


title: The Northern Cross Fast Radio Burst project. I. Overview and pilot observations at 408 MHz

abstract: Fast radio bursts remain one of the most enigmatic astrophysical sources. Observations have significantly progressed over the last few years, thanks to the capabilities of new radio telescopes and the refurbishment of existing ones. Here we describe the upgrade of the Northern Cross radio telescope, operating in the 400-416~MHz frequency band, with the ultimate goal of turning the array into a dedicated instrument to survey the sky for fast radio bursts. We present test observations of the pulsar B0329+54 to characterize the system performance and forecast detectability. Observations with the system currently in place are still limited by modest sky coverage ($\sim 9.4$~deg$^2$) and biased by smearing of high dispersion measure events within each frequency channels. In its final, upgraded configuration, however, the telescope will be able to carry out unbiased fast radio burst surveys over a $\sim 350$~deg$^2$ instantaneous field of view up to $z \sim 5$, with a (nearly constant) $\sim 760 \, (\tau/{\rm ms})^{-0.5}$~mJy rms sensitivity.


title: Measuring the Matter Density of the Galactic Disk Using Stellar Streams

abstract: We present a novel method for determining the total matter surface density of the Galactic disk by analysing the kinematics of a dynamically cold stellar stream that passes through or close to the Galactic plane. The method relies on the fact that the vertical component of energy for such stream stars is approximately constant, such that their vertical positions and vertical velocities are interrelated via the matter density of the Galactic disk. By testing our method on mock data stellar streams, with realistic phase-space dispersions and Gaia uncertainties, we demonstrate that it is applicable to small streams out to a distance of a few kilo-parsec, and that the surface density of the disk can be determined to a precision of 6 %. This method is complementary to other mass measurements. In particular, it does not rely on any equilibrium assumption for stars in the Galactic disk, and also makes it possible to measure the surface density to good precision at large distances from the Sun. Such measurements would inform us of the matter composition of the Galactic disk and its spatial variation, place stronger constraints on dark disk sub-structure, and even diagnose possible non-equilibrium effects that bias other types of dynamical mass measurements.


title: A Return To Neutrino Normalcy

abstract: Understanding the structure of the fermion mixing matrices is an important question in particle physics. The quark mixing matrix is approximately diagonal while the lepton mixing matrix has large off-diagonal elements. Attempting to understand these structures has been the focus of an large body of literature over the last several decades. In this article we propose a new set of conditions to test the structure of mass matrices called normalcy based on how close to diagonal the mixing matrix is. The mass ordering and the octant of $\theta_{23}$ represent two of these conditions. We point out that the quark matrix easily satisfies all six normalcy conditions while none of them are known to be fully satisfied for leptons at high significance. All of the conditions that can be tested for leptons suggest that the matrix could satisfy the normalcy conditions and upcoming experiments such as DUNE and T2HK will most likely determine if the lepton mass matrix satisfies all of them or not.


title: The impact of fallback on the compact remnants and chemical yields of core-collapse supernovae

abstract: Fallback in core-collapse supernovae plays a crucial role in determining the properties of the compact remnants and of the ejecta composition. We perform three-dimensional simulations of mixing and fallback for selected non-rotating supernova models to study how explosion energy and asymmetries correlate with the remnant mass, remnant kick, and remnant spin. We find that the strongest kick and spin is imparted by partial fallback in an asymmetric explosion. Black hole (BH) kicks of several hundred $\mathrm{km}\,\mathrm{s}^{-1}$ and spin parameters of $\mathord{\sim}0.25$ can be obtained in this scenario. If the initial explosion energy barely exceeds the envelope binding energy, stronger fallback results, and the remnant kick and spin remain small. If the explosion energy is high with respect to the envelope binding energy, there is little fallback with a small effect on the remnant kick, but the spin-up by fallback can be substantial. For a non-rotating $12\,\mathrm{M}_\odot$ progenitor, we find that the neutron star (NS) is spun up to millisecond periods. The high specific angular momentum of the fallback material can also lead to disk formation around black holes. Fallback may thus be a pathway towards millisecond-magnetar or collapsar-type engines for hypernovae and gamma-ray bursts that does not require rapid progenitor rotation. Within our small set of simulations, none reproduced the peculiar layered fallback necessary to explain the metal-rich iron-poor composition of many carbon-enhanced metal-poor (CEMP) stars. Models with different explosion energy and different realisations of asymmetries may, however, be compatible with CEMP abundance patterns.


title: Setting the Stage: Structures from Gaussian Random Fields

abstract: We study structure formation in a set of cosmological simulations to uncover the scales in the initial density field that gave rise to the formation of present-day structures. Our simulations share a common primordial power spectrum (here Lambda-CDM), but the introduction of hierarchical variations of the phase information allows us to systematically study the scales that determine the formation of structure at later times. We consider the variance in z=0 statistics such as the matter power spectrum and halo mass function. We also define a criterion for the existence of individual haloes across simulations, and determine what scales in the initial density field contain sufficient information for the non-linear formation of unique haloes. We study how the characteristics of individual haloes such as the mass and concentration, as well as the position and velocity, are affected by variations on different scales, and give scaling relations for haloes of different mass. Finally, we use the example of a cluster-mass halo to show how our hierarchical parametrisation of the initial density field can be used to create variants of particular objects. With properties such as mass, concentration, kinematics and substructure of haloes set on distinct and well-determined scales, and its unique ability to introduce variations localised in real space, our method is a powerful tool to study structure formation in cosmological simulations.