title: Some loose ends on unbounded order convergence

abstract: The notion of almost everywhere convergence has been generalized to vector lattices as unbounded order convergence, which proves a very useful tool in the theory of vector and Banach lattices. In this short note, we establish some new results on unbounded order convergence that tie up some loose ends. In particular, we show that every norm bounded positive increasing net in an order continuous Banach lattice is uo-Cauchy and that every uo-Cauchy net in an order continuous Banach lattice has a uo-limit in the universal completion.


title: Locally Compact Stone Duality

abstract: We prove a number of dualities between posets and (pseudo)bases of open sets in locally compact Hausdorff spaces. In particular, we show that (1) Relatively compact basic sublattices are finitely axiomatizable. (2) Relatively compact basic subsemilattices are those omitting certain types. (3) Compact clopen pseudobasic posets are characterized by separativity. We also show how to obtain the tight spectrum of a poset as the Stone space of a generalized Boolean algebra that is universal for tight representations.


title: Type checking through unification

abstract: In this paper we describe how to leverage higher-order unification to type check a dependently typed language with meta-variables. The literature usually presents the unification algorithm as a standalone component, however the need to check definitional equality of terms while type checking gives rise to a tight interplay between type checking and unification. This interplay is a major source of complexity in the type-checking algorithm for existing dependently typed programming languages. We propose an algorithm that encodes a type-checking problem entirely in the form of unification constraints, reducing the complexity of the type-checking code by taking advantage of higher order unification, which is already part of the implementation of many dependently typed languages.


title: Accumulation Rate of Bound States of Dipoles Generated by Point Charges in Strained Graphene

abstract: We consider strained graphene, modelled by the two-dimensional massive Dirac operator, with potentials corresponding to charge distributions with vanishing total charge, non-vanishing dipole moment and finitely many point charges of subcritical coupling constants located in the graphene sheet. We show that the bound state energies accumulate exponentially fast at the edges of the spectral gap by determining the leading order of the accumulation rate.


title: Roundness of grains in cellular microstructures

abstract: Many physical systems are composed of polyhedral cells of varying sizes and shapes. These structures are simple in the sense that no more than three faces meet at an edge and no more than four edges meet at a vertex. This means that individual cells can usually be considered as simple, three-dimensional polyhedra. This paper is concerned with determining the distribution of combinatorial types of such polyhedral cells. We introduce the terms \emph{fundamental} and \emph{vertex-truncated} types and apply these concepts to the grain growth microstructure as a testing ground. For these microstructures we demonstrate that most grains are of particular fundamental types, whereas the frequency of vertex-truncated types decreases exponentially with the number of truncations. This can be explained by the evolutionary process through which grain growth structures are formed, and in which energetically unfavorable surfaces are quickly eliminated. Furthermore, we observe that these grain types are `round' in a combinatorial sense: there are no `short' separating cycles that partition the polyhedra into two parts of similar sizes. A particular microstructure derived from the Poisson--Voronoi initial condition is identified as containing an unusually large proportion of round grains. This Round microstructure has an average of $14.036$ faces per grain, and is conjectured to be more resistant to topological change than the steady-state grain growth microstructure.


title: Light-mediated cascaded locking of multiple nano-optomechanical oscillators

abstract: Collective phenomena emerging from non-linear interactions between multiple oscillators, such as synchronization and frequency locking, find applications in a wide variety of fields. Optomechanical resonators, which are intrinsically non-linear, combine the scientific assets of mechanical devices with the possibility of long distance controlled interactions enabled by travelling light. Here we demonstrate light-mediated frequency locking of three distant nano-optomechanical oscillators positioned in a cascaded configuration. The oscillators, integrated on a chip along a coupling waveguide, are optically driven with a single laser and oscillate at gigahertz frequency. Despite an initial frequency disorder of hundreds of kilohertz, the guided light locks them all with a clear transition in the optical output. The experimental results are described by Langevin equations, paving the way to scalable cascaded optomechanical configurations.


title: A deep representation for depth images from synthetic data

abstract: Convolutional Neural Networks (CNNs) trained on large scale RGB databases have become the secret sauce in the majority of recent approaches for object categorization from RGB-D data. Thanks to colorization techniques, these methods exploit the filters learned from 2D images to extract meaningful representations in 2.5D. Still, the perceptual signature of these two kind of images is very different, with the first usually strongly characterized by textures, and the second mostly by silhouettes of objects. Ideally, one would like to have two CNNs, one for RGB and one for depth, each trained on a suitable data collection, able to capture the perceptual properties of each channel for the task at hand. This has not been possible so far, due to the lack of a suitable depth database. This paper addresses this issue, proposing to opt for synthetically generated images rather than collecting by hand a 2.5D large scale database. While being clearly a proxy for real data, synthetic images allow to trade quality for quantity, making it possible to generate a virtually infinite amount of data. We show that the filters learned from such data collection, using the very same architecture typically used on visual data, learns very different filters, resulting in depth features (a) able to better characterize the different facets of depth images, and (b) complementary with respect to those derived from CNNs pre-trained on 2D datasets. Experiments on two publicly available databases show the power of our approach.


title: Magnetic BV functions and the Bourgain-Brezis-Mironescu formula

abstract: We prove a general magnetic Bourgain-Brezis-Mironescu formula. In particular, after developing a theory of magnetic bounded variation functions, we prove the validity of the formula in this class.


title: Electronic transport modulation on few-layers suspended MoS$_2$ under strain

abstract: The production of new sensors, transducers and electronic components can benefit from the possibility to alter the electronic transport of metal-semicondutor-metal (MSM) devices. 2D materials are extremely appealing for those new technologies. This can determined by several phenomena as piezoelectric effect, piezoresistive effect and modulation of Schottky barrier. In particular, MoS$_2$, among other Transition Metal Dichalcogenides (TMDs), is predicted to show a transition from semiconductor to metal under strain. In this article we present measurements on the modulation of electronic transport on few layer MoS$_2$ suspended ribbons under uniaxial tensile strain. Experimentally observed changes in the two terminal IV curves can be explained in terms of band gap closing in the semiconductor. A maximum gauge factor of 240 is achieved for a 3-layer ribbon. We also report on the fabrication process that allows to apply high strains to suspended MoS$_2$ ribbons, paving the way to future studies on the effect of strain in 2D materials.


title: Modelling observed decay-less oscillations as resonantly enhanced Kelvin-Helmholtz vortices from transverse MHD waves and their seismological application

abstract: In the highly structured solar corona, resonant absorption is an unavoidable mechanism of energy transfer from global transverse MHD waves to local azimuthal Alfv\'en waves. Due to its localised nature, a direct detection of this mechanism is extremely difficult. Yet, it is the leading theory explaining the observed fast damping of the global transverse waves. However, at odds with this theoretical prediction, recent observations indicate that in the low amplitude regime such transverse MHD waves can also appear decay-less, a yet unsolved phenomenon. Recent numerical work has shown that Kelvin-Helmholtz instabilities (KHI) often accompany transverse MHD waves. In this work, we combine 3D MHD simulations and forward modelling to show that for currently achieved spatial resolution and observed small amplitudes, an apparent decay-less oscillation is obtained. This effect results from the combination of periodic brightenings produced by the KHI and the coherent motion of the KHI vortices amplified by resonant absorption. Such effect is especially clear in emission lines forming at temperatures that capture the boundary dynamics rather than the core, and reflects the low damping character of the local azimuthal Alfv\'en waves resonantly coupled to the kink mode. Due to phase mixing, the detected period can vary depending on the emission line, with those sensitive to the boundary having shorter periods than those sensitive to the loop core. This allows to estimate the density contrast at the boundary.


title: Holographic superconductor with momentum relaxation and Weyl correction

abstract: We construct a holographic model with Weyl corrections in five dimensional spacetime. In particular, we introduce a coupling term between the axion fields and the Maxwell field such that the momentum is relaxed even in the probe limit in this model. We investigate the Drude behavior of the optical conductivity in low frequency region. It is interesting to find that the incoherent part of the conductivity is suppressed with the increase of the axion parameter $k/T$, which is in contrast to other holographic axionic models at finite density. Furthermore, we study the superconductivity associated with the condensation of a complex scalar field and evaluate the critical temperature for condensation in both analytical and numerical manner. It turns out that the critical temperature decreases with $\tilde{k}$,indicating that the condensation becomes harder in the presence of the axions, while it increases with Weyl parameter $\gamma$. We also discuss the change of the gap in optical conductivity with coupling parameters. Finally, we evaluate the charge density of the superfluid in zero temperature limit, and find that it exhibits a linear relation with $\tilde{\sigma}_{DC}(\tilde{T_c})\tilde{T_c}$, such that a modified version of Homes' law is testified.


title: Jolie Community on the Rise

abstract: Jolie is a programming language that follows the microservices paradigm. As an open source project, it has built a community of developers worldwide - both in the industry as well as in academia - taken care of the development, continuously improved its usability, and therefore broadened the adoption. In this paper, we present some of the most recent results and work in progress that has been made within our research team.


title: ZZ production in gluon fusion at NLO matched to parton-shower

abstract: We present a calculation of the next-to-leading order (NLO) QCD corrections to the hadroproduction process $gg\to ZZ \to e^+e^- \mu^+ \mu^-$, matched to the parton shower in the POWHEG framework. We take advantage of the POWHEG BOX tool for the implementation and rely on PYTHIA 8 for the showering and hadronization stages. We fully include $\gamma^*/Z$ interference effects, while also covering the single-resonant region. For this phenomenological study we focus on four lepton production as a signal process, neglecting all quark mass effects as well as the Higgs-mediated contributions, which are known to be subdominant in this case. We provide predictions from our simulations for the 13 TeV LHC Run II setup, including realistic experimental cuts.


title: Skin Normal Force Calibration Using Vacuum Bags

abstract: The paper presents a proof of concept to calibrate iCub's skin using vacuum bags. The method's main idea consists in inserting the skin in a vacuum bag, and then decreasing the pressure in the bag to create a uniform pressure distribution on the skin surface. Acquisition and data processing of the bag pressure and sensors' measured capacitance allow us to characterize the relationship between the pressure and the measured capacitance of each sensor. After calibration, integration of the pressure distribution over the skin geometry provides us with the net normal force applied to the skin. Experiments are conducted using the forearm skin of the iCub humanoid robot, and validation results indicate acceptable average errors in force prediction.


title: Twisted spacetime in Einstein gravity

abstract: We find a vacuum stationary twisted solution in four-dimensional Einstein gravity. Its frame dragging angular velocities are antisymmetric with respect to the equatorial plane. It possesses a symmetry of joint inversion of time and parity with respect to the equatorial plane. Its Arnowitt-Deser-Misner (ADM) mass and angular momentum are zero. It is curved but regular all over the manifold. Its Komar mass and Komar angular momentum are also zero. Its infinite red-shift surface coincides with its event horizon, since the event horizon does not rotate. Furthermore we extend this solution to the massive case, and find some similar properties. This solution is a stationary axisymmetric solution, but not Kerr. It explicitly proves that pure Einstein gravity permits different rotational mode other than Kerr. Our results demonstrate that the Einstein theory may have much more rich structures than what we ever imagine.


title: Photoionisation of Cl$^+$ from the $3s^23p^4\;^3P_{2,1,0}$ and the$3s^23p^4\;^1D_2, ^1S_0$ states in the energy range 19 - 28 eV

abstract: Absolute photoionisation cross sections for the Cl$^+$ ion in its ground and the metastable states; $3s^2 3p^4\; ^3P_{2,1,0}$, and $3s^2 3p^4\; ^1D_2,\; ^1S_0$, were measured recently at the Advanced Light Source ALS) at Lawrence Berkeley National Laboratory using the merged beams photon-ion technique at an photon energy resolution of 15 meV in the energy range 19 -- 28 eV. These measurements are compared with large-scale Dirac Coulomb {\it R}-matrix calculations in the same energy range. Photoionisation of this sulphur-like chlorine ion is characterized by multiple Rydberg series of autoionizing resonances superimposed on a direct photoionisation continuum. A wealth of resonance features observed in the experimental spectra are spectroscopically assigned and their resonance parameters tabulated and compared with the recent measurements. Metastable fractions in the parent ion beam are determined from the present study. Theoretical resonance energies and quantum defects of the prominent Rydberg series $3s^2 3p^3 nd$, identified in the spectra as $3p\rightarrow nd$ transitions are compared with the available measurements made on this element. Weaker Rydberg series $3s^2 3p^3 ns$, identified as $3p \rightarrow ns$ transitions and window resonances $3s3p^4 (^4P)np$ features, due to $3s \rightarrow np$ transitions are also found in the spectra.


title: Composing decoherence functionals

abstract: Quantum Measure Theory (QMT) is a generalization of quantum theory where physical predictions are computed from a matrix known as \emph{decoherence functional} (DF). Previous works have noted that, in its original formulation, QMT exhibits a problem with composability, since the composition of two decoherence functionals is, in general, not a valid decoherence functional. This does not occur when the DFs in question happen to be positive semidefinite (a condition known as strong positivity). In this paper, we study the concept of composability of DFs and its consequences for QMT. Firstly, we show that the problem of composability is much deeper than originally envisaged, since, for any $n$, there exists a DF that can co-exist with $n-1$ copies of itself, but not with $n$. Secondly, we prove that the set of strongly positive DFs cannot be enlarged while remaining closed under composition. Furthermore, any closed set of DFs containing all quantum DFs can only contain strongly positive DFs.


title: Distinguishing Galois representations by their normalized traces

abstract: Suppose \( \rho_1 \) and \( \rho_2 \) are two pure Galois representations of the absolute Galois group of a number field $K$ of weights \( k_1 \) and \( k_2 \) respectively, having equal normalized Frobenius traces \( Tr(\rho_1(\sigma_v)) /Nv^{k_1/2}\) and \( Tr(\rho_2(\sigma_v)) /Nv^{k_2/2}\) at a set of primes \( v\) of $K$ with positive upper density. Assume further that the algebraic monodromy group of $\rho_1$ is connected and the repesentation is absolutely irreducible. We prove that \( \rho_1 \) and \( \rho_2 \) are twists of each other by power of a Tate twist times a character of finite order. We apply this to modular forms and deduce a result proved by Murty and Pujahari.


title: Efficient simulation for dependent rare events with applications to extremes

abstract: We consider the general problem of estimating probabilities which arise as a union of dependent events. We propose a flexible series of estimators for such probabilities, and describe variance reduction schemes applied to the proposed estimators. We derive efficiency results of the estimators in rare-event settings, in particular those associated with extremes. Finally, we examine the performance of our estimators in a numerical example.


title: Revisiting 802.11 Rate Adaptation from Energy Consumption's Perspective

abstract: Rate adaptation in 802.11 WLANs has received a lot of attention from the research community, with most of the proposals aiming at maximising throughput based on network conditions. Considering energy consumption, an implicit assumption is that optimality in throughput implies optimality in energy efficiency, but this assumption has been recently put into question. In this paper, we address via analysis and experimentation the relation between throughput performance and energy efficiency in multi-rate 802.11 scenarios. We demonstrate the trade-off between these performance figures, confirming that they may not be simultaneously optimised, and analyse their sensitivity towards the energy consumption parameters of the device. Our results provide the means to design novel rate adaptation schemes that takes energy consumption into account.


title: Pair Production, Vacuum Polarization and Anomaly in (A)dS and Charged Black Holes

abstract: We explore the connection between the distribution of particles spontaneously produced from an electric field or black hole and the vacuum persistence, twice the imaginary part of the one-loop effective action. Employing the reconstruction conjecture, we find the effective action for the Bose-Einstein or Fermi-Dirac distribution. The Schwinger effect in ${\rm AdS}_2$ is computed via the phase-integral method in the static coordinates. The Hawking radiation and Schwinger effect of a charged black hole is rederived and interpreted via the phase-integral. Finally, we discuss the relation between the vacuum persistence and the trace or gravitational anomalies.


title: On the Complexity of Bounded Context Switching

abstract: Bounded context switching (BCS) is an under-approximate method for finding violations to safety properties in shared memory concurrent programs. Technically, BCS is a reachability problem that is known to be NP-complete. Our contribution is a parameterized analysis of BCS. The first result is an algorithm that solves BCS when parameterized by the number of context switches (cs) and the size of the memory (m) in O*(m^(cs)2^(cs)). This is achieved by creating instances of the easier problem Shuff which we solve via fast subset convolution. We also present a lower bound for BCS of the form m^o(cs / log(cs)), based on the exponential time hypothesis. Interestingly, closing the gap means settling a conjecture that has been open since FOCS'07. Further, we prove that BCS admits no polynomial kernel. Next, we introduce a measure, called scheduling dimension, that captures the complexity of schedules. We study BCS parameterized by the scheduling dimension (sdim) and show that it can be solved in O*((2m)^(4sdim)4^t)$, where t is the number of threads. We consider variants of the problem for which we obtain (matching) upper and lower bounds.


title: Composition operators on the discrete analogue of generalized Hardy space on homogenous trees

abstract: In this paper, we study the basic properties such as boundedness and compactness of composition operators on discrete analogue of generalized Hardy space defined on a homogeneous rooted tree. Also, we compute the operator norm of composition operator when inducing symbol is automorphism of a homogenous tree.


title: Cosmology with the CMB temperature-polarization correlation

abstract: We demonstrate that the cosmic microwave background (CMB) temperature-polarization cross-correlation provides accurate and robust constraints on cosmological parameters. We compare them with the results from temperature or polarization and investigate the impact of foregrounds, cosmic variance, and instrumental noise. This analysis makes use of the Planck high-multipole HiLLiPOP likelihood based on angular power spectra, which takes into account systematics from the instrument and foreground residuals directly modelled using Planck measurements. The temperature-polarization correlation (TE) spectrum is less contaminated by astrophysical emissions than the temperature power spectrum (TT), allowing constraints that are less sensitive to foreground uncertainties to be derived. For {\Lambda}CDM parameters, TE gives very competitive results compared to TT. For basic {\Lambda}CDM model extensions (such as AL, {\Sigma}m{\nu}, or Neff ), it is still limited by the instrumental noise level in the polarization maps.


title: Experimental nonlocality-based network diagnostics of mutipartite entangled states

abstract: Quantum networks of growing complexity play a key role as resources for quantum computation; the ability to identify the quality of their internal correlations will play a crucial role in addressing the buiding stage of such states. We introduce a novel diagnostic scheme for multipartite networks of entangled particles, aimed at assessing the quality of the gates used for the engineering of their state. Using the information gathered from a set of suitably chosen multiparticle Bell tests, we identify conditions bounding the quality of the entangled bonds among the elements of a register. We demonstrate the effectiveness, flexibility, and diagnostic power of the proposed methodology by characterizing a quantum resource engineered combining two-photon hyperentanglement and photonic-chip technology. Our approach is feasible for medium-sized networks due to the intrinsically modular nature of cluster states, and paves the way to section-by-section analysis of large photonics resources.


title: Two-jet astrosphere model: effect of azimuthal magnetic field

abstract: Opher et al. (2015), Drake et al. (2015) have shown that the heliospheric magnetic field results in formation of two-jet structure of the solar wind flow in the inner heliosheath, i.e. in the subsonic region between the heliospheric termination shock and the heliopause. In this scenario the heliopause has a tube-like topology as compared with a sheet-like topology in the most models of the global heliosphere (e.g. Izmodenov and Alexashov, 2015). In this paper we explore the two-jet scenario for a simplified astrosphere in which 1) the star is at rest with respect to the circumstellar medium, 2) radial magnetic field is neglected as compared with azimuthal component, 3) the stellar wind outflow is assumed to be hypersonic (both the Mach number and the Alfv\'enic Mach number are much greater than unity at the inflow boundary). We have shown that the problem can be formulated in dimensionless form, in which the solution depends only on one dimensionless parameter epsilon that is reciprocal of the Alfv\'enic Mach number at the inflow boundary. This parameter is proportional to stellar magnetic field. We present the numerical solution of the problem for various values of epsilon. Three first integrals of the governing ideal MHD equations are presented, and we make use of them in order to get the plasma distribution in the jets. Simple relations between distances to the termination shock, astropause and the size of the jet are established. These relations allow us to determine the stellar magnetic field from the geometrical pattern of the jet-like astrosphere.


title: Inverse curvature flow in anti-de Sitter-Schwarzschild manifold

abstract: In this paper, we consider the inverse hessian quotient curvature flow with star-shaped initial hypersurface in anti-de Sitter-Schwarzschild manifold. We prove that the solution exists for all time, and the second fundamental form converges to identity exponentially fast.


title: Deceleration of a supersonic beam of SrF molecules to 120 m/s

abstract: We report on the deceleration of a beam of SrF molecules from 290 to 120~m/s. Following supersonic expansion, the molecules in the $X^2\Sigma$ ($v=0$, $N=1$) low-field seeking states are trapped by the moving potential wells of a traveling-wave Stark decelerator. With a deceleration strength of 9.6 km/s$^2$ we have demonstrated the removal of 85 % of the initial kinetic energy in a 4 meter long modular decelerator. The absolute amount of kinetic energy removed is a factor 1.5 higher compared to previous Stark deceleration experiments. The demonstrated decelerator provides a novel tool for the creation of highly collimated and slow beams of heavy diatomic molecules, which serve as a good starting point for high-precision tests of fundamental physics.


title: The potential of discrimination methods in a high pressure xenon TPC for the search of the neutrinoless double-beta decay of Xe-136

abstract: In the search for the neutrinoless double beta decay of $^{136}$Xe, a high pressure xenon time projection chamber (HPXe-TPC) has two advantages over liquid xenon TPCs: a better energy resolution and the access to topological features, which may provide extra discrimination from background events. The PandaX-III experiment has recently proposed a 200 kg HPXe-TPC based on Micromegas readout planes, to be located at the Jinping Underground Laboratory in China. Its detection concept is based on two results obtained within the T-REX project: Micromegas readouts can be built with extremely low levels of radioactivity; and the operation in xenon-trimethylamine at 10 bar in realistic experimental conditions has proven an energy resolution of 3% FWHM at the region of interest. In this work, two discrimination methods are applied to simulated signal and background data in a generic 200 kg HPXe-TPC, based on two well-known algorithms of graph theory: the identification of connections and the search for the longest path. Rejection factors greater than 100 are obtained for small pixel sizes and a signal efficiency of 40%. Moreover, a new observable (the blob charge density) rejects better surface contaminations, which makes the use of a trigger signal ($T_0$) not imperative in this experiment.


title: Time decay for solutions to the Stokes equations with drift

abstract: In this note, we study the behaviour of Lebesgue norms $\|v(\cdot,t)\|_p$ of solutions $v$ to the Cauchy problem for the Stokes system with drift $u$, which is supposed to be a divergence free smooth vector valued function satisfying a scale invariant condition.


title: The role of sample height in the stacking diagram of colloidal mixtures under gravity

abstract: Bulk phase separation is responsible for the occurrence of stacks of different layers in sedimentation of colloidal mixtures. A recently proposed theory (de las Heras and Schmidt 2013 Soft Matter 9 8636) establishes a unique connection between the bulk phase behaviour and sedimentation-diffusion-equilibrium. The theory constructs a stacking diagram of all possible sequences of stacks under gravity in the limit of very high (infinite) sample heights. Here, we study the stacking diagrams of colloidal mixtures at finite sample height, h. We demonstrate that h plays a vital role in sedimentation-diffusion-equilibrium of colloidal mixtures. The region of the stacking diagram occupied by a given sequence of stacks depends on h. Hence, two samples with different heights but identical colloidal concentrations can develop different stacking sequences. In addition, the stacking diagrams for different heights can be qualitatively different since some stacking sequences occur only in a given interval of sample heights. We use the theory to investigate the stacking diagrams of both model bulk systems and mixtures of patchy particles that differ either by the number or by the types of patches.


title: Exclusive $J/\psi$ process tamed to probe the low $x$ gluon

abstract: We address the question as to whether data for J/\psi mesons produced exclusively in the forward direction at the LHC can be used in global parton analyses (based on collinear factorization) to pin down the low x gluon PDF. We show that it may be possible to overcome the problems that (i) the process is described by a skewed or Generalized Parton Distribution (GPD), (ii) it is very sensitive to the choice of factorization scale and (iii) there is bad LO, NLO,... perturbative stability to the predictions. However, we start by briefly explaining how the alternative k_T factorization approach has been used to describe the process.


title: Graphs, Ideal Flow, and the Transportation Network

abstract: This lecture discusses the mathematical relationship between network structure and network utilization of transportation network. Network structure means the graph itself. Network utilization represent the aggregation of trajectories of agents in using the network graph. I show the similarity and relationship between the structural pattern of the network and network utilization.


title: Calabi-Yau compactifications of toric Landau-Ginzburg models for smooth Fano threefolds

abstract: We prove that smooth Fano threefolds have toric Landau--Ginzburg models. More precise, we prove that their Landau--Ginzburg models, presented as Laurent polynomials, admit compactifications to families of K3 surfaces, and we describe their fibers over infinity. We also give an explicit construction of Landau--Ginzburg models for del Pezzo surfaces and any divisors on them.


title: Infinite-dimensional input-to-state stability and Orlicz spaces

abstract: In this work, the relation between input-to-state stability and integral input-to-state stability is studied for linear infinite-dimensional systems with an unbounded control operator. Although a special focus is laid on the case $L^{\infty}$, general function spaces are considered for the inputs. We show that integral input-to-state stability can be characterized in terms of input-to-state stability with respect to Orlicz spaces. Since we consider linear systems, the results can also be formulated in terms of admissibility. For parabolic diagonal systems with scalar inputs, both stability notions with respect to $L^\infty$ are equivalent.


title: Quantum Vorticity at positive temperature for spin systems with continuous symmetry

abstract: We propose a definition of vorticity at inverse temperature $\beta$ for Gibbs states in quantum XY or Heisenberg spin systems on the lattice by testing $\exp[-\beta H]$ on a complete set of observables ("one-point functions"). Imposing a compression of Pauli matrices at the boudary, which stands for the classical environment, we perform some numerical simulations on finite lattices in case of XY model, which exhibit usual vortex patterns.


title: Rectified binaural ratio: A complex T-distributed feature for robust sound localization

abstract: Most existing methods in binaural sound source localization rely on some kind of aggregation of phase-and level-difference cues in the time-frequency plane. While different ag-gregation schemes exist, they are often heuristic and suffer in adverse noise conditions. In this paper, we introduce the rectified binaural ratio as a new feature for sound source local-ization. We show that for Gaussian-process point source signals corrupted by stationary Gaussian noise, this ratio follows a complex t-distribution with explicit parameters. This new formulation provides a principled and statistically sound way to aggregate binaural features in the presence of noise. We subsequently derive two simple and efficient methods for robust relative transfer function and time-delay estimation. Experiments on heavily corrupted simulated and speech signals demonstrate the robustness of the proposed scheme.


title: Phase Unmixing : Multichannel Source Separation with Magnitude Constraints

abstract: We consider the problem of estimating the phases of K mixed complex signals from a multichannel observation, when the mixing matrix and signal magnitudes are known. This problem can be cast as a non-convex quadratically constrained quadratic program which is known to be NP-hard in general. We propose three approaches to tackle it: a heuristic method, an alternate minimization method, and a convex relaxation into a semi-definite program. The last two approaches are showed to outperform the oracle multichannel Wiener filter in under-determined informed source separation tasks, using simulated and speech signals. The convex relaxation approach yields best results, including the potential for exact source separation in under-determined settings.


title: Gauged Supergravities

abstract: We give a general review of extended supergravities and their gauging using the duality-covariant embedding tensor formalism. Although the focus is on four-dimensional theories, an overview of the gauging procedure and the related tensor hierarchy in the higher-dimensional models is given. The relation of gauged supergravities to flux compactifications is discussed and examples are worked out in detail.


title: Independent sets in the union of two Hamiltonian cycles

abstract: Motivated by a question on the maximal number of vertex disjoint Schrijver graphs in the Kneser graph, we investigate the following function, denoted by $f(n,k)$: the maximal number of Hamiltonian cycles on an $n$ element set, such that no two cycles share a common independent set of size more than $k$. We shall mainly be interested in the behavior of $f(n,k)$ when $k$ is a linear function of $n$, namely $k=cn$. We show a threshold phenomenon: there exists a constant $c_t$ such that for $c<c_t$, $f(n,cn)$ is bounded by a constant depending only on $c$ and not on $n$, and for $c_t <c$, $f(n,cn)$ is exponentially large in $n ~(n \to \infty)$. We prove that $0.26 < c_t < 0.36$, but the exact value of $c_t$ is not determined. For the lower bound we prove a technical lemma, which for graphs that are the union of two Hamiltonian cycles establishes a relation between the independence number and the number of $K_4$ subgraphs. A corollary of this lemma is that if a graph $G$ on $n>12$ vertices is the union of two Hamiltonian cycles and $\alpha(G)=n/4$, then $V(G)$ can be covered by vertex-disjoint $K_4$ subgraphs.


title: Hearing in a shoe-box : binaural source position and wall absorption estimation using virtually supervised learning

abstract: This paper introduces a new framework for supervised sound source localization referred to as virtually-supervised learning. An acoustic shoe-box room simulator is used to generate a large number of binaural single-source audio scenes. These scenes are used to build a dataset of spatial binaural features annotated with acoustic properties such as the 3D source position and the walls' absorption coefficients. A probabilistic high- to low-dimensional regression framework is used to learn a mapping from these features to the acoustic properties. Results indicate that this mapping successfully estimates the azimuth and elevation of new sources, but also their range and even the walls' absorption coefficients solely based on binaural signals. Results also reveal that incorporating random-diffusion effects in the data significantly improves the estimation of all parameters.


title: Characterization of experts in crowdsourcing platforms

abstract: Crowdsourcing platforms enable to propose simple human intelligence tasks to a large number of participants who realise these tasks. The workers often receive a small amount of money or the platforms include some other incentive mechanisms, for example they can increase the workers reputation score, if they complete the tasks correctly. We address the problem of identifying experts among participants, that is, workers, who tend to answer the questions correctly. Knowing who are the reliable workers could improve the quality of knowledge one can extract from responses. As opposed to other works in the literature, we assume that participants can give partial or incomplete responses, in case they are not sure that their answers are correct. We model such partial or incomplete responses with the help of belief functions, and we derive a measure that characterizes the expertise level of each participant. This measure is based on precise and exactitude degrees that represent two parts of the expertise level. The precision degree reflects the reliability level of the participants and the exactitude degree reflects the knowledge level of the participants. We also analyze our model through simulation and demonstrate that our richer model can lead to more reliable identification of experts.


title: Molecular gas kinematics of the CMZ: Great oaks from little acorns grow

abstract: The central molecular zone (CMZ) hosts some of the most massive and dense molecular clouds and star clusters in the Galaxy, offering an important window into star formation under extreme conditions. Star formation in this extreme environment may be closely linked to the 3-D distribution and orbital dynamics of the gas. Here I discuss how our new, accurate description of the $\{l,b,v\}$ structure of the CMZ is helping to constrain its 3-D geometry. I also present the discovery of a highly-regular, corrugated velocity field located just upstream from the dust ridge molecular clouds (which include G0.253+0.016 and Sgr B2). The extremes in this velocity field correlate with a series of massive ($\sim10^{4}$ M$_{\odot}$) cloud condensations. The corrugation wavelength ($\sim23$ pc) and cloud separation ($\sim8$ pc) closely agree with the predicted Toomre ($\sim17$ pc) and Jeans ($\sim6$ pc) lengths, respectively. I conclude that gravitational instabilities are driving the formation of molecular clouds within the Galactic Centre gas stream. Furthermore, I suggest that these seeds are the historical analogues of the dust ridge molecular clouds - possible progenitors of some of the most massive and dense molecular clouds in the Galaxy. If our current best understanding for the 3-D geometry of this system is confirmed, these clouds may pinpoint the beginning of an evolutionary sequence that can be followed, in time, from cloud condensation to star formation.


title: Realistic quantum critical point in one-dimensional two-impurity models

abstract: We show that the two-impurity Anderson model exhibits an additional quantum critical point at infinitely many specific distances between both impurities for an inversion symmetric one-dimensional dispersion. Unlike the quantum critical point previously established, it is robust against particle-hole or parity symmetry breaking. The quantum critical point separates a spin doublet from a spin singlet ground state and is, therefore, protected. A finite single-particle tunneling $t$ or an applied uniform gate voltage will drive the system across the quantum critical point. The discriminative magnetic properties of the different phases cause a jump in the spectral functions at low temperature, which might be useful for future spintronics devices. A local parity conservation will prevent the spin-spin correlation function from decaying to its equilibrium value after spin manipulations.


title: Reactions with a 10Be beam to study the one-neutron halo nucleus 11Be

abstract: Halo nuclei are excellent examples of few-body systems consisting of a core and weakly-bound halo nucleons. Where there is only one nucleon in the halo, as in 11Be, the many-body problem can be reduced to a two-body problem. The contribution of the 1s1/2 orbital to the ground state configuration in 11Be, characterized by the spectroscopic factor, S, has been extracted from direct reaction data by many groups over the past five decades with discrepant results. An experiment was performed at the Holifield Radioactive Ion Beam Facility using a 10Be primary beam at four different energies with the goal of resolving the discrepancy through a consistent analysis of elastic, inelastic, and transfer channels. Faddeev-type calculations, released after the publication of the experimental results, show that dynamic core excitation in the transfer process can lead to reduced differential cross sections at higher beam energies. This reduction would lead to the extraction of decreasing values of S with increasing beam energy. A 10Be(d,p) measurement at Ed greater than 25 MeV is necessary to investigate the effects of core excitation in the reaction.


title: Measurement of the charged pion mass using a low-density target of light atoms

abstract: We present a new evaluation of the negatively charged pion mass based on the simultaneous spec-troscopy of pionic nitrogen and muonic oxygen transitions using a gaseous target composed by a N 2 /O 2 mixture at 1.4 bar. We present the experimental setup and the methods for deriving the pion mass value from the spatial separation from the 5g -- 4 f $\pi$N transition line and the 5g -- 4 f $\mu$O transition line used as reference. Moreover, we discuss the importance to use dilute targets in order to minimize the influence of additional spectral lines from the presence of remaining electrons during the radiative emission. The occurrence of possible satellite lines is investigated via hypothesis testing methods using the Bayes factor.


title: Computations of Keller maps over fields with $\tfrac16$

abstract: We classify Keller maps $x + H$ in dimension $n$ over fields with $\tfrac16$, for which $H$ is homogeneous, and (1) deg $H = 3$ and rk $JH \le 2$; (2) deg $H = 3$ and $n \le 4$; (3) deg $H = 4$ and $n \le 3$; (4) deg $H = 4 = n$ and $H_1, H_2, H_3, H_4$ are linearly dependent over $K$. In our proof of these classifications, we formulate (and prove) several results which are more general than needed for these classifications. One of these results is the classification of all homogeneous polynomial maps $H$ as in (1) over fields with $\tfrac16$.


title: Influence of phonons on solid-state cavity-QED investigated using nonequilibrium Green's functions

abstract: The influence of electron--phonon interactions on the dynamics of a quantum dot coupled to a photonic cavity mode is investigated using a nonequilibrium Green's function approach. Within a polaron frame, the self-consistent-Born approximation is used to treat the phonon-assisted scattering processes between the quantum dot polaron and the cavity. Two-time correlators of the quantum dot-cavity system are calculated by solving the Kadanoff-Baym equations, giving access to photon spectra and photon indistinguishability. The non-Markovian nature of the interaction with the phonon bath is shown to be very accurately described by our method in various regime of cavity-quantum electrodynamics (cavity-QED). The indistinguishability of the emitted photons emitted at zero temperature are found to be in very good agreement with a previously reported exact diagonalization approach [Phys.~Rev.~B~87,~081308~(2013)]. Besides, our method enables the calculations of photon indistinguishability at finite temperatures and for strong electron-phonon interactions. More generally, our method opens new avenues in the study of open quantum system dynamics coupled to non-Markovian environments.


title: M\'etodos Matem\'aticos Aplicados \`a Mec\^anica dos Fluidos (Mathematical Methods Applied to Fluid Mechanics)

abstract: These notes are based on some lectures that the author gave at the University of Campinas - UNICAMP. The notes are in Portuguese, and deal with some methods of mathematics applied to Fluid Mechanics.


title: Making Public Safety Data Accessible in the Westside Atlanta Data Dashboard

abstract: Individual neighborhoods within large cities can benefit from independent analysis of public data in the context of ongoing efforts to improve the community. Yet existing tools for public data analysis and visualization are often mismatched to community needs, for reasons including geographic granularity that does not correspond to community boundaries, siloed data sets, inaccurate assumptions about data literacy, and limited user input in design and implementation phases. In Atlanta this need is being addressed through a Data Dashboard developed under the auspices of the Westside Communities Alliance (WCA), a partnership between Georgia Tech and community stakeholders. In this paper we present an interactive analytic and visualization tool for public safety data within the WCA Data Dashboard. We describe a human-centered approach to understand the needs of users and to build accessible mapping tools for visualization and analysis. The tools include a variety of overlays that allow users to spatially correlate features of the built environment, such as vacant properties with criminal activity as well as crime prevention efforts. We are in the final stages of developing the first version of the tool, with plans for a public release in fall of 2016.


title: Possible Internal Structures and Compositions of Proxima Centauri b

abstract: We explore the possible Proxima Centauri b's interiors assuming the planet belongs to the class of dense solid planets (rocky with possible addition of water) and derive the corresponding radii. To do so, we use an internal structure model that computes the radius of the planet along with the locations of the different layers of materials, assuming that its mass and bulk composition are known. Lacking detailed elementary abundances of the host star to constrain the planet's composition, we base our model on solar system values. We restrained the simulations to the case of solid planets without massive atmospheres. With these assumptions, the possible radius of Proxima Centauri b spans the 0.94--1.40 $R_\oplus$ range. The minimum value is obtained considering a 1.10 $M_\oplus$ Mercury-like planet with a 65% core mass fraction, whereas the highest radius is reached for 1.46 $M_\oplus$ with 50% water in mass, constituting an ocean planet. Although this range of radii still allows very different planet compositions, it helps characterizing many aspects of Proxima Centauri b, such as the formation conditions of the system or the current amount of water on the planet. This work can also help ruling out future measurements of the planet's radius that would be physically incompatible with a solid planetary body.


title: Harnessing the Potential of the American Community Survey: Delving into Methods of Data Delivery

abstract: The American Community Survey (ACS) is the bedrock underpinning any analysis of the US population, urban areas included. The Census Bureau delivers the ACS data in multiple formats, yet in each the raw data is difficult to export in bulk and difficult to sift through. We argue that Enigma's approach to the data delivery, such as our raw data and metadata presentation, reflects the survey's logical structure. It can be explored, interlinked, and searched; making it easier to retrieve the appropriate data applicable to a question at hand. We make the use of data more liquid via curated tables and API access; even metadata and notes from technical documentation are programmatically accessible. Additionally, we are working towards opening our scalable and reproducible ingestion process of ACS estimations. This paper details all of the ways the Census Bureau currently makes the data available, the barriers each of these raise to applying this data in analysis and how our approach overcomes them. Finally, this paper will address other recent innovations in making Census datasets more usable, the use cases suited to each and how they fit into the wider application of data science.


title: Influence of the ferroelectric quantum critical point on SrTiO$_3$ interfaces

abstract: We study a model SrTiO$_3$ interface in which conduction $t_{2g}$ electrons couple to the ferroelectric (FE) phonon mode. We treat the FE mode within a self-consistent phonon theory that captures its quantum critical behavior, and show that proximity to the quantum critical point leads to universal tails in the electron density of the form $n(z) \sim (\lambda+z)^{-2}$, where $\lambda \sim T^{2-d/\mathfrak{z}}$, with $d=3$ the dimensionality and $\mathfrak{z}=1$ the dynamical critical exponent. Implications for the metal-insulator transition at low electron density are discussed.


title: Algebraic and algorithmic aspects of radical parametrizations

abstract: In this article algebraic constructions are introduced in order to study the variety defined by a radical parametrization (a tuple of functions involving complex numbers, $n$ variables, the four field operations and radical extractions). We provide algorithms to implicitize radical parametrizations and to check whether a radical parametrization can be reparametrized into a rational parametrization.


title: Detecting Cognitive Appraisals from Facial Expressions for Interest Recognition

abstract: Interest makes one hold her attention on the object of interest. Automatic recognition of interest has numerous applications in human-computer interaction. In this paper, we study the facial expressions associated with interest and its underlying and closely related components, namely, curiosity, coping potential, novelty and complexity. To this end, we conducted an experiment in which participants watched images and micro-videos while a front-facing camera recorded their expressions. After watching each item they self-reported their level of interest, curiosity, coping potential and perceived novelty and complexity. Using an automated method, we tracked facial action units (AU) and studied the relationship between the presence of facial movements with interest and its related components. We then tracked the facial landmarks, e.g., corners of lips, and extracted features from each response. We trained random forests regression models to detect the level of interest, curiosity, and appraisals. We found a large difference between the way people report and react to interesting visual content. The expressions in response to images and micro-videos were not always pronounced depending on the participants. This makes the direct detection of interest from facial expressions a challenging problem. With this work, for the first time, we demonstrate the feasibility of detecting cognitive appraisals from facial expressions which will open the door for appraisal-driven emotion recognition methods.


title: Three-dimensional higher-spin Dirac and Weyl dispersions in the strongly isotropic $K_4$ crystal

abstract: We analyze the electronic structure in the three-dimensional (3D) crystal formed by the $sp^2$ hybridized orbitals ($K_4$ crystal), by the tight-binding approach based on the first-principles calculation. We discover that the bulk Dirac-cone dispersions are realized in the $K_4$ crystal. In contrast to the graphene, the energy dispersions of the Dirac cones are isotropic in 3D and the pseudospin $S=1$ Dirac cones emerge at the $\Gamma$ and $H$ points of the bcc Brillouin zone, where three bands become degenerate and merge at a single point belonging to the $T_2$ irreducible representation. In addition, the usual $S=1/2$ Dirac cones emerge at the $P$ point. By focusing the hoppings between the nearest-neighbor sites, we show an analytic form of the tight-binding Hamiltonian with a $4\times 4 $ matrix, and we give an explicit derivation of the $S=1$ and $S=1/2$ Dirac-cone dispersions. We also analyze the effect of the spin-orbit coupling to examine how the degeneracies at Dirac points are lifted. At the $S=1$ Dirac points, the spin-orbit coupling lifts the energy level with sixfold degeneracy into two energy levels with two-dimensional $\bar E_2$ and four-dimensional $\bar F$ representations. Remarkably, all the dispersions near the $\bar F$ point show the linear dependence in the momentum with different velocities. We derive the effective Hamiltonian near the $\bar F$ point and find that the band contact point is described by the $S=3/2$ Weyl point.


title: Abundance Derivations for the Secondary Stars in Cataclysmic Variables from Near-Infrared Spectroscopy

abstract: We derive metallicities for 41 cataclysmic variables (CVs) from near-infrared spectroscopy. We use synthetic spectra that cover the 0.8 $\mu$m $\leq \lambda \leq$ 2.5 $\mu$m bandpass to ascertain the value of [Fe/H] for CVs with K-type donors, while also deriving abundances for other elements. Using calibrations for determining [Fe/H] from the $K$-band spectra of M-dwarfs, we derive more precise values for T$_{\rm eff}$ for the secondaries in the shortest period CVs, and examine whether they have carbon deficits. In general, the donor stars in CVs have sub-solar metallicities. We confirm carbon deficits for a large number of systems. CVs with orbital periods $>$ 5 hr are most likely to have unusual abundances. We identify four CVs with CO emission. We use phase-resolved spectra to ascertain the mass and radius of the donor in U Gem. The secondary star in U Gem appears to have a lower {\it apparent} gravity than a main sequence star of its spectral type. Applying this result to other CVs, we find that the later-than-expected spectral types observed for many CV donors is mostly an affect of inclination. All of the magnetic CVs, except the low accretion rate polar MQ Dra, have donors with subsolar metallicities. We find that two systems with unusual spectra, EI Psc and QZ Ser, that have large excesses of sodium, and extreme deficits of carbon. Synthetic spectra that have a reduced abundance of hydrogen are best able to explain the spectra of these two objects.


title: Adaptive dictionary based approach for background noise and speaker classification and subsequent source separation

abstract: A judicious combination of dictionary learning methods, block sparsity and source recovery algorithm are used in a hierarchical manner to identify the noises and the speakers from a noisy conversation between two people. Conversations are simulated using speech from two speakers, each with a different background noise, with varied SNR values, down to -10 dB. Ten each of randomly chosen male and female speakers from the TIMIT database and all the noise sources from the NOISEX database are used for the simulations. For speaker identification, the relative value of weights recovered is used to select an appropriately small subset of the test data, assumed to contain speech. This novel choice of using varied amounts of test data results in an improvement in the speaker recognition rate of around 15% at SNR of 0 dB. Speech and noise are separated using dictionaries of the estimated speaker and noise, and an improvement of signal to distortion ratios of up to 10% is achieved at SNR of 0 dB. K-medoid and cosine similarity based dictionary learning methods lead to better recognition of the background noise and the speaker. Experiments are also conducted on cases, where either the background noise or the speaker is outside the set of trained dictionaries. In such cases, adaptive dictionary learning leads to performance comparable to the other case of complete dictionaries.


title: Searching for New Heavy Neutral Gauge Bosons using Vector Boson Fusion Processes at the LHC

abstract: New massive resonances are predicted in many extensions to the Standard Model (SM) of particle physics and constitutes one of the most promising searches for new physics at the LHC. We present a feasibility study to search for new heavy neutral gauge bosons using vector boson fusion (VBF) processes, which become especially important as the LHC probes higher collision energies. In particular, we consider the possibility that the discovery of a $Z'$ boson may have eluded searches at the LHC. The coupling of the $Z'$ boson to the SM quarks can be small, and thus the $Z'$ would not be discoverable by the searches conducted thus far. In the context of a simplified phenomenological approach, we consider the $Z'\to\tau\tau$ and $Z'\to\mu\mu$ decay modes to show that the requirement of a dilepton pair combined with two high $p_{T}$ forward jets with large separation in pseudorapidity and with large dijet mass is effective in reducing SM backgrounds. The expected exclusion bounds (at 95\% confidence level) are $m(Z') < 1.8$ TeV and $m(Z') < 2.5$ TeV in the $\tau\tau j_{f}j_{f}$ and $\mu\mu j_{f}j_{f}$ channels, respectively, assuming 1000 fb$^{-1}$ of 13 TeV data from the LHC. The use of the VBF topology to search for massive neutral gauge bosons provides a discovery reach with expected significances greater than 5$\sigma$ (3$\sigma$) for $Z'$ masses up to 1.4 (1.6) TeV and 2.0 (2.2) TeV in the $\tau\tau j_{f}j_{f}$ and $\mu\mu j_{f}j_{f}$ channels.


title: Achromatic light patterning and improved image reconstruction for parallelized RESOLFT nanoscopy

abstract: Fluorescence microscopy is rapidly turning into nanoscopy. Among the various nanoscopy methods, the STED/RESOLFT super-resolution family has recently been expanded to image even large fields of view within a few seconds. This advance relies on using light patterns featuring substantial arrays of intensity minima for discerning features by switching their fluorophores between on and off states of fluorescence. Here we show that splitting the light with a grating and recombining it in the focal plane of the objective lens renders arrays of minima with wavelength-independent periodicity. This colour-independent creation of periodic patterns facilitates coaligned on- and off-switching and readout with combinations chosen from a range of wavelengths. Applying up to three such periodic patterns on the switchable fluorescent proteins Dreiklang and rsCherryRev1.4, we demonstrate highly parallelized, multicolour RESOLFT nanoscopy in living cells at 60-80 nm resolution for 100 times 100 square micrometers fields of view. We discuss the impact of novel image reconstruction algorithms featuring background elimination by spatial bandpass filtering, as well as strategies that incorporate complete image formation models.


title: Internet Scale Research Studies using SDL-RX

abstract: Medical research is one area where collecting data is usually hard and expensive. With the launch of ResearchKit, Apple and Sage Bionetworks made large-scale personal data collection increasingly popular via simple text-based survey apps running on mobile phones. But such surveys can be a barrier in terms of usability and richness of the data being collected. In this paper, we present SDL-R X , a powerful software library designed for ResearchKit that enables study-specific, personalized, and rich visual surveys, for both iOS and Android platforms.


title: Nonlinear modification of the laser noise power spectrum induced by a frequency-shifted optical feedback

abstract: In this article, we study the non-linear coupling between the stationary (i.e. the beating modulation signal) and transient (i.e. the laser quantum noise) dynamics of a laser subjected to frequency shifted optical feedback. We show how the noise power spectrum and more specifically the relaxation oscillation frequency of the laser are modified under different optical feedback condition. Specifically we study the influence of (i) the amount of light returning to the laser cavity and (ii) the initial detuning between the frequency shift and intrinsic relaxation frequency. The present work shows how the relaxation frequency is related to the strength of the beating signal and the shape of the noise power spectrum gives an image of the Transfer Modulation Function (i.e. of the amplification gain) of the nonlinear-laser dynamics.The theoretical predictions, confirmed by numerical resolutions, are in good agreements with the experimental data.


title: Transition moments between excited electronic states from the Hermitian formulation of the coupled cluster quadratic response function

abstract: We introduce a new method for the computation of the transition moments between the excited electronic states based on the expectation value formalism of the coupled cluster theory [B. Jeziorski and R. Moszynski, Int. J. Quant. Chem. 48, 161 (1993)]. The working expressions of the new method solely employ the coupled cluster amplitudes. In the approximation adopted in the present paper the cluster expansion is limited to single, double, and linear triple excitations. The computed dipole transition probabilities for the singlet-singlet and triplet-triplet transitions in alkali earth atoms agree well with the available theoretical and experimental data. In contrast to the existing coupled cluster response theory, the matrix elements obtained by using our approach satisfy the Hermitian symmetry even if the excitations in the cluster operator are truncated. As a part of the numerical evidence for the new method, we report calculations of the transition moments between the excited triplet states which have not yet been reported in the literature within the coupled cluster theory. Slater-type basis sets constructed according to the correlation-consistency principle are used in our calculations.


title: Shidlovsky's multiplicity estimate and Irrationality of zeta values

abstract: In this paper we follow the approach of Bertrand-Beukers (and of later work of Bertrand), based on differential Galois theory, to prove a very general version of Shidlovsky's lemma that applies to Pad{\'e} approximation problems at several points, both at functional and numerical levels (i.e., before and after evaluating at a specific point). This allows us to obtain a new proof of the Ball-Rivoal theorem on irrationality of infinitely many values of Riemann zeta function at odd integers, inspired by the proof of the Siegel-Shidlovsky theorem on values of E-functions: Shidlovsky's lemma is used to replace Nesterenko's linear independence criterion with Siegel's, so that no lower bound is needed on the linear forms in zeta values. The same strategy provides a new proof, and a refinement, of Nishimoto's theorem on values of L-functions of Dirichlet characters.


title: On the radial derivative of the delta distribution

abstract: Possibilities for defining the radial derivative of the delta distribution $\delta(\underline{x})$ in the setting of spherical coordinates are explored. This leads to the introduction of a new class of continuous linear functionals similar to but different from the standard distributions. The radial derivative of $\delta(\underline{x})$ then belongs to that new class of so-called signumdistributions. It is shown that these signumdistributions obey easy-to-handle calculus rules which are in accordance with those for the standard distributions in $\mathbb{R}^m$.


title: Dynamic nuclear polarization and relaxation of H and D atoms in solid mixtures of hydrogen isotopes

abstract: We report on a study of Dynamic Nuclear Polarization and electron and nuclear spin relaxation of atomic hydrogen and deuterium in solid molecular matrices of H$_{2}$, D$_{2}$, and HD mixtures. The electron and nuclear spin relaxation times ($T_{1e}$ and $T_{1N}$) were measured within the temperature range 0.15-2.5$\,$K in a magnetic field of 4.6 T, conditions which ensure a high polarization of electron spins. We found that $T_{1e}$ is nearly temperature independent in this temperature range, while $T_{1N}$ decreased by 2 orders of magnitude. Such strong temperature dependence is typical for the nuclear Orbach mechanism of relaxation via the electron spins. We found that the nuclear spins of H atoms in solid D$_{2}$ and D$_{2}:$HD can be efficiently polarized by the Overhauser effect. Pumping the forbidden transitions of H atoms also leads to DNP, with the efficiency strongly dependent on the concentration of D atoms. This behaviour indicates the Cross effect mechanism of the DNP and nuclear relaxation, which turns out to be well resolved in the conditions of our experiments. Efficient DNP of H atoms was also observed when pumping the middle D line located in center of the ESR spectrum. This phenomenon can be explained in terms of clusters or pairs of H atoms with strong exchange interaction. These clusters have partially allowed transitions in the center of the ESR spectrum and DNP may be created via the resolved Cross effect.


title: An Overview of Sustainable Green 5G Networks

abstract: The stringent requirements of a 1,000 times increase in data traffic and one millisecond round trip latency have made limiting the potentially tremendous ensuing energy consumption one of the most challenging problems for the design of the upcoming fifth-generation (5G) networks. To enable sustainable 5G networks, new technologies have been proposed to improve the system energy efficiency and alternative energy sources are introduced to reduce our dependence on traditional fossil fuels. In particular, various 5G techniques target the reduction of the energy consumption without sacrificing the quality-of-service. Meanwhile, energy harvesting technologies, which enable communication transceivers to harvest energy from various renewable resources and ambient radio frequency signals for communi- cation, have drawn significant interest from both academia and industry. In this article, we provide an overview of the latest research on both green 5G techniques and energy harvesting for communication. In addition, some technical challenges and potential research topics for realizing sustainable green 5G networks are also identified.


title: Gravity field and solar component of the precession rate and nutation coefficients of Comet 67P Churyumov-Gerasimenko

abstract: The aim of this study is first to determine the gravity field of the comet 67P Churyumov-Gerasimenko and second to derive the solar component of the precession rate and nutation coefficients of the spin axis of the comet nucleus, i.e. without the direct, usually larger, effect of outgassing. The gravity field, and related moments of inertia, are obtained from two polyhedra, that are provided by the OSIRIS and NAV-CAM experiments on Rosetta, and are based on the assumption of uniform density for the comet nucleus. We also calculate the forced precession rate as well as the nutation coefficients on the basis of Kinoshita's theory of rotation of the rigid Earth and adapted it to be able to indirectly include the effect of outgassing on the rotational parameters. The 2nd degree denormalized Stokes coefficients of comet 67P C-G turn out to be (bracketed numbers refer to second shape model) C20 = -6.74 [-7.93] * 10^-2, C22 = 2.60 [2.71] * 10^-2 consistent with normalized principal moments of inertia A/MR^2 = 0.13 [0.11], B/MR^2 = 0.23 [0.22], with polar moment c = C/MR^2 = 0.25, depending on the choice of the polyhedron model. The obliquity between the rotation axis and the mean orbit normal is 52 degree, and the precession rate only due to solar torques becomes 20-30 "/y. Oscillations in longitude caused by the gravitational pull of the Sun turn out to be of the order of 1', oscillations in obliquity can be estimated to be of the order of 0.5'.


title: Measurement-induced chaos and quantum state discrimination in an iterated Tavis-Cummings scheme

abstract: A cavity quantum electrodynamical scenario is proposed for implementing a Schr\"odinger microscope capable of amplifying differences between non orthogonal atomic quantum states. The scheme involves an ensemble of identically prepared two-level atoms interacting pairwise with a single mode of the radiation field as described by the Tavis-Cummings model. By repeated measurements of the cavity field and of one atom within each pair a measurement-induced nonlinear quantum transformation of the relevant atomic states can be realized. The intricate dynamical properties of this nonlinear quantum transformation, which exhibits measurement-induced chaos, allows approximate orthogonalization of atomic states by purification after a few iterations of the protocol, and thus the application of the scheme for quantum state discrimination.


title: Weak eigenstate thermalization with large deviation bound

abstract: We investigate the eigenstate thermalization hypothesis (ETH) for a translationally invariant quantum spin system on the $d$-dimensional cubic lattice under the periodic boundary conditions. It is known that the ETH holds in this model for typical energy eigenstates in the sense that the standard deviation of the expectation values of a local observable in the energy eigenstates within the microcanonical energy shell vanishes in the thermodynamic limit, which is called the weak ETH. Here, it is remarked that the diagonal elements of a local observable in the energy representation shows the large deviation behavior. This result implies that the fraction of atypical eigenstates which do not represent thermal equilibrium is exponentially small.


title: Density and spacings for the energy levels of quadratic Fermi operators

abstract: The work presents a proof of convergence of the density of energy levels to a Gaussian distribution for a wide class of quadratic forms of Fermi operators. This general result applies also to quadratic operators with disorder, e.g., containing random coefficients. The spacing distribution of the unfolded spectrum is investigated numerically. For generic systems the level spacings behave as the spacings in a Poisson process. Level clustering persists in presence of disorder.


title: Bandgap measurement of high refractive index materials by off-axis EELS

abstract: In the present work, Cs aberration corrected and monochromated scanning transmission electron microscopy electron energy loss spectroscopy STEM-EELS has been used to explore experimental set-ups that allows bandgaps of high refractive index materials to be determined. Semi-convergence and -collection angles in the micro-radian range were combined with off-axis or dark field EELS to avoid relativistic losses and guided light modes in the low loss range to contribute to the acquired EEL spectra. Off-axis EELS further suppressed the zero loss peak and the tail of the zero loss peak. The bandgap of several GaAs-based materials were successfully determined by direct inspection and without any background subtraction of the EEL spectra. The presented set-up does not require that the acceleration voltage is set to below the Cerenkov limit and can be applied over the entire acceleration voltage range of modern TEMs and for a wide range of specimen thicknesses.


title: Thermodynamics and emergent universe

abstract: We show that in the isentropic scenario the first order thermodynamical particle creation model gives an emergent universe solution even when the chemical potential is non-zero. However there exists no emergent universe scenario in the second order non-equilibrium theory for the particle creation model. We then point out a correspondence between the particle creation model with barotropic equation of state and the equation of state giving rise to an emergent universe without particle creation in spatially flat FRW cosmology.


title: Moduli spaces of framed symplectic and orthogonal bundles on P2 and the K-theoretic Nekrasov partition functions

abstract: Let $K$ be the compact Lie group $USp(N/2)$ or $SO(N, R)$. Let $M^K_n$ be the moduli space of framed K-instantons over $S^4$ with the instanton number $n$. By Donaldson (1984), $M^K_n$ is endowed with a natural scheme structure. It is a Zariski open subset of a GIT quotient of $\mu^{-1}(0)$, where $\mu$ is a holomorphic moment map such that $\mu^{-1}(0)$ consists of the ADHM data. The purpose of the paper is to study the geometric properties of $\mu^{-1}(0)$ and its GIT quotient, such as complete intersection, irreducibility, reducedness and normality. If $K=USp(N/2)$ then $\mu$ is flat and $\mu^{-1}(0)$ is an irreducible normal variety for any $n$ and even $N$. If $K = SO(N, R)$ the similar results are proven for low $n$ and $N$. As an application one can obtain a mathematical interpretation of the K-theoretic Nekrasov partition function of Nekrasov and Shadchin (2004).


title: General Relativity and Cosmology: Unsolved Questions and Future Directions

abstract: For the last 100 years, General Relativity (GR) has taken over the gravitational theory mantle held by Newtonian Gravity for the previous 200 years. This article reviews the status of GR in terms of its self-consistency, completeness, and the evidence provided by observations, which have allowed GR to remain the champion of gravitational theories against several other classes of competing theories. We pay particular attention to the role of GR and gravity in cosmology, one of the areas in which one gravity dominates and new phenomena and effects challenge the orthodoxy. We also review other areas where there are likely conflicts pointing to the need to replace or revise GR to represent correctly observations and consistent theoretical framework. Observations have long been key both to the theoretical liveliness and viability of GR. We conclude with a discussion of the likely developments over the next 100 years.


title: First-principles Study of Rashba Effect in Ultra-thin Bismuth Surface Alloys

abstract: We performed density functional calculations for ultra-thin bismuth surface alloys: surface alloys of bismuth and face-centered cubic metals Bi/$M$(111)-$(\sqrt{3}\times\sqrt{3})R30\deg$ ($M$=Cu, Ag, Au, Ni, Co, and Fe). Our calculated Rashba parameters for the Bi/Ag are consistent with the previous experimental and theoretical results. We predicted a trend in the Rashba coefficients $\alpha_R$ of bands around the Fermi energy for noble metals as follows: Bi/Ag > Bi/Cu > Bi/Au. As for the transition metals, there is a trend in $\alpha_R$: Bi/Ni > Bi/Co > Bi/Fe. Our finding may lead to design efficient spin-charge conversion materials.


title: Five Basic Concepts of Axiomatic Rewriting Theory

abstract: In this invited talk, I will review five basic concepts of Axiomatic Rewriting Theory, an axiomatic and diagrammatic theory of rewriting started 25 years ago in a LICS paper with Georges Gonthier and Jean-Jacques L\'evy, and developed along the subsequent years into a full-fledged 2-dimensional theory of causality and residuation in rewriting. I will give a contemporary view on the theory, informed by my later work on categorical semantics and higher-dimensional algebra, and also indicate a number of current research directions in the field.


title: Gravitational luminosity of a hot plasma in R^2 gravity

abstract: The R^{2}-gravity contribution to energy loss of a hot plasma due to the gravitational bremsstrahlung is calculated in the linearized theory on the basis of classical Coulomb scattering of plasma constituents in small-angle scattering approximation. The explicit dependence of the gravitational luminosity on the plasma temperature is derived and its relevance to the Einstein gravity is demonstrated. The result when applied to the Sun as a hot plasma, shows very good agreement with available data.


title: Real-time Predictive Analytics for Improving Public Transportation Systems' Resilience

abstract: Public transit systems are a critical component of major metropolitan areas. However, in the face of increasing demand, most of these systems are operating close to capacity. Under normal operating conditions, station crowding and boarding denial are becoming a major concern for transit agencies. As such, any disruption in service will have even more severe consequences, affecting huge number of passengers. Considering the aging infrastructure of many large cities, such as New York and London, these disruptions are to be expected, amplifying the need for better demand management and strategies to deal with congested transit facilities. Opportunistic sensors such as smart cards (AFC), automatic vehicle location systems (AVL), GPS, etc. provide a wealth of information about system's performance and passengers' trip making patterns. We develop a hybrid data/model-driven decision support system, using real-time predictive models, to help transit operators manage and respond proactively to disruptions and mitigate consequences in a timely fashion. These models include station arrival and origin-destination predictions in real-time to help transit agencies, and predictive information systems for assisting passengers' trip making decisions.


title: Bit-permuted coded modulation for polar codes

abstract: We consider the problem of using polar codes with higher order modulation over AWGN channels. Unlike prior work, we focus on using modulation independent polar codes. That is, the polar codes are not re-designed based on the modulation used. Instead, we propose bit-permuted coded modulation (BPCM): a technique for using the multilevel coding (MLC) approach for an arbitrary polar code. The BPCM technique exploits a natural connection between MLC and polar codes. It involves applying bit permutations prior to mapping the polar code to a higher order modulation. The bit permutations are designed, via density evolution, to match the rates provided by various bit levels of the higher order modulation to that of the polar code. We demonstrate performance of the BPCM technique using link simulations and density evolution for the AWGN channel. We compare the BPCM technique with the bit-interleaved coded modulation (BICM) technique. When using polar codes designed for BPSK modulation, we show gains for BPCM over BICM with random interleaver of up to 0.2 dB, 0.7 dB and 1.4 dB for 4-ASK, 8-ASK, and 16-ASK respectively.


title: Universally and existentially definable subsets of global fields

abstract: We show that rings of $S$-integers of a global function field $K$ of odd characteristic are first-order universally definable in $K$. This extends work of Koenigsmann and Park who showed the same for $\mathbb{Z}$ in $\mathbb{Q}$ and the ring of integers in a number field, respectively. We also give another proof of a theorem of Poonen and show that the set of non-squares in a global field of characteristic $\neq 2$ is diophantine. Finally, we show that the set of pairs $(x,y)$ in $(K^{\times})^2$ such that $x$ is not a norm in $K(\sqrt{y})$ is diophantine over $K$ for any global field $K$ of characteristic $\neq 2$.


title: Brownian motion of a circle swimmer in a harmonic trap

abstract: We study the dynamics of a Brownian circle swimmer with a time-dependent self-propulsion velocity in an external temporally varying harmonic potential. For several situations, the noise-free swimming paths, the noise-averaged mean trajectories, and the mean square displacements are calculated analytically or by computer simulation. Based on our results, we discuss optimal swimming strategies in order to explore a maximum spatial range around the trap center. In particular, we find a resonance situation for the maximum escape distance as a function of the various frequencies in the system. Moreover, the influence of the Brownian noise is analyzed by comparing noise-free trajectories at zero temperature with the corresponding noise-averaged trajectories at finite temperature. The latter reveal various complex self-similar spiral or rosette-like patterns. Our predictions can be tested in experiments on artificial and biological microswimmers under dynamical external confinement.


title: Identification of Piecewise Affine State-Space Models via Expectation Maximization

abstract: This paper deals with the identification of piecewise affine state-space models. These models are obtained by partitioning the state or input domain into a finite number of regions and by considering affine submodels in each region. The proposed framework uses the Expectation Maximization (EM) algorithm to identify the parameters of the model. In most of the current literature, a discrete random variable with a discrete transition density is introduced to describe the transition between each submodel, leading to a further approximation of the dynamical system by a jump Markov model. On the contrary, we use the cumulative distribution function (CDF) to compute the probability of each submodel given the measurement at that time step. Then, given the submodel at each time step the latent state is estimated using the Kalman smoother. Subsequently, the parameters are estimated by maximizing a surrogate function for the likelihood. The performance of the proposed method is illustrated using the simulated model of the JAS 39 Gripen aircraft.


title: Simultaneous control of the Dzyaloshinskii-Moriya interaction and magnetic anisotropy in nanomagnetic trilayers

abstract: Magneto-optical Kerr effect (MOKE) microscopy measurements of magnetic bubble domains demonstrate that Ar+ irradiation around 100 eV can tune the Dzyaloshinskii-Moriya interaction (DMI) in Pt/Co/Pt trilayers. Varying the irradiation energy and dose changes the DMI sign and magnitude separately from the magnetic anisotropy, allowing tuning of the DMI while holding the coercive field constant. This simultaneous control emphasizes the different physical origins of these effects. To accurately measure the DMI, we propose and apply a physical model for a poorly understood peak in domain wall velocity at zero in-plane field. The ability to tune the DMI with the spatial resolution of the Ar+ irradiation enables new fundamental investigations and technological applications of chiral nanomagnetics.


title: Strain hardening-softening oscillations induced by nanoindentation in bulk solids

abstract: Nanoindentation is a widely used method for sensitive exploration of the mechanical properties of micromechanical systems. We derived an empirical analysis technique to extract stress-strain field gradient and divergence representations from nanoindentation measurements. With this approach local gradients and heterogeneities can be discovered to obtain more detail about the sample's microstructure, thus enhancing the analytic capacity of the nanoindentation technique. We analysed nanoindentation tests of bulk solid substrates, namely bearing and tooling steel, and fused silica. Oscillations of the stress-strain field gradient and divergence induced in the subsurface layer by the nanoindentation experiment were revealed. The oscillations were especially prominent in single measurements at low indentation depths (< 100 nm), whereas they were concealed in the averaged datasets. The amplitude of stress-strain field divergence oscillations decayed as a sublinear power-law when the indenter approached deeper atomic layers, with an exponent -0.9 for the steel and -0.8 for the fused silica. The oscillations were interpreted as alternating strain hardening-softening cycles induced in the subsurface layers under the indenter load. A selective assessment of elastic and plastic stress-strain field components indicated an elastic-plastic deformation process where the normal strain is transformed into the shear strain leading to a plastic deformation.


title: R\'esolution des syst\`emes polynomiaux: un solveur bas\'e sur les matrices de Bezout

abstract: We propose a method to compute the numerical solutions of a polynomial system in complete intersection. This algorithm makes use of Bezout matrices and need only linear algebra computations. All the calculations can be done in floating point arithmetic. A complete implementation of the algorithm is provided.


title: Isogeny graphs of ordinary abelian varieties

abstract: Fix a prime number $\ell$. Graphs of isogenies of degree a power of $\ell$ are well-understood for elliptic curves, but not for higher-dimensional abelian varieties. We study the case of absolutely simple ordinary abelian varieties over a finite field. We analyse graphs of so-called $\mathfrak l$-isogenies, resolving that they are (almost) volcanoes in any dimension. Specializing to the case of principally polarizable abelian surfaces, we then exploit this structure to describe graphs of a particular class of isogenies known as $(\ell, \ell)$-isogenies: those whose kernels are maximal isotropic subgroups of the $\ell$-torsion for the Weil pairing. We use these two results to write an algorithm giving a path of computable isogenies from an arbitrary absolutely simple ordinary abelian surface towards one with maximal endomorphism ring, which has immediate consequences for the CM-method in genus 2, for computing explicit isogenies, and for the random self-reducibility of the discrete logarithm problem in genus 2 cryptography.


title: Plasmon-assisted high-harmonic generation in graphene

abstract: High-harmonic generation (HHG) in condensed-matter systems is both a source of fundamental insight into quantum electron motion and a promising candidate to realize compact ultraviolet and ultrafast light sources. Here we argue that the large light intensity required for this phenomenon to occur can be reached by exploiting localized plasmons in conducting nanostructures. In particular, we demonstrate that doped graphene nanostructures combine a strong plasmonic near-field enhancement and a pronounced intrinsic nonlinearity that result in efficient broadband HHG within a single material platform. We extract this conclusion from time-domain simulations using two complementary nonperturbative approaches based on atomistic one-electron density-matrix and massless Dirac-fermion Bloch-equation pictures. High harmonics are predicted to be emitted with unprecedentedly large intensity by tuning the incident light to the localized plasmons of ribbons and finite islands. In contrast to atomic systems, we observe no cutoff in harmonic order. Our results support the strong potential of nanostructured graphene as a robust, electrically tunable platform for HHG.


title: Entropy of Causal Horizons

abstract: We analyze spacetimes with horizons and study the thermodynamic aspects of causal horizons, suggesting that the resemblance between gravitational and thermodynamic systems has a deeper quantum mechanical origin. We find that the observer dependence of such horizons is a direct consequence of associating a temperature and entropy to a spacetime. The geometrical picture of a horizon acting as a one-way membrane for information flow can be accepted as a natural interpretation of assigning a quantum field theory to a spacetime with boundary, ultimately leading to a close connection with thermodynamics.


title: The multi-stripe travelling salesman problem

abstract: In the classical Travelling Salesman Problem (TSP), the objective function sums the costs for travelling from one city to the next city along the tour. In the q-stripe TSP with q larger than 1, the objective function sums the costs for travelling from one city to each of the next q cities along the tour. The resulting q-stripe TSP generalizes the TSP and forms a special case of the quadratic assignment problem. We analyze the computational complexity of the q-stripe TSP for various classes of specially structured distance matrices. We derive NP-hardness results as well as polyomially solvable cases. One of our main results generalizes a well-known theorem of Kalmanson from the classical TSP to the q-stripe TSP.


title: Actions affines isom\'etriques propres des groupes hyperboliques sur des quotients d'espaces $\ell^p$

abstract: We prove that any hyperbolic group admits a proper affine isometric action on a quotient space of a $\ell^p$ Banach space, for all $p>1$ sufficiently close to 1.


title: Cosmological self-tuning and local solutions in generalized Horndeski theories

abstract: We study both the cosmological self-tuning and the local predictions (inside the Solar system) of the most general shift-symmetric beyond Horndeski theory. We first show that the cosmological self-tuning is generic in this class of theories: By adjusting a mass parameter entering the action, a large bare cosmological constant can be effectively reduced to a small observed one. Requiring then that the metric should be close enough to the Schwarzschild solution in the Solar system, to pass the experimental tests of general relativity, and taking into account the renormalization of Newton's constant, we select a subclass of models which presents all desired properties: It is able to screen a big vacuum energy density, while predicting an exact Schwarzschild-de Sitter solution around a static and spherically symmetric source. As a by-product of our study, we identify a general subclass of beyond Horndeski theory for which regular self-tuning black hole solutions exist, in presence of a time-dependent scalar field. We discuss possible future development of the present work.


title: Optimal spectral transportation with application to music transcription

abstract: Many spectral unmixing methods rely on the non-negative decomposition of spectral data onto a dictionary of spectral templates. In particular, state-of-the-art music transcription systems decompose the spectrogram of the input signal onto a dictionary of representative note spectra. The typical measures of fit used to quantify the adequacy of the decomposition compare the data and template entries frequency-wise. As such, small displacements of energy from a frequency bin to another as well as variations of timber can disproportionally harm the fit. We address these issues by means of optimal transportation and propose a new measure of fit that treats the frequency distributions of energy holistically as opposed to frequency-wise. Building on the harmonic nature of sound, the new measure is invariant to shifts of energy to harmonically-related frequencies, as well as to small and local displacements of energy. Equipped with this new measure of fit, the dictionary of note templates can be considerably simplified to a set of Dirac vectors located at the target fundamental frequencies (musical pitch values). This in turns gives ground to a very fast and simple decomposition algorithm that achieves state-of-the-art performance on real musical data.


title: Transition from Solitons to Solitary Waves in the Fermi-Pasta-Ulam Lattice

abstract: In this paper, we study the smooth transition from solitons to solitary waves in localization, relation between energy and velocity, propagation and scattering property in the Fermi-Pasta-Ulam lattice analytically and numerically. A soliton is a very stable solitary wave that retains its permanent structure after interacting with other solitary waves. A soliton exists when the energy is small, and it becomes a solitary wave when the energy increases to the threshold. The transition could help to understand the distinctly different heat conduction behaviors of the Fermi-Pasta-Ulam lattice at low and high temperature.


title: Fermi's Paradox Is a Daunting Problem---Under Whatever Label

abstract: Gray (2015) argued that the Fermi paradox (FP) is a misnomer, and it is not a valid paradox. Gray also speculated that the argument was misattributed to Fermi, whose lunchtime remarks did not pertain to the existence of extraterrestrial intelligence, but to the feasibility of interstellar travel. Instead, the paradox is ascribed to Hart and Tipler, and it is further suggested that the paradox is not a real problem or research subject and should not be used in debates about SETI projects. The arguments given are unpersuasive, ahistorical, and, in at least one instance, clearly hinge on literalistic and uncharitable reading of evidence. Instead, I argue the following three points: (i) Contrary to Gray's assertion, the historical issue of naming of ideas or concepts is completely divorced from their epistemic status. (ii) FP is easily and smoothly generalized into the Great Silence paradox, so it makes no sense either theoretically or empirically to separate the two. (iii) In sharp contrast to the main implication of Gray's paper, FP has become more aggravated lately due to advances in astrobiology.


title: On groups elementarily equivalent to a group of triangular matrices $T_n(R)$

abstract: In this paper we investigate the structure of groups elementarily equivalent to the group $T_n(R)$ of all invertible upper triangular $n\times n$ matrices, where $n\geq 3$ and $R$ is a characteristic zero integral domain. In particular we give both necessary and sufficient conditions for a group being elementarily equivalent to $T_n(R)$ where $R$ is a characteristic zero algebraically closed field, a real closed field, a number field, or the ring of integers of a number field.


title: Beyond p values: practical methods for analyzing uncertainty in research

abstract: This article explains, and discusses the merits of, three approaches for analyzing the certainty with which statistical results can be extrapolated beyond the data gathered. Sometimes it may be possible to use more than one of these approaches. (1) If there is an exact null hypothesis which is credible and interesting (usually not the case), researchers should cite a p value (significance level), although jargon is best avoided. (2) If the research result is a numerical value, researchers should cite a confidence interval. (3) If there are one or more hypotheses of interest, it may be possible to adapt the methods used for confidence intervals to derive an "estimated probability" for each. Under certain circumstances these could be interpreted as Bayesian posterior probabilities. These estimated probabilities can easily be worked out from the p values and confidence intervals produced by packages such as SPSS. Estimating probabilities for hypotheses means researchers can give a direct answer to the question "How certain can we be that this hypothesis is right?".


title: Distinguishability and many-particle interference

abstract: Quantum interference of two independent particles in pure quantum states is fully described by the particles' distinguishability: the closer the particles are to being identical, the higher the degree of quantum interference. When more than two particles are involved, the situation becomes more complex and interference capability extends beyond pairwise distinguishability, taking on a surprisingly rich character. Here, we study many-particle interference using three photons. We show that the distinguishability between pairs of photons is not sufficient to fully describe the photons' behaviour in a scattering process, but that a collective phase, the triad phase, plays a role. We are able to explore the full parameter space of three-photon interference by generating heralded single photons and interfering them in a fibre tritter. Using multiple degrees of freedom - temporal delays and polarisation - we isolate three-photon interference from two-photon interference. Our experiment disproves the view that pairwise two-photon distinguishability uniquely determines the degree of non-classical many-particle interference.


title: Progress on the three-particle quantization condition

abstract: We report progress on extending the relativistic model-independent quantization condition for three particles, derived previously by two of us, to a broader class of theories, as well as progress on checking the formalism. In particular, we discuss the extension to include the possibility of 2->3 and 3->2 transitions and the calculation of the finite-volume energy shift of an Efimov-like three-particle bound state. The latter agrees with the results obtained previously using non-relativistic quantum mechanics.


title: Liouville-type theorems on the complete gradient shrinking Ricci solitons

abstract: We prove that there does not exist non-constant positive $f$-harmonic function on the complete gradient shrinking Ricci solitons. We also prove the $L^{p}(p\geq 1 \ {\rm or}\ 0<p\leq 1)$ Liouville theorems on the complete gradient shrinking Ricci solitons.


title: Proceedings of the Data For Good Exchange 2016

abstract: These are the proceedings of the Data For Good Exchange 2016, which was held in New York, NY, on September 26th 2016.


title: Equation system describing the radiation intensity and the air motion with the water phase transition

abstract: In this paper we consider the equation system describing the motion of the air and the variation of the radiation intensity and the quantity of water droplets in the air, including also the process of water phase transition. Under a suitable condition we prove the existence and uniqueness of the local solution. By eliminating the approximation by regularization of vapor density and by including the equation of radiation, this result improves previous ones.


title: Hochschild homology and cohomology of down-up algebras

abstract: We present a detailed computation of the cyclic and the Hochschild homology and cohomology of generic and 3-Calabi-Yau homogeneous down-up algebras. This family was defined by Benkart and Roby in their study of differential posets. Our calculations are completely explicit, by making use of the Koszul bimodule resolution and arguments similar to those used by the second and third authors for Yang-Mills algebras.


title: On elementary equivalence of rings with a finitely generated additive group

abstract: In this paper we provide a complete algebraic characterization of elementary equivalence of rings with a finitely generated additive group in the language of pure rings. The rings considered are arbitrary otherwise.