title: The attribute of rotational profile to the hyperon puzzle in the prediction of heaviest compact star

abstract: In this theoretical study, we report an investigation of the equations of state (EoSs) ofhyper-nuclear matter and its composition as a function of density within the framework of effective field theory motivated relativistic mean field model. We have used G2 force parameter along with various hyperon-meson coupling ratios by allowing the mixing and the breaking of SU(6) symmetry to predict the EoSs, keeping the nucleonic coupling constant intact. We have estimated the properties of non-rotating and rapidly rotating configuration of compact stars by employing four different representative sets of equations of state. The obtained results of the mass and radius for the compact stars are compared with the recent mass observations. Further, we have studied the stability and sensitivity of rotational frequency (at sub-millisecond period) on the configuration of the compact stars, because the angular frequency is significantly smaller than the mass-shedding (Keplerian) frequency in slow rotation regime. Moreover, the yield of hyperon as a function of density for various hyperon-meson couplings are also estimated.


title: Comment on "Particle Path Through a Nested Mach-Zehnder Interferometer"

abstract: In a recent paper, arXiv:1604.04596, Griffiths questioned - based on an informative consistent-histories (CH) argument - the counterfactuality, for one of the bit choices, of Salih et al.'s protocol for communicating without sending physical particles, Phys. Rev. Lett. 110, 170502 (2013). Here, we first show that for the Mach-Zehnder version used to explain our protocol, no family of consistent histories exists where any history has the photon travelling through the communication channel, thus rendering the question of whether the photon was in the communication channel meaningless from a CH viewpoint. We then show that for the actual Michelson-type protocol, there are consistent-histories families that include histories where the photon travels through the communication channel. We show that the probability of finding the photon in the communication channel is zero - thus proving complete counterfactuality.


title: Holonomic modules over Cherednik algebras, I

abstract: The goal of this paper is to generalize several basic results from the theory of $\cal{D}$-modules to the representation theory of rational Cherednik algebras. We relate characterizations of holonomic modules in terms of singular support and Gelfand-Kirillov dimension. We study pullback, pushforward, and dual on the derived category of (holonomic) Cherednik modules for certain classes of maps between varieties. We prove, in the case of generic parameters for the rational Cherednik algebra, that pushforward with respect to an open affine inclusion preserves holonomicity.


title: Extending the graviton propagator with a Lorentz-violating vector field

abstract: I discuss progress towards "bootstrapping" a Lorentz-violating gravity theory: namely, extending a linear Lorentz-violating theory of a rank-2 tensor to a non-linear theory by coupling this field to its own stress-energy tensor.


title: Application of the Non-extensive Statistical Approach to High Energy Particle Collisions

abstract: In high-energy collisions the number of the created particles is far less than the thermodynamic limit, especially in small colliding systems (e.g. proton-proton). Therefore final-state effects and fluctuations in the one-particle energy distribution are appreciable. As a consequence the characterization of identified hadron spectra with the Boltzmann\,--\,Gibbs thermodynamical approach is insufficient. Instead particle spectra measured in high-energy collisions can be described very well with Tsallis\,--\,Pareto distributions, derived from non-extensive thermodynamics. Using the Tsallis q-entropy formula, a generalization of the Boltzmann\,--\,Gibbs entropy, we interpret the microscopical physics by analysing the Tsallis $q$ and $T$ parameters. In this paper we give a quick overview on these parameters, analyzing identified hadron spectra from recent years in a wide center of mass energy range. We demonstrate that the fitted Tsallis-parameters show dependency on this energy and on the particle species. Our findings are described well by a QCD inspired evolution ansatz.


title: Electron Bubbles in Superfluid $^3$He-A: Exploring the Quasiparticle-Ion Interaction

abstract: When an electron is forced into liquid $^3$He it forms an "electron bubble", a heavy ion with radius, $R\simeq 1.5$ nm, and mass, $M\simeq 100\,m_3$, where $m_3$ is the mass of a $^3$He atom. These negative ions have proven to be powerful local probes of the physical properties of the host quantum fluid, especially the excitation spectra of the superfluid phases. We recently developed a theory for Bogoliubov quasiparticles scattering off electron bubbles embedded in a chiral superfluid that provides a detailed understanding of the spectrum of Weyl Fermions bound to the negative ion, as well as a theory for the forces on moving electron bubbles in superfluid $^3$He-A (Shevtsov et al. in arXiv:1606.06240). This theory is shown to provide quantitative agreement with measurements reported by the RIKEN group [Ikegami et al., Science 341:59, 2013] for the drag force and anomalous Hall effect of moving electron bubbles in superfluid $^3$He-A. In this report, we discuss the sensitivity of the forces on the moving ion to the effective interaction between normal-state quasiparticles and the ion. We consider models for the quasiparticle-ion (QP-ion) interaction, including the hard-sphere potential, constrained random-phase-shifts, and interactions with short-range repulsion and intermediate range attraction. Our results show that the transverse force responsible for the anomalous Hall effect is particularly sensitive to the structure of the QP-ion potential, and that strong short-range repulsion, captured by the hard-sphere potential, provides an accurate model for computing the forces acting on the moving electron bubble in superfluid $^3$He-A.


title: Bond disproportionation and dynamical charge fluctuations in the perovskite rare earth nickelates

abstract: We present a theory describing the local electronic properties of the perovskite rare earth nickelates--materials which have negative charge transfer energies, strong O $2p$ -- Ni $3d$ covalence, and breathing mode lattice distortions at the origin of highly studied metal-insulator and antiferromagnetic ordering transitions. Utilizing a full orbital, full correlation double cluster approach, we find strong charge fluctuations in agreement with a bond disproportionation interpretation. The unique double cluster formulation permits the inclusion of necessary orbital degeneracies and Coulomb interactions to calculate resonant x-ray spectral responses, with which we find excellent agreement with well-established experimental results. This previously absent, crucial link between theory and experiment provides validation of the recently proposed bond disproportionation theory, and provides an analysis methodology for spectroscopic studies of engineered phases of nickelates and other high valence transition metal compounds.


title: Reward Maximization in General Dynamic Matching Systems

abstract: We consider a matching system with random arrivals of items of different types. The items wait in queues -- one per each item type -- until they are "matched." Each matching requires certain quantities of items of different types; after a matching is activated, the associated items leave the system. There exists a finite set of possible matchings, each producing a certain amount of "reward". This model has a broad range of important applications, including assemble-to-order systems, Internet advertising, matching web portals, etc. We propose an optimal matching scheme in the sense that it asymptotically maximizes the long-term average matching reward, while keeping the queues stable. The scheme makes matching decisions in a specially constructed virtual system, which in turn control decisions in the physical system. The key feature of the virtual system is that, unlike the physical one, it allows the queues to become negative. The matchings in the virtual system are controlled by an extended version of the greedy primal-dual (GPD) algorithm, which we prove to be asymptotically optimal -- this in turn implies the asymptotic optimality of the entire scheme. The scheme is real-time, at any time it uses simple rules based on the current state of virtual and physical queues. It is very robust in that it does not require any knowledge of the item arrival rates, and automatically adapts to changing rates. The extended GPD algorithm and its asymptotic optimality apply to a quite general queueing network framework, not limited to matching problems, and therefore is of independent interest.


title: A Recursive Framework for Expression Recognition: From Web Images to Deep Models to Game Dataset

abstract: In this paper, we propose a recursive framework to recognize facial expressions from images in real scenes. Unlike traditional approaches that typically focus on developing and refining algorithms for improving recognition performance on an existing dataset, we integrate three important components in a recursive manner: facial dataset generation, facial expression recognition model building, and interactive interfaces for testing and new data collection. To start with, we first create a candid-images-for-facial-expression (CIFE) dataset. We then apply a convolutional neural network (CNN) to CIFE and build a CNN model for web image expression classification. In order to increase the expression recognition accuracy, we also fine-tune the CNN model and thus obtain a better CNN facial expression recognition model. Based on the fine-tuned CNN model, we design a facial expression game engine and collect a new and more balanced dataset, GaMo. The images of this dataset are collected from the different expressions our game users make when playing the game. Finally, we evaluate the GaMo and CIFE datasets and show that our recursive framework can help build a better facial expression model for dealing with real scene facial expression tasks.


title: On the Dynamics of Local to Global Campaigns for Curbing Gender-based Violence

abstract: Gender-based violence (GBV) is a human-generated crisis, existing in various forms, including offline, via physical and sexual violence, and now online via harassment and trolling. While studying social media campaigns for different domains such as public health, natural crises, etc. has received attention in the literature, such studies for GBV are still in nascent form. The dynamics of campaigns responding to curb this crisis could benefit from systematic investigation. To our knowledge, this is the first study to examine such public campaigns involving social media by organizations operating at the local, national and global levels, with an eye to answering the following research questions: (1) How do members of one campaign community engage with other campaign communities? (2) How do demographic variables such as gender effect campaign engagement in light of given regional crime statistics? (3) Is there any coordination among organizational users for campaigns with similar underlying social causes?


title: Vortex Structure and Anisotropic Superconducting Gaps in Ba[Fe(Ni)]$_2$As$_2$

abstract: We studied nearly optimally Ni-substituted BaFe$_{2-x}$Ni$_x$As$_2$ (BFNA) single crystals with $T_C \approx 18.5$\,K. In irreversible magnetization measurements, we determined the field dependence of the critical-current density and discuss the nature of observed strong bulk pinning. Using intrinsic multiple Andreev reflections effect (IMARE) spectroscopy, we directly determine two distinct superconducting gaps and resolve their moderate anisotropy in the momentum space. The BCS-ratio for the large gap $2\Delta_L/k_BT_C > 4.1$ evidences for a strong coupling in the $\Delta_L$-bands.


title: Muon-Electron Conversion in a Family Gauge Boson Model

abstract: We study the $\mu$-$e$ conversion in muonic atoms via an exchange of family gauge boson (FGB) $A_{2}^{\ 1}$ in a $U(3)$ FGB model. Within the class of FGB model, we consider three types of family-number assignments for quarks. We evaluate the $\mu$-$e$ conversion rate for various target nuclei, and find that next generation $\mu$-$e$ conversion search experiments can cover entire energy scale of the model for all of types of the quark family-number assignments. We show that the conversion rate in the model is so sensitive to up- and down-quark mixing matrices, $U^{u}$ and $U^{d}$, where the CKM matrix is given by $V_\text{CKM} = U^{u\dagger} U^d$. Precise measurements of conversion rates for various target nuclei can identify not only the types of quark family-number assignments, but also each quark mixing matrix individually.


title: Closed Cycloids in a Normed Plane

abstract: Given a normed plane $\mathcal{P}$, we call $\mathcal{P}$-cycloids the planar curves which are homothetic to their double $\mathcal{P}$-evolutes. It turns out that the radius of curvature and the support function of a $\mathcal{P}$-cycloid satisfy a differential equation of Sturm-Liouville type. By studying this equation we can describe all closed hypocycloids and epicycloids with a given number of cusps. We can also find an orthonormal basis of ${\mathcal C}^0(S^1)$ with a natural decomposition into symmetric and anti-symmetric functions, which are support functions of symmetric and constant width curves, respectively. As applications, we prove that the iterations of involutes of a closed curve converge to a constant and a generalization of the Sturm-Hurwitz Theorem. We also prove versions of the four vertices theorem for closed curves and six vertices theorem for closed constant width curves.


title: Nonlocal N=1 Supersymmetry

abstract: We construct $\mathcal{N}=1$ supersymmetric nonlocal theories in four dimension. We discuss higher derivative extensions of chiral and vector superfields, and write down generic forms of K\"ahler potential and superpotential up to quadratic order. We derive the condition in which an auxiliary field remains non-dynamical, and the dynamical scalars and fermions are free from the ghost degrees of freedom. We also investigate the nonlocal effects on the supersymmetry breaking and find that supertrace (mass) formula is significantly modified even at the tree level.


title: The effect of curvature on cholesteric doughnuts

abstract: The confinement of liquid crystals inside curved geometries leads to exotic structures, with applications ranging from bio-sensors to optical switches and privacy windows. Here we study how curvature affects the alignment of a cholesteric liquid crystal. We model the system on the mesoscale using the Landau-de Gennes model. Our study was performed in three stages, analysing different curved geometries from cylindrical walls and pores, to toroidal domains, in order to isolate the curvature effects. Our results show that the stresses introduced by the curvature influence the orientation of the liquid crystal molecules, and cause distortions in the natural periodicity of the cholesteric that depend on the radius of curvature and on the commensurability between the pitch and the dimensions of the system. In particular, the cholesteric layers of toroidal droplets exhibit a symmetry breaking not seen in cylindrical pores and that is driven by the additional curvature.


title: Hypercollecting Semantics and its Application to Static Analysis of Information Flow

abstract: We show how static analysis for secure information flow can be expressed and proved correct entirely within the framework of abstract interpretation. The key idea is to define a Galois connection that directly approximates the hyperproperty of interest. To enable use of such Galois connections, we introduce a fixpoint characterisation of hypercollecting semantics, i.e. a "set of set" transformer. This makes it possible to systematically derive static analyses for hyperproperties entirely within the calculational framework of abstract interpretation. We evaluate this technique by deriving example static analyses. For qualitative information flow, we derive a dependence analysis similar to the logic of Amtoft and Banerjee (SAS'04) and the type system of Hunt and Sands (POPL'06). For quantitative information flow, we derive a novel cardinality analysis that bounds the leakage conveyed by a program instead of simply deciding whether it exists. This encompasses problems that are hypersafety but not k-safety. We put the framework to use and introduce variations that achieve precision rivalling the most recent and precise static analyses for information flow.


title: On Gauss Periods

abstract: Let $q$ be a prime power, and let $r=nk+1$ be a prime such that $r\nmid q$, where $n$ and $k$ are positive integers. Under a simple condition on $q$, $r$ and $k$, a Gauss period of type $(n,k)$ is a normal element of $\Bbb F_{q^n}$ over $\Bbb F_q$; the complexity of the resulting normal basis of $\Bbb F_{q^n}$ over $\Bbb F_q$ is denoted by $C(n,k;q)$. Recent works determined $C(n,k;q)$ for $k\le 7$ and all qualified $n$ and $q$. In this paper, we show that for any given $k>0$, $C(n,k;q)$ is given by an explicit formula except for finitely many primes $r=nk+1$ and the exceptional primes are easily determined. Moreover, we describe an algorithm that allows one to compute $C(n,k;q)$ for the exceptional primes $r=nk+1$. The numerical results of the paper cover $C(n,k;q)$ for $k\le 20$ and all qualified $n$ and $q$.


title: Classically Integral Quadratic Forms Excepting at Most Two Values

abstract: Let $S \subseteq \mathbb{N}$ be finite. Is there a positive definite quadratic form that fails to represent only those elements in $S$? For $S = \emptyset$, this was solved (for classically integral forms) by the $15$-Theorem of Conway-Schneeberger in the early 1990s and (for all integral forms) by the $290$-Theorem of Bhargava-Hanke in the mid-2000s. In 1938 Halmos attempted to list all weighted sums of four squares that failed to represent $S=\{m\}$; of his $88$ candidates, he could provide complete justifications for all but one. In the same spirit, we ask, "for which $S = \{m, n\}$ does there exist a quadratic form excepting only the elements of $S$?" Extending the techniques of Bhargava and Hanke, we answer this question for quaternary forms. In the process, we prove what Halmos could not; namely, that $x^2+2y^2+7z^2+13w^2$ represents all positive integers except $5$. We develop new strategies to handle forms of higher dimensions, yielding an enumeration of and proofs for the $73$ possible pairs that a classically integral positive definite quadratic form may except.


title: Nematic liquid crystals on sinusoidal channels: the zigzag instability

abstract: Substrates which are chemically or topographically patterned induce a variety of liquid crystal textures. The response of the liquid crystal to competing surface orientations, typical of patterned substrates, is determined by the anisotropy of the elastic constants and the interplay of the relevant lengths scales, such as the correlation length and the surface geometrical parameters. Transitions between different textures, usually with different symmetries, may occur under a wide range of conditions. We use the Landau-de Gennes free energy to investigate the texture of nematics in sinusoidal channels with parallel anchoring bounded by nematic-air interfaces that favour perpendicular (hometropic) anchoring. In micron size channels 5CB was observed to exhibit a non-trivial texture characterized by a disclination line, within the channel, which is broken into a zigzag pattern. Our calculations reveal that when the elastic anisotropy of the nematic does not favour twist distortions the defect is a straight disclination line that runs along the channel, which breaks into a zigzag pattern with a characteristic period, when the twist elastic constant becomes sufficiently small when compared to the splay and bend constants. The transition occurs through a twist instability that drives the defect line to rotate from its original position. The interplay between the energetically favourable twist distortions that induce the defect rotation and the liquid crystal anchoring at the surfaces leads to the zigzag pattern. We investigate in detail the dependence of the periodicity of the zigzag pattern on the geometrical parameters of the sinusoidal channels, which in line with the experimental results is found to be non-linear.


title: Identifying Metastases in Sentinel Lymph Nodes with Deep Convolutional Neural Networks

abstract: Metastatic presence in lymph nodes is one of the most important prognostic variables of breast cancer. The current diagnostic procedure for manually reviewing sentinel lymph nodes, however, is very time-consuming and subjective. Pathologists have to manually scan an entire digital whole-slide image (WSI) for regions of metastasis that are sometimes only detectable under high resolution or entirely hidden from the human visual cortex. From October 2015 to April 2016, the International Symposium on Biomedical Imaging (ISBI) held the Camelyon Grand Challenge 2016 to crowd-source ideas and algorithms for automatic detection of lymph node metastasis. Using a generalizable stain normalization technique and the Proscia Pathology Cloud computing platform, we trained a deep convolutional neural network on millions of tissue and tumor image tiles to perform slide-based evaluation on our testing set of whole-slide images images, with a sensitivity of 0.96, specificity of 0.89, and AUC score of 0.90. Our results indicate that our platform can automatically scan any WSI for metastatic regions without institutional calibration to respective stain profiles.


title: Controversy of the GRO J1655-40 black hole mass and spin estimates and its possible solutions

abstract: Estimates of the black hole mass $M$ and dimensionless spin $a$ in the microquasar GRO J1655-40 implied by strong gravity effects related to the timing and spectral measurements are controversial, if the mass restriction determined by the dynamics related to independent optical measurements, $M_{\rm opt}=(5.4\pm0.3) M_{\odot}$, are applied. The timing measurements of twin high-frequency (HF) quasiperiodic oscillations (QPOs) with frequency ratio $3:2$ and the simultaneously observed low-frequency (LF) QPO imply the spin in the range $a\in(0.27-0.29)$ if models based on the frequencies of the geodesic epicyclic motion are used to fit the timing measurements, and correlated creation of the twin HF QPOs and the LF QPO at a common radius is assumed. On the other hand, the spectral continuum method implies $a\in(0.65-0.75)$, and the Fe-line-profile method implies $a\in(0.94-0.98)$. This controversy can be cured, if we abandon the assumption of the occurrence of the twin HF QPOs and the simultaneously observed LF QPO at a common radius. We demonstrate that the epicyclic resonance model of the twin HF QPOs is able to predict the spin in agreement with the Fe-profile method, but no model based on the geodesic epicyclic frequencies can be in agreement with the spectral continuum method. We also show that the non-geodesic string loop oscillation model of twin HF QPOs predicts spin $a>0.3$ under the optical measurement limit on the black hole mass, in agreement with both the spectral continuum and Fe-profile methods.


title: Protected couplings and BPS dyons in half-maximal supersymmetric string vacua

abstract: We analyze four- and six-derivative couplings in the low energy effective action of $D=3$ string vacua with half-maximal supersymmetry. In analogy with an earlier proposal for the $(\nabla\Phi)^4$ coupling, we propose that the $\nabla^2(\nabla\Phi)^4$ coupling is given exactly by a manifestly U-duality invariant genus-two modular integral. In the limit where a circle in the internal torus decompactifies, the $\nabla^2(\nabla\Phi)^4$ coupling reduces to the $D^2 F^4$ and $R^2 F^2$ couplings in $D=4$, along with an infinite series of corrections of order $e^{-R}$, from four-dimensional 1/4-BPS dyons whose wordline winds around the circle. Each of these contributions is weighted by a Fourier coefficient of a meromorphic Siegel modular form, explaining and extending standard results for the BPS index of 1/4-BPS dyons.


title: Study of the wave packet treatment of neutrino oscillation at Daya Bay

abstract: The disappearance of reactor $\bar{\nu}_e$ observed by the Daya Bay experiment is examined in the framework of a model in which the neutrino is described by a wave packet with a relative intrinsic momentum dispersion $\sigma_\text{rel}$. Three pairs of nuclear reactors and eight antineutrino detectors, each with good energy resolution, distributed among three experimental halls, supply a high-statistics sample of $\bar{\nu}_e$ acquired at nine different baselines. This provides a unique platform to test the effects which arise from the wave packet treatment of neutrino oscillation. The modified survival probability formula was used to fit Daya Bay data, providing the first experimental limits: $2.38 \cdot 10^{-17} < \sigma_{\rm rel} < 0.23$. Treating the dimensions of the reactor cores and detectors as constraints, the limits are improved: $10^{-14} \lesssim \sigma_{\rm rel} < 0.23$, and an upper limit of $\sigma_{\rm rel} <0.20$ is obtained. All limits correspond to a 95\% C.L. Furthermore, the effect due to the wave packet nature of neutrino oscillation is found to be insignificant for reactor antineutrinos detected by the Daya Bay experiment thus ensuring an unbiased measurement of the oscillation parameters $\sin^22\theta_{13}$ and $\Delta m^2_{32}$ within the plane wave model.


title: Central Limit Theorem for the Elephant Random Walk

abstract: We study the so-called elephant random walk (ERW) which is a non-Markovian discrete-time random walk on $\mathbb{Z}$ with unbounded memory which exhibits a phase transition from diffusive to superdiffusive behaviour. We prove a law of large numbers and a central limit theorem. Remarkably the central limit theorem applies not only to the diffusive regime but also to the phase transition point which is superdiffusive. Inside the superdiffusive regime the ERW converges to a non-degenerate random variable which is not normal. We also obtain explicit expressions for the correlations of increments of the ERW.


title: The weighted $\sigma_k$-curvature of a smooth metric measure space

abstract: We propose a definition of the weighted $\sigma_k$-curvature of a smooth metric measure space and justify it in two ways. First, we show that the weighted $\sigma_k$-curvature prescription problem is governed by a fully nonlinear second order elliptic PDE which is variational when $k=1,2$ or the smooth metric measure space is locally conformally flat in the weighted sense. Second, we show that, in the variational cases, quasi-Einstein metrics are stable with respect to the total weighted $\sigma_k$-curvature functional. We also discuss related conjectures for weighted Einstein manifolds.


title: Thermalization and light cones in a model with weak integrability breaking

abstract: We employ equation of motion techniques to study the non-equilibrium dynamics in a lattice model of weakly interacting spinless fermions. Our model provides a simple setting for analyzing the effects of weak integrability breaking perturbations on the time evolution after a quantum quench. We establish the accuracy of the method by comparing results at short and intermediate times to time-dependent density matrix renormalization group computations. For sufficiently weak integrability-breaking interactions we always observe prethermalization plateaux, where local observables relax to non-thermal values at intermediate time scales. At later times a crossover towards thermal behaviour sets in. We determine the associated time scale, which depends on the initial state, the band structure of the non-interacting theory, and the strength of the integrability breaking perturbation. Our method allows us to analyze in some detail the spreading of correlations and in particular the structure of the associated light cones in our model. We find that the interior and exterior of the light cone are separated by an intermediate region, the temporal width of which appears to scale with a universal power-law $t^{1/3}$.


title: Higher-loop amplitude monodromy relations in string and gauge theory

abstract: The monodromy relations in string theory provide a powerful and elegant formalism to understand some of the deepest properties of tree-level field theory amplitudes, like the color-kinematics duality. This duality has been instrumental in tremendous progress on the computations of loop amplitudes in quantum field theory, but a higher-loop generalisation of the monodromy construction was lacking. In this letter, we extend the monodromy relations to higher loops in open string theory. Our construction, based on a contour deformation argument inside open string diagrams, leads to new identities that relate planar and non-planar topologies in string theory. We write one and two-loop monodromy formulae explicitly at any multiplicity. In the field theory limit, at one-loop we obtain identities that reproduce known results. At two loops, we check our formulae by unitarity in the case of the four-point N=4 super-Yang-Mills amplitude.


title: A central limit theorem for a new statistic on permutations

abstract: This paper does three things: It proves a central limit theorem for novel permutation statistics (for example, the number of descents plus the number of descents in the inverse). It provides a clear illustration of a new approach to proving central limit theorems more generally. It gives us an opportunity to acknowledge the work of our teacher and friend B. V. Rao.


title: Deformed symmetries in noncommutative and multifractional spacetimes

abstract: We clarify the relation between noncommutative spacetimes and multifractional geometries, two quantum-gravity-related approaches where the fundamental description of spacetime is not given by a classical smooth geometry. Despite their different conceptual premises and mathematical formalisms, both research programs allow for the spacetime dimension to vary with the probed scale. This feature and other similarities led to ask whether there is a duality between these two independent proposals. In the absence of curvature and comparing the symmetries of both position and momentum space, we show that $\kappa$-Minkowski spacetime and the commutative multifractional theory with $q$-derivatives are physically inequivalent but they admit several contact points that allow one to describe certain aspects of $\kappa$-Minkowski noncommutative geometry as a multifractional theory and vice versa. Contrary to previous literature, this result holds without assuming any specific measure for $\kappa$-Minkowski. More generally, no well-defined $\star$-product can be constructed from the $q$-theory, although the latter does admit a natural noncommutative extension with a given deformed Poincar\'e algebra. A similar no-go theorem may be valid for all multiscale theories with factorizable measures. Turning gravity on, we write the algebras of gravitational first-class constraints in the multifractional theories with $q$- and weighted derivatives and discuss their differences with respect to the deformed algebras of $\kappa$-Minkowski spacetime and of loop quantum gravity.


title: Self-Organising Maps in Computer Security

abstract: Some argue that biologically inspired algorithms are the future of solving difficult problems in computer science. Others strongly believe that the future lies in the exploration of mathematical foundations of problems at hand. The field of computer security tends to accept the latter view as a more appropriate approach due to its more workable validation and verification possibilities. The lack of rigorous scientific practices prevalent in biologically inspired security research does not aid in presenting bio-inspired security approaches as a viable way of dealing with complex security problems. This chapter introduces a biologically inspired algorithm, called the Self Organising Map (SOM), that was developed by Teuvo Kohonen in 1981. Since the algorithm's inception it has been scrutinised by the scientific community and analysed in more than 4000 research papers, many of which dealt with various computer security issues, from anomaly detection, analysis of executables all the way to wireless network monitoring. In this chapter a review of security related SOM research undertaken in the past is presented and analysed. The algorithm's biological analogies are detailed and the author's view on the future possibilities of this successful bio-inspired approach are given. The SOM algorithm's close relation to a number of vital functions of the human brain and the emergence of multi-core computer architectures are the two main reasons behind our assumption that the future of the SOM algorithm and its variations is promising, notably in the field of computer security.


title: $Suzaku$ and $XMM-Newton$ observations of a newly-discovered early-stage cluster merger 1E2216.0-0401 and 1E2215.7-0404

abstract: We present the results of $Suzaku$ and $XMM-Newton$ X-ray observations of the cluster pair 1E2216.0-0401 and 1E2215.7-0404. We discover an X-ray bridge between the clusters. $Suzaku$ and $XMM-Newton$ observations revealed that each cluster hosts gas with moderate temperature of $kT_{1E2216.0-0401}=$4.8$\pm$0.1 keV and $kT_{1E2215.7-0404}=$5.8$\pm$0.2 keV, respectively. On the other hand, the bridge region shows a remarkably high temperature ({\it kT}=6.6$\pm$0.5 keV). Furthermore, at the position of the bridge, we detected an enhancement in the wavelet-decomposed soft-band (0.5-4.0 keV) $XMM-Newton$ image at 3 sigma significance, this is most likely due to a compression of the intracluster medium (ICM) as a consequence of the merging activity. This X-ray intensity and temperature enhancement are not consistent with those expected from a late phase, but are in agreement with the predictions by numerical simulations of an early phase merger. From the temperature jump at the location of the bridge, the Mach number is estimated to be ${\cal M}=1.4\pm0.1$, which corresponds to a shock propagation velocity of about 1570 km/s. From the shock properties, we estimate that core-passage will occur in 0.3-0.6 Gyr and that the age of the shock structure is 50--100 Myr. Based on the measured properties of the ICM at the bridge and estimation of timescales, we find indications for non-equilibrium ionization. We also discover possible diffuse radio emission located between the merging clusters. Combining the radio, X-ray, and optical image data, we speculate that the detected radio sources are most likely related to the merger event. Thus, 1E2216.0-0401 and 1E2215.7-0404 is a new example of an early phase cluster merger with remarkable characteristics.


title: Robust Shortest Path Planning and Semicontractive Dynamic Programming

abstract: In this paper we consider shortest path problems in a directed graph where the transitions between nodes are subject to uncertainty. We use a minimax formulation, where the objective is to guarantee that a special destination state is reached with a minimum cost path under the worst possible instance of the uncertainty. Problems of this type arise, among others, in planning and pursuit-evasion contexts, and in model predictive control. Our analysis makes use of the recently developed theory of abstract semicontractive dynamic programming models. We investigate questions of existence and uniqueness of solution of the optimality equation, existence of optimal paths, and the validity of various algorithms patterned after the classical methods of value and policy iteration, as well as a Dijkstra-like algorithm for problems with nonnegative arc lengths.


title: The $n$th+1 Prime Number Limit Formulas

abstract: A new derivation of Golomb's limit formula for generating the $n$th$+1$ prime number is presented. The limit formula is derived by extracting $p_{n+1}$ from Euler's prime product representation of the Riemann zeta function $\zeta(s)$ in the limit as $s$ approaches infinity. Also, new variations of these limit formulas are explored, such as the logarithm and a half-prime formulas for the $p_{n+1}$.


title: Matrix KSGNS construction and a Radon--Nikodym type theorem

abstract: In this paper, we introduce the concept of completely positive matrix of linear maps on Hilbert $A$-modules over locally $C^{*}$-algebras and prove an analogue of Stinespring theorem for it. We show that any two minimal Stinespring representations for such matrices are unitarily equivalent. Finally, we prove an analogue of the Radon--Nikodym theorem for this type of completely positive $n\times n$ matrices.


title: CP violating scalar Dark Matter

abstract: We study an extension of the Standard Model (SM) in which two copies of the SM scalar $SU(2)$ doublet which do not acquire a Vacuum Expectation Value (VEV), and hence are \textit{inert}, are added to the scalar sector. We allow for CP-violation in the \textit{inert} sector, where the lightest \textit{inert} state is protected from decaying to SM particles through the conservation of a $Z_2$ symmetry. The lightest neutral particle from the \textit{inert} sector, which has a mixed CP-charge due to CP-violation, is hence a Dark Matter (DM) candidate. We discuss the new regions of DM relic density opened up by CP-violation, and compare our results to the CP-conserving limit and the Inert Doublet Model (IDM). We constrain the parameter space of the CP-violating model using recent results from the Large Hadron Collider (LHC) and DM direct and indirect detection experiments.


title: The Number Density Evolution of Extreme Emission Line Galaxies in 3D-HST: Results from a Novel Automated Line Search Technique for Slitless Spectroscopy

abstract: The multiplexing capability of slitless spectroscopy is a powerful asset in creating large spectroscopic datasets, but issues such as spectral confusion make the interpretation of the data challenging. Here we present a new method to search for emission lines in the slitless spectroscopic data from the 3D-HST survey utilizing the Wide-Field Camera 3 on board the Hubble Space Telescope. Using a novel statistical technique, we can detect compact (extended) emission lines at 90% completeness down to fluxes of 1.5 (3.0) times 10^{-17} erg/s/cm^2, close to the noise level of the grism exposures, for objects detected in the deep ancillary photometric data. Unlike previous methods, the Bayesian nature allows for probabilistic line identifications, namely redshift estimates, based on secondary emission line detections and/or photometric redshift priors. As a first application, we measure the comoving number density of Extreme Emission Line Galaxies (restframe [O III] 5007 equivalent widths in excess of 500 Angstroms). We find that these galaxies are nearly 10 times more common above z~1.5 than at z<0.5. With upcoming large grism surveys such as Euclid and WFIRST as well as grisms featuring prominently on the NIRISS and NIRCam instruments on James Webb Space Telescope, methods like the one presented here will be crucial for constructing emission line redshift catalogs in an automated and well-understood manner.


title: Unification and New Particles at the LHC

abstract: Precision gauge coupling unification is one of the primary quantitative successes of low energy or split supersymmetry. Preserving this success puts severe restrictions on possible matter and gauge sectors that might appear at collider-accessible energies. In this work we enumerate new gauge sectors which are compatible with unification, consisting of horizontal gauge groups acting on vector-like matter charged under the Standard Model. Interestingly, almost all of these theories are in the supersymmetric conformal window at high energies and confine quickly after the superpartners are decoupled. For a range of scalar masses compatible with both moderately tuned and minimally split supersymmetry, the confining dynamics happen at the multi-TeV scale, leading to a spectrum of multiple spin-0 and spin-1 resonances accessible to the LHC, with unusual quantum numbers and striking decay patterns.


title: IROCKS: Spatially resolved kinematics of z~1 star forming galaxies

abstract: We present results from IROCKS (Intermediate Redshift OSIRIS Chemo-Kinematic Survey) for sixteen z~1 and one z~1.4 star-forming galaxies. All galaxies were observed with OSIRIS with the laser guide star adaptive optics system at Keck Observatory. We use rest-frame nebular Ha emission lines to trace morphologies and kinematics of ionized gas in star-forming galaxies on sub-kiloparsec physical scales. We observe elevated velocity dispersions (sigma > 50 km/s) seen in z > 1.5 galaxies persist at z~1 in the integrated galaxies. Using an inclined disk model and the ratio of v/sigma, we find that 1/3 of the z~1 sample are disk candidates while the other 2/3 of the sample are dominated by merger-like and irregular sources. We find that including extra attenuation towards HII regions derived from stellar population synthesis modeling brings star formation rates (SFR) using Ha and stellar population fit into a better agreement. We explore properties of compact Ha sub-component, or "clump," at z~1 and find that they follow a similar size-luminosity relation as local HII regions but are scaled-up by an order of magnitude with higher luminosities and sizes. Comparing the z~1 clumps to other high-redshift clump studies, we determine that the clump SFR surface density evolves as a function of redshift. This may imply clump formation is directly related to the gas fraction in these systems and support disk fragmentation as their formation mechanism since gas fraction scales with redshift.


title: The Califa and Hipass velocity function for all morphological galaxy types

abstract: The velocity function is a fundamental observable statistic of the galaxy population, similarly impor- tant as the luminosity function, but much more difficult to measure. In this work we present the first directly measured circular velocity function that is representative between 60 < v_circ < 320 km/s for galaxies of all morphological types at a given rotation velocity. For the low mass galaxy population (60 < v_circ < 170 km/s), we use the HIPASS velocity function. For the massive galaxy population (170 < v_circ < 320 km/s), we use stellar circular velocities from the Calar Alto Legacy Integral Field Area Survey (CALIFA). In earlier work we obtained the measurements of circular velocity at the 80% light radius for 226 galaxies and demonstrated that the CALIFA sample can produce volume- corrected galaxy distribution functions. The CALIFA velocity function includes homogeneous velocity measurements of both late and early-type rotation-supported galaxies and has the crucial advantage of not missing gas-poor massive ellipticals that HI surveys are blind to. We show that both velocity functions can be combined in a seamless manner, as their ranges of validity overlap. The resulting observed velocity function is compared to velocity functions derived from cosmological simulations of the z = 0 galaxy population. We find that dark matter-only simulations show a strong mismatch with the observed VF. Hydrodynamic simulations fare better, but still do not fully reproduce observations.


title: Lithium Inventory of 2 $M_\odot$ Red Clump Stars in Open Clusters: A Test of the Helium Flash Mechanism

abstract: The temperature distribution of field Li-rich red giants suggests the presence of a population of Li-rich red clump (RC) stars. One proposed explanation for this population is that all stars with masses near 2 $M_\odot$ experience a short-lived phase of Li-richness at the onset of core He-burning. Many of these stars have low 12C/13C, a signature of deep mixing that is presumably associated with the Li regeneration. To test this purported mechanism of Li enrichment, we measured abundances in 38 RC stars and 6 red giant branch (RGB) stars in four open clusters selected to have RC masses near 2 $M_\odot$. We find six Li-rich stars (A(Li) > 1.50 dex) of which only two may be RC stars. None of the RC stars have Li exceeding the levels observed in the RGB stars, but given the brevity of the suggested Li-rich phase and the modest sample size, it is probable that stars with larger Li-enrichments were missed simply by chance. However, we find very few stars in our sample with low 12C/13C. Such low 12C/13C, seen in many field Li-rich stars, should persist even after lithium has returned to normal low levels. Thus, if Li synthesis during the He flash occurs, it is a rare, but potentially long-lived occurrence rather than a short-lived phase for all stars. We estimate a conservative upper limit of the fraction of stars going through a Li-rich phase to be <47\%, based on stars that have low 12C/13C for their observed A(Li).


title: Interacting 3-form dark energy models: distinguishing interactions and avoiding the Little Sibling of the Big Rip

abstract: In this paper we consider 3-form dark energy (DE) models with interactions in the dark sector. We aim to distinguish the phenomenological interactions that are defined through the dark matter (DM) and the DE energy densities. We do our analysis mainly in two stages. In the first stage, we identify the non-interacting 3-form DE model which generically leads to an abrupt late-time cosmological event which is known as the little sibling of the Big Rip (LSBR). We classify the interactions which can possibly avoid this late-time abrupt event. We also study the parameter space of the model that is consistent with the interaction between DM and DE energy densities at present as indicated by recent studies based on BAO and SDSS data. In the later stage, we observationally distinguish those interactions using the statefinder hierarchy parameters $\{ S_{3}^{(1)}\,,\, S_{4}^{(1)}\} \,,\,\{ S_{3}^{(1)}\,,\, S_{5}^{(1)}\} .$ We also compute the growth factor parameter $\epsilon(z)$ for the various interactions we consider herein and use the composite null diagnostic (CND) $\{ S_{3}^{(1)}\,,\,\epsilon(z)\} $ as a tool to characterise those interactions by measuring their departures from the concordance model. In addition, we make a preliminary analysis of our model in light of the recently released data by SDSS~III on the measurement of the linear growth rate of structure.


title: The Infrared Imaging Spectrograph (IRIS) for TMT: Multi-tiered Wavefront Measurements and Novel Mechanical Design

abstract: The InfraRed Imaging Spectrograph (IRIS) will be the first light adaptive optics instrument on the Thirty Meter Telescope (TMT). IRIS is being built by a collaboration between Caltech, the University of California, NAOJ and NRC Herzberg. We present novel aspects of the Support Structure, Rotator and On-Instrument Wavefront Sensor systems being developed at NRC Herzberg. IRIS is suspended from the bottom port of the Narrow Field Infrared Adaptive Optics System (NFIRAOS), and provides its own image de-rotation to compensate for sidereal rotation of the focal plane. This arrangement is a challenge because NFIRAOS is designed to host two other science instruments, which imposes strict mass requirements on IRIS. We have been tasked with keeping the instrument mass under seven tonnes which has resulted in a mass reduction of 30 percent for the support structure and rotator compared to the most recent IRIS designs. To accomplish this goal, while still being able to withstand earthquakes, we developed a new design with composite materials. As IRIS is a client instrument of NFIRAOS, it benefits from NFIRAOS's superior AO correction. IRIS assists this correction by sensing low-order aberrations with an On-Instrument Wavefront Sensor (OIWFS). The OIWFS consists of three independently positioned natural guide star wavefront sensors that patrol a 2-arcminute field of view. We expect tip-tilt measurements from faint stars within the IRIS imager focal plane will further stabilize the delivered image quality. We describe how the use of On-Detector Guide Windows (ODGWs) in the IRIS imager can be incorporated into the AO correction. Finally, we present our strategies for acquiring and tracking sources with this complex AO system, and for mitigating and measuring the various potential sources of image blur and misalignment due to properties of the mechanical structure and interfaces. (Abridged)


title: The Infrared Imaging Spectrograph (IRIS) for TMT: motion planning with collision avoidance for the on-instrument wavefront sensors

abstract: The InfraRed Imaging Spectrograph (IRIS) will be a first-light client instrument for the Narrow Field Infrared Adaptive Optics System (NFIRAOS) on the Thirty Meter Telescope. IRIS includes three configurable tip/tilt (TT) or tip/tilt/focus (TTF) On-Instrument Wavefront Sensors (OIWFS). These sensors are positioned over natural guide star (NGS) asterisms using movable polar-coordinate pick-off arms (POA) that patrol an approximately 2-arcminute circular field-of-view (FOV). The POAs are capable of colliding with one another, so an algorithm for coordinated motion that avoids contact is required. We have adopted an approach in which arm motion is evaluated using the gradient descent of a scalar potential field that includes an attractive component towards the goal configuration (locations of target stars), and repulsive components to avoid obstacles (proximity to adjacent arms). The resulting vector field is further modified by adding a component transverse to the repulsive gradient to avoid problematic local minima in the potential. We present path planning simulations using this computationally inexpensive technique, which exhibit smooth and efficient trajectories.


title: The Infrared Imaging Spectrograph (IRIS) for TMT: Data Reduction System

abstract: IRIS (InfraRed Imaging Spectrograph) is the diffraction-limited first light instrument for the Thirty Meter Telescope (TMT) that consists of a near-infrared (0.84 to 2.4 $\mu$m) imager and integral field spectrograph (IFS). The IFS makes use of a lenslet array and slicer for spatial sampling, which will be able to operate in 100's of different modes, including a combination of four plate scales from 4 milliarcseconds (mas) to 50 mas with a large range of filters and gratings. The imager will have a field of view of 34$\times$34 arcsec$^{2}$ with a plate scale of 4 mas with many selectable filters. We present the preliminary design of the data reduction system (DRS) for IRIS that need to address all of these observing modes. Reduction of IRIS data will have unique challenges since it will provide real-time reduction and analysis of the imaging and spectroscopic data during observational sequences, as well as advanced post-processing algorithms. The DRS will support three basic modes of operation of IRIS; reducing data from the imager, the lenslet IFS, and slicer IFS. The DRS will be written in Python, making use of open-source astronomical packages available. In addition to real-time data reduction, the DRS will utilize real-time visualization tools, providing astronomers with up-to-date evaluation of the target acquisition and data quality. The quicklook suite will include visualization tools for 1D, 2D, and 3D raw and reduced images. We discuss the overall requirements of the DRS and visualization tools, as well as necessary calibration data to achieve optimal data quality in order to exploit science cases across all cosmic distance scales.


title: Experimental Verification of an Indefinite Causal Order

abstract: Investigating the role of causal order in quantum mechanics has recently revealed that the causal distribution of events may not be a-priori well-defined in quantum theory. While this has triggered a growing interest on the theoretical side, creating processes without a causal order is an experimental task. Here we report the first decisive demonstration of a process with an indefinite causal order. To do this, we quantify how incompatible our set-up is with a definite causal order by measuring a 'causal witness'. This mathematical object incorporates a series of measurements which are designed to yield a certain outcome only if the process under examination is not consistent with any well-defined causal order. In our experiment we perform a measurement in a superposition of causal orders - without destroying the coherence - to acquire information both inside and outside of a 'causally non-ordered process'. Using this information, we experimentally determine a causal witness, demonstrating by almost seven standard deviations that the experimentally implemented process does not have a definite causal order.


title: Consistency of Hitomi, XMM-Newton and Chandra 3.5 keV data from Perseus

abstract: \emph{Hitomi} observations of Perseus with the Soft X-ray Spectrometer (SXS) provide a high-resolution look at the 3.5 keV feature reported by multiple groups in the Perseus cluster. The \emph{Hitomi} spectrum -- which involves the sum of diffuse cluster emission and the point-like central Active Galactic Nucleus (AGN) -- does not show any excess at $E \sim 3.5 {\rm keV}$, giving an apparent inconsistency with previous observations of excess diffuse emission. We point out that 2009 \emph{Chandra} data reveals a strong dip in the AGN spectrum at $E = (3.54 \pm 0.02) {\rm keV}$ (cluster frame) -- the identical energy to the diffuse excess observed by \emph{XMM-Newton}. Scaling this dip to the 2016 AGN luminosity and adding it to the diffuse \emph{XMM-Newton} excess, this predicts an overall dip in the SXS field of view of $(-5.9 \pm 4.4) \times 10^{-6} \, {\rm ph} \, {\rm cm}^{-2} \, {\rm s}^{-1}$ at $E= 3.54$ keV -- a precise match to the \emph{Hitomi} data when broadened by the dark matter virial velocity. We describe models of Fluorescent Dark Matter that can reproduce this physics, in which dark matter absorbs and then re-emits 3.5 keV photons emitted from the central AGN.


title: Spherical posets from commuting elements

abstract: In this paper we study the homotopy type of the partially ordered set of left cosets of abelian subgroups in an extraspecial $p$-group. We prove that the universal cover of its nerve is homotopy equivalent to a wedge of $r$-spheres where $2r \geq 4$ is the rank of its Frattini quotient. This determines the homotopy type of the universal cover of the classifying space of transitionally commutative bundles.


title: Sparse Filtered SIRT for Electron Tomography

abstract: Electron tomographic reconstruction is a method for obtaining a three-dimensional image of a specimen with a series of two dimensional microscope images taken from different viewing angles. Filtered backprojection, one of the most popular tomographic reconstruction methods, does not work well under the existence of image noises and missing wedges. This paper presents a new approach to largely mitigate the effect of noises and missing wedges. We propose a novel filtered backprojection that optimizes the filter of the backprojection operator in terms of a reconstruction error. This data-dependent filter adaptively chooses the spectral domains of signals and noises, suppressing the noise frequency bands, so it is very effective in denoising. We also propose the new filtered backprojection embedded within the simultaneous iterative reconstruction iteration for mitigating the effect of missing wedges. Our numerical study is presented to show the performance gain of the proposed approach over the state-of-the-art.


title: Spontaneous current in an holographic s+p superfluid

abstract: We study a Maxwell-Proca action in an asymptotically AdS black hole background. When moving the temperature of the black hole, we find rich phase diagrams having, that depend strongly on the dimension of the operator dual to the Proca field . We present different solutions in the bulk that correspond to the holographic dual for $s$, $p$ or $s+p$-wave superfluids. In the last case we observe the onset of a spontaneously induced current.


title: Global gradients for cosmic-ray protons in the heliosphere during the solar minimum of cycle 23/24

abstract: Global gradients for cosmic-ray (CR) protons in the heliosphere are computed with a comprehensive modulation model for the recent prolonged solar minimum of Cycle 23/24. Fortunately, the PAMELA (Payload for Antimatter Matter Exploration and Light-nuclei Astrophysics) and Ulysses/KET (Kiel Electron Telescope) instruments simultaneously observed proton intensities for the period between July 2006 and June 2009. Radial and latitudinal gradients are calculated from measurements, with the latter possible because Ulysses changed its position significantly in the heliocentric meridional plane during this period. The modulation model is set up for the conditions that prevailed during this unusual solar minimum period to gain insight into the role role that particle drifts played in establishing the observed gradients for this period. Four year-end PAMELA proton spectra were reproduced with the model, from 2006 to 2009, followed by corresponding radial profiles that were computed along the Voyager-1 trajectory, and compared to available observations. It is found that the computed intensity levels are in agreement with solar minimum observations from Voyager-1 at multiple energies. The model also reproduces the steep intensity increase observed when Voyager-1 crossed the heliopause region. Good agreement is found between computed and observed latitudinal gradients so that we conclude that the model gives a most reasonable representation of modulation conditions from the Earth to the heliopause for the period from 2006 to 2009. As a characteristic feature of CR drifts, the most negative latitudinal gradient is computed for 2009, with a value of -0.15%/degree around 600 MV. The maximum radial gradient in the inner heliosphere (as covered by Ulysses) also occurs in this range, with the highest value of 4.25%/AU in 2009.


title: Derandomizing Local Distributed Algorithms under Bandwidth Restrictions

abstract: This paper addresses the cornerstone family of \emph{local problems} in distributed computing, and investigates the curious gap between randomized and deterministic solutions under bandwidth restrictions. Our main contribution is in providing tools for derandomizing solutions to local problems, when the $n$ nodes can only send $O(\log n)$-bit messages in each round of communication. We combine bounded independence, which we show to be sufficient for some algorithms, with the method of conditional expectations and with additional machinery, to obtain the following results. Our techniques give a deterministic maximal independent set (MIS) algorithm in the CONGEST model, where the communication graph is identical to the input graph, in $O(D\log^2 n)$ rounds, where $D$ is the diameter of the graph. The best known running time in terms of $n$ alone is $2^{O(\sqrt{\log n})}$, which is super-polylogarithmic, and requires large messages. For the CONGEST model, the only known previous solution is a coloring-based $O(\Delta + \log^* n)$-round algorithm, where $\Delta$ is the maximal degree in the graph. On the way to obtaining the above, we show that in the \emph{Congested Clique} model, which allows all-to-all communication, there is a deterministic MIS algorithm that runs in $O(\log \Delta \log n)$ rounds.%, where $\Delta$ is the maximum degree. When $\Delta=O(n^{1/3})$, the bound improves to $O(\log \Delta)$ and holds also for $(\Delta+1)$-coloring. In addition, we deterministically construct a $(2k-1)$-spanner with $O(kn^{1+1/k}\log n)$ edges in $O(k \log n)$ rounds. For comparison, in the more stringent CONGEST model, the best deterministic algorithm for constructing a $(2k-1)$-spanner with $O(kn^{1+1/k})$ edges runs in $O(n^{1-1/k})$ rounds.


title: The Infrared Imaging Spectrograph (IRIS) for TMT: the ADC optical design

abstract: We present the current optical design for the IRIS Atmospheric Dispersion Corrector (ADC). The ADC is designed for residual dispersions less than ~1 mas across a given passband at elevations of 25 degrees. Since the last report, the area of the IRIS Imager has increased by a factor of four, and the pupil size has increased from 75 to 90mm, both of which contribute to challenges with the design. Several considerations have led to the current design: residual dispersion, amount of introduced distortion, glass transmission, glass availability, and pupil displacement. In particular it was found that there are significant distortions that appear (two different components) that can lead to image blur over long exposures. Also, pupil displacement increases the wavefront error at the imager focus. We discuss these considerations, discuss the compromises, and present the final design choice and expected performance.


title: Time-delay and reality conditions for complex solitons

abstract: We compute lateral displacements and time-delays for a scattering processes of complex multi-soliton solutions of the Korteweg de-Vries equation.The resulting expressions are employed to explain the precise distinction between solutions obtained from different techniques, Hirota's direct method and a superposition principle based on Baecklund transformations. Moreover they explain the internal structures of degenerate compound multi-solitons previously constructed. Their individual one-soliton constituents are time-delayed when scattered amongst each other. We present generic formulae for these time-dependent displacements. By recalling Gardner's transformation method for conserved charges, we argue that the structure of the asymptotic behaviour resulting from the integrability of the model together with its PT-symmetry ensure the reality of all of these charges, including in particular the mass, the momentum and the energy.


title: Green-Kubo relation for friction at liquid-solid interfaces

abstract: We have developed a Green-Kubo relation that enables accurate calculations of friction at solid-liquid interfaces directly from equilibrium molecular dynamics (MD) simulations and that provides a pathway to bypass the time-scale limitations of typical nonequilibrium MD simulations. The theory has been validated for a number of different interfaces and it is demonstrated that the liquid-solid slip is an intrinsic property of an interface. Because of the high numerical efficiency of our method, it can be used in the design of interfaces for applications in aqueous environments, such as nano- and microfluidics.


title: Flowdown of the TMT astrometry error budget(s) to the IRIS design

abstract: TMT has defined the accuracy to be achieved for both absolute and differential astrometry in its top-level requirements documents. Because of the complexities of different types of astrometric observations, these requirements cannot be used to specify system design parameters directly. The TMT astrometry working group therefore developed detailed astrometry error budgets for a variety of science cases. These error budgets detail how astrometric errors propagate through the calibration, observing and data reduction processes. The budgets need to be condensed into sets of specific requirements that can be used by each subsystem team for design purposes. We show how this flowdown from error budgets to design requirements is achieved for the case of TMT's first-light Infrared Imaging Spectrometer (IRIS) instrument.


title: Simulation of $^{67}$Cu photo-nuclear production in nanoparticles

abstract: The process of $^{67}$Cu nuclide photoproduction in the zinc dioxide nanoparticles immersed in the water media was simulated. We calculated the escape fractions of $^{67}$Cu nuclei and corresponding ranges in water for nanoparticle sizes from 40 nm to 80 nm and incident photons energies from 12 MeV to 30 MeV. Usage of capturing nanoparticles for accumulation of the escaped $^{67}$Cu nuclei is also discussed.


title: Masking quantum information is impossible

abstract: Classical information encoded in composite quantum states can be completely hidden from the reduced subsystems and may be found only in the correlations. Can the same be true for quantum information? If quantum information is hidden from subsystems and spread over quantum correlation, we call it as masking of quantum information. We show that while this may still be true for some restricted sets of non-orthogonal quantum states, it is not possible for arbitrary quantum states. This result suggests that quantum qubit commitment -- a stronger version of the quantum bit commitment is not possible in general. Our findings may have potential applications in secret sharing and future quantum communication protocols.


title: The InfraRed Imaging Spectrograph (IRIS) for TMT: latest science cases and simulations

abstract: The Thirty Meter Telescope (TMT) first light instrument IRIS (Infrared Imaging Spectrograph) will complete its preliminary design phase in 2016. The IRIS instrument design includes a near-infrared (0.85 - 2.4 micron) integral field spectrograph (IFS) and imager that are able to conduct simultaneous diffraction-limited observations behind the advanced adaptive optics system NFIRAOS. The IRIS science cases have continued to be developed and new science studies have been investigated to aid in technical performance and design requirements. In this development phase, the IRIS science team has paid particular attention to the selection of filters, gratings, sensitivities of the entire system, and science cases that will benefit from the parallel mode of the IFS and imaging camera. We present new science cases for IRIS using the latest end-to-end data simulator on the following topics: Solar System bodies, the Galactic center, active galactic nuclei (AGN), and distant gravitationally-lensed galaxies. We then briefly discuss the necessity of an advanced data management system and data reduction pipeline.


title: Rumours spread slowly in a small world spatial network

abstract: Rumour spreading is a protocol for modelling the spread of information through a network via user-to-user interaction. The Spatial Preferred Attachment (SPA) model is a random graph model for complex networks: vertices are placed in a metric space, and the link probability depends on the metric distance between vertices, and on their degree. We show that the SPA model typically produces graphs that have small effective diameter, i.e. $O(\log^2 n)$, while rumour spreading is relatively slow, namely polynomial in $n$.


title: Milky Way's Thick and Thin disk: Is there distinct thick disk?

abstract: This article is based on our discussion session on Milky Way models at the 592 WE-Heraeus Seminar, Reconstructing the Milky Way's History: Spectroscopic Surveys, Asteroseismology and Chemodynamical models. The discussion focused on the following question: "Are there distinct thick and thin disks?". The answer to this question depends on the definition one adopts for thin and thick disks. The participants of this discussion converged to the idea that there are at least two different types of disks in the Milky Way. However, there are still important open questions on how to best define these two types of disks (chemically, kinematically, geometrically or by age?). The question of what is the origin of the distinct disks remains open. The future Galactic surveys which are highlighted in this conference should help us answering these questions. The almost one-hour debate involving researchers in the field representing different modelling approaches (Galactic models such as TRILEGAL, Besancon and Galaxia, chemical evolution models, extended distribution functions method, chemodynamics in the cosmological context, and self-consistent cosmological simulations) illustrated how important is to have all these parallel approaches. All approaches have their advantages and shortcomings (also discussed), and different approaches are useful to address specific points that might help us answering the more general question above.


title: Elliptic regularity for Dirac operators on families of noncompact manifolds

abstract: We develop elliptic regularity theory for Dirac operators in a very general framework: we consider Dirac operators linear over $C^*$-algebras, on noncompact manifolds, and in families which are not necessarily locally trivial fibre bundles.


title: Approximation Algorithms for Clustering Problems with Lower Bounds and Outliers

abstract: We consider clustering problems with {\em non-uniform lower bounds and outliers}, and obtain the {\em first approximation guarantees} for these problems. We have a set $\F$ of facilities with lower bounds $\{L_i\}_{i\in\F}$ and a set $\D$ of clients located in a common metric space $\{c(i,j)\}_{i,j\in\F\cup\D}$, and bounds $k$, $m$. A feasible solution is a pair $\bigl(S\sse\F,\sigma:\D\mapsto S\cup\{\mathsf{out}\}\bigr)$, where $\sigma$ specifies the client assignments, such that $|S|\leq k$, $|\sigma^{-1}(i)|\geq L_i$ for all $i\in S$, and $|\sigma^{-1}(\mathsf{out})|\leq m$. In the {\em lower-bounded min-sum-of-radii with outliers} (\lbksro) problem, the objective is to minimize $\sum_{i\in S}\max_{j\in\sigma^{-1}(i)}c(i,j)$, and in the {\em lower-bounded $k$-supplier with outliers} (\lbkso) problem, the objective is to minimize $\max_{i\in S}\max_{j\in\sigma^{-1}(i)}c(i,j)$. We obtain an approximation factor of $12.365$ for \lbksro, which improves to $3.83$ for the non-outlier version (i.e., $m=0$). These also constitute the {\em first} approximation bounds for the min-sum-of-radii objective when we consider lower bounds and outliers {\em separately}. We apply the primal-dual method to the relaxation where we Lagrangify the $|S|\leq k$ constraint. The chief technical contribution and novelty of our algorithm is that, departing from the standard paradigm used for such constrained problems, we obtain an $O(1)$-approximation {\em despite the fact that we do not obtain a Lagrangian-multiplier-preserving algorithm for the Lagrangian relaxation}. We believe that our ideas have {broader applicability to other clustering problems with outliers as well.} We obtain approximation factors of $5$ and $3$ respectively for \lbkso and its non-outlier version. These are the {\em first} approximation results for $k$-supplier with {\em non-uniform} lower bounds.


title: Index theory in spaces of manifolds

abstract: We formulate and prove a generalization of the Atiyah-Singer family index theorem in the context of the theory of spaces of manifolds \`a la Madsen, Tillmann, Weiss, Galatius and Randal-Williams. Our results are for Dirac-type operators linear over arbitrary $C^*$-algebras.


title: 13C Isotopic Fractionation of HC3N in Star-Forming Regions -Low-Mass Star Forming Region L1527 and High-Mass Star Forming Region G28.28-0.36-

abstract: We observed the J=9-8 and 10-9 rotational lines of three13C isotopologues of HC3N in L1527 and G28.28-0.36 with the 45-m radio telescope of the Nobeyama Radio Observatory in order to constrain the main formation mechanisms of HC3N in each source. The abundance ratios of the three 13C isotopologues of HC3N are found to be 0.9 (0.2) : 1.00 : 1.29 (0.19) (1sigma) and 1.0 (0.2) : 1.00 : 1.47 (0.17) (1sigma) for [H13CCCN]: [HC13CCN]: [HCC13CN] in L1527 and G28.28-0.36, respectively. We recognize a similar 13C isotopic fractionation pattern that the abundances of H13CCCN and HC13CCN are comparable, and HCC13CN is more abundant than the others. Based on the results, we discuss the main formation pathway of HC3N. The 13C isotopic fractionation pattern derived from our observations can be explained by the neutral-neutral reaction between C2H2 and CN in both the low-mass (L1527) and high-mass (28.28-0.36) star forming regions.


title: On the arithmetic of weighted complete intersections of low degree

abstract: A variety is rationally connected if two general points can be joined by a rational curve. A higher version of this notion is rational simple connectedness, which requires suitable spaces of rational curves through two points to be rationally connected themselves. We prove that smooth, complex, weighted complete intersections of low enough degree are rationally simply connected. This result has strong arithmetic implications for weighted complete intersections defined over the function field of a smooth, complex curve. Namely, it implies that these varieties satisfy weak approximation at all places, that R-equivalence of rational points is trivial, and that the Chow group of zero cycles of degree zero is zero.


title: Getting NuSTAR on target: predicting mast motion

abstract: The Nuclear Spectroscopic Telescope Array (NuSTAR) is the first focusing high energy (3-79 keV) X-ray observatory operating for four years from low Earth orbit. The X-ray detector arrays are located on the spacecraft bus with the optics modules mounted on a flexible mast of 10.14m length. The motion of the telescope optical axis on the detectors during each observation is measured by a laser metrology system and matches the pre-launch predictions of the thermal flexing of the mast as the spacecraft enters and exits the Earths shadow each orbit. However, an additional motion of the telescope field of view was discovered during observatory commissioning that is associated with the spacecraft attitude control system and an additional flexing of the mast correlated with the Solar aspect angle for the observation. We present the methodology developed to predict where any particular target coordinate will fall on the NuSTAR detectors based on the Solar aspect angle at the scheduled time of an observation. This may be applicable to future observatories that employ optics deployed on extendable masts. The automation of the prediction system has greatly improved observatory operations efficiency and the reliability of observation planning.


title: Friction and slip at solid/liquid interface in vibrational systems

abstract: Molecular dynamics simulations have been performed to study frictional slip and its influence on energy dissipation and momentum transfer at atomically smooth solid/water interfaces. By modifying surface chemistry, we investigate the relationship between slip and the mechanical response of a vibrating solid for both hydrophilic and hydrophobic surfaces. We discover physical phenomena that emerge at high frequencies and that have significant contributions to energy dissipation. A new analytical model is developed to describe mechanical response of the resonators in this high frequency regime, which is relevant in such applications as MEMS-based biosensors. We find a linear relationship between the slip length and the ratio of the damping rate shift to resonant frequency shift, which provides a new way to obtain information about slip length from experiments.


title: On the deceleration of relativistic jets in active galactic nuclei I: Radiation drag

abstract: Deceleration of relativistic jets from active galactic nuclei (AGNs) detected recently by MOJAVE team is discussed in connection with the interaction of the jet material with the external photon field. Appropriate energy density of the isotropic photon field which is necessary to decelerate jets is determined. It is shown that the disturbances of the electric potential and magnetic surfaces play important role in general dynamics of particle deceleration.


title: Comparison between Free and Immobilized Ion Effects on Hydrophobic Interactions: A Molecular Dynamics Study

abstract: Fundamental studies of the effect of specific ions on hydrophobic interactions are driven by the need to understand phenomena such as hydrophobically driven self-assembly or protein folding. Using beta-peptide-inspired nano-rods, we investigate the effects of both free ions (dissolved salts) and proximally immobilized ions on hydrophobic interactions. We find that the free ion effect is correlated with the water density fluctuation near a non-polar molecular surface, showing that such fluctuation can be an indicator of hydrophobic interactions in the case of solution additives. In the case of immobilized ion, our results demonstrate that hydrophobic interactions can be switched on and off by choosing different spatial arrangements of proximal ions on a nano-rod. For globally amphiphilic nano-rods, we find that the magnitude of the interaction can be further tuned using proximal ions with varying ionic sizes. In general, univalent proximal anions are found to weaken hydrophobic interactions. This is in contrast to the effect of free ions, which according to our simulations strengthen hydrophobic interactions. In addition, immobilized anions of increasing ionic size do not follow the same ordering (Hofmeister-like ranking) as free ions when it comes to their impact on hydrophobic interactions. The immobilized ion effect is not simply correlated with the water density fluctuation near the non-polar side of the amphiphilic nano-rod. We propose a molecular picture that explains the contrasting effects of immobilized versus free ions.


title: Stress - Strain Rate Relation in Plug-Free Flow of Dense Granular Matter

abstract: We derive the macroscopic stress tensor for plug-free dense granular flow, using a first-principles coarse-graining of the inter-granular forces. The derivation is based on the assumption, which defines the da Vinci Fluid model, that the inter-granular interactions are dominated by normal contact forces and solid friction. An explicit form for the stress -- strain rate relation is obtained, providing closure for the flow equations of dense granular fluids and improves on existing models, which are also based on solid friction as the dominant drag mechanism.


title: Robustness and Resilience of cities around the world

abstract: The concept of city or urban resilience has emerged as one of the key challenges for the next decades. As a consequence, institutions like the United Nations or Rockefeller Foundation have embraced initiatives that increase or improve it. These efforts translate into funded programs both for action on the ground and to develop quantification of resilience, under the for of an index. Ironically, on the academic side there is no clear consensus regarding how resilience should be quantified, or what it exactly refers to in the urban context. Here we attempt to link both extremes providing an example of how to exploit large, publicly available, worldwide urban datasets, to produce objective insight into one of the possible dimensions of urban resilience. We do so via well-established methods in complexity science, such as percolation theory --which has a long tradition at providing valuable information on the vulnerability in complex systems. Our findings uncover large differences among studied cities, both regarding their infrastructural fragility and the imbalances in the distribution of critical services.


title: The Kontsevich tetrahedral flow revisited

abstract: We prove that the Kontsevich tetrahedral flow $\dot{\mathcal{P}} = \mathcal{Q}_{a:b} (\mathcal{P})$, the right-hand side of which is a linear combination of two differential monomials of degree four in a bi-vector $\mathcal{P}$ on an affine real Poisson manifold $N^n$, does infinitesimally preserve the space of Poisson bi-vectors on $N^n$ if and only if the two monomials in $\mathcal{Q}_{a:b} (\mathcal{P})$ are balanced by the ratio $a:b=1:6$. The proof is explicit; it is written in the language of Kontsevich graphs.


title: Vector bundles and finite covers

abstract: Motivated by the problem of finding algebraic constructions of finite coverings in commutative algebra, the Steinitz realization problem in number theory, and the study of Hurwitz spaces in algebraic geometry, we investigate the vector bundles underlying the structure sheaf of a finite flat branched covering. We prove that, up to a twist, every vector bundle on a smooth projective curve arises from the direct image of the structure sheaf of a smooth, connected branched cover.


title: State machines for large scale computer software and systems

abstract: The behavior and architecture of large scale discrete state systems found in computer software and hardware can be specified and analyzed using a particular class of primitive recursive functions. This paper begins with an illustration of the utility of the method via a number of small examples and then via longer specification and verification of the Paxos distributed consensus algorithm. The sequence maps are then shown to provide an alternative representation of deterministic state machines and algebraic products of state machines. Distributed and composite systems, parallel and concurrent computation, and real-time behavior can all be specified naturally with these methods - which require neither extensions to the classical state machine model nor any axiomatic methods or other techniques from formal methods. Compared to state diagrams or tables or the standard set-tuple-transition-maps, sequence maps are more concise and better suited to describing the behavior and compositional architecture of computer systems. Staying strictly within the boundaries of classical deterministic state machines anchors the methods to the algebraic structures of automata and makes the specifications faithful to engineering practice.


title: Global Convergence Rate of Proximal Incremental Aggregated Gradient Methods

abstract: We focus on the problem of minimizing the sum of smooth component functions (where the sum is strongly convex) and a non-smooth convex function, which arises in regularized empirical risk minimization in machine learning and distributed constrained optimization in wireless sensor networks and smart grids. We consider solving this problem using the proximal incremental aggregated gradient (PIAG) method, which at each iteration moves along an aggregated gradient (formed by incrementally updating gradients of component functions according to a deterministic order) and taking a proximal step with respect to the non-smooth function. While the convergence properties of this method with randomized orders (in updating gradients of component functions) have been investigated, this paper, to the best of our knowledge, is the first study that establishes the convergence rate properties of the PIAG method for any deterministic order. In particular, we show that the PIAG algorithm is globally convergent with a linear rate provided that the step size is sufficiently small. We explicitly identify the rate of convergence and the corresponding step size to achieve this convergence rate. Our results improve upon the best known condition number dependence of the convergence rate of the incremental aggregated gradient methods used for minimizing a sum of smooth functions.


title: Distribution of cokernels of ($n$+$u$) $\times$ $n$ matrices over $\mathbb{Z}_p$

abstract: Let $n, u \geq 0$, $M$ be a ($n$+$u$) $\times$ $n$ matrices over $\mathbb{Z}_p$, and $G$ be a finite abelian p-group group. We find that the probability that the cokernel of $M$ is isomorphic to $\mathbb{Z}_p^u \oplus G$ as $n$ goes to infinity is exactly what is expected from Cohen-Lenstra heuristics for the classical case when $u$ is negative.


title: Propagation of Relativistic, Hydrodynamic, Intermittent Jets in a Rotating, Collapsing GRB Progenitor Star

abstract: The prompt emission of gamma-ray bursts (GRBs) is characterized by rapid variabilities, which may be a direct reflection of the unsteady central engine. We perform a series of axisymmetric 2.5-dimensional simulations to study the propagation of relativistic, hydrodynamic, intermittent jets through the envelope of a GRB progenitor star. A realistic rapidly rotating star is incorporated as the background of jet propagation, and the star is allowed to collapse due to the gravity of the central black hole. By modeling the intermittent jets with constant-luminosity pulses with equal on and off durations, we investigate how the half-period, $T$, affects the jet dynamics. For relatively small $T$ values (e.g. 0.2 s), the jet breakout time $t_{\rm bo}$ depends on the opening angle of the jet, with narrower jets more penetrating and reaching the surface at shorter times. For $T \leq 1$ s, the reverse shock crosses each pulse before the jet penetrates through the stellar envelope. As a result, after the breakout of the first group of pulses at $t_{\rm bo}$, several subsequent pulses vanish before penetrating the star, causing a quiescent gap. For larger half-periods ($T=2.0, 4.0$ s), all the pulses can successfully penetrate through the envelope, since each pulse can propagate through the star before the reverse shock crosses the shell. Our results may interpret the existence of a weak precursor in many long GRBs, given that the GRB central engine injects intermittent pulses with half-period $T \leq 1$ s. The observational data seem to be consistent with such a possibility.


title: A Polynomial-Time Deterministic Approach to the Traveling Salesperson Problem

abstract: We propose a new polynomial-time deterministic algorithm that produces an approximated solution for the traveling salesperson problem. The proposed algorithm ranks cities based on their priorities calculated using a power function of means and standard deviations of their distances from other cities and then connects the cities to their neighbors in the order of their priorities. When connecting a city, a neighbor is selected based on their neighbors' priorities calculated as another power function that additionally includes their distance from the focal city to be connected. This repeats until all the cities are connected into a single loop. The time complexity of the proposed algorithm is $O(n^2)$, where $n$ is the number of cities. Numerical evaluation shows that, despite its simplicity, the proposed algorithm produces shorter tours with less time complexity than other conventional tour construction heuristics. The proposed algorithm can be used by itself or as an initial tour generator for other more complex heuristic optimization algorithms.


title: Reflectance dependence of polytetrafluoroethylene on thickness for xenon scintillation light

abstract: Many rare event searches including dark matter direct detection and neutrinoless double beta decay experiments take advantage of the high VUV reflective surfaces made from polytetrafluoroethylene (PTFE) reflector materials to achieve high light collection efficiency in their detectors. As the detectors have grown in size over the past decade, there has also been an increased need for ever thinner detector walls without significant loss in reflectance to reduce dead volumes around active noble liquids, outgassing, and potential backgrounds. We report on the experimental results to measure the dependence of the reflectance on thickness of two PTFE samples at wavelengths near 178 nm. No change in reflectance was observed as the thickness of a cylindrically shaped PTFE vessel immersed in liquid xenon was varied between 1 mm and 9.5 mm.


title: A Probabilistic Proof of the Multinomial Theorem

abstract: In this note, we give an alternate proof of the multinomial theorem using a probabilistic approach. Although the multinomial theorem is basically a combinatorial result, our proof may be simpler for a student familiar with only basic probability concepts.


title: Online Decorrelation of Humidity and Temperature in Chemical Sensors for Continuous Monitoring

abstract: A method for online decorrelation of chemical sensor signals from the effects of environmental humidity and temperature variations is proposed. The goal is to improve the accuracy of electronic nose measurements for continuous monitoring by processing data from simultaneous readings of environmental humidity and temperature. The electronic nose setup built for this study included eight metal-oxide sensors, temperature and humidity sensors with a wireless communication link to external computer. This wireless electronic nose was used to monitor air for two years in the residence of one of the authors and it collected data continuously during 537 days with a sampling rate of 1 samples per second. To estimate the effects of variations in air humidity and temperature on the chemical sensors signals, we used a standard energy band model for an n-type metal-oxide (MOX) gas sensor. The main assumption of the model is that variations in sensor conductivity can be expressed as a nonlinear function of changes in the semiconductor energy bands in the presence of external humidity and temperature variations. Fitting this model to the collected data, we confirmed that the most statistically significant factors are humidity changes and correlated changes of temperature and humidity. This simple model achieves excellent accuracy with a coefficient of determination $R^2$ close to 1. To show how the humidity-temperature correction model works for gas discrimination, we constructed a model for online discrimination among banana, wine and baseline response. This shows that pattern recognition algorithms improve performance and reliability by including the filtered signal of the chemical sensors.


title: The Infrared Imaging Spectrograph (IRIS) for TMT: Instrument Overview

abstract: IRIS is a near-infrared (0.84 to 2.4 microns) integral field spectrograph and wide-field imager being developed for first light with the Thirty Meter (TMT). It mounts to the advanced optics (AO) system NFIRAOS and has integrated on-instrument wavefront sensors (OIWFS) to achieve diffraction-limited spatial resolution at wavelengths longer than 1 micron. With moderate spectral resolution (R ~4,000 - 8,000) and large bandpass over a continuous field of view, IRIS will open new opportunities in virtually every area of astrophysical science. It will be able to resolve surface features tens of kilometers across Titan, while also mapping the distant galaxies at the scale of an individual star forming region. This paper summarizes the entire design and capabilities, and includes the results from the nearly completed preliminary design phase.


title: Improved Approximation Algorithms for Capacitated Fault-Tolerant k-Center

abstract: In the k-center problem, given a metric space V and a positive integer k, one wants to select k elements (centers) of V and an assignment from V to centers, minimizing the maximum distance between an element of V and its assigned center. One of the most general variants is the capacitated {\alpha}-fault-tolerant k-center, where centers have a limit on the number of assigned elements, and, if {\alpha} centers fail, there is a reassignment from V to non-faulty centers. In this paper, we present a new approach to tackle fault tolerance, by selecting and pre-opening a set of backup centers, then solving the obtained residual instance. For the {0,L}-capacitated case, we give approximations with factor 6 for the basic problem, and 7 for the so called conservative variant, when only clients whose centers failed may be reassigned. Our algorithms improve on the previously best known factors of 9 and 17, respectively. Moreover, we consider the case with general capacities. Assuming {\alpha} is constant, our method leads to the first approximations for this case. We also derive approximations for the capacitated fault- tolerant k-supplier problem.


title: Syzygies of bounded rank symmetric tensors are generated in bounded degree

abstract: We study the syzygies of secant ideals of Veronese subrings of a fixed commutative graded algebra over a field of characteristic 0. One corollary is that the degrees of the minimal generators of the ith syzygy module of the coordinate ring of the rth secant variety of any Veronese embedding of a projective scheme X can be bounded by a constant that only depends on i, r, and X, and not on the choice of the Veronese embedding.


title: Synthesizing Program Input Grammars

abstract: We present an algorithm for synthesizing a context-free grammar encoding the language of valid program inputs from a set of input examples and blackbox access to the program. Our algorithm addresses shortcomings of existing grammar inference algorithms, which both severely overgeneralize and are prohibitively slow. Our implementation, GLADE, leverages the grammar synthesized by our algorithm to fuzz test programs with structured inputs. We show that GLADE substantially increases the incremental coverage on valid inputs compared to two baseline fuzzers.


title: A new approach for calculating nuclear symmetry energy

abstract: By using the functional path integral method, we obtain a model-independent formula for nuclear symmetry energy, which explicitly shows the relation between nuclear symmetry energy and isospin susceptibility. The latter one is found to be a probe to the QCD chiral phase transition. We further found that, the nuclear symmetry energy has an abrupt change at the critical nuclear density where the chiral symmetry restores partially, which could be detected from the experiments.


title: Passive Taxonomy of Wifi Clients using MLME Frame Contents

abstract: In supporting Wifi networks it is useful to identify the type of client device connecting to an AP. Knowing the type of client can guide troubleshooting steps, allow searches for known issues, or allow specific workarounds to be implemented in the AP. For support purposes a passive method which analyzes normal traffic is preferable to active methods, which often send obscure combinations of packet options which might trigger client bugs. We have developed a method of passive client identification which observes the contents of Wifi management frames including Probes and Association requests. We show that the management frames populated by modern Wifi chipsets and device drivers are quite distinguishable, making it possible in many cases to identify the model of the device. Supplementing information from the Wifi management frames with additional information from DHCP further extends the set of clients which can be distinguished.


title: The gradient discretisation method for optimal control problems, with super-convergence for non-conforming finite elements and mixed-hybrid mimetic finite differences

abstract: In this paper, optimal control problems governed by diffusion equations with Dirichlet and Neumann boundary conditions are investigated in the framework of the gradient discretisation method. Gradient schemes are defined for the optimality system of the control problem. Error estimates for state, adjoint and control variables are derived. Superconvergence results for gradient schemes under realistic regularity assumptions on the exact solution is discussed. These super-convergence results are shown to apply to non-conforming $\mathbb{P}_1$ finite elements, and to the mixed/hybrid mimetic finite differences. Results of numerical experiments are demonstrated for the conforming, nonconforming and mixed/hybrid mimetic finite difference schemes.


title: Asymptotic bounds for special values of shifted convolution Dirichlet series

abstract: Hoffstein and Hulse defined the shifted convolution series of two cusp forms by "shifting" the usual Rankin-Selberg convolution L-series by a parameter h. We use the theory of harmonic Maass forms to study the behavior in h-aspect of certain values of these series and prove a polynomial bound as h approaches infinity. Our method relies on a result of Mertens and Ono, who showed that these values are Fourier coefficients of mixed mock modular forms.


title: Mean field control hierarchy

abstract: In this paper we model the role of a government of a large population as a mean field optimal control problem. Such control problems are constrainted by a PDE of continuity-type, governing the dynamics of the probability distribution of the agent population. We show the existence of mean field optimal controls both in the stochastic and deterministic setting. We derive rigorously the first order optimality conditions useful for numerical computation of mean field optimal controls. We introduce a novel approximating hierarchy of sub-optimal controls based on a Boltzmann approach, whose computation requires a very moderate numerical complexity with respect to the one of the optimal control. We provide numerical experiments for models in opinion formation comparing the behavior of the control hierarchy.


title: The mass-loss rates of red supergiants at low metallicity: Detection of rotational CO emission from two red supergiants in the Large Magellanic Cloud

abstract: Using the PACS and SPIRE spectrometers on-board the Herschel Space Observatory, we obtained spectra of two red supergiants (RSGs) in the Large Magellanic Cloud (LMC). Multiple rotational CO emission lines (J=6-5 to 15-14) and 15 H2O lines were detected from IRAS 05280-6910, and one CO line was detected from WOH G64. This is the first time CO rotational lines have been detected from evolved stars in the LMC. Their CO line intensities are as strong as those of the Galactic RSG, VY CMa. Modelling the CO lines and the spectral energy distribution results in an estimated mass-loss rate for IRAS 05280-6910 of 3x10^-4 Msun per yr. The model assumes a gas-to-dust ratio and a CO-to-H2 abundance ratio is estimated from the Galactic values scaled by the LMC metallicity ([Fe/H]~-0.3), i.e., that the CO-to-dust ratio is constant for Galactic and LMC metallicities within the uncertainties of the model. The key factor determining the CO line intensities and the mass-loss rate found to be the stellar luminosity.


title: Creating and Steering Highly Directional Electron Beams in Graphene

abstract: We put forward a concept to create highly collimated, non-dispersive electron beams in pseudo-relativistic Dirac materials such as graphene or topological insulator surfaces. Combining negative refraction and Klein collimation at a parabolic pn junction, the proposed lens generates beams, as narrow as the focal length, that stay focused over scales of several microns and can be steered by a magnetic field without losing collimation. We demonstrate the lens capabilities by applying it to two paradigmatic settings of graphene electron optics: We propose a setup for observing high-resolution angle-dependent Klein tunneling, and, exploiting the intimate quantum-to-classical correspondence of these focused electron waves, we consider high-fidelity transverse magnetic focusing accompanied by simulations for current mapping through scanning gate microscopy. Our proposal opens up new perspectives for next-generation graphene electron optics experiments.