title: Inertial Parameter Identification Including Friction and Motor Dynamics

abstract: Identification of inertial parameters is fundamental for the implementation of torque-based control in humanoids. At the same time, good models of friction and actuator dynamics are critical for the low-level control of joint torques. We propose a novel method to identify inertial, friction and motor parameters in a single procedure. The identification exploits the measurements of the PWM of the DC motors and a 6-axis force/torque sensor mounted inside the kinematic chain. The partial least-square (PLS) method is used to perform the regression. We identified the inertial, friction and motor parameters of the right arm of the iCub humanoid robot. We verified that the identified model can accurately predict the force/torque sensor measurements and the motor voltages. Moreover, we compared the identified parameters against the CAD parameters, in the prediction of the force/torque sensor measurements. Finally, we showed that the estimated model can effectively detect external contacts, comparing it against a tactile-based contact detection. The presented approach offers some advantages with respect to other state-of-the-art methods, because of its completeness (i.e. it identifies inertial, friction and motor parameters) and simplicity (only one data collection, with no particular requirements).


title: Consistency of matter models with asymptotically safe quantum gravity

abstract: We discuss the compatibility of quantum gravity with dynamical matter degrees of freedom. Specifically, we present bounds we obtained in [1] on the allowed number and type of matter fields within asymptotically safe quantum gravity. As a novel result, we show bounds on the allowed number of spin-3/2 (Rarita-Schwinger) fields, e.g., the gravitino. These bounds, obtained within truncated Renormalization Group flows, indicate the compatibility of asymptotic safety with the matter fields of the standard model. Further, they suggest that extensions of the matter content of the standard model are severely restricted in asymptotic safety. This means that searches for new particles at colliders could provide experimental tests for this particular approach to quantum gravity.


title: HERAFitter, Open Source QCD Fit Project

abstract: HERAFitter is an open-source package that provides a framework for the determination of the parton distribution functions (PDFs) of the proton and for many different kinds of analyses in Quantum Chromodynamics (QCD). It encodes results from a wide range of experimental measurements in lepton-proton deep inelastic scattering and proton-proton (proton-antiproton) collisions at hadron colliders. These are complemented with a variety of theoretical options for calculating PDF-dependent cross section predictions corresponding to the measurements. The framework covers a large number of the existing methods and schemes used for PDF determination. The data and theoretical predictions are brought together through numerous methodological options for carrying out PDF fits and plotting tools to help visualise the results. While primarily based on the approach of collinear factorisation, HERAFitter also provides facilities for fits of dipole models and transverse-momentum dependent PDFs. The package can be used to study the impact of new precise measurements from hadron colliders. This paper describes the general structure of HERAFitter and its wide choice of options.


title: Dynamical Casimir effect for surface plasmon polaritons

abstract: Emission of photon pairs by an interface of asymmetric dielectric and thin metal film excited by a normally falling plane wave is considered. The excitation causes oscillations in time of the phase velocity of surface plasmon polaritons in the interface. This leads to the dynamical Casimir effect - the generation of pairs of surface plasmon polariton quanta, which transfer to photons outside the interface. In case of a properly chosen interface, the yield of two-photon emission may exceed that of usual spontaneous parametric down conversion.


title: Prioritized Optimal Control

abstract: This paper presents a new technique to control highly redundant mechanical systems, such as humanoid robots. We take inspiration from two approaches. Prioritized control is a widespread multi-task technique in robotics and animation: tasks have strict priorities and they are satisfied only as long as they do not conflict with any higher-priority task. Optimal control instead formulates an optimization problem whose solution is either a feedback control policy or a feedforward trajectory of control inputs. We introduce strict priorities in multi-task optimal control problems, as an alternative to weighting task errors proportionally to their importance. This ensures the respect of the specified priorities, while avoiding numerical conditioning issues. We compared our approach with both prioritized control and optimal control with tests on a simulated robot with 11 degrees of freedom.


title: Disorder-perturbed Landau levels in high electron mobility epitaxial graphene

abstract: We show that the Landau levels in epitaxial graphene in presence of localized defects are significantly modified compared to those of an ideal system. We report on magneto-spectroscopy experiments performed on high quality samples. Besides typical interband magneto-optical transitions, we clearly observe additional transitions that involve perturbed states associated to short-range impurities such as vacancies. Their intensity is found to decrease with an annealing process and a partial self-healing over time is observed. Calculations of the perturbed Landau levels by using a delta-like potential show electronic states both between and at the same energies of the Laudau levels of ideal graphene. The calculated absorption spectra involving all perturbed and unperturbed states are in very good agreement with the experiments.


title: Inter-procedural Two-Variable Herbrand Equalities

abstract: We prove that all valid Herbrand equalities can be inter-procedurally inferred for programs where all assignments whose right-hand sides depend on at most one variable are taken into account. The analysis is based on procedure summaries representing the weakest pre-conditions for finitely many generic post-conditions with template variables. In order to arrive at effective representations for all occurring weakest pre-conditions, we show for almost all values possibly computed at run-time, that they can be uniquely factorized into tree patterns and a ground term. Moreover, we introduce an approximate notion of subsumption which is effectively decidable and ensures that finite conjunctions of equalities may not grow infinitely. Based on these technical results, we realize an effective fixpoint iteration to infer all inter-procedurally valid Herbrand equalities for these programs. Finally we show that an invariant candidate with a constant number of variables, can be verified in polynomial time.


title: Yet another sphere eversion

abstract: We present a (possibly) new sphere eversion based on the contractibility* of a certain subset of the space of immersions of the circle in the plane. (*: by strong deformation retraction)


title: 13C-methyl formate: observations of a sample of high mass star-forming regions including Orion-KL and spectroscopic characterization

abstract: We have surveyed a sample of massive star-forming regions located over a range of distances from the Galactic centre for methyl formate, HCOOCH$_{3}$, and its isotopologues H$^{13}$COOCH$_{3}$ and HCOO$^{13}$CH$_{3}$. The observations were carried out with the APEX telescope in the frequency range 283.4--287.4~GHz. Based on the APEX observations, we report tentative detections of the $^{13}$C-methyl formate isotopologue HCOO$^{13}$CH$_{3}$ towards the following four massive star-forming regions: Sgr~B2(N-LMH), NGC~6334~IRS~1, W51 e2 and G19.61-0.23. In addition, we have used the 1~mm ALMA science verification observations of Orion-KL and confirm the detection of the $^{13}$C-methyl formate species in Orion-KL and image its spatial distribution. Our analysis shows that the $^{12}$C/$^{13}$C isotope ratio in methyl formate toward Orion-KL Compact Ridge and Hot Core-SW components (68.4$\pm$10.1 and 71.4$\pm$7.8, respectively) are, for both the $^{13}$C-methyl formate isotopologues, commensurate with the average $^{12}$C/$^{13}$C ratio of CO derived toward Orion-KL. Likewise, regarding the other sources, our results are consistent with the $^{12}$C/$^{13}$C in CO. We also report the spectroscopic characterization, which includes a complete partition function, of the complex H$^{13}$COOCH$_{3}$ and HCOO$^{13}$CH$_{3}$ species. New spectroscopic data for both isotopomers H$^{13}$COOCH$_{3}$ and HCOO$^{13}$CH$_{3}$, presented in this study, has made it possible to measure this fundamentally important isotope ratio in a large organic molecule for the first time.


title: Numerical solution of the Burgers' equation with high order splitting methods

abstract: In this work, high order splitting methods have been used for calculating the numerical solutions of the Burgers' equation in one space dimension with periodic and Dirichlet boundary conditions. However, splitting methods with real coefficients of order higher than two necessarily have negative coefficients and can not be used for time-irreversible systems, such as Burgers equations, due to the time-irreversibility of the Laplacian operator. Therefore, the splitting methods with complex coefficients and extrapolation methods with real and positive coefficients have been employed. If we consider the system as the perturbation of an exactly solvable problem(or can be easily approximated numerically), it is possible to employ highly efficient methods to approximate Burgers' equation. The numerical results show that the methods with complex time steps having one set of coefficients real and positive, say $a_i\in\mathbb{R}^+$ and $b_i\in\mathbb{C}^+$, and high order extrapolation methods derived from a lower order splitting method produce very accurate solutions of the Burgers' equation.


title: Achievements of the ATLAS Upgrade Planar Pixel Sensors R&D Project

abstract: In the framework of the HL-LHC upgrade, the ATLAS experiment plans to introduce an all-silicon inner tracker to cope with the elevated occupancy. To investigate the suitability of pixel sensors using the proven planar technology for the upgraded tracker, the ATLAS Planar Pixel Sensor R&D Project (PPS) was established comprising 19 institutes and more than 90 scientists. The paper provides an overview of the research and development project and highlights accomplishments, among them: beam test results with planar sensors up to innermost layer fluences (> 10^16 n_eq cm^2); measurements obtained with irradiated thin edgeless n-in-p pixel assemblies; recent studies of the SCP technique to obtain almost active edges by postprocessing already existing sensors based on scribing, cleaving and edge passivation; an update on prototyping efforts for large areas: sensor design improvements and concepts for low-cost hybridisation; comparison between Secondary Ion Mass Spectrometry results and TCAD simulations. Together, these results allow an assessment of the state-of-the-art with respect to radiation-hard position-sensitive tracking detectors suited for the instrumentation of large areas.


title: Decentralized Convergence to Nash Equilibria in Constrained Deterministic Mean Field Control

abstract: This paper considers decentralized control and optimization methodologies for large populations of systems, consisting of several agents with different individual behaviors, constraints and interests, and affected by the aggregate behavior of the overall population. For such large-scale systems, the theory of aggregative and mean field games has been established and successfully applied in various scientific disciplines. While the existing literature addresses the case of unconstrained agents, we formulate deterministic mean field control problems in the presence of heterogeneous convex constraints for the individual agents, for instance arising from agents with linear dynamics subject to convex state and control constraints. We propose several model-free feedback iterations to compute in a decentralized fashion a mean field Nash equilibrium in the limit of infinite population size. We apply our methods to the constrained linear quadratic deterministic mean field control problem and to the constrained mean field charging control problem for large populations of plug-in electric vehicles.


title: Should We Train Scientific Generalists?

abstract: I examine the topic of training scientific generalists. To focus the discussion, I propose the creation of a new graduate program, analogous in structure to existing MD/PhD programs, aimed at training a critical mass of scientific researchers with substantial intellectual breadth. In addition to completing the normal requirements for a PhD, students would undergo an intense, several year training period designed to expose them to the core vocabulary of multiple subjects at the graduate level. After providing some historical and philosophical context for this proposal, I outline how such a program could be implemented with little institutional overhead by existing research universities. Finally, I discuss alternative possibilities for training generalists by taking advantage of contemporary developments in online learning and open science.


title: Asymptotic Scenarios for the Proton's Central Opacity: An Empirical Study

abstract: We present a model-independent analysis of the experimental data on the ratio $X$ between the elastic and total cross-sections from $pp$ and $\bar{p}p$ scattering in the c.m. energy interval 5 GeV - 8 TeV. Using a novel empirical parametrization for that ratio as a function of the energy and based on theoretical and empirical arguments, we investigate three distinct asymptotic scenarios: either the black-disk (BD) limit or scenarios above and below that limit. Our analysis favors a scenario below the BD, with asymptotic ratio $X = 0.36 \pm 0.08$.


title: Learning and coordinating in a multilayer network

abstract: We introduce a two layer network model for social coordination incorporating two relevant ingredients: a) different networks of interaction to learn and to obtain a payoff , and b) decision making processes based both on social and strategic motivations. Two populations of agents are distributed in two layers with intralayer learning processes and playing interlayer a coordination game. We find that the skepticism about the wisdom of crowd and the local connectivity are the driving forces to accomplish full coordination of the two populations, while polarized coordinated layers are only possible for all-to-all interactions. Local interactions also allow for full coordination in the socially efficient Pareto-dominant strategy in spite of being the riskier one.


title: Kinematics in Partially Ionised Molecular Clouds: Implications for the Transition to Coherence

abstract: Bailey & Basu (2014) show analysis of density and mass-to-flux ratio maps for simulations with either an ionisation profile which takes into account photoionisation (step-like profile) or a cosmic ray only ionisation profile. We extend this study to analyse the effect of these ionisation profiles on velocity structures, kinematics, and synthetic spectra. Clump regions are found to occur at the convergence of two flows with a low velocity region and velocity direction transition occurring at the junction. Models with evident substructure show that core formation occurs on the periphery of these velocity valleys. Analysis of synthetic spectra reveals the presence of large non-thermal components within low-density gas, especially for models with the step-like ionisation profile. All cores show small, sub-thermal relative motions compared to background gas. Large deviations within this analysis are due to the line of sight intersecting low- and high-density regions across the velocity switch transition. Positive deviations correspond to a foreground core moving away from the observer while negative deviations correspond to a background core moving toward the observer. Comparison of velocities resulting from different ionisation profiles suggest that high ionisation fractions yield supersonic velocities, up to two times the sound speed, while regions with low ionisation fractions tend to be subsonic or mildly supersonic. This suggests that the transition to coherence within cores could be a transition between high and low ionisation fractions within the gas.


title: Partial Force Control of Constrained Floating-Base Robots

abstract: Legged robots are typically in rigid contact with the environment at multiple locations, which add a degree of complexity to their control. We present a method to control the motion and a subset of the contact forces of a floating-base robot. We derive a new formulation of the lexicographic optimization problem typically arising in multitask motion/force control frameworks. The structure of the constraints of the problem (i.e. the dynamics of the robot) allows us to find a sparse analytical solution. This leads to an equivalent optimization with reduced computational complexity, comparable to inverse-dynamics based approaches. At the same time, our method preserves the flexibility of optimization based control frameworks. Simulations were carried out to achieve different multi-contact behaviors on a 23-degree-offreedom humanoid robot, validating the presented approach. A comparison with another state-of-the-art control technique with similar computational complexity shows the benefits of our controller, which can eliminate force/torque discontinuities.


title: Effective Operators for Dark Matter Interactions

abstract: The aim of this thesis is to determine possible interactions between the Standard Model with right-chiral neutrinos and a sector of dark matter composed of a real scalar, left- and right-chiral fermion and a vector particle, which are singlets of the Standard Model gauge group. In the introductory chapters we review the evidence for dark matter and methods of its detection. In the main part, we present the complete list of gauge singlet operators of dimension not greater than 4, that consist of the standard sector fields. We obtain also an analogous list for the dark matter particles. Using both of them, we find the possible interactions between the two sectors, firstly for the renormalizable theories, then within the effective theory framework with operators up to dimension 6, imposing the stability symmetry condition on each dark matter field. We consider the problem of generation for the effective operators in underlying, renormalizable gauge theory that includes the Standard Model. It is shown, which of the operators can be generated in tree-level approximation and which require a loop.


title: Initialization of lattice Boltzmann models with the help of the numerical Chapman-Enskog expansion

abstract: We extend the applicability of the numerical Chapman-Enskog expansion as a lifting operator for lattice Boltzmann models to map density and momentum to distribution functions. In earlier work [Vanderhoydonc et al. Multiscale Model. Simul. 10(3): 766-791, 2012] such an expansion was constructed in the context of lifting only the zeroth order velocity moment, namely the density. A lifting operator is necessary to convert information from the macroscopic to the mesoscopic scale. This operator is used for the initialization of lattice Boltzmann models. Given only density and momentum, the goal is to initialize the distribution functions of lattice Boltzmann models. For this initialization, the numerical Chapman-Enskog expansion is used in this paper.


title: Weighted sampling of outer products

abstract: This note gives a simple analysis of the randomized approximation scheme for matrix multiplication of Drineas et al (2006) with a particular sampling distribution over outer products. The result follows from a matrix version of Bernstein's inequality. To approximate the matrix product $AB^\top$ to spectral norm error $\varepsilon\|A\|\|B\|$, it suffices to sample on the order of $(\mathrm{sr}(A) \vee \mathrm{sr}(B)) \log(\mathrm{sr}(A) \wedge \mathrm{sr}(B)) / \varepsilon^2$ outer products, where $\mathrm{sr}(M)$ is the stable rank of a matrix $M$.


title: Some singular sample path properties of a multiparameter fractional Brownian motion

abstract: We prove a Chung-type law of the iterated logarithm for a multiparameter extension of the fractional Brownian motion which is not increment stationary. This multiparameter fractional Brownian motion behaves very differently at the origin and away from the axes, which also appears in the Hausdorff dimension of its range and in the measure of its pointwise H\"older exponents. A functional version of this Chung-type law is also provided.


title: About the First Layer Effect in Surface Enhanced Spectroscopy

abstract: It is demonstrated that there is no chemical enhancement in Surface Enhanced spectroscopy, but the enhancement is of a pure electrodynamical nature.


title: Codensity and the Giry monad

abstract: The Giry monad on the category of measurable spaces sends a space to a space of all probability measures on it. There is also a finitely additive Giry monad in which probability measures are replaced by finitely additive probability measures. We give a characterisation of both finitely and countably additive probability measures in terms of integration operators giving a new description of the Giry monads. This is then used to show that the Giry monads arise as the codensity monads of forgetful functors from certain categories of convex sets and affine maps to the category of measurable spaces.


title: Zero Modes on Zero-Angle Grain Boundaries in Graphene

abstract: Electronic states confined to zero angle grain boundaries in single layer graphene are analyzed using topological band theoretic arguments. We identify a hidden chiral symmetry which supports symmetry protected zero modes in projected bulk gaps. These branches occupy a finite fraction of the interface-projected Brillouin zone and terminate at bulk gap closures, manifesting topological transitions in the occupied manifolds of the bulk systems that are joined at an interface. These features are studied by numerical calculations on a tight binding lattice and by analysis of the geometric phases of the bulk ground states.


title: The role of BRST charge as a generator of gauge transformations in quantization of gauge theories and Gravity

abstract: In the Batalin - Fradkin - Vilkovisky approach to quantization of gauge theories a principal role is given to the BRST charge which can be constructed as a series in Grassmannian (ghost) variables with coefficients given by generalized structure functions of constraints algebra. Alternatively, the BRST charge can be derived making use of the Noether theorem and global BRST invariance of the effective action. In the case of Yang - Mills fields the both methods lead to the same expression for the BRST charge, but it is not valid in the case of General Relativity. It is illustrated by examples of an isotropic cosmological model as well as by spherically-symmetric gravitational model which imitates the full theory of gravity much better. The consideration is based on Hamiltonian formulation of General Relativity in extended phase space. At the quantum level the structure of the BRST charge is of great importance since BRST invariant quantum states are believed to be physical states. Thus, the definition of the BRST charge at the classical level is inseparably related to our attempts to find a true way to quantize Gravity.


title: Electron beam induced current in the high injection regime

abstract: Electron beam induced current (EBIC) is a powerful technique which measures the charge collection efficiency of photovoltaics with sub-micron spatial resolution. The exciting electron beam results in a high generation rate density of electron-hole pairs, which may drive the system into nonlinear regimes. An analytic model is presented which describes the EBIC response when the {\it total} electron-hole pair generation rate exceeds the rate at which carriers are extracted by the photovoltaic cell, and charge accumulation and screening occur. The model provides a simple estimate of the onset of the high injection regime in terms of the material resistivity and thickness, and provides a straightforward way to predict the EBIC lineshape in the high injection regime. The model is verified by comparing its predictions to numerical simulations in 1 and 2 dimensions. Features of the experimental data, such as the magnitude and position of maximum collection efficiency versus electron beam current, are consistent with the 3 dimensional model.


title: A new polarisation amplitude bias reduction method

abstract: Polarisation amplitude estimation is affected by a positive noise bias, particularly important in regions with low signal-to-noise ratio (SNR). We present a new approach to correct for this bias in the case there is additional information about the polarisation angle. We develop the 'known-angle estimator' that works in the special case when there is an independent and high signal-to-noise ratio ($\gtrsim 2\sigma$) measurement of the polarisation angle. It is derived for the general case where the uncertainties in the Q,U Stokes parameters are not symmetric. This estimator completely corrects for the polarisation bias if the polarisation angle is perfectly known. In the realistic case, where the angle template has uncertainties, a small residual bias remains, but that is shown to be much smaller that the one left by other classical estimators. We also test our method with more realistic data, using the noise properties of the three lower frequency maps of WMAP. In this case, the known-angle estimator also produces better results than methods that do not include the angle information. This estimator is therefore useful in the case where the polarisation angle is expected to be constant over different data sets with different SNR.


title: Measurement of inclusive jet spectra in pp, p-Pb, and Pb-Pb collisions with the ALICE detector

abstract: Highly energetic jets are sensitive probes for the kinematic properties and the topology of high energy hadron collisions. Jets are collimated sprays of charged and neutral particles, which are produced in fragmentation of hard scattered partons from an early stage of the collision. In ALICE, jets have been measured in pp, p-Pb, and Pb-Pb collisions at several collision energies. While analyses of Pb-Pb events unveil properties of the hot and dense medium formed in heavy-ion collisions, pp and p-Pb collisions can shed light on hadronization and cold nuclear matter effects in jet production. Additionally, pp and p-Pb serve as a baseline for disentangling hot and cold nuclear matter effects. A possible modification of the initial state is tested in p-Pb analyses. For the extraction of a jet signal, the exact evaluation of the background from the underlying event is an especially important ingredient. Due to the different nature of underlying events, each collision system requires a different analysis technique for removing the effect of the background on the jet sample. The focus of this publication is on the ALICE measurements of nuclear modification factors connecting p-Pb and Pb-Pb events to pp collisions. Furthermore, the radial jet structure is explored by comparing jet spectra reconstructed with different resolution parameters.


title: Polarised radio filaments outside the Galactic plane

abstract: We used data from the \wmap satellite at 23, 33 and 41 GHz to study the diffuse polarised emission over the entire sky. The emission originates mostly from filamentary structures with well-ordered magnetic fields. Some of these structures have been known for decades in radio continuum maps. Their origin is not clear and there are many filaments that are visible for the first time. We have identified and studied 11 filaments. The polarisation fraction of some of them can be as high as 40\%, which is a signature of a well ordered magnetic field. The polarisation spectral indices, averaged over 18 regions in the sky is $\beta = -3.06 \pm 0.02$, consistent with synchrotron radiation. There are significant variations in $\beta$ over the sky ($\Delta\beta\approx0.2$). We explore the link between the large-scale filaments and the local ISM, using the model of an expanding shell in the solar vicinity. We compared observed polarisation angles with the predictions from the model and found good agreement. This strongly suggests that many large scale filaments and loops are nearby structures. This is important in the context of the Galactic magnetic field as these structures are normally included in global models, neglecting the fact that they might be local. We also studied the level of contamination added by the diffuse filaments to the CMB polarisation power spectra. We conclude that, even though these filaments present low radio brightness, a careful removal will be necessary for future all-sky CMB polarisation analysis.


title: Principles for Verification Tools: Separation Logic

abstract: A principled approach to the design of program verification and con- struction tools is applied to separation logic. The control flow is modelled by power series with convolution as separating conjunction. A generic construction lifts resource monoids to assertion and predicate transformer quantales. The data flow is captured by concrete store/heap models. These are linked to the separation algebra by soundness proofs. Verification conditions and transformation laws are derived by equational reasoning within the predicate transformer quantale. This separation of concerns makes an implementation in the Isabelle/HOL proof as- sistant simple and highly automatic. The resulting tool is correct by construction; it is explained on the classical linked list reversal example.


title: One-dimensional Dirac electrons on the surface of weak topological insulators

abstract: We show that a class of weak three-dimensional topological insulators feature one-dimensional Dirac electrons on their surfaces. Their hallmark is a line-like energy dispersion along certain directions of the surface Brillouin zone. These one-dimensional Dirac line degeneracies are topologically protected by a symmetry that we refer to as in-plane time-reversal invariance. We show how this invariance leads to Dirac lines in the surface spectrum of stacked Kane-Mele systems and more general models for weak three-dimensional topological insulators.


title: Improve CAPTCHA's Security Using Gaussian Blur Filter

abstract: Providing security for webservers against unwanted and automated registrations has become a big concern. To prevent these kinds of false registrations many websites use CAPTCHAs. Among all kinds of CAPTCHAs OCR-Based or visual CAPTCHAs are very common. Actually visual CAPTCHA is an image containing a sequence of characters. So far most of visual CAPTCHAs, in order to resist against OCR programs, use some common implementations such as wrapping the characters, random placement and rotations of characters, etc. In this paper we applied Gaussian Blur filter, which is an image transformation, to visual CAPTCHAs to reduce their readability by OCR programs. We concluded that this technique made CAPTCHAs almost unreadable for OCR programs but, their readability by human users still remained high.


title: Non-equilibrium gap-collapse near a first-order Mott transition

abstract: We study the non-equilibrium dynamics of a simple model for V2O3 that consists of a quarter-filled Hubbard model for two orbitals that are split by a weak crystal field. Peculiarities of this model are: (1) a Mott insulator whose gap corresponds to transferring an electron from the occupied lower orbital to the empty upper one, rather than from the lower to the upper Hubbard sub-bands; (2) a Mott transition generically of first order even at zero temperature. We simulate by means of time-dependent Gutzwiller approximation the evolution within the insulating phase of an initial state endowed by a non-equilibrium population of electrons in the upper orbital and holes in the lower one. We find that the excess population may lead, above a threshold, to a gap-collapse and drive the insulator into the metastable metallic phase within the coexistence region around the Mott transition. This result foresees a non-thermal pathway to revert a Mott insulator into a metal. Even though this physical scenario is uncovered in a very specific toy-model, we argue it might apply to other Mott insulating materials that share similar features.


title: Light neutrino mass spectrum with one or two right-handed singlet fermions added

abstract: We analyse two cases of the minimal extension of the Standard Model when one or two right-handed fields are added to the three left-handed fields. A second Higgs doublet (two Higgs doublet model - 2HDM) is included in our model. We calculate one-loop radiative corrections to the mass parameters which produce mass terms for the neutral leptons. In both cases we numerically analyse light neutrino masses as functions of the heavy neutrino masses. Parameters of the model are varied to find light neutrino masses that are compatible with experimental data of solar and atmospheric neutrino mass differences for normal hierarchy. We choose values for the parameters of the tree-level by numerical scans, where we look for the best agreement between computed and experimental neutrino oscillation angles.


title: Power Allocation and Scheduling for Two-Cell Distributed Interference Subtraction System

abstract: This letter studies the power allocation and scheduling problem in two-cell distributed interference subtraction system. Through the interference is cancelled at one receiver side and the analysis of objective function monotony, our key result is the decoupling of power allocation and scheduling without loss of optimality. Simulation exhibits the significant gains of our proposed algorithm over open-loop power allocation with non-cooperation proportional fair scheduling.


title: Patterns in the English Language: Phonological Networks, Percolation and Assembly Models

abstract: In this paper we provide a quantitative framework for the study of phonological networks (PNs) for the English language by carrying out principled comparisons to null models, either based on site percolation, randomization techniques, or network growth models. In contrast to previous work, we mainly focus on null models that reproduce lower order characteristics of the empirical data. We find that artificial networks matching connectivity properties of the English PN are exceedingly rare: this leads to the hypothesis that the word repertoire might have been assembled over time by preferentially introducing new words which are small modifications of old words. Our null models are able to explain the "power-law-like" part of the degree distributions and generally retrieve qualitative features of the PN such as high clustering, high assortativity coefficient, and small-world characteristics. However, the detailed comparison to expectations from null models also points out significant differences, suggesting the presence of additional constraints in word assembly. Key constraints we identify are the avoidance of large degrees, the avoidance of triadic closure, and the avoidance of large non-percolating clusters.


title: Non-minimally Coupled Tachyon Field in Teleparallel Gravity

abstract: We perform a full investigation on dynamics of a new dark energy model in which the four-derivative of a non-canonical scalar field (tachyon) is non-minimally coupled to the vector torsion. Our analysis is done in the framework of teleparallel equivalent of general relativity which is based on torsion instead of curvature. We show that in our model there exists a late-time scaling attractor (point $P_{4}$), corresponding to an accelerating universe with the property that dark energy and dark matter densities are of the same order. Such a point can help to alleviate the cosmological coincidence problem. Existence of this point is the most significant difference between our model and another model in which a canonical scalar field (quintessence) is used instead of tachyon field.


title: LHC searches for the CP-odd Higgs by the jet substructure analysis

abstract: The LHC searches for the CP-odd Higgs boson is studied (with masses from 300 GeV to 1 TeV) in the context of the general two-Higgs-doublet model. With the discovery of the 125 GeV Higgs boson at the LHC, we highlight one promising discovery channel of the hZ. This channel can become significant after the global signal fitting to the 125 GeV Higgs boson in the general two-Higgs-doublet model. It is particularly important in the scenario where two CP-even Higgs bosons in the two-Higgs-doublet model have the common mass of 125 GeV. Since the final states involve a Standard-Model-like Higgs boson, we apply the jet substructure analysis of the fat Higgs jet in order to eliminate the Standard Model background sufficiently. After performing the kinematic cuts, we present the LHC search sensitivities for the CP-odd Higgs boson with mass up to 1 TeV via this channel.


title: Stochastic Parity Games on Lossy Channel Systems

abstract: We give an algorithm for solving stochastic parity games with almost-sure winning conditions on {\it lossy channel systems}, under the constraint that both players are restricted to finite-memory strategies. First, we describe a general framework, where we consider the class of 2 1/2-player games with almost-sure parity winning conditions on possibly infinite game graphs, assuming that the game contains a {\it finite attractor}. An attractor is a set of states (not necessarily absorbing) that is almost surely re-visited regardless of the players' decisions. We present a scheme that characterizes the set of winning states for each player. Then, we instantiate this scheme to obtain an algorithm for {\it stochastic game lossy channel systems}.


title: A Holistic Approach to Log Data Analysis in High-Performance Computing Systems: The Case of IBM Blue Gene/Q

abstract: The complexity and cost of managing high-performance computing infrastructures are on the rise. Automating management and repair through predictive models to minimize human interventions is an attempt to increase system availability and contain these costs. Building predictive models that are accurate enough to be useful in automatic management cannot be based on restricted log data from subsystems but requires a holistic approach to data analysis from disparate sources. Here we provide a detailed multi-scale characterization study based on four datasets reporting power consumption, temperature, workload, and hardware/software events for an IBM Blue Gene/Q installation. We show that the system runs a rich parallel workload, with low correlation among its components in terms of temperature and power, but higher correlation in terms of events. As expected, power and temperature correlate strongly, while events display negative correlations with load and power. Power and workload show moderate correlations, and only at the scale of components. The aim of the study is a systematic, integrated characterization of the computing infrastructure and discovery of correlation sources and levels to serve as basis for future predictive modeling efforts.


title: Status of DVMP, DVCS and GPDs

abstract: The analysis of exclusive meson leptoproduction (DVMP) within the handbag approach is reviewed and the parametrization of the generalized parton distributions (GPDs) is discussed in some detail with the main interest focused of the GPDs H and E. Applications of the GPDs extracted from DVMP to other hard exclusive processes as for instance deeply virtual Compton scattering (DVCS) and an evaluation of Ji's sum rule are also presented.


title: Proton and Neutron Momentum Distributions in A = 3 Asymmetric Nuclei

abstract: A proposal approved by the Jefferson Lab (JLab) PAC to study the proton-to-neutron momentum distribution ratio in A=3 nuclei via (e,e'p) scattering off 3He and 3H mirror nuclei. The experiment will measure the 3H(e,e'p) and 3He(e,e'p) cross-sections and cross-section ratios at Q2 = 2 and xB>1 kinematics, over a missing momentum range of 0 - 450 MeV/c. The experiment was approved in 2014 at part of the JLab Hall-A Tritium run period for a total run time of 12 days.


title: Simulating Organogenesis: Algorithms for the Image-based Determination of Displacement Fields

abstract: Recent advances in imaging technology now provide us with 3D images of developing organs. These can be used to extract 3D geometries for simulations of organ development. To solve models on growing domains, the displacement fields between consecutive image frames need to be determined. Here we develop and evaluate different landmark-free algorithms for the determination of such displacement fields from image data. In particular, we examine minimal distance, normal distance, diffusion-based and uniform mapping algorithms and test these algorithms with both synthetic and real data in 2D and 3D. We conclude that in most cases the normal distance algorithm is the method of choice and wherever it fails, diffusion-based mapping provides a good alternative.


title: A Review of CUDA, MapReduce, and Pthreads Parallel Computing Models

abstract: The advent of high performance computing (HPC) and graphics processing units (GPU), present an enormous computation resource for Large data transactions (big data) that require parallel processing for robust and prompt data analysis. While a number of HPC frameworks have been proposed, parallel programming models present a number of challenges, for instance, how to fully utilize features in the different programming models to implement and manage parallelism via multi-threading in both CPUs and GPUs. In this paper, we take an overview of three parallel programming models, CUDA, MapReduce, and Pthreads. The goal is to explore literature on the subject and provide a high level view of the features presented in the programming models to assist high performance users with a concise understanding of parallel programming concepts and thus faster implementation of big data projects using high performance computing.


title: Effect of data gaps on correlation dimension computed from light curves of variable stars

abstract: Observational data, especially astrophysical data, is often limited by gaps in data that arises due to lack of observations for a variety of reasons. Such inadvertent gaps are usually smoothed over using interpolation techniques. However the smoothing techniques can introduce artificial effects, especially when non-linear analysis is undertaken. We investigate how gaps can affect the computed values of correlation dimension of the system, without using any interpolation. For this we introduce gaps artificially in synthetic data derived from standard chaotic systems, like the R{\"o}ssler and Lorenz, with frequency of occurrence and size of missing data drawn from two Gaussian distributions. Then we study the changes in correlation dimension with change in the distributions of position and size of gaps. We find that for a considerable range of mean gap frequency and size, the value of correlation dimension is not significantly affected, indicating that in such specific cases, the calculated values can still be reliable and acceptable. Thus our study introduces a method of checking the reliability of computed correlation dimension values by calculating the distribution of gaps with respect to its size and position. This is illustrated for the data from light curves of three variable stars, R Scuti, U Monocerotis and SU Tauri. We also demonstrate how a cubic spline interpolation can cause a time series of Gaussian noise with missing data to be misinterpreted as being chaotic in origin. This is demonstrated for the non chaotic light curve of variable star SS Cygni, which gives a saturated D$_{2}$ value, when interpolated using a cubic spline. In addition we also find that a careful choice of binning, in addition to reducing noise, can help in shifting the gap distribution to the reliable range for D$_2$ values.

categories: astro-ph.IM astro-ph.SR nlin.CD physics.data-an


title: Rigged Configurations and Cylindric Loop Schur Functions

abstract: Rigged configurations are known to provide action-angle variables for remarkable discrete dynamical systems known as box-ball systems. We conjecture an explicit piecewise-linear formula to obtain the shapes of a rigged configuration from a tensor product of one-row crystals. We introduce cylindric loop Schur functions and show that they are invariants of the geometric R-matrix. Our piecewise-linear formula is obtained as the tropicalization of ratios of cylindric loop Schur functions. We prove our conjecture for the first shape of a rigged configuration, thus giving a piecewise-linear formula for the lengths of the solitons of a box-ball system.


title: A Mathematical Modeling In Computer Algebra Systems (CAS) As A Base For A Development of The Mathematics Education

abstract: Information technologies for studying physical-mathematical disciplines on base of mathematical modeling in the computer algebra system Maple are described.


title: Vectorial AdS_5/CFT_4 duality for spin-one boundary theory

abstract: We consider an example of vectorial AdS_5/CFT_4 duality when the boundary theory is described by N free complex or real Maxwell fields. It is dual to a particular ("type C") higher spin theory in AdS_5 containing fields in special mixed-symmetry representations. We extend the study of this theory in arXiv:1410.3273 by deriving the expression for the large N limit of the corresponding singlet-sector partition function on S^1 x S^3. We find that in both complex U(N) and real O(N) invariant cases the form of the one-particle partition function is as required by the AdS/CFT duality. We also demonstrate the matching of the Casimir energy on S^3 by assuming an integer shift in the bulk theory coupling.


title: Synthesis of neutron-rich transuranic nuclei in fissile spallation targets

abstract: A possibility of synthesizing neutron-reach super-heavy elements in spallation targets of Accelerator Driven Systems (ADS) is considered. A dedicated software called Nuclide Composition Dynamics (NuCoD) was developed to model the evolution of isotope composition in the targets during a long-time irradiation by intense proton and deuteron beams. Simulation results show that transuranic elements up to Bk-249 can be produced in multiple neutron capture reactions in macroscopic quantities. However, the neutron flux achievable in a spallation target is still insufficient to overcome the so-called fermium gap. Further optimization of the target design, in particular, by including moderating material and covering it by a reflector will turn ADS into an alternative source of transuranic elements in addition to nuclear fission reactors.


title: Superconductivity in cubic noncentrosymmetric PdBiSe Crystal

abstract: Mixing of spin singlet and spin triplet superconducting pairing state is expected in noncentrosymmetric superconductors (NCS) due to the inherent presence of Rashba-type antisymmetric spin-orbit coupling. Unlike low symmetry (tetragonal or monoclinic) NCS, parity is isotropicaly broken in space for cubic NCS and can additionally lead to the coexistence of magnetic and superconducting state under certain conditions. Motivated with such enriched possibility of unconventional superconducting phases in cubic NCS we are reporting successful formation of single crystalline cubic noncentrosymmetric PdBiSe with lattice parameter a = 6.4316 {\AA} and space group P2_1 3 (space group no. 198) which undergoes to superconducting transition state below 1.8 K as measured by electrical transport and AC susceptibility measurements. Significant strength of Rashba-type antisymmetric spin-orbit coupling can be expected for PdBiSe due to the presence of high Z (atomic number) elements consequently making it potential candidate for unconventional superconductivity.


title: On Metric Sorting for Successive Cancellation List Decoding of Polar Codes

abstract: We focus on the metric sorter unit of successive cancellation list decoders for polar codes, which lies on the critical path in all current hardware implementations of the decoder. We review existing metric sorter architectures and we propose two new architectures that exploit the structure of the path metrics in a log-likelihood ratio based formulation of successive cancellation list decoding. Our synthesis results show that, for the list size of $L=32$, our first proposed sorter is $14\%$ faster and $45\%$ smaller than existing sorters, while for smaller list sizes, our second sorter has a higher delay in return for up to $36\%$ reduction in the area.


title: Map Matching based on Conditional Random Fields and Route Preference Mining for Uncertain Trajectories

abstract: In order to improve offline map matching accuracy of low-sampling-rate GPS, a map matching algorithm based on conditional random fields (CRF) and route preference mining is proposed. In this algorithm, road offset distance and the temporal-spatial relationship between the sampling points are used as features of GPS trajectory in CRF model, which can utilize the advantages of integrating the context information into features flexibly. When the sampling rate is too low, it is difficult to guarantee the effectiveness using temporal-spatial context modeled in CRF, and route preference of a driver is used as replenishment to be superposed on the temporal-spatial transition features. The experimental results show that this method can improve the accuracy of the matching, especially in the case of low sampling rate.


title: Perfect sampling for nonhomogeneous Markov chains and hidden Markov models

abstract: We obtain a perfect sampling characterization of weak ergodicity for backward products of finite stochastic matrices, and equivalently, simultaneous tail triviality of the corresponding nonhomogeneous Markov chains. Applying these ideas to hidden Markov models, we show how to sample exactly from the finite-dimensional conditional distributions of the signal process given infinitely many observations, using an algorithm which requires only an almost surely finite number of observations to actually be accessed. A notion of "successful" coupling is introduced and its occurrence is characterized in terms of conditional ergodicity properties of the hidden Markov model and related to the stability of nonlinear filters.


title: A variational approach to the inverse photolithography problem

abstract: Photolithography is a process in the production of integrated circuits in which a mask is used to create an exposed pattern with a desired geometric shape. In the inverse problem of photolithography, a desired pattern is given and the mask that produces an exposed pattern which is close to the desired one is sought. We propose a variational approach formulation of this shape design problem and introduce a regularization strategy. The main novelty in this work is the regularization term that makes the thresholding operation involved in photolithography stable. The potential of the method is demonstrated in numerical experiments.


title: Topological obstructions for rational cuspidal curves in Hirzebruch surfaces

abstract: We study rational cuspidal curves in Hirzebruch surfaces. We provide two obstructions for the existence of rational cuspidal curves in Hirzebruch surfaces with prescribed types of singular points. The first result comes from Heegaard--Floer theory and is a generalization of a result by Livingston and the first author. The second criterion is obtained by comparing the spectrum of a suitably defined link at infinity of a curve with spectra of its singular points.


title: On the abundance of intrinsically disordered proteins in the human proteome and its relation to diseases: there is no enrichment

abstract: Intrinsically disordered proteins are fascinating the community of protein science since the last decade, at least. There is a well-established line of research that intends to reveal the crucial role played by intrinsically disordered proteins (IDPs) in the development of human diseases. The main argument is that IDPs are differentially more present in groups of disease-related proteins. In this note we compare the frequency of disorder in human proteins, both disease-related and not. The frequency of disorder is comparable in the two sub-groups of proteins. Disorder is widespread in human proteins, but it is not a specific pre-requisite of proteins involved in the development of cancer, cardiovascular diseases, diabetes and neurodegenerative diseases. A tendency of cancer-related proteins to be statistically more disordered than the rest of human proteins is confirmed.


title: (Super)Yang-Mills at Finite Heavy-Quark Density

abstract: We study the gravitational duals of $d$-dimensional Yang-Mills theories with $d\leq 6$ in the presence of an ${\cal O} (N^2)$ density of heavy quarks, with $N$ the number of colors. For concreteness we focus on maximally supersymmetric Yang-Mills, but our results apply to a larger class of theories with or without supersymmetry. The gravitational solutions describe renormalization group flows towards infrared scaling geometries characterized by fixed dynamical and hyperscaling-violating exponents. The special case $d=5$ yields an $AdS_3 \times \mathbb{R}^4 \times S^4$ geometry upon uplifting to M-theory. We discuss the multitude of physical scales that separate different dynamical regimes along the flows, as well as the validity of the supergravity description. We also present exact black brane solutions that encode the low-temperature thermodynamics.


title: Curves disjoint from a nef divisor

abstract: On a projective surface it is well-known that the set of curves orthogonal to a nef line bundle is either finite or uncountable. We show that this dichotomy fails in higher dimension by constructing a nef line bundle on a threefold which is trivial on countably infinitely many curves. This answers a question of Totaro. As a pleasant corollary, we exhibit a quasi-projective variety with only a countably infinite set of complete, positive-dimensional subvarieties.


title: A MIP framework for non-convex uniform price day-ahead electricity auctions

abstract: It is well-known that a market equilibrium with uniform prices often does not exist in non-convex day-ahead electricity auctions. We consider the case of the non-convex, uniform-price Pan-European day-ahead electricity market "PCR" (Price Coupling of Regions), with non-convexities arising from so-called complex and block orders. Extending previous results, we propose a new primal-dual framework for these auctions, which has applications in both economic analysis and algorithm design. The contribution here is threefold. First, from the algorithmic point of view, we give a non-trivial exact (i.e. not approximate) linearization of a non-convex 'minimum income condition' that must hold for complex orders arising from the Spanish market, avoiding the introduction of any auxiliary variables, and allowing us to solve market clearing instances involving most of the bidding products proposed in PCR using off-the-shelf MIP solvers. Second, from the economic analysis point of view, we give the first MILP formulations of optimization problems such as the maximization of the traded volume, or the minimization of opportunity costs of paradoxically rejected block bids. We first show on a toy example that these two objectives are distinct from maximizing welfare. We also recover directly a previously noted property of an alternative market model. Third, we provide numerical experiments on realistic large-scale instances. They illustrate the efficiency of the approach, as well as the economics trade-offs that may occur in practice.


title: Reproduction numbers for epidemic models with households and other social structures II: comparisons and implications for vaccination

abstract: In this paper we consider epidemic models of directly transmissible SIR (susceptible $\to$ infective $\to$ recovered) and SEIR (with an additional latent class) infections in fully-susceptible populations with a social structure, consisting either of households or of households and workplaces. We review most reproduction numbers defined in the literature for these models, including the basic reproduction number $R_0$ introduced in the companion paper of this, for which we provide a simpler, more elegant derivation. Extending previous work, we provide a complete overview of the inequalities among these reproduction numbers and resolve some open questions. Special focus is put on the exponential-growth-associated reproduction number $R_r$, which is loosely defined as the estimate of $R_0$ based on the observed exponential growth of an emerging epidemic obtained when the social structure is ignored. We show that for the vast majority of the models considered in the literature $R_r \geq R_0$ when $R_0 \ge 1$ and $R_r \leq R_0$ when $R_0 \le 1$. We show that, in contrast to models without social structure, vaccination of a fraction $1-1/R_0$ of the population, chosen uniformly at random, with a perfect vaccine is usually insufficient to prevent large epidemics. In addition, we provide significantly sharper bounds than the existing ones for bracketing the critical vaccination coverage between two analytically tractable quantities, which we illustrate by means of extensive numerical examples.


title: MKL-RT: Multiple Kernel Learning for Ratio-trace Problems via Convex Optimization

abstract: In the recent past, automatic selection or combination of kernels (or features) based on multiple kernel learning (MKL) approaches has been receiving significant attention from various research communities. Though MKL has been extensively studied in the context of support vector machines (SVM), it is relatively less explored for ratio-trace problems. In this paper, we show that MKL can be formulated as a convex optimization problem for a general class of ratio-trace problems that encompasses many popular algorithms used in various computer vision applications. We also provide an optimization procedure that is guaranteed to converge to the global optimum of the proposed optimization problem. We experimentally demonstrate that the proposed MKL approach, which we refer to as MKL-RT, can be successfully used to select features for discriminative dimensionality reduction and cross-modal retrieval. We also show that the proposed convex MKL-RT approach performs better than the recently proposed non-convex MKL-DR approach.


title: Global Asteroid Risk Analysis

abstract: Potentially impacting asteroids were analysed for their impact risk on the Earth. To this end, the Asteroid Risk Mitigation Optimization and Research (ARMOR) tool is currently being developed. The tool's modules are described and their validation is documented. Based on the asteroid ephemeris, the tool calculates the impact location probability distribution on the surface of the Earth (in the literature, occasionally referred to as risk corridor). NASA's Near Earth Object (NEO) risk list served as the source for asteroid ephemerides. The Line of Variation (LOV) method was employed to find virtual impactors. While offering a simple and fast way of identifying virtual impactors, the method provides a low impactor identification rate. This is because the search space is tightly constricted to the LOV and thus excludes virtual impactors located elsewhere in the asteroid position uncertainty region. The method's performance was evaluated and suggestions for improvements are provided. Application of the tool showed that the asteroid threat is global in nature: impact locations were distributed widely over the Earth's surface. The global asteroid risk was estimated by combining the impact location probability distribution with Earth population data. The identification of high risk regions lead to a discussion about the dynamics of the risk associated with asteroids. The future response to an asteroid threat will depend on the risk that the asteroid poses to the population. The potential applicability of ARMOR as a decision-support tool for responding to the asteroid threat is outlined.


title: Mirror-induced decoherence in hybrid quantum-classical theory

abstract: We re-analyse the optomechanical interferometer experiment proposed by Marshall, Simon, Penrose and Bouwmeester with the help of a recently developed quantum-classical hybrid theory. This leads to an alternative evaluation of the mirror induced decoherence. Surprisingly, we find that it behaves essentially in the same way for suitable initial conditions and experimentally relevant parameters, no matter whether the mirror is considered a classical or quantum mechanical object. We discuss the parameter ranges where this result holds and possible implications for a test of spontaneous collapse models, for which this experiment has been designed.


title: ALMA Observations of the Antennae Galaxies: I. A New Window on a Prototypical Merger

abstract: We present the highest spatial resolution (~0.5") CO (3-2) observations to date of the "overlap" region in the merging Antennae galaxies (NGC 4038/39), taken with the ALMA. We report on the discovery of a long (3 kpc), thin (aspect ratio 30/1), filament of CO gas which breaks up into roughly ten individual knots. Each individual knot has a low internal velocity dispersion (~10 km/s), and the dispersion of the ensemble of knots in the filament is also low (~10 km/s). At the other extreme, we find that the individual clouds in the Super Giant Molecular Cloud 2 region discussed by Wilson and collaborators have a large range of internal velocity dispersions (10 to 80 km/s), and a large dispersion amongst the ensemble (~80 km/s). We use a combination of optical and near-IR data from HST, radio continuum observations taken with the VLA, and CO data from ALMA to develop an evolutionary classification system which provides a framework for studying the sequence of star cluster formation and evolution, from diffuse SGMCs, to proto, embedded, emerging, young, and intermediate/old clusters. The relative timescales have been assessed by determining the fractional population of sources at each evolutionary stage. Using the evolutionary framework, we estimate the maximum age range of clusters in a single SGMC is ~10 Myr, which suggests that the molecular gas is removed over this timescale resulting in the cessation of star formation and the destruction of the GMC within a radius of about 200 pc. (abridged)


title: Variational formulas and disorder regimes of random walks in random potentials

abstract: We give two variational formulas (qVar1) and (qVar2) for the quenched free energy of a random walk in random potential (RWRP) when (i) the underlying walk is directed or undirected, (ii) the environment is stationary and ergodic, and (iii) the potential is allowed to depend on the next step of the walk which covers random walk in random environment (RWRE). In the directed i.i.d. case, we also give two variational formulas (aVar1) and (aVar2) for the annealed free energy of RWRP. These four formulas are the same except that they involve infima over different sets, and the first two are modified versions of a previously known variational formula (qVar0) for which we provide a short alternative proof. Then, we show that (qVar0) always has a minimizer, (aVar2) never has any minimizers unless the RWRP is an RWRE, and (aVar1) has a minimizer if and only if the RWRP is in the weak disorder regime. In the latter case, the minimizer of (aVar1) is unique and it is also the unique minimizer of (qVar1), but (qVar2) has no minimizers except for RWRE. In the case of strong disorder, we give a sufficient condition for the nonexistence of minimizers of (qVar1) and (qVar2) which is satisfied for the log-gamma directed polymer with a sufficiently small parameter. We end with a conjecture which implies that (qVar1) and (qVar2) have no minimizers under very strong disorder.


title: Microscopic nature of the photon strength function: stable and unstable Ni and Sn isotopes

abstract: The pygmy-dipole resonances and photon strength functions in stable and unstable Ni and Sn isotopes are calculated within the microscopic self-consistent version of the extended theory of finite fermi systems which includes the QRPA and phonon coupling effects and uses the known Skyrme forces SLy4. The pygmy dipole resonance in $^{72}Ni$ is predicted with the mean energy of 12.4 MeV and the energy-weighted sum rule exhausting 25.6\% of the total strength. The microscopically obtained photon E1 strength functions are used to calculate nuclear reaction properties, i.e the radiative neutron capture cross section, gamma-ray spectra, and average radiative widths. Our main conclusion is that in all these quantities it is necessary to take the phonon coupling effects into account.


title: Apparatus for measuring the thermal Casimir force at large distances

abstract: We describe a Casimir apparatus based on a differential force measurement between a Au-coated sphere and a planar slab divided in two regions, one of which is made of high-resistivity (dielectric) Si, and the other of Au. The crucial feature of the setup is a semi-transparent plane parallel conducting over-layer, covering both regions. The setup offers two important advantages over existing Casimir setups. On one hand it leads to a large amplification of the difference between the Drude and the plasma prescriptions that are currently used to compute the thermal Casimir force. On the other hand, thanks to the screening power of the over-layer, it is in principle immune from electrostatic forces caused by potential patches on the plates surfaces, that plague present large distance Casimir experiments. If a semi-transparent conductive over-layer with identical patch structure over the Au-Si regions of the plate can be manufactured, similar to the opaque over-layers used in recent searches of non-newtonian gravitational forces based on the isoelectronic technique, the way will be paved for a clear observation of the thermal Casimir force up to separations of several microns, and an unambiguous discrimination between the Drude and the plasma prescriptions.


title: Analysis of incremental augmented affine projection algorithm for distributed estimation of complex signals

abstract: This paper considers the problem of distributed estimation in an incremental network when the measurements taken by the node follow a widely linear model. The proposed algorithm which we refer to it as incremental augmented affine projection algorithm (incAAPA) utilizes the full second order statistical information in the complex domain. Moreover, it exploits spatio-temporal diversity to improve the estimation performance. We derive steady-state performance metric of the incAAPA in terms of the mean-square deviation (MSD). We further derive sufficient conditions to ensure mean-square convergence. Our analysis illustrate that the proposed algorithm is able to process both second order circular (proper) and noncircular (improper) signals. The validity of the theoretical results and the good performance of the proposed algorithm are demonstrated by several computer simulations.


title: Improved HDRG decoders for qudit and non-Abelian quantum error correction

abstract: Hard-decision renormalization group (HDRG) decoders are an important class of decoding algorithms for topological quantum error correction. Due to their versatility, they have been used to decode systems with fractal logical operators, color codes, qudit topological codes, and non-Abelian systems. In this work, we develop a method of performing HDRG decoding which combines strenghts of existing decoders and further improves upon them. In particular, we increase the minimal number of errors necessary for a logical error in a system of linear size $L$ from $\Theta(L^{2/3})$ to $\Omega(L^{1-\epsilon})$ for any $\epsilon>0$. We apply our algorithm to decoding $D(\mathbb{Z}_d)$ quantum double models and a non-Abelian anyon model with Fibonacci-like fusion rules, and show that it indeed significantly outperforms previous HDRG decoders. Furthermore, we provide the first study of continuous error correction with imperfect syndrome measurements for the $D(\mathbb{Z}_d)$ quantum double models. The parallelized runtime of our algorithm is $\text{poly}(\log L)$ for the perfect measurement case. In the continuous case with imperfect syndrome measurements, the averaged runtime is $O(1)$ for Abelian systems, while continuous error correction for non-Abelian anyons stays an open problem.


title: Casimir effect in a quantum space-time

abstract: We apply quantum field theory in quantum space-time techniques to study the Casimir effect for large spherical shells. As background we use the recently constructed exact quantum solution for spherically symmetric vacuum space-time in loop quantum gravity. All calculations are finite and one recovers the usual results without the need of regularization or renormalization. This is an example of how loop quantum gravity provides a natural resolution to the infinities of quantum field theories.


title: Transversal conics and the existence of limit cycles

abstract: This paper deals with the problem of location and existence of limit cycles for real planar polynomial differential systems. We provide a method to construct Poincar\'e--Bendixson regions by using transversal conics. We present several examples of known systems in the literature showing different features about limit cycles: hyperbolicity, Hopf bifurcation, sky-blue bifurcation, rotated vector fields, \ldots for which the obtained Poincar\'e--Bendixson region allows to locate the limit cycles. Our method gives bounds for the bifurcation values of parametrical families of planar vector fields and intervals of existence of limit cycles.


title: A Black-Hole Primer: Particles, Waves, Critical Phenomena and Superradiant Instabilities

abstract: These notes were prepared for a lecture on black holes delivered at the DPG Physics School "General Relativity @ 99" (Physikzentrum Bad Honnef, Germany, September 2014). The common thread of the lecture is the relation between geodesic stability and black-hole perturbations in the geometric optics limit. Chapter 1 establishes notation and discusses a common misconception on Michell's "Newtonian black holes". Chapters 2 and 3 deal with particle dynamics and wave dynamics in black-hole spacetimes, respectively. All calculations should be simple enough that they can be done with pen and paper. Chapter 4 builds on this introduction to discuss two exciting topics in current research: critical phenomena in black-hole mergers and the black-hole bomb instability.


title: Minimal Mahler measure in real quadratic fields

abstract: We consider upper and lower bounds on the minimal height of an irrational number lying in a particular real quadratic field.


title: Invariance Principle for symmetric Diffusions in a degenerate and unbounded stationary and ergodic Random Medium

abstract: We study a symmetric diffusion $X$ on $\mathbb{R}^d$ in divergence form in a stationary and ergodic environment, with measurable unbounded and degenerate coefficients $a^\omega$. The diffusion is formally associated with $L^\omega u = \nabla\cdot(a^\omega\nabla u)$, and we make sense of it through Dirichlet forms theory. We prove for $X$ a quenched invariance principle, under some moment conditions on the environment; the key tool is the sublinearity of the corrector obtained by Moser's iteration scheme.


title: Interferometric detection of Chern numbers in topological optical lattices

abstract: Topological states of matter emergent as a new type of quantum phases, which can be distinguished by their associated topological invariants, e.g., Chern numbers. Currently, there is increasing in-terests toward the physically detection of the new predicted topological phases. Here, we propose an interferometric approach to directly measure the Chern number in a topological optical lattice via detecting the associated Zak phase. We show that this interferometric approach can distinguish Zak phases of plus or minus 2{\pi} from 0 in the first Brillouin zone, and thus provides a new tool to directly detect the Chern number of topological systems. In addition, we demonstrate that this method is feasible under realistic experimental conditions and widely applicable for many systems. Finally, this scheme can be readily generalized to detect high Chern number systems.


title: A Gesture Recognition System for Detecting Behavioral Patterns of ADHD

abstract: We present an application of gesture recognition using an extension of Dynamic Time Warping (DTW) to recognize behavioural patterns of Attention Deficit Hyperactivity Disorder (ADHD). We propose an extension of DTW using one-class classifiers in order to be able to encode the variability of a gesture category, and thus, perform an alignment between a gesture sample and a gesture class. We model the set of gesture samples of a certain gesture category using either GMMs or an approximation of Convex Hulls. Thus, we add a theoretical contribution to classical warping path in DTW by including local modeling of intra-class gesture variability. This methodology is applied in a clinical context, detecting a group of ADHD behavioural patterns defined by experts in psychology/psychiatry, to provide support to clinicians in the diagnose procedure. The proposed methodology is tested on a novel multi-modal dataset (RGB plus Depth) of ADHD children recordings with behavioural patterns. We obtain satisfying results when compared to standard state-of-the-art approaches in the DTW context.


title: Deformations of three-dimensional metrics

abstract: We examine three-dimensional metric deformations based on a tetrad transformation through the action the matrices of scalar fields. We describe by this approach to deformation the results obtained by Coll et al. in [1], where it is stated that any three--dimensional metric was locally obtained as a deformation of a constant curvature metric parameterized by a 2--form.To this aim, we construct the corresponding deforming matrices and provide their classification according to the properties of the scalar $\sigma$ and of the vector $\mathbf{s}$ used in [1] to deform the initial metric. The resulting causal structure of the deformed geometries is examined, too.Finally we apply our results to a spherically symmetric three geometry and to a space sector of Kerr metric.


title: The mean velocity profile of near-wall turbulent flow

abstract: The issue of analytical derivation of the mean velocity profile in a near-wall turbulent flow is revisited in the context of a two-dimensional channel flow. An approach based on the use of dispersion relations for the flow velocity is developed. It is shown that for an incompressible flow conserving vorticity, there exists a decomposition of the velocity field into rotational and potential components, such that the restriction of the former to an arbitrary cross-section of the channel is a functional of the vorticity and velocity distributions over that cross-section, while the latter is divergence-free and bounded downstream thereof. By eliminating the unknown potential component with the help of a dispersion relation, a nonlinear integro-differential equation for the flow velocity is obtained. It is then analyzed within an asymptotic expansion in the small ratio v*/U of the friction velocity to the mean flow velocity. Upon statistical averaging in the lowest nontrivial order, this equation relates the mean velocity to the cross-correlation function of the velocity fluctuations. Analysis of the equation reveals existence of two continuous families of solutions, one having the near-wall asymptotic of the form U \sim ln^p (y/y0), where y is the distance to the wall, p>0 is arbitrary, and the other, U \sim y^n, with n>0 also arbitrary except in the limit n \to 0 where it turns out to be a universal function of the Reynolds number, n \sim 1/ln(Re). It is proved, furthermore, that given a mean velocity distribution having either asymptotic, one can always construct a cross-correlation function so as to satisfy the obtained equation. These results are discussed in the light of the existing controversy regarding experimental verification of the law of the wall.


title: On Torsion-Free Semigroups Generated by Invertible Reversible Mealy Automata

abstract: This paper addresses the torsion problem for a class of automaton semigroups, defined as semigroups of transformations induced by Mealy automata, aka letter-by-letter transducers with the same input and output alphabet. The torsion problem is undecidable for automaton semigroups in general, but is known to be solvable within the well-studied class of (semi)groups generated by invertible bounded Mealy automata. We focus on the somehow antipodal class of invertible reversible Mealy automata and prove that for a wide subclass the generated semigroup is torsion-free.


title: A search for open cluster Cepheids in the Galactic plane

abstract: We analyse all potential combinations of Galactic Cepheids and open clusters (OCs) in the most up-to-date catalogues available. Isochrone fitting and proper-motion calcula- tion are applied to all potential OC{Cepheid combinations. Five selection criteria are used to select possible OC Cepheids: (i) the Cepheid of interest must be located within 60 arcmin of the OC's centre; (ii) the Cepheid's proper motion is located within the 1 sigma distribution of that of its host OC; (iii) the Cepheid is located in the instability strip of its postulated host OC; (iv) the Cepheid and OC distance moduli should differ by less than 1 mag; and (v) the Cepheid and OC ages (and, where available, their metal- licities) should be comparable: {\Delta}log(t yr^-1) < 0.3. Nineteen possible OC Cepheids are found based on our near-infrared (NIR) analysis; eight additional OC{Cepheid associations may be genuine pairs for which we lack NIR data. Six of the Cepheids analysed at NIR wavelengths are new, high-probability OC Cepheids, since they lie on the near-infrared (NIR) period (P){luminosity relation (PLR). These objects include TY Sct and CN Sct in Dolidze 34, XX Sgr in Dolidze 52, CK Sct in NGC 6683, VY Car in ASCC 61 and U Car in Feinstein 1. Two additional new OC Cepheids lack NIR data: V0520 Cyg in NGC 6991 and CS Mon in Juchert 18. The NIR PLR for our confirmed sample of OC Cepheids is M_J = (-3.12 +/- 0.29) log(P day^-1)-(2.17 +/- 0.29) mag, which is in good agreement with the best NIR PLR available for all Galactic Cepheids.


title: Lower Bounds For The First Eigenvalue Of The Laplacian With Dirichlet Boundary Conditions In A Hyperbolic Space Of A Negative Constant Curvature

abstract: In this paper we consider a domain in a space of negative constant sectional curvature. Such assumption about the sectional curvature let us develop a new technique and improve existing lower bounds of eigenvalues from Dirichlet eigenvalue problem, obtained by Alessandro Savo in 2009.


title: A covariant Stinespring type theorem for $\tau$-maps

abstract: Let $\tau$ be a linear map from a unital $C^*$-algebra $\CMcal A$ to a von Neumann algebra $\mathematical B$ and let $\CMcal C$ be a unital $C^*$-algebra. A map $T$ from a Hilbert $\CMcal A$-module $E$ to a von Neumann $\CMcal C$-$\CMcal B$ module $F$ is called a $\tau$-map if $$\langle T(x),T(y)\rangle=\tau(\langle x, y\rangle)~\mbox{for all}~x,y\in E.$$ A Stinespring type theorem for $\tau$-maps and its covariant version are obtained when $\tau$ is completely positive. We show that there is a bijective correspondence between the set of all $\tau$-maps from $E$ to $F$ which are $(u',u)$-covariant with respect to a dynamical system $(G,\eta,E)$ and the set of all $(u',u)$-covariant $\widetilde{\tau}$-maps from the crossed product $E\times_{\eta} G$ to $F$, where $\tau$ and $\widetilde{\tau}$ are completely positive.


title: Virtual vector bundles and graded Thom spectra

abstract: We introduce a convenient framework for constructing and analyzing orthogonal Thom spectra arising from virtual vector bundles. This framework enables us to set up a theory of orientations and graded Thom isomorphisms with good multiplicative properties. The theory is applied to the analysis of logarithmic structures on commutative ring spectra.


title: Three-Year Global Survey of Coronal Null Points from Potential-Field-Source-Surface (PFSS) Modeling and Solar Dynamics Observatory (SDO) Observations

abstract: This article compiles and examines a comprehensive coronal magnetic-null-point survey created by potential-field-source-surface (PFSS) modeling and Solar Dynamics Observatory/Atmospheric Imaging Assembly (SDO/AIA) observations. The locations of 582 potential magnetic null points in the corona were predicted from the PFSS model between Carrington Rotations (CR) 2098 (June 2010) and 2139 (July 2013). These locations were manually inspected, using contrast-enhanced SDO/AIA images in 171 angstroms at the east and west solar limb, for structures associated with nulls. A Kolmogorov--Smirnov (K--S) test showed a statistically significant difference between observed and predicted latitudinal distributions of null points. This finding is explored further to show that the observability of null points could be affected by the Sun's asymmetric hemisphere activity. Additional K--S tests show no effect on observability related to eigenvalues associated with the fan and spine structure surrounding null points or to the orientation of spine. We find that approximately 31% of nulls obtained from the PFSS model were observed in SDO/AIA images at one of the solar limbs. An observed null on the east solar limb had a 51.6% chance of being observed on the west solar limb. Predicted null points going back to CR 1893 (March 1995) were also used for comparing radial and latitudinal distributions of nulls to previous work and to test for correlation of solar activity to the number of predicted nulls.


title: Absence of jamming in ant trails: Feedback control of self propulsion and noise

abstract: We present a model of ant traffic considering individual ants as self-propelled particles undergoing single file motion on a one-dimensional trail. Recent experiments on unidirectional ant traffic in well-formed natural trails showed that the collective velocity of ants remains approximately unchanged, leading to absence of jamming even at very high densities [ John et. al., Phys. Rev. Lett. 102, 108001 (2009) ]. Assuming a feedback control mechanism of self-propulsion force generated by each ant using information about the distance from the ant in front, our model captures all the main features observed in the experiment. The distance headway distribution shows a maximum corresponding to separations within clusters. The position of this maximum remains independent of average number density. We find a non-equilibrium first order transition, with the formation of an infinite cluster at a threshold density where all the ants in the system suddenly become part of a single cluster.


title: Quantum Integrals from Coalgebra Structure

abstract: Quantum versions of the hydrogen atom and the harmonic oscillator are studied on non Euclidean spaces of dimension N. 2N-1 integrals, of arbitrary order, are constructed via a multi-dimensional version of the factorization method, thus confirming the conjecture of D Riglioni 2013 J. Phys. A: Math. Theor. 46 265207. The systems are extended via coalgebra extension of sl(2) representations, although not all integrals are expressible in these generators. As an example, dimensional reduction is applied to 4D systems to obtain extension and new proofs of the superintegrability of known families of Hamiltonians.


title: Global Trends of CME Deflections Based on CME and Solar Parameters

abstract: Accurate space weather forecasting requires knowledge of the trajectory of coronal mass ejections (CMEs), including any deflections close to the Sun or through interplanetary space. Kay et al. 2013 introduced ForeCAT, a model of CME deflection resulting from the background solar magnetic field. For a magnetic field solution corresponding to Carrington Rotation (CR) 2029 (declining phase, April-May 2005), the majority of the CMEs deflected to the Heliospheric Current Sheet (HCS), the minimum in magnetic pressure on global scales. Most of the deflection occurred below 4 Rs. Here we extend ForeCAT to include a three dimensional description of the deflecting CME. We attempt to answer the following questions: a) Do all CMEs deflect to the magnetic minimum? and b) Does most deflection occur within the first few solar radii (~4 Rs)? Results for solar minimum and declining phase CMEs show that not every CME deflects to the magnetic minimum and that the deflection is typically determined below 2 Rs. Slow, wide, low mass CMEs in declining phase solar backgrounds with strong magnetic field and magnetic gradients exhibit the largest deflections. Local gradients related to active regions tend to cause the largest deviations from the deflection predicted by global magnetic gradients, but variations can also be seen for CMEs in the quiet sun regions of the declining phase CR. We show the torques due to differential forces along the CME can cause rotation about the CME's toroidal axis.


title: Fuzzy models for learning assessment

abstract: In the current paper a new Trapezoidal Fuzzy Model for Assessment is developed. This model is a variation of a special form of the commonly used in Fuzzy Mathematics Center of Gravity technique.


title: Spectroscopic Needs for Training of LSST Photometric Redshifts

abstract: This white paper summarizes those conclusions of the Snowmass White Paper "Spectroscopic Needs for Imaging Dark Energy Experiments" (arXiv:1309.5384) which are relevant to the training of LSST photometric redshifts; i.e., the use of spectroscopic redshifts to improve algorithms and reduce photo-z errors. The larger and more complete the available training set is, the smaller the RMS error in photo-z estimates should be, increasing LSST's constraining power. Among the better US-based options for this work are the proposed MANIFEST fiber feed for the Giant Magellan Telescope or (with lower survey speed) the WFOS spectrograph on the Thirty Meter Telescope (TMT). Due to its larger field of view and higher multiplexing, the PFS spectrograph on Subaru would be able to obtain a baseline training sample faster than TMT; comparable performance could be achieved with a highly-multiplexed spectrograph on Gemini with at least a 20 arcmin diameter field of view.


title: Spectral Noise Correlations of an Ultrafast Frequency Comb

abstract: Cavity-based noise detection schemes are combined with ultrafast pulse shaping as a means to diagnose the spectral correlations of both the amplitude and phase noise of an ultrafast frequency comb. The comb is divided into ten spectral regions, and the distribution of noise as well as the correlations between all pairs of spectral regions are measured against the quantum limit. These correlations are then represented in the form of classical noise matrices, which furnish a complete description of the underlying comb dynamics. Their eigendecomposition reveals a set of theoretically predicted, decoupled noise modes that govern the dynamics of the comb. Finally, the matrices contain the information necessary to deduce macroscopic noise properties of the comb.


title: On the Feasibility and Implications of Self-Contained Search Engines in the Browser

abstract: JavaScript engines inside modern browsers are capable of running sophisticated multi-player games, rendering impressive 3D scenes, and supporting complex, interactive visualizations. Can this processing power be harnessed for information retrieval? This paper explores the feasibility of building a JavaScript search engine that runs completely self-contained on the client side within the browser---this includes building the inverted index, gathering terms statistics for scoring, and performing query evaluation. The design takes advantage of the IndexDB API, which is implemented by the LevelDB key-value store inside Google's Chrome browser. Experiments show that although the performance of the JavaScript prototype falls far short of the open-source Lucene search engine, it is sufficiently responsive for interactive applications. This feasibility demonstration opens the door to interesting applications in offline and private search across multiple platforms as well as hybrid split-execution architectures whereby clients and servers collaboratively perform query evaluation. One possible future scenario is the rise of an online search marketplace in which commercial search engine companies and individual users participate as rational economic actors, balancing privacy, resource usage, latency, and other factors based on customizable utility profiles.


title: Four Ways from Universal to Particular: How Chomsky's Language-Acquisition Faculty is Not Selectionist

abstract: Following the development of the selectionist theory of the immune system, there was an attempt to characterize many biological mechanisms as being "selectionist" as juxtaposed to "instructionist." But this broad definition would group Darwinian evolution, the immune system, embryonic development, and Chomsky's language-acquisition mechanism as all being "selectionist." Yet Chomsky's mechanism (and embryonic development) are significantly different from the selectionist mechanisms of biological evolution or the immune system. Surprisingly, there is an abstract way using two dual mathematical logics to make the distinction between genuinely selectionist mechanisms and what are better called "generative" mechanisms. This note outlines that distinction.


title: Cross-correlation between the CMB lensing potential measured by Planck and high-z sub-mm galaxies detected by the Herschel-ATLAS survey

abstract: We present the first measurement of the correlation between the map of the cosmic microwave background (CMB) lensing potential derived from the \emph{Planck} nominal mission data and $z\gtrsim 1.5$ galaxies detected by the \emph{Herschel}-ATLAS (H-ATLAS) survey covering about $600\,\hbox{deg}^2$, i.e. about 1.4\% of the sky. We reject the hypothesis that there is no correlation between CMB lensing and galaxy detection at a $20\,\sigma$ significance, checking the result by performing a number of null tests. The significance of the detection of the theoretically expected cross-correlation signal is found to be $10\,\sigma$. The galaxy bias parameter, $b$, derived from a joint analysis of the cross-power spectrum and of the auto-power spectrum of the galaxy density contrast is found to be $b=2.80^{+0.12}_{-0.11}$, consistent with earlier estimates for H-ATLAS galaxies at similar redshifts. On the other hand, the amplitude of the cross-correlation is found to be a factor $1.62 \pm 0.16$ higher than expected from the standard model and also found by cross-correlation analyses with other tracers of the large-scale structure. The enhancement due to lensing magnification can account for only a fraction of the excess cross-correlation signal. We suggest that part of it may be due to an incomplete removal of the contamination of the CIB, that includes the H-ATLAS sources we are cross-correlating with. In any case, the highly significant detection reported here using a catalog covering only 1.4\% of the sky demonstrates the potential of CMB lensing correlations with submillimeter surveys.


title: On the continuity of the commutative limit of the 4d N=4 non-commutative super Yang-Mills theory

abstract: We study the commutative limit of the non-commutative maximally supersymmetric Yang-Mills theory in four dimensions (N=4 SYM). The commutative limits of non-commutative spaces are important in particular in the applications of non-commutative spaces for regularisation of supersymmetric theories (such as the use of non-commutative spaces as alternatives to lattices for supersymmetric gauge theories and interpretations of some matrix models as regularised supermembrane or superstring theories), which in turn can play a prominent role in the study of quantum gravity via the gauge/gravity duality. In general, the commutative limits are known to be singular and non-smooth due to UV/IR mixing effects. We give a direct proof that UV effects do not break the continuity of the commutative limit of the non-commutative N=4 SYM to all order in perturbation theory, including non-planar contributions. This is achieved by establishing the uniform convergence (with respect to the non-commutative parameter) of momentum integrals associated with all Feynman diagrams appearing in the theory, using the same tools involved in the proof of finiteness of the commutative N=4 SYM.


title: A Spitzer Space Telescope survey of extreme Asymptotic Giant Branch stars in M32

abstract: We investigate the population of cool, evolved stars in the Local Group dwarf elliptical galaxy M32, using Infrared Array Camera observations from the Spitzer Space Telescope. We construct deep mid-infrared colour-magnitude diagrams for the resolved stellar populations within 3.5 arcmin of M32's centre, and identify those stars that exhibit infrared excess. Our data is dominated by a population of luminous, dust-producing stars on the asymptotic giant branch (AGB) and extend to approximately 3 mag below the AGB tip. We detect for the first time a sizeable population of `extreme' AGB stars, highly enshrouded by circumstellar dust and likely completely obscured at optical wavelengths. The total dust-injection rate from the extreme AGB candidates is measured to be $7.5 \times 10^{-7}$ ${\rm M}_{\odot} \, {\rm yr}^{-1}$, corresponding to a gas mass-loss rate of $1.5 \times 10^{-4}$ ${\rm M}_{\odot} \, {\rm yr}^{-1}$. These extreme stars may be indicative of an extended star-formation epoch between 0.2 and 5 Gyr ago.


title: Modern Particle Physics Event Generation with WHIZARD

abstract: We describe the multi-purpose Monte-Carlo event generator WHIZARD for the simulation of high-energy particle physics experiments. Besides the presentation of the general features of the program like SM physics, BSM physics, and QCD effects, special emphasis will be given to the support of the most accurate simulation of the collider environments at hadron colliders and especially at future linear lepton colliders. On the more technical side, the very recent code refactoring towards a completely object-oriented software package to improve maintainability, flexibility and code development will be discussed. Finally, we present ongoing work and future plans regarding higher-order corrections, more general model support including the setup to search for new physics in vector boson scattering at the LHC, as well as several lines of performance improvements.


title: Spectroscopic Needs for Calibration of LSST Photometric Redshifts

abstract: This white paper summarizes the conclusions of the Snowmass White Paper "Spectroscopic Needs for Imaging Dark Energy Experiments" (arXiv:1309.5384) which are relevant to the calibration of LSST photometric redshifts; i.e., the accurate characterization of biases and uncertainties in photo-z's. Any significant miscalibration will lead to systematic errors in photo-z's, impacting nearly all extragalactic science with LSST. As existing deep redshift samples have failed to yield highly-secure redshifts for a systematic 20%-60% of their targets, it is a strong possibility that future deep spectroscopic samples will not solve the calibration problem on their own. The best options in this scenario are provided by cross-correlation methods that utilize clustering with objects from spectroscopic surveys (which need not be fully representative) to trace the redshift distribution of the full sample. For spectroscopy, the eBOSS survey would enable a basic calibration of LSST photometric redshifts, while the expected LSST-DESI overlap would be more than sufficient for an accurate calibration at z>0.2. A DESI survey of nearby galaxies conducted in bright time would enable accurate calibration down to z~0. The expanded areal coverage provided by the transfer of the DESI instrument (or duplication of it at the Blanco Telescope) would enable the best possible calibration from cross-correlations, in addition to other science gains.


title: Proof-Carrying Hardware via IC3

abstract: Proof-carrying hardware (PCH) is an approach to achieving safety of dynamically reconfigurable hardware, transferring the idea of proof-carrying code to the hardware domain. Current PCH approaches are, however, either limited to combinational and bounded unfoldings of sequential circuits, or only provide semi-automatic proof generation. We propose a new approach to PCH which employs IC3 as proof generator, making automatic PCH applicable to sequential circuits in their full generality. We demonstrate feasibility of our approach by showing that proof validation is several orders of magnitude faster than original proof generation while (most often) generating smaller proofs than current PCHs.


title: Quantum weighted projective and lens spaces

abstract: We generalize to quantum weighted projective spaces in any dimension previous results of us on K-theory and K-homology of quantum projective spaces `tout court'. For a class of such spaces, we explicitly construct families of Fredholm modules, both bounded and unbounded (that is spectral triples), and prove that they are linearly independent in the K-homology of the corresponding C*-algebra. We also show that the quantum weighted projective spaces are base spaces of quantum principal circle bundles whose total spaces are quantum lens spaces. We construct finitely generated projective modules associated with the principal bundles and pair them with the Fredholm modules, thus proving their non-triviality.


title: Fast detection of cycles in timed automata

abstract: We propose a new efficient algorithm for detecting if a cycle in a timed automaton can be iterated infinitely often. Existing methods for this problem have a complexity which is exponential in the number of clocks. Our method is polynomial: it essentially does a logarithmic number of zone canonicalizations. This method can be incorporated in algorithms for verifying B\"uchi properties on timed automata. We report on some experiments that show a significant reduction in search space when our iteratability test is used.