title: Variable X-ray absorption in the mini-broad absorption line quasar PG 1126-041

abstract: We present the results of a multi-epoch observational campaign on the mini-broad absorption line quasar (mini-BAL QSO) PG 1126-041 performed with XMM-Newton from 2004 to 2009. Time-resolved X-ray spectroscopy and simultaneous UV and X-ray photometry were performed on the most complete set of observations and on the deepest X-ray exposure of a mini-BAL QSO to date. Complex X-ray spectral variability, found on time scales of both months and hours, is best reproduced by means of variable and massive ionized absorbers along the line of sight. In the highest signal-to-noise observation, highly-ionized X-ray absorbing material outflowing much faster than the UV absorbing one is detected. This highly-ionized absorber is found to be variable on very short time scales of a few hours.


title: Spin--flip Limited Exciton Dephasing in CdSe/ZnS Colloidal Quantum Dots

abstract: The dephasing time of the lowest bright exciton in CdSe/ZnS wurtzite quantum dots is measured from 5 K to 170 K and compared with density dynamics within the exciton fine structure using a sensitive three-beam four-wave-mixing technique unaffected by spectral diffusion. Pure dephasing via acoustic phonons dominates the initial dynamics, followed by an exponential zero-phonon line dephasing of 109 ps at 5 K, much faster than the ~10 ns exciton radiative lifetime. The zero-phonon line dephasing is explained by phonon-assisted spin-flip from the lowest bright state to dark exciton states. This is confirmed by the temperature dependence of the exciton lifetime and by direct measurements of the bright-dark exciton relaxation. Our results give an unambiguous evidence of the physical origin of the exciton dephasing in these nanocrystals.


title: The next-to-leading order jet vertex for Mueller-Navelet and forward jets revisited

abstract: We recalculate, completely within the original BFKL approach and at the next-to-leading order, the jet vertex relevant for the production of Mueller-Navelet jets in proton collisions and of forward jets in DIS. We consider both processes with incoming quark and gluon. The starting point is the definition of quark and gluon impact factors in the BFKL approach. Following this procedure we show explicitly that all infrared divergences cancel when renormalized parton densities are considered. We compare our results for the vertex with the former calculation of Refs. [1,2] and, in the case of the quark contribution, clarify the discrepancy present in the literature.


title: Minimum Length - Maximum Velocity

abstract: We study a framework where the hypothesis of a minimum length in space-time is complemented with the notion of reference frame invariance. It turns out natural to interpret the action of the obtained reference frame transformations in the context of doubly special relativity. As a consequence of this formalism we find interesting connections between the minimum length properties and the modified velocity-energy relation for ultra-relativistic particles. For example we can predict the ratio between the minimum lengths in space and time using the results from OPERA about superluminal neutrinos.


title: Geometrical structures of multipartite quantum systems

abstract: In this paper I will investigate geometrical structures of multipartite quantum systems based on complex projective varieties. These varieties are important in characterization of quantum entangled states. In particular I will establish relation between multi-projective Segre varieties and multip-qubit quantum states. I also will discuss other geometrical approaches such as toric varieties to visualize complex multipartite quantum systems.


title: Quantum B\"acklund Transformations: some ideas and examples

abstract: In this work we give a mechanical (Hamiltonian) interpretation of the so called spectrality property introduced by Sklyanin and Kuznetsov in the context of B\"acklund transformations (BTs) for finite dimensional integrable systems. The property turns out to be deeply connected with the Hamilton-Jacobi separation of variables and can lead to the explicit integration of the underlying model through the expression of the BTs. Once such construction is given, it is shown, in a simple example, that it is possible to interpret the Baxter Q operator defining the quantum BTs us the Green's function, or propagator, of the time dependent Schr\"odinger equation for the interpolating Hamiltonian.


title: Probabilistic pointer analysis for multithreaded programs

abstract: The use of pointers and data-structures based on pointers results in circular memory references that are interpreted by a vital compiler analysis, namely pointer analysis. For a pair of memory references at a program point, a typical pointer analysis specifies if the points-to relation between them may exist, definitely does not exist, or definitely exists. The "may be" case, which describes the points-to relation for most of the pairs, cannot be dealt with by most compiler optimizations. This is so to guarantee the soundness of these optimizations. However, the "may be" case can be capitalized by the modern class of speculative optimizations if the probability that two memory references alias can be measured. Focusing on multithreading, a prevailing technique of programming, this paper presents a new flow-sensitive technique for probabilistic pointer analysis of multithreaded programs. The proposed technique has the form of a type system and calculates the probability of every points-to relation at each program point. The key to our approach is to calculate the points-to information via a post-type derivation. The use of type systems has the advantage of associating each analysis results with a justification (proof) for the correctness of the results. This justification has the form of a type derivation and is very much required in applications like certified code.


title: A Summary of Charm Hadron Production Fractions

abstract: A summary of charm hadron production fractions is given, as measured at e+e- storage rings and at HERA, taking into account the newest values of charmed hadron decay branching ratios.


title: Filtrations of Formal Languages by Arithmetic Progressions

abstract: A filtration of a formal language L by a sequence s maps L to the set of words formed by taking the letters of words of L indexed only by s. We consider the languages resulting from filtering by all arithmetic progressions. If L is regular, it is easy to see that only finitely many distinct languages result. By contrast, there exist CFL's that give infinitely many distinct languages as a result. We use our technique to show that the operation diag, which extracts the diagonal of words of square length arranged in a square array, preserves regularity but does not preserve context-freeness.


title: Laser ion acceleration using a solid target coupled with a low density layer

abstract: We investigate by particle-in-cell simulations in two and three dimensions the laser-plasma interaction and the proton acceleration in multilayer targets where a low density "near-critical" layer of a few micron thickness is added on the illuminated side of a thin, high density layer. This target design can be obtained by depositing a "foam" layer on a thin metallic foil. The presence of the near-critical plasma strongly increases both the conversion efficiency and the energy of electrons and leads to enhanced acceleration of proton from a rear side layer via the Target Normal Sheath Acceleration mechanism. The electrons of the foam are strongly accelerated in the forward direction and propagate on the rear side of the target building up a high electric field with a relatively flat longitudinal profile. In these conditions the maximum proton energy is up to three times higher than in the case of the bare solid target.


title: The reduction of plankton biomass induced by mesoscale stirring: a modeling study in the Benguela upwelling

abstract: Recent studies, both based on remote sensed data and coupled models, showed a reduction of biological productivity due to vigorous horizontal stirring in upwelling areas. In order to better understand this phenomenon, we consider a system of oceanic flow from the Benguela area coupled with a simple biogeochemical model of Nutrient-Phyto-Zooplankton (NPZ) type. For the flow three different surface velocity fields are considered: one derived from satellite altimetry data, and the other two from a regional numerical model at two different spatial resolutions. We compute horizontal particle dispersion in terms of Lyapunov Exponents, and analyzed their correlations with phytoplankton concentrations. Our modelling approach confirms that in the south Benguela there is a reduction of biological activity when stirring is increased. Two-dimensional offshore advection and latitudinal difference in Primary Production, also mediated by the flow, seem to be the dominant processes involved. We estimate that mesoscale processes are responsible for 30 to 50% of the offshore fluxes of biological tracers. In the northern area, other factors not taken into account in our simulation are influencing the ecosystem. We suggest explanations for these results in the context of studies performed in other eastern boundary upwelling areas.


title: A comparative study of Macroscopic Fundamental Diagrams of arterial road networks governed by adaptive traffic signal systems

abstract: Using a stochastic cellular automaton model for urban traffic flow, we study and compare Macroscopic Fundamental Diagrams (MFDs) of arterial road networks governed by different types of adaptive traffic signal systems, under various boundary conditions. In particular, we simulate realistic signal systems that include signal linking and adaptive cycle times, and compare their performance against a highly adaptive system of self-organizing traffic signals which is designed to uniformly distribute the network density. We find that for networks with time-independent boundary conditions, well-defined stationary MFDs are observed, whose shape depends on the particular signal system used, and also on the level of heterogeneity in the system. We find that the spatial heterogeneity of both density and flow provide important indicators of network performance. We also study networks with time-dependent boundary conditions, containing morning and afternoon peaks. In this case, intricate hysteresis loops are observed in the MFDs which are strongly correlated with the density heterogeneity. Our results show that the MFD of the self-organizing traffic signals lies above the MFD for the realistic systems, suggesting that by adaptively homogenizing the network density, overall better performance and higher capacity can be achieved.


title: Combinatorial structure of a holonomic controlled phase gate

abstract: We investigate the combinatorial structures of a holonomic controlled quantum gate based on toric varieties. In particular, we in detail discuss the combinatorial structures of a two-qubit holonomic controlled quantum gate on a two-qubit, a three-qubit, and a four-qubit quantum states. Our results show interesting relations between toric varieties of qubit systems and action of a two-qubit holonomic quantum gate on multi-qubit states.


title: Wigner-Crystal Formulation of Strong-Coupling Theory for Counter-ions Near Planar Charged Interfaces

abstract: We present a new analytical approach to the strong electrostatic coupling regime (SC), that can be achieved equivalently at low temperatures, high charges, low dielectric permittivity etc. Two geometries are analyzed in detail: one charged wall first, and then, two parallel walls at small distances, that can be likely or oppositely charged. In all cases, one type of mobile counter-ions only is present, and ensures electroneutrality (salt free case). The method is based on a systematic expansion around the ground state formed by the two-dimensional Wigner crystal(s) of counter-ions at the plate(s). The leading SC order stems from a single-particle theory, and coincides with the virial SC approach that has been much studied in the last 10 years. The first correction has the functional form of the virial SC prediction, but the prefactor is different. The present theory is free of divergences and the obtained results, both for symmetrically and asymmetrically charged plates, are in excellent agreement with available data of Monte-Carlo simulations under strong and intermediate Coulombic couplings. All results obtained represent relevant improvements over the virial SC estimates. The present SC theory starting from the Wigner crystal and therefore coined Wigner SC, sheds light on anomalous phenomena like the counter-ion mediated like-charge attraction, and the opposite-charge repulsion.


title: Galaxy pairs as a probe for mergers at z ~ 2

abstract: In this work I investigate the redshift evolution of pair fraction of a sample of 196 massive galaxies from z = 0 to 3, selected from the COSMOS field. We find that on average a massive galaxy undergoes ~ 1.1 \pm 0.5 major merger since z = 3. I will review the current limitations of using the pair fraction as a probe for quantifying the impact of mergers on galaxy evolution. This work is based on the paper Man et al. (2011).


title: The Efficiency of MapReduce in Parallel External Memory

abstract: Since its introduction in 2004, the MapReduce framework has become one of the standard approaches in massive distributed and parallel computation. In contrast to its intensive use in practise, theoretical footing is still limited and only little work has been done yet to put MapReduce on a par with the major computational models. Following pioneer work that relates the MapReduce framework with PRAM and BSP in their macroscopic structure, we focus on the functionality provided by the framework itself, considered in the parallel external memory model (PEM). In this, we present upper and lower bounds on the parallel I/O-complexity that are matching up to constant factors for the shuffle step. The shuffle step is the single communication phase where all information of one MapReduce invocation gets transferred from map workers to reduce workers. Hence, we move the focus towards the internal communication step in contrast to previous work. The results we obtain further carry over to the BSP* model. On the one hand, this shows how much complexity can be "hidden" for an algorithm expressed in MapReduce compared to PEM. On the other hand, our results bound the worst-case performance loss of the MapReduce approach in terms of I/O-efficiency.


title: Frequency Dependent Dynamical Electromechanical Response of Mixed Ionic-Electronic Conductors

abstract: Frequency dependent dynamic electromechanical response of the mixed ionic-electronic conductor film to a periodic electric bias is analyzed for different electronic and ionic boundary conditions. Dynamic effects of mobile ions concentration (stoichiometry contribution), charge state of acceptors (donors), electron concentration (electron-phonon coupling via the deformation potential) and flexoelectric effect contribution are discussed. A variety of possible nonlinear dynamic electromechanical response of MIEC films including quasi-elliptic curves, asymmetric hysteresis-like loops with pronounced memory window and butterfly-like curves are calculated. The electromechanical response of ionic semiconductor is predicted to be a powerful descriptor of local valence states, band structure and electron-phonon correlations that can be readily measured in the nanoscale volumes and in the presence of strong electronic conductivity.


title: New QES Hermitian as well as non-Hermitian PT invariant Potentials

abstract: We start with quasi-exactly solvable (QES) Hermitian (and hence real) as well as complex PT-invariant, double sinh-Gordon potential and show that even after adding perturbation terms, the resulting potentials, in both cases, are still QES potentials. Further, by using anti-isospectral transformations, we obtain Hermitian as well as PT-invariant complex QES periodic potentials. We study in detail the various properties of the corresponding Bender-Dunne polynomials.


title: Electrochemical Strain Microscopy with Blocking Electrodes: The Role of Electromigration and Diffusion

abstract: Electrochemical strains are a ubiquitous feature of solid state ionic devices ranging from ion batteries and fuel cells to electroresistive and memristive memories. Recently, we proposed a scanning probe microscopy (SPM) based approach, referred as electrochemical strain microscopy (ESM), for probing local ionic flows and electrochemical reactions in solids based on bias-strain coupling. In ESM, the sharp SPM tip concentrates the electric field in a small (10-50 nm) region of material, inducing interfacial electrochemical processes and ionic flows. The resultant electrochemical strains are determined from dynamic surface displacement and provide information on local electrochemical functionality. Here, we analyze image formation mechanism in ESM for a special case of mixed electronic-ionic conductor with blocking tip electrode, and determine frequency dependence of response, role of diffusion and electromigration effects, and resolution and detection limits.


title: Sunyaev-Zel'dovich clusters in Millennium Gas simulations

abstract: We have exploited the large-volume Millennium Gas cosmological N-body hydrodynamics simulations to study the SZ cluster population at low and high redshift, for three models with varying gas physics. We confirm previous results using smaller samples that the intrinsic (spherical) Y_{500}-M_{500} relation has very little scatter (sigma_{log_{10}Y}~0.04), is insensitive to cluster gas physics and evolves to redshift one in accord with self-similar expectations. Our pre-heating and feedback models predict scaling relations that are in excellent agreement with the recent analysis from combined Planck and XMM-Newton data by the Planck Collaboration. This agreement is largely preserved when r_{500} and M_{500} are derived using the hydrostatic mass proxy, Y_{X,500}, albeit with significantly reduced scatter (sigma_{log_{10}Y}~0.02), a result that is due to the tight correlation between Y_{500} and Y_{X,500}. Interestingly, this assumption also hides any bias in the relation due to dynamical activity. We also assess the importance of projection effects from large-scale structure along the line-of-sight, by extracting cluster Y_{500} values from fifty simulated 5x5 square degree sky maps. Once the (model-dependent) mean signal is subtracted from the maps we find that the integrated SZ signal is unbiased with respect to the underlying clusters, although the scatter in the (cylindrical) Y_{500}-M_{500} relation increases in the pre-heating case, where a significant amount of energy was injected into the intergalactic medium at high redshift. Finally, we study the hot gas pressure profiles to investigate the origin of the SZ signal and find that the largest contribution comes from radii close to r_{500} in all cases. The profiles themselves are well described by generalised Navarro, Frenk & White profiles but there is significant cluster-to-cluster scatter.


title: Non-singular Brans-Dicke cosmology with cosmological constant

abstract: We consider Brans-Dicke cosmology with cosmological constant with negative w parameter and an arbitrary (in general non-vanishing) scale factor at the Big Bang. The field equations describe the flat universe, current observational values for Hubble constant H and deceleration parameter q play a role of initial conditions. In order to solve field equations we adopt the approach of Uehara and Kim (1982). They considered only positive values of w, hence our solution is a new one and has not been described in their paper. Our main result is that unlike the standard cosmology the scale factor may not vanish in it's evolution back in time. In other words our model displays a cosmological bounce and avoids the initial singularity. The formula for the scale factor, leading to the bounce, is only valid for the dust-filled universe and hence cannot be adequate for the hot stage in the early universe when the bounce happens. So, the results of this paper are only qualitative in nature and must be used to obtain initial values for the hot stage of the unverse when one considers the evolution back in time.


title: Outer disks of lenticular galaxies

abstract: By studying the stellar population properties along the radius in 15 nearby S0 galaxies, I have found that the outer stellar disks are mostly old, with the SSP-equivalent ages of 8-15 Gyr, being often older than the bulges. This fact puts into doubt a currently accepted paradigm that S0 galaxies have formed at z=0.4 by quenching star formation in spiral galaxies.


title: Quasigeodesic flows and M\"obius-like groups

abstract: If M is a hyperbolic 3-manifold with a quasigeodesic flow then we show that \pi_1(M) acts in a natural way on a closed disc by homeomorphisms. Consequently, such a flow either has a closed orbit or the action on the boundary circle is M\"obius-like but not conjugate into PSL(2, R). We conjecture that the latter possibility cannot occur.


title: Two charged strangeonium-like structures observable in the $Y(2175) \to \phi(1020)\pi^{+} \pi^{-}$ process

abstract: Via the Initial Single Pion Emission (ISPE) mechanism, we study the $\phi(1020)\pi^{+}$ invariant mass spectrum distribution of $Y(2175) \to \phi(1020)\pi^{+} \pi^{-}$. Our calculation indicates there exist a sharp peak structure ($Z_{s1}^+$) close to the $K\bar{K}^\ast$ threshold and a broad structure ($Z_{s2}^+$) near the $K^\ast\bar{K}^\ast$ threshold. In addition, we also investigate the $\phi(1680) \to \phi(1020)\pi^{+} \pi^{-}$ process due to the ISPE mechanism, where a sharp peak around the $K\bar{K}^\ast$ threshold appears in the $\phi(1020)\pi^{+}$ invariant mass spectrum distribution. We suggest to carry out the search for these charged strangeonium-like structures in future experiment, especially Belle II, Super-B and BESIII.


title: An early explanation of the periodic table: Lars Vegard and X-ray spectroscopy

abstract: The Norwegian physicist Lars Vegard may have been the first to propose electron configurations for all the chemical elements, from hydrogen to uranium, on the basis of quantum atomic theory. This he did in papers of 1918-1919 in which he argued that the principal quantum number corresponded to the shells in Bohr's picture of atomic structure. Vegard's theory of the periodic system, based on the methods of theoretical X-ray spectroscopy in particular, was a significant advance but exerted little influence on the further development. It presupposed atoms made up of planar electron rings, and with the abandonment of the ring atom about 1920 this and similar models lost their credibility.


title: Guiding and Trapping Electron Spin Waves in Atomic Hydrogen Gas

abstract: We present a high magnetic field study of electron spin waves in atomic hydrogen gas compressed to high densities of 10^18 cm^-3 at temperatures ranging from 0.26 to 0.6 K. We observed a variety of spin wave modes caused by the identical spin rotation effect with strong dependence on the spatial profile of the polarizing magnetic field. We demonstrate confinement of these modes in regions of strong magnetic field and manipulate their spatial distribution by changing the position of the field maximum.


title: Iterating Brownian motions, ad libitum

abstract: Let B_1,B_2, ... be independent one-dimensional Brownian motions defined over the whole real line such that B_i(0)=0. We consider the nth iterated Brownian motion W_n(t)= B_n(B_{n-1}(...(B_2(B_1(t)))...)). Although the sequences of processes (W_n) do not converge in a functional sense, we prove that the finite-dimensional marginals converge. As a consequence, we deduce that the random occupation measures of W_n converge towards a random probability measure \mu_\infty. We then prove that \mu_\infty almost surely has a continuous density which must be thought of as the local time process of the infinite iteration of independent Brownian motions.


title: Parameter estimation for the discretely observed fractional Ornstein-Uhlenbeck process and the Yuima R package

abstract: This paper proposes consistent and asymptotically Gaussian estimators for the drift, the diffusion coefficient and the Hurst exponent of the discretely observed fractional Ornstein-Uhlenbeck process. For the estimation of the drift, the results are obtained only in the case when 1/2 < H < 3/4. This paper also provides ready-to-use software for the R statistical environment based on the YUIMA package.


title: Four tops and the t tbar forward-backward asymmetry

abstract: New colour octet vectors below the TeV scale could explain the anomalous t tbar forward-backward asymmetry observed at the Tevatron experiments, while being consistent with the current LHC data. These models generally lead to four-top final states at the LHC at observable levels. We compute the four-top production cross section at the LHC in a model with a massive colour octet vector as a function its mass, its width and its coupling to the top quark. Octet masses in the vicinity of the t tbar threshold are generally excluded by present limits on the production of same-sign dileptons and trileptons. Masses above 650 GeV are allowed, quite independently of the couplings, but they can be probed with the luminosity of 5 fb^-1 already collected at the LHC, up to around 800 GeV. The four-top production cross section is increased by a factor ~ 2 with sqrt{s}=8 TeV and by up to almost two orders of magnitude with sqrt{s}=14 TeV, thus greatly increasing the reach for massive gluons after the LHC energy upgrade.


title: Single Time-Stamped Tries for Retroactive Call Subsumption

abstract: Tabling is an evaluation strategy for Prolog programs that works by storing answers in a table space and then by using them in similar subgoals. Some tabling engines use call by subsumption, where it is determined that a subgoal will consume answers from a more general subgoal in order to reduce the search space and increase efficiency. We designed an extension, named Retroactive Call Subsumption (RCS), that implements call by subsumption independently of the call order, thus allowing a more general subgoal to force previous called subgoals to become answer consumers. For this extension, we propose a new table space design, the Single Time Stamped Trie (STST), that is organized to make answer sharing across subsumed/subsuming subgoals simple and efficient. In this paper, we present the new STST table space design and we discuss the main modifications made to the original Time Stamped Tries approach to non-retroactive call by subsumption. In experimental results, with programs that stress some deficiencies of the new STST design, some overheads may be observed, however the results achieved with more realistic programs greatly offset these overheads.


title: Global Trie for Subterms

abstract: A critical component in the implementation of an efficient tabling system is the design of the table space. The most popular and successful data structure for representing tables is based on a two-level trie data structure, where one trie level stores the tabled subgoal calls and the other stores the computed answers. The Global Trie (GT) is an alternative table space organization designed with the intent to reduce the tables's memory usage, namely by storing terms in a global trie, thus preventing repeated representations of the same term in different trie data structures. In this paper, we propose an extension to the GT organization, named Global Trie for Subterms (GT-ST), where compound subterms in term arguments are represented as unique entries in the GT. Experiments results using the YapTab tabling system show that GT-ST support has potential to achieve significant reductions on memory usage, for programs with increasing compound subterms in term arguments, without compromising the execution time for other programs.


title: The population of natural Earth satellites

abstract: We have for the first time calculated the population characteristics of the Earth's irregular natural satellites (NES) that are temporarily captured from the near-Earth-object (NEO) population. The steady-state NES size-frequency and residence-time distributions were determined under the dynamical influence of all the massive bodies in the solar system (but mainly the Sun, Earth, and Moon) for NEOs of negligible mass. To this end, we compute the NES capture probability from the NEO population as a function of the latter's heliocentric orbital elements and combine those results with the current best estimates for the NEO size-frequency and orbital distribution. At any given time there should be at least one NES of 1-meter diameter orbiting the Earth. The average temporarily-captured orbiter (TCO; an object that makes at least one revolution around the Earth in a co-rotating coordinate system) completes $(2.88\pm0.82)\rev$ around the Earth during a capture event that lasts $(286\pm18)\days$. We find a small preference for capture events starting in either January or July. Our results are consistent with the single known natural TCO, 2006 RH$_{120}$, a few-meter diameter object that was captured for about a year starting in June 2006. We estimate that about 0.1% of all meteors impacting the Earth were TCOs.


title: Computing with Hereditarily Finite Sequences

abstract: e use Prolog as a flexible meta-language to provide executable specifications of some fundamental mathematical objects and their transformations. In the process, isomorphisms are unraveled between natural numbers and combinatorial objects (rooted ordered trees representing hereditarily finite sequences and rooted ordered binary trees representing G\"odel's System {\bf T} types). This paper focuses on an application that can be seen as an unexpected "paradigm shift": we provide recursive definitions showing that the resulting representations are directly usable to perform symbolically arbitrary-length integer computations. Besides the theoretically interesting fact of "breaking the arithmetic/symbolic barrier", the arithmetic operations performed with symbolic objects like trees or types turn out to be genuinely efficient -- we derive implementations with asymptotic performance comparable to ordinary bitstring implementations of arbitrary-length integer arithmetic. The source code of the paper, organized as a literate Prolog program, is available at \url{http://logic.cse.unt.edu/tarau/research/2011/pPAR.pl}


title: L-FLAT: Logtalk Toolkit for Formal Languages and Automata Theory

abstract: We describe L-FLAT, a Logtalk Toolkit for teaching Formal Languages and Automata Theory. L-FLAT supports the definition of \textsl{alphabets}, the definition of \textsl{orders} over alphabet symbols, the partial definition of \textsl{languages} using unit tests, and the definition of \textsl{mechanisms}, which implement language generators or language recognizers. Supported mechanisms include \textsl{predicates}, \textsl{regular expressions}, \textsl{finite automata}, \textsl{context-free grammars}, \textsl{Turing machines}, and \textsl{push-down automata}. L-FLAT entities are implemented using the object-oriented features of Logtalk, providing a highly portable and easily extendable framework. The use of L-FLAT in educational environments is enhanced by supporting Mooshak, a web application that features automatic grading of submitted programs.


title: Using Constraint Handling Rules to Provide Static Type Analysis for the Q Functional Language

abstract: We describe an application of Prolog: a type checking tool for the Q functional language. Q is a terse vector processing language, a descendant of APL, which is getting more and more popular, especially in financial applications. Q is a dynamically typed language, much like Prolog. Extending Q with static typing improves both the readability of programs and programmer productivity, as type errors are discovered by the tool at compile time, rather than through debugging the program execution. The type checker uses constraints that are handled by Prolog Constraint Handling Rules. During the analysis, we determine the possible type values for each program expression and detect inconsistencies. As most built-in function names of Q are overloaded, i.e. their meaning depends on the argument types, a quite complex system of constraints had to be implemented.


title: Nesting Probabilistic Inference

abstract: When doing inference in ProbLog, a probabilistic extension of Prolog, we extend SLD resolution with some additional bookkeeping. This additional information is used to compute the probabilistic results for a probabilistic query. In Prolog's SLD, goals are nested very naturally. In ProbLog's SLD, nesting probabilistic queries interferes with the probabilistic bookkeeping. In order to support nested probabilistic inference we propose the notion of a parametrised ProbLog engine. Nesting becomes possible by suspending and resuming instances of ProbLog engines. With our approach we realise several extensions of ProbLog such as meta-calls, negation, and answers of probabilistic goals.


title: High-Level Multi-Threading in hProlog

abstract: A new high-level interface to multi-threading in Prolog, implemented in hProlog, is described. Modern CPUs often contain multiple cores and through high-level multi-threading a programmer can leverage this power without having to worry about low-level details. Two common types of high-level explicit parallelism are discussed: independent and-parallelism and competitive or-parallelism. A new type of explicit parallelism, pipeline parallelism, is proposed. This new type can be used in certain cases where independent and-parallelism and competitive or-parallelism cannot be used.


title: Approximating Constraint Propagation in Datalog

abstract: We present a technique exploiting Datalog with aggregates to improve the performance of programs with arithmetic (in)equalities. Our approach employs a source-to-source program transformation which approximates the propagation technique from Constraint Programming. The experimental evaluation of the approach shows good run time speed-ups on a range of non-recursive as well as recursive programs. Furthermore, our technique improves upon the previously reported in the literature constraint magic set transformation approach.


title: Bijective Term Encodings

abstract: We encode/decode Prolog terms as unique natural numbers. Our encodings have the following properties: a) are bijective b) natural numbers always decode to syntactically valid terms c) they work in low polynomial time in the bitsize of the representations d) the bitsize of our encodings is within constant factor of the syntactic representation of the input. We describe encodings of term algebras with finite signature as well as algorithms that separate the "structure" of a term, a natural number encoding of a list of balanced parenthesis, from its "content", a list of atomic terms and Prolog variables. The paper is organized as a literate Prolog program available from \url{http://logic.cse.unt.edu/tarau/research/2011/bijenc.pl}.


title: An Implementation of Bubbling

abstract: Non-determinism is of great importance in functional logic programming. It provides expressiveness and efficiency to functional logic computations. In this paper we describe an implementation of the multi-paradigm functional logic language Curry. The evaluation strategy employed by the implementation is based on definitional trees and needed narrowing for deterministic operations, while non-deterministic operations will depend on the graph transformation, bubbling. Bubbling preserves the completeness of non-deterministic operations and avoids unnecessary large-scale reconstruction of expressions done by other approaches.


title: Photon detection by current-carrying superconducting film: A time-dependent Ginzburg-Landau approach

abstract: We study dynamics of the order parameter in a superconducting film with transport current after absorption of a single photon. The system from the time-dependent Ginszburg-Landau equation, Poisson's equation for an electrical potential and the heat diffusion equation was solved numerically. For each photon energy in the absence of fluctuations, there exists a corresponding threshold current below which the superconducting state is stable and no voltage appears between the ends of the film. At larger currents the superconducting state collapses starting from the appearance of a vortex-antivortex pair in the center of the region with suppressed superconducting order parameter which has been created by the absorbed photon. Lorentz force causes motion of these vortices that heats the film locally and gives rise to a normal domain. When biased with the fixed current, the film latches in the normal state. In the regime when current via superconductor may change, which is more relevant for experiments, the normal domain exists only for a short time resulting in the voltage pulse with the duration controlled by the kinetic inductance of the superconducting film.


title: A Novel Chaotic Image Encryption using Generalized Threshold Function

abstract: In this paper, after reviewing the main points of image encryption and threshold function, we introduce the methods of chaotic image encryption based on pseudorandom bit padding that the bits be generated by the novel generalized threshold function (segmentation and self-similarity) methods. These methods decrease periodic effect of the ergodic dynamical systems in randomness of the chaotic image encryption. The essential idea of this paper is that given threshold functions of the ergodic dynamical systems. To evaluate the security of the cipher image of this scheme, the key space analysis, the correlation of two adjacent pixels and differential attack were performed. This scheme tries to improve the problem of failure of encryption such as small key space and level of security.


title: A New Functor from $D_5$-Mod to $E_6$-Mod

abstract: We find a new representation of the simple Lie algebra of type $E_6$ on the polynomial algebra in 16 variables, which gives a fractional representation of the corresponding Lie group on 16-dimensional space. Using this representation and Shen's idea of mixed product, we construct a functor from $D_5$-{\bf Mod} to $E_6$-{\bf Mod}. A condition for the functor to map a finite-dimensional irreducible $D_5$-module to an infinite-dimensional irreducible $E_6$-module is obtained. Our general frame also gives a direct polynomial extension from irreducible $D_5$-modules to irreducible $E_6$-modules. The obtained infinite-dimensional irreducible $E_6$-modules are $({\cal G},K)$-modules in terms of Lie group representations. The results could be used in studying the quantum field theory with $E_6$ symmetry and symmetry of partial differential equations.


title: Spin Ice, Fractionalization and Topological Order

abstract: The spin ice compounds {\dys} and {\holm} are highly unusual magnets which epitomize a set of concepts of great interest in modern condensed matter physics: their low-energy physics exhibits an emergent gauge field and their excitations are magnetic monopoles which arise from the fractionalization of the microscopic magnetic spin degrees of freedom. In this review, we provide an elementary introduction to these concepts and we survey the thermodynamics, statics and dynamics---in and out of equilibrium---of spin ice from these vantage points. Along the way, we touch on topics such as emergent Coulomb plasmas, observable "Dirac strings", and irrational charges. We close with the outlook for these unique materials.


title: One dimensional Fokker-Planck reduced dynamics of decision making models in Computational Neuroscience

abstract: We study a Fokker-Planck equation modelling the firing rates of two interacting populations of neurons. This model arises in computational neuroscience when considering, for example, bistable visual perception problems and is based on a stochastic Wilson-Cowan system of differential equations. In a previous work, the slow-fast behavior of the solution of the Fokker-Planck equation has been highlighted. Our aim is to demonstrate that the complexity of the model can be drastically reduced using this slow-fast structure. In fact, we can derive a one-dimensional Fokker-Planck equation that describes the evolution of the solution along the so-called slow manifold. This permits to have a direct efficient determination of the equilibrium state and its effective potential, and thus to investigate its dependencies with respect to various parameters of the model. It also allows to obtain information about the time escaping behavior. The results obtained for the reduced 1D equation are validated with those of the original 2D equation both for equilibrium and transient behavior.


title: Spin Squeezing in Finite Temperature Bose-Einstein Condensates : Scaling with the system size

abstract: We perform a multimode treatment of spin squeezing induced by interactions in atomic condensates, and we show that, at finite temperature, the maximum spin squeezing has a finite limit when the atom number $N\to \infty$ at fixed density and interaction strength. To calculate the limit of the squeezing parameter for a spatially homogeneous system we perform a double expansion with two small parameters: 1/N in the thermodynamic limit and the non-condensed fraction $<N_{\rm nc}>/N$ in the Bogoliubov limit. To test our analytical results beyond the Bogoliubov approximation, and to perform numerical experiments, we use improved classical field simulations with a carefully chosen cut-off, such that the classical field model gives for the ideal Bose gas the correct non-condensed fraction in the Bose-condensed regime.


title: Dynamical clusters of infinite particle dynamics

abstract: For any system $\{i\}$ of particles with the trajectories $x_{i}(t)$ in $R^{d}$ on a finite time interval $[0,\tau]$ we define the interaction graph $G$. Vertices of $G$ are the particles, there is an edge between two particles $i,j$ iff for some $t\in[0,\tau]$ the distance between particles $i,j$ is not greater than some constant. We undertake a detailed study of this graph for infinite particle dynamics and prove exponential estimates for its finite connected components. This solves continuous percolation problem for a complicated geometrical objects - the tubes around particle trajectories.


title: The number of generations entirely visited for recurrent random walks on random environment

abstract: In this paper we are interested in a random walk in a random environment on a super-critical Galton-Watson tree. We focus on the recurrent cases already studied by Y. Hu and Z. Shi and G. Faraud. We prove that the largest generation entirely visited by these walks behaves like log n and that the constant of normalization which differs from a case to another is function of the inverse of the constant of Biggins' law of large number for branching random walks.


title: Fixed Points for Stochastic Open Chemical Systems

abstract: In the first part of this paper we give a short review of the hierarchy of stochastic models, related to physical chemistry. In the basement of this hierarchy there are two models --- stochastic chemical kinetics and the Kac model for Boltzman equation. Classical chemical kinetics and chemical thermodynamics are obtained as some scaling limits in the models, introduced below. In the second part of this paper we specify some simple class of open chemical reaction systems, where one can still prove the existence of attracting fixed points. For example, Michaelis\tire Menten kinetics belongs to this class. At the end we present a simplest possible model of the biological network. It is a network of networks (of closed chemical reaction systems, called compartments), so that the only source of nonreversibility is the matter exchange (transport) with the environment and between the compartments. Keywords: chemical kinetics, chemical thermodynamics, Kac model, mathematical biology


title: Differential cross section and analysing power of the pp -> {pp\}_s pi0 reaction at 353 MeV

abstract: In order to establish links between p-wave pion production in nucleon-nucleon collisions and low energy three-nucleon scattering, an extensive programme of experiments on pion production is currently underway at COSY-ANKE. The final proton pair is detected at very low excitation energy, leading to an S-wave diproton, denoted here as {pp}_s. We now report on measurements of the differential cross section and analysing power of the pol{p}p->{pp}_s pi^0$ reaction at 353 MeV. Both observables can be described in terms of s- and d-wave pion production and, by using the phase information from elastic pp scattering, unique solutions can be obtained for the corresponding amplitudes. This information is vital for the partial wave decomposition of the corresponding pn->{pp}_s pi^- reaction and hence for the extraction of the p-wave terms.


title: Fonctions R\'egulues

abstract: We study the ring of rational functions admitting a continuous extension to the real affine space. We establish several properties of this ring. In particular, we prove a strong Nullstelensatz. We study the scheme theoretic properties and prove regulous versions of Theorems A and B of Cartan. We also give a geometrical characterization of prime ideals of this ring in terms of their zero-locus and relate them to euclidean closed Zariski-constructible sets.


title: Bridging the gap: disk formation in the Class 0 phase with ambipolar diffusion and Ohmic dissipation

abstract: Context: Ideal MHD simulations have revealed catastrophic magnetic braking (MB) in the protostellar phase, which prevents the formation of a centrifugal disk around a nascent protostar. Aims: We determine if non-ideal MHD, including the effects of ambipolar diffusion and Ohmic dissipation determined from a detailed chemical network model, allows for disk formation at the earliest stages of star formation (SF). Methods: We employ the axisymmetric thin-disk approximation in order to resolve a dynamic range of 9 orders of magnitude in length and 16 in density, while also calculating partial ionization using up to 19 species in a detailed chemical equilibrium model. MB is applied using a steady-state approximation, and a barotropic relation is used to capture the thermal evolution. Results: We resolve the formation of the first and second cores, with expansion waves at the periphery of each, a magnetic diffusion shock, and prestellar infall profiles at larger radii. Power-law profiles in each region can be understood analytically. After the formation of the second core, centrifugal support rises rapidly and a low-mass disk of radius ~10 R_Sun is formed, when the second core has mass ~0.001 M_Sun. The mass-to-flux ratio is ~10,000 times the critical value in the central region. Conclusions: A small centrifugal disk can form in the earliest stage of SF, due to a shut-off of MB caused by magnetic field dissipation in the first core region. There is enough angular momentum loss to allow the second collapse to occur directly, and a low-mass stellar core to form with a surrounding disk. The disk mass and size will depend upon how the angular momentum transport mechanisms within the disk can keep up with mass infall onto the disk. We estimate that the disk will remain <~10 AU, undetectable even by ALMA, in the early Class 0 phase.


title: Stochastic single-gene auto-regulation

abstract: A detailed stochastic model of single-gene auto-regulation is established and its solutions are explored when mRNA dynamics is fast compared with protein dynamics and in the opposite regime. The model includes all the sources of randomness that are intrinsic to the auto-regulation process and it considers both transcriptional and post transcriptional regulation. The timescale separation allows the derivation of analytic expressions for the equilibrium distributions of protein and mRNA. These distributions are generally well described in the continuous approximation, which is used to discuss the qualitative features of the protein equilibrium distributions as a function of the biological parameters in the fast mRNA regime. The performance of the timescale approximation is assessed by comparison with simulations of the full stochastic system, and a good quantitative agreement is found for a wide range of parameter values. We show that either unimodal or bimodal equilibrium protein distributions can arise, and we discuss the auto-regulation mechanisms associated with bimodality.


title: Neutral theory of chemical reaction networks

abstract: To what extent do the characteristic features of a chemical reaction network reflect its purpose and function? In general, one argues that correlations between specific features and specific functions are key to understanding a complex structure. However, specific features may sometimes be neutral and uncorrelated with any system-specific purpose, function or causal chain. Such neutral features are caused by chance and randomness. Here we compare two classes of chemical networks: one that has been subjected to biological evolution (the chemical reaction network of metabolism in living cells) and one that has not (the atmospheric planetary chemical reaction networks). Their degree distributions are shown to share the very same neutral system-independent features. The shape of the broad distributions is to a large extent controlled by a single parameter, the network size. From this perspective, there is little difference between atmospheric and metabolic networks; they are just different sizes of the same random assembling network. In other words, the shape of the degree distribution is a neutral characteristic feature and has no functional or evolutionary implications in itself; it is not a matter of life and death.


title: Caged clusters in Al$_{11}$Ir$_4$: structural transition and insulating phase

abstract: Using pair potentials fitted to an ab--initio database, combined with replica--exchange simulated annealing, we show the complex, quasicrystal-related Al$_{11}$Ir$_4$ compound contains a new version of the "pseudo-Mackay" icosahedral cluster, with non-icosahedral inner Al$_{10}$Ir and/or Al$_9$Ir clusters that exist in various orientations and account for partial occupancies in the reported structure. Two different compositions show first-order transitions to orientationally ordered phases doubling the (cubic) unit cell, which are respectively metallic and insulating.


title: The Expectation Monad in Quantum Foundations

abstract: The expectation monad is introduced abstractly via two composable adjunctions, but concretely captures measures. It turns out to sit in between known monads: on the one hand the distribution and ultrafilter monad, and on the other hand the continuation monad. This expectation monad is used in two probabilistic analogues of fundamental results of Manes and Gelfand for the ultrafilter monad: algebras of the expectation monad are convex compact Hausdorff spaces, and are dually equivalent to so-called Banach effect algebras. These structures capture states and effects in quantum foundations, and also the duality between them. Moreover, the approach leads to a new re-formulation of Gleason's theorem, expressing that effects on a Hilbert space are free effect modules on projections, obtained via tensoring with the unit interval.


title: Self-calibrating Tomography for Angular Schmidt Modes in Spontaneous Parametric Down-Conversion

abstract: We report an experimental self-calibrating tomography scheme for entanglement characterization in high-dimensional quantum systems using Schmidt decomposition techniques. The self-tomography technique based on maximal likelihood estimation was developed for characterizing non-ideal measurements in Schmidt basis allowing us to infer both Schmidt eigenvalues and detecting efficiencies.


title: 2D-1D Wavelet Reconstruction As A Tool For Source Finding In Spectroscopic Imaging Surveys

abstract: Today, image denoising by thresholding of wavelet coefficients is a commonly used tool for 2D image enhancement. Since the data product of spectroscopic imaging surveys has two spatial and one spectral dimension, the techniques for denoising have to be adapted to this change in dimensionality. In this paper we will review the basic method of denoising data by thresholding wavelet coefficients and implement a 2D-1D wavelet decomposition to obtain an efficient way of denoising spectroscopic data cubes. We conduct different simulations to evaluate the usefulness of the algorithm as part of a source finding pipeline.


title: Differential cross section and analysing power of the quasi-free pn -> {pp}_s pi- reaction at 353 MeV

abstract: In order to establish links between p-wave pion production in nucleon-nucleon collisions and low energy three-nucleon scattering, an extensive programme of experiments on pion production is currently underway at COSY-ANKE. The final proton pair is measured at very low excitation energy, leading to an S-wave diproton, denoted here as {pp}_s. By using a deuterium target we have obtained data on the differential cross section and analysing power of the quasi-free pol{p}n -> {pp}_s pi^- reaction at 353 MeV. The spectator proton p_sp was either measured directly in silicon tracking telescopes or reconstructed using the momentum of a detected pi^-. Both observables can be described in terms of s-, p-, and d-wave pion production amplitudes. Taken together with the analogous data on the pol{p}p -> {pp}_s pi^0 reaction, full partial wave decompositions of both processes were carried out.


title: Modelling the spectra of (BAL)QSOs

abstract: We have embarked upon a project to model the UV spectra of BALQSOs using a Monte Carlo radiative transfer code previously validated through modelling of the winds of cataclysmic variable stars (e.g. Noebauer et al. 2010). We intend to use the simulations to investigate the plausibility of geometric unification (e.g. Elvis 2000) of the different classes of QSO. Here we introduce the code, and present some initial results. These demonstrate that for reasonable geometries and mass loss rates we are able to produce synthetic spectra which reproduce the important features of observed BALQSO spectra.


title: Energy and Spectral Efficiency of Very Large Multiuser MIMO Systems

abstract: A multiplicity of autonomous terminals simultaneously transmits data streams to a compact array of antennas. The array uses imperfect channel-state information derived from transmitted pilots to extract the individual data streams. The power radiated by the terminals can be made inversely proportional to the square-root of the number of base station antennas with no reduction in performance. In contrast if perfect channel-state information were available the power could be made inversely proportional to the number of antennas. Lower capacity bounds for maximum-ratio combining (MRC), zero-forcing (ZF) and minimum mean-square error (MMSE) detection are derived. A MRC receiver normally performs worse than ZF and MMSE. However as power levels are reduced, the cross-talk introduced by the inferior maximum-ratio receiver eventually falls below the noise level and this simple receiver becomes a viable option. The tradeoff between the energy efficiency (as measured in bits/J) and spectral efficiency (as measured in bits/channel use/terminal) is quantified. It is shown that the use of moderately large antenna arrays can improve the spectral and energy efficiency with orders of magnitude compared to a single-antenna system.


title: A multi-scale perturbative approach to SU(2)-Higgs classical dynamics: stability of nonlinear plane waves and bounds of the Higgs field mass

abstract: We study the classical dynamics of SU(2)-Higgs field theory using multiple scale perturbation theory. In the spontaneously broken phase, assuming small perturbations of the Higgs field around its vacuum expectation value, we derive a nonlinear Schroedinger equation and study the stability of its nonlinear plane wave solutions. The latter, turn out to be stable only if the Higgs amplitude is an order of magnitude smaller than that of the gauge field. In this case, the Higgs field mass possesses some bounds which may be relevant to the search for the Higgs particle at ongoing experiments.


title: Pseudogap and local pairs in high-Tc cuprate superconductors

abstract: Analysis of the resistivity data recently reported by Kondo et al. [1] for (Bi,Pb)2(Sr,La)2CuO{6-delta} (Bi2201) single-crystals has been performed within our model developed to study pseudogap (PG) in high-Tc superconductors (HTS's). The model is based on an assumption of the existence of local pairs in HTS's at temperatures well above Tc. Comparative analysis of our results and results of ARPES experiments reported by Kondo et al. suggests the local pairs to be one of the possible reason of the PG formation.


title: Sigma-porosity is separably determined

abstract: We prove a separable reduction theorem for sigma-porosity of Suslin sets. In particular, if A is a Suslin subset in a Banach space X, then each separable subspace of X can be enlarged to a separable subspace V such that A is sigma-porous in X if and only if the intersection of A and V is sigma-porous in V. Such a result is proved for several types of sigma-porosity. The proof is done using the method of elementary submodels, hence the results can be combined with other separable reduction theorems. As an application we extend a theorem of L.Zajicek on differentiability of Lipschitz functions on separable Asplund spaces to the nonseparable setting.


title: Efficient quantification of non-Gaussian spin distributions

abstract: We study theoretically and experimentally the quantification of non-Gaussian distributions via non-destructive measurements. Using the theory of cumulants, their unbiased estimators, and the uncertainties of these estimators, we describe a quantification which is simultaneously efficient, unbiased by measurement noise, and suitable for hypothesis tests, e.g., to detect non-classical states. The theory is applied to cold $^{87}$Rb spin ensembles prepared in non-gaussian states by optical pumping and measured by non-destructive Faraday rotation probing. We find an optimal use of measurement resources under realistic conditions, e.g., in atomic ensemble quantum memories.


title: Measurement of tau parameters and mu-tau universality tests

abstract: The report reviews the measurements of the tau lepton parameters. The tau mass measurements at the KEDR detector as well as at the B-factories are considered in more details. The present limitations on the lepton universality are discussed.


title: Quantum Criticality in a Bosonic Josephson Junction

abstract: In this paper we consider a bosonic Josephson junction described by a two-mode Bose-Hubbard model, and we thoroughly analyze a quantum phase transition occurring in the system in the limit of infinite bosonic population. We discuss the relation between this quantum phase transition and the dynamical bifurcation occurring in the spectrum of the Discrete Self Trapping equations describing the system at the semiclassical level. In particular, we identify five regimes depending on the strength of the effective interaction among bosons, and study the finite-size effects arising from the finiteness of the bosonic population. We devote a special attention to the critical regime which reduces to the dynamical bifurcation point in the thermodynamic limit of infinite bosonic population. Specifically, we highlight an anomalous scaling in the population imbalance between the two wells of the trapping potential, as well as in two quantities borrowed from Quantum Information Theory, i.e. the entropy of entanglement and the ground-state fidelity. Our analysis is not limited to the zero temperature case, but considers thermal effects as well.


title: Domain dynamics and fluctuations in artificial square ice at finite temperatures

abstract: The thermally-driven formation and evolution of vertex domains is studied for square artificial spin ice. A self consistent mean field theory is used to show how domains of ground state ordering form spontaneously, and how these evolve in the presence of disorder. The role of fluctuations is studied, using Monte Carlo simulations and analytical modelling. Domain wall dynamics are shown to be driven by a biasing of random fluctuations towards processes that shrink closed domains, and fluctuations within domains are shown to generate isolated small excitations, which may stabilise as the effective temperature is lowered. Domain dynamics and fluctuations are determined by interaction strengths, which are controlled by inter-element spacing. The role of interaction strength is studied via experiments and Monte Carlo simulations. Our mean field model is applicable to ferroelectric `spin' ice, and we show that features similar to that of magnetic spin ice can be expected, but with different characteristic temperatures and rates.


title: Feedback Optimal Control for Stochastic Volterra Equations with Completely Monotone Kernels

abstract: In this paper we are concerned with a class of stochastic Volterra integro-differential problems with completely monotone kernels, where we assume that the noise enters the system when we introduce a control. We start by reformulating the state equation into a semilinear evolution equation which can be treated by semigroup methods. The application to optimal control provide other interesting result and require a precise descriprion of the properties of the generated semigroup. The first main result of the paper is the proof of existence and uniqueness of a mild solution for the corresponding Hamilton-Jacobi-Bellman (HJB) equation. The main technical point consists in the differentiability of the BSDE associated with the reformulated equation with respect to its initial datum x.


title: Counting characters in blocks of solvable groups with abelian defect group

abstract: If $G$ is a solvable group and $p$ is a prime, then the Fong-Swan theorem shows that given any irreducible Brauer character $\phi$ of $G$, there exists a character $\chi \in \irrg$ such that $\chi^o = \phi$, where $^o$ denotes the restriction of $\chi$ to the $p$-regular elements of $G$. We say that $\chi$ is a {\it{lift}} of $\phi$ in this case. It is known that if $\phi$ is in a block with abelian defect group $D$, then the number of lifts of $\phi$ is bounded above by $|D|$. In this paper we give a necessary and sufficient condition for this bound to be achieved, in terms of local information in a subgroup $V$ determined by the block $B$. We also apply these methods to examine the situation when equality occurs in the $k(B)$ conjecture for blocks of solvable groups with abelian defect group.


title: Square-free values of f(p), f cubic

abstract: Let f\in Z[x], deg(f)=3. Assume that f does not have repeated roots. Assume as well that, for every prime q, the inequality f(x)\not\equiv 0 mod q^2 has at least one solution in (Z/q^2 Z)^*. Then, under these two necessary conditions, there are infinitely many primes p such that f(p) is square-free.


title: On the quaternionic p-adic L-functions associated to Hilbert modular eigenforms

abstract: We construct p-adic L-functions associated to cuspidal Hilbert modular eigenforms of parallel weight two in certain dihedral or anticyclotomic extensions via the Jacquet-Langlands correspondence, generalizing works of Bertolini-Darmon, Vatsal and others. The construction given here is adelic, which allows us to deduce a precise interpolation formula from a Waldspurger type formula, as well as a formula for the dihedral mu-invariant. We also make a note of Howard's nonvanishing criterion for these p-adic L-functions, which can be used to reduce the associated Iwasawa main conjecture to a certain nontriviality criterion for families of p-adic L-functions.


title: Interplay between Superconductivity and Magnetism in Rb0.8Fe1.6Se2 under Pressure

abstract: High-pressure magnetization, structural and 57Fe M\"ossbauer studies were performed on superconducting Rb0.8Fe1.6Se2.0 with Tc = 32.4 K. The superconducting transition temperature gradually decreases on increasing pressure up to 5.0 GPa followed by a marked step-like suppression of superconductivity near 6 GPa. No structural phase transition in the Fe vacancy-ordered superstructure is observed in synchrotron XRD studies up to 15.6 GPa, while the M\"ossbauer spectra above 5 GPa reveal the appearance of a new paramagnetic phase and significant changes in the magnetic and electronic properties of the dominant antiferromagnetic phase, coinciding with the disappearance of superconductivity. These findings underline the strong correlation between antiferromagnetic order and superconductivity in phase-separated AxFe2-x/2Se2 (A = K, Rb, Cs) superconductors.


title: On the dihedral main conjectures of Iwasawa theory for Hilbert modular eigenforms

abstract: We construct a bipartite Euler system in the sense of Howard for Hilbert modular eigenforms of parallel weight two over totally real fields, generalizing works of Bertolini-Darmon, Longo, Nekovar, Pollack-Weston and others. The construction has direct applications to Iwasawa main conjectures. For instance, it implies in many cases one divisibility of the associated dihedral or anticyclotomic main conjecture, at the same time reducing the other divisibility to a certain nonvanishing criterion for the associated p-adic L-functions. It also has applications to cyclotomic main conjectures for Hilbert modular forms over CM fields via the technique of Skinner and Urban.


title: Chemical evolution of the Milky Way: the origin of phosphorus

abstract: Context. Recently, for the first time the abundance of P has been measured in disk stars. This provides the opportunity of comparing the observed abundances with predictions from theoretical models. Aims. We aim at predicting the chemical evolution of P in the Milky Way and compare our results with the observed P abundances in disk stars in order to put constraints on the P nucleosynthesis. Methods. To do that we adopt the two-infall model of galactic chemical evolution, which is a good model for the Milky Way, and compute the evolution of the abundances of P and Fe. We adopt stellar yields for these elements from different sources. The element P should have been formed mainly in Type II supernovae. Finally, Fe is mainly produced by Type Ia supernovae. Results. Our results confirm that to reproduce the observed trend of [P/Fe] vs. [Fe/H] in disk stars, P is formed mainly in massive stars. However, none of the available yields for P can reproduce the solar abundance of this element. In other words, to reproduce the data one should assume that massive stars produce more P than predicted by a factor of ~ 3. Conclusions. We conclude that all the available yields of P from massive stars are largely underestimated and that nucleosynthesis calculations should be revised. We also predict the [P/Fe] expected in halo stars.


title: On the dihedral Euler characteristics of Selmer groups of abelian varieties

abstract: This note shows how to use the framework of Euler characteristic formulae to study Selmer groups of abelian varieties in certain dihedral or anticyclotomic extensions of CM fields via Iwasawa main conjectures, and in particular how to verify the p-part of the refined Birch and Swinnerton-Dyer conjecture in this setting. When the Selmer group is cotorsion with respect to the associated Iwasawa algebra, we obtain the p-part of formula predicted by the refined Birch and Swinnerton-Dyer conjecture. When the Selmer group is not cotorsion with respect to the associated Iwasawa algebra, we give a conjectural description of the Euler characteristic of the cotorsion submodule, and explain how to deduce inequalities from the associated main conjecture divisibilities of Perrin-Riou and Howard.


title: Why Dirac points in graphene are where they are?

abstract: We present a simple group theory explanation of the fact that the energy bands merge in the corners of the Brillouin zone for graphene and for two particular cases of Kagome lattice for arbitrary tight--binding Hamiltonian. We connect the linearity of the spectrum in the vicinity of these points for monolayer graphene, bilayer graphene for AA stacking and Kagome lattice with the properties of the conical points of the surface, known from geometry.


title: Regret lower bounds and extended Upper Confidence Bounds policies in stochastic multi-armed bandit problem

abstract: This paper is devoted to regret lower bounds in the classical model of stochastic multi-armed bandit. A well-known result of Lai and Robbins, which has then been extended by Burnetas and Katehakis, has established the presence of a logarithmic bound for all consistent policies. We relax the notion of consistence, and exhibit a generalisation of the logarithmic bound. We also show the non existence of logarithmic bound in the general case of Hannan consistency. To get these results, we study variants of popular Upper Confidence Bounds (ucb) policies. As a by-product, we prove that it is impossible to design an adaptive policy that would select the best of two algorithms by taking advantage of the properties of the environment.


title: Speeding up the spatial adiabatic passage of matter waves in optical microtraps by optimal control

abstract: We numerically investigate the performance of atomic transport in optical microtraps via the so called spatial adiabatic passage technique. Our analysis is carried out by means of optimal control methods, which enable us to determine suitable transport control pulses. We investigate the ultimate limits of the optimal control in speeding up the transport process in a triple well configuration for both a single atomic wave packet and a Bose-Einstein condensate within a regime of experimental parameters achievable with current optical technology.


title: Quantum Zeno effect: Quantum shuffling and Markovianity

abstract: The behavior displayed by a quantum system when it is perturbed by a series of von Neumann measurements along time is analyzed. Because of the similarity between this general process with giving a deck of playing cards a shuffle, here it is referred to as quantum shuffling, showing that the quantum Zeno and anti-Zeno effects emerge naturally as two time limits. Within this framework, a connection between the gradual transition from anti-Zeno to Zeno behavior and the appearance of an underlying Markovian dynamics is found. Accordingly, although a priori it might result counterintuitive, the quantum Zeno effect corresponds to a dynamical regime where any trace of knowledge on how the unperturbed system should evolve initially is wiped out (very rapid shuffling). This would explain why the system apparently does not evolve or decay for a relatively long time, although it eventually undergoes an exponential decay. By means of a simple working model, conditions characterizing the shuffling dynamics have been determined, which can be of help to understand and to devise quantum control mechanisms in a number of processes from the atomic, molecular and optical physics.

categories: quant-ph physics.atom-ph physics.chem-ph physics.optics


title: On the unique mapping relationship between initial and final quantum states

abstract: In its standard formulation, quantum mechanics presents a very serious inconvenience: given a quantum system, there is no possibility at all to unambiguously (causally) connect a particular feature of its final state with some specific section of its initial state. This constitutes a practical limitation, for example, in numerical analyses of quantum systems, which often make necessary the use of some extra assistance from classical methodologies. Here it is shown how the Bohmian formulation of quantum mechanics removes the ambiguity of quantum mechanics, providing a consistent and clear answer to such a question without abandoning the quantum framework. More specifically, this formulation allows to define probability tubes, along which the enclosed probability keeps constant in time all the way through as the system evolves in configuration space. These tubes have the interesting property that once their boundary is defined at a given time, they are uniquely defined at any time. As a consequence, it is possible to determine final restricted (or partial) probabilities directly from localized sets of (Bohmian) initial conditions on the system initial state. Here, these facts are illustrated by means of two simple yet physically insightful numerical examples: tunneling transmission and grating diffraction.


title: Localized charge bifurcation in the coupled quantum dots

abstract: We analyzed theoretically localized charge relaxation in a double quantum dot (QD) system coupled with continuous spectrum states in the presence of localized electrons Coulomb interaction in a single QD. We have found that for a wide range of system parameters charge relaxation occurs through two stable regimes with significantly different relaxation rates. A peculiar time moment exists in the system at which rapid switching between stable regimes takes place. We consider this phenomenon to be applicable for creation of active elements in nano-electronics based on the fast transition effect between two stable states.


title: Search for scalar bottom pair production with the ATLAS detector in pp collisions at sqrt(s) = 7 TeV

abstract: The results of a search for pair production of the scalar partners of bottom quarks in 2.05 fb^-1 of pp collisions at sqrt{s} = 7 TeV using the ATLAS experiment are reported. Scalar bottoms are searched for in events with large missing transverse momentum and two jets in the final state, where both jets are identified as originating from a b-quark. In an R-parity conserving minimal supersymmetric scenario, assuming that the scalar bottom decays exclusively into a bottom quark and a neutralino, 95% confidence-level upper limits are obtained in the tilde{b}_1 - tilde{chi}^0_1 mass plane such that for neutralino masses below 60 GeV scalar bottom masses up to 390 GeV are excluded.


title: Dependently Typed Programming based on Automated Theorem Proving

abstract: Mella is a minimalistic dependently typed programming language and interactive theorem prover implemented in Haskell. Its main purpose is to investigate the effective integration of automated theorem provers in a pure and simple setting. Such integrations are essential for supporting program development in dependently typed languages. We integrate the equational theorem prover Waldmeister and test it on more than 800 proof goals from the TPTP library. In contrast to previous approaches, the reconstruction of Waldmeister proofs within Mella is quite robust and does not generate a significant overhead to proof search. Mella thus yields a template for integrating more expressive theorem provers in more sophisticated languages.


title: Transverse nucleon structure and multiparton interactions

abstract: The transverse structure of the nucleon as probed in hard exclusive processes plays critical role in the understanding of the structure of the underlying event in hard collisions at the LHC, and multiparton interactions. We summarize results of our recent studies of manifestation of transverse nucleon structure in the hard collisions at the LHC, new generalized parton distributions involved in multiparton interactions, presence of parton fluctuations. The kinematic range where interaction of fast partons of the projectile with the target reach black disk regime (BDR) strength is estimated. We demonstrate that in the BDR postselection effect leads to effective fractional energy losses. This effect explains regularities of the single and double forward pion production in $ dAu$ collisions at RHIC and impacts on the forward physics in $pp$ collisions at the LHC.


title: On the smoothness of centres of rational Cherednik algebras in positive characteristic

abstract: In this article we study rational Cherednik algebras at $t = 1$ in positive characteristic. We study a finite dimensional quotient of the rational Cherednik algebra called the restricted rational Cherednik algebra. When the corresponding pseudo-reflection group belongs to the infinite series $G(m,d,n)$, we describe explicitly the block decomposition of the restricted algebra. We also classify all pseudo-reflection groups for which the centre of the corresponding rational Cherednik algebra is regular for generic values of the deformation parameter.


title: Ballistic transport properties across nonuniform strain barriers in graphene

abstract: We study the effect of uniaxial strain on the transmission and the conductivity across a strain-induced barrier in graphene. At variance with conventional studies, which consider sharp barriers, we consider a more realistic, smooth barrier, characterized by a nonuniform, continuous strain profile. Our results are instrumental towards a better understanding of the transport properties in corrugated graphene.


title: The Herbrand Topos

abstract: We define a new topos, the Herbrand topos, inspired by the modified realizability topos and our earlier work on Herbrand realizability. We also introduce the category of Herbrand assemblies and characterise these as the double-negation-separated objects in the Herbrand topos. In addition, we show that the category of sets is included as the category of double-negation-sheaves and prove that the inclusion functor preserves and reflects validity of first-order formulas.


title: Re-localization due to finite response times in a nonlinear Anderson chain

abstract: We study a disordered nonlinear Schr\"odinger equation with an additional relaxation process having a finite response time $\tau$. Without the relaxation term, $\tau=0$, this model has been widely studied in the past and numerical simulations showed subdiffusive spreading of initially localized excitations. However, recently Caetano et al.\ (EPJ. B \textbf{80}, 2011) found that by introducing a response time $\tau > 0$, spreading is suppressed and any initially localized excitation will remain localized. Here, we explain the lack of subdiffusive spreading for $\tau>0$ by numerically analyzing the energy evolution. We find that in the presence of a relaxation process the energy drifts towards the band edge, which enforces the population of fewer and fewer localized modes and hence leads to re-localization. The explanation presented here is based on previous findings by the authors et al.\ (PRE \textbf{80}, 2009) on the energy dependence of thermalized states.


title: Optimal Structured Static State-Feedback Control Design with Limited Model Information for Fully-Actuated Systems

abstract: We introduce the family of limited model information control design methods, which construct controllers by accessing the plant's model in a constrained way, according to a given design graph. We investigate the closed-loop performance achievable by such control design methods for fully-actuated discrete-time linear time-invariant systems, under a separable quadratic cost. We restrict our study to control design methods which produce structured static state feedback controllers, where each subcontroller can at least access the state measurements of those subsystems that affect its corresponding subsystem. We compute the optimal control design strategy (in terms of the competitive ratio and domination metrics) when the control designer has access to the local model information and the global interconnection structure of the plant-to-be-controlled. Lastly, we study the trade-off between the amount of model information exploited by a control design method and the best closed-loop performance (in terms of the competitive ratio) of controllers it can produce.


title: Derivators, pointed derivators, and stable derivators

abstract: We develop some aspects of the theory of derivators, pointed derivators, and stable derivators. As a main result, we show that the values of a stable derivator can be canonically endowed with the structure of a triangulated category. Moreover, the functors belonging to the stable derivator can be turned into exact functors with respect to these triangulated structures. Along the way, we give a simplification of the axioms of a pointed derivator and a reformulation of the base change axiom in terms of Grothendieck (op)fibration. Furthermore, we have a new proof that a combinatorial model category has an underlying derivator.


title: Intersections of curves on surfaces and their applications to mapping class groups

abstract: We introduce an operation that measures the self intersections of paths on a surface. As applications, we give a criterion of the realizability of a generalized Dehn twist, and derive a geometric constraint on the image of the Johnson homomorphism.


title: Neutrino spectra evolution during proto-neutron star deleptonization

abstract: The neutrino-driven wind, which occurs after the onset of a core-collapse supernova explosion, has long been considered as the possible site for the synthesis of heavy r-process elements in the Universe. Only recently, it has been possible to simulate supernova explosions up to ~10 seconds, based on three-flavor Boltzmann neutrino transport. These simulations show that the neutrino luminosities and spectra of all flavors are very similar and their difference even decreases during the deleptonization of the proto-neutron star. As a consequence, the ejecta are always proton rich which rules out the possible production of heavy r-process elements (Z>56). We perform a detailed analysis of the different weak processes that determine the neutrino spectra. Non-electron flavor (anti)neutrinos are produced and interact only via neutral-current processes, while electron (anti)neutrinos have additional contributions from charge-current processes. The latter are dominated by ve absorption on neutrons and anti-ve absorption on protons. At early times, charge-current processes are responsible for spectral differences between. However, as the region of neutrino decoupling moves to higher densities during deleptonization, charge-current reactions are suppressed by final state Pauli-blocking. anti-ve absorption on protons is suppressed due to the continuously increasing chemical potential of the neutrons. ve absorption on neutrons is blocked by the increasing degeneracy of the electrons. These effects result in negligible contributions from charge-current reactions on timescales on the order of tens of seconds, depending on the progenitor star. Hence, the neutrino spectra are mainly determined from neutral-current processes which do not distinguish between the different flavors and results in the convergence of the spectra. These findings are independent of the charge-current reaction rates used...


title: Facing Complexity: Prediction vs. Adaptation

abstract: One of the presuppositions of science since the times of Galileo, Newton, Laplace, and Descartes has been the predictability of the world. This idea has strongly influenced scientific and technological models. However, in recent decades, chaos and complexity have shown that not every phenomenon is predictable, even if it is deterministic. If a problem space is predictable, in theory we can find a solution via optimization. Nevertheless, if a problem space is not predictable, or it changes too fast, very probably optimization will offer obsolete solutions. This occurs often when the immediate solution affects the problem itself. An alternative is found in adaptation. An adaptive system will be able to find by itself new solutions for unforeseen situations.


title: Cross Layer Implementation of Key Establishment and Configuration Protocols in WSN

abstract: Security in Wireless Sensor Networks (WSN) can be achieved by establishing shared keys among the neighbor sensor nodes to create secure communication links. The protocol to be used for such a pairwise key establishment is a key factor determining the energy to be consumed by each sensor node during the secure network configuration. On the other hand, to achieve the optimum network configuration, nodes may not need to establish pairwise keys with all of their neighbors. Because, links to be established are defined by the network configuration protocol and as long as the network connectivity requirements are satisfied, number of links to be secured can be limited accordingly. In this sense, key establishment and network configuration performances are related to each other and this cross relation should be taken into consideration while implementing security for WSN. In this paper, we have investigated the cross layer relations and performance figures of the selected randomized pre-distribution and public key based key establishment protocols with the configuration protocol we proposed in a separate publication. Simulation results indicate that total network configuration energy cost can be reduced by reducing the number of links to be secured without affecting the global network connectivity performance. Results also show that the energy and resilience performances of the public key establishment can be better than the key pre-distribution for a given set of network configuration parameters.


title: The Steiner rearrangement in any codimension

abstract: We analyze the Steiner rearrangement in any codimension of Sobolev and $BV$ functions. In particular, we prove a P\'olya-Szeg\H{o} inequality for a large class of convex integrals. Then, we give minimal assumptions under which functions attaining equality are necessarily Steiner symmetric.


title: Large-scale emission in FR I jets

abstract: The termination structures of the jets of Fanaroff & Riley galaxies are observed to produce extended non-thermal emission in a wide frequency range. The study of these structures can provide valuable insights on the conditions for particle acceleration and radiation at the shock fronts.We have studied the thermal and non-thermal emission that can be expected from the jet termination regions of Fanaroff & Riley type I sources. The broadband emission from these galaxies has been recently extended to include the high-energy gamma-ray domain, owing to the Fermi detection of Cen A lobes. Exploring the physics behind the jet/medium interactions in FRI can provide valuable insights on the conditions for particle acceleration and radiation in the jet termination shocks. Making use of the results of a fully relativistic numerical simulation code of the evolution of a FRI jet we model the expected radiative output and predict spectra and lightcurves of both thermal and non-thermal emission at different source ages.


title: Correlated metallic two particle bound states in quasiperiodic chains

abstract: Single particle states in a chain with quasiperiodic potential show a metal-insulator transition upon the change of the potential strength. We consider two particles with local interaction in the single particle insulating regime. The two particle states change from being localized to delocalized upon an increase of the interaction strength to a nonperturbative finite value. At even larger interaction strength the states become localized again. This transition of two particle bound states into a correlated metal is due to a resonant mixing of the noninteracting two particle eigenstates. In the discovered correlated metal states two particles move coherently together through the whole chain, therefore contributing to a finite conductivity.


title: The Hilbert series of N=1 SO(N_c) and Sp(N_c) SQCD, Painlev\'e VI and Integrable Systems

abstract: We present a novel approach for computing the Hilbert series of 4d N=1 supersymmetric QCD with SO(N_c) and Sp(N_c) gauge groups. It is shown that such Hilbert series can be recast in terms of determinants of Hankel matrices. With the aid of results from random matrix theory, such Hankel determinants can be evaluated both exactly and asymptotically. Several new results on Hilbert series for general numbers of colours and flavours are thus obtained in this paper. We show that the Hilbert series give rise to families of rational solutions, with palindromic numerators, to the Painlev\'e VI equations. Due to the presence of such Painlev\'e equations, there exist integrable Hamiltonian systems that describe the moduli spaces of SO(N_c) and Sp(N_c) SQCD. To each system, we explicitly state the corresponding Hamiltonian and family of elliptic curves. It turns out that such elliptic curves take the same form as the Seiberg-Witten curves for 4d N=2 SU(2) gauge theory with 4 flavours.


title: Capacities associated with Calder\'on-Zygmund kernels

abstract: Analytic capacity is associated with the Cauchy kernel $1/z$ and the $L^\infty$-norm. For $n\in\mathbb{N}$, one has likewise capacities related to the kernels $K_i(x)=x_i^{2n-1}/|x|^{2n}$, $1\le i\le 2$, $x=(x_1,x_2)\in\mathbb{R}^2$. The main result of this paper states that the capacities associated with the vectorial kernel $(K_1, K_2)$ are comparable to analytic capacity.


title: Determination of coronal temperatures from electron density profiles

abstract: The most popular method for determining coronal temperatures is the scale-height-method (shm). It is based on electron density profiles inferred from White Light (WL) brightness measurements of the corona during solar eclipses. This method has been applied to several published coronal electron density models. The calculated temperature distributions reach a maximum at r > 1.3 RS, and therefore do not satisfy one of the conditions for applying the shm method. Another method is the hydrostatic equilibrium method (hst), which enables coronal temperature distributions to be determined, providing solutions to the hydrostatic equilibrium equation. The temperature maximas using the hst method are almost equal to those obtained using the shm method, but the temperature peak is always at significantly lower altitude when the hst-method is used than when the shm-method is used. A third and more recently developed method, dyn, can be used for the same published electron density profiles. The temperature distributions obtained using the dyn method are regular solutions of the hydrodynamic equations. They depend on the expansion velocity of the coronal plasma considered as a free input parameter in the calculations. At the base of the solar corona, where the coronal bulk velocity is small (subsonic), the dyn and hst methods give similar temperature values. Larger differences are found at higher altitudes where the expansion velocity approaches and exceeds the velocity of sound. This paper shows also the effects of the flow tube geometry and ion temperatures on the electron temperature distributions. The dyn method is a generalization of the hst method, where the electron temperature distribution tends to zero at infinite radial distances. It is a new diagnostic tool for determining from WL coronal observations the range of radial distances where the coronal heating rate is at its maximum.


title: Intrinsic signs and lower bounds in real algebraic geometry

abstract: A classical result due to Segre states that on a real cubic surface in ${\mathbb P}^3_\R$ there exists two kinds of real lines: elliptic and hyperbolic lines. These two kinds of real lines are defined in an intrinsic way, i.e., their definition does not depend on any choices of orientation data. Segre's classification of smooth real cubic surfaces also shows that any such surface contains at least 3 real lines. Starting from these remarks and inspired by the classical problem mentioned above, our article has the following goals: - We explain a general principle which leads to lower bounds in real algebraic geometry, - We explain the reason for the appearance of intrinsic signs in the classical problem treated by Segre, showing that the same phenomenon occurs in a large class of enumerative problems in real algebraic geometry. - We illustrate these principles in the enumerative problem for real lines in real hypersurfaces of degree $2m-3$ in ${\mathbb P}^m_\R$.


title: Reply to 'Corrections to the HARP-CDP Analysis of the LSND Neutrino Oscillation Backgrounds'

abstract: The alleged mistakes in recent papers that reanalyze the backgrounds to the 'LSND anomaly' do not exist. We maintain our conclusion that the significance of the 'LSND anomaly' is not 3.8 sigma but not larger than 2.3 sigma.


title: Memory cost of quantum protocols

abstract: In this paper we consider the problem of minimizing the ancillary systems required to realize an arbitrary strategy of a quantum protocol, with the assistance of classical memory. For this purpose we introduce the notion of memory cost of a strategy, which measures the resources required in terms of ancillary dimension. We provide a condition for the cost to be equal to a given value, and we use this result to evaluate the cost in some special cases. As an example we show that any covariant protocol for the cloning of a unitary transformation requires at most one ancillary qubit. We also prove that the memory cost has to be determined globally, and cannot be calculated by optimizing the resources independently at each step of the strategy.


title: A sub-40 mHz linewidth laser based on a silicon single-crystal optical cavity

abstract: State-of-the-art optical oscillators based on lasers frequency stabilized to high finesse optical cavities are limited by thermal noise that causes fluctuations of the cavity length. Thermal noise represents a fundamental limit to the stability of an optical interferometer and plays a key role in modern optical metrology. We demonstrate a novel design to reduce the thermal noise limit for optical cavities by an order of magnitude and present an experimental realization of this new cavity system, demonstrating the most stable oscillator of any kind to date. The cavity spacer and the mirror substrates are both constructed from single crystal silicon and operated at 124 K where the silicon thermal expansion coefficient is zero and the silicon mechanical loss is small. The cavity is supported in a vibration-insensitive configuration, which, together with the superior stiffness of silicon crystal, reduces the vibration related noise. With rigorous analysis of heterodyne beat signals among three independent stable lasers, the silicon system demonstrates a fractional frequency stability of 1E-16 at short time scales and supports a laser linewidth of <40 mHz at 1.5 \mu m, representing an optical quality factor of 4E15.


title: Dissipationless dynamics of randomly coupled spins at high temperatures

abstract: We develop a technique to compute the high-frequency asymptotics of spin correlators in weakly interacting disordered spin systems. We show that the dynamical spin correlator decreases exponentially at high frequencies, $< SS>_{\omega}\sim\exp(-\tau_{*}\omega)$ and compute the characteristic time $\tau^{*}$ of this dependence. In a typical random configuration, some fraction of spins form strongly coupled pairs, which behave as two-level systems. Their switching dynamics is driven by the high-frequency noise from the surrounding spins, resulting in low-frequency $1/f$ noise in the magnetic susceptibility and other physical quantities. We discuss application of these results to the problem of susceptibility and flux noise in superconducting circuits at mK temperatures.


title: Small-Signal Capacitance and Current Parameter Modeling in Large-Scale High-Frequency Graphene Field-Effect Transistors

abstract: The analytical model of the small-signal current and capacitance characteristics of RF graphene FET is presented. The model is based on explicit distributions of chemical potential in graphene channels (including ambipolar conductivity at high source-drain bias) obtained in the framework of drift-diffusion current continuity equation solution. Small-signal transconductance and output conductance characteristics are modeled taking into account the two modes of drain current saturation including drift velocity saturation or electrostatic pinch-off. Analytical closed expression for the complex current gain and the cutoff frequency of high-frequency GFETs are obtained. The model allows describe an impact of parasitic resistances, capacitances, interface traps on extrinsic current gain and cut-off frequency.


title: Electromagnetic cavity tests of Lorentz invariance on Earth and in space

abstract: We present a Michelson-Morley type experiment for testing the isotropy of the speed of light in vacuum and matter. The experiment compares the resonance frequency of an actively rotated monolithic optical cryogenic sapphire resonator against the resonance frequency of a stationary evacuated optical cavity made of ultra-low-expansion glass. The results yield an upper limit for the anisotropy of the speed of light in matter (sapphire) of Delta(c)/c < 1 x 10^-16, limited by the frequency stability of the sapphire resonator.


title: Influence of static electric fields on an optical ion trap

abstract: We recently reported on a proof-of-principle experiment demonstrating optical trapping of an ion in a single-beam dipole trap superimposed by a static electric potential [Nat. Photonics 4, 772--775 (2010)]. Here, we first discuss the experimental procedures focussing on the influence and consequences of the static electric potential. These potentials can easily prevent successful optical trapping, if their configuration is not chosen carefully. Afterwards, we analyse the dipole trap experiments with different analytic models, in which different approximations are applied. According to these models the experimental results agree with recoil heating as the relevant heating effect. In addition, a Monte-Carlo simulation has been developed to refine the analysis. It reveals a large impact of the static electric potential on the dipole trap experiments in general. While it supports the results of the analytic models for the parameters used in the experiments, the analytic models cease their validity for significantly different parameters. Finally, we propose technical improvements for future realizations of experiments with optically trapped ions.