title: Analyzing Locality of Mobile Messaging Traffic using the MATAdOR Framework

abstract: Mobile messaging services have gained a large share in global telecommunications. Unlike conventional services like phone calls, text messages or email, they do not feature a standardized environment enabling a federated and potentially local service architecture. We present an extensive and large-scale analysis of communication patterns for four popular mobile messaging services between 28 countries and analyze the locality of communication and the resulting impact on user privacy. We show that server architectures for mobile messaging services are highly centralized in single countries. This forces messages to drastically deviate from a direct communication path, enabling hosting and transfer countries to potentially intercept and censor traffic. To conduct this work, we developed a measurement framework to analyze traffic of such mobile messaging services. It allows to conduct automated experiments with mobile messaging applications, is transparent to those applications and does not require any modifications to the applications.


title: Examination of the Plasma located in PSI Ring Cyclotron

abstract: A plasma has been observed inside the vacuum chamber of the PSI Ring Cyclotron. This ionized gas cloud maybe a substantial contributor to several interior components having reduced lifetimes. The plasma's generation has been directly linked to the voltage that is applied to the Flat Top Cavity through visual confirmation using CCD cameras. A spectrometer was used to correlate the plasma's intensity and ignition to the Flat Top Cavity voltage as well as to determine the composition of the plasma. This paper reports on the analysis of the plasma using spectroscopy. The spectrometer data was analyzed to determine the composition of the plasma and that the plasma intensity (luminosity) directly corresponds to the Flat Top voltage. The results showed that the plasma was comprised of elements consistent with the cyclotrons vacuum interior


title: Real zeroes of random polynomials, I: Flip-invariance, Tur\'an's lemma, and the Newton-Hadamard polygon

abstract: We show that with high probability the number of real zeroes of a random polynomial is bounded by the number of vertices on its Newton-Hadamard polygon times the cube of the logarithm of the polynomial degree. A similar estimate holds for zeroes lying on any curve in the complex plane, which is the graph of a Lipschitz function in polar coordinates. The proof is based on the classical Tur\'an lemma.


title: Tuning the presence of dynamical phase transitions in a generalized $XY$ spin chain

abstract: We study an integrable spin chain with three spin interactions and the staggered field ($\lambda$) while the latter is quenched either slowly (in a linear fashion in time ($t$) as $t/\tau$ where $t$ goes from a large negative value to a large positive value and $\tau$ is the inverse rate of quenching) or suddenly. In the process, the system crosses quantum critical points and gapless phases. We address the question whether there exist non-analyticities (known as dynamical phase transitions (DPTs)) in the subsequent real time evolution of the state (reached following the quench) governed by the final time-independent Hamiltonian. In the case of sufficiently slow quenching (when $\tau$ exceeds a critical value $\tau_1$), we show that DPTs, of the form similar to those occurring for quenching across an isolated critical point, can occur even when the system is slowly driven across more than one critical point and gapless phases. More interestingly, in the anisotropic situation we show that DPTs can completely disappear for some values of the anisotropy term ($\gamma$) and $\tau$, thereby establishing the existence of boundaries in the $(\gamma-\tau)$ plane between the DPT and no-DPT regions in both isotropic and anisotropic cases. Our study therefore leads to a unique situation when DPTs may not occur even when an integrable model is slowly ramped across a QCP. On the other hand, considering sudden quenches from an initial value $\lambda_i$ to a final value $\lambda_f$, we show that the condition for the presence of DPTs is governed by relations involving $\lambda_i$, $\lambda_f$ and $\gamma$ and the spin chain must be swept across $\lambda=0$ for DPTs to occur.


title: Loading of a fountain clock with an enhanced Low-Velocity Intense Source of atoms

abstract: We present experimental work for improved atom loading in the optical molasses of a caesium fountain clock, employing a low-velocity intense source of atoms (LVIS) [Lu et al., Phys. Rev. Lett. 77, 3331 (1996)], which we modified by adding a "dark" state pump laser. With this modification the atom source has a mean flux of $4 \times 10^{8}$ atoms/s at a mean atom velocity of $8.6$ m/s. Compared to fountain operation using background gas loading, we achieved a significant increase of the loaded and detected atom number by a factor of 40. Operating the fountain clock with a total number of detected atoms $N_{\mathrm{at}}=2.9 \times 10^6$ in the quantum projection noise-limited regime, a frequency instability $\sigma_y\left(1\text{s}\right)=2.7 \times 10^{-14}$ was demonstrated.


title: Design and analysis of annulus core few mode EDFA for modal gain equalization

abstract: Few-mode fiber amplifier is widely under study to overcome the issue of internet traffic in optical communication. This article proposes annulus core few-mode erbium doped fiber (FM-EDF) with annulus or extra annulus doping for amplification of the LP01, LP11, LP21, and LP31 signal mode groups with low differential modal gain (DMG). Our simulations confirm that extra annulus doping helps in reducing DMG of higher order mode groups. We have achieved less than 2.2 dB DMG over C-band for 4-mode groups using extra annulus doping. The proposed EDF would be useful for space division multiplexing (SDM) based optical fiber communication system.


title: Collisions of CO$_2$ Ice Grains in Planet Formation

abstract: In protoplanetary disks, CO$_2$ is solid ice beyond its snow line at $\sim 10 \rm AU$. Due to its high abundance, it contributes heavily to the collisional evolution in this region of the disk. For the first time, we carried out laboratory collision experiments with CO$_2$ ice particles and a CO$_2$-covered wall at a temperature of 80 K. Collision velocities varied between 0 - 2.5 m/s. Particle sizes were on the order of $\sim$ 100 $\mu$m. We find a threshold velocity between the sticking and the bouncing regime at 0.04 m/s. Particles with greater velocities but below 1 m/s bounce off the wall. For yet greater velocities, fragmentation occurs. We give analytical models for the coefficients of restitution and fragmentation strength consistent with the experimental data. Set in context, our data show that CO$_2$ ice and silicate dust resemble each other in the collisional behavior. Compared to water ice the sticking velocity is an order of magnitude smaller. One immediate consequence as example is that water ice particles mantled by CO$_2$ ice lose any "sticking advantage." In this case, preferential planetesimal growth attributed to the sticking properties of water ice will be limited to the region between the H$_2$O ice line and the CO$_2$ ice line.


title: Rotational shear near the solar surface as a probe for subphotospheric magnetic fields

abstract: Helioseismology revealed an increase in the rotation rate with depth just beneath the solar surface. The relative magnitude of the radial shear is almost constant with latitude. This rotational state can be interpreted as a consequence of two conditions characteristic of the near-surface convection: the smallness of convective turnover time in comparison with the rotation period and absence of a horizontal preferred direction of convection anisotropy. The latter condition is violated in the presence of a magnetic field. This raises the question of whether the subphotospheric fields can be probed with measurements of near-surface rotational shear. The shear is shown to be weakly sensitive to magnetic fields but can serve as a probe for sufficiently strong fields of the order of one kilogauss. It is suggested that the radial differential rotation in extended convective envelopes of red giants is of the same origin as the near-surface rotational shear of the Sun.


title: Bounds on the Game Transversal Number in Hypergraphs

abstract: Let $H = (V,E)$ be a hypergraph with vertex set $V$ and edge set $E$ of order $\nH = |V|$ and size $\mH = |E|$. A transversal in $H$ is a subset of vertices in $H$ that has a nonempty intersection with every edge of $H$. A vertex hits an edge if it belongs to that edge. The transversal game played on $H$ involves of two players, \emph{Edge-hitter} and \emph{Staller}, who take turns choosing a vertex from $H$. Each vertex chosen must hit at least one edge not hit by the vertices previously chosen. The game ends when the set of vertices chosen becomes a transversal in $H$. Edge-hitter wishes to minimize the number of vertices chosen in the game, while Staller wishes to maximize it. The \emph{game transversal number}, $\tau_g(H)$, of $H$ is the number of vertices chosen when Edge-hitter starts the game and both players play optimally. We compare the game transversal number of a hypergraph with its transversal number, and also present an important fact concerning the monotonicity of $\tau_g$, that we call the Transversal Continuation Principle. It is known that if $H$ is a hypergraph with all edges of size at least~$2$, and $H$ is not a $4$-cycle, then $\tau_g(H) \le \frac{4}{11}(\nH+\mH)$; and if $H$ is a (loopless) graph, then $\tau_g(H) \le \frac{1}{3}(\nH + \mH + 1)$. We prove that if $H$ is a $3$-uniform hypergraph, then $\tau_g(H) \le \frac{5}{16}(\nH + \mH)$, and if $H$ is $4$-uniform, then $\tau_g(H) \le \frac{71}{252}(\nH + \mH)$.


title: Clocks and dynamics in quantum models of gravity

abstract: We investigate how the quantum dynamics of gravitational models depends on the internal clock employed in quantisation. Our previous result on the quantum Friedmann-Lemaitre model demonstrates that almost all physical predictions from the quantum cosmological dynamics, e.g. the scale of the quantum bounce or the number of bounces, depend on the choice of internal clock. In the present paper we show that there exists an important prediction concerning the quantum dynamics which holds in all internal clocks. Namely, we prove that any quantum state asymptotically, i.e. away from a quantum interaction regime, admits a unique classical limit described by unique classical solutions irrespectively of the internal clock used for dynamical description of the given state. We demonstrate this property explicitly for the semiclassical Bianchi Type I model, which includes the semiclassical Friedmann-Lemaitre model as a special case. Our methods include the theory of pseudo-canonical transformations and the phase space portraits based on coherent states. As a by-product of the pursuit of our main goal, we elaborate the semiclassical description of anisotropic singularity resolution.


title: Real zeroes of random polynomials, II: Descartes' rule of signs and anti-concentration on the symmetric group

abstract: In this sequel to Part-I, we present a different approach to bounding the expected number of real zeroes of random polynomials with real independent identically distributed coefficients or more generally, exchangeable coefficients. We show that the mean number of real zeroes does not grow faster than the logarithm of the degree. The main ingredients of our approach are Descartes' rule of signs and a new anti-concentration inequality for the symmetric group. This paper can be read independently of part-I in this series.


title: The Structure of Z_2[u]Z_2[u, v]-additive Codes

abstract: In this paper, we study the algebraic structure of Z_2[u]Z_2[u, v]-additive codes which are Z_2[u, v]-submodules where u^2 = v^2 = 0 and uv = vu. In particular, we determine a Gray map from Z_2[u]Z_2 [u, v] to Z_2^{2{\alpha}+8\b{eta}} and study generator and parity check matrices for these codes. Further we study the structure of Z_2[u]Z_2[u, v]-additive cyclic codes and constacyclic codes.


title: Pair-eigenstates and mutual alignment of coupled molecular rotors in a magnetic field

abstract: We examine the rotational states of a pair of polar $^2\Sigma$ molecules subject to a uniform magnetic field. The electric dipole-dipole interaction between the molecules creates entangled pair-eigenstates of two types. In one type, the Zeeman interaction between the inherently paramagnetic molecules and the magnetic field destroys the entanglement of the pair-eigenstates, whereas in the other type it does not. The pair-eigenstates exhibit numerous intersections, which become avoided for pair-eigenstates comprised of individual states that meet the selection rules $\Delta J_{i}=0,\pm 1$, $\Delta N_{i}=0,\pm 2$, and $\Delta M_{i}=0,\pm 1$ imposed by the electric dipole-dipole operator. Here $J_{i}$, $N_{i}$ and $M_{i}$ are the total, rotational and projection angular momentum quantum numbers of molecules $i=1,2$ in the absence of the electric dipole-dipole interaction. We evaluate the mutual alignment of the pair-eigenstates and find it to be independent of the magnetic field, except for states that undergo avoided crossings, in which case the alignment of the interacting states is interchanged at the magnetic field corresponding to the crossing point. We present an analytic model which provides ready estimates of the pairwise alignment cosine that characterises the mutual alignment of the coupled rotors.


title: Will a nuclear stellar disk form in the galaxy Henize 2-10?

abstract: We present results of a set of $N$-body simulations to model the future evolution of the 11 young massive clusters hosted in the central region of the dwarf starburst galaxy Henize 2-10, which contains at its center a massive black hole with a mass $M_{\rm BH} \simeq 2\times 10^6$ M$_\odot$. Nuclear star clusters are present in a great quantity of galaxies of mass similar to Henize 2-10. Our results \citep{ASCD15} show that the orbital decay and merging of the Henize 2-10 clusters will likely lead to the formation of a nuclear star cluster with mass $M_{\rm NSC} \simeq 4-6 \times 10^6$ M$_\odot$ and effective radius $r_{\rm NSC} \simeq 4.1$ pc. Additionally, we found that this mechanism can lead to the formation of disky structures with global properties similar to those of nuclear stellar disks, which reside in many "middle-weight" galaxies. This work confirms and enlarge recent results \citep{ASCDS15} that indicate how nuclear star clusters and super massive black holes are only partially correlated, since the formation process of nuclear star clusters is poorly affected by a black hole of the size of that in Henize 2-10. A new result is that nuclear star clusters and nuclear stellar disks may share the same formation path.


title: Scalability in Neural Control of Musculoskeletal Robots

abstract: Anthropomimetic robots are robots that sense, behave, interact and feel like humans. By this definition, anthropomimetic robots require human-like physical hardware and actuation, but also brain-like control and sensing. The most self-evident realization to meet those requirements would be a human-like musculoskeletal robot with a brain-like neural controller. While both musculoskeletal robotic hardware and neural control software have existed for decades, a scalable approach that could be used to build and control an anthropomimetic human-scale robot has not been demonstrated yet. Combining Myorobotics, a framework for musculoskeletal robot development, with SpiNNaker, a neuromorphic computing platform, we present the proof-of-principle of a system that can scale to dozens of neurally-controlled, physically compliant joints. At its core, it implements a closed-loop cerebellar model which provides real-time low-level neural control at minimal power consumption and maximal extensibility: higher-order (e.g., cortical) neural networks and neuromorphic sensors like silicon-retinae or -cochleae can naturally be incorporated.


title: On sparse reconstructions in near-field acoustic holography using the method of superposition

abstract: The method of superposition is proposed in combination with a sparse $\ell_1$ optimisation algorithm with the aim of finding a sparse basis to accurately reconstruct the structural vibrations of a radiating object from a set of acoustic pressure values on a conformal surface in the near-field. The nature of the reconstructions generated by the method differs fundamentally from those generated via standard Tikhonov regularisation in terms of the level of sparsity in the distribution of charge strengths specifying the basis. In many cases, the $\ell_1$ optimisation leads to a solution basis whose size is only a small fraction of the total number of measured data points. The effects of changing the wavenumber, the internal source surface and the (noisy) acoustic pressure data in general will all be studied with reference to a numerical study on a cuboid of similar dimensions to a typical loudspeaker cabinet. The development of sparse and accurate reconstructions has a number of advantageous consequences including improved reconstructions from reduced data sets, the enhancement of numerical solution methods and wider applications in source identification problems.


title: Quantum Networks: general theory and applications

abstract: In this work we present a general mathematical framework to deal with Quantum Networks, i.e. networks resulting from the interconnection of elementary quantum circuits. The cornerstone of our approach is a generalization of the Choi isomorphism that allows one to efficiently represent any given Quantum Network in terms of a single positive operator. Our formalism allows one to face and solve many quantum information processing problems that would be hardly manageable otherwise, the most relevant of which are reviewed in this work: quantum process tomography, quantum cloning and learning of transformations, inversion of a unitary gate, information-disturbance tradeoff in estimating a unitary transformation, cloning and learning of a measurement device.


title: Zoology of Atlas-groups: dessins d'enfants, finite geometries and quantum commutation

abstract: Every finite simple group P can be generated by two of its elements. Pairs of generators for P are available in the Atlas of finite group representations as (not neccessarily minimal) permutation representations P. It is unusual but significant to recognize that a P is a Grothendieck's dessin d'enfant D and that most standard graphs and finite geometries G-such as near polygons and their generalizations-are stabilized by a D. In our paper, tripods P -- D -- G of rank larger than two, corresponding to simple groups, are organized into classes, e.g. symplectic, unitary, sporadic, etc (as in the Atlas). An exhaustive search and characterization of non-trivial point-line configurations defined from small index representations of simple groups is performed, with the goal to recognize their quantum physical significance. All the defined geometries G' s have a contextuality parameter close to its maximal value 1.


title: The Picard group of the universal moduli space of vector bundles on stable curves

abstract: We construct the moduli stack of properly balanced vector bundles on semistable curves and we determine explicitly its Picard group. As a consequence, we obtain an explicit description of the Picard groups of the universal moduli stack of vector bundles on smooth curves and of the Schmitt's compactification over the stack of stable curves. We prove some results about the gerbe structure of the universal moduli stack over its rigidification by the natural action of the multiplicative group. In particular, we give necessary and sufficient conditions for the existence of Poincar\'e bundles over the universal curve of an open substack of the rigidification, generalizing a result of Mestrano-Ramanan.


title: Neutrinos at extreme energies

abstract: We will review the production of neutrinos with PeV energies and above. Discussing two possible sources of this radiation: the propagation of ultra high energy cosmic rays and the decay of super heavy dark matter. The discussion will focus on the theoretical expectations on neutrino fluxes and on the detection capabilities of present and future experiments.


title: Nonclassicality Invariant of General Two-Mode Gaussian States

abstract: We introduce a new quantity for describing nonclassicality of an arbitrary optical two-mode Gaussian state which remains invariant under any global photon-number preserving unitary transformation of the covariance matrix of the state. The invariant naturally splits into an entanglement monotone and local nonclassicality quantifiers applied to the reduced states. This shows how entanglement can be converted into local squeezing and vice versa. Twin beams and their transformations at a beam splitter are analyzed as an example providing squeezed light. An extension of this approach to pure three-mode Gaussian states is given.


title: Coherent backscattering of light off one-dimensional atomic strings

abstract: We present the first experimental realization of coherent Bragg scattering off a one-dimensional (1D) system -- two strings of atoms strongly coupled to a single photonic mode -- realized by trapping atoms in the evanescent field of a tapered optical fiber (TOF), which also guides the probe light. We report nearly 12% power reflection from strings containing only about one thousand cesium atoms, an enhancement of two orders of magnitude compared to reflection from randomly positioned atoms. This result paves the road towards collective strong coupling in 1D atom-photon systems. Our approach also allows for a straightforward fiber connection between several distant 1D atomic crystals.


title: A model for the energy-dependent time-lag and rms of the heartbeat oscillations in GRS 1915+105

abstract: Energy dependent phase lags reveal crucial information about the causal relation between various spectral components and about the nature of the accretion geometry around the compact objects. The time-lag and the fractional root mean square (rms) spectra of GRS 1915+105 in its heartbeat oscillation class/$\rho$ state show peculiar behaviour at the fundamental and harmonic frequencies where the lags at the fundamental show a turn around at $\sim$ 10 keV while the lags at the harmonic do not show any turn around at least till $\sim$ 20 keV. The magnitude of lags are of the order of few seconds and hence cannot be attributed to the light travel time effects or Comptonization delays. The continuum X-ray spectra can roughly be described by a disk blackbody and a hard X-ray power-law component and from phase resolved spectroscopy it has been shown that the inner disk radius varies during the oscillation. Here, we propose that there is a delayed response of the inner disk radius (DROID) to the accretion rate such that $r_{in}(t)\propto \dot{m}^\beta (t-\tau_d)$. The fluctuating accretion rate drives the oscillations of the inner radius after a time delay $\tau_d$ while the power-law component responds immediately. We show that in such a scenario a pure sinusoidal oscillation of the accretion rate can explain not only the shape and magnitude of energy dependent rms and time-lag spectra at the fundamental but also the next harmonic with just four free parameters.


title: Eye detection in digital images: challenges and solutions

abstract: Eye Detection has an important role in the field of biometric identification and known as one method of person's identification. In recent years, many efforts have been done which can detect eye automatically and with different image conditions. However, each method has its own drawbacks which can control some of these conditions. In this paper, different methods of eye detection will be categorized and explained. In each category, the advantages and disadvantages of each method will be presented.


title: Adiabatic Green's function technique and the transient behavior in time-dependent fermion-boson coupled models

abstract: The Lang-Firsov Hamiltonian, a well-known solvable model of interacting fermion-boson system with sideband features in the fermion spectral weight, is generalized to have the time-dependent fermion-boson coupling constant. We show how to derive the two-time Green's function for the time-dependent problem in the adiabatic limit, defined as the slow temporal variation of the coupling over the characteristic oscillator period. The idea we use in deriving the Green's function is akin to the use of instantaneous basis states in solving the adiabatic evolution problem in quantum mechanics. With such "adiabatic Green's function" at hand we analyze the transient behavior of the spectral weight as the coupling is gradually tuned to zero. Time-dependent generalization of a related model, the spin-boson Hamiltonian, is analyzed in the same way. In both cases the sidebands arising from the fermion-boson coupling can be seen to gradually lose their spectral weights over time. Connections of our solution to the two-dimensional Dirac electrons coupled to quantized photons are discussed.


title: Four proofs of cocompacness for Sobolev embeddings

abstract: Cocompactness is a property of embeddings between two Banach spaces, similar to but weaker than compactness, defined relative to some non-compact group of bijective isometries. In presence of a cocompact embedding, bounded sequences (in the domain space) have subsequences that can be represented as a sum of a well-structured "bubble decomposition" (or defect of compactness) plus a remainder vanishing in the target space. This note is an exposition of different proofs of cocompactness for Sobolev-type embeddings, which employ methods of classical PDE, potential theory, and harmonic analysis.


title: A reddening-free method to estimate the $^{56}$Ni mass of Type Ia supernovae

abstract: The increase in the number of Type Ia supernovae (SNe\,Ia) has demonstrated that the population shows larger diversity than has been assumed in the past. The reasons (e.g. parent population, explosion mechanism) for this diversity remain largely unknown. We have investigated a sample of SNe\,Ia near-infrared light curves and have correlated the phase of the second maximum with the bolometric peak luminosity. The peak bolometric luminosity is related to the time of the second maximum (relative to the {\it B} light curve maximum) as follows : $L_{max}(10^{43} erg s^{-1}) = (0.039 \pm 0.004) \times t_2(J)(days) + (0.013 \pm 0.106)$. $^{56}$Ni masses can be derived from the peak luminosity based on Arnett's rule, which states that the luminosity at maximum is equal to instantaneous energy generated by the nickel decay. We check this assumption against recent radiative-transfer calculations of Chandrasekhar-mass delayed detonation models and find this assumption is valid to within 10\% in recent radiative-transfer calculations of Chandrasekhar-mass delayed detonation models. The $L_{max}$ vs. $t_2$ relation is applied to a sample of 40 additional SNe\,Ia with significant reddening ($E(B-V) >$ 0.1 mag) and a reddening-free bolometric luminosity function of SNe~Ia is established. The method is tested with the $^{56}$Ni mass measurement from the direct observation of $\gamma-$rays in the heavily absorbed SN 2014J and found to be fully consistent. Super-Chandrasekhar-mass explosions, in particular SN\,2007if, do not follow the relations between peak luminosity and second IR maximum. This may point to an additional energy source contributing at maximum light. The luminosity function of SNe\,Ia is constructed and is shown to be asymmetric with a tail of low-luminosity objects and a rather sharp high-luminosity cutoff, although it might be influenced by selection effects.


title: Carbon Nanoscrolls at High Impacts: A Molecular Dynamics Investigation

abstract: The behavior of nanostructures under high strain-rate conditions has been object of interest in recent years. For instance, recent experimental investigations showed that at high velocity impacts carbon nanotubes can unzip resulting into graphene nanoribbons. Carbon nanoscrolls (CNS) are among the structures whose high impact behavior has not yet been investigated. CNS are graphene membranes rolled up into papyrus-like structures. Their unique open-ended topology leads to properties not found in close-ended structures, such as nanotubes. Here we report a fully atomistic reactive molecular dynamics study on the behavior of CNS colliding at high velocities against solid targets. Our results show that the velocity and scroll axis orientation are key parameters to determine the resulting formed nanostructures after impact. The relative orientation of the scroll open ends and the substrate is also very important. We observed that for appropriate velocities and orientations, the nanoscrolls can experience large structural deformations and large-scale fractures. We have also observed unscrolling (scrolls going back to planar or quasi-planar graphene membranes), unzip resulting into nanoribbons, and significant reconstructions from breaking and/or formation of new chemical bonds. Another interesting result was that if the CNS impact the substrate with their open ends, for certain velocities, fused scroll walls were observed.


title: An Intuitionistic Formula Hierarchy Based on High-School Identities

abstract: We revisit the notion of intuitionistic equivalence and formal proof representations by adopting the view of formulas as exponential polynomials. After observing that most of the invertible proof rules of intuitionistic (minimal) propositional sequent calculi are formula (i.e. sequent) isomorphisms corresponding to the high-school identities, we show that one can obtain a more compact variant of a proof system, consisting of non-invertible proof rules only, and where the invertible proof rules have been replaced by a formula normalisation procedure. Moreover, for certain proof systems such as the G4ip sequent calculus of Vorob'ev, Hudelmaier, and Dyckhoff, it is even possible to see all of the non-invertible proof rules as strict inequalities between exponential polynomials; a careful combinatorial treatment is given in order to establish this fact. Finally, we extend the exponential polynomial analogy to the first-order quantifiers, showing that it gives rise to an intuitionistic hierarchy of formulas, resembling the classical arithmetical hierarchy, and the first one that classifies formulas while preserving isomorphism.


title: Nonconnected Moduli Spaces of Nonnegative Sectional Curvature Metrics on Simply Connected Manifolds

abstract: We show that in each dimension $4n+3$, $n\ge 1$, there exist infinite sequences of closed smooth simply connected manifolds $M$ of pairwise distinct homotopy type for which the moduli space of Riemannian metrics with nonnegative sectional curvature has infinitely many path components. Closed manifolds with these properties were known before only in dimension seven, and our result does also hold for moduli spaces of Riemannian metrics with positive Ricci curvature. Moreover, in conjunction with work of Belegradek, Kwasik and Schultz, we obtain that for each such $M$ the moduli space of complete nonnegative sectional curvature metrics on the open simply connected manifold $M\times\mathbb {R}$ also has infinitely many components.


title: Equations of Motion and Energy-Momentum 1-Forms for the Coupled Gravitational, Maxwell and Dirac Fields

abstract: A theory where the gravitational, Maxwell and Dirac fields (mathematically represented as particular sections of a convenient Clifford bundle) are supposed fields in Faraday's sense living in Minkowski spacetime is presented. In our theory there exist a genuine energy-momentum tensor for the gravitational field and a genuine energy-momentum conservation law for the system of the interacting gravitational, Maxwell and Dirac fields. Moreover, the energy-mometum tensors of the Maxwell and Dirac fields are symmetric, and it is shown that the equations of motion for the gravitational potentials is equivalent to Einstein equation of General Relativity (where the second member is the sum of the energy-momentum tensors of the Maxwell, Dirac and interaction Maxwell-Dirac fields) defined in an effective Lorentzian spacetime, whose use is eventually no more than a question of mathematical convenience.


title: Mixture model with multiple allocations for clustering spatially correlated observations in the analysis of ChIP-Seq data

abstract: Model-based clustering is a technique widely used to group a collection of units into mutually exclusive groups. There are, however, situations in which an observation could in principle belong to more than one cluster. In the context of Next-Generation Sequencing (NGS) experiments, for example, the signal observed in the data might be produced by two (or more) different biological processes operating together and a gene could participate in both (or all) of them. We propose a novel approach to cluster NGS discrete data, coming from a ChIP-Seq experiment, with a mixture model, allowing each unit to belong potentially to more than one group: these multiple allocation clusters can be flexibly defined via a function combining the features of the original groups without introducing new parameters. The formulation naturally gives rise to a `zero-inflation group' in which values close to zero can be allocated, acting as a correction for the abundance of zeros that manifest in this type of data. We take into account the spatial dependency between observations, which is described through a latent Conditional Auto-Regressive process that can reflect different dependency patterns. We assess the performance of our model within a simulation environment and then we apply it to ChIP-seq real data.


title: Algebraic Structures and Stochastic Differential Equations driven by Levy processes

abstract: We construct an efficient integrator for stochastic differential systems driven by Levy processes. An efficient integrator is a strong approximation that is more accurate than the corresponding stochastic Taylor approximation, to all orders and independent of the governing vector fields. This holds provided the driving processes possess moments of all orders and the vector fields are sufficiently smooth. Moreover the efficient integrator in question is optimal within a broad class of perturbations for half-integer global root mean-square orders of convergence. We obtain these results using the quasi-shuffle algebra of multiple iterated integrals of independent Levy processes.


title: Contraction algebra and invariants of singularities

abstract: In [7], Donovan and Wemyss introduced the contraction algebra of flop- ping curves in 3-folds. When the flopping curve is smooth and irreducible, we prove that the contraction algebra together with its A_\infty-structure recovers various invariants associated to the underlying singularity and its small resolution, including the derived category of singularities and the genus zero Gopakuma-Vafa invariants.


title: Variational integrators of fractional Lagrangian systems in the framework of discrete embeddings

abstract: This paper is a summary of the theory of discrete embeddings introduced in [5]. A discrete embedding is an algebraic procedure associating a numerical scheme to a given ordinary differential equation. Lagrangian systems possess a variational structure called Lagrangian structure. We are specially interested in the conservation at the discrete level of this Lagrangian structure by discrete embeddings. We then replace in this framework the variational integrators developed in [10, Chapter VI.6] and in [12]. Finally, we extend the notion of discrete embeddings and variational integrators to fractional Lagrangian systems.


title: Effects of environmental gas compression on the multiphase ISM and star formation

abstract: The cluster environment can affect galaxy evolution in different ways: via ram pressure stripping or by gravitational perturbations caused by galactic encounters. New IRAM 30m HERA CO(2-1) data of NGC 4501 and NGC 4567/68 are presented. We find an increase in the molecular fraction where the ISM is compressed. The gas is close to self-gravitation in compressed regions. This leads to an increase in gas pressure and a decrease in the ratio between the molecular fraction and total ISM pressure. The overall Kennicutt Schmidt relation based on a pixel-by-pixel analysis at ~1.5 kpc resolution is not significantly modified by compression. However, we detected continuous regions of low molecular star formation efficiencies in the compressed parts of the galactic gas disks. The data suggest that a relation between the molecular star formation efficiency SFE_H2 and gas self-gravitation exists. Both systems show spatial variations in the star formation efficiency with respect to the molecular gas that can be related to environmental compression of the ISM. An analytical model was used to investigate the dependence of SFE_H2 on self-gravitation. The model correctly reproduces the correlations between R_mol/P_tot, SFE_H2, and Toomre Q if different global turbulent velocity dispersions are assumed for the three galaxies. We found that variations in the N_H_2/I_CO conversion factor can mask most of the correlation between SFE_H2 and the Q parameter. Dynamical simulations were used to compare the effects of ram pressure and tidal ISM compression. We conclude that a gravitationally induced ISM compression has the same consequences as ram pressure compression: (i) an increasing gas surface density, (ii) an increasing molecular fraction, and (iii) a decreasing R_mol/P_tot in the compressed region due to the presence of nearly self-gravitating gas. The response of SFE_H2 to compression is more complex.


title: Z2-Triple cyclic codes and their duals

abstract: A Z2-triple cyclic code of block length (r,s,t) is a binary code of length r+s+t such that the code is partitioned into three parts of lengthsr,s andt such that each of the three parts is invariant under the cyclic shifts of the coordinates. Such a code can be viewed as Z2[x]-submodules of Z_2[x]/<x^r-1>xZ_2[x]/<x^s-1>xZ_2[x]/<x^t-1>, in polynomial representation. In this paper, we determine the structure of these codes. We have obtained the form of the generators for such codes. Further, a minimal generating set for such a code is obtained. Also, we study the structure of the duals of these codes via the generators of the codes.


title: The Radon Monitoring System in Daya Bay Reactor Neutrino Experiment

abstract: We developed a highly sensitive, reliable and portable automatic system (H$^{3}$) to monitor the radon concentration of the underground experimental halls of the Daya Bay Reactor Neutrino Experiment. H$^{3}$ is able to measure radon concentration with a statistical error less than 10\% in a 1-hour measurement of dehumidified air (R.H. 5\% at 25$^{\circ}$C) with radon concentration as low as 50 Bq/m$^{3}$. This is achieved by using a large radon progeny collection chamber, semiconductor $\alpha$-particle detector with high energy resolution, improved electronics and software. The integrated radon monitoring system is highly customizable to operate in different run modes at scheduled times and can be controlled remotely to sample radon in ambient air or in water from the water pools where the antineutrino detectors are being housed. The radon monitoring system has been running in the three experimental halls of the Daya Bay Reactor Neutrino Experiment since November 2013.


title: On the $P_1$ property of sequences of positive integers

abstract: It is well-known that for any non-constant polynomial $P$ with integer coefficients the sequence $(P(n))_{ n\in \mathbb N}$ has the property that there are infinitely many prime numbers dividing at least one term of this sequence. Certainly, there is a proof based on the Chinese Remainder Theorem. In this paper we give proofs of two analytic criteria revealing this property of sequences.


title: Dilepton production rate in a hot and magnetized quark-gluon plasma

abstract: The differential multiplicity of dileptons in a hot and magnetized quark-gluon plasma, $\Delta_{B}\equiv dN_{B}/d^{4}xd^{4}q$, is derived from first principles. The constant magnetic field $B$ is assumed to be aligned in a fixed spatial direction. It is shown that the anisotropy induced by the $B$ field is mainly reflected in the general structure of photon spectral density function. This is related to the imaginary part of the vacuum polarization tensor, $\mbox{Im}[\Pi^{\mu\nu}]$, which is derived in a first order perturbative approximation. As expected, the final analytical expression for $\Delta_{B}$ includes a trace over the product of a photonic part, $\mbox{Im}[\Pi^{\mu\nu}]$, and a leptonic part, ${\cal{L}}_{\mu\nu}$. It is shown that $\Delta_{B}$ consists of two parts, $\Delta_{B}^{\|}$ and $\Delta_{B}^{\perp}$, arising from the components $(\mu,\nu)=(\|,\|)$ and $(\mu,\nu)=(\perp,\perp)$ of $\mbox{Im}[\Pi^{\mu\nu}]$ and ${\cal{L}}_{\mu\nu}$. Here, the transverse and longitudinal directions are defined with respect to the direction of the $B$ field. Combining $\Delta_{B}^{\|}$ and $\Delta_{B}^{\perp}$, a novel anisotropy factor $\nu_{B}$ is introduced. Using the final analytical expression of $\Delta_{B}$, the possible interplay between the temperature $T$ and the magnetic field strength $eB$ on the ratio $\Delta_{B}/\Delta_{0}$ and $\nu_{B}$ is numerically studied. Here, $\Delta_{0}$ is the Born approximated dilepton multiplicity in the absence of external magnetic fields. It is, in particular, shown that for each fixed $T$ and $B$, in the vicinity of certain threshold energies, $\Delta_{B}\gg \Delta_{0}$ and $\Delta_{B}^{\perp}\gg \Delta_{B}^{\|}$. The latter anisotropy may be interpreted as one of the microscopic sources of the macroscopic anisotropies, reflecting themselves, e.g., in the elliptic asymmetry factor $v_{2}$ of dileptons.


title: A Closed-Form Solution to Tensor Voting: Theory and Applications

abstract: We prove a closed-form solution to tensor voting (CFTV): given a point set in any dimensions, our closed-form solution provides an exact, continuous and efficient algorithm for computing a structure-aware tensor that simultaneously achieves salient structure detection and outlier attenuation. Using CFTV, we prove the convergence of tensor voting on a Markov random field (MRF), thus termed as MRFTV, where the structure-aware tensor at each input site reaches a stationary state upon convergence in structure propagation. We then embed structure-aware tensor into expectation maximization (EM) for optimizing a single linear structure to achieve efficient and robust parameter estimation. Specifically, our EMTV algorithm optimizes both the tensor and fitting parameters and does not require random sampling consensus typically used in existing robust statistical techniques. We performed quantitative evaluation on its accuracy and robustness, showing that EMTV performs better than the original TV and other state-of-the-art techniques in fundamental matrix estimation for multiview stereo matching. The extensions of CFTV and EMTV for extracting multiple and nonlinear structures are underway. An addendum is included in this arXiv version.


title: Wireless Networks with Energy Harvesting and Power Transfer: Joint Power and Time Allocation

abstract: In this paper, we consider wireless powered communication networks which could operate perpetually, as the base station (BS) broadcasts energy to the multiple energy harvesting (EH) information transmitters. These employ "harvest then transmit" mechanism, as they spend all of their energy harvested during the previous BS energy broadcast to transmit the information towards the BS. Assuming time division multiple access (TDMA), we propose a novel transmission scheme for jointly optimal allocation of the BS broadcasting power and time sharing among the wireless nodes, which maximizes the overall network throughput, under the constraint of average transmit power and maximum transmit power at the BS. The proposed scheme significantly outperforms "state of the art" schemes that employ only the optimal time allocation. If a single EH transmitter is considered, we generalize the optimal solutions for the case of fixed circuit power consumption, which refers to a much more practical scenario.


title: Women Through the Glass Ceiling: Gender Asymmetries in Wikipedia

abstract: Contributing to the writing of history has never been as easy as it is today thanks to Wikipedia, a community-created encyclopedia that aims to document the world's knowledge from a neutral point of view. Though everyone can participate it is well known that the editor community has a narrow diversity, with a majority of white male editors. While this participatory \emph{gender gap} has been studied extensively in the literature, this work sets out to \emph{assess potential gender inequalities in Wikipedia articles} along different dimensions: notability, topical focus, linguistic bias, structural properties, and meta-data presentation. We find that (i) women in Wikipedia are more notable than men, which we interpret as the outcome of a subtle glass ceiling effect; (ii) family-, gender-, and relationship-related topics are more present in biographies about women; (iii) linguistic bias manifests in Wikipedia since abstract terms tend to be used to describe positive aspects in the biographies of men and negative aspects in the biographies of women; and (iv) there are structural differences in terms of meta-data and hyperlinks, which have consequences for information-seeking activities. While some differences are expected, due to historical and social contexts, other differences are attributable to Wikipedia editors. The implications of such differences are discussed having Wikipedia contribution policies in mind. We hope that the present work will contribute to increased awareness about, first, gender issues in the content of Wikipedia, and second, the different levels on which gender biases can manifest on the Web.


title: Stochastic control, entropic interpolation and gradient flows on Wasserstein product spaces

abstract: Since the early nineties, it has been observed that the Schroedinger bridge problem can be formulated as a stochastic control problem with atypical boundary constraints. This in turn has a fluid dynamic counterpart where the flow of probability densities represents an entropic interpolation between the given initial and final marginals. In the zero noise limit, such entropic interpolation converges in a suitable sense to the displacement interpolation of optimal mass transport (OMT). We consider two absolutely continuous curves in Wasserstein space ${\cal W}_2$ and study the evolution of the relative entropy on ${\cal W}_2\times {\cal W}_2$ on a finite time interval. Thus, this study differs from previous work in OMT theory concerning relative entropy from a fixed (often equilibrium) distribution (density). We derive a gradient flow on Wasserstein product space. We find the remarkable property that fluxes in the two components are opposite. Plugging in the "steepest descent" into the evolution of the relative entropy we get what appears to be a new formula: The two flows approach each other at a faster rate than that of two solutions of the same Fokker-Planck. We then study the evolution of relative entropy in the case of uncontrolled-controlled diffusions. In two special cases of the Schroedinger bridge problem, we show that such relative entropy may be monotonically decreasing or monotonically increasing.


title: Time, chance and quantum theory

abstract: I propose an understanding of Everett and Wheeler's relative-state interpretation of quantum mechanics, which restores the feature of indeterminism to the theory. This incorporates a theory of probability as truth values in a many-valued logic for future statements, and a contextual theory of truth which gives objective and subjective perspectives equal validity.


title: Traffic Confirmation Attacks Despite Noise

abstract: We propose a traffic confirmation attack on low-latency mix networks based on computing robust real-time binary hashes of network traffic flows. Firstly, we adapt the Coskun-Memon Algorithm to construct hashes that can withstand network impairments to allow fast matching of network flows. The resulting attack has a low startup cost and achieves a true positive match rate of 80% when matching one flow out of 9000 with less than 2% false positives, showing traffic confirmation attacks can be highly accurate even when only part of the network traffic flow is seen. Secondly, we attack probabilistic padding schemes achieving a match rate of over 90% from 9000 network traffic flows, showing advanced padding techniques are still vulnerable to traffic confirmation attacks.


title: Application of the Ghosh & Lamb Relation to the Spin-up/down Behavior in the X-ray Binary Pulsar 4U 1626-67

abstract: We analyzed continuous MAXI/GSC data of the X-ray binary pulsar 4U 1626-67 from 2009 October to 2013 September, and determined the pulse period and the pulse-period derivative for every 60-d interval by the epoch folding method. The obtained periods are consistent with those provided by the Fermi/GBM pulsar project. In all the 60-d intervals, the pulsar was observed to spin up, with the spin-up rate positively correlated with the 2-20 keV flux. We applied the accretion torque model proposed by Ghosh & Lamb (1979, ApJ, 234, 296) to the MAXI/GSC data, as well as the past data including both spin-up and spin-down phases. The Ghosh & Lamb relation was confirmed to successfully explain the observed relation between the spin-up/down rate and the flux. By comparing the model-predicted luminosity with the observed flux, the source distance was constrained as 5-13 kpc, which is consistent with that by Chakrabarty (1998, ApJ, 492, 342). Conversely, if the source distance is assumed, the data can constrain the mass and radius of the neutron star, because the Ghosh & Lamb model depends on these parameters. We attempted this idea, and found that an assumed distance of, e.g., 10 kpc gives a mass in the range of 1.81-1.90 solar mass, and a radius of 11.4-11.5 km, although these results are still subject to considerable systematic uncertainties other than that in the distance.


title: Bounds on the Lambert function and their application to the outage analysis of user cooperation

abstract: Problems formulated in terms of logarithmic or exponential equations often use the Lambert $W$ function in their solutions. Expansions, approximations and bounds on $W$ have been derived in an effort to gain a better understanding of the relationship between equation parameters. In this paper, we focus on one of the branches of $W$, denoted as $W_{-1}$, we derive tractable upper and lower bounds and we illustrate their usefulness in identifying conditions under which user cooperation can yield a lower outage probability than non-cooperative transmission.


title: Quantum Simulation of the Factorization Problem

abstract: Feynman's prescription for a quantum simulator was to find a hamitonian for a system that could serve as a computer. P\'olya and Hilbert conjecture was to demonstrate Riemann's hypothesis through the spectral decomposition of hermitian operators. Here we study the problem of decomposing a number into its prime factors, $N=xy$, using such a simulator. First, we derive the hamiltonian of the physical system that simulate a new arithmetic function, formulated for the factorization problem, that represents the energy of the computer. This function rests alone on the primes below $\sqrt N$. We exactly solve the spectrum of the quantum system without resorting to any external ad-hoc conditions, also showing that it obtains, for $x\ll \sqrt{N}$, a prediction of the prime counting function that is almost identical to Riemann's $R(x)$ function. It has no counterpart in analytic number theory and its derivation is a consequence of the quantum theory of the simulator alone.


title: Sunflowers and $L$-intersecting families

abstract: Let $f(k,r,s)$ stand for the least number so that if $\cal F$ is an arbitrary $k$-uniform, $L$-intersecting set system, where $|L|=s$, and $\cal F$ has more than $f(k,r,s)$ elements, then $\cal F$ contains a sunflower with $r$ petals. We give an upper bound for $f(k,3,s)$. Let $g(k,r,\ell)$ be the least number so that any $k$-uniform, $\ell$-intersecting set system of more than $g(k,r,\ell)$ sets contains a sunflower with $r$ petals. We give also an upper bound for $g(k,r,\ell)$.


title: Minimal Radius of Magnetic Skyrmions: Statics and Dynamics

abstract: In a broad range of applied magnetic fields and material parameters isolated magnetic skyrmions condense into skyrmion lattices. While the geometry of isolated skyrmions and their lattice counterparts strongly depend on field and Dzyaloshinski-Moriya interaction, this issue has not been adequately addressed in previous studies. Meanwhile, this information is extremely important for applications, because the skyrmion size and the interskyrmion distance have to be tuned for skyrmion based memory and logic devices. In this investigation we elucidate the size and density-dependent phase diagram showing traditional phases in field vs. material parameters space by means of Monte-Carlo simulations on a discrete lattice. The obtained diagram permits us to establish that, in contrast to the continuum limit, skyrmions on a discrete lattice cannot be smaller than some critical size and have a very specific shape. These minimal skyrmions correspond to the micromagnetic configuration at the energy barrier between the ferromagnetic and the skyrmionic states. Furthermore, we use atomistic Landau-Lifshitz-Gilbert simulations to study dynamics of the skyrmion annihilation. It is shown that this procees consists of two stages: the continuous skyrmion contraction and its discontinuous annihilation. The detailed analysis of this dynamical process is given.


title: The Duren-Carleson theorem in tube domains over symmetric cones

abstract: In the setting of tube domains over symmetric cones, $T_\Omega$, we study the characterization of the positive Borel measures $\mu$ for which the Hardy space $H^p$ is continuously embedded into the Lebesgue space $L^q (T_\Omega, d\mu)$, $0<p<q<\infty.$ Extending a result due to Blasco for the unit disc, we reduce the problem to standard measures. We obtain that a Hardy space $H^{p}$, $1\leq p < \infty,$ embeds continuously in weighted Bergman spaces with larger exponents. Finally we use this result to characterize multipliers from $H^{2m}$ to Bergman spaces for every positive integer $m$.


title: Spontaneous crystallization of light and ultracold atoms

abstract: Coherent scattering of light from ultracold atoms involves an exchange of energy and momentum introducing a wealth of non-linear dynamical phenomena. As a prominent example particles can spontaneously form stationary periodic configurations which simultaneously maximize the light scattering and minimize the atomic potential energy in the emerging optical lattice. Such self-ordering effects resulting in periodic lattices via bimodal symmetry breaking have been experimentally observed with cold gases and Bose-Einstein condensates (BECs) inside an optical resonator. Here we study a new regime of periodic pattern formation for an atomic BEC in free space, driven by far off-resonant counterpropagating and non-interfering lasers of orthogonal polarization. In contrast to previous works, no spatial light modes are preselected by any boundary conditions and the transition from homogeneous to periodic order amounts to a crystallization of both light and ultracold atoms breaking a continuous translational symmetry. In the crystallized state the BEC acquires a phase similar to a supersolid with an emergent intrinsic length scale whereas the light-field forms an optical lattice allowing phononic excitations via collective back scattering, which are gapped due to the infinte-range interactions. The studied system constitutes a novel configuration allowing the simulation of synthetic solid state systems with ultracold atoms including long-range phonon dynamics.


title: Longitudinal Beam Dynamics

abstract: The course gives a summary of longitudinal beam dynamics for both linear and circular accelerators. After discussing different types of acceleration methods and synchronism conditions, it focuses on the particle motion in synchrotrons.


title: PupilNet: Convolutional Neural Networks for Robust Pupil Detection

abstract: Real-time, accurate, and robust pupil detection is an essential prerequisite for pervasive video-based eye-tracking. However, automated pupil detection in real-world scenarios has proven to be an intricate challenge due to fast illumination changes, pupil occlusion, non centered and off-axis eye recording, and physiological eye characteristics. In this paper, we propose and evaluate a method based on a novel dual convolutional neural network pipeline. In its first stage the pipeline performs coarse pupil position identification using a convolutional neural network and subregions from a downscaled input image to decrease computational costs. Using subregions derived from a small window around the initial pupil position estimate, the second pipeline stage employs another convolutional neural network to refine this position, resulting in an increased pupil detection rate up to 25% in comparison with the best performing state-of-the-art algorithm. Annotated data sets can be made available upon request.


title: Robust superconductivity and transport properties in (Li1-xFex)OHFeSe single crystals

abstract: The recently discovered (Li${_{1-x}}$Fe${_x}$)OHFeSe superconductor with $T_c$ about 40K provides a good platform for investigating the magnetization and electrical transport properties of FeSe-based superconductors. By using a hydrothermal ion-exchange method, we have successfully grown crystals of (Li${_{1-x}}$Fe${_x}$)OHFeSe. X-ray diffraction on the sample shows the single crystalline PbO-type structure with the c-axis preferential orientation. Magnetic susceptibility and resistive measurements show an onset superconducting transition at around ${T_c}$=38.3K. Using the magnetization hysteresis loops and Bean critical state model, a large critical current ${J_s}$ is observed in low temperature region. The critical current density is suppressed exponentially with increasing magnetic field. Temperature dependencies of resistivity under various currents and fields are measured, revealing a robust superconducting current density and bulk superconductivity.


title: Derivatives of Frobenius and Derivatives of Hodge weights

abstract: In this paper we study the derivatives of Frobenius and the derivatives of Hodge weights for families of Galois representations with triangulations. We generalize the Fontaine-Mazur L-invariant and use it to build a formula which is a generalization of the Greenberg-Stevens-Colmez formula. For the purpose of proving this formula we show two auxiliary results called projection vanishing property and "projection vanishing implying L-invariants" property.


title: Small gaps between the Piatetski-Shapiro primes

abstract: Suppose that $1<c<9/8$. For any $m\geq 1$, there exist infinitely many $n$ such that $$ \{[n^c],\ [(n+1)^c],\ \ldots,\ [(n+k_0)^c]\} $$ contains at least $m+1$ primes, if $k_0$ is sufficiently large (only depending on $m$).


title: Structure of $\omega$-limit Sets for Almost-periodic Parabolic Equations on $S^1$ with Reflection Symmetry

abstract: The structure of the $\omega$-limit sets is thoroughly investigated for the skew-product semiflow which is generated by a scalar reaction-diffusion equation \begin{equation*} u_{t}=u_{xx}+f(t,u,u_{x}),\,\,t>0,\,x\in S^{1}=\mathbb{R}/2\pi \mathbb{Z}, \end{equation*} where $f$ is uniformly almost periodic in $t$ and satisfies $f(t,u,u_x)=f(t,u,-u_x)$. We show that any $\omega$-limit set $\Omega$ contains at most two minimal sets. Moreover, any hyperbolic $\omega$-limit set $\Omega$ is a spatially-homogeneous $1$-cover of hull $H(f)$. When $\dim V^c(\Omega)=1$ ($V^c(\Omega)$ is the center space associated with $\Omega$), it is proved that either $\Omega$ is a spatially-homogeneous, or $\Omega$ is a spatially-inhomogeneous $1$-cover of $H(f)$.


title: Introduction to Beam Instrumentation and Diagnostics

abstract: These lectures aim to describe instruments and methods used for measuring beam parameters in particle accelerators. Emphasis will be given to new detection and analysis techniques in each field of accelerator instrumentation. A clear distinction is made between 'instrumentation', the design and construction of the instruments themselves, and 'diagnostics', the use of the data from these instruments for running and improving the performance of the accelerator.


title: Graded Entailment for Compositional Distributional Semantics

abstract: The categorical compositional distributional model of natural language provides a conceptually motivated procedure to compute the meaning of sentences, given grammatical structure and the meanings of its words. This approach has outperformed other models in mainstream empirical language processing tasks. However, until recently it has lacked the crucial feature of lexical entailment -- as do other distributional models of meaning. In this paper we solve the problem of entailment for categorical compositional distributional semantics. Taking advantage of the abstract categorical framework allows us to vary our choice of model. This enables the introduction of a notion of entailment, exploiting ideas from the categorical semantics of partial knowledge in quantum computation. The new model of language uses density matrices, on which we introduce a novel robust graded order capturing the entailment strength between concepts. This graded measure emerges from a general framework for approximate entailment, induced by any commutative monoid. Quantum logic embeds in our graded order. Our main theorem shows that entailment strength lifts compositionally to the sentence level, giving a lower bound on sentence entailment. We describe the essential properties of graded entailment such as continuity, and provide a procedure for calculating entailment strength.


title: Quantitative characterization of highly efficient correlated photon-pair source using biexciton resonance

abstract: A high efficiency method for the generation of correlated photon pairs accompanied by a reliable means to characterize the efficiency of that process is needed in the study of correlated photon pairs and entangled states involving more than three photons, which have important potential applications in quantum information and quantum communication. In this study, we report the first characterization of the efficiency of generation of correlated photon pairs emitted from a CuCl single crystal using the biexciton-resonance hyper-parametric scattering (RHPS) method which is the highly efficient method of generation of correlated photon pairs. In order to characterize the generation efficiency and signal-to-noise ratio of correlated photon pairs using this method, we investigated the excitation density dependence on the photon counting rate and coincidence counting rate under resonant excitation. The excitation density dependence shows that the power characteristics of the photon counting rates changes from linear to quadratic dependence of the excitation density. This behavior represents a superposition of contributions from correlated photon pairs and non-correlated photons. Photon counting signals in this study were recorded as time-tag data, which provide the photon counting rate and coincidence counting rate simultaneously, and improve the coincidence counting rate by the factor of 200 compared to that obtained in previous work [K. Edamatsu $\it{et\ al}$. Nature $\bf{431}$, 167-170 (2004)]. The analysis of the excitation density dependence shows that one photon-pair is produced by a pump pulse with $2 \times 10^6$ photons. Moreover, the generation efficiency of this method is improved by a factor of $10^7$ compared to that of several methods based on the $\chi^{(3)}$ parametric process.


title: Probing the electron charge distribution via Kapitza-Dirac diffraction

abstract: We analyze the diffraction of elementary systems as the electron by light gratings when they are described by charge distributions instead of the usual point-like form. The treatment of the problem is based on the introduction, in analogy with atomic polarizability, of state-dependent non-permanent multi-pole moments for the charge. The diffraction patterns can provide bounds on these moments. With this approach we can experimentally explore some aspects of the interpretation of the wave picture of single charges.


title: Term inequalities in finite algebras

abstract: Given an algebra $\mathbf{A}$, and terms $s(x_{1},x_{2},\dots x_{k})$ and $t(x_{1},x_{2},\dots x_{k})$ of the language of ${\mathbf A}$, we say that $s$ and $t$ are {\em separated} in ${\mathbf A}$ iff for all $a_{1},a_{2}\dots a_{k}\in A$, $s(a_{1},a_{2},\dots a_{k})$ and $t(a_{1},a_{2},\dots a_{k})$ are never equal. We prove that given two terms that are separated in any algebra, there exists a finite algebra in which they are separated. As a corollary, we obtain that whenever the sentence $\sigma$ is a universally quantified conjunction of negated atomic formulas, $\sigma$ is consistent iff it has a finite model.


title: Thin elastic plates supported over small areas. II. Variational-asymptotic models

abstract: An asymptotic analysis is performed for thin anisotropic elastic plate clamped along its lateral side and also supported at a small area $\theta_{h}$ of one base with diameter of the same order as the plate thickness $h\ll1.$ A three-dimensional boundary layer in the vicinity of the support $\theta_{h}$ is involved into the asymptotic form which is justified by means of the previously derived weighted inequality of Korn's type provides an error estimate with the bound $ ch^{1/2} \left | \ln h\right| .$ Ignoring this boundary layer effect reduces the precision order down to $\left| \ln h\right| ^{-1/2}.$ A two-dimensional variational-asymptotic model of the plate is proposed within the theory of self-adjoint extensions of differential operators. The only characteristics of the boundary layer, namely the elastic logarithmic potential matrix of size $4\times4,$ is involved into the model which however keeps the precision order $h^{1/2}\left| \ln h\right| $ in certain norms. Several formulations and applications of the model are discussed.


title: Lattice Design in High-energy Particle Accelerators

abstract: This lecture gives an introduction into the design of high-energy storage ring lattices. Applying the formalism that has been established in transverse beam optics, the basic principles of the development of a magnet lattice are explained and the characteristics of the resulting magnet structure are discussed. The periodic assembly of a storage ring cell with its boundary conditions concerning stability and scaling of the beam optics parameters is addressed as well as special lattice insertions such asdrifts, mini beta sections, dispersion suppressors, etc. In addition to the exact calculations that are indispensable for a rigorous treatment of the matter, scaling rules are shown and simple rules of thumb are included that enable the lattice designer to do the first estimates and get the basic numbers 'on the back of an envelope'.


title: The Effective Field Theorist's Approach to Gravitational Dynamics

abstract: We review the effective field theory (EFT) approach to gravitational dynamics. We focus on extended objects in long-wavelength backgrounds and gravitational wave emission from spinning binary systems. We conclude with an introduction to EFT methods for the study of cosmological large scale structures.


title: Kauffman states and Heegaard diagrams for tangles

abstract: We define polynomial tangle invariants $\nabla_T^s$ via Kauffman states and Alexander codes and investigate some of their properties. In particular, we prove symmetry relations for $\nabla_T^s$ of 4-ended tangles and deduce that the multivariable Alexander polynomial is invariant under Conway mutation. The invariants $\nabla_T^s$ can be interpreted naturally via Heegaard diagrams for tangles. This leads to a categorified version of $\nabla_T^s$: a Heegaard Floer homology $\widehat{\operatorname{HFT}}$ for tangles, which we define as a bordered sutured invariant. We discuss a bigrading on $\widehat{\operatorname{HFT}}$ and prove symmetry relations for $\widehat{\operatorname{HFT}}$ of 4-ended tangles that echo those for $\nabla_T^s$.


title: Quark and pion effective couplings from polarization effects

abstract: A flavor SU(2) effective model for pions and quarks is derived by considering polarization effects departing from the usual quark-quark effective interaction induced by dressed gluon exchange, i.e. a global color model for QCD. For that, the quark field is decomposed into a component that yields light mesons and the quark-antiquark condensate, being integrated out by means of the auxiliary field method, and another component which yields constituent quarks, which is basically a background quark field. Within a longwavelength and weak quark field expansion (or large quark effective mass expansion) of a quark determinant, the leading terms are found up to the second order in a zero order derivative expansion, by neglecting vector mesons that are considerably heavier than the pion. Pions are considered in the structureless limit and, besides the chiral invariant terms that reproduce previously derived expressions, symmetry breaking terms are also presented. The leading chiral quark-quark effective couplings are also found corresponding to a NJL and a vector-NJL couplings. All the resulting effective coupling constants and parameters are expressed in terms of the current and constituent quark masses and of the coupling $g$.


title: Homoclinical Structure of Dynamic Equations on Time Scales

abstract: Homoclinic and heteroclinic motions in dynamics equations on time scales is investigated. The utilized time scale is a specific one such that it is a union of disjoint compact intervals. A numerical example that supports the theoretical results is presented.


title: Effective Hamiltonian for surface states of \ce{Bi2Te3} nanocylinders with hexagonal warping

abstract: The three-dimensional topological insulator \ce{Bi2Te3} differs from other topological insulators in the \ce{Bi2Se3} family in that the effective Hamiltonian of its surface states on a flat semi-infinite slab requires the addition of a cubic momentum hexagonal warping term in order to reproduce the experimentally measured constant energy contours. In this work, we derive the appropriate effective Hamiltonian for the surface states of a \ce{Bi2Te3} \textit{cylinder} incorporating the corresponding hexagonal warping terms in a cylindrical geometry. We show that at the energy range where the surface states dominate, the effective Hamiltonian adequately reproduces the dispersion relation obtained from a full four-band Hamiltonian, which describe both the bulk and surface states. As an example application of our effective Hamiltonian, we study the transmission between two collinear \ce{Bi2Te3} cylinders magnetized in different directions perpendicular to their axes. We show that the hexagonal warping term results in a transmission profile between the cylinders which may be of utility in a multiple state magnetic memory bit.


title: A-infinity functors for Lagrangian correspondences

abstract: We construct A-infinity functors between Fukaya categories associated to monotone Lagrangian correspondences between compact symplectic manifolds. We then show that the composition of A-infinity functors for correspondences is homotopic to the functor for the composition, in the case that the composition is smooth and embedded.


title: Understanding Deep Convolutional Networks

abstract: Deep convolutional networks provide state of the art classifications and regressions results over many high-dimensional problems. We review their architecture, which scatters data with a cascade of linear filter weights and non-linearities. A mathematical framework is introduced to analyze their properties. Computations of invariants involve multiscale contractions, the linearization of hierarchical symmetries, and sparse separations. Applications are discussed.


title: Solid effect DNP polarization dynamics in a system of many spins

abstract: We discuss the polarization dynamics during solid effect dynamic nuclear polarization (DNP) in a central spin model that consists of an electron surrounded by many nuclei. To this end we use a recently developed formalism and validate first its performance by comparing its predictions to results obtained by solving the Liouville von Neumann master equation. The use of a Monte Carlo method in our formalism makes it possible to significantly increase the number of spins considered in the model system. We then analyse the dependence of the nuclear bulk polarization on the presence of nuclei in the vicinity of the electron and demonstrate that increasing the minimal distance between nuclei and electrons leads to a rise of the nuclear bulk polarization. These observations have implications for the design of radicals that can lead to impoved values of nuclear spin polarization. Furthermore, we discuss the potential to extend our formalism for more complex spin systems such as cross effect DNP.


title: An effective numerical method to solve a class of nonlinear singular boundary value problems using improved differential transform method

abstract: In this work, an effective numerical method is developed to solve a class of singular boundary value problems arising in various physical models by using the improved differential transform method (IDTM). The IDTM applies the Adomian polynomials to handle the differential transforms of the nonlinearities arising in the given differential equation. The relation between the Adomian polynomials of those nonlinear functions and the coefficients of unknown truncated series solution is given by a simple formula, through which one can easily deduce the approximate solution which takes the form of a convergent series. An upper bound for the estimation of approximate error is presented. Several physical problems are discussed as illustrative examples to testify the validity and applicability of the proposed method. Comparisons are made between the present method and the other existing methods.


title: On generalized Bohr-Sommerfeld quantization rules for operators with PT symmetry

abstract: We give Bohr-Sommerfeld quantization rules corresponding to quasi-eigenvalues for a 1-D h-Pseudodifferential operator with real principal symbol and verifying PT symmetry.


title: Floer field theory for coprime rank and degree

abstract: We construct partial category-valued field theories in (2+1)-dimensions using Lagrangian Floer theory in moduli spaces of central-curvature unitary connections with fixed determinant of rank r and degree d where r,d are coprime positive integers. These theories associate to a closed, connected, oriented surface the Fukaya category of the moduli space, and to a connected bordism between two surfaces a functor between the Fukaya categories. We obtain the latter by combining Cerf theory with holomorphic quilt invariants.


title: Spin injection and spin transport in paramagnetic insulators

abstract: We investigate the spin injection and the spin transport in paramagnetic insulators described by simple Heisenberg interactions using auxiliary particle methods. Some of these methods allow access to both paramagnetic states above magnetic transition temperatures and magnetic states at low temperatures. It is predicted that the spin injection at an interface with a normal metal is rather insensitive to temperatures above the magnetic transition temperature. On the other hand below the transition temperature, it decreases monotonically and disappears at zero temperature. We also analyze the bulk spin conductance. It is shown that the conductance becomes zero at zero temperature as predicted by linear spin wave theory but increases with temperature and is maximized around the magnetic transition temperature. These findings suggest that the compromise between the two effects determines the optimal temperature for spintronics applications utilizing magnetic insulators.


title: Lattice vibrations of the charge-transfer salt $\kappa$-(BEDT-TTF)$_2$Cu$_2$(CN)$_{3}$: novel interpretation of the electrodynamic response in a spin-liquid compound

abstract: The dimer Mott insulator $\kappa$-(BEDT-TTF)$_2$Cu$_2$(CN)$_3$ exhibits unusual electrodynamic properties. Numerical investigations of the electronic ground state and the molecular and lattice vibrations reveal the importance of the Cu$_2$(CN)$_3^-$ anion network coupled to the BEDT-TTF molecules: The threefold cyanide coordination of copper and linkage isomerism in the anion structure cause a loss of symmetry, frustration, disorder, and domain formation. Our findings consistently explain the temperature and polarization-dependent THz and infrared measurements, reinforce the understanding of dielectric properties and have important implications for the quantum spin-liquid state, which should be treated beyond two-dimensional, purely electronic models.


title: Rise and fall of shape resonances in thin films of BCS superconductors

abstract: The confinement of a superconductor in a thin film changes its Fermi-level density of states and is expected to change its critical temperature $T_c$. Previous calculations have reported large discontinuities of $T_c$ when the chemical potential coincides with a subband edge. By solving the BCS gap equation exactly, we show that such discontinuities are artifacts and that $T_c$ is a continuous function of the film thickness. We also find that $T_c$ is reduced in thin films compared with the bulk if the confinement potential is lower than a critical value, while for stronger confinement $T_c$ increases with decreasing film thickness, reaches a maximum, and eventually drops to zero. Our numerical results are supported by several exact solutions. We finally interpret experimental data for ultrathin lead thin films in terms of a thickness-dependent effective mass.


title: NNLO phenomenology using N-jettiness subtraction

abstract: We discuss next-to-next-to-leading order QCD results for Higgs, W-boson and Z-boson production in association with a jet in hadronic collisions, obtained using the recently developed N-jettiness subtraction method.


title: Simulation of the many-body dynamical quantum Hall effect in an optical lattice

abstract: We propose an experimental scheme to simulate the many-body dynamical quantum Hall effect with ultra-cold bosonic atoms in a one-dimensional optical lattice. We first show that the required model Hamiltonian of a spin-1/2 Heisenberg chain with an effective magnetic field and tunable parameters can be realized in this system. For dynamical response to ramping the external fields, the quantized plateaus emerge in the Berry curvature of the interacting atomic spin chain as a function of the effective spin-exchange interaction. The quantization of this response in the parameter space with the interaction-induced topological transition characterizes the many-body dynamical quantum Hall effect. Furthermore, we demonstrate that this phenomenon can be observed in practical cold-atom experiments with numerical simulations.


title: Helicoidal flat surfaces in the 3-sphere

abstract: In this paper, helicoidal flat surfaces in the $3$-dimensional sphere $\mathbb{S}^3$ are considered. A complete classification of such surfaces is given in terms of their first and second fundamental forms and by linear solutions of the corresponding angle function. The classification is obtained by using the Bianchi-Spivak construction for flat surfaces and a representation for constant angle surfaces in $\mathbb{S}^3$.


title: Preserved entropy and fragile magnetism

abstract: A large swath of strongly correlated electron systems can be associated with the phenomena of preserved entropy and fragile magnetism. In this overview we present our thoughts and plans for the discovery and development of lanthanide and transition metal based, strongly correlated systems that are revealed by suppressed, fragile magnetism or grow out of preserved entropy. We will present and discuss current examples such as YbBiPt, YbAgGe, YbFe2Zn20, PrAg2In, BaFe2As2, CaFe2As2, LaCrSb3 and LaCrGe3 as part of our motivation and to provide illustrative examples.


title: Rotational Surfaces with Pointwise 1-Type Gauss Map in Pseudo Euclidean Space E4-2

abstract: In this paper, we study rotational surfaces of elliptic, hyperbolic and parabolic type with pointwise 1-type Gauss map which have spacelike profile curve in four dimensional pseudo Euclidean space E4-2 and obtain some characterizations for these rotational surfaces to have pointwise 1-type Gauss map.


title: Collective magnetic response of CeO2 nanoparticles

abstract: The magnetism of nanoparticles and thin films of wide-bandgap oxides that include no magnetic cations is an unsolved puzzle. Progress has been hampered both by the irreproducibility of much of the experimental data, and the lack of any generally-accepted theoretical explanation. The characteristic signature is a virtually anhysteretic, temperature-independent magnetization curve which saturates in an applied field that is several orders of magnitude greater than the magnetization. It appears as if a tiny volume fraction, < 0.1%, of the samples is magnetic and that the energy scale of the problem is unusually high for spin magnetism. Here we investigate the effect of dispersing 4 nm CeO2 nanoparticles with powders of gamma-Al2O3, sugar or latex microspheres. The saturation magnetization, Ms ~ 60 A/m for compact samples, is maximized by 1 wt% lanthanum doping. Dispersing the CeO2 nanopowder reduces its magnetic moment by up to an order of magnitude. There is a characteristic length scale of order 100 nm for the magnetism to appear in CeO2 nanoparticle clusters. The phenomenon is explained in terms of a giant orbital paramagnetism that appears in coherent mesoscopic domains due to resonant interaction with zero-point fluctuations of the vacuum electromagnetic field. The theory explains the observed temperature-independent magnetization curve and its doping and dispersion dependence, based on a length scale of 300 nm that corresponds to the wavelength of a maximum in the UV absorption spectrum of the magnetic CeO2 nanoparticles. The coherent domains occupy roughly ten percent of the sample volume.


title: Wronskians, dualities and FZZT-Cardy branes

abstract: The resolvent operator plays a central role in matrix models. For instance, with utilizing the loop equation, all of the perturbative amplitudes including correlators, the free-energy and those of instanton corrections can be obtained from the spectral curve of the resolvent operator. However, at the level of non-perturbative completion, the resolvent operator is generally not sufficient to recover all the information from the loop equations. Therefore it is necessary to find a sufficient set of operators which provide the missing non-perturbative information. In this paper, we study generalized Wronskians of the Baker-Akhiezer systems as a manifestation of these new degrees of freedom. In particular, we derive their isomonodromy systems and then extend several spectral dualities to these systems. In addition, we discuss how these Wronskian operators are naturally aligned on the Kac table. Since they are consistent with the Seiberg-Shih relation, we propose that these new degrees of freedom can be identified as FZZT-Cardy branes in Liouville theory. This means that FZZT-Cardy branes are the bound states of elemental FZZT branes (i.e. the twisted fermions) rather than the bound states of principal FZZT-brane (i.e. the resolvent operator).


title: Fixed-parameter Approximability of Boolean MinCSPs

abstract: The minimum unsatisfiability version of a constraint satisfaction problem (MinCSP) asks for an assignment where the number of unsatisfied constraints is minimum possible, or equivalently, asks for a minimum-size set of constraints whose deletion makes the instance satisfiable. For a finite set $\Gamma$ of constraints, we denote by MinCSP($\Gamma$) the restriction of the problem where each constraint is from $\Gamma$. The polynomial-time solvability and the polynomial-time approximability of MinCSP($\Gamma$) were fully characterized by Khanna et al. [Siam J. Comput. '00]. Here we study the fixed-parameter (FP-) approximability of the problem: given an instance and an integer $k$, one has to find a solution of size at most $g(k)$ in time $f(k)n^{O(1)}$ if a solution of size at most $k$ exists. We especially focus on the case of constant-factor FP-approximability. We show the following dichotomy: for each finite constraint language $\Gamma$, either we exhibit a constant-factor FP-approximation for MinCSP($\Gamma$); or we prove that MinCSP($\Gamma$) has no constant-factor FP-approximation unless FPT$=$W[1]. In particular, we show that approximating the so-called Nearest Codeword within some constant factor is W[1]-hard. Recently, Arnab et al. [ICALP '18] showed that such a W[1]-hardness of approximation implies that Even Set is W[1]-hard under randomized reductions. Combining our results, we therefore settle the parameterized complexity of Even Set, a famous open question in the field.


title: Freezing, accelerating and slowing directed currents in real time with superimposed driven lattices

abstract: We provide a generic scheme offering real time control of directed particle transport in superimposed driven lattices. This scheme allows to accelerate, slow and freeze the transport on demand, by switching one of the lattices subsequently on and off. The underlying physical mechanism hinges on a systematic opening and closing of channels between transporting and non-transporting phase space structures upon switching, and exploits cantori structures which generate memory effects in the population of these structures. Our results should allow for real time control of cold thermal atomic ensembles in optical lattices, but might also be useful as a design principle for targeted delivery of molecules or colloids in optical devices.

categories: nlin.CD cond-mat.other cond-mat.quant-gas physics.class-ph


title: Capturing, Ordering and Gaussianity in 2D

abstract: We collect various facts related loosely to random Gaussian quadrilaterals in the plane. For example, a side of a degenerate quadrilateral (one point inside three others) has a density that is non-Rayleigh.


title: On the field of definition of a cubic rational function and its critical points

abstract: Using essentially only algebra, we give a proof that a cubic rational function over $\mathbb{C}$ with real critical points is equivalent to a real rational function. We also show that the natural generalization to $\mathbb{Q}_p$ fails for all $p$.


title: Pressure-dependent optical investigations of $\alpha$-(BEDT-TTF)$_2$I$_3$: tuning charge order and narrow gap towards a Dirac semimetal

abstract: Infrared optical investigations of $\alpha$-(BEDT-TTF)$_2$I$_3$ have been performed in the spectral range from 80 to 8000~cm$^{-1}$ down to temperatures as low as 10~K by applying hydrostatic pressure. In the metallic state, $T > 135$~K, we observe a 50\% increase in the Drude contribution as well as the mid-infrared band due to the growing intermolecular orbital overlap with pressure up to 11~kbar. In the ordered state, $T<T_{\rm CO}$, we extract how the electronic charge per molecule varies with temperature and pressure: Transport and optical studies demonstrate that charge order and metal-insulator transition coincide and consistently yield a linear decrease of the transition temperature $T_{\rm CO}$ by $8-9$~K/kbar. The charge disproportionation $\Delta\rho$ diminishes by $0.017~e$/kbar and the optical gap $\Delta$ between the bands decreases with pressure by -47~cm$^{-1}$/kbar. In our high-pressure and low-temperature experiments, we do observe contributions from the massive charge carriers as well as from massless Dirac electrons to the low-frequency optical conductivity, however, without being able to disentangle them unambiguously.


title: Distribution of joint local and total size and of extension for avalanches in the Brownian force model

abstract: The Brownian force model (BFM) is a mean-field model for the local velocities during avalanches in elastic interfaces of internal space dimension $d$, driven in a random medium. It is exactly solvable via a non-linear differential equation. We study avalanches following a kick, i.e. a step in the driving force. We first recall the calculation of the distributions of the global size (total swept area) and of the local jump size for an arbitrary kick amplitude. We extend this calculation to the joint density of local and global sizes within a single avalanche, in the limit of an infinitesimal kick. When the interface is driven by a single point we find new exponents $\tau_0=5/3$ and $\tau=7/4$, depending on whether the force or the displacement is imposed. We show that the extension of a single avalanche along one internal direction (i.e. the total length in $d=1$) is finite and we calculate its distribution, following either a local or a global kick. In all cases it exhibits a divergence $P(\ell) \sim \ell^{-3}$ at small $\ell$. Most of our results are tested in a numerical simulation in dimension $d=1$.


title: Inhomogeneous Dark Energy

abstract: We modify Einstein General Relativity by adding non-dynamical scalar fields to account simultaneously for both dark matter and dark energy. The dark energy in this case can be distributed in-homogeneously even within horizon scales. Its inhomogeneities can contribute to the late time integrated Sachs-Wolfe effect, possibly removing some of the low multipole anomalies in the temperature fluctuations of the CMB spectrum. The presence of the inhomogeneous dark matter also influences structure formation in the universe.


title: Optical properties of wurtzite GaN/AlN quantum dots grown on non-polar planes: the effect of stacking faults in the reduction of the internal electric field

abstract: The optical emission of non-polar GaN/AlN quantum dots has been investigated. The presence of stacking faults inside these quantum dots is evidenced in the dependence of the photoluminescence with temperature and excitation power. A theoretical model for the electronic structure and optical properties of non-polar quantum dots, taking into account their realistic shapes, is presented which predicts a substantial reduction of the internal electric field but a persisting quantum confined Stark effect, comparable to that of polar GaN/AlN quantum dots. Modeling the effect of a 3 monolayer stacking fault inside the quantum dot, which acts as zinc-blende inclusion into the wurtzite matrix, results in an additional 30 % reduction of the internal electric field and gives a better account of the observed optical features.


title: Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints

abstract: We study the semantic foundation of expressive probabilistic programming languages, that support higher-order functions, continuous distributions, and soft constraints (such as Anglican, Church, and Venture). We define a metalanguage (an idealised version of Anglican) for probabilistic computation with the above features, develop both operational and denotational semantics, and prove soundness, adequacy, and termination. They involve measure theory, stochastic labelled transition systems, and functor categories, but admit intuitive computational readings, one of which views sampled random variables as dynamically allocated read-only variables. We apply our semantics to validate nontrivial equations underlying the correctness of certain compiler optimisations and inference algorithms such as sequential Monte Carlo simulation. The language enables defining probability distributions on higher-order functions, and we study their properties.


title: Radiative Corrections and the Palatini Action

abstract: By using the Faddeev-Popov quantization procedure, we demonstrate that the radiative effects computed using the first-order and second-order Einstein-Hilbert action for General Relativity are the same, provided one can discard tadpoles. In addition, we show that the first order form of this action can be used to obtain a set of Feynman rules that involves just two propagating fields and three three-point vertices; using these rules is considerably simpler than employing the infinite number of vertices that occur in the second-order form. We demonstrate this by computing the one-loop, two-point function.


title: On the capacity functional of the infinite cluster of a Boolean model

abstract: The original 2017 version of this paper, published in Ann. Appl. Probab., 27, 1678--1801, contains a major gap in the proofs. In the subsequent publication in Ann. Appl. Probab., 34, 3370--3374, 2024, we indicated how to fix this. For convenience of the reader, we here update the original paper to incorporate the suggested fix. Consider a Boolean model in $R^d$ with balls of random, bounded radii with distribution $F_0$, centered at the points of a Poisson process of intensity $t>0$. The capacity functional of the infinite cluster $Z_\infty$ is given by $\theta_L(t) = P(Z_\infty\cap L \neq \emptyset)$, defined for each compact $L\subset R^d$. We prove for any fixed $L$ and $F_0$ that $\theta_L(t)$ is infinitely differentiable in $t$, except at the critical value $t_c$; we give a Margulis-Russo type formula for the derivatives. More generally, allowing the distribution $F_0$ to vary and viewing $\theta_L$ as a function of the measure $F:=tF_0$, we show that it is infinitely differentiable in all directions with respect to the measure $F$ in the supercritical region of the cone of positive measures on a bounded interval. We also prove that $\theta_L(\cdot)$ grows at least linearly at the critical value. This implies that the critical exponent known as $\beta$ is at most 1 (if it exists) for this model. Along the way, we extend a result of H.Tanemura (1993), on regularity of the supercritical Boolean model in $d \geq 3$ with fixed-radius balls, to the case with bounded random radii.


title: On the unboundedness of common divisors of distinct terms of the sequence $a_n=2^{2^n}+d$ for $d>1$

abstract: It is well-known that for any distinct positive integers $k$ and $n$, the numbers $2^{2^k}+1$ and $2^{2^n}+1$ are relatively prime. In this paper we consider the situation when 1 is replaced by some positive integer $d>1$


title: The Morphologies and Alignments of Gas, Mass, and the Central Galaxies of CLASH Clusters of Galaxies

abstract: Morphology is often used to infer the state of relaxation of galaxy clusters. The regularity, symmetry, and degree to which a cluster is centrally concentrated inform quantitative measures of cluster morphology. The Cluster Lensing and Supernova survey with Hubble Space Telescope (CLASH) used weak and strong lensing to measure the distribution of matter within a sample of 25 clusters, 20 of which were deemed to be relaxed based on their X-ray morphology and alignment of the X-ray emission with the BCG. Towards a quantitative characterization of this important sample of clusters, we present uniformly estimated X-ray morphological statistics for all 25 CLASH clusters. We compare X-ray morphologies of CLASH clusters with those identically measured for a large sample of simulated clusters from the MUSIC-2 simulations, selected by mass. We confirm a threshold in X-ray surface brightness concentration of C>0.4 for cool-core clusters, where C is the ratio of X-ray emission inside 100 kpc/h70 compared to inside 500 kpc/h70. We report and compare morphologies of these clusters inferred from Sunyaev-Zeldovich Effect (SZE) maps of the hot gas and in from projected mass maps based on strong and weak lensing. We find a strong agreement in alignments of the orientation of major axes for the lensing, X-ray, and SZE maps of nearly all of the CLASH clusters at radii of 500 kpc (approximately 0.5R500 for these clusters). We also find a striking alignment of clusters shapes at the 500 kpc scale, as measured with X-ray, SZE, and lensing, with that of the near-infrared stellar light at 10 kpc scales for the 20 "relaxed" clusters. This strong alignment indicates a powerful coupling between the cluster- and galaxy-scale galaxy formation processes.


title: Giant semiclassical magnetoresistance in high mobility TaAs2 semimetal

abstract: We report the observation of colossal positive magnetoresistance (MR) in single crystalline, high mobility TaAs2 semimetal. The excellent fit of MR by a single quadratic function of the magnetic field B over a wide temperature range (T = 2-300 K) suggests the semiclassical nature of the MR. The measurements of Hall effect and Shubnikov-de Haas oscillations, as well as band structure calculations suggest that the giant MR originates from the nearly perfectly compensated electrons and holes in TaAs2. The quadratic MR can even exceed 1,200,000% at B = 9 T and T = 2 K, which is one of the largest values among those of all known semi-metallic compounds including the very recently discovered WTe2 and NbSb2. The giant positive magnetoresistance in TaAs2, which not only has a fundamentally different origin from the negative colossal MR observed in magnetic systems, but also provides a nice complemental system that will be beneficial for applications in magnetoelectronic devices


title: General Equilibrium and Recession Phenomenon

abstract: The theorems we proved describe the structure of economic equilibrium in the exchange economy model. We have studied the structure of property vectors under given structure of demand vectors at which given price vector is equilibrium one. On this ground, we describe the general structure of the equilibrium state and give characteristic of equilibrium state describing economic recession. The theory developed is applied to explain the state of the economy in some European countries.