title: The hammock localization preserves homotopies

abstract: The hammock localization provides a model for a homotopy function complex in any Quillen model category. We prove that a homotopy between a pair of morphisms induces a homotopy between the maps induced by taking the hammock localization. We describe applications of this fact to the study of homotopy algebras over monads and homotopy idempotent functors. Among other things, we prove that, under Vop\v{e}nka's principle, every homotopy idempotent functor in a cofibrantly generated model category is determined by simplicial orthogonality with respect to a set of morphisms. We also give a new proof of the fact that left Bousfield localizations with respect to a class of morphisms always exist in any left proper combinatorial model category under Vop\v{e}nka's principle.


title: Shear Jamming in Granular Experiments without Basal Friction

abstract: Jammed states of frictional granular systems can be induced by shear strain at densities below the isostatic jamming density ($\phi_c$). It remains unclear, however, how much friction affects this so-called shear-jamming. Friction appears in two ways in this type of experiment: friction between particles, and friction between particles and the base on which they rest. Here, we study how particle-bottom friction, or basal friction, affects shear jamming in quasi-two dimensional experiments. In order to study this issue experimentally, we apply simple shear to a disordered packing of photoelastic disks. We can tune the basal friction of the particles by immersing the particles in a density matched liquid, thus removing the normal force, hence the friction, between the particles and base. We record the overall shear stress, and particle motion, and the photoelastic response of the particles. We compare the shear response of dry and immersed samples, which enables us to determine how basal friction affects shear jamming. Our findings indicate that changing the basal friction shifts the point of shear jamming, but it does not change the basic phenomenon of shear jamming.


title: Analysis of a decision model in the context of equilibrium pricing and order book pricing

abstract: An agent-based model for financial markets has to incorporate two aspects: decision making and price formation. We introduce a simple decision model and consider its implications in two different pricing schemes. First, we study its parameter dependence within a supply-demand balance setting. We find realistic behavior in a wide parameter range. Second, we embed our decision model in an order book setting. Here we observe interesting features which are not present in the equilibrium pricing scheme. In particular, we find a nontrivial behavior of the order book volumes which reminds of a trend switching phenomenon. Thus, the decision making model alone does not realistically represent the trading and the stylized facts. The order book mechanism is crucial.


title: Contour-FFT based Spectral Domain MBF Analysis of Large Printed Antenna Arrays

abstract: A fast spectral-domain method is proposed to evaluate the reaction terms between the Macro Basis Functions in regular and non-regular arrays made of identical printed antennas. The presented technique first exploits the filtering capabilities of the Macro Basis Functions in the spectral domain. The method is then strongly accelerated with the help of a newly formulated Fast Fourier Transform-based technique, which is applicable to a contour integration in the complex plane. We name the method as Contour-FFT or C-FFT. Besides an effective homogeneous medium term treated with multipoles, a computational complexity of order N log_2 N is achieved for the the tabulation of substrate-related reaction terms for any possible relative positions. The complexity of the proposed method is independent from the complexity of the elements. Numerical results obtained with the proposed method are compared with those from a pre-validated reference solution based on the traditional Macro Basis Functions technique; an excellent agreement is observed.


title: Building active and collaborative learning environment in introductory physics course of faculty of technology education

abstract: Model of active and collaborative learning applied in training specific subject makes clear advantage due to the goals of knowledge, enhanced activeness, skills that students got to develop successful future job. Studying and applying the model to build a learning environment in the Introductory Physics course with the support of ICT, especially social network and eLearning system of HNUE.


title: Genetic Algorithms and the Search for Viable String Vacua

abstract: Genetic Algorithms are introduced as a search method for finding string vacua with viable phenomenological properties. It is shown, by testing them against a class of Free Fermionic models, that they are orders of magnitude more efficient than a randomised search. As an example, three generation, exophobic, Pati-Salam models with a top Yukawa occur once in every 10^{10} models, and yet a Genetic Algorithm can find them after constructing only 10^5 examples. Such non-deterministic search methods may be the only means to search for Standard Model string vacua with detailed phenomenological requirements.


title: Dissipative Shocks behind Bacteria Gliding

abstract: Gliding is a means of locomotion on rigid substrates utilized by a number of bacteria includingmyxobacteria and cyanobacteria. One of the hypotheses advanced to explain this motility mechanism hinges on the role played by the slime filaments continuously extruded from gliding bacteria. This paper solves in full a non-linear mechanical theory that treats as dissipative shocks both the point where the extruded slime filament comes in contact with the substrate, called the filament's foot, and the pore on the bacterium outer surface from where the filament is ejected. We prove that kinematic compatibility for shock propagation requires that the bacterium uniform gliding velocity (relative to the substrate) and the slime ejecting velocity (relative to the bacterium) must be equal, a coincidence that seems to have already been observed.


title: Three solutions for a fractional elliptic problems with critical and supercritical growth

abstract: In this paper, we deal with the existence and multiplicity of solutions for the fractional elliptic problems involving critical and supercritical Sobolev exponent via variational arguments. By means of the truncation combining with the Moser iteration, we prove that the problems has at least three solutions.


title: Concise comparative summaries (CCS) of large text corpora with a human experiment

abstract: In this paper we propose a general framework for topic-specific summarization of large text corpora and illustrate how it can be used for the analysis of news databases. Our framework, concise comparative summarization (CCS), is built on sparse classification methods. CCS is a lightweight and flexible tool that offers a compromise between simple word frequency based methods currently in wide use and more heavyweight, model-intensive methods such as latent Dirichlet allocation (LDA). We argue that sparse methods have much to offer for text analysis and hope CCS opens the door for a new branch of research in this important field. For a particular topic of interest (e.g., China or energy), CSS automatically labels documents as being either on- or off-topic (usually via keyword search), and then uses sparse classification methods to predict these labels with the high-dimensional counts of all the other words and phrases in the documents. The resulting small set of phrases found as predictive are then harvested as the summary. To validate our tool, we, using news articles from the New York Times international section, designed and conducted a human survey to compare the different summarizers with human understanding. We demonstrate our approach with two case studies, a media analysis of the framing of "Egypt" in the New York Times throughout the Arab Spring and an informal comparison of the New York Times' and Wall Street Journal's coverage of "energy." Overall, we find that the Lasso with $L^2$ normalization can be effectively and usefully used to summarize large corpora, regardless of document size.


title: Automorphism group of the complete transposition graph

abstract: The complete transposition graph is defined to be the graph whose vertices are the elements of the symmetric group $S_n$, and two vertices $\alpha$ and $\beta$ are adjacent in this graph iff there is some transposition $(i,j)$ such that $\alpha=(i,j) \beta$. Thus, the complete transposition graph is the Cayley graph $\Cay(S_n,S)$ of the symmetric group generated by the set $S$ of all transpositions. An open problem in the literature is to determine which Cayley graphs are normal. It was shown recently that the Cayley graph generated by 4 cyclically adjacent transpositions is not normal. In the present paper, it is proved that the complete transposition graph is not a normal Cayley graph, for all $n \ge 3$. Furthermore, the automorphism group of the complete transposition graph is shown to equal \[ \Aut(\Cay(S_n,S)) = (R(S_n) \rtimes \Inn(S_n)) \rtimes \mathbb{Z}_2, \] where $R(S_n)$ is the right regular representation of $S_n$, $\Inn(S_n)$ is the group of inner automorphisms of $S_n$, and $\mathbb{Z}_2 = \langle h \rangle$, where $h$ is the map $\alpha \mapsto \alpha^{-1}$.


title: Predictable markets? A news-driven model of the stock market

abstract: We attempt to explain stock market dynamics in terms of the interaction among three variables: market price, investor opinion and information flow. We propose a framework for such interaction and apply it to build a model of stock market dynamics which we study both empirically and theoretically. We demonstrate that this model replicates observed market behavior on all relevant timescales (from days to years) reasonably well. Using the model, we obtain and discuss a number of results that pose implications for current market theory and offer potential practical applications.


title: Dual Origin of Pairing in Nuclei

abstract: An essentially "complete" description of the low-energy nuclear structure of the superfluid nucleus $^{120}$Sn and of its odd-$A$ neighbors is provided by the observations carried out with the help of Coulomb excitation and of one-- and of two-- particle transfer reactions, specific probes of vibrations, quasiparticle and pairing degrees of freedom respectively, and of their mutual couplings. These experimental findings are used to stringently test the predictions of a similarly "complete" description of $^{119,120,121}$Sn carried out in terms of elementary modes of excitation which, through their interweaving, melt together into effective fields, each displaying properties reflecting that of all others, there individuality resulting from the actual relative importance of each one. Its implementation is done by solving the Nambu-Gor'kov equations including, for the first time, all medium polarization effects resulting from the interweaving of quasiparticles, spin and surface vibrations, taking into account, within the framework of nuclear field theory (NFT), the variety of processes leading to self-energy, vertex and Pauli principle corrections, and to the induced pairing interaction. Theory provides an overall quantitative account of the experimental findings. From these results one can, not only obtain strong circumstantial evidence for the inevitability for the dual origin of pairing in nuclei but also, extract information which can be used at profit to quantitatively disentangle the contributions to pairing correlations in general and to the pairing gap in particular, arising from the bare and from the induced pairing interactions.


title: Relativistic magnetic reconnection in collisionless ion-electron plasmas explored with particle-in-cell simulations

abstract: Magnetic reconnection is a leading mechanism for magnetic energy conversion and high-energy non-thermal particle production in a variety of high-energy astrophysical objects, including ones with relativistic ion-electron plasmas (e.g., microquasars or AGNs) - a regime where first principle studies are scarce. We present 2D particle-in-cell (PIC) simulations of low $\beta$ ion-electron plasmas under relativistic conditions, i.e., with inflow magnetic energy exceeding the plasma rest-mass energy. We identify outstanding properties: (i) For relativistic inflow magnetizations (here $10 < \sigma_e < 360$), the reconnection outflows are dominated by thermal agitation instead of bulk kinetic energy. (ii) At large inflow electron magnetization ($\sigma_e > 80$), the reconnection electric field is sustained more by bulk inertia than by thermal inertia. It challenges the thermal-inertia-paradigm and its implications. (iii) The inflows feature sharp transitions at the entrance of the diffusion zones. These are not shocks but results from particle ballistic motions, all bouncing at the same location, provided that the thermal velocity in the inflow is far smaller than the inflow E cross B bulk velocity. (iv) Island centers are magnetically isolated from the rest of the flow, and can present a density depletion at their center. (v) The reconnection rates are slightly larger than in non-relativistic studies. They are best normalized by the inflow relativistic Alfv\'en speed projected in the outflow direction, which then leads to rates in a close range (0.14-0.25) thus allowing for an easy estimation of the reconnection electric field.


title: Do high redshift quasars have powerful jets?

abstract: Double-lobed radio galaxies a few 100s of kpc in extent, like Cygnus A, are common at redshifts of 1 to 2, arising from some 10 per cent of the most powerful Active Galactic Nuclei (AGN). At higher redshifts they are rare, with none larger than a few 10s of kpc known above redshift z~4. Recent studies of the redshift evolution of powerful-jetted objects indicate that they may constitute a larger fraction of the AGN population above redshift 2 than appears from a simple consideration of detected GHz radio sources. The radio band is misleading as the dramatic (1+z)^4 boost in the energy density of the Cosmic Microwave Background (CMB) causes inverse Compton scattering to dominate the energy losses of relativistic electrons in the extended lobes produced by jets, making them strong X-ray, rather than radio, sources. Here we investigate limits to X-ray lobes around two distant quasars, ULASJ112001.48+064124.3 at z = 7.1 and SDSSJ1030+0524 at z=6.3, and find that powerful jets could be operating yet be currently undetectable. Jets may be instrumental in the rapid build-up of billion Msun black hole at a rate that violates the Eddington limit.


title: A note on "On Green's relations, $2^{0}$-regularity and quasi-ideals in $\Gamma$-semigroups, Acta Math. Sin., Engl. Ser., 29, No. 3, 609-624(2013)"

abstract: The aim of this note is to point out some inaccuracies in our paper \cite{HD} and to fix them. Some new notions are introduced and properties of them are investigated.


title: New Associated Curves k-Principle Direction Curves and N_k Slant Helix

abstract: The Frenet frame is generally known an orthonormal vector frame for curves. But, it does not always meet the needs of curve characterizations. In this study, with the help of associated curves of any spatial curve we obtained a new orthonormal frame which has the property that the second vector makes a constant angle with a fixed direction for the spatial curve. Then, the curve is named as the N_k slant helix and the special conditions are obtained effectively.


title: Estimation and approximation in nonlinear dynamic systems using quasilinearization

abstract: Nonlinear (systems of) ordinary differential equations (ODEs) are common tools in the analysis of complex one-dimensional dynamic systems. In this paper we propose a smoothing approach regularized by a quasilinearized ODE-based penalty in order to approximate the state functions and estimate the parameters defining nonlinear differential systems from noisy data. Within the quasilinearized spline based framework, the estimation process reduces to a conditionally linear problem for the optimization of the spline coefficients. Furthermore, standard ODE compliance parameter(s) selection criteria are easily applicable and conditions on the state function(s) can be eventually imposed using soft or hard constraints. The approach is illustrated on real and simulated data.


title: Epitaxial hexagonal boron nitride on Ir(111): A work function template

abstract: Hexagonal boron nitride (h-BN) is a prominent member in the growing family of two-dimensional materials with potential applications ranging from being an atomically smooth support for other 2D materials to templating growth of molecular layers. We have studied the structure of monolayer h-BN grown by chemical vapour deposition on Ir(111) by low-temperature scanning tunneling microscopy (STM) and spectroscopy (STS) experiments and state-of-the-art density functional theory (DFT) calculations. The lattice-mismatch between the h-BN and Ir(111) surface results in the formation of a moir\'e superstructure with a periodicity of $\sim$29 \AA\ and a corrugation of $\sim$0.4 \AA. By measuring the field emission resonances above the h-BN layer, we find a modulation of the work function within the moir\'e unit cell of $\sim$0.5 eV. DFT simulations for a 13-on-12 h-BN/Ir(111) unit cell confirm our experimental findings and allow us to relate the change in the work function to the subtle changes in the interaction between boron and nitrogen atoms and the underlying substrate atoms within the moir\'e unit cell. Hexagonal boron nitride on Ir(111) combines weak topographic corrugation with a strong work function modulation over the moir\'e unit cell. This makes h-BN/Ir(111) a potential substrate for electronically modulated thin film and hetero-sandwich structures.


title: Interpretation of high-dimensional numerical results for Anderson transition

abstract: Existence of the upper critical dimension d_{c2}=4 for the Anderson transition is a rigorous consequence of the Bogoliubov theorem on renormalizability of \phi^4 theory. For dimensions d\ge 4, one-parameter scaling does not hold, and all existent numerical data should be reinterpreted. These data are exhausted by results for d=4,5 from scaling in quasi-one-dimensional systems, and results for d=4,5,6 from level statistics. All these data are compatible with the theoretical scaling dependencies obtained from self-consistent theory of localization by Vollhardt and Woelfle. The critical discussion is given for a widespread point of view that d_{c2}=\infty.


title: Beam quality requirements for the Ion-Channel Laser

abstract: In this paper, we determine the electron beam quality requirements to obtain exponential radiation amplification in the ion-channel laser, where a relativistic electron beam wiggles in a focusing ion-channel that can be created in a wakefield accelerator. The beam energy and wiggler parameter spreads should be limited. Those spread limits are functions of the Pierce parameter, which is calculated here without neglecting the radiation diffraction. Two dimensional and three dimensional simulations of the self-consistent ion-channel laser confirm our theoretical predictions.


title: Explicit and almost sure conditions for K/2 degrees of freedom

abstract: It is well known that in K-user constant single-antenna interference channels K/2 degrees of freedom (DoF) can be achieved for almost all channel matrices. Explicit conditions on the channel matrix to admit K/2 DoF are, however, not available. The purpose of this paper is to identify such explicit conditions, which are satisfied for almost all channel matrices. We also provide a construction of corresponding asymptotically DoF-optimal input distributions. The main technical tool used is a recent breakthrough result by Hochman in fractal geometry.


title: Influence of disorder on the structural phase transition and magnetic interactions in Ba$_{3-x}$Sr$_x$Cr$_2$O$_8$

abstract: The spin dimer system $\mathrm{Ba}_{3-x}\mathrm{Sr}_x\mathrm{Cr_2O_8}$ is a solid solution of the triplon Bose-Einstein condensation candidates $\mathrm{Ba_3Cr_2O_8}$ and $\mathrm{Sr_3Cr_2O_8}$. The magnetic intradimer interaction constant $J_0$ in this spin system can be tuned by varying the Sr content $x$. Very interestingly, this variation of $J_0$ with $x$ is highly nonlinear. In the present study, we show that this peculiar behavior of $J_0$ can be only partly explained by the changes in the average crystal structure alone. We report on neutron powder diffraction experiments to probe the corresponding structural details. Performing extended H\"{u}ckel tight binding calculations based on those structural details obtained at liquid helium temperatures, we found that the change of the magnetic interaction constant can be well reproduced by taking into account the presence of a structural transition due to the Jahn-Teller active Cr$^{5+}$-ions. This transition, lifting the orbital degeneracy and thereby the magnetic frustration in the system, is heavily influenced by disorder in the system arising from partially exchanging Ba with Sr.


title: Locally conformally K\"ahler structures on unimodular Lie groups

abstract: We study left-invariant locally conformally K\"ahler structures on Lie groups, or equivalently, on Lie algebras. We give some properties of these structures in general, and then we consider the special cases when its complex structure is bi-invariant or abelian. In the former case, we show that no such Lie algebra is unimodular, while in the latter, we prove that if the Lie algebra is unimodular, then it is isomorphic to the product of $\mathbb R$ and a Heisenberg Lie algebra.


title: The Italian Crisis and Producer Households Debt: a Source of Stability? A Reproducible Research

abstract: The European Credit Research Institute Research Report 2013 identifies Households debt "rapid increase and abrupt retrenchment" among the causes of macroeconomic instability in the European Union after 2008. In our research: i) we accessed the Bank of Italy Online Statistical Database on Customers and Risk for Producer Households and Non-Financial Corporations with R Sweave open access statistical software, which makes our analysis freely reproducible by other researchers; ii) we subset the European System of Accounts sector Households into the Bank of Italy sub-sectors Households and Producer Households, which are market producing entities limited to informal partnerships, de facto companies and sole proprietorships with up to five employees and iii) we tested the hypothesis of "rapid increase and abrupt retrenchment" of debt for this subset in Italy for the period 1996-2013. We found that PH debt (bad debt) has been more stable with a lower Variation Coefficient of 10.3% (14.2%) versus 13.2% (20.1%) in NFC. We also found that the time series of the ratio of debt granted to NFC (numerator) versus PH (denominator) is best described (Multiple Squared 0.95) by the concavity of the 5th degree coefficient (slope -1.22; 95% CI -1.52 - -0.91) of a 5th order polynomial linear regression and by the convexity of the 2nd degree coefficient (slope 4.26; 95% CI 2.53 - 5.99) for bad debt (Multiple R Squared 0.47), with this concavity of debt and convexity of bad debt beginning with the Italian crisis in the second trimester of 2008. We reject the hypothesis (p < 0.01) of "rapid increase and abrupt retrenchment" of debt for the subset Producer Households during the Italian Crisis. We generate the hypothesis that this subset could represent a prospective source of stability relative to Non-Financial Corporation.


title: Quantum geometry from the toroidal block

abstract: We continue our study of the semi-classical (large central charge) expansion of the toroidal one-point conformal block in the context of the 2d/4d correspondence. We demonstrate that the Seiberg-Witten curve and (epsilon1-deformed) differential emerge naturally in conformal field theory when computing the block via null vector decoupling equations. This framework permits us to derive epsilon1-deformations of the conventional relations governing the prepotential. These enable us to complete the proof of the quasi-modularity of the coefficients of the conformal block in an expansion around large exchanged conformal dimension. We furthermore derive these relations from the semi-classics of exact conformal field theory quantities, such as braiding matrices and the S-move kernel. In the course of our study, we present a new proof of Matone's relation for N=2* theory.


title: Gr\"{o}bner Basis Theory for Modules over Polynomial Rings over Fields with Valuation

abstract: A motivation to study Gr\"{o}bner theory for fields with valuations comes from tropical geometry, for example, they can be used to compute tropicalization of varieties \citep{maclagan2009introduction}. The computational aspect of this theory was first studied in (Chen \& Maclagan, 2013). In this paper, we generalize this Gr\"obner basis theory to free modules over polynomial rings over fields with valuation. As the valuation of coefficients is also taken into account while defining the initial term, we do not necessarily get a monomial order. To overcome this problem we have to resort to other techniques like the use of ecart function where the codomain is the well-ordered set $\mathbb{N}$, and thereby give a method to calculate the Gr\"{o}bner basis for submodules generated by homogeneous elements.


title: Fan realizations of subword complexes and multi-associahedra via Gale duality

abstract: We present complete simplicial fan realizations of any spherical subword complex of type $A_n$ for $n\leq 3$. This provides complete simplicial fan realizations of simplicial multi-associahedra $\Delta_{2k+4,k}$, whose facets are in correspondence with $k$-triangulations of a convex $(2k+4)$-gon. This solves the first open case of the problem of finding fan realizations where polytopality is not known. The techniques presented in this paper work for all finite Coxeter groups and we hope that they will be useful to construct fans realizing subword complexes in general. In particular, we present fan realizations of two previously unknown cases of subword complexes of type $A_4$, namely the multi-associahedra $\Delta_{9,2}$ and $\Delta_{11,3}$.


title: Nonexistence of shrinkers for the harmonic map flow in higher dimensions

abstract: We prove that the harmonic map flow from the Euclidean space $\mathbb{R}^d$ into the sphere $S^d$ has no equivariant self-similar shrinking solutions in dimensions $d\geq 7$.


title: Dark Matter In Disk Galaxies II: Density Profiles as Constraints on Feedback Scenarios

abstract: The disparity between the density profiles of galactic dark matter haloes predicted by dark matter only cosmological simulations and those inferred from rotation curve decomposition, the so-called cusp-core problem, suggests that baryonic physics has an impact on dark matter density in the central regions of galaxies. Feedback from black holes, supernovae and massive stars may each play a role by removing matter from the centre of the galaxy on shorter timescales than the dynamical time of the dark matter halo. Our goal in this paper is to determine constraints on such feedback scenarios based on the observed properties of a set of nearby galaxies. Using a Markov Chain Monte Carlo (MCMC) analysis of galactic rotation curves, via a method developed in a previous paper, we constrain density profiles and an estimated minimum radius for baryon influence, $r_1$, which we couple with a feedback model to give an estimate of the fraction of matter within that radius that must be expelled to produce the presently observed halo profile. We show that in the case of the gas rich dwarf irregular galaxy DDO 154, an outflow from a central source (e.g. a black hole or star forming region) could produce sufficient feedback on the halo without removing the disk gas. We examine the rotation curves of 8 galaxies taken from the THINGS data set and determine constraints on the radial density profiles of their dark matter haloes. For some of the galaxies, both cored haloes and cosmological $\rho \propto r^{-1}$ cusps are excluded. These intermediate central slopes require baryonic feedback to be finely tuned. We also find for galaxies which exhibit extended cores in their haloes (e.g. NGC 925), the use of a split power-law halo profile yields models without the unphysical, sharp features seen in models based on the Einasto profile.


title: A LabVIEW based user-friendly X-ray phase-contrast imaging system software platform

abstract: X-ray phase-contrast imaging can provide greatly improved contrast over conventional absorption-based imaging for weakly absorbing samples, such as biological soft tissues and fibre composites. In this manuscript, we introduce an easy and fast way to develop a user-friendly software platform dedicated to the new grating-based X-ray phase-contrast imaging setup recently built at the National Synchrotron Radiation Laboratory of the University of Science and Technology of China. Unified management and control of 21 motorized positioning stages, of an ultra-precision piezoelectric translation stage and of the X-ray tube are achieved with this platform. The software package also covers the automatic image acquisition of the phase-stepping scanning with a flat panel detector. Moreover, a data post-processing module for signals retrieval and other custom features are in principle available. With a seamless integration of all necessary functions in a unique package, this software platform will greatly support the user activity during experimental runs.


title: VLTI/AMBER observations of cold giant stars: atmospheric structures and fundamental parameters

abstract: The main goal of this research is to determine the angular size and the atmospheric structures of cool giant stars and to compare them with hydrostatic stellar model atmospheres, to estimate the fundamental parameters, and to obtain a better understanding of the circumstellar environment. We conducted spectro-interferometric observations of epsilon Oct, beta Peg, NU Pav, and psi Peg in the near-infrared K band (2.13-2.47 microm), and gamma Hya (1.9-2.47 microm) with the VLTI/AMBER instrument at medium spectral resolution. To obtain the fundamental parameters, we compared our data with hydrostatic atmosphere models (PHOENIX). We estimated the Rosseland angular diameters of epsilon Oct, beta Peg, NU Pav, psi Peg, and gamma Hya. Together with distances and bolometric fluxes, we estimated radii, effective temperatures, and luminosities of our targets. In the beta Peg visibility, we observed a molecular layer of CO with a size similar to that modeled with PHOENIX. However, there is an additional slope in absorption starting around 2.3 microm. This slope is possibly due to a shell of water that is not modeled with PHOENIX. The visibility of psi Peg shows a low increase in the CO bands, compatible with the modeling of the PHOENIX model. The visibility data of the other sources show no increase in molecular bands. The spectra and visibilities predicted by the PHOENIX atmospheres agree with the spectra and the visibilities observed in our stars (except for beta Peg). This indicates that the opacity of the molecular bands is adequately included in the model, and the atmospheres of our targets have an extension similar to the modeled atmospheres. The atmosphere of beta Peg is more extended than that predicted by the model. The targets are located close to the red limits of the evolutionary tracks of the STAREVOL model.


title: Spin dynamics in a two dimensional quantum gas

abstract: We have investigated spin dynamics in a 2D quantum gas. Through spin-changing collisions, two clouds with opposite spin orientations are spontaneously created in a Bose-Einstein condensate. After ballistic expansion, both clouds acquire ring-shaped density distributions with superimposed angular density modulations. The density distributions depend on the applied magnetic field and are well explained by a simple Bogoliubov model. We show that the two clouds are anti-correlated in momentum space. The observed momentum correlations pave the way towards the creation of an atom source with non-local Einstein-Podolsky-Rosen entanglement.


title: Selmer complexes and the $p$-adic Hodge theory

abstract: The first part of the paper is a survey of recent results about the cohomology of $(\phi,\Gamma)$-modules and its applications to the theory of Selmer complexes. In the second part we formulate a version of the Main Conjecture for $p$-adic representations which are semistable at $p$ and discuss some related topics.


title: Tracking and imaging of dynamic objects in scattering media by time-reversed adapted-perturbation (TRAP) optical focusing

abstract: The ability to steer light propagation inside scattering media has long been sought-after due to its potential widespread applications. To form optical foci inside scattering media, the only feasible strategy is to guide photons by using either implanted or virtual guide stars. However, all of these guide stars must be introduced extrinsically, either invasively or by physical contact, limiting the scope of their application. Here, we focus light inside scattering media by employing intrinsic dynamics as guide stars. By time-reversing the perturbed component of the scattered light adaptively, we concentrate light to the origin of the perturbation, where the permittivity varied spontaneously. We demonstrate dynamic light focusing onto moving targets and imaging of a time-variant object obscured by highly scattering media, without invasiveness and physical contact. Anticipated applications include all-weather optical communication with airplanes or satellites, tracking vehicles in thick fogs, and imaging and photoablation of angiogenic vessels in tumors.


title: The conifold point

abstract: Consider a Laurent polynomial with real positive coefficients such that the origin is strictly inside its Newton polytope. Then it is strongly convex as a function of real positive argument. So it has a distinguished Morse critical point --- the unique critical point with real positive coordinates. As a consequence we obtain a positive answer to a question of Ostrover and Tyomkin: the quantum cohomology algebra of a toric Fano manifold contains a field as a direct summand. Moreover, it gives a good evidence that the same statement holds for any Fano manifold.


title: The AC multi-harmonic magnetic susceptibility measurement setup at the LNF-INFN

abstract: The AC magnetic susceptibility is a fundamental method in materials science, which allows to probe the dynamic magnetic response of magnetic materials and superconductors. The LAMPS laboratory at the Laboratori Nazionali di Frascati of the INFN hosts an AC multi-harmonic magnetometer that allows performing experiments with an AC magnetic field ranging from 0.1 to 20 Gauss and in the frequency range from 17 to 2070 Hz. A DC magnetic field from 0 to 8 T produced by a superconducting magnet can be applied, while data may be collected in the temperature range 4.2-300 K using a liquid He cryostat under different temperature cycles setups. The first seven AC magnetic multi-harmonic susceptibility components can be measured with a magnetic sensitivity of 1x10-6 emu and a temperature precision of 0.01 K. Here we will describe in detail about schematic of the magnetometer, special attention will be dedicated to the instruments control, data acquisition framework and the user-friendly LabVIEW-based software platform.


title: Coexistence of photonic and atomic Bose-Einstein condensates in ideal atomic gases

abstract: We have studied conditions of photon Bose-Einstein condensate formation that is in thermodynamic equilibrium with ideal gas of two-level Bose atoms below the degeneracy temperature. Equations describing thermodynamic equilibrium in the system were formulated; critical temperatures and densities of photonic and atomic gas subsystems were obtained analytically. Coexistence conditions of these photonic and atomic Bose-Einstein condensates were found. There was predicted the possibility of an abrupt type of photon condensation in the presence of Bose condensate of ground-state atoms: it was shown that the slightest decrease of the temperature could cause a significant gathering of photons in the condensate. This case could be treated as a simple model of the situation known as "stopped light" in cold atomic gas. We also showed how population inversion of atomic levels can be created by lowering the temperature. The latter situation looks promising for light accumulation in atomic vapor at very low temperatures.


title: Controlling quantum flux through measurement: an idealised example

abstract: Classically, no transfer occurs between two equally filled reservoirs no matter how one looks at them, but the situation can be different quantum mechanically. This paradoxically surprising phenomenon rests on the distinctive property of the quantum world that one cannot stare at a system without disturbing it. It was recently discovered that this seemingly annoying feature could be harnessed to control small quantum systems using weak measurements. Here we present one of the simplest models -- an idealised double quantum dot -- where by toying with the dot measurement strength, i.e. the intensity of the look, it is possible to create a particle flux in an otherwise completely symmetric system. The basic property underlying this phenomena is that measurement disturbances are very different on a system evolving unitarily and a system evolving dissipatively. This effect shows that adaptive measurements can have dramatic effects enabling transport control but possibly inducing biases in the measurement of macroscopic quantities if not handled with care.


title: Do cement nanoparticles exist in space ?

abstract: The calcium-silicate-hydrate is used to model properties of cement on Earth. We study cementitious nanoparticles and propose these structures as components of cosmic dust grains. Quantum density functional theory methods are applied for the calculation of infrared spectra of Ca4Si4O14H4, Ca6Si3O13H2, and Ca12Si6O26H4 clusters. We find bands distributed over the near, mid and far-infrared region. A specific calcium-silicate-hydrate spectral feature at 14 microns, together with the bands at 10 and 18 microns which exist for other silicates as well, could be used for a detection of cosmic cement. We compare calculated bands with the 14 microns features in the spectra of HD 45677, HD 44179, and IRC+10420 which were observed by Infrared Space Observatory and classified as remaining. High abundance of oxygen atoms in cementitious nanoparticles could partially explain observed depletion of this element from the interstellar medium into dust grains.

categories: astro-ph.SR astro-ph.GA cond-mat.mtrl-sci physics.atm-clus


title: CO(1-0) line imaging of massive star-forming disc galaxies at z=1.5-2.2

abstract: We present detections of the CO(J= 1-0) emission line in a sample of four massive star-forming galaxies at z~1.5-2.2 obtained with the Karl G. Jansky Very Large Array (VLA). Combining these observations with previous CO(2-1) and CO(3-2) detections of these galaxies, we study the excitation properties of the molecular gas in our sample sources. We find an average line brightness temperature ratios of R_{21}=0.70+\-0.16 and R_{31}=0.50+\-0.29, based on measurements for three and two galaxies, respectively. These results provide additional support to previous indications of sub-thermal gas excitation for the CO(3-2) line with a typically assumed line ratio R_{31}~0.5. For one of our targets, BzK-21000, we present spatially resolved CO line maps. At the resolution of 0.18 arcsec (1.5 kpc), most of the emission is resolved out except for some clumpy structure. From this, we attempt to identify molecular gas clumps in the data cube, finding 4 possible candidates. We estimate that <40 % of the molecular gas is confined to giant clumps (~1.5 kpc in size), and thus most of the gas could be distributed in small fainter clouds or in fairly diffuse extended regions of lower brightness temperatures than our sensitivity limit.


title: Rayleigh scattering in coupled microcavities: Theory

abstract: In this paper we theoretically study how structural disorder in coupled semiconductor heterostructures influences single-particle scattering events that would otherwise be forbidden by symmetry. We extend the model of V. Savona to describe Rayleigh scattering in coupled planar microcavity structures, and answer the question, whether effective filter theories can be ruled out. They can.


title: Raster scan or 2-D approach?

abstract: We consider the relative merits of two different approaches to discovery or exclusion of new phenomena, a raster scan or a 2-dimensional approach.


title: Higher Poles and Crossing Phenomena from Twisted Genera

abstract: We demonstrate that Appell-Lerch sums with higher order poles as well as their modular covariant completions arise as partition functions in the cigar conformal field theory with worldsheet supersymmetry. The modular covariant derivatives of the elliptic genus of the cigar give rise to operator insertions corresponding to (powers of) right-moving momentum, left-moving fermion number, as well as a term corresponding to an ordinary zero mode partition sum. To show this, we demonstrate how the right-moving supersymmetric quantum mechanics (and in particular the Hamiltonian and spectral density) depend on the imaginary part of the chemical potential for angular momentum. As a consequence of our analysis we find that varying the imaginary part of the chemical potential for angular momentum on the cigar gives rise to a wall-crossing phenomenon in the bound state contribution to the elliptic genus, while the full elliptic genus is a continuous function of the chemical potential.


title: A fully data-driven method for estimating the shape of a point cloud

abstract: Given a random sample of points from some unknown distribution, we propose a new data-driven method for estimating its probability support $S$. Under the mild assumption that $S$ is $r$-convex, the smallest $r$-convex set which contains the sample points is the natural estimator. The main problem for using this estimator in practice is that $r$ is an unknown geometric characteristic of the set $S$. A stochastic algorithm is proposed for selecting it from the data under the hypothesis that the sample is uniformly generated. The new data-driven reconstruction of $S$ is able to achieve the same convergence rates as the convex hull for estimating convex sets, but under a much more flexible smoothness shape condition. The practical performance of the estimator is illustrated through a real data example and a simulation study.


title: Magnetic nano-fluctuations in a frustrated magnet

abstract: Frustrated systems exhibit remarkable properties due to the high degeneracy of their ground states. Stabilised by competing interactions, a rich diversity of typically nanometre-sized phase structures appear in polymer and colloidal systems, while the surface of ice pre-melts due to geometrically frustrated interactions. Atomic spin systems where magnetic interactions are frustrated by lattice geometry provide a fruitful source of emergent phenomena, such as fractionalised excitations analogous to magnetic monopoles. The degeneracy inherent in frustrated systems may prevail all the way down to absolute zero temperature, or it may be lifted by small perturbations or entropic effects. In the geometrically frustrated Ising--like magnet Ca3Co2O6, we follow the temporal and spatial evolution of nanoscale magnetic fluctuations firmly embedded inside the spin--density--wave magnetic structure. These fluctuations are a signature of a competing ferrimagnetic phase with an incommensurability that is different from, but determined by the host. As the temperature is lowered, the fluctuations slow down into a super-paramagnetic regime of stable spatiotemporal nano-structures.


title: Testing the Ge detectors for the MAJORANA DEMONSTRATOR

abstract: High purity germanium (HPGe) crystals will be used for the MAJORANA DEMONSTRATOR, where they serve as both the source and the detector for neutrinoless double beta decay. It is crucial for the experiment to understand the performance of the HPGe crystals. A variety of crystal properties are being investigated, including basic properties such as energy resolution, efficiency, uniformity, capacitance, leakage current and crystal axis orientation, as well as more sophisticated properties, e.g. pulse shapes and dead layer and transition layer distributions. In this paper, we will present our measurements that characterize the HPGe crystals. We will also discuss our simulation package for the detector characterization setup, and show that additional information can be extracted from data-simulation comparisons.


title: The Evaluation of the Sums of More General Series by Bernstein Polynomials

abstract: Let n,k be the positive integers, and let S_{k}(n) be the sums of the k-th power of positive integers up to n. By means of that we consider the evaluation of the sum of more general series by Bernstein polynomials. Additionally we show the reality of our idea with some examples.


title: Residuated Basic Logic II. Interpolation, Decidability and Embedding

abstract: We prove that the sequent calculus $\mathsf{L_{RBL}}$ for residuated basic logic $\mathsf{RBL}$ has strong finite model property, and that intuitionistic logic can be embedded into basic propositional logic $\mathsf{BPL}$. Thus $\mathsf{RBL}$ is decidable. Moreover, it follows that the class of residuated basic algebras has the finite embeddability property, and that $\mathsf{BPL}$ is PSPACE-complete, and that intuitionistic logic can be embedded into the modal logic $\mathsf{K4}$.


title: Rayleigh scattering in coupled microcavities: Experiment

abstract: We experimentally analyze Rayleigh scattering in coupled planar microcavities. We show that the correlations of the disorder in the two cavities lead to inter-branch scattering of polaritons, that would otherwise be forbidden by symmetry. These longitudinal correlations can be inferred from the strength of the inter-branch scattering.


title: Selective Sign-Determining Multiple Confidence Intervals with FCR Control

abstract: Given $m$ unknown parameters with corresponding independent estimators, the Benjamini-Hochberg (BH) procedure can be used to classify the sign of parameters such that the expected proportion of erroneous directional decisions (directional FDR) is controlled at a preset level $q$. More ambitiously, our goal is to construct sign-determining confidence intervals---instead of only classifying the sign---such that the expected proportion of non-covering constructed intervals (FCR) is controlled. We suggest a valid procedure which adjusts a marginal confidence interval in order to construct a maximum number of sign-determining confidence intervals. We propose a new marginal confidence interval, designed specifically for our procedure, which allows to balance a trade-off between power and length of the constructed intervals, and, in fact, often enjoy (almost) the best of both worlds. We apply our methods to detect the sign of correlations in a highly publicized social neuroscience study and, in a second example, to detect the direction of association for SNPs with Type-2 Diabetes in GWAS data. In both examples we compare our procedure to existing methods and obtain encouraging results.


title: Inverse Scattering Approach on Tomography Problem Using Multi-frequency Data

abstract: An inverse scattering problem is formulated for reconstructing optical properties of biological tissues. A recursive linearization algorithm is used to solve the inverse scattering problem. We employed the idea of finite element boundary integral method and added suitable boundary conditions on the surface of the domain. The initial guess is obtained by Born approximation based on the fact of weak scattering. The reconstruction is then improved each time by an increment on wave number. Finite element method is used for the interior domain containing inhomogeneity. Nystr\"om method is used for setting up the boundary conditions and jump conditions. Two numerical examples are presented.


title: Backward uniqueness for parabolic operators with non-Lipschitz coefficients

abstract: In this paper we study the backward uniqueness for parabolic equations with non-Lipschitz coefficients in time and space. The result presented here improves an old uniqueness theorem due to Lions and Malgrange [Math. Scand. ${\bf 8}$ (1960), 277--286] and some more recent results of Del Santo and Prizzi [J. Math. Pures Appl. ${\bf 84}$ (2005), 471--491; Ann. Mat. Pura Appl., to appear].


title: Stochastic Perron's Method for the Probability of lifetime ruin problem under transaction costs

abstract: We apply stochastic Perron's method to a singular control problem where an individual targets at a given consumption rate, invests in a risky financial market in which trading is subject to proportional transaction costs, and seeks to minimize her probability of lifetime ruin. Without relying on the dynamic programming principle (DPP), we characterize the value function as the unique viscosity solution of an associated Hamilton-Jacobi-Bellman (HJB) variational inequality. We also provide a complete proof of the comparison principle which is the main assumption of stochastic Perron's method.


title: Distributed event-triggered communication for dynamic average consensus in networked systems

abstract: This paper presents distributed algorithmic solutions that employ opportunistic inter-agent communication to achieve dynamic average consensus. In our solutions each agent is endowed with a local criterion that enables it to determine whether to broadcast its state to its neighbors. Our starting point is a continuous-time distributed coordination strategy that, under continuous-time communication, achieves practical asymptotic tracking of the dynamic average of the time-varying agents' reference inputs. Then, for this algorithm, depending on the directed or undirected nature of the time-varying interactions and under suitable connectivity conditions, we propose two different distributed event-triggered communication laws that prescribe agent communications at discrete time instants in an opportunistic fashion. In both cases, we establish positive lower bounds on the inter-event times of each agent and characterize their dependence on the algorithm design parameters. This analysis allows us to rule out the presence of Zeno behavior and characterize the asymptotic correctness of the resulting implementations. Several simulations illustrate the results.


title: Multi-target filtering with linearised complexity

abstract: An algorithm for the estimation of multiple targets from partial and corrupted observations is introduced based on the concept of partially-distinguishable multi-target system. It combines the advantages of engineering solutions like MHT with the rigour of point-process-based methods. It is demonstrated that under intuitive assumptions and approximations, the complexity of the proposed multi-target estimation algorithm can be made linear in the number of tracks and linear in the number of observations, while naturally preserving distinct tracks for detected targets, unlike point-process-based methods.


title: A phase transition for $q$-TASEP with a few slower particles

abstract: We consider a $q$-TASEP model started from step initial condition where all but finitely many particles have speed $1$ and a few particles are slower. It is shown in [9] that the rescaled particles position of $q$-TASEP with identical hopping rates obeys a central limit theorem \`a la Tracy-Widom. We adapt this work to the case of different hopping rates and show that one observes the so-called BBP transition. Our proof is a refinement of Ferrari-Vet\"o's and does not require any condition on the parameter $q$ nor the macroscopic position of particles.


title: Size-Separable Tile Self-Assembly: A Tight Bound for Temperature-1 Mismatch-Free Systems

abstract: We introduce a new property of tile self-assembly systems that we call size-separability. A system is size-separable if every terminal assembly is a constant factor larger than any intermediate assembly. Size-separability is motivated by the practical problem of filtering completed assemblies from a variety of incomplete "garbage" assemblies using gel electrophoresis or other mass-based filtering techniques. Here we prove that any system without cooperative bonding assembling a unique mismatch-free terminal assembly can be used to construct a size-separable system uniquely assembling the same shape. The proof achieves optimal scale factor and temperature for the size-separable system. As part of the proof, we obtain two results of independent interest on mismatch-free temperature-1 two-handed systems.


title: Diffraction of Random Noble Means Words

abstract: In this paper, several aspects of the random noble means substitution are studied. Beyond important dynamical facets as the frequency of subwords and the computation of the topological entropy, the important issue of ergodicity is addressed. From the geometrical point of view, we outline a suitable cut and project setting for associated point sets and present results for the spectral analysis of the diffraction measure.


title: The Dehn function of Sp(2n;Z)

abstract: Gromov conjectured that any irreducible lattice in a symmetric space of rank at least 3 should have at most polynomial Dehn function. We prove that the lattice Sp(2p;Z) has quadratic Dehn function when p is at least 5. By results of Broaddus, Farb, and Putman, this implies that the Torelli group in large genus is at most exponentially distorted.


title: A CO observation of the galactic methanol masers

abstract: Context: We investigated the molecular gas associated with 6.7 GHz methanol masers throughout the Galaxy using a J=1-0 transition of the CO isotopologues. Methods:Using the 13.7-meter telescope at the Purple Mountain Observatory (PMO), we have obtained ^{12}CO and ^{13}CO (1-0) lines for 160 methanol masers sources from the first to the third Galactic quadrants. We made efforts to resolve the distance ambiguity by careful comparison with the radio continuum and HI 21 cm observations. Results: First, the maser sources show increased ^{13}CO line widths toward the Galactic center, suggesting that the molecular gas are more turbulent toward the Galactic center. This trend can be noticeably traced by the ^{13}CO line width. Second, the ^{12}CO excitation temperature shows a noticeable correlation with the H_2 column density. A possible explanation consistent with the collapse model is that the higher surface-density gas is more efficient to the stellar heating and/or has a higher formation rate of high-mass stars. Third, comparing the IRDCs, the maser sources on average have significantly lower H_2 column densities, moderately higher temperatures, and similar line widths. Fourth, in the mapped regions, 51 ^{13}CO cores have been revealed. Only 17 coincide with the radio continuum emission (F_{cm}>6 mJy), while a larger fraction (30 cores) coincide with the infrared emissions. The IR-bright and radio-bright sources exhibit significantly higher $^{12}$CO excitation temperatures than the IR-faint and radio-faint sources, respectively. Conclusions: The 6.7 GHz masers show a moderately low ionization rate but have a common-existing stellar heating that generates the IR emissions. The relevant properties can be characterized by the ^{12}CO and ^{13}CO (1-0) emissions in several aspects as described above.


title: Summary of the First Workshop on Sustainable Software for Science: Practice and Experiences (WSSSPE1)

abstract: Challenges related to development, deployment, and maintenance of reusable software for science are becoming a growing concern. Many scientists' research increasingly depends on the quality and availability of software upon which their works are built. To highlight some of these issues and share experiences, the First Workshop on Sustainable Software for Science: Practice and Experiences (WSSSPE1) was held in November 2013 in conjunction with the SC13 Conference. The workshop featured keynote presentations and a large number (54) of solicited extended abstracts that were grouped into three themes and presented via panels. A set of collaborative notes of the presentations and discussion was taken during the workshop. Unique perspectives were captured about issues such as comprehensive documentation, development and deployment practices, software licenses and career paths for developers. Attribution systems that account for evidence of software contribution and impact were also discussed. These include mechanisms such as Digital Object Identifiers, publication of "software papers", and the use of online systems, for example source code repositories like GitHub. This paper summarizes the issues and shared experiences that were discussed, including cross-cutting issues and use cases. It joins a nascent literature seeking to understand what drives software work in science, and how it is impacted by the reward systems of science. These incentives can determine the extent to which developers are motivated to build software for the long-term, for the use of others, and whether to work collaboratively or separately. It also explores community building, leadership, and dynamics in relation to successful scientific software.


title: Tridiagonalized GUE matrices are a matrix model for labeled mobiles

abstract: It is well-known that the number of planar maps with prescribed vertex degree distribution and suitable labeling can be represented as the leading coefficient of the $\frac{1}{N}$-expansion of a joint cumulant of traces of powers of an $N$-by-$N$ GUE matrix. Here we undertake the calculation of this leading coefficient in a different way. Firstly, we tridiagonalize the GUE matrix in the manner of Trotter and Dumitriu-Edelman and then alter it by conjugation to make the subdiagonal identically equal to $1$. Secondly, we apply the cluster expansion technique (specifically, the Brydges-Kennedy-Abdesselam-Rivasseau formula) from rigorous statistical mechanics. Thirdly, by sorting through the terms of the expansion thus generated we arrive at an alternate interpretation for the leading coefficient related to factorizations of the long cycle $(12\cdots n)\in S_n$. Finally, we reconcile the group-theoretical objects emerging from our calculation with the labeled mobiles of Bouttier-Di Francesco-Guitter.


title: Communities and classes in symmetric fractals

abstract: Two aspects of fractal networks are considered: the community structure and the class structure, where classes of nodes appear as a consequence of a local symmetry of nodes. The analysed systems are the networks constructed for two selected symmetric fractals: the Sierpinski triangle and the Koch curve. Communities are searched for by means of a set of differential equations. Overlapping nodes which belong to two different communities are identified by adding some noise to the initial connectivity matrix. Then, a node can be characterized by a spectrum of probabilities of belonging to different communities. Our main goal is that the overlapping nodes with the same spectra belong to the same class.


title: Bifurcation measures and quadratic rational maps

abstract: We study critical orbits and bifurcations within the moduli space of quadratic rational maps on $\mathbb{P}^1$. We focus on the family of curves, $Per_1(\lambda)$ for $\lambda$ in $\mathbb{C}$, defined by the condition that each $f\in Per_1(\lambda)$ has a fixed point of multiplier $\lambda$. We prove that the curve $Per_1(\lambda)$ contains infinitely many postcritically-finite maps if and only if $\lambda = 0$; addressing a special case of [BD2, Conjecture 1.4]. We also show that the two critical points of a map $f$ define distinct bifurcation measures along $Per_1(\lambda)$.


title: Has the Goldstone theorem been revisited?

abstract: A recent paper (arXiv:1404.5619) claimed the presence of a loophole in the current-algebra proof of Goldstone Theorem. The enforcing of manifest covariance would lead to contradictory results also in scalar theory. We show that the argument proposed is not in contradiction with covariance, thus not invalidating the theorem. Moreover, the counterexample proposed of a scalar operator with a non-zero vacuum expectation value in an unbroken theory is ill-defined.


title: Composite Dark Matter and LHC Interplay

abstract: The actual realization of the electroweak symmetry breaking in the context of a natural extension of the Standard Model (SM) and the nature of Dark Matter (DM) are two of the most compelling questions in high-energy particle physics. Composite Higgs models may provide a unified picture in which both the Higgs boson and the DM particle arise as pseudo Nambu-Goldstone bosons of a spontaneously broken global symmetry at a scale $f\sim$ TeV. In this paper we analyze a general class of these models based on the coset SO(6)/SO(5). Assuming the existence of light and weakly coupled spin-1 and spin-1/2 resonances which mix linearly with the elementary SM particles, we are able to compute the effective potential of the theory by means of some generalized Weinberg sum rules. The properties of the Higgs boson, DM, top quark and the above resonances are thus calculable and tightly connected. We perform a wide phenomenological analysis, considering both collider physics at the LHC and astrophysical observables. We find that these models are tightly constrained by present experimental data, which are able to completely exclude the most natural setup with $f\simeq 800$ GeV. Upon increasing the value of $f$, an allowed region appears. In particular for $f\simeq 1.1$ TeV we find a concrete realization that predicts $m_{DM}\simeq 200$ GeV for the DM mass. This DM candidate lies close to the present sensitivity of direct detection experiments and will be ruled out - or discovered - in the near future.


title: Master symmetry and time dependent symmetries of the differential-difference KP equation

abstract: We first obtain the master symmetry of the differential-difference KP equation.Then we show how this master symmetry, through sl(2;C)-representation of the equation, can construct generators of time dependent symmetries.


title: Lifting properties of maximal lattice-free polyhedra

abstract: We study the uniqueness of minimal liftings of cut-generating functions obtained from maximal lattice-free polyhedra. We prove a basic invariance property of unique minimal liftings for general maximal lattice-free polyhedra. This generalizes a previous result by Basu, Cornu\'ejols and K\"oppe~\cite{bcm} for {\em simplicial} maximal lattice-free polytopes, thus completely settling this fundamental question about lifting for maximal lattice-free polyhedra. We further give a very general iterative construction to get maximal lattice-free polyhedra with the unique-lifting property in arbitrary dimensions. This single construction not only obtains all previously known polyhedra with the unique-lifting property, but goes further and vastly expands the known list of such polyhedra. Finally, we extend characterizations from~\cite{bcm} about lifting with respect to maximal lattice-free simplices to more general polytopes. These nontrivial generalizations rely on a number of results from discrete geometry, including the Venkov-Alexandrov-McMullen theorem on translative tilings and characterizations of zonotopes in terms of central symmetry of their faces.


title: Renormalized stress tensor for massive fields in Kerr-Newman spacetime

abstract: In a four-dimensional spacetime, the DeWitt-Schwinger expansion of the effective action associated with a massive quantum field reduces, after renormalization and in the large mass limit, to a single term constructed from the purely geometrical Gilkey-DeWitt coefficient $a_3$ and its metric variation provides a good analytical approximation for the renormalized stress-energy tensor of the quantum field. Here, from the general expression of this tensor, we obtain analytically the renormalized stress-energy tensors of the massive scalar field, the massive Dirac field and the Proca field in Kerr-Newman spacetime. It should be noted that, even if, at first sight, the expressions obtained are complicated, their structure is in fact rather simple, involving naturally spacetime coordinates as well as the mass $M$, the charge $Q$ and the rotation parameter $a$ of the Kerr-Newman black hole and permitting us to recover rapidly the results already existing in the literature for the Schwarzschild, Reissner-Nordstr\"om and Kerr black holes (and to correct them in the latter case). In the absence of exact results in Kerr-Newman spacetime, our approximate renormalized stress-energy tensors could be very helpful, in particular to study the backreaction of massive quantum fields on this spacetime or on its quasinormal modes.


title: Elastoplastic coupling to model cold ceramic powder compaction

abstract: The simulation of industrial processes involving cold compaction of powders allows for the optimization of the production of both traditional and advanced ceramics. The capabilities of a constitutive model previously proposed by the authors are explored to simulate simple forming processes, both in the small and in the large strain formulation. The model is based on the concept of elastoplastic coupling providing a relation between density changes and variation of elastic properties and has been tailored to describe the transition between a granular ceramic powder and a dense green body. Finite element simulations have been compared with experiments on an alumina ready-to-press powder and an aluminum silicate spray-dried granulate. The simulations show that it is possible to take into account friction at the die wall and to predict the state of residual stress, density distribution and elastic properties in the green body at the end of the forming process.


title: Concentration properties of Gaussian random fields

abstract: We study the problem of a random Gaussian vector field given that a particular real quadratic form $\mathcal{Q}$ is arbitrarily large. We prove that in such a case the Gaussian field is primarily governed by the fundamental eigenmode of a particular operator. As a good check of our proposition we use it to re-derive the result of Adler dealing with the structure of field in the vicinity of a high local maxima. We have also applied our result to an incompressible homogeneous Gaussian random flow in the limit of large local helicity and calculate the structure of the flow.


title: On the effect of the ionising background on the Ly{\alpha} forest autocorrelation function

abstract: An analytical framework is presented to understand the effects of a fluctuating intensity of the cosmic ionising background on the correlations of the Ly{\alpha} forest transmission fraction measured in quasar spectra. In the absence of intensity fluctuations, the Ly{\alpha} power spectrum should have the expected cold dark matter power spectrum with redshift distortions in the linear regime, with a bias factor b_{\delta} and a redshift distortion parameter {\beta} that depend on redshift but are independent of scale. The intensity fluctuations introduce a scale dependence in both b_{\delta} and {\beta}, but keeping their product b_{\delta}{\beta} fixed. Observations of the Ly{\alpha} correlations and cross-correlations with radiation sources like those being done at present in the BOSS survey of SDSS-III (Busca et al. 2013; Slosar et al. 2013; Font-Ribera et al. 2014) have the potential to measure this scale dependence, which reflects the biasing properties of the sources and absorbers of the ionising background. We also compute a second term affecting the Ly{\alpha} spectrum, due to shot noise in the sources of radiation. This term is very large if luminous quasars are assumed to produce the ionising background and to emit isotropically with a constant luminosity, but should be reduced by a contribution from galaxies, and by the finite lifetime and anisotropic emission of quasars.


title: Moduli spaces of rational weighted stable curves and tropical geometry

abstract: We study moduli spaces of rational weighted stable tropical curves, and their connections with the classical Hassett spaces. Given a vector w of weights, the moduli space of tropical w-stable curves can be given the structure of a balanced fan if and only if w has only heavy and light entries. In this case, we can express the moduli space as the Bergman fan of a graphic matroid. Furthermore, we realize the tropical moduli space as a geometric tropicalization, and as a Berkovich skeleton, of the classical moduli space. This builds on previous work of Tevelev, Gibney--Maclagan, and Abramovich--Caporaso--Payne. Finally, we construct the moduli spaces of heavy/light weighted tropical curves as fiber products of unweighted spaces, and explore parallels with the algebraic world.


title: Counter-rotation in relativistic magnetohydrodynamic jets

abstract: Young stellar object observations suggest that some jets rotate in the opposite direction with respect to their disk. In a recent study, Sauty et al. (2012) have shown that this does not contradict the magnetocentrifugal mechanism that is believed to launch such outflows. Signatures of motions transverse to the jet axis and in opposite directions have recently been measured in M87 (Meyer et al. 2013). One possible interpretation of this motion is the one of counter rotating knots. Here, we extend our previous analytical derivation of counter-rotation to relativistic jets, demonstrating that counter-rotation can indeed take place under rather general conditions. We show that both the magnetic field and a non-negligible enthalpy are necessary at the origin of counter-rotating outflows, and that the effect is associated with a transfer of energy flux from the matter to the electromagnetic field. This can be realized in three cases : if a decreasing enthalpy causes an increase of the Poynting flux, if the flow decelerates, or, if strong gradients of the magnetic field are present. An illustration of the involved mechanism is given by an example of relativistic MHD jet simulation.


title: Analysis of Dialogical Argumentation via Finite State Machines

abstract: Dialogical argumentation is an important cognitive activity by which agents exchange arguments and counterarguments as part of some process such as discussion, debate, persuasion and negotiation. Whilst numerous formal systems have been proposed, there is a lack of frameworks for implementing and evaluating these proposals. First-order executable logic has been proposed as a general framework for specifying and analysing dialogical argumentation. In this paper, we investigate how we can implement systems for dialogical argumentation using propositional executable logic. Our approach is to present and evaluate an algorithm that generates a finite state machine that reflects a propositional executable logic specification for a dialogical argumentation together with an initial state. We also consider how the finite state machines can be analysed, with the minimax strategy being used as an illustration of the kinds of empirical analysis that can be undertaken.


title: Quasi-relativistic fermions and dynamical flavour oscillations

abstract: We introduce new Lorentz-symmetry violating kinematics for a four-fermion interaction model, where dynamical mass generation is allowed, irrespectively of the strength of the coupling. In addition, these kinematics lead to a quasi-relativistic dispersion relation, in the sense that it is relativistic in both the infrared and the ultraviolet, but not in an intermediate regime, characterized by the mass $M$. For two fermions, we show that a flavour-mixing mass matrix is generated dynamically, and the Lorentz symmetric limit $M\to\infty$ leads to two free relativistic fermions, with flavour oscillations. This model, valid for either Dirac or Majorana fermions, can describe any set of phenomenological values for the eigen masses and the mixing angle.


title: Coulomb drag devices: electric solar wind sail propulsion and ionospheric deorbiting

abstract: A charged tether or wire experiences Coulomb drag when inserted into flowing plasma. In the solar wind the Coulomb drag can be utilised as efficient propellantless interplanetary propulsion as the electric solar wind sail (electric sail, E-sail). In low Earth orbit (LEO) the same plasma physical effect can be utilised for efficient low-thrust deorbiting of space debris objects (the plasma brake). The E-sail is rotationally stabilised while the deorbiting Coulomb drag devices According to numerical estimates, Coulomb drag devices have very promising performance figures, both for interplanetary propulsion and for deorbiting in LEO. Much of the technology is common to both applications. E-sail technology development was carried out in ESAIL FP7 project (2011-2013) which achieved TRL 4-5 for key hardware components that can enable 1 N class interplanetary E-sail weighing less than 200 kg. The thrust of the E-sail scales as inverse solar distance and its power consumption (nominally 700 W/N at 1 au) scales as the inverse distance squared. As part of the ESAIL project, a continuous 1 km sample of E-sail tether was produced by an automatic and scalable "tether factory". The manufacturing method uses ultrasonic wire to wire bonding which was developed from ordinary wire to plate bonding for the E-sail purpose. Also a "Remote Unit" device which takes care of deployment and spin rate control was prototyped and successfully environmentally tested. Our Remote Unit prototype is operable in the solar distance range of 0.9-4 au. The 1-U CubeSat ESTCube-1 was launched in May 2013 and it will try to measure the Coulomb drag acting on a 10 m long tether in LEO when charged to 500 V positive or negative. A more advanced version of the experiment with 100 m tether is under preparation and will be launched in 2015 with the Aalto-1 3-U CubeSat to polar LEO.


title: I know what leaked in your pocket: uncovering privacy leaks on Android Apps with Static Taint Analysis

abstract: Android applications may leak privacy data carelessly or maliciously. In this work we perform inter-component data-flow analysis to detect privacy leaks between components of Android applications. Unlike all current approaches, our tool, called IccTA, propagates the context between the components, which improves the precision of the analysis. IccTA outperforms all other available tools by reaching a precision of 95.0% and a recall of 82.6% on DroidBench. Our approach detects 147 inter-component based privacy leaks in 14 applications in a set of 3000 real-world applications with a precision of 88.4%. With the help of ApkCombiner, our approach is able to detect inter-app based privacy leaks.


title: Spin Hall Magnetoimpedance

abstract: The recently discovered spin Hall magnetoresistance effect electrically probes pure spin current flow across a ferrimagnetic insulator/normal metal bilayer interface. While usually the DC electrical resistance of the bilayer is measured as a function of the magnetization orientation in the magnetic insulator, we here present magnetoimpedance measurements using bias currents with frequencies up to several GHz. We find that the spin Hall magnetoresistance effect persists up to frequencies of at least 4 GHz, enabling a fast readout of the magnetization direction in magnetic insulator/normal metal bilayers. Our data furthermore show that all interaction time constants relevant for the spin Hall magnetoresistance effect are shorter than 40 ps.


title: Entropy, heat, and G\"odel incompleteness

abstract: Irreversible phenomena, such as the production of entropy and heat, arise from fundamental reversible dynamics because the forward dynamics is too complex, in the sense that it becomes impossible to provide the necessary information to keep track of the dynamics. On a heuristic level, this is well captured by coarse graining. We suggest that on a fundamental level the impossibility to provide the necessary information might be related to the incompleteness results of G\"odel. This would hold interesting implications for both, mathematics and physics.


title: Imaging Atomic-Level Random Walk of a Point Defect in Graphene

abstract: Deviations from the perfect atomic arrangements in crystals play an important role in affecting their properties. Similarly, diffusion of such deviations is behind many microstructural changes in solids. However, observation of point defect diffusion is hindered both by the difficulties related to direct imaging of non-periodic structures and by the time scales involved in the diffusion process. Here, instead of imaging thermal diffusion, we stimulate and follow the migration of a divacancy through graphene lattice using a scanning transmission electron microscope operated at 60 kV. The beam-activated process happens on a timescale that allows us to capture a significant part of the structural transformations and trajectory of the defect. The low voltage combined with ultra-high vacuum conditions ensure that the defect remains stable over long image sequences, which allows us for the first time to directly follow the diffusion of a point defect in a crystalline material.


title: Open induction in a bounded arithmetic for TC^0

abstract: The elementary arithmetic operations $+,\cdot,\le$ on integers are well-known to be computable in the weak complexity class $\mathrm{TC}^0$, and it is a basic question what properties of these operations can be proved using only $\mathrm{TC}^0$-computable objects, i.e., in a theory of bounded arithmetic corresponding to $\mathrm{TC}^0$. We will show that the theory $\mathit{VTC}^0$ extended with an axiom postulating the totality of iterated multiplication (which is computable in $\mathrm{TC}^0$) proves induction for quantifier-free formulas in the language $\langle +,\cdot,\le \rangle$ (IOpen), and more generally, minimization for $\Sigma^b_0$ formulas in the language of Buss's $S_2$.


title: SU(2) Lattice Gluon Propagator and Potential Models

abstract: We study the bottomonium spectrum using a potential model. Our potential incorporates lattice results for the gluon propagator, obtained from simulations of pure SU(2) gauge theory in Landau gauge. The mass of the bottom quark is left as a free parameter. The resulting spectrum is compared to the case of the Coulomb plus Linear (or Cornell) Potential.


title: Study of the heavy CP-even Higgs with mass 125 GeV in two-Higgs-doublet models at the LHC and ILC

abstract: We assume that the 125 GeV Higgs discovered at the LHC is the heavy CP-even Higgs of the two-Higgs-doublet models, and examine the parameter space in the Type-I, Type-II, Lepton-specific and Flipped models allowed by the latest Higgs signal data, the relevant experimental and theoretical constraints. Further, we show the projected limits on $\tan\beta$, $\sin(\beta-\alpha)$, $Hf\bar{f}$ and $HVV$ couplings from the future measurements of the 125 GeV Higgs at the LHC and ILC, including the LHC with integrated luminosity of 300 fb$^{-1}$ (LHC-300 fb$^{-1}$) and 3000 fb$^{-1}$ (LHC-3000 fb$^{-1}$) as well as the ILC at $\sqrt{s}=250$ GeV (ILC-250 GeV), $\sqrt{s}=500$ GeV (ILC-500 GeV) and $\sqrt{s}=1000$ GeV (ILC-1000 GeV). Assuming that the future Higgs signal data have no deviation from the SM expectation, the LHC-300 fb$^{-1}$, LHC-3000 fb$^{-1}$ and ILC-1000 GeV can exclude the wrong-sign Yukawa coupling regions of the Type-II, Flipped and Lepton-specific models at the $2\sigma$ level, respectively. The future experiments at the LHC and ILC will constrain the Higgs couplings to be very close to SM values, especially for the $HVV$ coupling.


title: The least squares method for option pricing revisited

abstract: It is shown that the the popular least squares method of option pricing converges even under very general assumptions. This substantially increases the freedom of creating different implementations of the method, with varying levels of computational complexity and flexible approach to regression. It is also argued that in many practical applications even modest non-linear extensions of standard regression may produce satisfactory results. This claim is illustrated with examples.


title: Lattice Gauge Tensor Networks

abstract: We present a unified framework to describe lattice gauge theories by means of tensor networks: this framework is efficient as it exploits the high amount of local symmetry content native of these systems describing only the gauge invariant subspace. Compared to a standard tensor network description, the gauge invariant one allows to speed-up real and imaginary time evolution of a factor that is up to the square of the dimension of the link variable. The gauge invariant tensor network description is based on the quantum link formulation, a compact and intuitive formulation for gauge theories on the lattice, and it is alternative to and can be combined with the global symmetric tensor network description. We present some paradigmatic examples that show how this architecture might be used to describe the physics of condensed matter and high-energy physics systems. Finally, we present a cellular automata analysis which estimates the gauge invariant Hilbert space dimension as a function of the number of lattice sites and that might guide the search for effective simplified models of complex theories.


title: A Characterization Theorem for Aumann Integrals

abstract: A Daniell-Stone type characterization theorem for Aumann integrals of set-valued measurable functions will be proven. It is assumed that the values of these functions are closed convex upper sets, a structure that has been used in some recent developments in set-valued variational analysis and set optimization. It is shown that the Aumann integral of such a function is also a closed convex upper set. The main theorem characterizes the conditions under which a functional that maps from a certain collection of measurable set-valued functions into the set of all closed convex upper sets can be written as the Aumann integral with respect to some $\sigma$-finite measure. These conditions include the analog of the conlinearity and monotone convergence properties of the classical Daniell-Stone theorem for the Lebesgue integral, and three geometric properties that are peculiar to the set-valued case as they are redundant in the one-dimensional setting.


title: A Modern Search for Wolf-Rayet Stars in the Magellanic Clouds: First Results

abstract: Over the years, directed surveys and incidental spectroscopy have identified 12 Wolf-Rayet (WR) stars in the SMC and 139 in the LMC, numbers which are often described as "essentially} complete." Yet, new WRs are discovered in the LMC almost yearly. We have therefore initiated a new survey of both Magellanic Clouds using the same interference-filter imaging technique previously applied to M31 and M33. We report on our first observing season, in which we have successfully surveyed ~15$% of our intended area of the SMC and LMC. Spectroscopy has confirmed 9 newly found WRs in the LMC (a 6% increase), including one of WO-type, only the third known in that galaxy and the second to be discovered recently. The other eight are WN3 stars that include an absorption component. In two, the absorption is likely from an O-type companion, but the other six are quite unusual. Five would be classified naively as "WN3+O3 V," but such a pairing is unlikely given the rarity of O3 stars, the short duration of this phase (which is incommensurate with the evolution of a companion to a WN star), and because these stars are considerably fainter than O3 V stars. The sixth star may also fall into this category. CMFGEN modeling suggests these stars are hot, bolometrically luminous, and N-rich like other WN3 stars, but lack the strong winds that characterize WNs. Finally, we discuss two rare Of?p stars and four Of supergiants we found, and propose that the B[e] star HD 38489 may have a WN companion.


title: Multipass automata and group word problems

abstract: We introduce the notion of multipass automata as a generalization of pushdown automata and study the classes of languages accepted by such machines. The class of languages accepted by deterministic multipass automata is exactly the Boolean closure of the class of deterministic context-free languages while the class of languages accepted by nondeterministic multipass automata is exactly the class of poly-context-free languages, that is, languages which are the intersection of finitely many context-free languages. We illustrate the use of these automata by studying groups whose word problems are in the above classes.


title: Depth Lower Bounds against Circuits with Sparse Orientation

abstract: We study depth lower bounds against non-monotone circuits, parametrized by a new measure of non-monotonicity: the orientation of a function $f$ is the characteristic vector of the minimum sized set of negated variables needed in any DeMorgan circuit computing $f$. We prove trade-off results between the depth and the weight/structure of the orientation vectors in any circuit $C$ computing the Clique function on an $n$ vertex graph. We prove that if $C$ is of depth $d$ and each gate computes a Boolean function with orientation of weight at most $w$ (in terms of the inputs to $C$), then $d \times w$ must be $\Omega(n)$. In particular, if the weights are $o(\frac{n}{\log^k n})$, then $C$ must be of depth $\omega(\log^k n)$. We prove a barrier for our general technique. However, using specific properties of the Clique function and the Karchmer-Wigderson framework (Karchmer and Wigderson, 1988), we go beyond the limitations and obtain lower bounds when the weight restrictions are less stringent. We then study the depth lower bounds when the structure of the orientation vector is restricted. Asymptotic improvements to our results (in the restricted setting), separates NP from NC. As our main tool, we generalize Karchmer-Wigderson gamefor monotone functions to work for non-monotone circuits parametrized by the weight/structure of the orientation. We also prove structural results about orientation and prove connections between number of negations and weight of orientations required to compute a function.


title: High Resolution Observations of Chromospheric Jets in Sunspot Umbra

abstract: Recent observations of sunspot's umbra suggested that it may be finely structured at a sub-arcsecond scale representing a mix of hot and cool plasma elements. In this study we report the first detailed observations of the umbral spikes, which are cool jet-like structures seen in the chromosphere of an umbra. The spikes are cone-shaped features with a typical height of 0.5-1.0 Mm and a width of about 0.1 Mm. Their life time ranges from 2 to 3 min and they tend to re-appear at the same location. The spikes are not associated with photospheric umbral dots and they rather tend to occur above darkest parts of the umbra, where magnetic fields are strongest. The spikes exhibit up and down oscillatory motions and their spectral evolution suggests that they might be driven by upward propagating shocks generated by photospheric oscillations. It is worth noting that triggering of the running penumbral waves seems to occur during the interval when the spikes reach their maximum height.


title: Sequential generation of Polynomial Invariants and N-body non-local correlations

abstract: We report an inductive process that allows for a sequential construction of polynomial invariants of state coefficients for multipartite quantum states. The starting point can be a physically meaningful invariant of a smaller part of the system. The process is applied to construct a chain of invariants that quantify GHZ state like non-local N-way correlations in an N qubit pure state and the sum of N-way and (N-1)-way correlations. Analytic expressions for four and three-way correlation quantifiers for four qubits, as well as, five-way and four-way correlation quantifiers for a five qubit pure state are given.


title: Positive Ricci curvature on highly connected manifolds

abstract: For $k \ge 2,$ let $M^{4k-1}$ be a $(2k{-}2)$-connected closed manifold. If $k \equiv 1$ mod $4$ assume further that $M$ is $(2k{-}1)$-parallelisable. Then there is a homotopy sphere $\Sigma^{4k-1}$ such that $M \sharp \Sigma$ admits a Ricci positive metric. This follows from a new description of these manifolds as the boundaries of explicit plumbings.


title: An Introduction to the Patstat Database with Example Queries

abstract: This paper provides an introduction to the Patstat patent database. It offers guided examples of ten popular queries that are relevant for research purposes and that cover the most important data tables. It is targeted at academic researchers and practitioners willing to learn the basics of the database.


title: Probabilistic picture of in-medium jet evolution

abstract: We briefly discuss the recently developed probabilistic picture for in-medium jet evolution that is driven by independent multiple scatterings and branchings. These are controlled by the jet quenching parameter $\hat q$. In this framework, large radiative corrections to $p_\perp$-broadening of partons in the jet, enhanced by a double logarithm (DL) of the medium size $L$, are recovered. We argue that these non-local corrections are universal and can be reabsorbed in a renormalization of the jet quenching parameter without spoiling the probabilistic picture. As a consequence, we find that for large media, the mean radiative energy loss result scales as $L^{2+\gamma}$, where the anomalous dimension $\gamma=2\sqrt{\alpha_sN_c/\pi}$.


title: Witnessing genuine multipartite entanglement with positive maps

abstract: We derive a general framework that connects every positive map with a corresponding witness for partial separability in multipartite quantum systems. We show that many previous approaches were intimately connected to the witnesses derived from partial transposition and that such criteria can easily be outperformed in higher dimensions by non-decomposable maps. As an exemplary case we present a witness that is capable of detecting genuine multipartite entanglement in bound entangled states.


title: On the gauge dependence of the Standard Model vacuum instability scale

abstract: After reviewing the calculation of the Standard Model one-loop effective potential in a class of linear gauges, we discuss the physical observables entering the vacuum stability analysis. While the electroweak-vacuum-stability bound on the Higgs boson mass can be formally proven to be gauge independent, the field value at which the effective potential turns negative (the so-called instability scale) is a gauge dependent quantity. By varying the gauge-fixing scheme and the gauge-fixing parameters in their perturbative domain, we find an irreducible theoretical uncertainty of at least two orders of magnitude on the scale at which the Standard Model vacuum becomes unstable.


title: Smooth and singular Kahler-Einstein metrics

abstract: Smooth Kahler-Einstein metrics have been studied for the past 80 years. More recently, singular Kahler-Einstein metrics have emerged as objects of intrinsic interest, both in differential and algebraic geometry, as well as a powerful tool in better understanding their smooth counterparts. This article is mostly a survey of some of these developments.


title: On conformal higher spin wave operators

abstract: We analyze free conformal higher spin actions and the corresponding wave operators in arbitrary even dimensions and backgrounds. We show that the wave operators do not factorize in general, and identify the Weyl tensor and its derivatives as the obstruction to factorization. We give a manifestly factorized form for them on (A)dS backgrounds for arbitrary spin and on Einstein backgrounds for spin 2. We are also able to fix the conformal wave operator in d=4 for s=3 up to linear order in the Riemann tensor on generic Bach-flat backgrounds.


title: Simultaneous ultra-high contrast imaging and determination of time-dependent, non-common path aberrations in the presence of detector noise

abstract: Ground-based ultra-high contrast imaging, as required for direct imaging of exoplanets and other solar systems, is limited by difficulty of separating the planetary emission from the effects of optical aberrations that are not compensated by the adaptive optics (AO) system, so-called "non-common path aberrations" (NCPAs). Simultaneous ($\sim$ millisecond) exposures by the science camera and the AO system enable the use of "phase diversity" to estimate both the NCPAs and the scene via a processing procedure first described by the author (R. Frazin 2013, ApJ, 767, article id. 21). This method is fully compatible with more standard concepts used in long-exposure high-contrast imaging, such as angular differential imaging and spectral deconvolution. Long-exposure methods find time-dependent NCPAs, such as those caused by vibrations, particularly challenging. Here, an NCPA of the form of $\alpha \cos(k \cdot r - \omega t + \vartheta)$ is considered. It is shown that, when sampled at millisecond time-scales, the image plane data are sensitive to $\mbox{arg}(\alpha)$, $\vartheta$ and $\omega$, and, therefore such NCPAs can be simultaneously estimated with the scene. Simulations of observations with ms exposure times are reported. These simulations include substantial detector noise and a sinusoidal NCPA that places a speckle exactly at the location of a planet. Simulations show that the effects of detector noise can be mitigated by mixing exposures of various lengths, allowing estimation of the planet's brightness.


title: Marcinkiewicz-Zygmund Strong Law of Large Numbers for Pairwise i.i.d. Random Variables

abstract: It is shown that the Marcinkiewicz-Zygmund strong law of large numbers holds for pairwise independent identically distributed random variables. It is proved that if $X_{1}, X_{2}, \ldots$ are pairwise independent identically distributed random variables such that $E|X_{1}|^p < \infty$ for some $1 < p < 2$, then $(S_{n}-ES_{n})/n^{1/p} \to 0$ a.s. where $S_{n} = \sum_{k=1}^{n} X_{k}$.


title: Toward A Mathematical Holographic Principle

abstract: In work started in [17] and continued in this paper our objective is to study selectors of multivalued functions which have interesting dynamical properties, such as possessing absolutely continuous invariant measures. We specify the graph of a multivalued function by means of lower and upper boundary maps $\tau_{1}$ and $\tau_{2}.$ On these boundary maps we define a position dependent random map $R_{p}=\{\tau_{1},\tau_{2};p,1-p\},$ which, at each time step, moves the point $x$ to $\tau_{1}(x)$ with probability $p(x)$ and to $\tau_{2}(x)$ with probability $1-p(x)$. Under general conditions, for each choice of $p$, $R_{p}$ possesses an absolutely continuous invariant measure with invariant density $f_{p}.$ Let $\boldsymbol\tau$ be a selector which has invariant density function $f.$ One of our objectives is to study conditions under which $p(x)$ exists such that $R_{p}$ has $f$ as its invariant density function. When this is the case, the long term statistical dynamical behavior of a selector can be represented by the long term statistical behavior of a random map on the boundaries of $G.$ We refer to such a result as a mathematical holographic principle. We present examples and study the relationship between the invariant densities attainable by classes of selectors and the random maps based on the boundaries and show that, under certain conditions, the extreme points of the invariant densities for selectors are achieved by bang-bang random maps, that is, random maps for which $p(x)\in \{0,1\}.$


title: Automatic Differentiation of Algorithms for Machine Learning

abstract: Automatic differentiation---the mechanical transformation of numeric computer programs to calculate derivatives efficiently and accurately---dates to the origin of the computer age. Reverse mode automatic differentiation both antedates and generalizes the method of backwards propagation of errors used in machine learning. Despite this, practitioners in a variety of fields, including machine learning, have been little influenced by automatic differentiation, and make scant use of available tools. Here we review the technique of automatic differentiation, describe its two main modes, and explain how it can benefit machine learning practitioners. To reach the widest possible audience our treatment assumes only elementary differential calculus, and does not assume any knowledge of linear algebra.


title: On the initial value problem for the wave equation in Friedmann -- Robertson -- Walker space-times

abstract: We study the wave propagator for a Friedmann - Robertson - Walker background space-time, which is singular at time t=0. Using a spherical means formulation for the solution of the wave equation that is due to Klainerman and Sarnak, we derive three properties of solutions. the first is sharp time decay properties, using ideas of Fritz John. the second is that the wave equation in Friedmann - Robertson - Walker space-time does not satisfy the sharp Huygens property. The third is that the initial value problem for a class of data posed at the tingular time is well defined. Since the wave equation is reversible, this represents a class of data which propagates information smoothly from the past to the future passing through the space-time singularity.


title: Automata in SageMath---Combinatorics meet Theoretical Computer Science

abstract: The new finite state machine package in the mathematics software system SageMath is presented and illustrated by many examples. Several combinatorial problems, in particular digit problems, are introduced, modeled by automata and transducers and solved using SageMath. In particular, we compute the asymptotic Hamming weight of a non-adjacent-form-like digit expansion, which was not known before.