title: Strain analysis of multiferroic BiFeO3-CoFe2O4 nanostructures by Raman scattering

abstract: We report a Raman scattering investigation of columnar BiFeO3-CoFe2O4 (BFO-CFO) epitaxial thin film nanostructures, where BFO pillars are embedded in a CFO matrix. The feasibility of a strain analysis is illustrated through an investigation of two nanostructures with different BFO-CFO ratios. We show that the CFO matrix presents the same strain state in both nanostructures, while the strain state of the BFO pillars depends on the BFO/CFO ratio with an increasing tensile strain along the out-of-plane direction with decreasing BFO content. Our results demonstrate that Raman scattering allows monitoring strain states in complex 3D multiferroic pillar/matrix composites.


title: Electroweak effective couplings for future precision experiments

abstract: The leading hadronic effects in electroweak theory derive from vacuum polarization which are non-perturbative hadronic contributions to the running of the gauge couplings, the electromagnetic alpha_{em}(s) and the SU(2)_L coupling alpha_2(s). I will report on my recent package "alphaQED", which besides the effective fine structure constant alpha_{em}(s) also allows for a fairly precise calculation of the SU(2)_L gauge coupling alpha_2(s). I will briefly review the role, future requirements and possibilities. Applied together with the "Rhad" package by Harlander and Steinhauser, the package allows to calculate all SM running couplings as well as running sin^2 Theta versions with state-of-the-art accuracy.


title: Introducing Sourcements

abstract: Sourcing processes are discussed at a high abstraction level. A dedicated terminology is developed concerning general aspects of sourcing. The term sourcement is coined to denote a building block for sourcing. No- tions of allocation, functional architecture and allocational architecture, equilibrium, and configuration are discussed. Limitations of the concept of outsourcing are outlined. This theoretical work is meant to serve as a point of departure for the subsequent development of a detailed theory of sourcing and sourcing transformations, which can be a tool for dealing with practical applica- tions.


title: Schrodinger's Hat: Electromagnetic, acoustic and quantum amplifiers via transformation optics

abstract: The advent of transformation optics and metamaterials has made possible devices producing extreme effects on wave propagation. Here we give theoretical designs for devices, Schr\"odinger hats, acting as invisible concentrators of waves. These exist for any wave phenomenon modeled by either the Helmholtz or Schr\"odinger equations, e.g., polarized waves in EM, pressure waves in acoustics and matter waves in QM, and occupy one part of a parameter space continuum of wave-manipulating structures which also contains standard transformation optics based cloaks, resonant cloaks and cloaked sensors. For EM and acoustic Schr\"odinger hats, the resulting centralized wave is a localized excitation. In QM, the result is a new charged quasiparticle, a \emph{quasmon}, which causes conditional probabilistic illusions. We discuss possible solid state implementations.


title: Evolution in bouncing quantum cosmology

abstract: We present the method of describing an evolution in quantum cosmology in the framework of the reduced phase space quantization of loop cosmology. We apply our method to the flat Friedman-Robertson-Walker model coupled to a massless scalar field. We identify the physical quantum Hamiltonian that is positive-definite and generates globally an unitary evolution of considered quantum system. We examine properties of expectation values of physical observables in the process of the quantum big bounce transition. The dispersion of evolved observables are studied for the Gaussian state. Calculated relative fluctuations enable an examination of the semi-classicality conditions and possible occurrence of the cosmic forgetfulness. Preliminary estimations based on the cosmological data suggest that there was no cosmic amnesia. Presented results are analytical, and numerical computations are only used for the visualization purposes. Our method may be generalized to sophisticated cosmological models including the Bianchi type universes.


title: Fence - An Efficient Parser with Ambiguity Support for Model-Driven Language Specification

abstract: Model-based language specification has applications in the implementation of language processors, the design of domain-specific languages, model-driven software development, data integration, text mining, natural language processing, and corpus-based induction of models. Model-based language specification decouples language design from language processing and, unlike traditional grammar-driven approaches, which constrain language designers to specific kinds of grammars, it needs general parser generators able to deal with ambiguities. In this paper, we propose Fence, an efficient bottom-up parsing algorithm with lexical and syntactic ambiguity support that enables the use of model-based language specification in practice.


title: Spin, Isospin and Strong Interaction Dynamics

abstract: The structure of spin and isospin is analyzed. Although both spin and isospin are related to the same SU(2) group, they represent different dynamical effects. The Wigner-Racah algebra is used for providing a description of bound states of several Dirac particles in general and of the proton state in particular. Isospin states of the four $\Delta (1232)$ baryons are discussed. The work explains the small contribution of quarks spin to the overall proton spin (the proton spin crisis). It is also proved that the addition of QCD's color is not required for a construction of an antisymmetric state of the $\Delta ^{++} (1232)$ baryon.


title: Higher cohomology for Anosov actions on certain homogeneous spaces

abstract: We study the smooth untwisted cohomology with real coefficients for the action on [SL(2, R) \times \cdot \cdot \cdot \times SL(2, R)]/{\Gamma} by the subgroup of diagonal matrices, where {\Gamma} is an irreducible lattice. In the top degree, we show that the obstructions to solving the coboundary equation come from distributions that are invariant under the action. In intermediate degrees, we show that the cohomology trivializes. It has been conjectured by A. and S. Katok that, for a standard partially hyperbolic R^d- or Z^d-action, the obstructions to solving the top-degree coboundary equation are given by periodic orbits, in analogy to Livsic's theorem for Anosov flows, and that the intermediate cohomology trivializes, as it is known to do in the first degree, by work of Katok and Spatzier. Katok and Katok proved their conjecture for abelian groups of toral automorphisms. For diagonal subgroup actions on SL(2, R)^d /{\Gamma}, our results verify the "intermediate cohomology" part of the conjecture, and are a step in the direction of the "top-degree cohomology" part.


title: Tha angular spectrum representation of vectorial laser beams

abstract: The angular spectrum of a vectorial laser beam is expressed in terms of an intrinsic coordinate system instead of the usual Cartesian laboratory coordinates. This switch leads to simple, elegant and new expressions such as for the angular spectrum of the Hertz vector corresponding to the electromagnetic fields. As an application of this approach, we consider axially symmetric vector beams, showing non-diffracting properties of these beams, without invoking the paraxial approximation. Further, we indicate the relevance of the method for analyzing nonparaxial resonators, such as microresonators


title: Distributional sources for black hole initial data

abstract: Black hole initial data is usually produced using Bowen-York type puncture initial data or by applying an excision boundary condition. The benefits of the Bowen-York initial data are the ability to specify the spin and momentum of the system as parameters of the initial data. In an attempt to extend these benefits to other formulations of the Einstein constraints, the puncture method is reformulated using distributions as source terms. It is shown how the Bowen-York puncture black hole initial data and the trumpet variation is generated by distributional sources. A heuristic argument is presented to argue that these sources are the general sources of spin and momentum. In order to clarify the meaning of other distributional sources, an exact family of initial data with generalized sources to the Hamiltonian constraint are studied; spinning trumpet black hole initial data and black hole initial data with higher order momentum sources are also studied.


title: Torus knot state asymptotics

abstract: The state of a knot is defined in the realm of Chern-Simons topological quantum field theory as a holomorphic section on the SU(2) character manifold of the peripheral torus. We compute the asymptotics of the torus knot states in terms of the Alexander polynomial, the Reidemeister torsion and the Chern-Simons invariant. We also prove that the microsupport of the torus knot state is included in the character manifold of the knot exterior. As a corollary we deduce the Witten asymptotics conjecture for the Dehn filling of the torus knots and asymptotic expansions for the colored Jones polynomials.


title: The $\cos2\phi$ azimuthal asymmetry of unpolarized dilepton production at the $Z$-pole

abstract: We calculate the Boer-Mulders effect contribution to the $\cos2\phi$ azimuthal asymmetry of unpolarized dilepton production near the $Z$-pole. Based on the tree-level expression in the transverse momentum dependent factorization framework, we show that the corresponding asymmetry near the $Z$-pole is negative, which is opposite to the asymmetry in the low $Q^2$ region, dominated by the production via a virtual photon. We calculate the asymmetry generated by the Boer-Mulders effect near the $Z$-pole at RHIC, with $\sqrt{s}=500$ GeV. We find that the magnitude of the asymmetry is several percent, and therefore it is measurable. The experimental confirmation of this sign change of the asymmetry from the low $Q^2$ region to the $Z$-pole provides direct evidence of the chiral odd structure of quarks inside an unpolarized nucleon.


title: Origins of shortcomings in recent realistic multiband Monte-Carlo studies for GaMnAs

abstract: Magnetic properties of Mn-doped GaAs are re-investigated within a realistic multiband description of the host valence bands. We explicitely demonstrate that the recent Monte Carlo (MC) simulations performed on a large scale supercomputer suffer from severe shortcomings. Indeed, it is shown, using identical parameters that (i) the calculated Zeeman-splitting largely underestimates that obtained from first principle studies, (ii) the couplings exhibit strong RKKY oscillations, (iii) the stability region for ferromagnetism is much narrower than obtained previously and (iv) the calculated Curie temperatures appear to be at least one order of magnitudes smaller. We show that the proposed choice of physical parameters cannot describe the physics in (Ga,Mn)As.


title: Spin-plasmons in topological insulator

abstract: Collective plasmon excitations in a helical electron liquid on the surface of strong three-dimensional topological insulator are considered. The properties and internal structure of these excitations are studied. Due to spin-momentum locking in helical liquid on a surface of topological insulator, the collective excitations should manifest themselves as coupled charge- and spin-density waves.


title: A different approach to logic: absolute logic

abstract: The paper is about 'absolute logic': an approach to logic that differs from the standard first-order logic and other known approaches. It should be a new approach the author has created proposing to obtain a general and unifying approach to logic and a faithful model of human mathematical deductive process. In first-order logic there exist two different concepts of term and formula, in place of these two concepts in our approach we have just one notion of expression. In our system the set-builder notation is an expression-building pattern. In our system we can easily express second-order, third order and any-order conditions. The meaning of a sentence will depend solely on the meaning of the symbols it contains, it will not depend on external 'structures'. Our deductive system is based on a very simple definition of proof and provides a good model of human mathematical deductive process. The soundness and consistency of the system are proved. We discuss on the completeness of our deductive systems. We also discuss how our system relates to the most know types of paradoxes, from the discussion no specific vulnerability to paradoxes comes out. The paper provides both the theoretical material and a fully documented example of deduction.


title: A Distorted MSSM Higgs Sector from Low-Scale Strong Dynamics

abstract: We show that when supersymmetry is broken at the TeV scale by strong dynamics, the Higgs sector of the MSSM can be drastically modified. This arises from possible sizeable mixings of the Higgs with the resonances of the strong sector. In particular the mass of the lightest Higgs boson can be significantly above the MSSM bound (~130 GeV). Furthermore only one Higgs doublet is strictly necessary, because the Yukawa couplings can have a very different structure compared to the MSSM. Using the AdS/CFT correspondence electroweak precision observables can be calculated and shown to be below experimental bounds. The most natural way to generate sparticle masses is through mixing with the composite states. This causes the gauginos and Higgsinos to easily obtain Dirac masses around 200 GeV, while scalar masses can be generated either from extra D-terms or also through mixing with the strongly-coupled states. Finally one of the most interesting predictions of these scenarios is the sizeable decay width of the Higgs boson into a very light gravitino (~ 10^{-4} eV) and a Higgsino.


title: Surface loss simulations of superconducting coplanar waveguide resonators

abstract: Losses in superconducting planar resonators are presently assumed to predominantly arise from surface-oxide dissipation, due to experimental losses varying with choice of materials. We model and simulate the magnitude of the loss from interface surfaces in the resonator, and investigate the dependence on power, resonator geometry, and dimensions. Surprisingly, the dominant surface loss is found to arise from the metal-substrate and substrate-air interfaces. This result will be useful in guiding device optimization, even with conventional materials.


title: Decompositions of commutative monoid congruences and binomial ideals

abstract: Primary decomposition of commutative monoid congruences is insensitive to certain features of primary decomposition in commutative rings. These features are captured by the more refined theory of mesoprimary decomposition of congruences, introduced here complete with witnesses and associated prime objects. The combinatorial theory of mesoprimary decomposition lifts to arbitrary binomial ideals in monoid algebras. The resulting binomial mesoprimary decomposition is a new type of intersection decomposition for binomial ideals that enjoys computational efficiency and independence from ground field hypotheses. Binomial primary decompositions are easily recovered from mesoprimary decomposition.


title: Closed-form asymptotic sampling distributions under the coalescent with recombination for an arbitrary number of loci

abstract: Obtaining a closed-form sampling distribution for the coalescent with recombination is a challenging problem. In the case of two loci, a new framework based on asymptotic series has recently been developed to derive closed-form results when the recombination rate is moderate to large. In this paper, an arbitrary number of loci is considered and combinatorial approaches are employed to find closed-form expressions for the first couple of terms in an asymptotic expansion of the multi-locus sampling distribution. These expressions are universal in the sense that their functional form in terms of the marginal one-locus distributions applies to all finite- and infinite-alleles models of mutation.


title: Neutral and charged matter in equilibrium with black holes

abstract: We study the conditions of a possible static equilibrium between spherically symmetric, electrically charged or neutral black holes and ambient matter. The following kinds of matter are considered: (1) neutral and charged matter with a linear equation of state p_r = w\rho (for neutral matter the results of our previous work are reproduced), (2) neutral and charged matter with p_r \sim \rho^m, m > 1, and (3) the possible presence of a "vacuum fluid" (the cosmological constant or, more generally, anything that satisfies the equality T^0_0 = T^1_1 at least at the horizon). We find a number of new cases of such an equilibrium, including those generalizing the well-known Majumdar-Papapetrou conditions for charged dust. It turns out, in particular, that ultraextremal black holes cannot be in equilibrium with any matter in the absence of a vacuum fluid; meanwhile, matter with w > 0, if it is properly charged, can surround an extremal charged black hole.


title: The link concordance invariant from Lee homology

abstract: We use the knot homology of Khovanov and Lee to construct link concordance invariants generalizing the Rasmussen $s$-invariant of knots. The relevant invariant for a link is a filtration on a vector space of dimension $2^{|L|}$. The basic properties of the $s$-invariant all extend to the case of links; in particular, any orientable cobordism $\Sigma$ between links induces a map between their corresponding vector spaces which is filtered of degree $\chi(\Sigma)$. A corollary of this construction is that any component preserving orientable cobordism from a $\Kh$-thin link to a link split into $k$ components must have genus at least $\lfloor\frac k2\rfloor$. In particular, no quasi-alternating link is concordant to a split link.


title: Nonadditive hard-sphere fluid mixtures: A simple analytical theory

abstract: We construct a non-perturbative fully analytical approximation for the thermodynamics and the structure of nonadditive hard-sphere fluid mixtures. The method essentially lies in a heuristic extension of the Percus-Yevick solution for additive hard spheres. Extensive comparison with Monte Carlo simulation data shows a generally good agreement, especially in the case of like-like radial distribution functions.


title: Reducibility of cocycles under a Brjuno-R\"ussmann arithmetical condition

abstract: The arithmetics of the frequency and of the rotation number play a fundamental role in the study of reducibility of analytic quasi-periodic cocycles which are sufficiently close to a constant. In this paper we show how to generalize previous works by L.H.Eliasson which deal with the diophantine case so as to implement a Brjuno-Russmann arithmetical condition both on the frequency and on the rotation number. Our approach adapts the Poschel-Russmann KAM method, which was previously used in the problem of linearization of vector fields, to the problem of reducing cocycles.


title: A unified graphical approach to random coding for multi-terminal networks

abstract: A unified approach to the derivation of rate regions for single-hop memoryless networks is presented. A general transmission scheme for any memoryless, single-hop, k-user channel with or without common information, is defined through two steps. The first step is user virtualization: each user is divided into multiple virtual sub-users according to a chosen rate-splitting strategy which preserves the rates of the original messages. This results in an enhanced channel with a possibly larger number of users for which more coding possibilities are available. Moreover, user virtualization provides a simple mechanism to encode common messages to any subset of users. Following user virtualization, the message of each user in the enhanced model is coded using a chosen combination of coded time-sharing, superposition coding and joint binning. A graph is used to represent the chosen coding strategies: nodes in the graph represent codewords while edges represent coding operations. This graph is used to construct a graphical Markov model which illustrates the statistical dependency among codewords that can be introduced by the superposition coding or joint binning. Using this statistical representation of the overall codebook distribution, the error probability of the code is shown to vanish via a unified analysis. The rate bounds that define the achievable rate region are obtained by linking the error analysis to the properties of the graphical Markov model. This proposed framework makes it possible to numerically obtain an achievable rate region by specifying a user virtualization strategy and describing a set of coding operations. The largest achievable rate region can be obtained by considering all the possible rate-splitting strategies and taking the union over all the possible ways to superimpose or bin codewords.


title: Dipole Response of Spaser on an External Optical Wave

abstract: We find the conditions upon the amplitude and frequency of an external electromagnetic field at which the dipole moment of a Bergman-Stockman spaser oscillates in antiphase with the field. For these values of the amplitude and frequency the losses in metal nanoparticles is exactly compensated of by gain. This shows that spasers may be used as inclusions in designing lossless metamaterials.


title: Observational studies of pre-stellar cores and infrared dark clouds

abstract: Stars like our Sun and planets like our Earth form in dense regions within interstellar molecular clouds, called pre-stellar cores (PSCs). PSCs provide the initial conditions in the process of star and planet formation. In the past 15 years, detailed observations of (low-mass) PSCs in nearby molecular cloud complexes have allowed us to find that they are cold (T < 10 K) and quiescent (molecular line widths are close to thermal), with a chemistry profoundly affected by molecular freeze-out onto dust grains. In these conditions, deuterated molecules flourish, becoming the best tools to unveil the PSC physical and chemical structure. Despite their apparent simplicity, PSCs still offer puzzles to solve and they are far from being completely understood. For example, what is happening to the gas and dust in their nuclei (the future stellar cradles) is still a mystery that awaits for ALMA. Other important questions are: how do different environments and external conditions affect the PSC physical/chemical structure? Are PSCs in high-mass star forming regions similar to the well-known low-mass PSCs? Here I review observational and theoretical work on PSCs in nearby molecular cloud complexes and the ongoing search and study of massive PSCs embedded in infrared dark clouds (IRDCs), which host the initial conditions for stellar cluster and high-mass star formation.


title: On polyhedral approximations of polytopes for learning Bayes nets

abstract: We review three vector encodings of Bayesian network structures. The first one has recently been applied by Jaakkola 2010, the other two use special integral vectors formerly introduced, called imsets [Studeny 2005, Studeny 2010]. The central topic is the comparison of outer polyhedral approximations of the corresponding polytopes. We show how to transform the inequalities suggested by Jaakkola et al. to the framework of imsets. The result of our comparison is the observation that the implicit polyhedral approximation of the standard imset polytope suggested in [Studeny 2011] gives a closer approximation than the (transformed) explicit polyhedral approximation from [Jaakkola 2010]. Finally, we confirm a conjecture from [Studeny 2011] that the above-mentioned implicit polyhedral approximation of the standard imset polytope is an LP relaxation of the polytope.


title: Applications of Derandomization Theory in Coding

abstract: Randomized techniques play a fundamental role in theoretical computer science and discrete mathematics, in particular for the design of efficient algorithms and construction of combinatorial objects. The basic goal in derandomization theory is to eliminate or reduce the need for randomness in such randomized constructions. In this thesis, we explore some applications of the fundamental notions in derandomization theory to problems outside the core of theoretical computer science, and in particular, certain problems related to coding theory. First, we consider the wiretap channel problem which involves a communication system in which an intruder can eavesdrop a limited portion of the transmissions, and construct efficient and information-theoretically optimal communication protocols for this model. Then we consider the combinatorial group testing problem. In this classical problem, one aims to determine a set of defective items within a large population by asking a number of queries, where each query reveals whether a defective item is present within a specified group of items. We use randomness condensers to explicitly construct optimal, or nearly optimal, group testing schemes for a setting where the query outcomes can be highly unreliable, as well as the threshold model where a query returns positive if the number of defectives pass a certain threshold. Finally, we design ensembles of error-correcting codes that achieve the information-theoretic capacity of a large class of communication channels, and then use the obtained ensembles for construction of explicit capacity achieving codes. [This is a shortened version of the actual abstract in the thesis.]


title: Dephasing and Hyperfine Interaction in Carbon Nanotubes Double Quantum Dots: The Clean Limit

abstract: We consider theoretically ${}^{13}$C-hyperfine interaction induced dephasing in carbon nanotubes double quantum dots with curvature induced spin-orbit coupling. For two electrons initially occupying a single dot, we calculate the average return probability after separation into the two dots, which have random nuclear-spin configurations. We focus on the long time saturation value of the return probability, $P_\infty$. Because of the valley degree of freedom, the analysis is more complex than in, for example, GaAs quantum dots, which have two distinct $P_\infty$ values depending on the magnetic field. Here the prepared state and the measured state is non-unique because two electrons in the same dot are allowed in six different states. Moreover, for one electron in each dot sixteen states exist and therefore are available for being mixed by the hyperfine field. The return probability experiment is found to be strongly dependent on the prepared state, on the external magnetic field---both Zeeman and orbital effects - and on the spin-orbit splitting. The lowest saturation value, being $P_\infty$=1/3, occurs at zero magnetic field for nanotubes with spin-orbit coupling and the initial state being the groundstate, this situation is equivalent to double dots without the valley degree of freedom. In total, we report nine dynamically different situations that give $P_\infty$=1/3, 3/8, 2/5, 1/2 and for valley anti-symmetric prepared states in an axial magnetic field, $P_\infty$=1. When the groundstate is prepared the ratio between the spin-orbit splitting and the Zeeman energy due to a perpendicular magnetic field can tune the effective hyperfine field continuously from being three dimensional to two dimensional giving saturation values from $P_\infty$=1/3 to 3/8.


title: Finding All Allowed Edges in a Bipartite Graph

abstract: We consider the problem of finding all allowed edges in a bipartite graph $G=(V,E)$, i.e., all edges that are included in some maximum matching. We show that given any maximum matching in the graph, it is possible to perform this computation in linear time $O(n+m)$ (where $n=|V|$ and $m=|E|$). Hence, the time complexity of finding all allowed edges reduces to that of finding a single maximum matching, which is $O(n^{1/2}m)$ [Hopcroft and Karp 1973], or $O((n/\log n)^{1/2}m)$ for dense graphs with $m=\Theta(n^2)$ [Alt et al. 1991]. This time complexity improves upon that of the best known algorithms for the problem, which is $O(nm)$ ([Costa 1994] for bipartite graphs, and [Carvalho and Cheriyan 2005] for general graphs). Other algorithms for solving that problem are randomized algorithms due to [Rabin and Vazirani 1989] and [Cheriyan 1997], the runtime of which is $\tilde{O}(n^{2.376})$. Our algorithm, apart from being deterministic, improves upon that time complexity for bipartite graphs when $m=O(n^r)$ and $r<1.876$. In addition, our algorithm is elementary, conceptually simple, and easy to implement.


title: Localization in Gromov-Witten Theory and Orbifold Gromov-Witten Theory

abstract: In this expository article, we explain how to use localization to compute Gromov-Witten invariants of smooth toric varieties and orbifold Gromov-Witten invariants of smooth toric Deligne-Mumford stacks.


title: Simple G-graded algebras and their polynomial identities

abstract: Let G be any group and F an algebraically closed field of characteristic zero. We show that any G-graded finite dimensional associative G-simple algebra over F is determined up to a G-graded isomorphism by its G-graded polynomial identities. This result was proved by Koshlukov and Zaicev in case G is abelian.


title: Gravitational mass-shift effect in the Standard Model

abstract: The gravitational mass-shift effect is investigated in the framework of the standard model with the energy cutoff regularization both for stationary and non-stationary backgrounds at the one-loop level. The problem concerning singularity of the effective potential for the Higgs field on the horizon of a black hole, which was reported earlier, is resolved. The equations characterizing the properties of the vacuum state are derived and solved in a certain approximation for the Schwarzschild black hole. The gravitational mass-shift effect is completely described in this case. The masses of the massive particles in the standard model are shown to depend on the value of the Higgs boson mass in the flat spacetime. If the Higgs boson mass in the flat spacetime is less than 263.6 GeV, then the mass of any massive particle approaching a gravitating object grows. If the Higgs boson mass in the flat spacetime is greater than or equal to 278.2 GeV, the masses of all the massive particles decrease in a strong gravitational field. The Higgs boson masses lying in between these two values prove to lead to instability, at least at the one-loop level, and so they are excluded. It turns out that the vacuum possesses the same properties as an ultrarelativistic fluid in a certain approximation. The expression for the pressure, the entropy and enthalpy densities of this fluid are obtained. The sound speed in this fluid is also derived.


title: On a conjecture of Erdos and Simonovits: Even Cycles

abstract: Let $\mc{F}$ be a family of graphs. A graph is {\em $\mc{F}$-free} if it contains no copy of a graph in $\mc{F}$ as a subgraph. A cornerstone of extremal graph theory is the study of the {\em Tur\'an number} $ex(n,\mc{F})$, the maximum number of edges in an $\mc{F}$-free graph on $n$ vertices. Define the {\em Zarankiewicz number} $z(n,\mc{F})$ to be the maximum number of edges in an $\mc{F}$-free {\em bipartite} graph on $n$ vertices. Let $C_k$ denote a cycle of length $k$, and let $\mc{C}_k$ denote the set of cycles $C_{\ell}$, where $3 \le \ell \leq k$ and $\ell$ and $k$ have the same parity. Erd\H{o}s and Simonovits conjectured that for any family $\mc{F}$ consisting of bipartite graphs there exists an odd integer $k$ such that $ex(n,\mc{F} \cup \mc{C}_k) \sim z(n,\mc{F})$. They proved this when $\mc{F}={C_4}$ by showing that $ex(n,\{C_4,C_5\}) \sim z(n,C_4)$. In this paper, we extend this result by showing that if $\ell \in \{2,3,5\}$ and $k > 2\ell$ is odd, then ${ex(n,\mc{C}_{2\ell} \cup {C_k}) \sim z(n,\mc{C}_{2\ell})$. Furthermore, if $k > 2\ell + 2$ is odd, then for infinitely many $n$ we show that the extremal $\mc{C}_{2\ell} \cup \{C_k\}$-free graphs are bipartite incidence graphs of generalized polygons. We observe that this exact result does not hold for any odd $k < 2\ell$, and furthermore the asymptotic result does not hold when $(\ell,k)$ is $(3,3)$, $(5,3)$ or $(5,5)$. Our proofs make use of pseudorandomness properties of nearly extremal graphs that are of independent interest.


title: Characterizations of distributions via order statistics with random exponential shifts

abstract: A class of probability distributions is characterized via equalities in law between two order statistics shifted by independent exponential variables. An explicit formula for the quintile function of the identified family of distributions is obtained. The results extend some known characterizations of exponential and logistic distributions.


title: Unstable Vassiliev Theory

abstract: We construct an inverse system of unstable Vassiliev spectral sequences on the spaces of plumbers' knots, which model the homotopy type of the space of long knots, and show that the limit of these sequences contains the finite type invariants in their usual complexity. Utilizing the cell structure on the discriminant of the spaces of plumbers curves, we extend the notion of Vassiliev derivative to all singularity types of plumbers' curves.


title: A Generalization of Turaev's Virtual String Cobracket

abstract: In a previous paper, we defined an operation $\mu$ that generalizes Turaev's cobracket for loops on a surface. We showed that, in contrast to the cobracket, this operation gives a formula for the minimum number of self-intersections of a loop in a given free homotopy class. In this paper we consider the corresponding question for virtual strings. We show that $\mu$ gives a bound on the minimal self-intersection number of a virtual string which is stronger than a bound given by Turaev's virtual string cobracket. We use Turaev's based matrices to describe strings $\alpha$ such that $\mu$ gives a formula for the minimal self-intersection number $\alpha$. We also construct an example that shows the bound on the minimal self-intersection number given by $\mu$ is sometimes stronger than the bound $\rho$ given by Turaev's based matrix invariant.


title: Correlation between superconductivity and antiferromagnetism in Rb0.8Fe2Se2-xTex single crystals

abstract: We report the first experimental evidence for the intimate connection between superconductivity and antiferromagnetism in Rb0.8Fe2Se2-xTex single crystal under negative chemical pressure by substituting Se with isovalent Te atoms. Electrical resistance measurements in the temperature range from 4 K to 550 K demonstrate that both superconducting transition temperature (Tc) and Neel temperature (TN) were suppressed continuously with the lattice expansion. When the Te concentration x in Rb0.8Fe2Se2-xTex approaches 0.3, the superconducting transition temperature Tc is completely suppressed and the sample behaves like a semiconductor, meanwhile the characteristic peak of antiferromagnetic transition on resistance curve disappears. Our observation suggests that the pressure-induced lattice expansion can be used to tune the correlativity of superconductivity and antiferromagnetism.


title: How Close Are We To Detecting Earth-like Planets in the Habitable Zone Using the Radial Velocity Technique?

abstract: Discovering an Earth-like exoplanet in habitable zone is an important milestone for astronomers in search of extra-terrestrial life. While the radial velocity (RV) technique remains one the most powerful tools in detecting and characterizing exo-planetary sys- tems, we calculate the uncertainties in precision RV measurements considering stellar spectral quality factors, RV calibration sources, stellar noise and telluric contamination in different observational bandpasses and for different spectral types. We predict the optimal observational bandpass for different spectral types using the RV technique un- der a variety of conditions. We compare the RV signal of an Earth-like planet in the habitable zone (HZ) to the near future state of the art RV precision and attempt to answer the question: How close are we to detecting Earth-like planet in the HZ using the RV technique?


title: mizar-items: Exploring fine-grained dependencies in the Mizar Mathematical Library

abstract: The Mizar Mathematical Library (MML) is a rich database of formalized mathematical proofs (see http://mizar.org). Owing to its large size (it contains more than 1100 "articles" summing to nearly 2.5 million lines of text, expressing more than 50000 theorems and 10000 definitions using more than 7000 symbols), the nature of its contents (the MML is slanted toward pure mathematics), and its classical foundations (first-order logic, set theory, natural deduction), the MML is an especially attractive target for research on foundations of mathematics. We have implemented a system, mizar-items, on which a variety of such foundational experiements can be based. The heart of mizar-items is a method for decomposing the contents of the MML into fine-grained "items" (e.g., theorem, definition, notation, etc.) and computing dependency relations among these items. mizar-items also comes equipped with a website for exploring these dependencies and interacting with them.


title: Mechanism Design and Risk Aversion

abstract: We develop efficient algorithms to construct utility maximizing mechanisms in the presence of risk averse players (buyers and sellers) in Bayesian settings. We model risk aversion by a concave utility function, and players play strategically to maximize their expected utility. Bayesian mechanism design has usually focused on maximizing expected revenue in a {\em risk neutral} environment, and no succinct characterization of expected utility maximizing mechanisms is known even for single-parameter multi-unit auctions. We first consider the problem of designing optimal DSIC mechanism for a risk averse seller in the case of multi-unit auctions, and we give a poly-time computable SPM that is $(1-1/e-\eps)$-approximation to the expected utility of the seller in an optimal DSIC mechanism. Our result is based on a novel application of a correlation gap bound, along with {\em splitting} and {\em merging} of random variables to redistribute probability mass across buyers. This allows us to reduce our problem to that of checking feasibility of a small number of distinct configurations, each of which corresponds to a covering LP. A feasible solution to the LP gives us the distribution on prices for each buyer to use in a randomized SPM. We next consider the setting when buyers as well as the seller are risk averse, and the objective is to maximize the seller's expected utility. We design a truthful-in-expectation mechanism whose utility is a $(1-1/e -\eps)^3$-approximation to the optimal BIC mechanism under two mild assumptions. Our mechanism consists of multiple rounds that processes each buyer in a round with small probability. Lastly, we consider the problem of revenue maximization for a risk neutral seller in presence of risk averse buyers, and give a poly-time algorithm to design an optimal mechanism for the seller.


title: A Semantic Relatedness Measure Based on Combined Encyclopedic, Ontological and Collocational Knowledge

abstract: We describe a new semantic relatedness measure combining the Wikipedia-based Explicit Semantic Analysis measure, the WordNet path measure and the mixed collocation index. Our measure achieves the currently highest results on the WS-353 test: a Spearman rho coefficient of 0.79 (vs. 0.75 in (Gabrilovich and Markovitch, 2007)) when applying the measure directly, and a value of 0.87 (vs. 0.78 in (Agirre et al., 2009)) when using the prediction of a polynomial SVM classifier trained on our measure. In the appendix we discuss the adaptation of ESA to 2011 Wikipedia data, as well as various unsuccessful attempts to enhance ESA by filtering at word, sentence, and section level.


title: Parallel Backtracking with Answer Memoing for Independent And-Parallelism

abstract: Goal-level Independent and-parallelism (IAP) is exploited by scheduling for simultaneous execution two or more goals which will not interfere with each other at run time. This can be done safely even if such goals can produce multiple answers. The most successful IAP implementations to date have used recomputation of answers and sequentially ordered backtracking. While in principle simplifying the implementation, recomputation can be very inefficient if the granularity of the parallel goals is large enough and they produce several answers, while sequentially ordered backtracking limits parallelism. And, despite the expected simplification, the implementation of the classic schemes has proved to involve complex engineering, with the consequent difficulty for system maintenance and extension, while still frequently running into the well-known trapped goal and garbage slot problems. This work presents an alternative parallel backtracking model for IAP and its implementation. The model features parallel out-of-order (i.e., non-chronological) backtracking and relies on answer memoization to reuse and combine answers. We show that this approach can bring significant performance advantages. Also, it can bring some simplification to the important engineering task involved in implementing the backtracking mechanism of previous approaches.


title: Unique prospects of graphene-based THz modulators

abstract: The modulation depth of 2-D electron gas (2DEG) based THz modulators using AlGaAs/GaAs heterostructures with metal gates is inherently limited to < 30%. The metal gate not only attenuates the THz signal (> 90%) but also severely degrades the modulation depth. The metal losses can be significantly reduced with an alternative material with tunable conductivity. Graphene presents a unique solution to this problem due to its symmetric band structure and extraordinarily high mobility of holes that is comparable to electron mobility in conventional semiconductors. The hole conductivity in graphene can be electrostatically tuned in the graphene-2DEG parallel capacitor configuration, thus more efficiently tuning the THz transmission. In this work, we show that it is possible to achieve a modulation depth of > 90% while simultaneously minimizing signal attenuation to < 5% by tuning the Fermi level at the Dirac point in graphene.


title: Ekeland's Variational Principle for An $\bar{L}^{0}-$Valued Function on A Complete Random Metric Space

abstract: Motivated by the recent work on conditional risk measures, this paper studies the Ekeland's variational principle for a proper, lower semicontinuous and lower bounded $\bar{L}^{0}-$valued function, where $\bar{L}^{0}$ is the set of equivalence classes of extended real-valued random variables on a probability space. First, we prove a general form of Ekeland's variational principle for such a function defined on a complete random metric space. Then, we give a more precise form of Ekeland's variational principle for such a local function on a complete random normed module. Finally, as applications, we establish the Bishop-Phelps theorem in a complete random normed module under the framework of random conjugate spaces.


title: Distinguishing Spontaneous Quantum Hall States in Graphene Bilayers

abstract: Chirally stacked N-layer graphene with N>=2 is susceptible to a variety of distinct broken symmetry states in which each spin-valley flavor spontaneously transfers charge between layers. In mean-field theory the neutral bilayer ground state is a layer antiferromagnet (LAF) state that has opposite spin-polarizations in opposite layers. In this Letter we analyze how the LAF and other competing states are influenced by Zeeman fields that couple to spin and by interlayer electric fields that couple to layer pseudospin, and comment on the possibility of using response and edge state signatures to identify the character of the bilayer ground state experimentally.


title: Gauged AdS-Maxwell algebra and gravity

abstract: We deform the anti-de Sitter algebra by adding additional generators $\mathcal{Z}_{ab}$, forming in this way the negative cosmological constant counterpart of the Maxwell algebra. We gauge this algebra and construct a dynamical model with the help of a constrained the BF theory. It turns out that the resulting theory is described by the Einstein-Cartan action with Holst term, and the gauge fields associated with the Maxwell generators $\mathcal{Z}_{ab}$ appear only in topological terms that do not influence dynamical field equations. We briefly comment on the extension of this construction, which would lead to a nontrivial Maxwell fields dynamics.


title: Prandtl and the G\"ottingen School

abstract: This is a historical review of "Prandtl and the G\"ottingen School" from his first work in 1898 to after WWII. We report the development of the boundary layer theory and the investigations that lead Ludwig Prandtl in the spring of 1945 to use a energy cascade model to derive for fully developed turbulence the Kolmogrov length scale. Working at the end of WWII he was not aware of the work by Kolmogorov. Thus Ludwig Prandtl was before Onsager, von Weiz\"acker, and Heisenberg in rederiving parts of K41 theory. In our historical analysis we rely heavily on exchanges between Ludwig Prandtl with Theodore von K\'arm\'an and Goeffrey Ingram Taylor and on the original notes by Ludwig Prandtl and others.

categories: physics.flu-dyn cond-mat.stat-mech nlin.PS physics.hist-ph


title: Empirical analysis of collective human behavior for extraordinary events in blogosphere

abstract: To uncover underlying mechanism of collective human dynamics, we survey more than 1.8 billion blog entries and observe the statistical properties of word appearances. We focus on words that show dynamic growth and decay with a tendency to diverge on a certain day. After careful pretreatment and fitting method, we found power laws generally approximate the functional forms of growth and decay with various exponents values between -0.1 and -2.5. We also observe news words whose frequency increase suddenly and decay following power laws. In order to explain these dynamics, we propose a simple model of posting blogs involving a keyword, and its validity is checked directly from the data. The model suggests that bloggers are not only responding to the latest number of blogs but also suffering deadline pressure from the divergence day. Our empirical results can be used for predicting the number of blogs in advance and for estimating the period to return to the normal fluctuation level.


title: A New Formula for the Natural Logarithm of a Natural Number

abstract: For every natural number $T,$ we write $\Ln T$ as a series, generalizing the known series for $\Ln 2.$


title: Integrating strong and weak discontinuities without integration subcells and example applications in an XFEM/GFEM framework

abstract: Partition of unity methods, such as the extended finite element method (XFEM) allow discontinuities to be simulated independently of the mesh [1]. This eliminates the need for the mesh to be aligned with the discontinuity or cumbersome re-meshing, as the discontinuity evolves. However, to compute the stiffness matrix of the elements intersected by the discontinuity, a subdivision of the elements into quadrature subcells aligned with the discontinuity is commonly adopted. In this paper, we use a simple integration technique, proposed for polygonal domains [2] to suppress the need for element subdivision. Numerical results presented for a few benchmark problems in the context of linear elastic fracture mechanics and a multi-material problem, show that the proposed method yields accurate results. Owing to its simplicity, the proposed integration technique can be easily integrated in any existing code.


title: Gauging away Physics

abstract: We consider the recent argument by Higuchi, Marolf and Morrison [1] that a nonlocal gauge transformation can be used to eliminate the infrared divergence of the graviton propagator, when evaluated in Bunch-Davies vacuum on the open coordinate submanifold of de Sitter space in transverse-traceless-synchronous gauge. Because the transformation is not local, the equal time commutator of undifferentiated fields no longer vanishes. From explicit examination of the Wightman function we demonstrate that the transformation adds anti-sources in the far future which cancel the bad infrared behavior but also change the propagator equation. The same problem exists in the localized version of the recent argument. Adding such anti-sources does not seem to be legitimate and could be used to eliminate the infrared divergence of the massless, minimally coupled scalar. The addition of such anti-sources in flat space QED could be effected by an almost identical gauge transformation, and would seem to eliminate the well known infrared divergences which occur in loop corrections to exclusive amplitudes.


title: Design of Arabic Diacritical Marks

abstract: Diacritical marks play a crucial role in meeting the criteria of usability of typographic text, such as: homogeneity, clarity and legibility. To change the diacritic of a letter in a word could completely change its semantic. The situation is very complicated with multilingual text. Indeed, the problem of design becomes more difficult by the presence of diacritics that come from various scripts; they are used for different purposes, and are controlled by various typographic rules. It is quite challenging to adapt rules from one script to another. This paper aims to study the placement and sizing of diacritical marks in Arabic script, with a comparison with the Latin's case. The Arabic script is cursive and runs from right-to-left; its criteria and rules are quite distinct from those of the Latin script. In the beginning, we compare the difficulty of processing diacritics in both scripts. After, we will study the limits of Latin resolution strategies when applied to Arabic. At the end, we propose an approach to resolve the problem for positioning and resizing diacritics. This strategy includes creating an Arabic font, designed in OpenType format, along with suitable justification in TEX.


title: Estimation of a quantum interaction parameter using weak measurements: Theory and experiment

abstract: We investigate the estimation of a small interaction parameter from the outcomes of weak quantum measurements implemented by the interaction. The relation of weak values and sensitivity is explained and the different contributions of postselected results are identified using experimental data. The results show how weak values can be used to control the distribution of input state sensitivity between different postselected outcomes.


title: Shrinking Targets for Countable Markov Maps

abstract: Let $T$ be an expanding Markov map with a countable number of inverse branches and a repeller $\Lambda$ contained within the unit interval. Given $\alpha \in \R_+$ we consider the set of points $x \in \Lambda$ for which $T^n(x)$ hits a shrinking ball of radius $e^{-n\alpha}$ around $y$ for infinitely many iterates $n$. Let $s(\alpha)$ denote the infimal value of $s$ for which the pressure of the potential $-s\log|T'|$ is below $s \alpha$. Building on previous work of Hill, Velani and Urba\'{n}ski we show that for all points $y$ contained within the limit set of the associated iterated function system the Hausdorff dimension of the shrinking target set is given by $s(\alpha)$. Moreover, when $\bar{\Lambda}=[0,1]$ the same holds true for all $y \in [0,1]$. However, given $\beta \in (0,1)$ we provide an example of an expanding Markov map $T$ with a repeller $\Lambda$ of Hausdorff dimension $\beta$ with a point $y\in \bar{\Lambda}$ such that for all $\alpha \in \R_+$ the dimension of the shrinking target set is zero.


title: Impact of the strong electromagnetic field on the QCD effective potential for homogeneous Abelian gluon field configurations

abstract: The one-loop quark contribution to the QCD effective potential for the homogeneous Abelian gluon field in the presence of external strong electromagnetic field is evaluated. The structure of extrema of the potential as a function of the angles between chromoelectric, chromomagnetic and electromagnetic fields is analyzed. In this setup, the electromagnetic field is considered as an external one while the gluon field represents domain structured nonperturbative gluon configurations related to the QCD vacuum in the confinement phase. Two particularly interesting gluon configurations, (anti-)self-dual and crossed orthogonal chromomagnetic and chromoelectric fields, are discussed specifically. Within this simplified framework it is shown that the strong electromagnetic fields can play a catalysing role for a deconfinement transition. At the qualitative level, the present consideration can be seen as a highly simplified study of an impact of the electromagnetic fields generated in relativistic heavy ion collisions on the strongly interacting hadronic matter.


title: Skipping and snake orbits of electrons: singularities and catastrophes

abstract: Near the sample edge, or a sharp magnetic field step the drift of two-dimensional electrons in a magnetic field has the form of skipping/snake orbits. We show that families of skipping/snake orbits of electrons injected at one point inside a 2D metal generically exhibit caustics folds, cusps and cusp triplets, and, in one extreme case, a section of the batterfly bifurcation. Periodic appearance of singularities along the $\pm B$-interface leads to the magneto-oscillations of nonlocal conductance in multi-terminal electronic devices.


title: Non-Gaussianity from the hybrid potential

abstract: We study the hybrid inflationary potential in a regime where the defect field is light, and more than 60 e-folds of accelerated expansion occur after the symmetry breaking transition. Using analytic and numerical techniques, we then identify parameter values within this regime for which the statistics of the primordial curvature perturbation are significantly non-Gaussian. Focusing on this range of parameters, we provide a specific example which leads to an observationally consistent power spectrum, and a level of non-Gaussianity within current WMAP bounds and in reach of the Planck satellite. An interesting feature of this example is that the initial conditions at horizon crossing appear quite natural.


title: Baryon production and net-proton distributions in relativistic heavy ion collisions

abstract: The higher order moments of the net-baryon distributions in relativistic heavy ion collisions are useful probes for the QCD critical point and fluctuations. We study the net-proton distributions and their moments in a simple model which considers the baryon stopping and pair production effects in the processes. It is shown that a single emission source model can explain the experimental data well. Centrality and energy dependence of the distributions and higher moments is discussed.


title: Lattice quantum electrodynamics for graphene

abstract: The effects of gauge interactions in graphene have been analyzed up to now in terms of effective models of Dirac fermions. However, in several cases lattice effects play an important role and need to be taken consistently into account. In this paper we introduce and analyze a lattice gauge theory model for graphene, which describes tight binding electrons hopping on the honeycomb lattice and interacting with a three-dimensional quantum U(1) gauge field. We perform an exact Renormalization Group analysis, which leads to a renormalized expansion that is finite at all orders. The flow of the effective parameters is controlled thanks to Ward Identities and a careful analysis of the discrete lattice symmetry properties of the model. We show that the Fermi velocity increases up to the speed of light and Lorentz invariance spontaneously emerges in the infrared. The interaction produces critical exponents in the response functions; this removes the degeneracy present in the non interacting case and allow us to identify the dominant excitations. Finally we add mass terms to the Hamiltonian and derive by a variational argument the correspondent gap equations, which have an anomalous non-BCS form, due to the non trivial effects of the interaction.

categories: cond-mat.str-el cond-mat.stat-mech math-ph math.MP


title: Discovery of a spiral-host episodic radio-galaxy

abstract: We report the discovery of a unique radio galaxy at z=0.137, which could possibly be the second spiral-host large radio galaxy and also the second triple-double episodic radio galaxy. The host galaxy shows signs of recent star formation in the UV but is optically red and is the brightest galaxy of a possible cluster. The outer relic radio lobes of this galaxy, separated by ~1 Mpc, show evidence of spectral flattening and a high fraction of linear polarisation. We interpret that these relic lobes have experienced re-acceleration of particles and compression of the magnetic field due to shocks in the cluster outskirts. From the morphology of the relics and galaxy distribution, we argue that re-acceleration is unlikely to be due to a cluster-cluster merger and suggest the possibility of accretion shocks. The source was identified from SDSS, GALEX, NVSS and FIRST survey data but we also present follow up optical observations with the Lulin telescope and 325 MHz low frequency radio observations with the GMRT. We briefly discuss the scientific potential of this example in understanding the evolution of galaxies and clusters by accretion, mergers, star formation, and AGN feedback.


title: Unitary invariant discord as a measure of bipartite quantum correlations in an $N$-qubit quantum system

abstract: We introduce a measure of quantum correlations in the $N$-qubit quantum system which is invariant with respect to the $SU(2^N)$ group of transformations of this system. This measure is a modification of the quantum discord introduced earlier and is referred to as the unitary or $SU(2^N)$-invariant discord. Since the evolution of a quantum system is equivalent to the proper unitary transformation, the introduced measure is an integral of motion and is completely defined by eigenvalues of the density matrix. As far as the calculation of the unitary invariant discord is rather complicated computational problem, we propose its modification which may be found in a simpler way. The case N=2 is considered in details. In particular, it is shown that the modified SU(4)-invariant discord reaches the maximum value for a pure state. {A geometric measure of the unitary invariant discord of an $N$-qubit state is introduced and a simple formula for this measure is derived, which allows one to consider this measure as a witness of quantum correlations.} The relation of the unitary invariant discord with the quantum state transfer along the spin chain is considered. We also compare the modified SU(4)-invariant discord with the geometric measure of SU(4)-invariant discord of the two-qubit systems in the thermal equilibrium states governed by the different Hamiltonians.


title: Classical aspects of quantum cohomology of generalized flag varieties

abstract: We show that various genus zero Gromov-Witten invariants for flag varieties representing different homology classes are indeed the same. In particular, many of them are classical intersection numbers of Schubert cycles.


title: Simple Spectrum for Tensor Products of Mixing Map Powers

abstract: We prove the existence of a mixing rank one map $T$ such that the product $T\otimes T^2\otimes T^3\otimes...$ has simple spectrum. This result is used in S.V. Thikhonov's proof of the existence of mixing transformation with homogeneous spectrum of multiplicity $m>2$.


title: Optimized coupling of cold atoms into a fiber using a blue-detuned hollow-beam funnel

abstract: We theoretically investigate the process of coupling cold atoms into the core of a hollow-core photonic-crystal optical fiber using a blue-detuned Laguerre-Gaussian beam. In contrast to the use of a red-detuned Gaussian beam to couple the atoms, the blue-detuned hollow-beam can confine cold atoms to the darkest regions of the beam thereby minimizing shifts in the internal states and making the guide highly robust to heating effects. This single optical beam is used as both a funnel and guide to maximize the number of atoms into the fiber. In the proposed experiment, Rb atoms are loaded into a magneto-optical trap (MOT) above a vertically-oriented optical fiber. We observe a gravito-optical trapping effect for atoms with high orbital momentum around the trap axis, which prevents atoms from coupling to the fiber: these atoms lack the kinetic energy to escape the potential and are thus trapped in the laser funnel indefinitely. We find that by reducing the dipolar force to the point at which the trapping effect just vanishes, it is possible to optimize the coupling of atoms into the fiber. Our simulations predict that by using a low-power (2.5 mW) and far-detuned (300 GHz) Laguerre-Gaussian beam with a 20-{\mu}m radius core hollow-fiber it is possible to couple 11% of the atoms from a MOT 9 mm away from the fiber. When MOT is positioned further away, coupling efficiencies over 50% can be achieved with larger core fibers.


title: The PITA System: Tabling and Answer Subsumption for Reasoning under Uncertainty

abstract: Many real world domains require the representation of a measure of uncertainty. The most common such representation is probability, and the combination of probability with logic programs has given rise to the field of Probabilistic Logic Programming (PLP), leading to languages such as the Independent Choice Logic, Logic Programs with Annotated Disjunctions (LPADs), Problog, PRISM and others. These languages share a similar distribution semantics, and methods have been devised to translate programs between these languages. The complexity of computing the probability of queries to these general PLP programs is very high due to the need to combine the probabilities of explanations that may not be exclusive. As one alternative, the PRISM system reduces the complexity of query answering by restricting the form of programs it can evaluate. As an entirely different alternative, Possibilistic Logic Programs adopt a simpler metric of uncertainty than probability. Each of these approaches -- general PLP, restricted PLP, and Possibilistic Logic Programming -- can be useful in different domains depending on the form of uncertainty to be represented, on the form of programs needed to model problems, and on the scale of the problems to be solved. In this paper, we show how the PITA system, which originally supported the general PLP language of LPADs, can also efficiently support restricted PLP and Possibilistic Logic Programs. PITA relies on tabling with answer subsumption and consists of a transformation along with an API for library functions that interface with answer subsumption.


title: On the Lorentzian route to Relativity

abstract: We discuss pedagogical problems associated with the conventional approach in teaching relativity and the potential value of "Lorentzian route to relativity" for addressing these pedagogical problems. We think that Lorentzian approach may be valuable part of an introduction to relativity but the historical route should be followed up to its end. It must namely include Einstein's application of Occam's razor in reinterpreting Lorentz transformations kinematically and the discussion of the central role of the evolution from Lorentz's "local time" to relativity of simultaneity. We discuss also what Occam's razor is not and why it should not cut "too deeply or too permanently". Some misleading remarks in relativity text books concerning for example Kennedy Thorndike experiment and Trouton-Noble experiment indicate the not uncommon lack of awareness about the degree observational equivalence between prerelativistic (Lorentzian) and relativistic viewpoints as far as special relativistic experiments are considered. Keywords: neo-Lorentzian interpretation relativity simultaneity didactic teaching education Kennedy Thorndike Trouton Noble experiment


title: Uniform moment bounds of multi-dimensional functions of discrete-time stochastic processes

abstract: We establish conditions for uniform $r$-th moment bound of certain $\R^d$-valued functions of a discrete-time stochastic process taking values in a general metric space. The conditions include an appropriate negative drift together with a uniform $L_p$ bound on the jumps of the process for $p > r + 1$. Applications of the result are given in connection to iterated function systems and biochemical reaction networks.


title: Tunable Strongly Correlated Band Insulator

abstract: We introduce the notion of the strongly correlated band insulator (SCI), where the lowest energy excitations are collective modes (excitons) rather than the single particles. We construct controllable 1/N expansion for SCI to describe their observables properties. A remarkable example of the SCI is bilayer graphene which is shown to be tunable between the SCI and usual weak coupling regime.


title: Extended Initiality for Typed Abstract Syntax

abstract: Initial Semantics aims at interpreting the syntax associated to a signature as the initial object of some category of 'models', yielding induction and recursion principles for abstract syntax. Zsid\'o proves an initiality result for simply-typed syntax: given a signature S, the abstract syntax associated to S constitutes the initial object in a category of models of S in monads. However, the iteration principle her theorem provides only accounts for translations between two languages over a fixed set of object types. We generalize Zsid\'o's notion of model such that object types may vary, yielding a larger category, while preserving initiality of the syntax therein. Thus we obtain an extended initiality theorem for typed abstract syntax, in which translations between terms over different types can be specified via the associated category-theoretic iteration operator as an initial morphism. Our definitions ensure that translations specified via initiality are type-safe, i.e. compatible with the typing in the source and target language in the obvious sense. Our main example is given via the propositions-as-types paradigm: we specify propositions and inference rules of classical and intuitionistic propositional logics through their respective typed signatures. Afterwards we use the category--theoretic iteration operator to specify a double negation translation from the former to the latter. A second example is given by the signature of PCF. For this particular case, we formalize the theorem in the proof assistant Coq. Afterwards we specify, via the category-theoretic iteration operator, translations from PCF to the untyped lambda calculus.


title: Fluctuation bounds in the exponential bricklayers process

abstract: This paper is the continuation of our earlier paper, where we proved t^{1/3}-order of current fluctuations across the characteristics in a class of one dimensional interacting systems with one conserved quantity. We also claimed two models with concave hydrodynamic flux which satisfied the assumptions which made our proof work. In the present note we show that the totally asymmetric exponential bricklayers process also satisfies these assumptions. Hence this is the first example with convex hydrodynamics of a model with t^{1/3}-order current fluctuations across the characteristics. As such, it further supports the idea of universality regarding this scaling.


title: Peak Nothing: Recent Trends in Mineral Resource Production

abstract: The production histories of seventeen raw materials are analyzed with the logistic model. Although many of these resources have exhibited logistic behavior in the past, they now show exponential or super-exponential growth. In most cases, the transition has occurred in the last ten to twenty years.


title: The Size of the Largest Part of Random Weighted Partitions of Large Integers

abstract: For a given sequence of weights (non-negative numbers), we consider partitions of the positive integer n. Each n-partition is selected uniformly at random from the set of all such partitions. Under a classical scheme of assumptions on the weight sequence, which are due to Meinardus (1954), we show that the largest part in a random weighted partition, appropriately normalized, converges weakly, as n tends to infinity, to a random variable having the extreme value (Gumbel's) distribution. This limit theorem extends some known results on particular types of integer partitions and on the Bose-Einstein model of ideal gas.


title: Generating Molecular Rovibrational Coherence by Two-Photon Femtosecond Photoassociation of Thermally Hot Atoms

abstract: The formation of diatomic molecules with rotational and vibrational coherence is demonstrated experimentally in free-to-bound two-photon femtosecond photoassociation of hot atoms. In a thermal gas at a temperature of 1000 K, pairs of magnesium atoms, colliding in their electronic ground state, are excited into coherent superpositions of bound rovibrational levels in an electronically excited state. The rovibrational coherence is probed by a time-delayed third photon, resulting in quantum beats in the UV fluorescence. A comprehensive theoretical model based on ab initio calculations rationalizes the generation of coherence by Franck-Condon filtering of collision energies and partial waves, quantifying it in terms of an increase in quantum purity of the thermal ensemble. Our results open the way to coherent control of a binary reaction.


title: Effects of edge chemistry doping on graphene nanoribbon mobility

abstract: Doping of semiconductor is necessary for various device applications. Exploiting chemistry at its reactive edges was shown to be an effective way to dope an atomically thin graphene nanoribbon (GNR) for realizing new devices in recent experiments. The carrier mobility limited by edge doping is studied as a function of the GNR width, doping density, and carrier density by using ab initio density functional and parameterized tight binding simulations combined with the non-equilibrium Green's function formalism for quantum transport. The results indicate that for GNRs wider than about 4nm, the mobility scales approximately linearly with the GNR width, inversely proportional to the edge doping concentration and decreases for an increasing carrier density. For narrower GNRs, dependence of the mobility on the GNR width and carrier density can be qualitatively different.


title: Independent parameters for special instanton bundles on P^{2n+1}

abstract: Motivated by Yang-Mills theory in 4n dimensions, and generalizing the notion due to Atiyah, Drinfeld, Hitchin and Manin for n=1, Okonek, Spindler and Trautmann introduced instanton bundles and special instanton bundles as certain algebraic vector bundles of rank 2n on the complex projective space P^{2n+1}. The moduli space of special instanton bundles is shown to be rational.


title: The effect of photo-generated carriers on the spectral diffusion of a quantum dot coupled to a photonic crystal cavity

abstract: We experimentally observe the effect of photo-generated carriers on the spectral diffusion of a quantum dot (QD) coupled to a photonic crystal (PC) cavity. In this system, spectral diffusion arises in part from charge fluctuations on the etched surfaces of the PC. We find that these fluctuations may be suppressed by photo-generated carriers, leading to a reduction of the measured QD linewidth by a factor of ~2 compared to the case where the photo-generated carriers are not present. This result demonstrates a possible means of countering the effects of spectral diffusion in QD-PC cavity systems and thus may be useful for quantum information applications where narrow QD linewidths are desired.


title: Electrons surfing on a sound wave as a platform for quantum optics with flying electrons

abstract: Electrons in a metal are indistinguishable particles that strongly interact with other electrons and their environment. Isolating and detecting a single flying electron after propagation to perform quantum optics like experiments at the single electron level is therefore a challenging task. Up to date, only few experiments have been performed in a high mobility two-dimensional electron gas where the electron propagates almost ballistically. Flying electrons were detected via the current generated by an ensemble of electrons and electron correlations were encrypted in the current noise. Here we demonstrate the experimental realisation of high efficiency single electron source and single electron detector for a quantum medium where a single electron is propagating isolated from the other electrons through a one-dimensional channel. The moving potential is excited by a surface acoustic wave, which carries the single electron along the 1D-channel at a speed of 3\mum/ns. When such a quantum channel is placed between two quantum dots, a single electron can be transported from one quantum dot to the other, which is several micrometres apart, with a quantum efficiency of emission and detection of 96% and 92%, respectively. Furthermore, the transfer of the electron can be triggered on a timescale shorter than the coherence time T2* of GaAs spin qubits6. Our work opens new avenues to study the teleportation of a single electron spin and the distant interaction between spatially separated qubits in a condensed matter system.


title: NMSSM in gauge-mediated SUSY breaking without domain wall problem

abstract: A problem of the gauge-mediated SUSY breaking model is its difficulty to generate a natural value of mu/Bmu, while the NMSSM is a natural framework to solve the mu/Bmu problem. The NMSSM in gauge-mediated SUSY breaking in its original form does not work well since the singlet field cannot develop a desired vacuum expectation value. It also suffers from the cosmological domain wall problem. We study an extension of the model to include additional vector-like matter, which is charged under the hidden QCD. It is shown that this simple extension solves both the problems. We study phenomenological and cosmological implications of this extended models. The lightest Higgs mass can be as large as 130-140 GeV for some model points.


title: Techniques of computations of Dolbeault cohomology of solvmanifolds

abstract: We consider semi-direct products $\C^{n}\ltimes_{\phi}N$ of Lie groups with lattices $\Gamma$ such that $N$ are nilpotent Lie groups with left-invariant complex structures. We compute the Dolbeault cohomology of direct sums of holomorphic line bundles over $G/\Gamma$ by using the Dolbeaut cohomology of the Lie algebras of the direct product $\C^{n}\times N$. As a corollary of this computation, we can compute the Dolbeault cohomology $H^{p,q}(G/\Gamma)$ of $G/\Gamma$ by using a finite dimensional cochain complexes. Computing some examples, we observe that the Dolbeault cohomology varies for choices of lattices $\Gamma$.


title: Affine SU(N) algebra from wall-crossings

abstract: We study the relation between the instanton counting on ALE spaces and the BPS state counting on a toric Calabi-Yau three-fold. We put a single D4-brane on a divisor isomorphic to A_{N-1}-ALE space in the Calabi-Yau three-fold, and evaluate the discrete changes of BPS partition function of D4-D2-D0 states in the wall-crossing phenomena. In particular, we find that the character of affine SU(N) algebra naturally arises in wall-crossings of D4-D2-D0 states. Our analysis is completely based on the wall-crossing formula for the d=4, N=2 supersymmetric theory obtained by dimensionally reducing the Calabi-Yau three-fold.


title: Diffeomorphic Metric Mapping of High Angular Resolution Diffusion Imaging based on Riemannian Structure of Orientation Distribution Functions

abstract: In this paper, we propose a novel large deformation diffeomorphic registration algorithm to align high angular resolution diffusion images (HARDI) characterized by orientation distribution functions (ODFs). Our proposed algorithm seeks an optimal diffeomorphism of large deformation between two ODF fields in a spatial volume domain and at the same time, locally reorients an ODF in a manner such that it remains consistent with the surrounding anatomical structure. To this end, we first review the Riemannian manifold of ODFs. We then define the reorientation of an ODF when an affine transformation is applied and subsequently, define the diffeomorphic group action to be applied on the ODF based on this reorientation. We incorporate the Riemannian metric of ODFs for quantifying the similarity of two HARDI images into a variational problem defined under the large deformation diffeomorphic metric mapping (LDDMM) framework. We finally derive the gradient of the cost function in both Riemannian spaces of diffeomorphisms and the ODFs, and present its numerical implementation. Both synthetic and real brain HARDI data are used to illustrate the performance of our registration algorithm.


title: On the derived category of a graded commutative noetherian ring

abstract: For any graded commutative noetherian ring, where the grading group is abelian and where commutativity is allowed to hold in a quite general sense, we establish an inclusion-preserving bijection between, on the one hand, the twist-closed localizing subcategories of the derived category, and, on the other hand, subsets of the homogeneous spectrum of prime ideals of the ring. We provide an application to weighted projective schemes.


title: Localising subcategories for cochains on the classifying space of a finite group

abstract: The localising subcategories of the derived category of the cochains on the classifying space of a finite group are classified. They are in one to one correspondence with the subsets of the set of homogeneous prime ideals of the cohomology ring $H^*(G,k)$.


title: Search for sterile neutrinos at reactors

abstract: The sensitivity to the sterile neutrino mixing at very short baseline reactor neutrino experiments is investigated. In the case of conventional (thermal neutron) reactors it is found that the sensitivity is lost for $\Delta m^2 \gtrsim$ 1 eV$^2$ due to smearing of the reactor core size. On the other hand, in the case of an experimental fast neutron reactor Joyo, because of its small size, sensitivity to $\sin^22\theta_{14}$ can be as good as 0.03 for $\Delta m^2 \sim$ several eV$^2$ with the Bugey-like detector setup.


title: Higgs inflation in minimal supersymmetric SU(5) GUT

abstract: The Standard Model Higgs boson with large nonminimal coupling to the gravitational curvature can drive cosmological inflation. We study this type of inflationary scenario in the context of supersymmetric grand unification and point out that it is naturally implemented in the {\em minimal} supersymmetric SU(5) model, and hence virtually in any GUT models. It is shown that with an appropriate K\"{a}hler potential the inflaton trajectory settles down to the Standard Model vacuum at the end of the slow roll. The predicted cosmological parameters are also consistent with the 7-year WMAP data.


title: Melt homogenization and self-organization of chalcogenides glasses: evidence of sharp rigidity, stress and nanoscale phase separation transitions in the GexSe100-x binary

abstract: A Raman profiling method is used to monitor growth of GexSe100-x melts and reveals a two step process of homogenization. Resulting homogeneous glasses show the non-reversing enthalpy at Tg, {\Delta}Hnr(x), to show a square-well like variation with x, with a rigidity transition near xc(1) = 19.5(5)% and stress transition near xc(2) = 26.0(5)%) representing the boundaries of the rigid but stress-free Intermediate Phase (IP). The square-well like variation of {\Delta}Hnr(x) develops sloping walls, a triangular shape and eventually disappears in glasses having an increasing heterogeneity. The {\Delta}Hnr term ages over weeks outside the IP but not inside the IP. An optical analogue of the reversibility window is observed with Raman spectra of as-quenched melts and Tg cycled glasses being the same for glass compositions in the IP but different for compositions outside the IP. Variations of Molar volumes, display three regimes of behavior with a global minimum in the IP and a pronounced increase outside that phase. The intrinsic physical behavior of dry and homogeneous chalcogenides glasses can vary sharply with composition near elastic and chemical phase transitions, showing that the physics of network glasses requires homogeneous samples, and may be far more interesting than hitherto recognized.


title: Doping of epitaxial graphene on SiC intercalated with hydrogen and its magneto-oscillations

abstract: We study the charge transfer between a quasi-free-standing monolayer graphene, produced by hydrogen intercalation, and surface acceptor states. We consider two models of acceptor density of states to explain the high hole densities observed in graphene and find the density responsivity to the gate voltage. By studying magneto-oscillations of the carrier density we provide an experimental way to determine the relevant model.


title: Naturalness of electroweak physics within minimal supergravity

abstract: Low energy supersymmetry is motivated by its use as a solution to the hierarchy problem of the electroweak scale. Having motivated this model with naturalness arguments, it is then necessary to check whether the experimentally allowed parameter space permits realisations of the model with low fine tuning. The scope of this thesis is a study of naturalness of the electroweak physics in the minimal supergravity model. The latest experimental constraints are applied, and the fine tuning is quantitatively evaluated for a scan across the parameter space. The fine tuning of the electroweak scale is evaluated at 2-loop order, and the fine tuning of the neutralino dark matter thermal relic energy density is also determined. The natural regions of the parameter space are identified and the associated phenomenology relevant for detection discussed. Naturalness limits are also found for the parameter space and spectrum. The minimum fine tuning found is 1 part in 9 when dark matter constraints are neglected, and 1 part in 15 when dark matter constraints are satisfied. For both cases, the minimum fine tuning is found for a Higgs mass of 115 GeV irrespective of whether the Higgs mass constraint is applied or not. The most natural spectrum includes light superpartner fermions, and heavy superpartner scalars. Minimal supergravity currently remains viable with respect to naturalness and a natural realisation may be discovered within the next couple of years.


title: Search for Resonances in the Dijet Mass Spectrum from 7 TeV pp Collisions at CMS

abstract: A search for narrow resonances with a mass of at least 1 TeV in the dijet mass spectrum is performed using pp collisions at sqrt(s)=7 TeV corresponding to an integrated luminosity of 1 inverse femtobarn, collected by the CMS experiment at the LHC. No resonances are observed. Upper limits at the 95% confidence level are presented on the product of the resonance cross section, branching fraction into dijets, and acceptance, separately for decays into quark-quark, quark-gluon, and gluon-gluon pairs. The data exclude new particles predicted in the following models at the 95% confidence level: string resonances with mass less than 4.00 TeV, E6 diquarks with mass less than 3.52 TeV, excited quarks with mass less than 2.49 TeV, axigluons and colorons with mass less than 2.47 TeV, and W' bosons with mass less than 1.51 TeV.


title: Can 21-cm observations discriminate between high-mass and low-mass galaxies as reionization sources?

abstract: The prospect of detecting the first galaxies by observing their impact on the intergalactic medium as they reionized it during the first billion years leads us to ask whether such indirect observations are capable of diagnosing which types of galaxies were most responsible for reionization. We attempt to answer this by considering a set of large-scale radiative transfer simulations of reionization in sufficiently large volumes to make statistically meaningful predictions of observable signatures, while also directly resolving all atomically-cooling halos down to 10^8 M_solar. We focus here on predictions of the 21-cm background, to see if upcoming observations are capable of distinguishing a universe ionized primarily by high-mass halos from one in which both high-mass and low-mass halos are responsible, and to see how these results depend upon the uncertain source efficiencies. We find that 21-cm fluctuation power spectra observed by the first generation EoR/21-cm radio interferometer arrays should be able to distinguish the case of reionization by high-mass halos alone from that by both high- and low-mass halos, together. Some reionization scenarios yield very similar power spectra and rms evolution and thus can only be discriminated by their different mean reionization history and 21-cm PDF distributions. We find that the skewness of the 21-cm PDF distribution smoothed over LOFAR-like window shows a clear feature correlated with the rise of the rms due to patchiness. Measurements of the mean photoionization rates are sensitive to the average density of the regions being studied and therefore could be strongly skewed in certain cases. (abridged)


title: Traveling kinks in cubic nonlinear Ginzburg-Landau equations

abstract: Nonlinear cubic Euler-Lagrange equations of motion in the traveling variable are usually derived from Ginzburg-Landau free energy functionals frequently encountered in several fields of physics. Many authors considered in the past damped versions of such equations with the damping term added by hand simulating the friction due to the environment. It is known that even in this damped case kink solutions can exist. By means of a factorization method, we provide analytic formulas for several possible kink solutions of such equations of motion in the undriven and constant field driven cases, including the recently introduced Riccati parameter kinks which were not considered previously in such a context. The latter parameter controls the delay of the switching stage of the kinks


title: Benchmarking a Teleportation Protocol realized in Superconducting Circuits

abstract: Teleportation of a quantum state may be used for distributing entanglement between distant qubits in quantum communication and for quantum computation. Here we demonstrate the implementation of a teleportation protocol, up to the single-shot measurement step, with superconducting qubits coupled to a microwave resonator. Using full quantum state tomography and evaluating an entanglement witness, we show that the protocol generates a genuine tripartite entangled state of all three-qubits. Calculating the projection of the measured density matrix onto the basis states of two qubits allows us to reconstruct the teleported state. Repeating this procedure for a complete set of input states we find an average output state fidelity of 88%.


title: Distance Functions, Critical Points, and the Topology of Random \v{C}ech Complexes

abstract: For a finite set of points $P$ in $R^d$, the function $d_P: R^d \to R^+$ measures Euclidean distance to the set $P$. We study the number of critical points of $d_P$ when $P$ is a Poisson process. In particular, we study the limit behavior of $N_k$ - the number of critical points of $d_P$ with Morse index $k$ - as the density of points grows. We present explicit computations for the normalized, limiting, expectations and variances of the $N_k$, as well as distributional limit theorems. We link these results to recent results in which the Betti numbers of the random \v{C}ech complex based on $P$ were studied.


title: Set-Theoretic Geology

abstract: A ground of the universe V is a transitive proper class W subset V, such that W is a model of ZFC and V is obtained by set forcing over W, so that V = W[G] for some W-generic filter G subset P in W . The model V satisfies the ground axiom GA if there are no such W properly contained in V . The model W is a bedrock of V if W is a ground of V and satisfies the ground axiom. The mantle of V is the intersection of all grounds of V . The generic mantle of V is the intersection of all grounds of all set-forcing extensions of V . The generic HOD, written gHOD, is the intersection of all HODs of all set-forcing extensions. The generic HOD is always a model of ZFC, and the generic mantle is always a model of ZF. Every model of ZFC is the mantle and generic mantle of another model of ZFC. We prove this theorem while also controlling the HOD of the final model, as well as the generic HOD. Iteratively taking the mantle penetrates down through the inner mantles to what we call the outer core, what remains when all outer layers of forcing have been stripped away. Many fundamental questions remain open.


title: Self-assisted Amoeboid Navigation in Complex Environments

abstract: Background: Living cells of many types need to move in response to external stimuli in order to accomplish their functional tasks; these tasks range from wound healing to immune response to fertilization. While the directional motion is typically dictated by an external signal, the actual motility is also restricted by physical constraints, such as the presence of other cells and the extracellular matrix. The ability to successfully navigate in the presence of obstacles is not only essential for organisms, but might prove relevant in the study of autonomous robotic motion. Methodology/principal findings: We study a computational model of amoeboid chemotactic navigation under differing conditions, from motion in an obstacle-free environment to navigation between obstacles and finally to moving in a maze. We use the maze as a simple stand-in for a motion task with severe constraints, as might be expected in dense extracellular matrix. Whereas agents using simple chemotaxis can successfully navigate around small obstacles, the presence of large barriers can often lead to agent trapping. We further show that employing a simple memory mechanism, namely secretion of a repulsive chemical by the agent, helps the agent escape from such trapping. Conclusions/significance: Our main conclusion is that cells employing simple chemotactic strategies will often be unable to navigate through maze-like geometries, but a simple chemical marker mechanism (which we refer to as "self-assistance") significantly improves success rates. This realization provides important insights into mechanisms that might be employed by real cells migrating in complex environments as well as clues for the design of robotic navigation strategies. The results can be extended to more complicated multi-cellular systems and can be used in the study of mammalian cell migration and cancer metastasis.


title: Constructing new higher-gap morasses

abstract: In a previous paper I proposed a notion of $(\omega_1,\beta)$-morasses for $\omega_1 \leq \beta$. In the present paper such morasses are constructed in an inner model which satisfies amenability, coherence and condensation.


title: Zigzag graphene nanoribbon edge reconstruction with Stone-Wales defects

abstract: In this article, we study zigzag graphene nanoribbons with edges reconstructed with Stone-Wales defects, by means of an empirical (first-neighbor) tight-binding method, with parameters determined by ab-initio calculations of very narrow ribbons. We explore the characteristics of the electronic band structure with a focus on the nature of edge states. Edge reconstruction allows the appearance of a new type of edge states. They are dispersive, with non-zero amplitudes in both sub-lattices; furthermore, the amplitudes have two components that decrease with different decay lengths with the distance from the edge; at the Dirac points one of these lengths diverges, whereas the other remains finite, of the order of the lattice parameter. We trace this curious effect to the doubling of the unit cell along the edge, brought about by the edge reconstruction. In the presence of a magnetic field, the zero-energy Landau level is no longer degenerate with edge states as in the case of pristine zigzag ribbon.


title: Is reduced-density-matrix functional theory a suitable vehicle to import explicit correlations into density-functional calculations?

abstract: A variational formulation for the calculation of interacting fermion systems based on the density-matrix functional theory is presented. Our formalism provides for a natural integration of explicit many-particle effects into standard density-functional-theory based calculations and it avoids ambiguities of double-counting terms inherent to other approaches. Like the dynamical mean-field theory, we employ a local approximation for explicit correlations. Aiming at the ground state only, trade some of the complexity of Green's function based many-particle methods against efficiency. Using short Hubbard chains as test systems we demonstrate that the method captures ground state properties, such as left-right-correlation, beyond those accessible by mean-field theories.


title: Proposing new higher-gap morasses

abstract: I propose a notion of $(\omega_1,\beta)$-morass for the case $\omega_1 \leq \beta$.


title: Uniqueness of the compactly supported weak solutions of the relativistic Vlasov-Darwin system

abstract: We use optimal transportation techniques to show uniqueness of the compactly supported weak solutions of the relativistic Vlasov-Darwin system. Our proof extends the method used by Loeper in J. Math. Pures Appl. 86, 68-79 (2006) to obtain uniqueness results for the Vlasov-Poisson system.


title: Optically induced rotation of a quantum dot exciton spin

abstract: We demonstrate control over the spin state of a semiconductor quantum dot exciton using a polarized picosecond laser pulse slightly detuned from a biexciton resonance. The control pulse follows an earlier pulse, which generates an exciton and initializes its spin state as a coherent superposition of its two non-degenerate eigenstates. The control pulse preferentially couples one component of the exciton state to the biexciton state, thereby rotating the exciton's spin direction. We detect the rotation by measuring the polarization of the exciton spectral line as a function of the time-difference between the two pulses. We show experimentally and theoretically how the angle of rotation depends on the detuning of the second pulse from the biexciton resonance.


title: AGT conjecture and AFLT states: a complete construction

abstract: A complete construction of the AFLT states is proposed. With this construction and for all the cases we have checked, the AGT conjecture on the equivalence of Nekrasov Instanton Counting (NIC) to the $Vir\oplus u(1)$ conformal block has been verified to be true.


title: A Novel Cyber-Insurance for Internet Security

abstract: Internet users such as individuals and organizations are subject to different types of epidemic risks such as worms, viruses, and botnets. To reduce the probability of risk, an Internet user generally invests in self-defense mechanisms like antivirus and antispam software. However, such software does not completely eliminate risk. Recent works have considered the problem of residual risk elimination by proposing the idea of cyber-insurance. In reality, an Internet user faces risks due to security attacks as well as risks due to non-security related failures (e.g., reliability faults in the form of hardware crash, buffer overflow, etc.) . These risk types are often indistinguishable by a naive user. However, a cyber-insurance agency would most likely insure risks only due to security attacks. In this case, it becomes a challenge for an Internet user to choose the right type of cyber-insurance contract as standard optimal contracts, i.e., contracts under security attacks only, might prove to be sub-optimal for himself. In this paper, we address the problem of analyzing cyber-insurance solutions when a user faces risks due to both, security as well as non-security related failures. We propose \emph{Aegis}, a novel cyber-insurance model in which the user accepts a fraction \emph{(strictly positive)} of loss recovery on himself and transfers rest of the loss recovery on the cyber-insurance agency. We mathematically show that given an option, Internet users would prefer Aegis contracts to traditional cyber-insurance contracts, under all premium types. This result firmly establishes the non-existence of traditional cyber-insurance markets when Aegis contracts are offered to users.


title: Towards Bridging IoT and Cloud Services: Proposing Smartphones as Mobile and Autonomic Service Gateways

abstract: Computing is currently getting at the same time incredibly in the small with sensors/actuators embedded in our every- day objects and also greatly in the large with data and ser- vice clouds accessible anytime, anywhere. This Internet of Things is physically closed to the user but suffers from weak run-time execution environments. Cloud Environments provide powerful data storage and computing power but can not be easily accessed and integrate the final-user context- awareness. We consider smartphones are set to become the universal interface between these two worlds. In this position paper, we propose a middleware approach where smartphones provide service gateways to bridge the gap between IoT services and Cloud services. Since smartphones are mobile gateways, they should be able to (re)configure themself according to their place, things discovered around, and their own resources such battery. Several issues are discussed: collaborative event-based context management, adaptive and opportunistic service deployment and invocation, multi-criteria (user- and performance-oriented) optimization decision algorithm.