title: Efficient Continuous Top-$k$ Geo-Image Search on Road Network

abstract: With the rapid development of mobile Internet and cloud computing technology, large-scale multimedia data, e.g., texts, images, audio and videos have been generated, collected, stored and shared. In this paper, we propose a novel query problem named continuous top-$k$ geo-image query on road network which aims to search out a set of geo-visual objects based on road network distance proximity and visual content similarity. Existing approaches for spatial textual query and geo-image query cannot address this problem effectively because they do not consider both of visual content similarity and road network distance proximity on road network. In order to address this challenge effectively and efficiently, firstly we propose the definition of geo-visual objects and continuous top-$k$ geo-visual objects query on road network, then develop a score function for search. To improve the query efficiency in a large-scale road network, we propose the search algorithm named geo-visual search on road network based on a novel hybrid indexing framework called VIG-Tree, which combines G-Tree and visual inverted index technique. In addition, an important notion named safe interval and results updating rule are proposed, and based on them we develop an efficient algorithm named moving monitor algorithm to solve continuous query. Experimental evaluation on real multimedia dataset and road network dataset illustrates that our solution outperforms state-of-the-art method.


title: Seeing Site-Specific Isotopic Labeling of Amino Acids with Vibrational Spectroscopy in the Electron Microscope

abstract: Isotope labeling is a fundamental staple for the study of cellular metabolism and protein function. The conventional techniques that allow resolution and identification of isotopically-labeled biomarkers, such as mass spectrometry and infrared spectroscopy, are macroscopic in nature and have the disadvantage of requiring relatively large quantities of material and lacking spatial resolution. Here, we record the vibrational spectra of an {\alpha}-amino acid, L-alanine, using spatially-resolved monochromated electron energy loss spectroscopy (EELS) to directly resolve carbon-site-specific isotopic labels in a scanning transmission electron microscope. The EELS is acquired in aloof mode, meaning the probe is positioned away from the sample (~20 nm) sparing the sensitive biomolecule from the high-energy excitations, while the vibrational modes are investigated. An isotopic red-shift of 5.3 meV was obtained for the C=O stretching mode in the carboxylic acid group for 13C-enriched L-alanine when compared with naturally occurring 12C L-alanine, which is confirmed by macroscopic infrared spectroscopy measurements and theoretical calculations. The EELS experiments presented here are the first demonstration of non-destructive resolution and identification of isotopically-labeled amino acids in the electron microscope, opening a new door for the study of biological matter at the nanoscale.


title: Level statistics across the many--body localization transition

abstract: Level statistics of systems that undergo many--body localization transition are studied. An analysis of the gap ratio statistics from the perspective of inter- and intra-sample randomness allows us to pin point differences between transitions in random and quasi-random disorder, showing the effects due to Griffiths rare events for the former case. It is argued that the transition in the case of random disorder exhibits universal features that are identified by constructing an appropriate model of intermediate spectral statistics which is a generalization of the family of short-range plasma models. The considered weighted short-range plasma model yields a very good agreement both for level spacing distribution including its exponential tail and the number variance up to tens of level spacings outperforming previously proposed models. In particular, our model grasps the critical level statistics which arise at disorder strength for which the inter-sample fluctuations are the strongest. Going beyond the paradigmatic examples of many-body localization in spin systems, we show that the considered model also grasps the level statistics of disordered Bose- and Fermi-Hubbard models. The remaining deviations for long-range spectral correlations are discussed and attributed mainly to the intricacies of level unfolding.


title: Second-order sensitivity in the cylinder wake: optimal spanwise-periodic wall actuation and wall deformation

abstract: Two-dimensional (2D) flows are efficiently controlled with spanwise waviness, i.e. spanwise-periodic (SP) wall blowing/suction/deformation. We tackle the global linear stability of 2D flows subject to small-amplitude 3D SP control. Building on previous work for parallel flows (Boujo et al. 2015), an adjoint method is proposed for computing the 2nd-order eigenvalue sensitivity. Such control has a zero 1st-order linear effect, so the 2nd-order quadratic effect prevails. The sensitivity operator allows one (i) to predict the effect of any control without computing the controlled flow, (ii) to compute the optimal control for growth rate/frequency modification. The method takes advantage of spanwise periodicity to reduce computational complexity (from a 3D problem to a 2D one). The approach is applied to the leading eigenvalue of the laminar flow around a circular cylinder. Two SP controls are explored: wall actuation (blowing/suction) and wall deformation. Decomposing the eigenvalue variation, we find that the 3D contribution (from the SP 1st-order flow modification) is generally larger than the 2D one from the mean flow correction (spanwise-invariant 2nd-order flow modification). The optimal control for stabilization is top-down symmetric, leading to varicose streaks in the wake. Analyzing the competition between amplification and stabilization shows that optimal varicose streaks are not significantly more amplified than sinuous ones but have a stronger stabilizing effect. The optimal wall deformation induces a flow modification similar to that of the optimal wall actuation. In general, spanwise and tangential actuation have a small contribution to the optimal control, so normal-only actuation is a good trade-off between simplicity and effectiveness. Our method opens the way to the systematic design of optimal SP control for a variety of control objectives other than linear stability.


title: Large $N$ twisted partition functions in 3d-3d correspondence and Holography

abstract: We study the large $N$ limit of twisted partition functions on $\mathcal{M}_{g,p}$, the $S^1$ bundle of degree $p$ over a Riemann surface of genus $g$, for 3D $\mathcal{N}=2$ superconformal field theories arising as low-energy limit of wrapped $N$ M5-branes on hyperbolic 3-manifold $M$. We study contributions from two Bethe vacua which correspond to two canonical irreducible $SL(N, \mathbb{C})$ flat connections on $M$ via 3D-3D correspondence. Using mathematical results on perturbtaive Chern-Simons invariants around the flat connections, we find universal expressions for the large $N$ twisted partition functions contributed from the two Bethe vacua in term of the hyperbolic volume of $M$. The two large $N$ partition functions perfectly match the on-shell actions for two Bolt-type solutions in the holographic dual $AdS_4$ gravity respectively.


title: Dark energy with zero pressure: Accelerated expansion and large scale structure in action-dependent Lagrangian theories

abstract: We develop a cosmological model based on action-dependent Lagrangian theories. The main feature here is the nonconservation of the energy momentum tensor due to the nontrivial geometrical construction of the theory. We provide the basic set of equations necessary to study both the cosmological background expansion as well as the linear matter perturbation growth. We show that the simplest realization of the Universe as described by only one component is not viable as expected from the existing correspondence between this model and the case of viscous cosmological fluids. However, modeling the energy content of the Universe as composed by two pressureless fluids, i.e., one a typical cold dark matter fluid and the other a pressureless dark energy fluid which is responsible for driving the late-time acceleration expansion, is qualitatively compatible with observational data.


title: Boosting quantum machine learning models with multi-level combination technique: Pople diagrams revisited

abstract: Inspired by Pople diagrams popular in quantum chemistry, we introduce a hierarchical scheme, based on the multi-level combination (C) technique, to combine various levels of approximations made when calculating molecular energies within quantum chemistry. When combined with quantum machine learning (QML) models, the resulting CQML model is a generalized unified recursive kernel ridge regression which exploits correlations implicitly encoded in training data comprised of multiple levels in multiple dimensions. Here, we have investigated up to three dimensions: Chemical space, basis set, and electron correlation treatment. Numerical results have been obtained for atomization energies of a set of $\sim$7'000 organic molecules with up to 7 atoms (not counting hydrogens) containing CHONFClS, as well as for $\sim$6'000 constitutional isomers of C$_7$H$_{10}$O$_2$. CQML learning curves for atomization energies suggest a dramatic reduction in necessary training samples calculated with the most accurate and costly method. In order to generate milli-second estimates of CCSD(T)/cc-pvdz atomization energies with prediction errors reaching chemical accuracy ($\sim$1 kcal/mol), the CQML model requires only $\sim$100 training instances at CCSD(T)/cc-pvdz level, rather than thousands within conventional QML, while more training molecules are required at lower levels. Our results suggest a possibly favourable trade-off between various hierarchical approximations whose computational cost scales differently with electron number.


title: Steiner Point Removal with distortion $O(\log k)$, using the Noisy-Voronoi algorithm

abstract: In the Steiner Point Removal (SPR) problem, we are given a weighted graph $G=(V,E)$ and a set of terminals $K\subset V$ of size $k$. The objective is to find a minor $M$ of $G$ with only the terminals as its vertex set, such that distances between the terminals will be preserved up to a small multiplicative distortion. Kamma, Krauthgamer and Nguyen [SICOMP2015] devised a ball-growing algorithm with exponential distributions to show that the distortion is at most $O(\log^5 k)$. Cheung [SODA2018] improved the analysis of the same algorithm, bounding the distortion by $O(\log^2 k)$. We devise a novel and simpler algorithm (called the Noisy Voronoi algorithm) which incurs distortion $O(\log k)$. This algorithm can be implemented in almost linear time ($O(|E|\log |V|)$).


title: A star-forming dwarf galaxy candidate in the halo of NGC 4634

abstract: The halos of disk galaxies form a crucial connection between the galaxy disk and the intergalactic medium. Massive stars, HII regions, or dwarf galaxies located in the halos of galaxies are potential tracers of recent accretion and/or outflows of gas, and are additional contributors to the photon field and the gas phase metallicity. We investigate the nature and origin of a star-forming dwarf galaxy candidate located in the halo of the edge-on Virgo galaxy NGC 4634 with a projected distance of 1.4 kpc and a H$\alpha$ star formation rate of $\sim 4.7 \times 10^{-3} \text{M}_\odot \text{yr}^{-1}$ in order to increase our understanding of these disk-halo processes. With optical long-slit spectra we measured fluxes of optical nebula emission lines to derive the oxygen abundance 12 + log(O/H) of an HII region in the disk of NGC 4634 and in the star-forming dwarf galaxy candidate. Abundances derived from optical long-slit data and from Hubble Space Telescope (HST) r-band data, H$\alpha$ data, Giant Metrewave Radio Telescope (GMRT) HI data, and photometry of SDSS and GALEX data were used for further analysis. With additional probes of the luminosity-metallicity relation in the $B$-band from the H$\alpha$-luminosity, the HI map, and the relative velocities, we are able to constrain a possible origin of the dwarf galaxy candidate. The high oxygen abundance (12 + log(O/H) $\approx$ 8.72) of the dwarf galaxy candidate leads to the conclusion that it was formed from pre-enriched material. Analysis of auxiliary data shows that the dwarf galaxy candidate is composed of material originating from NGC 4634. We cannot determine whether this material has been ejected tidally or through other processes, which makes the system highly interesting for follow up observations.


title: Quantum to classical transition in an information ratchet

abstract: Recent years have seen a flurry of research activity in the study of minimal and autonomous information ratchets. However, the existing classical and quantum models are somewhat hard to compare, and, hence, quantifying possible quantum supremacy in information ratchets has been elusive. We propose a first step towards filling this void between quantum and classical ratchets by introducing a new model with continuous variables -- a quantum particle in a box coupled to a stream of qubits. The dynamics is solved exactly, and we analyze the quantum to classical transition in terms of a natural time scale parameter for the model.


title: New error bounds for Boole's rule

abstract: In recent years, a lot of research was devoted to Simpson's rule for numerical integration. In the paper we study a natural successor of Simpson's rule, namely the Boole's rule. It is the Newton-Cotes formula in the case where the interval of integration is divided into four subintervals of equal length. With computer software assistance, we prove novel error bounds for Boole's rule.


title: Extremal Norms for Fiber Bunched Cocycles

abstract: In traditional Ergodic Optimization, one seeks to maximize Birkhoff averages. The most useful tool in this area is the celebrated Ma\~n\'e Lemma, in its various forms. In this paper, we prove a non-commutative Ma\~n\'e Lemma, suited to the problem of maximization of Lyapunov exponents of linear cocycles or, more generally, vector bundle automorphisms. More precisely, we provide conditions that ensure the existence of an extremal norm, that is, a Finsler norm with respect to which no vector can be expanded in a single iterate by a factor bigger than the maximal asymptotic expansion rate. These conditions are essentially irreducibility and sufficiently strong fiber bunching. Therefore we extend the classic concept of Barabanov norm, which is used in the study of the joint spectral radius. We obtain several consequences, including sufficient conditions for the existence of Lyapunov maximizing sets.


title: Bell Non-Locality in Macroscopic Systems

abstract: The categorization of quantum states for composite systems as either separable or entangled, or alternatively as Bell local or Bell non-local states based on local hidden variable theory is reviewed in Sections 1 and 2, focusing on simple bipartite systems. The significance of states demonstrating Bell non-locality for settling the long standing controversy between the Copenhagen interpretation of the quantum measurement process involving the collapse of the wave-function and the alternative interpretation based on pre-existing hidden variables is emphasized. Although experiments demonstrating violations of Bell locality in microscopic systems have now been carried out (see Section 3), there is current interest in finding Bell non-locality in quantum systems on a macroscopic scale, since this is a regime where a classical hidden variable theory might still apply. Progress towards finding macroscopic quantum states that violate Bell inequalities is reviewed in Section 4. A new test for Bell non-locality that applies when the sub-system measured quantities are spin components with large outcomes is described, and applied to four mode systems of identical massive bosons in Bose-Einstein condensates.


title: A note on $L^p_{w}(\nu,X,Y)$ spaces of vector-valued functions with respect to vector measures

abstract: In this work we introduce the spaces $L^p_{w}(\nu; X; Y)$ for the case where $\nu$ is a vector measure and the functions are vector-valued. We establish fundamental properties for such spaces.


title: Gelfand-Yaglom formula for functional determinants in higher dimensions

abstract: The Gelfand-Yaglom formula relates functional determinants of the one-dimensional second order differential operators to the solutions of the corresponding initial value problem. In this work we generalise the Gelfand-Yaglom method by considering discrete and continuum partial second order differential operators in higher dimensions. To illustrate our main result we apply the generalised formula to the two-dimensional massive and massless discrete Laplace operators and calculate asymptotic expressions for their determinants.

categories: math-ph cond-mat.stat-mech hep-th math.MP


title: Non-detection of Contamination by Stellar Activity in the Spitzer Transit Light Curves of TRAPPIST-1

abstract: We apply the transit light curve self-contamination technique of Morris et al. (2018) to search for the effect of stellar activity on the transits of the ultracool dwarf TRAPPIST-1 with 2018 Spitzer photometry. The self-contamination method fits the transit light curves of planets orbiting spotted stars, allowing the host star to be a source of contaminating positive or negative flux which influences the transit depths but not the ingress/egress durations. We find that none of the planets show statistically significant evidence for self-contamination by bright or dark regions of the stellar photosphere. However, we show that small-scale magnetic activity, analogous in size to the smallest sunspots, could still be lurking in the transit photometry undetected.


title: Electrically controlled crossover between $2\pi$- and $4\pi$-Josephson effects through topologically-confined channels in silicene

abstract: We propose a tunable topological Josephson junction in silicene where electrostatic gates could switch between a trivial and a topological junction. These aspects are a consequence of a tunable phase transition of the topologically confined valley-chiral states from a spin-degenerate to a spin-helical regime. We calculate the Andreev bound states in such a junction analytically using a low-energy approximation to the tight-binding model of silicene in proximity to s-wave superconductors as well as numerically in the short- and long-junction regime and in the presence of intervalley scattering. Combining topologically trivial and non-trivial regions, we show how intervalley scattering can be effectively switched on and off within the Josephson junction. This constitutes a topological Josephson junction with an electrically tunable quasiparticle poisoning source.


title: Assembling nanostructures from DNA using a composite nanotweezers with a shape memory effect

abstract: The article demonstrates a technique for fabricating a structure with the inclusion of suspended DNA threads and manipulating them using composite nanotweezers with shape memory effect. This technique could be suitable for stretching of nanothin DNA-like conductive threads and for measuring their electrical conductivity, including the I-V characteristic directly in the electron microscope chamber, where the nanotweezers provide a two-sided clamping of the DNA tip, giving a stable nanocontact to the DNA bundle. Such contact, as a part of 1D nanostructure, is more reliable during manipulations with nanothreads than traditional measurements when a nanothread is touched by a thin needle, for example, in a scanning tunnel microscope.


title: Adsorption of Water on Fluorinated Graphene

abstract: In this paper, we investigate the adsorption of water monomer on fluorinated graphene using state-of-the-art first principles methods within the framework of density functional theory (DFT). Four different methods are employed to describe the interactions between water and the carbon surface: The traditional DFT calculations within the generalized gradient approximation (GGA), and three types of calculations using respectively the semi-empirical DFT-D2method, the original van der Waals density functional (vdW-DF) method, and one of its variants. Compared with the adsorption on pristine graphene, the adsorption energies of water on fluorinated graphene are significantly increased, and the orientations of water diploe moment are notably changed. The most stable configuration is found to stay right above the top site of the C atom which is bonded with F, and the dipole moment of water molecule aligns spontaneously along the surface normal.


title: Density matrix for a consistent non-extensive thermodynamics

abstract: Starting with the average particle distribution function for bosons and fermions for non-extensive thermodynamics , as proposed in \cite{CMP}, we obtain the corresponding density matrix operators and hamiltonians. In particular, for the bosonic case the corresponding operators satisfy a deformed bosonic algebra and the hamiltonian involves interacting terms in powers of $a^{\dagger}_ja_j$ standard creation and annihilation operators. For the unnormalized density matrix we obtain a nonlinear equation that leads to a two-parameter solution relevant to anomalous diffusion phenomena.


title: Weighted extremal K\"ahler metrics and the Einstein-Maxwell geometry of projective bundles

abstract: We study the existence of weighted extremal K\"ahler metrics in the sense of Apostolov-Calderbank-Gauduchon-Legendre and Lahdili on the total space of an admissible projective bundle over a Hodge K\"ahler manifold of constant scalar curvature. Admissible projective bundles have been defined by Apostolov-Calderbank-Gauduchon-T{\o}nnesen-Friedman, and they include the projective line bundles (Hwang-Singer) and their blow-downs (Koiso-Sakane), thus providing a most general setting for extending the existence theory for extremal K\"ahler metrics pioneered by a seminal construction of Calabi. We obtain a general existence result for weighted extremal metrics on admissible manifolds, which yields many new examples of conformally K\"ahler, Einstein-Maxwell metrics of complex dimension $m>2$, thus extending the recent constructions of LeBrun and Koca-T{\o}nnesen-Friedman to higher dimensions. For each admissible K\"ahler class on an admissible projective bundle, we associate an explicit function of one variable and show that if it is positive on the interval $(-1,1)$, then there exists a weighted extremal K\"ahler metric in the given class, whereas if it is strictly negative somewhere in $(-1,1)$, there is no K\"ahler metrics of constant weighted scalar curvature in that class. We also relate the positivity of the function to a notion of weighted K-stability, thus establishing a Yau-Tian-Donaldson type correspondence for the existence of K\"ahler metrics of constant weighted scalar curvature in the rational admissible K\"ahler classes on an admissible projective bundle. Weighted extremal orthotoric metrics are examined in an appendix.


title: Highly Accelerated Multishot EPI through Synergistic Machine Learning and Joint Reconstruction

abstract: Purpose: To introduce a combined machine learning (ML) and physics-based image reconstruction framework that enables navigator-free, highly accelerated multishot echo planar imaging (msEPI), and demonstrate its application in high-resolution structural and diffusion imaging. Methods: Singleshot EPI is an efficient encoding technique, but does not lend itself well to high-resolution imaging due to severe distortion artifacts and blurring. While msEPI can mitigate these artifacts, high-quality msEPI has been elusive because of phase mismatch arising from shot-to-shot variations which preclude the combination of the multiple-shot data into a single image. We employ deep learning to obtain an interim image with minimal artifacts, which permits estimation of image phase variations due to shot-to-shot changes. These variations are then included in a Joint Virtual Coil Sensitivity Encoding (JVC-SENSE) reconstruction to utilize data from all shots and improve upon the ML solution. Results: Our combined ML + physics approach enabled Rinplane x MultiBand (MB) = 8x2-fold acceleration using 2 EPI-shots for multi-echo imaging, so that whole-brain T2 and T2* parameter maps could be derived from an 8.3 sec acquisition at 1x1x3mm3 resolution. This has also allowed high-resolution diffusion imaging with high geometric fidelity using 5-shots at Rinplane x MB = 9x2-fold acceleration. To make these possible, we extended the state-of-the-art MUSSELS reconstruction technique to Simultaneous MultiSlice (SMS) encoding and used it as an input to our ML network. Conclusion: Combination of ML and JVC-SENSE enabled navigator-free msEPI at higher accelerations than previously possible while using fewer shots, with reduced vulnerability to poor generalizability and poor acceptance of end-to-end ML approaches.


title: Separators for Planar Graphs that are Almost Trees

abstract: We prove that a connected planar graph with $n$ vertices and $n+\mu$ edges has a vertex separator of size $O( \sqrt{\mu} + 1)$, and this separator can be computed in linear time.


title: Eigenvalue Estimate of the Dirac operator and Rigidity of Poincare-Einstein Metrics

abstract: We re-visit the eigenvalue estimate of the Dirac operator on spin manifolds with boundary in terms of the first eigenvalues of conformal Laplace operator as well as the conformal mean curvature operator. These problems were studied earlier by Hijazi-Montiel-Zhang and Raulot and we re-prove them under weaker assumption that a boundary chirality operator exists. Moreover, on these spin manifolds with boundary, we show that any $C^{3,\alpha}$ conformal compactification of some Poincare-Einstein metric must be the standard hemisphere when the first nonzero eigenvalue of the Dirac operator achieves its lowest value, and any $C^{3,\alpha}$ conformal compactification of some Poincare-Einstein metric must be the flat ball in Euclidean space when the first positive eigenvalue of the boundary Dirac operator achieves certain value relating to the second Yamabe invariant.In two cases the Poincare-Einstein metrics are standard hyperbolic metric.


title: Stochastic unfolding of nanoconfined DNA: experiments, model and Bayesian analysis

abstract: Nanochannels provide means for detailed experiments on the effect of confinement on biomacromolecules, such as DNA. We here introduce a model for the complete unfolding of DNA from the circular to linear configuration. Two main ingredients are the entropic unfolding force as well as the friction coefficient for the unfolding process, and we describe the associated dynamics by a non-linear Langevin equation. By analyzing experimental data where DNA molecules are photo-cut and unfolded inside a nanochannel, our model allows us to extract values for the unfolding force as well as the friction coefficient for the first time. In order to extract numerical values for these physical quantities, we employ a recently introduced Bayesian inference framework. We find that the determined unfolding force is in agreement with estimates from a simple Flory type argument. The estimated friction coefficient is in agreement with theoretical estimates for motion of a cylinder in a channel. We further validate the estimated friction constant by extracting this parameter from DNA's center-of-mass motion before and after unfolding, yielding decent agreement.


title: Adsorption and Diffusion of F2 molecules on Pristine Graphene

abstract: The adsorption and diffusion of F2 molecules on pristine graphene have been studied using first-principles calculations. For the diffusion of F2 from molecular state in gas phase to the dissociative adsorption state on graphene surface, a kinetic barrier is identified, which explains the inertness of graphene in molecular F2 at room temperature, and its reactivity with F2 at higher temperatures. Studies on the diffusion of F2 molecules on graphene surface determine the energy barriers along the optimal diffusion pathways, which help to understand the high stability of fluorographene.


title: Discrete And Differentiable Entanglement Transformations

abstract: The study of transformations among pure states via Local Operations assisted by Classical Communication (LOCC) plays a central role in entanglement theory. The main emphasis of these investigations is on the deterministic, or probabilistic transformations between two states and mainly tools from linear algebra are employed. Here, we go one step beyond that and analyze all optimal protocols. We show that for all bipartite and almost all multipartite (of arbitrarily many d-level systems) pairs of states, there exist infinitely many optimal intermediate states to which the initial state can first be transformed (locally) before it is transformed to the final state. The success probability of this transformation is nevertheless optimal. We provide a simple characterization of all intermediate states. We generalize this concept to differentiable paths in Hilbert space that connect two states of interest. With the help of survival analysis we determine the success probability for the continuous transformation along such a path and derive necessary and sufficient conditions on the optimality. We show, in strong contrast to previous results on state transformations, that optimal paths are characterized as solutions of a differential equation. Whereas, for almost all pairs of states, there exist infinitely many optimal paths, we present examples of pairs of states for which not even a single optimal intermediate state exists. Furthermore, we introduce a physically motivated distance measure, the interconversion metric, and show that (generically) any minimal geodesic with respect to the interconversion metric is an optimal path. Moreover, we identify infinitely many easily computable entanglement monotones for generic multipartite pure states. We show that a given finite set of these entanglement monotones can be used to completely characterize the entanglement contained in a generic state.


title: A reanalysis of the Gaia Data Release 2 photometric sensitivity curves using HST/STIS spectrophotometry

abstract: CONTEXT: The second Gaia data release (DR2) took place on April 2018. DR2 included photometry for more than 1.3 10^9 sources in G, BP, and RP. Even though Gaia DR2 photometry is very precise, there are currently three alternative definitions of the sensitivity curves that show significative differences. AIMS: The aim of this paper is to improve the quality of the input calibration data to produce new compatible definitions of the three bands and to identify the reasons for the discrepancies between previous definitions. METHODS: We have searched the HST archive for STIS spectra with G430L+G750L data obtained with wide apertures and combined them with the CALSPEC library to produce a high quality SED library of 122 stars with a broad range of colors, including three very red stars. We have used it to compute new sensitivity curves for G, BP, and RP using a functional analytical formalism. RESULTS: The new curves are significantly better than the two previous attempts, REV and WEI. For G we confirm the existence of a systematic bias in magnitude and correct a color term present in REV. For BP we confirm the need to define two magnitude ranges with different sensitivity curves and measure the cut between them at G = 10.87 with a significant increase in precision. The new curves also fit the data better than either REV or WEI. For RP we obtain a sensitivity curve that better fits the STIS spectra and we find that the differences with previous attempts reside in a systematic effect between ground-based and HST spectral libraries. Additional evidence from color-color diagrams indicate that the new sensitivity curve is more accurate. Nevertheless, there is still room for improvement in the accuracy of the sensitivity curves because of the current dearth of good-quality red calibrators: adding more to the sample should be a priority before Gaia data release 3 takes place.


title: Positive 1-in-3-SAT admits a non-trivial Kernel

abstract: We illustrate the strength of Algebraic Methods, adapting Gaussian Elimination and Substitution to the problem of Exact Boolean Satisfiability. For 1-in-3 SAT with non-negated literals we are able to obtain considerably smaller equivalent instances of 0/1 Integer Programming restricted to Equality only. Both Gaussian Elimination and Substitution may be used in a processing step, followed by a type of brute-force approach on the kernel thus obtained. Our method shows that Positive instances of 1-in-3 SAT may be reduced to significantly smaller instances of I.P.E. in the following sense. Any such instance of $|V|$ variables and $|C|$ clauses can be polynomial-time reduced to an instance of 0/1 Integer Programming with Equality, of size at most $2/3|V|$ variables and at most $|C|$ clauses. We obtain an upper bound for the complexity of counting, $O(2\kappa r 2^{(1-\kappa) r})$ for number of variables $r$ and clauses to variables ratio $\kappa$. We proceed to define formally the notion of a non-trivial kernel, defining the problems considered as Constraint Satisfaction Problems. We conclude showing the methods presented here, giving a non-trivial kernel for positive 1-in-3 SAT, imply the existence of a non-trivial kernel for 1-in-3 SAT.


title: Backprop Evolution

abstract: The back-propagation algorithm is the cornerstone of deep learning. Despite its importance, few variations of the algorithm have been attempted. This work presents an approach to discover new variations of the back-propagation equation. We use a domain specific lan- guage to describe update equations as a list of primitive functions. An evolution-based method is used to discover new propagation rules that maximize the generalization per- formance after a few epochs of training. We find several update equations that can train faster with short training times than standard back-propagation, and perform similar as standard back-propagation at convergence.


title: Spatially encoded light for Large-alphabet Quantum Key Distribution

abstract: Most Quantum Key Distribution protocols use a two-dimensional basis such as HV polarization as first proposed by Bennett and Brassard in 1984. These protocols are consequently limited to a key generation density of 1 bit per photon. We increase this key density by encoding information in the transverse spatial displacement of the used photons. Employing this higher-dimensional Hilbert space together with modern single-photon-detecting cameras, we demonstrate a proof-of-principle large-alphabet Quantum Key Distribution experiment with 1024 symbols and a shared information between sender and receiver of 7 bit per photon.


title: Joint Frequency Reuse and Cache Optimization in Backhaul-Limited Small-Cell Wireless Networks

abstract: Caching at base stations (BSs) is a promising approach for supporting the tremendous traffic growth of content delivery over future small-cell wireless networks with limited backhaul. This paper considers exploiting spatial caching diversity (i.e., caching different subsets of popular content files at neighboring BSs) that can greatly improve the cache hit probability, thereby leading to a better overall system performance. A key issue in exploiting spatial caching diversity is that the cached content may not be located at the nearest BS, which means that to access such content, a user needs to overcome strong interference from the nearby BSs; this significantly limits the gain of spatial caching diversity. In this paper, we consider a joint design of frequency reuse and caching, such that the benefit of an improved cache hit probability induced by spatial caching diversity and the benefit of interference coordination induced by frequency reuse can be achieved simultaneously. We obtain a closed-form characterization of the approximate successful transmission probability for the proposed scheme and analyze the impact of key operating parameters on the performance. We design a low-complexity algorithm to optimize the frequency reuse factor and the cache storage allocation. Simulations show that the proposed scheme achieves a higher successful transmission probability than existing caching schemes.


title: FLUX: Progressive State Estimation Based on Zakai-type Distributed Ordinary Differential Equations

abstract: We propose a homotopy continuation method called FLUX for approximating complicated probability density functions. It is based on progressive processing for smoothly morphing a given density into the desired one. Distributed ordinary differential equations (DODEs) with an artificial time $\gamma \in [0,1]$ are derived for describing the evolution from the initial density to the desired final density. For a finite-dimensional parametrization, the DODEs are converted to a system of ordinary differential equations (SODEs), which are solved for $\gamma \in [0,1]$ and return the desired result for $\gamma=1$. This includes parametric representations such as Gaussians or Gaussian mixtures and nonparametric setups such as sample sets. In the latter case, we obtain a particle flow between the two densities along the artificial time. FLUX is applied to state estimation in stochastic nonlinear dynamic systems by gradual inclusion of measurement information. The proposed approximation method (1) is fast, (2) can be applied to arbitrary nonlinear systems and is not limited to additive noise, (3) allows for target densities that are only known at certain points, (4) does not require optimization, (5) does not require the solution of partial differential equations, and (6) works with standard procedures for solving SODEs. This manuscript is limited to the one-dimensional case and a fixed number of parameters during the progression. Future extensions will include consideration of higher dimensions and on the fly adaption of the number of parameters.


title: Lattice Studies of Gerrymandering Strategies

abstract: We propose three novel gerrymandering algorithms which incorporate the spatial distribution of voters with the aim of constructing gerrymandered, equal-population, connected districts. Moreover, we develop lattice models of voter distributions, based on analogies to electrostatic potentials, in order to compare different gerrymandering strategies. Due to the probabilistic population fluctuations inherent to our voter models, Monte Carlo methods can be applied to the districts constructed via our gerrymandering algorithms. Through Monte Carlo studies we quantify the effectiveness of each of our gerrymandering algorithms and we also argue that gerrymandering strategies which do not include spatial data lead to (legally prohibited) highly disconnected districts. Of the three algorithms we propose, two are based on different strategies for packing opposition voters, and the third is a new approach to algorithmic gerrymandering based on genetic algorithms, which automatically guarantees that all districts are connected. Furthermore, we use our lattice voter model to examine the effectiveness of isoperimetric quotient tests and our results provide further quantitative support for implementing compactness tests in real-world political redistricting.


title: Lie-Poisson methods for isospectral flows

abstract: The theory of isospectral flows comprises a large class of continuous dynamical systems, particularly integrable systems and Lie--Poisson systems. Their discretization is a classical problem in numerical analysis. Preserving the spectra in the discrete flow requires the conservation of high order polynomials, which is hard to come by. Existing methods achieving this are complicated and usually fail to preserve the underlying Lie--Poisson structure. Here we present a class of numerical methods of arbitrary order for Hamiltonian and non-Hamiltonian isospectral flows, which preserve both the spectra and the Lie--Poisson structure. The methods are surprisingly simple, and avoid the use of constraints or exponential maps. Furthermore, due to preservation of the Lie--Poisson structure, they exhibit near conservation of the Hamiltonian function. As an illustration, we apply the methods to several classical isospectral flows.


title: The `Cosmic Seagull': a highly magnified disk-like galaxy at z~2.8 behind the Bullet Cluster

abstract: We present Atacama Large Millimeter/submillimeter Array measurements of the `Cosmic Seagull', a strongly magnified galaxy at z=2.7779 behind the Bullet Cluster. We report CO(3-2) and continuum 344~$\mu$m (rest-frame) data at one of the highest differential magnifications ever recorded at submillimeter wavelengths ($\mu$ up to ~50), facilitating a characterization of the kinematics of a rotational curve in great detail (at ~620 pc resolution in the source plane). We find no evidence for a decreasing rotation curve, from which we derive a dynamical mass of ($6.3\pm0.7)\times10^{10} M_{\odot}$ within $r = 2.6\pm0.1$ kpc. The discovery of a third, unpredicted, image provides key information for a future improvement of the lensing modeling of the Bullet Cluster and allows a measure of the stellar mass, $1.6^{+1.9}_{-0.86}\times10^{10} M_{\odot}$, unaffected by strong differential magnification. The baryonic mass is is expected to be dominated by the molecular gas content ($f_{gas} \leq 80 \pm 20$ \%) based on an $M_{H_2}$ mass estimated from the difference between dynamical and stellar masses. The star formation rate is estimated via the spectral energy distribution ($SFR = 190 \pm 10 M_{\odot}/yr$), implying a molecular gas depletion time of $0.25\pm0.08$ Gyr.


title: RF Positive Ion Source with Solenoidal Magnetic Field

abstract: A positive ion source with RF discharge in solenoidal magnetic field is described. In this paper we present an overview of positive ion production in saddle antenna (helicon discharge) radio frequency (SA RF) ion sources. The efficiency of H+ ion production in recently developed RF sources with solenoidal antennas was improved to 2.9 mA/kW. About 24 kW of RF power is typically needed for 70 mA beam current production from a 7 mm emission aperture. This efficiency is relatively low because in the RF discharge with a solenoidal antenna, the plasma is generated near the coil and diffuses to the axis creating a nearly uniform plasma density distribution in all cross sections of the discharge chamber, when the plasma flow is necessary only near an emission aperture. The efficiency of the extracted ion generation was improved significantly by using a saddle antenna with solenoidal magnetic field. In the RF discharge with the saddle antenna the plasma is generated near the axis and the magnetic field suppress the plasma diffusion from the axis, creating a peaked plasma density distribution on the emission aperture. With the SA the efficiency of positive ion generation in the plasma has been improved up to ~100 mA/cm2 per kW of RF power at 13.56 MHz. Continuous wave (CW) operation of the RF source has been tested on the small ORNL SNS test stand. The general design of the CW RF source is based on the pulsed version. A compact design of ion source is presented. Some modifications were made to improve the cooling and to simplify the design. Features of SA RF discharges and ion generation are discussed.


title: The alignment is in their stars: on the spin-alignment of stars in star clusters

abstract: We simulate star formation in two molecular clouds extracted from a larger disc-galaxy simulation with a spatial resolution of ~0.1 pc, one exiting a spiral arm dominated by compression, and another in an inter-arm region more strongly affected by galactic shear. Treating the stars as 'sink particles', we track their birth angular momentum, and the later evolution of their angular momentum due to gas accretion. We find that in both clouds, the sinks have spin vectors that are aligned with one another, and with the global angular momentum vector of the star cluster. This alignment is present at birth, but enhanced by later gas accretion. In the compressive cloud, the sink-spins remain aligned with the gas for at least a free fall time. By contrast, in the shear cloud, the increased turbulent mixing causes the sinks to rapidly misalign with their birth cloud on approximately a gas free-fall time. In spite of this, both clouds show a strong alignment of sink-spins at the end of our simulations, independently of environment.


title: Debunking Fake News One Feature at a Time

abstract: Identifying the stance of a news article body with respect to a certain headline is the first step to automated fake news detection. In this paper, we introduce a 2-stage ensemble model to solve the stance detection task. By using only hand-crafted features as input to a gradient boosting classifier, we are able to achieve a score of 9161.5 out of 11651.25 (78.63%) on the official Fake News Challenge (Stage 1) dataset. We identify the most useful features for detecting fake news and discuss how sampling techniques can be used to improve recall accuracy on a highly imbalanced dataset.


title: Superconducting coplanar microwave resonators with operating frequencies up to 50 GHz

abstract: We demonstrate the operation of superconducting coplanar microwave resonators in a very large frequency range up to 50 GHz. The resonators are fabricated from niobium thin films on sapphire substrates and optimized for these high frequencies by small chip sizes. We study numerous harmonics of the resonators at temperatures between 1.5 K and 6 K, and we determine quality factors of up to 25000 at 1.5 K. As an example for spectroscopy applications of such resonators we detect the superconducting transition of a bulk tin sample at multiple probing frequencies.


title: Convergence analysis of corner cutting algorithms refining points and refining nets of functions

abstract: In this paper we give an elementary proof of the convergence of corner cutting algorithms refining points, in case the corner cutting weights are taken from the rather general class of weights considered by Gregory and Qu (1996). We then use similar ideas, adapted to nets of functions, to prove the convergence of corner cutting algorithms refining nets of functions, in case the corner cutting weights are taken from a stricter class of weights than in the refinement of points.


title: Conductance of discrete bifurcated waveguides as three terminal junctions

abstract: An expression for the transmission matrix based conductance is provided for the propagation of scalar waves in certain bifurcated discrete waveguides using the paradigm of a three-terminal Landauer-Buttiker junction. It is found that the conductance across the terminals of bifurcated branches forming a sharp corner, interpreted as a controller of `leakage' flux, can be tuned by manipulating the number of channels and the type of lateral confinement. Natural applications in engineering and science arise in the context of nanoscale transport involving elastic, phononic, or electronic waves. In particular, the paper includes a discussion of temperature dependent thermal conductance, assuming only the contribution of out-of-plane phonons, along with some graphical illustrations.


title: The existence and uniqueness of almost periodic and asymptotically almost periodic solutions of semilinear Cauchy inclusions

abstract: The main aim of this paper is to investigate almost periodicity and asymptotic almost periodicity of abstract semilinear Cauchy inclusions of first order with (asymptotically) Stepanov almost periodic coefficients. To achieve our goal, we employ fixed point theorems and the well known results on the generation of infinitely differentiable degenerate semigroups with removable singularites at zero.


title: On minimal ideal triangulations of cusped hyperbolic 3-manifolds

abstract: Previous work of the authors studies minimal triangulations of closed 3-manifolds using a characterisation of low degree edges, embedded layered solid torus subcomplexes and 1-dimensional $\mathbb{Z}_2$-cohomology. The underlying blueprint is now used in the study of minimal ideal triangulations. As an application, it is shown that the monodromy ideal triangulations of the hyperbolic once-punctured torus bundles are minimal.


title: A Novel Disparity Transformation Algorithm for Road Segmentation

abstract: The disparity information provided by stereo cameras has enabled advanced driver assistance systems to estimate road area more accurately and effectively. In this paper, a novel disparity transformation algorithm is proposed to extract road areas from dense disparity maps by making the disparity value of the road pixels become similar. The transformation is achieved using two parameters: roll angle and fitted disparity value with respect to each row. To achieve a better processing efficiency, golden section search and dynamic programming are utilised to estimate the roll angle and the fitted disparity value, respectively. By performing a rotation around the estimated roll angle, the disparity distribution of each row becomes very compact. This further improves the accuracy of the road model estimation, as demonstrated by the various experimental results in this paper. Finally, the Otsu's thresholding method is applied to the transformed disparity map and the roads can be accurately segmented at pixel level.


title: On the Effect of Task-to-Worker Assignment in Distributed Computing Systems with Stragglers

abstract: We study the expected completion time of some recently proposed algorithms for distributed computing which redundantly assign computing tasks to multiple machines in order to tolerate a certain number of machine failures. We analytically show that not only the amount of redundancy but also the task-to-machine assignments affect the latency in a distributed system. We study systems with a fixed number of computing tasks that are split in possibly overlapping batches, and independent exponentially distributed machine service times. We show that, for such systems, the uniform replication of non- overlapping (disjoint) batches of computing tasks achieves the minimum expected computing time.


title: Nonadiabatic geometric quantum computation with parametrically tunable coupling

abstract: The nonadiabatic geometric quantum computation is promising as it is robust against certain types of local noises. However, its experimental implementation is challenging due to the need of complex control on multi-level and/or multiple quantum systems. Here, we propose to implement it on a two-dimensional square superconducting qubit lattice. In the construction of our geometric quantum gates, we only use the simplest and experimentally accessible control over the qubit states of the involved quantum systems, without introducing any auxiliary state. Specifically, our scheme is achieved by parametrically tunable all-resonant interaction, which leads to high-fidelity quantum gates. Meanwhile, this simple implementation can be conveniently generalized to a composite scenario, which can further suppress the systematic error during the gate operations. In addition, universal nonadiabatic geometric quantum gates in decoherence-free subspace can also be realized based on the tunable coupling between only two transmon qubits, without consulting to multiple qubits and only using two physical qubits to encode a logical qubit. Therefore, our proposal provides a promising way of high-fidelity geometric manipulation for robust solid-state quantum computation.


title: A high-resolution mosaic of the neutral hydrogen in the M81 triplet

abstract: We present a 3x3 degrees, 105-pointing, high-resolution neutral hydrogen (HI) mosaic of the M81 galaxy triplet (including the galaxies M81, M82 and NGC 3077, as well as dwarf galaxy NGC 2976) obtained with the Very Large Array (VLA) C and D arrays. This uniformly covers the entire area and velocity range of the triplet with a resolution of ~20'' or ~420 pc. The data reveal many small-scale anomalous velocity features highlighting the complexity of the interacting M81 triplet. We compare our data with Green Bank Telescope (GBT) observations of the same area. This provides evidence for a substantial reservoir of low-column density gas in the northern part of the triplet, probably associated with M82. Such a reservoir is not found in the southern part. We report a number of kpc-sized low-mass HI clouds with HI masses of a few times 10^6 Msun. Their dynamical masses are much larger than their baryonic masses, which could indicate the presence of dark matter if the clouds are rotationally supported. However, due to their spatial and kinematical association with HI tidal features, it is more likely that the velocity widths indicate tidal effects or streaming motions. We do not find any clouds not associated with tidal features down to an HI mass limit of a few times 10^4 Msun. We compare the HI column densities with resolved stellar density maps and find a star formation threshold around 3-6 10^20 cm-2$. We find that extreme velocity dispersions can be explained by a superposition of multiple components along the line of sight near M81 as well as winds or outflows around M82. The velocity dispersions found are high enough that these processes could explain the linewidths of Damped-Lyman-alpha absorbers observed at high redshift.


title: On divergent Series

abstract: This is the translation of Leonhard Euler's paper "De Seriebus divergentibus" written in Latin into English. Leonhard Euler defines and discusses divergent series. He is especially interested in the example $1!-2!+3!-\text{etc.}$ and uses different methods to sum it. He finds a value of about $0.59...$.


title: Heat balance integral methods applied to the one-phase Stefan problem with a convective boundary condition at the fixed face

abstract: In this paper we consider a one-dimensional one-phase Stefan problem corresponding to the solidification process of a semi-infinite material with a convective boundary condition at the fixed face. The exact solution of this problem, available recently in the literature, enable us to test the accuracy of the approximate solutions obtained by applying the classical technique of the heat balance integral method and the refined integral method, assuming a quadratic temperature profile in space. We develop variations of these methods which turn out to be optimal in some cases. Throughout this paper, a dimensionless analysis is carried out by using the parameters: Stefan number (Ste) and the generalized Biot number (Bi). In addition it is studied the case when Bi goes to infinity, recovering the approximate solutions when a Dirichlet condition is imposed at the fixed face. Some numerical simulations are provided in order to estimate the errors committed by each approach for the corresponding free boundary and temperature profiles.


title: G\^ateaux differentiability on non-separable Banach spaces

abstract: This paper deals with the extension of a classical theorem by R. Phelps on the G\^ateaux differentiability of Lipschitz functions on separable Banach spaces to the non-separable case. The extension of the theorem is not possible for general non-separable Banach spaces, as shown by Larman. Therefore, we will work on some important non-separable spaces. We consider a norm of the non-separable space $\ell^{\infty}(\mathbb{R})$, showing that it complies with the aforementioned theorem thesis. We also consider other examples as $L^{\infty}(\mathbb{R})$ and $NBV[a,b]$, showing in all cases their sets of $G$-differentiability and some properties of these sets. All of the above, closely following the assumptions in Phelps Theorem, which will extend in the case separable to functions with rank over the Asplund spaces and in the non-separable case for projective limits and locally-Lipschitz cylindrical functions.


title: ${\mathcal F}$-Hypercyclic and disjoint ${\mathcal F}$-hypercyclic properties of binary relations over topological spaces

abstract: In this paper, we examine various types of ${\mathcal F}$-hypercyclic (${\mathcal F}$-topologically transitive) and disjoint ${\mathcal F}$-hypercyclic (disjoint ${\mathcal F}$-topologically transitive) properties of binary relations over topological spaces. We pay special attention to finite structures like simple graphs, digraphs and tournaments, providing a great number of illustrative examples.


title: A question of Kuhnau

abstract: It is well known that the square is not a Strebel's point (i.e., its extremal Beltrami coefficient is not Teichmuller). Many years ago, Reiner Kuhnau posed the question: does there exist in the case of a "long" rectangle the corresponding holomorphic quadratic differential? We prove that the answer is negative for any bounded convex quadrilateral and establish a stronger result for rectangles.


title: Bayesian photometric redshifts of blended sources

abstract: Photometric redshifts are necessary for enabling large-scale multicolour galaxy surveys to interpret their data and constrain cosmological parameters. While the increased depth of future surveys such as the Large Synoptic Survey Telescope (LSST) will produce higher precision constraints, it will also increase the fraction of sources that are blended. In this paper, we present a Bayesian photometric redshift method for blended sources with an arbitrary number of intrinsic components. This method generalises existing template-based Bayesian photometric redshift (BPZ) methods, and produces joint posterior distributions for the component redshifts that allow uncertainties to be propagated in a principled way. Using Bayesian model comparison, we infer the probability that a source is blended and the number of components that it contains. We extend our formalism to the case where sources are blended in some bands and resolved in others. Applying this to the combination of LSST- and Euclid-like surveys, we find that the addition of resolved photometry results in a significant improvement in the reduction of outliers over the fully-blended case. We make available blendz, a Python implementation of our method.


title: Evidence of a resonant structure in the $e^+e^-\to \pi^+D^0D^{*-}$ cross section between 4.05 and 4.60 GeV

abstract: The cross section of the process $e^+e^-\to \pi^+D^0D^{*-}$ for center-of-mass energies from 4.05 to 4.60~GeV is measured precisely using data samples collected with the BESIII detector operating at the BEPCII storage ring. Two enhancements are clearly visible in the cross section around 4.23 and 4.40~GeV. Using several models to describe the dressed cross section yields stable parameters for the first enhancement, which has a mass of $4228.6 \pm 4.1 \pm 6.3 \un{MeV}/c^2$ and a width of $77.0 \pm 6.8 \pm 6.3 \un{MeV}$, where the first uncertainties are statistical and the second ones are systematic. Our resonant mass is consistent with previous observations of the $Y(4220)$ state and the theoretical prediction of a $D\bar{D}_1(2420)$ molecule. This result is the first observation of $Y(4220)$ associated with an open-charm final state. Fits with three resonance functions with additional $Y(4260)$, $Y(4320)$, $Y(4360)$, $\psi(4415)$, or a new resonance, do not show significant contributions from either of these resonances. The second enhancement is not from a single known resonance. It could contain contributions from $\psi(4415)$ and other resonances, and a detailed amplitude analysis is required to better understand this enhancement.


title: Pattern Recognition Approach to Violin Shapes of MIMO database

abstract: Since the landmarks established by the Cremonese school in the 16th century, the history of violin design has been marked by experimentation. While great effort has been invested since the early 19th century by the scientific community on researching violin acoustics, substantially less attention has been given to the statistical characterization of how the violin shape evolved over time. In this paper we study the morphology of violins retrieved from the Musical Instrument Museums Online (MIMO) database -- the largest freely accessible platform providing information about instruments held in public museums. From the violin images, we derive a set of measurements that reflect relevant geometrical features of the instruments. The application of Principal Component Analysis (PCA) uncovered similarities between violin makers and their respective copyists, as well as among luthiers belonging to the same family lineage, in the context of historical narrative. Combined with a time-windowed approach, thin plate splines visualizations revealed that the average violin outline has remained mostly stable over time, not adhering to any particular trends of design across different periods in music history.


title: A Gap Principle for Subvarieties with Finitely Many Periodic Points

abstract: Let $f:X\rightarrow X$ be a quasi-finite endomorphism of an algebraic variety $X$ defined over a number field $K$ and fix an initial point $a\in X$. We consider a special case of the dynamical Mordell-Lang Conjecture, where the subvariety $V$ contains only finitely many periodic points and does not contain any positive-dimensional periodic subvariety. We show that the set $\{n\in \mathbb{N}~|~f^n(a) \in V \}$ satisfies a strong gap principle.


title: Relaxing and Restraining Queries for OBDA

abstract: In ontology-based data access (OBDA), ontologies have been successfully employed for querying possibly unstructured and incomplete data. In this paper, we advocate using ontologies not only to formulate queries and compute their answers, but also for modifying queries by relaxing or restraining them, so that they can retrieve either more or less answers over a given dataset. Towards this goal, we first illustrate that some domain knowledge that could be naturally leveraged in OBDA can be expressed using complex role inclusions (CRI). Queries over ontologies with CRI are not first-order (FO) rewritable in general. We propose an extension of DL-Lite with CRI, and show that conjunctive queries over ontologies in this extension are FO rewritable. Our main contribution is a set of rules to relax and restrain conjunctive queries (CQs). Firstly, we define rules that use the ontology to produce CQs that are relaxations/restrictions over any dataset. Secondly, we introduce a set of data-driven rules, that leverage patterns in the current dataset, to obtain more fine-grained relaxations and restrictions.


title: Multifractal Analysis of the Interstellar Medium. First application to Hi-GAL Observations

abstract: The multifractal geometry remains an under-exploited approach to describe and quantify the large-scale structure of interstellar clouds. In this paper, the typical tools of multifractal analysis are applied to Herschel far-infrared (70-500 $\mu$m) dust continuum maps, which represent an ideal case of study. This dust component is a relatively optically thin tracer at these wavelengths and the size in pixel of the maps is well suitable for this statistical analysis. We investigate the so-called multifractal spectrum and generalised fractal dimension of six Hi-GAL regions in the third Galactic quadrant. We measure systematic variations of the spectrum at increasing wavelength, which generally correspond to an increasing complexity of the image, and we observe peculiar behaviours of the investigated fields, strictly related to the presence of high-emission regions, which in turn are connected to star formation activity. The same analysis is applied to synthetic column density maps, generated from numerical turbulent molecular cloud models and from fractal Brownian motion (fBm), allowing for the confrontation of the observations with models with well controlled physical parameters. This comparison shows that, in terms of multifractal descriptors of the structure, fBm images exhibit a very different, quite unrealistic behaviour when compared with Hi-GAL observations, whereas the numerical simulations appear in some cases (depending on the specific model) more similar to the observations. Finally, the link between mono-fractal parameters (commonly found in the literature) and multifractal indicators is investigated: the former appear to be only partially connected with the latter, with the multifractal analysis offering a more extended and complete characterization of the cloud structure.


title: Transport studies in three-terminal microwave graphs with orthogonal, unitary, and symplectic symmetry

abstract: The Landauer-B\"uttiker formalism establishes an equivalence between the electrical conduction through a device, e.g., a quantum dot, and the transmission. Guided by this analogy we perform transmission measurements through three-port microwave graphs with orthogonal, unitary, and symplectic symmetry thus mimicking three-terminal voltage drop devices. One of the ports is placed as input and a second one as output, while a third port is used as a probe. Analytical predictions show good agreement with the measurements in the presence of orthogonal and unitary symmetries, provided that the absorption and the influence of the coupling port are taken into account. The symplectic symmetry is realized in specifically designed graphs mimicking spin 1/2 systems. Again a good agreement between experiment and theory is found. For the symplectic case the results are marginally sensitive to absorption and coupling strength of the port, in contrast to the orthogonal and unitary case.


title: Exotic matrix models: the Albert algebra and the spin factor

abstract: The matrix models attached to real symmetric matrices and the complex/quaternionic Hermitian matrices have been studied by many authors. These models correspond to three of the simple formally real Jordan algebras over R. Such algebras were classified by Jordan, von Neumann, and Wigner in the 30s, and apart from these three there are two others: (i) the spin factor L_{1,n}, an algebra built on R^{n+1}, and (ii) the Albert algebra A of 3 by 3 Hermitian matrices over the octonions. In this paper we investigate the matrix models attached to these remaining cases.


title: Convenient Partial Poisson Manifolds

abstract: We introduce the concept of partial Poisson structure on a manifold $M$ modelled on a convenient space. This is done by specifying a (weak) subbundle $T^{\prime}M$ of $T^{\ast}M$ and an antisymmetric morphism $P:T^{\prime}M\rightarrow TM$ such that the bracket $\{f,g\}_{P}=-<df,P(dg)>$ defines a Poisson bracket on the algebra $\mathcal{A}$ of smooth functions $f$ on $M$ whose differential $df$ induces a section of $T^{\prime}M$. In particular, to each such function $f\in\mathcal{A}$ is associated a hamiltonian vector field $P(df)$. This notion takes naturally place in the framework of infinite dimensional weak symplectic manifolds and Lie algebroids. After having defined this concept, we will illustrate it by a lot of natural examples. We will also consider the particular situations of direct (resp. projective) limits of such Banach structures. Finally, we will also give some results on the existence of (weak) symplectic foliations naturally associated to some particular partial Poisson structures.


title: Phase transitions and Wilson loops in antisymmetric representations in Chern-Simons-matter theory

abstract: We study the phase transitions of three-dimensional $\mathcal{N}=2$ $U(N)$ Chern-Simons theory on $\mathbb{S}^3$ with a varied number of massive fundamental hypermultiplets and with a Fayet-Iliopoulos parameter. We characterize the various phase diagrams in the decompactification limit, according to the number of different mass scales in the theory. For this, we extend the known solution of the saddle-point equations to the setting where the one cut solution is characterized by asymmetric intervals. We then study the large $N$ limit of Wilson loops in antisymmetric representations, with the additional scaling corresponding to the variation of the size of the representation. We give explicit expressions, both with and without FI terms, and study $1/R$ corrections for the different phases. These corrections break the perimeter law behavior, as they introduce a scaling with the size of the representation. We show how the phase transitions of the Wilson loops can either be of first or second order and determine the underlying mechanism in terms of the eventual asymmetry of the support of the solution of the saddle-point equation, at the critical points.


title: On the Solvability of Viewing Graphs

abstract: A set of fundamental matrices relating pairs of cameras in some configuration can be represented as edges of a "viewing graph". Whether or not these fundamental matrices are generically sufficient to recover the global camera configuration depends on the structure of this graph. We study characterizations of "solvable" viewing graphs and present several new results that can be applied to determine which pairs of views may be used to recover all camera parameters. We also discuss strategies for verifying the solvability of a graph computationally.


title: Moment of inertia of superconductors

abstract: We find that the bulk moment of inertia per unit volume of a metal becoming superconducting increases by the amount $m_e/(\pi r_c)$, with $m_e$ the bare electron mass and $r_c=e^2/m_e c^2$ the classical electron radius. This is because superfluid electrons acquire an intrinsic moment of inertia $m_e (2\lambda_L)^2$, with $\lambda_L$ the London penetration depth. As a consequence, we predict that when a rotating long cylinder becomes superconducting its angular velocity does not change, contrary to the prediction of conventional BCS-London theory that it will rotate faster. We explain the dynamics of magnetic field generation when a rotating normal metal becomes superconducting.


title: Tidal Deformabilities and Neutron Star Mergers

abstract: Finite size effects in a neutron star merger are manifested, at leading order, through the tidal deformabilities (Lambdas) of the stars. If strong first-order phase transitions do not exist within neutron stars, both neutron stars are described by the same equation of state, and their Lambdas are highly correlated through their masses even if the equation of state is unknown. If, however, a strong phase transition exists between the central densities of the two stars, so that the more massive star has a phase transition and the least massive star does not, this correlation will be weakened. In all cases, a minimum Lambda for each neutron star mass is imposed by causality, and a less conservative limit is imposed by the unitary gas constraint, both of which we compute. In order to make the best use of gravitational wave data from mergers, it is important to include the correlations relating the Lambdas and the masses as well as lower limits to the Lambdas as a function of mass. Focusing on the case without strong phase transitions, and for mergers where the chirp mass M_chirp<1.4M_sun, which is the case for all observed double neutron star systems where a total mass has been accurately measured, we show that the dimensionless Lambdas satisfy Lambda_1/Lambda_2= q^6, where q=M_2/M_1 is the binary mass ratio; $M$ is mass of each star, respectively. Moreover, they are bounded by q^{n_-}>Lambda_1/Lambda_2> q^{n_{0+}+qn_{1+}}, where n_-<n_{0+}+qn_{1+}; the parameters depend only on M_chirp, which is accurately determined from the gravitational-wave signal. We also provide analytic expressions for the wider bounds that exist in the case of a strong phase transition. We argue that bounded ranges for Lambda_1/Lambda_2, tuned to M_chirp, together with lower bounds to Lambda(M), will be more useful in gravitational waveform modeling than other suggested approaches.


title: Hard to Solve Instances of the Euclidean Traveling Salesman Problem

abstract: The well known $4/3$ conjecture states that the integrality ratio of the subtour LP is at most $4/3$ for metric Traveling Salesman instances. We present a family of Euclidean Traveling Salesman instances for which we prove that the integrality ratio of the subtour LP converges to $4/3$. These instances (using the rounded Euclidean norm) turn out to be hard to solve exactly with Concorde, the fastest existing exact TSP solver. For a 200 vertex instance from our family of Euclidean Traveling Salesman instances Concorde needs several days of CPU time. This is more than 1,000,000 times the runtime for a TSPLIB instance of similar size. Thus our new family of Euclidean Traveling Salesman instances may serve as new benchmark instances for TSP algorithms.


title: Cinematic Visualization of Multiresolution Data: Ytini for Adaptive Mesh Refinement in Houdini

abstract: We have entered the era of large multidimensional datasets represented by increasingly complex data structures. Current tools for scientific visualization are not optimized to efficiently and intuitively create cinematic production quality, time-evolving representations of numerical data for broad impact science communication via film, media, or journalism. To present such data in a cinematic environment, it is advantageous to develop methods that integrate these complex data structures into industry standard visual effects software packages, which provide a myriad of control features otherwise unavailable in traditional scientific visualization software. In this paper, we present the general methodology for the import and visualization of nested multiresolution datasets into commercially available visual effects software. We further provide a specific example of importing Adaptive Mesh Refinement data into the software Houdini. This paper builds on our previous work, which describes a method for using Houdini to visualize uniform Cartesian datasets. We summarize a tutorial available on the website www.ytini.com, which includes sample data downloads, Python code, and various other resources to simplify the process of importing and rendering multiresolution data.


title: Choose Your Neuron: Incorporating Domain Knowledge through Neuron-Importance

abstract: Individual neurons in convolutional neural networks supervised for image-level classification tasks have been shown to implicitly learn semantically meaningful concepts ranging from simple textures and shapes to whole or partial objects - forming a "dictionary" of concepts acquired through the learning process. In this work we introduce a simple, efficient zero-shot learning approach based on this observation. Our approach, which we call Neuron Importance-AwareWeight Transfer (NIWT), learns to map domain knowledge about novel "unseen" classes onto this dictionary of learned concepts and then optimizes for network parameters that can effectively combine these concepts - essentially learning classifiers by discovering and composing learned semantic concepts in deep networks. Our approach shows improvements over previous approaches on the CUBirds and AWA2 generalized zero-shot learning benchmarks. We demonstrate our approach on a diverse set of semantic inputs as external domain knowledge including attributes and natural language captions. Moreover by learning inverse mappings, NIWT can provide visual and textual explanations for the predictions made by the newly learned classifiers and provide neuron names. Our code is available at https://github.com/ramprs/neuron-importance-zsl.


title: A Novel Tactile Force Probe for Tissue Stiffness Classification

abstract: In this study, we have proposed a new type of tactile sensor that is capable of detecting the stiffness of soft objects. The sensor consists of a brass cylinder with an axial bore. An iron core can easily move inside the bore. Three peripheral bobbins were machined in the cylinder around which three coils have been wound. One of the coils was excited with an alternating current which caused a voltage to be induced in two other coils. A return spring was used to return the core to its initial position after it has been moved. The sensor was pressed against the surface of the object whose stiffness was going to be measured. The position of the core in this state was depended on the stiffness of the given object and the spring constant and was measured by measuring the change in the induced voltage in secondary coils. The proposed sensor was capable of measuring two contact parameters namely the applied force and the stiffness of the object. Using the data of this sensor, three different objects, made of polyurethane, silicon rubber and paraffin gel were discriminated. Thus, this sensor could be used in robot hands and minimally invasive surgery tools to improve their operation.


title: Uniform-Velocity Spacetime Crystals

abstract: We perform a comprehensive analysis of uniform-velocity bilayer spacetime crystals, combining concepts of conventional photonic crystallography and special relativity. Given that a spacetime crystal consists of a sequence of spacetime discontinuities, we do this by solving the following sequence of problems: 1) the spacetime interface, 2) the double spacetime interface, or spacetime slab, 3) the unbounded crystal, and 4) the truncated crystal. For these problems, we present the following respective new results: 1) an extension of the Stokes principle to spacetime interfaces, 2) an interference-based analysis of the interference phenomenology, 3) a quick linear approximation of the dispersion diagrams, a description of simultaneous wavenumber and frequency bandgaps, and 4) the explanation of the effects of different types of spacetime crystal truncations, and the corresponding scattering coefficients. This work may constitute the foundation for a virtually unlimited number of novel canonical spacetime media and metamaterial problems.


title: Stable, predictable and training-free operation of superconducting Bi-2212 Rutherford cable racetrack coils at the very high wire current density of more than 1000 A/mm2

abstract: High-temperature superconductors (HTS) could enable high-field magnets much stronger than is possible with Nb-Ti and Nb3Sn, but two key limiting factors have so far been the difficulty of achieving high critical current density in long-length conductors, especially in high-current cables, and the danger of quenches out of the superconducting into the normal state. Here we demonstrate stable, reliable and training-quench-free performance of Bi-2212 racetrack coils wound with a 17-strand Rutherford cable fabricated from wires made with nanospray Bi-2212 powder. These multifilament wires are now being delivered in single lengths of more than 1 km with a new record whole-wire critical current density up to 950 A/mm2 at 30 T at 4.2 K. These coils carried up to 8.6 kA while generating a peak field of 3.5 T at 4.2 K, at a wire current density of 1020 A/mm2. Quite different from the unpredictable training performance of Nb-Ti and Nb3Sn magnets, these Bi-2212 magnets showed no training quenches and entered the flux flow state in a stable manner before thermal runaway and quench occurred. Also quite different from Nb-Ti, Nb3Sn, and REBCO magnets for which localized thermal runaways occur at unpredictable locations, the quenches of Bi-2212 magnets consistently occurred in the high field regions over a conductor length greater than one meter. These characteristics make quench detection rather simple, enabling safe protection, and suggest a new paradigm of constructing quench-predictable superconducting magnets from Bi-2212, which is, like Nb-Ti and Nb3Sn, isotropic, round, multifilament, uniform over km lengths and suitable for Rutherford cable use but, unlike them, much more tolerant of the energy disturbances that often lead Nb-based superconducting magnets to premature quench and long training cycles.


title: Hybrid Two-Qubit Gate using Circuit QED System with Triple-Leg Stripline Resonator

abstract: We theoretically propose a circuit QED system implemented with triple-leg stripline resonator (TSR). Unlikely from linear stripline resonator, the fundamental intra-cavity microwave modes of the TSR are two-fold degenerate. When a superconducting qubit is placed near one of the TSR legs, one fundamental mode is directly coupled to the qubit, while the other one remains uncoupled. Our system closely resembles an optical cavity QED system, where an atom in a cavity couples only to the incident photon with a specific polarization by placing a polarization beamsplitter in front of the optical cavity. Using our circuit QED system, we have theoretically studied a two-qubit quantum gate operation in a hybrid qubit composed of flying microwave qubit and superconducting qubit. We have demonstrated that for the hybrid qubit, the quantum controlled phase flip (CPF) gate can be reliably implemented for the experimentally available set of parameters.


title: Case Study: Coordinating Among Multiple Semiotic Resources to Solve Complex Physics Problems

abstract: This work examines student meaning-making in undergraduate physics problem-solving. We use a social semiotic perspective to sketch a theoretical framework. The social semiotic approach focuses on all types of meaning-making practices that are accomplished through different semiotic modes that include visual, verbal (or aural), written and gestural modes and language, text, algebra, diagrams, sketches, graphs, body movements, signs, and gestures are examples for semiotic resources. We use the developed theoretical framework to investigate how semiotic resources might be combined to solve physics problems. Data for this study are drawn from an upper-division Electromagnetism I course and a student ("Larry") who is engaged in an individual oral exam. We identify the semiotic and conceptual resources that Larry uses. We use a resource graph representation to show Larry's coordination of resources in his problem solving activity. Larry's case exemplifies coordination between multiple semiotic resources with different disciplinary affordances to build up compound representations. Our analysis of this case illustrates a novel way of thinking about what it means to solve physics problems using semiotic resources.


title: Analysis of Numerical Algorithms for Computing Rapid Momentum Transfers between the Gas and Dust in Simulations of Circumstellar Disks

abstract: Approaches used in modern numerical simulations of the dynamics of dust and gas in circumstellar disks are tested. The gas and dust are treated like interpenetrating continuous media that can exchange momentum. A stiff coupling between the gas and dust phases is typical for such disks, with the dust stopping time much less than the characteristic dynamical time scale. This imposes high demands on the methods used to simulate the dust dynamics. A grid, piecewise-parabolic method is used as the basic algorithm for solving the gas-dynamical equations. Numerical solutions obtained using various methods to compute the momentum exchanges are presented for the case of monodisperse dust. Numerical solutions are obtained for shock tube problem and the propagation of sound waves in a gas-dust medium. The studied methods are compared in terms of their ability to model media with (a) an arbitrary (short or long) dust stopping time, and (b) an arbitrary dust concentration in the gas (varying the dust to gas mass ratio from 0.01 to 1). A method for computing the momentum exchange with infinite-order accuracy in time is identified, which makes it possible to satisfy the conditions (a) and (b) with minimal computational costs. A first-order method that shows similar results in the test computations is also presented. It is shown that the proposed first-order method for monodisperse dust can be extended to a regime when the dust is polydisperse; i.e., a regime represented by several fractions with different stopping times. Formulas for computing the gas and dust velocities for polydisperse dust with each fraction exchanging momentum with the gas are presented.


title: Additional Representations for Improving Synthetic Aperture Sonar Classification Using Convolutional Neural Networks

abstract: Object classification in synthetic aperture sonar (SAS) imagery is usually a data starved and class imbalanced problem. There are few objects of interest present among much benign seafloor. Despite these problems, current classification techniques discard a large portion of the collected SAS information. In particular, a beamformed SAS image, which we call a single-look complex (SLC) image, contains complex pixels composed of real and imaginary parts. For human consumption, the SLC is converted to a magnitude-phase representation and the phase information is discarded. Even more problematic, the magnitude information usually exhibits a large dynamic range (>80dB) and must be dynamic range compressed for human display. Often it is this dynamic range compressed representation, originally designed for human consumption, which is fed into a classifier. Consequently, the classification process is completely void of the phase information. In this work, we show improvements in classification performance using the phase information from the SLC as well as information from an alternate source: photographs. We perform statistical testing to demonstrate the validity of our results.


title: Perfect Isometries Between Blocks of Complex Reflection Groups

abstract: In this paper, we prove that, given any integers $d$, $e$, $r$ and $r'$, and a prime $p$ not dividing $de$, any two blocks of the complex reflection groups $G(de,e,r)$ and $G(de,e,r')$ with the same $p$-weight are perfectly isometric.


title: Parkinson's Disease Assessment from a Wrist-Worn Wearable Sensor in Free-Living Conditions: Deep Ensemble Learning and Visualization

abstract: Parkinson's Disease (PD) is characterized by disorders in motor function such as freezing of gait, rest tremor, rigidity, and slowed and hyposcaled movements. Medication with dopaminergic medication may alleviate those motor symptoms, however, side-effects may include uncontrolled movements, known as dyskinesia. In this paper, an automatic PD motor-state assessment in free-living conditions is proposed using an accelerometer in a wrist-worn wearable sensor. In particular, an ensemble of convolutional neural networks (CNNs) is applied to capture the large variability of daily-living activities and overcome the dissimilarity between training and test patients due to the inter-patient variability. In addition, class activation map (CAM), a visualization technique for CNNs, is applied for providing an interpretation of the results.


title: Random directions stochastic approximation with deterministic perturbations

abstract: We introduce deterministic perturbation schemes for the recently proposed random directions stochastic approximation (RDSA) [17], and propose new first-order and second-order algorithms. In the latter case, these are the first second-order algorithms to incorporate deterministic perturbations. We show that the gradient and/or Hessian estimates in the resulting algorithms with deterministic perturbations are asymptotically unbiased, so that the algorithms are provably convergent. Furthermore, we derive convergence rates to establish the superiority of the first-order and second-order algorithms, for the special case of a convex and quadratic optimization problem, respectively. Numerical experiments are used to validate the theoretical results.


title: AGN feedback in the Phoenix cluster

abstract: Active galactic nuclei (AGN) release a huge amount of energy into the intracluster medium (ICM) with the consequence of offsetting cooling and star formation (AGN feedback) in the centers of cool core clusters. The Phoenix cluster is among the most massive clusters of galaxies known in the Universe. It hosts a powerful starburst of several hundreds of Solar masses per year and a large amount of molecular gas in the center. In this work we use the high-resolution Reflection Grating Spectrometer (RGS) on board XMM-Newton to study the X-ray emitting cool gas in the Phoenix cluster and heating-cooling balance. We detect for the first time evidence of O VIII and Fe XXI-XXII emission lines, the latter demonstrating the presence of gas below 2 keV. We find a cooling rate of 350 (-200,+250) Msun/year below 2 keV (at the 90% confidence level), which is consistent with the star formation rate in this object. This cooling rate is high enough to produce the molecular gas found in the filaments via instabilities during the buoyant rising time. The line broadening indicates that the turbulence (~ 300 km/s or less) is below the level required to produce and propagate the heat throughout the cool core. This provides a natural explanation to the coexistence of large amounts of cool gas, star formation and a powerful AGN in the core. The AGN activity may be either at a young stage or in a different feedback mode, due to a high accretion rate.


title: Distinguishing Black Hole Microstates using Holevo Information

abstract: We use the Holevo information in a two-dimensional conformal field theory (CFT) with a large central charge $c$ to distinguish microstates from the underlying thermal state. Holographically, the CFT microstates of a thermal state are dual to black hole microstate geometries in three-dimensional anti-de Sitter space. It was found recently that the holographic Holevo information shows plateau behaviors at both short and long interval regions. This indicates that the black hole microstates are indistinguishable from the thermal state by measuring over a small region, and perfectly distinguishable over a region with its size comparable to the whole system. In this letter, we demonstrate that the plateaus are lifted by including the $1/c$ corrections from both the vacuum and non-vacuum conformal families of CFT in either the canonical ensemble or microcanonical ensemble thermal state. Our results imply that the aforementioned indistinguishability and distinguishability of black hole microstate geometries from the underlying black hole are spoiled by higher order Newton constant $G_N$ corrections of quantum gravity.


title: Visualizing Convolutional Networks for MRI-based Diagnosis of Alzheimer's Disease

abstract: Visualizing and interpreting convolutional neural networks (CNNs) is an important task to increase trust in automatic medical decision making systems. In this study, we train a 3D CNN to detect Alzheimer's disease based on structural MRI scans of the brain. Then, we apply four different gradient-based and occlusion-based visualization methods that explain the network's classification decisions by highlighting relevant areas in the input image. We compare the methods qualitatively and quantitatively. We find that all four methods focus on brain regions known to be involved in Alzheimer's disease, such as inferior and middle temporal gyrus. While the occlusion-based methods focus more on specific regions, the gradient-based methods pick up distributed relevance patterns. Additionally, we find that the distribution of relevance varies across patients, with some having a stronger focus on the temporal lobe, whereas for others more cortical areas are relevant. In summary, we show that applying different visualization methods is important to understand the decisions of a CNN, a step that is crucial to increase clinical impact and trust in computer-based decision support systems.


title: Polynomial Equations over Octonion Algebras

abstract: In this paper we present a complete method for finding the roots of all polynomials of the form $\phi(z)=c_n z^n+c_{n-1} z^{n-1}+\dots+c_1 z+c_0$ over a given octonion division algebra. When $\phi(z)$ is monic we also consider the companion matrix and its left and right eigenvalues and study their relations to the roots of $\phi(z)$, showing that the right eigenvalues form the conjugacy classes of the roots of $\phi(z)$ and the left eigenvalues form a larger set than the roots of $\phi(z)$.


title: Helicity amplitudes in $B \to D^{*} \bar{\nu} l$ decay

abstract: We use a recent formalism of the weak hadronic reactions that maps the transition matrix elements at the quark level into hadronic matrix elements, evaluated with an elaborate angular momentum algebra that allows finally to write the weak matrix elements in terms of easy analytical formulas. In particular they appear explicitly for the different spin third components of the vector mesons involved. We extend the formalism to a general case, with the operator $\gamma^\mu -\alpha\gamma^\mu \gamma_5$, that can accommodate different models beyond the standard model and study in detail the $B \to D^{*} \bar{\nu} l$ reaction for the different helicities of the $D^*$. The results are shown for each amplitude in terms of the $\alpha$ parameter that is different for each model. We show that $\frac{d \Gamma}{d M_{\rm inv}^{(\nu l)}}$ is very different for the different components $M=\pm 1, 0$ and in particular the magnitude $\frac{d \Gamma}{d M_{\rm inv}^{(\nu l)}}|_{M=-1} -\frac{d \Gamma}{d M_{\rm inv}^{(\nu l)}}|_{M=+1} $ is very sensitive to the $\alpha$ parameter, which suggest to use this magnitude to test different models beyond the standard model. We also compare our results with the standard model and find very similar results, and practically identical at the end point of $M_{\rm inv}^{(\nu l)}= m_B- m_{D^*}$.


title: Dark Energy in the Swampland

abstract: In this Letter, we study the implications of string Swampland criteria for dark energy in view of ongoing and future cosmological observations. If string theory should be the ultimate quantum gravity theory, there is evidence that exact de Sitter solutions with a positive cosmological constant cannot describe the fate of the late-time universe. Even though cosmological models with dark energy given by a scalar field $\pi$ evolving in time are not in direct tension with string theory, they have to satisfy the Swampland criteria $|\Delta\pi|<d\sim\mathcal{O}(1)$ and $|V'|/V>c\sim\mathcal{O}(1)$, where $V$ is the scalar field potential. In view of the restrictive implications that the Swampland criteria have on dark energy, we investigate the accuracy needed for future observations to tightly constrain standard dark-energy models. We find that current 3-$\sigma$ constraints with $c \lesssim 1.35$ are still well in agreement with the string Swampland criteria. However, Stage-4 surveys such as Euclid, LSST and DESI, tightly constraining the equation of state $w(z)$, will start putting surviving quintessence models into tensions with the string Swampland criteria by demanding $c<0.4$. We further investigate whether any idealised futuristic survey will ever be able to give a decisive answer to the question whether the cosmological constant would be preferred over a time-evolving dark-energy model within the Swampland criteria. Hypothetical surveys with a reduction in the uncertainties by a factor of $\sim20$ compared to Euclid would be necessary to reveal strong tension between quintessence models obeying the string Swampland criteria and observations by pushing the allowed values down to $c<0.1$. In view of such perspectives, there will be fundamental observational limitations with future surveys.


title: Linear Properties of Generalized $n$-step Fibonacci Numbers

abstract: We present numerous interesting, mostly new, results involving the $n$-step Fibonacci numbers and $n$-step Lucas numbers and a generalization. Properties considered include recurrence relations, summation identities, including binomial and double binomial summation identities, partial sums and ordinary generating functions. Explicit examples are given for small $n$ values.


title: The mean square of the product of a Dirichlet $L$-function and a Dirichlet polynomial

abstract: We establish an analogue of a conjecture of Balasubramanian, Conrey, and Heath-Brown for the family of all Dirichlet characters with conductor up to $Q$. This forms another application of our work in developing an asymptotic large sieve.


title: An explicit formula for the inverse of a factorial Hankel matrix

abstract: We consider the $n\times n$ Hankel matrix $H$ whose entries are defined by $H_{ij}=1/s_{i+j}$ where $s_k=(k-1)!$ and prove that $H$ is invertible for all $n\in\mathbb{N}$ by providing an explicit formula for its inverse matrix.


title: Discrete gauge anomalies revisited

abstract: We revisit discrete gauge anomalies in chiral fermion theories in $3+1$ dimensions. We focus on the case that the full symmetry group of fermions is $\mathrm{Spin}(4)\times\mathbb{Z}_n$ or $(\mathrm{Spin}(4)\times\mathbb{Z}_{2m})/\mathbb{Z}_{2}$ with $\mathbb{Z}_2$ being the diagonal $\mathbb{Z}_2$ subgroup. The anomalies are determined by the consistency condition --- based on the Dai-Freed theorem --- of formulating a chiral fermion theory on a generic spacetime manifold with a structure associated with either one of the above symmetry groups and are represented by elements of some finite abelian groups. Accordingly, we give a reformulation of the anomaly cancellation conditions, and compare them with the previous result by Ib\'{a}\~{n}ez and Ross. The role of symmetry extensions in discrete symmetry anomalies is clarified in a formal fashion. We also study gapped states of fermion with an anomalous global $\mathbb{Z}_n$ symmetry, and present a model for constructing these states in the framework of weak coupling.


title: The Double Complex of a Blow-up

abstract: We compute the double complex of smooth complex-valued differential forms on projective bundles over and blow-ups of compact complex manifolds up to a suitable notion of quasi-isomorphism. This simultaneously yields formulas for 'all' cohomologies naturally associated with this complex (in particular, de-Rham, Dolbeault, Bott-Chern and Aeppli).


title: The Athena WFI Science Products Module

abstract: The Science Products Module (SPM), a US contribution to the Athena Wide Field Imager, is a highly capable secondary CPU that performs special processing on the science data stream. The SPM will have access to both accepted X-ray events and those that were rejected by the on-board event recognition processing. It will include two software modules. The Transient Analysis Module will perform on-board processing of the science images to identify and characterize variability of the prime target and/or detection of serendipitous transient X-ray sources in the field of view. The Background Analysis Module will perform more sophisticated flagging of potential background events as well as improved background characterization, making use of data that are not telemetered to the ground, to provide improved background maps and spectra. We present the preliminary design of the SPM hardware as well as a brief overview of the software algorithms under development.