title: Simplification Methods for Sum-of-Squares Programs

abstract: A sum-of-squares is a polynomial that can be expressed as a sum of squares of other polynomials. Determining if a sum-of-squares decomposition exists for a given polynomial is equivalent to a linear matrix inequality feasibility problem. The computation required to solve the feasibility problem depends on the number of monomials used in the decomposition. The Newton polytope is a method to prune unnecessary monomials from the decomposition. This method requires the construction of a convex hull and this can be time consuming for polynomials with many terms. This paper presents a new algorithm for removing monomials based on a simple property of positive semidefinite matrices. It returns a set of monomials that is never larger than the set returned by the Newton polytope method and, for some polynomials, is a strictly smaller set. Moreover, the algorithm takes significantly less computation than the convex hull construction. This algorithm is then extended to a more general simplification method for sum-of-squares programming.


title: A J-band detection of the sub-stellar mass donor in SDSS J1433+1011

abstract: We present time-resolved J-band spectroscopy of the short period cataclysmic variable SDSS J143317.78+101123.3. We detect absorption lines from the sub-stellar donor star in this system, which contributes 38 +/- 5% to the J-band light. From the relative strengths of the absorption lines in the J-band, we estimate the spectral type of the donor star to be L2 +/- 1. These data are the first spectroscopic detection of a confirmed sub-stellar donor in a cataclysmic variable, and the spectral type is consistent with that expected from semi-empirical evolutionary models. Using skew mapping, we have been able to derive an estimate for the radial velocity of the donor of Kd = 520 +/- 60 km/s. This value is consistent with, though much less precise than, predictions from mass determinations found via photometric fitting of the eclipse light curves.


title: On Inversion in Z_{2^n-1}

abstract: In this paper we determined explicitly the multiplicative inverses of the Dobbertin and Welch APN exponents in Z_{2^n-1}, and we described the binary weights of the inverses of the Gold and Kasami exponents. We studied the function \de(n), which for a fixed positive integer d maps integers n\geq 1 to the least positive residue of the inverse of d modulo 2^n-1, if it exists. In particular, we showed that the function \de is completely determined by its values for 1 \leq n \leq \ordb, where \ordb is the order of 2 modulo the largest odd divisor of d.


title: The two-component Camassa-Holm system in weighted $L_p$ spaces

abstract: We present some new persistence results for the non-periodic two-component Camassa-Holm (2CH) system in weighted $L_p$ spaces. Working with moderate weight functions that are commonly used in time-frequency analysis, the paper generalizes some recent persistence results for the Camassa-Holm equation [L. Brandolese, Int. Math. Res. Notices 22 (2012) 5161-81] to its supersymmetric extension. As an application we discuss the spatial asymptotic profile of solutions to 2CH.


title: Spectral Theory for Networks with Attractive and Repulsive Interactions

abstract: There is a wealth of applied problems that can be posed as a dynamical system defined on a network with both attractive and repulsive interactions. Some examples include: understanding synchronization properties of nonlinear oscillator;, the behavior of groups, or cliques, in social networks; the study of optimal convergence for consensus algorithm; and many other examples. Frequently the problems involve computing the index of a matrix, i.e. the number of positive and negative eigenvalues, and the dimension of the kernel. In this paper we consider one of the most common examples, where the matrix takes the form of a signed graph Laplacian. We show that the there are topological constraints on the index of the Laplacian matrix related to the dimension of a certain homology group. In certain situations, when the homology group is trivial, the index of the operator is rigid and is determined only by the topology of the network and is independent of the strengths of the interactions. In general these constraints give upper and lower bounds on the number of positive and negative eigenvalues, with the dimension of the homology group counting the number of eigenvalue crossings. The homology group also gives a natural decomposition of the dynamics into "fixed" degrees of freedom, whose index does not depend on the edge-weights, and an orthogonal set of "free" degrees of freedom, whose index changes as the edge weights change. We also present some numerical studies of this problem for large random matrices.


title: Directional flow of solitons with asymmetric potential wells: Soliton diode

abstract: We study the flow of bright solitons through two asymmetric potential wells. The scattering of a soliton by certain type of single potential wells, e.g., Gaussian or Rosen-Morse, is distinguished by a critical velocity above which solitons can transmit almost completely and below which solitons can reflect nearly perfectly. For two such wells in series with certain parameter combinations, we find that there is an appreciable velocity range for which solitons can propagate in one direction only. Our study shows that this directional propagation or diode behavior is due to a combined effect of the sharp transition in the transport coefficients at the critical velocity and a slight reduction in the center-of-mass speed of the soliton while it travels across a potential well.


title: Asymptotic expansion of polyanalytic Bergman kernels

abstract: We consider mainly the Hilbert space of bianalytic functions on a given domain in the plane, square integrable with respect to a weight. We show how to obtain the asymptotic expansion of the corresponding bianalytic Bergman kernel for power weights, under the standard condition on those weights. This is known only in the analytic setting, from the work of e.g. Tian, Yau, Zelditch, Catlin, et al. We remark that a bianalytic function may be identified with a vector-valued analytic function, supplied with a locally singular metric on the vectors. We also apply our findings to two bianalytic Bergman metrics introduced here.


title: Testing Times for Supersymmetry: Looking Under the Lamp Post

abstract: We make a critical study of two highly-constrained models of supersymmetry --- the constrained minimal supersymmetric standard model (cMSSM), and the non-universal Higgs mass model (NUHM) --- in the light of the 125-126 GeV Higgs boson, the first observation of $B_s \to \mu\mu$ at the LHCb, and the updated $B \to \tau \nu$ branching ratio at BELLE. It turns out that these models are still allowed by the experimental data, even if we demand that there be a light stop with mass less than 1.5 TeV. The only significant effects of all these constraints are to push the mass of the light stop above $\sim 500$ GeV, and to prefer the universal trilinear coupling $A_0$ to be large and negative. We calculate the Higgs boson branching ratios to $WW, ZZ, \tau\tau$ and $\gamma\gamma$ in these models and show that improved experimental limits on these could put them to the most stringent experimental tests yet.


title: EasyTime++: A case study of incremental domain-specific language development

abstract: EasyTime is a domain-specific language (DSL) for measuring time during sports competitions. A distinguishing feature of DSLs is that they are much more amenable to change, and EasyTime is no exception in this regard. This paper introduces two new EasyTime features: classifications of competitors into categories, and the inclusion of competitions where the number of laps must be dynamically determined. It shows how such extensions can be incrementally added into the base-language reusing most of the language specifications. Two case studies are presented showing the suitability of this approach.


title: The open string McKay correspondence for type A singularities

abstract: We formulate a Crepant Resolution Correspondence for open Gromov-Witten invariants (OCRC) of toric Calabi-Yau orbifolds by viewing the open theories as sections of Givental's symplectic vector space and the correspondence as a linear map of Givental spaces which identifies them. We deduce a Bryan-Graber-type statement for disk invariants and extend it to arbitrary genus zero topologies in the Hard Lefschetz case. Upon leveraging Iritani's theory of integral structures to equivariant quantum cohomology, we conjecture a general form of the symplectomorphism entering the OCRC which arises from a geometric correspondence at the equivariant K-theory level. We give a complete proof of this in the case of minimal resolutions of threefold A_n singularities. Our methods rely on a new description of the equivariant quantum D-modules underlying the Gromov-Witten theory of this class of targets.


title: Affine Connection Induced from The Horizontal lift on a Cross-section

abstract: The main purpose of present paper is to study the affine connection induced from the horizontal lift on the cross-section determined by a vector field in Mn with respect to the adapte frame of .


title: Energy Aware Task Scheduling for Soft Real Time Systems using an Analytical Approach for Energy Estimation

abstract: Embedded systems have pervaded all walks of our life. With the increasing importance of mobile embedded systems and flexible applications, considerable progress in research has been made for power management. Power constraints are increasingly becoming the critical component of the design specifications of these systems. It helps in pre-determining the suitable hardware architecture for the target application. The aim of this paper is to present a technique to estimate 'pre-run time' and 'power' of a software mapped onto a hardware system; guaranteeing the compliance of temporal constraints while generating a schedule of tasks of software. Real time systems must handle several independent macro-tasks, each represented by a task graph, which includes communications and precedence constraints. We propose a novel approach for power estimation of embedded software using the Control Data Flow Graph (CDFG) or task graph model. This methodology uses an existing Hierarchical Concurrent Flow Graph (HCFG) technique for the power analysis of the CDFGs. We have evaluated our technique for energy efficient scheduling over various task graph benchmarks. The results obtained prove the utility and efficacy of our proposed approach for power analysis of embedded software. We also present a methodology to obtain an energy optimal voltage assignment and perform scheduling by taking advantage of the relaxation in execution time of tasks.


title: Approximation Algorithms for Stochastic Boolean Function Evaluation and Stochastic Submodular Set Cover

abstract: Stochastic Boolean Function Evaluation is the problem of determining the value of a given Boolean function f on an unknown input x, when each bit of x_i of x can only be determined by paying an associated cost c_i. The assumption is that x is drawn from a given product distribution, and the goal is to minimize the expected cost. This problem has been studied in Operations Research, where it is known as "sequential testing" of Boolean functions. It has also been studied in learning theory in the context of learning with attribute costs. We consider the general problem of developing approximation algorithms for Stochastic Boolean Function Evaluation. We give a 3-approximation algorithm for evaluating Boolean linear threshold formulas. We also present an approximation algorithm for evaluating CDNF formulas (and decision trees) achieving a factor of O(log kd), where k is the number of terms in the DNF formula, and d is the number of clauses in the CNF formula. In addition, we present approximation algorithms for simultaneous evaluation of linear threshold functions, and for ranking of linear functions. Our function evaluation algorithms are based on reductions to the Stochastic Submodular Set Cover (SSSC) problem. This problem was introduced by Golovin and Krause. They presented an approximation algorithm for the problem, called Adaptive Greedy. Our main technical contribution is a new approximation algorithm for the SSSC problem, which we call Adaptive Dual Greedy. It is an extension of the Dual Greedy algorithm for Submodular Set Cover due to Fujito, which is a generalization of Hochbaum's algorithm for the classical Set Cover Problem. We also give a new bound on the approximation achieved by the Adaptive Greedy algorithm of Golovin and Krause.


title: Estimating a sharp convergence bound for randomized ensembles

abstract: When randomized ensembles such as bagging or random forests are used for binary classification, the prediction error of the ensemble tends to decrease and stabilize as the number of classifiers increases. However, the precise relationship between prediction error and ensemble size is unknown in practice. In the standard case when classifiers are aggregated by majority vote, the present work offers a way to quantify this convergence in terms of "algorithmic variance," i.e. the variance of prediction error due only to the randomized training algorithm. Specifically, we study a theoretical upper bound on this variance, and show that it is sharp --- in the sense that it is attained by a specific family of randomized classifiers. Next, we address the problem of estimating the unknown value of the bound, which leads to a unique twist on the classical problem of non-parametric density estimation. In particular, we develop an estimator for the bound and show that its MSE matches optimal non-parametric rates under certain conditions. (Concurrent with this work, some closely related results have also been considered in Cannings and Samworth (2017) and Lopes (2019).)


title: Computing Minimum Cycle Bases in Weighted Partial 2-Trees in Linear Time

abstract: We present a linear time algorithm for computing an implicit linear space representation of a minimum cycle basis (MCB) in weighted partial 2-trees, i.e., graphs of treewidth two. The implicit representation can be made explicit in a running time that is proportional to the size of the MCB. Our algorithm improves the result of Borradaile, Sankowski, and Wulff-Nilsen [Min $st$-cut Oracle for Planar Graphs with Near-Linear Preprocessing Time, FOCS 2010]---which computes for all planar graphs an implicit $O(n \log n)$ space representation of an MCB in $O(n \log^5 n)$ time---by a polylog factor for the special case of partial 2-trees. Such an improvement was achieved previously only for outerplanar graphs [Liu and Lu: Minimum Cycle Bases of Weighted Outerplanar Graphs, IPL 110:970--974, 2010].


title: Groebner bases over fields with valuations

abstract: Let K be a field with a valuation and let S be the polynomial ring S:= K[x_1,..., x_n]. We discuss the extension of Groebner theory to ideals in S, taking the valuations of coefficients into account, and describe the Buchberger algorithm in this context. In addition we discuss some implementation and complexity issues. The main motivation comes from tropical geometry, as tropical varieties can be defined using these Groebner bases, but we also give examples showing that the resulting Groebner bases can be substantially smaller than traditional Groebner bases. In the case K = Q with the p-adic valuation the algorithms have been implemented in a Macaulay 2 package.


title: Diagonalizing by Fixed-Points

abstract: A universal schema for diagonalization was popularized by N. S. Yanofsky (2003) in which the existence of a (diagonolized-out and contradictory) object implies the existence of a fixed-point for a certain function. It was shown that many self-referential paradoxes and diagonally proved theorems can fit in that schema. Here, we fit more theorems in the universal schema of diagonalization, such as Euclid's theorem on the infinitude of the primes and new proofs of Boolos (1997) for Cantor's theorem on the non-equinumerosity of a set with its powerset. Then, in Linear Temporal Logic, we show the non-existence of a fixed-point in this logic whose proof resembles the argument of Yablo's paradox. Thus, Yablo's paradox turns for the first time into a genuine mathematico-logical theorem in the framework of Linear Temporal Logic. Again the diagonal schema of the paper is used in this proof, and also it is shown that G. Priest's inclosure schema (1997) can fit in our universal diagonal/fixed-point schema. We also show the existence of dominating (Ackermann-like) functions (which dominate a given countable set of functions---like primitive recursives) using the schema.


title: PICARD SODISM, a space telescope to study the Sun from the middle ultraviolet to the near infrared

abstract: The Solar Diameter Imager and Surface Mapper (SODISM) on board the PICARD space mission provides wide-field images of the photosphere and chromosphere of the Sun in five narrow pass bands (centered at 215.0, 393.37, 535.7, 607.1, and 782.2 nm). PICARD is a space mission, which was successfully launched on 15 June 2010 into a Sun synchronous dawn-dusk orbit. It represents a European asset aiming at collecting solar observations that can serve to estimate some of the inputs to Earth climate models. The scientific payload consists of the SODISM imager and of two radiometers, SOVAP (SOlar VAriability PICARD) and PREMOS (PREcision MOnitor Sensor), which carry out measurements that allow estimating the Total Solar Irradiance (TSI) and the Solar Spectral Irradiance (SSI) from the middle ultraviolet to the red. The SODISM telescope monitors solar activity continuously. It thus produces images that can also feed SSI reconstruction models. Further, the objectives of SODISM encompass the probing of the interior of the Sun via helioseismic analysis of observations in intensity (on the solar disc and at the limb), and via astrometric investigations at the limb. The latter addresses especially the spectral dependence of the radial limb shape, and the temporal evolution of the solar diameter and asphericity. After a brief review of its original science objectives, this paper presents the detailed design of the SODISM instrument, its expected performance, and the scheme of its flight operations. Some observations with SODISM are presented and discussed.


title: Mansuripur's Paradox

abstract: A recent article claims that the Lorentz force law is incompatible with special relativity. We discuss the "paradox" on which this claim is based. The resolution depends on whether one assumes a "Gilbert" model for the magnetic dipole (separated monopoles) or the standard "Ampere" model (current loop). The former was presented in these pages many years ago; the latter requires the inclusion of "hidden momentum."


title: Cavity Optomechanics

abstract: We review the field of cavity optomechanics, which explores the interaction between electromagnetic radiation and nano- or micromechanical motion. This review covers the basics of optical cavities and mechanical resonators, their mutual optomechanical interaction mediated by the radiation pressure force, the large variety of experimental systems which exhibit this interaction, optical measurements of mechanical motion, dynamical backaction amplification and cooling, nonlinear dynamics, multimode optomechanics, and proposals for future cavity quantum optomechanics experiments. In addition, we describe the perspectives for fundamental quantum physics and for possible applications of optomechanical devices.


title: Monomer distributions and intra-chain collisions of a polymer confined to a channel

abstract: We study the conformations of a self-avoiding polymer confined to a channel by computing the cross-sectional distributions of the positions of its monomers. By means of Monte-Carlo simulations for a self-avoiding, freely-jointed chain we determine how the cross-sectional distribution for a given monomer depends on its location in the polymer, and how strongly this distribution is affected by self avoidance. To this end we analyze how the frequency of intra-chain collisions between monomers depends on their spatial position in the channel and on their location within the polymer. We show that most collisions occur between closely neighboring monomers. As a consequence the collision probability depends only weakly on the spatial position of the monomers. Our results explain why the effect of self-avoidance on the monomer distributions is weaker than predicted by mean-field theory. We discuss the relevance of our results for studies of DNA conformations in nanofluidic channels.


title: On the Behavior of Minimal Free Resolutions of Trivariate Generic Monomial Ideals

abstract: We will explore some properties of minimal graded free resolutions of $R/I$, where $R$ is a trivariate polynomial ring over a field and $I$ is a monomial ideal. Our focus will be to consider a specific form of the resolutions when $I$ is primary to the homogeneous maximal ideal. We will identify certain characteristics of the last matrix of these resolutions, and observe differences in the resolutions for generic ideals in comparison to non-generic ideals. Finally, we learn how to identify whether $I$ is generic by knowing the structure of the last matrix in the minimal free resolution of $R/I$.


title: The Death Spiral of T Pyxidis

abstract: We report a long campaign to track the 1.8 hr photometric wave in the recurrent nova T Pyxidis, using the global telescope network of the Center for Backyard Astrophysics. During 1996-2011, that wave was highly stable in amplitude and waveform, resembling the orbital wave commonly seen in supersoft binaries. The period, however, was found to increase on a timescale P/P-dot=3x10^5 yr. This suggests a mass transfer rate of ~10^-7 M_sol/yr in quiescence. The orbital signal became vanishingly weak (<0.003 mag) near maximum light of the 2011 eruption. After it returned to visibility near V=11, the orbital period had increased by 0.0054(6) %. This is a measure of the mass ejected in the nova outburst. For a plausible choice of binary parameters, that mass is at least 3x10^-5 M_sol, and probably more. This represents >300 yr of accretion at the pre-outburst rate, but the time between outbursts was only 45 yr. Thus the erupting white dwarf seems to have ejected at least 6x more mass than it accreted. If this eruption is typical, the white dwarf must be eroding, rather than growing, in mass -- dashing the star's hopes of ever becoming famous via a supernova explosion. Instead, it seems likely that the binary dynamics are basically a suicide pact between the eroding white dwarf and the low-mass secondary, excited and rapidly whittled down, probably by the white dwarf's EUV radiation.


title: Centrality dependence of $\rm \mathbf \pi$, K, p production in Pb-Pb collisions at $\sqrt{s_{\rm NN}}$ = 2.76 TeV

abstract: In this paper measurements are presented of $\rm \pi$$^+$, $\rm \pi$$^-$, K$^+$, K$^-$, p and $\overline{\rm p}$ production at mid-rapidity < 0.5, in Pb-Pb collisions at $\sqrt{s_{\rm NN}} = 2.76$ TeV as a function of centrality. The measurement covers the transverse momentum ($p_{\rm T}$) range from 100, 200, 300 MeV/$c$ up to 3, 3, 4.6 GeV/$c$, for $\rm\pi$, K, and p respectively. The measured $p_{\rm T}$ distributions and yields are compared to expectations based on hydrodynamic, thermal and recombination models. The spectral shapes of central collisions show a stronger radial flow than measured at lower energies, which can be described in hydrodynamic models. In peripheral collisions, the $p_{\rm T}$ distributions are not well reproduced by hydrodynamic models. Ratios of integrated particle yields are found to be nearly independent of centrality. The yield of protons normalized to pions is a factor ~1.5 lower than the expectation from thermal models.


title: New Symbolic Algorithms For Solving A General Bordered Tridiagonal Linear System

abstract: In this paper, the author present reliable symbolic algorithms for solving a general bordered tridiagonal linear system. The first algorithm is based on the LU decomposition of the coefficient matrix and the computational cost of it is O(n). The second is based on The Sherman-Morrison-Woodbury formula. The algorithms are implementable to the Computer Algebra System (CAS) such as MAPLE, MATLAB and MATHEMATICA. Three examples are presented for the sake of illustration.


title: Best approximation by diagonal compact operators

abstract: We study the existence and characterization properties of compact Hermitian operators C on a separable Hilbert space H such that ||C|| is less or equal than || C + D ||, for all D in D(K(H)). This property is equivalent to || C || = min{||C+D||: D in D(K(H))} = dist (C,D(K(H))), where D(K(H)) denotes the space of compact diagonal operators in a fixed base of H and ||.|| is the operator norm. We also exhibit a positive trace class operator that fails to attain the minimum in a compact diagonal.


title: Nanoelectromechanics of shuttle devices

abstract: A single-electron tunneling (SET) device with a nanoscale central island that can move with respect to the bulk source- and drain electrodes allows for a nanoelectromechanical (NEM) coupling between the electrical current through the device and mechanical vibrations of the island. Although an electromechanical "shuttle" instability and the associated phenomenon of single-electron shuttling were predicted more than 15 years ago, both theoretical and experimental studies of NEM-SET structures are still carried out. New functionalities based on quantum coherence, Coulomb correlations and coherent electron-spin dynamics are of particular current interest. In this article we present a short review of recent activities in this area.


title: Operator content of real-space entanglement spectra at conformal critical points

abstract: We provide numerical evidence that the low-lying part of the entanglement spectrum of a real-space block (i.e. a single interval) of a one-dimensional quantum many body system at a conformal critical point corresponds to the energy spectrum of a boundary conformal field theory (CFT). This correspondence allows to uncover a subset of the operator content of a conformal field theory by inspection of the entanglement spectrum of a single wave function, thus providing important information on a CFT beyond its central charge. As a practical application we show that for many systems described by a compactified boson CFT, one can infer the compactification radius (governing e.g. the power law decay of correlation functions) of the theory in a simple way based on the entanglement spectrum.


title: Multivariate Temporal Dictionary Learning for EEG

abstract: This article addresses the issue of representing electroencephalographic (EEG) signals in an efficient way. While classical approaches use a fixed Gabor dictionary to analyze EEG signals, this article proposes a data-driven method to obtain an adapted dictionary. To reach an efficient dictionary learning, appropriate spatial and temporal modeling is required. Inter-channels links are taken into account in the spatial multivariate model, and shift-invariance is used for the temporal model. Multivariate learned kernels are informative (a few atoms code plentiful energy) and interpretable (the atoms can have a physiological meaning). Using real EEG data, the proposed method is shown to outperform the classical multichannel matching pursuit used with a Gabor dictionary, as measured by the representative power of the learned dictionary and its spatial flexibility. Moreover, dictionary learning can capture interpretable patterns: this ability is illustrated on real data, learning a P300 evoked potential.


title: St\"uckelberg Fields on the Effective p-brane

abstract: We demonstrate the one-to-one correspondence between reparametrization invariant effective actions for relativistic p-branes in flat target space and effective actions for transverse brane perturbations with non-linearly realized Poincar\'e symmetry. Starting with an action with non-linearly realized symmetry we construct the corresponding reparametrization invariant action by introducing St\"uckelberg fields. They combine with the transverse modes to form a Lorentz vector. The manifest Lorentz symmetry of the reparametrization invariant action follows directly from the non-linearly realized Lorentz symmetry of the initial action in terms of the physical modes.


title: A cluster algebra approach to q-characters of Kirillov-Reshetikhin modules

abstract: We describe a cluster algebra algorithm for calculating q-characters of Kirillov-Reshetikhin modules for any untwisted quantum affine algebra. This yields a geometric q-character formula for tensor products of Kirillov-Reshetikhin modules. In simply laced type this formula extends Nakajima's formula for q-characters of standard modules in terms of homology of graded quiver varieties.


title: Anharmonic vibrational properties in periodic systems: energy, electron-phonon coupling, and stress

abstract: A unified approach is used to study vibrational properties of periodic systems with first-principles methods and including anharmonic effects. Our approach provides a theoretical basis for the determination of phonon-dependent quantities at finite temperatures. The low-energy portion of the Born-Oppenheimer energy surface is mapped and used to calculate the total vibrational energy including anharmonic effects, electron-phonon coupling, and the vibrational contribution to the stress tensor. We report results for the temperature dependence of the electronic band gap and the linear coefficient of thermal expansion of diamond, lithium hydride, and lithium deuteride.


title: Absence of scalar hair in scalar-tensor gravity

abstract: Stationary, asymptotically flat black holes in scalar-tensor theories of gravity are studied. It is shown that such black holes have no scalar hair and are the same as in General Relativity.


title: Hall response of interacting bosonic atoms in strong gauge fields: from condensed to FQH states

abstract: Interacting bosonic atoms under strong gauge fields undergo a series of phase transitions that take the cloud from a simple Bose-Einstein condensate all the way to a family of fractional-quantum-Hall-type states [M. Popp, B. Paredes, and J. I. Cirac, Phys. Rev. A 70, 053612 (2004)]. In this work we demonstrate that the Hall response of the atoms can be used to locate the phase transitions and characterize the ground state of the many-body state. Moreover, the same response function reveals within some regions of the parameter space, the structure of the spectrum and the allowed transitions to excited states. We verify numerically these ideas using exact diagonalization for a small number of atoms, and provide an experimental protocol to implement the gauge fields and probe the linear response using a periodically driven optical lattice. Finally, we discuss our theoretical results in relation to recent experiments with condensates in artificial magnetic fields [ L. J. LeBlanc, K. Jimenez-Garcia, R. A. Williams, M. C. Beeler, A. R. Perry, W. D. Phillips, and I. B. Spielman, Proc. Natl. Acad. Sci. USA 109, 10811 (2012)] and we analyze the role played by vortex states in the Hall response.


title: Quantal corrections to mean-field dynamics including pairing

abstract: Extending the stochastic mean-field model by including pairing, an approach is proposed for describing evolutions of complex many-body systems in terms of an ensemble of Time-Dependent Hartree-Fock Bogoliubov trajectories which is determined by incorporating fluctuations in the initial state. Non-linear evolution of the initial fluctuations provides an approximate description of quantal correlations and fluctuations of collective observables. Since the initial-state fluctuations break the particle-number symmetry, the dynamical description in which pairing correlations play a crucial role is greatly improved as compare to the mean-field evolution. The approach is illustrated for a system of particles governed by a pairing Hamiltonian.

categories: nucl-th cond-mat.str-el nucl-ex quant-ph


title: Charge carrier dynamics in bulk MoS2 crystal studied by transient absorption microscopy

abstract: We report a transient absorption microscopy study of charge carrier dynamics in bulk MoS2 crystals at room temperature. Charge carriers are injected by interband absorption of a 555-nm pulse, and probed by measuring differential reflection of a time-delayed and spatially scanned 660-nm pulse. We find an intervalley transfer time of about 0.35 ps, an energy relaxation time of hot carriers on the order of 50 ps, and a carrier lifetime of 180 ps. By monitoring the spatiotemporal dynamics of carriers, we obtained a diffusion coefficient of thermalized electrons of 4.2 cm2/s, corresponding to a mobility of 170 cm2/Vs. We also observed a time-varying diffusion coefficient of hot carriers.


title: Soft lags in neutron star kHz Quasi Periodic Oscillations: evidence for reverberation?

abstract: High frequency soft reverberation lags have now been detected from stellar mass and super massive black holes. Their interpretation involves reflection of a hard source of photons onto an accretion disk, producing a delayed reflected emission, with a time lag consistent with the light travel time between the irradiating source and the disk. Independently of the location of the clock, the kHz Quasi-Periodic Oscillation (QPO) emission is thought to arise from the neutron star boundary layer. Here, we search for the signature of reverberation of the kHz QPO emission, by measuring the soft lags and the lag energy spectrum of the lower kHz QPOs from 4U1608-52. Soft lags, ranging from ~15 to ~40 microseconds, between the 3-8 keV and 8-30 keV modulated emissions are detected between 565 and 890 Hz. The soft lags are not constant with frequency and show a smooth decrease between 680 Hz and 890 Hz. The broad band X-ray spectrum is modeled as the sum of a disk and a thermal comptonized component, plus a broad iron line, expected from reflection. The spectral parameters follow a smooth relationship with the QPO frequency, in particular the fitted inner disk radius decreases steadily with frequency. Both the bump around the iron line in the lag energy spectrum, and the consistency between the lag changes and the inferred changes of the inner disk radius, from either spectral fitting or the QPO frequency, suggest that the soft lags may indeed involve reverberation of the hard pulsating QPO source on the disk.


title: First-principles energetics of water: a many-body analysis

abstract: Standard forms of density-functional theory (DFT) have good predictive power for many materials, but are not yet fully satisfactory for solid, liquid and cluster forms of water. We use a many-body separation of the total energy into its 1-body, 2-body (2B) and beyond-2-body (B2B) components to analyze the deficiencies of two popular DFT approximations. We show how machine-learning methods make this analysis possible for ice structures as well as for water clusters. We find that the crucial energy balance between compact and extended geometries can be distorted by 2B and B2B errors, and that both types of first-principles error are important.


title: Inclusion of matter in inhomogeneous loop quantum cosmology

abstract: We study the hybrid quantization of the linearly polarized Gowdy $T^3$ model with a massless scalar field with the same symmetries as the metric. For simplicity, we quantize its restriction to the model with local rotational symmetry. Using this hybrid approach, the homogeneous degrees of freedom of the geometry are quantized \`a la loop, leading to the resolution of the cosmological singularity. A Fock quantization is employed both for the matter and the gravitational inhomogeneities. Owing to the inclusion of the massless scalar field this system allows us to modelize flat Friedmann-Robertson-Walker cosmologies filled with inhomogeneities propagating in one direction, providing a perfect scenario to study the quantum back-reaction of the inhomogeneities on the polymeric homogeneous and isotropic background.


title: Tau-functions for Quiver Gauge Theories

abstract: The prepotentials for the quiver supersymmetric gauge theories are defined as quasiclassical tau-functions, depending on two different sets of variables: the parameters of the UV gauge theory or the bare compexified couplings, and the vacuum condensates of the theory in IR. The bare couplings are introduced as periods on the UV base curve, and the consistency of corresponding gradient formulas for the tau-functions is proven using the Riemann bilinear relations. It is shown, that dependence of generalised prepotentials for the quiver gauge theories upon the bare couplings turns to coincide with the corresponding formulas for the derivatives of tau-functions for the isomonodromic deformations. Computations for the SU(2) quiver gauge theories with bi- and tri-fundamental matter are performed explicitly and analysed in the context of 4d/2d correspondence.


title: New constraint on the existence of the mu+-> e+ gamma decay

abstract: The analysis of a combined data set, totaling 3.6 \times 10^14 stopped muons on target, in the search for the lepton flavour violating decay mu^+ -> e^+ gamma is presented. The data collected by the MEG experiment at the Paul Scherrer Institut show no excess of events compared to background expectations and yield a new upper limit on the branching ratio of this decay of 5.7 \times 10^-13 (90% confidence level). This represents a four times more stringent limit than the previous world best limit set by MEG.


title: Fermionic vacuum polarization by a cosmic string in anti-de Sitter spacetime

abstract: In this paper we investigate the fermionic condensate (FC) and the vacuum expectation value (VEV) of the energy-momentum tensor, associated with a massive fermionic field, induced by the presence of a cosmic string in the anti-de Sitter (AdS) spacetime. In order to develop this analysis we construct the complete set of normalized eigenfunctions in the corresponding spacetime. We consider a special case of boundary conditions on the AdS boundary, when the MIT bag boundary condition is imposed on the field operator at a finite distance from the boundary, which is then taken to zero. The FC and the VEV of the energy-momentum tensor are decomposed into the pure AdS and string-induced parts. Because the analysis of one-loop quantum effects in the AdS spacetime has been developed in the literature, here we are mainly interested to investigate the influence of the cosmic string on the VEVs. The string-induced part in the VEV of the energy-momentum tensor is diagonal and the axial and radial stresses are equal to the energy density. For points near the string, the effects of the curvature are subdominant and to leading order, the VEVs coincide with the corresponding VEVs for the cosmic string in Minkowski bulk. At large proper distances from the string, the decay of the VEVs show a power-law dependence of the distance for both massless and massive fields. This is in contrast to the case of Minkowski bulk where, for a massive field, the string-induced parts decay exponentially.


title: Chaos in large-amplitude pulsators: application to the beta Cep star HD180642

abstract: The CoRoT observations of the beta Cephei star HD180642 uncover an unexpectedly rich frequency spectrum, in addition to several heat-driven modes. So far, two processes have been proposed to explain this behaviour: the presence of stochastic oscillations, and the excitation of time-dependent frequencies by nonlinear resonance. I argue for a third explanation for the observations, in the form of chaos due to the nonlinear behaviour of the dominant radial mode. The long-term frequency stability of the dominant radial mode is studied using archival data spanning roughly 20 years. Nonlinear time series analysis techniques are applied to the CoRoT observations, and the observations are compared with simulations of a simple nonlinear oscillator. I show that chaos offers one single explanation for many of the observed features, such as the structure in the autocorrelation of the power spectrum, the long-term frequency shift, the power excess and the wide range of frequencies in the power spectrum. However, the mixture of opacity-driven linear oscillations and nonlinear oscillations complicate the nonlinear time series analysis techniques.


title: The specific heat and the radial thermal expansion of bundles of single-walled carbon nanotubes

abstract: The specific heat at constant pressure of bundles of single-walled carbon nanotubes closed at their ends has been investigated in a temperature interval of 2-120 K. It is found that the curve of heat capacity has features near 5, 36, 80, and 100 K. The experimental results on the heat capacity and the radial thermal expansion coefficient of bundles of SWNTs oriented perpendicular to the sample axis have been compared. It is found that the curves of the heat capacity and the radial thermal expansion coefficient exhibit a similar temperature behavior above 10 K. The temperature dependence of the Gruneisen coefficient has been calculated. The curve of the Gruneisen coefficient also has a feature near 36 K. Above 36 K the Gruneisen coefficient is practically independent of temperature. Below 36 K the Gruneisen coefficient decreases monotonically with lowering temperature and becomes negative below 6 K.


title: Improving the neutrino mass hierarchy identification with inelasticity measurement in PINGU and ORCA

abstract: Multi-megaton scale under ice and underwater detectors of atmospheric neutrinos with few GeV's energy threshold (PINGU, ORCA) open up new possibilities in the determination of neutrino properties, and in particular the neutrino mass hierarchy. With a dense array of optical modules it will be possible to determine the inelasticity, $y$, of the charged current $\nu_\mu$ events in addition to the neutrino energy $E_\nu$ and the muon zenith angle $\theta_\mu$. The discovery potential of the detectors will substantially increase with the measurement of $y$. It will enable (i) a partial separation of the neutrino and antineutrino signals; (ii) a better reconstruction of the neutrino direction; (iii) the reduction of the neutrino parameters degeneracy; (iv) a better control of systematic uncertainties; (v) a better identification of the $\nu_\mu$ events. It will improve the sensitivity to the CP-violation phase. The three dimensional, $(E_\nu, \theta_\mu, y)$, $\nu_\mu-$oscillograms with the kinematical as well as the experimental smearing are computed. We present the asymmetry distributions in the $E_\nu - \theta_\mu$ plane for different intervals of $y$ and study their properties. We show that the inelasticity information reduces the effect of degeneracy of parameters by 30%. With the inelasticity, the total significance of establishing mass hierarchy may increase by 20% - 50%, thus effectively increasing the volume of the detector by factor 1.5 - 2.


title: Black Hole Monodromy and Conformal Field Theory

abstract: The analytic structure of solutions to the Klein-Gordon equation in a black hole background, as represented by monodromy data, is intimately related to black hole thermodynamics. It encodes the "hidden conformal symmetry" of a non-extremal black hole, and it explains why features of the inner event horizon appear in scattering data such as greybody factors. This indicates that hidden conformal symmetry is generic within a universality class of black holes.


title: Decidability of the Elementary Theory of a Torsion-Free Hyperbolic Group

abstract: Let G be a torsion free hyperbolic group. We prove that the elementary theory of G is decidable and admits an effective quantifier elimination to boolean combination of AE-formulas. The existence of such quantifier elimination was previously proved by Sela.


title: A Phase Transition in a Quenched Amorphous Ferromagnet

abstract: Quenched thermodynamic states of an amorphous ferromagnet are studied. The magnet is a countable collection of point particles chaotically distributed over $\mathbb{R}^d$, $d\geq 2$. Each particle bears a real-valued spin with symmetric a priori distribution; the spin-spin interaction is pair-wise and attractive. Two spins are supposed to interact if they are neighbors in the graph defined by a homogeneous Poisson point process. For this model, we prove that with probability one: (a) quenched thermodynamic states exist; (b) they are multiple if the particle density (i.e., the intensity of the underlying point process) and the inverse temperature are big enough; (c) there exist multiple quenched thermodynamic states which depend on the realizations of the underlying point process in a measurable way.


title: A new perspective on early cosmology

abstract: We present a new perspective on early cosmology based on Loop Quantum Gravity. We use projected spinnetworks, coherent states and spinfoam techniques, to implement a quantum reduction of the full Kinematical Hilbert space of LQG, suitable to describe inhomogeneous cosmological models. Some preliminary results on the solutions of the Scalar constraint of the reduced theory are also presented.


title: Search for the standard model Higgs boson produced in association with a top-quark pair in pp collisions at the LHC

abstract: A search for the standard model Higgs boson produced in association with a top-quark pair is presented using data samples corresponding to an integrated luminosity of 5.0 inverse femtobarns (5.1 inverse femtobarns) collected in pp collisions at the center-of-mass energy of 7 TeV (8 TeV). Events are considered where the top-quark pair decays to either one lepton+jets (t tbar to ell nu q q' b bbar) or dileptons (t tbar to ell(+) nu ell(-) nu b bbar), ell being an electron or a muon. The search is optimized for the decay mode H to b bbar. The largest background to the t tbar H signal is top-quark pair production with additional jets. Artificial neural networks are used to discriminate between signal and background events. Combining the results from the 7 TeV and 8 TeV samples, the observed (expected) limit on the cross section for Higgs boson production in association with top-quark pairs for a Higgs boson mass of 125 GeV is 5.8 (5.2) times the standard model expectation.


title: Electric polarization in correlated insulators

abstract: We derive a formula for the electric polarization of interacting insulators, expressed in terms of the full Green's and vertex functions. We exemplify this method in the half-filled ionic Hubbard model treated within dynamical mean field theory (DMFT). The electric polarization of a correlated band insulator is determined by the interplay of ionicity and covalency, and both quantities are renormalized by the electron-electron interactions. We introduce quasiparticle approximation to the exact equation for the polarization, and compare the results of this approximation with those of the exact DMFT formulation and of static mean field theories such as the LDA+ U. The latter overestimates the electronic contribution to the electric polarization when the quasiparticle weight of the active bands is very small.


title: Two and three descent for elliptic curves associated with perfect cuboids

abstract: A rational perfect cuboid is a rectangular parallelepiped whose edges and face diagonals are given by rational numbers and whose space diagonal is equal to unity. Recently it was shown that the Diophantine equations describing such a cuboid lead to a couple of parametric families of elliptic curves. Two and three descent methods for calculating their ranks are discussed in the present paper. The elliptic curves in each parametric family are subdivided into two subsets admitting 2-descent and 3-descent methods respectively.


title: Bibliometrics for Internet Media: Applying the h-Index to YouTube

abstract: The h-index can be a useful metric for evaluating a person's output of Internet media. Here we advocate and demonstrate adaption of the h-index and the g-index to the top video content creators on YouTube. The h-index for Internet video media is based on videos and their view counts. The index h is defined as the number of videos with >= h*10^5 views. The index g is defined as the number of videos with >= g*10^5 views on average. When compared to a video creator's total view count, the h-index and g-index better capture both productivity and impact in a single metric.


title: The hypercomplex equations for fermion interaction description

abstract: Equations are proposed for the description of the fermion interaction via massive and massless bosons. These equations lead to the propagators which maintain theory renormalization. These equations are also invariant with respect to the limited calibration transformations. Such an approach leads to the possibility of describing fermion interaction via massive bosons and not referring to the spontaneous symmetry violation.


title: Localization of metallicity and magnetic properties of graphene and of graphene nanoribbons doped with boron clusters

abstract: As a possible way of modifying the intrinsic properties of graphene we study the doping of graphene by embedded boron clusters with density functional theory. Cluster doping is technologically relevant as the cluster implantation technique can be readily applied to graphene. We find that B7 clusters embedded into graphene and graphene nanoribbons are structurally stable and locally metallize the system. This is done both by the reduction of the Fermi energy and by the introduction of boron states near the Fermi level. A linear chain of boron clusters forms a metallic "wire" inside the graphene matrix. In a zigzag edge graphene nanoribbon the cluster-related states tend to hybridize with the edge and bulk states. The magnetism in boron doped graphene systems is generally very weak. The presence of boron clusters weakens the edge magnetism in zigzag edge graphene nanoribbon, rather than making the system appropriate for spintronics. Thus the doping of graphene with the cluster implantation technique might be a viable technique to locally metallize graphene without destroying its attractive bulk properties.


title: Accretion Rates for T Tauri Stars Using Nearly Simultaneous Ultraviolet and Optical Spectra

abstract: We analyze the accretion properties of 21 low mass T Tauri stars using a dataset of contemporaneous near ultraviolet (NUV) through optical observations obtained with the Hubble Space Telescope Imaging Spectrograph (STIS) and the ground based Small and Medium Aperture Research Telescope System (SMARTS), a unique dataset because of the nearly simultaneous broad wavelength coverage. Our dataset includes accreting T Tauri stars (CTTS) in Taurus, Chamaeleon I, $\eta$ Chamaeleon and the TW Hydra Association. For each source we calculate the accretion rate by fitting the NUV and optical excesses above the photosphere, produced in the accretion shock, introducing multiple accretion components characterized by a range in energy flux (or density) for the first time. This treatment is motivated by models of the magnetospheric geometry and accretion footprints, which predict that high density, low filling factor accretion spots co-exist with low density, high filling factor spots. By fitting the UV and optical spectra with multiple accretion components, we can explain excesses which have been observed in the near infrared. Comparing our estimates of the accretion rate to previous estimates, we find some discrepancies; however, they may be accounted for when considering assumptions for the amount of extinction and variability in optical spectra. Therefore, we confirm many previous estimates of the accretion rate. Finally, we measure emission line luminosities from the same spectra used for the accretion rate estimates, to produce correlations between accretion indicators (H$\beta$, Ca II K, C II] and Mg II) and accretion properties obtained simultaneously.


title: Little Z' Models

abstract: We propose a new class of models called Little Z' models in order to reduce the fine-tuning due to the current experimental limits on the Z' mass in E_6 inspired supersymmetric models, where the Higgs doublets are charged under the extra U(1)' gauge group. The proposed Little Z' models allow a lower mass Z' due to the spontaneously broken extra U(1)' gauge group having a reduced gauge coupling. We show that reducing the value of the extra gauge coupling relaxes the experimental limits, leading to the possibility of low mass Z' resonances, for example down to 200 GeV, which may yet appear in LHC searches. Although the source of tree level fine-tuning due to the Z' mass is reduced in Little Z' models, it typically does so at the expense of increasing the vacuum expectation value of the U(1)'-breaking standard model singlet field, reducing the fine-tuning to similar levels to that in the Minimal Supersymmetric Standard Model.


title: Spin-enhanced organic bulk heterojunction photovoltaic solar cells

abstract: Recently, much effort has been devoted to improve the efficiency of organic photovoltaic solar cells based on blends of donors and acceptors molecules in bulk heterojunction architecture. One of the major losses in organic photovoltaic devices has been recombination of polaron pairs at the donor/acceptor domain interfaces. Here, we present a novel method to suppress polaron pair recombination at the donor/acceptor domain interfaces and thus improve the organic photovoltaic solar cell efficiency, by doping the device active layer with spin 1/2 radical galvinoxyl. At an optimal doping level of 3 wt%, the efficiency of a standard poly(3-hexylthiophene)/1-(3-(methoxycarbonyl)propyl)-1-1-phenyl)(6,6)C61 solar cell improves by 18%. A spin-flip mechanism is proposed and supported by magneto-photocurrent measurements, as well as by density functional theory calculations in which polaron pair recombination rate is suppressed by resonant exchange interaction between the spin 1/2 radicals and charged acceptors, which convert the polaron pair spin state from singlet to triplet.


title: Spinon-Phonon Interaction in Algebraic Spin Liquids

abstract: Motivated by a search for experimental probes to access the physics of fractionalized excitations called spinons in a spin liquids, we study the interaction of spinons with lattice vibrations. We consider the case of algebraic spin liquid, when spinons have fermionic statistics and a Dirac-like dispersion. We establish the general procedure for deriving spinon-phonon interactions which is based on a symmetry considerations. The procedure is illustrated for four different algebraic spin liquids: pi-flux and staggered-flux phases on a square lattice, pi-flux phase on a kagome lattice, and zero flux phase on a honeycomb lattice. Although the low energy description is similar for all these phases, different underlying symmetry group leads to a distinct form of spinon-phonon interaction Hamiltonian. The explicit form of the spinon-phonon interaction is used to estimate the attenuation of ultrasound in an algebraic spin liquid. The perspectives of the sound attenuation as probe of spinons are discussed.


title: Perturbed Laguerre Unitary Ensembles, Painlev\'e V and Information Theory

abstract: In this review, we investigate a key information-theoretic performance metric in multiple-antenna wireless communications, the so-called outage probability. This quantity may be expressed in terms of a moment generating function, for which we present two separate integral representations, one involving a particular $\sigma$-form of Painlev\'e V. We also present a representation involving a non-linear second order difference equation.


title: Perfect Impedance-Matched Isolators and Unidirectional Absorbers

abstract: A broad-band reflectionless channel which supports unidirectional wave propagation originating from the interplay between gyrotropic elements and symmetrically placed gain and loss constituents is proposed. Interchange of the active elements together with a gyrotropic inversion turns the same structure to a unidirectional absorber where incoming waves from a specific direction are annihilated. When disorder is introduced asymmetric Anderson localization is found. Realizations of such multi-functional architectures in the frame of electronic and photonic circuitry are discussed.


title: Hybrid Maximum Likelihood Modulation Classification Using Multiple Radios

abstract: The performance of a modulation classifier is highly sensitive to channel signal-to-noise ratio (SNR). In this paper, we focus on amplitude-phase modulations and propose a modulation classification framework based on centralized data fusion using multiple radios and the hybrid maximum likelihood (ML) approach. In order to alleviate the computational complexity associated with ML estimation, we adopt the Expectation Maximization (EM) algorithm. Due to SNR diversity, the proposed multi-radio framework provides robustness to channel SNR. Numerical results show the superiority of the proposed approach with respect to single radio approaches as well as to modulation classifiers using moments based estimators.


title: Statistical Study of Deep Sub-Micron Dual-Gated Field-Effect Transistors on Monolayer CVD Molybdenum Disulfide Films

abstract: Monolayer Molybdenum Disulfide (MoS2) with a direct band gap of 1.8 eV is a promising two-dimensional material with a potential to surpass graphene in next generation nanoelectronic applications. In this letter, we synthesize monolayer MoS2 on Si/SiO2 substrate via chemical vapor deposition (CVD) method and comprehensively study the device performance based on dual-gated MoS2 field-effect transistors. Over 100 devices are studied to obtain a statistical description of device performance in CVD MoS2. We examine and scale down the channel length of the transistors to 100 nm and achieve record high drain current of 62.5 mA/mm in CVD monolayer MoS2 film ever reported. We further extract the intrinsic contact resistance of low work function metal Ti on monolayer CVD MoS2 with an expectation value of 175 {\Omega}.mm, which can be significantly decreased to 10 {\Omega}.mm by appropriate gating. Finally, field-effect mobilities ({\mu}FE) of the carriers at various channel lengths are obtained. By taking the impact of contact resistance into account, an average and maximum intrinsic {\mu}FE is estimated to be 13.0 and 21.6 cm2/Vs in monolayer CVD MoS2 films, respectively.


title: Integrating hidden information which is observed and the observer information regularities

abstract: Bayesian integral functional measure of entropy-uncertainty (EF) on trajectories of Markov multi-dimensional diffusion process is cutting off by interactive impulses (controls). Each cutoff minimax of EF superimposes and entangles conjugated fractions in microprocess, enclosing the captured entropy fractions as source of an information unit. The impulse step-up action launches the unit formation and step-down action finishes it and brings energy from the interactive jump. This finite jump transfers the entangled entropy from uncertain Yes-logic to the certain-information No-logic information unit whose measuring at end of the cut kills final entropy-uncertainty and limits unit. The Yes-No logic holds Bit Participator creating elementary information observer without physical pre-law. Cooperating two units in doublet and an opposite directional information unit in triplet forms minimal stable structure. Information path functional (IPF) integrates multiple hidden information contributions along the cutting process correlations in information units of cooperating doublets-triplets, bound by free information, and enfolds the sequence of enclosing triplet structures in the information network (IN) that sequentially decreases the entropy and maximizes information. The IN bound triplets release free information rising information forces enable attracting new information unit and ordering it. While IPF collects the information units, the IN performs logical computing using doublet-triplet code. The IN different levels unite logic of quantum micro- and macro- information processes, composing quantum and/or classical computation.


title: Threefold Reduction in Thermal Conductivity of Vycor Glass Due to Adsorption of Liquid 4He

abstract: We report thermal conductivity measurements of porous Vycor glass when it is empty and when the pores are filled with helium between 0.06 and 0.5 K. The filling of liquid 3He and liquid 4He inside the Vycor pores brings about respectively two and three fold reduction of the thermal conductivity as compared with empty Vycor. This dramatic reduction of thermal conductivity, not seen with solid 3He and 4He in the pores, is the consequence of hydrodynamic sound modes in liquid helium that greatly facilitate the quantum tunneling of the two-level systems (TLS) in Vycor and enhance the scattering of the thermal phonons in the silica network.


title: CP violation in neutrino-photon scattering

abstract: It is shown that effects of CP violation arise in neutrino-photon scattering. Several CP-violating $\nu\gamma$ reactions are considered within the Standard Model and predictions for some observables are made. It is emphasized that neutrino-photon scattering may provide an experimental tool for testing the scale dependence of CP violation.


title: Note on Undecidability of Bisimilarity for Second-Order Pushdown Processes

abstract: Broadbent and G\"oller (FSTTCS 2012) proved the undecidability of bisimulation equivalence for processes generated by epsilon-free second-order pushdown automata. We add a few remarks concerning the used proof technique, called Defender's forcing, and the related undecidability proof for first-order pushdown automata with epsilon-transitions (Jan\v{c}ar and Srba, JACM 2008).


title: Effect of the Interconnected Network Structure on the Epidemic Threshold

abstract: Most real-world networks are not isolated. In order to function fully, they are interconnected with other networks, and this interconnection influences their dynamic processes. For example, when the spread of a disease involves two species, the dynamics of the spread within each species (the contact network) differs from that of the spread between the two species (the interconnected network). We model two generic interconnected networks using two adjacency matrices, A and B, in which A is a 2N*2N matrix that depicts the connectivity within each of two networks of size N, and B a 2N*2N matrix that depicts the interconnections between the two. Using an N-intertwined mean-field approximation, we determine that a critical susceptable-infected-susceptable (SIS) epidemic threshold in two interconnected networks is 1/{\lambda}1(A+\alpha B), where the infection rate is \beta within each of the two individual networks and \alpha\beta in the interconnected links between the two networks and {\lambda}1(A+\alpha B) is the largest eigenvalue of the matrix A+\alpha B. In order to determine how the epidemic threshold is dependent upon the structure of interconnected networks, we analytically derive {\lambda}1(A+\alpha B) using perturbation approximation for small and large \alpha, the lower and upper bound for any \alpha as a function of the adjacency matrix of the two individual networks, and the interconnections between the two and their largest eigenvalues/eigenvectors. We verify these approximation and boundary values for {\lambda}1(A+\alpha B) using numerical simulations, and determine how component network features affect {\lambda}1(A+\alpha B).


title: Statistics of the work done by splitting a one-dimensional quasi-condensate

abstract: Motivated by experiments on splitting one-dimensional quasi-condensates, we study the statistics of the work done by a quantum quench in a bosonic system. We discuss the general features of the probability distribution of the work and focus on its behaviour at the lowest energy threshold, which develops an edge singularity. A formal connection between this probability distribution and the critical Casimir effect in thin classical films shows that certain features of the edge singularity are universal as the post-quench gap tends to zero. Our results are quantitatively illustrated by an exact calculation for non-interacting bosonic systems. The effects of finite system size, dimensionality, and non-zero initial temperature are discussed in detail.


title: Epidemic threshold in directed networks

abstract: Epidemics have so far been mostly studied in undirected networks. However, many real-world networks, such as the social network Twitter and the WWW networks, upon which information, emotion or malware spreads, are shown to be directed networks, composed of both unidirectional links and bidirectional links. We define the directionality as the percentage of unidirectional links. The epidemic threshold for the susceptible-infected-susceptible (SIS) epidemic has been proved to be 1/lambda_{1} in directed networks by N-intertwined Mean-field Approximation, where lambda_{1}, also called as spectral radius, is the largest eigenvalue of the adjacency matrix. Here, we propose two algorithms to generate directed networks with a given degree distribution, where the directionality can be controlled. The effect of directionality on the spectral radius lambda_{1}, principal eigenvector x_{1}, spectral gap lambda_{1}-|lambda_{2}|) and algebraic connectivity |mu_{N-1}| is studied. Important findings are that the spectral radius lambda_{1} decreases with the directionality, and the spectral gap and the algebraic connectivity increase with the directionality. The extent of the decrease of the spectral radius depends on both the degree distribution and the degree-degree correlation rho_{D}. Hence, the epidemic threshold of directed networks is larger than that of undirected networks, and a random walk converges to its steady-state faster in directed networks than in undirected networks with degree distribution.


title: The Nielsen and the Reidemeister numbers of maps on infra-solvmanifolds of type (R)

abstract: We prove the rationality, the functional equations and calculate the radii of convergence of the Nielsen and the Reidemeister zeta functions of continuous maps on infra-solvmanifolds of type $\R$. We find a connection between the Reidemeister and Nielsen zeta functions and the Reidemeister torsions of the corresponding mapping tori. We show that if the Reidemeister zeta function is defined for a homeomorphism on an infra-solvmanifold of type $\R$, then this manifold is an infra-nilmanifold. We also prove that a map on an infra-solvmanifold of type $\R$ induced by an affine map minimizes the topological entropy in its homotopy class and it has a rational Artin-Mazur zeta function. Finally we prove the Gauss congruences for the Reidemeister and Nielsen numbers of any map on an infra-solvmanifolds of type $\R$ whenever all the Reidemeister numbers of iterates of the map are finite. Our main technical tool is the averaging formulas for the Lefschetz, the Nielsen and the Reidemeister numbers on infra-solvmanifolds of type $\R$.


title: On electromagnetic induction in electric conductors

abstract: Experimental validation of the Faraday's law of electromagnetic induction (EMI) is performed when an electromotive force is generated in thin copper turns, located inside a large magnetic coil. It has been established that the electromotive force (emf) value should be dependent not only on changes of the magnetic induction flux through a turn and on symmetry of its crossing by magnetic power lines also. The law of EMI is applicable in sufficient approximation in case of the changes of the magnetic field near the turn are symmetrical. Experimental study of the induced emf in arcs and a direct section of the conductor placed into the variable field has been carried out. Linear dependence of the induced emf on the length of the arc has been ascertained in case of the magnetic field distribution symmetry about it. Influence of the magnetic field symmetry on the induced emf in the arc has been observed. The curve of the induced emf in the direct section over period of current pulse is similar to this one for the turns and arcs. The general law of EMI for a curvilinear conductor has been deduced. Calculation of the induced emf in the turns wrapped over it and comparison with the experimental data has been made. The proportionality factor has been ascertained for the law. Special conditions have been described, when the induced emf may not exist in the presence of inductive current. Theoretical estimation of the inductive current has been made at a induced low voltage in the turn. It has been noted the necessity to take into account the concentration of current carriers in calculation of the induced emf in semiconductors and ionized conductors.


title: Functional Dependence in Strategic Games (extended abstract)

abstract: The paper studies properties of functional dependencies between strategies of players in Nash equilibria of multi-player strategic games. The main focus is on the properties of functional dependencies in the context of a fixed dependency graph for pay-off functions. A logical system describing properties of functional dependence for any given graph is proposed and is proven to be complete.


title: Restricted Manipulation in Iterative Voting: Convergence and Condorcet Efficiency

abstract: In collective decision making, where a voting rule is used to take a collective decision among a group of agents, manipulation by one or more agents is usually considered negative behavior to be avoided, or at least to be made computationally difficult for the agents to perform. However, there are scenarios in which a restricted form of manipulation can instead be beneficial. In this paper we consider the iterative version of several voting rules, where at each step one agent is allowed to manipulate by modifying his ballot according to a set of restricted manipulation moves which are computationally easy and require little information to be performed. We prove convergence of iterative voting rules when restricted manipulation is allowed, and we present experiments showing that most iterative voting rules have a higher Condorcet efficiency than their non-iterative version.


title: Infinite games with uncertain moves

abstract: We study infinite two-player games where one of the players is unsure about the set of moves available to the other player. In particular, the set of moves of the other player is a strict superset of what she assumes it to be. We explore what happens to sets in various levels of the Borel hierarchy under such a situation. We show that the sets at every alternate level of the hierarchy jump to the next higher level.


title: How to Be Both Rich and Happy: Combining Quantitative and Qualitative Strategic Reasoning about Multi-Player Games (Extended Abstract)

abstract: We propose a logical framework combining a game-theoretic study of abilities of agents to achieve quantitative objectives in multi-player games by optimizing payoffs or preferences on outcomes with a logical analysis of the abilities of players for achieving qualitative objectives of players, i.e., reaching or maintaining game states with desired properties. We enrich concurrent game models with payoffs for the normal form games associated with the states of the model and propose a quantitative extension of the logic ATL* enabling the combination of quantitative and qualitative reasoning.


title: Lossy Channel Games under Incomplete Information

abstract: In this paper we investigate lossy channel games under incomplete information, where two players operate on a finite set of unbounded FIFO channels and one player, representing a system component under consideration operates under incomplete information, while the other player, representing the component's environment is allowed to lose messages from the channels. We argue that these games are a suitable model for synthesis of communication protocols where processes communicate over unreliable channels. We show that in the case of finite message alphabets, games with safety and reachability winning conditions are decidable and finite-state observation-based strategies for the component can be effectively computed. Undecidability for (weak) parity objectives follows from the undecidability of (weak) parity perfect information games where only one player can lose messages.


title: Strategic Analysis of Trust Models for User-Centric Networks

abstract: We present a strategic analysis of a trust model that has recently been proposed for promoting cooperative behaviour in user-centric networks. The mechanism for cooperation is based on a combination of reputation and virtual currency schemes in which service providers reward paying customers and punish non-paying ones by adjusting their reputation, and hence the price they pay for services. We model and analyse this system using PRISM-games, a tool that performs automated verification and strategy synthesis for stochastic multi-player games using the probabilistic alternating-time temporal logic with rewards (rPATL). We construct optimal strategies for both service users and providers, which expose potential risks of the cooperation mechanism and which we use to devise improvements that counteract these risks.


title: Concurrent Game Structures with Roles

abstract: In the following paper we present a new semantics for the well-known strategic logic ATL. It is based on adding roles to concurrent game structures, that is at every state, each agent belongs to exactly one role, and the role specifies what actions are available to him at that state. We show advantages of the new semantics, provide motivating examples based on sensor networks, and analyze model checking complexity.


title: Reasoning about Strategies under Partial Observability and Fairness Constraints

abstract: A number of extensions exist for Alternating-time Temporal Logic; some of these mix strategies and partial observability but, to the best of our knowledge, no work provides a unified framework for strategies, partial observability and fairness constraints. In this paper we propose ATLK^F_po, a logic mixing strategies under partial observability and epistemic properties of agents in a system with fairness constraints on states, and we provide a model checking algorithm for it.


title: Reducing Validity in Epistemic ATL to Validity in Epistemic CTL

abstract: We propose a validity preserving translation from a subset of epistemic Alternating-time Temporal Logic (ATL) to epistemic Computation Tree Logic (CTL). The considered subset of epistemic ATL is known to have the finite model property and decidable model-checking. This entails the decidability of validity but the implied algorithm is unfeasible. Reducing the validity problem to that in a corresponding system of CTL makes the techniques for automated deduction for that logic available for the handling of the apparently more complex system of ATL.


title: Towards an Updatable Strategy Logic

abstract: This article is about temporal multi-agent logics. Several of these formalisms have been already presented (ATL-ATL*, ATLsc, SL). They enable to express the capacities of agents in a system to ensure the satisfaction of temporal properties. Particularly, SL and ATLsc enable several agents to interact in a context mixing the different strategies they play in a semantical game. We generalize this possibility by proposing a new formalism, Updating Strategy Logic (USL). In USL, an agent can also refine its own strategy. The gain in expressive power rises the notion of "sustainable capacities" for agents. USL is built from SL. It mainly brings to SL the two following modifications: semantically, the successor of a given state is not uniquely determined by the data of one choice from each agent. Syntactically, we introduce in the language an operator, called an "unbinder", which explicitely deletes the binding of a strategy to an agent. We show that USL is strictly more expressive than SL.


title: A rewriting point of view on strategies

abstract: This paper is an expository contribution reporting on published work. It focusses on an approach followed in the rewriting community to formalize the concept of strategy. Based on rewriting concepts, several definitions of strategy are reviewed and connected: in order to catch the higher-order nature of strategies, a strategy is defined as a proof term expressed in the rewriting logic or in the rewriting calculus; to address in a coherent way deduction and computation, a strategy is seen as a subset of derivations; and to recover the definition of strategy in sequential path-building games or in functional programs, a strategy is considered as a partial function that associates to a reduction-in-progress, the possible next steps in the reduction sequence.


title: Synthesizing Structured Reactive Programs via Deterministic Tree Automata

abstract: Existing approaches to the synthesis of reactive systems typically involve the construction of transition systems such as Mealy automata. However, in order to obtain a succinct representation of the desired system, structured programs can be a more suitable model. In 2011, Madhusudan proposed an algorithm to construct a structured reactive program for a given omega-regular specification without synthesizing a transition system first. His procedure is based on two-way alternating omega-automata on finite trees that recognize the set of "correct" programs. We present a more elementary and direct approach using only deterministic bottom-up tree automata that compute so-called signatures for a given program. In doing so, we extend Madhusudan's results to the wider class of programs with bounded delay, which may read several input symbols before producing an output symbol (or vice versa). As a formal foundation, we inductively define a semantics for such programs.


title: The Complexity of Synthesizing Uniform Strategies

abstract: We investigate uniformity properties of strategies. These properties involve sets of plays in order to express useful constraints on strategies that are not \mu-calculus definable. Typically, we can state that a strategy is observation-based. We propose a formal language to specify uniformity properties, interpreted over two-player turn-based arenas equipped with a binary relation between plays. This way, we capture e.g. games with winning conditions expressible in epistemic temporal logic, whose underlying equivalence relation between plays reflects the observational capabilities of agents (for example, synchronous perfect recall). Our framework naturally generalizes many other situations from the literature. We establish that the problem of synthesizing strategies under uniformity constraints based on regular binary relations between plays is non-elementary complete.


title: Crowdsourced Judgement Elicitation with Endogenous Proficiency

abstract: Crowdsourcing is now widely used to replace judgement by an expert authority with an aggregate evaluation from a number of non-experts, in applications ranging from rating and categorizing online content to evaluation of student assignments in massively open online courses via peer grading. A key issue in these settings, where direct monitoring is infeasible, is incentivizing agents in the `crowd' to put in effort to make good evaluations, as well as to truthfully report their evaluations. This leads to a new family of information elicitation problems with unobservable ground truth, where an agent's proficiency- the probability with which she correctly evaluates the underlying ground truth- is endogenously determined by her strategic choice of how much effort to put into the task. Our main contribution is a simple, new, mechanism for binary information elicitation for multiple tasks when agents have endogenous proficiencies, with the following properties: (i) Exerting maximum effort followed by truthful reporting of observations is a Nash equilibrium. (ii) This is the equilibrium with maximum payoff to all agents, even when agents have different maximum proficiencies, can use mixed strategies, and can choose a different strategy for each of their tasks. Our information elicitation mechanism requires only minimal bounds on the priors, asks agents to only report their own evaluations, and does not require any conditions on a diverging number of agent reports per task to achieve its incentive properties. The main idea behind our mechanism is to use the presence of multiple tasks and ratings to identify and penalize low-effort agreement: the mechanism rewards agents for agreeing with a `reference' rater on a task but also penalizes for blind agreement by subtracting out a statistic term designed so that agents obtain reward only when they put effort into their observations.


title: A Light Supersymmetric Higgs Sector Hidden by a Standard Model-like Higgs

abstract: Extending the Higgs sector of the MSSM by triplets alleviates the little hierarchy problem and naturally allows for enhancements in the diphoton decay rate of the lightest CP-even Higgs h. In the present paper we analyze in detail the Higgs phenomenology of this theory with m_h~126 GeV. We mostly focus on a light Higgs sector where the pseudoscalar A, the next-to-lightest CP-even scalar H and the charged H^\pm Higgses are naturally at the electroweak scale. It turns out that for any value m_A > m_h there is a parameter region at small tan(beta) where the CP-even Higgs sector appears at colliders as the SM one, except for loop-induced corrections. Notably the existence of this SM-like point, which is absent in the MSSM, is shared with supersymmetric theories where there are extra singlets. We also highlight a second parameter region at small m_A and small tan(beta) where the h signal strengths, diphoton channel included, are SM-like except those of bottoms and taus which can have at most a 10-15 % splitting. Improvements in the A and H^\pm searches are worthwhile in order to discriminate this scenario from the SM.


title: One-dimensional quantum channel in a graphene line defect

abstract: Using a tight-binding model, we study a line defect in graphene where a bulk energy gap is opened by sublattice symmetry breaking. It is found that sublattice symmetry breaking may induce many configurations that correspond to different band spectra. In particular, a gapless state is observed for a configuration which hold a mirror symmetry with respect to the line defect. We find that this gapless state originates from the line defect and is independent of the width of the graphene ribbon, the location of the line defect, and the potentials in the edges of the ribbon. In particular, the gapless state can be controlled by the gate voltage embedded below the line defect. Finally, this result is supported with conductance calculations. This study shows how a quantum channel could be constructed using a line defect, and how the quantum channel can be controlled by tuning the gate voltage embedded below the line defect.


title: On Frobenius and separable algebra extensions in monoidal categories. Applications to wreaths

abstract: We characterize Frobenius and separable monoidal algebra extensions $i: R\ra S$ in terms given by $R$ and $S$. For instance, under some conditions, we show that the extension is Frobenius, respectively separable, if and only if $S$ is a Frobenius, respectively separable, algebra in the category of bimodules over $R$. In the case when $R$ is separable we show that the extension is separable if and only if $S$ is a separable algebra. Similarly, in the case when $R$ is Frobenius and separable in a sovereign monoidal category we show that the extension is Frobenius if and only if $S$ is a Frobenius algebra and the restriction at $R$ of its Nakayama automorphism is equal to the Nakayama automorphism of $R$. As applications, we obtain several characterizations for an algebra extension associated to a wreath to be Frobenius, respectively separable.


title: A Guide to the Design of Electronic Properties of Graphene Nanoribbons

abstract: Graphene nanoribbons (GNRs) are one-dimensional nanostructures predicted to display a rich variety of electronic behaviors. Depending on their structure, GNRs realize metallic and semiconducting electronic structures with band gaps that can be tuned across broad ranges. Certain GNRs also exhibit a peculiar gapped magnetic phase for which the half-metallic state can be induced as well as the topologically non-trivial quantum spin Hall electronic phase. Because their electronic properties are highly tunable, GNRs have quickly become a popular subject of research toward the design of graphene-based nanostructures for technological applications. This Account presents a pedagogical overview of the various degrees of freedom in the atomic structure and interactions that researchers can use to tailor the electronic structure of these materials. The Account provides a broad picture of relevant physical concepts that would facilitate the rational design of GNRs with desired electronic properties through synthetic techniques.


title: A controllable valley polarization in Graphene

abstract: The electron transport of different conical valleys is investigated in graphene with extended line-defects. Intriguingly, the electron with a definite incident angle can be completely modulated into one conical valley by a resonator which consists of several paralleling line-defects. The related incident angle can be controlled easily by tuning the parameters of the resonator. Therefore, a controllable 100% valley polarization, as well as the detection of the valley polarization, can be realized conveniently by tuning the number of line-defects and the distance between two nearest neighbouring line-defects. This fascinating finding opens a way to realize the valley polarization by line-defects. With the advancement of experimental technologies, this resonator is promising to be realized and thus plays a key role in graphene valleytronics.


title: Deleterious synonymous mutations hitchhike to high frequency in HIV-1 env evolution

abstract: Intrapatient HIV-1 evolution is dominated by selection on the protein level in the arms race with the adaptive immune system. When cytotoxic CD8+ T-cells or neutralizing antibodies target a new epitope, the virus often escapes via nonsynonymous mutations that impair recognition. Synonymous mutations do not affect this interplay and are often assumed to be neutral. We analyze longitudinal intrapatient data from the C2-V5 part of the envelope gene (env) and observe that synonymous derived alleles rarely fix even though they often reach high frequencies in the viral population. We find that synonymous mutations that disrupt base pairs in RNA stems flanking the variable loops of gp120 are more likely to be lost than other synonymous changes, hinting at a direct fitness effect of these stem-loop structures in the HIV-1 RNA. Computational modeling indicates that these synonymous mutations have a (Malthusian) selection coefficient of the order of -0.002 and that they are brought up to high frequency by hitchhiking on neighboring beneficial nonsynonymous alleles. The patterns of fixation of nonsynonymous mutations estimated from the longitudinal data and comparisons with computer models suggest that escape mutations in C2-V5 are only transiently beneficial, either because the immune system is catching up or because of competition between equivalent escapes.


title: Generalization of the three-term recurrence formula and its applications

abstract: The history of linear differential equations is over 350 years. By using Frobenius method and putting the power series expansion into linear differential equations, the recursive relation of coefficients starts to appear. There can be between two and infinity number of coefficients in the recurrence relation in the power series expansion. During this period mathematicians developed analytic solutions of only two term recursion relation in closed forms. Currently the analytic solution of three term recurrence relation is unknown. In this paper I will generalize the three term recurrence relation in the linear differential equation. This paper is 2nd out of 10 in series "Special functions and three term recurrence formula (3TRF)". The next paper in series deals with the power series expansion in closed forms of Heun function by Choun [arXiv:1303.0830]. The rest of the papers in the series show how to solve mathematical equations having three term recursion relations and go on producing the exact solutions of some of the well known special functions including: Mathieu, Heun, Biconfluent Heun and Lame equations. See section IX for all the papers and short descriptions in the series.


title: Lexicographic Product vs $\mathbb Q$-perfect and $\mathbb H$-perfect Pseudo Effect Algebras

abstract: We study the Riesz Decomposition Property types of the lexicographic product of two po-groups. Then we apply them to the study of pseudo effect algebras which can be decomposed to a comparable system of non-void slices indexed by some subgroup of real numbers. Finally, we present their representation by the lexicographic product.


title: Sequential decoding of a general classical-quantum channel

abstract: Since a quantum measurement generally disturbs the state of a quantum system, one might think that it should not be possible for a sender and receiver to communicate reliably when the receiver performs a large number of sequential measurements to determine the message of the sender. We show here that this intuition is not true, by demonstrating that a sequential decoding strategy works well even in the most general "one-shot" regime, where we are given a single instance of a channel and wish to determine the maximal number of bits that can be communicated up to a small failure probability. This result follows by generalizing a non-commutative union bound to apply for a sequence of general measurements. We also demonstrate two ways in which a receiver can recover a state close to the original state after it has been decoded by a sequence of measurements that each succeed with high probability. The second of these methods will be useful in realizing an efficient decoder for fully quantum polar codes, should a method ever be found to realize an efficient decoder for classical-quantum polar codes.


title: A Study on the Universality and Linearity of the Leavitt Law in the LMC and SMC Galaxies

abstract: The universality and linearity of the Leavitt law are hypotheses commonly adopted in studies of galaxy distances using Cepheid variables as standard candles. In order to test these hypotheses, we obtain slopes of the Leavitt law using linear regressions of fundamental-mode Cepheids observed by the Optical Gravitational Lensing Experiment project in the Magellanic Clouds. We find that the slopes in $VI$-bands and in the Wesenheit index behave exponentially, indicating non-linearity. We also find that the slopes obtained using long-period Cepheids can be considered as universal in the $VI$-bands, but not in the Wesenheit index.


title: Multivariate Survival Mixed Models for Genetic Analysis of Longevity Traits

abstract: A class of multivariate mixed survival models for continuous and discrete time with a complex covariance structure is introduced in a context of quantitative genetic applications. The methods introduced can be used in many applications in quantitative genetics although the discussion presented concentrates on longevity studies. The framework presented allows to combine models based on continuous time with models based on discrete time in a joint analysis. The continuous time models are approximations of the frailty model in which the hazard function will be assumed to be piece-wise constant. The discrete time models used are multivariate variants of the discrete relative risk models. These models allow for regular parametric likelihood-based inference by exploring a coincidence of their likelihood functions and the likelihood functions of suitably defined multivariate generalized linear mixed models. The models include a dispersion parameter, which is essential for obtaining a decomposition of the variance of the trait of interest as a sum of parcels representing the additive genetic effects, environmental effects and unspecified sources of variability; as required in quantitative genetic applications. The methods presented are implemented in such a way that large and complex quantitative genetic data can be analyzed.


title: On the dimension datum problem and the linear dependence problem

abstract: The dimension datum of a closed subgroup of a compact Lie group is the sequence of invariant dimensions of irreducible representations by restriction. In this article we classify closed connected subgroups with equal dimension data or linearly dependent dimension data. This classification should have applications to the isospectral geometry and automorphic form theory. We also study the equality/linear dependence of not necessarily connected subgroups of unitary group acting irreducibly on the natural representation.


title: A rigidity result for dimension data

abstract: The dimension datum of a closed subgroup of a compact Lie group is a sequence by assigning the invariant dimension of each irreducible representation restricting to the subgroup. We prove that any sequence of dimension data contains a converging sequence with limit the dimension datum of a subgroup interrelated to subgroups giving this sequence. This rigidity has an immediate corollary that the space of dimension data of closed subgroups in a given compact Lie group is sequentially compact.


title: Analytic solution for grand confluent hypergeometric function

abstract: In previous paper I construct an approximative solution of the power series expansion in closed forms of Grand Confluent Hypergeometric (GCH) function only up to one term of A_n's [4]. And I obtain normalized constant and orthogonal relation of GCH function. In this paper I will apply three term recurrence formula [3] to the power series expansion in closed forms of GCH function (infinite series and polynomial) including all higher terms of A_n's. In general most of well-known special function with two recursive coefficients only has one eigenvalue for the polynomial case. However this new function with three recursive coefficients has infinite eigenvalues that make B_n's term terminated at specific value of index n because of three term recurrence formula [3]. This paper is 9th out of 10 in series "Special functions and three term recurrence formula (3TRF)". See section 6 for all the papers in the series. Previous paper in series deals with generating functions of Lame polynomial in the Weierstrass's form [28]. The next paper in the series describes the integral formalism and the generating function of GCH function [30].


title: Probing the local density of states in three dimensions with a scanning single quantum emitter

abstract: Their intrinsic properties render single quantum systems as ideal tools for quantum enhanced sensing and microscopy. As an additional benefit, their size is typically on an atomic scale which enables sensing with very high spatial resolution. Here, we report on utilizing a single nitrogen vacancy center in nanodiamond for performing three-dimensional scanning-probe fluorescence lifetime imaging microscopy. By measuring changes of the single emitter's lifetime information on the local density of optical states is acquired at the nanoscale. This technique to gather information on the local density of optical states is important for the understanding of fundamental quantum optical processes as well as for the engineering of novel photonic and plasmonic devices.


title: Products of sequentially compact spaces and compactness with respect to a set of filters

abstract: We show that, under suitably general formulations, covering properties, accumulation properties and filter convergence are all equivalent notions. This general correspondence is exemplified in the study of products. Let $X$ be a product of topological spaces. We prove that $X$ is sequentially compact if and only if all subproducts by $\leq \mathfrak s$ factors are sequentially compact. If $\mathfrak s = \mathfrak h$, then $X$ is sequentially compact if and only if all factors are sequentially compact and all but at most $<\mathfrak s$ factors are ultraconnected. We give a topological proof of the inequality ${\rm cf} \mathfrak s \geq \mathfrak h$. Recall that $\mathfrak s$ denotes the splitting number and $\mathfrak h$ the distributivity number. The product $X$ is Lindel\"of if and only if all subproducts by $\leq \omega_1 $ factors are Lindel\"of. Parallel results are obtained for final $ \omega_n$-compactness, $[ \lambda, \mu ]$-compactness, the Menger and Rothberger properties.


title: Studying the emergence of the red sequence through galaxy clustering: host halo masses at z > 2

abstract: We use the UKIDSS Ultra-Deep Survey, the deepest degree-scale near-infrared survey to date, to investigate the clustering of star-forming and passive galaxies to z ~ 3.5. Our new measurements include the first determination of the clustering for passive galaxies at z > 2, which we achieve using a cross-correlation technique. We find that passive galaxies are the most strongly clustered, typically hosted by massive dark matter halos with M_halo > 5 x 10^12 M_sun irrespective of redshift or stellar mass. Our findings are consistent with models in which a critical halo mass determines the transition from star-forming to passive galaxies. Star-forming galaxies show no strong correlation between stellar mass and halo mass, but passive galaxies show evidence for an anti-correlation; low-mass passive galaxies appear, on average, to be located in the most massive halos. These results can be understood if the termination of star formation is most efficient for galaxies of low stellar mass in very dense environments.