title: A Data-Assisted Reliability Model for Carrier-Assisted Cold Data Storage Systems

abstract: Cold data storage systems are used to allow long term digital preservation for institutions' archives. The common functionality among cold and warm/hot data storage is that the data is stored on some physical medium for read-back at a later time. However in cold storage, write and read operations are not necessarily done in the same exact geographical location. Hence, a third party assistance is typically utilized to bring together the medium and the drive. On the other hand, the reliability modeling of such a decomposed system poses few challenges that do not necessarily exist in other warm/hot storage alternatives such as fault detection and absence of the carrier, all totaling up to the data unavailability issues. In this paper, we propose a generalized non-homogenous Markov model that encompasses the aging of the carriers in order to address the requirements of today's cold data storage systems in which the data is encoded and spread across multiple nodes for the long-term data retention. We have derived useful lower/upper bounds on the overall system availability. Furthermore, the collected field data is used to estimate parameters of a Weibull distribution to accurately predict the lifetime of the carriers in an example scale-out setting. In this study, we numerically demonstrate the significance of carriers' presence and the key role that their timely maintenance plays on the long-term reliability and availability of the stored content.


title: Thermodynamics for the k-essence Emergent Reissner-Nordstrom-de Sitter Spacetime

abstract: The {\bf k-}essence emergent Reissner-Nordstrom-de Sitter spacetime has exactly mapped on to the Robinson-Trautman (RT) type spacetime with cosmological constant $\L$ for certain configuration of {\bf k-}essence scalar field. Theoretically, we evaluated that the thermodynamical quantities for the RT type emergent black hole is different from the usual one in the presence of kinetic energy of the {\bf k-}essence scalar field i.e., the dark energy density. We restrict ourselves into the fact that the dark energy density (K) is to be unity, then the effective temperature and pressure both are negative for the RT type emergent black hole which implies that the system is thermodynamically unstable when the charge $Q\neq 0$ and the emergent spacetime is only dark energy dominated and it does not radiate when $Q=0$. The thermodynamically unstable situation is physically plausible only when we consider spin degrees of freedom of a system. We have made this analysis in the context of dark energy in an emergent gravity scenario having {\bf k-}essence scalar fields $\phi$ with a Dirac-Born-Infeld type lagrangian. The scalar field also satisfies the emergent equation of motion at $r\rightarrow\infty$.


title: Influence of resonances on the 11B(n,g)12B capture reaction rate. II. Capture to the first excited state of 12B

abstract: Within the framework of the modified potential cluster model with a classification of orbital states according to Young diagrams, the possibility of prediction absentee experimental data for the total cross sections of the radiative neutron capture on 11B to the first excited state 12B at 0.95 MeV (2+) for reaction energy of 10 meV (1 meV = 10-3 eV) to 7 MeV. The reaction rate in the temperature range of 0.01 to 10.0 T9 is calculated on the basis of obtained cross sections, which take into account resonances up to 5 MeV. It is shown that low-lying resonances exercise a significant influence to the capture reaction rate. The approximation of the calculation reaction rate is carried out by the simple analytic formula.


title: Causal Inference via Conditional Kolmogorov Complexity using MDL Binning

abstract: Recent developments have linked causal inference with Algorithmic Information Theory, and methods have been developed that utilize Conditional Kolmogorov Complexity to determine causation between two random variables. We present a method for inferring causal direction between continuous variables by using an MDL Binning technique for data discretization and complexity calculation. Our method captures the shape of the data and uses it to determine which variable has more information about the other. Its high predictive performance and robustness is shown on several real world use cases.


title: Non-dispersive analytical solutions to the Dirac equation

abstract: This paper presents new analytic solutions to the Dirac equation employing a recently introduced method that is based on the formulation of spinorial fields and their driving electromagnetic fields in terms of geometric algebras. A first family of solutions describe the shape-preserving translation of a wavepacket along any desired trajectory in the x-y plane. In particular, we show that the dispersionless motion of a Gaussian wavepacket along both elliptical and circular paths can be achieved with rather simple electromagnetic field configurations. A second family of solutions involves a plane electromagnetic wave and a combination of generally inhomogeneous electric and magnetic fields. The novel analytical solutions of the Dirac equation given here provide important insights into the connection between the quantum relativistic dynamics of electrons and the underlying geometry of the Lorentz group.


title: Learning a Representation for Cover Song Identification Using Convolutional Neural Network

abstract: Cover song identification represents a challenging task in the field of Music Information Retrieval (MIR) due to complex musical variations between query tracks and cover versions. Previous works typically utilize hand-crafted features and alignment algorithms for the task. More recently, further breakthroughs are achieved employing neural network approaches. In this paper, we propose a novel Convolutional Neural Network (CNN) architecture based on the characteristics of the cover song task. We first train the network through classification strategies; the network is then used to extract music representation for cover song identification. A scheme is designed to train robust models against tempo changes. Experimental results show that our approach outperforms state-of-the-art methods on all public datasets, improving the performance especially on the large dataset.


title: Water mediated Electron Attachment to Nucleobases: Surface-bound vs Bulk Solvated Electrons

abstract: We have investigated the electron attachment dynamics of uracil in water using accurate wave-function and QM/MM methods. The initial electron attached state is found to be localized on the water and mixing of electronic and nuclear degrees of freedom leads to the transfer of electron from the water to the uracil. The water molecules around the uracil stabilize the uracil bound anion by creating an extensive hydrogen-bonding network. The presence of the bulk water environment accelerates the rate of electron attachment to uracil and the complete electron transfer from water to the uracil happens at a picosecond time scale. The degree of solvation of the aqueous electron can lead to a difference in the initial stabilization of the uracil bound anion but at a longer time scale the anion formed due to the attachment of both surface-bound and bulk solvated electrons behaves similarly.


title: THAAD: Efficient Matching Queries under Temporal Abstraction for Anomaly Detection

abstract: In this paper we present a novel algorithm and efficient data structure for anomaly detection based on temporal data. Time-series data are represented by a sequence of symbolic time intervals, describing increasing and decreasing trends, in a compact way using gradient temporal abstraction technique. Then we identify unusual subsequences in the resulting sequence using dynamic data structure based on the geometric observations supporting polylogarithmic update and query times. Moreover, we introduce a new parameter to control the pairwise difference between the corresponding symbols in addition to a distance metric between the subsequences. Experimental results on a public DNS network traffic dataset show the superiority of our approach compared to the baselines.


title: Ensembling Strategies for Answering Natural Questions

abstract: Many of the top question answering systems today utilize ensembling to improve their performance on tasks such as the Stanford Question Answering Dataset (SQuAD) and Natural Questions (NQ) challenges. Unfortunately most of these systems do not publish their ensembling strategies used in their leaderboard submissions. In this work, we investigate a number of ensembling techniques and demonstrate a strategy which improves our F1 score for short answers on the dev set for NQ by 2.3 F1 points over our single model (which outperforms the previous SOTA by 1.9 F1 points).


title: Voltage positioning using co-optimization of controllable grid assets in radial networks

abstract: With increasing penetration of solar PV, some distribution feeders are experiencing highly variable net-load flows and even reverse flows. To optimize distribution systems under such conditions, the scheduling of mechanical devices, such as OLTCs and capacitor banks, needs to take into account forecasted solar PV and actual grid conditions. However, these legacy switching assets are operated on a daily or hourly timescale, due to the wear and tear associated with mechanical switching, which makes them unsuitable for real-time control. Therefore, there is a natural timescale-separation between these slower mechanical assets and the responsive nature of inverter-based resources. In this paper, we present a network admissible convex formulation for holistically scheduling controllable grid assets to position voltage optimally against solarPV. An optimal hourly schedule is presented that utilizes mechanical resources to position the predicted voltages close to nominal values, while minimizing the use of inverter-based resources (i.e., DERs),making them available for control at a faster time-scale (after the uncertainty reveals itself). A convex, inner approximation of the OPF problem is adapted to a mixed-integer linear program that minimizes voltage deviations from nominal (i.e., maximizes voltage margins). The resulting OPF solution respects all the network constraints and is, hence, robust against modeling simplifications. Simulation based analysis on IEEE distribution feeders validates the approach.


title: Backward self-similar solutions for compressible Navier-Stokes equations

abstract: This article is devoted to backward self-similar blow up solutions of the compressible Navier-Stokes equations with radial symmetry. We show that such solutions cannot exist if they either satisfy an appropriate smallness condition, or have finite energy. Furthermore, numerical simulations lead us to the conjecture that such solutions do not exist.


title: Inverse scattering transform and soliton solutions for the focusing Kundu-Eckhaus equation with nonvanishing boundary conditions

abstract: The focusing Kundu-Eckhaus (KE) equation with non-zero boundary conditions at infinity, under two cases: simple zeros and double zeros, is investigated systematically via Riemann-Hilbert (RH) problem. We derive some new results for the equation including the following seven parts. (I) The analyticities and symmetries of the Jost function and the scattering matrix are analyzed with the help of the normalized Lax pair. (II) Based on the resulting symmetries, the corresponding discrete spectrum set and residue conditions of scattering coefficients are further obtained, which is very important to construct the formulae of solution to the original equation. (III) A generalized RH problem is established by combining the analytic properties of Jost functions and modified eigenfunctions. (IV) The RH problem is solved by the corresponding asymptotic behavior combined with the Plemelj's formulae and Cauchy operator. The expression of the solution to the focusing KE equation is given under the condition of non-reflection. (V) From the reflection coefficients and discrete spectrums, the trace formula and the corresponding theta condition are given to obtain the phase difference of the initial value at the boundary. (VI) For the double zeros, there is a similar framework from the set of discrete spectral points, but the operation process is much more complicated than that of simple zeros, and new results and phenomena appear. (VII) Some interesting phenomena are obtained that one of the solutions is gradually to rouge waves when the spectrum points tend to singular points by choosing appropriate parameters.


title: Fat brane, dark matter and localized kinetic terms in six dimensions

abstract: Extra dimensions (ED) have been used as attempts to explain several phenomena in particle physics over the years. In this paper we investigate the role of an abelian gauge field as mediator of the interaction between dark matter (DM) and Standard Model (SM) particles, in a model with two flat and transverse ED compactified on the chiral square. DM is confined in a thin brane, localized at the origin of the chiral square, while the SM is localized in a finite width brane, lying in the opposite corner of the square. A brane-localized kinetic term is present in the DM brane, while in the fat brane it is not allowed. In this model the kinetic mixing is not required because we assume that the SM particles couple to the mediator through their $B-L$ charges, while DM couples to it via a dark charge. Assuming a complex scalar field as DM candidate it is possible to obtain the observed DM relic abundance and avoid direct detection constraints for some parameter choices.


title: Microscopic model of stacking-fault potential and exciton wave function in GaAs

abstract: Two-dimensional stacking fault defects embedded in a bulk crystal can provide a homogeneous trapping potential for carriers and excitons. Here we utilize state-of-the-art structural imaging coupled with density functional and effective-mass theory to build a microscopic model of the stacking-fault exciton. The diamagnetic shift and exciton dipole moment at different magnetic fields are calculated and compared with the experimental photoluminescence of excitons bound to a single stacking fault in GaAs. The model is used to further provide insight into the properties of excitons bound to the double-well potential formed by stacking fault pairs. This microscopic exciton model can be used as an input into models which include exciton-exciton interactions to determine the excitonic phases accessible in this system.


title: Bell inequalities, Counterfactual Definiteness and Falsifiability

abstract: We formally prove the existence of an enduring incongruence pervading a widespread interpretation of the Bell inequality and explain how to rationally avoid it with a natural assumption justified by explicit reference to a mathematical property of Bell's probabilistic model. Although the amendment does not alter the relevance of the theorem regarding local realism, it brings back Bell theorem from the realm of philosophical discussions about counterfactual conditionals to the concrete experimental arena.


title: Short and Wide Network Paths

abstract: Network flow is a powerful mathematical framework to systematically explore the relationship between structure and function in biological, social, and technological networks. We introduce a new pipelining model of flow through networks where commodities must be transported over single paths rather than split over several paths and recombined. We show this notion of pipelined network flow is optimized using network paths that are both short and wide, and develop efficient algorithms to compute such paths for given pairs of nodes and for all-pairs. Short and wide paths are characterized for many real-world networks. To further demonstrate the utility of this network characterization, we develop novel information-theoretic lower bounds on computation speed in nervous systems due to limitations from anatomical connectivity and physical noise. For the nematode Caenorhabditis elegans, we find these bounds are predictive of biological timescales of behavior. Further, we find the particular C. elegans connectome is globally less efficient for information flow than random networks, but the hub-and-spoke architecture of functional subcircuits is optimal under constraint on number of synapses. This suggests functional subcircuits are a primary organizational principle of this small invertebrate nervous system.


title: Single inclusive jet photoproduction at very forward rapidities in $pp$ and $pPb$ collisions at the LHC

abstract: The particle production at very forward rapidities is expected to be sensitive to the non-linear effects in the QCD dynamics at high energies. In this paper we present, for the first time, the predictions of the Color Dipole formalism for the single inclusive jet photoproduction in $pp$ and $pPb$ collisions considering the very forward rapidities probed by the CMS-CASTOR calorimeter, which will be characterized by a jet in the rapidity range of $5.2 \le Y \le 6.6$, a rapidity gap in the rapidity range probed by the central CMS detector and one of the incident hadrons remaining intact in the final state. The transverse momentum distributions are estimated considering the more recent phenomenological models for the dipole-proton scattering amplitude, which are based on the Color Glass Condensate formalism and are able to describe the inclusive and exclusive $ep$ HERA data. Our results indicate that a future experimental analysis of this process is, in principle, feasible and useful to constrain the description of the QCD dynamics at high energies.


title: Overview of the BINA Activities

abstract: Here, we summarize the ongoing activities of an international bilateral research project entitled "Belgo-Indian Network for Astronomy and astrophysics (BINA)" running jointly since 2014 by the astronomers of various Indian and Belgian institutions. The network activities are being financially supported by the Department of Science and Technology (DST; Government of India) and the Belgian Federal Science Policy Office (BELSPO; Government of Belgium). The structure and mandate of the BINA network are presented. The observational facilities being used to achieve the goal of the project are delineated. The overview of the activities and future perspective in the light of upcoming observational facilities are also highlighted.


title: An efficient and robust approach to Mendelian randomization with measured pleiotropic effects in a high-dimensional setting

abstract: Valid estimation of a causal effect using instrumental variables requires that all of the instruments are independent of the outcome conditional on the risk factor of interest and any confounders. In Mendelian randomization studies with large numbers of genetic variants used as instruments, it is unlikely that this condition will be met. Any given genetic variant could be associated with a large number of traits, all of which represent potential pathways to the outcome which bypass the risk factor of interest. Such pleiotropy can be accounted for using standard multivariable Mendelian randomization with all possible pleiotropic traits included as covariates. However, the estimator obtained in this way will be inefficient if some of the covariates do not truly sit on pleiotropic pathways to the outcome. We present a method which uses regularization to identify which out of a set of potential covariates need to be accounted for in a Mendelian randomization analysis in order to produce an efficient and robust estimator of a causal effect. The method can be used in the case where individual-level data are not available and the analysis must rely on summary-level data only. It can also be used in the case where there are more covariates under consideration than instruments, which is not possible using standard multivariable Mendelian randomization. We show the results of simulation studies which demonstrate the performance of the proposed regularization method in realistic settings. We also illustrate the method in an applied example which looks at the causal effect of urate plasma concentration on coronary heart disease.


title: Hierarchical Expert Networks for Meta-Learning

abstract: The goal of meta-learning is to train a model on a variety of learning tasks, such that it can adapt to new problems within only a few iterations. Here we propose a principled information-theoretic model that optimally partitions the underlying problem space such that specialized expert decision-makers solve the resulting sub-problems. To drive this specialization we impose the same kind of information processing constraints both on the partitioning and the expert decision-makers. We argue that this specialization leads to efficient adaptation to new tasks. To demonstrate the generality of our approach we evaluate three meta-learning domains: image classification, regression, and reinforcement learning.


title: Continuous and coherent actions on wrapped Fukaya categories

abstract: We establish the continuous functoriality of wrapped Fukaya categories with respect to Liouville automorphisms, yielding a way to probe the homotopy type of the automorphism group of a Liouville sector. These methods prove Liouville and monotone cases of a conjecture of Teleman from the 2014 ICM. In the case of a cotangent bundle, we show that the Abouzaid equivalence between the wrapped category and the infinity-category of local systems intertwines our action with the action of diffeomorphisms of the zero section. In particular, our methods yield a typically non-trivial map from the rational homotopy groups of Liouville automorphisms to the rational string topology algebra of the zero section.


title: Neutron star under homotopy perturbation method

abstract: We obtain a mass function solving the Tolman-Oppenheimer-Volkoff (TOV) equation for isotropic and spherically symmetric system via homotopy perturbation method (HPM). Using the mass function we construct a stellar model which can be determined from the equation of state (EOS) parameter ($\omega$) and a model parameter ($n$). With the help of Einstein field equations we develop three solutions which can describe different properties and the core-crust structure of neutron star (NS). Solution I is valid for NS having the inner and outer radius near the surface of the star. The star is physical up to the inner radius whereas negative density occurs and the energy conditions are violated in the upper region from the inner to outer radius. Solution II represents NS with high gravitational redshift as well as compactification factor. All the features of NS can be given by solution III which involves only the EOS parameter. Our model predicts maximum mass for a NS with the central density $5.5\times10^{15}~g/cm^{3}$ and surface redshift 0.69 is to be $2.01~M_\odot$ for the EOS parameter $\omega=0.73$. The predicted range for the surface redshift is $0.57<Z_s<1.95$ for the allowed ranges $8.4<n<10.9$ and $1/3<\omega<1$ in the presented NS model.


title: Energy Efficient UAV Communication with Energy Harvesting

abstract: This paper investigates an unmanned aerial vehicle (UAV)-enabled wireless communication system with energy harvesting, where the UAV transfers energy to the users in half duplex or full duplex, and the users harvest energy for data transmission to the UAV. We minimize the total energy consumption of the UAV while accomplishing the minimal data transmission requests of the users. The original optimization problem is decomposed into two subproblems: path planning subproblem and energy minimization subproblem with fixed path planning. For path planning subproblem, the optimal visiting order is obtained by using the dual method and the trajectory is optimized via the successive convex approximation technique. For energy minimization subproblem with fixed path planning, we firstly obtain the optimal portion of data transmission time within the entire procedure and the optimal transmission power of each user. Then, the the energy minimization subproblem is greatly simplified and it is efficiently solved via a one-dimensional search method. Simulation results are illustrated to verify the theoretical findings.


title: Quantum State Discrimination Using Noisy Quantum Neural Networks

abstract: Near-term quantum computers are noisy, and therefore must run algorithms with a low circuit depth and qubit count. Here we investigate how noise affects a quantum neural network (QNN) for state discrimination, applicable on near-term quantum devices as it fulfils the above criteria. We find that when simulating gradient calculation on a noisy device, a large number of parameters is disadvantageous. By introducing a new smaller circuit ansatz we overcome this limitation, and find that the QNN performs well at noise levels of current quantum hardware. We also show that networks trained at higher noise levels can still converge to useful parameters. Our findings show that noisy quantum computers can be used in applications for state discrimination and for classifiers of the output of quantum generative adversarial networks.


title: Does deep learning always outperform simple linear regression in optical imaging?

abstract: Deep learning has been extensively applied in many optical imaging applications in recent years. Despite the success, the limitations and drawbacks of deep learning in optical imaging have been seldom investigated. In this work, we show that conventional linear-regression-based methods can outperform the previously proposed deep learning approaches for two black-box optical imaging problems in some extent. Deep learning demonstrates its weakness especially when the number of training samples is small. The advantages and disadvantages of linear-regression-based methods and deep learning are analyzed and compared. Since many optical systems are essentially linear, a deep learning network containing many nonlinearity functions sometimes may not be the most suitable option.


title: Audience measurement using a top-view camera and oriented trajectories

abstract: A crucial aspect for selecting optimal areas for commercial advertising is the probability with which that publicity will be seen. This paper presents a method based on top-view camera measurement, where the probability of viewing is estimated according to the trajectories and movements of the head of the passerby individuals in the area of interest. Using a camera with a depth sensor, the head of the people in the range of view can be detected and modeled. That method allows determining the orientation of the head which is used to estimate the direction of vision. A tracking by detection algorithm is used to compute the trajectory of each user. The attention given at each advertising spot is estimated based on the trajectories and head orientations of the individuals in the area of interest


title: Triangular color codes on trivalent graphs with flag qubits

abstract: The color code is a topological quantum error-correcting code supporting a variety of valuable fault-tolerant logical gates. Its two-dimensional version, the triangular color code, may soon be realized with currently available superconducting hardware despite constrained qubit connectivity. To guide this experimental effort, we study the storage threshold of the triangular color code against circuit-level depolarizing noise. First, we adapt the Restriction Decoder to the setting of the triangular color code and to phenomenological noise. Then, we propose a fault-tolerant implementation of the stabilizer measurement circuits, which incorporates flag qubits. We show how information from flag qubits can be used with the Restriction Decoder to maintain the effective distance of the code. We numerically estimate the threshold of the triangular color code to be 0.2%, which is competitive with the thresholds of other topological quantum codes. We also prove that 1-flag stabilizer measurement circuits are sufficient to preserve the full code distance, which may be used to find simpler syndrome extraction circuits of the color code.


title: Kinetic foundation of the zero-inflated negative binomial model for single-cell RNA sequencing data

abstract: Single-cell RNA sequencing data have complex features such as dropout events, over-dispersion, and high-magnitude outliers, resulting in complicated probability distributions of mRNA abundances that are statistically characterized in terms of a zero-inflated negative binomial (ZINB) model. Here we provide a mesoscopic kinetic foundation of the widely used ZINB model based on the biochemical reaction kinetics underlying transcription. Using multiscale modeling and simplification techniques, we show that the ZINB distribution of mRNA abundance and the phenomenon of transcriptional bursting naturally emerge from a three-state stochastic transcription model. We further reveal a nontrivial quantitative relation between dropout events and transcriptional bursting, which provides novel insights into how and to what extent the burst size and burst frequency could reduce the dropout rate. Three different biophysical origins of over-dispersion are also clarified at the single-cell level.

categories: q-bio.MN physics.bio-ph q-bio.QM stat.AP


title: DD-PPO: Learning Near-Perfect PointGoal Navigators from 2.5 Billion Frames

abstract: We present Decentralized Distributed Proximal Policy Optimization (DD-PPO), a method for distributed reinforcement learning in resource-intensive simulated environments. DD-PPO is distributed (uses multiple machines), decentralized (lacks a centralized server), and synchronous (no computation is ever stale), making it conceptually simple and easy to implement. In our experiments on training virtual robots to navigate in Habitat-Sim, DD-PPO exhibits near-linear scaling -- achieving a speedup of 107x on 128 GPUs over a serial implementation. We leverage this scaling to train an agent for 2.5 Billion steps of experience (the equivalent of 80 years of human experience) -- over 6 months of GPU-time training in under 3 days of wall-clock time with 64 GPUs. This massive-scale training not only sets the state of art on Habitat Autonomous Navigation Challenge 2019, but essentially solves the task --near-perfect autonomous navigation in an unseen environment without access to a map, directly from an RGB-D camera and a GPS+Compass sensor. Fortuitously, error vs computation exhibits a power-law-like distribution; thus, 90% of peak performance is obtained relatively early (at 100 million steps) and relatively cheaply (under 1 day with 8 GPUs). Finally, we show that the scene understanding and navigation policies learned can be transferred to other navigation tasks -- the analog of ImageNet pre-training + task-specific fine-tuning for embodied AI. Our model outperforms ImageNet pre-trained CNNs on these transfer tasks and can serve as a universal resource (all models and code are publicly available).


title: Degenerations of Filippov algebras

abstract: We consider the variety of Filippov ($n$-Lie) algebra structures on an $(n+1)$-dimensional vector space. The group $GL_n(K)$ acts on it, and we study the orbit closures with respect to the Zariski topology. This leads to the definition of Filippov algebra degenerations. We present some fundamental results on such degenerations, including trace invariants and necessary degeneration criteria. Finally, we classify all orbit closures in the variety of complex $(n+1)$-dimensional Filippov $n$-ary algebras.


title: CCNet: Extracting High Quality Monolingual Datasets from Web Crawl Data

abstract: Pre-training text representations have led to significant improvements in many areas of natural language processing. The quality of these models benefits greatly from the size of the pretraining corpora as long as its quality is preserved. In this paper, we describe an automatic pipeline to extract massive high-quality monolingual datasets from Common Crawl for a variety of languages. Our pipeline follows the data processing introduced in fastText (Mikolov et al., 2017; Grave et al., 2018), that deduplicates documents and identifies their language. We augment this pipeline with a filtering step to select documents that are close to high quality corpora like Wikipedia.


title: Singular 3-manifolds in $\mathbb{R}^5$

abstract: We study 3-manifolds in $\mathbb{R}^5$ with corank $1$ singularities. At the singular point we define the curvature locus using the first and second fundamental forms, which contains all the local second order geometrical information about the manifold.


abstract: Adaptive Precision Training: Quantify Back Propagation in Neural Networks with Fixed-point Numbers. Recent emerged quantization technique has been applied to inference of deep neural networks for fast and efficient execution. However, directly applying quantization in training can cause significant accuracy loss, thus remaining an open challenge.


title: Massless infinite spin (super)particles and fields

abstract: A new twistorial field formulation of a massless infinite spin particle is derived. We find a twistorial infinite spin field and derive its helicity decomposition. The twistorial equations of motion for infinite spin fields in the cases of integer and half-integer helicities are derived. We show that the infinite integer-spin field and infinite half-integer-spin field form the $\mathcal{N}{=}\,1$ infinite spin supermultiplet. The corresponding supersymmetry transformations are presented. We prove that the supersymmetry algebra is closed on-shell.


title: Doping effects on electronic states in electron-doped FeSe: Impact of self-energy and vertex corrections

abstract: The pairing glue of high-$T_{\rm c}$ superconductivity in heavily electron-doped (e-doped) FeSe, in which hole-pockets are absent, has been an important unsolved problem. Here, we focus on a heavily e-doped bulk superconductor Li$_{1-x}$Fe$_x$OHFeSe ($T_{\rm c} \sim 40$K). We construct a multiorbital model beyond the rigid band approximation and analyze the spin and orbital fluctuations by taking both vertex corrections (VCs) and self-energy into consideration. Without e-doping ($x=0$), the ferro-orbital order without magnetism in FeSe is reproduced by the VCs.The orbital order quickly disappears when the hole-pocket vanishes at $x \sim 0.03$. With increasing $x$ further, the spin fluctuations remain small, whereas orbital fluctuations gradually increase with $x$ due to the VCs. The negative feedback due to the self-energy is crucial to explain experimental phase diagram. Thanks to both vertex and self-energy corrections, the orbital-fluctuation-mediated $s_{++}$-wave state appears for a wide doping range, consistent with experiments.


title: Validation of a deep learning mammography model in a population with low screening rates

abstract: A key promise of AI applications in healthcare is in increasing access to quality medical care in under-served populations and emerging markets. However, deep learning models are often only trained on data from advantaged populations that have the infrastructure and resources required for large-scale data collection. In this paper, we aim to empirically investigate the potential impact of such biases on breast cancer detection in mammograms. We specifically explore how a deep learning algorithm trained on screening mammograms from the US and UK generalizes to mammograms collected at a hospital in China, where screening is not widely implemented. For the evaluation, we use a top-scoring model developed for the Digital Mammography DREAM Challenge. Despite the change in institution and population composition, we find that the model generalizes well, exhibiting similar performance to that achieved in the DREAM Challenge, even when controlling for tumor size. We also illustrate a simple but effective method for filtering predictions based on model variance, which can be particularly useful for deployment in new settings. While there are many components in developing a clinically effective system, these results represent a promising step towards increasing access to life-saving screening mammography in populations where screening rates are currently low.


title: Which oxidation state of uranium and thorium as point defects in xenotime is favorable?

abstract: Relativistic study of xenotime, YPO$_4$, containing atoms thorium and uranium as point defects is performed in the framework of cluster model with using the compound-tunable embedding potential (CTEP) method proposed by us recently. The Y-(PO$_4$)$_6$-Y'$_{22}$-O'$_{104}$ cluster for xenotime is considered, in which central part, [Y-(PO$_4$)$_6$]$^{-15}$, is the main cluster, whereas outermost 22 atoms of yttrium and 104 atoms of oxygen are treated as its environment and compose electron-free CTEP with the total charge of $+15$. The P and O atoms of the orthophosphate groups nearest to the central Y atom are treated at all-electron level. The central Y, its substitutes, Th and U, together with environmental Y atoms are described within different versions of the generalized relativistic pseudopotential method. Correctness of our cluster and CTEP models, constructed in the paper, is justified by comparing the Y-O and P-O bond lengths with corresponding periodic structure values of the \ypo4 crystal, both experimental and theoretical. Using this cluster model, chemical properties of solitary point defects, X = U, Th, in xenotime are analyzed. It has been shown that the oxidation state ${+3}$ is energetically more profitable than ${+4}$ not only for thorium but for uranium as well ($\Delta E \approx 5$ eV) despite the notably higher ionic radius of U$^{+3}$ compared to Y$^{+3}$, whereas ionic radii of U$^{+4}$ and Y$^{+3}$ are close. This leads to notable local deformation of crystal geometry around the U$^{+3}$ impurity in xenotime and contradicts to widespread opinion about favorite oxidation state of uranium in such kind of minerals.


title: Unconventional Photon blockade in a Photonic Molecule Containing a Quantum Dot

abstract: We propose a scheme to realize strong photon antibunching with lower photon nonlinearity in a photonic molecule consisting of two photonic cavities, one of which contains a quantum dot (QD). This strong photon antibunching is attributed to destructive quantum interference effect which suppresses the two-photon excitation of the cavity field. That g^2 (0)~10^(-4) can be achieved with modest QD-cavity coupling strength g=1.1k and cavity tunneling strength J=3k when the system is driven by single laser field. To further reduce the requisite tunneling and make the system tunable, two laser fields are applied to the system. The strong photon antibunching (g^2 (0)~10^(-3)) can be achieved with a relatively large intracavity photon number by optimizing the phase between two driving laser fields when J=0.9k. Moreover, the system shows a strong robustness of maintaining strong photon antibunching within a large parameter variation under the optimal phase condition. Our scheme provides a flexible and efficient method for solid state quantum single photon sources.


title: The $g-2$ of charged leptons, $\alpha(M_Z^2)$ and the hyperfine splitting of muonium

abstract: Following updates in the compilation of $e^+e^-\rightarrow{\rm hadrons}$ data, this work presents re-evaluations of the hadronic vacuum polarisation contributions to the anomalous magnetic moment of the electron ($a_e$), muon ($a_\mu$) and tau lepton ($a_\tau$), to the ground-state hyperfine splitting of muonium and also updates the hadronic contributions to the running of the QED coupling at the mass scale of the $Z$ boson, $\alpha(M_Z^2)$. Combining the results for the hadronic vacuum polarisation contributions with recent updates for the hadronic light-by-light corrections, the electromagnetic and the weak contributions, the deviation between the measured value of $a_\mu$ and its Standard Model prediction amounts to $\Delta a_{\mu} = (28.02 \pm 7.37) \times 10^{-10}$, corresponding to a muon $g-2$ discrepancy of $3.8\sigma$.


title: Local modified Becke-Johnson exchange-correlation potential for interfaces, surfaces, and two-dimensional materials

abstract: The modified Becke-Johnson meta-GGA potential of density functional theory has been shown to be the best exchange-correlation potential to determine band gaps of crystalline solids. However, it cannot be consistently used for the electronic structure of non-periodic or nanostructured systems. We propose an extension of this potential that enables its use to study heterogeneous, finite and low-dimensional systems. This is achieved by using a coordinate-dependent expression for the parameter $c$ that weights the Becke-Russel exchange, in contrast to the original global formulation, where $c$ is just a fitted number. Our potential takes advantage of the excellent description of band gaps provided by the modified Becke-Johnson potential and preserves its modest computational effort. Furthermore, it yields with one single calculation band diagrams and band offsets of heterostructures and surfaces. We exemplify the usefulness and efficiency of our local meta-GGA potential by testing it for a series of interfaces (Si/SiO$_2$, AlAs/GaAs, AlP/GaP, and GaP/Si), a Si surface, and boron nitride monolayer.


title: Multiwavelength analysis of low surface brightness galaxies to study possible dark matter signature

abstract: Low Surface Brightness (LSB) galaxies have very diffuse, low surface density stellar disks which appear faint in optical images. They are very rich in neutral hydrogen (HI) gas, which extends well beyond the stellar disks. Their extended HI rotation curves and stellar disks indicate that they have very massive dark matter (DM) halos compared to normal bright galaxies. Hence, LSB galaxies may represent valuable laboratories for the indirect detection of DM. In this paper, we search for WIMP annihilation signatures in four LSB galaxies and present an analysis of nearly nine years of data from the Fermi Large Area Telescope (LAT). Above 500 MeV, no excess emission was detected from the LSB galaxies. We obtain constraints on the DM cross-section for different annihilation channels, for both individual and stacked targets. In addition to this, we use radio data from the Very Large Array (VLA) radio telescope in order to derive DM constraints, following a multiwavelength approach. The constraints obtained from the four considered LSB galaxies are nearly 3 orders of magnitude weaker than the predicted limits for the thermal relic abundances and the combined limits achieved from Fermi-LAT observations of dwarf spheroidal galaxies. Finally, we discuss the possibility of detecting emission from LSB galaxies using the upcoming ground-based $\gamma$-ray and radio observatories, namely the Cherenkov Telescope Array (CTA) and the Square Kilometre Array (SKA).


title: Time discounting under uncertainty

abstract: We study intertemporal decision making under uncertainty. We fully characterize discounted expected utility in a framework \`a la Savage. Despite the popularity of this model, no characterization is available in this setting. The concept of stationarity, introduced by Koopmans for deterministic discounted utility, plays a central role for both attitudes towards time and towards uncertainty. We show that a strong stationarity axiom characterizes discounted expected utility. When hedging considerations are taken into account, a weaker stationarity axiom generalizes discounted expected utility to Choquet discounted expected utility, allowing for non-neutral attitudes towards uncertainty.


title: Covering properties of $\omega$-mad families

abstract: We prove that CH implies the existence of a Cohen-indestructible mad family such that the Mathias forcing associated to its filter adds dominating reals, while $\mathfrak b=\mathfrak c$ is consistent with the negation of this statement as witnessed by the Laver model for the consistency of Borel's conjecture.


title: Deflection of Light by a Rotating Black Hole Surrounded by "Quintessence"

abstract: We present a detailed analysis of a rotating black hole surrounded by "quintessence". This solution represents a fluid with a constant equation of state, $w$, which can for example describe an effective warm dark matter fluid around a black hole. We clarify the conditions for the existence of such a solution and study its structure by analyzing the existence of horizons as well as the extremal case. We show that the deflection angle produced by the black hole depends on the parameters $(c,w)$ which need to obey the condition $cw<0$ because of the weak energy condition, where $c$ is an additional parameter describing the hair of the black hole. In this context, we found that for $w\simeq 0.1$ (consistent with warm dark matter) and $c<0$, the deviation angle is larger than that in the Kerr spacetime for direct and retrograde orbits. We also derive an exact solution in the case of $w=-1/3$.


title: Shortcut-to-adiabaticity quantum Otto refrigerator

abstract: We investigate the performance of a quantum Otto refrigerator operating in finite time and exploiting local counterdiabatic techniques. We evaluate its coefficient of performance and cooling power when the working medium consists a quantum harmonic oscillator with a time-dependent frequency. We find that the quantum refrigerator outperforms its conventional counterpart, except for very short cycle times, even when the driving cost of the local counterdiabatic driving is included. We moreover derive upper bounds on the performance of the thermal machine based on quantum speed limits and show that they are tighter than the second law of thermodynamics.


title: A Sliding Mode Observer Approach for Attack Detection and Estimation in Autonomous Vehicle Platoons using Event Triggered Communication

abstract: Platoons of autonomous vehicles are being investigated as a way to increase road capacity and fuel efficiency. Cooperative Adaptive Cruise Control (CACC) is one approach to controlling platoons longitudinal dynamics, which requires wireless communication between vehicles. In the present paper we use a sliding mode observer to detect and estimate cyber-attacks threatening such wireless communication. In particular we prove stability of the observer and robustness of the detection threshold in the case of event-triggered communication, following a realistic Vehicle-to-Vehicle network protocol.


title: Dynamical grooming of QCD jets

abstract: We propose a new class of infrared-collinear (IRC) and Sudakov safe observables with an associated jet grooming technique that removes dynamically soft and large angle branches. It is based on identifying the hardest branch in the Cambridge/Aachen re-clustering sequence and discarding prior splittings that occur at larger angles. This leads to a dynamically generated cut-off on the phase space of the tagged splitting that is encoded in a Sudakov form factor. In this exploratory study we focus on the mass and momentum sharing distributions of the tagged splitting which we analyze analytically to modified leading logarithmic accuracy and compare to Monte-Carlo simulations.


title: 3D hierarchical optimization for Multi-view depth map coding

abstract: Depth data has a widespread use since the popularity of high-resolution 3D sensors. In multi-view sequences, depth information is used to supplement the color data of each view. This article proposes a joint encoding of multiple depth maps with a unique representation. Color and depth images of each view are segmented independently and combined in an optimal Rate-Distortion fashion. The resulting partitions are projected to a reference view where a coherent hierarchy for the multiple views is built. A Rate-Distortionoptimization is applied to obtain the final segmentation choosing nodes of the hierarchy. The consistent segmentation is used to robustly encode depth maps of multiple views obtaining competitive results with HEVC coding standards. Available at: http://link.springer.com/article/10.1007/s11042-017-5409-z


title: Generalized Scharfetter-Gummel schemes for electro-thermal transport in degenerate semiconductors using the Kelvin formula for the Seebeck coefficient

abstract: Many challenges faced in today's semiconductor devices are related to self-heating phenomena. The optimization of device designs can be assisted by numerical simulations using the non-isothermal drift-diffusion system, where the magnitude of the thermoelectric cross effects is controlled by the Seebeck coefficient. We show that the model equations take a remarkably simple form when assuming the so-called Kelvin formula for the Seebeck coefficient. The corresponding heat generation rate involves exactly the three classically known self-heating effects, namely Joule, recombination and Thomson-Peltier heating, without any further (transient) contributions. Moreover, the thermal driving force in the electrical current density expressions can be entirely absorbed in the diffusion coefficient via a generalized Einstein relation. The efficient numerical simulation relies on an accurate and robust discretization technique for the fluxes (finite volume Scharfetter-Gummel method), which allows to cope with the typically stiff solutions of the semiconductor device equations. We derive two non-isothermal generalizations of the Scharfetter-Gummel scheme for degenerate semiconductors (Fermi-Dirac statistics) obeying the Kelvin formula. The approaches differ in the treatment of degeneration effects: The first is based on an approximation of the discrete generalized Einstein relation implying a specifically modified thermal voltage, whereas the second scheme follows the conventionally used approach employing a modified electric field. We present a detailed analysis and comparison of both schemes, indicating a superior performance of the modified thermal voltage scheme.

categories: physics.app-ph cond-mat.other cs.NA math.NA physics.comp-ph


title: Deriving the $\text{AdS}_{3}/\text{CFT}_{2}$ Correspondence

abstract: It was recently argued that string theory on ${\rm AdS}_3\times {\rm S}^3\times \mathbb{T}^4$ with one unit ($k=1$) of NS-NS flux is exactly dual to the symmetric orbifold CFT ${\rm Sym}^N(\mathbb{T}^4)$. In this paper we show how to directly relate the $n$-point correlators of the two sides to one another. In particular, we argue that the correlators of the world-sheet theory are delta-function-localised in string moduli space to those configurations that allow for a holomorphic covering map of the $\text{S}^2$-boundary of $\text{AdS}_3$ by the world-sheet. This striking feature can be seen both from a careful Ward identity analysis, as well as from semi-classically exact AdS$_3$ solutions that are pinned to the boundary. The world-sheet correlators therefore have exactly the same structure as in the Lunin-Mathur construction of symmetric orbifold CFT correlators in terms of a covering surface -- which now gets identified with the world-sheet. Together with the results of arXiv:1803.04423 and arXiv:1812.01007 this essentially demonstrates how the $k=1$ $\text{AdS}_3$ string theory becomes equivalent to the spacetime orbifold CFT in the genus expansion.


title: Triple decomposition of velocity gradient tensor in homogeneous isotropic turbulence

abstract: The triple decomposition of a velocity gradient tensor is studied with direct numerical simulations of homogeneous isotropic turbulence, where the velocity gradient tensor is decomposed into three components representing an irrotational straining motion. Strength of these motions can be quantified with the decomposed components. A procedure of the triple decomposition is proposed for three-dimensional flows, where the decomposition is applied in a basic reference frame identified by examining a finite number of reference frames obtained by three sequential rotational transformations of a Cartesian coordinate. Even though more than one basic reference frame may be available for the triple decomposition, the results of the decomposition depend little on the choice of basic reference frame. In homogeneous isotropic turbulence, regions with strong rigid-body rotations or straining motions are highly intermittent in space, while most flow regions exhibit moderately strong shearing motions in the absence of straining motions and rigid-body rotations. The shear tensor is also used for detecting intense shear layers.


title: Ionized calcium in the atmospheres of two ultra-hot exoplanets WASP-33b and KELT-9b

abstract: Ultra-hot Jupiters are emerging as a new class of exoplanets. Studying their chemical compositions and temperature structures will improve the understanding of their mass loss rate as well as their formation and evolution. We present the detection of ionized calcium in the two hottest giant exoplanets - KELT-9b and WASP-33b. By utilizing transit datasets from CARMENES and HARPS-N observations, we achieved high confidence level detections of Ca II using the cross-correlation method. We further obtain the transmission spectra around the individual lines of the Ca II H&K doublet and the near-infrared triplet, and measure their line profiles. The Ca II H&K lines have an average line depth of 2.02 $\pm$ 0.17 % (effective radius of 1.56 Rp) for WASP-33b and an average line depth of 0.78 $\pm$ 0.04 % (effective radius of 1.47 Rp) for KELT-9b, which indicates that the absorptions are from very high upper atmosphere layers close to the planetary Roche lobes. The observed Ca II lines are significantly deeper than the predicted values from the hydrostatic models. Such a discrepancy is probably a result of hydrodynamic outflow that transports a significant amount of Ca II into the upper atmosphere. The prominent Ca II detection with the lack of significant Ca I detection implies that calcium is mostly ionized in the upper atmospheres of the two planets.


title: Multimodal Video-based Apparent Personality Recognition Using Long Short-Term Memory and Convolutional Neural Networks

abstract: Personality computing and affective computing, where the recognition of personality traits is essential, have gained increasing interest and attention in many research areas recently. We propose a novel approach to recognize the Big Five personality traits of people from videos. Personality and emotion affect the speaking style, facial expressions, body movements, and linguistic factors in social contexts, and they are affected by environmental elements. We develop a multimodal system to recognize apparent personality based on various modalities such as the face, environment, audio, and transcription features. We use modality-specific neural networks that learn to recognize the traits independently and we obtain a final prediction of apparent personality with a feature-level fusion of these networks. We employ pre-trained deep convolutional neural networks such as ResNet and VGGish networks to extract high-level features and Long Short-Term Memory networks to integrate temporal information. We train the large model consisting of modality-specific subnetworks using a two-stage training process. We first train the subnetworks separately and then fine-tune the overall model using these trained networks. We evaluate the proposed method using ChaLearn First Impressions V2 challenge dataset. Our approach obtains the best overall "mean accuracy" score, averaged over five personality traits, compared to the state-of-the-art.


title: BlessMark: A Blind Diagnostically-Lossless Watermarking Framework for Medical Applications Based on Deep Neural Networks

abstract: Nowadays, with the development of public network usage, medical information is transmitted throughout the hospitals. The watermarking system can help for the confidentiality of medical information distributed over the internet. In medical images, regions-of-interest (ROI) contain diagnostic information. The watermark should be embedded only into non-regions-of-interest (NROI) to keep diagnostic information without distortion. Recently, ROI based watermarking has attracted the attention of the medical research community. The ROI map can be used as an embedding key for improving confidentiality protection purposes. However, in most existing works, the ROI map that is used for the embedding process must be sent as side-information along with the watermarked image. This side information is a disadvantage and makes the extraction process non-blind. Also, most existing algorithms do not recover NROI of the original cover image after the extraction of the watermark. In this paper, we propose a framework for blind diagnostically-lossless watermarking, which iteratively embeds only into NROI. The significance of the proposed framework is in satisfying the confidentiality of the patient information through a blind watermarking system, while it preserves diagnostic/medical information of the image throughout the watermarking process. A deep neural network is used to recognize the ROI map in the embedding, extraction, and recovery processes. In the extraction process, the same ROI map of the embedding process is recognized without requiring any additional information. Hence, the watermark is blindly extracted from the NROI.


title: Protein Fold Family Recognition From Unassigned Residual Dipolar Coupling Data

abstract: Despite many advances in computational modeling of protein structures, these methods have not been widely utilized by experimental structural biologists. Two major obstacles are preventing the transition from a purely-experimental to a purely-computational mode of protein structure determination. The first problem is that most computational methods need a large library of computed structures that span a large variety of protein fold families, while structural genomics initiatives have slowed in their ability to provide novel protein folds in recent years. The second problem is an unwillingness to trust computational models that have no experimental backing. In this paper we test a potential solution to these problems that we have called Probability Density Profile Analysis (PDPA) that utilizes unassigned residual dipolar coupling data that are relatively cheap to acquire from NMR experiments.


title: Generalized Mean Estimation in Monte-Carlo Tree Search

abstract: We consider Monte-Carlo Tree Search (MCTS) applied to Markov Decision Processes (MDPs) and Partially Observable MDPs (POMDPs), and the well-known Upper Confidence bound for Trees (UCT) algorithm. In UCT, a tree with nodes (states) and edges (actions) is incrementally built by the expansion of nodes, and the values of nodes are updated through a backup strategy based on the average value of child nodes. However, it has been shown that with enough samples the maximum operator yields more accurate node value estimates than averaging. Instead of settling for one of these value estimates, we go a step further proposing a novel backup strategy which uses the power mean operator, which computes a value between the average and maximum value. We call our new approach Power-UCT, and argue how the use of the power mean operator helps to speed up the learning in MCTS. We theoretically analyze our method providing guarantees of convergence to the optimum. Finally, we empirically demonstrate the effectiveness of our method in well-known MDP and POMDP benchmarks, showing significant improvement in performance and convergence speed w.r.t. state of the art algorithms.


title: A Formal Proof of PAC Learnability for Decision Stumps

abstract: We present a formal proof in Lean of probably approximately correct (PAC) learnability of the concept class of decision stumps. This classic result in machine learning theory derives a bound on error probabilities for a simple type of classifier. Though such a proof appears simple on paper, analytic and measure-theoretic subtleties arise when carrying it out fully formally. Our proof is structured so as to separate reasoning about deterministic properties of a learning function from proofs of measurability and analysis of probabilities.


title: Risk Neutral Valuation of Inflation-Linked Interest Rate Derivatives

abstract: We propose a model for the joint evolution of European inflation, the European Central Bank official interest rate and the short-term interest rate, in a stochastic, continuous time setting. We derive the valuation equation for a contingent claim depending potentially on all three factors. This valuation equation reduces to a finite number of Cauchy problems for a degenerate parabolic PDE with non-local terms. We show that the price of the contingent claim is the only viscosity solution of the valuation equation. We also provide an efficient numerical scheme to compute the price and implement it in an example.


title: Comb Convolution for Efficient Convolutional Architecture

abstract: Convolutional neural networks (CNNs) are inherently suffering from massively redundant computation (FLOPs) due to the dense connection pattern between feature maps and convolution kernels. Recent research has investigated the sparse relationship between channels, however, they ignored the spatial relationship within a channel. In this paper, we present a novel convolutional operator, namely comb convolution, to exploit the intra-channel sparse relationship among neurons. The proposed convolutional operator eliminates nearly 50% of connections by inserting uniform mappings into standard convolutions and removing about half of spatial connections in convolutional layer. Notably, our work is orthogonal and complementary to existing methods that reduce channel-wise redundancy. Thus, it has great potential to further increase efficiency through integrating the comb convolution to existing architectures. Experimental results demonstrate that by simply replacing standard convolutions with comb convolutions on state-of-the-art CNN architectures (e.g., VGGNets, Xception and SE-Net), we can achieve 50% FLOPs reduction while still maintaining the accuracy.


title: Tunable single photon and two-photon emission in a four-level quantum dot-bimodal cavity system

abstract: We investigate the generation of single photons and photon pairs in a cavity quantum electrodynamics system of a four-level quantum dot coupled to bimodal cavity. By tuning frequencies and intensity ratio of the driving lasers, sub-Poissonian and super-Poissonian photon statistics are obtained in each nondegenerate cavity mode respectively. Single photon emission is characterized as zero-delay second-order correlation function g^2(0)~0.15. Photon pair emission under the two-photon resonance excitation is quantified by Mandel parameter as Q~0.04. The mean cavity photon number in both scenarios can maintain large around 0.1. As a result, single photon emission and two-photon emission can be integrated in our proposed system only by tuning the external parameters of the driving lasers.


title: Boson Stars with Long-range Perturbations

abstract: We consider the Boson star equation with long-range perturbation given by $$i\partial_t \psi=\sqrt{-\triangle+m^2}\,\psi+\beta(\frac{1}{|x|^\alpha}\ast |\psi|^2)\psi-(\frac{1}{|x|}\ast |\psi|^2)\psi\ \ \ \text{on $\mathbb{R}^3$,}$$ where $\frac{1}{|x|^\alpha} (0<\alpha<1)$ denotes the long-range potential. In contrast to the well known fact that for $\beta=0$ no maximal ground state solitary wave exists when the partical number $N=N_c$ (Chandrasekhar limiting mass) [E.H. Lieb, H.T. Yau, \emph{Commun. Math. Phys.}, 112 (1987), pp: 147-174 ], we show that for $\beta>0$ and small enough, there exists at least one maximal ground state at $N=N_c$. Moreover, for $\beta>0$, we find that for initial value $\|\psi_0\|^2_2=N_c$, the solution $\psi(t)$ is global well-posedness, and we obtain an "orbital stability" of those maximal ground state solitary waves in some sense, which implies that such long-range perturbation pushes the Boson star system more stable. Finally, we analyse blow-up behaviours of maximal ground states when $\beta\rightarrow 0^+$.


title: Resolving Ultra-Fast Spin-Orbit Dynamics in Heavy Many-Electron Atoms

abstract: We use R-Matrix with Time-dependence (RMT) theory, with spin-orbit effects included, to study krypton irradiated by two time-delayed XUV ultrashort pulses. The first pulse excites the atom to 4s$^{2}$4p$^{5}$5s. The second pulse then excites 4s4p$^{6}$5s autoionising levels, whose population can be observed through their subsequent decay. By varying the time delay between the two pulses, we are able to control the excitation pathway to the autoionising states. The use of cross-polarised light pulses allows us to isolate the two-photon pathway, with one photon taken from each pulse.


title: Two-year Cosmology Large Angular Scale Surveyor (CLASS) Observations: A Measurement of Circular Polarization at 40 GHz

abstract: We report circular polarization measurements from the first two years of observation with the 40 GHz polarimeter of the Cosmology Large Angular Scale Surveyor (CLASS). CLASS is conducting a multi-frequency survey covering 75% of the sky from the Atacama Desert designed to measure the cosmic microwave background (CMB) linear E and B polarization on angular scales $1^\circ \lesssim \theta \leq 90^\circ$, corresponding to a multipole range of $2 \leq \ell \lesssim 200$. The modulation technology enabling measurements of linear polarization at the largest angular scales from the ground, the Variable-delay Polarization Modulator, is uniquely designed to provide explicit sensitivity to circular polarization (Stokes $V$). We present a first detection of circularly polarized atmospheric emission at 40 GHz that is well described by a dipole with an amplitude of $124\pm4\,\mathrm{\mu K}$ when observed at an elevation of $45^\circ$, and discuss its potential impact as a foreground to CMB experiments. Filtering the atmospheric component, CLASS places a 95% C.L. upper limit of $0.4\,\mathrm{\mu K}^2$ to $13.5\,\mathrm{\mu K}^2$ on $\ell(\ell+1)C_\ell^{VV}/(2\pi)$ between $1 \leq \ell \leq 120$, representing a two-orders-of-magnitude improvement over previous limits.


title: Effect of polymeric additives on ignition, combustion and flame characteristics and soot deposits of crude oil droplets

abstract: Many oil fires have resulted from the crude oil train derailments in recent years. Given the importance of crude oil shipping by rail to the energy security of the US, it is important to consider various methods that will decrease the likelihood of crude oil catching fire in case of a crude oil derailment. Present study examines the effect of polybutadiene polymer on the combustion properties and soot deposits of Bakken and Pennsylvania crudes. Treating these crudes as multicomponent liquid fuels and polybutadiene as an additive, droplet combustion experiments were conducted with sub-millimeter sized spherical droplets suspended on very fine support fibers. Polybutadiene polymer additive of two different chain lengths has been investigated. Results show that both polymer chain length and origin of crude oil have a significant effect on various combustion properties like combustion rate, ignition delay, total combustion time, and flame stand-off ratio. Polymeric additives also change the soot deposit structure and particle size compared to the base fuel. Present research is envisioned to aid in theoretical combustion modeling of complex multicomponent liquid fuels, as well as generate interest in investigating more polymeric additives for liquid fuels.


title: Fingerprinting the effects of hyperfine structure on CH and OH far infrared spectra using Wiener filter deconvolution

abstract: In this paper, we investigate the influence of hyperfine splitting on complex spectral lines, with the aim of evaluating canonical abundances by decomposing their dependence on hyperfine structures. This is achieved from first principles through deconvolution. We present high spectral resolution observations of the rotational ground state transitions of CH near 2 THz seen in absorption toward the strong FIR-continuum sources AGAL010.62$-$00.384, AGAL034.258+00.154, AGAL327.293$-$00.579, AGAL330.954$-$00.182, AGAL332.826$-$00.549, AGAL351.581$-$00.352 and SgrB2(M). These were observed with the GREAT instrument on board SOFIA. The observed line profiles of CH were deconvolved from the imprint left by the lines' hyperfine structures using the Wiener filter deconvolution, an optimised kernel acting on direct deconvolution. The quantitative analysis of the deconvolved spectra first entails the computation of CH column densities. Reliable N(CH) values are of importance owing to the status of CH as a powerful tracer for H$_2$ in the diffuse regions of the interstellar medium. The N(OH)/N(CH) column density ratio is found to vary within an order of magnitude with values ranging from one to 10, for the individual sources that are located outside the Galactic centre. Using CH as a surrogate for H$_2$, we determined the abundance of the OH molecule to be X(OH)=1.09$\times$10$^{-7}$ with respect to H$_2$. The radial distribution of CH column densities along the sightlines probed in this study, excluding SgrB2(M), showcase a dual peaked distribution peaking between 5 and 7 kpc. The similarity between the correspondingly derived column density profile of H$_2$ with that of the CO-dark H$_2$ gas traced by the cold neutral medium component of [CII] 158$~\mu$m emission across the Galactic plane, further emphasises the use of CH as a tracer for H$_2$.


title: Realization of a stroboscopic optical lattice for cold atoms with subwavelength spacing

abstract: Optical lattices are typically created via the ac-Stark shift, which are limited by diffraction to periodicities $\ge\lambda/2$, where $\lambda$ is the wavelength of light used to create them. Lattices with smaller periodicities may be useful for many-body physics with cold atoms and can be generated by stroboscopic application of a phase-shifted lattice with subwavelength features. Here we demonstrate a $\lambda/4$-spaced lattice by stroboscopically applying optical Kronig-Penney(KP)-like potentials which are generated using spatially dependent dark states. We directly probe the periodicity of the $\lambda/4$-spaced lattice by measuring the average probability density of the atoms loaded into the ground band of the lattice. We measure lifetimes of atoms in this lattice and discuss the mechanisms that limit the applicability of this stroboscopic approach.


title: Mean-field tricritical polymers

abstract: We provide an introductory account of a tricritical phase diagram, in the setting of a mean-field random walk model of a polymer density transition, and clarify the nature of the density transition in this context. We consider a continuous-time random walk model on the complete graph, in the limit as the number of vertices $N$ in the graph grows to infinity. The walk has a repulsive self-interaction, as well as a competing attractive self-interaction whose strength is controlled by a parameter $g$. A chemical potential $\nu$ controls the walk length. We determine the phase diagram in the $(g,\nu)$ plane, as a model of a density transition for a single linear polymer chain. A dilute phase (walk of bounded length) is separated from a dense phase (walk of length of order $N$) by a phase boundary curve. The phase boundary is divided into two parts, corresponding to first-order and second-order phase transitions, with the division occurring at a tricritical point. The proof uses a supersymmetric representation for the random walk model, followed by a single block-spin renormalisation group step to reduce the problem to a 1-dimensional integral, followed by application of the Laplace method for an integral with a large parameter.


title: Lateral lattice coherence lengths in thin films of bismuth telluride topological insulators, with overview on polarization factors for X-ray dynamical diffraction in monochromator crystals

abstract: In the supporting information file for article Dynamics of Defects in van der Waals Epitaxy of Bismuth Telluride Topological Insulators(J. Phys. Chem. C 2019, 123, 24818-24825, doi: 10.1021/acs.jpcc.9b05377), several topics on X-ray diffraction analysis of thin films were developed or revisited. A simple equation to determine lateral lattice coherence lengths in thin films stands as the main development (section S4 - Lateral lattice coherence length in thin films), while X-ray dynamical diffraction simulation in monochromator crystals stands as an interesting overview on how the ratio between $\pi$ and $\sigma$ polarization components is affected by whether diffraction takes place under kinematical or dynamical regime (section S3 - Polarization factor).


title: Generalized Speedy Q-learning

abstract: In this paper, we derive a generalization of the Speedy Q-learning (SQL) algorithm that was proposed in the Reinforcement Learning (RL) literature to handle slow convergence of Watkins' Q-learning. In most RL algorithms such as Q-learning, the Bellman equation and the Bellman operator play an important role. It is possible to generalize the Bellman operator using the technique of successive relaxation. We use the generalized Bellman operator to derive a simple and efficient family of algorithms called Generalized Speedy Q-learning (GSQL-w) and analyze its finite time performance. We show that GSQL-w has an improved finite time performance bound compared to SQL for the case when the relaxation parameter w is greater than 1. This improvement is a consequence of the contraction factor of the generalized Bellman operator being less than that of the standard Bellman operator. Numerical experiments are provided to demonstrate the empirical performance of the GSQL-w algorithm.


title: See Through Smoke: Robust Indoor Mapping with Low-cost mmWave Radar

abstract: This paper presents the design, implementation and evaluation of milliMap, a single-chip millimetre wave (mmWave) radar based indoor mapping system targetted towards low-visibility environments to assist in emergency response. A unique feature of milliMap is that it only leverages a low-cost, off-the-shelf mmWave radar, but can reconstruct a dense grid map with accuracy comparable to lidar, as well as providing semantic annotations of objects on the map. milliMap makes two key technical contributions. First, it autonomously overcomes the sparsity and multi-path noise of mmWave signals by combining cross-modal supervision from a co-located lidar during training and the strong geometric priors of indoor spaces. Second, it takes the spectral response of mmWave reflections as features to robustly identify different types of objects e.g. doors, walls etc. Extensive experiments in different indoor environments show that milliMap can achieve a map reconstruction error less than 0.2m and classify key semantics with an accuracy around 90%, whilst operating through dense smoke.


title: An Implementation of Homotopy Type Theory in Isabelle/Pure

abstract: In this Masters thesis we present an implementation of a fragment of "book HoTT" as an object logic for the interactive proof assistant Isabelle. We also give a mathematical description of the underlying theory of the Isabelle/Pure logical framework, and discuss various issues and design decisions that arise when attempting to encode intensional dependent type theory with universes inside a simple type-theoretic logical foundation.


title: Sparsely Activated Networks: A new method for decomposing and compressing data

abstract: Recent literature on unsupervised learning focused on designing structural priors with the aim of learning meaningful features, but without considering the description length of the representations. In this thesis, first we introduce the $\varphi$ metric that evaluates unsupervised models based on their reconstruction accuracy and the degree of compression of their internal representations. We then present and define two activation functions (Identity, ReLU) as base of reference and three sparse activation functions (top-k absolutes, Extrema-Pool indices, Extrema) as candidate structures that minimize the previously defined metric $\varphi$. We lastly present Sparsely Activated Networks (SANs) that consist of kernels with shared weights that, during encoding, are convolved with the input and then passed through a sparse activation function. During decoding, the same weights are convolved with the sparse activation map and subsequently the partial reconstructions from each weight are summed to reconstruct the input. We compare SANs using the five previously defined activation functions on a variety of datasets (Physionet, UCI-epilepsy, MNIST, FMNIST) and show that models that are selected using $\varphi$ have small description representation length and consist of interpretable kernels.


title: Scalar elliptic equations with a singular drift

abstract: We investigate the weak solvability and properties of weak solutions to the Dirichlet problem for a scalar elliptic equation $-\Delta u + b^{(\alpha)}\cdot \nabla u= f$ in a bounded domain $\Omega\subset {\mathbb R^2}$ containing the origin, where $f \in W^{-1}_q(\Omega) $ with $q>2$ and $b^{(\alpha)}:=b-\alpha \frac{x}{|x|^2}$, $b$ is a divergence-free vector field and $\alpha\in {\mathbb R}$ is a parameter.


title: Geometric Variations of Local Systems and Elliptic Surfaces

abstract: Geometric variations of local systems are families of variations of Hodge structure; they typically correspond to fibrations of K\"{a}hler manifolds for which each fibre itself is fibred by codimension one K\"{a}hler manifolds. In this article, we introduce the formalism of geometric variations of local systems and then specialize the theory to study families of elliptic surfaces. We interpret a construction of twisted elliptic surface families used by Besser-Livn\'{e} in terms of the middle convolution functor, and use explicit methods to calculate the variations of Hodge structure underlying the universal families of $M_N$-polarized K3 surfaces. Finally, we explain the connection between geometric variations of local systems and geometric isomonodromic deformations, which were originally considered by the first author in 1999.


title: Sherali-Adams and the binary encoding of combinatorial principles

abstract: We consider the Sherali-Adams (SA) refutation system together with the unusual binary encoding of certain combinatorial principles. For the unary encoding of the Pigeonhole Principle and the Least Number Principle, it is known that linear rank is required for refutations in SA, although both admit refutations of polynomial size. We prove that the binary encoding of the Pigeonhole Principle requires exponentially-sized SA refutations, whereas the binary encoding of the Least Number Principle admits logarithmic rank, polynomially-sized SA refutations. We continue by considering a refutation system between SA and Lasserre (Sum-of-Squares). In this system, the Least Number Principle requires linear rank while the Pigeonhole Principle becomes constant rank.


title: On the rate of convergence of alternating minimization for non-smooth non-strongly convex optimization in Banach spaces

abstract: In this paper, the convergence of alternating minimization is established for non-smooth convex optimization in Banach spaces, and novel rates of convergence are provided. As objective function a composition of a smooth and a non-smooth part is considered with the latter being block-separable, e.g., corresponding to convex constraints or regularization. For the smooth part, three different relaxations of strong convexity are considered: (i) quasi-strong convexity; (ii) quadratic functional growth; and (iii) plain convexity. Linear convergence is established for the first two cases, generalizing and improving previous results for strongly convex problems; sublinear convergence is established for the third case, also improving previous results from the literature. All the convergence results have in common, that opposing to previous corresponding results for the general block coordinate descent, the performance of the alternating minimization is beneficially governed by properties of the single blocks, instead of global properties. Ultimately, not only the better conditioned block determines the performance, as has been similarly observed in the literature. But also the worse conditioned problem enhances the performance additionally, resulting in potentially significantly improved convergence rates. Furthermore, by solely using the convexity and smoothness properties of the problem, the results immediately apply in general Banach spaces.


title: Training Neural Networks for Likelihood/Density Ratio Estimation

abstract: Various problems in Engineering and Statistics require the computation of the likelihood ratio function of two probability densities. In classical approaches the two densities are assumed known or to belong to some known parametric family. In a data-driven version we replace this requirement with the availability of data sampled from the densities of interest. For most well known problems in Detection and Hypothesis testing we develop solutions by providing neural network based estimates of the likelihood ratio or its transformations. This task necessitates the definition of proper optimizations which can be used for the training of the network. The main purpose of this work is to offer a simple and unified methodology for defining such optimization problems with guarantees that the solution is indeed the desired function. Our results are extended to cover estimates for likelihood ratios of conditional densities and estimates for statistics encountered in local approaches.


title: Formalizing the Dependency Pair Criterion for Innermost Termination

abstract: Rewriting is a framework for reasoning about functional programming. The dependency pair criterion is a well-known mechanism to analyze termination of term rewriting systems. Functional specifications with an operational semantics based on evaluation are related, in the rewriting framework, to the innermost reduction relation. This paper presents a PVS formalization of the dependency pair criterion for the innermost reduction relation: a term rewriting system is innermost terminating if and only if it is terminating by the dependency pair criterion. The paper also discusses the application of this criterion to check termination of functional specifications.


title: A Graph-Based Tool to Embed the {\pi}-Calculus into a Computational DPO Framework

abstract: Graph transformation approaches have been successfully used to analyse and design chemical and biological systems. Here we build on top of a DPO framework, in which molecules are modelled as typed attributed graphs and chemical reactions are modelled as graph transformations. Edges and vertexes can be labelled with first-order terms, which can be used to encode, e.g., steric information of molecules. While targeted to chemical settings, the computational framework is intended to be very generic and applicable to the exploration of arbitrary spaces derived via iterative application of rewrite rules, such as process calculi like Milner's {\pi}-calculus. To illustrate the generality of the framework, we introduce EpiM: a tool for computing execution spaces of {\pi}-calculus processes. EpiM encodes {\pi}-calculus processes as typed attributed graphs and then exploits the existing DPO framework to compute their dynamics in the form of graphs where nodes are {\pi}-calculus processes and edges are reduction steps. EpiM takes advantage of the graph-based representation and facilities offered by the framework, like efficient isomorphism checking to prune the space without resorting to explicit structural equivalences. EpiM is available as an online Python-based tool.


title: On the 12-representability of induced subgraphs of a grid graph

abstract: The notion of a 12-representable graph was introduced by Jones et al.. This notion generalizes the notions of the much studied permutation graphs and co-interval graphs. It is known that any 12-representable graph is a comparability graph, and also that a tree is 12-representable if and only if it is a double caterpillar. Moreover, Jones et al.\ initiated the study of 12-representability of induced subgraphs of a grid graph, and asked whether it is possible to characterize such graphs. This question in is meant to be about induced subgraphs of a grid graph that consist of squares, which we call square grid graphs. However, an induced subgraph in a grid graph does not have to contain entire squares, and we call such graphs line grid graphs. In this paper we answer the question of Jones et al.\ by providing a complete characterization of $12$-representable square grid graphs in terms of forbidden induced subgraphs. Moreover, we conjecture such a characterization for the line grid graphs and give a number of results towards solving this challenging conjecture. Our results are a major step in the direction of characterization of all 12-representable graphs since beyond our characterization, we also discuss relations between graph labelings and 12-representability, one of the key open questions in the area.


title: On the supersingular GPST attack

abstract: We explain why the first Galbraith-Petit-Shani-Ti attack on the Supersingular Isogeny Diffie-Hellman and the Supersingular Isogeny Key Encapsulation fails in some cases.


title: Shear-induced electrical changes in the base of thin layer-cloud

abstract: Charging of upper and lower horizontal boundaries of extensive layer clouds results from current flow in the global electric circuit. Layer-cloud charge accumulation has previously been considered a solely electrostatic phenomenon, but it does not occur in isolation from meteorological processes, which can transport charge. Thin layer clouds provide special circumstances for investigating this dynamical charge transport, as disruption at the cloud-top may reach the cloud base, observable from the surface. Here, a thin (~300 m) persistent layer-cloud with base at 300 m and strong wind shear at cloud-top was observed to generate strongly correlated fluctuations in cloud base height, optical thickness and surface electric Potential Gradient (PG) beneath. PG changes are identified to precede the cloud base fluctuations by 2 minutes, consistent with shear-induced cloud-top electrical changes followed by cloud base changes. These observations demonstrate, for the first time, dynamically driven modification of charge within a layer-cloud. Even in weakly charged layer-clouds, redistribution of charge will modify local electric fields within the cloud and the collisional behaviour of interacting charged cloud droplets. Local field intensification may also explain previously observed electrostatic discharges in warm clouds.


title: Neutron rich matter in the laboratory and in the heavens after GW170817

abstract: The historic observations of the neutron star merger GW170817 advanced our understanding of r-process nucleosynthesis and the equation of state (EOS) of neutron rich matter. Simple neutrino physics suggests that supernovae are not the site of the main r-process. Instead, the very red color of the kilonova associated with GW170817 shows that neutron star (NS) mergers are an important r-process site. We now need to measure the masses and beta decay half-lives of very neutron rich heavy nuclei so that we can more accurately predict the abundances of heavy elements that are produced. This can be done with new radioactive beam accelerators such as the Facility for Rare Isotope Beams (FRIB). GW170817 provided information on the deformability of NS and the equation of state of dense matter. The PREX II experiment will measure the neutron skin of ${}^{208}$Pb and help constrain the low density EOS. As the sensitivity of gravitational wave detectors improve, we expect to observe many more events. We look forward to exciting advances and surprises!


title: Convergence of the Frozen Gaussian Approximation for High Frequency Elastic Waves

abstract: The frozen Gaussian approximation (FGA) is an effective tool for modeling high frequency wave propagation. In previous works, the convergence of the FGA has established for strict hyperbolic systems. In this work, we derive the frozen Gaussian approximation for the elastic wave equation, which can be cast as a hyperbolic system with repeated eigenvalues. In the derivation, the strong form for the evolution equation is introduced. A diabatic coupling is observed for the amplitude of the evolution equations between the SH, SV waves. Using previous results with new energy estimates we establish the convergence for the first order FGA for the elastic wave equation.


title: Impact of inherent energy barrier on spin-orbit torques in magnetic-metal/semimetal heterojunctions

abstract: Spintronic devices are based on heterojunctions of two materials with different magnetic and electronic properties. Although an energy barrier is naturally formed even at the interface of metallic heterojunctions, its impact on spin transport has been overlooked. Here, using diffusive spin Hall currents, we provide evidence that the inherent energy barrier governs the spin transport even in metallic systems. We find a sizable field-like torque, much larger than the damping-like counterpart, in Ni$_{81}$Fe$_{19}$/Bi$_{0.1}$Sb$_{0.9}$ bilayers. This is a distinct signature of barrier-mediated spin-orbit torques, which is consistent with our theory that predicts a strong modification of the spin mixing conductance induced by the energy barrier. Our results suggest that the spin mixing conductance and the corresponding spin-orbit torques are strongly altered by minimizing the work function difference in the heterostructure. These findings provide a new mechanism to control spin transport and spin torque phenomena by interfacial engineering of metallic heterostructures.


title: Growth of resonances and chaos for a spinning test particle in the Schwarzschild background

abstract: Inspirals of stellar mass compact objects into supermassive black holes are known as extreme mass ratio inspirals. In the simplest approximation, the motion of the compact object is modeled as a geodesic in the space-time of the massive black hole with the orbit decaying due to radiated energy and angular momentum, thus yielding a highly regular inspiral. However, once the spin of the secondary compact body is taken into account, integrability is broken and prolonged resonances along with chaotic motion appear. We numerically integrate the motion of a spinning test body in the field of a non-spinning black hole and analyse it using various methods. We show for the first time that resonances and chaos can be found even for astrophysical values of spin. On the other hand, we devise a method to analyse the growth of the resonances, and we conclude that the resonances we observe are only caused by terms quadratic in spin and will generally stay very small in the small-mass-ratio limit. Last but not least, we compute gravitational waveforms by solving numerically the Teukolsky equations in the time-domain and establish that they carry information on the motion's dynamics. In particular, we show that the time series of the gravitational wave strain can be used to discern regular from chaotic motion of the source.


title: Symmetries and Detection of Surfaces by the Character Variety

abstract: We extend Culler and Shalen's construction of detecting essential surfaces in 3-manifolds to 3-orbifolds. We do so in the setting of the $\mathrm{SL}_2(\mathbb{C})$ character variety, and following Boyer and Zhang in the $\mathrm{PSL}_2(\mathbb{C})$ character variety as well. We show that any slope detected on a canonical component of the $\mathrm{(P)SL}_2(\mathbb{C})$ character variety of a one cusped hyperbolic 3-manifold with symmetries must be the slope of a symmetric surface. As an application, we show that for each symmetric double twist knot there are slopes which are strongly detected on the character variety but not on the canonical component.


title: Quantum simulation by qubitization without Toffoli gates

abstract: Qubitization is a modern approach to estimate Hamiltonian eigenvalues without simulating its time evolution. While in this way approximation errors are avoided, its resource and gate requirements are more extensive: qubitization requires additional qubits to store information about the Hamiltonian, and Toffoli gates to probe them throughout the routine. Recently, it was shown that storing the Hamiltonian in a unary representation can alleviate the need for such gates in one of the qubitization subroutines. Building on that principle, we develop an entirely new decomposition of the entire algorithm: without Toffoli gates, we can encode the Hamiltonian into qubits within logarithmic depth.


title: Long-distance Detection of Bioacoustic Events with Per-channel Energy Normalization

abstract: This paper proposes to perform unsupervised detection of bioacoustic events by pooling the magnitudes of spectrogram frames after per-channel energy normalization (PCEN). Although PCEN was originally developed for speech recognition, it also has beneficial effects in enhancing animal vocalizations, despite the presence of atmospheric absorption and intermittent noise. We prove that PCEN generalizes logarithm-based spectral flux, yet with a tunable time scale for background noise estimation. In comparison with pointwise logarithm, PCEN reduces false alarm rate by 50x in the near field and 5x in the far field, both on avian and marine bioacoustic datasets. Such improvements come at moderate computational cost and require no human intervention, thus heralding a promising future for PCEN in bioacoustics.


title: On Second-Order Group Influence Functions for Black-Box Predictions

abstract: With the rapid adoption of machine learning systems in sensitive applications, there is an increasing need to make black-box models explainable. Often we want to identify an influential group of training samples in a particular test prediction for a given machine learning model. Existing influence functions tackle this problem by using first-order approximations of the effect of removing a sample from the training set on model parameters. To compute the influence of a group of training samples (rather than an individual point) in model predictions, the change in optimal model parameters after removing that group from the training set can be large. Thus, in such cases, the first-order approximation can be loose. In this paper, we address this issue and propose second-order influence functions for identifying influential groups in test-time predictions. For linear models, across different sizes and types of groups, we show that using the proposed second-order influence function improves the correlation between the computed influence values and the ground truth ones. We also show that second-order influence functions could be used with optimization techniques to improve the selection of the most influential group for a test-sample.


title: Relation between standard and exotic duals of differential forms

abstract: Exotic duality suggests a link between gauge theories for differential p-forms and tensor fields of mixed symmetry [D-2,p] in D spacetime dimensions. On the other hand, standard Hodge duality relates p-form to (D-p-2)-form gauge potentials by exchanging their field equations and Bianchi identities. Following the methodology and the recent proposal of Henneaux, Lekeu and Leonard that the double dual of the free graviton is algebraically related to the original graviton and does not provide a new, independent description of the gravitational field, we examine the status of exotic duality for p-forms. We find that the exotic dual is algebraically related to the standard dual of a differential form and therefore they provide equivalent descriptions as free fields. Introducing sources then leads to currents being proportional. This relation is extended in a straightforward way for higher exotic duals of the mixed symmetry type [D-2,...,D-2,p].


title: FootSLAM meets Adaptive Thresholding

abstract: Calibration of the zero-velocity detection threshold is an essential prerequisite for zero-velocity-aided inertial navigation. However, the literature is lacking a self-contained calibration method, suitable for large-scale use in unprepared environments without map information or pre-deployed infrastructure. In this paper, the calibration of the zero-velocity detection threshold is formulated as a maximum likelihood problem. The likelihood function is approximated using estimation quantities readily available from the FootSLAM algorithm. Thus, we obtain a method for adaptive thresholding that does not require map information, measurements from supplementary sensors, or user input. Experimental evaluations are conducted using data with different gait speeds, sensor placements, and walking trajectories. The proposed calibration method is shown to outperform fixed-threshold zero-velocity detectors and a benchmark using a speed-based threshold classifier.


title: Cockroaches use diverse strategies to self-right on the ground

abstract: Terrestrial animals often must self-right from an upside-down orientation on the ground to survive. Here, we compared self-righting strategies of the Madagascar hissing, American, and discoid cockroaches on a challenging flat, rigid, low-friction surface to quantify the mechanical principles. All three species almost always self-righted (97% probability) when given time (30 seconds), frequently self-righted (63%) on the first attempt, and on that attempt did so in one second or less. When successful, two of the three species gained and used pitch and/or roll rotational kinetic energy to overcome potential energy barriers (American 63% of all attempts and discoid 78%). By contrast, the largest, heaviest, wingless cockroach (Madagascar hissing) relied far less on the energy of motion and was the slowest to self-right. Two of the three species used rolling strategies to overcome low potential energy barriers. Successful righting attempts had greater rolling rotation than failed attempts as the center of mass rose to the highest position. Madagascar hissing cockroaches rolled using body deformation (98% of all trials) and the American cockroach relied on leg forces (93%). By contrast, the discoid cockroach overcame higher and a wider range of potential energy barriers with simultaneous pitching and rolling using wings (46% of all trials) and legs (49%) equally to self-right. Our quantification revealed the performance advantages of using rotational kinetic energy to overcome the potential energy barrier and rolling more to lower it, while maintaining diverse strategies for ground-based self-righting.