title: Coronal Thick Target Hard X Ray Emissions and Radio Emissions

abstract: Recently a distinctive class of hard X ray (HXR) sources located in the corona was found, which implies that the collisionally thick target model (CTTM) applies even to the corona. We investigated whether this idea can independently be verified by microwave radiations that have been known as the best companion to HXRs. The study is made for the GOES M2.3 class flare occurred on 2002 September 9 that were observed by the Reuven Ramaty High Energy Solar Spectroscopic Imager (RHESSI) and the Owens Valley Solar Array (OVSA). Interpreting the observed energy dependent variation of HXR source size under the CTTM the coronal density should be as high as $5\times 10^{11}$ cm$^{-3}$ over the distance up to 12$"$. To explain the cut-off feature of microwave spectrum at 3 GHz, we however, need density no higher than $1\times 10^{11}$ cm$^{-3}$. Additional constraints need to be placed on temperature and magnetic field of the coronal source in order to reproduce the microwave spectrum as a whole. Firstly, a spectral feature called the Razin suppression requires the magnetic field in a range of 250--350 gauss along with high viewing angles around 75$^{\rm o}$. Secondly, to avoid excess fluxes at high frequencies due to the free-free emission that were not observed, we need a high temperature $\geq2\times 10^7$ K. These two microwave spectral features, Razzin suppression and free-free emissions, become more significant at regions of high thermal plasma density and are essential for validating and for determining additional parameters for the coronal HXR sources.


title: Upper and Lower Bounds for Weak Backdoor Set Detection

abstract: We obtain upper and lower bounds for running times of exponential time algorithms for the detection of weak backdoor sets of 3CNF formulas, considering various base classes. These results include (omitting polynomial factors), (i) a 4.54^k algorithm to detect whether there is a weak backdoor set of at most k variables into the class of Horn formulas; (ii) a 2.27^k algorithm to detect whether there is a weak backdoor set of at most k variables into the class of Krom formulas. These bounds improve an earlier known bound of 6^k. We also prove a 2^k lower bound for these problems, subject to the Strong Exponential Time Hypothesis.


title: The Dynamics of Sex Ratio Evolution: From the Gene Perspective to Multilevel Selection

abstract: The new dynamical game theoretic model of sex ratio evolution emphasizes the role of males as passive carriers of sex ratio genes. This shows inconsistency between population genetic models of sex ratio evolution and classical strategic models. In this work a novel technique of change of coordinates will be applied to the new model. This will reveal new aspects of the modelled phenomenon which cannot be shown or proven in the original formulation. The underlying goal is to describe the dynamics of selection of particular genes in the entire population, instead of in the same sex subpopulation, as in the previous paper and earlier population genetics approaches. This allows for analytical derivation of the unbiased strategic model from the model with rigorous non-simplified genetics. In effect, an alternative system of replicator equations is derived. It contains two subsystems: the first describes changes in gene frequencies (this is an alternative unbiased formalization of the Fisher-Dusing argument), whereas the second describes changes in the sex ratios in subpopulations of carriers of genes for each strategy. An intriguing analytical result of this work is that fitness of a gene depends on the current sex ratio in the subpopulation of its carriers, not on the encoded individual strategy. Thus, the argument of the gene fitness function is not constant but is determined by the trajectory of the sex ratio among carriers of that gene. This aspect of the modelled phenomenon cannot be revealed by the static analysis. Dynamics of the sex ratio among gene carriers is driven by a dynamic "tug of war" between female carriers expressing the encoded strategic trait value and random partners of male carriers expressing the average population strategy (a primary sex ratio). This mechanism can be called "double level selection". Therefore, gene interest perspective leads to multi-level selection.


title: Engineering Ising-XY spin models in a triangular lattice via tunable artificial gauge fields

abstract: Emulation of gauge fields for ultracold atoms provides access to a class of exotic states arising in strong magnetic fields. Here we report on the experimental realisation of tunable staggered gauge fields in a periodically driven triangular lattice. For maximal staggered magnetic fluxes, the doubly degenerate superfluid ground state breaks both a discrete Z2 (Ising) symmetry and a continuous U(1) symmetry. By measuring an Ising order parameter, we observe a thermally driven phase transition from an ordered antiferromagnetic to an unordered paramagnetic state and textbook-like magnetisation curves. Both the experimental and theoretical analysis of the coherence properties of the ultracold gas demonstrate the strong influence of the Z2 symmetry onto the condensed phase.


title: Vortex Filament Equation for a Regular Polygon

abstract: In this paper, we study the evolution of the vortex filament equation (VFE), $$\mathbf X_t = \mathbf X_s \wedge \mathbf X_{ss},$$ with $\mathbf X(s, 0)$ being a regular planar polygon. Using algebraic techniques, supported by full numerical simulations, we give strong evidence that $\mathbf X(s, t)$ is also a polygon at any rational time; moreover, it can be fully characterized, up to a rigid movement, by a generalized quadratic Gau{\ss} sum. We also study the fractal behavior of $\mathbf X(0, t)$, relating it with the so-called Riemann's non-differentiable function, that was proved by Jaffard to be a multifractal.


title: Velocity requirements for causality violation

abstract: We re-examine the "Regge-Tolman paradox" with reference to some recent experimental results. It is straightforward to find a formula for the velocity v of the moving system required to produce causality violation. This formula typically yields a velocity very close to the speed of light (for instance, v/c > 0.97 for X-shaped microwaves), which raises some doubts about the real physical observability of the violations. We then compute the velocity requirement introducing a delay between the reception of the primary signal and the emission of the secondary. It turns out that in principle for any delay it is possible to find moving observers able to produce active causal violation. This is mathematically due to the singularity of the Lorentz transformations for beta to 1. For a realistic delay due to the propagation of a luminal precursor, we find that causality violations in the reported experiments are still more unlikely (v/c > 0.989), and even in the hypothesis that the superluminal propagation velocity goes to infinity, the velocity requirement is bounded by v/c > 0.62. We also prove that if two macroscopic bodies exchange energy and momentum through superluminal signals, then the swap of signal source and target is incompatible with the Lorentz transformations; therefore it is not possible to distinguish between source and target, even with reference to a definite reference frame.


title: Crack Formation in Laponite Gel under AC Fields

abstract: Crack formation patterns in laponite gel are known to be strongly affected by DC electric fields. We show that AC fields produce equally remarkable patterns in a radially symmetric set-up. The character of the pattern depends crucially on the field strength. A significant feature observed is the bending of radial cracks, with the curvature increasing as field strength is increased. Fields of 20 to 70 V have been applied and several features of the resulting patterns quantified. Striations on the fracture surfaces and crack speeds are also studied.


title: A Clustering Analysis of the Morphology of the 130 GeV Gamma-Ray Feature

abstract: Recent observations indicating the existence of a monochromatic gamma-ray line with energy ~130 GeV in the Fermi-LAT data have attracted great interest due to the possibility that the line feature stems from the annihilation of dark matter particles. Many studies examining the robustness of the putative line-signal have concentrated on its spectral attributes. Here, we study the morphological features of the gamma-ray line photons, which can be used to differentiate a putative dark matter signal from astrophysical backgrounds or instrumental artifacts. Photons stemming from dark matter annihilation will produce events tracing a specific morphology, with a statistical clustering that can be calculated based on models of the dark matter density profile in the inner Galaxy. We apply the DBSCAN clustering algorithm to Fermi gamma-ray data, and show that we can rule out the possibility that 1 (2, 4) or fewer point-like sources produce the observed morphology for the line photons at a 99% (95%, 90%) confidence level. Our study strongly disfavors the main astrophysical background envisioned to produce a line feature at energies above 100 GeV: cold pulsar winds. It is highly unlikely that 4 or more such objects have exactly the same monochromatic cosmic-ray energy needed to produce a gamma-ray line, to within instrumental energy resolution. Furthermore, we show that the larger photon statistics expected with Air Cherenkov Telescopes such as H.E.S.S.-II will allow for extraordinarily stringent morphological tests of the origin of the "line photons".


title: The environmental dependence of the stellar mass function at z~1: Comparing cluster and field between the GCLASS and UltraVISTA surveys

abstract: We present the stellar mass functions (SMFs) of star-forming and quiescent galaxies from observations of 10 rich clusters in the Gemini Cluster Astrophysics Spectroscopic Survey (GCLASS) in the redshift range 0.86<z<1.34. We compare our results with field measurements at similar redshifts using data from a Ks-band selected catalogue of the COSMOS/UltraVISTA field. We construct a Ks-band selected multi-colour catalogue for the clusters in 11 photometric bands covering u-8um, and estimate photometric redshifts and stellar masses using SED fitting techniques. To correct for interlopers in our cluster sample, we use the deep spectroscopic component of GCLASS, which contains spectra for 1282 identified cluster and field galaxies taken with Gemini/GMOS. Both the photometric and spectroscopic samples are sufficiently deep that we can probe the SMF down to masses of 10^10 Msun. We distinguish between star-forming and quiescent galaxies using the rest-frame U-V versus V-J diagram, and find that the best-fitting Schechter parameters alpha and M* are similar within the uncertainties for these galaxy types within the different environments. However, there is a significant difference in the shape and normalisation of the total SMF between the clusters and the field sample. This difference in the total SMF is primarily a reflection of the increased fraction of quiescent galaxies in high-density environments. We apply a simple quenching model that includes components of mass- and environment-driven quenching, and find that in this picture 45% of the star-forming galaxies, which normally would be forming stars in the field, are quenched by the cluster. If galaxies in clusters and the field quench their star formation via different mechanisms, these processes have to conspire in such a way that the shapes of the quiescent and star-forming SMF remain similar in these different environments.


title: Gluino-driven Radiative Breaking, Higgs Boson Mass, Muon $\mathbf{g-2}$, and the Higgs Diphoton Decay in SUGRA Unification

abstract: We attempt to reconcile seemingly conflicting experimental results on the Higgs boson mass, the anomalous magnetic moment of the muon, null results in search for supersymmetry at the LHC within the 8\TeV data and results from $B$-physics, all within the context of supersymmetric grand unified theories. Specifically, we consider a supergravity grand unification model with non-universal gaugino masses where we take the $\mathrm{SU}(3)_C$ gaugino field to be much heavier than the other gaugino and sfermion fields at the unification scale. This construction naturally leads to a large mass splitting between the slepton and squark masses, due to the mass splitting between the electroweak gauginos and the gluino. The heavy Higgs bosons and Higgsinos also follow the gluino toward large masses. We carry out a Bayesian Monte Carlo analysis of the parametric space and find that it can simultaneously explain the large Higgs mass, and the anomalous magnetic moment of the muon, while producing a negligible correction to the Standard Model prediction for $\mathcal{B}r(B^0_s\to\mu^+\mu^-)$. We also find that the model leads to an excess in the Higgs diphoton decay rate. A brief discussion of the possibility of detection of the light particles is given. Also discussed are the implications of the model for dark matter.


title: An Infinite Set of Ward Identities for Adiabatic Modes in Cosmology

abstract: We show that the correlation functions of any single-field cosmological model with constant growing-modes are constrained by an infinite number of novel consistency relations, which relate (N+1)-point correlation functions with a soft-momentum scalar or tensor mode to a symmetry transformation on N-point correlation functions of hard-momentum modes. We derive these consistency relations from Ward identities for an infinite tower of non-linearly realized global symmetries governing scalar and tensor perturbations. These symmetries can be labeled by an integer n. At each order n, the consistency relations constrain - completely for n=0,1, and partially for n>= 2 - the q^n behavior of the soft limits. The identities at n=0 recover Maldacena's original consistency relations for a soft scalar and tensor mode, n=1 gives the recently-discovered conformal consistency relations, and the identities for n>= 2 are new. As a check, we verify directly that the n=2 identity is satisfied by known correlation functions in slow-roll inflation.


title: Diffraction in Time: An Exactly Solvable Model

abstract: In the recent years, mater-wave interferometry has attracted growing attention due to its unique suitability for high-precision measurements and study of fundamental aspects of quantum theory. Diffraction and interference of matter waves can be observed not only at a spatial aperture (such as a screen edge, slit, or grating), but also at a time-domain aperture (such as an absorbing barrier, or "shutter", that is being periodically switched on and off). The wave phenomenon of the latter type is commonly referred to as "diffraction in time". Here, we introduce a versatile, exactly solvable model of diffraction in time. It describes time-evolution of an arbitrary initial quantum state in the presence of a time-dependent absorbing barrier, governed by an arbitrary aperture function. Our results enable a quantitative description of diffraction and interference patterns in a large variety of setups, and may be used to devise new diffraction and interference experiments with atoms and molecules.


title: Holographic Gravitational Anomaly in First and Second Order Hydrodynamics

abstract: We compute, in the framework of the fluid/gravity correspondence, the transport coefficients of a relativistic fluid affected by chiral and gauge-gravitational anomalies, including external electromagnetic fields. The computation is performed at first and second order in the hydrodynamical expansion. We use a 5-dim holographic model with pure gauge and mixed gauge-gravitational Chern-Simons terms in the action. We reproduce at first order previous results on the anomaly induced current of a magnetic field and a vortex in a relativistic fluid, and compute at second order the anomalous and non anomalous transport coefficients by using a Weyl covariant formalism. We find a dissipative and anomalous correction to the chiral magnetic conductivity due to the time dependence of the magnetic field. We also find a new contribution from the mixed gauge-gravitational anomaly to the shear waves dispersion relation. The role played by the chiral and gravitational anomalies in other transport coefficients is discussed.


title: Inexact Coordinate Descent: Complexity and Preconditioning

abstract: In this paper we consider the problem of minimizing a convex function using a randomized block coordinate descent method. One of the key steps at each iteration of the algorithm is determining the update to a block of variables. Existing algorithms assume that in order to compute the update, a particular subproblem is solved exactly. In his work we relax this requirement, and allow for the subproblem to be solved inexactly, leading to an inexact block coordinate descent method. Our approach incorporates the best known results for exact updates as a special case. Moreover, these theoretical guarantees are complemented by practical considerations: the use of iterative techniques to determine the update as well as the use of preconditioning for further acceleration.


title: A Semantics for Approximate Program Transformations

abstract: An approximate program transformation is a transformation that can change the semantics of a program within a specified empirical error bound. Such transformations have wide applications: they can decrease computation time, power consumption, and memory usage, and can, in some cases, allow implementations of incomputable operations. Correctness proofs of approximate program transformations are by definition quantitative. Unfortunately, unlike with standard program transformations, there is as of yet no modular way to prove correctness of an approximate transformation itself. Error bounds must be proved for each transformed program individually, and must be re-proved each time a program is modified or a different set of approximations are applied. In this paper, we give a semantics that enables quantitative reasoning about a large class of approximate program transformations in a local, composable way. Our semantics is based on a notion of distance between programs that defines what it means for an approximate transformation to be correct up to an error bound. The key insight is that distances between programs cannot in general be formulated in terms of metric spaces and real numbers. Instead, our semantics admits natural notions of distance for each type construct; for example, numbers are used as distances for numerical data, functions are used as distances for functional data, an polymorphic lambda-terms are used as distances for polymorphic data. We then show how our semantics applies to two example approximations: replacing reals with floating-point numbers, and loop perforation.


title: The Dark Energy Cosmic Clock: A New Way to Parametrise the Equation of State

abstract: We propose a completely new parametrisation of the dark energy equation of state, which uses the dark energy density, $\Omega_e$ as a cosmic clock. We expand the equation of state in a series of orthogonal polynomials, with $\Omega_e$ as the expansion parameter and determine the expansion coefficients by fitting to SNIa and $H(z)$ data. Assuming that $\Omega_e$ is a monotonic function of time, we show that our parametrisation performs better than the popular Chevallier--Polarski--Linder (CPL) and Gerke and Efstathiou (GE) parametrisations, and we demonstrate that it is robust to the choice of prior. Expanding in orthogonal polynomials allows us to relate models of dark energy directly to our parametrisation, which we illustrate by placing constraints on the expansion coefficients extracted from two popular quintessence models. Finally, we comment on how this parametrisation could be modified to accommodate high redshift data, where any non--monotonicity of $\Omega_e$ would need to be accounted for.


title: Observation of angle-dependent transmission of Dirac electrons in graphene hetero junctions

abstract: The relativistic nature of charge carriers in graphene is expected to lead to an angle- dependent transmission through a potential barrier, where Klein tunneling involves annihilation of an electron and a hole at the edges of the barrier. The signatures of Klein tunneling have been observed in gated graphene devices, but the angle dependence of the transmission probability has not been directly observed. Here we show measurements of the angle-dependent transmission through quasi-ballistic graphene heterojunctions with straight and angled leads, in which the barrier height is controlled by a shared gate electrode. Using a balanced differential measurement technique, we isolate the angle-dependent contribution to the resistance from other angle-insensitive, gate-dependent and device-dependent effects. We find large oscillations in the transmission as a function of the barrier height in the case of Klein tunneling at a 45 deg angle, as compared to normal incidence. Our results are consistent with the model that predicts oscillations of the transmission probability due to interference of chiral carriers in a ballistic barrier. The observed angle dependence is the key element behind focusing of electrons and the realization of a Veselago lens in graphene.


title: High temperature viscosity measurement system and viscosity of a common dielectric liquid

abstract: A device to measure viscosity of dielectric oils was developed. The device is an inset to an autoclave system where the temperature and the pressure could be controlled. The device is capable of measuring viscosities up to 400C and 5000psi, which are the limits of our autoclave at the moment.


title: Comparing DNA sequence collections by direct comparison of compressed text indexes

abstract: Popular sequence alignment tools such as BWA convert a reference genome to an indexing data structure based on the Burrows-Wheeler Transform (BWT), from which matches to individual query sequences can be rapidly determined. However the utility of also indexing the query sequences themselves remains relatively unexplored. Here we show that an all-against-all comparison of two sequence collections can be computed from the BWT of each collection with the BWTs held entirely in external memory, i.e. on disk and not in RAM. As an application of this technique, we show that BWTs of transcriptomic and genomic reads can be compared to obtain reference-free predictions of splice junctions that have high overlap with results from more standard reference-based methods. Code to construct and compare the BWT of large genomic data sets is available at http://beetl.github.com/BEETL/ as part of the BEETL library.


title: Electrical properties of polyetherimide thin films: Nonparametric dielectric reponse analysis with distribution of relaxation times

abstract: High temperature polymeric materials for electrical insulation and energy storage are needed for transformational power applications such as pulsed-power and hyrid electrical vehicles. One of the candidate materials has been polyetherimide, an amourphous thermoplastic with a glass transition over 200C. Here dielectric studies on the material are reported by taking into account the polarization and conduction processes in the polyetherimide.


title: The HETDEX Pilot Survey. IV. The Evolution of [O II] Emitting Galaxies from z ~ 0.5 to z ~ 0

abstract: We present an analysis of the luminosities and equivalent widths of the 284 z < 0.56 [O II]-emitting galaxies found in the 169 square arcmin pilot survey for the Hobby-Eberly Telescope Dark Energy Experiment (HETDEX). By combining emission-line fluxes obtained from the Mitchell spectrograph on the McDonald 2.7-m telescope with deep broadband photometry from archival data, we derive each galaxy's de-reddened [O II] 3727 luminosity and calculate its total star formation rate. We show that over the last ~5 Gyr of cosmic time there has been substantial evolution in the [O II] emission-line luminosity function, with L* decreasing by ~0.6 +/-0.2 dex in the observed function, and by ~0.9 +/-0.2 dex in the de-reddened relation. Accompanying this decline is a significant shift in the distribution of [O II] equivalent widths, with the fraction of high equivalent-width emitters declining dramatically with time. Overall, the data imply that the relative intensity of star formation within galaxies has decreased over the past ~5 Gyr, and that the star formation rate density of the universe has declined by a factor of ~2.5 between z ~ 0.5 and z ~ 0. These observations represent the first [O II]-based star formation rate density measurements in this redshift range, and foreshadow the advancements which will be generated by the main HETDEX survey.


title: Return currents and energy transport in the solar flaring atmosphere

abstract: According to a standard ohmic perspective, the injection of accelerated electrons into the flaring region violates local charge equilibrium and therefore, in response, return currents are driven by an electric field to equilibrate such charge violation. In this framework, the energy loss rate associated to these local currents has an ohmic nature and significantly shortens the acceleration electron path. In the present paper we adopt a different viewpoint and, specifically, we study the impact of the background drift velocity on the energy loss rate of accelerated electrons in solar flares. We first utilize the Rutherford cross-section to derive the formula of the energy loss rate when the collisional target has a finite temperature and the background instantaneously and coherently moves up to equilibrate the electron injection. We then use the continuity equation for electrons and imaging spectroscopy data provided by RHESSI to validate this model. Specifically, we show that this new formula for the energy loss rate provides a better fit of the experimental data with respect to the model based on the effects of standard ohmic return currents.


title: Annihilation dynamics of stringlike topological defects in a nematic lyotropic liquid crystal

abstract: Topological defects can appear whenever there is some type of ordering. Its ubiquity in nature has been the subject of several studies, from early Universe to condensed matter. In this work, we investigated the annihilation dynamics of defects and antidefects in a lyotropic nematic liquid crystal (ternary mixture of potassium laurate, decanol and deionized-destilated water) using the polarized optical light microscopy technique. We analyzed Schlieren textures with topological defects produced due to a symmetry breaking in the transition of the isotropic to nematic calamitic phase after a temperature quench. As result, we obtained for the distance D between two annihilating defects (defect-antidefect pair), as a function of time t remaining for the annihilation, the scaling law D ~ t^{\alpha}, with \alpha = 0.390 and standard deviation \sigma = 0.085. Our findings go in the direction to extend experimental results related to dynamics of defects in liquid crystals since only thermotropic and polymerics ones had been investigated. In addition, our results are in good quantitative agreement with previous investigations on the subject.


title: A Comparison Study of Two Methods for Elliptic Boundary Value Problems

abstract: In this paper, we perform a comparison study of two methods (the embedded boundary method and several versions of the mixed finite element method) to solve an elliptic boundary value problem.


title: Current Status of Simulations

abstract: As the title suggests, the purpose of this chapter is to review the current status of numerical simulations of black hole accretion disks. This chapter focuses exclusively on global simulations of the accretion process within a few tens of gravitational radii of the black hole. Most of the simulations discussed are performed using general relativistic magnetohydrodynamic (MHD) schemes, although some mention is made of Newtonian radiation MHD simulations and smoothed particle hydrodynamics. The goal is to convey some of the exciting work that has been going on in the past few years and provide some speculation on future directions.


title: Quantized Friction across Ionic Liquid Thin Films

abstract: Ionic liquids, salts in the liquid state under ambient conditions, are of great interest as precision lubricants. Ionic liquids form layered structures at surfaces, yet it is not clear how this nano-structure relates to their lubrication properties. We measured the friction force between atomically smooth solid surfaces across ionic liquid films of controlled thickness in terms of the number of ion layers. Multiple friction-load regimes emerge, each corresponding to a different number of ion layers in the film. In contrast to molecular liquids, the friction coefficients differ for each layer due to their varying composition.


title: Optical properties of Au colloids self-organized into rings via copolymer templates

abstract: The investigation of the Localized Surface Plasmon Resonance for plasmonic nanoparticles has opened new perspectives for optical nanosensors. Today, an issue in plasmonics is the development of large scale and low cost devices. We focus here on the Langmuir-Blodgett technique to self-organize gold nanoparticles (~ 7 nm) into rings (~ 60 nm) via polystyrene-b-polymethylmethacrylate templates. In particular, we investigated the optical properties of organized gold nanoparticle rings over large areas and report experimental evidence for plasmon resonances of both individual nanoparticles and collective modes. This paves the way for designing devices with multiple resonances in the visible-Infra-red spectrum and developing optical sensors.


title: GRHydro: A new open source general-relativistic magnetohydrodynamics code for the Einstein Toolkit

abstract: We present the new general-relativistic magnetohydrodynamics (GRMHD) capabilities of the Einstein Toolkit, an open-source community-driven numerical relativity and computational relativistic astrophysics code. The GRMHD extension of the Toolkit builds upon previous releases and implements the evolution of relativistic magnetised fluids in the ideal MHD limit in fully dynamical spacetimes using the same shock-capturing techniques previously applied to hydrodynamical evolution. In order to maintain the divergence-free character of the magnetic field, the code implements both hyperbolic divergence cleaning and constrained transport schemes. We present test results for a number of MHD tests in Minkowski and curved spacetimes. Minkowski tests include aligned and oblique planar shocks, cylindrical explosions, magnetic rotors, Alfv\'en waves and advected loops, as well as a set of tests designed to study the response of the divergence cleaning scheme to numerically generated monopoles. We study the code's performance in curved spacetimes with spherical accretion onto a black hole on a fixed background spacetime and in fully dynamical spacetimes by evolutions of a magnetised polytropic neutron star and of the collapse of a magnetised stellar core. Our results agree well with exact solutions where these are available and we demonstrate convergence. All code and input files used to generate the results are available on http://einsteintoolkit.org. This makes our work fully reproducible and provides new users with an introduction to applications of the code.


title: Designing Electronic Markets for Defeasible-based Contractual Agents

abstract: The design of punishment policies applied to specific domains linking agents actions to material penalties is an open research issue. The proposed framework applies principles of contract law to set penalties: expectation damages, opportunity cost, reliance damages, and party design remedies. In order to decide which remedy provides maximum welfare within an electronic market, a simulation environment called DEMCA (Designing Electronic Markets for Contractual Agents) was developed. Knowledge representation and the reasoning capabilities of the agents are based on an extended version of temporal defeasible logic.


title: Solving Wave Equations on Unstructured Geometries

abstract: Waves are all around us--be it in the form of sound, electromagnetic radiation, water waves, or earthquakes. Their study is an important basic tool across engineering and science disciplines. Every wave solver serving the computational study of waves meets a trade-off of two figures of merit--its computational speed and its accuracy. Discontinuous Galerkin (DG) methods fall on the high-accuracy end of this spectrum. Fortuitously, their computational structure is so ideally suited to GPUs that they also achieve very high computational speeds. In other words, the use of DG methods on GPUs significantly lowers the cost of obtaining accurate solutions. This article aims to give the reader an easy on-ramp to the use of this technology, based on a sample implementation which demonstrates a highly accurate, GPU-capable, real-time visualizing finite element solver in about 1500 lines of code.


title: Simple wavelet sets in R^n

abstract: Wavelet sets that are finite unions of convex sets are constructed in $\mathbb R^n$, $n\geq 2$, for dilation by any expansive matrix that has a power equal to a scalar times the identity and also has all singular values greater than $\sqrt n$. In particular, we produce simple wavelet sets in any dimension for dilation by any real scalar greater than 1.


title: Reducing the number of ancilla qubits and the gate count required for creating large controlled operations

abstract: In this paper we show that it is possible to adapt a qudit scheme for creating a controlled-Toffoli created by Ralph et al. [Phys. Rev. A 75 011213] to be applicable to qubits. While this scheme requires more gates than standard schemes for creating large controlled gates, we show that with simple adaptations it is directly equivalent to the standard scheme in the literature. This scheme is the most gate-efficient way of creating large controlled unitaries currently known, however it is expensive in terms of the number of ancilla qubits used. We go on to show that using a combination of these standard techniques presented by Barenco et al. [Phys. Rev. A 52 3457 (1995)] we can create an n-qubit version of the Toffoli using less gates and the same number of ancilla qubits as recent work using computer optimization. This would be useful in any architecture of quantum computing where gates are cheap but qubit initialization is expensive.


title: Simply transitive quaternionic lattices of rank 2 over F_q(t) and a non-classical fake quadric

abstract: We construct an infinite series of simply transitive irreducible lattices in PGL_2(F_q((t))) \times PGL_2(F_q((t))) by means of a quaternion algebra over F_q(t). The lattices depend on an odd prime power q = p^r and a parameter \tau\ in F_q^* different from 1, and are the fundamental group of a square complex with just one vertex and universal covering T_{q+1} \times T_{q+1}, a product of trees with constant valency q + 1. Our lattices give rise via non-archimedian uniformization to smooth projective surfaces of general type over F_q((t)) with ample canonical class, Chern ratio (c_1)^2/c_2 = 2, trivial Albanese variety and non-reduced Picard scheme. For q = 3, the Zariski-Euler characteristic attains its minimal value \chi = 1: the surface is a non-classical fake quadric.


title: OntoRich - A Support Tool for Semi-Automatic Ontology Enrichment and Evaluation

abstract: This paper presents the OntoRich framework, a support tool for semi-automatic ontology enrichment and evaluation. The WordNet is used to extract candidates for dynamic ontology enrichment from RSS streams. With the integration of OpenNLP the system gains access to syntactic analysis of the RSS news. The enriched ontologies are evaluated against several qualitative metrics.


title: Probing top anomalous couplings at the LHC with trilepton signatures in the single top mode

abstract: We investigate trilepton final states to probe top anomalous couplings at the Large Hadron Collider. We focus on events originating from the associated production of a single top quark with a Z-boson, a channel sensitive to several flavor-changing neutral interactions of top and up/charm quarks. In particular, we explore a way to access simultaneously their anomalous couplings to Z-bosons and gluons and derive the discovery potential of trilepton final states to such interactions with 20 fb-1 of 8 TeV collisions. We show that effective coupling strengths of O(0.1-1) TeV-1 can be reached. Equivalently, branching fractions of top quarks into lighter quarks and gluons or Z-bosons can be constrained to be below O(0.1-1)%.


title: Anisotropic Heisenberg Model in Thin Film Geometry

abstract: The effect of the anisotropy in the exchange interaction on the phase diagrams and magnetization behavior of the Heisenberg thin film has been investigated with effective field formulation in a two spin cluster using the decoupling approximation. Phase diagrams and magnetization behaviors have been obtained for several different cases, by grouping the systems in accordance with, whether the surfaces/interior of the film have anisotropic exchange interaction or not. Particular attention has been paid on the evolution of the special point coordinate with the anisotropy in the exchange interaction. It has been concluded that for increasing ratio of the anisotropies in the exchange interaction between the surface and interior of the film, special point disappears at a special value of this ratio.


title: GPU Scripting and Code Generation with PyCUDA

abstract: High-level scripting languages are in many ways polar opposites to GPUs. GPUs are highly parallel, subject to hardware subtleties, and designed for maximum throughput, and they offer a tremendous advance in the performance achievable for a significant number of computational problems. On the other hand, scripting languages such as Python favor ease of use over computational speed and do not generally emphasize parallelism. PyCUDA is a package that attempts to join the two together. This chapter argues that in doing so, a programming environment is created that is greater than just the sum of its two parts. We would like to note that nearly all of this chapter applies in unmodified form to PyOpenCL, a sister project of PyCUDA, whose goal it is to realize the same concepts as PyCUDA for OpenCL.


title: Enacting Social Argumentative Machines in Semantic Wikipedia

abstract: This research advocates the idea of combining argumentation theory with the social web technology, aiming to enact large scale or mass argumentation. The proposed framework allows mass-collaborative editing of structured arguments in the style of semantic wikipedia. The long term goal is to apply the abstract machinery of argumentation theory to more practical applications based on human generated arguments, such as deliberative democracy, business negotiation, or self-care. The ARGNET system was developed based on ther Semantic MediaWiki framework and on the Argument Interchange Format (AIF) ontology.


title: Regular del Pezzo surfaces with irregularity

abstract: We construct the first examples of regular del Pezzo surfaces for which the irregularity (i.e. the dimension of the first cohomology group of the structure sheaf) is nonzero. We also find a restriction on the integer pairs that are possible as the anti-canonical degree and irregularity of such a surface.


title: Active particles under confinement: Aggregation at the wall and gradient formation inside a channel

abstract: I study the confinement-induced aggregation phenomenon in a minimal model of self-propelled particles inside a channel. Starting from first principles, I derive a set of equations that govern the density profile of such a system at the steady-state, and calculate analytically how the aggregation at the walls varies with the physical parameters of the system. I also investigate how the gradient of the particle density varies if the inside of the channel is partitioned into two regions within which the active particles exhibit distinct levels of fluctuations in their directions of travel.


title: The Dark Side of Galaxy Color

abstract: We present age distribution matching, a theoretical formalism for predicting how galaxies of luminosity L and color C occupy dark matter halos. Our model supposes that there are just two fundamental properties of a halo that determine the color and brightness of the galaxy it hosts: the maximum circular velocity Vmax, and the redshift z_starve that correlates with the epoch at which the star formation in the galaxy ceases. The halo property z_starve is intended to encompass physical characteristics of halo mass assembly that may deprive the galaxy of its cold gas supply and, ultimately, quench its star formation. The new, defining feature of the model is that, at fixed luminosity, galaxy color is in monotonic correspondence with z_starve, with the larger values of z_starve being assigned redder colors. We populate an N- body simulation with a mock galaxy catalog based on age distribution matching, and show that the resulting mock galaxy distribution accurately describes a variety of galaxy statistics. Our model suggests that halo and galaxy assembly are indeed correlated. We make publicly available our low-redshift, SDSS M_r <-19 mock galaxy catalog, and main progenitor histories of all z=0 halos, at http://logrus.uchicago.edu/~aphearin


title: A probabilistic symbolic algorithm to find the minimum of a polynomial function on a basic closed semialgebraic set

abstract: We consider the problem of computing the minimum of a polynomial function g on a basic closed semialgebraic set E in R^n. We present a probabilistic symbolic algorithm to find a finite set of sample points of the subset E^{min} of E where the minimum of g is attained, provided that E^{min} is non-empty and has at least one compact connected component.


title: Impulsive and Long Duration High-Energy Gamma-ray Emission From the Very Bright 2012 March 7 Solar Flares

abstract: The Fermi Large Area Telescope (LAT) observed two bright X-class solar flares on 2012 March 7, and detected gamma-rays up to 4 GeV. We detected gamma-rays both during the impulsive and temporally-extended emission phases, with emission above 100 MeV lasting for approximately 20 hours. Accurate localization of the gamma-ray production site(s) coincide with the solar active region from which X-ray emissions associated with these flares originated. Our analysis of the >100 MeV gamma-ray emission shows a relatively rapid monotonic decrease in flux during the first hour of the impulsive phase, and a much slower, almost monotonic decrease in flux for the next 20 hours. The spectra can be adequately described by a power law with a high energy exponential cutoff, or as resulting from the decay of neutral pions produced by accelerated protons and ions with an isotropic power-law energy distribution. The required proton spectrum has a number index ~3, with minor variations during the impulsive phase, while during the temporally extended phase the spectrum softens monotonically, starting with index ~4. The >30 MeV proton flux and spectra observed near the Earth by the GOES satellites also show a monotonic flux decrease and spectral softening during the extended phase, but with a harder spectrum, with index ~3. Based on the Fermi-LAT and GOES observations of the flux and spectral evolution of these bright flares, we explore the relative merits of prompt and continuous acceleration scenarios, hadronic and leptonic emission processes, and acceleration at the solar corona by the fast Coronal Mass Ejections (CME) as explanations for the observations. We conclude that the most likely scenario is continuous acceleration of protons in the solar corona which penetrate the lower solar atmosphere and produce pions that decay into gamma-rays.


title: Indexes for Jumbled Pattern Matching in Strings, Trees and Graphs

abstract: We consider how to index strings, trees and graphs for jumbled pattern matching when we are asked to return a match if one exists. For example, we show how, given a tree containing two colours, we can build a quadratic-space index with which we can find a match in time proportional to the size of the match. We also show how we need only linear space if we are content with approximate matches.


title: A Systematic Retrieval Analysis of Secondary Eclipse Spectra I: A Comparison of Atmospheric Retrieval Techniques

abstract: Spectra of exoplanet atmospheres provide us the opportunity to improve our understanding of these objects just as remote sensing in our own solar system has increased our understanding of the solar system bodies. The challenge is to quantitatively determine the range of temperatures and species abundances allowed by the data. This challenge is often difficult given the low information content of most exoplanet spectra which commonly leads to degeneracies in the interpretation. A variety of temperature and abundance retrieval approaches have been applied to exoplanet spectra, but no previous investigations have sought to compare these approaches. In this investigation we compare three different retrieval methods: Optimal Estimation, Differential Evolution Markov Chain Monte Carlo, and Bootstrap Monte Carlo. We call our suite of retrieval algorithms the Caltech Inverse Modeling and Retrieval Algorithms (CHIMERA). We discuss what we can expect in terms of uncertainties in abundances and temperatures given current observations as well as potential future observations and what conclusions can be drawn given those uncertainties. In general we find that the three approaches agree for high quality spectra expected to come from potential future spaceborne missions, but disagree for low quality spectra representative of current observations. We also show that the Gaussian posterior probability distribution assumption made in the Optimal Estimation approach is valid for high quality spectral data. We also discuss the implications of our models for the inferred C to O ratios of exoplanetary atmospheres, which of course are important for understanding formation environments. More specifically we show that in the observational limit of a few photometric points, the retrieved C/O is biased towards values near solar and near one simply due to the assumption of uninformative priors.


title: Filtering Random Matrices: The Effect of Incomplete Channel Control in Multiple Scattering

abstract: We present an analytic random matrix theory for the effect of incomplete channel control on the measured statistical properties of the scattering matrix of a disordered multiple-scattering medium. When the fraction of the controlled input channels, m1, and output channels, m2, is decreased from unity, the density of the transmission eigenvalues is shown to evolve from the bimodal distribution describing coherent diffusion, to the distribution characteristic of uncorrelated Gaussian random matrices, with a rapid loss of access to the open eigenchannels. The loss of correlation is also reflected in an increase in the information capacity per channel of the medium. Our results have strong implications for optical and microwave experiments on diffusive scattering media.


title: A quantitative evaluation of health care system in US, China, and Sweden

abstract: This study is mainly aimed at evaluating the effectiveness of current health care systems of several representative countries and improving that of the US. To achieve these goals, a people-oriented non-linear evaluation model is designed. It comprises one major evaluation metric and four minor metrics. The major metric is constituted by combining possible factors that most significantly determine or affect the life expectancy of people in this country. The four minor metrics evaluate less important aspects of health care systems and are subordinate to the major one. The authors rank some of the health care systems in the world according to the major metric and detect problems in them with the help of minor ones. It is concluded that the health care system of Sweden scores higher than the US and Chinese system scores lower than that of the US. Especially, the health care system of US lags behind a little bit compared with its economic power. At last, it is reasonable for the American government to optimize the arrangement of funding base on the result of goal programming model.


title: Local well-posedness for the $H^2$-critical nonlinear Schr\"odinger equation

abstract: In this paper, we consider the nonlinear Schr\"odinger equation $iu_t +\Delta u= \lambda |u|^{\frac {4} {N-4}} u$ in $\R^N $, $N\ge 5$, with $\lambda \in \C$. We prove local well-posedness (local existence, unconditional uniqueness, continuous dependence) in the critical space $\dot H^2 (\R^N) $.


title: Computing Pathways to Systems Biology: Key Contributions of Computational Methods in Pathway Identification

abstract: Understanding large molecular networks consisting of entities such as genes, proteins or RNAs that interact in complex ways to drive the cellular machinery has been an active focus of systems biology. Computational approaches have played a key role in systems biology by complementing theoretical and experimental approaches. Here we roadmap some key contributions of computational methods developed over the last decade in the reconstruction of biological pathways. We position these contributions in a 'systems biology perspective' to reemphasize their roles in unraveling cellular mechanisms and to understand 'systems biology diseases' including cancer.


title: A Markov Model for Ontology Alignment

abstract: The explosion of available data along with the need to integrate and utilize that data has led to a pressing interest in data integration techniques. In terms of Semantic Web technologies, Ontology Alignment is a key step in the process of integrating heterogeneous knowledge bases. In this paper, we present the Edge Confidence technique, a modification and improvement over the popular Similarity Flooding technique for Ontology Alignment.


title: Band-Like Transport in High Mobility Unencapsulated Single-Layer MoS2 Transistors

abstract: Ultra-thin MoS2 has recently emerged as a promising two-dimensional semiconductor for electronic and optoelectronic applications. Here, we report high mobility (>60 cm2/Vs at room temperature) field-effect transistors that employ unencapsulated single-layer MoS2 on oxidized Si wafers with a low level of extrinsic contamination. While charge transport in the sub-threshold regime is consistent with a variable range hopping model, monotonically decreasing field-effect mobility with increasing temperature suggests band-like transport in the linear regime. At temperatures below 100 K, temperature-independent mobility is limited by Coulomb scattering, whereas, at temperatures above 100 K, phonon-limited mobility decreases as a power law with increasing temperature.


title: DORI: Distributed Outdoor Robotic Instruments

abstract: DORI (Distributed Outdoor Robotic Instruments) is a remotely controlled vehicle that is designed to simulate a planetary exploration mission. DORI is equipped with over 20 environmental sensors and can perform basic data analysis, logging and remote upload. The individual components are distributed across a fault-tolerant bus for redundancy. A partial sensor list includes atmospheric pressure, rainfall, wind speed, GPS, gyroscopic inertia, linear acceleration, magnetic field strength, temperature, laser and ultrasonic distance sensing, as well as digital audio and video capture. The project uses recycled consumer electronics devices as a low-cost source for sensor components. This report describes the hardware design of DORI including sensor electronics, embedded firmware, and physical construction.


title: Dynamics of Entanglement in one and two-dimensional spin systems

abstract: We present a review of dynamics of entanglement in one and two dimensional systems under the effect of external magnetic field and different degrees of anisotropy at zero and finite temperatures. Different techniques for treating the spin systems with large Hilbert space dimensions are discussed such as trace minimization algorithm, time-evolution matrix transformation and step by step projection technique.


title: Observations of Gamma-ray Bursts in the Fermi era

abstract: The Fermi observatory, with its Gamma-Ray Bursts monitor (GBM) and Large Area Telescope (LAT), is observing Gamma-ray Bursts with unprecedented spectral coverage and sensitivity, from ~10 keV to > 300 GeV. In the first 3 years of the mission it observed emission above 100 MeV from 35 GRBs, an order of magnitude gain with respect to previous observations in this energy range. In this paper we review the main results obtained on such sample, highlighting also the relationships with the low-energy features (as measured by the GBM), and with measurements from observatories at other wavelengths. We also briefly discuss prospects for detection of GRBs by future Very-High Energy observatories such as HAWC and CTA, and by Gravitational Wave experiments.


title: Detecting and realising characteristic classes of manifold bundles

abstract: We apply our earlier work on the higher-dimensional analogue of the Mumford conjecture to two questions. Inspired by work of Ebert we prove non-triviality of certain characteristic classes of bundles of smooth closed manifolds. Inspired by work of Church-Farb-Thibault and Church-Crossley-Giansiracusa we investigate the dependence of characteristic classes of bundles on characteristic numbers of its fibre, total space and base space.


title: First Passage Properties of Molecular Spiders

abstract: Molecular spiders are synthetic catalytic DNA-based nanoscale walkers. We study the mean first passage time for abstract models of spiders moving on a finite two-dimensional lattice with various boundary conditions, and compare it with the mean first passage time of spiders moving on a one-dimensional track. We evaluate by how much the slowdown on newly visited sites, owing to catalysis, can improve the mean first passage time of spiders and show that in one dimension, when both ends of the track are an absorbing boundary, the performance gain is lower than in two dimensions, when the absorbing boundary is a circle; this persists even when the absorbing boundary is a single site.


title: Mean Spectral Energy Distributions and Bolometric Corrections for Luminous Quasars

abstract: We explore the mid-infrared (mid-IR) through ultraviolet (UV) spectral energy distributions (SEDs) of 119,652 luminous broad-lined quasars with 0.064<z<5.46 using mid-IR data from Spitzer and WISE, near-infrared data from Two Micron All Sky Survey and UKIDSS, optical data from Sloan Digital Sky Survey, and UV data from Galaxy Evolution Explorer. The mean SED requires a bolometric correction (relative to 2500A) of BC=2.75+-0.40 using the integrated light from 1um-2keV, and we further explore the range of bolometric corrections exhibited by individual objects. In addition, we investigate the dependence of the mean SED on various parameters, particularly the UV luminosity for quasars with 0.5<z<3 and the properties of the UV emission lines for quasars with z>1.6; the latter is a possible indicator of the strength of the accretion disk wind, which is expected to be SED dependent. Luminosity-dependent mean SEDs show that, relative to the high-luminosity SED, low-luminosity SEDs exhibit a harder (bluer) far-UV spectral slope, a redder optical continuum, and less hot dust. Mean SEDs constructed instead as a function of UV emission line properties reveal changes that are consistent with known Principal Component Analysis (PCA) trends. A potentially important contribution to the bolometric correction is the unseen extream-UV (EUV) continuum. Our work suggests that lower-luminosity quasars and/or quasars with disk-dominated broad emission lines may require an extra continuum component in the EUV that is not present (or much weaker) in high-luminosity quasars with strong accretion disk winds. As such, we consider four possible models and explore the resulting bolometric corrections. Understanding these various SED-dependent effects will be important for accurate determination of quasar accretion rates.


title: Maximum-rate Transmission with Improved Diversity Gain for Interference Networks

abstract: Interference alignment (IA) was shown effective for interference management to improve transmission rate in terms of the degree of freedom (DoF) gain. On the other hand, orthogonal space-time block codes (STBCs) were widely used in point-to-point multi-antenna channels to enhance transmission reliability in terms of the diversity gain. In this paper, we connect these two ideas, i.e., IA and space-time block coding, to improve the designs of alignment precoders for multi-user networks. Specifically, we consider the use of Alamouti codes for IA because of its rate-one transmission and achievability of full diversity in point-to-point systems. The Alamouti codes protect the desired link by introducing orthogonality between the two symbols in one Alamouti codeword, and create alignment at the interfering receiver. We show that the proposed alignment methods can maintain the maximum DoF gain and improve the ergodic mutual information in the long-term regime, while increasing the diversity gain to 2 in the short-term regime. The presented examples of interference networks have two antennas at each node and include the two-user X channel, the interferring multi-access channel (IMAC), and the interferring broadcast channel (IBC).


title: Inverse Density as an Inverse Problem: The Fredholm Equation Approach

abstract: In this paper we address the problem of estimating the ratio $\frac{q}{p}$ where $p$ is a density function and $q$ is another density, or, more generally an arbitrary function. Knowing or approximating this ratio is needed in various problems of inference and integration, in particular, when one needs to average a function with respect to one probability distribution, given a sample from another. It is often referred as {\it importance sampling} in statistical inference and is also closely related to the problem of {\it covariate shift} in transfer learning as well as to various MCMC methods. It may also be useful for separating the underlying geometry of a space, say a manifold, from the density function defined on it. Our approach is based on reformulating the problem of estimating $\frac{q}{p}$ as an inverse problem in terms of an integral operator corresponding to a kernel, and thus reducing it to an integral equation, known as the Fredholm problem of the first kind. This formulation, combined with the techniques of regularization and kernel methods, leads to a principled kernel-based framework for constructing algorithms and for analyzing them theoretically. The resulting family of algorithms (FIRE, for Fredholm Inverse Regularized Estimator) is flexible, simple and easy to implement. We provide detailed theoretical analysis including concentration bounds and convergence rates for the Gaussian kernel in the case of densities defined on $\R^d$, compact domains in $\R^d$ and smooth $d$-dimensional sub-manifolds of the Euclidean space. We also show experimental results including applications to classification and semi-supervised learning within the covariate shift framework and demonstrate some encouraging experimental comparisons. We also show how the parameters of our algorithms can be chosen in a completely unsupervised manner.


title: Production and decay of for the 125 GeV Higgs boson in the littlest Higgs model with T-parity

abstract: Motivated by recent search results for the standard model (SM) Higgs boson at the Large Hadron Collider (LHC), we revisit the Higgs phenomenology in the littlest Higgs model with T-parity (LHT). We present the signal strength modifier $\mu$ respectively for the main search channels $qq' \rightarrow jjh\rightarrow jj\gamma\gamma$, $qq'\rightarrow Vh\rightarrow V\gamma \gamma$, $qq'\rightarrow Vh \rightarrow Vbb$, $gg\rightarrow h \rightarrow \gamma\gamma$, and $gg \rightarrow h \rightarrow VV$ in the LHT model. It is found that an enhancement factor of $1.09-1.56$ in $qq' \rightarrow jjh\rightarrow jj\gamma\gamma$ channel can be obtained for this model in Case B with parameter $f$ in the range 1000 GeV$\sim 500$ GeV. However, the rates for $b\bar{b}$, $\tau\bar{\tau}$ are significantly suppressed relative to the SM predictions which are still consistent with the current sensitivity. It is hoped that will be further tested with larger integrated luminosity at the LHC.


title: Distributional Ergodicity in Stored-Energy-Driven L\'evy Flights

abstract: We study a class of random walk, the stored-energy-driven L\'evy flight (SEDLF), whose jump length is determined by a stored energy during a trapped state. The SEDLF is a continuous-time random walk with jump lengths being coupled with the trapping times. It is analytically shown that the ensemble-averaged mean square displacements exhibit subdiffusion as well as superdiffusion, depending on the coupling parameter. We find that time-averaged mean square displacements increase linearly with time and the diffusion coefficients are intrinsically random, a manifestation of {\it distributional ergodicity}. The diffusion coefficient shows aging in subdiffusive regime, whereas it increases with the measurement time in superdiffusive regime.


title: Spectral analysis of non-commutative harmonic oscillators: the lowest eigenvalue and no crossing

abstract: The lowest eigenvalue of non-commutative harmonic oscillators $Q$ is studied. It is shown that $Q$ can be decomposed into four self-adjoint operators, and all the eigenvalues of each operator are simple. We show that the lowest eigenvalue $E$ of $Q$ is simple. Furthermore a Jacobi matrix representation of $Q$ is given and spectrum of $Q$ is considered numerically.


title: Quadratic equations in the Grigorchuk group

abstract: We provide an algorithm which, for a given quadratic equation in the Grigorchuk group determines if it has a solution. As a corollary to our approach, we prove that the group has a finite commutator width.


title: Antiferromagnetic Exchange Interactions in Ni$_{2}$Mn$_{1.4}$In$_{0.6}$ ferromagnetic Heusler alloy

abstract: Magnetism in Ni-Mn-Z (Z = Ga,In,Sn,Sb) Heusler alloys has so far been predominantly attributed to Rudermann-Kittel-Kasuya-Yoshida type interactions between Mn atoms. We investigate magnetic interactions in one such alloy, Ni$_{2}$Mn$_{1.4}$In$_{0.6}$ and attempt to explain the origin of antiferromagnetic (AFM) interactions that coexist with ferromagnetic ones. Through the combination of x-ray absorption spectroscopy and x-ray magnetic circular dichroism (XMCD), we find that Ni plays an important role along with Mn in the overall magnetism. A significant hybridization that develops between Mn and Ni orbitals results in a small antiferromagnetic moment at Ni sites. The shift in the XMCD hysteresis loops in the martensitic phase suggests that antiferromagnetism results from superexchange like interactions between Mn atoms mediated by Ni.


title: A Field-motion tautological approach and the role of the acceleration in setting a quantization condition

abstract: In this work is made a reanalysis of the central problem of electrodynamics, i.e., finding the conditions under which an electromagnetic field generates a stable mechanical motion and conversely the existence of this field itself can be consistent with that motion.


title: Organic Topological Insulators in Organometallic Lattices

abstract: Topological insulators (TIs) are a recently discovered class of materials having insulating bulk electronic states but conducting boundary states distinguished by nontrivial topology. So far, several generations of TIs have been theoretically predicted and experimentally confirmed, all based on inorganic materials. Here, based on first-principles calculations, we predict a family of two-dimensional organic TIs made of organometallic lattices. Designed by assembling molecular building blocks of triphenyl-metal compounds with strong spin-orbit coupling into a hexagonal lattice, this new classes of organic TIs are shown to exhibit nontrivial topological edge states that are robust against significant lattice strain. We envision that organic TIs will greatly broaden the scientific and technological impact of TIs.


title: Distributed Low-rank Subspace Segmentation

abstract: Vision problems ranging from image clustering to motion segmentation to semi-supervised learning can naturally be framed as subspace segmentation problems, in which one aims to recover multiple low-dimensional subspaces from noisy and corrupted input data. Low-Rank Representation (LRR), a convex formulation of the subspace segmentation problem, is provably and empirically accurate on small problems but does not scale to the massive sizes of modern vision datasets. Moreover, past work aimed at scaling up low-rank matrix factorization is not applicable to LRR given its non-decomposable constraints. In this work, we propose a novel divide-and-conquer algorithm for large-scale subspace segmentation that can cope with LRR's non-decomposable constraints and maintains LRR's strong recovery guarantees. This has immediate implications for the scalability of subspace segmentation, which we demonstrate on a benchmark face recognition dataset and in simulations. We then introduce novel applications of LRR-based subspace segmentation to large-scale semi-supervised learning for multimedia event detection, concept detection, and image tagging. In each case, we obtain state-of-the-art results and order-of-magnitude speed ups.


title: Impulsive Thermal X-ray Emission from a Low-lying Coronal Loop

abstract: Understanding the relationship among different emission components plays an essential role in the study of particle acceleration and energy conversion in solar flares. In flares where gradual and impulsive emission components can be readily identified the impulsive emission has been attributed to non-thermal particles. We carry out detailed analysis of H\alpha\ and X-ray observations of a GOES class B microflare loop on the solar disk. The impulsive hard X-ray emission, however, is found to be consistent with a hot, quasi-thermal origin, and there is little evidence of emission from chromospheric footpoints, which challenges conventional models of flares and reveals a class of microflares associated with dense loops. H\alpha\ observations indicate that the loop lies very low in the solar corona or even in the chromosphere and both emission and absorption materials evolve during the flare. The enhanced H\alpha\ emission may very well originate from the photosphere when the low-lying flare loop heats up the underlying chromosphere and reduces the corresponding H\alpha\ opacity. These observations may be compared with detailed modeling of flare loops with the internal kink instability, where the mode remains confined in space without apparent change in the global field shape, to uncover the underlying physical processes and to probe the structure of solar atmosphere.


title: Comment on "Spatial Coherence and Optical Beam Shifts"

abstract: This comment is to show that our simulation data, based on our theory and method in Ref. [J. Phys. B 41, 055401 (2008)], are also in agreement with the experimental data presented for $D_{p}-D_{s}$ in Ref. [Phys. Rev. Lett. \textbf{109}, 213901 (2012)]. We also demonstrate how to show the effect of spatial coherence on the GH shifts in this comment, therefore we disagree with the claims in Ref. [Phys. Rev. Lett. \textbf{109}, 213901 (2012)].


title: Tail bounds for stochastic approximation

abstract: Stochastic-approximation gradient methods are attractive for large-scale convex optimization because they offer inexpensive iterations. They are especially popular in data-fitting and machine-learning applications where the data arrives in a continuous stream, or it is necessary to minimize large sums of functions. It is known that by appropriately decreasing the variance of the error at each iteration, the expected rate of convergence matches that of the underlying deterministic gradient method. Conditions are given under which this happens with overwhelming probability.


title: Color image denoising by chromatic edges based vector valued diffusion

abstract: In this letter we propose to denoise digital color images via an improved geometric diffusion scheme. By introducing edges detected from all three color channels into the diffusion the proposed scheme avoids color smearing artifacts. Vector valued diffusion is used to control the smoothing and the geometry of color images are taken into consideration. Color edge strength function computed from different planes is introduced and it stops the diffusion spread across chromatic edges. Experimental results indicate that the scheme achieves good denoising with edge preservation when compared to other related schemes.


title: On the second lower quotient of the fundamental group

abstract: Let X be a reasonable topological space, G its fundamental group, and D = (G,G). We express the second quotient D/(D,G) of the lower central series of G in terms of the homology and cohomology of X . As an example, we recover the isomorphism D/(D,G) = Z/2 (due to Collino) when X is the Fano surface parametrizing lines in a cubic threefold.


title: Ballistic collective group delay and its Goos-H\"{a}nchen component in graphene

abstract: We theoretically investigate the experimental observable of the ballistic collective group delay (CGD) of all the particles on the Fermi surface in graphene. First, we reveal that, lateral Goos-H\"{a}nchen (GH) shifts along barrier interfaces contribute an inherent component in the individual group delay (IGD). Then, by linking the complete IGD to spin precession through a dwell time, we suggest that, the CGD and its GH component can be electrostatically measured by a conductance difference in a spin-precession experiment under weak magnetic fields. Such an approach is feasible for almost arbitrary Fermi energy. We also indicate that, it is a generally nonzero self-interference delay that relates the IGD and dwell time in graphene.


title: Distributed Constrained Optimization by Consensus-Based Primal-Dual Perturbation Method

abstract: Various distributed optimization methods have been developed for solving problems which have simple local constraint sets and whose objective function is the sum of local cost functions of distributed agents in a network. Motivated by emerging applications in smart grid and distributed sparse regression, this paper studies distributed optimization methods for solving general problems which have a coupled global cost function and have inequality constraints. We consider a network scenario where each agent has no global knowledge and can access only its local mapping and constraint functions. To solve this problem in a distributed manner, we propose a consensus-based distributed primal-dual perturbation (PDP) algorithm. In the algorithm, agents employ the average consensus technique to estimate the global cost and constraint functions via exchanging messages with neighbors, and meanwhile use a local primal-dual perturbed subgradient method to approach a global optimum. The proposed PDP method not only can handle smooth inequality constraints but also non-smooth constraints such as some sparsity promoting constraints arising in sparse optimization. We prove that the proposed PDP algorithm converges to an optimal primal-dual solution of the original problem, under standard problem and network assumptions. Numerical results illustrating the performance of the proposed algorithm for a distributed demand response control problem in smart grid are also presented.


title: Parameterized Complexity of 1-Planarity

abstract: We consider the problem of finding a 1-planar drawing for a general graph, where a 1-planar drawing is a drawing in which each edge participates in at most one crossing. Since this problem is known to be NP-hard we investigate the parameterized complexity of the problem with respect to the vertex cover number, tree-depth, and cyclomatic number. For these parameters we construct fixed-parameter tractable algorithms. However, the problem remains NP-complete for graphs of bounded bandwidth, pathwidth, or treewidth.


title: Simulation study of a photo-injector for brightness improvement in Thomson scattering x-ray source via ballistic bunching

abstract: Increasing peak brightness is beneficial to various applications of Thomson scattering x-ray source. Higher peak brightness of scattered x-ray pulse demands shorter scattering electron beam realized by beam compression in electron beam-line. In this article, we study the possibility to compress electron beam in a typical S-band normal conducting photo-injector via ballistic bunching, through just adding a short RF linac section right behind the RF gun, so as to improve peak brightness of scattered x-ray pulse. Numerical optimization by ASTRA demonstrations that peak current can increase from ~50 A to >300 A for a 500 pC, 10 ps FWHM electron pulse, while normalized transverse RMS emittance and RMS energy spread increases very little. Correspondingly, the peak brightness of Thomson scattering x-ray source is estimated to increase about 3 times.


title: Variation in displacement energies due to isospin nonconserving forces

abstract: For mirror nuclei with masses A=42-95, the effects of isospin nonconserving nuclear forces are studied with nuclear shell model using the Coulomb displacement energy and triplet displacement energy as probes. It is shown that the characteristic behavior of the displacement energies can be well reproduced if the isovector and isotensor nuclear interactions with J=0 and T=1 are introduced into the f7/2 shell. These forces, with their strengths being found consistent with the nucleon-nucleon scattering data, tend to modify nuclear binding energies near the N=Z line. At present, no evidence is found that these forces are needed for the upper fp-shell. Theoretical one- and two-proton separation energies are predicted accordingly, and locations of the proton drip-line are thereby suggested.


title: Dew Point modelling using GEP based multi objective optimization

abstract: Different techniques are used to model the relationship between temperatures, dew point and relative humidity. Gene expression programming is capable of modelling complex realities with great accuracy, allowing at the same time, the extraction of knowledge from the evolved models compared to other learning algorithms. We aim to use Gene Expression Programming for modelling of dew point. Generally, accuracy of the model is the only objective used by selection mechanism of GEP. This will evolve large size models with low training error. To avoid this situation, use of multiple objectives, like accuracy and size of the model are preferred by Genetic Programming practitioners. Solution to a multi-objective problem is a set of solutions which satisfies the objectives given by decision maker. Multi objective based GEP will be used to evolve simple models. Various algorithms widely used for multi objective optimization, like NSGA II and SPEA 2, are tested on different test problems. The results obtained thereafter gives idea that SPEA 2 is better than NSGA II based on the features like execution time, number of solutions obtained and convergence rate. We selected SPEA 2 for dew point prediction. The multi-objective base GEP produces accurate and simpler (smaller) solutions compared to solutions produced by plain GEP for dew point predictions. Thus multi objective base GEP produces better solutions by considering the dual objectives of fitness and size of the solution. These simple models can be used to predict future values of dew point.


title: Counting generalized Dyck paths

abstract: The Catalan number has a lot of interpretations and one of them is the number of Dyck paths. A Dyck path is a lattice path from $(0,0)$ to $(n,n)$ which is below the diagonal line $y=x$. One way to generalize the definition of Dyck path is to change the end point of Dyck path, i.e. we define (generalized) Dyck path to be a lattice path from $(0,0)$ to $(m,n) \in \mathbb{N}^2$ which is below the diagonal line $y=\frac{n}{m}x$, and denote by $C(m,n)$ the number of Dyck paths from $(0,0)$ to $(m,n)$. In this paper, we give a formula to calculate $C(m,n)$ for arbitrary $m$ and $n$.


title: Self-excited current oscillations in a resonant tunneling diode described by a model based on the Caldeira-Leggett Hamiltonian

abstract: The quantum dissipative dynamics of a tunneling process through double barrier structures is investigated on the basis of non-perturbative and non-Markovian treatment. We employ a Caldeira-Leggett Hamiltonian with an effective potential calculated self-consistently, accounting for the electron distribution. With this Hamiltonian, we use the reduced hierarchy equations of motion in the Wigner space representation to study non-Markovian and non-perturbative thermal effects at finite temperature in a rigorous manner. We study current variation in time and the current-voltage (I-V) relation of the resonant tunneling diode for several widths of the contact region, which consists of doped GaAs. Hysteresis and both single and double plateau-like behavior are observed in the negative differential resistance (NDR) region. While all of the current oscillations decay in time in the NDR region in the case of a strong system-bath coupling, there exist self-excited high-frequency current oscillations in some parts of the plateau in the NDR region in the case of weak coupling. We find that the effective potential in the oscillating case possesses a basin-like form on the emitter side (emitter basin) and that the current oscillation results from tunneling between the emitter basin and the quantum well in the barriers. We find two distinct types of current oscillations, with large and small oscillation amplitudes, respectively. These two types of oscillation appear differently in the Wigner space, with one exhibiting tornado-like motion and the other exhibiting a two piston engine-like motion.


title: Surface-Roughness-Limited Mean Free Path in Si Nanowire FETs

abstract: The mean free path (MFP) in silicon nanowire field effect transistors limited by surface roughness scattering (SRS) is calculated with the non-perturbative approach utilizing the non-equilibrium Green's function method. The entrance scattering effect associated with finiteness of the channel length is identified and a method to eliminate it in the calculation of the MFP is developed. The behavior of the MFP with respect to channel length (L), channel width (W), and the root-mean-square (RMS) of the surface roughness is investigated extensively. Our major findings are that the single parameter, RMS/W, can be used as a good measure for the strength of the SRS effects and that the overall characteristics of the MFP are determined by the parameter. In particular, the MFP exponentially decreases with the increase of RMS/W and the MFP versus the gate electric field shows a distinctively different behavior depending on whether the strength of the SRS effects measured by RMS/W is smaller or greater than 0.06.


title: Mechanical Properties of the Electric Field: A Novel Prediction derived from the Field's Mass and Stress

abstract: An experiment is proposed which can distinguish between two approaches to the reality of the electric field, and whether it has mechanical properties such as mass and stress. A charged pendulum swings within the field of a much larger charge. The two fields manifest the familiar apparent curvature of their field-lines, "bent" so as not to cross each other. If this phenomenon is real, the pendulum's center of mass must be proportionately shifted according to its lines' curvature. This prediction has no precise counterpart in the conventional interpretation, where this curvature is a mere superposition of the two fields' crossing lines. This empirical distinction, meriting test in itself, further bears on several unresolved issues in classical, quantum and relativistic electromagnetism.


title: Comptonization efficiencies of the variability classes of GRS 1915+105

abstract: The Galactic microquasar GRS 1915+105 exhibits at least seventeen types of variability classes. Intra and inter class transitions are reported to be observed within seconds to hours. Since the observation was not continuous, these classes appeared to be exhibited in a random order. Our goal is to predict a sequence of these classes. In this paper, we compute the ratio of the photon counts obtained from the power-law component and the blackbody component of each class and call this ratio as the `Comptonizing efficiency' (CE) of that class. We sequence the classes in the ascending order of CE and find that this sequence matches with a few class transitions observed by RXTE satellite and IXAE instruments on board IRS-P3. A change in CE corresponds to a change in the optical depth of the Compton cloud. Our result implies that the optical depth of the Compton cloud gradually rises as the variability class becomes harder.


title: Adaptive machine and its thermodynamic costs

abstract: We study the minimal thermodynamically consistent model for an adaptive machine that transfers particles from a higher chemical potential reservoir to a lower one. This model describes essentials of the inhomogeneous catalysis. It is supposed to function with the maximal current under uncertain chemical potentials: if they change, the machine tunes its own structure fitting it to the maximal current under new conditions. This adaptation is possible under two limitations. (i) The degree of freedom that controls the machine's structure has to have a stored energy (described via a negative temperature). The origin of this result is traced back to the Le Chatelier principle. (ii) The machine has to malfunction at a constant environment due to structural fluctuations, whose relative magnitude is controlled solely by the stored energy. We argue that several features of the adaptive machine are similar to those of living organisms (energy storage, aging).


title: Classification of one-dimensional superattracting germs in positive characteristic

abstract: We give a classification of superattracting germs in dimension one over a complete normed algebraically closed field of positive characteristic up to conjugacy. In particular we show that formal and analytic classifications coincide for these germs. We also give a higher dimensional version of some of these results.


title: Bisimulation-Based Comparisons for Interpretations in Description Logics

abstract: We study comparisons between interpretations in description logics with respect to "logical consequences" of the form of semi-positive concepts (like semi-positive concept assertions). Such comparisons are characterized by conditions similar to the ones of bisimulations. The simplest among the considered logics is a variant of PDL (propositional dynamic logic). The others extend that logic with inverse roles, nominals, quantified number restrictions, the universal role, and/or the concept constructor for expressing the local reflexivity of a role. The studied problems are: preservation of semi-positive concepts with respect to comparisons, the Hennessy-Milner property for comparisons, and minimization of interpretations that preserves semi-positive concepts.


title: Modelling the spreading rate of controlled communicable epidemics through an entropy-based thermodynamic model

abstract: A model based on a thermodynamic approach is proposed for predicting the dynamics of communicable epidemics in a city, when the epidemic is governed by controlling efforts of multiple scales so that an entropy is associated with the system. All the epidemic details are factored into a single parameter that is determined by maximizing the rate of entropy production. Despite the simplicity of the final model, it predicts the number of hospitalized cases with a reasonable accuracy, using the data of SARS of the year 2003, once the inflexion point characterizing the effect of multiple controlling efforts is known. This model is supposed to be of potential usefulness since epidemics such as avian influenza like H7H9 in China this year have the risk to become communicable among human beings.


title: La machine \alpha: mod\`ele g\'en\'erique pour les algorithmes naturels

abstract: So far, following the works of A.M. Turing, the algorithms were considered as the mathematical abstraction from which we could write programs for computers whose principle was based on the theoretical concept of Turing machine. We start here from the observation that natural algorithms or rather algorithms of the nature which are massively parallel, autoadaptative and reproductible, and for which we do not know how they really work, nor why, are not easily specified by the current theoretical model of Universal Turing machine, or Universal Computer. In particular the aspects of communications, evolutionary rules (rulers), random (unpredictable) events, just like the genetic code, are taken into account only by subtleties which oblige to break the theory. We shall propose one \textit{universal model} of algorithm called machine-alpha which contains and generalizes the existing models. --- Jusqu'ici, suite aux travaux de A.M.Turing [Turing, 1936], les algorithmes ont \'et\'e vus comme l'abstraction \`a partir de laquelle on pouvait \'ecrire des programmes pour des ordinateurs dont le principe \'etait lui-m\^eme issu du concept th\'eorique de machine de Turing. Nous partons ici du constat que les algorithmes naturels ou plut\^ot les algorithmes de la nature, massivement parall\`eles, autoadaptatifs et auto reproductibles, dont on ne sait pas comment ils fonctionnent r\'eellement, ni pourquoi, ne sont pas ais\'ement sp\'ecifi\'es par le mod\`ele th\'eorique actuel de Machine de Turing Universelle, ou de Calculateur Universel ; en particulier les aspects de communications, de r\`egles \'evolutives, d' \'ev\'enements al\'eatoires, \`a l'image du code g\'en\'etique, ne sont pris en compte que par ajout d'artifices \`a la th\'eorie. Nous nous proposons ici de montrer comment aborder ces probl\`emes en repensant le mod\`ele th\'eorique. Nous proposerons un mod\`ele d'algorithme, appel\'e ici machine-\alpha qui contient et g\'en\'eralise les mod\`eles existants.


title: Cartan-K\"ahler Theory and Applications to Local Isometric and Conformal Embedding

abstract: This text is the extended version of a talk given at 6th Meeting of Integrable Systems and Quantum Filed Theory at Peyresq hold from June 10 2006 to June 17, 2006 at Peyresq, France. The goal of this lecture is to give a brief introduction to Cartan-K\"ahler's theory. As examples to the application of this theory, we choose the local isometric and conformal embedding. We provide lots of details and explanations of the calculation and the tools used.


title: Energy-momentum's local conservation laws and generalized isometric embeddings of vector bundles

abstract: This text is the extended version of a talk given at the conference Geometry, Topology, QFT and Cosmology hold from May 28 to May 30, 2008 at the Observatoire de Paris. Using exterior differential systems, I provide a positive answer to the generalized isometric embedding problem of vector bundles, and show how conservation laws for a class of PDE can be constructed, for instance, for covariant divergence-free energy-momentum tensors.


title: Electric-Field-Induced Resistive Switching in a Family of Mott Insulators : towards Non-Volatile Mott-RRAM Memories

abstract: The fundamental building blocks of modern silicon-based microelectronics, such as double gate transistors in non-volatile Flash memories, are based on the control of electrical resistance by electrostatic charging. Flash memories could soon reach their miniaturization limits mostly because reliably keeping enough electrons in an always smaller cell size will become increasingly difficult . The control of electrical resistance at the nanometer scale therefore requires new concepts, and the ultimate resistance-change device is believed to exploit a purely electronic phase change such as the Mott insulator to insulator transition [2]. Here we show that application of short electric pulses allows to switch back and forth between an initial high-resistance insulating state ("0" state) and a low-resistance "metallic" state ("1" state) in the whole class of Mott Insulator compounds AM4X8 (A = Ga, Ge; M= V, Nb, Ta; X = S, Se). We found that electric fields as low as 2 kV/cm induce an electronic phase change in these compounds from a Mott insulating state to a metallic-like state. Our results suggest that this transition belongs to a new class of resistive switching and might be explained by recent theoretical works predicting that an insulator to metal transition can be achieved by a simple electric field in a Mott Insulator. This new type of resistive switching has potential to build up a new class of Resistive Random Access Memory (RRAM) with fast writing/erasing times (50 ns to 10 {\mu}s) and resistance ratios \Delta R/R of the order of 25% at room temperature.


title: Isotropization in Chaplygin matter universes connected by a wormhole

abstract: Chaplygin anisotropic matter governing the cosmological evolution in two identical universes with an intermediate static spherically symmetric region is considered. The static region contains a wormhole allowing one to pass etween two horizons. The metric in the non-static region represents a kind of an anisotropic Kantowski-Sachs cosmological model starting from a horizon instead the initial singularity. A classification of the cosmologies with a monotonic late stage is presented. It is shown that only one scenario can involve a de Sitter regime. The scales in the de Sitter phase allows one to describe the earliest accelerated expansion on the classical level.


title: Variants of a-T-menability for actions on non-commutative Lp spaces

abstract: We investigate various characterizations of the Haagerup property (H) for a second countable locally compact group G, in terms of orthogonal representations of G on non-commutative Lp spaces. We introduce a variant (H_Lp) for orthogonal representations with vanishing coefficients on Lp, and study its relationships with property (H). We also give a characterization of (H) by the means of strongly mixing actions on a non-commutative Lp space. We construct proper actions of groups with (H) by affine isometries on some non-commutative Lp space, such as the Lp space associated to the hyperfinite II infinite factor.


title: Tight Performance Bounds for Approximate Modified Policy Iteration with Non-Stationary Policies

abstract: We consider approximate dynamic programming for the infinite-horizon stationary $\gamma$-discounted optimal control problem formalized by Markov Decision Processes. While in the exact case it is known that there always exists an optimal policy that is stationary, we show that when using value function approximation, looking for a non-stationary policy may lead to a better performance guarantee. We define a non-stationary variant of MPI that unifies a broad family of approximate DP algorithms of the literature. For this algorithm we provide an error propagation analysis in the form of a performance bound of the resulting policies that can improve the usual performance bound by a factor $O(1-\gamma)$, which is significant when the discount factor $\gamma$ is close to 1. Doing so, our approach unifies recent results for Value and Policy Iteration. Furthermore, we show, by constructing a specific deterministic MDP, that our performance guarantee is tight.


title: Locally refined discrete velocity grids for stationary rarefied flow simulations

abstract: Most of deterministic solvers for rarefied gas dynamics use discrete velocity (or discrete ordinate) approximations of the distribution function on a Cartesian grid. This grid must be sufficiently large and fine to describe the distribution functions at every space position in the computational domain. For 3-dimensional hypersonic flows, like in re-entry problems, this induces much too dense velocity grids that cannot be practically used, for memory storage requirements. In this article, we present an approach to generate automatically a locally refined velocity grid adapted to a given simulation. This grid contains much less points than a standard Cartesian grid and allows us to make realistic 3-dimensional simulations at a reduced cost, with a comparable accuracy.


title: International scientific cooperation during the 1930s. Bruno Rossi and the development of the status of cosmic rays into a branch of physics

abstract: During the 1920s and 1930s, Italian physicists established strong relationships with scientists from other European countries and the United States. The career of Bruno Rossi, a leading personality in the study of cosmic rays and an Italian pioneer of this field of research, provides a prominent example of this kind of international cooperation. Physics underwent major changes during these turbulent years, and the traditional internationalism of physics assumed a more institutionalised character. Against this backdrop, Rossi's early work was crucial in transforming the study of cosmic rays into a branch of modern physics. His friendly relationships with eminent scientists -notably Enrico Fermi, Walther Bothe, Werner Heisenberg, Hans Bethe, and Homi Bhabha- were instrumental both for the exchange of knowledge about experimental practises and theoretical discussions, and for attracting the attention of physicists such as Arthur Compton, Louis Leprince-Ringuet, Pierre Auger and Patrick Blackett to the problem of cosmic rays. Relying on material from different archives in Europe and United States, this case study aims to provide a glimpse of the intersection between national and international dimensions during the 1930s, at a time when the study of cosmic rays was still very much in its infancy, strongly interlaced with nuclear physics, and full of uncertain, contradictory, and puzzling results. Nevertheless, as a source of high-energy particles it became a proving ground for testing the validity of the laws of quantum electrodynamics, and made a fundamental contribution to the origins of particle physics.


title: The Canonical Structure of the First Order Einstein-Hilbert Action with a Flat Background

abstract: It has been shown that the canonical structure of the first order Einstein-Hilbert (1EH) action involves three generations of constraints and that these can be used to find the generator of a gauge transformation which leaves the action invariant; this transformation is a diffeomorphism with field-dependent gauge function while on shell. In this paper we examine the relationship between the canonical structure of this action and that of the first order spin-2 (1S2) action, which is the weak field limit of the Einstein-Hilbert action. We find that the weak field limit of the Possion Brackets (PB) algebra of first class constraints associated with the 1EH action is not that of the 1S2 action.


title: Upper limit on the flux of photons with energies above 10^19 eV using the Telescope Array surface detector

abstract: We search for ultra-high energy photons by analyzing geometrical properties of shower fronts of events registered by the Telescope Array surface detector. By making use of an event-by-event statistical method, we derive upper limits on the absolute flux of primary photons with energies above 10^19, 10^19.5 and 10^20 eV based on the first three years of data taken.


title: Catalan satisfiability problem

abstract: An and/or tree is usually a binary plane tree, with internal nodes labelled by logical connectives, and with leaves labelled by literals chosen in a fixed set of k variables and their negations. In the present paper, we introduce the first model of such Catalan trees, whose number of variables k_n is a function of n, the size of the expressions. We describe the whole range of the probability distributions depending on the function k_n, as soon as it tends jointly with n to infinity. As a by-product we obtain a study of the satisfiability problem in the context of Catalan trees. Our study is mainly based on analytic combinatorics and extends the Kozik's pattern theory, first developed for the fixed-k Catalan tree model.


title: Multiplicative Hom-Lie superalgebra structures on infinite dimensional simple Lie superalgebras of vector fields

abstract: This paper considers the multiplicative Hom-Lie superalgebra structures on infinite dimensional simple Lie superalgebras of vector fields with characteristic zero. The main result is that there is only the multiplicative Hom-Lie superalgebra structure on these Lie superalgebras.


title: Another Asymptotic Notation : "Almost"

abstract: Asymptotic notations are heavily used while analysing runtimes of algorithms. Present paper argues that some of these usages are non trivial, therefore incurring errors in communication of ideas. After careful reconsidera- tion of the various existing notations a new notation is proposed. This notation has similarities with the other heavily used notations like Big-Oh, Big Theta, while being more accurate when describing the order relationship. It has been argued that this notation is more suitable for describing algorithm runtime than Big-Oh.


title: Maximal Subalgebras for Lie Superalgebras of Cartan Type

abstract: The maximal graded subalgebras for four families of Lie superalgebras of Cartan type over a field of prime characteristic are studied. All maximal reducible graded subalgebras are described completely and their isomorphism classes, dimension formulas are found. The classification of maximal irreducible graded subalgebras is reduced to the classification of the maximal irreducible subalgebras for the classical Lie superalgebras $\frak{gl}(m,n)$, $\frak{sl}(m,n)$ and $\frak{osp}(m,n)$.