title: Floquet Topological Insulators for Sound

abstract: The unique conduction properties of condensed matter systems with topological order have recently inspired a quest for similar effects in classical wave phenomena. Acoustic topological insulators, in particular, hold the promise to revolutionize our ability to control sound, allowing for large isolation in the bulk and broadband one-way transport on their edges, with topological immunity against structural defects and disorder. So far these fascinating properties have been obtained relying on moving media, which inherently introduce noise and absorption losses, hindering the practical applicability of topological acoustics. Here, we overcome these limitations by modulating in time the acoustic properties of a lattice of resonators, introducing the concept of acoustic Floquet topological insulators. Acoustic modulation at ultrasonic frequencies can reach values as high as a few percents, enabling broadband effects with an on-site, moderate modulation strategy that surprisingly does not require phase uniformity across the lattice. Using first-principle numerical experiments, we show that acoustic waves provide a fertile ground to apply the anomalous physics of Floquet topological insulators, and demonstrate their relevance for a wide range of acoustic applications, including broadband acoustic isolation and topologically protected, nonreciprocal acoustic emitters.


title: On the smallest simultaneous power nonresidue modulo a prime

abstract: Let $p$ be a prime and $p_1,\ldots, p_r$ be distinct prime divisors of $p-1$. We prove that the smallest positive integer $n$ which is a simultaneous $p_1,\ldots,p_r$-power nonresidue modulo $p$ satisfies $$ n<p^{1/4 - c_r+o(1)}\quad(p\to\infty) $$ for some positive $c_r$ satisfying $c_r\ge e^{-(1+o(1))r} \; (r\to \infty).$


title: Interpretation of the top-quark mass measurements: a theory overview

abstract: I discuss the theoretical interpretation of the top-quark mass, which is extracted in standard and alternative measurements at the LHC. In particular, I point out that the top mass extracted in analyses relying on the use of Monte Carlo event generators must be close to the pole mass and review recent work aiming at estimating the theoretical uncertainty.


title: Strongly interacting one-dimensional quantum gas mixtures with weak p-wave interactions

abstract: We study one-dimensional strongly interacting quantum gas mixtures, including both the Bose-Fermi and spin-1/2 Fermi-Fermi mixtures, with weak p-wave interactions between intra-component fermions, and demonstrate that the weak p-wave interaction can not be omitted in the strongly interacting regime where the strength of p-wave interactions is comparable with the inverse of the strength of strongly repulsive s-wave interactions. While the total density distribution is not sensitive to the weak p-wave interaction, we find that the p-wave interaction plays an important role in determining the species-dependent (or spin-dependent) density distributions and produces significant physical effects on the low-energy spin dynamics. We also derive effective spin-exchange models for strongly interacting quantum gas mixtures with weak p-wave interactions, which indicate that a quantum phase transition from anti-ferromagnetic state to ferromagnetic state can be induced by tuning the relative strengths of intra-component and inter-component interactions.


title: On the Greedy Algorithm for the Shortest Common Superstring Problem with Reversals

abstract: We study a variation of the classical Shortest Common Superstring (SCS) problem in which a shortest superstring of a finite set of strings $S$ is sought containing as a factor every string of $S$ or its reversal. We call this problem Shortest Common Superstring with Reversals (SCS-R). This problem has been introduced by Jiang et al., who designed a greedy-like algorithm with length approximation ratio $4$. In this paper, we show that a natural adaptation of the classical greedy algorithm for SCS has (optimal) compression ratio $\frac12$, i.e., the sum of the overlaps in the output string is at least half the sum of the overlaps in an optimal solution. We also provide a linear-time implementation of our algorithm.


title: Scalar Dark Matter in Scale Invariant Standard Model

abstract: We investigate single and two-component scalar dark matter scenarios in classically scale invariant standard model which is free of the hierarchy problem in the Higgs sector. We show that despite the very restricted space of parameters imposed by the scale invariance symmetry, both single and two-component scalar dark matter models overcome the direct and indirect constraints provided by the Planck/WMAP observational data and the LUX/Xenon100 experiment. We comment also on the radiative mass corrections of the classically massless scalon that plays a crucial role in our study.


title: Writing a skyrmion on multiferroic materials

abstract: This paper reports on a theoretical proposal for electrical creation of magnetic skyrmions on a thin-film specimen of a multiferroic chiral magnet by local application of an electric field, instead of an electric current, via an electrode tip. This method can be traced back to the mutual coupling between skyrmion spins and the electric polarizations in multiferroics, and represents a unique technique for use in potential skyrmion-based memory devices without Joule-heating losses.


title: Phonon-mediated generation of quantum correlations between quantum dot qubits

abstract: We study the generation of quantum correlations between two excitonic quantum dot qubits due to their interaction with the same phonon environment. Such generation results from the fact that during the pure dephasing process at finite temperatures, each exciton becomes entangled with the phonon environment. We find that for a wide range of temperatures quantum correlations are created due to the interaction. The temperature-dependence of the amount of correlations created displays a trade-off type behaviour; for small temperatures the phonon-induced distrubance of the qubit states is too small to lead to a distinct change of the two-qubit state, hence, the amount of created correlations is small, while for large temperatures the pure dephasing is not accompanied by the creation of entanglement between the qubits and the environment, so the environment cannot mediate qubit-qubit quantum correlations.


title: Typical sumsets of linear codes

abstract: Given two identical linear codes $\mathcal C$ over $\mathbb F_q$ of length $n$, we independently pick one codeword from each codebook uniformly at random. A $\textit{sumset}$ is formed by adding these two codewords entry-wise as integer vectors and a sumset is called $\textit{typical}$, if the sum falls inside this set with high probability. We ask the question: how large is the typical sumset for most codes? In this paper we characterize the asymptotic size of such typical sumset. We show that when the rate $R$ of the linear code is below a certain threshold $D$, the typical sumset size is roughly $|\mathcal C|^2=2^{2nR}$ for most codes while when $R$ is above this threshold, most codes have a typical sumset whose size is roughly $|\mathcal C|\cdot 2^{nD}=2^{n(R+D)}$ due to the linear structure of the codes. The threshold $D$ depends solely on the alphabet size $q$ and takes value in $[1/2, \log \sqrt{e})$. More generally, we completely characterize the asymptotic size of typical sumsets of two nested linear codes $\mathcal C_1, \mathcal C_2$ with different rates. As an application of the result, we study the communication problem where the integer sum of two codewords is to be decoded through a general two-user multiple-access channel.


title: Gate-tunable zero-frequency current cross-correlations of the quartet mode in a voltage-biased three-terminal Josephson junction

abstract: A three-terminal Josephson junction biased at opposite voltages can sustain a phase-sensitive dc-current carrying three-body static phase coherence, known as the "quartet current". We calculate the zero-frequency current noise cross-correlations and answer the question of whether this current is noisy (like a normal current in response to a voltage drop) or noiseless (like an equilibrium supercurrent in response to a phase drop). A quantum dot with a level at energy $\epsilon_0$ is connected to three superconductors $S_a$, $S_b$ and $S_c$ with gap $\Delta$, biased at $V_a=V$, $V_b=-V$ and $V_c=0$, and with intermediate contact transparencies. At zero temperature, nonlocal quartets (in the sense of four-fermion correlations) are noiseless at subgap voltage in the nonresonant dot regime $\epsilon_0/\Delta\gg 1$, which is demonstrated with a semi-analytical perturbative expansion of the cross-correlations. Noise reveals the absence of granularity of the superflow splitting from $S_c$ towards $(S_a,S_b)$ in the nonresonant dot regime, in spite of finite voltage. In the resonant dot regime $\epsilon_0/\Delta< 1$, cross-correlations measured in the $(V_a,V_b)$ plane should reveal an "anomaly" in the vicinity of the quartet line $V_a+V_b=0$, related to an additional contribution to the noise, manifesting the phase sensitivity of cross-correlations under the appearance of a three-body phase variable. Phase-dependent effective Fano factors $F_\varphi$ are introduced, defined as the ratio between the amplitudes of phase modulations of the noise and the currents. At low bias, the Fano factors $F_\varphi$ are of order unity in the resonant dot regime $\epsilon_0/\Delta< 1$, and they are vanishingly small in the nonresonant dot regime $\epsilon_0/\Delta\gg 1$.


title: Equilibrium states for impulsive semiflows

abstract: We consider impulsive semiflows defined on compact metric spaces and give sufficient conditions, both on the semiflows and the potentials, for the existence and uniqueness of equilibrium states. We also generalize the classical notion of topological pressure to our setting of discontinuous semiflows and prove a variational principle.


title: Analysis of the Z Distribution of Young Objects in the Galactic Thin Disk

abstract: We have obtained new estimates of the Sun's distance from the symmetry plane Zo and the vertical disk scale height h using currently available data on stellar OB associations, Wolf-Rayet stars, HII regions, and Cepheids. Based on individual determinations, we have calculated the mean Zo=-16+/-2 pc. Based on the model of a self-gravitating isothermal disk for the density distribution, we have found the following vertical disk scale heights: h = 40.2+/-2.1 pc from OB associations, h = 47.8+/-3.9 pc from Wolf-Rayet stars, h=48.4+/-2.5 pc from HII regions, and h = 66.2+/-1.6 pc from Cepheids. We have estimated the surface, \sum=6 kpc^{-2}, and volume, D(Zo) = 50.6 kpc^{-3}, densities from a sample of OB associations. We have found that there could be approximately 5000 OB associations in the Galaxy.


title: Transverse-momentum-dependent quark splitting functions in $k_T$-factorization: real contributions

abstract: We calculate transverse momentum dependent quark splitting kernels $P_{gq}$ and $P_{qq}$ within $k_T$-factorization, completing earlier results which concentrated on gluon splitting functions $P_{gg}$ and $P_{qg}$. The complete set of splitting kernels is an essential requirement for the formulation of a complete set of evolution equations for transverse momentum dependent parton distribution functions and the development of corresponding parton shower algorithms.


title: On postsingularly finite exponential maps

abstract: We consider parameters $\lambda$ for which $0$ is preperiodic under the map $z\mapsto\lambda e^z$. Given $k$ and $l$, let $n(r)$ be the number of $\lambda$ satisfying $0<|\lambda|\leq r$ such that $0$ is mapped after $k$ iterations to a periodic point of period $l$. We determine the asymptotic behavior of $n(r)$ as $r$ tends to $\infty$.


title: Partially resummed perturbation theory for multiple Andreev reflections in a short three-terminal Josephson junction

abstract: In a transparent three-terminal Josephson junction, modeling nonequilibrium transport is numerically challenging, owing to the interplay between multiple Andreev reflection (MAR) thresholds and multipair resonances in the pair current. An approximate method, coined as "partially resummed perturbation theory in the number of nonlocal Green's functions", is presented that can be operational on a standard computer and demonstrates compatibility with results existing in the literature. In a linear structure made of two neighboring interfaces (with intermediate transparency) connected by a central superconductor, tunneling through each of the interfaces separately is taken into account to all orders. On the contrary, nonlocal processes connecting the two interfaces are accounted for at the lowest relevant order. This yields logarithmically divergent contributions at the gap edges, which are sufficient as a semi-quantitative description. The method is able to describe the current in the full two-dimensional voltage range, including commensurate as well as incommensurate values. The results found for the multipair (for instance quartet) current-phase characteristics as well as the MAR thresholds are compatible with previous results. At intermediate transparency, the multipair critical current is much larger than the background MAR current, which supports an experimental observation of the quartet and multipair resonances. The paper provides a proof of principle for addressing in the future the interplay between quasiparticles and multipairs in four-terminal structures.


title: Field-induced low-temperature electronic specific heat of boron nitride nanotubes

abstract: We use the tight-binding model to study the effect of transverse electric field on the low-temperature electronic specific heat (Cv) for armchair and zigzag boron nitride nanotubes (ABNNTs and ZBNNTs). For wide-band-gap BNNTs, electric field could significantly modulate their energy dispersions and shift many electronic states close to the Fermi energy. Under a critical electric field (Fc) the density of states show special peak structures and the vanishing specific heat at zero field jumps to a giant one. Cv, at Fc's, has a value comparable to that of the phonon specific heat and reveals strongly non-linear dependence on temperature. The critical field strength and the value of giant specific heat are closely related to nanotube's geometry. In the presence of Fc's, the extra longitudinal magnetic flux could enhance the value of Cv again at low temperature for ZBNNTs, whereas it is not always true for ABNNTs.


title: Existence of Continuous and C\`adl\`ag Versions for Cylindrical Processes in the Dual of a Nuclear Space

abstract: Let $\Phi$ be a nuclear space and let $\Phi'_{\beta}$ denote its strong dual. In this paper we introduce sufficient conditions for a cylindrical process in $\Phi'$ to have a version that is a $\Phi'_{\beta}$-valued continuous or c\'{a}dl\'{a}g process. We also establish sufficient conditions for the existence of such a version taking values and having finite moments in a Hilbert space continuously embedded in $\Phi'_{\beta}$. Finally, we apply our results to the study of properties of cylindrical martingales in $\Phi'$.


title: Higher-order EPR correlations and inseparability conditions for continuous variables

abstract: We derive two types of sets of higher-order conditions for bipartite entanglement in terms of continuous variables. One corresponds to an extension of the well-known Duan inequalities from second to higher moments describing a kind of higher-order Einstein-Podolsky-Rosen (EPR) correlations. Only the second type, however, expressed by powers of the mode operators leads to tight conditions with a hierarchical structure. We start with a minimization problem for the single-partite case and, using the results obtained, establish relevant inequalities for higher-order moments satisfied by all bipartite separable states. A certain fourth-order condition cannot be violated by any Gaussian state and we present non-Gaussian states whose entanglement is detected by that condition. Violations of all our conditions are provided, so they can all be used as entanglement tests.


title: Characterization of DNA methylation as a function of biological complexity via dinucleotide inter-distances

abstract: We perform a statistical study of the distances between successive occurrencies of a given dinucleotide in the DNA sequence for a number of organisms of different complexity. Our analysis highlights peculiar features of the dinucleotide CG distribution in mammalian DNA, pointing towards a connection with the role of such dinucleotide in DNA methylation. While the CG distributions of mammals exhibit exponential tails with comparable parameters, the picture for the other organisms studied (e.g., fish, insects, bacteria and viruses) is more heterogeneous, possibly because in these organisms DNA methylation has different functional roles. Our analysis suggests that the distribution of the distances between dinucleotides CG provides useful insights in characterizing and classifying organisms in terms of methylation functionalities.

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


title: Towards Automatic Image Editing: Learning to See another You

abstract: Learning the distribution of images in order to generate new samples is a challenging task due to the high dimensionality of the data and the highly non-linear relations that are involved. Nevertheless, some promising results have been reported in the literature recently,building on deep network architectures. In this work, we zoom in on a specific type of image generation: given an image and knowing the category of objects it belongs to (e.g. faces), our goal is to generate a similar and plausible image, but with some altered attributes. This is particularly challenging, as the model needs to learn to disentangle the effect of each attribute and to apply a desired attribute change to a given input image, while keeping the other attributes and overall object appearance intact. To this end, we learn a convolutional network, where the desired attribute information is encoded then merged with the encoded image at feature map level. We show promising results, both qualitatively as well as quantitatively, in the context of a retrieval experiment, on two face datasets (MultiPie and CAS-PEAL-R1).


title: Decidability and Complexity for Quiescent Consistency and its Variations

abstract: Quiescent consistency is a notion of correctness for a concurrent object that gives meaning to the object's behaviours in quiescent states, i.e., states in which none of the object's operations are being executed. Correctness of an implementation object is defined in terms of a corresponding abstract specification. This gives rise to two important verification questions: membership (checking whether a behaviour of the implementation is allowed by the specification) and correctness (checking whether all behaviours of the implementation are allowed by the specification). In this paper, we show that the membership problem for quiescent consistency is NP-complete and that the correctness problem is decidable, but coNP-hard and in EXPSPACE. For both problems, we consider restricted versions of quiescent consistency by assuming an upper limit on the number of events between two quiescent points. Here, we show that the membership problem is in PTIME, whereas correctness is in PSPACE. Quiescent consistency does not guarantee sequential consistency, i.e., it allows operation calls by the same process to be reordered when mapping to an abstract specification. Therefore, we also consider quiescent sequential consistency, which strengthens quiescent consistency with an additional sequential consistency condition. We show that the unrestricted versions of membership and correctness are NP-complete and undecidable, respectively. When by placing a limit on the number of events between two quiescent points, membership is in PTIME, while correctness is in PSPACE. Finally, we consider a version of quiescent sequential consistency that places an upper limit on the number of processes for every run of the implementation, and show that the membership problem for quiescent sequential consistency with this restriction is in PTIME.


title: The transition to turbulence in parallel flows: transition to turbulence or to regular structures

abstract: We propose a scenario for the formation of localized turbulent spots in transition flows, which is known as resulting from the subcritical character of the transition. We show that it is not necessary to add 'by hand" a term of random noise in the equations, in order to describe the existence of long wavelength fluctuations as soon as the bifurcated state is beyond the Benjamin-Feir instability threshold. We derive the instability threshold for generalized complex Ginzburg-Landau equation which displays subcriticality. Beyond and close to the Benjamin-Feir threshold we show that the dynamics is mainly driven by the phase of the complex amplitude which obeys Kuramoto-Sivashinsky equation while the fluctuations of the modulus are smaller and slaved to the phase (as already proved for the supercritical case). On the opposite, below the Benjamin-Feir instability threshold, the bifurcated state does loose the randomness associated to turbulence so that the transition becomes of the mean-field type as in noiseless reaction-diffusion systems and leads to pulse-like patterns.


title: Water Stress on U.S. Power Production at Decadal Time Horizons

abstract: Thermoelectric power production at risk, owing to current and projected water scarcity and rising stream temperatures, is assessed for the contiguous United States at decadal scales. Regional water scarcity is driven by climate variability and change, as well as by multi-sector water demand. While a planning horizon of zero to about thirty years is occasionally prescribed by stakeholders, the challenges to risk assessment at these scales include the difficulty in delineating decadal climate trends from intrinsic natural or multiple model variability. Current generation global climate or earth system models are not credible at the spatial resolutions of power plants, especially for surface water quantity and stream temperatures, which further exacerbates the assessment challenge. Population changes, which are difficult to project, cannot serve as adequate proxies for changes in the water demand across sectors. The hypothesis that robust assessments of power production at risk are possible, despite the uncertainties, has been examined as a proof of concept. An approach is presented for delineating water scarcity and temperature from climate models, observations and population storylines, as well as for assessing power production at risk by examining geospatial correlations of power plant locations within regions where the usable water supply for energy production happens to be scarcer and warmer. Our analyses showed that in the near term, more than 200 counties are likely to be exposed to water scarcity in the next three decades. Further, we noticed that stream gauges in more than five counties in the 2030s and ten counties in the 2040s showed a significant increase in water temperature, which exceeded the power plant effluent temperature threshold set by the EPA. Power plants in South Carolina, Louisiana, and Texas are likely to be vulnerable owing to climate-driven water stresses.


title: Steady flow for incompressible fluids in domains with unbounded curved channels

abstract: We give an overview on the solution of the stationary Navier-Stokes equations for non newtonian incompressible fluids established by G. Dias and M.M. Santos (Steady flow for shear thickening fluids with arbitrary fluxes, J. Differential Equations 252 (2012), no. 6, 3873-3898)*, propose a definition for domains with unbounded curved channels which encompasses domains with an unbounded boundary, domains with nozzles, and domains with a boundary being a punctured surface, and argue on the existence of steady flow for incompressible fluids with arbitrary fluxes in such domains. *Cf. ArXiv: 1108.3595.


title: A Classification of Non-Compact Coxeter Polytopes with $n+3$ Facets and One Non-Simple Vertex

abstract: In this paper we state a full classification for Coxeter polytopes in $\mathbb{H}^{n}$ with $n+3$ facets which are non-compact and have precisely one non-simple vertex.


title: One Bit Sensing, Discrepancy, and Stolarsky Principle

abstract: A sign-linear one bit map from the $ d$-dimensional sphere $ \mathbb S ^{d}$ to the $ n$-dimensional Hamming cube $ H^n= \{ -1, +1\} ^{n}$ is given by $$ x \to \{ \mbox{sign} (x \cdot z_j) \;:\; 1\leq j \leq n\} $$ where $ \{z_j\} \subset \mathbb S ^{d}$. For $ 0 < \delta < 1$, we estimate $ N (d, \delta )$, the smallest integer $ n$ so that there is a sign-linear map which has the $ \delta $-restricted isometric property, where we impose normalized geodesic distance on $ \mathbb S ^{d}$, and Hamming metric on $ H^n$. Up to a polylogarithmic factor, $ N (d, \delta ) \approx \delta^{-2 + \frac2{d+1}}$, which has a dimensional correction in the power of $ \delta $. This is a question that arises from the one bit sensing literature, and the method of proof follows from geometric discrepancy theory. We also obtain an analogue of the Stolarsky invariance principle for this situation, which implies that minimizing the $L^2$ average of the embedding error is equivalent to minimizing the discrete energy $\sum_{i,j} \big( \frac12 - d(z_i,z_j) \big)^2$, where $d$ is the normalized geodesic distance.


title: A numerical comparison of some Multiscale Finite Element approaches for convection-dominated problems in heterogeneous media

abstract: The purpose of this work is to investigate the behavior of Multiscale Finite Element type methods for advection-diffusion problems in the advection-dominated regime. We present, study and compare various options to address the issue of the simultaneous presence of both heterogeneity of scales and strong advection. Classical MsFEM methods are compared with adjusted MsFEM methods, stabilized versions of the methods, and a splitting method that treats the multiscale diffusion and the strong advection separately.


title: Geometry of slow-fast Hamiltonian systems and Painlev\'e equations

abstract: In the first part of the paper we introduce some geometric tools needed to describe slow-fast Hamiltonian systems on smooth manifolds. We start with a smooth Poisson bundle $p: M\to B$ of a regular (i.e. of constant rank) Poisson manifold $(M,\omega)$ over a smooth symplectic manifold $(B,\lambda)$, the foliation into leaves of the bundle coincides with the symplectic foliation generated by the Poisson structure on $M$. This defines a singular symplectic structure $\Omega_{\varepsilon}=$ $\omega + \varepsilon^{-1}p^*\lambda$ on $M$ for any positive small $\varepsilon$, where $p^*\lambda$ is a lift of 2-form $\lambda$ on $M$. Given a smooth Hamiltonian $H$ on $M$ one gets a slow-fast Hamiltonian system w.r.t. $\Omega_{\varepsilon}$. We define a slow manifold $SM$ of this system. Assuming $SM$ to be a smooth submanifold, we define a slow Hamiltonian flow on $SM$. The second part of the paper deals with singularities of the restriction of $p$ on $SM$ and their relations with the description of the system near them. It appears, if $\dim M = 4,$ $\dim B = 2$ and Hamilton function $H$ is generic, then behavior of the system near singularities of the fold type is described in the principal approximation by the equation Painlev\'e-I, but if a singular point is a cusp, then the related equation is Painlev\'e-II. This fact for particular types of Hamiltonian systems with one and a half degrees of freedom was discovered earlier by R.Haberman.


title: Multidimensional Washboard Ratchet Potentials for Frustrated Two-Dimensional Josephson-Junctions Arrays on square lattices

abstract: In this work, we derive an analytical procedure for obtaining a multidimensional washboard ratchet potential Uf for two-dimensional Josephson junctions array (TDJJA) with an applied magnetic field. The magnetic field is given in units of the quantum ux per plaquette or frustration of the form f = M N . The derivation is done under the assumption that the checkerboard pattern ground state or unit cell of a two-dimensional Josephson junctions array (TDJJA) is preserved under current bias. The RCSJ with a white noise term models the dynamics for each junction phase in the array. The multidimensional potential is the unique expression of the collective effects that emerge from the array in contrast to the single junction. First step in the procedure is to write the equation for the phases for the unit cell by considering the constraints imposed for the gauge invariant phases due to frustration. Secondly and key idea of the procedure, is to perform a variable transformation from the original systems of stochastic equations to a system of variables where the condition for the equality of mixed second partial is forced via the Poincar\'e's theorem for differentials forms. This leads to a nonlinear matrix equation (equation (9) in the text), where the new coordinates variables xf are evaluated and where the potential exist. The transform matrix also permits the correct transformation of the original white noise terms of each junction to the intensities in the xf variables. The commensurate symmetries of the ground state pinned vortex lattice, leads to discrete symmetries to the part of the washboard potential that does not contain a tilt due to the external bias current(equation(10) in the text). In this work we apply the procedure for the important cases f = 1 2 ; 1 3 .


title: A Symbolic SAT-based Algorithm for Almost-sure Reachability with Small Strategies in POMDPs

abstract: POMDPs are standard models for probabilistic planning problems, where an agent interacts with an uncertain environment. We study the problem of almost-sure reachability, where given a set of target states, the question is to decide whether there is a policy to ensure that the target set is reached with probability 1 (almost-surely). While in general the problem is EXPTIME-complete, in many practical cases policies with a small amount of memory suffice. Moreover, the existing solution to the problem is explicit, which first requires to construct explicitly an exponential reduction to a belief-support MDP. In this work, we first study the existence of observation-stationary strategies, which is NP-complete, and then small-memory strategies. We present a symbolic algorithm by an efficient encoding to SAT and using a SAT solver for the problem. We report experimental results demonstrating the scalability of our symbolic (SAT-based) approach.


title: New CCD Photometry Study of RV UMa

abstract: All available CCD observation of RV UMa have been analyzed to obtain an accurate mathematical description of the ligh variation. We discuss in this paper a new study of variable star RV UMa, a short period RRab star, in orther to determine through the light curve and the physical parameters, the presence of "Blazhko effect". The Star were observed for a total of 839 sessions shooting, and exhibits light curve modulation with the shortest modulation Period=0.468002 ever observed. The result detect small but definite modification in temperature and mean radius of the star itself. All results are compared with previously published literature values and discussed.


title: An Introduction to Convolutional Neural Networks

abstract: The field of machine learning has taken a dramatic twist in recent times, with the rise of the Artificial Neural Network (ANN). These biologically inspired computational models are able to far exceed the performance of previous forms of artificial intelligence in common machine learning tasks. One of the most impressive forms of ANN architecture is that of the Convolutional Neural Network (CNN). CNNs are primarily used to solve difficult image-driven pattern recognition tasks and with their precise yet simple architecture, offers a simplified method of getting started with ANNs. This document provides a brief introduction to CNNs, discussing recently published papers and newly formed techniques in developing these brilliantly fantastic image recognition models. This introduction assumes you are familiar with the fundamentals of ANNs and machine learning.


title: A transcendental function invariant of virtual knots

abstract: In this work we describe a new invariant of virtual knots. We show that this transcendental function invariant generalizes several polynomial invariants of virtual knots, such as the writhe polynomial, the affine index polynomial and the zero polynomial.


title: Heralded Source of Bright Multi-mode Mesoscopic Sub-Poissonian Light

abstract: In a direct detection scheme we observed 7.8 dB of twin-beam squeezing for multi-mode two-color squeezed vacuum generated via parametric down conversion. Applying post-selection, we conditionally prepared a sub-Poissonian state of light containing $6.3\cdot10^5$ photons per pulse on the average with the Fano factor $0.63\pm0.01$. The scheme can be considered as the heralded preparation of pulses with the mean energy varying between tens and hundreds of fJ and the uncertainty considerably below the shot-noise level. Such pulses can be used in metrology (for instance, for radiometers calibration) as well as for probing multi-mode nonlinear optical effects.


title: Status of the 98 - 125 GeV Higgs scenario with updated LHC-8 data

abstract: In the context of minimal supersymmetric standard model (MSSM), we discuss the possibility of the lightest Higgs boson with mass $M_h = 98 $ GeV to be consistent with the $2.3\sigma$ excess observed at the LEP in the decay mode $e^+e^- \to Zh$, with $h \to b {\bar b}$. In the same region of the MSSM parameter space, the heavier Higgs boson $(H)$ with mass $M_H \sim 125 $ GeV is required to be consistent with the latest data on Higgs coupling measurements at the end of 7 + 8 TeV LHC run with $25{\rm fb}^{-1}$ of data. While scanning the MSSM parameter space, we impose constraints coming from flavour physics, relic density of the cold dark matter as well as direct dark matter searches. We study the possibility of observing this light Higgs boson in vector boson fusion process and associated production with $W/Z$ boson at the high luminosity $(3000~{\rm fb}^{-1})$ run of the 14 TeV LHC. Our analysis shows that this scenario can hardly be ruled out even at the high luminosity run of the LHC. However, the precise measurement of the Higgs signal strength ratios can play a major role to distinguish this scenario from the canonical MSSM one.


title: Mixing and large deviations for nonlinear wave equation with white noise

abstract: This thesis is devoted to the study of ergodicity and large deviations for the stochastic nonlinear wave (NLW) equation with smooth white noise in 3D. Under some standard growth and dissipativity assumptions on the nonlinearity, we show that the Markov process associated with the flow of NLW equation has a unique stationary measure that attracts the law of any solution with exponential rate. This result implies, in particular, the strong law of large numbers as well as the central limit theorem for the trajectories. We next consider the problem of small noise asymptotics for the family of stationary measures and prove that this family obeys the large deviations principle. When the limiting equation (i.e., without noise) possesses finitely many stationary solutions, among which only one asymptotically stable solution "u", this result implies that the family of these measures weakly converges to the Dirac measure concentrated at "u". Finally, we study the problem of large time asymptotics for the family of occupation measures corresponding to the NLW equation and show that it satisfies the local large deviations principle. We also show that a high concentration towards the stationary measure is impossible by proving that the corresponding rate function does not have the trivial form.


title: Linear and nonlinear solvers for variational phase-field models of brittle fracture

abstract: The variational approach to fracture is effective for simulating the nucleation and propagation of complex crack patterns, but is computationally demanding. The model is a strongly nonlinear non-convex variational inequality that demands the resolution of small length scales. The current standard algorithm for its solution, alternate minimization, is robust but converges slowly and demands the solution of large, ill-conditioned linear subproblems. In this paper, we propose several advances in the numerical solution of this model that improve its computational efficiency. We reformulate alternate minimization as a nonlinear Gauss-Seidel iteration and employ over-relaxation to accelerate its convergence; we compose this accelerated alternate minimization with Newton's method, to further reduce the time to solution; and we formulate efficient preconditioners for the solution of the linear subproblems arising in both alternate minimization and in Newton's method. We investigate the improvements in efficiency on several examples from the literature; the new solver is 5--6$\times$ faster on a majority of the test cases


title: Virtual World, Defined from a Technological Perspective, and Applied to Video Games, Mixed Reality and the Metaverse

abstract: There is no generally accepted definition for a virtual world, with many complimentary terms and acronyms having emerged implying a virtual world. Advances in systems architecture techniques such as, host migration of instances, mobile ad-hoc networking, and distributed computing, bring in to question whether those architectures can actually support a virtual world. Without a concrete definition, controversy ensues and it is problematic to design an architecture for a virtual world. Several researchers provided a definition but aspects of each definition are still problematic and simply can not be applied to contemporary technologies. The approach of this article is to sample technologies using grounded theory, and obtain a definition for a `virtual world' that is directly applicable to technology. The obtained definition is compared with related work and used to classify advanced technologies, such as: a pseudo-persistent video game, a MANet, virtual and mixed reality, and the Metaverse. The results of this article include: a break down of which properties set apart the various technologies; a definition that is validated by comparing it with other definitions; an ontology showing the relation of the different complimentary terms and acronyms; and, the usage of pseudo-persistence to categories those technologies which only mimic persistence.


title: Generalized deviation equation and determination of the curvature in General Relativity

abstract: We derive a generalized deviation equation -- analogous to the well-known geodesic deviation equation -- for test bodies in General Relativity. Our result encompasses and generalizes previous extensions of the standard geodesic deviation equation. We show how the standard as well as a generalized deviation equation can be used to measure the curvature of spacetime by means of a set of test bodies. In particular, we provide exact solutions for the curvature by using the standard deviation equation as well as its next order generalization.


title: Approximate Option Pricing in the L\'evy Libor Model

abstract: In this paper we consider the pricing of options on interest rates such as caplets and swaptions in the L\'evy Libor model developed by Eberlein and \"Ozkan (2005). This model is an extension to L\'evy driving processes of the classical log-normal Libor market model (LMM) driven by a Brownian motion. Option pricing is significantly less tractable in this model than in the LMM due to the appearance of stochastic terms in the jump part of the driving process when performing the measure changes which are standard in pricing of interest rate derivatives. To obtain explicit approximation for option prices, we propose to treat a given L\'evy Libor model as a suitable perturbation of the log-normal LMM. The method is inspired by recent works by Cern\'y, Denkl and Kallsen (2013) and M\'enass\'e and Tankov (2015). The approximate option prices in the L\'evy Libor model are given as the corresponding LMM prices plus correction terms which depend on the characteristics of the underlying L\'evy process and some additional terms obtained from the LMM model.


title: Optimal micropatterns in transport networks

abstract: We consider two variational models for transport networks, an urban planning and a branched transport model, in which the degree of network complexity and ramification is governed by a small parameter $\varepsilon>0$. Smaller $\varepsilon$ leads to finer ramification patterns, and we analyse how optimal network patterns in a particular geometry behave as $\varepsilon\to0$ by proving an energy scaling law. This entails providing constructions of near-optimal networks as well as proving that no other construction can do better. The motivation of this analysis is twofold. On the one hand, it provides a better understanding of the transport network models; for instance, it reveals qualitative differences in the ramification patterns of urban planning and branched transport. On the other hand, several examples of variational pattern analysis in the literature use an elegant technique based on relaxation and convex duality. Transport networks provide a relatively simple setting to explore variations and refinements of this technique, thereby increasing the scope of its applicability.


title: $\overline{\mathcal{R}}_{15}$ is of general type

abstract: We prove that the moduli space $\overline{\mathcal{R}}_{15}$ of Prym curves of genus $15$ is of general type. To this end we exhibit a virtual divisor $\overline{\mathcal{D}}_{15}$ on $\overline{\mathcal{R}}_{15}$ as the degeneracy locus of a globalized multiplication map of sections of line bundles. We then proceed to show that this locus is indeed of codimension one and calculate its class. Using this class, we can conclude that $K_{\overline{\mathcal{R}}_{15}}$ is big. This complements a 2010 result of Farkas and Ludwig: now the spaces $\overline{\mathcal{R}}_g$ are known to be of general type for $g \geq 14$.


title: Theoretical Prediction of the Nematic Orbital-Ordered State in Ti-Oxypnictide Superconductor BaTi2(As,Sb)2O

abstract: The electronic nematic state without magnetization emerges in various strongly correlated metals such as Fe-based and cuprate superconductors. To understand this universal phenomenon, we focus on the nematic state in Ti-oxypnictide BaTi2(As,Sb)2O, which is expressed as the three-dimensional 10-orbital Hubbard model. The antiferromagnetic fluctuations are caused by the Fermi surface nesting. Interestingly, we find the spin-fluctuation-driven orbital order due to the strong orbital-spin interference, which is described by the Aslamazov-Larkin vertex correction (AL-VC). The predicted intra-unit-cell nematic orbital order is consistent with the recent experimental reports on BaTi2(As,Sb)2O. Thus, the spin-fluctuation-driven orbital order due to the AL-VC mechanism is expected to be universal in various two- and three-dimensional multiorbital metals.


title: Primordial Black Holes Formation from Particle Production during Inflation

abstract: We study the possibility that particle production during inflation can source the required power spectrum for dark matter (DM) primordial black holes (PBH) formation. We consider the scalar and the gauge quanta production in inflation models, where in the latter case, we focus in two sectors: inflaton coupled i) directly and ii) gravitationally to a $U(1)$ gauge field. We do not assume any specific potential for the inflaton field. Hence, in the gauge production case, in a model independent way we show that the non-production of DM PBHs puts stronger upper bound on the particle production parameter. Our analysis show that this bound is more stringent than the bounds from the bispectrum and the tensor-to-scalar ratio derived by gauge production in these models. In the scenario where the inflaton field coupled to a scalar field, we put an upper bound on the amplitude of the generated scalar power spectrum by non-production of PBHs. As a by-product we also show that the required scalar power spectrum for PBHs formation is lower when the density perturbations are non-Gaussian in comparison to the Gaussian density perturbations.


title: Non-K\"ahler complex structures on $R^4$ II

abstract: We follow our study of non-K\"ahler complex structures on $R^4$ that we defined in a previous paper. We prove that these complex surfaces do not admit any smooth complex compactification. Moreover, we give an explicit description of their meromorphic functions. We also prove that the Picard groups of these complex surfaces are uncountable, and give an explicit description of the canonical bundle. Finally, we show that any connected non-compact oriented 4-manifold admits complex structures without K\"ahler metrics.


title: Hard sphere packings within cylinders

abstract: The packing of hard spheres (HS) of diameter $\sigma$ in a cylinder has been used to model experimental systems, such as fullerenes in nanotubes and colloidal wire assembly. Finding the densest packings of HS under this type of confinement, however, grows increasingly complex with the cylinder diameter, $D$. Little is thus known about the densest achievable packings for $D>2.873\sigma$. In this work, we extend the identification of the packings up to $D=4.00\sigma$ by adapting Torquato-Jiao's adaptive-shrinking-cell formulation and sequential-linear-programming (SLP) technique. We identify 17 new structures, almost all of them chiral. Beyond $D\approx2.85\sigma$, most of the structures consist of an outer shell and an inner core that compete for being close packed. In some cases, the shell adopts its own maximum density configuration, and the stacking of core spheres within it is quasiperiodic. In other cases, an interplay between the two components is observed, which may result in simple periodic structures. In yet other cases, the very distinction between core and shell vanishes, resulting in more exotic packing geometries, including some that are three-dimensional extensions of structures obtained from packing hard disks in a circle.


title: Reflection compensation mediated by electric and magnetic resonances of all-dielectric metasurfaces

abstract: All-dielectric nanostructures have recently emerged as a promising alternative to plasmonic devices, as they also possess pronounced electric and magnetic resonances and allow effective light manipulation. In this work, we study optical properties of a composite structure that consists of a silicon nanoparticle array (metasurface) and high-index substrate aiming at clarifying the role of substrate on reflective properties of the nanoparticles. We develop a simple semi-analytical model that describes interference of separate contributions from nanoparticle array and the bare substrate to the total reflection. Applying this model, we show that matching the magnitudes and setting the {\pi}-phase difference of the electric and magnetic dipole moments induced in nanoparticles, one can obtain a suppression of reflection from the substrate coated with metasurface. We perform numerical simulations of sphere and disk nanoparticle arrays for different permittivities of the substrate. We find full agreement with the semi-analytical results, which means that the uncoupled-element model adequately describes nanostructure reflective properties, despite the effects of induced bi-anisotropy. The model explains the features of the reflectance spectrum, such as a number of dips and their spectral positions, and show why it may not coincide with the spectral positions of Mie resonances of the single nanoparticles forming the system. We also address practical aspects of the antireflective device engineering: we show that the uncoupled-element model is applicable to the structures on top of silicon substrates, including lithographically defined nanopillars. The reflectance suppression from nanoparticle array on top of the silicon substrate can be achieved in a broad spectral range with disordered nanoparticle array and for a wide range of incidence angles.


title: On Characterization of Feasible Interference Regions in Cognitive Radio Networks

abstract: In the state-of-the-art interference management schemes for underlay CRNs, it is considered that all PUs are protected if the cognitive interference for each primary receiving-point is lower than a maximum threshold, the so called interference temperature limit (ITL) for the corresponding receiving-point. This is assumed to be fixed and independent of ITL values for other primary receiving-points, which corresponds to a box-like FCIR. In this paper, we characterize the FCIR for {\em uplink} transmissions in cellular CRNs and for direct transmissions in ad-hoc CRNs. We show that the FCIR is in fact a polyhedron (i.e., the maximum feasible cognitive interference threshold for each primary receiving-point is not a constant, and it depends on that for the other primary receiving-points). Therefore, in practical interference management algorithms, it is not proper to consider a constant and independent ITL value for each of the primary receiving-points. This finding would significantly affect the design of practical interference management schemes for CRNs. To demonstrate this, based on the characterized FCIR, we propose two power control algorithms to find the maximum number of admitted SUs and the maximum aggregate throughput of the SUs in infeasible and feasible CRNs, respectively. For two distinct objectives, our proposed interference management schemes outperform the existing ones.


title: Homeostatic Fluctuations of a Tissue Surface

abstract: We study the surface fluctuations of a tissue with a dynamics dictated by cell-rearrangement, cell-division, and cell-death processes. Surface fluctuations are calculated in the homeostatic state, where cell division and cell death equilibrate on average. The obtained fluctuation spectrum can be mapped onto several other spectra such as those characterizing incompressible fluids, compressible Maxwell elastomers, or permeable membranes in appropriate asymptotic regimes. Since cell division and cell death are out-of-equilibrium processes, detailed balance is broken, but a generalized fluctuation-response relation is satisfied in terms of appropriate observables. Our work is a first step toward the description of the out-of-equilibrium fluctuations of the surface of a thick epithelium and its dynamical response to external perturbations.

categories: physics.bio-ph cond-mat.soft physics.flu-dyn q-bio.TO


title: Low-Complexity SINR Feasibility Checking and Joint Power and Admission Control in Prioritized Multi-tier Cellular Networks

abstract: Next generation cellular networks will consist of multiple tiers of cells and users associated with different network tiers may have different priorities (e.g., macrocell-picocell-femtocell networks with macro tier prioritized over pico tier, which is again prioritized over femto tier). Designing efficient joint power and admission control (JPAC) algorithms for such networks under a co-channel deployment (i.e., underlay) scenario is of significant importance. Feasibility checking of a given target signal-to-noise-plus-interference ratio (SINR) vector is generally the most significant contributor to the complexity of JPAC algorithms in single/multi-tier underlay cellular networks. This is generally accomplished through iterative strategies whose complexity is either unpredictable or of O(M^3), when the well-known relationship between the SINR vector and the power vector is used, where $M$ is the number of users/links. In this paper, we derive a novel relationship between a given SINR vector and its corresponding uplink/downlink power vector based on which the feasibility checking can be performed with a complexity of O(B^3+M B), where B is the number of base stations. This is significantly less compared to O(M^3) in many cellular wireless networks since the number of base stations is generally much lower than the number of users/links in such networks. The developed novel relationship between the SINR and power vector not only substantially reduces the complexity of designing JPAC algorithms, but also provides insights into developing efficient but low-complexity power update strategies for prioritized multi-tier cellular networks. We propose two such algorithms and through simulations, we show that our proposed algorithms outperform the existing ones in prioritized cellular networks.


title: Extensions, matched products, and simple braces

abstract: We show how to construct all the extensions of left braces by ideals with trivial structure. This is useful to find new examples of left braces. But, to do so, we must know the basic blocks for extensions: the left braces with no ideals except the trivial and the total ideal, called simple left braces. In this article, we present the first non-trivial examples of finite simple left braces. To explicitly construct them, we define the matched product of two left braces, which is a useful method to recover a finite left brace from its Sylow subgroups.


title: An analysis of the factors affecting keypoint stability in scale-space

abstract: The most popular image matching algorithm SIFT, introduced by D. Lowe a decade ago, has proven to be sufficiently scale invariant to be used in numerous applications. In practice, however, scale invariance may be weakened by various sources of error inherent to the SIFT implementation affecting the stability and accuracy of keypoint detection. The density of the sampling of the Gaussian scale-space and the level of blur in the input image are two of these sources. This article presents a numerical analysis of their impact on the extracted keypoints stability. Such an analysis has both methodological and practical implications, on how to compare feature detectors and on how to improve SIFT. We show that even with a significantly oversampled scale-space numerical errors prevent from achieving perfect stability. Usual strategies to filter out unstable detections are shown to be inefficient. We also prove that the effect of the error in the assumption on the initial blur is asymmetric and that the method is strongly degraded in presence of aliasing or without a correct assumption on the camera blur.


title: Mean width of regular polytopes and expected maxima of correlated Gaussian variables

abstract: An old conjecture states that among all simplices inscribed in the unit sphere the regular one has the maximal mean width. An equivalent formulation is that for any centered Gaussian vector $(\xi_1,\dots,\xi_n)$ satisfying $\mathbb E\xi_1^2= \dots =\mathbb E\xi_n^2=1$ one has $$ \mathbb E\,\max\{\xi_1,\dots,\xi_n\}\leq\sqrt{\frac{n}{n-1}}\, \mathbb E\,\max\{\eta_1,\dots,\eta_n\}, $$ where $\eta_1,\eta_2,\dots,$ are independent standard Gaussian variables. Using this probabilistic interpretation we derive an asymptotic version of the conjecture. We also show that the mean width of the regular simplex with $2n$ vertices is remarkably close to the mean width of the regular crosspolytope with the same number of vertices. Interpreted probabilistically, our result states that $$ 1\leq\frac{\mathbb E\,\max\{|\eta_1|,\dots,|\eta_n|\}}{\mathbb E\,\max\{\eta_1,\dots,\eta_{2n}\}} \leq\min\left\{\sqrt{\frac{2n}{2n-1}}, \, 1+\frac{C}{n\, \log n} \right\}, $$ where $C>0$ is an absolute constant. We also compute the higher moments of the projection length $W$ of the regular cube, simplex and crosspolytope onto a line with random direction, thus proving several formulas conjectured by S. Finch. Finally, we prove distributional limit theorems for the length of random projection as the dimension goes to $\infty$. In the case of the $n$-dimensional unit cube $Q_n$, we prove that $$ W_{Q_n} - \sqrt{\frac{2n}{\pi}} \overset{d}{\underset{n\to\infty}\longrightarrow} {\mathcal{N}} \left(0, \frac{\pi-3}{\pi}\right), $$ whereas for the simplex and the crosspolytope the limiting distributions are related to the Gumbel double exponential law.


title: Chemodynamical modelling of the Milky Way

abstract: Chemodynamical models of our Galaxy that have analytic Extended Distribution Functions (EDFs) are likely to play a key role in extracting science from surveys in the era of Gaia.


title: Merger Signatures in the Dynamics of Star-forming Gas

abstract: Spatially resolved kinematics have been used to determine the dynamical status of star-forming galaxies with ambiguous morphologies, and constrain the importance of galaxy interactions during the assembly of galaxies. However, measuring the importance of interactions or galaxy merger rates requires knowledge of the systematics in kinematic diagnostics and the visible time with merger indicators. We analyze the dynamics of star-forming gas in a set of binary merger hydrodynamic simulations with stellar mass ratios of 1:1 and 1:4. We find that the evolution of kinematic asymmetries traced by star-forming gas mirrors morphological asymmetries derived from mock optical images, in which both merger indicators show the largest deviation from isolated disks during strong interaction phases. Based on a series of simulations with various initial disk orientations, orbital parameters, gas fractions, and mass ratios, we find that the merger signatures are visible for ~0.2-0.4 Gyr with kinematic merger indicators but can be approximately twice as long for equal-mass mergers of massive gas-rich disk galaxies designed to be analogs of z~2-3 submillimeter galaxies. Merger signatures are most apparent after the second passage and before the black holes coalescence, but in some cases they persist up to several hundred Myr after coalescence. About 20-60% of the simulated galaxies are not identified as mergers during the strong interaction phase, implying that galaxies undergoing violent merging process do not necessarily exhibit highly asymmetric kinematics in their star-forming gas. The lack of identifiable merger signatures in this population can lead to an underestimation of merger abundances in star-forming galaxies, and including them in samples of star-forming disks may bias the measurements of disk properties such as intrinsic velocity dispersion.


title: Nonlinear dynamics and millikelvin cavity-cooling of levitated nanoparticles

abstract: Optomechanical systems explore and exploit the coupling between light and the mechanical motion of matter. A nonlinear coupling offers access to rich new physics, in both the quantum and classical regimes. We investigate a dynamic, as opposed to the usually studied static, nonlinear optomechanical system, comprising of a nanosphere levitated and cooled in a hybrid electro-optical trap. An optical cavity offers readout of both linear-in-position and quadratic-in-position (nonlinear) light-matter coupling, whilst simultaneously cooling the nanosphere to millikelvin temperatures for indefinite periods of time in high vacuum. We observe cooling of the linear and non-linear motion, leading to a $10^5$ fold reduction in phonon number $n_p$, attaining final occupancies of $n_p = 100-1000$. This work puts cavity cooling of a levitated object to the quantum ground-state firmly within reach.


title: Theoretical formalism for collective spin-wave edge excitations in arrays of dipolarly interacting magnetic nanodots

abstract: A general theory of edge spin wave excitations in semi-infinite and finite periodic arrays of magnetic nanodots existing in a spatially uniform magnetization ground state is developed. The theory is formulated using a formalism of multi-vectors of magnetization dynamics, which allows one to study edge excitations in arrays having arbitrary complex primitive cells and lattice geometry. The developed formalism can describe edge excitations localized both at the physical edges of the array and at the internal "domain walls" separating array regions existing in different static magnetization states. Using a perturbation theory in the framework of the developed formalism it is possible to calculate damping of edge modes and their excitation by external variable magnetic fields. The theory is illustrated on the following practically important examples: (i) calculation of the FMR absorption in a finite nanodot array having the shape of a right triangle, (ii) calculation of nonreciprocal spin wave spectra of edge modes, including modes at the physical edges of an array and modes at the domain walls inside an array, (iii) study of the influence of the domain wall modes on the FMR spectrum of an array existing in a non-ideal chessboard antiferromagnetic ground state.


title: Estimates for Weierstrass division in ultradifferentiable classes

abstract: We study the Weierstrass division theorem for function germs in strongly non-quasianalytic Denjoy-Carleman classes $\mathcal{C}_M$. For suitable divisors $P(x,t)=x^d+a_1(t)x^{d-1}+\cdots+a_d(t)$ with real-analytic coefficients $a_j$, we show that the quotient and the remainder can be chosen of class $\mathcal{C}_{M^\sigma}$, where $M^\sigma=((M_j)^\sigma)_{j\geq 0}$ and $\sigma$ is a certain {\L}ojasiewicz exponent $\sigma$ related to the geometry of the roots of $P$ and verifying $1\leq \sigma\leq d$. We provide various examples for which $\sigma$ is optimal, in particular strictly less than $d$, which sharpens earlier results of Bronshtein and of Chaumat-Chollet.


title: Measuring absolute frequencies beyond the GPS limit via long-haul optical frequency dissemination

abstract: Global Positioning System (GPS) dissemination of frequency standards is ubiquitous at present, providing the most widespread time and frequency reference for the majority of industrial and research applications worldwide. On the other hand, the ultimate limits of the GPS presently curb further advances in high-precision, scientific and industrial applications relying on this dissemination scheme. Here, we demonstrate that these limits can be reliably overcome even in laboratories without a local atomic clock by replacing the GPS with a 642-km-long optical fiber link to a remote primary caesium frequency standard. Through this configuration we stably address the $^1$S$_0$---$^3$P$_0$ clock transition in an ultracold gas of $^{173}$Yb, with a precision that exceeds the possibilities of a GPS-based measurement, dismissing the need for a local clock infrastructure to perform high-precision tasks beyond GPS limit. We also report an improvement of two orders of magnitude in the accuracy on the transition frequency reported in literature.

categories: physics.optics cond-mat.quant-gas physics.atom-ph quant-ph


title: Distributed Machine Learning via Sufficient Factor Broadcasting

abstract: Matrix-parametrized models, including multiclass logistic regression and sparse coding, are used in machine learning (ML) applications ranging from computer vision to computational biology. When these models are applied to large-scale ML problems starting at millions of samples and tens of thousands of classes, their parameter matrix can grow at an unexpected rate, resulting in high parameter synchronization costs that greatly slow down distributed learning. To address this issue, we propose a Sufficient Factor Broadcasting (SFB) computation model for efficient distributed learning of a large family of matrix-parameterized models, which share the following property: the parameter update computed on each data sample is a rank-1 matrix, i.e., the outer product of two "sufficient factors" (SFs). By broadcasting the SFs among worker machines and reconstructing the update matrices locally at each worker, SFB improves communication efficiency --- communication costs are linear in the parameter matrix's dimensions, rather than quadratic --- without affecting computational correctness. We present a theoretical convergence analysis of SFB, and empirically corroborate its efficiency on four different matrix-parametrized ML models.


title: Stability conditions for Gelfand-Kirillov subquotients of category O

abstract: Recently, Anno, Bezrukavnikov and Mirkovic have introduced the notion of a "real variation of stability conditions" (which is related to Bridgeland's stability conditions), and construct an example using categories of coherent sheaves on Springer fibers. Here we construct another example of representation theoretic significance, by studying certain sub-quotients of category O with a fixed Gelfand-Kirillov dimension. We use the braid group action on the derived category of category O, and certain leading coefficient polynomials coming from translation functors. Consequently, we use this to explicitly describe a sub-manifold in the space of Bridgeland stability conditions on these sub-quotient categories, which is a covering space of a hyperplane complement in the dual Cartan.


title: Bayesian Network Models for Adaptive Testing

abstract: Computerized adaptive testing (CAT) is an interesting and promising approach to testing human abilities. In our research we use Bayesian networks to create a model of tested humans. We collected data from paper tests performed with grammar school students. In this article we first provide the summary of data used for our experiments. We propose several different Bayesian networks, which we tested and compared by cross-validation. Interesting results were obtained and are discussed in the paper. The analysis has brought a clearer view on the model selection problem. Future research is outlined in the concluding part of the paper.


title: Center manifold application: existence of periodic travelling waves for the 2D $abcd$-Boussinesq system

abstract: In this paper we study the existence of periodic travelling waves for the 2D $abcd$ Boussinesq type system related with the three-dimensional water-wave dynamics in the weakly nonlinear long-wave regime. We show that small solutions that are periodic in the direction of translation (or orthogonal to it) form an infinite-dimensional family, by characterizing these solutions through spatial dynamics when we reduce to a center manifold of infinite dimension and codimension the linearly ill-posed mixed-type initial-value problem. As happens for the Benney-Luke model and the KP II model for wave speed large enough and large surface tension, we show that a unique global solution exists for arbitrary small initial data for the two-component bottom velocity, specified along a single line in the direction of translation (or orthogonal to it). As a consequence of this fact, we show that the spatial evolution of bottom velocity is governed by a dispersive, nonlocal, nonlinear wave equation


title: Thermodynamic properties of a Hubbard model on a cubic cluster - exact diagonalization study at quarter filling

abstract: We study the thermodynamics of a zero-dimensional, cubic cluster described with a Hubbard Hamiltonian, focusing our interest on the magnetic properties. The range in which the studied cluster is paramagnetic is considered. The results are obtained by means of exact numerical diagonalization. Such thermodynamic quantities as entropy, specific heat, magnetic susceptibility, spin-spin correlations and double occupancy are discussed. Particular emphasis is put on the behaviour of local maxima of specific heat and susceptibility, which are analysed in terms of Schottky anomalies.


title: Exact Zero Vacuum Energy in twisted SU(N) Principal Chiral Field

abstract: We present a finite set of equations for twisted PCF model. At the special twist in the root of unity we demonstrate that the vacuum energy is exactly zero at any size L. Also in SU(2) case we numerically calculate the energy of the single particle state with zero rapidity, as a function of L.


title: Experimental observation of a topological band gap opening in ultracold Fermi gases with two-dimensional spin-orbit coupling

abstract: The recent experimental realization of synthetic spin-orbit coupling (SOC) opens a new avenue for exploring novel quantum states with ultracold atoms. However, in experiments for generating two-dimensional SOC (e.g., Rashba type), a perpendicular Zeeman field, which opens a band gap at the Dirac point and induces many topological phenomena, is still lacking. Here we theoretically propose and experimentally realize a simple scheme for generating two-dimension SOC and a perpendicular Zeeman field simultaneously in ultracold Fermi gases by tuning the polarization of three Raman lasers that couple three hyperfine ground states of atoms. The resulting band gap opening at the Dirac point is probed using spin injection radio-frequency spectroscopy. Our observation may pave the way for exploring topological transport and topological superfluids with exotic Majorana and Weyl fermion excitations in ultracold atoms.


title: Globular Cluster Systems in Brightest Cluster Galaxies. II: NGC 6166

abstract: We present new deep photometry of the globular cluster system (GCS) around NGC 6166, the central supergiant galaxy in Abell 2199. HST data from the ACS and WFC3 cameras in F475W, F814W are used to determine the spatial distribution of the GCS, its metallicity distribution function (MDF), and the dependence of the MDF on galactocentric radius and on GC luminosity. The MDF is extremely broad, with the classic red and blue subpopulations heavily overlapped, but a double-Gaussian model can still formally match the MDF closely. The spatial distribution follows a Sersic-like profile detectably to a projected radius of at least $R_{gc} = 250$ kpc. To that radius, the total number of clusters in the system is N_{GC} = 39000 +- 2000, the global specific frequency is S_N = 11.2 +- 0.6, and 57\% of the total are blue, metal-poor clusters. The GCS may fade smoothly into the Intra-Cluster Medium of A2199; we see no clear transition from the core of the galaxy to the cD halo or the ICM. The radial distribution, projected ellipticity, and mean metallicity of the red (metal-richer) clusters match the halo light extremely well for R > 15 kpc, both of them varying as \sigma_{MRGC} ~ \sigma_{light} ~ R^-1.8. By comparison, the blue (metal-poor) GC component has a much shallower falloff \sigma_{MPGC} ~ R^-1.0 and a more nearly spherical distribution. This strong difference in their density distributions produces a net metallicity gradient in the GCS as a whole that is primarily generated by the population gradient. With NGC 6166 we appear to be penetrating into a regime of high enough galaxy mass and rich enough environment that the bimodal two-phase description of GC formation is no longer as clear or effective as it has been in smaller galaxies.


title: A Mathematical Model for Signal's Energy at the Output of an Ideal DAC

abstract: The presented research work considers a mathematical model for energy of the signal at the output of an ideal DAC, in presence of sampling clock jitter. When sampling clock jitter occurs, the energy of the signal at the output of ideal DAC does not satisfies a Parseval identity. Nevertheless, an estimation of the signal energy is here shown by a direct method involving sinc functions.


title: Incremental Truncated LSTD

abstract: Balancing between computational efficiency and sample efficiency is an important goal in reinforcement learning. Temporal difference (TD) learning algorithms stochastically update the value function, with a linear time complexity in the number of features, whereas least-squares temporal difference (LSTD) algorithms are sample efficient but can be quadratic in the number of features. In this work, we develop an efficient incremental low-rank LSTD({\lambda}) algorithm that progresses towards the goal of better balancing computation and sample efficiency. The algorithm reduces the computation and storage complexity to the number of features times the chosen rank parameter while summarizing past samples efficiently to nearly obtain the sample complexity of LSTD. We derive a simulation bound on the solution given by truncated low-rank approximation, illustrating a bias- variance trade-off dependent on the choice of rank. We demonstrate that the algorithm effectively balances computational complexity and sample efficiency for policy evaluation in a benchmark task and a high-dimensional energy allocation domain.


title: The Euclidean quantisation of Kerr-Newman-de Sitter black holes

abstract: We study the family of Einstein-Maxwell instantons associated with the Kerr-Newman metrics with a positive cosmological constant. This leads to a quantisation condition on the masses and charges of the resulting Euclidean solutions.


title: SWIM: Synthesizing What I Mean

abstract: Modern programming frameworks come with large libraries, with diverse applications such as for matching regular expressions, parsing XML files and sending email. Programmers often use search engines such as Google and Bing to learn about existing APIs. In this paper, we describe SWIM, a tool which suggests code snippets given API-related natural language queries such as "generate md5 hash code". We translate user queries into the APIs of interest using clickthrough data from the Bing search engine. Then, based on patterns learned from open-source code repositories, we synthesize idiomatic code describing the use of these APIs. We introduce \emph{structured call sequences} to capture API-usage patterns. Structured call sequences are a generalized form of method call sequences, with if-branches and while-loops to represent conditional and repeated API usage patterns, and are simple to extract and amenable to synthesis. We evaluated SWIM with 30 common C# API-related queries received by Bing. For 70% of the queries, the first suggested snippet was a relevant solution, and a relevant solution was present in the top 10 results for all benchmarked queries. The online portion of the workflow is also very responsive, at an average of 1.5 seconds per snippet.


title: Iterative Instance Segmentation

abstract: Existing methods for pixel-wise labelling tasks generally disregard the underlying structure of labellings, often leading to predictions that are visually implausible. While incorporating structure into the model should improve prediction quality, doing so is challenging - manually specifying the form of structural constraints may be impractical and inference often becomes intractable even if structural constraints are given. We sidestep this problem by reducing structured prediction to a sequence of unconstrained prediction problems and demonstrate that this approach is capable of automatically discovering priors on shape, contiguity of region predictions and smoothness of region contours from data without any a priori specification. On the instance segmentation task, this method outperforms the state-of-the-art, achieving a mean $\mathrm{AP}^{r}$ of 63.6% at 50% overlap and 43.3% at 70% overlap.


title: Closability, regularity, and approximation by graphs for separable bilinear forms

abstract: We consider a countably generated and uniformly closed algebra of bounded functions. We assume that there is a lower semicontinuous, with respect to the supremum norm, quadratic form and that normal contractions operate in a certain sense. Then we prove that a subspace of the effective domain of the quadratic form is naturally isomorphic to a core of a regular Dirichlet form on a locally compact separable metric space. We also show that any Dirichlet form on a countably generated measure space can be approximated by essentially discrete Dirichlet forms, i.e. energy forms on finite weighted graphs, in the sense of Mosco convergence, i.e. strong resolvent convergence.

categories: math.FA math-ph math.MG math.MP math.PR math.SP


title: Particle Conservation in Dynamical Density Functional Theory

abstract: We present the exact adiabatic theory for the dynamics of the inhomogeneous density distribution of a classical fluid. Erroneous particle number fluctuations of dynamical density functional theory are absent, both for canonical and grand canonical initial conditions. We obtain the canonical free energy functional, which yields the adiabatic interparticle forces of overdamped Brownian motion. Using an exact and one of the most advanced approximate hard core free energy functionals, we obtain excellent agreement with simulations. The theory applies to finite systems in and out of equilibrium.


title: Variable Selection in Causal Inference using a Simultaneous Penalization Method

abstract: In the causal adjustment setting, variable selection techniques based on one of either the outcome or treatment allocation model can result in the omission of confounders, which leads to bias, or the inclusion of spurious variables, which leads to variance inflation, in the propensity score. We propose a variable selection method based on a penalized objective function which considers the outcome and treatment assignment models simultaneously. The proposed method facilitates confounder selection in high-dimensional settings. We show that under regularity conditions our method attains the oracle property. The selected variables are used to form a doubly robust regression estimator of the treatment effect. We show that under some conditions our method attains the oracle property. Simulation results are presented and economic growth data are analyzed. Specifically, we study the effect of life expectancy as a measure of population health on the average growth rate of gross domestic product per capita.


title: How Big Can a Black Hole Grow?

abstract: I show that there is a physical limit to the mass of a black hole, above which it cannot grow through luminous accretion of gas, and so cannot appear as a quasar or active galactic nucleus. The limit is Mmax \simeq 5x10^{10}M_sun for typical parameters, but can reach Mmax \simeq 2.7x10^{11}M_sun in extreme cases (e.g. maximal prograde spin). The largest black hole masses so far found are close to but below the limit. The Eddington luminosity \simeq 6.5x10^{48} erg/s corresponding to Mmax is remarkably close to the largest AGN bolometric luminosity so far observed. The mass and luminosity limits both rely on a reasonable but currently untestable hypothesis about AGN disc formation, so future observations of extreme SMBH masses can therefore probe fundamental disc physics. Black holes can in principle grow their masses above Mmax by non-luminous means such as mergers with other holes, but cannot become luminous accretors again. They might nevertheless be detectable in other ways, for example through gravitational lensing. I show further that black holes with masses ~ Mmax can probably grow above the values specified by the black-hole -- host-galaxy scaling relations, in agreement with observation.


title: Herschel-Planck dust optical depth and column density maps - II. Perseus

abstract: We present optical depth and temperature maps of the Perseus molecular cloud, obtained combining dust emission data from the Herschel and Planck satellites and 2MASS/NIR dust extinction maps. The maps have a resolution of 36 arcsec in the Herschel regions, and of 5 arcmin elsewhere. The dynamic range of the optical depth map ranges from $1\times10^{-2}\, \mathrm{mag}$ up to $20 \,\mathrm{mag}$ in the equivalent K band extinction. We also evaluate the ratio between the $2.2 \,\mathrm{\mu m}$ extinction coefficient and the $850 \,\mathrm{\mu m}$ opacity. The value we obtain is close to the one found in the Orion B molecular cloud. We show that the cumulative and the differential area function of the data (which is proportional to the probability distribution function of the cloud column density) follow power laws with index respectively $\simeq -2$, and $\simeq -3$. We use WISE data to improve current YSO catalogues based mostly on \emph{Spitzer} data and we build an up-to-date selection of Class~I/0 objects. Using this selection, we evaluate the local Schmidt law, $\Sigma_{\mathrm{YSO}} \propto \Sigma_{\mathrm{gas}}^{\beta}$, showing that $\beta=2.4 \pm 0.6$. Finally, we show that the area-extinction relation is important for determining the star formation rate in the cloud, which is in agreement with other recent works.


title: The Lyman-Continuum Photon Production Efficiency xi_{ion} of z~4-5 Galaxies from IRAC-based Halpha Measurements: Implications for the Escape Fraction and Cosmic Reionization

abstract: Galaxies represent one of the preferred candidate sources to drive the reionization of the universe. Even as gains are made in mapping the galaxy UV luminosity density to z>6, significant uncertainties remain regarding the conversion to the implied ionizing emissivity. The relevant unknowns are the Lyman-continuum (LyC) photon production efficiency xi_{ion} and the escape fraction f_{esc}. As we show here, the first of these unknowns is directly measureable in z=4-5 galaxies, based on the impact the Halpha line has on the observed IRAC fluxes. By computing a LyC photon production rate from the implied Halpha luminosities for a broad selection of z=4-5 galaxies and comparing this against the dust-corrected UV-continuum luminosities, we provide the first-ever direct estimates of the LyC photon production efficiency xi_{ion} for the z>~4 galaxy population. We find log_{10} xi_{ion}/[Hz/ergs] to have a mean value of 25.27_{-0.03}^{+0.03} and 25.34_{-0.02}^{+0.02} for sub-L* z=4-5 galaxies adopting Calzetti and SMC dust laws, respectively. Reassuringly, both values are consistent with standardly assumed xi_{ion}'s in reionization models, with a slight preference for higher xi_{ion}'s (by ~0.1 dex) adopting the SMC dust law. A modest ~0.03-dex increase in these estimates would result if the escape fraction for ionizing photons is non-zero and galaxies dominate the ionizing emissivity at z~4.4. High values of xi_{ion} (~25.5-25.8 dex) are derived for the bluest galaxies (beta<-2.3) in our samples, independent of dust law and consistent with results for a z=7.045 galaxy. Such elevated values of xi_{ion} would have important consequences, indicating that f_{esc} cannot be in excess of 13% unless the galaxy UV luminosity function does not extend down to -13 mag or the clumping factor is greater than 3. A low escape fraction would fit well with the low rate of LyC leakage observed at z~3.


title: Polarised Black Holes in AdS

abstract: We consider solutions in Einstein-Maxwell theory with a negative cosmological constant that asymptote to global $AdS_{4}$ with conformal boundary $S^{2}\times\mathbb{R}_{t}$. At the sphere at infinity we turn on a space-dependent electrostatic potential, which does not destroy the asymptotic $AdS$ behaviour. For simplicity we focus on the case of a dipolar electrostatic potential. We find two new geometries: (i) an $AdS$ soliton that includes the full backreaction of the electric field on the $AdS$ geometry; (ii) a polarised neutral black hole that is deformed by the electric field, accumulating opposite charges in each hemisphere. For both geometries we study boundary data such as the charge density and the stress tensor. For the black hole we also study the horizon charge density and area, and further verify a Smarr formula. Then we consider this system at finite temperature and compute the Gibbs free energy for both $AdS$ soliton and black hole phases. The corresponding phase diagram generalizes the Hawking-Page phase transition. The $AdS$ soliton dominates the low temperature phase and the black hole the high temperature phase, with a critical temperature that decreases as the external electric field increases. Finally, we consider the simple case of a free charged scalar field on $S^{2}\times\mathbb{R}_{t}$ with conformal coupling. For a field in the $SU(N)$ adjoint representation we compare the phase diagram with the above gravitational system.


title: Contextuality and Wigner function negativity in qubit quantum computation

abstract: We describe a scheme of quantum computation with magic states on qubits for which contextuality is a necessary resource possessed by the magic states. More generally, we establish contextuality as a necessary resource for all schemes of quantum computation with magic states on qubits that satisfy three simple postulates. Furthermore, we identify stringent consistency conditions on such computational schemes, revealing the general structure by which negativity of Wigner functions, hardness of classical simulation of the computation, and contextuality are connected.


title: Creativity in Mind: Evaluating and Maintaining Advances in Network Steganographic Research

abstract: The research discipline of network steganography deals with the hiding of information within network transmissions, e.g. to transfer illicit information in networks with Internet censorship. The last decades of research on network steganography led to more than hundred techniques for hiding data in network transmissions. However, previous research has shown that most of these hiding techniques are either based on the same idea or introduce limited novelty, enabling the application of existing countermeasures. In this paper, we provide a link between the field of creativity and network steganographic research. We propose a framework and a metric to help evaluating the creativity bound to a given hiding technique. This way, we support two sides of the scientific peer review process as both authors and reviewers can use our framework to analyze the novelty and applicability of hiding techniques. At the same time, we contribute to a uniform terminology in network steganography.


title: The K2-ESPRINT Project III: A Close-in Super-Earth around a Metal-rich Mid-M Dwarf

abstract: We validate a $R_p=2.32\pm 0.24R_\oplus$ planet on a close-in orbit ($P=2.260455\pm 0.000041$ days) around K2-28 (EPIC 206318379), a metal-rich M4-type dwarf in the Campaign 3 field of the K2 mission. Our follow-up observations included multi-band transit observations from the optical to the near infrared, low-resolution spectroscopy, and high-resolution adaptive-optics (AO) imaging. We perform a global fit to all the observed transits using a Gaussian process-based method and show that the transit depths in all passbands adopted for the ground-based transit follow-ups ($r'_2, z_\mathrm{s,2}, J, H, K_\mathrm{s}$) are within $\sim 2\sigma$ of the K2 value. Based on a model of the background stellar population and the absence of nearby sources in our AO imaging, we estimate the probability that a background eclipsing binary could cause a false positive to be $< 2\times 10^{-5}$. We also show that K2-28 cannot have a physically associated companion of stellar type later than M4, based on the measurement of almost identical transit depths in multiple passbands. There is a low probability for a M4 dwarf companion ($\approx 0.072_{-0.04}^{+0.02}$), but even if this were the case, the size of K2-28b falls within the planetary regime. K2-28b has the same radius (within $1\sigma$) and experiences a similar irradiation from its host star as the well-studied GJ~1214b. Given the relative brightness of K2-28 in the near infrared ($m_\mathrm{Kep}=14.85$ mag and $m_H=11.03$ mag) and relatively deep transit ($0.6-0.7\%$), a comparison between the atmospheric properties of these two planets with future observations would be especially interesting.


title: On the ${\cal{U}}_{q}[osp(1|2)]$ Temperley-Lieb model

abstract: This work concerns the boundary integrability of the ${\cal{U}}_{q}[osp(1|2)]$ Temperley-Lieb model. We constructed the solutions of the graded reflection equations in order to determine the boundary terms of the correspondig spin-1 Hamiltonian. We obtain the eigenvalue expressions as well as its associated Bethe ansatz equations by means of the coordinate Bethe ansatz. These equations provide the complete description of the spectrum of the model with diagonal integrable boundaries.


title: Parametric Integration by Magic Point Empirical Interpolation

abstract: We derive analyticity criteria for explicit error bounds and an exponential rate of convergence of the magic point empirical interpolation method introduced by Barrault et al. (2004). Furthermore, we investigate its application to parametric integration. We find that the method is well-suited to Fourier transforms and has a wide range of applications in such diverse fields as probability and statistics, signal and image processing, physics, chemistry and mathematical finance. To illustrate the method, we apply it to the evaluation of probability densities by parametric Fourier inversion. Our numerical experiments display convergence of exponential order, even in cases where the theoretical results do not apply.


title: A Discussion on the Transmission Conditions for Saturated Fluid Flow Through Porous Media With Fractal Microstructure

abstract: The present work is aimed to find suitable exchange conditions for saturated fluid flow in a porous medium, when a fractal microstructure is embedded in the porous matrix. Two different deterministic models are introduced and rigorously analyzed. Also, numerical experiments for each of them are presented to verify the theoretically predicted behavior of the phenomenon and some probabilistic versions are explored numerically, to gain further insight on the phenomenon.


title: Some Epistemological Problems with the Knowledge Level in Cognitive Architectures

abstract: This article addresses an open problem in the area of cognitive systems and architectures: namely the problem of handling (in terms of processing and reasoning capabilities) complex knowledge structures that can be at least plausibly comparable, both in terms of size and of typology of the encoded information, to the knowledge that humans process daily for executing everyday activities. Handling a huge amount of knowledge, and selectively retrieve it ac- cording to the needs emerging in different situational scenarios, is an important aspect of human intelligence. For this task, in fact, humans adopt a wide range of heuristics (Gigerenzer and Todd) due to their bounded rationality (Simon, 1957). In this perspective, one of the re- quirements that should be considered for the design, the realization and the evaluation of intelligent cognitively inspired systems should be represented by their ability of heuristically identify and retrieve, from the general knowledge stored in their artificial Long Term Memory (LTM), that one which is synthetically and contextually relevant. This require- ment, however, is often neglected. Currently, artificial cognitive systems and architectures are not able, de facto, to deal with complex knowledge structures that can be even slightly comparable to the knowledge heuris- tically managed by humans. In this paper I will argue that this is not only a technological problem but also an epistemological one and I will briefly sketch a proposal for a possible solution.


title: Maths Meets Myths: Network Investigations of Ancient Narratives

abstract: Three years ago, we initiated a programme of research in which ideas and tools from statistical physics and network theory were applied to the field of comparative mythology. The eclecticism of the work, together with the perspectives it delivered, led to widespread media coverage and academic discussion. Here we review some aspects of the project, contextualised with a brief history of the long relationship between science and the humanities. We focus in particular on an Irish epic, summarising some of the outcomes of our quantitative investigation. We also describe the emergence of a new sub-discipline and our hopes for its future.


title: A resolution of the puzzle of low V_us values from inclusive flavor-breaking sum rule analyses of hadronic tau decay

abstract: Continuum and lattice methods are used to investigate systematic issues in the sum rule determination of $V_{us}$ using inclusive hadronic $\tau$ decay data. Results for $V_{us}$ employing assumptions for $D>4$ OPE contributions used in previous conventional implementations of this approach are shown to display unphysical dependence on the sum rule weight, $w$, and choice of upper limit, $s_0$, of the relevant experimental spectral integrals. Continuum and lattice results suggest a new implementation of the sum rule approach with not just $\vert V_{us}\vert$, but also $D>4$ effective condensates, fit to data. Lattice results are also shown to provide a quantitative assessment of truncation uncertainties for the slowly converging $D=2$ OPE series. The new sum rule implementation yields $\vert V_{us}\vert$ results free of unphysical $s_0$- and $w$-dependences and $\sim 0.0020$ higher than that obtained using the conventional implementation. With preliminary new experimental results for the $K\pi$ branching fraction, the resulting $\vert V_{us}\vert$ is in excellent agreement with that based on $K_{\ell 3}$, and compatible within errors with expectations from three-family unitarity.


title: Dimension counts for singular rational curves via semigroups

abstract: We study singular rational curves in projective space, deducing conditions on their parametrizations from the value semigroups $\sss$ of their singularities. In particular, we prove that a natural heuristic for the codimension of the space of nondegenerate rational curves of arithmetic genus $g>0$ and degree $d$ in $\mb{P}^n$, viewed as a subspace of all degree-$d$ rational curves in $\mb{P}^n$, holds whenever $g$ is small. On the other hand, we show that this heuristic fails in general, by exhibiting an infinite family of examples of Severi-type varieties of rational curves containing "excess" components of dimension strictly larger than the space of $g$-nodal rational curves.


title: Modulation and diurnal variation in axionic dark matter searches

abstract: In the present work we study possible time dependent effects in Axion Dark Matter searches employing resonant cavities. We find that the width of the resonance, which depends on the axion mean square velocity in the local frame, will show an annual variation due to the motion of the Earth around the sun (modulation). Furthermore, if the experiments become directional, employing suitable resonant cavities, one expects large asymmetries in the observed widths relative to the sun's direction of motion. Due to the rotation of the Earth around its axis, these asymmetries will manifest themselves as a diurnal variation in the observed width.


title: The KLT relations in unimodular gravity

abstract: With this article, we initiate a systematic study of some of the symmetry properties of unimodular gravity, building on much of the known structure of general relativity, and utilising the powerful technology developed in that context. In particular, we show, up to four-points and tree-level, that the KLT relations of perturbative gravity hold for tracefree or unimodular gravity.


title: IceCube Constraints on Fast-Spinning Pulsars as High-Energy Neutrino Sources

abstract: Relativistic winds of fast-spinning pulsars have been proposed as a potential site for cosmic-ray acceleration from very high energies (VHE) to ultrahigh energies (UHE). We re-examine conditions for high-energy neutrino production, considering the interaction of accelerated particles with baryons of the expanding supernova ejecta and the radiation fields in the wind nebula. We make use of the current IceCube sensitivity in diffusive high-energy neutrino background, in order to constrain the parameter space of the most extreme neutron stars as sources of VHE and UHE cosmic rays. We demonstrate that the current non-observation of $10^{18}$ eV neutrinos put stringent constraints on the pulsar scenario. For a given model, birthrates, ejecta mass and acceleration efficiency of the magnetar sources can be constrained. When we assume a proton cosmic ray composition and spherical supernovae ejecta, we find that the IceCube limits almost exclude their significant contribution to the observed UHE cosmic-ray flux. Furthermore, we consider scenarios where a fraction of cosmic rays can escape from jet-like structures piercing the ejecta, without significant interactions. Such scenarios would enable the production of UHE cosmic rays and help remove the tension between their EeV neutrino production and the observational data.


title: An advanced leakage scheme for neutrino treatment in astrophysical simulations

abstract: We present an Advanced Spectral Leakage (ASL) scheme to model neutrinos in the context of core-collapse supernovae and compact binary mergers. Based on previous gray leakage schemes, the ASL scheme computes the neutrino cooling rates by interpolating local production and diffusion rates (relevant in optically thin and thick regimes, respectively), separately for discretized values of the neutrino energy. Neutrino trapped components are also modeled, based on equilibrium and timescale arguments. The better accuracy achieved by the spectral treatment allows a more reliable computation of neutrino heating rates in optically thin conditions. The scheme has been calibrated and tested against Boltzmann transport in the context of Newtonian spherically symmetric models of core-collapse supernovae. ASL shows a very good qualitative and a partial quantitative agreement, for key quantities from collapse to a few hundreds of milliseconds after core bounce. We have proved the adaptability and flexibility of our ASL scheme coupling it to an axisymmetric Eulerian and to a three-dimensional SPH code to simulate core-collapse. Therefore, the neutrino treatment presented here is ideal for large parameter-space explorations, parametric studies, high-resolution tests, code developments, and long-term modeling of asymmetric configurations, where more detailed neutrino treatments are not available or currently computationally too expensive.


title: Complete reducibility of subgroups of reductive algebraic groups over nonperfect fields 1

abstract: Let $k$ be a nonperfect field of characteristic $2$. Let $G$ be a $k$-split simple algebraic group of type $E_6$ (or $G_2$) defined over $k$. In this paper, we present the first examples of nonabelian non-$G$-completely reducible $k$-subgroups of $G$ which are $G$-completely reducible over $k$. Our construction is based on that of subgroups of $G$ acting non-separably on the unipotent radical of a proper parabolic subgroup of $G$ in our previous work. We also present examples with the same property for a non-connected reductive group $G$. Along the way, several general results concerning complete reducibility over nonperfect fields are proved using the recently proved Tits center conjecture for spherical buildings. In particular, we show that under mild conditions a $k$-subgroup of $G$ is pseudo-reductive if it is $G$-completely reducible over $k$.