title: On the renormalizations of circle homeomorphisms with several break points

abstract: Let $f$ be an orientation preserving homeomorphisms on the circle with several break points, that is, its derivative $Df$ has jump discontinuities at these points. We study Rauzy-Veech renormalizations of piecewise smooth circle homeomorphisms, by considering such maps as generalized interval exchange maps with genus one. Suppose that $Df$ is absolutely continuous on the each interval of continuity and $D\ln{Df}\in \mathbb{L}_{p}$ for some $p>1$. We prove that, under certain combinatorial assumptions on $f$, renormalizations $R^{n}(f)$ are approximated by piecewise M\"{o}bus functions in $C^{1+L_{1}}$-norm, that means, $R^{n}(f)$ are approximated in $C^{1}$-norm and $D^{2}R^{n}(f)$ are approximated in $L_{1}$-norm. In particular, if $f$ has trivial product of size of breaks, then the renormalizations are approximated by piecewise affine interval exchange maps.


title: Radially resolved simulations of collapsing pebble clouds in protoplanetary discs

abstract: We study the collapse of pebble clouds with a statistical model to find the internal structure of comet-sized planetesimals. Pebble-pebble collisions occur during the collapse and the outcome of these collisions affect the resulting structure of the planetesimal. We expand our previous models by allowing the individual pebble sub-clouds to contract at different rates and by including the effect of gas drag on the contraction speed and in energy dissipation. Our results yield comets that are porous pebble-piles with particle sizes varying with depth. In the surface layers there is a mixture of primordial pebbles and pebble fragments. The interior, on the other hand, consists only of primordial pebbles with a narrower size distribution, yielding higher porosity there. Our results imply that the gas in the protoplanetary disc plays an important role in determining the radial distribution of pebble sizes and porosity inside planetesimals.


title: OCCASO II. Physical parameters and Fe abundances of Red Clump stars in 18 Open Clusters

abstract: Open Clusters have long been used to study the chemo-dynamical evolution of the Galactic disk. This requires an homogeneously analysed sample covering a wide range of ages and distances. In this aper we present the OCCASO second data release. This comprises a sample of high-resolution ($R>65,000$) and high signal-to-noise spectra of 115 Red Clump stars in 18 Open Clusters. We derive atmospheric parameters ($T_{\mathrm{eff}}$, $\log g$, $\xi$), and [Fe/H] abundances using two analysis techniques: equivalent widths and spectral synthesis. A detailed comparison and a critical review of the results of the two methods are made. Both methods are carefully tested between them, with the \emph{Gaia} FGK Benchmark stars, and with an extensive sample of literature values. We perform a membership study using radial velocities and the resulting abundances. Finally, we compare our results with a chemo-dynamical model of the Milky Way thin disk concluding that the oldest Open Clusters are consistent with the models only when dynamical effects are taken into account.


title: Extraction of $|V_{cd}|$ and $|V_{cs}|$ from experimental decay rates using lattice QCD $D \to \pi(K) \ell \nu$ form factors

abstract: We present a determination of the Cabibbo-Kobayashi-Maskawa matrix elements $|V_{cd}|$ and $|V_{cs}|$ obtained by combining the momentum dependence of the semileptonic vector form factors $f_+^{D \to \pi}(q^2)$ and $f_+^{D \to K}(q^2)$, recently determined from lattice QCD simulations, with the differential rates measured for the semileptonic $D \to \pi \ell \nu$ and $D \to K \ell \nu$ decays. Our analysis is based on the results for the semileptonic form factors produced by the European Twisted Mass Collaboration with $N_f = 2 + 1 + 1$ flavors of dynamical quarks in the whole range of values of the squared 4-momentum transfer accessible in the experiments. The statistical and systematic correlations between the lattice data as well as those present in the experimental data are properly taken into account. With respect to the standard procedure based on the use of only the vector form factor at zero 4-momentum transfer, we obtain more precise and consistent results: $|V_{cd} |= 0.2341 ~ (74)$ and $|V_{cs} |= 0.970 ~ (33)$. The second-row CKM unitarity is fulfilled within the current uncertainties: $|V_{cd}|^2 + |V_{cs}|^2 + |V_{cb}|^2 = 0.996 ~ (64)$. Moreover, using for the first time hadronic inputs determined from first principles, we have calculated the ratio of the semileptonic $D \to \pi(K)$ decay rates into muons and electrons, which represent a test of lepton universality within the SM, obtaining in the isospin-symmetric limit of QCD: ${\cal{R}}_{LU}^{D\pi} = 0.985~(2)$ and ${\cal{R}}_{LU}^{DK} = 0.975~(1)$.


title: Measures by means, means by measures

abstract: We construct measure which determines a two-variable mean in a very natural way. Using that measure we can extend the mean to infinite sets as well. E.g. we can calculate the geometric mean of any set with positive Lebesgue measure. We also study the properties and behavior of such generalized means that are obtained by a measure, and we provide some applications as well.


title: Approximate Capacity of Fast Fading Interference Channels with No Instantaneous CSIT

abstract: We develop a characterization of fading models, which assigns a number called logarithmic Jensen's gap to a given fading model. We show that as a consequence of a finite logarithmic Jensen's gap, approximate capacity region can be obtained for fast fading interference channels (FF-IC) for several scenarios. We illustrate three instances where a constant capacity gap can be obtained as a function of the logarithmic Jensen's gap. Firstly for an FF-IC with neither feedback nor instantaneous channel state information at transmitter (CSIT), if the fading distribution has finite logarithmic Jensen's gap, we show that a rate-splitting scheme based on average interference-to-noise ratio (inr) can achieve its approximate capacity. Secondly we show that a similar scheme can achieve the approximate capacity of FF-IC with feedback and delayed CSIT, if the fading distribution has finite logarithmic Jensen's gap. Thirdly, when this condition holds, we show that point-to-point codes can achieve approximate capacity for a class of FF-IC with feedback. We prove that the logarithmic Jensen's gap is finite for common fading models, including Rayleigh and Nakagami fading, thereby obtaining the approximate capacity region of FF-IC with these fading models. For Rayleigh fading the capacity gap is obtained as 1.83 bits per channel use for non-feedback case and 2.83 bits per channel use for feedback case. Our analysis also yields approximate capacity results for fading 2-tap ISI channel and fading interference multiple access channel as corollaries.


title: Usage of the symbolic method and exact solutions of harmonic functions in the problem on pressing of the flat stamp in the rectangular plate

abstract: In this paper we construct a solution of the two-dimensional problem of the elasticity theory (plane deformation) on pressing of the flat stamp in the rectangular plate by using the symbolic method and the exact solution of the harmonic equation for a rectangle. The substitution of symbolic functions that satisfy the harmonic equation, with relevant solutions of harmonic functions allows obtaining the exact solution of the problem.


title: DAC-h3: A Proactive Robot Cognitive Architecture to Acquire and Express Knowledge About the World and the Self

abstract: This paper introduces a cognitive architecture for a humanoid robot to engage in a proactive, mixed-initiative exploration and manipulation of its environment, where the initiative can originate from both the human and the robot. The framework, based on a biologically-grounded theory of the brain and mind, integrates a reactive interaction engine, a number of state-of-the-art perceptual and motor learning algorithms, as well as planning abilities and an autobiographical memory. The architecture as a whole drives the robot behavior to solve the symbol grounding problem, acquire language capabilities, execute goal-oriented behavior, and express a verbal narrative of its own experience in the world. We validate our approach in human-robot interaction experiments with the iCub humanoid robot, showing that the proposed cognitive architecture can be applied in real time within a realistic scenario and that it can be used with naive users.


title: Practical Gauss-Newton Optimisation for Deep Learning

abstract: We present an efficient block-diagonal ap- proximation to the Gauss-Newton matrix for feedforward neural networks. Our result- ing algorithm is competitive against state- of-the-art first order optimisation methods, with sometimes significant improvement in optimisation performance. Unlike first-order methods, for which hyperparameter tuning of the optimisation parameters is often a labo- rious process, our approach can provide good performance even when used with default set- tings. A side result of our work is that for piecewise linear transfer functions, the net- work objective function can have no differ- entiable local maxima, which may partially explain why such transfer functions facilitate effective optimisation.


title: Low temperature thermal history reconstruction using apatite fission-track length distribution and apatite U-Th/He age

abstract: Low temperature thermochronology plays a key role in the study of tectonic evolution of the upper crust. The general application of thermal history modelling of apatite fission-track analysis requires both the parameters of the apparent age together with the confined track-length distribution of the spontaneous tracks. However, obtaining length data is relatively easy and does not require either irradiation or LA-ICP-MS commonly used for determining the uranium content of the grains for age dating. This leads to a shorter laboratory process. For this purpose, based on apatite U-Th/He method, this paper attempts to decouple apatite fission-track age from apatite fission-track length, and then combine the lengths with the respective apatite U-Th/He age to model the thermal history. Therefore, experiments were designed and conducted using a new program "Low-T Thermo". Results of this modelling are presented from the following experiments: apatite fission-track age combined with apatite U-Th/He age; apatite fission-track confined track-length distribution plus apatite U-Th/He age. The modelling precision using this method is related to the relative errors of the apatite U-Th/He ages and the helium diffusion model. This combination of apatite fission-track length and apatite U-Th/He ages has not been implemented before but is presented here as an alternative way of determining thermal histories without the addition of apatite fission-track ages.


title: Concurrent risks of dam failure due to internal degradation, strong winds, snow and drought

abstract: The chance (or probability) of a dam failure can change for various reasons such as structural degradation, the impacts of climate change and land-use change. Similarly the consequences of dam failure (flooding) can change for many reasons such as growth in the population in areas below a dam. Consequently both the chance that a dam might fail and the likely consequences of that failure can change over time. It is therefore crucial that reservoir safety risk analysis methods and decision-making processes are able to support (as a minimum) what-if testing (or sensitivity testing) to take into account these changes over time to gauge their effect on the estimated risk of dam failure. The consequences of a dam failure relate to the vulnerability and exposure of the receptors (for example, people, property and environment) to floodwater. Also the probability of dam failure varies with age, design and construction of the dam. Spillway failure may be caused by the dissipation of energy from water flowing down the spillway, and embankment erosion (scour) may be caused by a dam overtopping. The occurrence of these events depends upon the dam design and the likelihood of extreme rainfall, also in the case of overtopping wind-driven waves on the reservoir surface. In this study the meteorological situations of notable recent events i.e. the Boltby, North Yorkshire incident, 19 June 2005 in which the dam almost overtopped, and the spillway failure of the Ulley Dam near Rotherham at the end of June 2007, are studied. The WRF numerical model will be used to indicate how these meteorological situations might be maximized, and be coupled with the occurrence of other failure modes such as the likelihood of internal dam failure assessed from previous work by government panel engineers.


title: Statistical properties of sketching algorithms

abstract: Sketching is a probabilistic data compression technique that has been largely developed in the computer science community. Numerical operations on big datasets can be intolerably slow; sketching algorithms address this issue by generating a smaller surrogate dataset. Typically, inference proceeds on the compressed dataset. Sketching algorithms generally use random projections to compress the original dataset and this stochastic generation process makes them amenable to statistical analysis. We argue that the sketched data can be modelled as a random sample, thus placing this family of data compression methods firmly within an inferential framework. In particular, we focus on the Gaussian, Hadamard and Clarkson-Woodruff sketches, and their use in single pass sketching algorithms for linear regression with huge $n$. We explore the statistical properties of sketched regression algorithms and derive new distributional results for a large class of sketched estimators. A key result is a conditional central limit theorem for data oblivious sketches. An important finding is that the best choice of sketching algorithm in terms of mean square error is related to the signal to noise ratio in the source dataset. Finally, we demonstrate the theory and the limits of its applicability on two real datasets.


title: Investigating the collision energy dependence of $\eta$/s in RHIC beam energy scan using Bayesian statistics

abstract: We determine the probability distributions of shear viscosity over the entropy density ratio $\eta/s$ in Au+Au collisions at $\sqrt{s_{NN}}=19.6, 39$, and $62.4$ GeV, using Bayesian inference and Gaussian process emulators for a model-to-data statistical analysis that probes the full input parameter space of a transport+viscous hydrodynamics hybrid model. We find the most likely value of $\eta/s$ to be larger at smaller $\sqrt{s_{NN}}$, although the uncertainties still allow for a constant value between 0.10 and 0.15 for the investigated collision energy range.


title: Correlators in tensor models from character calculus

abstract: We explain how the calculations of arXiv:1704.08648, which provided the first evidence for non-trivial structures of Gaussian correlators in tensor models, are efficiently performed with the help of the (Hurwitz) character calculus. This emphasizes a close similarity between technical methods in matrix and tensor models and supports a hope to understand the emerging structures in very similar terms. We claim that the $2m$-fold Gaussian correlators of rank $r$ tensors are given by $r$-linear combinations of dimensions with the Young diagrams of size $m$. The coefficients are made from the characters of the symmetric group $S_m$ and their exact form depends on the symmetries of the model. As the simplest application of this new knowledge, we provide simple expressions for correlators in the Aristotelian tensor model as tri-linear combinations of dimensions.


title: A short note on the computation of the generalised Jacobsthal function for paired progressions

abstract: Jacobsthal's function was recently generalised for the case of paired progressions. It was proven that a specific bound of this function is sufficient for the truth of Goldbach's conjecture and of the prime pairs conjecture as well. We extended and adapted algorithms described for the computation of the common Jacobsthal function, and computed respective function values of the paired Jacobsthal function for primorial numbers for primes up to 73. All these values fulfil the conjectured specific bound. In addition to this note, we provide a detailed review of the algorithmic approaches and the complete computational results in ancillary files.


title: Local Skorokhod topology on the space of cadlag processes

abstract: We modify the global Skorokhod topology, on the space of cadlag paths, by localising with respect to space variable, in order to include the eventual explosions. The tightness of families of probability measures on the paths space endowed with this local Skorokhod topology is studied and a characterization of Aldous type is obtained. The local and global Skorokhod topologies are compared by using a time change transformation. A number of results in the paper should play an important role when studying L\'evy-type processes with unbounded coefficients by martingale problem approach.


title: On the Fourier spectrum of functions on Boolean cubes

abstract: Let $f$ be a real-valued, degree-$d$ Boolean function defined on the $n$-dimensional Boolean cube $\{\pm 1\}^{n}$, and $f(x) = \sum_{S \subset \{1,\ldots,d\}} \widehat{f}(S) \prod_{k \in S} x_k$ its Fourier-Walsh expansion. The main result states that there is an absolute constant $C >0$ such that the $\ell_{2d/(d+1)}$-sum of the Fourier coefficients of $f:\{\pm 1\}^{n} \rightarrow [-1,1]$ is bounded by $\leq C^{\sqrt{d \log d}}$. It was recently proved that a similar result holds for complex-valued polynomials on the $n$-dimensional poly torus $\mathbb{T}^n$, but that in contrast to this a replacement of the $n$-dimensional torus $\mathbb{T}^n$ by $n$-dimensional cube $[-1, 1]^n$ leads to a substantially weaker estimate. This in the Boolean case forces us to invent novel techniques which differ from the ones used in the complex or real case. We indicate how our result is linked with several questions in quantum information theory.


title: Fully-Automatic Multiresolution Idealization for Filtered Ion Channel Recordings: Flickering Event Detection

abstract: We propose a new model-free segmentation method, JULES, which combines recent statistical multiresolution techniques with local deconvolution for idealization of ion channel recordings. The multiresolution criterion takes into account scales down to the sampling rate enabling the detection of flickering events, i.e., events on small temporal scales, even below the filter frequency. For such small scales the deconvolution step allows for a precise determination of dwell times and, in particular, of amplitude levels, a task which is not possible with common thresholding methods. This is confirmed theoretically and in a comprehensive simulation study. In addition, JULES can be applied as a preprocessing method for a refined hidden Markov analysis. Our new methodolodgy allows us to show that gramicidin A flickering events have the same amplitude as the slow gating events. JULES is available as an R function jules in the package clampSeg.


title: Determination of the NNLO low-energy constant $C_{93}$

abstract: Experimental data from hadronic $\tau$ decays allow for a precision determination of the slope of the $I=1$ vacuum polarization at zero momentum. We use this information to provide a value for the next-to-next-to-leading order (NNLO) low-energy constant $C_{93}$ in chiral perturbation theory. The largest systematic error in this determination results from the neglect of terms beyond NNLO in the effective chiral Lagrangian, whose presence in the data will, in general, make the effective $C_{93}$ determined in an NNLO analysis mass dependent. We estimate the size of this effect by using strange hadronic $\tau$-decay data to perform an alternate $C_{93}$ determination based on the slope of the strange vector polarization at zero momentum, which differs from that of the $I=1$ vector channel only through $SU(3)$ flavor-breaking effects. We also comment on the impact of such higher order effects on ChPT-based estimates for the hadronic vacuum polarization contribution to the muon anomalous magnetic moment.


title: Dealing with Integer-valued Variables in Bayesian Optimization with Gaussian Processes

abstract: Bayesian optimization (BO) methods are useful for optimizing functions that are expensive to evaluate, lack an analytical expression and whose evaluations can be contaminated by noise. These methods rely on a probabilistic model of the objective function, typically a Gaussian process (GP), upon which an acquisition function is built. This function guides the optimization process and measures the expected utility of performing an evaluation of the objective at a new point. GPs assume continous input variables. When this is not the case, such as when some of the input variables take integer values, one has to introduce extra approximations. A common approach is to round the suggested variable value to the closest integer before doing the evaluation of the objective. We show that this can lead to problems in the optimization process and describe a more principled approach to account for input variables that are integer-valued. We illustrate in both synthetic and a real experiments the utility of our approach, which significantly improves the results of standard BO methods on problems involving integer-valued variables.


title: A tunable hybrid qubit in a triple quantum dot

abstract: We experimentally demonstrate quantum coherent dynamics of a triple-dot-based multi-electron hybrid qubit. Pulsed experiments show that this system can be conveniently initialized, controlled, and measured electrically, and has good coherence time as compared to gate time. Furthermore, the current multi-electron hybrid qubit has an operation frequency that is tunable in a wide range, from 2 to about 15 GHz. We provide qualitative understandings of the experimental observations by mapping it onto a three-electron system, and compare it with the double dot hybrid qubit and the all-exchange triple-dot qubit.


title: Post-processing partitions to identify domains of modularity optimization

abstract: We introduce the Convex Hull of Admissible Modularity Partitions (CHAMP) algorithm to prune and prioritize different network community structures identified across multiple runs of possibly various computational heuristics. Given a set of partitions, CHAMP identifies the domain of modularity optimization for each partition ---i.e., the parameter-space domain where it has the largest modularity relative to the input set---discarding partitions with empty domains to obtain the subset of partitions that are "admissible" candidate community structures that remain potentially optimal over indicated parameter domains. Importantly, CHAMP can be used for multi-dimensional parameter spaces, such as those for multilayer networks where one includes a resolution parameter and interlayer coupling. Using the results from CHAMP, a user can more appropriately select robust community structures by observing the sizes of domains of optimization and the pairwise comparisons between partitions in the admissible subset. We demonstrate the utility of CHAMP with several example networks. In these examples, CHAMP focuses attention onto pruned subsets of admissible partitions that are 20-to-1785 times smaller than the sets of unique partitions obtained by community detection heuristics that were input into CHAMP.


title: Recent Technical Improvements to the HAYSTAC Experiment

abstract: We report here several technical improvements to the HAYSTAC (Haloscope at Yale Sensitive To Axion Cold dark matter) that have improved operational efficiency, sensitivity, and stability.


title: Refined Holonomic Summation Algorithms in Particle Physics

abstract: An improved multi-summation approach is introduced and discussed that enables one to simultaneously handle indefinite nested sums and products in the setting of difference rings and holonomic sequences. Relevant mathematics is reviewed and the underlying advanced difference ring machinery is elaborated upon. The flexibility of this new toolbox contributed substantially to evaluating complicated multi-sums coming from particle physics. Illustrative examples of the functionality of the new software package RhoSum are given.


title: Ivanov-Regularised Least-Squares Estimators over Large RKHSs and Their Interpolation Spaces

abstract: We study kernel least-squares estimation under a norm constraint. This form of regularisation is known as Ivanov regularisation and it provides better control of the norm of the estimator than the well-established Tikhonov regularisation. Ivanov regularisation can be studied under minimal assumptions. In particular, we assume only that the RKHS is separable with a bounded and measurable kernel. We provide rates of convergence for the expected squared $L^2$ error of our estimator under the weak assumption that the variance of the response variables is bounded and the unknown regression function lies in an interpolation space between $L^2$ and the RKHS. We then obtain faster rates of convergence when the regression function is bounded by clipping the estimator. In fact, we attain the optimal rate of convergence. Furthermore, we provide a high-probability bound under the stronger assumption that the response variables have subgaussian errors and that the regression function lies in an interpolation space between $L^\infty$ and the RKHS. Finally, we derive adaptive results for the settings in which the regression function is bounded.


title: Fermi Surfaces in the Antiferromagnetic, Paramagnetic and Polarized Paramagnetic States of CeRh2Si2 Compared with Quantum Oscillation Experiments

abstract: The large quantum oscillations observed in the thermoelectric power in the antiferromagnetic (AF) state of the heavy-fermion compound CeRh2Si2 disappear suddenly when entering in the polarized paramagnetic (PPM) state at Hc=26.5 T, indicating an abrupt reconstruction of the Fermi surface. The electronic band structure was [LDA+U] for the AF state taking the correct magnetic structure into account, for the PPM state, and for the paramagnetic state (PM). Different Fermi surfaces were obtained for the AF, PM, and PPM states. Due to band folding, a large number of branches was expected and observed in the AF state. The LDA+U calculation was compared with the previous LDA calculations. Furthermore, we compared both calculations with previously published de Haas-van Alphen experiments. The better agreement with the LDA approach suggests that above the critical pressure pc CeRh2Si2 enters in a mixed-valence state. In the PPM state under a high magnetic field, the 4f contribution at the Fermi level EF drops significantly compared with that in the PM state, and the 4f electrons contribute only weakly to the Fermi surface in our approach.


title: Attosecond Electron Pulse Trains and Quantum State Reconstruction in Ultrafast Transmission Electron Microscopy

abstract: We introduce a framework for the preparation, coherent manipulation and characterization of free-electron quantum states, experimentally demonstrating attosecond pulse trains for electron microscopy. Specifically, we employ phase-locked single-color and two-color optical fields to coherently control the electron wave function along the beam direction. We establish a new variant of quantum state tomography - "SQUIRRELS" - to reconstruct the density matrices of free-electron ensembles and their attosecond temporal structure. The ability to tailor and quantitatively map electron quantum states will promote the nanoscale study of electron-matter entanglement and the development of new forms of ultrafast electron microscopy and spectroscopy down to the attosecond regime.


title: Improvement or selection? A longitudinal analysis of students' views about experimental physics in their lab courses

abstract: Laboratory courses represent a unique and potentially important component of the undergraduate physics curriculum, which can be designed to allow students to authentically engage with the process of experimental physics. Among other possible benefits, participation in these courses throughout the undergraduate physics curriculum presents an opportunity to develop students' understanding of the nature and importance of experimental physics within the discipline as a whole. Here, we present and compare both a longitudinal and pseudo-longitudinal analysis of students' responses to a research-based assessment targeting students' views about experimental physics -- the Colorado Learning Attitudes about Science Survey for Experimental Physics (E-CLASS) -- across multiple, required lab courses at a single institution. We find that, while pseudo-longitudinal averages showed increases in students' E-CLASS scores in each consecutive course, analysis of longitudinal data indicates that this increase was not driven by a cumulative impact of laboratory instruction. Rather, the increase was driven by a selection effect in which students who persisted into higher-level lab courses already had more expert-like beliefs, attitudes, and expectations than their peers when they started the lower-level courses.


title: An improved bound in Vizing's conjecture

abstract: A well-known conjecture of Vizing is that $\gamma(G \square H) \ge \gamma(G)\gamma(H)$ for any pair of graphs $G, H$, where $\gamma$ is the domination number and $G \square H$ is the Cartesian product of $G$ and $H$. Suen and Tarr, improving a result of Clark and Suen, showed $\gamma(G \square H) \ge \frac{1}{2}\gamma(G)\gamma(H) + \frac{1}{2}\min(\gamma(G),\gamma(H))$. We further improve their result by showing $\gamma(G \square H) \ge \frac{1}{2}\gamma(G)\gamma(H) + \frac{1}{2}\max(\gamma(G),\gamma(H)).$


title: Kelvin--Helmholtz instability in a cool solar jet in the framework of Hall magnetohydrodynamics: A case study

abstract: We investigate the conditions under which the magnetohydrodynamic (MHD) modes in a cylindrical magnetic flux tube moving along its axis become unstable against the Kelvin--Helmholtz (KH) instability. We \textbf{use} the dispersion relations of MHD modes \textbf{obtained} from the linearized Hall MHD equations for cool (zero beta) plasma \textbf{by assuming} real wave numbers and complex angular wave frequencies\textbf{/complex wave phase velocities}. The dispersion equations are solved numerically at fixed input parameters and varying values of the ratio $l_\mathrm{Hall}/a$, where $l_\mathrm{Hall} = c/\omega_\mathrm{pi}$ ($c$ being the speed of light, and $\omega_\mathrm{pi}$ the ion plasma frequency) and $a$ is the flux tube radius. It is shown that the stability of the MHD modes depends upon four parameters: the density contrast between the flux tube and its environment, the ratio of external and internal magnetic fields, the ratio $l_\mathrm{Hall}/a$, and the value of the Alfv\'en Mach number \textbf{defined as the ratio of the tube axial velocity to Alfv\'en speed inside the flux tube}. It is found that at high density contrasts, for small values of $l_\mathrm{Hall}/a$, the kink ($m = 1$) mode can become unstable against KH instability at some critical Alfv\'en Mach number (or equivalently at critical flow speed), but a threshold $l_\mathrm{Hall}/a$ can suppress the onset of the KH instability. At small density contrasts, however, the magnitude of $l_\mathrm{Hall}/a$ does not affect noticeably the condition for instability occurrence---even though it can reduce the critical Alfv\'en Mach number. It is established that the sausage mode ($m = 0$) is not subject to the KH instability.


title: Almost Sure and Moment Exponential Stability of Regime-Switching Jump Diffusions

abstract: This work is devoted to almost sure and moment exponential stability of regime-switching jump diffusions. The Lyapunov function method is used to derive sufficient conditions for stabilities for general nonlinear systems; which further helps to derive easily verifiable conditions for linear systems. For one-dimensional linear regime-switching jump diffusions, necessary and sufficient conditions for almost sure and $p$th moment exponential stabilities are presented. Several examples are provided for illustration.


title: Microscopic Theory of Spin Toroidization in Periodic Crystals

abstract: Using the semiclassical theory of electron dynamics, we derive a gauge-invariant expression for the spin toroidization in a periodical crystal. We show that the spin toroidization is comprised of two contributions: one is due to the configuration of a classical spin array, while the other comes from the coordinate shift of the electron as spin carrier in response to the inhomogeneous magnetic field. We then establish a direct and elengant relation between our spin toroidization and the antisymmetric magnetoelectric polarizability in insulators. Finally, we demonstrate our spin toroidization in a tight-binding model and show that it is a genuine bulk quantity.


title: Image Crowd Counting Using Convolutional Neural Network and Markov Random Field

abstract: In this paper, we propose a method called Convolutional Neural Network-Markov Random Field (CNN-MRF) to estimate the crowd count in a still image. We first divide the dense crowd visible image into overlapping patches and then use a deep convolutional neural network to extract features from each patch image, followed by a fully connected neural network to regress the local patch crowd count. Since the local patches have overlapping portions, the crowd count of the adjacent patches has a high correlation. We use this correlation and the Markov random field to smooth the counting results of the local patches. Experiments show that our approach significantly outperforms the state-of-the-art methods on UCF and Shanghaitech crowd counting datasets.


title: Optical response of highly reflective film used in the water Cherenkov muon veto of the XENON1T dark matter experiment

abstract: The XENON1T experiment is the most recent stage of the XENON Dark Matter Search, aiming for the direct detection of Weakly Interacting Massive Particles (WIMPs). To reach its projected sensitivity, the background has to be reduced by two orders of magnitude compared to its predecessor XENON100. This requires a water Cherenkov muon veto surrounding the XENON1T TPC, both to shield external backgrounds and to tag muon-induced energetic neutrons through detection of a passing muon or the secondary shower induced by a muon interacting in the surrounding rock. The muon veto is instrumented with $84$ $8"$ PMTs with high quantum efficiency (QE) in the Cherenkov regime and the walls of the watertank are clad with the highly reflective DF2000MA foil by 3M. Here, we present a study of the reflective properties of this foil, as well as the measurement of its wavelength shifting (WLS) properties. Further, we present the impact of reflectance and WLS on the detection efficiency of the muon veto, using a Monte Carlo simulation carried out with Geant4. The measurements yield a specular reflectance of $\approx100\%$ for wavelengths larger than $400\,$nm, while $\approx90\%$ of the incoming light below $370\,$nm is absorbed by the foil. Approximately $3-7.5\%$ of the light hitting the foil within the wavelength range $250\,$nm $\leq \lambda \leq 390\,$nm is used for the WLS process. The intensity of the emission spectrum of the WLS light is slightly dependent on the absorbed wavelength and shows the shape of a rotational-vibrational fluorescence spectrum, peaking at around $\lambda \approx 420\,$nm. Adjusting the reflectance values to the measured ones in the Monte Carlo simulation originally used for the muon veto design, the veto detection efficiency remains unchanged. Including the wavelength shifting in the Monte Carlo simulation leads to an increase of the efficiency of approximately $0.5\%$.


title: Transverse Shift in Andreev Reflection

abstract: An incoming electron is reflected back as a hole at a normal-metal-superconductor interface, a process known as Andreev reflection. We predict that there exists a universal transverse shift in this process due to the effect of spin-orbit coupling in the normal metal. Particularly, using both the scattering approach and the argument of angular momentum conservation, we demonstrate that the shifts are pronounced for lightly-doped Weyl semimetals, and are opposite for incoming electrons with different chirality, generating a chirality-dependent Hall effect for the reflected holes. The predicted shift is not limited to Weyl systems, but exists for a general three-dimensional spin-orbit- coupled metal interfaced with a superconductor.


title: Detection and Interpretation Of Long-Lived X-Ray Quasi-Periodic Pulsations in the X-Class Solar Flare On 2013 May 14

abstract: Quasi-periodic pulsations (QPP) seen in the time derivative of the GOES soft X-ray light curves are analyzed for the near-limb X3.2 event on 14 May 2013. The pulsations are apparent for a total of at least two hours from the impulsive phase to well into the decay phase, with a total of 163 distinct pulses evident to the naked eye. A wavelet analysis shows that the characteristic time scale of these pulsations increases systematically from $\sim$25 s at 01:10 UT, the time of the GOES peak, to $\sim$100 s at 02:00 UT. A second ridge in the wavelet power spectrum, most likely associated with flaring emission from a different active region, shows an increase from $\sim$40 s at 01:40 UT to $\sim$100 s at 03:10 UT. We assume that the QPP that produced the first ridge result from vertical kink-mode oscillations of the newly formed loops following magnetic reconnection in the coronal current sheet. This allows us to estimate the magnetic field strength as a function of altitude given the density, loop length, and QPP time scale as functions of time determined from the GOES light curves and RHESSI images. The calculated magnetic field strength of the newly formed loops ranges from about $\sim$500 G at an altitude of 24 Mm to a low value of $\sim$10 G at 60 Mm, in general agreement with the expected values at these altitudes. Fast sausage mode oscillations are also discussed and cannot be ruled out as an alternate mechanism for producing the QPP.


title: A new proof of Kirchberg's $\mathcal O_2$-stable classification

abstract: I present a new proof of Kirchberg's $\mathcal O_2$-stable classification theorem: two separable, nuclear, stable/unital, $\mathcal O_2$-stable $C^\ast$-algebras are isomorphic if and only if their ideal lattices are order isomorphic, or equivalently, their primitive ideal spaces are homeomorphic. Many intermediate results do not depend on pure infiniteness of any sort.


title: Certified Defenses for Data Poisoning Attacks

abstract: Machine learning systems trained on user-provided data are susceptible to data poisoning attacks, whereby malicious users inject false training data with the aim of corrupting the learned model. While recent work has proposed a number of attacks and defenses, little is understood about the worst-case loss of a defense in the face of a determined attacker. We address this by constructing approximate upper bounds on the loss across a broad family of attacks, for defenders that first perform outlier removal followed by empirical risk minimization. Our approximation relies on two assumptions: (1) that the dataset is large enough for statistical concentration between train and test error to hold, and (2) that outliers within the clean (non-poisoned) data do not have a strong effect on the model. Our bound comes paired with a candidate attack that often nearly matches the upper bound, giving us a powerful tool for quickly assessing defenses on a given dataset. Empirically, we find that even under a simple defense, the MNIST-1-7 and Dogfish datasets are resilient to attack, while in contrast the IMDB sentiment dataset can be driven from 12% to 23% test error by adding only 3% poisoned data.


title: SEVEN: Deep Semi-supervised Verification Networks

abstract: Verification determines whether two samples belong to the same class or not, and has important applications such as face and fingerprint verification, where thousands or millions of categories are present but each category has scarce labeled examples, presenting two major challenges for existing deep learning models. We propose a deep semi-supervised model named SEmi-supervised VErification Network (SEVEN) to address these challenges. The model consists of two complementary components. The generative component addresses the lack of supervision within each category by learning general salient structures from a large amount of data across categories. The discriminative component exploits the learned general features to mitigate the lack of supervision within categories, and also directs the generative component to find more informative structures of the whole data manifold. The two components are tied together in SEVEN to allow an end-to-end training of the two components. Extensive experiments on four verification tasks demonstrate that SEVEN significantly outperforms other state-of-the-art deep semi-supervised techniques when labeled data are in short supply. Furthermore, SEVEN is competitive with fully supervised baselines trained with a larger amount of labeled data. It indicates the importance of the generative component in SEVEN.


title: Description of Charged Particle Pseudorapidity Distributions in Pb+Pb Collisions with Tsallis Thermodynamics

abstract: The centrality dependence of pseudorapidity distributions for charged particles produced in Au+Au collisions at $\sqrt{s_{NN}}=130$ GeV and 200 GeV at RHIC, and in Pb+Pb collisions at $\sqrt{s_{NN}}=2.76$ TeV at LHC are investigated in the fireball model, assuming that the rapidity axis is populated with fireballs following one distribution function. We assume that the particles in the fireball fulfill the Tsallis distribution. The theoretical results are compared with the experimental measurements and a good agreement is found. Using these results, the pseudorapidity distributions of charged particles produced in Pb+Pb central collisions at $\sqrt{s_{NN}}=5.02$ TeV and 10 TeV are predicted.


title: Coherent perfect absorbers: linear control of light with light

abstract: Absorption of electromagnetic energy by a material is a phenomenon that underlies many applied problems, including molecular sensing, photocurrent generation and photodetection. Commonly, the incident energy is delivered to the system through a single channel, for example by a plane wave incident on one side of an absorber. However, absorption can be made much more efficient by exploiting wave interference. A coherent perfect absorber is a system in which complete absorption of electromagnetic radiation is achieved by controlling the interference of multiple incident waves. Here, we review recent advances in the design and applications of such devices. We present the theoretical principles underlying the phenomenon of coherent perfect absorption and give an overview of the photonic structures in which it can be realized, including planar and guided-mode structures, graphene-based systems, parity- and time-symmetric structures, 3D structures and quantum-mechanical systems. We then discuss possible applications of coherent perfect absorption in nanophotonics and, finally, we survey the perspectives for the future of this field.


title: COPSS-lite: Lightweight ICN Based Pub/Sub for IoT Environments

abstract: Information Centric Networking is a new networking paradigm that treats content as first class entity. It provides content to users without regards to the current location of the content. The publish/subscribe systems have gained popularity in Internet. Pub/sub systems dismisses the need for users to request every content of their interest. Instead, the content is supplied to interested users (subscribers) as and when it is published. CCN/NDN are popular ICN proposals widely accepted in the ICN community however, they do not provide an efficient pub/sub mechanism. COPSS enhances CCN/NDN with an efficient pub/sub capability. Internet of Things (IoT) is a growing topic of interest in both Academia and Industry. The current designs for IoT relies on IP. However, the IoT devices are constrained in their available resources and IP is heavy for their operation.We observed that IoT's are information centric in nature and hence ICN is a more suitable candidate to support IoT environments. Although NDN and COPSS work well for the Internet, their current full fledged implementations cannot be used by the resource constrained IoT devices. CCN-lite is a light weight, inter-operable version of the CCNx protocol for supporting the IoT devices. However, CCN-lite like its ancestors lacks the support for an efficient pub/sub mechanism. In this paper, we developed COPSS-lite, an efficient and light weight implementation of pub/sub for IoT. COPSS-lite is developed to enhance CCN-lite and also support multi-hop connection by incorporating the famous RPL protocol for low power and lossy networks. We provide a preliminary evaluation to show proof of operability with real world sensor devices in IoT lab. Our results show that COPSS-lite is compact, operates on all platforms that support CCN-lite and we observe significant performance benefits with COPSS-lite in IoT environments.


title: Compact 16-dimensional planes. An update

abstract: This paper is an addition to the book [54] on Compact projective planes. Such planes, if connected and finite-dimensional, have a point space of topological dimension 2, 4, 8, or 16, the classical example in the last case being the projective closure of the affine plane over the octonion algebra. The final result in the book (which was published 20 years ago) is a complete description of all planes admitting an automorphism group of dimension at least 40. Newer results on 8-dimensional planes have been collected in [52]. Here, we present a classification of 16-dimensional planes with a group of dimension at least 35, provided the group does not fix exactly one flag, and we prove several further theorems, among them criteria for a connected group of automorphisms to be a Lie group. My sincere thanks are due to Hermann H\"ahl for many fruitful discussions.


title: Isomorphisms between curve graphs of infinite-type surfaces are geometric

abstract: Let $\phi:\mathcal{C}(S)\to\mathcal{C}(S')$ be a simplicial isomorphism between the curve graphs of two infinite-type surfaces. In this paper we show that in this situation $S$ and $S'$ are homeomorphic and $\phi$ is induced by a homeomorphism $h:S\to S'$.


title: Designing Deterministic Polynomial-Space Algorithms by Color-Coding Multivariate Polynomials

abstract: In recent years, several powerful techniques have been developed to design {\em randomized} polynomial-space parameterized algorithms. In this paper, we introduce an enhancement of color coding to design deterministic polynomial-space parameterized algorithms. Our approach aims at reducing the number of random choices by exploiting the special structure of a solution. Using our approach, we derive the following deterministic algorithms (see Introduction for problem definitions). 1. Polynomial-space $O^*(3.86^k)$-time (exponential-space $O^*(3.41^k)$-time) algorithm for {\sc $k$-Internal Out-Branching}, improving upon the previously fastest {\em exponential-space} $O^*(5.14^k)$-time algorithm for this problem. 2. Polynomial-space $O^*((2e)^{k+o(k)})$-time (exponential-space $O^*(4.32^k)$-time) algorithm for {\sc $k$-Colorful Out-Branching} on arc-colored digraphs and {\sc $k$-Colorful Perfect Matching} on planar edge-colored graphs. To obtain our polynomial space algorithms, we show that $(n,k,\alpha k)$-splitters ($\alpha\ge 1$) and in particular $(n,k)$-perfect hash families can be enumerated one by one with polynomial delay.


title: The in-town monitoring system for ambulance dispatch centre

abstract: The paper presents the vehicles integrated monitoring system giving priorities for emergency vehicles. The described system exploits the data gathered by: geographical positioning systems and geographical information systems. The digital maps and roadside cameras provide the dispatchers with aims for in town ambulances traffic management. The method of vehicles positioning in the city network and algorithms for ambulances recognition by image processing techniques have been discussed in the paper. These priorities are needed for an efficient life-saving actions that require the real-time controlling strategies.


title: Applying Software Patterns to Address Interoperability in Blockchain-based Healthcare Apps

abstract: Since the inception of the Bitcoin technology, its underlying data structure--the blockchain--has garnered much attention due to properties such as decentralization, transparency, and immutability. These properties make blockchains suitable for apps that require disintermediation through trustless exchange, consistent and incorruptible transaction records, and operational models beyond cryptocurrency. In particular, blockchain and its smart contract capabilities have the potential to address healthcare interoperability issues, such as enabling effective interactions between users and medical applications, delivering patient data securely to a variety of organizations and devices, and improving the overall efficiency of medical practice workflow. Despite the interest in using blockchain for healthcare interoperability, however, little information is available on the concrete architectural styles and patterns for applying blockchain to healthcare apps. This paper provides an initial step in filling this gap by showing: (1) the features and implementation challenges in healthcare interoperability, (2) an end-to-end case study of a blockchain-based healthcare app we are developing, and (3) how applying foundational software patterns can help address common interoperability challenges faced by blockchain-based healthcare apps.


title: NotiMind: Utilizing Responses to Smart Phone Notifications as Affective sensors

abstract: Today's mobile phone users are faced with large numbers of notifications on social media, ranging from new followers on Twitter and emails to messages received from WhatsApp and Facebook. These digital alerts continuously disrupt activities through instant calls for attention. This paper examines closely the way everyday users interact with notifications and their impact on users' emotion. Fifty users were recruited to download our application NotiMind and use it over a five-week period. Users' phones collected thousands of social and system notifications along with affect data collected via self-reported PANAS tests three times a day. Results showed a noticeable correlation between positive affective measures and keyboard activities. When large numbers of Post and Remove notifications occur, a corresponding increase in negative affective measures is detected. Our predictive model has achieved a good accuracy level using three different classifiers "in the wild" (F-measure 74-78% within-subject model, 72-76% global model). Our findings show that it is possible to automatically predict when people are experiencing positive, neutral or negative affective states based on interactions with notifications. We also show how our findings open the door to a wide range of applications in relation to emotion awareness on social and mobile communication.


title: Progressive and Multi-Path Holistically Nested Neural Networks for Pathological Lung Segmentation from CT Images

abstract: Pathological lung segmentation (PLS) is an important, yet challenging, medical image application due to the wide variability of pathological lung appearance and shape. Because PLS is often a pre-requisite for other imaging analytics, methodological simplicity and generality are key factors in usability. Along those lines, we present a bottom-up deep-learning based approach that is expressive enough to handle variations in appearance, while remaining unaffected by any variations in shape. We incorporate the deeply supervised learning framework, but enhance it with a simple, yet effective, progressive multi-path scheme, which more reliably merges outputs from different network stages. The result is a deep model able to produce finer detailed masks, which we call progressive holistically-nested networks (P-HNNs). Using extensive cross-validation, our method is tested on multi-institutional datasets comprising 929 CT scans (848 publicly available), of pathological lungs, reporting mean dice scores of 0.985 and demonstrating significant qualitative and quantitative improvements over state-of-the art approaches.


title: Kelvin--Helmholtz instability in a twisting solar polar coronal hole jet observed by \emph{SDO}/AIA

abstract: We investigate the conditions under which the fluting ($m = 2$), $m = 3$, and $m = 12$ magnetohydrodynamic (MHD) modes in a uniformly twisted flux tube moving along its axis become unstable in order to model the Kelvin--Helmholtz (KH) instability in a twisting solar coronal hole jet near the northern pole of the Sun. Using a twisting jet of 2010 August 21 by \emph{SDO}/AIA and other observations of coronal jets we set the parameters of our theoretical model and have obtained that in a twisted magnetic flux tube of radius of $9.8$~Mm, at a density contrast of $0.474$ and fixed Alfv\'en Mach number of ${\cong}0.76$, for three MHD modes there exist instability windows whose width crucially depends upon the internal magnetic field twist. It is found that for the considered modes an azimuthal magnetic field of $1.3$--$1.4$~G (computed at the tube boundary) makes the width of the instability windows equal to zero, that is, it suppress the KH instability onset. On the other hand, the times for developing KH instability of the $m = 12$ MHD mode at instability wavelengths between $15$ and $12$~Mm turn out to be in the range of $1.9$ to $4.7$~minutes that is in agreement with the growth rates estimated from the temporal evolution of the observed unstable jet's blobs in their initial stage.


title: n-dimensional Klein bottles

abstract: An n-dimensional analogue of the Klein bottle arose in our study of topological complexity of planar polygon spaces. We determine its integral cohomology algebra and stable homotopy type, and give an explicit immersion and embedding in Euclidean space.


title: The many faces of degeneracy in conic optimization

abstract: Slater's condition -- existence of a "strictly feasible solution" -- is a common assumption in conic optimization. Without strict feasibility, first-order optimality conditions may be meaningless, the dual problem may yield little information about the primal, and small changes in the data may render the problem infeasible. Hence, failure of strict feasibility can negatively impact off-the-shelf numerical methods, such as primal-dual interior point methods, in particular. New optimization modelling techniques and convex relaxations for hard nonconvex problems have shown that the loss of strict feasibility is a more pronounced phenomenon than has previously been realized. In this text, we describe various reasons for the loss of strict feasibility, whether due to poor modelling choices or (more interestingly) rich underlying structure, and discuss ways to cope with it and, in many pronounced cases, how to use it as an advantage. In large part, we emphasize the facial reduction preprocessing technique due to its mathematical elegance, geometric transparency, and computational potential.


title: Coexistence of pressure-induced structural phases in bulk black phosphorus: a combined x-ray diffraction and Raman study up to 18 GPa

abstract: We report a study of the structural phase transitions induced by pressure in bulk black phosphorus by using both synchrotron x-ray diffraction for pressures up to 12.2 GPa and Raman spectroscopy up to 18.2 GPa. Very recently black phosphorus attracted large attention because of the unique properties of fewlayers samples (phosphorene), but some basic questions are still open in the case of the bulk system. As concerning the presence of a Raman spectrum above 10 GPa, which should not be observed in an elemental simple cubic system, we propose a new explanation by attributing a key role to the non-hydrostatic conditions occurring in Raman experiments. Finally, a combined analysis of Raman and XRD data allowed us to obtain quantitative information on presence and extent of coexistences between different structural phases from ~5 up to ~15 GPa. This information can have an important role in theoretical studies on pressure-induced structural and electronic phase transitions in black phosphorus.


title: Analytic Center Cutting Plane Methods for Variational Inequalities over Convex Bodies

abstract: An analytic center cutting plane method is an iterative algorithm based on the computation of analytic centers. In this paper, we propose some analytic center cutting plane methods for solving quasimonotone or pseudomonotone variational inequalities whose domains are bounded or unbounded convex bodies.


title: ALMA Observations of the Young Substellar Binary System 2M1207

abstract: We present ALMA observations of the 2M1207 system, a young binary made of a brown dwarf with a planetary-mass companion at a projected separation of about 40 au. We detect emission from dust continuum at 0.89 mm and from the $J = 3 - 2$ rotational transition of CO from a very compact disk around the young brown dwarf. The small radius found for this brown dwarf disk may be due to truncation from the tidal interaction with the planetary-mass companion. Under the assumption of optically thin dust emission, we estimated a dust mass of 0.1 $M_{\oplus}$ for the 2M1207A disk, and a 3$\sigma$ upper limit of $\sim 1~M_{\rm{Moon}}$ for dust surrounding 2M1207b, which is the tightest upper limit obtained so far for the mass of dust particles surrounding a young planetary-mass companion. We discuss the impact of this and other non-detections of young planetary-mass companions for models of planet formation, which predict the presence of circum-planetary material surrounding these objects.


title: Investigation of low temperature quantum crossover in Josephson junctions

abstract: The evidence for macroscopic quantum tunneling (MQT) in Josephson junctions at low temperatures has been reassessed. Swept bias escape distributions have been modeled with an algorithm-based simulation and the results compared with data from representative published experiments. Signatures expected of a crossover to MQT are not found in the analyzed data.


title: Fabrication, detection and operation of a three-dimensional nanomagnetic conduit

abstract: Three-dimensional (3D) nanomagnetic devices such as the vertical racetrack memory have attracted a huge interest due to their potential for memory and logic applications. However, their implementation has not been realised due to great challenges regarding fabrication and characterisation of 3D nanostructures. Here, we show a 3D nanomagnetic system created by 3D nano-printing and physical vapour deposition, which acts a conduit for domain walls. Domains formed at the substrate level are injected into a 3D nanowire, where they are controllably trapped using vectorial magnetic fields. A dark-field magneto-optical method for parallel, independent measurement of different regions in individual 3D nanostructures is also demonstrated. This work opens a new route for the advanced study and exploitation of 3D nanomagnetic systems.


title: Strongly Normalizing Audited Computation

abstract: Auditing is an increasingly important operation for computer programming, for example in security (e.g. to enable history-based access control) and to enable reproducibility and accountability (e.g. provenance in scientific programming). Most proposed auditing techniques are ad hoc or treat auditing as a second-class, extralinguistic operation; logical or semantic foundations for auditing are not yet well-established. Justification Logic (JL) offers one such foundation; Bavera and Bonelli introduced a computational interpretation of JL called $\lambda^h$ that supports auditing. However, $\lambda^h$ is technically complex and strong normalization was only established for special cases. In addition, we show that the equational theory of $\lambda^h$ is inconsistent. We introduce a new calculus $\lambda^{hc}$ that is simpler than $\lambda^h$, consistent, and strongly normalizing. Our proof of strong normalization is formalized in Nominal Isabelle.


title: A Dynamical Sparse Grid Collocation Method for Differential Equations Driven by White Noise

abstract: We propose a sparse grid stochastic collocation method for long-time simulations of stochastic differential equations (SDEs) driven by white noise. The method uses pre-determined sparse quadrature rules for the forcing term and constructs evolving set of sparse quadrature rules for the solution variables in time. We carry out a restarting scheme to keep the dimension of random variables for the forcing term, therefore also the number of quadrature points, independent of time. At each restart, a sparse quadrature rule for the current solution variables is constructed based on the knowledge of moments and the previous quadrature rules via a minimization procedure. In this way, the method allows us to capture the long-time solutions accurately using small degrees of freedom. We apply the algorithm to low-dimensional nonlinear SDEs and demonstrate its capability in long-time simulations numerically.


title: Quantifying the Origin and Distribution of Intracluster Light in a Fornax-like Cluster

abstract: Using a cosmological $N$-body simulation, we investigate the origin and distribution of stars in the intracluster light (ICL) of a Fornax-like cluster. In a dark matter only simulation we identify a halo which, at $z=0$, has $M_200 \simeq 4.1 \times 10^{13}M_{sun}$ and $r_{200} = 700kpc$, and replace infalling subhalos with models that include spheroid and disc components. As they fall into the cluster, the stars in some of these galaxies are stripped from their hosts, and form the ICL. We consider the separate contributions to the ICL from stars which originate in the haloes and the discs of the galaxies. We find that disc ICL stars are more centrally concentrated than halo ICL stars. The majority of the disc ICL stars are associated with one initially disc-dominated galaxy that falls to the centre of the cluster and is heavily disrupted, producing part of the cD galaxy. At radial distances greater than 200kpc, well beyond the stellar envelope of the cD galaxy, stars formerly from the stellar haloes of galaxies dominate the ICL. Therefore at large distances, the ICL population is dominated by older stars.


title: Hub-filament system in IRAS 05480+2545: young stellar cluster and 6.7 GHz methanol maser

abstract: To probe the star formation (SF) process, we present a multi-wavelength study of IRAS 05480+2545 (hereafter I05480+2545). Analysis of Herschel data reveals a massive clump (M_clump ~ 1875 Msun; peak N(H_2) ~ 4.8 x 10^{22} cm^{-2}; A_V ~ 51 mag) containing the 6.7 GHz methanol maser and I05480+2545, which is also depicted in a temperature range of 18-26 K. Several noticeable parsec-scale filaments are detected in the Herschel 250 microns image and seem to be radially directed to the massive clump. It resembles more of a "hub-filament" system. Deeply embedded young stellar objects (YSOs) have been identified using the 1-5 microns photometric data, and a significant fraction of YSOs and their clustering are spatially found toward the massive clump, revealing the intense SF activities. An infrared counterpart (IRc) of the maser is investigated in the Spitzer 3.6-4.5 microns images. The IRc does not appear point-like source and is most likely associated with the molecular outflow. Based on the 1.4 GHz and Halpha continuum images, the ionized emission is absent toward the IRc, indicating that the massive clump harbors an early phase of massive protostar before the onset of an ultracompact H II region. Together, the I05480+2545 is embedded in a very similar "hub-filament" system to those seen in Rosette Molecular Cloud. The outcome of the present work indicates the role of filaments in the formation of the massive star-forming clump and cluster of YSOs, which might help channel material to the central hub configuration and the clump/core.


title: Coherent transport in a linear triple quantum dot made from a pure-phase InAs nanowire

abstract: A highly tunable linear triple quantum dot (TQD) device is realized in a single-crystalline pure-phase InAs nanowire using a local finger gate technique. The electrical measurements show that the charge stability diagram of the TQD can be represented by three kinds of current lines of different slopes and a simulation performed based on a capacitance matrix model confirms the experiment. We show that each current line observable in the charge stability diagram is associated with a case where a QD is on resonance with the Fermi level of the source and drain reservoirs. At a triple point where two current lines of different slopes move together but show anti-crossing, two QDs are on resonance with the Fermi level of the reservoirs. We demonstrate that an energetically degenerated quadruple point, at which all three QDs are on resonance with the Fermi level of the reservoirs, can be built by moving two separated triple points together via sophistically tuning of energy levels in the three QDs. We also demonstrate the achievement of direct coherent electron transfer between the two remote QDs in the TQD, realizing a long-distance coherent quantum bus operation. Such a long-distance coherent coupling could be used to investigate coherent spin teleportation and super-exchange effects and to construct a spin qubit with an improved long coherent time and with spin state detection solely by sensing the charge states.


title: The minimal volume of log surfaces of general type with positive geometric genus

abstract: We determine the minimal possible volume of a projective log canonical surface of general type with prescribed positive geometric genus. As applications, we provide effecitive Noether type inequalities for log canonical threefolds and stable surfaces. Also, we obtain a uniform bound on the order of the symplectic automorphism group $\mathrm{Aut}_s(S)$ of smooth projective surfaces $S$ of general type.


title: Creation of Rydberg Polarons in a Bose Gas

abstract: We report spectroscopic observation of Rydberg polarons in an atomic Bose gas. Polarons are created by excitation of Rydberg atoms as impurities in a strontium Bose-Einstein condensate. They are distinguished from previously studied polarons by macroscopic occupation of bound molecular states that arise from scattering of the weakly bound Rydberg electron from ground-state atoms. The absence of a $p$-wave resonance in the low-energy electron-atom scattering in Sr introduces a universal behavior in the Rydberg spectral lineshape and in scaling of the spectral width (narrowing) with the Rydberg principal quantum number, $n$. Spectral features are described with a functional determinant approach (FDA) that solves an extended Fr\"{o}hlich Hamiltonian for a mobile impurity in a Bose gas. Excited states of polyatomic Rydberg molecules (trimers, tetrameters, and pentamers) are experimentally resolved and accurately reproduced with FDA.


title: Current Interactions from the One-Form Sector of Nonlinear Higher-Spin Equations

abstract: The form of higher-spin current interactions in the sector of one-forms is derived from the nonlinear higher-spin equations in $AdS_4$. Quadratic corrections to higher-spin equations are shown to be independent of the phase of the parameter $\eta =\exp i\varphi$ in the full nonlinear higher-spin equations. The current deformation resulting from the nonlinear higher-spin equations is represented in the canonical form with the minimal number of space-time derivatives. The non-zero spin-dependent coupling constants of the resulting currents are determined in terms of the higher-spin coupling constant $\eta\bar\eta$. Our results confirm the conjecture that (anti-)self-dual nonlinear higher-spin equations result from the full system at ($\eta=0$) $\bar \eta=0$.


title: Prime knot complements with meridional essential surfaces of arbitrarily high genus

abstract: We show the existence of infinitely many prime knots each of which having in their complements meridional essential surfaces with two boundary components and arbitrarily high genus.


title: Energizing the last phase of common envelope removal

abstract: We propose a scenario where a companion that is about to exit a common envelope evolution (CEE) with a giant star accretes mass from the remaining envelope outside its deep orbit and launches jets that facilitate the removal of the remaining envelope. The jets that the accretion disk launches collide with the envelope and form hot bubbles that energize the envelope. Due to gravitational interaction with the envelope, that might reside in a circumbinary disk, the companion migrates further in, but the inner boundary of the circumbinary disk continues to feed the accretion disk. While near the equatorial plane mass leaves the system at a very low velocity, along the polar directions velocities are very high. When the primary is an asymptotic giant branch star, this type of flow forms a bipolar nebula with very narrow waists. We compare this envelope removal process with four others last-phase common envelope removal processes. We also note that the accreted gas from the envelope outside the orbit in the last-phase of the CEE might carry with it angular momentum that is antialigned to the orbital angular momentum. We discuss the implications to the possibly antialigned spins of the merging black hole event GW170104.


title: Dynamic Networks of Finite State Machines

abstract: Like distributed systems, biological multicellular processes are subject to dynamic changes and a biological system will not pass the survival-of-the-fittest test unless it exhibits certain features that enable fast recovery from these changes. In particular, a question that is crucial in the context of biological cellular networks, is whether the system can keep the changing components \emph{confined} so that only nodes in their vicinity may be affected by the changes, but nodes sufficiently far away from any changing component remain unaffected. Based on this notion of confinement, we propose a new metric for measuring the dynamic changes recovery performance in distributed network algorithms operating under the \emph{Stone Age} model (Emek \& Wattenhofer, PODC 2013), where the class of dynamic topology changes we consider includes inserting/deleting an edge, deleting a node together with its incident edges, and inserting a new isolated node. Our main technical contribution is a distributed algorithm for maximal independent set (MIS) in synchronous networks subject to these topology changes that performs well in terms of the aforementioned new metric. Specifically, our algorithm guarantees that nodes which do not experience a topology change in their immediate vicinity are not affected and that all surviving nodes (including the affected ones) perform $\mathcal{O}((C + 1) \log^{2} n)$ computationally-meaningful steps, where $C$ is the number of topology changes; in other words, each surviving node performs $\mathcal{O}(\log^{2} n)$ steps when amortized over the number of topology changes. This is accompanied by a simple example demonstrating that the linear dependency on $C$ cannot be avoided.


title: Truncation in Hahn Fields is Undecidable and Wild

abstract: We show that in any nontrivial Hahn field with truncation as a primitive operation we can interpret the monadic second-order logic of the additive monoid of natural numbers and are thus undecidable. We also specify a definable binary relation on such a structure that has $\SOP$ and $\TP$.


title: Halo Abundance and Assembly History with Extreme-Axion Wave Dark Matter at $z\ge 4$

abstract: Wave dark matter ($\psi \rm{DM}$) composed of extremely light bosons ($m_{\psi} \sim 10^{-22}\,\rm eV$), with quantum pressure suppressing structures below a kpc-scale de Broglie wavelength, has become a viable dark matter candidate. Compared to the conventional free-particle $\psi {\rm DM}$ (${\rm FP} \psi {\rm DM}$), the extreme-axion $\psi \rm{DM}$ model (${\rm EA} \psi {\rm DM}$) proposed by Zhang & Chiueh (2017) features a larger cut-off wavenumber and a broad spectral bump in the matter transfer function. Here we conduct cosmological simulations to compare the halo abundances and assembly histories at $z=4-11$ between three different scenarios: ${\rm FP} \psi {\rm DM}$, ${\rm EA} \psi {\rm DM}$, and cold dark matter (CDM). We show that ${\rm EA} \psi {\rm DM}$ produces significantly more abundant low-mass haloes than ${\rm FP} \psi {\rm DM}$ with the same $m_{\psi}$, and therefore could alleviate the tension in $m_{\psi}$ required by the Ly$\alpha$ forest data and by the kpc-scale dwarf galaxy cores. We also find that, compared to the CDM counterparts, massive ${\rm EA} \psi {\rm DM}$ haloes are on average $3-4$ times more massive at $z=10-11$ due to their earlier formation, undergo a slower mass accretion at $7 \lesssim z \lesssim 11$, and then show a rapidly rising major merger rate exceeding CDM by $\sim 50\%$ at $4 \lesssim z \lesssim 7$. This fact suggests that ${\rm EA} \psi {\rm DM}$ haloes may exhibit more prominent starbursts at $z \lesssim 7$.


title: Beating the Omega Clock: An Optimal Stopping Problem with Random Time-horizon under Spectrally Negative L\'evy Models

abstract: We study the optimal stopping of an American call option in a random time-horizon under exponential spectrally negative L\'evy models. The random time-horizon is modeled as the so-called Omega default clock in insurance, which is the first time when the occupation time of the underlying L\'evy process below a level $y$, exceeds an independent exponential random variable with mean $1/q>0$. We show that the shape of the value function varies qualitatively with different values of $q$ and $y$. In particular, we show that for certain values of $q$ and $y$, some quantitatively different but traditional up-crossing strategies are still optimal, while for other values we may have two disconnected continuation regions, resulting in the optimality of two-sided exit strategies. By deriving the joint distribution of the discounting factor and the underlying process under a random discount rate, we give a complete characterization of all optimal exercising thresholds. Finally, we present an example with a compound Poisson process plus a drifted Brownian motion.


title: Transferring a Semantic Representation for Person Re-Identification and Search

abstract: Learning semantic attributes for person re-identification and description-based person search has gained increasing interest due to attributes' great potential as a pose and view-invariant representation. However, existing attribute-centric approaches have thus far underperformed state-of-the-art conventional approaches. This is due to their non-scalable need for extensive domain (camera) specific annotation. In this paper we present a new semantic attribute learning approach for person re-identification and search. Our model is trained on existing fashion photography datasets -- either weakly or strongly labelled. It can then be transferred and adapted to provide a powerful semantic description of surveillance person detections, without requiring any surveillance domain supervision. The resulting representation is useful for both unsupervised and supervised person re-identification, achieving state-of-the-art and near state-of-the-art performance respectively. Furthermore, as a semantic representation it allows description-based person search to be integrated within the same framework.


title: Local-global questions for divisibility in commutative algebraic groups

abstract: This is a survey focusing on the Hasse principle for divisibility of points in commutative algebraic groups and its relation with the Hasse principle for divisibility of elements of the Tate-Shavarevich group in the Weil-Ch\^{a}telet group. The two local-global subjects arose as a generalization of some classical questions considered respectively by Hasse and Cassels. We describe the deep connection between the two problems and give an overview of the long-established results and the ones achieved during the last twenty years, when the questions were taken up again in a more general setting. In particular, by connecting various results about the two problems, we describe how some recent developments in the first of the two local-global questions imply an answer to Cassel's question, which improves all the results published before about that problem. This answer is best possible over $\mathbb{Q}$. We also describe some links with other similar questions, as for examples the Support Problem and the local-global principle for existence of isogenies of prime degree in elliptic curves.


title: Elliptic equations with transmission and Wentzell boundary conditions and an application to steady water waves in the presence of wind

abstract: In this paper, we present results about the existence and uniqueness of solutions of elliptic equations with transmission and Wentzell boundary conditions. We provide Schauder estimates and existence results in H\"older spaces. As an application, we develop an existence theory for small-amplitude two-dimensional traveling waves in an air-water system with surface tension. The water region is assumed to be irrotational and of finite depth, and we permit a general distribution of vorticity in the atmosphere.


title: Lagrangian Multipliers for Presubconvexlike Optimization Problems of Set Valued Functions

abstract: In this paper, we discuss scalar Lagrangian multipliers and vector Lagrangian multipliers for constrained set-valued optimization problems. We obtain some necessary conditions, sufficient conditions, as well as necessary and sufficient conditions for the existence of weakly efficient solutions.


title: Channel-Recurrent Autoencoding for Image Modeling

abstract: Despite recent successes in synthesizing faces and bedrooms, existing generative models struggle to capture more complex image types, potentially due to the oversimplification of their latent space constructions. To tackle this issue, building on Variational Autoencoders (VAEs), we integrate recurrent connections across channels to both inference and generation steps, allowing the high-level features to be captured in global-to-local, coarse-to-fine manners. Combined with adversarial loss, our channel-recurrent VAE-GAN (crVAE-GAN) outperforms VAE-GAN in generating a diverse spectrum of high resolution images while maintaining the same level of computational efficacy. Our model produces interpretable and expressive latent representations to benefit downstream tasks such as image completion. Moreover, we propose two novel regularizations, namely the KL objective weighting scheme over time steps and mutual information maximization between transformed latent variables and the outputs, to enhance the training.


title: The asymptotic dimension of box spaces of virtually nilpotent groups

abstract: We show that every box space of a virtually nilpotent group has asymptotic dimension equal to the Hirsch length of that group.


title: Search for supersymmetry in final states with two same-sign or three leptons and jets using 36 fb$^{-1}$ of $\sqrt{s}=13$ TeV $pp$ collision data with the ATLAS detector

abstract: A search for strongly produced supersymmetric particles using signatures involving multiple energetic jets and either two isolated same-sign leptons ($e$ or $\mu$), or at least three isolated leptons, is presented. The analysis relies on the identification of $b$-jets and high missing transverse momentum to achieve good sensitivity. A data sample of proton-proton collisions at $\sqrt{s}= 13$ TeV recorded with the ATLAS detector at the Large Hadron Collider in 2015 and 2016, corresponding to a total integrated luminosity of 36.1 fb$^{-1}$, is used for the search. No significant excess over the Standard Model prediction is observed. The results are interpreted in several simplified supersymmetric models featuring $R$-parity conservation or $R$-parity violation, extending the exclusion limits from previous searches. In models considering gluino pair production, gluino masses are excluded up to 1.87 TeV at 95% confidence level. When bottom squarks are pair-produced and decay to a chargino and a top quark, models with bottom squark masses below 700 GeV and light neutralinos are excluded at 95% confidence level. In addition, model-independent limits are set on a possible contribution of new phenomena to the signal region yields.


title: Equality in the Spacetime Positive Mass Theorem

abstract: We affirm the rigidity conjecture of the spacetime positive mass theorem in dimensions less than eight. Namely, if an asymptotically flat initial data set satisfies the dominant energy condition and has $E=|P|$, then $E=|P|=0$, where $(E, P)$ is the ADM energy-momentum vector. The dimensional restriction can be removed if we assume the positive mass inequality holds. Previously the result was only known for spin manifolds.


title: Generalized Weierstrass semigroups and their Poincar\'e series

abstract: We investigate the structure of the generalized Weierstrass semigroups at several points on a curve defined over a finite field. We present a description of these semigroups that enables us to deduce properties concerned with the arithmetical structure of divisors supported on the specified points and their corresponding Riemann-Roch spaces. This characterization allows us to show that the Poincar\'e series associated with generalized Weierstrass semigroups carry essential information to describe entirely their respective semigroups.


title: Static potentials and area minimizing hypersurfaces

abstract: We show that if an asymptotically flat manifold with horizon boundary admits a global static potential, then the static potential must be zero on the boundary. We also show that if an asymptotically flat manifold with horizon boundary admits an unbounded static potential in the exterior region, then the manifold must contain a complete non-compact area minimizing hypersurface. Some results related to the Riemannian positive mass theorem and Bartnik's quasi-local mass are obtained.


title: Quantum correlations in one-dimensional Wigner molecules

abstract: We studied one-dimensional systems formed by $N$ identical particles confined in a harmonic trap and subject to an inverse power law interaction potential $\sim|x|^{-d}$. The correlation properties of a Wigner molecule with the lowest energy are investigated in terms of their dependence on the number $N$ and the power $d$, including the limit as $d\rightarrow 0$. There are $N$-particle Wigner molecules with properties such that their correlations are mainly manifested in the $N$ lowest natural orbitals. The values of the control parameters of the system at which such states appear are identified. The properties of Wigner molecules formed in the limit as $d$ approaches infinity are also revealed.


title: Large-Scale Plant Classification with Deep Neural Networks

abstract: This paper discusses the potential of applying deep learning techniques for plant classification and its usage for citizen science in large-scale biodiversity monitoring. We show that plant classification using near state-of-the-art convolutional network architectures like ResNet50 achieves significant improvements in accuracy compared to the most widespread plant classification application in test sets composed of thousands of different species labels. We find that the predictions can be confidently used as a baseline classification in citizen science communities like iNaturalist (or its Spanish fork, Natusfera) which in turn can share their data with biodiversity portals like GBIF.


title: Asymptotically Optimal Multi-Paving

abstract: Anderson's paving conjecture, now known to hold due to the resolution of the Kadison-Singer problem asserts that every zero diagonal Hermitian matrix admits non-trivial pavings with dimension independent bounds. In this paper, we develop a technique extending the arguments of Marcus, Spielman and Srivastava in their solution of the Kadison-Singer problem to show the existence of non-trivial pavings for collections of matrices. We show that given zero diagonal Hermitian contractions $A^{(1)}, \cdots, A^{(k)} \in M_n(\mathbb{C})$ and $\epsilon > 0$, one may find a paving $X_1 \amalg \cdots \amalg X_r = [n]$ where $r \leq 18k\epsilon^{-2}$ such that, \[\lambda_{max} (P_{X_i} A^{(j)} P_{X_i}) < \epsilon, \quad i \in [r], \, j \in [k].\] As a consequence, we get the correct asymptotic estimates for paving general zero diagonal matrices; zero diagonal contractions can be $(O(\epsilon^{-2}),\epsilon)$ paved. As an application, we give a simplified proof wth slightly better estimates of a theorem of Johnson, Ozawa and Schechtman concerning commutator representations of zero trace matrices.


title: Vector-valued Eisenstein series of small weight

abstract: We study the (mock) Eisenstein series $E_k$ of weight $k \in \{1,3/2,2\}$ for the Weil representation on an even lattice, defined as the result of Bruinier and Kuss's coefficient formula for the Eisenstein series naively evaluated at $k$. We describe the transformation law of $E_k$ in general. Most of this note is dedicated to collecting examples where the coefficients of $E_k$ contain interesting arithmetic information. Finally we make a few remarks about the case $k=1/2$.


title: Mild evolution of the stellar metallicity gradients of disc galaxies

abstract: The metallicity gradients of the stellar populations in disc galaxies and their evolution store relevant information on the disc formation history and on those processes which could mix stars a posteriori, such as migration, bars and/or galaxy-galaxy interactions. We aim to investigate the evolution of the metallicity gradients of the whole stellar populations in disc components of simulated galaxies in a cosmological context. We analyse simulated disc galaxies selected from a cosmological hydrodynamical simulation that includes chemical evolution and a physically motivated Supernova feedback capable of driving mass-loaded galactic winds. We detect a mild evolution with redshift in the metallicity slopes of $-0.02 \pm 0.01$ dex~kpc$^{-1}$ from $z\sim 1$. If the metallicity profiles are normalised by the effective radius of the stellar disc, the slopes show no clear evolution for $z < 1$, with a median value of approximately $-0.23$ dex ~$r_{\rm reff}^{-1}$. As a function of stellar mass, we find that metallicity gradients steepen for stellar masses smaller than $\sim 10^{10.3} {\rm M_{\odot}}$ while the trend reverses for higher stellar masses, in the redshift range $z=[0,1]$. Galaxies with small stellar masses have discs with larger $r_{\rm reff}$ and flatter metallicity gradients than expected. We detect migration albeit weaker than in previous works. Our stellar discs show a mild evolution of the stellar metallicity slopes up to $z\sim 1,$ which is well-matched by the evolution calculated archeologically from the abundance distributions of mono-age stellar populations at $z\sim 0$. Overall, Supernova feedback could explain the trends but an impact of migration can not be totally discarded. Galaxy-galaxy interactions or small satellite accretions can also contribute to modify the metallicity profiles in the outer parts. [abridged]


title: Forbidden vector-valued intersections

abstract: We solve a generalised form of a conjecture of Kalai motivated by attempts to improve the bounds for Borsuk's problem. The conjecture can be roughly understood as asking for an analogue of the Frankl-R\"odl forbidden intersection theorem in which set intersections are vector-valued. We discover that the vector world is richer in surprising ways: in particular, Kalai's conjecture is false, but we prove a corrected statement that is essentially best possible, and applies to a considerably more general setting. Our methods include the use of maximum entropy measures, VC-dimension, Dependent Random Choice and a new correlation inequality for product measures.


title: Deep reinforcement learning from human preferences

abstract: For sophisticated reinforcement learning (RL) systems to interact usefully with real-world environments, we need to communicate complex goals to these systems. In this work, we explore goals defined in terms of (non-expert) human preferences between pairs of trajectory segments. We show that this approach can effectively solve complex RL tasks without access to the reward function, including Atari games and simulated robot locomotion, while providing feedback on less than one percent of our agent's interactions with the environment. This reduces the cost of human oversight far enough that it can be practically applied to state-of-the-art RL systems. To demonstrate the flexibility of our approach, we show that we can successfully train complex novel behaviors with about an hour of human time. These behaviors and environments are considerably more complex than any that have been previously learned from human feedback.


title: Understanding liquid-jet atomization cascades via vortex dynamics

abstract: Temporal instabilities of a planar liquid jet are studied using direct numerical simulation (DNS) of the incompressible Navier-Stokes equations with level-set (LS) and volume-of-fluid (VoF) surface tracking methods. $\lambda_2$ contours are used to relate the vortex dynamics to the surface dynamics at different stages of the jet breakup, namely, lobe formation, lobe perforation, ligament formation, stretching, and tearing. Three distinct breakup mechanisms are identified in the primary breakup, which are well categorized on the parameter space of gas Weber number ($We_g$) versus liquid Reynolds number ($Re_l$). These mechanisms are analyzed here from a vortex dynamics perspective. Vortex dynamics explains the hairpin formation, and the interaction between the hairpins and the Kelvin-Helmholtz (KH) roller explains the perforation of the lobes, which is attributed to the streamwise overlapping of two oppositely-oriented hairpin vortices on top and bottom of the lobe. The formation of corrugations on the lobe front edge at high $Re_l$ is also related to the location and structure of the hairpins with respect to the KH vortex. The lobe perforation and corrugation formation are inhibited at low $Re_l$ and low $We_g$ due to the high surface tension and viscous forces, which damp the small scale corrugations and resist hole formation. Streamwise vorticity generation - resulting in three-dimensional instabilities - is mainly caused by vortex stretching and baroclinic torque at high and low density ratios, respectively. Generation of streamwise vortices and their interaction with spanwise vortices produce the liquid structures seen at various flow conditions. Understanding the liquid sheet breakup and the related vortex dynamics are crucial for controlling the droplet size distribution in primary atomization.


title: Continuous cocycle superrigidity for the full shift over a finitely generated torsion group

abstract: Chung and Jiang showed that, if a one ended group contains an infinite order element, then every continuous cocycle over the full shift on that group, taking values in a discrete group, must be cohomologous to a homomorphism. We show that their conclusion holds for all one ended groups, so that the hypothesis of admitting an infinite order element may be omitted.


title: Portable Trust: biometric-based authentication and blockchain storage for self-sovereign identity systems

abstract: We devised a mobile biometric-based authentication system only relying on local processing. Our Android open source solution explores the capability of current smartphones to acquire, process and match fingerprints using only its built-in hardware. Our architecture is specifically designed to run completely locally and autonomously, not requiring any cloud service, server, or permissioned access to fingerprint reader hardware. It involves three main stages, starting with the fingerprint acquisition using the smartphone camera, followed by a processing pipeline to obtain minutiae features and a final step for matching against other locally stored fingerprints, based on Oriented FAST and Rotated BRIEF (ORB) descriptors. We obtained a mean matching accuracy of 55%, with the highest value of 67% for thumb fingers. Our ability to capture and process a finger fingerprint in mere seconds using a smartphone makes this work usable in a wide range of scenarios, for instance, offline remote regions. This work is specifically designed to be a key building block for a self-sovereign identity solution and integrate with our permissionless blockchain for identity and key attestation.


title: Discriminating Local Sources of High-Energy Cosmic Electrons and Positrons by Current and Future Anisotropy Measurements

abstract: The Fermi-LAT detects no significant anisotropy of the cosmic-ray (CR) electrons and positrons ($e^-+e^+$) with seven years of data, which provides the strongest restriction to the $e^-+e^+$ anisotropy up to now. As next generation CR observatory, HERD is expected to have a better capability of anisotropy detection than Fermi-LAT. In this paper, we discuss several models aimed to explain the AMS-02 data by the present and future anisotropy measurements. We find that the upper limits of Fermi-LAT disfavor Vela SNR as the dominant source in sub-TeV, while other cases that remain safe under the constraint of Fermi-LAT are expected to be distinguished from each other by HERD. We then discuss the possibilities of remarkable TeV spectral features, and test the corresponding anisotropies. We find the conditions under which the TeV model can have a prominent spectral feature and avoid the constraint of Fermi-LAT at the same time. Furthermore, the expected performance of HERD is sensitive enough to detect the anisotropies of all these TeV models, and even for the case of a featureless TeV spectrum. Thus HERD may play a crucial part in the study of the origin of cosmic electrons and positrons.


title: Primordial black holes from inflaton and spectator field perturbations in a matter-dominated era

abstract: We study production of primordial black holes (PBHs) during an early matter-dominated phase. As a source of perturbations, we consider either the inflaton field with a running spectral index or a spectator field that has a blue spectrum and thus provides a significant contribution to the PBH production at small scales. First, we identify the region of the parameter space where a significant fraction of the observed dark matter can be produced, taking into account all current PBH constraints. Then, we present constraints on the amplitude and spectral index of the spectator field as a function of the reheating temperature. We also derive constraints on the running of the inflaton spectral index, ${\rm d}n/{\rm d}{\rm ln}k \lesssim -0.002$, which are comparable to those from the Planck satellite for a scenario where the spectator field is absent.


title: Acoustic data-driven lexicon learning based on a greedy pronunciation selection framework

abstract: Speech recognition systems for irregularly-spelled languages like English normally require hand-written pronunciations. In this paper, we describe a system for automatically obtaining pronunciations of words for which pronunciations are not available, but for which transcribed data exists. Our method integrates information from the letter sequence and from the acoustic evidence. The novel aspect of the problem that we address is the problem of how to prune entries from such a lexicon (since, empirically, lexicons with too many entries do not tend to be good for ASR performance). Experiments on various ASR tasks show that, with the proposed framework, starting with an initial lexicon of several thousand words, we are able to learn a lexicon which performs close to a full expert lexicon in terms of WER performance on test data, and is better than lexicons built using G2P alone or with a pruning criterion based on pronunciation probability.


title: On tortkara triple systems

abstract: The commutator $[a,b] = ab - ba$ in a free Zinbiel algebra (dual Leibniz algebra) is an anticommutative operation which satisfies no new relations in arity 3. Dzhumadildaev discovered a relation $T(a,b,c,d)$ which he called the tortkara identity and showed that it implies every relation satisfied by the Zinbiel commutator in arity 4. Kolesnikov constructed examples of anticommutative algebras satisfying $T(a,b,c,d)$ which cannot be embedded into the commutator algebra of a Zinbiel algebra. We consider the tortkara triple product $[a,b,c] = [[a,b],c]$ in a free Zinbiel algebra and use computer algebra to construct a relation $TT(a,b,c,d,e)$ which implies every relation satisfied by $[a,b,c]$ in arity 5. Thus, although tortkara algebras are defined by a cubic binary operad (with no Koszul dual), the corresponding triple systems are defined by a quadratic ternary operad (with a Koszul dual). We use computer algebra to construct a relation in arity 7 satisfied by $[a,b,c]$ which does not follow from the relations of lower arity. It remains an open problem to determine whether there are further new identities in arity $\ge 9$.


title: A new proof of Hal\'asz's Theorem, and its consequences

abstract: Hal\'asz's Theorem gives an upper bound for the mean value of a multiplicative function $f$. The bound is sharp for general such $f$, and, in particular, it implies that a multiplicative function with $|f(n)|\le 1$ has either mean value $0$, or is "close to" $n^{it}$ for some fixed $t$. The proofs in the current literature have certain features that are difficult to motivate and which are not particularly flexible. In this article we supply a different, more flexible, proof, which indicates how one might obtain asymptotics, and can be modified to short intervals and to arithmetic progressions. We use these results to obtain new, arguably simpler, proofs that there are always primes in short intervals (Hoheisel's Theorem), and that there are always primes near to the start of an arithmetic progression (Linnik's Theorem).