title: Probabilistic Search for Structured Data via Probabilistic Programming and Nonparametric Bayes

abstract: Databases are widespread, yet extracting relevant data can be difficult. Without substantial domain knowledge, multivariate search queries often return sparse or uninformative results. This paper introduces an approach for searching structured data based on probabilistic programming and nonparametric Bayes. Users specify queries in a probabilistic language that combines standard SQL database search operators with an information theoretic ranking function called predictive relevance. Predictive relevance can be calculated by a fast sparse matrix algorithm based on posterior samples from CrossCat, a nonparametric Bayesian model for high-dimensional, heterogeneously-typed data tables. The result is a flexible search technique that applies to a broad class of information retrieval problems, which we integrate into BayesDB, a probabilistic programming platform for probabilistic data analysis. This paper demonstrates applications to databases of US colleges, global macroeconomic indicators of public health, and classic cars. We found that human evaluators often prefer the results from probabilistic search to results from a standard baseline.


title: sWSI: A Low-cost and Commercial-quality Whole Slide Imaging System on Android and iOS Smartphones

abstract: In this paper, scalable Whole Slide Imaging (sWSI), a novel high-throughput, cost-effective and robust whole slide imaging system on both Android and iOS platforms is introduced and analyzed. With sWSI, most mainstream smartphone connected to a optical eyepiece of any manually controlled microscope can be automatically controlled to capture sequences of mega-pixel fields of views that are synthesized into giga-pixel virtual slides. Remote servers carry out the majority of computation asynchronously to support clients running at satisfying frame rates without sacrificing image quality nor robustness. A typical 15x15mm sample can be digitized in 30 seconds with 4X or in 3 minutes with 10X object magnification, costing under $1. The virtual slide quality is considered comparable to existing high-end scanners thus satisfying for clinical usage by surveyed pathologies. The scan procedure with features such as supporting magnification up to 100x, recoding z-stacks, specimen-type-neutral and giving real-time feedback, is deemed work-flow-friendly and reliable.


title: Two- and three-body problem with Floquet-driven zero-range interactions

abstract: We study the two-body scattering problem in the zero-range approximation with a sinusoidally driven scattering length and calculate the relation between the mean value and amplitude of the drive for which the effective scattering amplitude is resonantly enhanced. In this manner we arrive at a family of curves along which the effective scattering length diverges but the nature of the corresponding Floquet-induced resonance changes from narrow to wide. Remarkably, on these curves the driving does not induce heating. In order to study the effect of these resonances on the three-body problem we consider one light and two heavy particles with driven heavy-light interaction in the Born-Oppenheimer approximation and find that the Floquet driving can be used to tune the three-body and inelasticity parameters.


title: Survey Research in Software Engineering: Problems and Strategies

abstract: Background: The need for empirical investigations in software engineering is growing. Many researchers nowadays, conduct and validate their solutions using empirical research. Survey is one empirical method which enables researchers to collect data from a large population. Main aim of the survey is to generalize the findings. Aims: In this study we aim to identify the problems researchers face during survey design, and mitigation strategies. Method: A literature review as well as semi-structured interviews with nine software engineering researchers were conducted to elicit their views on problems and mitigation strategies. The researchers are all focused on empirical software engineering. Results: We identified 24 problems and 65 strategies, structured according to the survey research process. The most commonly discussed problem was sampling, in particular the ability to obtain a sufficiently large sample. To improve survey instrument design, evaluation and execution recommendations for question formulation and survey pre-testing were given. The importance of involving multiple researchers in the analysis of survey results was stressed. Conclusions: The elicited problems and strategies may serve researchers during the design of their studies. However, it was observed that some strategies were conflicting. This shows that it is important to conduct a trade-off analysis between strategies.


title: Geometry of compact complex manifolds associated to generalized quasi-Fuchsian representations

abstract: We study the topology and geometry of compact complex manifolds associated to Anosov representations of surface groups and other hyperbolic groups in a complex semisimple Lie group $G$. These manifolds are obtained as quotients of the domains of discontinuity in generalized flag varieties $G/P$ constructed by Kapovich-Leeb-Porti (arXiv:1306.3837), and in some cases by Guichard-Wienhard (arXiv:1108.0733). For $G$-Fuchsian representations and their Anosov deformations, where $G$ is simple, we compute the homology of the domains of discontinuity and of the quotient manifolds. For $G$-Fuchsian and $G$-quasi-Fuchsian representations in simple $G$ of rank at least two, we show that the quotient manifolds are not K\"{a}hler. We also describe the Picard groups of these quotient manifolds, compute the cohomology of line bundles on them, and show that for $G$ of sufficiently large rank these manifolds admit nonconstant meromorphic functions. In a final section, we apply our topological results to several explicit families of domains and derive closed formulas for topological invariants in some cases. We also show that the quotient manifold for a $G$-Fuchsian representation in $\mathrm{PSL}_3(\mathbb{C})$ is a fiber bundle over a surface, and we conjecture that this holds for all simple $G$.


title: An alternative to the Allen-Cahn phase field model for interfaces in solids - numerical efficiency

abstract: The derivation of the Allen-Cahn and Cahn-Hilliard equations is based on the Clausius-Duhem inequality. This is not a derivation in the strict sense of the word, since other phase field equations can be fomulated satisfying this inequality. Motivated by the form of sharp interface problems, we formulate such an alternative equation and compare the properties of the models for the evolution of phase interfaces in solids, which consist of the elasticity equations and the Allen-Cahn equation or the alternative equation. We find that numerical simulations of phase interfaces with small interface energy based on the alternative model are more effective then simulations based on the Allen-Cahn model.


title: The closedness theorem over Henselian valued fields

abstract: We prove the closedness theorem over Henselian valued fields, which was established over rank one valued fields in one of our recent papers. In the proof, as before, we use the local behaviour of definable functions of one variable and the so-called fiber shrinking, which is a relaxed version of curve selection. Now our approach applies also relative quantifier elimination for ordered abelian groups due to Cluckers--Halupczok. Afterwards the closedness theorem will allow us to achieve i.a. the \L{}ojasiewicz inequality, curve selection and extending hereditarily rational functions as well as to develop the theory of regulous functions and sheaves.


title: Stein's method for nonconventional sums

abstract: We obtain almost optimal convergence rate in the central limit theorem for "nonconevntional" sums of the form $S_N=N^{-\frac12}\sum_{n=1}^N (F(\xi_n,\xi_{2n},...,\xi_{\ell n})-\bar F)$.


title: Fringe Analysis of Plane Trees Related to Cutting and Pruning

abstract: Rooted plane trees are reduced by four different operations on the fringe. The number of surviving nodes after reducing the tree repeatedly for a fixed number of times is asymptotically analyzed. The four different operations include cutting all or only the leftmost leaves or maximal paths. This generalizes the concept of pruning a tree. The results include exact expressions and asymptotic expansions for the expected value and the variance as well as central limit theorems.


title: Frequency doubling of temporally incoherent light from a superluminescent diode in a periodically poled lithium niobate waveguide crystal

abstract: The amplified spontaneous emission from a superluminescent diode was frequency doubled in a periodically poled lithium niobate waveguide crystal. The temporally incoherent radiation of such a superluminescent diode is characterized by a relatively broad spectral bandwidth and thermal-like photon statistics, as the measured degree of second order coherence, g$^{(2)}$(0)=1.9$\pm$0.1, indicates. Despite the non-optimized scenario in the spectral domain, we achieve six orders of magnitude higher conversion efficiency than previously reported with truly incoherent light. This is possible by using single spatial mode radiation and quasi phase matched material with a waveguide architecture. This work is a principle step towards efficient frequency conversion of temporally incoherent radiation in one spatial mode to access wavelengths where no radiation from superluminescent diodes is available, especially with tailored quasi phase matched crystals. The frequency doubled light might find use in applications and quantum optics experiments.


title: A search for passive protoplanetary disks in the Taurus-Auriga star-forming region

abstract: We conducted a 12-month monitoring campaign of 33 T Tauri stars (TTS) in Taurus. Our goal was to monitor objects that possess a disk but have a weak Halpha line, a common accretion tracer for young stars, to determine whether they host a passive circumstellar disk. We used medium-resolution optical spectroscopy to assess the objects' accretion status and to measure the Halpha line. We found no convincing example of passive disks; only transition disk and debris disk systems in our sample are non-accreting. Among accretors, we find no example of flickering accretion, leading to an upper limit of 2.2% on the duty cycle of accretion gaps assuming that all accreting TTS experience such events. Combining literature results with our observations, we find that the reliability of traditional Halpha-based criteria to test for accretion is high but imperfect, particularly for low-mass TTS. We find a significant correlation between stellar mass and the full width at 10 per cent of the peak (W10%) of the Halpha line that does not seem to be related to variations in free-fall velocity. Finally, our data reveal a positive correlation between the Halpha equivalent width and its W10%, indicative of a systematic modulation in the line profile whereby the high-velocity wings of the line are proportionally more enhanced than its core when the line luminosity increases. We argue that this supports the hypothesis that the mass accretion rate on the central star is correlated with the Halpha W10% through a common physical mechanism.


title: On a simple model of X_0(N)

abstract: We find plane models for all $X_0(N)$, $N\geq 2$. We observe a map from the modular curve $X_0(N)$ to the projective plane constructed using modular forms of weight $12$ for the group $\Gamma_0(N)$; the Ramanujan function $\Delta$, $\Delta(N\cdot)$ and the third power of Eisestein series of weight $4$, $E_4^3$, and prove that this map is birational equivalence for every $N\geq 2$. The equation of the model is the minimal polynomial of $\Delta(N\cdot)/\Delta$ over $\mathbb{C}(j)$.


title: The geometry of characters of Hopf algebras

abstract: Character groups of Hopf algebras appear in a variety of mathematical contexts such as non-commutative geometry, renormalisation of quantum field theory, numerical analysis and the theory of regularity structures for stochastic partial differential equations. In these applications, several species of "series expansions" can then be described as characters from a Hopf algebra to a commutative algebra. Examples include ordinary Taylor series, B-series, Chen-Fliess series from control theory and rough paths. In this note we explain and review the constructions for Lie group and topological structures for character groups. The main novel result of the present article is a Lie group structure for characters of graded and not necessarily connected Hopf algebras (under the assumption that the degree zero subalgebra is finite-dimensional). Further, we establish regularity (in the sense of Milnor) for these Lie groups.


title: On the canonical map of some surfaces isogenous to a product

abstract: We give new contributions to the existence problem of canonical surfaces of high degree. We construct several families (indeed, connected components of the moduli space) of surfaces $S$ of general type with $p_g=5,6$ whose canonical map has image $\Sigma$ of very high degree, $d=48$ for $p_g=5$, $d=56$ for $p_g=6$. And a connected component of the moduli space consisting of surfaces $S$ with $K^2_S = 40, p_g=4, q=0$ whose canonical map has always degree $\geq 2$, and, for the general surface, of degree $2$ onto a canonical surface $Y$ with $K^2_Y = 12, p_g=4, q=0$. The surfaces we consider are SIP 's, i.e. surfaces $S$ isogenous to a product of curves $(C_1 \times C_2 )/ G$; in our examples the group $G$ is elementary abelian, $G = (\mathbb{Z}/m)^k$. We also establish some basic results concerning the canonical maps of any surface isogenous to a product, basing on elementary representation theory.


title: On Resource-bounded versions of the van Lambalgen theorem

abstract: The van Lambalgen theorem is a surprising result in algorithmic information theory concerning the symmetry of relative randomness. It establishes that for any pair of infinite sequences $A$ and $B$, $B$ is Martin-L\"of random and $A$ is Martin-L\"of random relative to $B$ if and only if the interleaved sequence $A \uplus B$ is Martin-L\"of random. This implies that $A$ is relative random to $B$ if and only if $B$ is random relative to $A$ \cite{vanLambalgen}, \cite{Nies09}, \cite{HirschfeldtBook}. This paper studies the validity of this phenomenon for different notions of time-bounded relative randomness. We prove the classical van Lambalgen theorem using martingales and Kolmogorov compressibility. We establish the failure of relative randomness in these settings, for both time-bounded martingales and time-bounded Kolmogorov complexity. We adapt our classical proofs when applicable to the time-bounded setting, and construct counterexamples when they fail. The mode of failure of the theorem may depend on the notion of time-bounded randomness.


title: Probing the Hydrogen Enhanced Near-Field Emission of ITO without a Vacuum-Gap

abstract: Thermal fluctuations of charged particles, fluctuations akin to Brownian motion, can excite optical surface-states leading to the concept of the thermal near-field, which is a highly localized, and, therefore, evanescent optical density of states that exist at distances much less than the thermal emission wavelength. By tunneling the surface charge emitted photons into nearby waveguides, the thermally excitable near-field optical density of states can be enhanced, engineered, and efficiently extracted to the far-field for observation. With this technique, the plasmonic thermal near-field of a 10nm thick ITO film, known to have plasmonic activity in the 1500nm wavelength region, was probed under external illumination and by thermal excitation at 873K. The results confirm that waveguides provide a large density of optical channels with spatial overlap and k-vector matching to facilitate plasmon de-excitation in the near-field through photon tunneling for extraction into the far-field. Furthermore, it is shown that the thermal near-field can be observed without the introduction of a vacuum-gap, a feature unique to this particular method.


title: On the Optical-to-Silicate Extinction Ratio as a Probe of the Dust Size in Active Galactic Nuclei

abstract: Dust plays a central role in the unification theory of active galactic nuclei (AGNs). Whether the dust that forms the torus around an AGN is tenth-$\mu$m-sized like interstellar grains or much larger has a profound impact on correcting for the obscuration of the dust torus to recover the intrinsic spectrum and luminosity of the AGN. Here we show that the ratio of the optical extinction in the visual band ($A_V$) to the optical depth of the 9.7 $\mu$m silicate absorption feature ($\Delta\tau_{9.7}$) could potentially be an effective probe of the dust size. The anomalously lower ratio of $A_V/\Delta\tau_{9.7} \approx 5.5$ of AGNs compared to that of the Galactic diffuse interstellar medium of $A_V/\Delta\tau_{9.7} \approx 18$ reveals that the dust in AGN torus could be substantially larger than the interstellar grains of the Milky Way and of the Small Magellanic Cloud, and therefore, one might expect a flat extinction curve for AGNs.


title: Communication Complexity of Correlated Equilibrium in Two-Player Games

abstract: We show a communication complexity lower bound for finding a correlated equilibrium of a two-player game. More precisely, we define a two-player $N \times N$ game called the 2-cycle game and show that the randomized communication complexity of finding a 1/poly($N$)-approximate correlated equilibrium of the 2-cycle game is $\Omega(N)$. For small approximation values, this answers an open question of Babichenko and Rubinstein (STOC 2017). Our lower bound is obtained via a direct reduction from the unique set disjointness problem.


title: Betti splitting from a topological point of view

abstract: A Betti splitting $I=J+K$ of a monomial ideal $I$ ensures the recovery of the graded Betti numbers of $I$ starting from those of $J,K$ and $J \cap K$. In this paper, we introduce this condition for simplicial complexes, and, by using Alexander duality, we prove that it is equivalent to a recursive splitting conditions on links of some vertices. The adopted point of view enables for relating the existence of a Betti splitting for a simplicial complex $\Delta$ to the topological properties of $\Delta$. Among other results, we prove that orientability for a manifold without boundary is equivalent to admit a Betti splitting induced by the removal of a single facet. Taking advantage of this topological approach, we provide the first example in literature admitting Betti splitting but with characteristic-dependent resolution. Moreover, we introduce the notion of splitting probability, useful to deal with results concerning existence of Betti splitting.


title: Stabilizing strongly correlated photon fluids with non-Markovian reservoirs

abstract: We introduce a novel frequency-dependent incoherent pump scheme with a square-shaped spectrum as a way to study strongly correlated photons in arrays of coupled nonlinear resonators. This scheme can be implemented via a reservoir of population-inverted two-level emitters with a broad distribution of transition frequencies. Our proposal is predicted to stabilize a non-equilibrium steady state sharing important features with a zero-temperature equilibrium state with a tunable chemical potential. We confirm the efficiency of our proposal for the Bose-Hubbard model by computing numerically the steady state for finite system sizes: first, we predict the occurrence of a sequence of incompressible Mott-Insulator-like states with arbitrary integer densities presenting strong robustness against tunneling and losses. Secondly, for stronger tunneling amplitudes or non-integer densities, the system enters a coherent regime analogous to the superfluid state. In addition to an overall agreement with the zero-temperature equilibrium state, exotic non-equilibrium processes leading to a finite entropy generation are pointed out in specific regions of parameter space. The equilibrium ground state is shown to be recovered by adding frequency-dependent losses. The promise of this improved scheme in view of quantum simulation of the zero temperature many-body physics is highlighted.


title: Singlet scalar Dark matter in $U(1)_{B-L}$ models without right-handed neutrinos

abstract: We investigate the phenomenology of singlet scalar dark matter in a simple $B-L$ gauge extension of the Standard Model where the dark matter particle is charged under the $U(1)_{B-L}$ symmetry. The non-trivial gauge anomalies are cancelled with the introduction of three exotic fermions with $B-L$ charges as $-4,-4,5$, instead of right-handed neutrinos $\nu_{Ri}~(i=1,2,3)$ with $B-L=-1$ in conventional $U(1)_{B-L}$ model. Without the need of any ad-hoc discrete symmetry, the $B-L$ charge plays a crucial role in stabilizing the dark matter. We make a comprehensive study of dark matter phenomenology in the scalar and gauge portals separately. In the gauge-mediated regime, we invoke the LEP-II constraints and dilepton limits of ATLAS on the gauge parameters. A massless physical Goldstone plays a vital role in the scalar-portal dark matter observables, becomes a unique feature of the model. We show the mechanism of generating the light neutrino mass at one-loop level where the dark matter singlet runs in the loop. We shed light on the semi-annihilation and finally, we comment on indirect signals in this framework.


title: Upper bounds for the spectral function on homogeneous spaces via volume growth

abstract: We use spectral embeddings to give upper bounds on the spectral function of the Laplace--Beltrami operator on homogeneous spaces in terms of the volume growth of balls. In the case of compact manifolds, our bounds extend the 1980 lower bound of Peter Li for the smallest positive eigenvalue to all eigenvalues. We also improve Li's bound itself. Our bounds translate to explicit upper bounds on the heat kernel for both compact and noncompact homogeneous spaces.


title: An extension of Yuan's Lemma and its applications in optimization

abstract: We prove an extension of Yuan's Lemma to more than two matrices, as long as the set of matrices has rank at most 2. This is used to generalize the main result of [A. Baccari and A. Trad. On the classical necessary second-order optimality conditions in the presence of equality and inequality constraints. SIAM J. Opt., 15(2):394--408, 2005], where the classical necessary second-order optimality condition is proved under the assumption that the set of Lagrange multipliers is a bounded line segment. We prove the result under the more general assumption that the hessian of the Lagrangian evaluated at the vertices of the Lagrange multiplier set is a matrix set with at most rank 2. We apply the results to prove the classical second-order optimality condition to problems with quadratic constraints and without constant rank of the jacobian matrix.


title: A first-order Lagrangian theory of fields with arbitrary spin

abstract: The bundles suitable for a description of higher-spin fields can be built in terms of a 2-spinor bundle as the basic `building block'. This allows a clear, direct view of geometric constructions aimed at a theory of such fields on a curved spacetime. In particular, one recovers the Bargmann-Wigner equations and the $2(2j+1)$-dimensional representation of the angular-momentum algebra needed for the Joos-Weinberg equations. Looking for a first-order Lagrangian field theory we argue, through considerations related to the 2-spinor description of the Dirac map, that the needed bundle must be a fibered direct sum of a symmetric `main sector'--carrying an irreducible representation of the angular--momentum algebra|and an induced sequence of `ghost sectors'. Then one indeed gets a Lagrangian field theory that, at least formally, can be expressed in a way similar to the Dirac theory. In flat spacetime one gets plane-wave solutions that are characterised by their values in the main sector. Besides symmetric spinors, the above procedures can be adapted to anti-symmetric spinors and to Hermitian spinors (the latter describing integer-spin fields). Through natural decompositions, the case of a spin-2 field describing a possible deformation of the spacetime metric can be treated in terms of the previous results.


title: Competing spin density wave, collinear, and helical magnetism in Fe1+xTe

abstract: The Fe1+xTe phase diagram consists of two distinct magnetic structures with collinear order present at low interstitial iron concentrations and a helical phase at large values of x with these phases separated by a Lifshitz point. We use unpolarized single crystal diffraction to confirm the helical phase for large interstitial iron concentrations and polarized single crystal diffraction to demonstrate the collinear order for the iron deficient side of the Fe1+xTe phase diagram. Polarized neutron inelastic scattering show that the fluctuations associated with this collinear order are predominately transverse at low energy transfers, consistent with a localized magnetic moment picture. We then apply neutron inelastic scattering and polarization analysis to investigate the dynamics and structure near the boundary between collinear and helical order in the Fe1+xTe phase diagram. We first show that the phase separating collinear and helical order is characterized by a spin-density wave with a single propagation wave vector of (~ 0.45, 0, 0.5). We do not observe harmonics or the presence of a charge density wave. The magnetic fluctuations associated with this wavevector are different from the collinear phase being strongly longitudinal in nature and correlated anisotropically in the (H,K) plane. The excitations preserve the C4 symmetry of the lattice, but display different widths in momentum along the two tetragonal directions at low energy transfers. While the low energy excitations and minimal magnetic phase diagram can be understood in terms of localized interactions, we suggest that the presence of density wave phase implies the importance of electronic and orbital properties.


title: Multi-filter transit observations of HAT-P-3b and TrES-3b with multiple Northern Hemisphere telescopes

abstract: We present a photometric follow-up of transiting exoplanets HAT-P-3b and TrES-3b, observed by using several optical and near-infrared filters, with four small-class telescopes (D = 36--152cm) in the Northern Hemisphere. Two of the facilities present their first scientific results. New 10 HAT-P-3b light curves and new 26 TrES-3b light curves are reduced and combined by filter in order to improve the quality of the photometry. Combined light curves fitting is carried out independently by using two different analysis packages, allowing the corroboration of the orbital and physical parameters in the literature. Results find no differences in the relative radius with the observing filter. In particular, we report for HAT-P-3b a first estimation of the planet-to-star radius Rp/R* = 0.1112+0.0025-0.0026 in the B band which is coherent with values found in the VRIz'JH filters. Concerning TrES-3b, we derive a value for the orbital period of P = 1.3061862+-0.0000001 days which shows no linear variations over nine years of photometric observations.


title: Damped Posterior Linearization Filter

abstract: The iterated posterior linearization filter (IPLF) is an algorithm for Bayesian state estimation that performs the measurement update using iterative statistical regression. The main result behind IPLF is that the posterior approximation is more accurate when the statistical regression of measurement function is done in the posterior instead of the prior as is done in non-iterative Kalman filter extensions. In IPLF, each iteration in principle gives a better posterior estimate to obtain a better statistical regression and more accurate posterior estimate in the next iteration. However, IPLF may diverge. IPLF's fixed- points are not described as solutions to an optimization problem, which makes it challenging to improve its convergence properties. In this letter, we introduce a double-loop version of IPLF, where the inner loop computes the posterior mean using an optimization algorithm. Simulation results are presented to show that the proposed algorithm has better convergence than IPLF and its accuracy is similar to or better than other state-of-the-art algorithms.


title: An accurate calculation of the nucleon axial charge with lattice QCD

abstract: We report on a lattice QCD calculation of the nucleon axial charge, $g_A$, using M\"{o}bius Domain-Wall fermions solved on the dynamical $N_f=2+1+1$ HISQ ensembles after they are smeared using the gradient-flow algorithm. The calculation is performed with three pion masses, $m_\pi\sim\{310,220,130\}$ MeV. Three lattice spacings ($a\sim\{0.15,0.12,0.09\}$ fm) are used with the heaviest pion mass, while the coarsest two spacings are used on the middle pion mass and only the coarsest spacing is used with the near physical pion mass. On the $m_\pi\sim220$ MeV, $a\sim0.12$ fm point, a dedicated volume study is performed with $m_\pi L \sim \{3.22,4.29,5.36\}$. Using a new strategy motivated by the Feynman-Hellmann Theorem, we achieve a precise determination of $g_A$ with relatively low statistics, and demonstrable control over the excited state, continuum, infinite volume and chiral extrapolation systematic uncertainties, the latter of which remains the dominant uncertainty. Our final determination at 2.6\% total uncertainty is $g_A = 1.278(21)(26)$, with the first uncertainty including statistical and systematic uncertainties from fitting and the second including model selection systematics related to the chiral and continuum extrapolation. The largest reduction of the second uncertainty will come from a greater number of pion mass points as well as more precise lattice QCD results near the physical pion mass.


title: Remarks on special kinds of the relative log minimal model program

abstract: We prove $\mathbb{R}$-boundary divisor versions of results proved by Birkar or Hacon-Xu on special kinds of the relative log minimal model program.


title: Global dynamics of a periodic SEIRS model with general incidence rate

abstract: We consider a family of periodic SEIRS epidemic models with a fairly general incidence rate and it is shown the basic reproduction number determines the global dynamics of the models and it is a threshold parameter for persistence. Numerical simulations are per- formed to estimate the basic reproduction number and illustrate our analytical findings, using a nonlinear incidence rate.


title: A study of posture judgement on vehicles using wearable acceleration sensor

abstract: We study methods to estimate drivers' posture in vehicles using acceleration data of wearable sensor and conduct field tests. To prevent fatal accidents, demands for safety management of bus and taxi are high. However, acceleration of vehicles is added to wearable sensor in vehicles. Therefore, we study methods to estimate driving posture using acceleration data acquired from shirt type wearable sensor hitoe and conduct field tests.


title: The He${}_2^+$ molecular ion and the He${}^-$ atomic ion in strong magnetic fields

abstract: We study the question about existence i.e. stability with respect to dissociation of the spin-quartet, permutation- and reflection-symmetric ${}^4(-3)^+_g$ ($S_z=-3/2, M=-3$) state of the $(\alpha\alpha e e e)$ Coulomb system: the ${\rm He}_2^+$ molecular ion, placed in a magnetic field $0 \le B \le 10000$ a.u. We assume that the $\alpha$-particles are infinitely massive (Born-Oppenheimer approximation of zero order) and adopt the parallel configuration, when the molecular axis and the magnetic field direction coincide, as the optimal configuration. The study of the stability is performed variationally with a physically adequate trial function. To achieve this goal, we explore several Helium-contained compounds in strong magnetic fields, in particular, we study the spin-quartet ground state of ${\rm He}^-$ ion, and the ground (spin-triplet) state of the Helium atom, both for a magnetic field in $100 \leq B\leq 10000$ a.u. The main result is that the ${\rm He}_2^+$ molecular ion in the state ${}^4(-3)^+_g$ is stable towards all possible decay modes for magnetic fields $B \gtrsim 120$ a.u. and with the magnetic field increase the ion becomes more tightly bound and compact with a cigar-type form of electronic cloud. At $B=1000$ a.u., the dissociation energy of ${\rm He}_2^+$ into ${\rm He}^- + \alpha$ is $\sim 701.8$ eV and the dissociation energy for the decay channel to ${\rm He} + \alpha + e $ is $\sim 729.1$ eV, latter both energies are in the energy window for one of the observed absorption features of the isolated neutron star 1E1207.4-5209.


title: Along the sun-drenched roadside: On the interplay between urban street orientation entropy and the buildings' solar potential

abstract: We explore the relation between urban road network characteristics particularly circuitry, street orientation entropy and the city's topography on the one hand and the building's orientation entropy on the other in order to quantify their effect on the city's solar potential. These statistical measures of the road network reveal the interplay between the built environment's design and its sustainability.


abstract: New thickness and shape parameters for describing the thermal boundary layer formed by 2-D fluid flow along a heated (cooled) wall are presented. The parameters are based on probability distribution function methodology in which the thermal profile thickness and shape are described by central moments of the thermal profile. The moment based parameters are simple integrals of the temperature profile. The usefulness of the new method is demonstrated by applying the description to laminar and turbulent boundary layer datasets.


title: A companion on the planet/brown dwarf mass boundary on a wide orbit discovered by gravitational microlensing

abstract: We present the discovery of a substellar companion to the primary host lens in the microlensing event MOA-2012-BLG-006. The companion-to-host mass ratio is 0.016, corresponding to a companion mass of $\approx8~M_{\rm Jup} (M_*/0.5M_\odot)$. Thus, the companion is either a high-mass giant planet or a low-mass brown dwarf, depending on the mass of the primary $M_*$. The companion signal was separated from the peak of the primary event by a time that was as much as four times longer than the event timescale. We therefore infer a relatively large projected separation of the companion from its host of $\approx10~{\rm a.u.}(M_*/0.5M_\odot)^{1/2}$ for a wide range (3-7 kpc) of host star distances from the Earth. We also challenge a previous claim of a planetary companion to the lens star in microlensing event OGLE-2002-BLG-045.


title: Accidental Peccei-Quinn symmetry protected to arbitrary order

abstract: A $SU(N)_L\times SU(N)_R$ gauge theory for a scalar multiplet $Y$ transforming in the bi-fundamental representation $(N,\bar N)$ preserves, for $N>4$, an accidental $U(1)$ symmetry firstly broken at operator dimension $N$. Two configurations are possible for the vacuum expectation value of $Y$, which correspond to the (maximal) little groups $\mathcal{H}_s=SU(N)_{L+R}$ and $\mathcal{H}_h=SU(N-1)_L\times SU(N-1)_R\times U(1)_{L+R}$. In the first case the accidental $U(1)$ gets also broken, yielding a pseudo Nambu-Goldstone boson with mass suppression controlled by $N$, while in the second case a global $U(1)$ remains unbroken. The strong CP problem is solved by coupling $Y$ to new fermions carrying color. The first case allows for a Peccei-Quinn solution with $U(1)_{PQ}$ protected up to order $N$ by the gauge symmetry. In the second case $U(1)$ can get broken by condensates of the new strong dynamics, resulting in a composite axion. By coupling $Y$ to fermions carrying only weak isospin, models for axion-like particles can be constructed.


title: Kaluza-Klein Reduction of Low-Energy Effective Actions: Geometrical Approach

abstract: Equations of motion of low-energy string effective actions can be conveniently described in terms of generalized geometry and Levi-Civita connections on Courant algebroids. This approach is used to propose and prove a suitable version of the Kaluza-Klein-like reduction. Necessary geometrical tools are recalled.


title: A ${\bf 1.4}$ deg${\bf ^2}$ blind survey for CII], CIII] and CIV at ${\bf z\sim0.7-1.5}$. II: luminosity functions and cosmic average line ratios

abstract: Recently, the CIII] and CIV emission lines have been observed in galaxies in the early Universe ($z>5$), providing new ways to measure their redshift and study their stellar populations and AGN. We explore the first blind CII], CIII] and CIV survey ($z\sim0.68, 1.05, 1.53$, respectively) presented in Stroe et al. (2017). We derive luminosity functions (LF) and study properties of CII], CIII] and CIV line emitters through comparisons to the LFs of H$\alpha$ and Ly$\alpha$ emitters, UV selected star forming (SF) galaxies and quasars at similar redshifts. The CII] LF at $z\sim0.68$ is equally well described by a Schechter or a power-law LF, characteristic of a mixture of SF and AGN activity. The CIII] LF ($z\sim1.05$) is consistent to a scaled down version of the Schechter H$\alpha$ and Ly$\alpha$ LF at their redshift, indicating a SF origin. In stark contrast, the CIV LF at $z\sim1.53$ is well fit by a power-law, quasar-like LF. We find that the brightest UV sources ($M_{UV}<-22$) will universally have CIII] and CIV emission. However, on average, CIII] and CIV are not as abundant as H$\alpha$ or Ly$\alpha$ emitters at the same redshift, with cosmic average ratios of $\sim0.02-0.06$ to H$\alpha$ and $\sim0.01-0.1$ to intrinsic Ly$\alpha$. We predict that the CIII] and CIV lines can only be truly competitive in confirming high redshift candidates when the hosts are intrinsically bright and the effective Ly$\alpha$ escape fraction is below 1 per cent. While CIII] and CIV were proposed as good tracers of young, relatively low-metallicity galaxies typical of the early Universe, we find that, at least at $z\sim1.5$, CIV is exclusively hosted by AGN/quasars, especially at large line equivalent widths.


title: Emergent eigenstate solution and emergent Gibbs ensemble for expansion dynamics in optical lattices

abstract: Within the emergent eigenstate solution to quantum dynamics [Phys. Rev. X 7, 021012 (2017)], one can construct a local operator (an emergent Hamiltonian) of which the time-evolving state is an eigenstate. Here we show that such a solution exists for the expansion dynamics of Tonks-Girardeau gases in optical lattices after turning off power-law (e.g., harmonic or quartic) confining potentials, which are geometric quenches that do not involve the boost operator. For systems that are initially in the ground state and undergo dynamical fermionization during the expansion, we show that they remain in the ground state of the emergent local Hamiltonian at all times. On the other hand, for systems at nonzero initial temperatures, the expansion dynamics can be described constructing a Gibbs ensemble for the emergent local Hamiltonian (an emergent Gibbs ensemble).


title: Tidal heating and stellar irradiation of Hot Jupiters

abstract: We study the interaction between stellar irradiation and tidal heating in gaseous planets with short orbital periods. The intentionally simplified atmospheric model we employ makes the problem analytically tractable and permits the derivation of useful scaling relations. We show that many tidal models provide thermal feedback, producing interior radiative zones and leading to enhanced g-mode dissipation with a wide spectrum of resonances. These resonances are dynamically tuned by the thermal feedback, and so represent a novel form of thermomechanical feedback, coupling vibrational modes to the very slow thermal evolution of the planet. We then show that stellar irradiation allows the heat produced by these modes to be trapped at depth with high efficiency, leading to entropy increase in the central convective region, as well as expansion of the planet's radius sufficient to match observed swelling. We find that thermally driven winds play an essential role in this process by making the thermal structure of the atmosphere spherically symmetric within a few scale heights of the photosphere. We characterise the relationship between the swelling factor, the orbital period and the host star and determine the timescale for swelling. We show that these g-modes suffice to produce bloating on the order of the radius of the planet over $\mathrm{Gyr}$ timescales when combined with significant insolation and we provide analytic relations for the relative magnitudes of tidal heating and insolation.


title: 0.5 Petabyte Simulation of a 45-Qubit Quantum Circuit

abstract: Near-term quantum computers will soon reach sizes that are challenging to directly simulate, even when employing the most powerful supercomputers. Yet, the ability to simulate these early devices using classical computers is crucial for calibration, validation, and benchmarking. In order to make use of the full potential of systems featuring multi- and many-core processors, we use automatic code generation and optimization of compute kernels, which also enables performance portability. We apply a scheduling algorithm to quantum supremacy circuits in order to reduce the required communication and simulate a 45-qubit circuit on the Cori II supercomputer using 8,192 nodes and 0.5 petabytes of memory. To our knowledge, this constitutes the largest quantum circuit simulation to this date. Our highly-tuned kernels in combination with the reduced communication requirements allow an improvement in time-to-solution over state-of-the-art simulations by more than an order of magnitude at every scale.


title: Generalized Slow Roll in the Unified Effective Field Theory of Inflation

abstract: We provide a compact and unified treatment of power spectrum observables for the effective field theory (EFT) of inflation with the complete set of operators that lead to second-order equations of motion in metric perturbations in both space and time derivatives, including Horndeski and GLPV theories. We relate the EFT operators in ADM form to the four additional free functions of time in the scalar and tensor equations. Using the generalized slow roll formalism, we show that each power spectrum can be described by an integral over a single source that is a function of its respective sound horizon. With this correspondence, existing model independent constraints on the source function can be simply reinterpreted in the more general inflationary context. By expanding these sources around an optimized freeze-out epoch, we also provide characterizations of these spectra in terms of five slow-roll hierarchies whose leading order forms are compact and accurate as long as EFT coefficients vary only on timescales greater than an efold. We also clarify the relationship between the unitary gauge observables employed in the EFT and the comoving gauge observables of the post-inflationary universe.


title: Primordial Black Holes and $r$-Process Nucleosynthesis

abstract: We show that some or all of the inventory of $r$-process nucleosynthesis can be produced in interactions of primordial black holes (PBHs) with neutron stars (NSs) if PBHs with masses ${10}^{-14}\,{\rm M}_\odot < {\rm M}_{\rm PBH} < {10}^{-8}\,{\rm M}_\odot$ make up a few percent or more of the dark matter. A PBH captured by a neutron star (NS) sinks to the center of the NS and consumes it from the inside. When this occurs in a rotating millisecond-period NS, the resulting spin-up ejects $\sim 0.1-0.5\,{\rm M}_{\odot}$ of relatively cold neutron-rich material. This ejection process and the accompanying decompression and decay of nuclear matter can produce electromagnetic transients, such as a kilonova-type afterglow and fast radio bursts. These transients are not accompanied by significant gravitational radiation or neutrinos, allowing such events to be differentiated from compact object mergers occurring within the distance sensitivity limits of gravitational wave observatories. The PBH-NS destruction scenario is consistent with pulsar and NS statistics, the dark matter content and spatial distributions in the Galaxy and Ultra Faint Dwarfs (UFD), as well as with the $r$-process content and evolution histories in these sites. Ejected matter is heated by beta decay, which leads to emission of positrons in an amount consistent with the observed 511-keV line from the Galactic Center.

categories: astro-ph.HE astro-ph.CO astro-ph.GA hep-ph


title: Teaching methods are erroneous: approaches which lead to erroneous end-user computing

abstract: If spreadsheets are not erroneous then who, or what, is? Research has found that end-users are. If end-users are erroneous then why are they? Research has found that responsibility lies with human beings' fast and slow thinking modes and the inappropriate way they use them. If we are aware of this peculiarity of human thinking, then why do we not teach students how to train their brains? This is the main problem, this is the weakest link in the process: teaching. We have to make teachers realize that end-users are erroneous because of the erroneous teaching approaches to end-user computing. The proportion of fast and slow thinking modes is not constant, and teachers are mistaken when they apply the same proportion in both the teaching and end-user roles. Teachers should believe in the incremental nature of science and have high self-efficacy to make students understand and appreciate science. This is not currently the case in ICT and CS, and it is high time fundamental changes were introduced.


title: Theory of Cosmological Perturbations with Cuscuton

abstract: This paper presents the first derivation of the quadratic action for curvature perturbations, $\zeta$, within the framework of cuscuton gravity. We study the scalar cosmological perturbations sourced by a canonical single scalar field in the presence of cuscuton field. We identify $\zeta$ as comoving curvature with respect to the source field and we show that it retains its conservation characteristic on super horizon scales. The result provides an explicit proof that cuscuton modification of gravity around Friedmann-Lemaitre-Robertson-Walker (FLRW) metric is ghost free. We also investigate the potential development of other instabilities in cuscuton models. We find that in a large class of these models, there is no generic instability problem. However, depending on the details of slow-roll parameters, specific models may display gradient instabilities.


title: Compact Q-balls and Q-shells in the CPN type models

abstract: We show that the CPN model with odd number of scalar fields and V-shaped potential possesses finite energy compact solutions in the form of Q-balls and Q-shells. The solutions were obtained in 3+1 dimensions. Q-balls appears for N=1 and N=3 whereas Q-shells are present for higher odd values of N. We show that energy of these solutions behaves as E~|Q|^5/6, where Q is the Noether charge.


title: Satellite Image-based Localization via Learned Embeddings

abstract: We propose a vision-based method that localizes a ground vehicle using publicly available satellite imagery as the only prior knowledge of the environment. Our approach takes as input a sequence of ground-level images acquired by the vehicle as it navigates, and outputs an estimate of the vehicle's pose relative to a georeferenced satellite image. We overcome the significant viewpoint and appearance variations between the images through a neural multi-view model that learns location-discriminative embeddings in which ground-level images are matched with their corresponding satellite view of the scene. We use this learned function as an observation model in a filtering framework to maintain a distribution over the vehicle's pose. We evaluate our method on different benchmark datasets and demonstrate its ability localize ground-level images in environments novel relative to training, despite the challenges of significant viewpoint and appearance variations.


title: Non-Abelian black holes in string theory

abstract: We study a family of 5-dimensional non-Abelian black holes that can be obtained by adding an instanton field to the well-known D1D5W Abelian black holes. Naively, the non-Abelian fields seem to contribute to the black-hole entropy but not to the mass due to their rapid fall-off at spatial infinity. By uplifting the 5-dimensional supergravity solution to 10-dimensional Heterotic Supergravity first and then dualizing it into a Type-I Supergravity solution, we show that the non-Abelian fields are associated to D5-branes dissolved into the D9-branes (dual to the Heterotic "gauge 5-branes") and that their associated RR charge does not, in fact, contribute to the entropy, which only depends on the number16 pages of D-strings and D5 branes and the momentum along the D-strings, as in the Abelian case. These "dissolved" or "gauge" D5-branes do contribute to the mass in the expected form. The correct interpretation of the 5-dimensional charges in terms of the string-theory objects solves the non-Abelian hair puzzle, allowing for the microscopic accounting of the entropy. We discuss the validity of the solution when alpha prime corrections are taken into account.


title: MUFASA: The assembly of the red sequence

abstract: We examine the growth and evolution of quenched galaxies in the Mufasa cosmological hydrodynamic simulations that include an evolving halo mass-based quenching prescription, with galaxy colours computed accounting for line-of-sight extinction to individual star particles. Mufasa reproduces the observed present-day red sequence reasonably well, including its slope, amplitude, and scatter. In Mufasa, the red sequence slope is driven entirely by the steep stellar mass-stellar metallicity relation, which independently agrees with observations. High-mass star-forming galaxies blend smoothly onto the red sequence, indicating the lack of a well-defined green valley at M*>10^10.5 Mo. The most massive galaxies quench the earliest and then grow very little in mass via dry merging; they attain their high masses at earlier epochs when cold inflows more effectively penetrate hot halos. To higher redshifts, the red sequence becomes increasingly contaminated with massive dusty star-forming galaxies; UVJ selection subtly but effectively separates these populations. We then examine the evolution of the mass functions of central and satellite galaxies split into passive and star-forming via UVJ. Massive quenched systems show good agreement with observations out to z~2, despite not including a rapid early quenching mode associated with mergers. However, low-mass quenched galaxies are far too numerous at z<1 in Mufasa, indicating that Mufasa strongly over-quenches satellites. A challenge for hydrodynamic simulations is to devise a quenching model that produces enough early massive quenched galaxies and keeps them quenched to z=0, while not being so strong as to over-quench satellites; Mufasa's current scheme fails at the latter.


title: Characteristics of Spreadsheets Developed with the SSMI Methodology

abstract: The SSMI methodology was developed using concepts from Computer Science, Software Engineering and Information Systems and has been taught to undergraduate and MBA students and in Executive training seminars. In this paper, we describe the major characteristics of the spreadsheets developed using the methodology and show how they contribute to reduce many error causing factors.


title: DyVEDeep: Dynamic Variable Effort Deep Neural Networks

abstract: Deep Neural Networks (DNNs) have advanced the state-of-the-art in a variety of machine learning tasks and are deployed in increasing numbers of products and services. However, the computational requirements of training and evaluating large-scale DNNs are growing at a much faster pace than the capabilities of the underlying hardware platforms that they are executed upon. In this work, we propose Dynamic Variable Effort Deep Neural Networks (DyVEDeep) to reduce the computational requirements of DNNs during inference. Previous efforts propose specialized hardware implementations for DNNs, statically prune the network, or compress the weights. Complementary to these approaches, DyVEDeep is a dynamic approach that exploits the heterogeneity in the inputs to DNNs to improve their compute efficiency with comparable classification accuracy. DyVEDeep equips DNNs with dynamic effort mechanisms that, in the course of processing an input, identify how critical a group of computations are to classify the input. DyVEDeep dynamically focuses its compute effort only on the critical computa- tions, while skipping or approximating the rest. We propose 3 effort knobs that operate at different levels of granularity viz. neuron, feature and layer levels. We build DyVEDeep versions for 5 popular image recognition benchmarks - one for CIFAR-10 and four for ImageNet (AlexNet, OverFeat and VGG-16, weight-compressed AlexNet). Across all benchmarks, DyVEDeep achieves 2.1x-2.6x reduction in the number of scalar operations, which translates to 1.8x-2.3x performance improvement over a Caffe-based implementation, with < 0.5% loss in accuracy.


title: Model Hamiltonian and Time Reversal Breaking Topological Phases of Anti-ferromagnetic Half-Heusler Materials

abstract: In this work, we construct a generalized Kane model with a new coupling term between itinerant electron spins and local magnetic moments of anti-ferromagnetic ordering in order to describe the low energy effective physics in a large family of anti-ferromagnetic half-Heusler materials. Topological properties of this generalized Kane model is studied and a large variety of topological phases, including Dirac semimetal phase, Weyl semimetal phase, nodal line semimetal phase, type-B triple point semimetal phase, topological mirror (or glide) insulating phase and anti-ferromagnetic topological insulating phase, are identified in different parameter regions of our effective models. In particular, we find that the system is always driven into the anti-ferromagnetic topological insulator phase once a bulk band gap is open, irrespective of the magnetic moment direction, thus providing a robust realization of anti-ferromagentic topological insulators. Furthermore, we discuss the possible realization of these topological phases in realistic anti-ferromagnetic half-Heusler materials. Our effective model provides a basis for the future study of physical phenomena in this class of materials.


title: Massive MIMO Unlicensed: A New Approach to Dynamic Spectrum Access

abstract: Nowadays, the demand for wireless mobile services is copious, and will continue increasing in the near future. Mobile cellular operators are therefore looking at the unlicensed spectrum as an economical supplement to augment the capacity of their soon-to-be overloaded networks. The same unlicensed bands are luring internet service providers, venue owners, and authorities into autonomously setting up and managing their high-performance private networks. In light of this exciting future, ensuring coexistence between multiple unlicensed technologies becomes a pivotal issue. So far this issue has been merely addressed via inefficient sharing schemes based on intermittent transmission. In this article, we present the fundamentals and the main challenges behind massive MIMO unlicensed, a brand-new approach for technology coexistence in the unlicensed bands, which is envisioned to boost spectrum reuse for a plethora of use cases.


title: Iron Partitioning between Ferropericlase and Bridgmanite in the Earth's Lower Mantle

abstract: Earth's lower mantle is generally believed to be seismically and chemically homogeneous because most of the key seismic parameters can be explained using a simplified mineralogical model at expected press-temperature conditions. However, recent high-resolution tomographic images have revealed seismic and chemical stratification in the middle-to-lower parts of the lower mantle. Thus far, the mechanism for the compositional stratification and seismic inhomogeneity, especially their relationship with the speciation of iron in the lower mantle, remains poorly understood. We have built a complete and integrated thermodynamic model of iron and aluminum chemistry for lower mantle conditions, and from this model has emerged a stratified picture of the valence, spin and composition profile in the lower mantle. Within this picture the lower mantle has an upper region with Fe3+ enriched bridgmanite with high-spin ferropericlase and metallic Fe, and a lower region with low-spin, iron-enriched ferropericlase coexisting with iron-depleted bridgmanite and almost no metallic Fe. The transition between the regions occurs at a depth of around 1600km and is driven by the spin transition in ferropericlase, which significantly changes the iron partitioning and speciation to one that favors Fe2+ in ferropericlase and suppresses Fe3+ and metallic iron formation These changes lead to lowered bulk sound velocity by 3-4% around the mid-lower mantle and enhanced density by ~1% toward the lowermost mantle. The predicted chemically and seismically stratified lower mantle differs dramatically from the traditional homogeneous model.


title: Finite entanglement entropy and spectral dimension in quantum gravity

abstract: What are the conditions on a field theoretic model leading to a finite entanglement entropy density? We prove two very general results: 1) Ultraviolet finiteness of a theory does not guarantee finiteness of the entropy density; 2) If the spectral dimension of the spatial boundary across which the entropy is calculated is non-negative at all scales, then the entanglement entropy cannot be finite. These conclusions, which we verify in several examples, negatively affect all quantum-gravity models, since their spectral dimension is always positive. Possible ways out are considered, including abandoning the definition of the entanglement entropy in terms of the boundary return probability or admitting an analytic continuation (not a regularization) of the usual definition. In the second case, one can get a finite entanglement entropy density in multi-fractional theories and causal dynamical triangulations.


title: A Structured Approach to the development of Solutions in Excel

abstract: Spreadsheets offer a supremely successful democratisation platform, placing the manipulation and presentation of numbers within the grasp of users that have little or no mathematical expertise or IT experience. What appears to be almost completely lacking within a "normal" solution built using Excel default settings is the deployment of any structure that extends beyond a single-cell formula. The structural elements that allow conventional code to scale without escalating errors appear to be absent. This paper considers the use of controversial or lesser-used techniques to create a coherent solution strategy in which the problem is solved by a sequence of formulas resembling the steps of a programmed language.


title: Parsimonious Data: How a single Facebook like predicts voting behaviour in multiparty systems

abstract: Recently, two influential PNAS papers have shown how our preferences for 'Hello Kitty' and 'Harley Davidson', obtained through Facebook likes, can accurately predict details about our personality, religiosity, political attitude and sexual orientation (Konsinski et al. 2013; Youyou et al 2015). In this paper, we make the claim that though the wide variety of Facebook likes might predict such personal traits, even more accurate and generalizable results can be reached through applying a contexts-specific, parsimonious data strategy. We built this claim by predicting present day voter intention based solely on likes directed toward posts from political actors. Combining the online and offline, we join a subsample of surveyed respondents to their public Facebook activity and apply machine learning classifiers to explore the link between their political liking behaviour and actual voting intention. Through this work, we show how even a single well-chosen Facebook like, can reveal as much about our political voter intention as hundreds of random likes. Further, by including the entire political like history of the respondents, our model reaches prediction accuracies above previous multiparty studies (60-70%). We conclude the paper by discussing how a parsimonious data strategy applied, with some limitations, allow us to generalize our findings to the 1,4 million Danes with at least one political like and even to other political multiparty systems.


title: Design and Analysis of a Task-based Parallelization over a Runtime System of an Explicit Finite-Volume CFD Code with Adaptive Time Stepping

abstract: FLUSEPA (Registered trademark in France No. 134009261) is an advanced simulation tool which performs a large panel of aerodynamic studies. It is the unstructured finite-volume solver developed by Airbus Safran Launchers company to calculate compressible, multidimensional, unsteady, viscous and reactive flows around bodies in relative motion. The time integration in FLUSEPA is done using an explicit temporal adaptive method. The current production version of the code is based on MPI and OpenMP. This implementation leads to important synchronizations that must be reduced. To tackle this problem, we present the study of a task-based parallelization of the aerodynamic solver of FLUSEPA using the runtime system StarPU and combining up to three levels of parallelism. We validate our solution by the simulation (using a finite-volume mesh with 80 million cells) of a take-off blast wave propagation for Ariane 5 launcher.


title: Conical: an extended module for computing a numerically satisfactory pair of solutions of the differential equation for conical functions

abstract: Conical functions appear in a large number of applications in physics and engineering. In this paper we describe an extension of our module CONICAL for the computation of conical functions. Specifically, the module includes now a routine for computing the function ${{\rm R}}^{m}_{-\frac{1}{2}+i\tau}(x)$, a real-valued numerically satisfactory companion of the function ${\rm P}^m_{-\tfrac12+i\tau}(x)$ for $x>1$. In this way, a natural basis for solving Dirichlet problems bounded by conical domains is provided.


title: Epireflections in topological algebraic structures

abstract: Let $\sR$ be an epireflective category of $\topo$ and let $F_\sR$\, be the epireflective functor associated with $\sR$. If $\sA$ denotes a (semi)topological algebraic subcategory of $\topo$, we study when $F_\sR\,(A)$ is an epireflective subcategory of $\sA$. We prove that this is always the case for semi-topological structures and we find some sufficient conditions for topological algebraic structures. We also study when the epireflective functor preserves products, subspaces and other properties. In particular, we solve an open question about the coincidence of epireflections proposed by Echi and Lazar in \cite[Question 1.6]{Echi:MPRIA} and repeated in \cite[Question 1.9]{Echi:TP}. Finally, we apply our results in different specific topological algebraic structures.


title: A Conceptual Model for Measuring the Complexity of Spreadsheets

abstract: Spreadsheets are widely used in industry, even for critical business processes. This implies the need for proper risk assessment in spreadsheets to evaluate the reliability and validity of the spreadsheet's outcome. As related research has shown, the risk of spreadsheet errors is strongly related to the spreadsheet's complexity. Therefore, spreadsheet researchers proposed various metrics for quantifying different aspects of a spreadsheet in order to assess its complexity. However, until now there is no shared understanding of potential complexity drivers for spreadsheets. The present work addresses this research gap by proposing a conceptual model integrating all aspects which are identified by related literature as potential drivers to spreadsheet complexity. In this sense, this model forms the foundation for a structured definition of complexity metrics, and thus enhances the reproducibility of their results. At the same time, it forms the foundation for identifying further applicable complexity metrics from other scientific domains.


title: A Model for Accounting for Qualia Within the Physical Framework of the Natural Sciences

abstract: This paper engages the hard problem of consciousness (Chalmers, 1995) by examining the enigmatic relationship between the neural correlates of consciousness (NCCs) and their associated qualia. The central premise is that the NCCs have both quantifiable (physical) aspects and, distinctively from other physical systems, also have in certain states unquantifiable aspects (namely, qualia). The reconciliation of these apparently disparate aspects within a physical framework has proven elusive, hence qualia's omission from the physicalist account of the world (Jackson, 1982). This paper proposes a novel model in which the duality - or "mixed quantifiability" - of the NCCs can be mathematically represented via a specific category of equations - those featuring singularities. Consequently, this implies that qualia correspond to singularities in the mathematical representations of certain aspects of the NCCs, thereby offering a model for accounting for qualia within the physical framework of natural sciences. The proposed model may have been foreshadowed by Srinivasa Ramanujan. In addition to its theoretical implications, it could have practical implications, including for artificial intelligence (AI) and artificial consciousness (AC).


title: Geodesic bulk diagrams on the Bruhat-Tits tree

abstract: Geodesic bulk diagrams were recently shown to be the geometric objects which compute global conformal blocks. We show that this duality continues to hold in $p$-adic AdS/CFT, where the bulk is replaced by the Bruhat-Tits tree, an infinite regular graph with no cycles, and the boundary is described by $p$-adic numbers, rather than reals. We apply the duality to evaluate the four-point function of scalar operators of generic dimensions using tree-level bulk diagrams. Relative to standard results from the literature, we find intriguing similarities as well as significant simplifications. Notably, all derivatives disappear in the conformal block decomposition of the four-point function. On the other hand, numerical coefficients in the four-point function as well as the structure constants take surprisingly universal forms, applicable to both the reals and the $p$-adics when expressed in terms of local zeta functions. Finally, we present a minimal bulk action with nearest neighbor interactions on the Bruhat-Tits tree, which reproduces the two-, three-, and four-point functions of a free boundary theory.


title: First-principle calculations of Dark Matter scattering off light nuclei

abstract: We study the scattering of Dark Matter particles off various light nuclei within the framework of chiral effective field theory. We focus on scalar interactions and include one- and two-nucleon scattering processes whose form and strength are dictated by chiral symmetry. The nuclear wave functions are calculated from chiral effective field theory interactions as well and we investigate the convergence pattern of the chiral expansion in the nuclear potential and the Dark Matter-nucleus currents. This allows us to provide a systematic uncertainty estimate of our calculations. We provide results for ${}^2$H, ${}^3$H, and ${}^3$He nuclei which are theoretically interesting and the latter is a potential target for experiments. We show that two-nucleon currents can be systematically included but are generally smaller than predicted by power counting and suffer from significant theoretical uncertainties even in light nuclei. We demonstrate that accurate high-order wave functions are necessary in order to incorporate two-nucleon currents. We discuss scenarios in which one-nucleon contributions are suppressed such that higher-order currents become dominant.


title: Triple system HD 201433 with a SPB star component seen by BRITE-Constellation: Pulsation, differential rotation, and angular momentum transfer

abstract: Stellar rotation affects the transport of chemical elements and angular momentum and is therefore a key process during stellar evolution, which is still not fully understood. This is especially true for massive stars, which are important for the chemical enrichment of the universe. It is therefore important to constrain their physical parameters and internal angular momentum distribution to calibrate stellar structure and evolution models. Stellar internal rotation can be probed through asteroseismic studies of rotationally split oscillations but such results are still quite rare, especially for stars more massive than the Sun. The SPB star HD201433 is known to be part of a single-lined spectroscopic triple system, with two low-mass companions orbiting with periods of about 3.3 and 154 d. Our results are based on photometric observations made by BRITE - Constellation and the SMEI on board the Coriolis satellite, high-resolution spectroscopy, and more than 96 years of radial velocity measurements. We identify a sequence of 9 rotationally split dipole modes in the photometric time series and establish that HD201433 is in principle a solid-body rotator with a very slow rotation period of 297+/-76 d. Tidal interaction with the inner companion has, however, significantly accelerated the spin of the surface layers by a factor of approximately one hundred. The angular momentum transfer onto the surface of HD201433 is also reflected by the statistically significant decrease of the orbital period of about 0.9 s during the last 96 years. Combining the asteroseismic inferences with the spectroscopic measurements and the orbital analysis of the inner binary system, we conclude that tidal interactions between the central SPB star and its inner companion have almost circularised the orbit but not yet aligned all spins of the system and have just begun to synchronise rotation.


title: Pose2Instance: Harnessing Keypoints for Person Instance Segmentation

abstract: Human keypoints are a well-studied representation of people.We explore how to use keypoint models to improve instance-level person segmentation. The main idea is to harness the notion of a distance transform of oracle provided keypoints or estimated keypoint heatmaps as a prior for person instance segmentation task within a deep neural network. For training and evaluation, we consider all those images from COCO where both instance segmentation and human keypoints annotations are available. We first show how oracle keypoints can boost the performance of existing human segmentation model during inference without any training. Next, we propose a framework to directly learn a deep instance segmentation model conditioned on human pose. Experimental results show that at various Intersection Over Union (IOU) thresholds, in a constrained environment with oracle keypoints, the instance segmentation accuracy achieves 10% to 12% relative improvements over a strong baseline of oracle bounding boxes. In a more realistic environment, without the oracle keypoints, the proposed deep person instance segmentation model conditioned on human pose achieves 3.8% to 10.5% relative improvements comparing with its strongest baseline of a deep network trained only for segmentation.


title: Deriving robust noncontextuality inequalities from algebraic proofs of the Kochen-Specker theorem: the Peres-Mermin square

abstract: When a measurement is compatible with each of two other measurements that are incompatible with one another, these define distinct contexts for the given measurement. The Kochen-Specker theorem rules out models of quantum theory that satisfy a particular assumption of context-independence: that sharp measurements are assigned outcomes both deterministically and independently of their context. This notion of noncontextuality is not suited to a direct experimental test because realistic measurements always have some degree of unsharpness due to noise. However, a generalized notion of noncontextuality has been proposed that is applicable to any experimental procedure, including unsharp measurements, but also preparations as well, and for which a quantum no-go result still holds. According to this notion, the model need only specify a probability distribution over the outcomes of a measurement in a context-independent way, rather than specifying a particular outcome. It also implies novel constraints of context-independence for the representation of preparations. In this article, we describe a general technique for translating proofs of the Kochen-Specker theorem into inequality constraints on realistic experimental statistics, the violation of which witnesses the impossibility of a noncontextual model. We focus on algebraic state-independent proofs, using the Peres-Mermin square as our illustrative example. Our technique yields the necessary and sufficient conditions for a particular set of correlations (between the preparations and the measurements) to admit a noncontextual model. The inequalities thus derived are demonstrably robust to noise. We specify how experimental data must be processed in order to achieve a test of these inequalities. We also provide a criticism of prior proposals for experimental tests of noncontextuality based on the Peres-Mermin square.


title: On the Glitch Phenomenon

abstract: The Principle of the Glitch states that for any device which makes a discrete decision based upon a continuous range of possible inputs, there are inputs for which it will take arbitrarily long to reach a decision. The appropriate mathematical setting for studying this principle is described. This involves defining the concept of continuity for mappings on sets of functions. It can then be shown that the glitch principle follows from the continuous behavior of the device.


title: Feature Squeezing: Detecting Adversarial Examples in Deep Neural Networks

abstract: Although deep neural networks (DNNs) have achieved great success in many tasks, they can often be fooled by \emph{adversarial examples} that are generated by adding small but purposeful distortions to natural examples. Previous studies to defend against adversarial examples mostly focused on refining the DNN models, but have either shown limited success or required expensive computation. We propose a new strategy, \emph{feature squeezing}, that can be used to harden DNN models by detecting adversarial examples. Feature squeezing reduces the search space available to an adversary by coalescing samples that correspond to many different feature vectors in the original space into a single sample. By comparing a DNN model's prediction on the original input with that on squeezed inputs, feature squeezing detects adversarial examples with high accuracy and few false positives. This paper explores two feature squeezing methods: reducing the color bit depth of each pixel and spatial smoothing. These simple strategies are inexpensive and complementary to other defenses, and can be combined in a joint detection framework to achieve high detection rates against state-of-the-art attacks.


title: An explicit edge-coloring of K_n with six colors on every K_5

abstract: For fixed integers p and q, let f(n,p,q) denote the minimum number of colors needed to color all of the edges of the complete graph K_n such that no clique of p vertices spans fewer than q distinct colors. A construction is given which shows that f(n,5,6) < n^(1/2+o(1)). This improves upon the best known probabilistic upper bound of O(n^(3/5)) given by Erd\H{o}s and Gy\'arf\'as. It is also shown that f(n,5,6) = {\Omega}(n^(1/2)).


title: Selective Strong Structural Minimum Cost Resilient Co-Design for Regular Descriptor Linear Systems

abstract: This paper addresses the problem of minimum cost resilient actuation-sensing-communication co-design for regular descriptor systems while ensuring selective strong structural system's properties. More specifically, the problem consists of determining the minimum cost deployment of actuation and sensing technology, as well as communication between the these, such that decentralized control approaches are viable for an arbitrary realization of regular descriptor systems satisfying a pre-specified selective structure, i.e., some entries can be zero, nonzero, or either zero/nonzero. Towards this goal, we rely on strong structural systems theory and extend it to cope with the selective structure that casts resiliency/robustness properties and uncertainty properties of system's model. Upon such framework, we introduce the notion of selective strong structural fixed modes as a characterization of the feasibility of decentralized control laws. Also, we provide necessary and sufficient conditions for this property to hold, and show how these conditions can be leveraged to determine the minimum cost resilient placement of actuation-sensing-communication technology ensuring feasible solutions. In particular, we study the minimum cost resilient actuation and sensing placement, upon which we construct the solution to our problem. Finally, we illustrate the applicability the main results of this paper on an electric power grid example.


title: Resolving Local Electrochemistry at the Nanoscale via Electrochemical Strain Microscopy: Modeling and Experiments

abstract: Electrochemistry is the underlying mechanism in a variety of energy conversion and storage systems, and it is well known that the composition, structure, and properties of electrochemical materials near active interfaces often deviates substantially and inhomogeneously from the bulk properties. A universal challenge facing the development of electrochemical systems is our lack of understanding of physical and chemical rates at local length scales, and the recently developed electrochemical strain microscopy (ESM) provides a promising method to probe crucial local information regarding the underlying electrochemical mechanisms. Here we develop a computational model that couples mechanics and electrochemistry relevant for ESM experiments, with the goal to enable quantitative analysis of electrochemical processes underneath a charged scanning probe. We show that the model captures the essence of a number of different ESM experiments, making it possible to de-convolute local ionic concentration and diffusivity via combined ESM mapping, spectroscopy, and relaxation studies. Through the combination of ESM experiments and computations, it is thus possible to obtain deep insight into the local electrochemistry at the nanoscale.


title: The Hawaii SCUBA-2 Lensing Cluster Survey: Radio-detected Submillimeter Galaxies in the HST Frontier Fields

abstract: In this second paper of the Hawaii SCUBA-2 Lensing Cluster Survey series, we cross-match SCUBA-2 maps with 3 and 6 GHz images from the Janksy-VLA Frontier Fields Legacy Survey for three cluster fields, MACS J0416.1--2403, MACS J0717.5+3745, and MACS J1149.5+2223. Within the HST coverage, 14 out of 44 850 $\mu$m sources have 3 GHz counterparts, five of which are also detected at 6 GHz. The 850 $\mu$m flux densities of these detected sources span from 0.7 to 4.4 mJy after correcting for lensing amplification. The median redshift of the sample is $z = 1.28^{+0.07}_{-0.09}$, much lower than the typical redshifts ($z = 2-3$) of brighter submillimeter galaxies in the literature. In addition, we find that our sources have lower dust temperatures than those of the brighter submillimeter galaxies. This is also confirmed by an analysis of the ratio between infrared star formation rate and 850 $\mu$m flux density. However, these 14 sources may not represent the general submillimeter population at the same flux range, given that the SCUBA-2 sources without radio counterparts are likely at higher redshifts. Detection of these sources would require deeper radio images or submillimeter interferometry.


title: Point dipole and quadrupole scattering approximation to collectively responding resonator systems

abstract: We develop a theoretical formalism for collectively responding point scatterers where the radiating electromagnetic fields from each emitter are considered in the electric dipole, magnetic dipole, and electric quadrupole approximation. The contributions of the electric quadrupole moment to electromagnetically-mediated interactions between the scatterers are derived in detail for a system where each scatterer represents a linear $RLC$ circuit resonator, representing common metamaterial resonators in radiofrequency, microwave, and optical regimes. The resulting theory includes a closed set of equations for an ensemble of discrete resonators that are radiatively coupled to each other by propagating electromagnetic fields, incorporating potentially strong interactions and recurrent scattering processes. The effective model is illustrated and tested for examples of pairs of interacting point electric dipoles, where each pair can be qualitatively replaced by a model point emitter with different multipole radiation moments.


title: Finite Sample Analyses for TD(0) with Function Approximation

abstract: TD(0) is one of the most commonly used algorithms in reinforcement learning. Despite this, there is no existing finite sample analysis for TD(0) with function approximation, even for the linear case. Our work is the first to provide such results. Existing convergence rates for Temporal Difference (TD) methods apply only to somewhat modified versions, e.g., projected variants or ones where stepsizes depend on unknown problem parameters. Our analyses obviate these artificial alterations by exploiting strong properties of TD(0). We provide convergence rates both in expectation and with high-probability. The two are obtained via different approaches that use relatively unknown, recently developed stochastic approximation techniques.


title: Doublet-triplet dark matter with neutrino masses

abstract: We consider a dark matter (DM) model that arises from the interplay of two simplified dark matter models, namely the doublet-triplet fermion model and the doublet-triplet scalar model. Despite being excellent exponents of the WIMP paradigm, the physics related to DM in each of these models fails at the same time to account for neutrino masses. It turns out that from the combination of these two models it is possible to generate neutrino masses at one-loop level in the four topologies that are realizations of the Weinberg operator for neutrino masses at one-loop. In this work, we combine both models focusing mostly on fermionic dark matter lying at the electroweak scale. We analyze the impact of the extra charged fields on the Higgs diphoton decay and find that, thanks to the presence of the charged scalars, it is possible to have a viable DM region at the electroweak scale.


title: Open string T-duality in double space

abstract: The role of double space is essential in new interpretation of T-duality and consequently in an attempt to construct M-theory. The case of open string is missing in such approach because until now there have been no appropriate formulation of open string T-duality. In the previous paper [1], we showed how to introduce vector gauge fields $A^N_a$ and $A^D_i$ at the end-points of open string in order to enable open string invariance under local gauge transformations of the Kalb-Ramond field and its T-dual "restricted general coordinate transformations". We demonstrated that gauge fields $A^N_a$ and $A^D_i$ are T-dual to each other. In the present article we prove that all above results can be interpreted as coordinate permutations in double space.


title: The Correlation Between Mixing Length and Metallicity on the Giant Branch: Implications for Ages in the Gaia Era

abstract: In the updated APOGEE-Kepler catalog, we have asteroseismic and spectroscopic data for over 3000 first ascent red giants. Given the size and accuracy of this sample, these data offer an unprecedented test of the accuracy of stellar models on the post-main-sequence. When we compare these data to theoretical predictions, we find a metallicity dependent temperature offset with a slope of around 100 K per dex in metallicity. We find that this effect is present in all model grids tested and that theoretical uncertainties in the models, correlated spectroscopic errors, and shifts in the asteroseismic mass scale are insufficient to explain this effect. Stellar models can be brought into agreement with the data if a metallicity dependent convective mixing length is used, with $ \Delta\alpha_{\rm ML, YREC} \sim 0.2$ per dex in metallicity, a trend inconsistent with the predictions of three dimensional stellar convection simulations. If this effect is not taken into account, isochrone ages for red giants from the Gaia data will be off by as much as a factor of 2 even at modest deviations from solar metallicity ([Fe/H]=$-$0.5).


title: Post main sequence evolution of icy minor planets II: water retention and white dwarf pollution around massive progenitor stars

abstract: Most studies suggest the pollution of white dwarf (WD) atmospheres arises from accretion of minor planets, but the exact properties of polluting material, and in particular the evidence for water in some cases are not yet understood. Here we study the water retention of small icy bodies in exo-solar planetary systems, as their respective host stars evolve through and off the main sequence and eventually become WDs. We explore for the first time a wide range of star masses and metallicities. We find that the mass of the WD progenitor star is of crucial importance for the retention of water, while its metallicity is relatively unimportant. We predict that minor planets around lower-mass WD progenitors would retain more water in general, and would do so at closer distances from the WD, compared with high-mass progenitors. The dependence of water retention on progenitor mass and other parameters has direct implications for the origin of observed WD pollution, and we discuss how our results and predictions might be tested in the future as more observations of WDs with long cooling-ages become available.


title: Regenerative random permutations of integers

abstract: Motivated by recent studies of large Mallows$(q)$ permutations, we propose a class of random permutations of $\mathbb{N}_{+}$ and of $\mathbb{Z}$, called regenerative permutations. Many previous results of the limiting Mallows$(q)$ permutations are recovered and extended. Three special examples: blocked permutations, p-shifted permutations and p-biased permutations are studied.


title: Discontinuity Induced Hopf and Neimark-Sacker Bifurcations in a Memristive Murali-Lakshmanan-Chua Circuit

abstract: We report using Clarke's concept of generalised differential and a modification of Floquet theory to non-smooth oscillations, the occurrence of discontinuity induced Hopf bifurcations and Neimark-Sacker bifurcations leading to quasiperiodic attractors in a memristive Murali-Lakshmanan-Chua (memristive MLC) circuit. The above bifurcations arise because of the fact that a memristive MLC circuit is basically a nonsmooth system by virtue of having a memristive element as its nonlinearity. The switching and modulating properties of the memristor which we have considered endow the circuit with two discontinuity boundaries and multiple equilibrium points as well. As the Jacobian matrices about these equilibrium points are non-invertible, they are non-hyperbolic, some of these admit local bifurcations as well. Consequently when these equilibrium points are perturbed, they lose their stability giving rise to quasiperiodic orbits. The numerical simulations carried out by incorporating proper discontinuity mappings (DMs), such as the Poincar\'{e} discontinuity map (PDM) and zero time discontinuity map (ZDM), are found to agree well with experimental observations.


title: Learning Approximately Objective Priors

abstract: Informative Bayesian priors are often difficult to elicit, and when this is the case, modelers usually turn to noninformative or objective priors. However, objective priors such as the Jeffreys and reference priors are not tractable to derive for many models of interest. We address this issue by proposing techniques for learning reference prior approximations: we select a parametric family and optimize a black-box lower bound on the reference prior objective to find the member of the family that serves as a good approximation. We experimentally demonstrate the method's effectiveness by recovering Jeffreys priors and learning the Variational Autoencoder's reference prior.


title: The SAMI Galaxy Survey: mass as the driver of the kinematic morphology - density relation in clusters

abstract: We examine the kinematic morphology of early-type galaxies (ETGs) in eight galaxy clusters in the Sydney-AAO Multi-object Integral field spectrograph (SAMI) Galaxy Survey. The clusters cover a mass range of 14.2<log(M_200/M_odot)<15.2 and we measure spatially-resolved stellar kinematics for 315 member galaxies with stellar masses 10.0<log(M_*/M_odot)<11.7 within 1R_200 of the cluster centers. We calculate the spin parameter, lambda_R and use that to classify the kinematic morphology of the galaxies as fast or slow rotators. The total fraction of slow rotators in the early-type galaxy population, F_SR=0.14+/-0.02 and does not depend on host cluster mass. Across the eight clusters, the fraction of slow rotators increases with increasing local overdensity. We also find that the slow-rotator fraction increases at small clustercentric radii (R_cl<0.3R_200), and note that there is also an increase in slow-rotator fraction at R_cl~0.6R_200. The slow rotators at these larger radii reside in cluster substructure. We find the strongest increase in slow-rotator fraction occurs with increasing stellar mass. After accounting for the strong correlation with stellar mass, we find no significant relationship between spin parameter and local overdensity in the cluster environment. We conclude that the primary driver for the kinematic morphology--density relationship in galaxy clusters is the changing distribution of galaxy stellar mass with local environment. The presence of slow rotators in substructure suggests that the cluster kinematic morphology--density relationship is a result of mass segregation of slow-rotating galaxies forming in groups that later merge with clusters and sink to the cluster center via dynamical friction.


title: Bound State Energies using Phase Integral Analysis

abstract: The study of asymptotic properties of solutions to differential equations has a long and arduous history, with the most significant advances having been made in the development of quantum mechanics. A very powerful method of analysis is that of Phase Integrals, described by Heading. Key to this analysis are the Stokes constants and the rules for analytic continuation of an asymptotic solution through the complex plane. These constants are easily determined for isolated singular points, by analytically continuing around them and, in the case of analytic functions, requiring the asymptotic solution to be single valued. However, most interesting problems of mathematical physics involve several singular points. By examination of analytically tractable problems and more complex bound state problems involving multiple singular points, we show that the method of Phase Integrals can greatly improve the determination of bound state energies over the simple WKB values. We also find from these examples that in the limit of large separation the Stokes constant for a first order singular point approaches the isolated singular point value.


title: Rethinking probabilistic prediction in the wake of the 2016 U.S. presidential election

abstract: To many statisticians and citizens, the outcome of the most recent U.S. presidential election represents a failure of data-driven methods on the grandest scale. This impression has led to much debate and discussion about how the election predictions went awry -- Were the polls inaccurate? Were the models wrong? Did we misinterpret the probabilities? -- and how they went right -- Perhaps the analyses were correct even though the predictions were wrong, that's just the nature of probabilistic forecasting. With this in mind, we analyze the election outcome with respect to a core set of effectiveness principles. Regardless of whether and how the election predictions were right or wrong, we argue that they were ineffective in conveying the extent to which the data was informative of the outcome and the level of uncertainty in making these assessments. Among other things, our analysis sheds light on the shortcomings of the classical interpretations of probability and its communication to consumers in the form of predictions. We present here an alternative approach, based on a notion of validity, which offers two immediate insights for predictive inference. First, the predictions are more conservative, arguably more realistic, and come with certain guarantees on the probability of an erroneous prediction. Second, our approach easily and naturally reflects the (possibly substantial) uncertainty about the model by outputting plausibilities instead of probabilities. Had these simple steps been taken by the popular prediction outlets, the election outcome may not have been so shocking.


title: On a combination of the 1-2-3 Conjecture and the Antimagic Labelling Conjecture

abstract: This paper is dedicated to studying the following question: Is it always possible to injectively assign the weights $1,...,|E(G)|$ to the edges of any given graph $G$ (with no component isomorphic to $K_2$) so that every two adjacent vertices of $G$ get distinguished by their sums of incident weights? One may see this question as a combination of the well-known 1-2-3 Conjecture and the Antimagic Labelling Conjecture. Throughout this paper, we exhibit evidence that this question might be true. Benefiting from the investigations on the Antimagic Labelling Conjecture, we first point out that several classes of graphs, such as regular graphs, indeed admit such assignments. We then show that trees also do, answering a recent conjecture of Arumugam, Premalatha, Ba\v{c}a and Semani\v{c}ov\'a-Fe\v{n}ov\v{c}\'ikov\'a. Towards a general answer to the question above, we then prove that claimed assignments can be constructed for any graph, provided we are allowed to use some number of additional edge weights. For some classes of sparse graphs, namely $2$-degenerate graphs and graphs with maximum average degree~$3$, we show that only a small (constant) number of such additional weights suffices.


title: Everettian Decoherent Histories and Causal Histories

abstract: D. Wallace has tried to use decoherence to solve the preferred basis problem of Everettian Quantum Mechanics, and this solution lays the foundation for his proof of the Born rule. But this is a circular argument, as approximations used in decoherence usually rely on the probabilistic interpretation of the Hilbert space norm. He claims the norm can measure approximations even without probabilities, but this assumption has not been properly justified. Without it, the combination of the Everettian and decoherent histories formalisms leads to strange consequences, such as a proliferation of small amplitude histories with lots of macroscopic quantum jumps. Still, this erratic behavior may provide a way to justify the approximations, in a new histories formalism, in which macroscopic causal relations play a central role. Small histories, suffering too much interference, may lose causality, being thus discarded as invalid. The remaining branches can present some small interference, opening the possibility of experimental verification.


title: Two-Stage Stochastic International Portfolio Optimisation under Regular-Vine-Copula-Based Scenarios

abstract: In this paper, we present a two-stage stochastic international portfolio optimisation model to find an optimal allocation for the combination of both assets and currency hedging positions. Our optimisation model allows a "currency overlay", or a deviation of currency exposure from asset exposure, to provide flexibility in hedging against, or in speculation using, currency exposure. The transaction costs associated with both trading and hedging are also included. To model the realistic dependence structure of the multivariate return distributions, a new scenario generation method, employing a regular-vine copula is developed. The use of vine copulas allows a better representation of the characteristics of returns, specifically, their non-normality and asymmetric dependencies. It hence improves the representation of the uncertainty underlying decisions needed for international portfolio optimisation problems. Efficient portfolios optimised with scenarios generated from the new vine-copula method are compared with the portfolios from a standard scenario generation method. Experimental results show that the proposed method, using realistic non-normal uncertainty, produces portfolios that give better risk-return reward than those from a standard scenario generation approach, using normal distributions. The difference in risk-return compensation is largest when the portfolios are constrained to require higher returns. The paper shows that it can be important to model the non-normality in uncertainty, and not just assume normal distributions.


title: Towards an IT Security Risk Assessment Framework for Railway Automation

abstract: Some recent incidents have shown that possibly the vulnerability of IT systems in railway automation has been underestimated. Fortunately, so far, almost only denial-of-service attacks were successful, but due to several trends, such as the use of commercial IT and communication systems or privatization, the threat potential could increase in the near future. However, up to now, no harmonized IT security risk assessment framework for railway automation exists. This paper defines an IT security risk assessment framework which aims to separate IT security and safety requirements as well as certification processes as far as possible. It builds on the well-known safety and approval processes from IEC 62425 and integrates IT security requirements based on the ISA99/IEC62443 standard series. While the detailed results are related to railway automation the general concepts are also applicable to other safety-critical application areas.