title: Distributed Formal Concept Analysis Algorithms Based on an Iterative MapReduce Framework

abstract: While many existing formal concept analysis algorithms are efficient, they are typically unsuitable for distributed implementation. Taking the MapReduce (MR) framework as our inspiration we introduce a distributed approach for performing formal concept mining. Our method has its novelty in that we use a light-weight MapReduce runtime called Twister which is better suited to iterative algorithms than recent distributed approaches. First, we describe the theoretical foundations underpinning our distributed formal concept analysis approach. Second, we provide a representative exemplar of how a classic centralized algorithm can be implemented in a distributed fashion using our methodology: we modify Ganter's classic algorithm by introducing a family of MR* algorithms, namely MRGanter and MRGanter+ where the prefix denotes the algorithm's lineage. To evaluate the factors that impact distributed algorithm performance, we compare our MR* algorithms with the state-of-the-art. Experiments conducted on real datasets demonstrate that MRGanter+ is efficient, scalable and an appealing algorithm for distributed problems.


title: Search for heavy neutrinos and W[R] bosons with right-handed couplings in a left-right symmetric model in pp collisions at sqrt(s) = 7 TeV

abstract: Results are presented from a search for heavy, right-handed muon neutrinos, N[mu], and right-handed W[R] bosons, which arise in the left-right symmetric extensions of the standard model. The analysis is based on a 5.0 inverse femtobarn sample of proton-proton collisions at a center-of-mass energy of 7 TeV, collected by the CMS detector at the Large Hadron Collider. No evidence is observed for an excess of events over the standard model expectation. For models with exact left-right symmetry, heavy right-handed neutrinos are excluded at 95% confidence level for a range of neutrino masses below the W[R] mass, dependent on the value of M(W[R]). The excluded region in the two-dimensional (M(W[R]), M(N[mu])) mass plane extends to M(W[R]) = 2.5 TeV.


title: Detecting Classical Phase Transitions with Renyi Mutual Information

abstract: By developing a method to represent the Renyi entropies via a replica-trick on classical statistical mechanical systems, we introduce a procedure to calculate the Renyi Mutual Information in any Monte Carlo simulation. Through simulations on several classical models, we demonstrate that the Renyi Mutual Information can detect finite-temperature critical points, and even identify their universality class, without knowledge of an order parameter or other thermodynamic estimators. Remarkably, in addition to critical points mediated by symmetry breaking, the Renyi Mutual Information is able to detect topological vortex-unbinding transitions, as we explicitly demonstrate on simulations of the XY model.


title: Correlation functions in the holographic replica method

abstract: Disorder has long been a difficult subject in condensed matter systems and the The replica method is a well-known tool in this field. Implementing the replica method the AdS/CFT correspondence has been proposed and discussed in literatures. We point out, for any CFT that has a holographic dual and to the leading order of the large-N expansion, the corrections due to the presence of random disorder to any connected correlation functions vanish identically, provided that the disorder strength is normalized as discussed in literatures and that the symmetry among replicas is unbroken. Same must hold true to any observables that are determined by the connected correlation functions through a linear relation. This behavior resembles strongly that of a free theory where disorder is coupled to the fundamental field. We demonstrate this by both the means of holographic principle and field theory analysis in a toy model. We also propose ways of evaluating the non-zero sub-leading effects perturbatively in terms of the disorder strength and discuss a novel possibility of defining a new holographic dual if we adopt a different normalization for the disorder strength.


title: Extended Photometry for the DEEP2 Galaxy Redshift Survey: A Testbed for Photometric Redshift Experiments

abstract: This paper describes a new catalog that supplements the existing DEEP2 Galaxy Redshift Survey photometric and spectroscopic catalogs with ugriz photometry from two other surveys; the Canada-France-Hawaii Legacy Survey (CFHTLS) and the Sloan Digital Sky Survey (SDSS). Each catalog is cross-matched by position on the sky in order to assign ugriz photometry to objects in the DEEP2 catalogs. We have recalibrated the CFHTLS photometry where it overlaps DEEP2 in order to provide a more uniform dataset. We have also used this improved photometry to predict DEEP2 BRI photometry in regions where only poorer measurements were available previously. In addition, we have included improved astrometry tied to SDSS rather than USNO-A2.0 for all DEEP2 objects. In total this catalog contains ~27,000 objects with full ugriz photometry as well as robust spectroscopic redshift measurements, 64% of which have r > 23. By combining the secure and accurate redshifts of the DEEP2 Galaxy Redshift Survey with ugriz photometry, we have created a catalog that can be used as an excellent testbed for future photo-z studies, including tests of algorithms for surveys such as LSST and DES.


title: Quick Search for Rare Events

abstract: Rare events can potentially occur in many applications. When manifested as opportunities to be exploited, risks to be ameliorated, or certain features to be extracted, such events become of paramount significance. Due to their sporadic nature, the information-bearing signals associated with rare events often lie in a large set of irrelevant signals and are not easily accessible. This paper provides a statistical framework for detecting such events so that an optimal balance between detection reliability and agility, as two opposing performance measures, is established. The core component of this framework is a sampling procedure that adaptively and quickly focuses the information-gathering resources on the segments of the dataset that bear the information pertinent to the rare events. Particular focus is placed on Gaussian signals with the aim of detecting signals with rare mean and variance values.


title: Exclusive final states in diffractive excitation

abstract: In this paper we describe a formalism for generating exclusive final states in diffractive excitation, based on the optical analogy where diffraction is fully determined by the absorption into inelastic channels. The formalism is based on the Good--Walker formalism for diffractive excitation, and it is assumed that the virtual parton cascades represent the diffractive eigenstates defined by a definite absorption amplitude. We emphasize that, although diffractive excitation is basically a quantum-mechanical phenomenon with strong interference effects, it is possible to calculate the different interfering components to the amplitude in an event generator, add them and thus calculate the reaction cross section for exclusive diffractive final states. The formalism is implemented in the DIPSY event generator, introducing no tunable parameters beyond what has been determined previously in studies of non-diffractive events. Some early results from DIS and proton-proton collisions are presented, and compared to experimental data.


title: Superconductivity at the onset of spin-density-wave order in a metal

abstract: We revisit the issue of superconductivity at the quantum-critical point (QCP) between a 2D paramagnet and a spin-density-wave metal with ordering momentum (\pi,\pi). This problem is highly non-trivial because the system at criticality displays a non-Fermi liquid behavior and because the effective coupling constant \lambda for the pairing is generally of order one, even when the actual interaction is smaller than fermionic bandwidth. Previous study [M. A. Metlitski, S. Sachdev, Phys.Rev.B 82, 075128 (2010)] has found that the renormalizations of the pairing vertex are stronger than in BCS theory and hold in powers of \log^2 (1/T), like in color superconductivity. We analyze the full gap equation and argue that, for QCP problem, summing up of the leading logarithms does not lead to a pairing instability. Yet, we show that superconductivity has no threshold and appears even if the coupling is set to be small, because subleading logarithmical renormalizations diverge and give rise to BCS-like \log(1/T_c) \propto 1/\lambda. We argue that the analogy with BCS is not accidental as at small coupling superconductivity at a QCP predominantly comes from fermions which retain Fermi liquid behavior at criticality. We computed T_c for the actual \lambda \sim 1, and found that both Fermi-liquid and non-Fermi liquid fermions contribute to the pairing. The value of T_c agrees well with the numerical results.


title: Local and non-local electron-phonon couplings in K3Picene and the effect of metallic screening

abstract: We analyze the properties of electron-phonon couplings in K3Picene by exploiting a molecular orbital representation derived in the maximally localized Wannier function formalism. This allows us to go beyond the analysis done in Phys. Rev. Lett. 107, 137006 (2011), and separate not only the intra- and intermolecular phonon contributions but also the local and non-local electronic states in the electron-phonon matrix elements. Despite the molecular nature of the crystal, we find that the purely molecular contributions (Holstein-like couplings where the local deformation potential is coupled to intramolecular phonons) account for only 20% of the total electron-phonon interaction lambda. In particular, the Holstein-like contributions to lambda in K3Picene are four times smaller than those computed for an isolated neutral molecule, as they are strongly screened by the metallic bands of the doped crystal. Our findings invalidate the use of molecular electron-phonon calculations to estimate the total electron-phonon coupling in metallic picene, and possibly in other doped metallic molecular crystals. The major contribution (80%) to lambda in K3Picene comes from non-local couplings due to phonon modulated hoppings. We show that the crystal geometry together with the molecular picene structure leads to a strong 1D spatial anisotropy of the non-local couplings. Finally, based on the parameters derived from our density functional theory calculations, we propose a lattice modelization of the electron-phonon couplings in K3Picene which gives 90% of ab-initio lambda.


title: Gain-Driven Discrete Breathers in PT-Symmetric Nonlinear Metamaterials

abstract: We introduce a one dimensional parity-time (PT)-symmetric nonlinear magnetic metamaterial consisted of split ring dimers having both gain and loss. When nonlinearity is absent we find a transition between an exact to a broken PT-phase; in the former the system features a two band gapped spectrum with shape determined by the gain and loss coefficients as well as the inter-unit coupling. In the presence of nonlinearity we show numerically that as a result of the gain/dissipation matching a novel type of long-lived stable discrete breathers can form below the lower branch of the band with no attenuation. In these localized modes the energy is almost equally partitioned between two adjacent split rings on the one with gain and the other one with loss.


title: Randomly Weighted Self-normalized L\'evy Processes

abstract: Let $(U_t,V_t)$ be a bivariate L\'evy process, where $V_t$ is a subordinator and $U_t$ is a L\'evy process formed by randomly weighting each jump of $V_t$ by an independent random variable $X_t$ having cdf $F$. We investigate the asymptotic distribution of the self-normalized L\'evy process $U_t/V_t$ at 0 and at $\infty$. We show that all subsequential limits of this ratio at 0 ($\infty$) are continuous for any nondegenerate $F$ with finite expectation if and only if $V_t$ belongs to the centered Feller class at 0 ($\infty$). We also characterize when $U_t/V_t$ has a non-degenerate limit distribution at 0 and $\infty$.


title: Equality of P-partition generating functions

abstract: To every labeled poset (P,\omega), one can associate a quasisymmetric generating function for its (P,\omega)-partitions. We ask: when do two labeled posets have the same generating function? Since the special case corresponding to skew Schur function equality is still open, a complete classification of equality among (P,\omega) generating functions is likely too much to expect. Instead, we determine necessary conditions and separate sufficient conditions for two labeled posets to have equal generating functions. We conclude with a classification of all equalities for labeled posets with small numbers of linear extensions.


title: The Baryon Acoustic Oscillation Broadband and Broad-beam Array: Design Overview and Sensitivity Forecasts

abstract: This work describes a new instrument optimized for a detection of the neutral hydrogen 21cm power spectrum between redshifts of 0.5-1.5: the Baryon Acoustic Oscillation Broadband and Broad-beam (BAOBAB) Array. BAOBAB will build on the efforts of a first generation of 21cm experiments which are targeting a detection of the signal from the Epoch of Reionization at z ~ 10. At z ~ 1, the emission from neutral hydrogen in self-shielded overdense halos also presents an accessible signal, since the dominant, synchrotron foreground emission is considerably fainter than at redshift 10. The principle science driver for these observations are Baryon Acoustic Oscillations in the matter power spectrum which have the potential to act as a standard ruler and constrain the nature of dark energy. BAOBAB will fully correlate dual-polarization antenna tiles over the 600-900MHz band with a frequency resolution of 300 kHz and a system temperature of 50K. The number of antennas will grow in staged deployments, and reconfigurations of the array will allow for both traditional imaging and high power spectrum sensitivity operations. We present calculations of the power spectrum sensitivity for various array sizes, with a 35-element array measuring the cosmic neutral hydrogen fraction as a function of redshift, and a 132-element system detecting the BAO features in the power spectrum, yielding a 1.8% error on the z ~ 1 distance scale, and, in turn, significant improvements to constraints on the dark energy equation of state over an unprecedented range of redshifts from ~0.5-1.5.


title: The Planck-ATCA Co-eval Observations (PACO) project: the spectrally-selected sample

abstract: The Planck-ATCA Co-eval Observations (PACO) have provided multi-frequency (5-40 GHz) flux density measurements of complete samples of Australia Telescope 20 GHz (AT20G) radio sources at frequencies below and overlapping with Planck frequency bands, almost simultaneously with Planck observations. In this work we analyse the data in total intensity for the spectrally-selected PACO sample, a complete sample of 69 sources brighter than 200 mJy at 20 GHz selected from the AT20G survey catalogue to be inverted or upturning between 5 and 20 GHz. We study the spectral behaviour and variability of the sample. We use the variability between AT20G (2004-2007) and PACO (2009-2010) epochs to discriminate between candidate High Frequency Peakers (HFPs) and candidate blazars. The HFPs picked up by our selection criteria have spectral peaks > 10 GHz in the observer frame and turn out to be rare (<0.5% of the S >200 mJy sources), consistent with the short duration of this phase implied by the `youth' scenario. Most (~ 89 %) of blazar candidates have remarkably smooth spectra, well described by a double power-law, suggesting that the emission in the PACO frequency range is dominated by a single emitting region. Sources with peaked PACO spectra show a decrease of the peak frequency with time at a mean rate of -3 +- 2 GHz/yr on an average timescale of \tau = 2.1 +- 0.5 yr. The 5-20 GHz spectral indices show a systematic decrease from AT20G to PACO observations. At higher frequencies spectral indices steepen: the median \alpha 30-40 GHz is steeper than the median \alpha 5-20 GHz by \delta\alpha = 0.6. Taking further into account the WISE data we find that the SEDs, \nu S(\nu), of most of our blazars peak at \nu_p <10^5 GHz; the median peak wavelength is \lambda_p ~93 \mu m. Only 6 have \nu_p>10^5 GHz.


title: Finite speed of propagation for stochastic porous media equations

abstract: We prove finite speed of propagation for stochastic porous media equations perturbed by linear multiplicative space-time rough signals. Explicit and optimal estimates for the speed of propagation are given. The result applies to any continuous driving signal, thus including fractional Brownian motion for all Hurst parameters. The explicit estimates are then used to prove that the corresponding random attractor has infinite fractal dimension.


title: Precision Electroweak Constraints on the N=3 Lee-Wick Standard Model

abstract: The Lee-Wick (LW) formulation of higher-derivative theories can be extended from one in which the extra degrees of freedom are represented as a single heavy, negative-norm partner for each known particle (N=2), to one in which a second, positive-norm partner appears (N=3). We explore the extent to which the presence of these additional states in a LW Standard Model affect precision electroweak observables, and find that they tend either to have a marginal effect (e.g., quark partners on T), or a substantial beneficial effect (e.g., Higgs partners on the Zbb couplings). We find that precision constraints allow LW partners to exist in broad regions of mass parameter space accessible at the LHC, making LW theories a viable beyond-Standard Model candidate.


title: Quiescent X-Ray/Optical Counterparts of the Black Hole Transient H 1705-250

abstract: We report the result of a new Chandra observation of the black hole X-ray transient H 1705-250 in quiescence. H 1705-250 was barely detected in the new 50 ks Chandra observation. With 5 detected counts, we estimate the source quiescent luminosity to be Lx~9.1e30 erg/s in the 0.5-10 keV band (adopting a distance of 8.6 kpc). This value is in line with the quiescent luminosities found among other black hole X-ray binaries with similar orbital periods. By using images taken with the Faulkes Telescope North, we derive a refined position of H 1705-250. We also present the long-term lightcurve of the optical counterpart from 2006 to 2012, and show evidence for variability in quiescence.


title: Ferroelectric Soft Phonons, Charge Density Wave Instability and Strong Electron-Phonon Coupling in BiS2-Layered Superconductors

abstract: Very recently a new family of layered materials, containing BiS2 planes was discovered to be superconducting at temperatures up to Tc=10 K, raising questions about the mechanism of superconductivity in these systems. Here, we present state-of-the-art first principles calculations that directly address this question and reveal several surprising findings. The parent compound LaOBiS2 possesses anharmonic ferroelectric soft phonons at the zone center with a rather large polarization of $\approx 10 \mu C/cm^2$, which is comparable to the well-known ferroelectric BiFeO3. Upon electron doping, new unstable phonon branches appear along the entire line Q=(q,q,0), causing Bi/S atoms to order in a one-dimensional charge density wave (CDW). We find that BiS2 is a strong electron-phonon coupled superconductor in the vicinity of competing ferroelectric and CDW phases. Our results suggest new directions to tune the balance between these phases and increase Tc in this new class of materials.


title: Flashcard games

abstract: We study a certain family of discrete dynamical processes introduced by Novikoff, Kleinberg and Strogatz that we call flashcard games. We prove a number of results on the evolution of these games, an in particular we settle a conjecture of NKS on the frequency with which a given card appears. We introduce a number of generalizations and variations that we believe are of interest, and provide a large number of open questions and problems.


title: Equivariant Bifurcation and Absolute Irreducibility in $\R^8$ A contribution to the Ize conjecture

abstract: M. Field [5] refers to an unpublished work by J. Ize for a result that loss of stability through an absolutely irreducible representation of a compact Lie group leads to bifurcation of steady states. The main ingredient of the proof is the hypotheses, that for an absolutely irreducible representation of a compact Lie group there exists a closed subgroup whose fixed point space is odd dimensional. Then, using Brouwer degree, one gets the result. We refer to the hypotheses that for an absolutely irreducible representation of a compact Lie group there exists at least one subgroup with an odd dimensional fixed point space as the algebraic Ize conjecture (AIC). Lauterbach and Matthews [10] have shown that the (AIC) is in general not true. In fact they have constructed three infinite families of finite subgroups of SO{4} which act absolutely irreducibly on $\R^4$ and for each of them any isotropy subgroup has an even dimensional fixed point space. Moreover in [10] it is shown that in spite of this failure of the (AIC) the original conjecture is true at least for groups in two of these three families. In this paper we show a similar bifurcation result for the third family defined in [10]. We go on and construct a family of groups acting absolutely irreducibly on $\R^8$ which have only even dimensional fixed point spaces. Then we discuss the steady state bifurcations in this case. We end this paper with a discussion on how to extend the results in [10] to larger sets of groups which act on $\R^{4}$.


title: Simulated Tom Thumb, the Rule Of Thumb for Autonomous Robots

abstract: For a mobile robot to be truly autonomous, it must solve the simultaneous localization and mapping (SLAM) problem. We develop a new metaheuristic algorithm called Simulated Tom Thumb (STT), based on the detailed adventure of the clever Tom Thumb and advances in researches relating to path planning based on potential functions. Investigations show that it is very promising and could be seen as an optimization of the powerful solution of SLAM with data association and learning capabilities. STT outperform JCBB. The performance is 100 % match.


title: Search for excited leptons in pp collisions at sqrt(s) = 7 TeV

abstract: Results are presented of a search for compositeness in electrons and muons using a data sample of pp collisions at a center-of-mass energy sqrt(s) = 7 TeV collected with the CMS detector at the LHC and corresponding to an integrated luminosity of 5.0 inverse femtobarns. Excited leptons (lstar) are assumed to be produced via contact interactions in conjunction with a standard model lepton and to decay via lstar to l gamma, yielding a final state with two energetic leptons and a photon. The number of events observed in data is consistent with that expected from the standard model. The 95% confidence upper limits for the cross section for the production and decay of excited electrons (muons), with masses ranging from 0.6 to 2 TeV, are 1.48 to 1.24 fb (1.31 to 1.11 fb). Excited leptons with masses below 1.9 TeV are excluded for the case where the contact interaction scale equals the excited lepton mass. These are the best limits published to date.


title: Resurgence and Trans-series in Quantum Field Theory: The CP(N-1) Model

abstract: This work is a step towards a non-perturbative continuum definition of quantum field theory (QFT), beginning with asymptotically free two dimensional non-linear sigma-models, using recent ideas from mathematics and QFT. The ideas from mathematics are resurgence theory, the trans-series framework, and Borel-Ecalle resummation. The ideas from QFT use continuity on R^1 x S^1_L, i.e, the absence of any phase transition as N \to infinity, or rapid-crossovers for finite-N, and the small-L weak coupling limit to render the semi-classical sector well-defined and calculable. We classify semi-classical configurations with actions 1/N (kink-instantons), 2/N (bions and bi-kinks), in units where the 2d instanton action is normalized to one. Perturbation theory possesses the IR-renormalon ambiguity that arises due to non-Borel summability of the large-orders perturbation series (of Gevrey-1 type), for which a microscopic cancellation mechanism was unknown. This divergence must be present because the corresponding expansion is on a singular Stokes ray in the complexified coupling constant plane, and the sum exhibits the Stokes phenomenon crossing the ray. We show that there is also a non-perturbative ambiguity inherent to certain neutral topological molecules (neutral bions and bion-anti-bions) in the semiclassical expansion. We find a set of "confluence equations" that encode the exact cancellation of the two different type of ambiguities. We show that a new notion of "graded resurgence triangle" is necessary to capture the path integral approach to resurgence, and that graded resurgence underlies a potentially rigorous definition of general QFTs. The mass gap and the Theta angle dependence of vacuum energy are calculated from first principles, and are in accord with large-N and lattice results.


title: Large-field-of-view Chip-scale Talbot-grid-based Fluorescence Microscopy

abstract: The fluorescence microscope is one of the most important tools in modern clinical diagnosis and biological science. However, its expense, size and limited field-of-view (FOV) are becoming bottlenecks in key applications such as large-scale phenotyping and low-resource-setting diagnostics. Here we report a low-cost, compact chip-scale fluorescence-imaging platform, termed the Fluorescence Talbot Microscopy (FTM), which utilizes the Talbot self-imaging effect to enable efficient fluorescence imaging over a large and directly-scalable FOV. The FTM prototype has a resolution of 1.2 microns and an FOV of 3.9 mm x 3.5 mm. We demonstrate the imaging capability of FTM on fluorescently labeled breast cancer cells (SK-BR-3) and HEK cells expressing green fluorescent protein.


title: Nonreciprocal resonant transmission/reflection based on a one-dimensional photonic crystal adjacent to the magneto-optical metal film

abstract: We report the design of nonreciprocal resonant transmission/reflection using a one-dimensional photonic crystal (1DPC) adjacent to the magneto-optical (MO) metal film. The nonreciprocal surface modes are found at the interface between the PC and MO metal within the forbidden band of native PC structure. Breaking time-reversal symmetry using external magnetic field gives rise of such unique nonreciprocal properties. Quantitatively understanding of nonreciprocal resonant optical transmission/reflection behavior is performed using an effective admittance-matching theory. With excitation of the nonreciprocal surface modes, light can transmit and be reflected in one-way. Such design offers promising potential in realizing the optical diode.


title: Physics peeks into the ballot box

abstract: Electoral results show universal features, such as statistics of candidates' performance and turnout rates, in different countries and over time. Are voters as predictable as atoms?


title: Adversus singularitates: The ontology of space-time singularities

abstract: I argue that there are no physical singularities in space-time. Singular space-time models do not belong to the ontology of the world, because of a simple reason: they are concepts, defective solutions of Einstein's field equations. I discuss the actual implication of the so-called singularity theorems. In remarking the confusion and fog that emerge from the reification of singularities I hope to contribute to a better understanding of the possibilities and limits of the theory of General Relativity.


title: Reduction of five-dimensional uniformly Levi degenerate CR structures to absolute parallelisms

abstract: Let ${\mathfrak C}_{2,1}$ be the class of connected 5-dimensional CR-hypersurfaces that are 2-nondegenerate and uniformly Levi degenerate of rank 1. We show that the CR-structures in ${\mathfrak C}_{2,1}$ are reducible to ${\mathfrak{so}}(3,2)$-valued absolute parallelisms and give applications of this result.


title: Mining Permission Request Patterns from Android and Facebook Applications (extended author version)

abstract: Android and Facebook provide third-party applications with access to users' private data and the ability to perform potentially sensitive operations (e.g., post to a user's wall or place phone calls). As a security measure, these platforms restrict applications' privileges with permission systems: users must approve the permissions requested by applications before the applications can make privacy- or security-relevant API calls. However, recent studies have shown that users often do not understand permission requests and lack a notion of typicality of requests. As a first step towards simplifying permission systems, we cluster a corpus of 188,389 Android applications and 27,029 Facebook applications to find patterns in permission requests. Using a method for Boolean matrix factorization for finding overlapping clusters, we find that Facebook permission requests follow a clear structure that exhibits high stability when fitted with only five clusters, whereas Android applications demonstrate more complex permission requests. We also find that low-reputation applications often deviate from the permission request patterns that we identified for high-reputation applications suggesting that permission request patterns are indicative for user satisfaction or application quality.


title: Next-to-leading-order QCD corrections to the yields and polarisations of J/Psi and Upsilon directly produced in association with a Z boson at the LHC

abstract: We update the study of the production of direct J/Psi in association with a Z boson at the Next-to-Leading Order (NLO) in alpha_s by evaluating both the yield differential in P_T and the J/Psi polarisation in the QCD-based Colour-Singlet Model (CSM). Contrary to an earlier claim, QCD corrections at small and mid P_T are small if one assumes that the factorisation and the renormalisation scales are commensurate with the Z boson mass. As it can be anticipated, the t-channel gluon-exchange (t-CGE) topologies start to be dominant only for P_T > mZ/2. The polarisation pattern is not altered by the QCD corrections. This is thus far the first quarkonium-production process where this is observed in the CSM. Along the same lines, our predictions for direct Upsilon+Z are also given.


title: Modular lattices from finite projective planes

abstract: Using the geometry of the projective plane over the finite field F_q, we construct a Hermitian Lorentzian lattice L_q of dimension (q^2 + q + 2) defined over a certain number ring $\cO$ that depends on q. We show that infinitely many of these lattices are p-modular, that is, p L'_q = L_q, where p is some prime in $\cO$ such that |p|^2 = q. The reflection group of the Lorentzian lattice obtained for q = 3 seems to be closely related to the monster simple group via the presentation of the bimonster as a quotient of the Coxeter group on the incidence graph of P^2(F_3). The Lorentzian lattices L_q sometimes lead to construction of interesting positive definite lattices. In particular, if q is a rational prime that is 3 mod 4, and (q^2 + q + 1) is norm of some element in Q[\sqrt{-q}], then we find a 2q(q+1) dimensional even unimodular positive definite integer lattice M_q such that Aut(M_q) contains PGL(3,F_q). We find that M_3 is the Leech lattice.


title: The challenge of large and empty voids in the SDSS DR7 redshift survey

abstract: We present catalogues of voids for the SDSS DR7 redshift survey and for Millennium I simulation mock data. We aim to compare the observations with simulations based on a $\Lambda$CDM model and a semi-analytic galaxy formation model. We use the void statistics as a test for these models. We assembled a mock catalogue that closely resembles the SDSS DR7 catalogue and carried out a parallel statistical analysis of the observed and simulated catalogue. We find that in the observation and the simulation, voids tend to be equally spherical. The total volume occupied by the voids and their total number are slightly larger in the simulation than in the observation. We find that large voids are less abundant in the simulation and the total luminosity of the galaxies contained in a void with a given radius is higher on average than observed by SDSS DR7 survey. We expect these discrepancies to be even more significant in reality than found here since the present value of $\sigma_8$ given by WMAP7 is lower than the value of 0.9 used in the Millennium I simulation. The reason why the simulation fails to produce enough large and dark voids might be the failure of certain semi-analytic galaxy formation models to reduce the small-scale power of $\Lambda$CDM and to produce sufficient power on large scales.


title: On the Galois group some Fuchsian systems

abstract: The aim of this paper is to give a new result of the differential Galois theory of linear ordinary differential equations. In particular, we compute differential Galois group for special type non-resonant Fuchsian system.


title: Transforming Fabry-Perot resonances into a Tamm mode

abstract: We propose a novel photonic structure composed of metal nanolayer, Bragg mirror and metal nanolayer. The structure supports resonances that are transitional between Fabry-Perot and Tamm modes. When the dielectric contrast of the DBR is removed these modes are a pair of conventional Fabry-Perot resonances. They spectrally merge into a Tamm mode at high contrast. Such behavior differs from the results for structures supporting Tamm modes reported earlier. The optical properties of the structure in the frequency range of the DBR stop band, including highly beneficial 50% transmittivity through thick structures, are determined by the introduced in the paper hybrid resonances. The results can find a wide range of photonic applications.


title: Uniform approximation of metrics by graphs

abstract: We say that a metric graph is uniformly bounded if the degrees of all vertices are uniformly bounded and the lengths of edges are pinched between two positive constants; a metric space is approximable by a uniform graph if there is one within a finite Gromov-Hausdorff distance. We show that the Euclidean plane and Gromov hyperbolic geodesic spaces with bounded geometry are approximable by uniform graphs, and pose a number of open problems.


title: Comment on "Thermal fluctuations of magnetic nanoparticles" [arXiv:1209.0298]

abstract: We comment on some misleading and biased statements appearing in the manuscript arXiv:1209.0298 ("Thermal fluctuations of magnetic nanoparticles") about the use of the damped Landau-Lifshitz equation and the kinetic Langer theory for the calculation of the relaxation rate of magnetic nanoclusters. We reiterate simple scientific arguments, part of which is well known to the whole community, demonstrating that the authors' criticisms are unfounded and that they overstate the issue of damping in the Landau-Lifshitz equation with no unanimous experimental evidence.


title: Dispersive effects in the unitary Fermi gas

abstract: We investigate within density functional theory various physical properties of the zero-temperature unitary Fermi gas which critically depend on the presence of a dispersive gradient term in the equation of state. First, we consider the unitary Fermi superfluid gas confined to a semi-infinite domain and calculate analytically its density profile and surface tension. Then we study the quadrupole modes of the superfluid system under harmonic confinement finding a reliable analytical formula for the oscillation frequency, which reduces to the familiar Thomas-Fermi one in the limit of a large number of atoms. Finally, we discuss the formation and propagation of dispersive shock waves in the collision between two resonant fermionic clouds, and compare our findings with recent experimental results.


title: Phase quenching in finite-density QCD: models, holography, and lattice

abstract: Finite-density QCD is difficult to study numerically because of the sign problem. We prove that, in a certain region of the phase diagram, the phase quenched approximation is exact to O(Nf/Nc). It is true for any physical observables. We also consider the implications for the lattice simulations and find a quantitative evidence for the validity of the phase quenching from existing lattice QCD results at Nc=3. Our results show that the phase-quench approximation is rather good already at Nc=3, and the 1/Nc correction can be incorporated by the phase reweighting method without suffering from the overlap problem. We also show the same equivalence in effective models and holographic models.


title: Probing the Low-x Structure of the Nucleus with the PHENIX Detector

abstract: One of the fundamental goals of the PHENIX experiment is to understand the structure of cold nuclear matter, since this serves as the initial state for heavy-ion collisions. Knowing the initial state is vital for interpreting measurements from heavy-ion collisions. Moreover, the structure of the cold nucleus by itself is interesting since it is a test-bed for our understanding of QCD. In particular there is the possibility of novel QCD effects such as gluon saturation at low-x in the nucleus. At RHIC we can probe the behavior of gluons at low-x by measuring the pair cross-section of di-hadrons from di-jets in d+Au collisions. Our results show a systematic decrease in the pair cross-section as one goes to smaller impact parameters of the nucleus, and also as one goes to lower Bjorken x. There is a possibility that these interesting effects come from gluon recombination at low x in the Au nucleus.


title: Group Model Selection Using Marginal Correlations: The Good, the Bad and the Ugly

abstract: Group model selection is the problem of determining a small subset of groups of predictors (e.g., the expression data of genes) that are responsible for majority of the variation in a response variable (e.g., the malignancy of a tumor). This paper focuses on group model selection in high-dimensional linear models, in which the number of predictors far exceeds the number of samples of the response variable. Existing works on high-dimensional group model selection either require the number of samples of the response variable to be significantly larger than the total number of predictors contributing to the response or impose restrictive statistical priors on the predictors and/or nonzero regression coefficients. This paper provides comprehensive understanding of a low-complexity approach to group model selection that avoids some of these limitations. The proposed approach, termed Group Thresholding (GroTh), is based on thresholding of marginal correlations of groups of predictors with the response variable and is reminiscent of existing thresholding-based approaches in the literature. The most important contribution of the paper in this regard is relating the performance of GroTh to a polynomial-time verifiable property of the predictors for the general case of arbitrary (random or deterministic) predictors and arbitrary nonzero regression coefficients.


title: Observational evidences for spinning black holes: A proof of general relativity for spacetime around rotating black holes

abstract: Since it was theorized by Kerr in 1963, determining the spin of black holes from observed data was paid very little attention until few years back. The main reasons behind this were the unavailability of adequate data and the lack of appropriate techniques. In this article, we explore determining/predicting the spin of several black holes in X-ray binaries and in the center of galaxies, using X-ray and gamma-ray satellite data. For X-ray binaries, in order to explain observed quasi-periodic oscillations, our model predicts the spin parameter of underlying black holes. On the other hand, the nature of spin parameters of black holes in BL Lacs and Flat Spectrum Radio Quasars is predicted by studying the total luminosities of systems based on Fermi gamma-ray data. All sources considered here exhibit characteristics of spinning black holes, which verifies natural existence of the Kerr metric.


title: Polygons with Parallel Opposite Sides

abstract: In this paper we consider planar polygons with parallel opposite sides. This type of polygons can be regarded as discretizations of closed convex planar curves by taking tangent lines at samples with pairwise parallel tangents. For this class of polygons, we define discrete versions of the area evolute, central symmetry set, equidistants and area parallels and show that they behave quite similarly to their smooth counterparts.


title: Transience, recurrence and speed of diffusions with a non-Markovian two-phase "use it or lose it" drift

abstract: We investigate the transience/recurrence of a non-Markovian, one-dimensional diffusion process which consists of a Brownian motion with a non-anticipating drift that has two phases---a transient to $+\infty$ mode which is activated when the diffusion is sufficiently near its running maximum, and a recurrent mode which is activated otherwise. We also consider the speed of a diffusion with a two-phase drift, where the drift is equal to a certain positive constant when the diffusion is sufficiently near its running maximum, and is equal to another positive constant otherwise.


title: Relativistic Bose-Einstein condensation with disorder

abstract: We investigate the thermodynamics of a self-interacting relativistic charged scalar field in the presence of weak disorder. We consider quenched disorder which couples linearly to the mass of the scalar field. After performing noise averages over the free energy of the system, we find that disorder increases the mean-field critical temperature for Bose-Einstein condensation at finite density. The effect of disorder on the temperature dependence of the chemical potential for a fixed charge density is investigated. Significant differences from the mean-field temperature dependence of the chemical potential are observed as the strength of the noise intensity increases. Finally, the temperature dependence of the chemical potential with fixed total charge and entropy is investigated. It is found that there is no Bose-Einstein condensation for a fixed charge to entropy ratio in the presence of weak disorder. The possible relevance of the findings in the present paper in different areas is discussed.


title: A Detailed Spatiokinematic Model of the Conical Outflow of the Multipolar Planetary Nebula, NGC 7026

abstract: We present an extensive, long-slit, high-resolution coverage of the complex planetary nebula (PN), NGC 7026. We acquired ten spectra using the Manchester Echelle Spectrometer at San Pedro Martir Observatory in Baja California, Mexico, and each shows exquisite detail, revealing the intricate structure of this object. Incorporating these spectra into the 3-dimensional visualization and kinematic program, SHAPE, and using HST images of NGC 7026, we have produced a detailed structural and kinematic model of this PN. NGC 7026 exhibits remarkable symmetry consisting of three lobe-pairs and four sets of knots, all symmetrical about the nucleus and displaying a conical outflow. Comparing the 3-D structure of this nebula to recent, XMM-Newton X-ray observations, we investigate the extended X-ray emission in relation to the nebular structure. We find that the X-ray emission, while confined to the closed, northern lobes of this PN, shows an abrupt termination in the middle of the SE lobe, which our long slit data shows to be open. This is where the shocked, fast wind seems to be escaping the interior of the nebula and the X-ray emission rapidly cools in this region.


title: The Weight of Emptiness: The Gravitational Lensing Signal of Stacked Voids

abstract: The upcoming new generation of spectroscopic galaxy redshift surveys will provide large samples of cosmic voids, the distinct, large underdense structures in the universe. Combining these with future galaxy imaging surveys, we study the prospects of probing the underlying matter distribution in and around cosmic voids via the weak gravitational lensing effects of stacked voids, utilizing both shear and magnification information. The statistical precision is greatly improved by stacking together a large number of voids along different lines of sight, even when taking into account the impact of inherent miscentering and projection effects. We show that Dark Energy Task Force Stage IV surveys, such as the Euclid satellite and the Large Synoptic Survey Telescope, should be able to detect the void lensing signal with sufficient precision from stacking abundant medium-sized voids, thus providing direct constraints on the matter density profile of voids independent of assumptions on galaxy bias.


title: Nearly Cloaking the Full Maxwell Equations

abstract: The approximate cloaking is investigated for time-harmonic Maxwell's equations via the approach of transformation optics. The problem is reduced to certain boundary effect estimates due to an inhomogeneous electromagnetic inclusion with an asymptotically small support but an arbitrary content enclosed by a thin high-conducting layer. Sharp estimates are established in terms of the asymptotic parameter, which are independent of the material tensors of the small electromagnetic inclusion. The result implies that the `blow-up-a-small-region' construction via the transformation optics approach yields a near-cloak for the electromagnetic waves. A novelty lies in the fact that the geometry of the cloaking construction of this work can be very general. Moreover, by incorporating the conducting layer developed in the present paper right between the cloaked region and the cloaking region, arbitrary electromagnetic contents can be nearly cloaked. Our mathematical technique extends the general one developed in [30] for nearly cloaking scalar optics. In order to investigate the approximate electromagnetic cloaking for general geometries with arbitrary cloaked contents, new techniques and analysis tools must be developed for this more challenging vector optics case.


title: Modelling Implicit Communication in Multi-Agent Systems with Hybrid Input/Output Automata

abstract: We propose an extension of Hybrid I/O Automata (HIOAs) to model agent systems and their implicit communication through perturbation of the environment, like localization of objects or radio signals diffusion and detection. To this end we decided to specialize some variables of the HIOAs whose values are functions both of time and space. We call them world variables. Basically they are treated similarly to the other variables of HIOAs, but they have the function of representing the interaction of each automaton with the surrounding environment, hence they can be output, input or internal variables. Since these special variables have the role of simulating implicit communication, their dynamics are specified both in time and space, because they model the perturbations induced by the agent to the environment, and the perturbations of the environment as perceived by the agent. Parallel composition of world variables is slightly different from parallel composition of the other variables, since their signals are summed. The theory is illustrated through a simple example of agents systems.


title: Rapid Recovery for Systems with Scarce Faults

abstract: Our goal is to achieve a high degree of fault tolerance through the control of a safety critical systems. This reduces to solving a game between a malicious environment that injects failures and a controller who tries to establish a correct behavior. We suggest a new control objective for such systems that offers a better balance between complexity and precision: we seek systems that are k-resilient. In order to be k-resilient, a system needs to be able to rapidly recover from a small number, up to k, of local faults infinitely many times, provided that blocks of up to k faults are separated by short recovery periods in which no fault occurs. k-resilience is a simple but powerful abstraction from the precise distribution of local faults, but much more refined than the traditional objective to maximize the number of local faults. We argue why we believe this to be the right level of abstraction for safety critical systems when local faults are few and far between. We show that the computational complexity of constructing optimal control with respect to resilience is low and demonstrate the feasibility through an implementation and experimental results.


title: Interface Simulation Distances

abstract: The classical (boolean) notion of refinement for behavioral interfaces of system components is the alternating refinement preorder. In this paper, we define a distance for interfaces, called interface simulation distance. It makes the alternating refinement preorder quantitative by, intuitively, tolerating errors (while counting them) in the alternating simulation game. We show that the interface simulation distance satisfies the triangle inequality, that the distance between two interfaces does not increase under parallel composition with a third interface, and that the distance between two interfaces can be bounded from above and below by distances between abstractions of the two interfaces. We illustrate the framework, and the properties of the distances under composition of interfaces, with two case studies.


title: Model-Checking Process Equivalences

abstract: Process equivalences are formal methods that relate programs and system which, informally, behave in the same way. Since there is no unique notion of what it means for two dynamic systems to display the same behaviour there are a multitude of formal process equivalences, ranging from bisimulation to trace equivalence, categorised in the linear-time branching-time spectrum. We present a logical framework based on an expressive modal fixpoint logic which is capable of defining many process equivalence relations: for each such equivalence there is a fixed formula which is satisfied by a pair of processes if and only if they are equivalent with respect to this relation. We explain how to do model checking, even symbolically, for a significant fragment of this logic that captures many process equivalences. This allows model checking technology to be used for process equivalence checking. We show how partial evaluation can be used to obtain decision procedures for process equivalences from the generic model checking scheme.


title: Learn with SAT to Minimize B\"uchi Automata

abstract: We describe a minimization procedure for nondeterministic B\"uchi automata (NBA). For an automaton A another automaton A_min with the minimal number of states is learned with the help of a SAT-solver. This is done by successively computing automata A' that approximate A in the sense that they accept a given finite set of positive examples and reject a given finite set of negative examples. In the course of the procedure these example sets are successively increased. Thus, our method can be seen as an instance of a generic learning algorithm based on a "minimally adequate teacher" in the sense of Angluin. We use a SAT solver to find an NBA for given sets of positive and negative examples. We use complementation via construction of deterministic parity automata to check candidates computed in this manner for equivalence with A. Failure of equivalence yields new positive or negative examples. Our method proved successful on complete samplings of small automata and of quite some examples of bigger automata. We successfully ran the minimization on over ten thousand automata with mostly up to ten states, including the complements of all possible automata with two states and alphabet size three and discuss results and runtimes; single examples had over 100 states.


title: Automata-based Static Analysis of XML Document Adaptation

abstract: The structure of an XML document can be optionally specified by means of XML Schema, thus enabling the exploitation of structural information for efficient document handling. Upon schema evolution, or when exchanging documents among different collections exploiting related but not identical schemas, the need may arise of adapting a document, known to be valid for a given schema S, to a target schema S'. The adaptation may require knowledge of the element semantics and cannot always be automatically derived. In this paper, we present an automata-based method for the static analysis of user-defined XML document adaptations, expressed as sequences of XQuery Update update primitives. The key feature of the method is the use of an automatic inference method for extracting the type, expressed as a Hedge Automaton, of a sequence of document updates. The type is computed starting from the original schema S and from rewriting rules that formally define the operational semantics of a sequence of document updates. Type inclusion can then be used as conformance test w.r.t. the type extracted from the target schema S'.


title: Symbolic Representation of Algorithmic Game Semantics

abstract: In this paper we revisit the regular-language representation of game semantics of second-order recursion free Idealized Algol with infinite data types. By using symbolic values instead of concrete ones we generalize the standard notion of regular-language and automata representations to that of corresponding symbolic representations. In this way terms with infinite data types, such as integers, can be expressed as finite symbolic-automata although the standard automata interpretation is infinite. Moreover, significant reductions of the state space of game semantics models are obtained. This enables efficient verification of terms, which is illustrated with several examples.


title: The \mu-Calculus Alternation Hierarchy Collapses over Structures with Restricted Connectivity

abstract: It is known that the alternation hierarchy of least and greatest fixpoint operators in the mu-calculus is strict. However, the strictness of the alternation hierarchy does not necessarily carry over when considering restricted classes of structures. A prominent instance is the class of infinite words over which the alternation-free fragment is already as expressive as the full mu-calculus. Our current understanding of when and why the mu-calculus alternation hierarchy is not strict is limited. This paper makes progress in answering these questions by showing that the alternation hierarchy of the mu-calculus collapses to the alternation-free fragment over some classes of structures, including infinite nested words and finite graphs with feedback vertex sets of a bounded size. Common to these classes is that the connectivity between the components in a structure from such a class is restricted in the sense that the removal of certain vertices from the structure's graph decomposes it into graphs in which all paths are of finite length. Our collapse results are obtained in an automata-theoretic setting. They subsume, generalize, and strengthen several prior results on the expressivity of the mu-calculus over restricted classes of structures.


title: Deciding KAT and Hoare Logic with Derivatives

abstract: Kleene algebra with tests (KAT) is an equational system for program verification, which is the combination of Boolean algebra (BA) and Kleene algebra (KA), the algebra of regular expressions. In particular, KAT subsumes the propositional fragment of Hoare logic (PHL) which is a formal system for the specification and verification of programs, and that is currently the base of most tools for checking program correctness. Both the equational theory of KAT and the encoding of PHL in KAT are known to be decidable. In this paper we present a new decision procedure for the equivalence of two KAT expressions based on the notion of partial derivatives. We also introduce the notion of derivative modulo particular sets of equations. With this we extend the previous procedure for deciding PHL. Some experimental results are also presented.


title: Down the Borel Hierarchy: Solving Muller Games via Safety Games

abstract: We transform a Muller game with n vertices into a safety game with (n!)^3 vertices whose solution allows to determine the winning regions of the Muller game and to compute a finite-state winning strategy for one player. This yields a novel antichain-based memory structure and a natural notion of permissive strategies for Muller games. Moreover, we generalize our construction by presenting a new type of game reduction from infinite games to safety games and show its applicability to several other winning conditions.


title: Playing Pushdown Parity Games in a Hurry

abstract: We continue the investigation of finite-duration variants of infinite-duration games by extending known results for games played on finite graphs to those played on infinite ones. In particular, we establish an equivalence between pushdown parity games and a finite-duration variant. This allows us to determine the winner of a pushdown parity game by solving a reachability game on a finite tree.


title: The discrete strategy improvement algorithm for parity games and complexity measures for directed graphs

abstract: For some time the discrete strategy improvement algorithm due to Jurdzinski and Voge had been considered as a candidate for solving parity games in polynomial time. However, it has recently been proved by Oliver Friedmann that the strategy improvement algorithm requires super-polynomially many iteration steps, for all popular local improvements rules, including switch-all (also with Fearnley's snare memorisation), switch-best, random-facet, random-edge, switch-half, least-recently-considered, and Zadeh's Pivoting rule. We analyse the examples provided by Friedmann in terms of complexity measures for directed graphs such as treewidth, DAG-width, Kelly-width, entanglement, directed pathwidth, and cliquewidth. It is known that for every class of parity games on which one of these parameters is bounded, the winning regions can be efficiently computed. It turns out that with respect to almost all of these measures, the complexity of Friedmann's counterexamples is bounded, and indeed in most cases by very small numbers. This analysis strengthens in some sense Friedmann's results and shows that the discrete strategy improvement algorithm is even more limited than one might have thought. Not only does it require super-polynomial running time in the general case, where the problem of polynomial-time solvability is open, it even has super-polynomial lower time bounds on natural classes of parity games on which efficient algorithms are known.


title: Higher-Order Pushdown Systems with Data

abstract: We propose a new extension of higher-order pushdown automata, which allows to use an infinite alphabet. The new automata recognize languages of data words (instead of normal words), which beside each its letter from a finite alphabet have a data value from an infinite alphabet. Those data values can be loaded to the stack of the automaton, and later compared with some farther data values on the input. Our main purpose for introducing these automata is that they may help in analyzing normal automata (without data). As an example, we give a proof that deterministic automata with collapse can recognize more languages than deterministic automata without collapse. This proof is simpler than in the no-data case. We also state a hypothesis how the new automaton model can be related to the original model of higher-order pushdown automata.


title: A decidable quantified fragment of set theory with ordered pairs and some undecidable extensions

abstract: In this paper we address the decision problem for a fragment of set theory with restricted quantification which extends the language studied in [4] with pair related quantifiers and constructs, in view of possible applications in the field of knowledge representation. We will also show that the decision problem for our language has a non-deterministic exponential time complexity. However, for the restricted case of formulae whose quantifier prefixes have length bounded by a constant, the decision problem becomes NP-complete. We also observe that in spite of such restriction, several useful set-theoretic constructs, mostly related to maps, are expressible. Finally, we present some undecidable extensions of our language, involving any of the operators domain, range, image, and map composition. [4] Michael Breban, Alfredo Ferro, Eugenio G. Omodeo and Jacob T. Schwartz (1981): Decision procedures for elementary sublanguages of set theory. II. Formulas involving restricted quantifiers, together with ordinal, integer, map, and domain notions. Communications on Pure and Applied Mathematics 34, pp. 177-195


title: A Myhill-Nerode theorem for automata with advice

abstract: An automaton with advice is a finite state automaton which has access to an additional fixed infinite string called an advice tape. We refine the Myhill-Nerode theorem to characterize the languages of finite strings that are accepted by automata with advice. We do the same for tree automata with advice.


title: Unambiguous Tree Languages Are Topologically Harder Than Deterministic Ones

abstract: The paper gives an example of a tree language G that is recognised by an unambiguous parity automaton and is analytic-complete as a set in Cantor space. This already shows that the unambiguous languages are topologically more complex than the deterministic ones, that are all coanalytic. Using set G as a building block we construct an unambiguous language that is topologically harder than any countable boolean combination of analytic and coanalytic sets. In particular the language is harder than any set in difference hierarchy of analytic sets considered by O.Finkel and P.Simonnet in the context of nondeterministic automata.


title: On The Degrees of Freedom of Reduced-rank Estimators in Multivariate Regression

abstract: In this paper we study the effective degrees of freedom of a general class of reduced rank estimators for multivariate regression in the framework of Stein's unbiased risk estimation (SURE). We derive a finite-sample exact unbiased estimator that admits a closed-form expression in terms of the singular values or thresholded singular values of the least squares solution and hence readily computable. The results continue to hold in the high-dimensional scenario when both the predictor and response dimensions are allowed to be larger than the sample size. The derived analytical form facilitates the investigation of its theoretical properties and provides new insights into the empirical behaviors of the degrees of freedom. In particular, we examine the differences and connections between the proposed estimator and a commonly-used naive estimator, i.e., the number of free parameters. The use of the proposed estimator leads to efficient and accurate prediction risk estimation and model selection, as demonstrated by simulation studies and a data example.


title: A Minimal Flavor Violating 2HDM at the LHC

abstract: We explore the phenomenology of a two Higgs doublet model where both Higgs doublets couple to up-type and down-type fermions with couplings determined by the minimal flavor violation ansatz. This 2HDM "Type MFV" generalizes 2HDM Types I-IV, where the decay rates of h --> bb and h --> tau+tau- are governed by MFV couplings independent of the Higgs couplings to gauge bosons or the top quark. To determine the implications of the present Higgs data on the model, we have performed global fits to all relevant data. Several surprisingly large effects on the light Higgs phenomenology can arise: (1) The modified couplings of the Higgs to fermions can enhance the h --> gamma gamma rate significantly in both VBF production (up to a factor of 3 or more) and the inclusive rate (up to a factor of 1.5 or more). (2) In the 2HDM Type MFV, the constraints on a light charged Higgs are milder than in 2HDM Types I-IV. Thus, there can be substantial charged Higgs loop contribution to the di-photon rate, allowing further enhancements of the di-photon rates. (3) The h --> tau+tau- rate can be (highly) suppressed, independently of the other decay channels. Furthermore, we studied the correlation between the light Higgs and the heavy Higgs phenomenology. We showed that even small deviations from the decoupling limit would imply good prospects for the detection of the heavy Higgs boson. In some regions of parameter space, a substantial range of M_H is already either ruled out or on the edge of detection. Finally we investigated the possibility that the heavy Higgs is close in mass to the light Higgs, providing additional h/H --> bb rate, as well as confounding the extraction of properties of the Higgs bosons.


title: Quantum oscillations in a d-wave vortex liquid

abstract: The observation of quantum oscillations in underdoped cuprates has generated intense debate about the nature of the field-induced resistive state and its implications for the `normal state' of high T_c superconductors. Quantum oscillations suggest an underlying Fermi liquid state at high magnetic fields H and low temperatures, in contrast with the high-temperature, zero-field pseudogap state seen in spectroscopy. Recent heat capacity measurements show quantum oscillations together with a large and singular field-dependent suppression of the electronic density of states (DOS), which suggests a resistive state that is affected by the d-wave superconducting gap. We present a theoretical analysis of the electronic excitations in a vortex-liquid state, with short range pairing correlations in space and time, that is able to reconcile these seemingly contradictory observations. We show that phase fluctuations lead to large suppression of the DOS that goes like $\sqrt{H}$ at low fields, in addition to quantum oscillations with a period determined by a Fermi surface reconstructed by a competing order parameter.


title: Exact and approximate solutions of Schroedinger's equation for a class of trigonometric potentials

abstract: The asymptotic iteration method is used to find exact and approximate solutions of Schroedinger's equation for a number of one-dimensional trigonometric potentials (sine-squared, double-cosine, tangent-squared, and complex cotangent). Analytic and approximate solutions are obtained by first using a coordinate transformation to reduce the Schroedinger equation to a second-order differential equation with an appropriate form. The asymptotic iteration method is also employed indirectly to obtain the terms in perturbation expansions, both for the energies and for the corresponding eigenfunctions.


title: Regularity criteria and uniform estimates for the Boussinesq system with the temperature-dependent viscosity and thermal diffusivity

abstract: In this paper we establish some regularity criteria for the 3D Boussinesq system with the temperature-dependent viscosity and thermal diffusivity. We also obtain some uniform estimates for the corresponding 2D case when the fluid viscosity coefficient is a positive constant.


title: The Benefits of VLBI Astrometry to Pulsar Timing Array Searches for Gravitational Radiation

abstract: Precision astrometry is an integral component of successful pulsar timing campaigns. Astrometric parameters are commonly derived by fitting them as parameters of a timing model to a series of pulse times of arrival (TOAs). TOAs measured to microsecond precision over several-year spans can yield position measurements with sub-milliarcsecond precision. However, timing-based astrometry can become biased if a pulsar displays any red spin noise, which can be compared to the red noise signal produced by the stochastic gravitational wave background. We investigate how noise of different spectral types is absorbed by timing models, leading to significant estimation errors in the astrometric parameters. We find that commonly used techniques for fitting timing models in the presence of red noise (Cholesky whitening) prevent the absorption of noise into the timing model remarkably well if the time baseline of observations exceeds several years, but are inadequate for dealing with shorter pulsar data sets. Independent of timing, pulsar-optimized very long baseline interferometry (VLBI) is capable of providing position estimates precise to the sub-milliarcsecond levels needed for high-precision timing. We compute a necessary transformation between the International Celestial Reference Frame and pulsar timing frames and quantitatively discuss how the transformation will improve in coming years. We find that incorporating VLBI astrometry into the timing models of pulsars for which only a couple of years of timing data exist will lead to more realistic assessments of red spin noise and could enhance the amplitude of gravitational wave signatures in post-fit timing residuals by factors of 20 or more.


title: Finite size scaling of entanglement entropy at the Anderson transition with interactions

abstract: We study the entanglement entropy(EE) of disordered one-dimensional spinless fermions with attractive interactions. With intensive numerical calculation of the EE using the density matrix renormalization group method, we find clear signatures of the transition between the localized and delocalized phase. In the delocalized phase, the fluctuations of the EE becomes minimum and independent of the system size. Meanwhile the EE's logarithmic scaling behavior is found to recover to that of a clean system. We present a general scheme of finite size scaling of the EE at the critical regime of the Anderson transition, from which we extract the critical parameters of the transition with good accuracy, including the critical exponent, critical point and a power-law divergent localization length.


title: Exoplanet Detection Methods

abstract: This chapter reviews various methods of detecting planetary companions to stars from an observational perspective, focusing on radial velocities, astrometry, direct imaging, transits, and gravitational microlensing. For each method, this chapter first derives or summarizes the basic observable phenomena that are used to infer the ex- istence of planetary companions, as well as the physical properties of the planets and host stars that can be derived from the measurement of these signals. This chapter then outlines the general experimental requirements to robustly detect the signals us- ing each method, by comparing their magnitude to the typical sources of measurement uncertainty. This chapter goes on to compare the various methods to each other by outlining the regions of planet and host star parameter space where each method is most sensitive, stressing the complementarity of the ensemble of the methods at our disposal. Finally, there is a brief review of the history of the young exoplanet field, from the first detections to current state-of-the-art surveys for rocky worlds.


title: A higher chromatic analogue of the image of J

abstract: We prove a higher chromatic analogue of Snaith's theorem which identifies the K-theory spectrum as the localisation of the suspension spectrum of CP^\infty away from the Bott class; in this result, higher Eilenberg-MacLane spaces play the role of CP^\infty = K(Z,2). Using this, we obtain a partial computation of the part of the Picard-graded homotopy of the K(n)-local sphere indexed by powers of a spectrum which for large primes is a shift of the Gross-Hopkins dual of the sphere. Our main technical tool is a K(n)-local notion generalising complex orientation to higher Eilenberg-MacLane spaces. As for complex-oriented theories, such an orientation produces a one-dimensional formal group law as an invariant of the cohomology theory. As an application, we prove a theorem that gives evidence for the chromatic redshift conjecture.


title: Enhanced Community Structure Detection in Complex Networks with Partial Background Information

abstract: Community structure detection in complex networks is important since it can help better understand the network topology and how the network works. However, there is still not a clear and widely-accepted definition of community structure, and in practice, different models may give very different results of communities, making it hard to explain the results. In this paper, different from the traditional methodologies, we design an enhanced semi-supervised learning framework for community detection, which can effectively incorporate the available prior information to guide the detection process and can make the results more explainable. By logical inference, the prior information is more fully utilized. The experiments on both the synthetic and the real-world networks confirm the effectiveness of the framework.


title: Level Set Estimation from Compressive Measurements using Box Constrained Total Variation Regularization

abstract: Estimating the level set of a signal from measurements is a task that arises in a variety of fields, including medical imaging, astronomy, and digital elevation mapping. Motivated by scenarios where accurate and complete measurements of the signal may not available, we examine here a simple procedure for estimating the level set of a signal from highly incomplete measurements, which may additionally be corrupted by additive noise. The proposed procedure is based on box-constrained Total Variation (TV) regularization. We demonstrate the performance of our approach, relative to existing state-of-the-art techniques for level set estimation from compressive measurements, via several simulation examples.


title: Feedback effects of aspherical supernovae explosions on galaxies

abstract: We investigate how explosions of aspherical supernovae (A-SNe) can influence star formation histories and chemical evolution of dwarf galaxies by using a new chemodynamical model. We mainly present the numerical results of two comparative models so that the A-SN feedback effects on galaxies can be more clearly seen. SNe originating from stars with masses larger than 30M_sun are A-SNe in the "ASN" model whereas all SNe are spherical ones (S-SNe) in the "SSN" model. Each S-SN and A-SN are assumed to release feedback energy of 10^{51} erg and 10^{52} erg, respectively, and chemical yields and feedback energy of A-SN ejecta depend on angles between the axis of symmetry and the ejection directions. We find that star formation can become at least by a factor of ~3 lower in the ASN model in comparison with the SSN one owing to the more energetic feedback of A-SNe. As a result of this, chemical evolution can proceed very slowly in the ASN model. A-SN feedback effects can play a significant role in the formation of giant gaseous holes and energetic gaseous outflow and unique chemical abundances (e.g., high [Mg/Ca]). Based on these results, we provide a number of implications of the A-SN feedback effects on galaxy formation and evolution.


title: From Prestellar to Protostellar Cores II. Time Dependence and Deuterium Fractionation

abstract: We investigate the molecular evolution and D/H abundance ratios that develop as star formation proceeds from a dense-cloud core to a protostellar core, by solving a gas-grain reaction network applied to a 1-D radiative hydrodynamic model with infalling fluid parcels. Spatial distributions of gas and ice-mantle species are calculated at the first-core stage, and at times after the birth of a protostar. Gas-phase methanol and methane are more abundant than CO at radii $r\lesssim 100$ AU in the first-core stage, but gradually decrease with time, while abundances of larger organic species increase. The warm-up phase, when complex organic molecules are efficiently formed, is longer-lived for those fluid parcels in-falling at later stages. The formation of unsaturated carbon chains (warm carbon-chain chemistry) is also more effective in later stages; C$^+$, which reacts with CH$_4$ to form carbon chains, increases in abundance as the envelope density decreases. The large organic molecules and carbon chains are strongly deuterated, mainly due to high D/H ratios in the parent molecules, determined in the cold phase. We also extend our model to simulate simply the chemistry in circumstellar disks, by suspending the 1-D infall of a fluid parcel at constant disk radii. The species CH$_3$OCH$_3$ and HCOOCH$_3$ increase in abundance in $10^4-10^5$ yr at the fixed warm temperature; both also have high D/H ratios.


title: Quantum statistical imaging of particles without restriction of the diffraction limit

abstract: A practical quantum measurement method based on the quantum nature of anti-bunching photon emission has been developed to detect single particles without the restriction of the diffraction limit. By simultane- ously counting the single-photon and two-photon signals with fluorescence microscopy, the images of nearby Nitrogen-Vacancy centers in diamond at a distance of 8.5+/-2.4 nm have been successfully reconstructed. Also their axes information was optically obtained. This quantum statistical imaging technique, with a simple exper- imental setup, can also be easily generalized in the measuring and distinguishing of other physical properties with any overlapping, which shows high potential in future image and study of coupled quantum systems for quantum information techniques.


title: p-adic path set fractals and arithmetic

abstract: This paper considers a class C(Z_p) of closed sets of the p-adic integers obtained by graph-directed constructions analogous to those of Mauldin and Williams over the real numbers. These sets are characterized as collections of those p-adic integers whose p-adic expansions are describeed by paths in the graph of a finite automaton issuing from a distinguished initial vertex. This paper shows that this class of sets is closed under the arithmetic operations of addition and multiplication by p-integral rational numbers. In addition the Minkowski sum (under p-adic addition) of two set in the class is shown to also belong to this class. These results represent purely p-adic phenomena in that analogous closure properties do not hold over the real numbers. We also show the existence of computable formulas for the Hausdorff dimensions of such sets.


title: Interval Temporal Logics over Strongly Discrete Linear Orders: the Complete Picture

abstract: Interval temporal logics provide a general framework for temporal reasoning about interval structures over linearly ordered domains, where intervals are taken as the primitive ontological entities. In this paper, we identify all fragments of Halpern and Shoham's interval temporal logic HS with a decidable satisfiability problem over the class of strongly discrete linear orders. We classify them in terms of both their relative expressive power and their complexity. We show that there are exactly 44 expressively different decidable fragments, whose complexity ranges from NP to EXPSPACE. In addition, we identify some new undecidable fragments (all the remaining HS fragments were already known to be undecidable over strongly discrete linear orders). We conclude the paper by an analysis of the specific case of natural numbers, whose behavior slightly differs from that of the whole class of strongly discrete linear orders. The number of decidable fragments over natural numbers raises up to 47: three undecidable fragments become decidable with a non-primitive recursive complexity.


title: Constraining the substructure of dark matter haloes with galaxy-galaxy lensing

abstract: With galaxy groups constructed from the Sloan Digital Sky Survey (SDSS), we analyze the expected galaxy-galaxy lensing signals around satellite galaxies residing in different host haloes and located at different halo-centric distances. We use Markov Chain Monte Carlo (MCMC) method to explore the potential constraints on the mass and density profile of subhaloes associated with satellite galaxies from SDSS-like surveys and surveys similar to the Large Synoptic Survey Telescope (LSST). Our results show that for SDSS-like surveys, we can only set a loose constraint on the mean mass of subhaloes. With LSST-like surveys, however, both the mean mass and the density profile of subhaloes can be well constrained.


title: Satisfiability vs. Finite Satisfiability in Elementary Modal Logics

abstract: We study elementary modal logics, i.e. modal logic considered over first-order definable classes of frames. The classical semantics of modal logic allows infinite structures, but often practical applications require to restrict our attention to finite structures. Many decidability and undecidability results for the elementary modal logics were proved separately for general satisfiability and for finite satisfiability [11, 12, 16, 17]. In this paper, we show that there is a reason why we must deal with both kinds of satisfiability separately -- we prove that there is a universal first-order formula that defines an elementary modal logic with decidable (global) satisfiability problem, but undecidable finite satisfiability problem, and, the other way round, that there is a universal formula that defines an elementary modal logic with decidable finite satisfiability problem, but undecidable general satisfiability problem.


title: The affinely invariant distance correlation

abstract: Sz\'{e}kely, Rizzo and Bakirov (Ann. Statist. 35 (2007) 2769-2794) and Sz\'{e}kely and Rizzo (Ann. Appl. Statist. 3 (2009) 1236-1265), in two seminal papers, introduced the powerful concept of distance correlation as a measure of dependence between sets of random variables. We study in this paper an affinely invariant version of the distance correlation and an empirical version of that distance correlation, and we establish the consistency of the empirical quantity. In the case of subvectors of a multivariate normally distributed random vector, we provide exact expressions for the affinely invariant distance correlation in both finite-dimensional and asymptotic settings, and in the finite-dimensional case we find that the affinely invariant distance correlation is a function of the canonical correlation coefficients. To illustrate our results, we consider time series of wind vectors at the Stateline wind energy center in Oregon and Washington, and we derive the empirical auto and cross distance correlation functions between wind vectors at distinct meteorological stations.


title: Resonant Control of Interaction Between Different Electronic States

abstract: We observe a magnetic Feshbach resonance in a collision between the ground and metastable states of two-electron atoms of ytterbium (Yb). We measure the on-site interaction of doubly-occupied sites of an atomic Mott insulator state in a three-dimensional optical lattice as a collisional frequency shift in a high-resolution laser spectroscopy. The observed spectra are well fitted by a simple theoretical formula, in which two particles with an s-wave contact interaction are confined in a harmonic trap. This analysis reveals a wide variation of the interaction with a resonance behavior around a magnetic field of about 1.1 Gauss for the energetically lowest magnetic sublevel of ${}^{170}$Yb, as well as around 360 mG for the energetically highest magnetic sublevel of ${}^{174}$Yb. The observed Feshbach resonance can only be induced by an anisotropic inter-atomic interaction. This novel scheme will open the door to a variety of study using two-electron atoms with tunable interaction.


title: Semi-Quantitative Group Testing: A Unifying Framework for Group Testing with Applications in Genotyping

abstract: We propose a novel group testing method, termed semi-quantitative group testing, motivated by a class of problems arising in genome screening experiments. Semi-quantitative group testing (SQGT) is a (possibly) non-binary pooling scheme that may be viewed as a concatenation of an adder channel and an integer-valued quantizer. In its full generality, SQGT may be viewed as a unifying framework for group testing, in the sense that most group testing models are special instances of SQGT. For the new testing scheme, we define the notion of SQ-disjunct and SQ-separable codes, representing generalizations of classical disjunct and separable codes. We describe several combinatorial and probabilistic constructions for such codes. While for most of these constructions we assume that the number of defectives is much smaller than total number of test subjects, we also consider the case in which there is no restriction on the number of defectives and they may be as large as the total number of subjects. For the codes constructed in this paper, we describe a number of efficient decoding algorithms. In addition, we describe a belief propagation decoder for sparse SQGT codes for which no other efficient decoder is currently known. Finally, we define the notion of capacity of SQGT and evaluate it for some special choices of parameters using information theoretic methods.


title: Minimum Component Based First-Order Inverting and Non-inverting Outputs of All-Pass Filter at the Same Circuit

abstract: In this paper, a new voltage-mode first order all-pass filter using minimum active and passive components is presented. The proposed circuit employs one fully differential second generation current conveyor (FDCCII), one grounded capacitor, one resistor and offers the following advantages: the use of only grounded capacitor which is attractive for integrated circuit implementation, low active and passive sensitivities, providing inverting and non-inverting voltage-mode all-pass responses simultaneously from the single circuit and no requirement for component matching conditions. The theory is validated through PSPICE simulation using TSMC 0.35micrometer CMOS process parameters.


title: Spherical null geodesics of rotating Kerr black holes

abstract: The non-equatorial spherical null geodesics of rotating Kerr black holes are studied analytically. Unlike the extensively studied equatorial circular orbits whose radii are known analytically, no closed-form formula exists in the literature for the radii of generic (non-equatorial) spherical geodesics. We provide here an approximate formula for the radii r_{ph}(a/M;cos i) of these spherical null geodesics, where a/M is the dimensionless angular-momentum of the black hole and cos i is an effective inclination angle (with respect to the black-hole equatorial plane) of the orbit. It is well-known that the equatorial circular geodesics of the Kerr spacetime (the prograde and the retrograde orbits with cos i=\pm 1) are characterized by a monotonic dependence of their radii r_{ph}(a/M;cos i=\pm 1) on the dimensionless spin-parameter a/M of the black hole. We use here our novel analytical formula to reveal that this well-known property of the equatorial circular geodesics is actually not a generic property of the Kerr spacetime. In particular, we find that counter-rotating spherical null orbits in the range (3\sqrt{3}-\sqrt{59})/4 \lesssim \cos i<0 are characterized by a non-monotonic dependence of r_{ph}(a/M;cos i=const) on the dimensionless rotation parameter a/M of the black hole. Furthermore, it is shown that spherical photon orbits of rapidly-rotating black holes are characterized by a critical inclination angle, cos i=\sqrt{4/7}, above which the coordinate radii of the orbits approach the black-hole radius in the extremal limit. We prove that this critical inclination angle signals a transition in the physical properties of the spherical null geodesics: in particular, it separates orbits which are characterized by finite proper distances to the black-hole horizon from orbits which are characterized by infinite proper distances to the horizon.


title: Vanishing evaluations of simple functors

abstract: The classification of simple biset functors is known, but the evaluation of a simple biset functor at a finite group G may be zero. We investigate various situations where this happens, as well as cases where this does not occur. We also prove a closed formula for such an evaluation under some restrictive conditions on G.


title: The Swift Gamma-Ray Burst redshift distribution: selection biases and optical brightness evolution at high-z?

abstract: We employ realistic constraints on astrophysical and instrumental selection effects to model the Gamma-Ray Burst (GRB) redshift distribution using {\it Swift} triggered redshift samples acquired from optical afterglows (OA) and the TOUGH survey. Models for the Malmquist bias, redshift desert, and the fraction of afterglows missing because of host galaxy dust extinction, are used to show how the "true" GRB redshift distribution is distorted to its presently observed biased distribution. We also investigate another selection effect arising from a correlation between $E_{{\rm iso}}$ and $L_{{\rm opt}}$. The analysis, which accounts for the missing fraction of redshifts in the two data subsets, shows that a combination of selection effects (both instrumental and astrophysical) can describe the observed GRB redshift distribution. Furthermore, the observed distribution is compatible with a GRB rate evolution that tracks the global SFR, although the rate at high-$z$ cannot be constrained with confidence. Taking selection effects into account, it is not necessary to invoke high-energy GRB luminosity evolution with redshift to explain the observed GRB rate at high-$z$.


title: On empirical distribution function of high-dimensional Gaussian vector components with an application to multiple testing

abstract: This paper introduces a new framework to study the asymptotical behavior of the empirical distribution function (e.d.f.) of Gaussian vector components, whose correlation matrix $\Gamma^{(m)}$ is dimension-dependent. Hence, by contrast with the existing literature, the vector is not assumed to be stationary. Rather, we make a "vanishing second order" assumption ensuring that the covariance matrix $\Gamma^{(m)}$ is not too far from the identity matrix, while the behavior of the e.d.f. is affected by $\Gamma^{(m)}$ only through the sequence $\gamma_m=m^{-2} \sum_{i\neq j} \Gamma_{i,j}^{(m)}$, as $m$ grows to infinity. This result recovers some of the previous results for stationary long-range dependencies while it also applies to various, high-dimensional, non-stationary frameworks, for which the most correlated variables are not necessarily next to each other. Finally, we present an application of this work to the multiple testing problem, which was the initial statistical motivation for developing such a methodology.


title: On the generalized Carlitz module

abstract: The aim of this note is to gather formal similarities between two apparently different functions; {\em Euler's function} $\Gamma$ and {\em Anderson-Thakur function} $\omega$. We discuss these similarities in the framework of the {\em generalized Carlitz's module}, a common structure which can be helpful in framing the theories of both functions. We further analyze several noticeable differences while investigating the {\em exponential functions} associated to these structures.


title: Asymptotic enumeration of Eulerian circuits for graphs with strong mixing properties

abstract: We prove an asymptotic formula for the number of Eulerian circuits for graphs with strong mixing properties and with vertices having even degrees. The exact value is determined up to the multiplicative error $O(n^{-1/2+\varepsilon})$, where $n$ is the number of vertices


title: Exclusion processes: short range correlations induced by adhesion and contact interactions

abstract: We analyze the out-of-equilibrium behavior of exclusion processes where agents interact with their nearest neighbors, and we study the short-range correlations which develop because of the exclusion and other contact interactions. The form of interactions we focus on, including adhesion and contact-preserving interactions, is especially relevant for migration processes of living cells. We show the local agent density and nearest-neighbor two-point correlations resulting from simulations on two dimensional lattices in the transient regime where agents invade an initially empty space from a source and in the stationary regime between a source and a sink. We compare the results of simulations with the corresponding quantities derived from the master equation of the exclusion processes, and in both cases, we show that, during the invasion of space by agents, a wave of correlations travels with velocity v(t) ~ t^(-1/2). The relative placement of this wave to the agent density front and the time dependence of its height may be used to discriminate between different forms of contact interactions or to quantitatively estimate the intensity of interactions. We discuss, in the stationary density profile between a full and an empty reservoir of agents, the presence of a discontinuity close to the empty reservoir. Then, we develop a method for deriving approximate hydrodynamic limits of the processes. From the resulting systems of partial differential equations, we recover the self-similar behavior of the agent density and correlations during space invasion.


title: A generating function of the squares of Legendre polynomials

abstract: We relate a one-parametric generating function for the squares of Legendre polynomials to an arithmetic hypergeometric series whose parametrisation by a level 7 modular function was recently given by Shaun Cooper. By using this modular parametrisation we resolve a subfamily of identities involving $1/\pi$ which was experimentally observed by Zhi-Wei Sun.


title: Bifurcations of blowup in inviscid shell models of convective turbulence

abstract: We analyze the blowup (finite-time singularity) in inviscid shell models of convective turbulence. We show that the blowup exists and its internal structure undergoes a series of bifurcations under a change of shell model parameter. Various blowup structures are observed and explained, which vary from self-similar to periodic, quasi-periodic and chaotic regimes. Though the blowup takes sophisticated forms, its asymptotic small-scale structure is independent of initial conditions, i.e., universal. Finally, we discuss implications of the obtained results for the open problems of blowup in inviscid flows and for the theory of turbulence.


title: Scale-dependent bias with higher order primordial non-Gaussianity: Use of the Integrated Perturbation Theory

abstract: We analytically derive a more accurate formula for the power spectrum of the biased objects with the primordial non-Gaussianity parameterized not only by the non-linearity parameter fNL, but also by gNL and tauNL which characterize the trispectrum of the primordial curvature perturbations. We adopt the integrated perturbation theory which was constructed in Matsubara (2011). We discuss an inequality between fNL and tauNL in the context of the scale-dependent bias, by introducing a stochasticity parameter. We also mention higher order loop corrections into the scale-dependency of the bias parameter.


title: GENJI Programme: Gamma-ray Emitting Notable AGN Monitoring by Japanese VLBI

abstract: We introduce the GENJI program (Gamma-ray Emitting Notable AGN Monitoring by Japanese VLBI), which is a monitoring program of gamma-ray bright AGNs with the VERA array (VLBI Exploration of Radio Astrometry). The GENJI programme aims a dense monitoring at 22 GHz towards the $\gamma$-ray emitting active galactic nuclei (AGNs) to investigate the radio time variation of the core and possible ejection of new radio component, motion of jets, and their relation with the emission at other wavelengths especially in $\gamma$-rays. Currently we are monitoring 8 $\gamma$-ray-emitting notable AGNs (DA 55, 3C 84, M 87, PKS 1510-089, DA 406, NRAO 530, BL Lac, 3C 454.3) about once every two weeks. This programme is promising to trace the trend of radio time variation on shorter timescale than conventional VLBI monitoring programme and to provide complimentary data with them (e.g., MOJAVE, Boston University Blazar Project). In particular, we successfully coordinated quick follow-up observations after the GeV $\gamma$-ray flare in NRAO 530 and 3C 454.3 reported by the Fermi Gamma-ray Space Telescope. Here we present the initial results of morphology and light curves for the first 7-month operation.


title: Consequences of a stochastic approach to the conformal invariance of inflationary correlators

abstract: We provide a general formalism to calculate the infrared correlators of multiple interacting scalar fields in the de Sitter space by means of the stochastic approach. These scalar fields are treated as test fields and hence our result is applicable to the models such as the curvaton scenario where the fields that yield initially isocurvature modes do not contribute to the cosmic energy density during inflationary expansion. The stochastic formalism combined with the argument of conformal invariance of the correlators reflecting the de Sitter isometries allows us to fix the form and amplitude of the three-point functions completely and partially for the four-point functions in terms of calculable quantities. It turns out that naive scaling argument employed in the previous literature does not necessarily hold and we derive the necessary and sufficient condition for the correlator to obey the naive scaling. We also find that correlation functions can in principle exhibit more complicated structure than argued in the literature.


title: Photo-Seebeck Effect in ZnO

abstract: We examine how the photo-induced carriers contribute the thermoelectric transport, i.e. the nature of the photo-Seebeck effect, in the wide-gap oxide semiconductor ZnO for the first time. We measure the electrical conductivity and the Seebeck coefficient with illuminating light. The light illumination considerably changes the Seebeck coefficient as well as the conductivity, which is sensitive to the photon energy of the illuminated light. By using a simple parallel-circuit model, we evaluate the contributions of the photo-induced carriers to the conductivity and the Seebeck coefficient, whose relationship shows a remarkable resemblance to that in doped semiconductors. Our results also demonstrate that the light illumination increases both the carrier concentration and the mobility, which can be compared with impurity-doping case for ZnO. Future prospects for thermoelectrics using light are discussed.