title: Optimal control in Markov decision processes via distributed optimization

abstract: Optimal control synthesis in stochastic systems with respect to quantitative temporal logic constraints can be formulated as linear programming problems. However, centralized synthesis algorithms do not scale to many practical systems. To tackle this issue, we propose a decomposition-based distributed synthesis algorithm. By decomposing a large-scale stochastic system modeled as a Markov decision process into a collection of interacting sub-systems, the original control problem is formulated as a linear programming problem with a sparse constraint matrix, which can be solved through distributed optimization methods. Additionally, we propose a decomposition algorithm which automatically exploits, if exists, the modular structure in a given large-scale system. We illustrate the proposed methods through robotic motion planning examples.


title: Inversion of the attenuated geodesic X-ray transform over functions and vector fields on simple surfaces

abstract: We derive explicit reconstruction formulas for the attenuated geodesic X-ray transform over functions and, in the case of non-vanishing attenuation, vector fields, on a class of simple Riemannian surfaces with boundary. These formulas partly rely on new explicit approaches to construct continuous right-inverses for backprojection operators (and, in turn, holomorphic integrating factors), which were previously unavailable in a systematic form. The reconstruction of functions is presented in two ways, the latter one being motivated by numerical considerations and successfully implemented at the end. Constructing the right-inverses mentioned require that certain Fredholm equations, first appearing in [Pestov-Uhlmann, IMRN 2004], be invertible. Whether this last condition reduces the applicability of the overall approach to a strict subset of simple surfaces remains open at present.


title: No variations in transit times for Qatar-1 b

abstract: The transiting hot Jupiter planet Qatar-1 b was presented to exhibit variations in transit times that could be of perturbative nature. A hot Jupiter with a planetary companion on a nearby orbit would constitute an unprecedented planetary configuration, important for theories of formation and evolution of planetary systems. We performed a photometric follow-up campaign to confirm or refute transit timing variations. We extend the baseline of transit observations by acquiring 18 new transit light curves acquired with 0.6-2.0 m telescopes. These photometric time series, together with data available in the literature, were analyzed in a homogenous way to derive reliable transit parameters and their uncertainties. We show that the dataset of transit times is consistent with a linear ephemeris leaving no hint for any periodic variations with a range of 1 min. We find no compelling evidence for the existence of a close-in planetary companion to Qatar-1 b. This finding is in line with a paradigm that hot Jupiters are not components of compact multi-planetary systems. Based on dynamical simulations, we place tighter constraints on a mass of any fictitious nearby planet in the system. Furthermore, new transit light curves allowed us to redetermine system parameters with the precision better than that reported in previous studies. Our values generally agree with previous determinations.


title: Shortest-Path Queries in Planar Graphs on GPU-Accelerated Architectures

abstract: We develop an efficient parallel algorithm for answering shortest-path queries in planar graphs and implement it on a multi-node CPU/GPU clusters. The algorithm uses a divide-and-conquer approach for decomposing the input graph into small and roughly equal subgraphs and constructs a distributed data structure containing shortest distances within each of those subgraphs and between their boundary vertices. For a planar graph with $n$ vertices, that data structure needs $O(n)$ storage per processor and allows queries to be answered in $O(n^{1/4})$ time.


title: Computational methods for stochastic control with metric interval temporal logic specifications

abstract: This paper studies an optimal control problem for continuous-time stochastic systems subject to reachability objectives specified in a subclass of metric interval temporal logic specifications, a temporal logic with real-time constraints. We propose a probabilistic method for synthesizing an optimal control policy that maximizes the probability of satisfying a specification based on a discrete approximation of the underlying stochastic system. First, we show that the original problem can be formulated as a stochastic optimal control problem in a state space augmented with finite memory and states of some clock variables. Second, we present a numerical method for computing an optimal policy with which the given specification is satisfied with the maximal probability in point-based semantics in the discrete approximation of the underlying system. We show that the policy obtained in the discrete approximation converges to the optimal one for satisfying the specification in the continuous or dense-time semantics as the discretization becomes finer in both state and time. Finally, we illustrate our approach with a robotic motion planning example.


title: Iron spin crossover and its influence on post-perovskite transitions in MgSiO$_3$ and MgGeO$_3$

abstract: MgGeO$_3$-perovskite is known to be a low-pressure analog of MgSiO$_3$-perovskite in many respects, but especially in regard to the post-perovskite transition. As such, investigation of spin state changes in Fe-bearing MgGeO$_3$ might help to clarify some aspects of this type of state change in Fe-bearing MgSiO$_3$. Using DFT+U calculations, we have investigated pressure induced spin state changes in Fe$^{2+}$ and Fe$^{3+}$ in MgGeO$_3$ perovskite and post-perovskite. Owing to the relatively larger atomic size of germanium compared to silicon, germanate phases have larger unit cell volume and inter-atomic distances than equivalent silicate phases at same pressures. As a result, all pressure induced state changes in iron occur at higher pressures in germanate phases than in the silicate ones, be it a spin state change or position change of (ferrous) iron in the perovskite cage. We showed that iron state transitions occur at particular average Fe-O bond-length irrespective of mineral composition (silicate or germanate) or functionals (LDA+U$_{sc}$ or GGA+U$_{sc}$). Ferrous iron substitution decreases the perovskite to post-perovskite (PPv) transition pressure while coupled ferric iron substitution increases it noticeably.


title: Transport of Hubbard-Band Quasiparticles in Disordered Optical Lattices

abstract: Quantum degenerate gases trapped in optical lattices are ideal testbeds for fundamental physics because these systems are tunable, well characterized, and isolated from the environment. Controlled disorder can be introduced to explore suppression of quantum diffusion in the absence of conventional dephasing mechanisms such as phonons, which are unavoidable in experiments on electronic solids. Recent experiments use transport of degenerate Fermi gases in optical lattices (Kondov et al. Phys. Rev. Lett. 114, 083002 (2015)) to probe a particularly extreme regime of strong interaction in what can be modeled as an Anderson-Hubbard model. These experiments find evidence for an intriguing insulating phase where quantum diffusion is completely suppressed by strong disorder. Quantitative interpretation of these experiments remains an open problem that requires inclusion of non-zero entropy, strong interaction, and trapping. We argue that the suppression of transport can be thought of as localization of Hubbard-band quasiparticles. We construct a theory of transport of Hubbard-band quasiparticles tailored to trapped optical lattice experiments. We compare the theory directly with center-of-mass transport experiments of Kondov et al. with no fitting parameters. The close agreement between theory and experiments shows that the suppression of transport is only partly due to finite entropy effects. We argue that the complete suppression of transport is consistent with Anderson localization of Hubbard-band quasiparticles. The combination of our theoretical framework and optical lattice experiments offers an important platform for studying localization in isolated many-body quantum systems.


title: Large values of $L(1,\chi)$ for $k$-th order characters $\chi$ and applications to character sums

abstract: For any given integer $k\geq 2$ we prove the existence of infinitely many $q$ and characters $ \chi\pmod q$ of order $k$, such that $|L(1,\chi)|\geq (e^{\gamma}+o(1))\log\log q$. We believe this bound to be best possible. When the order $k$ is even, we obtain similar results for $L(1,\chi)$ and $L(1,\chi\xi)$ where $\chi$ is restricted to even (or odd) characters of order $k$, and $\xi$ is a fixed quadratic character. As an application of these results, we exhibit large even order character sums, which are likely to be optimal.


title: Itinerant ferromagnetism in the As 4$p$ conduction band of Ba$_{0.6}$K$_{0.4}$Mn$_{2}$As$_{2}$ identified by x-ray magnetic circular dichroism

abstract: X-ray magnetic circular dichroism (XMCD) measurements on single-crystal and powder samples of Ba$_{0.6}$K$_{0.4}$Mn$_{2}$As$_{2}$ show that the ferromagnetism below $T_{\textrm{C}}\approx$ 100 K arises in the As $4p$ conduction band. No XMCD signal is observed at the Mn x-ray absorption edges. Below $T_{\textrm{C}}$, however, a clear XMCD signal is found at the As $K$ edge which increases with decreasing temperature. The XMCD signal is absent in data taken with the beam directed parallel to the crystallographic $\textrm{c}$ axis indicating that the orbital magnetic moment lies in the basal plane of the tetragonal lattice. These results show that the previously reported itinerant ferromagnetism is associated with the As $4p$ conduction band and that distinct local-moment antiferromagnetism and itinerant ferromagnetism with perpendicular easy axes coexist in this compound at low temperature.


title: Falsifying leptogenesis for a TeV scale $W^{\pm}_{R}$ at the LHC

abstract: We point out that the discovery of a right-handed charged gauge boson $W_R^\pm$ with mass of around a few TeV, for example through a signal of two leptons and two jets that has been reported by CMS to have a 2.8$\sigma$ local excess or through a signal of a resonance decaying into a pair of standard model (SM) gauge bosons showing a local excess of 3.4$\sigma$ (2.5$\sigma$ global) reported by ATLAS search, will rule out all possibilities of leptogenesis in all classes of the left-right symmetric extensions of the Standard Model (LRSM) with both triplet and doublet Higgs scalars due to the unavoidable fast gauge mediated $B-L$ violating interactions $e_{R}^{\pm} W_{R}^{\mp} \rightarrow e_{R}^{\mp} W_{R}^{\pm}$. Our conclusions are very general in the sense that they do not necessarily demand for a lepton number violating detection signal of $W_R^\pm$.


title: Revisiting Interval Graphs for Network Science

abstract: The vertices of an interval graph represent intervals over a real line where overlapping intervals denote that their corresponding vertices are adjacent. This implies that the vertices are measurable by a metric and there exists a linear structure in the system. The generalization is an embedding of a graph onto a multi-dimensional Euclidean space and it was used by scientists to study the multi-relational complexity of ecology. However the research went out of fashion in the 1980s and was not revisited when Network Science recently expressed interests with multi-relational networks known as multiplexes. This paper studies interval graphs from the perspective of Network Science.


title: Kinetic models of opinion formation in the presence of personal conviction

abstract: We consider a nonlinear kinetic equation of Boltzmann type which takes into account the influence of conviction during the formation of opinion in a system of agents which interact through the binary exchanges introduced in [G. Toscani, Commun. Math. Sci. 4, 481 (2006)]. The original exchange mechanism, which is based on the human tendency to compromise and change of opinion through self-thinking, is here modified in the parameters of the compromise and diffusion terms, which now are assumed to depend on the personal degree of conviction. The numerical simulations show that the presence of conviction has the potential to break symmetry, and to produce clusters of opinions. The model is partially inspired by the recent work [L. Pareschi, G. Toscani, Phil. Trans. R. Soc. A 372, 20130396 (2014)], in which the role of knowledge in the formation of wealth distribution has been investigated.


title: Simultaneous source and attenuation reconstruction in SPECT using ballistic and single scattering data

abstract: In medical SPECT imaging, we seek to simultaneously obtain the internal radioactive sources and the attenuation map using not only ballistic measurements but also first order scattering measurements. The problem is modeled using the radiative transfer equation by means of an explicit nonlinear operator that gives the ballistic and scattering measurements as a function of the radioactive source and attenuation distributions. First, by differentiating this nonlinear operator we obtain a linearized inverse problem. Then, under regularity hypothesis for the source distribution and attenuation map and considering small attenuations, we rigorously prove that the linear operator is invertible and we compute its inverse explicitly. This allows to prove local uniqueness for the nonlinear inverse problem. Finally, using the previous inversion result for the linear operator, we propose a new type of iterative algorithm for simultaneous source and attenuation recovery for SPECT based on Neumann series and a Newton-Raphson algorithm.


title: The bounded approximation property of variable Lebesgue spaces and nuclearity

abstract: In this paper we prove the bounded approximation property for variable exponent Lebesgue spaces, study the concept of nuclearity on such spaces and apply it to trace formulae such as the Grothendieck-Lidskii formula. We apply the obtained results to derive criteria for nuclearity and trace formulae for periodic operators on $\mathbb R^n$ in terms of global symbols.


title: Peanuts, brezels and bananas: food for thought on the orbital structure of the Galactic bulge

abstract: Recent observations have discovered the presence of a Box/Peanut or X-shape structure in the Galactic bulge. Such Box/Peanut structures are common in external disc galaxies, and are well-known in N-body simulations where they form following the buckling instability of a bar. From studies of analytical potentials and N-body models it has been claimed in the past that Box/Peanut bulges are supported by "bananas", or x1v1 orbits. We present here a set of N-body models where instead the peanut bulge is mainly supported by brezel-like orbits, allowing strong peanuts to form with short extent relative to the bar length. This shows that stars in the X-shape do not necessarily stream along banana orbits which follow the arms of the X-shape. The brezel orbits are also found to be the main orbital component supporting the peanut shape in our recent Made-to-Measure dynamical models of the Galactic bulge. We also show that in these models the fraction of stellar orbits that contribute to the X-structure account for 40-45% of the stellar mass.


title: f(R) gravity on non-linear scales: The post-Friedmann expansion and the vector potential

abstract: Many modified gravity theories are under consideration in cosmology as the source of the accelerated expansion of the universe and linear perturbation theory, valid on the largest scales, has been examined in many of these models. However, smaller non-linear scales offer a richer phenomenology with which to constrain modified gravity theories. Here, we consider the Hu-Sawicki form of $f(R)$ gravity and apply the post-Friedmann approach to derive the leading order equations for non-linear scales, i.e. the equations valid in the Newtonian-like regime. We reproduce the standard equations for the scalar field, gravitational slip and the modified Poisson equation in a coherent framework. In addition, we derive the equation for the leading order correction to the Newtonian regime, the vector potential. We measure this vector potential from $f(R)$ N-body simulations at redshift zero and one, for two values of the $f_{R_0}$ parameter. We find that the vector potential at redshift zero in $f(R)$ gravity can be close to 50\% larger than in GR on small scales for $|f_{R_0}|=1.289\times10^{-5}$, although this is less for larger scales, earlier times and smaller values of the $f_{R_0}$ parameter. Similarly to in GR, the small amplitude of this vector potential suggests that the Newtonian approximation is highly accurate for $f(R)$ gravity, and also that the non-linear cosmological behaviour of $f(R)$ gravity can be completely described by just the scalar potentials and the $f(R)$ field.


title: The Observer Strikes Back

abstract: In the modern quantum mechanics of cosmology observers are physical systems within the universe. They have no preferred role in the formulation of the theory nor in its predictions of third person probabilities of what occurs. However, observers return to importance for the prediction of first person probabilities for what we observe of the universe: What is most probable to be observed is not necessarily what is most probable to occur. This essay reviews the basic framework for the computation of first person probabilities in quantum cosmology starting with an analysis of very simple models. It is shown that anthropic selection is automatic in this framework, because there is no probability for us to observe what is where we cannot exist. First person probabilities generally favor larger universes resulting from inflation where there are more places for us to be. In very large universes it is probable that our observational situation is duplicated elsewhere. The calculation of first person probabilities then requires a specification of whether our particular situation is assumed to be typical of all the others. It is the combination of the model of the observational situation, including this typicality assumption, and the third person theory which is tested by observation. We conclude with a discussion of the first person predictions of cosmological observables such as the cosmological constant and features of the primordial density fluctuations, in the no-boundary quantum state of the universe and a dynamical theory in which these are allowed to vary.


title: Geometry and Determinism of Optimal Stationary Control in Partially Observable Markov Decision Processes

abstract: It is well known that for any finite state Markov decision process (MDP) there is a memoryless deterministic policy that maximizes the expected reward. For partially observable Markov decision processes (POMDPs), optimal memoryless policies are generally stochastic. We study the expected reward optimization problem over the set of memoryless stochastic policies. We formulate this as a constrained linear optimization problem and develop a corresponding geometric framework. We show that any POMDP has an optimal memoryless policy of limited stochasticity, which allows us to reduce the dimensionality of the search space. Experiments demonstrate that this approach enables better and faster convergence of the policy gradient on the evaluated systems.


title: Synchronous correlation matrices and Connes' embedding conjecture

abstract: In a recent paper, the concept of synchronous quantum correlation matrices was introduced and these were shown to correspond to traces on certain C*-algebras. In particular, synchronous correlation matrices arose in their study of various versions of quantum chromatic numbers of graphs and other quantum versions of graph theoretic parameters. In this paper we develop these ideas further, focusing on the relations between synchronous correlation matrices and microstates. We prove that Connes' embedding conjecture is equivalent to the equality of two families of synchronous quantum correlation matrices. We prove that if Connes' embedding conjecture has a positive answer, then the tracial rank and projective rank are equal for every graph. We then apply these results to more general non-local games.


title: Topological color code and symmetry-protected topological phases

abstract: We study $(d-1)$-dimensional excitations in the $d$-dimensional color code that are created by transversal application of the $R_{d}$ phase operators on connected subregions of qubits. We find that such excitations are superpositions of electric charges and can be characterized by fixed-point wavefunctions of $(d-1)$-dimensional bosonic SPT phases with $(\mathbb{Z}_{2})^{\otimes d}$ symmetry. While these SPT excitations are localized on $(d-1)$-dimensional boundaries, their creation requires operations acting on all qubits inside the boundaries, reflecting the non-triviality of emerging SPT wavefunctions. Moreover, these SPT-excitations can be physically realized as transparent gapped domain walls which exchange excitations in the color code. Namely, in the three-dimensional color code, the domain wall, associated with the transversal $R_{3}$ operator, exchanges a magnetic flux and a composite of a magnetic flux and loop-like SPT excitation, revealing rich possibilities of boundaries in higher-dimensional TQFTs. We also find that magnetic fluxes and loop-like SPT excitations exhibit non-trivial three-loop braiding statistics in three dimensions as a result of the fact that the $R_{3}$ phase operator belongs to the third-level of the Clifford hierarchy. We believe that the connection between SPT excitations, fault-tolerant logical gates and gapped domain walls, established in this paper, can be generalized to a large class of topological quantum codes and TQFTs.


title: Radiative Return Capabilities of a High-Energy, High-Luminosity $e^+e^-$ Collider

abstract: An electron-positron collider operating at a center-of-mass energy $E_{CM}$ can collect events at all lower energies through initial-state radiation (ISR or radiative return). We explore the capabilities for radiative return studies by a proposed high-luminosity collider at $E_{CM}$ = 250 or 90 GeV, to fill in gaps left by lower-energy colliders such as PEP, PETRA, TRISTAN, and LEP. These capabilities are compared with those of the lower-energy $e^+e^-$ colliders as well as hadron colliders such as the Tevatron and the CERN Large Hadron Collider (LHC). Some examples of accessible questions in dark photon searches and heavy flavor spectroscopy are given.


title: Excitation Gap of Fractal Quantum Hall States in Graphene

abstract: In the presence of a magnetic field and an external periodic potential, the Landau level spectrum of a two-dimensional electron gas exhibits a fractal pattern in the energy spectrum which is described as the Hofstadter's butterfly. In this work, we develop a Hartree-Fock theory to deal with the electron-electron interaction in the Hofstadter's butterfly state in a finite-size graphene with periodic boundary conditions, in which we include both spin and valley degrees of freedom. We then treat the butterfly state as an electron crystal so that we could obtain the order parameters of the crystal in the momentum space and also in an infinite sample. The excitation gaps obtained in the infinite sample is comparable to those in the finite-size study, and agree with a recent experimental observation.


title: Universal Approximation of Markov Kernels by Shallow Stochastic Feedforward Networks

abstract: We establish upper bounds for the minimal number of hidden units for which a binary stochastic feedforward network with sigmoid activation probabilities and a single hidden layer is a universal approximator of Markov kernels. We show that each possible probabilistic assignment of the states of $n$ output units, given the states of $k\geq1$ input units, can be approximated arbitrarily well by a network with $2^{k-1}(2^{n-1}-1)$ hidden units.


title: Scintillation efficiency measurement of Na recoils in NaI(Tl) below the DAMA/LIBRA energy threshold

abstract: The dark matter interpretation of the DAMA modulation signal depends on the NaI(Tl) scintillation efficiency of nuclear recoils. Previous measurements for Na recoils have large discrepancies, especially in the DAMA/LIBRA modulation energy region. We report a quenching effect measurement of Na recoils in NaI(Tl) from 3keV$_{\text{nr}}$ to 52keV$_{\text{nr}}$, covering the whole DAMA/LIBRA energy region for light WIMP interpretations. By using a low-energy, pulsed neutron beam, a double time-of-flight technique, and pulse-shape discrimination methods, we obtained the most accurate measurement of this kind for NaI(Tl) to date. The results differ significantly from the DAMA reported values at low energies, but fall between the other previous measurements. We present the implications of the new quenching results for the dark matter interpretation of the DAMA modulation signal.


title: Quantum tight-binding chains with dissipative coupling

abstract: We present a one-dimensional tight-binding chain of two-level systems coupled only through common dissipative Markovian reservoirs. This quantum chain can demonstrate anomalous thermodynamic behavior contradicting Fourier law. Population dynamics of individual systems of the chain is polynomial with the order determined by the initial state of the chain. The chain can simulate classically hard problems, such as multi-dimensional random walks.


title: Quaternionic Kleinian modular groups and arithmetic hyperbolic orbifolds over the quaternions

abstract: Using the rings of Lipschitz and Hurwitz integers $\mathbb{H}(\mathbb{Z})$ and $\mathbb{H}ur(\mathbb{Z})$ in the quaternion division algebra $\mathbb{H}$, we define several Kleinian discrete subgroups of $PSL(2,\mathbb{H})$


title: MULTILAND: a neutral landscape generator designed for theoretical studies

abstract: The main goal of Multiland is to generate neutral landscapes made of several types of regions, with an exact control of the proportions occupied by each type of region. An important feature of the software is that it allows a control of the landscape fragmentation. It is intended to theoretical studies on the effect of landscape structure in applied sciences. It has been developed in the framework of the PEERLESS ANR project "Predictive Ecological Engineering for Landscape Ecosystem Services and Sustainability".


title: An Introduction to NRQED

abstract: We present a pedagogical introduction to NRQED (non-relativistic quantum electrodynamics). NRQED is an effective field theory that describes the interaction of non-relativistic, possibly composite, spin-half particle with the electromagnetic field. We explain in detail how the NRQED Lagrangian is constructed up to and including order $1/M^2$, where $M$ is the mass of the spin-half particle. As a sample application, we derive the Thomson scattering cross section for the low energy scattering of a photon and a possibly composite spin-half particle.


title: Automated Test Input Generation for Android: Are We There Yet?

abstract: Mobile applications, often simply called "apps", are increasingly widespread, and we use them daily to perform a number of activities. Like all software, apps must be adequately tested to gain confidence that they behave correctly. Therefore, in recent years, researchers and practitioners alike have begun to investigate ways to automate apps testing. In particular, because of Android's open source nature and its large share of the market, a great deal of research has been performed on input generation techniques for apps that run on the Android operating systems. At this point in time, there are in fact a number of such techniques in the literature, which differ in the way they generate inputs, the strategy they use to explore the behavior of the app under test, and the specific heuristics they use. To better understand the strengths and weaknesses of these existing approaches, and get general insight on ways they could be made more effective, in this paper we perform a thorough comparison of the main existing test input generation tools for Android. In our comparison, we evaluate the effectiveness of these tools, and their corresponding techniques, according to four metrics: code coverage, ability to detect faults, ability to work on multiple platforms, and ease of use. Our results provide a clear picture of the state of the art in input generation for Android apps and identify future research directions that, if suitably investigated, could lead to more effective and efficient testing tools for Android.


title: Measuring Complexity through Average Symmetry

abstract: This work introduces a complexity measure which addresses some conflicting issues between existing ones by using a new principle - measuring the average amount of symmetry broken by an object. It attributes low (although different) complexity to either deterministic or random homogeneous densities and higher complexity to the intermediate cases. This new measure is easily computable, breaks the coarse graining paradigm and can be straightforwardly generalised, including to continuous cases and general networks. By applying this measure to a series of objects, it is shown that it can be consistently used for both small scale structures with exact symmetry breaking and large scale patterns, for which, differently from similar measures, it consistently discriminates between repetitive patterns, random configurations and self-similar structures.

categories: cond-mat.stat-mech cond-mat.dis-nn cs.IT math.IT


title: Exceptional Algebra and Sporadic Groups at c=12

abstract: In earlier works, it was seen that a ${\mathbb Z}/2$ orbifold of the theory of 24 free two-dimensional chiral fermions admits various sporadic finite simple groups as global symmetry groups when viewed as an ${\cal N}=1$, ${\cal N}=2$, or ${\cal N}=4$ superconformal field theory. In this note, we show that viewing the same theory as an SCFT with extended ${\cal N}=1$ symmetry -- where the extension is the same one which arises in string compactification on manifolds of exceptional Spin$(7)$ holonomy -- yields theories which have global symmetry given by the sporadic groups $M_{24}, Co_2$ or $Co_3$. The partition functions twined by these symmetries, when decomposed into characters of the Spin(7) algebra, give rise to two-component vector-valued mock modular forms encoding an infinite-dimensional module for the corresponding sporadic groups.


title: Individual Planning in Agent Populations: Exploiting Anonymity and Frame-Action Hypergraphs

abstract: Interactive partially observable Markov decision processes (I-POMDP) provide a formal framework for planning for a self-interested agent in multiagent settings. An agent operating in a multiagent environment must deliberate about the actions that other agents may take and the effect these actions have on the environment and the rewards it receives. Traditional I-POMDPs model this dependence on the actions of other agents using joint action and model spaces. Therefore, the solution complexity grows exponentially with the number of agents thereby complicating scalability. In this paper, we model and extend anonymity and context-specific independence -- problem structures often present in agent populations -- for computational gain. We empirically demonstrate the efficiency from exploiting these problem structures by solving a new multiagent problem involving more than 1,000 agents.


title: Efficient Solution of Time-Domain Boundary Integral Equations Arising in Sound-Hard Scattering

abstract: We consider the efficient numerical solution of the three-dimensional wave equation with Neumann boundary conditions via time-domain boundary integral equations. A space-time Galerkin method with $C^\infty$-smooth, compactly supported basis functions in time and piecewise polynomial basis functions in space is employed. We discuss the structure of the system matrix and its efficient parallel assembly. Different preconditioning strategies for the solution of the arising systems with block Hessenberg matrices are proposed and investigated numerically. Furthermore, a C++ implementation parallelized by OpenMP and MPI in shared and distributed memory, respectively, is presented. The code is part of the boundary element library BEM4I. Results of numerical experiments including convergence and scalability tests up to a thousand cores on a cluster are provided. The presented implementation shows good parallel scalability of the system matrix assembly. Moreover, the proposed algebraic preconditioner in combination with the FGMRES solver leads to a significant reduction of the computational time.


title: Exponential Convergence Bounds using Integral Quadratic Constraints

abstract: The theory of integral quadratic constraints (IQCs) allows verification of stability and gain-bound properties of systems containing nonlinear or uncertain elements. Gain bounds often imply exponential stability, but it can be challenging to compute useful numerical bounds on the exponential decay rate. In this work, we present a modification of the classical IQC results of Megretski and Rantzer that leads to a tractable computational procedure for finding exponential rate certificates.


title: On the Seifert fibered space link group

abstract: We introduce generalized arrow diagrams and generalized Reidemeister moves for diagrams of links in Seifert fibered spaces. We give a presentation of the fundamental group of the link complement. As a corollary we are able to compute the first homology group of the complement and the twisted Alexander polynomials of the link.


title: Distribution System Topology Detection Using Consumer Load and Line Flow Measurements

abstract: This work presents a topology detection method combining home smart meter information and sparse line flow measurements. The problem is formulated as a spanning tree detection problem over a graph given partial nodal and edge flow information in a deterministic and stochastic setting. In the deterministic case of known nodal power consumption and edge flows we provide sensor placement criterion which guarantees correct identification of all spanning trees. We then present a detection method which is polynomial in complexity to the size of the graph. In the stochastic case where loads are given by forecasts derived from delayed smart meter data, we provide a combinatorial Maximum a Posteriori (MAP) detector and a polynomial complexity approximate MAP detector which is shown to work near optimum in low noise regime numerical cases and moderately well in higher noise regime.


title: Muon-induced neutrons do not explain the DAMA data

abstract: We present an accurate model of the muon-induced background in the DAMA/LIBRA experiment. Our work challenges proposed mechanisms which seek to explain the observed DAMA signal modulation with muon-induced backgrounds. Muon generation and transport are performed using the MUSIC/MUSUN code, and subsequent interactions in the vicinity of the DAMA detector cavern are simulated with Geant4. We estimate the total muon-induced neutron flux in the detector cavern to be $\Phi_n^\nu = 1.0\times10^{-9}$ cm$^{-2}$ s$^{-1}$. We predict $3.49\times10^{-5}$ counts/day/kg/keV, which accounts for less than $0.3\%$ of the DAMA signal modulation amplitude.


title: A note on algebraic Riccati equations associated with reducible singular M-matrices

abstract: We prove a conjecture about the minimal nonnegative solutions of algebraic Riccati equations associated with reducible singular M-matrices. The result enhances our understanding of the behaviour of doubling algorithms for finding the minimal nonnegative solutions.


title: A new study of an old sink of sulfur in hot molecular cores: the sulfur residue

abstract: Sulfur appears to be depleted by an order of magnitude or more from its elemental abundance in star-forming regions. In the last few years, numerous observations and experiments have been performed in order to to understand the reasons behind this depletion without providing a satisfactory explanation of the sulfur chemistry towards high-mass star-forming cores. Several sulfur-bearing molecules have been observed in these regions, and yet none are abundant enough to make up the gas-phase deficit. Where, then, does this hidden sulfur reside? This paper represents a step forward in our understanding of the interactions among the various S-bearing species. We have incorporated recent experimental and theoretical data into a chemical model of a hot molecular core in order to see whether they give any indication of the identity of the sulfur sink in these dense regions. Despite our model producing reasonable agreement with both solid-phase and gas-phase abundances of many sulfur-bearing species, we find that the sulfur residue detected in recent experiments takes up only ~6 per cent of the available sulfur in our simulations, rather than dominating the sulfur budget.


title: Universal lower bounds for potential energy of spherical codes

abstract: We derive and investigate lower bounds for the potential energy of finite spherical point sets (spherical codes). Our bounds are optimal in the following sense -- they cannot be improved by employing polynomials of the same or lower degrees in the Delsarte-Yudin method. However, improvements are sometimes possible and we provide a necessary and sufficient condition for the existence of such better bounds. All our bounds can be obtained in a unified manner that does not depend on the potential function, provided the potential is given by an absolutely monotone function of the inner product between pairs of points, and this is the reason for us to call them universal. We also establish a criterion for a given code of dimension $n$ and cardinality $N$ not to be LP-universally optimal, e.g. we show that two codes conjectured by Ballinger et al to be universally optimal are not LP-universally optimal.


title: Desingularization of branch points of minimal surfaces in $\mathbb{R}^4$ (II)

abstract: We desingularize a branch point $p$ of a minimal disk $F_0(\mathbb{D})$ in $\mathbb{R}^4$ through immersions $F_t$'s which have only transverse double points and are branched covers of the plane tangent to $F_0(\mathbb{D})$ at $p$. If $F_0$ is a topological embedding and thus defines a knot in a sphere/cylinder around the branch point, the data of the double points of the $F_t$'s give us a braid representation of this knot as a product of bands.


title: Bosonic and fermionic Weinberg-Joos (j,0)+ (0,j) states of arbitrary spins as Lorentz-tensors or tensor-spinors and second order theory

abstract: We propose a general method for the description of arbitrary single spin-j states transforming according to (j,0)+(0,j) carrier spaces of the Lorentz algebra in terms of Lorentz-tensors for bosons, and tensor-spinors for fermions, and by means of second order Lagrangians. The method allows to avoid the cumbersome matrix calculus and higher \partial^{2j} order wave equations inherent to the Weinberg-Joos approach. We start with reducible Lorentz-tensor (tensor-spinor) representation spaces hosting one sole (j,0)+(0,j) irreducible sector and design there a representation reduction algorithm based on one of the Casimir invariants of the Lorentz algebra. This algorithm allows us to separate neatly the pure spin-j sector of interest from the rest, while preserving the separate Lorentz- and Dirac indexes. However, the Lorentz invariants are momentum independent and do not provide wave equations. Genuine wave equations are obtained by conditioning the Lorentz-tensors under consideration to satisfy the Klein-Gordon equation. In so doing, one always ends up with wave equations and associated Lagrangians that are second order in the momenta. Specifically, a spin-3/2 particle transforming as (3/2,0)+ (0,3/2) is comfortably described by a second order Lagrangian in the basis of the totally antisymmetric Lorentz tensor-spinor of second rank, \Psi_[ \mu\nu]. Moreover, the particle is shown to propagate causally within an electromagnetic background. In our study of (3/2,0)+(0,3/2) as part of \Psi_[\mu\nu] we reproduce the electromagnetic multipole moments known from the Weinberg-Joos theory. We also find a Compton differential cross section that satisfies unitarity in forward direction. The suggested tensor calculus presents itself very computer friendly with respect to the symbolic software FeynCalc.


title: The effects of convection criteria on the evolution of population III stars and the detectability of their supernovae

abstract: The first stars continue to elude modern telescopes, but much has been accomplished in observing the glow of the first galaxies. As detection capabilities improve we will eventually resolve these galaxies, but hopes of observing an individual star remains dim for the foreseeable future. However, our first view of an individual first star may be possible due to its explosion. In this work, we present evolution calculations for Population III (Pop III) stars and their subsequent supernovae explosions. Our evolution models include a mass range of 15 - 100 M$_\odot$, each with initial heavy element abundance Z = 10-14. Our models are evolved from pre-main sequence through formation of an iron core, and thus near to core collapse. We find that modelling the evolution of these stars is very sensitive to the choice of convection criterion; here we provide evolution results using both the Schwarzschild and Ledoux criteria. We also use the final structure from our models for numerical simulation of their supernovae light curves using a radiation hydrodynamics code. In doing so, we estimate a lower bound of initial model mass that may be possible to observe in the near future. We also find that our 40 M$_\odot$ Schwarzschild evolution model produces the brightest supernova peak and statistically should be the most frequently observed. At our highest redshift z= 15, only the 60 M$_\odot$ Schwarzschild model at peak magnitude starts to rival the 40 M$_\odot$ model in brightness.


title: A note on optimal experiment design for nonlinear systems using dynamic programming

abstract: We present a method of solving the T-optimal design problem for nonlinear dynamical systems using dynamic programming. In contrast with previous dynamic programming formulations, we avoid adding an equation for the dispersion to the system state, allowing for more efficient solutions.


title: Growth of calcium-aluminum-rich inclusions by coagulation and fragmentation in a turbulent protoplanetary disk: observations and modelisation

abstract: Whereas it is generally accepted that calcium-aluminum-rich inclusions (CAIs) from chondritic meteorites formed in a hot environment in the solar protoplanetary disk, the conditions of their formation remain debated. Recent laboratory studies of CAIs have provided new kind of data: their size distributions. We show that size distributions of CAIs measured in laboratory from sections of carbonaceous chondrites have a power law size distribution with cumulative size exponent between -1.7 and -1.9, which translates into cumulative size exponent between -2.5 and -2.8 after correction for sectioning. To explain these observations, numerical simulations were run to explore the growth of CAIs from micrometer to centimeter sizes, in a hot and turbulent protoplanetary disk through the competition of coagulation and fragmentation. We show that the size distributions obtained in growth simulations are in agreement with CAIs size distributions in meteorites. We explain the CAI sharp cut-off of their size distribution at centimeter sizes as the direct result from the famous fragmentation barrier, provided that CAI fragment for impact velocities larger than 10 m/s. The growth/destruction timescales of millimeter- and centimeter-sized CAIs is inversely proportional to the local dust/gas ratio and is about 10 years at 1300 K and up to 104 years at 1670K. This implies that the most refractory CAIs are expected to be smaller in size owing to their long growth timescale compared to less refractory CAIs. Conversely, the least refractory CAIs could have been recycled many times during the CAI production era which may have profound consequences for their radiometric age.


title: Localized surface plasmon resonance in silver nanoparticles: Atomistic first-principles time-dependent density-functional theory calculations

abstract: We observe using ab initio methods that localized surface plasmon resonances in icosahedral silver nanoparticles enter the asymptotic region already between diameters of 1 and 2 nm, converging close to the classical quasistatic limit around 3.4 eV. We base the observation on time-dependent density-functional theory simulations of the icosahedral silver clusters Ag$_{55}$ (1.06 nm), Ag$_{147}$ (1.60 nm), Ag$_{309}$ (2.14 nm), and Ag$_{561}$ (2.68 nm). The simulation method combines the adiabatic GLLB-SC exchange-correlation functional with real time propagation in an atomic orbital basis set using the projector-augmented wave method. The method has been implemented for the electron structure code GPAW within the scope of this work. We obtain good agreement with experimental data and modeled results, including photoemission and plasmon resonance. Moreover, we can extrapolate the ab initio results to the classical quasistatically modeled icosahedral clusters.


title: A Formal Study on Backward Compatible Dynamic Software Updates

abstract: We study the dynamic software update problem for programs interacting with an environment that is not necessarily updated. We argue that such updates should be backward compatible. We propose a general definition of backward compatibility and cases of backward compatible program update. Based on our detailed study of real world program evolution, we propose classes of backward compatible update for interactive programs, which are included at an average of 32% of all studied program changes. The definitions of update classes are parameterized by our novel framework of program equivalence, which generalizes existing results on program equivalence to non-terminating executions. Our study of backward compatible updates is based on a typed extension of W language.


title: Isotropically Random Orthogonal Matrices: Performance of LASSO and Minimum Conic Singular Values

abstract: Recently, the precise performance of the Generalized LASSO algorithm for recovering structured signals from compressed noisy measurements, obtained via i.i.d. Gaussian matrices, has been characterized. The analysis is based on a framework introduced by Stojnic and heavily relies on the use of Gordon's Gaussian min-max theorem (GMT), a comparison principle on Gaussian processes. As a result, corresponding characterizations for other ensembles of measurement matrices have not been developed. In this work, we analyze the corresponding performance of the ensemble of isotropically random orthogonal (i.r.o.) measurements. We consider the constrained version of the Generalized LASSO and derive a sharp characterization of its normalized squared error in the large-system limit. When compared to its Gaussian counterpart, our result analytically confirms the superiority in performance of the i.r.o. ensemble. Our second result, derives an asymptotic lower bound on the minimum conic singular values of i.r.o. matrices. This bound is larger than the corresponding bound on Gaussian matrices. To prove our results we express i.r.o. matrices in terms of Gaussians and show that, with some modifications, the GMT framework is still applicable.


title: The $B \to D \ell \nu$ form factors at nonzero recoil and $|V_{cb}|$ from $2+1$-flavor lattice QCD

abstract: We present the first unquenched lattice-QCD calculation of the hadronic form factors for the exclusive decay $\overline{B} \rightarrow D \ell \overline{\nu}$ at nonzero recoil. We carry out numerical simulations on fourteen ensembles of gauge-field configurations generated with 2+1 flavors of asqtad-improved staggered sea quarks. The ensembles encompass a wide range of lattice spacings (approximately 0.045 to 0.12 fm) and ratios of light (up and down) to strange sea-quark masses ranging from 0.05 to 0.4. For the $b$ and $c$ valence quarks we use improved Wilson fermions with the Fermilab interpretation, while for the light valence quarks we use asqtad-improved staggered fermions. We extrapolate our results to the physical point using rooted staggered heavy-light meson chiral perturbation theory. We then parameterize the form factors and extend them to the full kinematic range using model-independent functions based on analyticity and unitarity. We present our final results for $f_+(q^2)$ and $f_0(q^2)$, including statistical and systematic errors, as coefficients of a series in the variable $z$ and the covariance matrix between these coefficients. We then fit the lattice form-factor data jointly with the experimentally measured differential decay rate from BaBar to determine the CKM matrix element, $|V_{cb}|=(39.6 \pm 1.7_{\rm QCD+exp} \pm 0.2_{\rm QED})\times 10^{-3}$. As a byproduct of the joint fit we obtain the form factors with improved precision at large recoil. Finally, we use them to update our calculation of the ratio $R(D)$ in the Standard Model, which yields $R(D) = 0.299(11)$.


title: Localized $L^p$-estimates of eigenfunctions: A note on an article of Hezari and Rivi\`ere

abstract: We use a straightforward variation on a recent argument of Hezari and Rivi\`ere~\cite{HR} to obtain localized $L^p$-estimates for all exponents larger than or equal to the critical exponent $p_c=\tfrac{2(n+1)}{n-1}$. We are able to this directly by just using the $L^{p}$-bounds for spectral projection operators from our much earlier work \cite{Seig}. The localized bounds we obtain here imply, for instance, that, for a density one sequence of eigenvalues on a manifold whose geodesic flow is ergodic, all of the $L^p$, $2<p\le \infty$, bounds of the corresponding eigenfunctions are relatively small compared to the general ones in \cite{Seig}, which are saturated on round spheres. The connection with quantum ergodicity was established for exponents $2<p<p_c$ in the recent results of the author \cite{SK} and Blair and the author \cite{BS2}; however, the article of Hezari and Rivi\`ere~\cite{HR} was the first one to make this connection (in the case of negatively curved manifolds) for the critical exponent, $p_c$. As is well known, and we indicate here, bounds for the critical exponent, $p_c$, imply ones for all of the other exponents $2<p\le \infty$. The localized estimates involve $L^2$-norms over small geodesic balls $B_r$ of radius $r$, and we shall go over what happens for these in certain model cases on the sphere and on manifolds of nonpositive curvature. We shall also state a problem as to when one can improve on the trivial $O(r^{\frac12})$ estimates for these $L^2(B_r)$ bounds. If $r=\lambda^{-1}$, one can improve on the trivial estimates if one has improved $L^{p_c}(M)$ bounds just by using H\"older's inequality; however, obtaining improved bounds for $r\gg \lambda^{-1}$ seems to be subtle.


title: Anisotropy of Thermal Conductivity of Free-Standing Reduced Graphene Oxide Films Annealed at High Temperature

abstract: We investigated thermal conductivity of free-standing reduced graphene oxide films subjected to a high-temperature treatment of up to 1000 C. It was found that the high-temperature annealing dramatically increased the in-plane thermal conductivity, K, of the films from 3 W/mK to 61 W/mK at room temperature. The cross-plane thermal conductivity, Kc, revealed an interesting opposite trend of decreasing to a very small value of 0.09 W/mK in the reduced graphene oxide films annealed at 1000 C. The obtained films demonstrated an exceptionally strong anisotropy of the thermal conductivity, K/Kc ~ 675, which is substantially larger even than in the high-quality graphite. The electrical resistivity of the annealed films reduced to 1 - 19 Ohms/sq. The observed modifications of the in-plane and cross-plane thermal conductivity components resulting in an unusual K/Kc anisotropy were explained theoretically. The theoretical analysis suggests that K can reach as high as ~500 W/mK with the increase in the sp2 domain size and further reduction of the oxygen content. The strongly anisotropic heat conduction properties of these films can be useful for applications in thermal management.


title: Regularized Minimax Conditional Entropy for Crowdsourcing

abstract: There is a rapidly increasing interest in crowdsourcing for data labeling. By crowdsourcing, a large number of labels can be often quickly gathered at low cost. However, the labels provided by the crowdsourcing workers are usually not of high quality. In this paper, we propose a minimax conditional entropy principle to infer ground truth from noisy crowdsourced labels. Under this principle, we derive a unique probabilistic labeling model jointly parameterized by worker ability and item difficulty. We also propose an objective measurement principle, and show that our method is the only method which satisfies this objective measurement principle. We validate our method through a variety of real crowdsourcing datasets with binary, multiclass or ordinal labels.


title: GraphMat: High performance graph analytics made productive

abstract: Given the growing importance of large-scale graph analytics, there is a need to improve the performance of graph analysis frameworks without compromising on productivity. GraphMat is our solution to bridge this gap between a user-friendly graph analytics framework and native, hand-optimized code. GraphMat functions by taking vertex programs and mapping them to high performance sparse matrix operations in the backend. We get the productivity benefits of a vertex programming framework without sacrificing performance. GraphMat is in C++, and we have been able to write a diverse set of graph algorithms in this framework with the same effort compared to other vertex programming frameworks. GraphMat performs 1.2-7X faster than high performance frameworks such as GraphLab, CombBLAS and Galois. It achieves better multicore scalability (13-15X on 24 cores) than other frameworks and is 1.2X off native, hand-optimized code on a variety of different graph algorithms. Since GraphMat performance depends mainly on a few scalable and well-understood sparse matrix operations, GraphMatcan naturally benefit from the trend of increasing parallelism on future hardware.


title: Stretched Exponential Relaxation of Glasses at Low Temperature

abstract: The question of whether glass continues to relax at low temperature is of fundamental and practical interest. Here, we report a novel atomistic simulation method allowing us to directly access the long-term dynamics of glass relaxation at room temperature. We find that the potential energy relaxation follows a stretched exponential decay, with a stretching exponent $\beta = 3/5$, as predicted by Phillips' diffusion-trap model. Interestingly, volume relaxation is also found. However, it is not correlated to the energy relaxation, but is rather a manifestation of the mixed alkali effect.


title: Equivariant special L-values of abelian t-modules

abstract: We prove a formula of the equivariant infinity-adic special L-values of abelian t-modules. This gives function field analogues of the equivariant class number formula. As an application, we calculate the special values of Artin L-functions for Galois representations.


title: On the Merging Cluster Abell 578 and Its Central Radio Galaxy 4C +67.13

abstract: Here we analyze radio, optical, and X-ray data for a peculiar cluster Abell 578. This cluster is not fully relaxed and consists of two merging sub-systems. The brightest cluster galaxy, CGPG 0719.8+6704, is a pair of interacting ellipticals with projected separation $\sim$10 kpc, the brighter of which hosts the radio source 4C +67.13. The Fanaroff-Riley type-II radio morphology of 4C +67.13 is unusual for central radio galaxies in local Abell clusters. Our new optical spectroscopy revealed that both nuclei of the CGPG 0719.8+6704 pair are active, albeit at low accretion rates corresponding to the Eddington ratio $\sim10^{-4}$ (for the estimated black hole masses of $\sim 3 \times 10^8\,M_\odot$ and $\sim 10^9 \, M_\odot$). The gathered X-ray ({\it Chandra}) data allowed us to confirm and to quantify robustly the previously noted elongation of the gaseous atmosphere in the dominant sub-cluster, as well as a large spatial offset ($\sim 60$\,kpc projected) between the position of the brightest cluster galaxy and the cluster center inferred from the modeling of the X-ray surface brightness distribution. Detailed analysis of the brightness profiles and temperature revealed also that the cluster gas in the vicinity of 4C\,+67.13 is compressed (by a factor of about $\sim 1.4$) and heated (from $\simeq 2.0$\,keV up to 2.7\,keV), consistent with the presence of a weak shock (Mach number $\sim 1.3$) driven by the expanding jet cocoon. This would then require the jet kinetic power of the order of $\sim 10^{45}$\,erg\,s$^{-1}$, implying either a very high efficiency of the jet production for the current accretion rate, or a highly modulated jet/accretion activity in the system.


title: Anomalous nodal count and singularities in the dispersion relation of honeycomb graphs

abstract: We study the nodal count of the so-called bi-dendral graphs and show that it exhibits an anomaly: the nodal surplus is never equal to 0 or $\beta$, the first Betti number of the graph. According to the nodal-magnetic theorem, this means that bands of the magnetic spectrum (dispersion relation) of such graphs do not have maxima or minima at the "usual" symmetry points of the fundamental domain of the reciprocal space of magnetic parameters. In search of the missing extrema we prove a necessary condition for a smooth critical point to happen inside the reciprocal fundamental domain. Using this condition, we identify the extrema as the singularities in the dispersion relation of the maximal abelian cover of the graph (the honeycomb graph being an important example). In particular, our results show that the anomalous nodal count is an indication of the presence of the conical points in the dispersion relation of the maximal universal cover. Also, we discover that the conical points are present in the dispersion relation of graphs with much less symmetry than was required in previous investigations.


title: Energy Pooling Upconversion in Organic Molecular Systems

abstract: A combination of molecular quantum electrodynamics, perturbation theory, and ab initio calculations was used to create a computational methodology capable of estimating the rate of 3-body singlet upconversion in organic molecular assemblies. The approach was applied to quantify the conditions under which such relaxation rates, known as energy pooling, become meaningful for two test systems: stilbene-fluorescein and hexabenzocoronene-oligothiophene. Both exhibit low intra-molecular conversion but inter-molecular configurations exist in which pooling efficiency is at least 90\% when placed in competition with more conventional relaxation pathways. For stilbene-fluorescein, the results are consistent with data generated in an earlier experimental investigation. Exercising these model systems facilitated the development of a set of design rules for the optimization of energy pooling.


title: Differentially-Enhanced Sideband Imaging via Radio-frequency Encoding

abstract: We present a microscope paradigm that performs differential interference imaging with high sensitivity via optical amplification and radio-frequency (RF) heterodyne detection. This method, termed differentially-enhanced sideband imaging via radio-frequency encoding (DESIRE), uniquely exploits frequency-to-space mapping technique to encode the image of an object onto the RF sidebands of an illumination beam. As a proof-of-concept, we show validation experiment by implementing radio frequency (f = 15 GHz) phase modulation in conjunction with spectrally-encoded laser scanning technique to acquire one-dimensional image of a barcode-like object using a commercial RF spectrum analyzer.


title: Colored noise and memory effects on formal spiking neuron models

abstract: Simplified neuronal models capture the essence of the electrical activity of a generic neuron, besides being more interesting from the computational point of view when compared to higher dimensional models such as the Hodgkin-Huxley one. In this work, we propose a generalized resonate-and-fire model described by a generalized Langevin equation that takes into account memory effects and colored noise. We perform a comprehensive numerical analysis to study the dynamics and the point process statistics of the proposed model, highlighting interesting new features like: i) non-monotonic behavior (emergence of peak structures, enhanced by the choice of colored noise characteristic time-scale) of the coefficient of variation (CV) as a function of memory characteristic time-scale, ii) colored noise-induced shift in the CV, and iii) emergence and suppression of multimodality in the interspike interval (ISI) distribution due to memory-induced subthreshold oscillations. Moreover, in the noise-induced spike regime, we study how memory and colored noise affects the coherence resonance (CR) phenomenon. We found that for sufficiently long memory, CR is not only suppressed, but also the minimum of the CV $\times$ noise intensity curve that characterizes the presence of CR may be replaced by a maximum. The aforementioned features allow to interpret the interplay between memory and colored noise as an effective control mechanism to neuronal variability. Since both variability and non-trivial temporal patterns in the ISI distribution are ubiquitous in biological cells, we hope the present model can be useful in modeling real aspects of neurons.


title: An effective estimate for the Lebesgue measure of preimages of iterates of the Farey map

abstract: Using techniques from infinite ergodic theory, Kessebohmer and Stratmann determined the asymptotic behavior of the Lebesgue measure of sets of the form $F^{-n}[\alpha,\beta]$, where $[\alpha,\beta]\subseteq(0,1]$ and $F$ is the Farey map. In this paper, we provide an effective version of this result, employing mostly basic properties of the transfer operator of the Farey map and an application of Freud's effective version of Karamata's Tauberian theorem.


title: Spin Hall torque driven chiral domain walls in magnetic heterostructures

abstract: The motion of magnetic domain walls in ultrathin magnetic heterostructures driven by current via the spin Hall torque is described. We show results from perpendicularly magnetized CoFeB|MgO heterostructures with various heavy metal underlayers. The domain wall moves along or against the current flow depending on the underlayer material. The direction to which the domain wall moves is associated with the chirality of the domain wall spiral formed in these heterostructures. The one-dimensional model is used to describe the experimental results and extract parameters such as the Dzyaloshinskii-Moriya exchange constant which is responsible for the formation of the domain wall spiral. Fascinating effects arising from the control of interfaces in magnetic heterostructures are described.


title: Twisted Reidemeister torsion and the Thurston norm: graph manifolds and finite representations

abstract: We show that the Thurston norm of any irreducible 3-manifold can be detected using twisted Reidemeister torsions corresponding to integral representations and also corresponding to representations over finite fields. In particular our result holds for all graph manifolds, these are not covered by the earlier work of the first author and Vidussi.


title: The Milky Way Bulge: Observed properties and a comparison to external galaxies

abstract: The Milky Way bulge offers a unique opportunity to investigate in detail the role that different processes such as dynamical instabilities, hierarchical merging, and dissipational collapse may have played in the history of the Galaxy formation and evolution based on its resolved stellar population properties. Large observation programmes and surveys of the bulge are providing for the first time a look into the global view of the Milky Way bulge that can be compared with the bulges of other galaxies, and be used as a template for detailed comparison with models. The Milky Way has been shown to have a box/peanut (B/P) bulge and recent evidence seems to suggest the presence of an additional spheroidal component. In this review we summarise the global chemical abundances, kinematics and structural properties that allow us to disentangle these multiple components and provide constraints to understand their origin. The investigation of both detailed and global properties of the bulge now provide us with the opportunity to characterise the bulge as observed in models, and to place the mixed component bulge scenario in the general context of external galaxies. When writing this review, we considered the perspectives of researchers working with the Milky Way and researchers working with external galaxies. It is an attempt to approach both communities for a fruitful exchange of ideas.


title: Safe Platooning of Unmanned Aerial Vehicles via Reachability

abstract: Recently, there has been immense interest in using unmanned aerial vehicles (UAVs) for civilian operations such as package delivery, firefighting, and fast disaster response. As a result, UAV traffic management systems are needed to support potentially thousands of UAVs flying simultaneously in the airspace, in order to ensure their liveness and safety requirements are met. Hamilton-Jacobi (HJ) reachability is a powerful framework for providing conditions under which these requirements can be met, and for synthesizing the optimal controller for meeting them. However, due to the curse of dimensionality, HJ reachability is only tractable for a small number of vehicles if their set of maneuvers is unrestricted. In this paper, we define a platoon to be a group of UAVs in a single-file formation. We model each vehicle as a hybrid system with modes corresponding to its role in the platoon, and specify the set of allowed maneuvers in each mode to make the analysis tractable. We propose several liveness controllers based on HJ reachability, and wrap a safety controller, also based on HJ reachability, around the liveness controllers. For a single altitude range, our approach guarantees safety for one safety breach; in the unlikely event of multiple safety breaches, safety can be guaranteed over multiple altitude ranges. We demonstrate the satisfaction of liveness and safety requirements through simulations of three common scenarios.


title: Optimal network design for synchronization of coupled oscillators

abstract: This paper studies the problem of designing networks of nonidentical coupled oscillators in order to achieve a desired level of phase cohesiveness, defined as the maximum asymptotic phase difference across the edges of the network. In particular, we consider the following two design problems: (i) the nodal-frequency design problem, in which we tune the natural frequencies of the oscillators given the topology of the network, and (ii) the (robust) edge-weight design problem, in which we design the edge weights assuming that the natural frequencies are given (or belong to a given convex uncertainty set). For both problems, we optimize an objective function of the design variables while considering a desired level of phase cohesiveness as our design constraint. This constraint defines a convex set in the nodal-frequency design problem. In contrast, in the edge-weight design problem, the phase cohesiveness constraint yields a non-convex set, unless the underlying network is either a tree or an arbitrary graph with identical edge weights. We then propose a convex semidefinite relaxation to approximately solve the (non-convex) edge-weight design problem for general (possibly cyclic) networks with nonidentical edge weights. We illustrate the applicability of our results by analyzing several network design problems of practical interest, such as power re-dispatch in power grids, sparse network design, (robust) network design for distributed wireless analog clocks, and the detection of edges leading to the Braess' paradox in power grids.


title: Films of bacteria at interfaces: three stages of behaviour

abstract: Bacterial attachment to a fluid interface can lead to the formation of a film with physicochemical properties that evolve with time. We study the time evolution of interface (micro)mechanics for interfaces between oil and bacterial suspensions by following the motion of colloidal probes trapped by capillarity to determine the interface microrheology. Initially, active bacteria at and near the interface drive superdiffusive motion of the colloidal probes. Over timescales of minutes, the bacteria form a viscoelastic film which we discuss as a quasi-two-dimensional, active, glassy system. To study late stage mechanics of the film, we use pendant drop elastometry. The films, grown over tens of hours on oil drops, are expanded and compressed by changing the drop volume. For small strains, by modeling the films as 2D Hookean solids, we estimate the film elastic moduli, finding values similar to those reported in the literature for the bacteria themselves. For large strains, the films are highly hysteretic. Finally, from wrinkles formed on highly compressed drops, we estimate film bending energies. The dramatic restructuring of the interface by such robust films has broad implications, e.g. in the study of active colloids, in understanding the community dynamics of bacteria, and in applied settings including bioremediation.


title: Influences of pump transitions on thermal effects of multi-kilowatt thulium-doped fiber lasers

abstract: Thermal effects are critical constrains for developing high-power thulium-doped fiber lasers (TDFLs). In this paper, we numerically investigate the lasing and thermal characteristics of the TDFLs under different pump transitions. Our results show, the widely-used pump transition $^3H_6\rightarrow^3H_4$, taking advantages of high-power high-efficiency laser diodes at $\sim$0.8 $\mu$m, may not be a superior choice for directly outputting multi-kilowatt at 2 $\mu$m because of severe thermal problems. Meanwhile, using other pump transitions resulting 2-$\mu$m emissions, especially the in-band pump transition $^3H_6\rightarrow^3F_4$, will decrease the generated heat to a large extent. By optimizing the power filling factor of the gain fiber, we find a 2-$\mu$m TDFL cladding-pumped at 1.9 $\mu$m will lead to the laser slope efficiency close to its quantum efficiency (95\%). The induced ultra-low quantum defect would be of great importance for power scaling. We thus propose tandem-pumped TDFLs for reducing the heat at high powers and discuss the related issues of design. Besides, we also explore the differences of the thermal characteristics between laser and superfluorescent operations, which will contribute to deepening the understanding of the thermal effects in high-power thulium-doped fiber amplifiers.


title: Singularity in the discrete-time model of impacting mechanical systems

abstract: It is known that many peculiar nonlinear vibration problems in impacting systems are caused by grazing incidences. Such bifurcation phenomena are normally investigated through the Poincare map. The discrete-time map of a simple impact oscillator was derived by Nordmark, which showed that there should be a square-root singularity in the Jacobian matrix close to the grazing condition. In this paper we show that the square root singularity will be expressed only in the trace of the Jacobian matrix, while the determinant remains invariant across the grazing condition.


title: Adaptive Differential Thrust Methodology for Lateral/Directional Stability of an Aircraft with a Completely Damaged Vertical Stabilizer

abstract: This paper investigates the utilization of differential thrust to help a commercial aircraft with a damaged vertical stabilizer regain its lateral/directional stability. In the event of an aircraft losing its vertical stabilizer, the consequential loss of the lateral/directional stability and control is likely to cause a fatal crash. In this paper, an aircraft with a completely damaged vertical stabilizer is investigated, and a unique differential thrust based adaptive control approach is proposed to achieve a stable flight envelope. The propulsion dynamics of the aircraft is modeled as a system of differential equations with engine time constant and time delay terms to study the engine response time with respect to a differential thrust input. The proposed differential thrust control module is then presented to map the rudder input to differential thrust input. Model reference adaptive control based on the Lyapunov stability approach is implemented to test the ability of the damaged aircraft to track the model aircraft's (reference) response in an extreme scenario. Investigation results demonstrate successful application of such differential thrust approach to regain lateral/directional stability of a damaged aircraft with no vertical stabilizer. Finally, the conducted robustness and uncertainty analysis results conclude that the stability and performance of the damaged aircraft remain within desirable limits, and demonstrate a safe flight mission through the proposed adaptive control methodology.


title: Multilevel Sequential Monte Carlo Samplers

abstract: In this article we consider the approximation of expectations w.r.t. probability distributions associated to the solution of partial differential equations (PDEs); this scenario appears routinely in Bayesian inverse problems. In practice, one often has to solve the associated PDE numerically, using, for instance finite element methods and leading to a discretisation bias, with the step-size level $h_L$. In addition, the expectation cannot be computed analytically and one often resorts to Monte Carlo methods. In the context of this problem, it is known that the introduction of the multilevel Monte Carlo (MLMC) method can reduce the amount of computational effort to estimate expectations, for a given level of error. This is achieved via a telescoping identity associated to a Monte Carlo approximation of a sequence of probability distributions with discretisation levels $\infty>h_0>h_1\cdots>h_L$. In many practical problems of interest, one cannot achieve an i.i.d. sampling of the associated sequence of probability distributions. A sequential Monte Carlo (SMC) version of the MLMC method is introduced to deal with this problem. It is shown that under appropriate assumptions, the attractive property of a reduction of the amount of computational effort to estimate expectations, for a given level of error, can be maintained within the SMC context.


title: Gluon Transport Equation with Effective Mass and Dynamical Onset of Bose-Einstein Condensation

abstract: We study the transport equation describing a dense system of gluons, in the small scattering angle approximation, taking into account medium-generated effective masses of the gluons. We focus on the case of overpopulated systems that are driven to Bose-Einstein condensation on their way to thermalization. The presence of a mass modifies the dispersion relation of the gluon, as compared to the massless case, but it is shown that this does not change qualitatively the scaling behavior in the vicinity of the onset.

categories: hep-ph cond-mat.quant-gas hep-th nucl-th


title: Dual Polynomials for Collision and Element Distinctness

abstract: The approximate degree of a Boolean function $f: \{-1, 1\}^n \to \{-1, 1\}$ is the minimum degree of a real polynomial that approximates $f$ to within error $1/3$ in the $\ell_\infty$ norm. In an influential result, Aaronson and Shi (J. ACM 2004) proved tight $\tilde{\Omega}(n^{1/3})$ and $\tilde{\Omega}(n^{2/3})$ lower bounds on the approximate degree of the Collision and Element Distinctness functions, respectively. Their proof was non-constructive, using a sophisticated symmetrization argument and tools from approximation theory. More recently, several open problems in the study of approximate degree have been resolved via the construction of dual polynomials. These are explicit dual solutions to an appropriate linear program that captures the approximate degree of any function. We reprove Aaronson and Shi's results by constructing explicit dual polynomials for the Collision and Element Distinctness functions.


title: Convergence rates for subcritical threshold-one contact processes on lattices

abstract: In this paper we are concerned with threshold-one contact processes on lattices. We show that the probability that the origin is infected converges to 0 at an exponential rate I in the subcritical case. Furthermore, we give a limit theorem for I as the degree of the lattice grows to infinity. Our results also hold for classic contact processes on lattices.


title: Gluon Transport Equations with Condensate in the Small Angle Approximation

abstract: We derive the set of kinetic equations that control the evolution of gluons in the presence of a condensate. We show that the dominant singularities remain logarithmic when the scattering involves particles in the condensate. This allows us to define a consistent small angle approximation.


title: Effect of broken symmetry on resonant inelastic x-ray scattering from undoped cuprates

abstract: We study the magnetic excitation spectra of resonant inelastic x-ray scattering (RIXS) at the $L$-edge from undoped cuprates beyond the fast collision approximation. We analyse the effect of the symmetry breaking ground state on the RIXS process of the Heisenberg model by using a projection procedure. We derive the expressions of the scattering amplitude in both one-magnon and two-magnon excitation channels. Each of them consists of the isotropic and anisotropic contributions. The latter is a new finding and attributed to the long range order of the ground state. The presence of anisotropic terms is supported by numerical calculations on a two-dimensional spin cluster. We express the RIXS spectra in the form of spin-correlation functions with the coefficients evaluated on the cluster, and calculate the function in a two dimensional system within the $1/S$ expansion. Due to the anisotropic terms, the spectral intensities are considerably enhanced around momentum transfer $\textbf{q}=0$ in both one-magnon and two-magnon excitation channels. This finding may be experimentally confirmed by examining carefully the $\textbf{q}$-dependence of the spectra.


title: Cold Brownian motion in aqueous media via anti-Stokes photoluminescence

abstract: Advances in cryogenic sciences have enabled several observations of new low-temperature physical phenomena including superconductivity, superfluidity, and Bose-Einstein condensates. Heat transfer is also critical in numerous applications including thermal management within integrated microelectronics and the regulation of plant-growth and development. Here we demonstrate that single-beam laser-trapping can be used to induce and quantify the local refrigeration of aqueous media through analysis of the cold Brownian dynamics of individual Yb3+-doped yttrium lithium fluoride (YLF) crystals in an inhomogeneous temperature field via forward light scattering and back-focal-plane interferometry. A tunable, NIR continuous-wave laser is used to optically trap individual YLF crystals with an irradiance on the order of 1 MW/cm2. Heat is transported out of the crystal lattice (across the solid / liquid interface) by anti-Stokes photoluminescence following upconversion of Yb3+ excited states mediated by optical-phonon absorption. The cold Brownian motion (CBM) analysis of individual YLF crystals indicates local cooling by >21 C below ambient conditions suggesting a range of potential future applications.


title: Towards Controlling Refinements of Statecharts

abstract: In incremental development strategies, modelers frequently refine Statecharts models to satisfy requirements and changes. Although several solutions exist to the problem of Statecharts refinement, they provide such levels of freedom that a statechart cannot make assumptions or guarantees about its future structure. In this paper, we propose a set of bounding rules to limit the allowable Statecharts refinement operations such that certain assumptions will hold.


title: Fractional Flux Plateau in Magnetization Curve of Multicomponent Superconductor Loop

abstract: Time-reversal symmetry (TRS) may be broken in superconductors with three or more condensates interacting repulsively, yielding two degenerate states specified by chirality of gap functions. We consider a loop of such superconductor with two halves occupied by the two states with opposite chiralities. Fractional flux plateaus are found in magnetization curve associated with free-energy minima, where the two domain walls between the two halves accommodate different inter-component phase kinks leading to finite winding numbers in a part of the whole condensates around the loop. Fractional flux plateaus form pairs with their heights related to the flux quantum {\Phi}0 = hc/2e. This phenomenon is a clear evidence of time-reversal symmetry broken (TRSB) superconductivity, which in a general point of view provides a novel chance to explore relative phase difference, phase kink and soliton in ubiquitous multi-component superconductivity such as that in iron pnicitides.


title: H\"older regularity and Uniqueness theorem on weak solutions to the degenerate Keller-Segel system

abstract: In this paper, we present local H\"older estimates for the degenerate Keller-Segel system \eqref{eq-cases-aligned-main-problem-of-Keller-Segel-System} below in the range of $m>1$ and $q>1$ before a blow-up of solutions. To deal with difficulties caused by the degeneracy of the operator, we find uniform estimates depending sup-norm of the density function and modified the energy estimates and intrinsic scales considered in Porous Medium Equation. As its application, the uniqueness of weak solution to \eqref{eq-cases-aligned-main-problem-of-Keller-Segel-System} is also showed in the class of H\"older continuous functions by proving $L^1$-contraction in this class.


title: ARPES measurements of the superconducting gap of Fe-based superconductors and their implications to the pairing mechanism

abstract: Its direct momentum sensitivity confers to angle-resolved photoemission spectroscopy (ARPES) a unique perspective in investigating the superconducting gap of multi-band systems. In this review we discuss ARPES studies on the superconducting gap of the high-temperature Fe-based superconductors. We show that while Fermi-surface-driven pairing mechanisms fail to provide a universal scheme for the Fe-based superconductors, theoretical approaches based on short-range interactions lead to a more robust and universal description of superconductivity in these materials. Our findings are also discussed in the broader context of unconventional superconductivity.


title: Geant4 based simulation of the Water Cherenkov Detectors of the LAGO Project

abstract: To characterize the signals registered by the different types of water Cherenkov detectors (WCD) used by the Latin American Giant Observatory (LAGO) Project, it is necessary to develop detailed simulations of the detector response to the flux of secondary particles at the detector level. These particles are originated during the interaction of cosmic rays with the atmosphere. In this context, the LAGO project aims to study the high energy component of gamma rays bursts (GRBs) and space weather phenomena by looking for the solar modulation of galactic cosmic rays (GCRs). Focus in this, a complete and complex chain of simulations is being developed that account for geomagnetic effects, atmospheric reaction and detector response at each LAGO site. In this work we shown the first steps of a GEANT4 based simulation for the LAGO WCD, with emphasis on the induced effects of the detector internal diffusive coating.


title: Fermionic spinon and holon statistics in the pyrochlore quantum spin liquid

abstract: The one-band Hubbard model on the pyrochlore lattice contains an extended quantum spin-liquid phase formed from the manifold of singlet dimer coverings. We demonstrate that the massive and deconfined spinon excitations of this system have fermionic statistics. Holonic quasiparticles introduced by doping are also fermions and we explain the origin of this counterintuitive result.


title: Second-Order $\Gamma$-limit for the Cahn-Hilliard Functional

abstract: The goal of this paper is to solve a long standing open problem, namely, the asymptotic development of order $2$ by $\Gamma$-convergence of the mass-constrained Cahn-Hilliard functional. This is achieved by introducing a novel rearrangement technique, which works without Dirichlet boundary conditions.


title: Outer Rotation Curve of the Galaxy with VERA II: Annual Parallax and Proper Motion of the Star-Forming Region IRAS21379+5106

abstract: We conducted astrometric VLBI observations of water-vapor maser emission in the massive star forming region IRAS 21379+5106 to measure the annual parallax and proper motion, using VERA. The annual parallax was measured to be $0.262 \pm 0.031$ mas corresponding to a trigonometric distance of $3.82^{+0.51}_{-0.41}$ kpc. The proper motion was $(\mu_\alpha\cos{\delta}, \mu_\delta)=(-2.74 \pm 0.08, -2.87 \pm 0.18)$ mas yr$^{-1}$. Using this result, the Galactic rotational velocity was estimated to be $V_\theta=218\pm 19$ km s$^{-1}$ at the Galactocentric distance $R=9.22\pm0.43$ kpc, when we adopted the Galactic constants $R_0=8.05\pm 0.45$ kpc and $V_0=238\pm 14$ km s$^{-1}$. With newly determined distance, {the bolometric luminosity of the central young stellar object was re-evaluated to $(2.15\pm 0.54)\times 10^3 L_\odot$, which corresponds to spectral type of} B2--B3. Maser features were found to be distributed along a straight line from south-west to north-east. In addition, a vector map of the internal motions constructed from the residual proper motions implies that maser features trace a bipolar flow and that it cannot be explained by simple ballistic motion.


title: Initialization Strategies of Spatio-Temporal Convolutional Neural Networks

abstract: We propose a new way of incorporating temporal information present in videos into Spatial Convolutional Neural Networks (ConvNets) trained on images, that avoids training Spatio-Temporal ConvNets from scratch. We describe several initializations of weights in 3D Convolutional Layers of Spatio-Temporal ConvNet using 2D Convolutional Weights learned from ImageNet. We show that it is important to initialize 3D Convolutional Weights judiciously in order to learn temporal representations of videos. We evaluate our methods on the UCF-101 dataset and demonstrate improvement over Spatial ConvNets.


title: X-Ray Detection of Transient Magnetic Moments Induced by a Spin Current in Cu

abstract: We have used a MHz lock-in x-ray spectro-microscopy technique to directly detect changes of magnetic moments in Cu due to spin injection from an adjacent Co layer. The elemental and chemical specificity of x-rays allows us to distinguish two spin current induced effects. We detect the creation of transient magnetic moments of $3\times 10^{-5}$ $\mu_\mathrm{B}$ on Cu atoms within the bulk of the 28 nm thick Cu film due to spin-accumulation. The moment value is compared to predictions by Mott's two current model. We also observe that the hybridization induced existing magnetic moments on Cu interface atoms are transiently increased by about 10% or $4\times 10^{-3}$ $\mu_\mathrm{B}$. This reveals the dominance of spin-torque alignment over Joule heat induced disorder of the interfacial Cu moments during current flow.


title: Multi-Bernoulli Sensor-Control via Minimization of Expected Estimation Errors

abstract: This paper presents a sensor-control method for choosing the best next state of the sensor(s), that provide(s) accurate estimation results in a multi-target tracking application. The proposed solution is formulated for a multi-Bernoulli filter and works via minimization of a new estimation error-based cost function. Simulation results demonstrate that the proposed method can outperform the state-of-the-art methods in terms of computation time and robustness to clutter while delivering similar accuracy.


title: Little strings and T-duality

abstract: We study the 2d N = 4 gauge theory descriptions of little strings on type II NS5- branes. The IIB strings on N NS5-branes are described by the N = (4,4) gauge theories, whose Higgs branch CFTs on U(N) instanton moduli spaces are relevant. The IIA strings are described by N = (4,4) circular A_{N-1} quiver theories, whose Coulomb branch CFTs are relevant. We study new N = (0,4) quiver gauge theories for the IIA strings, which make it easier to study some infrared observables. In particular, we show that the elliptic genera of the IIA / IIB strings precisely map to each other by T-duality.


title: The nonuniqueness of the tangent cones at infinity of Ricci-flat manifolds

abstract: It is shown by Colding and Minicozzi the uniqueness of the tangent cone at infinity of Ricci-flat manifolds with Euclidean volume growth which has at least one tangent cone at infinity with a smooth cross section. In this article we raise an example of the Ricci-flat manifold implying that the assumption for the volume growth in the above result is essential. More precisely, we construct a complete Ricci-flat manifold of dimension 4 with non-Euclidean volume growth who has at least two distinct tangent cones at infinity and one of them has a smooth cross section.


title: Reaction rates for a generalized reaction-diffusion master equation

abstract: It has been established that there is an inherent limit to the accuracy of the reaction-diffusion master equation. Specifically, there exists a fundamental lower bound on the mesh size, below which the accuracy deteriorates as the mesh is refined further. In this paper we extend the standard reaction-diffusion master equation to allow molecules occupying neighboring voxels to react, in contrast to the traditional approach in which molecules react only when occupying the same voxel. We derive reaction rates, in two dimensions as well as three dimensions, to obtain an optimal match to the more fine-grained Smoluchowski model, and show in two numerical examples that the extended algorithm is accurate for a wide range of mesh sizes, allowing us to simulate systems intractable with the standard reaction-diffusion master equation. In addition, we show that for mesh sizes above the fundamental lower limit of the standard algorithm, the generalized algorithm reduces to the standard algorithm. We derive a lower limit for the generalized algorithm, which, in both two dimensions and three dimensions, is on the order of the reaction radius of a reacting pair of molecules.


title: Schrodinger-Kirchhoff-Poisson type systems

abstract: In this article we study the existence of solutions to the system \begin{equation*}\left\{ \begin{array}{ll} -\left(a+b\int_{\Omega}|\nabla u|^{2}\right)\Delta u +\phi u= f(x, u) &\text{in }\Omega \hbox{} -\Delta \phi= u^{2} &\text{in }\Omega \hbox{} u=\phi=0&\text{on }\partial\Omega, \hbox{} \end{array} \right. \end{equation*} where $\Omega$ is a bounded smooth domain of $\mathbb{R}^N$ ($N=1,2$ or $3$), $a>0$, $b\geq0$, and $f:\overline{\Omega}\times \mathbb{R}\to\mathbb{R}$ is a continuous function which is $3$-superlinear. By using some variants of the mountain pass theorem established in this paper, we show the existence of three solutions: one positive, one negative, and one which changes its sign. Furthermore, in case $f$ is odd with respect to $u$ we obtain an unbounded sequence of sign-changing solutions.


title: Note on vanishing power sums of roots of unity

abstract: For a given positive integers $m$ and $\ell$, we give a complete list of positive integers $n$ for which their exist $m$th roots of unity $x_1,\dots,x_n \in \mathbb{C}$ such that $x_1^{\ell} + \cdots + x_n^{\ell}=0$. This extends the earlier result of Lam and Leung on vanishing sums of roots of unity. Furthermore, we prove that for which integers $n$ with $2 \leq n \leq m$, there are distinct $m$th roots of unity $x_1,\dots,x_n \in \mathbb{C}$ such that $x_1^{\ell} + \cdots + x_n^{\ell}=0$.


title: Rigorous numerical study of strong microwave photon-magnon coupling in all-dielectric magnetic multilayers

abstract: We demonstrate theoretically a strong local enhancement of the intensity of the in-plane microwave magnetic field in multilayered structures made from a magneto-insulating yttrium iron garnet (YIG) layer sandwiched between two non-magnetic layers with a high dielectric constant matching that of YIG. The enhancement is predicted for the excitation regime when the microwave magnetic field is induced inside the multilayer by the transducer of a stripline Broadband Ferromagnetic Resonance (BFMR) setup. By means of a rigorous numerical solution of the Landau-Lifshitz-Gilbert equation consistently with the Maxwell's equations, we investigate the magnetisation dynamics in the multilayer. We reveal a strong photon-magnon coupling, which manifests itself as anti-crossing of the ferromagnetic resonance (FMR) magnon mode supported by the YIG layer and the electromagnetic resonance mode supported by the whole multilayered structure. The frequency of the magnon mode depends on the external static magnetic field, which in our case is applied tangentially to the multilayer in the direction perpendicular to the microwave magnetic field induced by the stripline of the BFMR setup. The frequency of the electromagnetic mode is independent of the static magnetic field. Consequently, the predicted photon-magnon coupling is sensitive to the applied magnetic field and thus can be used in magnetically tuneable metamaterials based on simultaneously negative permittivity and permeability achievable thanks to the YIG layer. We also suggest that the predicted photon-magnon coupling may find applications in microwave quantum information systems.


title: Morphological Analyzer and Generator for Russian and Ukrainian Languages

abstract: pymorphy2 is a morphological analyzer and generator for Russian and Ukrainian languages. It uses large efficiently encoded lexi- cons built from OpenCorpora and LanguageTool data. A set of linguistically motivated rules is developed to enable morphological analysis and generation of out-of-vocabulary words observed in real-world documents. For Russian pymorphy2 provides state-of-the-arts morphological analysis quality. The analyzer is implemented in Python programming language with optional C++ extensions. Emphasis is put on ease of use, documentation and extensibility. The package is distributed under a permissive open-source license, encouraging its use in both academic and commercial setting.


title: A Rule-Based Short Query Intent Identification System

abstract: Using SMS (Short Message System), cell phones can be used to query for information about various topics. In an SMS based search system, one of the key problems is to identify a domain (broad topic) associated with the user query; so that a more comprehensive search can be carried out by the domain specific search engine. In this paper we use a rule based approach, to identify the domain, called Short Query Intent Identification System (SQIIS). We construct two different rule-bases using different strategies to suit query intent identification. We evaluate the two rule-bases experimentally.


title: Electroweak Hall Effect of Neutrino and Coronal Heating

abstract: The inversion of temperature at the solar corona is hard to understand from classical physics, and the coronal heating mechanism remains unclear. The heating in the quiet region seems contradicting with the thermodynamics and is a keen problem for physicists. A new mechanism for the coronal heating based on the neutrino radiative transition unique in the corona region is studied. The probability is enormously amplified by an electroweak Chern-Simons form and overlapping waves, and the sufficient energy is transfered. Thus the coronal heating is understood from the quantum effects of the solar neutrino.


title: Feasibility study of online tuning of the luminosity in a circular collider with the robust conjugate direction search method

abstract: The robust conjugate direction search (RCDS) method has high tolerance to noise in beam experiments. It has been demonstrated that this method can be used to optimize the machine performance of a light source online. In our study, taking BEPCII as an example, the feasibility of online tuning of the luminosity in a circular collider is explored, through numerical simulation and preliminary online experiments. It is shown that the luminosity that is artificially decreased by a deviation of beam orbital offset from optimal trajectory can be recovered with this method.


title: Fermion localization in higher curvature spacetime

abstract: Fermion localization in a braneworld model in presence of dilaton coupled higher curvature Gauss-Bonnet bulk gravity is discussed. It is shown that the lowest mode of left handed fermions can be naturally localized on the visible brane due to the dilaton coupled higher curvature term without the necessity of any external localizing bulk field.


title: The Social System Identification Problem

abstract: The focus of this paper is modeling what we call a Social Radar, i.e. a method to estimate the relative influence between social agents, by sampling their opinions and as they evolve, after injecting in the network stubborn agents. The stubborn agents opinion is not influenced by the peers they seek to sway, and their opinion bias is the known input to the social network system. The novelty is in the model presented to probe a social network and the solution of the associated regression problem. The model allows to map the observed opinion onto system equations that can be used to infer the social graph and the amount of trust that characterizes the links.