title: Lotka's Inverse Square Law of Scientific Productivity: Its Methods and Statistics

abstract: This brief communication analyzes the statistics and methods Lotka used to derive his inverse square law of scientific productivity from the standpoint of modern theory. It finds that he violated the norms of this theory by extremely truncating his data on the right. It also proves that Lotka himself played an important role in establishing the commonly used method of identifying power-law behavior by the R^2 fit to a regression line on a log-log plot that modern theory considers unreliable by basing the derivation of his law on this very method.


title: On the use of connections in the calculus of variations in Finsler geometry

abstract: We propose a unified approach to the theory of connections in the geometry of sprays and Finsler metrics which, in particular, gives a simple explanation of the well-known fact that all the classical Finslerian connections provide exactly the same formulas appearing in the calculus of variations.


title: Emergence of Consensus in a Multi-Robot Network: from Abstract Models to Empirical Validation

abstract: Consensus dynamics in decentralised multiagent systems are subject to intense studies, and several different models have been proposed and analysed. Among these, the naming game stands out for its simplicity and applicability to a wide range of phenomena and applications, from semiotics to engineering. Despite the wide range of studies available, the implementation of theoretical models in real distributed systems is not always straightforward, as the physical platform imposes several constraints that may have a bearing on the consensus dynamics. In this paper, we investigate the effects of an implementation of the naming game for the kilobot robotic platform, in which we consider concurrent execution of games and physical interferences. Consensus dynamics are analysed in the light of the continuously evolving communication network created by the robots, highlighting how the different regimes crucially depend on the robot density and on their ability to spread widely in the experimental arena. We find that physical interferences reduce the benefits resulting from robot mobility in terms of consensus time, but also result in lower cognitive load for individual agents.


title: Well-posedness for the diffusive 3D Burgers equations with initial data in $H^{1/2}$

abstract: In this note we discuss the diffusive, vector-valued Burgers equations in a three-dimensional domain with periodic boundary conditions. We prove that given initial data in $H^{1/2}$ these equations admit a unique global solution that becomes classical immediately after the initial time. To prove local existence, we follow as closely as possible an argument giving local existence for the Navier--Stokes equations. The existence of global classical solutions is then a consequence of the maximum principle for the Burgers equations due to Kiselev and Ladyzhenskaya (1957). In several places we encounter difficulties that are not present in the corresponding analysis of the Navier--Stokes equations. These are essentially due to the absence of any of the cancellations afforded by incompressibility, and the lack of conservation of mass. Indeed, standard means of obtaining estimates in $L^2$ fail and we are forced to start with more regular data. Furthermore, we must control the total momentum and carefully check how it impacts on various standard estimates.


title: An extension of two-Higgs-doublet model and the excesses of 750 GeV diphoton, muon g-2 and $h\to\mu\tau$

abstract: In this paper we simultaneously explain the excesses of the 750 GeV diphoton, muon g-2 and $h\to \mu\tau$ in an extension of the two-Higgs-doublet model (2HDM) with additional vector-like fermions and a CP-odd scalar singlet ($P$) which is identified as the 750 GeV resonance. This 750 GeV resonance has a mixing with the CP-odd scalar ($A$) in 2HDM, which leads to a coupling between $P$ and the SM particles as well as a coupling between $A$ and the vector-like fermions. Such a mixing and couplings are strongly constrained by $\tau\to\mu\gamma$, muon g-2 and the 750 GeV diphoton data. We scan over the parameter space and find that such an extension can simultaneously account for the observed excesses of 750 GeV diphoton, muon g-2 and $h\to \mu\tau$. The 750 GeV resonance decays in exotic modes, such as $P\to hA$, $P\to HZ$, $P\to HA$ and $P\to W^\pm H^\mp$, and its width can be dozens of GeV and is sensitive to the mixing angle.


title: Abelianization of the F-divided fundamental group scheme

abstract: Let $(X ,x_0)$ be a pointed smooth proper variety defined over an algebraically closed field. The Albanese morphism for $(X ,x_0)$ produces a homomorphism from the abelianization of the $F$-divided fundamental group scheme of $X$ to the $F$-divided fundamental group of the Albanese variety of $X$. We prove that this homomorphism is surjective with finite kernel. The kernel is also described.


title: Estimation of double differential angle-dependent neutron production cross sections from tritons on 197Au at energies from 5.97 to 19.14 MeV

abstract: Estimated cross sections for neutron production from triton bombardment of gold are deduced from measurements of triton interactions with gas targets that used gold as a triton beam stop material. Differential cross sections for production of neutrons from 5.97-, 7.47-, 10.45-, 16.41- and 19.14-MeV tritons on 197Au were evaluated. Corrections for the neutron interaction in gold, in the target structure and in the air of the flight path were obtained by means of a Monte Carlo technique. Uncorrelated scale uncertainties range from 24 to 41% whereas those of double differential cross sections range from 0.2 to 5%. Based on these cross section data, calculation of neutron yield at 0o from fully stopped tritons at 20.22 MeV agree with an independent measurement. Least-squares fits with a gamma distribution model indicate an anisotropy in the high energy portion of the neutron spectra. Legendre polynomial fits of differential cross sections are reported. All neutron cross section data are made available through the Experimental Nuclear Reaction Data (EXFOR) library at international data centers.


title: Catalysis of Dynamical Chiral Symmetry Breaking by Chiral Chemical Potential

abstract: In this paper we study the properties of media with chiral imbalance parameterized by chiral chemical potential. It is shown that depending on the strength of interaction between constituents in the media the chiral chemical potential either creates or enhances dynamical chiral symmetry breaking. Thus the chiral chemical potential plays a role of the catalyst of dynamical chiral symmetry breaking. Physically this effect results from the appearance of the Fermi surface and additional fermion states on this surface which take part in dynamical chiral symmetry breaking. An interesting conclusion which can be drawn is that at sufficiently small temperature chiral plasma is unstable with respect to condensation of Cooper pairs and dynamical chiral symmetry breaking even for vanishingly small interactions between constituents.


title: Vacua of the gravitational field

abstract: The Poincar\'e invariant vacuum is not unique in quantum gravity. The BMS supertranslation symmetry originally defined at null infinity is spontaneously broken and results in inequivalent Poincar\'e vacua. In this paper we construct the unique vacua which interpolate between past and future null infinity in BMS gauge and which are entirely characterized by an arbitary Goldstone boson defined on the sphere which breaks BMS invariance. We show that these vacua contain a defect which carries no Poincar\'e charges but which generically carries superrotation charges. We argue that there is a huge degeneracy of vacua with multiple defects. We also present the single defect vacua with its canonically conjugated source which can be constructed from a Liouville boson on the stereographic plane. We show that positivity of the energy forces the stress-tensor of the boson to vanish as a boundary condition. Finite superrotations, which turn on the sources, are therefore physically ruled out as canonical transformations around the vacua. Yet, infinitesimal superrotations are external symplectic symmetries which are associated with conserved charges which characterize the Goldstone boson.


title: X-rays from magnetic intermediate mass Ap/Bp stars

abstract: The X-ray emission of magnetic intermediate mass Ap/Bp stars is reviewed and put into context of intrinsic as well as extrinsic hypotheses for its origin. New X-ray observations of Ap/Bp stars are presented and combined with an updated analysis of the available datasets, providing the largest sample of its type that is currently available. In the studied stars the X-ray detections are found predominantly among the more massive, hotter and more luminous targets. Their X-ray properties are quite diverse and beside strong soft X-ray emission significant magnetic activity is frequently present. While a connection between more powerful winds and brighter X-ray emission is expected in intrinsic models, the scatter in X-ray luminosity at given bolometric luminosity is so far unexplained and several observational features like X-ray light curves and flaring, luminosity distributions and spectral properties are often similar to those of low-mass stars. It remains to be seen if these features can be fully reproduced by magnetospheres of intermediate mass stars. The article discusses implications for magnetically confined wind-shock models (MCWS) and stellar magnetospheres under the assumption that the intrinsic model is applicable, but also examines the role of possible companions. Further, related magnetospheric phenomena are presented and an outlook on future perspectives is given.


title: Quantization of Hitchin's equations for Higgs Bundles I

abstract: We provide an algebraic framework for quantization of Hermitian metrics that are solutions of the Hitchin equation for Higgs bundles over a projective manifold. Using Geometric Invariant Theory, we introduce a notion of balanced metrics in this context. We show that balanced metrics converge at the quantum limit towards the solution of the Hitchin equation. We relate the existence of balanced metrics to the Gieseker stability of the Higgs bundle.


title: Joint Crosstalk-Avoidance and Error-Correction Coding for Parallel Data Buses

abstract: Decreasing transistor sizes and lower voltage swings cause two distinct problems for communication in integrated circuits. First, decreasing inter-wire spacing increases interline capacitive coupling, which adversely affects transmission energy and delay. Second, lower voltage swings render the transmission susceptible to various noise sources. Coding can be used to address both these problems. So-called crosstalk-avoidance codes mitigate capacitive coupling, and traditional error-correction codes introduce resilience against channel errors. Unfortunately, crosstalk-avoidance and error-correction codes cannot be combined in a straightforward manner. On the one hand, crosstalk-avoidance encoding followed by error-correction encoding destroys the crosstalk-avoidance property. On the other hand, error-correction encoding followed by crosstalk-avoidance encoding causes the crosstalk-avoidance decoder to fail in the presence of errors. Existing approaches circumvent this difficulty by using additional bus wires to protect the parities generated from the output of the error-correction encoder, and are therefore inefficient. In this work we propose a novel joint crosstalk-avoidance and error-correction coding and decoding scheme that provides higher bus transmission rates compared to existing approaches. Our joint approach carefully embeds the parities such that the crosstalk-avoidance property is preserved. We analyze the rate and minimum distance of the proposed scheme. We also provide a density evolution analysis and predict iterative decoding thresholds for reliable communication under random bus erasures. This density evolution analysis is nonstandard, since the crosstalk-avoidance constraints are inherently nonlinear.


title: Unveiling the origin of HESS J1809-193

abstract: The main goal of this paper is to provide new insights on the origin of the observable flux of gamma rays from HESS J1809-193 using new high-quality observations in the radio domain. We used the Expanded Very Large Array (now known as the Karl G. Jansky Very large Array, JVLA) to produce a deep full-synthesis imaging at 1.4 GHz of the vicinity of PSR J1809-1917. These data were used in conjunction with 12CO observations from the James Clerk Maxwell Telescope in the transition line J=3-2 and atomic hydrogen data from the Southern Galactic Plane Survey to investigate the properties of the interstellar medium in the direction of the source HESS J1809-193. The new radio continuum image, obtained with a synthesized beam of 8"x4" and a sensitivity of 0.17 mJy/beam, reveals with unprecedented detail all the intensity structures in the field. No radio counterpart to the observed X-ray emission supposed to be a pulsar wind nebula powered by PSR J1809-1917 is seen in the new JVLA image. We discovered a system of molecular clouds on the edge of the supernova remnant (SNR) G11.0-0.0 shock front, which is positionally coincident with the brightest part of the TeV source HESS J1809-193. We determine, on the basis of kinematic and morphological evidences, a physical link of the SNR with the clouds for which we estimated a total (molecular plus atomic) mass of ~3 x10^3 Mo and a total proton density in the range 2-3 x 10^3 cm-3. We propose as the most likely origin of the very high-energy gamma-ray radiation from HESS J1809-193 a hadronic mechanism through collisions of ions accelerated at the SNR G11.0-0.0 shock with the molecular matter in the vicinity of the remnant.


title: On the astrodynamics applications of Weierstrass elliptic and related functions

abstract: Weierstrass elliptic and related functions have been recently shown to enable analytical explicit solutions to classical problems in astrodynamics. These include the constant radial acceleration problem, the Stark problem and the two-fixed center (or Euler's) problem. In this paper we review the basic technique that allows for these results and we discuss the limits and merits of the approach. Applications to interplanetary trajectory design are then discussed including low-thrust planetary fly-bys and the motion of an artificial satellite under the influence of an oblate primary including $J_2$ and $J_3$ harmonics.


title: Interacting Frobenius Algebras are Hopf

abstract: Theories featuring the interaction between a Frobenius algebra and a Hopf algebra have recently appeared in several areas in computer science: concurrent programming, control theory, and quantum computing, among others. Bonchi, Sobocinski, and Zanasi (2014) have shown that, given a suitable distributive law, a pair of Hopf algebras forms two Frobenius algebras. Here we take the opposite approach, and show that interacting Frobenius algebras form Hopf algebras. We generalise (BSZ 2014) by including non-trivial dynamics of the underlying object---the so-called phase group---and investigate the effects of finite dimensionality of the underlying model. We recover the system of Bonchi et al as a subtheory in the prime power dimensional case, but the more general theory does not arise from a distributive law.


title: The Hubble diagram in a Bianchi I univers

abstract: The Bianchi I metric describes a homogeneous, but anisotropic universe and is commonly used to fit cosmological data. A fit to the angular distribution of 740 supernovae of type Ia with measured redshift and apparent luminosity is presented. It contains an intriguing, yet non-significant signal of a preferred direction in the sky. The Large Synoptic Survey Telescope being built in Chile should measure some 500 000 supernovae within the next 20 years and verify or falsify this signal.


title: Asymptotics of Certain Sums Required in Loop Regularisation

abstract: We consider the three conjectures stated in a 2003 paper of Wu, concerning the asymptotics of particular sums of products of binomials, powers and logarithms. These sums relate to the form of the regularised integrals used in loop regularisation. We show all three are true, extend them to more general powers and produce their full asymptotic series. We also extend a classical result to produce an exact formula for the sum in the last.


title: Polar Codes and Polar Lattices for Independent Fading Channels

abstract: In this paper, we design polar codes and polar lattices for i.i.d. fading channels when the channel state information is only available to the receiver. For the binary input case, we propose a new design of polar codes through single-stage polarization to achieve the ergodic capacity. For the non-binary input case, polar codes are further extended to polar lattices to achieve the egodic Poltyrev capacity, i.e., the capacity without power limit. When the power constraint is taken into consideration, we show that polar lattices with lattice Gaussian shaping achieve the egodic capacity of fading channels. The coding and shaping are both explicit, and the overall complexity of encoding and decoding is $O(N \log^2 N)$.


title: On a model for the Navier--Stokes equations using magnetization variables

abstract: It is known that in a classical setting, the Navier--Stokes equations can be reformulated in terms of so-called magnetization variables $w$ that satisfy \begin{equation}\label{Abs_magform} \partial_tw + (\mathbb{P} w \cdot\nabla)w + (\nabla \mathbb{P} w)^\top w - \Delta w =0, \end{equation} and relate to the velocity $u$ via a Leray projection $u=\mathbb{P} w$. We will prove the equivalence of these formulations in the setting of weak solutions that are also in $L^\infty(0,T;H^{1/2})\cap L^2(0,T;H^{3/2})$ on the 3-dimensional torus. Our main focus is the proof of global well-posedness in $H^{1/2}$ for a new variant of this system, where $\mathbb{P} w$ is replaced by $w$ in the second nonlinear term: \begin{equation}\label{Abs_Simplified} \partial_tw + (\mathbb{P} w \cdot\nabla)w + \frac{1}{2}\nabla|w|^2- \Delta w =0. \end{equation} This is based on a maximum principle, analogous to a similar property of the Burgers equations.


title: The kinematics of the nebular shells around low mass progenitors of PNe with low metallicity

abstract: We analyze the internal kinematics of 26 Planetary Nebulae (PNe) with low metallicity that appear to derive from progenitor stars of the lowest masses, including the halo PN population. Based upon spatially-resolved, long-slit, echelle spectroscopy drawn from the San Pedro M\'artir Kinematic Catalogue of PNe (L\'opez et al. 2012), we characterize the kinematics of these PNe measuring their global expansion velocities based upon the largest sample used to date for this purpose. We find kinematics that follow the trends observed and predicted in other studies, but also find that most of the PNe studied here tend to have expansion velocities less than 20 km/s in all of the emission lines considered. The low expansion velocities that we observe in this sample of low metallicity planetary nebulae with low mass progenitors are most likely a consequence of a weak central star wind driving the kinematics of the nebular shell. This study complements previous results (Pereyra et al. 2013, and references therein) that link the expansion velocities of the PN shells with the characteristics of the central star.


title: Theta Functions on Covers of Symplectic Groups

abstract: We study the automorphic theta representation $\Theta_{2n}^{(r)}$ on the $r$-fold cover of the symplectic group $Sp_{2n}$. This representation is obtained from the residues of Eisenstein series on this group. If $r$ is odd, $n\le r <2n$, then under a natural hypothesis on the theta representations, we show that $\Theta_{2n}^{(r)}$ may be used to construct a generic representation $\sigma_{2n-r+1}^{(2r)}$ on the $2r$-fold cover of $Sp_{2n-r+1}$. Moreover, when $r=n$ the Whittaker functions of this representation attached to factorizable data are factorizable, and the unramified local factors may be computed in terms of $n$-th order Gauss sums. If $n=3$ we prove these results, which in that case pertain to the six-fold cover of $Sp_4$, unconditionally. We expect that in fact the representation constructed here, $\sigma_{2n-r+1}^{(2r)}$, is precisely $\Theta_{2n-r+1}^{(2r)}$; that is, we conjecture relations between theta representations on different covering groups.


title: Cosmic Ray propagation in sub-Alfvenic magnetohydrodynamic turbulence

abstract: This work has the main objective to provide a detailed investigation of cosmic ray propagation in magnetohydrodynamic turbulent fields generated by forcing the fluid velocity field at large scales. It provides a derivation of the particle mean free path dependences in terms of the turbulence level described by the Alfv\'enic Mach number and in terms of the particle rigidity. We use an upgrade version of the magnetohydrodynamic code {\tt RAMSES} which includes a forcing module and a kinetic module and solve the Lorentz equation for each particle. The simulations are performed using a 3 dimension periodical box in the test-particle and magnetostatic limits. The forcing module is implemented using an Ornstein-Uhlenbeck process. An ensemble average over a large number of particle trajectories is applied to reconstruct the particle mean free paths. We derive the cosmic ray mean free paths in terms of the Alfv\'enic Mach numbers and particle reduced rigidities in different turbulence forcing geometries. The reduced particle rigidity is $\rho=r_L/L$ where $r_L$ is the particle Larmor radius and $L$ is the simulation box length related to the turbulence coherence or injection scale $L_{inj}$ by $L \sim 5 L_{inj}$. We have investigated with a special attention compressible and solenoidal forcing geometries. We find that compressible forcing solutions are compatible with the quasi-linear theory or more advanced non-linear theories which predict a rigidity dependence as $\rho^{1/2}$ or $\rho^{1/3}$. Solenoidal forcing solutions at least at low or moderate Alfv\'enic numbers are not compatible with the above theoretical expectations and require more refined arguments to be interpreted. It appears especially for Alfv\'enic Mach numbers close to one that the wandering of field lines controls perpendicular mean free path solutions whatever the forcing geometry.


title: Highly connected neurons spike less frequently in balanced networks

abstract: Many biological neuronal networks exhibit highly variable spiking activity. Balanced networks offer a parsimonious model of this variability. In balanced networks, strong excitatory synaptic inputs are canceled by strong inhibitory inputs on average and spiking activity is driven by transient breaks in this balance. Most previous studies of balanced networks assume a homogeneous or distance-dependent connectivity structure, but connectivity in biological cortical networks is more intricate. We use a heterogeneous mean-field theory of balanced networks to show that heterogeneous in-degrees can break balance, but balance can be restored by heterogeneous out-degrees that are correlated with in-degrees. In all examples considered, we find that highly connected neurons spike less frequently, consistent with recent experimental observations.


title: On the equivalence of contact invariants in sutured Floer homology theories

abstract: We recently defined an invariant of contact manifolds with convex boundary in Kronheimer and Mrowka's sutured monopole Floer homology theory. Here, we prove that there is an isomorphism between sutured monopole Floer homology and sutured Heegaard Floer homology which identifies our invariant with the contact class defined by Honda, Kazez and Mati\'c in the latter theory. One consequence is that the Legendrian invariants in knot Floer homology behave functorially with respect to Lagrangian concordance. In particular, these invariants provide computable and effective obstructions to the existence of such concordances. Our work also provides the first proof which does not rely on the relative Giroux correspondence that the vanishing or non-vanishing of Honda, Kazez and Mati\'c's contact class is a well-defined invariant of contact manifolds.


title: Nonbinary tree-based phylogenetic networks

abstract: Rooted phylogenetic networks are used to describe evolutionary histories that contain non-treelike evolutionary events such as hybridization and horizontal gene transfer. In some cases, such histories can be described by a phylogenetic base-tree with additional linking arcs, which can for example represent gene transfer events. Such phylogenetic networks are called tree-based. Here, we consider two possible generalizations of this concept to nonbinary networks, which we call tree-based and strictly-tree-based nonbinary phylogenetic networks. We give simple graph-theoretic characterizations of tree-based and strictly-tree-based nonbinary phylogenetic networks. Moreover, we show for each of these two classes that it can be decided in polynomial time whether a given network is contained in the class. Our approach also provides a new view on tree-based binary phylogenetic networks. Finally, we discuss two examples of nonbinary phylogenetic networks in biology and show how our results can be applied to them.


title: Tight Bounds for Consensus Systems Convergence

abstract: We analyze the asymptotic convergence of all infinite products of matrices taken in a given finite set, by looking only at finite or periodic products. It is known that when the matrices of the set have a common nonincreasing polyhedral norm, all infinite products converge to zero if and only if all infinite periodic products with period smaller than a certain value converge to zero, and bounds exist on that value. We provide a stronger bound holding for both polyhedral norms and polyhedral seminorms. In the latter case, the matrix products do not necessarily converge to 0, but all trajectories of the associated system converge to a common invariant space. We prove our bound to be tight, in the sense that for any polyhedral seminorm, there is a set of matrices such that not all infinite products converge, but every periodic product with period smaller than our bound does converge. Our technique is based on an analysis of the combinatorial structure of the face lattice of the unit ball of the nonincreasing seminorm. The bound we obtain is equal to half the size of the largest antichain in this lattice. Explicitly evaluating this quantity may be challenging in some cases. We therefore link our problem with the Sperner property: the property that, for some graded posets, -- in this case the face lattice of the unit ball -- the size of the largest antichain is equal to the size of the largest rank level. We show that some sets of matrices with invariant polyhedral seminorms lead to posets that do not have that Sperner property. However, this property holds for the polyhedron obtained when treating sets of stochastic matrices, and our bound can then be easily evaluated in that case. In particular, we show that for the dimension of the space $n \geq 8$, our bound is smaller than the previously known bound by a multiplicative factor of $\frac{3}{2 \sqrt{\pi n}}$.


title: Planetary Signatures in the SAO 206462 (HD 135344B) Disk: A Spiral Arm Passing Through Vortex?

abstract: The disk surrounding SAO 206462, an 8 Myr-old Herbig Ae star, has recently been reported to exhibit spiral arms, an asymmetric dust continuum, and a dust-depleted inner cavity. By carrying out two-dimensional, two-fluid hydrodynamic calculations, we find that a planetary-mass companion located at the outer disk could be responsible for these observed structures. In this model, the planet excites primary and secondary arms interior to its orbit. It also carves a gap and generates a local pressure bump at the inner gap edge where a vortex forms through Rossby wave instability. The vortex traps radially drifting dust particles, forming a dust-depleted cavity in the inner disk. We propose that the vortex is responsible for the brightest southwestern peak seen in infrared scattered light and sub-millimeter dust continuum emission. In particular, it is possible that the scattered light is boosted as one of the spiral arms passes through the high density vortex region, although the vortex alone may be able to explain the peak. We suggest that a planetary companion with a mass of 10-15 M_J is orbiting SAO 206462 at 100-120 au. Monitoring of the brightest peak over the next few years will help reveal its origin because the spiral arms and vortex will show distinguishable displacement.


title: Ab Initio Quantum Monte Carlo Simulations of the Uniform Electron Gas without Fixed Nodes II: Unpolarized Case

abstract: In a recent publication [S. Groth \textit{et al.}, PRB (2016)], we have shown that the combination of two novel complementary quantum Monte Carlo approaches, namely configuration path integral Monte Carlo (CPIMC) [T. Schoof \textit{et al.}, PRL \textbf{115}, 130402 (2015)] and permutation blocking path integral Monte Carlo (PB-PIMC) [T. Dornheim \textit{et al.}, NJP \textbf{17}, 073017 (2015)], allows for the accurate computation of thermodynamic properties of the spin-polarized uniform electron gas (UEG) over a wide range of temperatures and densities without the fixed-node approximation. In the present work, we extend this concept to the unpolarized case, which requires non-trivial enhancements that we describe in detail. We compare our new simulation results with recent restricted path integral Monte Carlo data [E. Brown \textit{et al}., PRL \textbf{110}, 146405 (2013)] for different energy contributions and pair distribution functions and find, for the exchange correlation energy, overall better agreement than for the spin-polarized case, while the separate kinetic and potential contributions substantially deviate.


title: Spectacular tails of ionised gas in the Virgo cluster galaxy NGC 4569

abstract: We obtained using MegaCam at the CFHT a deep narrow band Halpha+[NII] wide field image of NGC 4569, the brightest late-type galaxy in the Virgo cluster. The image reveals the presence of long tails of diffuse ionised gas without any associated stellar component extending from the disc of the galaxy up to ~ 80 kpc (projected distance) with a typical surface brightness of a few 10^-18 erg s-1 cm-2 arcsec-2. These features provide direct evidence that NGC 4569 is undergoing a ram presure stripping event. The image also shows a prominent 8 kpc spur of ionised gas associated to the nucleus that spectroscopic data identify as an outflow. With some assumptions on the 3D distribution of the gas, we use the Halpha surface brightness of these extended low surface brightness features to derive the density and the mass of the gas stripped during the interaction of the galaxy with the ICM. The comparison with ad-hoc chemo-spectrophotometric models of galaxy evolution indicates that the mass of the Halpha emitting gas in the tail is comparable to that of the cold phase stripped from the disc, suggesting that the gas is ionised within the tail during the stripping process. The lack of star forming regions suggests that mechanisms other than photoionisation are responsible for the excitation of the gas (shocks, heat conduction, magneto hydrodynamic waves). This analysis indicates that ram pressure stripping is efficient in massive (M_star ~ 10^10.5 Mo) galaxies located in intermediate mass (~ 10^14 Mo) clusters under formation. It also shows that the mass of gas expelled by the nuclear outflow is ~ 1 % than that removed during the ram pressure stripping event. All together these results indicate that ram pressure stripping, rather than starvation through nuclear feedback, can be the dominant mechanism responsible for the quenching of the star formation activity of galaxies in high density environments.


title: Unimodality via alternating gamma vectors

abstract: For a polynomial with palindromic coefficients, unimodality is equivalent to having a nonnegative $g$-vector. A sufficient condition for unimodality is having a nonnegative $\gamma$-vector, though one can have negative entries in the $\gamma$-vector and still have a nonnegative $g$-vector. In this paper we provide combinatorial models for three families of $\gamma$-vectors that alternate in sign. In each case, the $\gamma$-vectors come from unimodal polynomials with straightforward combinatorial descriptions, but for which there is no straightforward combinatorial proof of unimodality. By using the transformation from $\gamma$-vector to $g$-vector, we express the entries of the $g$-vector combinatorially, but as an alternating sum. In the case of the $q$-analogue of $n!$, we use a sign-reversing involution to interpret the alternating sum, resulting in a manifestly positive formula for the $g$-vector. In other words, we give a combinatorial proof of unimodality. We consider this a "proof of concept" result that we hope can inspire a similar result for the other two cases, $\prod_{j=1}^n (1+q^j)$ and the $q$-binomial coefficients.


title: Integrity Constraints for General-Purpose Knowledge Bases

abstract: Integrity constraints in databases have been studied extensively since the 1980s, and they are considered essential to guarantee database integrity. In recent years, several authors have studied how the same notion can be adapted to reasoning frameworks, in such a way that they achieve the purpose of guaranteeing a system's consistency, but are kept separate from the reasoning mechanisms. In this paper we focus on multi-context systems, a general-purpose framework for combining heterogeneous reasoning systems, enhancing them with a notion of integrity constraints that generalizes the corresponding concept in the database world.


title: Efficiency and Stimulated Emission in Quarter Wave OLEDS

abstract: Quarter-wave OLEDS are microcavity devices that can operate in the low finesse limit and achieve high efficiency (> 300 lm/W) by using interference to reduce the onset current for the transition to stimulated emission. In this work we study the transition to stimulated emission and compare the kinetics and electrical properties of conventional and quarter-wave devices. We show that suppression of spontaneous emission into the vertical mode can result in a sharp transition to stimulated emission at (\gamma /eV)I ~ N_se/\tau_sp where N_se/\tau_sp is determined by optical parameters, and we find a previously observed electrical signature for the transition where the excited state population becomes fixed at low current density. We then study the role of loss mechanisms in the quarter-wave configuration and conclude with some requirements for practical device.


title: On the photoinduced phase transition in (GeTe)n(Sb2Te3)m

abstract: We suggest a phenomenological description of the photo-conversion in Ge-Sb-Te phase-change memory alloys from amorphous to crystalline phase which explains why both photo-excitation and high temperatures T > 160C are required for the transition from hexagonal to tetrahedral phase. The position of chemical potential at high temperatures allows light induced inverse population of the nucleons of the crystalline phase which are not stable otherwise. Then, inverse population accumulates holes on neighboring Te and Ge ions and locks the photo-conversion transition by pushing Ge ions into the interstitial position to minimize the Coulomb repulsion energy.


title: The SPHERE view of the planet-forming disk around HD100546

abstract: We image with unprecedented spatial resolution and sensitivity disk features that could be potential signs of planet-disk interaction. Two companion candidates have been claimed in the disk around the young Herbig Ae/Be star HD100546. Thus, this object serves as an excellent target for our investigation of the natal environment of giant planets. We exploit the power of extreme adaptive optics operating in conjunction with the new high-contrast imager SPHERE to image HD100546 in scattered light. We obtain the first polarized light observations of this source in the visible (with resolution as fine as 2 AU) and new H and K band total intensity images that we analyze with the Pynpoint package. The disk shows a complex azimuthal morphology, where multiple scattering of photons most likely plays an important role. High brightness contrasts and arm-like structures are ubiquitous in the disk. A double-wing structure (partly due to ADI processing) resembles a morphology newly observed in inclined disks. Given the cavity size in the visible (11 AU), the CO emission associated to the planet candidate 'c' might arise from within the circumstellar disk. We find an extended emission in the K band at the expected location of 'b'. The surrounding large-scale region is the brightest in scattered light. There is no sign of any disk gap associated to 'b'.


title: The Turnpike Property for Two-Dimensional Navier-Stokes Equations

abstract: This paper is devoted to the study of the turnpike phenomenon arising in the optimal distributed control tracking-type problem for the Navier-Stokes equations. We obtain a positive answer to this property in the case when the controls are time-dependent functions, and also when are independent of time. In both cases we prove an exponential turnpike property assuming that the stationary optimal state satisfy certain properties of smallness.


title: A Suzaku Observation of the Low-Mass X-Ray Binary GS 1826-238 in the Hard State

abstract: The neutron star Low-Mass X-ray Binary GS 1826-238 was observed with Suzaku on 2009 October 21, for a total exposure of 103 ksec. Except for the type I bursts, the source intensity was constant to within ~10%. Combining the Suzaku XIS, HXD-PIN and HXD-GSO data, burst-removed persistent emission was detected over the 0.8-100 keV range, at an unabsorbed flux of 2.6e-9 erg/s/cm/cm. Although the implied 0.8-100 keV luminosity, 1.5e37 erg/s (assuming a distance of 7 kpc), is relatively high, the observed hard spectrum confirms that the source was in the hard state. The spectrum was successfully explained with an emission from a soft standard accretion disk partially Comptonized by a hot electron cloud. These results are compared with those from previous studies, including those on the same source by Thompson et al. (2005) and Cocchi et al. (2011), as well as that of Aql X-1 in the hard state obtained with Suzaku (Sakurai et al. 2014).


title: Stability of Geodesic Spheres in $\mathbb{S}^{n+1}$ under Constrained Curvature Flows

abstract: In this paper we discuss the stability of geodesic spheres in $\mathbb{S}^{n+1}$ under constrained curvature flows. We prove that under some standard assumptions on the speed and weight functions, the spheres are stable under perturbations that preserve a volume type quantity. This extends results by Escher and Simonett, 1998, and the author, 2015, to a Riemannian manifold setting.


title: Fractal dimensions of subfractals induced by sofic subshifts

abstract: In this paper, we will consider subfractals of hyperbolic iterated function systems which satisfy the open set condition. The subfractals will consist of points associated with infinite strings from a subshift of finite type or sofic subshift on the symbolic space. We find that the zeros of the lower and upper topological pressure functions are lower and upper bounds, respectively, for the Hausdorff, packing, lower and upper box dimensions of the subfractal.


title: On a permutation problem for finite abelian groups

abstract: Let $G$ be a finite additive abelian group with exponent $n>1$, and let $a_1,\ldots,a_{n-1}\in G$. We show that there is a permutation $\sigma\in S_{n-1}$ such that all the elements $sa_{\sigma(s)}\ (s=1,\ldots,n-1)$ are nonzero if and only if $$\left|\left\{1\le s<n:\ \frac{n}{d}a_s\ne 0\right\}\right|\ge d-1\ \ \textrm{ for every positive divisor }\ d\ \textrm{ of }\ n.$$ When $G$ is the cyclic group $\mathbb Z/n\mathbb Z$, this confirms a conjecture of Z.-W. Sun.


title: LUMINEU: a search for neutrinoless double beta decay based on ZnMoO$_4$ scintillating bolometers

abstract: The LUMINEU is designed to investigate the possibility to search for neutrinoless double beta decay in $^{100}$Mo by means of a large array of scintillating bolometers based on ZnMoO$_4$ crystals enriched in $^{100}$Mo. High energy resolution and relatively fast detectors, which are able to measure both the light and the heat generated upon the interaction of a particle in a crystal, are very promising for the recognition and rejection of background events. We present the LUMINEU concepts and the experimental results achieved aboveground and underground with large-mass natural and enriched crystals. The measured energy resolution, the $\alpha/\beta$ discrimination power and the radioactive internal contamination are all within the specifications for the projected final LUMINEU sensitivity. Simulations and preliminary results confirm that the LUMINEU technology can reach zero background in the region of interest (around 3 MeV) with exposures of the order of hundreds kg$\times$years, setting the bases for a next generation $0\nu2\beta$ decay experiment capable to explore the inverted hierarchy region of the neutrino mass pattern.


title: The calorimetric spectrum of the electron-capture decay of $^{163}$Ho. The spectral endpoint region

abstract: The electron-neutrino mass (or masses and mixing angles) may be directly measurable in weak electron-capture decays. The favoured experimental technique is "calorimetric". The optimal nuclide is $^{163}$Ho, and several experiments (ECHo, HOLMES and NuMECS) are currently studying its decay. The most relevant range of the calorimetric-energy spectrum extends for the last few hundred eV below its endpoint. It has not yet been well measured. We explore the theory, mainly in the cited range, of electron capture in $^{163}$Ho decay. A so far neglected process turns out to be most relevant: electron-capture accompanied by the shake-off of a second electron. Our two main conclusions are very encouraging: the counting rate close to the endpoint may be more than an order of magnitude larger than previously expected; the "pile-up" problem may be significantly reduced.


title: Physical Basis for the Symmetries in the Friedmann-Robertson-Walker Metric

abstract: Modern cosmological theory is based on the Friedmann--Robertson--Walker (FRW) metric. Often written in terms of co-moving coordinates, this well-known solution to Einstein's equations owes its elegant and highly practical formulation to the cosmological principle and Weyl's postulate, upon which it is founded. However, there is physics behind such symmetries, and not all of it has yet been recognized. In this paper, we derive the FRW metric coefficients from the general form of the spherically symmetric line element and demonstrate that, because the co-moving frame also happens to be in free fall, the symmetries in FRW are valid only for a medium with zero active mass. In other words, the spacetime of a perfect fluid in cosmology may be correctly written as FRW only when its equation of state is rho+3p=0, in terms of the total pressure p and total energy density rho. There is now compelling observational support for this conclusion, including the Alcock--Paczynski test, which shows that only an FRW cosmology with zero active mass is consistent with the latest model-independent baryon acoustic oscillation data.


title: The Superspinorial Field Theory in Riemannian Coordinates

abstract: The Superspinorial Dual-covariant Field Theory (SSFT) developed in papers [1, 2] is treated in terms of Riemannian coordinates (RC) [7, 8] in space of the N dimensions unified manifold (UM). Metric tensor of UM (grand metric, GM) is built on the split metric matrices (SM) [1] which are a proportion of the Cartan's affinors (an extended analog of Dirac's matrices) of his Theory of Spinors [3] as explicated in [2]. Transition to RC based on consideration of geodesics is described. A principal property of an orthogonal RC frame (ORC) utilized in the present paper is constancy of the rotation matrix A of the Riemannian space of UM, while transformation matrix B of the dual superspinorial state vector field (DSV) varies together with Cartan's affinors according to the dynamical law of SSFT derived in [2]. The spinorial genesis of notion of the orthogonality as aspect of irreducible SSFT is pointed out in the present paper. The main outcome of resorting to an orthogonal RC frame (ORC) is explication of the conformal dynamic invariance of metric i.e. constancy of ratio between components of GM in ORC frame. This leads to possibility of reduction of algebraic equations of SSFT for the SM [2] to equation for GM determinant where GM signature plays a role of N discrete parameters non-specified in advance.


title: Entropic corrected Newton's law of gravitation and the Loop Quantum Black Hole gravitational atom

abstract: One proposal by Verlinde \cite{Verlinde:2010hp} is that gravity is not a fundamental, but an entropic force. In this way, Verlinde has provide us with a way to derive the Newton's law of gravitation from the Bekenstein-Hawking entropy-area formula. On the other hand, since it has been demonstrated that this formula is susceptible to quantum gravity corrections, one may hope that these corrections could be inherited by the Newton's law. In this way, the entropic interpretation of Newton's law could be a prolific way in order to get verifiable or falsifiable quantum corrections to ordinary gravity in an observationally accessible regimes. Loop quantum gravity is a theory that provide a way to approach the quantum properties of spacetime. From this theory, emerges a quantum corrected semiclassical black hole solution called loop quantum black holes or self-dual black holes. Among the interesting features of loop quantum black holes is the fact that they give rise to a modified entropy-area relation where quantum gravity corrections are present. In this work, we obtain the quantum corrected Newton's law from the entropy-area relation given by loop quantum black holes. In order to relate our results with the recent experimental activity, we consider the quantum mechanical properties of a huge gravitational atom consisting in a light neutral elementary particle in the presence of a loop quantum black hole.


title: Non-local $F(R)$-mimetic gravity

abstract: In this paper, we study non-local $F(R)$-mimetic gravity. We implement mimetic gravity in the framework of non-local $F(R)$-theories of gravity. Given some specific class of models and using a potential on the mimetic field, we investigate some scenarios related to the early-time universe, namely the inflation and the cosmological bounce, compatibly with Einstein's gravity with cold dark matter at the late-time.


title: A bremsstrahlung gamma-ray source based on stable ionization injection of electrons into a laser wakefield accelerator

abstract: Laser wakefield acceleration permits the generation of ultra-short, high-brightness relativistic electron beams on a millimeter scale. While those features are of interest for many applications, the source remains constraint by the poor stability of the electron injection process. Here we present results on injection and acceleration of electrons in pure nitrogen and argon. We observe stable, continuous ionization-induced injection of electrons into the wakefield for laser powers exceeding a threshold of 7 TW. The beam charge scales approximately linear with the laser energy and is limited by beam loading. For 40 TW laser pulses we measure a maximum charge of almost 1 nC per shot, originating mostly from electrons of less than 10 MeV energy. The relatively low energy, the high charge and its stability make this source well-suited for applications such as non-destructive testing. Hence, we demonstrate the production of energetic radiation via bremsstrahlung conversion at 1 Hz repetition rate. In accordance with Geant4 Monte-Carlo simulations, we measure a gamma-ray source size of less than 100 microns for a 0.5 mm tantalum converter placed at 2 mm from the accelerator exit. Furthermore we present radiographs of image quality indicators.


title: Lectures on General Theory of Relativity

abstract: These are lectures on General Theory of Relativity that were given to students of the Mathematical Faculty of the Higher School of Economics in Moscow.


title: Nonlocal Effects in Black Body Radiation

abstract: Nonlocal electrodynamics is a formalism developed to include nonlocal effects in the measurement process caused by the non-inertial state of the observers. This theory modifies Maxwell's electrodynamics by eliminating the hypothesis of locality that assumes an accelerated observer simultaneously equivalent to a comoving inertial frame of reference. In this scenario, the transformation between an inertial and accelerated observer is generalized which affects the properties of physical fields. In particular, we analyze how an uniformly accelerated observer perceives a homogeneous and isotropic blackbody radiation. We show that all nonlocal effects are transient and most relevant in the first period of acceleration.


title: A constructive approach to affine and projective planes

abstract: In classical geometric algebra, there have been several treatments of affine and projective planes based on fields. In this thesis we approach affine and projective planes from a constructive point of view and we base our geometry on local rings instead of fields. We start by constructing projective and affine planes over local rings and establishing forms of Desargues' Theorem and Pappus' Theorem which hold for these. From this analysis we derive coherent theories of projective and affine planes. The great Greek mathematicians of the classical period used geometry as the basis for their theory of quantities. The modern version of this idea is the reconstruction of algebra from geometry. We show how we can construct a local ring whenever we are given an affine or a projective plane. This enables us to describe the classifying toposes of our theories of affine and projective planes as extensions of the Zariski topos by certain group actions. Through these descriptions of the classifying toposes, the links between the theories of local rings, affine and projective planes become clear. In particular, the geometric morphisms between these classifying toposes are all induced by group homomorphisms even though they demonstrate complicated constructions in geometry. In this thesis, we also prove results in topos theory which are applied to these geometric morphisms to give Morita equivalences between some further theories.


title: Functional equations for multi-signed Selmer groups

abstract: We study the functional equation for the multi-signed Selmer groups for non-ordinary motives whose Hodge-Tate weights are $0$ and $1$, defined by B\"uy\"ukboduk and the first named author. This generalizes simultaneously Greenberg's result for ordinary motives and Kim's result for supersingular elliptic curves.


title: EPFL Lectures on Conformal Field Theory in D>= 3 Dimensions

abstract: This is a writeup of lectures given at the EPFL Lausanne in the fall of 2012. The topics covered: physical foundations of conformal symmetry, conformal kinematics, radial quantization and the OPE, and a very basic introduction to conformal bootstrap.


title: The para-HK/QK correspondence

abstract: We generalise the hyper-Kahler/quaternionic Kahler (HK/QK) correspondence to include para-geometries, and present a new concise proof that the target manifold of the HK/QK correspondence is quaternionic Kahler. As an application, we construct one-parameter deformations of the temporal and Euclidean supergravity c-map metrics and show that they are para-quaternionic Kahler.


title: Solvability of Matrix-Exponential Equations

abstract: We consider a continuous analogue of Babai et al.'s and Cai et al.'s problem of solving multiplicative matrix equations. Given $k+1$ square matrices $A_{1}, \ldots, A_{k}, C$, all of the same dimension, whose entries are real algebraic, we examine the problem of deciding whether there exist non-negative reals $t_{1}, \ldots, t_{k}$ such that \begin{align*} \prod \limits_{i=1}^{k} \exp(A_{i} t_{i}) = C . \end{align*} We show that this problem is undecidable in general, but decidable under the assumption that the matrices $A_{1}, \ldots, A_{k}$ commute. Our results have applications to reachability problems for linear hybrid automata. Our decidability proof relies on a number of theorems from algebraic and transcendental number theory, most notably those of Baker, Kronecker, Lindemann, and Masser, as well as some useful geometric and linear-algebraic results, including the Minkowski-Weyl theorem and a new (to the best of our knowledge) result about the uniqueness of strictly upper triangular matrix logarithms of upper unitriangular matrices. On the other hand, our undecidability result is shown by reduction from Hilbert's Tenth Problem.


title: Parameterized and approximation complexity of the detection pair problem in graphs

abstract: We study the complexity of the problem DETECTION PAIR. A detection pair of a graph $G$ is a pair $(W,L)$ of sets of detectors with $W\subseteq V(G)$, the watchers, and $L\subseteq V(G)$, the listeners, such that for every pair $u,v$ of vertices that are not dominated by a watcher of $W$, there is a listener of $L$ whose distances to $u$ and to $v$ are different. The goal is to minimize $|W|+|L|$. This problem generalizes the two classic problems DOMINATING SET and METRIC DIMENSION, that correspond to the restrictions $L=\emptyset$ and $W=\emptyset$, respectively. DETECTION PAIR was recently introduced by Finbow, Hartnell and Young [A. S. Finbow, B. L. Hartnell and J. R. Young. The complexity of monitoring a network with both watchers and listeners. Manuscript, 2015], who proved it to be NP-complete on trees, a surprising result given that both DOMINATING SET and METRIC DIMENSION are known to be linear-time solvable on trees. It follows from an existing reduction by Hartung and Nichterlein for METRIC DIMENSION that even on bipartite subcubic graphs of arbitrarily large girth, DETECTION PAIR is NP-hard to approximate within a sub-logarithmic factor and W[2]-hard (when parameterized by solution size). We show, using a reduction to SET COVER, that DETECTION PAIR is approximable within a factor logarithmic in the number of vertices of the input graph. Our two main results are a linear-time $2$-approximation algorithm and an FPT algorithm for DETECTION PAIR on trees.


title: Mass generation and the problem of seagull divergences

abstract: The gluon mass generation is a purely non-perturbative effect, and the natural framework to study it in the continuum are the Schwinger-Dyson equations (SDEs) of the theory. At the level of the SDEs the generation of such a mass is associated with the existence of infrared finite solutions for the gluon propagator. From the theoretical point of view, the dynamical gluon mass generation has been traditionally plagued with seagull divergences. In this work, we will review how such divergences can be eliminated completely by virtue of a characteristic identity, valid in dimensional regularization. As a pedagogical example, we will first discuss in the context of scalar QED how it is possible to eliminate all seagull divergences, by triggering the aforementioned special identity, which enforces the masslessness of the photon. Then, we will discuss what happens in QCD and present an Ansatz for the three gluon vertex, which completely eliminates all seagull divergences and at same time allows for the possibility of a dynamical gluon mass generation.


title: Pseudo-Casimir stresses and elasticity of a confined elastomer film

abstract: Investigations of the elastic behavior of bulk elastomers have traditionally proceeded on the basis of classical rubber elasticity, which regards chains as thermally fluctuating but disregards the thermal fluctuations of the cross-links. Here, we consider an incompressible and flat elastomer film of an axisymmetric shape confined between two large hard co-planar substrates, with the axis of the film perpendicular to the substrates. We address the impact that thermal fluctuations of the cross-links have on the free energy of elastic deformation of the system, subject to the requirement that the fluctuating elastomer cannot detach from the substrates. We examine the behavior of the deformation free energy for one case where a rigid pinning boundary condition is applied to a class of elastic fluctuations at the confining surfaces, and another case where the same elastic fluctuations are subjected to soft "gluing" potentials. We find that there can be significant departures (both quantitative and qualitative) from the prediction of classical rubber elasticity theory when elastic fluctuations are included. Finally, we compare the character of the attractive part of the elastic fluctuation-induced, or pseudo-Casimir, stress with the standard thermal Casimir stress in confined but non-elastomeric systems, finding the same power law decay behavior when a rigid pinning boundary condition is applied, for the case of the gluing potential, we find that the leading order correction to the attractive part of the fluctuation stress decays inversely with the inter-substrate separation.


title: Liouville integrability and superintegrability of a generalized Lotka-Volterra system and its Kahan discretization

abstract: We prove the Liouville and superintegrability of a generalized Lotka-Volterra system and its Kahan discretization.


title: Analysis of perturbed H2O vibrations beyond Fourier transform

abstract: New analysis methods for the vibrational dynamics from molecular dynamics are proposed and applied to liquid H$_{2}$O. The internal modes of H$_{2}$O are amplitude-modulated by Langevin dynamics with the frequency of the H$_{2}$O libration (~600 cm$^{-1}$) and its first overtone (~1200 cm$^{-1}$). The carrier signal is frequency-modulated by the variation of the hydrogen bond strength due to thermal motion and by dephasing collisions. The standard power spectra of the bond parameters yield broadened normal modes due to a superposition of several perturbations. Here, the oscillating bond lengths and angles are demodulated by the spline interpolation of the minima or maxima. Additionally, a zero-crossing method is described, which yields the spectrum of the frequency modulated carrier without Fourier transform by directly converting the oscillation periods.


title: Transport dynamics of ultracold atoms in a triple-well transistor-like potential

abstract: The transport of atoms is experimentally studied in a transistor-like triple-well potential consisting of a narrow gate well surrounded by source and drain wells. Atoms are initially loaded into the source well with pre-determined temperature and chemical potential. Energetic atoms flow from the source, across the gate, and into the drain where they are removed using a resonant light beam. The manifestation of atom-atom interactions and dissipation is evidenced by a rapid population growth in the initially vacant gate well. The transport dynamics are shown to depend strongly on a feedback parameter determined by the relative heights of the two barriers forming the gate region. For a range of feedback parameter values, experiments establish that the gate atoms develop a larger chemical potential and lower temperature than those in the source.


title: Notes on Low Degree L-Data

abstract: These notes are an extended version of a talk given by the author at the conference "Analytic Number Theory and Related Areas", held at Research Institute for Mathematical Sciences, Kyoto University in November 2015. We are interested in "$L$-data", an axiomatic framework for $L$-functions introduced by Andrew Booker in 2013. Associated to each $L$-datum, one has a real number invariant known as the degree. Conjecturally the degree $d$ is an integer. Moreover, if $d\in\mathbb{N}$ then one expects that the $L$-datum is that of a $GL_n(\mathbb{A}_F)$-automorphic representation, for some number field $F$. In fact, if $F=\mathbb{Q}$, then $n=d$. This statement was shown to be true for $0\leq d<5/3$ by Booker in his pioneering paper, and in these notes we consider an extension of his methods to $0\leq d<2$. This is simultaneously a generalisation of Booker's result and the results and techniques of Kaczorowski--Perelli in the Selberg class (the best known to date). Furthermore, we consider applications to zeros of automorphic $L$-functions. In these notes we review Booker's results and announce new ones to appear elsewhere shortly.


title: Strain-induced programmable half-metal and spin-gapless semiconductor in an edge-doped boron nitride nanoribbon

abstract: The search for half-metals and spin-gapless semiconductors has attracted extensive attention in material design for spintronics. Existing progress in such a search often requires peculiar atomistic lattice configuration and also lacks active control of the resulting electronic properties. Here we reveal that a boron-nitride nanoribbon with a carbon-doped edge can be made a half-metal or a spin-gapless semiconductor in a programmable fashion. The mechanical strain serves as the on/off switches for functions of half-metal and spin-gapless semiconductor to occur. Our findings shed light on how the edge doping combined with strain engineering can affect electronic properties of two-dimensional materials


title: Non-smooth Variable Projection

abstract: Variable projection solves structured optimization problems by completely minimizing over a subset of the variables while iterating over the remaining variables. Over the last 30 years, the technique has been widely used, with empirical and theoretical results demonstrating both greater efficacy and greater stability compared to competing approaches. Classic examples have exploited closed-form projections and smoothness of the objective function. We extend the approach to problems that include non-smooth terms, and where the projection subproblems can only be solved inexactly by iterative methods. We propose an inexact adaptive algonrithm for solving such problems and analyze its computational complexity. Finally, we show how the theory can be used to design methods for selected problems occurring frequently in machine-learning and inverse problems.


title: A Simple Measure of Economic Complexity

abstract: Contrary to conventional economic growth theory, which reduces a country's output to one aggregate variable (GDP), product diversity is central to economic development, as recent 'economic complexity' research suggests. A country's product diversity reflects its diversity of knowhow or 'capabilities'. Researchers proposed the Economic Complexity Index (ECI) and the country Fitness index to estimate a country's number of capabilities from international export data; these measures predict economic growth better than conventional variables such as human capital. This paper offers a simpler measure of a country's knowhow, Log Product Diversity (or LPD, the logarithm of a country's number of products), which can be derived from a one-parameter combinatorial model of production in which a set of knowhows combine with some probability to turn raw materials into a product. ECI and log-fitness can be interpreted theoretically (using the combinatorial model) and empirically as potentially noisy estimates of LPD; moreover, controlling for natural resources, the simple measure better explains the cross-country differences in GDP and in GDP per capita.


title: Ultra-narrow optical inhomogeneous linewidth in a stoichiometric rare earth crystal

abstract: We have obtained a low optical inhomogeneous linewidth of 25 MHz in the stoichiometric rare earth crystal EuCl3 .6H2 O by isotopically purifying the crystal in 35 Cl. With this linewidth, an important limit for stoichiometric rare earth crystals is surpassed: the hyperfine structure of 153Eu is spectrally resolved, allowing the whole population of 153Eu3+ ions to be prepared in the same hyperfine state using hole burning techniques. This material also has a very high optical density and can have long coherence times when deuterated. This combination of properties offers new prospects for quantum information applications. We consider two of these, quantum memories and quantum many body studies. We detail the improvements in the performance of current memory protocols possible in these high optical depth crystals, and how certain memory protocols, such as off-resonant Raman memories, can be implemented for the first time in a solid state system. We explain how the strong excitation-induced interactions observed in this material resemble those seen in Rydberg systems, and describe how these interactions can lead to quantum many-body states that could be observed using standard optical spectroscopy techniques.


title: Implications, consequences and interpretations of generalized entropy in the cosmological setups

abstract: Recently, it was argued (Eur. Phys. J. C {\bf73}, 2487 (2013)) that the total entropy of a gravitational system should be related to the volume of system instead of the system surface. Here, we show that this new proposal cannot satisfy the unified first law of thermodynamics and the Friedmans equation simultaneously, unless the effects of dark energy candidate on the horizon entropy are considered. In fact, our study shows that some types of dark energy candidate may admit this proposal. Some general properties of required dark energy are also addressed. Moreover, our investigation shows that this new proposal for entropy, while combined with the second law of thermodynamics (as the backbone of Verlinde's proposal), helps us in providing a thermodynamic interpretation for the difference between the surface and bulk degrees of freedom which, according to Padmanabhan's proposal, leads to the emergence of spacetime and thus the universe expansion. In fact, our investigation shows that the entropy changes of system may be equal to the difference between the surface and bulk degrees of freedom falling from surface into the system volume. Briefly, our results signal us that this new proposal for entropy may be in agreement with the thermodynamics laws, the Friedmann equation, Padmanabhan's holographic proposal for the emergence of spacetime and therefore the universe expansion. In fact, this new definition of entropy may be used to make a bridge between Verlinde's and Padmanabhan's proposals.


title: Periodic orbits of mechanical systems with homogeneous polynomial terms of degree five

abstract: In this work the existence of periodic solutions is studied for the Hamiltonian functions (Formula presented.) where the first term consist of a harmonic oscillator and the second term are homogeneous polynomials of degree 5 defined by two real parameters (Formula presented.) . Using the averaging method of second order we provide the sufficient conditions on the parameters to guarantee the existence of periodic solutions for positive energy and we study the stability of these periodic solutions.


title: Cohen-Macaulayness of triangular graphs

abstract: We study the Cohen-Macaulay property of triangular graphs $T_n$. We show that $T_2$, $T_3$ and $T_5$ are Cohen-Macaulay graphs, and that $T_4$, $T_6$, $T_8$ and $T_n$ are not Cohen-Macaulay graphs, for $n\geq 10$. Finally, we prove that over fields of characteristic zero $T_7$ and $T_9$ are Cohen-Macaulay.


title: Smoothed Particles Hydrodynamics numerical simulations of droplets walking on viscous vibrating liquid

abstract: We study the phenomenon of the "walking droplet", by means of numerical fluid dynamics simulations using the Smoothed Particle Hydrodynamics numerical method. This phenomenon occurs when a millimetric drop is released on the surface of an oil of the same composition, contained in a tank and subjected to vertical oscillations of frequency and amplitude very close to the Faraday instability threshold. At appropriate values of the parameters of the system under study, the oil droplet jumps permanently on the surface of the vibrating liquid forming a localized wave-particle system, reminding the behaviour of a wave particle quantum system as suggested by de Broglie. In our study, we made relevant simplifying assumptions, however we observe that the wave-drop coupling is surely obtained. Moreover, the droplet and the wave travel at nearly constant velocity, as observed in experiments. These facts suggest that the phenomenon may occur in many contexts and opens the possibility to study it in an extremely wide range of physical configurations.


title: Theoretical developments in supernova neutrino physics : mass corrections and pairing correlators

abstract: We highlight the progress in our understanding of how neutrinos change their flavor in astrophysical environments, in particular effects from the neutrino self-interaction. We emphasize extended descriptions of neutrino propagation in massive stars that are beyond the current one based on the mean-field approximation. The extended equations include, in particular, corrections from (anti)neutrino-(anti)neutrino pairing correlations and from the neutrino mass. We underline open issues and challenges.


title: Anisotropic solutions in f(R) Gravity

abstract: Anisotropic cosmological models are investigated in the frame work of $f(R)$ gravity in the metric formalism. Plane symmetric models are considered to incorporate anisotropy in the expansion rates along different spatial directions. The anisotropy in expansion rates are assumed to be maintained throughout the cosmic evolution. Two accelerating models are constructed by considering different functional forms for f(R). The viability of these models are tested through a stability analysis.


title: Low Space External Memory Construction of the Succinct Permuted Longest Common Prefix Array

abstract: The longest common prefix (LCP) array is a versatile auxiliary data structure in indexed string matching. It can be used to speed up searching using the suffix array (SA) and provides an implicit representation of the topology of an underlying suffix tree. The LCP array of a string of length $n$ can be represented as an array of length $n$ words, or, in the presence of the SA, as a bit vector of $2n$ bits plus asymptotically negligible support data structures. External memory construction algorithms for the LCP array have been proposed, but those proposed so far have a space requirement of $O(n)$ words (i.e. $O(n \log n)$ bits) in external memory. This space requirement is in some practical cases prohibitively expensive. We present an external memory algorithm for constructing the $2n$ bit version of the LCP array which uses $O(n \log \sigma)$ bits of additional space in external memory when given a (compressed) BWT with alphabet size $\sigma$ and a sampled inverse suffix array at sampling rate $O(\log n)$. This is often a significant space gain in practice where $\sigma$ is usually much smaller than $n$ or even constant. We also consider the case of computing succinct LCP arrays for circular strings.


title: The worldline approach to helicity flip in plane waves

abstract: We apply worldline methods to the study of vacuum polarisation effects in plane wave backgrounds, in both scalar and spinor QED. We calculate helicity-flip probabilities to one loop order and treated exactly in the background field, and provide a toolkit of methods for use in investigations of higher-order processes. We also discuss the connections between the worldline, S-matrix, and lightfront approaches to vacuum polarisation effects.


title: First measurement of electron neutrino appearance in NOvA

abstract: We report results from the first search for $\nu_\mu\to\nu_e$ transitions by the NOvA experiment. In an exposure equivalent to $2.74\times10^{20}$ protons-on-target in the upgraded NuMI beam at Fermilab, we observe 6 events in the Far Detector, compared to a background expectation of $0.99\pm0.11$ (syst.) events based on the Near Detector measurement. A secondary analysis observes 11 events with a background of $1.07\pm0.14$ (syst.). The $3.3\sigma$ excess of events observed in the primary analysis disfavors $0.1\pi < \delta_{CP} < 0.5\pi$ in the inverted mass hierarchy at the 90% C.L.


title: Coherent subcategories of finitely generated $\Lambda$-modules

abstract: We explore some properties of wide subcategories of the category mod$\,(\Lambda)$ of finitely generated left $\Lambda$-modules, for some artin algebra $\Lambda.$ In particular we look at wide finitely generated subcategories and give a connection with the class of standard modules and standardly stratified algebras. Furthermore, for a wide class $\mathcal{X}$ in mod$\,(\Lambda),$ we give necessary and sufficient conditions to see that $\mathcal{X}=\mathrm{pres}\,(P),$ for some projective $\Lambda$-module $P;$ and finally, a connection with ring epimorphisms is given.


title: Loosening up the Skyrme model

abstract: We consider the Skyrme model with the addition of extra scalar potentials that decrease the classical binding energies of the Skyrmions to about the 3% level -- without altering the pion mass -- if we insist on keeping platonic symmetries that are usually possessed by Skyrmions. A side effect of the potentials under consideration is the smaller size of the 1-Skyrmion resulting in a smaller moment of inertia and in turn a larger spin contribution to the energy upon semi-classical quantization. After taking into account the quantum contributions we find total binding energies at the 6% level.


title: Highlights from the COMPASS experiment at CERN -- Hadron spectroscopy and excitations

abstract: The COMPASS experiment at the CERN-SPS studies the spectrum and the structure of hadrons by scattering high energy hadrons and polarised muons off various fixed targets. Recent results for the hadron programme comprise highlights from different topics. A selective overview is given and, among others, the following results are discussed. The precise determination of the pion polarisability, a long standing puzzle that has been solved now, is presented as well as measurements of radiative widths. The observation of a new narrow axial-vector state, the $a_1(1420)$, as well as deeper insights into the exotic $1^{-+}$-wave, which is under study since decades by several experiments, are discussed and further, the search for the charmonium-like exotic $Z_c(3900)$ state in the COMPASS data is covered.


title: Propagation of Surface Plasmon Polaritons in Thin Films of Topological Insulators

abstract: The propagation of surface plasmon polaritons in thin films of topological insulators is studied. The materials considered are second generation three dimensional topological insulators Bi$_2$Se$_3$, Bi$_2$Te$_3$, and Sb$_2$Te$_3$. Dispersion relations and propagation lengths are estimated numerically, taking into account the variation of bulk dielectric functions of topological insulators as well as substrate using the Drude-Lorentz model. Key factors affecting propagation length are identified and ways to modify the dispersion relations are suggested. The explanation of the apparent discrepancy between the experimental data for Bi$_2$Se$_3$ and theory is proposed.


title: Luminescent and absorptive metal-coated emulsions for micro-velocimetry

abstract: Fluorescent latex beads have been widely used as tracers in microfluidics over for the last decades. They have the advantages to be density matched with water and to be easily localizable using fluorescence microscopy. We have recently synthesized silver-coated oil droplets that are both luminescent and absorptive, by first coating the oil interface with a polydopamine layer and then depositing a silver layer by a redox process. They have a mean diameter of 6 \mu m and a their density has been matched to the density of water by adjusting the thickness of the metallic layer. In this work we used these particles as tracers to measure the velocity profile of a water flow in a PDMS microchannel with a rectangular cross-section, which allowed us to confirm the predictions of the Stokes equation with results comparable to those of common submicronic polystyrene particles.


title: The CDF Archive: Herschel PACS and SPIRE Spectroscopic Data Pipeline and Products for Protostars and Young Stellar Objects

abstract: We present the COPS-DIGIT-FOOSH (CDF) Herschel spectroscopy data product archive, and related ancillary data products, along with data fidelity assessments, and a user-created archive in collaboration with the Herschel-PACS and SPIRE ICC groups. Our products include datacubes, contour maps, automated line fitting results, and best 1-D spectra products for all protostellar and disk sources observed with PACS in RangeScan mode for two observing programs: the DIGIT Open Time Key Program (KPOT_nevans_1 and SDP_nevans_1; PI: N. Evans), and the FOOSH Open Time Program (OT1_jgreen02_2; PI: J. Green). In addition, we provide our best SPIRE-FTS spectroscopic products for the COPS Open Time Program (OT2_jgreen02_6; PI: J. Green) and FOOSH sources. We include details of data processing, descriptions of output products, and tests of their reliability for user applications. We identify the parts of the dataset to be used with caution. The resulting absolute flux calibration has improved in almost all cases. Compared to previous reductions, the resulting rotational temperatures and numbers of CO molecules have changed substantially in some sources. On average, however, the rotational temperatures have not changed substantially (< 2%), but the number of warm (Trot ~ 300 K) CO molecules has increased by about 18%.


title: Spectra of Half-Infinite Quantum Graph Tubes

abstract: Carbon nanotubes are a feverishly-studied topic in the scientific community as of late. Mathematically, they can be modeled with a quantum graph. Here we consider a structure somewhat similar to carbon nanotubes, another quantum graph that is formed by rolling a square lattice instead of a graphene structure. This symmetry imposes properties that make certain motions easier to study by creating convenient pairs of incoming and outgoing motions.


title: PN-Net: Conjoined Triple Deep Network for Learning Local Image Descriptors

abstract: In this paper we propose a new approach for learning local descriptors for matching image patches. It has recently been demonstrated that descriptors based on convolutional neural networks (CNN) can significantly improve the matching performance. Unfortunately their computational complexity is prohibitive for any practical application. We address this problem and propose a CNN based descriptor with improved matching performance, significantly reduced training and execution time, as well as low dimensionality. We propose to train the network with triplets of patches that include a positive and negative pairs. To that end we introduce a new loss function that exploits the relations within the triplets. We compare our approach to recently introduced MatchNet and DeepCompare and demonstrate the advantages of our descriptor in terms of performance, memory footprint and speed i.e. when run in GPU, the extraction time of our 128 dimensional feature is comparable to the fastest available binary descriptors such as BRIEF and ORB.


title: Vorticity and Symplecticity in Multi-Symplectic Lagrangian Gas Dynamics

abstract: The Lagrangian, multi-dimensional, ideal, compressible gasdynamic equations are written in a multi-symplectic form, in which the Lagrangian fluid labels, $m^i$ (the Lagrangian mass coordinates) and time $t$ are the independent variables, and in which the Eulerian position of the fluid element ${\bf x}={\bf x}({\bf m},t)$ and the entropy $S=S({\bf m},t)$ are the dependent variables. Constraints in the variational principle are incorporated by means of Lagrange multipliers. The constraints are: the entropy advection equation $S_t=0$, the Lagrangian map equation ${\bf x}_t={\bf u}$ where ${\bf u}$ is the fluid velocity, and the mass continuity equation which has the form $J=\tau$ where $J=\det(x_{ij})$ is the Jacobian of the Lagrangian map in which $x_{ij}=\partial x^i/\partial m^j$ and $\tau=1/\rho$ is the specific volume of the gas. The internal energy per unit volume of the gas $\varepsilon=\varepsilon(\rho,S)$ corresponds to a non-barotropic gas. The Lagrangian is used to define multi-momenta, and to develop de-Donder Weyl Hamiltonian equations. The de Donder Weyl equations are cast in a multi-symplectic form. The pullback conservation laws and the symplecticity conservation laws are obtained. One class of symplecticity conservation laws give rise to vorticity and potential vorticity type conservation laws, and another class of symplecticity laws are related to derivatives of the Lagrangian energy conservation law with respect to the Lagrangian mass coordinates $m^i$. We show that the vorticity-symplecticity laws can be derived by a Lie dragging method, and also by using Noether's second theorem and a fluid relabelling symmetry which is a divergence symmetry of the action. We obtain the Cartan-Poincar\'e form describing the equations and we discuss a set of differential forms representing the equation system.


title: On products of disjoint blocks of arithmetic progressions and related equations

abstract: In this paper we deal with Diophantine equations involving products of consecutive integers, inspired by a question of Erd\H{o}s and Graham.


title: Variational analysis of inference from dynamical systems

abstract: We introduce and study a variational framework for the analysis of empirical risk based inference for dynamical systems and ergodic processes. The analysis applies to a two-stage estimation procedure in which (i) the trajectory of an observed (but unknown) system is fit to a trajectory from a known reference system by minimizing cumulative per-state loss, and (ii) a parameter estimate is obtained from the initial state of the best fit reference trajectory. We show that the empirical risk of the best fit trajectory converges almost surely to a constant that can be expressed in a variational form as the minimal expected loss over dynamically invariant couplings (joinings) of the observed and reference systems. Moreover, we establish that the family of joinings minimizing the expected loss is convex and compact, and that it fully characterizes the asymptotic behavior of the estimated parameters, addressing both identifiability and misspecification. The two-stage estimation framework and associated variational analysis apply to a broad family of empirical risk miminization procedures for dependent observations. To illustrate this, we apply variational analysis to the well studied problems of maximum likelihood and non-linear regression, and then undertake an extended analysis of system identification from quantized trajectories subject to noise, a problem of interest in dynamics, where the models themselves exhibit dynamical behavior across time.


title: Properties of the Dot Product Graph of a Commutative Ring

abstract: Let $R$ be a commutative ring with identity and $n\geq1$ be an integer. Let $R^{n}=R\times\cdots\times R~(n~times)$. The \textit{total dot product} graph, denoted by $TD(R,n)$ is a simple graph with elements of $R^{n}-\{(0,0,\ldots,0)\}$ as vertices, and two distinct vertices $\mathbf{x}$ and $\mathbf{y}$ are adjacent if and only if $\mathbf{x} \cdot \mathbf{y}=0\in R$, where $\mathbf{x} \cdot \mathbf{y}$ denotes the dot product of $\mathbf{x}$ and $\mathbf{y}$. In this paper, we find the structure of $TD(R\times S,n)$ with respect to the structure of $TD(R,n)$ and $TD(S,n)$. In addition, we find the degree of vertices of this graph. We determine when it is regular. Let $\mathbb{F}$ be a finite field. It is shown that if $TD(\mathbb{F},n)\simeq TD(R,m)$, then $n=m$ and $R\simeq\mathbb{F}$. A number of results concerning the domination number are also presented. Furthermore, we give some results on the clique and the independence number of $TD(R,n)$. It is shown that the ring $R$ is finite if and only if its independence number is finite. Finally, we classify all planar graphs within this class.


title: Homotopy Type Theory: A synthetic approach to higher equalities

abstract: This is an introduction to Homotopy Type Theory and Univalent Foundations for philosophers, written as a chapter for the book "Categories for the Working Philosopher" (ed. Elaine Landry)


title: Universal dynamics and controlled switching of dissipative Kerr solitons in optical microresonators

abstract: Dissipative temporal Kerr solitons in optical microresonators enable to convert a continuous wave laser into a train of femtosecond pulses. Of particular interest are single soliton states, whose $\mathrm{sech}^{2}$ spectral envelope provides a spectrally smooth and low noise optical frequency comb, and that recently have been generated in crystalline, silica, and silicon-nitride resonators. Here, we study the dynamics of multiple soliton states containing ${N}$ solitons and report the discovery of a novel, yet simple mechanism which makes it possible to reduce deterministically the number of solitons, one by one, i.e. ${N\! \to\! N\!-\!1\! \to\! \dots \!\to\! 1}$. By applying weak phase modulation, we directly characterize the soliton state via a double-resonance response. The dynamical probing demonstrates that transitions occur in a predictable way, and thereby enables us to map experimentally the underlying multi-stability diagram of dissipative Kerr solitons. These measurements reveal the "lifted" degeneracy of soliton states as a result of the power-dependent thermal shift of the cavity resonance (i.e. the thermal nonlinearity). The experimental results are in agreement with theoretical and numerical analysis that incorporate the thermal nonlinearity. By studying two different microresonator platforms (integrated $\mathrm{Si_{3}N_{4}}$ microresonators and crystalline $\mathrm{MgF_{2}}$ resonators) we confirm that these effects have a universal nature. Beyond elucidating the fundamental dynamical properties of dissipative Kerr solitons the observed phenomena are also of practical relevance, providing a manipulation toolbox which enables to sequentially reduce, monitor and stabilize the number ${N}$ of solitons, preventing it from decay. Achieving reliable single soliton operation and stabilization in this manner in optical resonators is imperative to applications.


title: First measurement of muon-neutrino disappearance in NOvA

abstract: This paper reports the first measurement using the NOvA detectors of $\nu_\mu$ disappearance in a $\nu_\mu$ beam. The analysis uses a 14 kton-equivalent exposure of $2.74 \times 10^{20}$ protons-on-target from the Fermilab NuMI beam. Assuming the normal neutrino mass hierarchy, we measure $\Delta m^{2}_{32}=(2.52^{+0.20}_{-0.18})\times 10^{-3}$ eV$^{2}$ and $\sin^2\theta_{23}$ in the range 0.38-0.65, both at the 68% confidence level, with two statistically-degenerate best fit points at $\sin^2\theta_{23} = $ 0.43 and 0.60. Results for the inverted mass hierarchy are also presented.


title: Renormalizable Model for Neutrino Mass, Dark Matter, Muon $g-2$ and 750 GeV Diphoton Excess

abstract: We discuss a possibility to explain the 750 GeV diphoton excess observed at the LHC in a three-loop neutrino mass model which has a similar structure to the model by Krauss, Nasri and Trodden. Tiny neutrino masses are naturally generated by the loop effect of new particles with their couplings and masses to be of order 0.1-1 and TeV, respectively. The lightest right-handed neutrino, which runs in the three-loop diagram, can be a dark matter candidate. In addition, the deviation in the measured value of the muon anomalous magnetic moment from its prediction in the standard model can be compensated by one-loop diagrams with exotic multi-charged leptons and scalar bosons. For the diphoton event, an additional isospin singlet real scalar field plays the role to explain the excess by taking its mass of 750 GeV, where it is produced from the gluon fusion production via the mixing with the standard model like Higgs boson. We find that the cross section of the diphoton process can be obtained to be a few fb level by taking the masses of new charged particles to be about 375 GeV and related coupling constants to be order 1.


title: A cross-diffusion system derived from a Fokker-Planck equation with partial averaging

abstract: A cross-diffusion system for two compoments with a Laplacian structure is analyzed on the multi-dimensional torus. This system, which was recently suggested by P.-L. Lions, is formally derived from a Fokker-Planck equation for the probability density associated to a multi-dimensional It\={o} process, assuming that the diffusion coefficients depend on partial averages of the probability density with exponential weights. A main feature is that the diffusion matrix of the limiting cross-diffusion system is generally neither symmetric nor positive definite, but its structure allows for the use of entropy methods. The global-in-time existence of positive weak solutions is proved and, under a simplifying assumption, the large-time asymptotics is investigated.


title: Maximizing $H$-colorings of connected graphs with fixed minimum degree

abstract: For graphs $G$ and $H$, an $H$-coloring of $G$ is a map from the vertices of $G$ to the vertices of $H$ that preserves edge adjacency. We consider the following extremal enumerative question: for a given $H$, which connected $n$-vertex graph with minimum degree $\delta$ maximizes the number of $H$-colorings? We show that for non-regular $H$ and sufficiently large $n$, the complete bipartite graph $K_{\delta,n-\delta}$ is the unique maximizer. As a corollary, for non-regular $H$ and sufficiently large $n$ the graph $K_{k,n-k}$ is the unique $k$-connected graph that maximizes the number of $H$-colorings among all $k$-connected graphs. Finally, we show that this conclusion does not hold for all regular $H$ by exhibiting a connected $n$-vertex graph with minimum degree $\delta$ which has more $K_{q}$-colorings (for sufficiently large $q$ and $n$) than $K_{\delta,n-\delta}$.


title: Cotangent models for integrable systems

abstract: We associate cotangent models to a neighbourhood of a Liouville torus in symplectic and Poisson manifolds focusing on a special class called $b$-Poisson/$b$-symplectic manifolds. The semilocal equivalence with such models uses the corresponding action-angle coordinate theorems in these settings: the theorem of Liouville-Mineur-Arnold [A74] for symplectic manifolds and an action-angle theorem for regular Liouville tori in Poisson manifolds [LMV11]. Our models comprise regular Liouville tori of Poisson manifolds but also consider the Liouville tori on the singular locus of a $b$-Poisson manifold. For this latter class of Poisson structures we define a twisted cotangent model. The equivalence with this twisted cotangent model is given by an action-angle theorem recently proved in [KMS16]. This viewpoint of cotangent models provides a new machinery to construct examples of integrable systems, which are especially valuable in the $b$-symplectic case where not many sources of examples are known. At the end of the paper we introduce non-degenerate singularities as lifted cotangent models on $b$-symplectic manifolds and discuss some generalizations of these models to general Poisson manifolds.


title: Strong continuity on Hardy spaces

abstract: We prove the strong continuity of spectral multiplier operators associated with dilations of certain functions on the general Hardy space $H^1_L$ introduced by Hofmann, Lu, Mitrea, Mitrea, Yan. Our results include the heat and Poisson semigroups as well as the group of imaginary powers.


title: Acoustic omni meta-atom for top-down, decoupled access to all octants of a wave parameter space

abstract: The common behavior of a wave is determined by wave parameters of its medium, which are generally associated with the characteristic oscillations of its corresponding elementary particles. In the context of metamaterials, the decoupled excitation of these fundamental oscillations would provide an ideal platform for top-down and reconfigurable access to the entire space of constitutive wave parameters; however, this has remained as a conceivable problem that must be accomplished, after being pointed out by Pendry. Here, by focusing on acoustic metamaterials, we achieve the decoupling of density $\rho$ , modulus B$^{-1}$, and bianisotropy {\xi} near the Dirac point, by separating the paths of particle momentum to conform to the characteristic oscillations of each macroscopic wave parameter. Independent access to all octants of wave parameter space ($\rho$ , B$^{-1}$, $\xi$) = (+/-,+/-,+/-) is thus realized using a single platform that we call an omni meta-atom; as a building block that achieves top-down access to the target properties of metamaterials. With precision access to the target ($\rho$ , B$^{-1}$, $\xi$ ), we also propose a bianisotropic meta-surface for independent shaping of transmission- and reflection-wave fronts, and a zero-index anisotropic waveguide for pressure-velocity conversion.


title: Covariant formulation of the Liouville and the Vlasov equations

abstract: The fundamental concept of phase space for particles moving in the four-dimensional spacetime is analyzed. Particle distribution density is defined as differential form, which degree may be different in various cases. It should be emphasized that this approach does not include the concepts of phase volume and distribution function. The Liouville and the Vlasov equations are written in tensor form. The presented approach is valid in both non-relativistic and relativistic cases. It allows using arbitrary systems of coordinates for description of the particle distribution. In some cases, making use of special coordinates gives possibility to construct analytical solutions. Besides, such approach is convenient for description of degenerate distributions, for example, of the Kapchinsky-Vladimirsky distribution, which is well-known in the theory of charged particle beams. It can be also applied for description of mass distributions in curved spacetime.


title: Spatial interference between pairs of disjoint optical paths with a single chaotic source

abstract: We demonstrate a novel second-order spatial interference effect between two indistinguishable pairs of disjoint optical paths from a single chaotic source. Beside providing a deeper understanding of the physics of multi-photon interference and coherence, the effect enables retrieving information on both the spatial structure and the relative position of two distant double-pinhole masks, in the absence of first order coherence. We also demonstrate the exploitation of the phenomenon for simulating quantum logic gates, including a controlled-NOT gate operation.


title: High-speed modulator with interleaved junctions in zero-change CMOS photonics

abstract: A microring depletion modulator is demonstrated with T-shaped lateral p-n junctions used to realize efficient modulation while maximizing the RC limited bandwidth. The device having a 3 dB bandwidth of 13 GHz has been fabricated in a standard 45 nm microelectronics CMOS process. The cavity has a linewidth of 17 GHz and an average wavelength-shift of 9 pm/V in reverse-bias conditions.


title: Proving Differential Privacy via Probabilistic Couplings

abstract: In this paper, we develop compositional methods for formally verifying differential privacy for algorithms whose analysis goes beyond the composition theorem. Our methods are based on the observation that differential privacy has deep connections with a generalization of probabilistic couplings, an established mathematical tool for reasoning about stochastic processes. Even when the composition theorem is not helpful, we can often prove privacy by a coupling argument. We demonstrate our methods on two algorithms: the Exponential mechanism and the Above Threshold algorithm, the critical component of the famous Sparse Vector algorithm. We verify these examples in a relational program logic apRHL+, which can construct approximate couplings. This logic extends the existing apRHL logic with more general rules for the Laplace mechanism and the one-sided Laplace mechanism, and new structural rules enabling pointwise reasoning about privacy; all the rules are inspired by the connection with coupling. While our paper is presented from a formal verification perspective, we believe that its main insight is of independent interest for the differential privacy community.


title: Classification of Group Actions Extended to Symplectic Deformation Quantizations

abstract: Consider a group $\Gamma$ acting on a formal (Fedosov) deformation quantization $\mathbb{A}_\hbar(M)$ of a symplectic manifold $(M,\omega)$. This canonically induces an action of $\Gamma$ by symplectomorphisms on $M$. We examine the reverse problem of extending group actions by symplectomorphisms to the deformation quantization. To do this we first define a notion of extension that does not impose restrictions on the Fedosov connection realizing $\mathbb{A}_\hbar(M)$ in its gauge equivalence class by considering composition of pull-back with certain inner automorphisms of sections of the Weyl bundle. We reformulate the well known sufficient conditions for existence of such extensions and show by way of example that they are not necessary. We then turn to the corresponding classification problem of extensions of a given action by symplectomorphisms. To this end we associate a group $\bar{\mathcal{G}_\nabla}$ to each Fedosov connection $\nabla$ and show that the (non-Abelian) group cohomology $\mbox{H}^1(\Gamma,\bar{\mathcal{G}_\nabla})$ classifies extensions up to a natural notion of equivalence. Finally we develop several tools that allow for computation of $\mbox{H}^1(\Gamma,\bar{\mathcal{G}_\nabla})$ and apply these to compute $\mbox{H}^1(\Gamma,\bar{\mathcal{G}_\nabla})$ in a range of examples.


title: Ultralong-range triatomic Rydberg molecules in an electric field

abstract: We investigate the electronic structure of a triatomic Rydberg molecule formed by a Rydberg atom and two neutral ground-state atoms. Taking into account the $s$-wave and $p$-wave interactions we perform electronic structure calculations and analyze the adiabatic electronic potentials evolving from the Rb$(n=35, l\ge 3)$ Rydberg degenerate manifold. We hereby focus on three different classes of geometries of the Rydberg molecules, including symmetric, asymmetric and planar configurations. The metamorphosis of these potential energy surfaces in the presence of an external electric field is explored.