title: Formation Channels for Blue Straggler Stars

abstract: In this chapter we consider two formation channels for blue straggler stars: 1) the merger of two single stars via a collision, and 2) those produced via mass transfer within a binary. We review how computer simulations show that stellar collisions are likely to lead to relatively little mass loss and are thus effective in producing a young population of more-massive stars. The number of blue straggler stars produced by collisions will tend to increase with cluster mass. We review how the current population of blue straggler stars produced from primordial binaries decreases with increasing cluster mass. This is because exchange encounters with third, single stars in the most massive clusters tend to reduce the fraction of binaries containing a primary close to the current turn-off mass. Rather, their primaries tend to be somewhat more massive and have evolved off the main sequence, filling their Roche lobes in the past, often converting their secondaries into blue straggler stars (but more than 1 Gyr or so ago and thus they are no longer visible today as blue straggler stars).


title: Multiparty Sessions based on Proof Nets

abstract: We interpret Linear Logic Proof Nets in a term language based on Solos calculus. The system includes a synchronisation mechanism, obtained by a conservative extension of the logic, that enables to define non-deterministic behaviours and multiparty sessions.


title: Sessions as Propositions

abstract: Recently, Wadler presented a continuation-passing translation from a session-typed functional language, GV, to a process calculus based on classical linear logic, CP. However, this translation is one-way: CP is more expressive than GV. We propose an extension of GV, called HGV, and give translations showing that it is as expressive as CP. The new translations shed light both on the original translation from GV to CP, and on the limitations in expressiveness of GV.


title: Towards Reversible Sessions

abstract: In this work, we incorporate reversibility into structured communication-based programming, to allow parties of a session to automatically undo, in a rollback fashion, the effect of previously executed interactions. This permits taking different computation paths along the same session, as well as reverting the whole session and starting a new one. Our aim is to define a theoretical basis for examining the interplay in concurrent systems between reversible computation and session-based interaction. We thus enrich a session-based variant of pi-calculus with memory devices, dedicated to keep track of the computation history of sessions in order to reverse it. We discuss our initial investigation concerning the definition of a session type discipline for the proposed reversible calculus, and its practical advantages for static verification of safe composition in communication-centric distributed software performing reversible computations.


title: Session Types for Broadcasting

abstract: Up to now session types have been used under the assumptions of point to point communication, to ensure the linearity of session endpoints, and reliable communication, to ensure send/receive duality. In this paper we define a session type theory for broadcast communication semantics that by definition do not assume point to point and reliable communication. Our session framework lies on top of the parametric framework of broadcasting psi-calculi, giving insights on developing session types within a parametric framework. Our session type theory enjoys the properties of soundness and safety. We further believe that the solutions proposed will eventually provide a deeper understanding of how session types principles should be applied in the general case of communication semantics.


title: Multiparty Session Actors

abstract: Actor coordination armoured with a suitable protocol description language has been a pressing problem in the actors community. We study the applicability of multiparty session type (MPST) protocols for verification of actor programs. We incorporate sessions to actors by introducing minimum additions to the model such as the notion of actor roles and protocol mailbox. The framework uses Scribble, which is a protocol description language based on multiparty session types. Our programming model supports actor-like syntax and runtime verification mechanism guaranteeing type-safety and progress of the communicating entities. An actor can implement multiple roles in a similar way as an object can implement multiple interfaces. Multiple roles allow for inter-concurrency in a single actor still preserving its progress property. We demonstrate our framework by designing and implementing a session actor library in Python and its runtime verification mechanism.


title: Lightening Global Types

abstract: Global session types prevent participants from waiting for never coming messages. Some interactions take place just for the purpose of informing receivers that some message will never arrive or the session is terminated. By decomposing a big global type into several light global types, one can avoid such kind of redundant interactions. Lightening global types gives us cleaner global types, which keep all necessary communications. This work proposes a framework which allows to easily decompose global types into light global types, preserving the interaction sequences of the original ones but for redundant interactions.


title: Verifying Parallel Loops with Separation Logic

abstract: This paper proposes a technique to specify and verify whether a loop can be parallelised. Our approach can be used as an additional step in a parallelising compiler to verify user annotations about loop dependences. Essentially, our technique requires each loop iteration to be specified with the locations it will read and write. From the loop iteration specifications, the loop (in)dependences can be derived. Moreover, the loop iteration specifications also reveal where synchronisation is needed in the parallelised program. The loop iteration specifications can be verified using permission-based separation logic.


title: Towards Composable Concurrency Abstractions

abstract: In the past decades, many different programming models for managing concurrency in applications have been proposed, such as the actor model, Communicating Sequential Processes, and Software Transactional Memory. The ubiquity of multi-core processors has made harnessing concurrency even more important. We observe that modern languages, such as Scala, Clojure, or F#, provide not one, but multiple concurrency models that help developers manage concurrency. Large end-user applications are rarely built using just a single concurrency model. Programmers need to manage a responsive UI, deal with file or network I/O, asynchronous workflows, and shared resources. Different concurrency models facilitate different requirements. This raises the issue of how these concurrency models interact, and whether they are composable. After all, combining different concurrency models may lead to subtle bugs or inconsistencies. In this paper, we perform an in-depth study of the concurrency abstractions provided by the Clojure language. We study all pairwise combinations of the abstractions, noting which ones compose without issues, and which do not. We make an attempt to abstract from the specifics of Clojure, identifying the general properties of concurrency models that facilitate or hinder composition.


title: Session Type Isomorphisms

abstract: There has been a considerable amount of work on retrieving functions in function libraries using their type as search key. The availability of rich component specifications, in the form of behavioral types, enables similar queries where one can search a component library using the behavioral type of a component as the search key. Just like for function libraries, however, component libraries will contain components whose type differs from the searched one in the order of messages or in the position of the branching points. Thus, it makes sense to also look for those components whose type is different from, but isomorphic to, the searched one. In this article we give semantic and axiomatic characterizations of isomorphic session types. The theory of session type isomorphisms turns out to be subtle. In part this is due to the fact that it relies on a non-standard notion of equivalence between processes. In addition, we do not know whether the axiomatization is complete. It is known that the isomorphisms for arrow, product and sum types are not finitely axiomatisable, but it is not clear yet whether this negative results holds also for the family of types we consider in this work.


title: Dynamical Processes in Globular Clusters

abstract: Globular clusters are among the most congested stellar systems in the Universe. Internal dynamical evolution drives them toward states of high central density, while simultaneously concentrating the most massive stars and binary systems in their cores. As a result, these clusters are expected to be sites of frequent close encounters and physical collisions between stars and binaries, making them efficient factories for the production of interesting and observable astrophysical exotica. I describe some elements of the competition among stellar dynamics, stellar evolution, and other processes that control globular cluster dynamics, with particular emphasis on pathways that may lead to the formation of blue stragglers.


title: Nitrogen Doped Graphene Quantum Dots as Possible Substrates to Stabilize Planar Conformer of Au 20 Over its Tetrahedral Conformer: A Systematic DFT Study

abstract: Utilizing the strengths of nitrogen doped graphene quantum dot (N-GQD) as a substrate, here in, we have shown that one can stabilize the catalytically more active planar Au 20 (P-Au 20 ) compared to the thermodynamically more stable tetrahedral structure (T-Au 20 ) on an N-GQD. Clearly, this simple route avoids the usage of traditional transition metal oxide substrates which have been suggested and used for stabilizing the planar structure for a long time. Considering the experimental success in the synthesis of N-GQDs and in the stabilization of Au nanoparticles on N-doped graphene, we expect our proposed method to stabilize planar structure will be realized experimentally and will be useful for industrial level applications.


title: A Singularity-Free Coordinate System for X-point Geometries

abstract: A Flux Coordinate Independent (FCI) approach for anisotropic systems, not based on magnetic flux coordinates has been introduced in [F. Hariri and M. Ottaviani, Comput. Phys. Commun., 184,2419 (2013)]. In this paper, we show that the approach can tackle magnetic configurations including X-points. Using the code FENICIA, an equilibrium with a magnetic island has been used to show the robustness of the FCI approach to cases in which a magnetic separatrix is present in the system, either by design or as a consequence of instabilities. Numerical results are in good agreement with the analytic solutions of the sound-wave propagation problem. Conservation properties are verified. Finally, the critical gain of the FCI approach in situations including the magnetic separatrix with an X-point is demonstrated by a fast convergence of the code with the numerical resolution in the direction of symmetry. The results highlighted in this paper show that the FCI approach should be able to address turbulent transport problems in X-point geometries.


title: The Multiple Origin of Blue Straggler Stars: Theory vs. Observations

abstract: In this chapter we review the various suggested channels for the formation and evolution of blue straggler stars (BSSs) in different environments and their observational predictions. These include mass transfer during binary stellar evolution - case A/B/C and D (wind Roche-lobe overflow) mass transfer, stellar collisions during single and binary encounters in dense stellar cluster, and coupled dynamical and stellar evolution of triple systems. We also explore the importance of the BSS and binary dynamics in stellar clusters. We review the various observed properties of BSSs in different environments (halo and bulge BSSs, BSSs in globular clusters and BSSs in old open clusters), and compare the current observations with the theoretical predictions for BSS formation. We try to constrain the likely progenitors and processes that play a role in the formation of BSSs and their evolution. We find that multiple channels of BSS formation are likely to take part in producing the observed BSSs, and we point out the strengths and weaknesses of each the formation channel in respect to the observational constraints. Finally we point out directions to further explore the origin of BSS, and highlight eclipsing binary BSSs as important observational tool.


title: Models of Individual Blue Stragglers

abstract: This chapter describes the current state of models of individual blue stragglers. Stellar collisions, binary mergers (or coalescence), and partial or ongoing mass transfer have all been studied in some detail. The products of stellar collisions retain memory of their parent stars and are not fully mixed. Very high initial rotation rates must be reduced by an unknown process to allow the stars to collapse to the main sequence. The more massive collision products have shorter lifetimes than normal stars of the same mass, while products between low mass stars are long-lived and look very much like normal stars of their mass. Mass transfer can result in a merger, or can produce another binary system with a blue straggler and the remnant of the original primary. The products of binary mass transfer cover a larger portion of the colour-magnitude diagram than collision products for two reasons: there are more possible configurations which produce blue stragglers, and there are differing contributions to the blended light of the system. The effects of rotation may be substantial in both collision and merger products, and could result in significant mixing unless angular momentum is lost shortly after the formation event. Surface abundances may provide ways to distinguish between the formation mechanisms, but care must be taking to model the various mixing mechanisms properly before drawing strong conclusions. Avenues for future work are outlined.


title: Integral Property of Laplace Operator

abstract: Relations have been derived which establish connection between a scalar or a vector functions and the integral of Laplace operator of these functions (the integral property of Laplace operator). The integral property of Laplace operator was employed to obtain relations expressing the electric field in terms of the charge gradient. It is demonstrated that these relations define the same field which is described by the well known classical expressions for the electric field. It is shown that these proposed expressions represent actually a particular case of the general theory of generalized functions. This approach is illustrated by calculation of an electric field performed with the proposed formalism.


title: Blue Stragglers in Globular Clusters: Observations, Statistics and Physics

abstract: This chapter explores how we might use the observed {\em statistics} of blue stragglers in globular clusters to shed light on their formation. This means we will touch on topics also discussed elsewhere in this book, such as the discovery and implications of bimodal radial distributions and the "double sequences" of blue stragglers that have recently been found in some clusters. However, we will focus particularly on the search for a "smoking gun" correlation between the number of blue stragglers in a given globular cluster and a physical cluster parameter that would point towards a particular formation channel. As we shall see, there is little evidence for an intrinsic correlation between blue straggler numbers and stellar collision rates, even in dense cluster cores. On the other hand, there is a clear correlation between blue straggler numbers and the total (core) mass of the cluster. This would seem to point towards a formation channel involving binaries, rather than dynamical encounters. However, the correlation between blue straggler numbers and actual binary numbers - which relies on recently determined empirical binary fractions - is actually weaker than that with core mass. We explain how this surprising result may be reconciled with a binary formation channel if binary fractions depend almost uniquely on core mass. If this is actually the case, it would have significant implications for globular cluster dynamics more generally.


title: Blue Stragglers in Clusters and Integrated Spectral Properties of Stellar Populations

abstract: Blue straggler stars are the most prominent bright objects in the colour-magnitude diagram of a star cluster that challenges the theory of stellar evolution. Star clusters are the closest counterparts of the theoretical concept of simple stellar populations (SSPs) in the Universe. SSPs are widely used as the basic building blocks to interpret stellar contents in galaxies. The concept of an SSP is a group of coeval stars which follows a given distribution in mass, and has the same chemical property and age. In practice, SSPs are more conveniently made by the latest stellar evolutionary models of single stars. In reality, however, stars can be more complicated than just single either at birth time or during the course of evolution in a typical environment. Observations of star clusters show that there are always exotic objects which do not follow the predictions of standard theory of stellar evolution. Blue straggler stars (BSSs), as discussed intensively in this book both observationally and theoretically, are very important in our context when considering the integrated spectral properties of a cluster, or a simple stellar population. In this chapter, we are going to describe how important the contribution of BSSs is to the total light of a cluster.


title: A Novel Scheme to improve spectrum sensing performance

abstract: Due to limited availability of spectrum for licensed users only, the need for secondary access by unlicensed users is increasing. Cognitive radio turns out to be helping this situation because all that is needed is a technique that could efficiently detect the empty spaces and provide them to the secondary devices without causing any interference to the primary (licensed) users. Spectrum sensing is the foremost function of the cognitive radio which senses the environment for white spaces. Energy detection is one of the various spectrum sensing techniques that are under research. Earlier it was shown that energy detection works better under AWGN channel as compared to Rayleigh channel, however the conventional spectrum sensing techniques have a high probability of false alarm and also show a better probability of detection for higher values of SNR. There is a need for a new technique that shows a reduced probability of false alarm as well as an increase in the probability of detection for lower values of SNR. In the present work the conventional energy detection technique has been enhanced to get better results.


title: EigenEvent: An Algorithm for Event Detection from Complex Data Streams in Syndromic Surveillance

abstract: Syndromic surveillance systems continuously monitor multiple pre-diagnostic daily streams of indicators from different regions with the aim of early detection of disease outbreaks. The main objective of these systems is to detect outbreaks hours or days before the clinical and laboratory confirmation. The type of data that is being generated via these systems is usually multivariate and seasonal with spatial and temporal dimensions. The algorithm What's Strange About Recent Events (WSARE) is the state-of-the-art method for such problems. It exhaustively searches for contrast sets in the multivariate data and signals an alarm when find statistically significant rules. This bottom-up approach presents a much lower detection delay comparing the existing top-down approaches. However, WSARE is very sensitive to the small-scale changes and subsequently comes with a relatively high rate of false alarms. We propose a new approach called EigenEvent that is neither fully top-down nor bottom-up. In this method, we instead of top-down or bottom-up search, track changes in data correlation structure via eigenspace techniques. This new methodology enables us to detect both overall changes (via eigenvalue) and dimension-level changes (via eigenvectors). Experimental results on hundred sets of benchmark data reveals that EigenEvent presents a better overall performance comparing state-of-the-art, in particular in terms of the false alarm rate.


title: Multi-objective Reinforcement Learning with Continuous Pareto Frontier Approximation Supplementary Material

abstract: This document contains supplementary material for the paper "Multi-objective Reinforcement Learning with Continuous Pareto Frontier Approximation", published at the Twenty-Ninth AAAI Conference on Artificial Intelligence (AAAI-15). The paper is about learning a continuous approximation of the Pareto frontier in Multi-Objective Markov Decision Problems (MOMDPs). We propose a policy-based approach that exploits gradient information to generate solutions close to the Pareto ones. Differently from previous policy-gradient multi-objective algorithms, where n optimization routines are use to have n solutions, our approach performs a single gradient-ascent run that at each step generates an improved continuous approximation of the Pareto frontier. The idea is to exploit a gradient-based approach to optimize the parameters of a function that defines a manifold in the policy parameter space so that the corresponding image in the objective space gets as close as possible to the Pareto frontier. Besides deriving how to compute and estimate such gradient, we will also discuss the non-trivial issue of defining a metric to assess the quality of the candidate Pareto frontiers. Finally, the properties of the proposed approach are empirically evaluated on two interesting MOMDPs.


title: Gas Analyses of First complete JET Cryopump Regeneration with ITER-Like Wall

abstract: Analytical results of a complete JET cryopump regeneration, including the nitrogen panel, following the first ITER-Like Wall campaign are presented along with the in-situ analyses of residual gas. H/D mixtures and impurities such as nitrogen and neon were injected during plasma operation in the vessel to study radiation cooling in the scrape-off-layer and divertor region. The global gas inventory over the campaign is incomplete, suggesting residual volatile impurities are remaining on the cryogenic panel. This paper presents results on a) residual deuterium on the panel which is related to the campaign very low, b) impurities like nitrogen which sticks on the panel and c) the ammonia production which can be observed in the RGA spectrum.


title: Boundary Element Analysis with trimmed NURBS and a generalized IGA approach

abstract: A novel approach to the simulation with the boundary element method using trimmed NURBS patches is presented. The advantage of this approach is its efficiency and easy implementation. The analysis with trimmed NURBS is achieved by double mapping. The variation of the unknowns on the boundary is specified in a local coordinate system and is completely independent of the description of the geometry. The method is tested on a branched tunnel and the results compared with those obtained from a conventional analysis. The conclusion is that the proposed approach is superior in terms of number of unknowns and effort required.


title: Imaging of buried objects from experimental backscattering time dependent measurements using a globally convergent inverse algorithm

abstract: We consider the problem of imaging of objects buried under the ground using backscattering experimental time dependent measurements generated by a single point source or one incident plane wave. In particular, we estimate dielectric constants of those objects using the globally convergent inverse algorithm of Beilina and Klibanov. Our algorithm is tested on experimental data collected using a microwave scattering facility at the University of North Carolina at Charlotte. There are two main challenges working with this type of experimental data: (i) there is a huge misfit between these data and computationally simulated data, and (ii) the signals scattered from the targets may overlap with and be dominated by the reflection from the ground's surface. To overcome these two challenges, we propose new data preprocessing steps to make the experimental data to be approximately the same as the simulated ones, as well as to remove the reflection from the ground's surface. Results of total 25 data sets of both non blind and blind targets indicate a good accuracy.


title: Ray optics in flux avalanche propagation in superconducting films

abstract: Experimental evidence of wave properties of dendritic flux avalanches in superconducting films is reported. Using magneto-optical imaging the propagation of dendrites across boundaries between a bare NbN film and areas coated by a Cu-layer was visualized, and it was found that the propagation is refracted in full quantitative agreement with Snell's law. For the studied film of 170 nm thickness and a 0.9 mkm thick metal layer, the refractive index was close to n=1.4. The origin of the refraction is believed to be caused by the dendrites propagating as an electromagnetic shock wave, similar to damped modes considered previously for normal metals. The analogy is justified by the large dissipation during the avalanches raising the local temperature significantly. Additional time-resolved measurements of voltage pulses generated by segments of the dendrites traversing an electrode confirm the consistency of the adapted physical picture.


title: Survival of a static target in a gas of diffusing particles with exclusion

abstract: Let a lattice gas of constant density, described by the symmetric simple exclusion process, be brought in contact with a "target": a spherical absorber of radius $R$. Employing the macroscopic fluctuation theory (MFT), we evaluate the probability ${\mathcal P}(T)$ that no gas particle hits the target until a long but finite time $T$. We also find the most likely gas density history conditional on the non-hitting. The results depend on the dimension of space $d$ and on the rescaled parameter $\ell=R/\sqrt{D_0T}$, where $D_0$ is the gas diffusivity. For small $\ell$ and $d>2$, ${\mathcal P}(T)$ is determined by an exact stationary solution of the MFT equations that we find. For large $\ell$, and for any $\ell$ in one dimension, the relevant MFT solutions are non-stationary. In this case $\ln {\mathcal P}(T)$ scales differently with relevant parameters, and it also depends on whether the initial condition is random or deterministic. The latter effects also occur if the lattice gas is composed of non-interacting random walkers. Finally, we extend the formalism to a whole class of diffusive gases of interacting particles.


title: The First and Second Most Symmetric Nonsingular Cubic Surfaces

abstract: The first and second most symmetric nonsingular cubic surfaces are x^3+y^3+z^3+t^3=0 and x^2y+y^2z+z^2t+t^2x=0, respectively.


title: Meson production in proton-proton scattering within an extended linear sigma model

abstract: We study the production of non-strange mesons in proton-proton scattering reactions within an effective model of mesons and baryons with global chiral symmetry. The model includes the nucleon ($N$) and its chiral partner ($N^{\ast}$) and their couplings to the $N_{f}=2$ multiplets of (pseudo-)scalar and (axial-)vector mesons. Results for the production of $\omega$ and $\eta$ mesons are presented.


title: {Effect of on-site Coulomb interaction (\textit{U}) on the electronic and magnetic properties of Fe$_{2}$MnSi, Fe$_{2}$MnAl and Co$_{2}$MnGe

abstract: The electronic band structures, density of states plots and magnetic moments of Fe$_{2 }$MnSi, Fe$_{2 }$MnAl, and Co$_{2 }$MnGe are studied by using the first principles calculations. The FM solutions using LSDA without \textit{U} show the presence of half-metallic ferromagnetic (HFM) ground state in Fe$_{2 }$MnSi, whereas the ground state of Fe$_{2 }$MnAl is found to be metallic. In both compounds the maximum contribution to the total magnetic moment is from the Mn atom, while the Fe atom contributes very less. The electronic structures and magnetic moments of Fe-based compounds affected significantly by \textit{U}, whereas its effect is very less on Co$_{2}$MnGe. The magnetic moment of Fe atom in Fe$_{2 }$MnSi (Fe$_{2 }$MnAl), increased by $\sim$ 70 % ($\sim$ 75 %) and in Mn atom it decreases by $\sim$ 50 % ($\sim$ 70 %) when the value of \textit{U} is increased from 1 to 5 eV. The Hund's like exchange interactions are increasing in Fe atom while decreasing in Mn atom with increase in \textit{U}. The Fe and Mn moments are ferromagnetically coupled in Fe$_{2 }$MnSi for all values of \textit{U}, whereas in Fe$_{2 }$MnAl they coupled antiferromagnetically below \textit{U} = 2 eV and ferromagnetically above it. Above \textit{U} = 2 eV the metallic ground state of Fe$_{2 }$MnAl changes to semiconducting ground state and the ferromagnetic coupling between Fe and Mn atoms appears to be responsible for this.


title: Eigenspace Method for Spatiotemporal Hotspot Detection

abstract: Hotspot detection aims at identifying subgroups in the observations that are unexpected, with respect to the some baseline information. For instance, in disease surveillance, the purpose is to detect sub-regions in spatiotemporal space, where the count of reported diseases (e.g. Cancer) is higher than expected, with respect to the population. The state-of-the-art method for this kind of problem is the Space-Time Scan Statistics (STScan), which exhaustively search the whole space through a sliding window looking for significant spatiotemporal clusters. STScan makes some restrictive assumptions about the distribution of data, the shape of the hotspots and the quality of data, which can be unrealistic for some nontraditional data sources. A novel methodology called EigenSpot is proposed where instead of an exhaustive search over the space, tracks the changes in a space-time correlation structure. Not only does the new approach presents much more computational efficiency, but also makes no assumption about the data distribution, hotspot shape or the data quality. The principal idea is that with the joint combination of abnormal elements in the principal spatial and the temporal singular vectors, the location of hotspots in the spatiotemporal space can be approximated. A comprehensive experimental evaluation, both on simulated and real data sets reveals the effectiveness of the proposed method.


title: Reprocessing of Ices in Turbulent Protoplanetary Disks: Carbon and Nitrogen Chemistry

abstract: We study the influence of the turbulent transport on ice chemistry in protoplanetary disks, focusing on carbon and nitrogen bearing molecules. Chemical rate equations are solved with the diffusion term, mimicking the turbulent mixing in the vertical direction. Turbulence can bring ice-coated dust grains from the midplane to the warm irradiated disk surface, and the ice mantles are reprocessed by photoreactions, thermal desorption, and surface reactions. The upward transport decreases the abundance of methanol and ammonia ices at r < 30 AU, because warm dust temperature prohibits their reformation on grain surfaces. This reprocessing could explain the smaller abundances of carbon and nitrogen bearing molecules in cometary coma than those in low-mass protostellar envelopes. We also show the effect of mixing on the synthesis of complex organic molecules (COMs) are two ways: (1) transport of ices from the midplane to the disk surface and (2) transport of atomic hydrogen from the surface to the midplane. The former enhances the COMs formation in the disk surface, while the latter suppresses it in the midplane. Then, when mixing is strong, COMs are predominantly formed in the disk surface, while their parent molecules are (re)formed in the midplane. This cycle expands the COMs distribution both vertically and radially outward compared with that in the non-turbulent model. We derive the timescale of the sink mechanism by which CO and N2 are converted to less volatile molecules to be depleted from the gas phase, and find that the vertical mixing suppresses this mechanism in the inner disks.


title: Force and magnetic field sensor based on measurement of tunneling conductance between ends of coaxial carbon nanotubes

abstract: The interaction and tunneling conductance between oppositely located ends of coaxial carbon nanotubes are studied by the example of two (11,11) nanotubes with open ends terminated by hydrogen atoms. The Green function formalism is applied to determine the tunneling current through the nanotube ends as a function of the distance between the ends, relative orientation of the nanotubes and voltage applied. The energy favorable configuration of the coaxial nanotubes is obtained by the analysis of their interaction energy at different distances between the nanotube ends and angles of their relative rotation. Using these calculations, a general scheme of the force sensor based on the interaction between ends of coaxial nanotubes is proposed and the relation between the tunneling conductance and measured force is established for the considered nanotubes. The operational characteristics of this device as a magnetic field sensor based on measurements of the magnetic force acting on the coaxial nanotubes filled with magnetic endofullerenes are estimated.


title: Multiplier Hopf algebroids arising from weak multiplier Hopf algebras

abstract: It is well-known that any weak Hopf algebra gives rise to a Hopf algebroid. Moreover it is possible to characterize those Hopf algebroids that arise in this way. Recently, the notion of a weak Hopf algebra has been extended to the case of algebras without identity. This led to the theory of weak multiplier Hopf algebras. Similarly also the theory of Hopf algebroids was recently developed for algebras without identity. They are called multiplier Hopf algebroids. Then it is quite natural to investigate the expected link between weak multiplier Hopf algebras and multiplier Hopf algebroids. This relation has been considered already in the original paper on multiplier Hopf algebroids. In this note, we investigate the connection further. First we show that any regular weak multiplier Hopf algebra gives rise, in a natural way, to a regular multiplier Hopf algebroid. Secondly we give a characterization, mainly in terms of the base algebra, for a regular multiplier Hopf algebroid to have an underlying weak multiplier Hopf algebra. We illustrate this result with some examples. In particular, we give examples of multiplier Hopf algebroids that do not arise from a weak multiplier Hopf algebra.


title: Metallization of atomic solid hydrogen within the extended Hubbard model with renormalized Wannier wave functions

abstract: We refer to our recent calculations (Eur. Phys. J. B, \textbf{86}, 252 (2013)) of metallization pressure of the three-dimensional simple-cubic crystal of atomic hydrogen and study the effect on the crucial results concocting from approximating the $1s$ Slater-type orbital function with a series of $p$ Gaussians. As a result, we find the critical metallization pressure $p_C = 102\ GPa$. The latter part is a discussion of the influence of zero-point motion on the stabilizing pressure. We show that in our model the estimate magnitude of zero-point motion carries a little effect on the critical metallization pressure at zero temperature.


title: Second order resonant Raman scattering in single layer tungsten disulfide (WS$_{2}$)

abstract: Resonant Raman spectra of single layer WS$_{2}$ flakes are presented. A second order Raman peak (2LA) appears under resonant excitation with a separation from the E$^{1}_{2g}$ mode of only $4$cm$^{-1}$. Depending on the intensity ratio and the respective line widths of these two peaks, any analysis which neglects the presence of the 2LA mode can lead to an inaccurate estimation of the position of the E$^{1}_{2g}$ mode, leading to a potentially incorrect assignment for the number of layers. Our results show that the intensity of the 2LA mode strongly depends on the angle between the linear polarization of the excitation and detection, a parameter which is neglected in many Raman studies.


title: On largest volume simplices and sub-determinants

abstract: We show that the problem of finding the simplex of largest volume in the convex hull of $n$ points in $\mathbb{Q}^d$ can be approximated with a factor of $O(\log d)^{d/2}$ in polynomial time. This improves upon the previously best known approximation guarantee of $d^{(d-1)/2}$ by Khachiyan. On the other hand, we show that there exists a constant $c>1$ such that this problem cannot be approximated with a factor of $c^d$, unless $P=NP$. % This improves over the $1.09$ inapproximability that was previously known. Our hardness result holds even if $n = O(d)$, in which case there exists a $\bar c\,^{d}$-approximation algorithm that relies on recent sampling techniques, where $\bar c$ is again a constant. We show that similar results hold for the problem of finding the largest absolute value of a subdeterminant of a $d\times n$ matrix.


title: Several adjoint constructions for biset functors via Mackey-functorial interpretation

abstract: We consider analogs of Jacobson's $F$-Burnside construction and Boltje's $(-)_+$-construction for biset functors, using Mackey-functor theoretic interpretation of biset functors.


title: Limits of CSP Problems and Efficient Parameter Testing

abstract: We present a unified framework on the limits of constraint satisfaction problems (CSPs) and efficient parameter testing which depends only on array exchangeability and the method of cut decomposition without recourse to the weakly regular partitions. In particular, we formulate and prove a representation theorem for compact colored $r$-uniform directed hypergraph ($r$-graph) limits, and apply this to $r$CSP limits. We investigate the sample complexity of testable $r$-graph parameters, we discuss the generalized ground state energies and demonstrate that they are efficiently testable.


title: Regularity of the diffusion-dispersion tensor and error analysis of Galerkin FEMs for a porous media flow

abstract: We study Galerkin finite element methods for an incompressible miscible flow in porous media with the commonly-used Bear-Scheidegger diffusion-dispersion tensor $D({\bf u}) = \Phi d_m I + |{\bf u}| \big ( \alpha_T I + (\alpha_L - \alpha_T) \frac{{\bf u} \otimes {\bf u}}{|{\bf u}|^2}\big)$. The traditional approach to optimal $L^\infty((0,T);L^2)$ error estimates is based on an elliptic Ritz projection, which usually requires the regularity of $\nabla_x\partial_tD({\bf u}(x,t)) \in L^p(\Omega_T)$. However, the Bear-Scheidegger diffusion-dispersion tensor may not satisfy the regularity condition even for a smooth velocity field ${\bf u}$. A new approach is presented in this paper, in terms of a parabolic projection, which only requires the Lipschitz continuity of $D({\bf u})$. With the new approach, we establish optimal $L^p((0,T);L^q)$ error estimates and an almost optimal $L^\infty((0,T);L^\infty)$ error estimate.


title: Affine cellularity of affine Birman-Murakami-Wenzl algebras

abstract: We show that the affine BMW algebras are affine cellular algebras.


title: Affine cellularity of affine Brauer algebras

abstract: We show that the affine Brauer algebras are affine cellular algebras in the sense of Koenig and Xi.


title: Non-anomalous diffusion is not always Gaussian

abstract: Through the analysis of unbiased random walks on fractal trees and continuous time random walks, we show that even if a process is characterized by a mean square displacement (MSD) growing linearly with time (standard behaviour) its diffusion properties can be not trivial. In particular, we show that the following scenarios are consistent with a linear increase of MSD with time: i) the high-order moments, $\langle [x(t)]^q \rangle$ for $q>2$ and the probability density of the process exhibit multiscaling; ii) the random walk on certain fractal graphs, with non integer spectral dimension, can display a fully standard diffusion; iii) positive order moments satisfying standard scaling do not imply an exact scaling property of the probability density.


title: Morse index and linear stability of the Lagrangian circular orbit in a three-body-type problem via index theory

abstract: It is well known that the linear stability of the Lagrangian elliptic solutions in the classical planar three-body problem depends on a mass parameter $\beta$ and on the eccentricity $e$ of the orbit. We consider only the circular case ($e = 0$) but under the action of a broader family of singular potentials: $\alpha$-homogeneous potentials, for $\alpha \in (0,2)$, and the logarithmic one. It turns out indeed that the Lagrangian circular orbit persists also in this more general setting. We discover a region of linear stability expressed in terms of the homogeneity parameter $\alpha$ and the mass parameter $\beta$, then we compute the Morse index of this orbit and of its iterates and we find that the boundary of the stability region is the envelope of a family of curves on which the Morse indices of the iterates jump. In order to conduct our analysis we rely on a Maslov-type index theory devised and developed by Y.~Long, X.~Hu and S.~Sun; a key role is played by an appropriate index theorem and by some precise computations of suitable Maslov-type indices.


title: Revisiting the dispersion measure of fast radio bursts associated with gamma-ray burst afterglows

abstract: Some fast radio bursts (FRBs) are expected to be associated with the afterglow emission of gamma-ray bursts (GRBs), while a short-lived, supermassive neutron star (NS) forms during the GRBs. I investigate the possible contributions to the dispersion measure (DM) of the FRBs from the GRB ejecta and the wind blown from the precollapsing NS. On the one hand, sometimes an internal X-ray plateau afterglow could be produced by the NS wind, which indicates that a great number of electron-positron pairs are carried by the wind. If the pair-generation radius satisfies a somewhat rigorous condition, the relativistic and dense wind would contribute a high DM to the associated FRB, which can be comparable to and even exceed the DM contributed by the intergalactic medium. On the other hand, if the wind only carries a Goldreich-Julian particle flux, its DM contribution would become negligible; meanwhile, the internal plateau afterglow would not appear. Alternatively, the FRB should be associated with a GRB afterglow produced by the GRB external shock, i.e., an energy-injection-caused shallow-decay afterglow or a normal single-power-law afterglow if the impulsive energy release of the GRB is high enough. In the latter case, the DM contributed by the high-mass GRB ejecta could be substantially important, in particular, for an environment of main-sequence stellar wind. In summary, a careful assessment on the various DM contributors could be required for the cosmological application of the expected FRB-GRB association. The future DM measurements of GRB-associated FRBs could provide a constraint on the physics of NS winds.


title: Exact prior-free probabilistic inference on the heritability coefficient in a linear mixed model

abstract: Linear mixed-effect models with two variance components are often used when variability comes from two sources. In genetics applications, variation in observed traits can be attributed to biological and environmental effects, and the heritability coefficient is a fundamental quantity that measures the proportion of total variability due to the biological effect. We propose a new inferential model approach which yields exact prior-free probabilistic inference on the heritability coefficient. In particular we construct exact confidence intervals and demonstrate numerically our method's efficiency compared to that of existing methods.


title: Sums of compositions of pairs of projections

abstract: We give some necessary and sufficient conditions for the possibility to represent a Hermitian operator on an infinite-dimensional Hilbert space (real or complex) in the form $\sum_{i=1}^nQ_iP_i$, where $P_1,\dots,P_n$, $Q_1,\dots,Q_n$ are orthogonal projections. We show that the smallest number $n=n(c)$ admitting the representation $x=\sum_{i=1}^{n(c)}Q_iP_i$ for every $x=x^*$ with $\|x\|\leq c$ satisfies $8c+\frac83\leq n(c)\leq 8c+10$. This is a partial answer to the question asked by L. W. Marcoux in 2010.


title: Algorithm for computing the factor ring of an ideal in Dedekind domain with finite rank

abstract: We give an algorithm for computing the factor ring of a given ideal in a Dedekind domain with finite rank, which runs in deterministic and polynomial-time. We provide two applications of the algorithm: judging whether a given ideal is prime or prime power. The main algorithm is based on basis representation of finite rings which is computed via Hermite and Smith normal forms.


title: A Fick-Jacobs equation for channels over 3D curves

abstract: The purpose of this paper is to provide new formulas for the effective diffusion coefficient of a generalized Fick-Jacobs equation for narrow 3-dimensional channels. The generalized Fick-Jacobs equation is obtained by projecting the 3-dimensional diffusion equation along the normal directions of a curve in three dimensional space that roughly resembles the narrow channel. The projection (or dimensional reduction) is achieved by integrating the diffusion equation along the cross sections of the channel contained in the planes orthogonal to the curve. We show that the resulting formula for the associated effective diffusion coefficient can be expressed in terms of the geometric moments of the channel's cross sections and the curve's curvature. We show the effect that a rotating cross section with offset has on the effective diffusion coefficient.


title: Fabry-P\'erot interference in gapped bilayer graphene with broken anti-Klein tunneling

abstract: We report the experimental observation of Fabry-P\'erot (FP) interference in the conductance of a gate-defined cavity in a dual-gated bilayer graphene (BLG) device. The high quality of the BLG flake, combined with the device's electrical robustness provided by the encapsulation between two hexagonal boron nitride layers, allows us to observe ballistic phase-coherent transport through a $1${\mu}m-long cavity. We confirm the origin of the observed interference pattern by comparing to tight-binding calculations accounting for the gate-tunable bandgap. The good agreement between experiment and theory, free of tuning parameters, further verifies that a gap opens in our device. The gap is shown to destroy the perfect reflection for electrons traversing the barrier with normal incidence (anti-Klein tunneling). The broken anti-Klein tunneling implies that the Berry phase, which is found to vary with the gate voltages, is always involved in the FP oscillations regardless of the magnetic field, in sharp contrast with single-layer graphene.


title: Quantum Logic as Classical Logic

abstract: We propose a semantic representation of the standard quantum logic QL within a classical, normal modal logic, and this via a lattice-embedding of orthomodular lattices into Boolean algebras with one modal operator. Thus our classical logic is a completion of the quantum logic QL. In other words, we refute Birkhoff and von Neumann's classic thesis that the logic (the formal character) of Quantum Mechanics would be non-classical as well as Putnam's thesis that quantum logic (of his kind) would be the correct logic for propositional inference in general. The propositional logic of Quantum Mechanics is modal but classical, and the correct logic for propositional inference need not have an extroverted quantum character. One normal necessity modality suffices to capture the subjectivity of observation in quantum experiments, and this thanks to its failure to distribute over classical disjunction. The key to our result is the translation of quantum negation as classical negation of observability.

categories: quant-ph cs.LO math-ph math.LO math.MP math.QA


title: LCS Tool : A Computational Platform for Lagrangian Coherent Structures

abstract: We give an algorithmic introduction to Lagrangian coherent structures (LCSs) using a newly developed computational engine, LCS Tool. LCSs are most repelling, attracting and shearing material lines that form the centerpieces of observed tracer patterns in two-dimensional unsteady dynamical systems. LCS Tool implements the latest geodesic theory of LCSs for two-dimensional flows, uncovering key transport barriers in unsteady flow velocity data as explicit solutions of differential equations. After a review of the underlying theory, we explain the steps and numerical methods used by LCS Tool, and illustrate its capabilities on three unsteady fluid flow examples.


title: Effects of aging and annealing on the polar and antiferrodistortive components of the antiferroelectric transition in PZT

abstract: The antipolar and antiferrodistortive (AFD) components of the antiferroelectric (AFE) transition in PbZr1-xTixO3 (x=0.054) can occur separately and with different kinetics, depending on the sample history, and are accompanied by elastic softening and stiffening, respectively. Together with the softening that accompanies octahedral tilting in the fraction of phase that is not yet transformed into AFE, they give rise to a variety of shapes of the curves of the elastic compliance versus temperature. All such anomalies found in samples with x=0.046 and 0.054, in addition to those already studied at x=0.050, can be fitted consistently with a phenomenological model based on the simple hypothesis that each of the polar and AFD transitions produces a step in the elastic modulus, whose position in temperature and width reflect the progress of each transition. The slowing of the kinetics of the transformations is correlated with the formation of defect structures during aging in the ferroelectric or AFE state, which are also responsible for a progressive softening of the lattice with time and thermal cycling, until annealing at high temperature recovers the initial conditions.


title: Jacobi and Poisson algebras

abstract: Jacobi/Poisson algebras are algebraic counterparts of Jacobi/Poisson manifolds. We introduce representations of a Jacobi algebra $A$ and Frobenius Jacobi algebras as symmetric objects in the category. A characterization theorem for Frobenius Jacobi algebras is given in terms of integrals on Jacobi algebras. For a vector space $V$ a non-abelian cohomological type object ${\mathcal J}{\mathcal H}^{2} \, (V, \, A)$ is constructed: it classifies all Jacobi algebras containing $A$ as a subalgebra of codimension equal to ${\rm dim} (V)$. Representations of $A$ are used in order to give the decomposition of ${\mathcal J}{\mathcal H}^{2} \, (V, \, A)$ as a coproduct over all Jacobi $A$-module structures on $V$. The bicrossed product $P \bowtie Q$ of two Poisson algebras recently introduced by Ni and Bai appears as a special case of our construction. A new type of deformations of a given Poisson algebra $Q$ is introduced and a cohomological type object $\mathcal{H}\mathcal{A}^{2} \bigl(P,\, Q ~|~ (\triangleleft, \, \triangleright, \, \leftharpoonup, \, \rightharpoonup)\bigl)$ is explicitly constructed as a classifying set for the bicrossed descent problem for extensions of Poisson algebras. Several examples and applications are provided.


title: Conformal extensions of functions defined on arbitrary subsets of Riemann surfaces

abstract: For a function defined on an arbitrary subset of a Riemann surface, we give conditions which allow the function to be extended conformally. One folkloric consequence is that two common definitions of an analytic arc in ${\mathbb C}$ are equivalent. Key-words: analytic continuation; analytic arc.


title: Decoding Stock Market Behavior with the Topological Quantum Computer

abstract: A surprising image of the stock market arises if the price time series of all Dow Jones Industrial Average stock components are represented in one chart at once. The chart evolves into a braid representation of the stock market by taking into account only the crossing of stocks and fixing a convention defining overcrossings and undercrossings. The braid of stocks prices has a remarkable connection with the topological quantum computer. Using pairs of quasi-particles, called non-abelian anyons, having their trajectories braided in time, topological quantum computer can effectively simulate the stock market behavior encoded in the braiding of stocks. In a typically topological quantum computation process the trajectories of non-abelian anyons are manipulated according to the braiding of stocks and the outcome reflects the probability of the future state of stock market. The probability depends only on the Jones polynomial of the knot formed by plat closing the quantum computation. The Jones polynomial of the knotted stock market acts, making a parallel with the common financial literature, in a topological quantum computation as a counterpart of a classical technical indicator in trading the stock market. The type of knot stock market formed is an indicator of its future tendencies.


title: Low thermal conductivity and triaxial phononic anisotropy of SnSe

abstract: In this theoretical study, we investigate the origins of the very low thermal conductivity of tin selenide (SnSe) using ab-initio calculations. We obtained high-temperature lattice thermal conductivity values that are close to those of amorphous compounds. We also found a strong anisotropy between the three crystallographic axes: one of the in-plane directions conducts heat much more easily than the other. Our results are compatible with most of the experimental literature on SnSe, and differ markedly from the more isotropic values reported by a recent study.


title: Motility-Induced Phase Separation

abstract: Self-propelled particles include both self-phoretic synthetic colloids and various micro-organisms. By continually consuming energy, they bypass the laws of equilibrium thermodynamics. These laws enforce the Boltzmann distribution in thermal equilibrium: the steady state is then independent of kinetic parameters. In contrast, self-propelled particles tend to accumulate where they move more slowly. They may also slow down at high density, for either biochemical or steric reasons. This creates positive feedback which can lead to motility-induced phase separation (MIPS) between dense and dilute fluid phases. At leading order in gradients, a mapping relates variable-speed, self-propelled particles to passive particles with attractions. This deep link to equilibrium phase separation is confirmed by simulations, but generally breaks down at higher order in gradients: new effects, with no equilibrium counterpart, then emerge. We give a selective overview of the fast-developing field of MIPS, focusing on theory and simulation but including a brief speculative survey of its experimental implications.


title: Detecting Earth's Temporarily-Captured Natural Satellites - Minimoons

abstract: We present a study on the discoverability of temporarily captured orbiters (TCOs) by present day or near-term anticipated ground-based and space-based facilities. TCOs (Granvik et al. 2012) are potential targets for spacecraft ren- dezvous or human exploration (Chyba et al. 2014) and provide an opportunity to study the population of the smallest asteroids in the solar system. We find that present day ground-based optical surveys such as Pan-STARRS and ATLAS can discover the largest TCOs over years of operation. A targeted survey conducted with the Subaru telescope can discover TCOs in the 0.5 m to 1.0 m diameter size range in about 5 nights of observing. Furthermore, we discuss the application of space-based infrared surveys, such as NEOWISE, and ground-based meteor detection systems such as CAMS, CAMO and ASGARD in discovering TCOs. These systems can detect TCOs but at a uninteresting rate. Finally, we discuss the application of bi-static radar at Arecibo and Green Bank to discover TCOs. Our radar simulations are strongly dependent on the rotation rate distribution of the smallest asteroids but with an optimistic distribution we find that these systems have > 80% chance of detecting a > 10 cm diameter TCO in about 40 h of operation.


title: 3D Cavity quantum electrodynamics with a rare-earth spin ensemble

abstract: We present cavity QED experiments with an Er:YSO crystal magnetically coupled to a 3D cylindrical sapphire loaded copper resonator. Such waveguide cavities are promising for the realization of a superconducting quantum processor. Here, we demonstrate the coherent integration of a rare-earth spin ensemble with the 3D architecture. The collective coupling strength of the Er$^{3+}$ spins to the 3D cavity is 21 MHz. The cylindrical sapphire loaded resonator allowed us to explore the anisotropic collective coupling between the rare-earth doped crystal and the cavity. This work shows the potential of spin doped solids in 3D quantum circuits for application as microwave quantum memories as well as for prospective microwave to optical interfaces.


title: Marginal scalar and Proca clouds around Reissner-Nordstr\"om black holes

abstract: Massive scalar test fields around Kerr black holes can form quasi-bound states with complex frequencies. Some of these states decay in time, but some others -- in the superradiant regime -- grow, causing a superradiant instability. Precisely at the threshold between decaying and growing modes, there exist bound states with real frequency, known as scalar clouds. Fully non-linear counterparts of these clouds have been shown to yield Kerr black holes with scalar hair. Here, we consider massive, (electrically) charged, test scalar and Proca fields on the background of Reissner-Nordstr\"om black holes. By computing the quasi-bound state frequencies, we establish that no such states exist in the superradiant regime for the Proca field -- a similar behavior to that known for scalar fields. But decaying quasi-bound states with an arbitrarily small imaginary part of the frequency exist and thus which are arbitrarily long lived. In the limit of vanishing imaginary part of the frequency, the field does not trivialize and we dub the corresponding configurations as marginal (charged) scalar or Proca clouds, since they are only marginally bound. We comment on the possible existence of non-linear counterparts to these marginal clouds.


title: Geometric approach to extend Landau-Pollak uncertainty relations for positive operator-valued measures

abstract: We provide a twofold extension of Landau--Pollak uncertainty relations for mixed quantum states and for positive operator-valued measures, by recourse to geometric considerations. The generalization is based on metrics between pure states, having the form of a function of the square of the inner product between the states. The triangle inequality satisfied by such metrics plays a crucial role in our derivation. The usual Landau--Pollak inequality is thus a particular case (derived from Wootters metric) of the family of inequalities obtained, and, moreover, we show that it is the most restrictive relation within the family.


title: DAMEWARE: A web cyberinfrastructure for astrophysical data mining

abstract: Astronomy is undergoing through a methodological revolution triggered by an unprecedented wealth of complex and accurate data. The new panchromatic, synoptic sky surveys require advanced tools for discovering patterns and trends hidden behind data which are both complex and of high dimensionality. We present DAMEWARE (DAta Mining & Exploration Web Application REsource): a general purpose, web-based, distributed data mining environment developed for the exploration of large datasets, and finely tuned for astronomical applications. By means of graphical user interfaces, it allows the user to perform classification, regression or clustering tasks with machine learning methods. Salient features of DAMEWARE include its capability to work on large datasets with minimal human intervention, and to deal with a wide variety of real problems such as the classification of globular clusters in the galaxy NGC1399, the evaluation of photometric redshifts and, finally, the identification of candidate Active Galactic Nuclei in multiband photometric surveys. In all these applications, DAMEWARE allowed to achieve better results than those attained with more traditional methods. With the aim of providing potential users with all needed information, in this paper we briefly describe the technological background of DAMEWARE, give a short introduction to some relevant aspects of data mining, followed by a summary of some science cases and, finally, we provide a detailed description of a template use case.


title: Regular-equivalence of $2$-knot diagrams and sphere eversions

abstract: For each diagram $D$ of a $2$-knot, we provide a way to construct a new diagram $D'$ of the same knot such that any sequence of Roseman moves between $D$ and $D'$ necessarily involves branch points. The proof is done by developing the observation that no sphere eversion can be lifted to an isotopy in $4$-space.


title: Buffered spectrally-peaked proton beams in the relativistic-transparency regime

abstract: Spectrally-peaked proton beams ($E_{p}\approx 8$ MeV, $\Delta E\approx 4$ MeV) have been observed from the interaction of an intense laser ($> 10^{19 }$ Wcm$^{-2}$) with ultrathin CH foils, as measured by spectrally-resolved full beam profiles. These beams are reproducibly generated for foil thicknesses (5-100 nm), and exhibit narrowing divergence with decreasing target thickness down to $\approx 8^\circ$ for 5 nm. Simulations demonstrate that the narrow energy spread feature is a result of buffered acceleration of protons. Due to their higher charge-to-mass ratio, the protons outrun a carbon plasma driven in the relativistic transparency regime.


title: Cross Section and Transverse Single-Spin Asymmetry of $\eta$ Mesons in $p^{\uparrow}+p$ Collisions at $\sqrt{s}=200$ GeV at Forward Rapidity

abstract: We present a measurement of the cross section and transverse single-spin asymmetry ($A_N$) for $\eta$ mesons at large pseudorapidity from $\sqrt{s}=200$~GeV $p^{\uparrow}+p$ collisions. The measured cross section for $0.5<p_T<5.0$~GeV/$c$ and $3.0<|\eta|<3.8$ is well described by a next-to-leading-order perturbative-quantum-chromodynamics calculation. The asymmetries $A_N$ have been measured as a function of Feynman-$x$ ($x_F$) from $0.2<|x_{F}|<0.7$, as well as transverse momentum ($p_T$) from $1.0<p_T<4.5$~GeV/$c$. The asymmetry averaged over positive $x_F$ is $\langle{A_{N}}\rangle=0.061{\pm}0.014$. The results are consistent with prior transverse single-spin measurements of forward $\eta$ and $\pi^{0}$ mesons at various energies in overlapping $x_F$ ranges. Comparison of different particle species can help to determine the origin of the large observed asymmetries in $p^{\uparrow}+p$ collisions.


title: Partition function of free conformal higher spin theory

abstract: We compute the canonical partition function Z of non-interacting conformal higher spin (CHS) theory viewed as a collection of free spin s CFT's in R^d. We discuss in detail the 4-dimensional case (where s=1 is the standard Maxwell vector, s=2 is the Weyl graviton, etc.), but also present a generalization for all even dimensions d. Z may be found by counting the numbers of conformal operators and their descendants (modulo gauge identities and equations of motion) weighted by scaling dimensions. This conformal operator counting method requires a careful analysis of the structure of characters of relevant (conserved current, shadow field and conformal Killing tensor) representations of the conformal algebra so(d,2). There is also a close relation to massless higher spin partition functions with alternative boundary conditions in AdS_{d+1}. The same partition function Z may also be computed from the CHS path integral on a curved S^1 x S^{d-1} background. This allows us to determine a simple factorized form of the CHS kinetic operator on this conformally flat background. Summing the individual conformal spin contributions Z_s over all spins we obtain the total partition function of the CHS theory. We also find the corresponding Casimir energy and show that it vanishes if one uses the same regularization prescription that implies the cancellation of the total conformal anomaly a-coefficient. This happens to be true in all even dimensions d >= 2.


title: On rack colorings for surface-knot diagrams without branch points

abstract: Racks do not give us invariants of surface-knots in general. For example, if a surface-knot diagram has branch points (and a rack which we use satisfies some mild condition), then it admits no rack colorings. In this paper, we investigate rack colorings for surface-knot diagrams without branch points and prove that rack colorings are invariants of $S^2$-knots. We also prove that rack colorings for $S^2$-knots can be interpreted in terms of quandles, and discuss a relationship with regular-equivalences of surface-knot diagrams.


title: $^{119}$Sn-NMR investigations on superconducting Ca$_3$Ir$_4$Sn$_{13}$: Evidence for multigap superconductivity

abstract: We report bulk superconductivity (SC) in Ca$_3$Ir$_4$Sn$_{13}$ by means of $^{119}$Sn nuclear magnetic resonance (NMR) experiments. Two classical signatures of BCS superconductivity in spin-lattice relaxation rate ($1/T_1$), namely the Hebel-Slichter coherence peak just below the $T_c$ and the exponential decay in the superconducting phase, are evident. The noticeable decrease of $^{119}$Sn Knight shift below $T_c$ indicates spin-singlet superconductivity. The temperature dependence of the spin-lattice relaxation rate ($1/T_1$) is convincingly described by the multigap isotropic superconducting gap. Present NMR experiments do not witness any sign of enhanced spin fluctuations in the normal state.


title: Shapes, fingerprints and rational lemniscates

abstract: It has been known since the work of A.A. Kirillov that any smooth Jordan curve in the plane can be represented by its so-called fingerprint, an orientation preserving smooth diffeomorphism of the unit circle onto itself. In this paper, we give a new, simple proof of a theorem of Ebenfelt, Khavinson and Shapiro stating that the fingerprint of a polynomial lemniscate of degree $n$ is given by the $n$-th root of a Blaschke product of degree $n$ and that conversely, any smooth diffeomorphism induced by such a map is the fingerprint of a polynomial lemniscate of the same degree. The proof is easily generalized to the case of rational lemniscates, thus solving a problem raised by the previously mentioned authors.


title: A complete survey of texture zeros in the lepton mass matrices

abstract: We perform a systematic and complete analysis of texture zeros in the lepton mass matrices and identify all viable and maximally restrictive cases of pairs (M_\ell, M_D) and (M_\ell, M_L), where M_\ell, M_D and M_L are the charged-lepton, Dirac neutrino and Majorana neutrino mass matrices, respectively. To this end, we perform a thorough analysis of textures which are equivalent through weak-basis permutations. Furthermore, we introduce numerical measures for the predictivity of textures and apply them to the viable and maximally restrictive texture zero models. It turns out that for Dirac neutrinos these models can at most predict the smallest neutrino mass and the CKM-type phase of the mixing matrix. For Majorana neutrinos most models can, in addition, predict the effective neutrino mass for neutrinoless double beta decay. Apart from one model, which has marginal predictive power with respect to sin^2(theta_23), no other model can predict any of the already measured observables.


title: The 2D $\kappa$-Dirac oscillator

abstract: In this Letter, 2D Dirac oscillator in the quantum deformed framework generated by the $\kappa$-Poincar\'{e}-Hopf algebra is considered. The problem is formulated using the $\kappa$-deformed Dirac equation. The resulting theory reveals that the energies and wave functions of the oscillator are modified by the deformation parameter.


title: Gutzwiller Density Functional Theory: a formal derivation and application to ferromagnetic nickel

abstract: We present a detailed derivation of the Gutzwiller Density Functional Theory that covers all conceivable cases of symmetries and Gutzwiller wave functions. The method is used in a study of ferromagnetic nickel where we calculate ground state properties (lattice constant, bulk modulus, spin magnetic moment) and the quasi-particle band structure. Our method resolves most shortcomings of an ordinary Density Functional calculation on nickel. However, the quality of the results strongly depends on the particular choice of the double-counting correction. This constitutes a serious problem for all methods that attempt to merge Density Functional Theory with correlated-electron approaches based on Hubbard-type local interactions.


title: Recognizing how some states are built, from mixed states to singlets

abstract: It is well known that different preparations of a mixed state cannot be distinguished by a measurement of that state. Yet we show that some other experiments let us make this distinction despite a very general belief that this would not be possible. Issues in quantum cryptography that prompted this work are only briefly mentioned in this letter.


title: Energy efficient neighbor selection for flat wireless sensor networks

abstract: In this paper we have analyzed energy efficient neighbour selection algorithms for routing in wireless sensor networks. Since energy saving or consumption is an important aspect of wireless sensor networks, its precise usage is highly desirable both for the faithful performance of network and to increase the network life time. For this work, we have considered a flat network topology where every node has the same responsibility and capability. We have compared two energy efficient algorithms and analyzed their performances with increase in number of nodes, time rounds and node failures.


title: The First Differential of the Functor "Algebraic K-Theory of Spaces"

abstract: In his "Algebraic K-theory of topological spaces II" Waldhausen proved that his functor A(X) splits: There is a canonical map from the stable homotopy of X which has a retraction up to weak equivalence. We adapt Waldhausen's proof to obtain a calculation of the Differential (in the sense of Goodwillie's "Calculus I") of A(X) at any path-connected base space.


title: Highly efficient anomalous refraction of airborne sound through ultrathin metasurfaces

abstract: Similar to their optic counterparts, acoustic components are anticipated to flexibly tailor the propagation of sound. However, the practical applications, e.g. for audible sound with large wavelengths, are frequently hampered by the issue of device thickness. Here we present an effective design of metasurface structures that can deflect the transmitted airborne sound in an anomalous way. This flat lens, made of spatially varied coiling-slit subunits, has a thickness of deep subwavelength. By elaborately optimizing its microstructures, the proposed lens exhibits high performance in steering sound wavefronts. The experimental results are in excellent agreement with the theoretical predictions. This study may open new avenues for numerous daily life applications, such as controlling indoor sound effects by decorating rooms with light metasurface walls.


title: Basics of the NLTE physics

abstract: Basic assumptions of the NLTE approximation in stellar atmospheres are summarized. The assumptions of thermodynamic equilibrium, local thermodynamic equilibrium (LTE), and non-LTE (NLTE) are compared. It is emphasized that LTE is a poor approximation if radiative transitions dominate in stellar atmospheres. The equations of kinetic equilibrium and methods of their solution are discussed.


title: Methodological Societies

abstract: The evolution of self-adaptive systems poses the problems of their coherence and the resume of the systems' functioning taking into account the accomplished work. While they are the base of the self-adaptive systems, these two aspects are not considered in the related works. In this paper, we propose a methodological based approach. In such approach, the adaptive system's evolution is thought at its model level where its execution is made on the system by exploiting a methodological process. For its concretization, we use colored Petri nets to describe the agents' individual tasks. To handle the system's functioning resume, we exploit the property of Petri nets on which the control flow depends on last marking only.


title: Absorption of scalars by extremal black holes in string theory

abstract: We show that the low frequency absorption cross section of minimally coupled test massless scalar fields by extremal spherically symmetric black holes in d dimensions is equal to the horizon area, even in the presence of string--theoretical $\alpha'$ corrections. Classically one has the relation $\sigma = 4 G S$ between that absorption cross section and the black hole entropy. By comparing in each case the values of the horizon area and Wald's entropy, we discuss the validity of such relation in the presence of higher derivative corrections for extremal black holes in many different contexts: in the presence of electric and magnetic charges, for nonsupersymmetric and supersymmetric black holes, in d=4 and d=5 dimensions. The examples we consider seem to indicate that this relation is not verified in the presence of $\alpha'$ corrections in general, although being valid in some specific cases (electrically charged maximally supersymmetric black holes in d=5). We argue that the relation $\sigma = 4 G S$ should in general be valid for the absorption cross section of scalar fields which, although being independent from the black hole solution, have their origin from string theory, and therefore are not minimally coupled.


title: NLTE analysis of spectra: OBA stars

abstract: Methods of calculation of NLTE model atmosphere are discussed. The NLTE trace element procedure is compared with the full NLTE model atmosphere calculation. Differences between LTE and NLTE atmosphere modeling are evaluated. The ways of model atom construction are discussed. Finally, modelling of expanding atmospheres of hot stars with winds is briefly reviewed.


title: Connection between Measurement Disturbance Relation and Multipartite Quantum Correlation

abstract: It is found that the measurement disturbance relation (MDR) determines the strength of quantum correlation and hence is one of the essential facets of the nature of quantum nonlocality. In reverse, the exact form of MDR may be ascertained through measuring the correlation function. To this aim, an optical experimental scheme is proposed. Moreover, by virtue of the correlation function, we find that the quantum entanglement, the quantum non-locality, and the uncertainty principle can be explicitly correlated.


title: Combinatorial and Additive Number Theory Problem Sessions: '09--'23

abstract: These notes are a summary of the problem session discussions at various CANT (Combinatorial and Additive Number Theory Conferences). Currently they include all years from 2009 through 2019 (inclusive); the goal is to supplement this file each year. These additions will include the problem session notes from that year, and occasionally discussions on progress on previous problems. If you are interested in pursuing any of these problems and want additional information as to progress, please email the author. See http://www.theoryofnumbers.com/ for the conference homepage.


title: Current status of NLTE analysis of stellar atmospheres

abstract: Various available codes for NLTE modeling and analysis of hot star spectra are reviewed. Generalizations of standard equations of kinetic equilibrium and their consequences are discussed.


title: Doubly magic optical trapping for Cs atom hyperfine clock transitions

abstract: We analyze doubly magic trapping of Cs hyperfine transitions including previously neglected contributions from the ground state hyperpolarizability and the interaction of the laser light and a static magnetic field. Extensive numerical searches do not reveal any doubly magic trapping conditions for any pair of hyperfine states. However, including the hyperpolarizability reveals light intensity insensitive traps for a wide range of wavelengths at specific intensities. We then investigate the possibility of using bichromatic trapping light fields. Deploying a bichromatic scheme, we demonstrate doubly magic red and blue detuned traps for pairs of states separated by one or two single photon transitions.


title: When relevance is not Enough: Promoting Visual Attractiveness for Fashion E-commerce

abstract: Fashion, and especially apparel, is the fastest-growing category in online shopping. As consumers requires sensory experience especially for apparel goods for which their appearance matters most, images play a key role not only in conveying crucial information that is hard to express in text, but also in affecting consumer's attitude and emotion towards the product. However, research related to e-commerce product image has mostly focused on quality at perceptual level, but not the quality of content, and the way of presenting. This study aims to address the effectiveness of types of image in showcasing fashion apparel in terms of its attractiveness, i.e. the ability to draw consumer's attention, interest, and in return their engagement. We apply advanced vision technique to quantize attractiveness using three common display types in fashion filed, i.e. human model, mannequin, and flat. We perform two-stage study by starting with large scale behavior data from real online market, then moving to well designed user experiment to further deepen our understandings on consumer's reasoning logic behind the action. We propose a Fisher noncentral hypergeometric distribution based user choice model to quantitatively evaluate user's preference. Further, we investigate the potentials to leverage visual impact for a better search that caters to user's preference. A visual attractiveness based re-ranking model that incorporates both presentation efficacy and user preference is proposed. We show quantitative improvement by promoting visual attractiveness into search on top of relevance.


title: The mechanism of high-resolution STM/AFM imaging with functionalized tips

abstract: High resolution Atomic Force Microscopy (AFM) and Scanning Tunnelling Microscopy (STM) imaging with functionalized tips is well established, but a detailed understanding of the imaging mechanism is still missing. We present a numerical STM/AFM model, which takes into account the relaxation of the probe due to the tip-sample interaction. We demonstrate that the model is able to reproduce very well not only the experimental intra- and intermolecular contrasts, but also their evolution upon tip approach. At close distances, the simulations unveil a significant probe particle relaxation towards local minima of the interaction potential. This effect is responsible for the sharp sub-molecular resolution observed in AFM/STM experiments. In addition, we demonstrate that sharp apparent intermolecular bonds should not be interpreted as true hydrogen bonds, in the sense of representing areas of increased electron density. Instead they represent the ridge between two minima of the potential energy landscape due to neighbouring atoms.


title: An analogue of the Rademacher function for generalized Dedekind sums in higher dimension

abstract: We consider generalized Dedekind sums in dimension $n$, for fixed $n$-tuple of natural numbers, defined as sum of products of values of periodic Bernoulli functions. This includes the higher dimensional Dedekind sums of Zagier and Apostol-Carlitz' generalized Dedekind sums as well as the original Dedekind sums. These are realized as coefficients of Todd series of lattice cones and satisfy reciprocity law from the cocycle property of Todd series. Using iterated residue formula, we compute the coefficient of the decomposition of of the Todd series corresponding to a nonsingular decomposition of the lattice cone defining the Dedekind sums. We associate a Laurent polynomial which is added to generalized Dedekind sums of fixed index to make their denominators bounded. We give explicitly the denominator in terms of Bernoulli numbers. This generalizes the role played by the rational function given by the difference of the Rademacher function and the classical Dedekind sums. We associate an exponential sum to the generalized Dedekind sums using the integrality of the generalized Rademacher function. We show that this exponential sum has a nontrivial bound that is sufficient to fulfill Weyl's equidistribution criterion and thus the fractional part of the generalized Dedekind sums are equidistributed. As an example, for a 3 dimensional case and Zagier's higher dimensional generalization of Dedekind sums, we compute the Laurent polynomials associated.


title: Soft QCD path to the mass hierarchy

abstract: The study of the quantization of the QCD string with the helix structure is put into the context of a decades-long discussion opposing the probabilistic and the deterministic interpretations of the quantum theory. The recent evolution of the string fragmentation model (to a large extent driven and confirmed by the empirical evidence), towards the deterministic point of view is recounted: the notion of causality not only paves a way to the study of mass spectrum, it also resolves a long-standing ambiguity about the nature of the so-called Bose-Einstein correlations. Two directions for the further development of the model are outlined: 1/ the elimination of soft collinear divergencies, 2/ the relation between the topological properties of the QCD string and the emergence of new particle types (quantum numbers).


title: Frequency-dependent damping in propagating slow magneto-acoustic waves

abstract: Propagating slow magneto-acoustic waves are often observed in polar plumes and active region fan loops. The observed periodicities of these waves range from a few minutes to few tens of minutes and their amplitudes were found to decay rapidly as they travel along the supporting structure. Previously, thermal conduction, compressive viscosity, radiation, density stratification, and area divergence, were identified to be some of the causes for change in the slow wave amplitude. Our recent studies indicate that the observed damping in these waves is frequency dependent. We used imaging data from SDO/AIA, to study this dependence in detail and for the first time from observations we attempted to deduce a quantitative relation between damping length and frequency of these oscillations. We developed a new analysis method to obtain this relation. The observed frequency dependence does not seem to agree with the current linear wave theory and it was found that the waves observed in the polar regions show a different dependence from those observed in the on-disk loop structures despite the similarity in their properties.


title: Asymptotic properties of a bold random walk

abstract: In a recent paper we proposed a non-Markovian random walk model with memory of the maximum distance ever reached from the starting point (home). The behavior of the walker is at variance with respect to the simple symmetric random walk (SSRW) only when she is at this maximum distance, where, having the choice to move either farther or closer, she decides with different probabilities. If the probability of a forward step is higher then the probability of a backward step, the walker is bold and her behavior turns out to be super-diffusive, otherwise she is timorous and her behavior turns out to be sub-diffusive. The scaling behavior vary continuously from sub-diffusive (timorous) to super-diffusive (bold) according to a single parameter $\gamma \in R$. We investigate here the asymptotic properties of the bold case in the non ballistic region $\gamma \in [0,1/2]$, a problem which was left partially unsolved in \cite{S}. The exact results proved in this paper require new probabilistic tools which rely on the construction of appropriate martingales of the random walk and its hitting times.


title: Simulation of Pedestrian Movements Using Fine Grid Cellular Automata Model

abstract: Crowd simulation is used for evacuation and crowd safety inspections, study of performance in crowd systems and animations. Cellular automata has been extensively used in modelling the crowd. In regular cellular automata models, each pedestrian occupies a single cell with the size of a pedestrian body. Since the space is divided into relatively large cells, the movements of pedestrians look like the movements of pieces on a chess board. Furthermore, all pedestrians have the same body size and speed. In this paper, a method called fine grid cellular automata is proposed in which smaller cells are used and pedestrian body may occupy several cells. The model allows the use of different body sizes, shapes and speeds for pedestrian. The proposed model is used for simulating movements of pedestrians toward a target. A typical walkway scenario is used to test and evaluate the model. The movements of pedestrians are smoother because of the finer grain discretization of movements and the simulation results match empirical speed-density graphs with good accuracy.


title: NaNet: a Low-Latency, Real-Time, Multi-Standard Network Interface Card with GPUDirect Features

abstract: While the GPGPU paradigm is widely recognized as an effective approach to high performance computing, its adoption in low-latency, real-time systems is still in its early stages. Although GPUs typically show deterministic behaviour in terms of latency in executing computational kernels as soon as data is available in their internal memories, assessment of real-time features of a standard GPGPU system needs careful characterization of all subsystems along data stream path. The networking subsystem results in being the most critical one in terms of absolute value and fluctuations of its response latency. Our envisioned solution to this issue is NaNet, a FPGA-based PCIe Network Interface Card (NIC) design featuring a configurable and extensible set of network channels with direct access through GPUDirect to NVIDIA Fermi/Kepler GPU memories. NaNet design currently supports both standard - GbE (1000BASE-T) and 10GbE (10Base-R) - and custom - 34~Gbps APElink and 2.5~Gbps deterministic latency KM3link - channels, but its modularity allows for a straightforward inclusion of other link technologies. To avoid host OS intervention on data stream and remove a possible source of jitter, the design includes a network/transport layer offload module with cycle-accurate, upper-bound latency, supporting UDP, KM3link Time Division Multiplexing and APElink protocols. After NaNet architecture description and its latency/bandwidth characterization for all supported links, two real world use cases will be presented: the GPU-based low level trigger for the RICH detector in the NA62 experiment at CERN and the on-/off-shore data link for KM3 underwater neutrino telescope.


title: Simulations of prompt many-body ionization in a frozen Rydberg gas

abstract: The results of a theoretical investigation of prompt many-body ionization are reported. Our calculations address an experiment that reported ionization in Rydberg gases for densities two orders of magnitude less than expected from ionization between pairs of atoms. The authors argued that the results were due to the simultaneous interaction between many atoms. We performed classical calculations for many interacting Rydberg atoms with the ions fixed in space and have found that the many atom interaction does allow ionization at lower densities than estimates from two atom interactions. However, we found that the density fluctuations in a gas play a larger role. These two effects are an order of magnitude too small to account for the experimental results suggesting at least one other mechanism strongly affects ionization.


title: Slow light microfluidics: a proposal

abstract: The resonant slow light structures created along a thin-walled optical capillary by nanoscale deformation of its surface can perform comprehensive simultaneous detection and manipulation of microfluidic components. This concept is illustrated with a model of a 0.5 millimeter long 5 nm high triangular bottle resonator created at a 50 micron radius silica capillary containing floating microparticles. The developed theory shows that the microparticle positions can be determined from the bottle resonator spectrum. In addition, the microparticles can be driven and simultaneously positioned at predetermined locations by the localized electromagnetic field created by the optimized superposition of eigenstates of this resonator, thus, exhibiting a multicomponent near field optical tweezers.


title: An elementary proof for the dimension of the graph of the classical Weierstrass function

abstract: Let $W_{\lambda,b}(x)=\sum_{n=0}^\infty\lambda^n g(b^n x)$ where $b\geqslant2$ is an integer and $g(u)=\cos(2\pi u)$ (classical Weierstrass function). Building on work by Ledrappier (1992), Bar\'ansky, B\'ar\'any and Romanowska (2013) and Tsujii (2001), we provide an elementary proof that the Hausdorff dimension of $W_{\lambda,b}$ equals $2+\frac{\log\lambda}{\log b}$ for all $\lambda\in(\lambda_b,1)$ with a suitable $\lambda_b<1$. This reproduces results by Bar\'ansky, B\'ar\'any and Romanowska without using the dimension theory for hyperbolic measures of Ledrappier and Young (1985,1988), which is replaced by a simple telescoping argument together with a recursive multi-scale estimate.


title: Analog quantum simulation of gravitational waves in a Bose-Einstein condensate

abstract: We show how to vary the physical properties of a Bose-Einstein condensate (BEC) in order to mimic an effective gravitational-wave spacetime. In particular, we focus in the simulation of the recently discovered creation of particles by real spacetime distortion in box-type traps. We show that, by modulating the speed of sound in the BEC, the phonons experience the effects of a simulated spacetime ripple with experimentally amenable parameters. These results will inform the experimental programme of gravitational wave astronomy with cold atoms.


title: Condensation transition in joint large deviations of linear statistics

abstract: Real space condensation is known to occur in stochastic models of mass transport in the regime in which the globally conserved mass density is greater than a critical value. It has been shown within models with factorised stationary states that the condensation can be understood in terms of sums of independent and identically distributed random variables: these exhibit condensation when they are conditioned to a large deviation of their sum. It is well understood that the condensation, whereby one of the random variables contributes a finite fraction to the sum, occurs only if the underlying probability distribution (modulo exponential) is heavy-tailed, i.e. decaying slower than exponential. Here we study a similar phenomenon in which condensation is exhibited for non-heavy-tailed distributions, provided random variables are additionally conditioned on a large deviation of certain linear statistics. We provide a detailed theoretical analysis explaining the phenomenon, which is supported by Monte Carlo simulations (for the case where the additional constraint is the sample variance) and demonstrated in several physical systems. Our results suggest that the condensation is a generic phenomenon that pertains to both typical and rare events.


title: A census of H$\alpha$ emitters in the intergalactic medium of the NGC 2865 system

abstract: Tidal debris which are rich in HI gas, formed in interacting and merging systems, are suitable laboratories to study star formation outside galaxies. Recently, several such systems were observed, which contained many young star forming regions outside the galaxies. In previous works, we have studied young star forming regions outside galaxies in different systems with optical and/or gaseous tidal debris, all of them with available archive GALEX/UV images, in order to understand how often they occur and in which type of environments. In this paper we searched for star forming regions around the galaxy NGC2865, a shell galaxy which is circled by a ring of HI, with a total mass of 1.2 x 10$^9$ M$_\odot$. Using the Multi-Slit Imaging Spectroscopy Technique with the Gemini telescope, we detected all H$\alpha$ emitting sources in the surroundings of the galaxy NGC2865, down to a flux limit of 10$^{-18}$ erg cm$^{-2}$ s$^{-1}$ \AA$^{-1}$. Together with Near and Far-Ultraviolet flux information we characterize the star formation rates, masses, ages, and metallicities for these HII regions. In total, we found 26 emission-line sources in a 60 $\times$ 60 Kpc field centered over the southeastern tail of the HI gas present around the galaxy NGC2865. Out of the 26 H$\alpha$ emitters, 19 are in the satellite galaxy FGCE 0745 and seven are intergalactic HII regions scattered over the south tail of the HI gas around NGC2865. We found that the intergalactic HII regions are young ($<$200 Myr) with stellar masses in the range 4 X 10$^3$M$_\odot$ to 17x10$^6$ M$_\odot$. These are found in a region of low HI gas density, where the probability of forming stars is expected to be low. For one of the intergalactic HII regions we estimated a solar oxygen abundance of 12 + log(O/H) $\sim$ 8.7. We also were able to estimate the metallicity for the satellite galaxy FGCE0745 to be 12 + log(O/H) ~ 8.0.


title: Michel decay spectrum for a muon bound to a nucleus

abstract: The spectrum of electrons from muons decaying in an atomic bound state is significantly modified by their interaction with the nucleus. Somewhat unexpectedly, its first measurement, at the Canadian laboratory TRIUMF, differed from basic theory. We show, using a combination of techniques developed in atomic, nuclear, and high-energy physics, that radiative corrections eliminate the discrepancy. In addition to solving that outstanding problem, our more precise predictions are potentially useful for interpreting future high-statistics muon experiments that aim to search for exotic interactions at $10^{-16}$ sensitivity.


title: Low Energy Electrodynamics of Novel Spin Excitations in the Quantum Spin Ice Yb$_2$Ti$_2$O$_7$

abstract: In condensed matter systems, the formation of long range order (LRO) with broken symmetry is often accompanied by new types of excitations. However, in many magnetic pyrochlore oxides, geometrical frustration suppresses conventional LRO while at the same time non-trivial spin correlations are observed. For such materials, a natural question to ask then is what is the nature of the excitations in this highly correlated state without broken symmetry? Frequently the application of a symmetry breaking field can stabilize excitations whose properties still reflect certain aspects of the anomalous state without long-range order. Here we report evidence of novel magnetic excitations in the quantum spin ice material Yb$_2$Ti$_2$O$_7$, obtained from time-domain terahertz spectroscopy (TDTS). At large fields, both magnon and two-magnon-like excitations are observed in a $<$001$>$ directed magnetic field illustrating the stabilization of a field induced LRO state. The unique ability of TDTS to measure complex response functions allows a direct study of magnetic responses in different polarization channels, revealing the existence of an unusual left-hand polarized magnon. The g-factors of these excitations are dramatically enhanced in the low-field limit, showing a cross-over of these one- and two-magnon states into features consistent with quantum string-like excitations proposed to exist in quantum spin ice in a small $<$001$>$ applied field.


title: Flow monotonicity and Strichartz inequalities

abstract: We identify complete monotonicity properties underlying a variety of well-known sharp Strichartz inequalities in euclidean space.


title: Inequalities detecting entanglement for arbitrary bipartite systems

abstract: Based on the generators of $SU(n)$ we present inequalities for detecting quantum entanglement for $2 \otimes d$ and $M \otimes N$ systems. These inequalities provide a sufficient condition of entanglement for bipartite mixed states and give rise to an experimental way of entanglement detection.


title: Computational speed-up in a single qudit NMR quantum information processor

abstract: Quantum algorithms are known for presenting more efficient solutions to certain computational tasks than any corresponding classical algorithm. It has been thought that the origin of the power of quantum computation has its roots in non-classical correlations such as entanglement or quantum discord. However, it has been recently shown that even a single pure qudit is sufficient to design an oracle-based algorithm which solves a black-box problem faster than any classical approach to the same problem. In particular, the algorithm that we consider determines whether eight permutation functions defined on a set of four elements is positive or negative cyclic. While any classical solution to this problem requires two evaluations of the function, quantum mechanics allows us to perform the same task with only a single evaluation. Here, we present the first experimental demonstration of the considered quantum algorithm with a quadrupolar nuclear magnetic resonance setup using a single four-level quantum system, i.e., a ququart.


title: Quantum Phase Transition in an Interacting Fermionic Chain

abstract: We rigorously analyze the quantum phase transition between a metallic and an insulating phase in (non solvable) interacting spin chains or one dimensional fermionic systems. In particular, we prove the persistence of Luttinger liquid behavior in the presence of an interaction even arbitrarily close to the critical point, where the Fermi velocity vanishes and the two Fermi points coalesce. The analysis is based on two different multiscale analysis; the analysis of the first regime provides gain factors which compensate exactly the small divisors due to the vanishing Fermi velocity.