title: Validation of a Conceptual Assessment Tool in E&M II

abstract: As part of an ongoing project to investigate student learning in upper-division electrodynamics (E&M II), the PER research group at the University of Colorado Boulder has developed a tool to assess student conceptual understanding: the CURrENT (Colorado UppeR-division ElectrodyNamics Test). The result is an open-ended post-test diagnostic with 6 multi-part questions, an optional 3-question pretest, and an accompanying grading rubric. This instrument is motivated in part by our faculty-consensus learning goals, and is intended to help measure the effectiveness of transformed pedagogy. In addition, it provides insights into student thinking and student difficulties in the covered topical areas. In this paper, we present preliminary measures of the validity and reliability of the instrument and scoring rubric. These include expert validation and student interviews, inter-rater reliability measures, and classical test statistics.


title: Source estimation with incoherent waves in random waveguides

abstract: We study an inverse source problem for the acoustic wave equation in a random waveguide. The goal is to estimate the source of waves from measurements of the acoustic pressure at a remote array of sensors. The waveguide effect is due to boundaries that trap the waves and guide them in a preferred (range) direction, the waveguide axis, along which the medium is unbounded. The random waveguide is a model of perturbed ideal waveguides which have flat boundaries and are filled with known media that do not change with range. The perturbation consists of fluctuations of the boundary and of the wave speed due to numerous small inhomogeneities in the medium. The fluctuations are uncertain in applications, which is why we model them with random processes, and they cause significant cumulative scattering at long ranges from the source. The scattering effect manifests mathematically as an exponential decay of the expectation of the acoustic pressure, the coherent part of the wave. The incoherent wave is modeled by the random fluctuations of the acoustic pressure, which dominate the expectation at long ranges from the source. We use the existing theory of wave propagation in random waveguides to analyze the inverse problem of estimating the source from incoherent wave recordings at remote arrays. We show how to obtain from the incoherent measurements high fidelity estimates of the time resolved energy carried by the waveguide modes, and study the invertibility of the system of transport equations that model energy propagation in order to estimate the source.


title: Applying Spiking Neural Nets to Noise Shaping

abstract: -In recent years, there has been an increased focus on the mechanics of information transmission in spiking neural networks. Especially the Noise Shaping properties of these networks and their similarity to Delta-Sigma Modulators has received a lot of attention. However, very little of the research done in this area has focused on the effect the weights in these networks have on the Noise Shaping properties and on post- processing of the network output signal. This paper concerns itself with the various modes of network operation and beneficial as well as detrimental effects which the systematic generation of network weights can effect. Also, a method for post-processing of the spiking output signal is introduced, bringing the output signal more in line with conventional Delta-Sigma Modulators. Relevancy of this research to industrial application of neural nets as building blocks of oversampled A/D converters is shown. Also, further points of contention are listed, which must be thoroughly researched to add to the above mentioned applicability of spiking neural nets.


title: Adiabatic quantum state transfer in tight-binding chains using periodic driving fields

abstract: A method for high-fidelity coherent adiabatic transport in a zig-zag tight-binding chain, based on application of two external periodic driving fields, is theoretically proposed. The method turns out to be robust against imperfections and disorder of the static lattice Hamiltonian, is tolerant to next-nearest neighborhood interactions, and enables coherent transport in long chains without the need for a local control and timing of the trapping potential.


title: On the classification of Stanley sequences

abstract: An integer sequence is said to be 3-free if no three elements form an arithmetic progression. Following the greedy algorithm, the Stanley sequence $S(a_0,a_1,\ldots,a_k)$ is defined to be the 3-free sequence $\{a_n\}$ having initial terms $a_0,a_1,\ldots,a_k$ and with each subsequent term $a_n>a_{n-1}$ chosen minimally such that the 3-free condition is not violated. Odlyzko and Stanley conjectured that Stanley sequences divide into two classes based on asymptotic growth patterns, with one class of highly structured sequences satisfying $a_n\approx \Theta(n^{\log_2 3})$ and another class of seemingly chaotic sequences obeying $a_n=\Theta(n^2/\log n)$. We propose a rigorous definition of regularity in Stanley sequences based on local structure rather than asymptotic behavior and show that our definition implies the corresponding asymptotic property proposed by Odlyzko and Stanley. We then construct many classes of regular Stanley sequences, which include as special cases all such sequences previously identified. We show how two regular sequences may be combined into another regular sequence, and how parts of a Stanley sequence may be translated while preserving regularity. Finally, we demonstrate that certain Stanley sequences possess proper subsets that are also Stanley sequences, a situation that appears previously to have been assumed impossible.


title: The model companion of differential fields with free operators

abstract: A model companion is shown to exist for the theory of partial differential fields of characteristic zero equipped with free operators that commute with the derivations. The free operators here are those introduced in [R. Moosa and T. Scanlon, Model theory of fields with free operators in characteristic zero, Preprint 2013]. The proof relies on a new lifting lemma in differential algebra: a differential version of Hensel's Lemma for local finite algebras over differentially closed fields.


title: Frenkel-like Wannier-Mott Excitons in Few-Layer PbI2

abstract: Optical measurements and first-principles calculations of the band structure and exciton states in direct-gap bulk and few-layer PbI2 indicate that the n = 1 exciton is Frenkel-like in nature in that its energy exhibits a weak dependence on thickness down to atomic-length scales. Results reveal large increases of the gap and exciton binding energy with decreasing number of layers, and a transition of the fundamental gap, which becomes indirect for 1-2 monolayers. Calculated values are in reasonable agreement with a particle-in-a-box model relying on the Wannier-Mott theory of exciton formation. General arguments and existing data suggest that the Frenkel-like character of the lowest exciton is a universal feature of wide-gap layered semiconductors whose effective masses and dielectric constants give bulk Bohr radii that are on the order of the layer spacing.


title: Scaling in the Timing of Extreme Events

abstract: Extreme events can come either from point processes, when the size or energy of the events is above a certain threshold, or from time series, when the intensity of a signal surpasses a threshold value. We are particularly concerned by the time between these extreme events, called respectively waiting time and quiet time. If the thresholds are high enough it is possible to justify the existence of scaling laws for the probability distribution of the times as a function of the threshold value, although the scaling functions are different in each case. For point processes, in addition to the trivial Poisson process, one can obtain double-power-law distributions with no finite mean value. This is justified in the context of renormalization-group transformations, where such distributions arise as limiting distributions after iterations of the transformation. Clear connections with the generalized central limit theorem are established from here. The non-existence of finite moments leads to a semi-parametric scaling law in terms of the sample mean waiting time, in which the (usually unkown) scale parameter is eliminated but not the exponents. In the case of time series, scaling can arise by considering random-walk-like signals with absorbing boundaries, resulting in distributions with a power-law "bulk" and a faster decay for long times. For large thresholds the moments of the quiet-time distribution show a power-law dependence with the scale parameter, and isolation of the latter and of the exponents leads to a non-parametric scaling law in terms only of the moments of the distribution. Conclusions about the projections of changes in the occurrence of natural hazards lead to the necessity of distinguishing the behavior of the mean of the distribution with the behavior of the extreme events.


title: Does it Make Sense to Speak of Self-Locating Uncertainty in the Universal Wave Function? Remarks on Sebens and Carroll

abstract: Following a proposal of Vaidman, Sebens and Carroll have argued that in Everettian (i.e. purely unitary) quantum theory, observers are uncertain, before they complete their observation, about which Everettian branch they are on. They argue further that this solves the problem of making sense of probabilities within Everettian quantum theory, even though the theory itself is deterministic. We note some problems with these arguments.


title: Probabilistic sharing solves the problem of costly punishment

abstract: Cooperators that refuse to participate in sanctioning defectors create the second-order free-rider problem. Such cooperators will not be punished because they contribute to the public good, but they also eschew the costs associated with punishing defectors. Altruistic punishers - those that cooperate and punish - are at a disadvantage, and it is puzzling how such behaviour has evolved. We show that sharing the responsibility to sanction defectors rather than relying on certain individuals to do so permanently can solve the problem of costly punishment. Inspired by the fact that humans have strong but also emotional tendencies for fair play, we consider probabilistic sanctioning as the simplest way of distributing the duty. In well-mixed populations the public goods game is transformed into a coordination game with full cooperation and defection as the two stable equilibria, while in structured populations pattern formation supports additional counterintuitive solutions that are reminiscent of Parrondo's paradox.


title: Crossed products by compact group actions with the Rokhlin property

abstract: We present a systematic study of the structure of crossed products and fixed point algebras by compact group actions with the Rokhlin property on not necessarily unital C*-algebras. Our main technical result is the existence of an approximate homomorphism from the algebra to its subalgebra of fixed points, which is a left inverse for the canonical inclusion. Upon combining this with results regarding local approximations, we show that a number of classes characterized by inductive limit decompositions with weakly semiprojective building blocks, are closed under formation of crossed products by such actions. Similarly, in the presence of the Rokhlin property, if the algebra has any of the following properties, then so do the crossed product and the fixed point algebra: being a Kirchberg algebra, being simple and having tracial rank zero or one, having real rank zero, having stable rank one, absorbing a strongly self-absorbing C*-algebra, satisfying the Universal Coefficient Theorem (in the simple, nuclear case), and being weakly semiprojective. The ideal structure of crossed products and fixed point algebras by Rokhlin actions is also studied. The methods of this paper unify, under a single conceptual approach, the work of a number of authors, who used rather different techniques. Our methods yield new results even in the well-studied case of finite group actions with the Rokhlin property.


title: Multiwavelength modelling the SED of supersoft X-ray sources III. RS Ophiuchi: The supersoft X-ray phase and beyond

abstract: I modelled the 14 \AA - 37 $\mu$m SED of the recurrent symbiotic nova RS Oph during its supersoft source (SSS) phase and the following quiescent phase. During the SSS phase, the model SEDs revealed the presence of a strong stellar and nebular component of radiation in the spectrum. The former was emitted by the burning WD at highly super-Eddington rate, while the latter represented a fraction of its radiation reprocessed by the thermal nebula. During the transition phase, both the components were decreasing and during quiescence the SED satisfied radiation produced by a large, optically thick disk (R(disk) > 10 R(Sun)). The mass of the emitting material was (1.6 +/- 0.5) x 1E-4(d/1.6 kpc)**(5/2) M(Sun). The helium ash, deposited on the WD surface during the whole burning period, was around of 8 x 1E-6(d/1.6kpc)**2 M(Sun), which yields an average growing rate of the WD mass, dM(WD)/dt ~ 4 x 1E-7(d/1.6 kpc)**2 M(Sun)/yr. The mass accreted by the WD between outbursts, m(acc) ~ 1.26 x 1E-5 M(Sun), constrains the average accretion rate, dM(acc)/dt ~ 6.3 x 1E-7 M(Sun)/yr. If the wind from the giant is not sufficient to feed the WD at the required rate, the accretion can be realized from the disk-like reservoir of material around the WD. In this case the time between outbursts will extend, with the next explosion beyond 2027. In the opposite case, the wind from the giant has to be focused to the orbital plane to sustain the high accretion rate at a few times 1E-7 M(Sun)/yr. Then the next explosion can occur even prior to 2027.


title: A short geometric proof of the Zalcman and Bieberbach conjectures

abstract: We show that complex geometric features of Teichmuller spaces create explicitly the extremals of generic homogeneous holomorphic functionals on univalent functions. In particular this gives proofs of the well-known Zalcman and Bieberbach conjectures and many new distortion theorems.


title: X-ray ejecta kinematics of the Galactic core-collapse supernova remnant G292.0+1.8

abstract: We report on the results from the analysis of our 114 ks Chandra HETGS observation of the Galactic core-collapse supernova remnant G292.0+1.8. To probe the 3D structure of the clumpy X-ray emitting ejecta material in this remnant, we measured Doppler shifts in emission lines from metal-rich ejecta knots projected at different radial distances from the expansion center. We estimate radial velocities of ejecta knots in the range of -2300 <~ v_r <~ 1400 km s^-1. The distribution of ejecta knots in velocity vs. projected-radius space suggests an expanding ejecta shell with a projected angular thickness of ~90" (corresponding to ~3 pc at d = 6 kpc). Based on this geometrical distribution of the ejecta knots, we estimate the location of the reverse shock approximately at the distance of ~4 pc from the center of the supernova remnant, putting it in close proximity to the outer boundary of the radio pulsar wind nebula. Based on our observed remnant dynamics and the standard explosion energy of 10^51 erg, we estimate the total ejecta mass to be <~ 8 M_sun, and we propose an upper limit of <~ 35 M_sun on the progenitor's mass.


title: Conservation laws for a class of generic Hamiltonians

abstract: Within a strong coupling expansion, we construct local quasi-conserved operators for a class of Hamiltonians that includes both integrable and non-integrable models. We explicitly show that at the lowest orders of perturbation theory the structure of the operators is independent of the system details. Higher order contributions are investigated numerically by means of an ab initio method for computing the time evolution of local operators in the Heisenberg picture. The numerical analysis suggests that the quasi-conserved operators could be approximations of a quasi-local conservation law, even if the model is non-integrable.

categories: cond-mat.stat-mech math-ph math.MP quant-ph


title: Spitzer/IRAC Observations of the Variability of Sgr A* and the Object G2 at 4.5 microns

abstract: We present the first detection from the Spitzer Space Telescope of 4.5 micron variability from Sgr A*, the emitting source associated with the Milky Way's central black hole. The >23 hour continuous light curve was obtained with the IRAC instrument in 2013 December. The result characterizes the variability of Sgr A* prior to the closest approach of the G2 object, a putative infalling gas cloud that orbits close to Sgr A*. The high stellar density at the location of Sgr A* produces a background of ~250 mJy at 4.5 microns in each pixel with a large pixel-to-pixel gradient, but the light curve for the highly variable Sgr A* source was successfully measured by modeling and removing the variations due to pointing wobble. The observed flux densities range from the noise level of ~0.7 mJy rms in a 6.4-s measurement to ~10 mJy. Emission was seen above the noise level ~34% of the time. The light curve characteristics, including the flux density distribution and structure function, are consistent with those previously derived at shorter infrared wavelengths. We see no evidence in the light curve for activity attributable to the G2 interaction at the observing epoch, ~100 days before the expected G2 periapsis passage. The IRAC light curve is more than a factor of two longer than any previous infrared observation, improving constraints on the timescale of the break in the power spectral distribution of Sgr A* flux densities. The data favor the longer of the two previously published values for the timescale.


title: Exploring gravitational theories beyond Horndeski

abstract: We have recently proposed a new class of gravitational scalar-tensor theories free from Ostrogradski instabilities, in arXiv:1404.6495. As they generalize Horndeski theories, or "generalized" galileons, we call them G$^3$. These theories possess a simple formulation when the time hypersurfaces are chosen to coincide with the uniform scalar field hypersurfaces. We confirm that they contain only three propagating degrees of freedom by presenting the details of the Hamiltonian formulation. We examine the coupling between these theories and matter. Moreover, we investigate how they transform under a disformal redefinition of the metric. Remarkably, these theories are preserved by disformal transformations that depend on the scalar field gradient, which also allow to map subfamilies of G$^3$ into Horndeski theories.


title: Tangential component of the YORP effect

abstract: This article discusses how re-emission of absorbed solar light by centimeter- to decimeter-sized structures on the surface of an asteroid can create a component of the recoil force parallel to the surface. Under certain conditions the west side of stones appear to be on average slightly warmer than their east sides, thus experiencing a stronger recoil force and increasing the rotation rate of the asteroid. We study this effect, called the Tangential YORP effect, in a toy model, replacing stones with walls and simulating heat conductivity in them. We discuss general trends of the effect, estimate its magnitude, and find it to be comparable to the normal YORP effect determined by gross-scale asymmetry of the asteroid. The existence of this effect would modify the predictions of the YORP acceleration of asteroids.


title: A note on the product of the conjugates of a polynomial

abstract: The theorem proved in this note, although elementary, is related to a certain misconception. If $K$ is a field, $f\in K[X]$ is separable and irreducible over $K$, and $g$ is a polynomial dividing $f$, whose coefficients lie in some finite Galois extension of $K$, it may seem natural to assert that the product of the conjugates of $g$ over $K[X]$ is $f$. But this assertion is wrong, except in one particular case. In this note, we make the relation between $K$, $f$, the product of the conjugates of $g$, and the coefficient field of $g$, precise. In particular, it is shown that the product of the conjugates of $g$ over $K[X]$ is equal to $f^n$, with $n\in \mathbb N$.


title: Holography for a Non-Inflationary Early Universe

abstract: We construct a gravitational dual of the pseudo-conformal universe, a proposed alternative to inflation in which a conformal field theory in nearly flat space develops a time dependent vacuum expectation value. Constructing this dual amounts to finding five-dimensional domain-wall spacetimes with anti-de Sitter asymptotics, for which the wall has the symmetries of four-dimensional de Sitter space. This holographically realizes the characteristic symmetry breaking pattern O(2,4) to O(1,4) of the pseudo-conformal universe. We present an explicit example with a massless scalar field, using holographic renormalization to obtain general expressions for the renormalized scalar and stress-tensor one-point functions. We discuss the relationship between these solutions and those of four-dimensional holographic defect conformal field theories which break O(2,4) to O(2,3)


title: Revisiting cosmological bounds on sterile neutrinos

abstract: We employ state-of-the art cosmological observables including supernova surveys and BAO information to provide constraints on the mass and mixing angle of a non-resonantly produced sterile neutrino species, showing that cosmology can effectively rule out sterile neutrinos which decay between BBN and the present day. The decoupling of an additional heavy neutrino species can modify the time dependence of the Universe's expansion between BBN and recombination and, in extreme cases, lead to an additional matter-dominated period; while this could naively lead to a younger Universe with a larger Hubble parameter, it could later be compensated by the extra radiation expected in the form of neutrinos from sterile decay. However, recombination-era observables including the Cosmic Microwave Background (CMB), the shift parameter $R_{CMB}$ and the sound horizon $r_s$ from Baryon Acoustic Oscillations (BAO) severely constrain this scenario. We self-consistently include the full time-evolution of the coupled sterile neutrino and standard model sectors in an MCMC, showing that if decay occurs after BBN, the sterile neutrino is essentially bounded by the constraint $\sin^2\theta \lesssim 0.026 (m_s/\mathrm{eV})^{-2}$.


title: Mass-deformed Brane Tilings

abstract: We study renormalization group flows among N=1 SCFTs realized on the worldvolume of D3-branes probing toric Calabi-Yau singularities, thus admitting a brane tiling description. The flows are triggered by masses for adjoint or vector-like pairs of bifundamentals and are generalizations of the Klebanov-Witten construction of the N=1 theory for the conifold starting from the N=2 theory for the C^2/Z_2 orbifold. In order to preserve the toric condition pairs of masses with opposite signs have to be switched on. We offer a geometric interpretation of the flows as complex deformations of the Calabi-Yau singularity preserving the toric condition. For orbifolds, we support this interpretation by an explicit string amplitude computation of the gauge invariant mass terms generated by imaginary self-dual 3-form fluxes in the twisted sector. In agreement with the holographic a-theorem, the volume of the Sasaki-Einstein 5-base of the Calabi-Yau cone always increases along the flow.


title: The Three body system delta Circini

abstract: Delta Cir is known as an O7.5 III eclipsing and spectroscopic binary with an eccentric orbit. Penny et al. discovered the presence of a third component in the IUE spectra. The eclipsing binary and the third body revolve around a common centre of gravity with a period of 1644 days in an eccentric orbit with the semimajor axis of 10 AU. We demonstrate the presence of the apsidal-line rotation with a period of about 141 years, which is considerably longer than its theoretically predicted value, based on the published radii of the binary components derived from the Hipparchos Hp light curve. However, our new solution of the same light curve resulted in smaller radii and a better agreement between the observed and predicted period of the apsidal- line advance. There are indications that the third body is a binary. The object was resolved by VLTI with the PIONIER combiner; in June 2012 the separation was 3.78 mas, magnitude difference in the H region 1.75 mag. This result means that (assuming the distance 770 pc) the inclination of the long orbit is 87.7 degrees.


title: Leptophilic Dark Matter in Lepton Interactions at LEP and ILC

abstract: Dark matter particles that couple primarily to leptons are only weakly constrained by data from direct detection experiments and the LHC. However, models of this kind necessarily generate effective four-lepton contact interactions at the tree- or one-loop-level, which can be probed in $e^+e^-$ collisions. In this work, precise data from LEP is used to derive limits on leptophilic dark matter in a model-independent framework. The bounds turn out to be competitive with, and in some cases exceed, limits from mono-photon events. We also extrapolate our results to ILC energies and luminosities. We show that ILC data for contact interactions may be able to set the strongest limits on TeV-scale leptophilic dark matter for couplings $g\gtrsim 1$ of the mediators.


title: Defect fusing rules in affine Toda field theory

abstract: The concept of fusing rules for defects in a^(1)_r affine Toda field theories is introduced in the classical and quantum contexts. This idea is employed in finding a new transmission matrix for the a^(1)_3 theory which obeys the triangle relations and the crossing-unitarity relations.


title: Superpartners at LHC and Future Colliders: Predictions from Constrained Compactified M-Theory

abstract: We study a realistic top-down M-theory compactification with low-scale effective Supersymmetry, consistent with phenomenological constraints. A combination of top-down and generic phenomenological constraints fix the spectrum. The gluino mass is predicted to be about 1.5 TeV. Three and only three superpartner channels, $\tilde{g} \tilde{g}$, $\chi_2^0 \chi_1^\pm$ and $\chi_1^+ \chi_1^-$ (where $\chi_2^0, \chi_1^\pm$ are Wino-like), are expected to be observable at LHC-14. We also investigate the prospects of finding heavy squarks and Higgsinos at future colliders. Gluino-stop-top, gluino-sbottom-bottom associated production and first generation squark associated production should be observable at a 100 TeV collider, along with direct production of heavy Higgsinos. Within this framework the discovery of a single sparticle is sufficient to determine uniquely the SUSY spectrum, yielding a number of concrete testable predictions for LHC-14 and future colliders, and determination of $M_{3/2}$ and thereby other fundamental quantities.


title: Herschel HIFI observations of O$_2$ toward Orion: special conditions for shock enhanced emission

abstract: We report observations of molecular oxygen (O$_2$) rotational transitions at 487 GHz, 774 GHz, and 1121 GHz toward Orion Peak A. The O2 lines at 487 GHz and 774 GHz are detected at velocities of 10-12 km/s with line widths 3 km/s; however, the transition at 1121 GHz is not detected. The observed line characteristics, combined with the results of earlier observations, suggest that the region responsible for the O$_2$ emission is 9" (6e16 cm) in size, and is located close to the H2 Peak 1position (where vibrationally-excited H$_2$ emission peaks), and not at Peak A, 23" away. The peak O2 column density is 1.1e18/cm2. The line velocity is close to that of 621 GHz water maser emission found in this portion of the Orion Molecular Cloud, and having a shock with velocity vector lying nearly in the plane of the sky is consistent with producing maximum maser gain along the line-of-sight. The enhanced O$_2$ abundance compared to that generally found in dense interstellar clouds can be explained by passage of a low-velocity C-shock through a clump with preshock density 2e4/cm3, if a reasonable flux of UV radiation is present. The postshock O$_2$ can explain the emission from the source if its line of sight dimension is ~10 times larger than its size on the plane of the sky. The special geometry and conditions required may explain why O$_2$ emission has not been detected in the cores of other massive star-forming molecular clouds.


title: Spin susceptibility anomaly in cluster Mott insulators on a partially-filled anisotropic Kagome lattice: applications to LiZn2Mo3O8

abstract: Motivated by recent experiments on the quantum-spin-liquid candidate material LiZn2Mo3O8, we study a single-band extended Hubbard model on an anisotropic Kagome lattice with the 1/6 electron filling. Due to the partial filling of the lattice, the inter-site repulsive interaction is necessary to generate Mott insulators, where electrons are localized in clusters, rather than at lattice sites. We provide examples of such cluster Mott insulators and study the phase transitions between metallic states and cluster Mott insulators on an anisotropic Kagome lattice. It is shown that these cluster Mott insulators are generally U(1) quantum spin liquids with spinon Fermi surfaces. However, the nature of charge excitations in different cluster Mott insulators could be quite different and we show that there exists a novel cluster Mott insulator where charge fluctuations around the hexagonal cluster induce a plaquette charge order (PCO). The spinon excitation spectrum in this spin-liquid cluster Mott insulator is reconstructed due to the PCO so that only 1/3 of the total spinon excitations are magnetically active. The strong coupling limit of the same model is also analyzed via a Kugel-Khomskii-like model. Based on these results, we propose that the anomalous behavior of the finite-temperature spin-susceptibility in LiZn2Mo3O8 may be explained by finite-temperature properties of the cluster Mott insulator with the PCO as well as fractionalized spinon excitations. Existing and possible future experiments on LiZn2Mo3O8, and other Mo-based cluster magnets are discussed in light of these theoretical predictions.


title: The Erd\H{o}s-Hajnal Conjecture for Long Holes and Anti-holes

abstract: Erd\H{o}s and Hajnal conjectured that, for every graph $H$, there exists a constant $c_H$ such that every graph $G$ on $n$ vertices which does not contain any induced copy of $H$ has a clique or a stable set of size $n^{c_H}$. We prove that for every $k$, there exists $c_k>0$ such that every graph $G$ on $n$ vertices not inducing a cycle of length at least $k$ nor its complement contains a clique or a stable set of size $n^{c_k}$.


title: Magnetic Modulation of Stellar Angular Momentum Loss

abstract: Angular Momentum Loss is important for understanding astrophysical phenomena such as stellar rotation, magnetic activity, close binaries, and cataclysmic variables. Magnetic breaking is the dominant mechanism in the spin down of young late-type stars. We have studied angular momentum loss as a function of stellar magnetic activity. We argue that the complexity of the field and its latitudinal distribution are crucial for angular momentum loss rates. In this work we discuss how angular momentum is modulated by magnetic cycles, and how stellar spin down is not just a simple function of large scale magnetic field strength.


title: Scattering matrix approach to the description of quantum electron transport

abstract: We consider the scattering matrix approach to quantum electron transport in meso- and nano-conductors. This approach is an alternative to the more conventional kinetic equation and Green's function approaches, and often is more efficient for coherent conductors (especially for proving general relations) and typically more transparent. We provide a description of both time-averaged quantities (for example, current-voltage characteristics) and current fluctuations in time -- noise, as well as full counting statistics of charge transport in a finite time. In addition to normal conductors, we consider contacts with superconductors and Josephson junctions.

categories: cond-mat.mes-hall cond-mat.stat-mech cond-mat.supr-con quant-ph


title: A strong law of computationally weak subsets

abstract: We show that in the setting of fair-coin measure on the power set of the natural numbers, each sufficiently random set has an infinite subset that computes no random set. That is, there is an almost sure event $\mathcal A$ such that if $X\in\mathcal A$ then $X$ has an infinite subset $Y$ such that no element of $\mathcal A$ is Turing computable from $Y$.


title: More period finding with adiabatic quantum computation

abstract: We extend the work of Hen for the Bernstein-Vazirani problem and Simon's problem on an adiabatic quantum computer. Our results are based on the Ising objective function for quantum annealing. For each problem we determine its objective function, describe its Hamiltonian matrix, and show the Hamiltonian matrix for a small problem. Following the pattern of Hen, we discuss factoring of integers, particularly Shor's factoring algorithm in an adiabatic quantum computing environment.


title: Evidence for spin-triplet superconductivity in U$_2$PtC$_2$ from $^{195}$Pt NMR

abstract: Nuclear magnetic resonance (NMR) measurements on the $^{195}$Pt nucleus in an aligned powder of the moderately heavy-fermion material U2PtC2 are consistent with spin-triplet pairing in its superconducting state. Across the superconducting transition temperature and to much lower temperatures, the NMR Knight shift is temperature independent for field both parallel and perpendicular to the tetragonal c-axis, expected for triplet equal-spin pairing superconductivity. The NMR spin-lattice relaxation rate 1/T$_1$, in the normal state, exhibits characteristics of ferromagnetic fluctuations, compatible with an enhanced Wilson ratio. In the superconducting state, 1/T$_1$ follows a power law with temperature without a coherence peak giving additional support that U$_2$PtC$_2$ is an unconventional superconductor. Bulk measurements of the AC-susceptibility and resistivity indicate that the upper critical field exceeds the Pauli limiting field for spin-singlet pairing and is near the orbital limiting field, an additional indication for spin-triplet pairing.


title: Cohomology with closed support on the overconvergent site

abstract: Using the notions of open/closed subtopoi of SGA, we define a notion of cohomology with support in a closed subscheme on the overconvergent site, and show that this agrees with the classic notion of rigid cohomology support in a closed subscheme.


title: Nonlinear Force Propagation during Granular Impact

abstract: We experimentally study nonlinear force propagation into granular material during impact from an intruder, and we explain our observations in terms of the nonlinear grain-scale force relation. Using high-speed video and photoelastic particles, we determine the speed and spatial structure of the force response just after impact. We show that these quantities depend on a dimensionless parameter, $M'=t_c v_0/d$, where $v_0$ is the intruder speed at impact, $d$ is the particle diameter, and $t_c$ is the collision time for a pair of grains impacting at relative speed $v_0$. The experiments access a large range of $M'$ by using particles of three different materials. When $M' \ll 1$, force propagation is chain-like with a speed, $v_f$, satisfying $v_f \propto d/t_c$. For larger $M'$, the force response becomes spatially dense and the force propagation speed departs from $v_f\propto d/t_c$, corresponding to collective stiffening of a strongly compressed packing of grains.


title: Imaging the dynamics of free-electron Landau states

abstract: Landau levels and states of electrons in a magnetic field are fundamental quantum entities underlying the quantum-Hall and related effects in condensed matter physics. However, the real-space properties and observation of Landau wave functions remain elusive. Here we report the first real-space observation of Landau states and the internal rotational dynamics of free electrons. States with different quantum numbers are produced using nanometer-size electron vortex beams, with a radius chosen to match the waist of the Landau states, in a quasi-uniform magnetic field. Scanning the beams along the propagation direction, we reconstruct the rotational dynamics of the Landau wave functions with angular frequency ~100 GHz. We observe that Landau modes with different azimuthal quantum numbers belong to three classes, which are characterized by rotations with zero, Larmor, and cyclotron frequencies, respectively. This is in sharp contrast to the uniform cyclotron rotation of classical electrons, and in perfect agreement with recent theoretical predictions.


title: K\H{o}nig's Line Coloring and Vizing's Theorems for Graphings

abstract: The classical theorem of Vizing states that every graph of maximum degree $d$ admits an edge-coloring with at most $d+1$ colors. Furthermore, as it was earlier shown by K\H{o}nig, $d$ colors suffice if the graph is bipartite. We investigate the existence of measurable edge-colorings for graphings. A graphing is an analytic generalization of a bounded-degree graph that appears in various areas, such as sparse graph limits, orbit equivalence theory and measurable group theory. We show that every graphing of maximum degree $d$ admits a measurable edge-coloring with $d + O(\sqrt{d})$ colors; furthermore, if the graphing has no odd cycles, then $d+1$ colors suffice. In fact, if a certain conjecture about finite graphs that strengthens Vizing's theorem is true, then our method will show that $d+1$ colors are always enough.


title: Human Factors Influencing Visual Statistical Inference

abstract: Visual statistical inference is a way to determine significance of patterns found while exploring data. It is dependent on the evaluation of a lineup, of a data plot among a sample of null plots, by human observers. Each individual is different in their cognitive psychology and judiciousness, which can affect the visual inference. The usual way to estimate the effectiveness of a statistical test is its power. The estimate of power of a lineup can be controlled by combining evaluations from multiple observers. Factors that may also affect the power of visual inference are the observers' demographics, visual skills, and experience, the sample of null plots taken from the null distribution, the position of the data plot in the lineup, and the signal strength in the data. This paper examines these factors. Results from multiple visual inference studies using Amazon's Mechanical Turk are examined to provide an assessment of these. The experiments suggest that individual skills vary substantially, but demographics do not have a huge effect on performance. There is evidence that a learning effect exists but only in that observers get faster with repeated evaluations, but not more often correct. The placement of data plot in the lineup does not affect the inference.


title: Probing the very-high-energy gamma-ray spectral curvature in the blazar PG 1553+113 with the MAGIC telescopes

abstract: PG 1553+113 is a very-high-energy (VHE, $E>100\,\mathrm{GeV}$) $\gamma$-ray emitter classified as a BL Lac object. Its redshift is constrained by intergalactic absorption lines in the range $0.4<z<0.58$. The MAGIC telescopes have monitored the source's activity since 2005. In early 2012, PG 1553+113 was found in a high-state, and later, in April of the same year, the source reached its highest VHE flux state detected so far. Simultaneous observations carried out in X-rays during 2012 April show similar flaring behaviour. In contrast, the $\gamma$-ray flux at $E<100\,\mathrm{GeV}$ observed by Fermi-LAT is compatible with steady emission. In this paper, a detailed study of the flaring state is presented. The VHE spectrum shows clear curvature, being well fitted either by a power law with an exponential cut-off or by a log-parabola. A simple power-law fit hypothesis for the observed shape of the PG 1553+113 VHE $\gamma$-ray spectrum is rejected with a high significance (fit probability P=2.6 $\times 10^{-6}$). The observed curvature is compatible with the extragalactic background light (EBL) imprint predicted by current generation EBL models assuming a redshift $z\sim0.4$. New constraints on the redshift are derived from the VHE spectrum. These constraints are compatible with previous limits and suggest that the source is most likely located around the optical lower limit, $z=0.4$, based on the detection of Ly$\alpha$ absorption. Finally, we find that the synchrotron self-Compton (SSC) model gives a satisfactory description of the observed multi-wavelength spectral energy distribution during the flare.


title: Chiral asymmetry in cold QED plasma in a strong magnetic field

abstract: The interaction induced chiral asymmetry is calculated in cold QED plasma beyond the weak-field approximation. By making use of the recently developed Landau-level representation for the fermion self-energy, the chiral shift and the parity-even chiral chemical potential function are obtained with the help of numerical methods. The results are used to quantify the chiral asymmetry of the Fermi surface in dense QED matter. Because of the weakness of the QED interactions, the value of the asymmetry appears to be rather small even in the strongest magnetic fields and at the highest stellar densities. However, the analogous asymmetry can be substantial in the case of dense quark matter.


title: Laser Liftoff of GaAs Thin Films

abstract: The high cost of single crystal III-V substrates limits the use of GaAs and related sphalerite III-V materials in many applications, especially photovoltaics. Separating epitaxially-grown layers from a growth substrate can reduce costs, however the current approach, which uses an acid to laterally etch an epitaxial sacrificial layer, is slow and can damage other device layers. Here, we demonstrate a new approach that is orders of magnitude faster, and that enables more freedom in the selection of other device layers. We show damage-free removal of an epitaxial single crystal GaAs film from its GaAs growth substrate using a laser that is absorbed by a smaller-band-gap, pseudomorphic layer grown between the substrate and the GaAs film. The liftoff process transfers the GaAs film to a flexible polymer substrate, and the transferred GaAs layer is indistinguishable in structural quality from its growth substrate.


title: Tm$^{3+}$:Y$_3$Ga$_5$O$_{12}$ materials for spectrally multiplexed quantum memories

abstract: We investigate the relevant spectroscopic properties of the 795 nm $^3$H$_6$$\leftrightarrow$$^3$H$_4$ transition in 1% Tm$^{3+}$:Y$_3$Ga$_5$O$_{12}$ at temperatures as low as 1.2 K for optical quantum memories based on persistent spectral tailoring of narrow absorption features. Our measurements reveal that this transition has uniform coherence properties over a 56 GHz bandwidth, and a simple hyperfine structure split by $\pm$44 MHz/T with lifetimes of up to hours. Furthermore, we find a $^3$F$_4$ population lifetime of 64 ms -- one of the longest lifetimes observed for an electronic level in a solid --, and an exceptionally long coherence lifetime of 490 $\mu$s -- the longest ever observed for optical transitions of Tm$^{3+}$ ions in a crystal. Our results suggest that this material allows realizing broadband quantum memories that enable spectrally multiplexed quantum repeaters.


title: Low-speed Impact Simulations into Regolith in Support of Asteroid Sampling Mechanism Design I.: Comparison with 1-g Experiments

abstract: This study is carried out in the framework of sample-return missions to asteroids that use a low-speed projectile as the primary component of its sampling mechanism (e.g., JAXA's Hayabusa and Hayabusa2 missions). We perform numerical simulations of such impacts into granular materials using different projectile shapes under Earth's gravity. We then compare the amounts of ejected mass obtained in our simulations against what was found in experiments that used similar setups, which allows us to validate our numerical approach. For the targets, we consider 2 different monodisperse grain-diameter sizes: 5 mm and 3 mm. The impact speed of the projectile is 11 m s$^{-1}$ directed downward, perpendicular to the surface of the targets. Using an implementation of the soft-sphere discrete element method (SSDEM) in the $N$-Body gravity tree code PKDGRAV, previously validated in the context of low-speed impacts into sintered glass bead agglomerates, we find a noticeable dependence of the amount of ejected mass on the projectile shape. As found in experiments, in the case of the larger target grain size (5 mm), a conically shaped projectile ejects a greater amount of mass than do projectiles of other shapes, including disks and spheres. We then find that numerically the results are sensitive to the normal coefficient of restitution of the grains, especially for impacts into targets comprised of smaller grains (3 mm). We also find that static friction plays a more important role for impacts into targets comprised of the larger grains. As a preliminary demonstration, one of these considered setups is simulated in a microgravity environment. As expected, a reduction in gravity increases both the amount of ejected mass and the timescale of the impact process. Our methodology is also adaptable to the conditions of sampling mechanisms included in specific mission designs.


title: Differential Game Logic

abstract: Differential game logic (dGL) is a logic for specifying and verifying properties of hybrid games, i.e. games that combine discrete, continuous, and adversarial dynamics. Unlike hybrid systems, hybrid games allow choices in the system dynamics to be resolved adversarially by different players with different objectives. The logic dGL can be used to study the existence of winning strategies for such hybrid games, i.e. ways of resolving the player's choices in some way so that he wins by achieving his objective for all choices of the opponent. Hybrid games are determined, i.e. from each state, one player has a winning strategy, yet computing their winning regions may take transfinitely many steps. The logic dGL, nevertheless, has a sound and complete axiomatization relative to any expressive logic. Separating axioms are identified that distinguish hybrid games from hybrid systems. Finally, dGL is proved to be strictly more expressive than the corresponding logic of hybrid systems by characterizing the expressiveness of both.


title: CdSe/ZnSe quantum dot with a single Mn$^{2+}$ ion - a new system for a single spin manipulation

abstract: We present a magneto-optical study of individual self-assembled CdSe/ZnSe quantum dots doped with single Mn$^{2+}$ ions. Properties of the studied dots are analyzed analogously to more explored system of Mn-doped CdTe/ZnTe dots. Characteristic sixfold splitting of the neutral exciton emission line as well as its evolution in the magnetic field are described using a spin Hamiltonian model. Dynamics of both exciton recombination and Mn$^{2+}$ spin relaxation are extracted from a series of time-resolved experiments. Presence of a single dopant is shown not to affect the average excitonic lifetime measured for a number of nonmagnetic and Mn-doped dots. On the other hand, non-resonant pumping is demonstrated to depolarize the Mn$^{2+}$ spin in a quantum dot placed in external magnetic field. This effect is utilized to determine the ion spin relaxation time in the dark.


title: The orbital period of the V Sge star candidate QU Carinae

abstract: Close Binary Supersoft X-ray Sources (CBSS) are considered strong candidates to SN Ia progenitors, but very few CBSS are known in our Galaxy. The galactic counterparts of the CBSS may be the V Sge stars, not detected in X-rays due to the strong absorption by the interstellar gas. Nevertheless, the number of members in the V Sge class is still small. In order to find new members we selected QU Car for photometric and spectroscopic observations. The orbital period of this system was published in the literature as 10.9 h, determined from radial velocity data taken in 1979-1980, but posterior analysis of data taken in 2006-2007 did not confirm this period. We analysed the high variability of its emission line profiles with the Temporal Variance Spectrum (TVS) technique. Besides, we recovered the 10.9 h orbital period from the radial velocities of the He II 4686 A emission line and, for the first time, detected what may be the orbital modulation in the photometric data. This photometric modulation is present only in the lower brightness state data, when the flickering is attenuated. The inclusion of QU Car in the V Sge class is supported by many features like high/low states, strong winds, nebular lines and He II 4686 A/Hbeta line ratios. However, the non-detection of the characteristic O VI 3811-34 A lines in its spectrum claims against this classification. These lines, though, may be highly variable so additional spectra analysed with the TVS technique can, possibly, solve this question.


title: Decomposition of bounded degree graphs into $C_4$-free subgraphs

abstract: We prove that every graph with maximum degree $\Delta$ admits a partition of its edges into $O(\sqrt{\Delta})$ parts (as $\Delta\to\infty$) none of which contains $C_4$ as a subgraph. This bound is sharp up to a constant factor. Our proof uses an iterated random colouring procedure.


title: Neighborhood Rank Order Coding for Robust Texture Analysis and Feature Extraction

abstract: Research into the visual cortex and general neural information processing has led to various attempts to integrate pulse computation schemes in image analysis systems. Of interest is especially the robustness of representing an analogue signal in the phase or duration of a pulsed, quasi-digital signal, as well as the possibility of direct digital interaction, i.e. computation, among these signals. Such a computation can also achieve information compaction for subsequent processing stages. By using a pulse order encoding scheme motivated by dendritic pulse interaction, we will show that a powerful low-level feature and texture extraction operator, called Pulsed Local Orientation Coding (PLOC), can be implemented. Feature extraction results are being presented, and a possible VLSI implementation is detailed.


title: A model of grassroots changes in linguistic systems

abstract: Linguistic norms emerge in human communities because people imitate each other. A shared linguistic system provides people with the benefits of shared knowledge and coordinated planning. Once norms are in place, why would they ever change? This question, echoing broad questions in the theory of social dynamics, has particular force in relation to language. By definition, an innovator is in the minority when the innovation first occurs. In some areas of social dynamics, important minorities can strongly influence the majority through their power, fame, or use of broadcast media. But most linguistic changes are grassroots developments that originate with ordinary people. Here, we develop a novel model of communicative behavior in communities, and identify a mechanism for arbitrary innovations by ordinary people to have a good chance of being widely adopted. To imitate each other, people must form a mental representation of what other people do. Each time they speak, they must also decide which form to produce themselves. We introduce a new decision function that enables us to smoothly explore the space between two types of behavior: probability matching (matching the probabilities of incoming experience) and regularization (producing some forms disproportionately often). Using Monte Carlo methods, we explore the interactions amongst the degree of regularization, the distribution of biases in a network, and the network position of the innovator. We identify two regimes for the widespread adoption of arbritrary innovations, viewed as informational cascades in the network. With moderate regularization of experienced input, average people (not well-connected people) are the most likely source of successful innovations. Our results shed light on a major outstanding puzzle in the theory of language change. The framework also holds promise for understanding the dynamics of other social norms.


title: Gabor-like Image Filtering using a Neural Microcircuit

abstract: In this letter, we present an implementation of a neural microcircuit for image processing employing Hebbian-adaptive learning. The neuronal circuit utilizes only excitatory synapses to correlate action potentials, extracting the uncorrelated ones, which contain significant image information. This circuit is capable of approximating Gabor-like image filtering and other image processing functions


title: Secrecy Wireless Information and Power Transfer in Fading Wiretap Channel

abstract: Simultaneous wireless information and power transfer (SWIPT) has recently drawn significant interests for its dual use of radio signals to provide wireless data and energy access at the same time. However, a challenging secrecy communication issue arises as the messages sent to the information receivers (IRs) may be eavesdropped by the energy receivers (ERs), which are presumed to harvest energy only from the received signals. To tackle this problem, we propose in this paper an artificial noise (AN) aided transmission scheme to facilitate the secrecy information transmission to IRs and yet meet the energy harvesting requirement for ERs, under the assumption that the AN can be cancelled at IRs but not at ERs. Specifically, the proposed scheme splits the transmit power into two parts, to send the confidential message to the IR and an AN to interfere with the ER, respectively. Under a simplified three-node wiretap channel setup, the transmit power allocations and power splitting ratios over fading channels are jointly optimized to minimize the outage probability for delay-limited secrecy information transmission, or to maximize the average rate for no-delay-limited secrecy information transmission, subject to a combination of average and peak power constraints at the transmitter as well as an average energy harvesting constraint at the ER. Both the secrecy outage probability minimization and average rate maximization problems are shown to be non-convex, for each of which we propose the optimal solution based on the dual decomposition as well as suboptimal solution based on the alternating optimization. Furthermore, two benchmark schemes are introduced for comparison. Finally, the performances of proposed schemes are evaluated by simulations in terms of various trade-offs for wireless (secrecy) information versus energy transmissions.


title: Measurable equidecompositions via combinatorics and group theory

abstract: We give a sketch of proof that any two (Lebesgue) measurable subsets of the unit sphere in $R^n$, for $n\ge 3$, with non-empty interiors and of the same measure are equidecomposable using pieces that are measurable.


title: On the stability of L^p-norms of Curvature Tensor at Rank one symmetrics spaces

abstract: We study stability and local minimizing properties of $L^p$- norms of Riemannian curvature tensor denoted by $\mathcal{R}_p$ by variational methods. We compute the Hessian of $\mathcal{R}_p$ at compact rank 1 symmetric spaces and prove that they are stable for $\mathcal{R}_p$ for certain values of p > 2. A similar result also holds for compact quotients of rank 1 symmetric spaces of non-compact type. Consequently, we obtain stability of L^{n\2}- norm of Weyl curvature at these metrics.


title: Time-dependent exchange and tunneling: detection at the same place of two electrons emitted simultaneously from different sources

abstract: Two-particle scattering probabilities in tunneling scenarios with exchange interaction are analyzed with quasi-particle wave packets. Two initial one-particle wave packets (with opposite central momentums) are spatially localized at each side of a barrier. After impinging upon a tunneling barrier, each wave packet splits into transmitted and reflected components. When the initial two-particle anti-symmetrical state is defined as a Slater determinant any type of (normalizable) one-particle wave packet, it is shown that the probability of detecting two (identically injected) electrons at the same side of the barrier is different from zero in very common (single or double barrier) scenarios. In some particular scenarios, the transmitted and reflected components become orthogonal and the mentioned probabilities reproduce those values associated to distinguishable particles. These unexpected non-zero probabilities are still present when non-separable Coulomb interaction or non-symmetrical potentials are considered. On the other hand, for initial wave packets close to Hamiltonian eigenstates, the usual zero two-particle probability for electrons at the same side of the barrier found in the literature is recovered. The generalization to many-particle scattering probabilities with quasi-particle wave packets for low and high phase-space density are also analyzed. The far-reaching consequences of these non-zero probabilities in the accurate evaluation of quantum noise in mesoscopic systems are briefly indicated.


title: Nanomechanical and topographical imaging of living cells by Atomic Force Microscopy with colloidal probes

abstract: Atomic Force Microscopy (AFM) has a great potential as a tool to characterize mechanical and morphological properties of living cells; these properties have been shown to correlate with cells' fate and patho-physiological state in view of the development of novel early-diagnostic strategies. Although several reports have described experimental and technical approaches for the characterization of cell elasticity by means of AFM, a robust and commonly accepted methodology is still lacking. Here we show that micrometric spherical probes (also known as colloidal probes) are well suited for performing a combined topographic and mechanical analysis of living cells, with spatial resolution suitable for a complete and accurate mapping of cell morphological and elastic properties, and superior reliability and accuracy in the mechanical measurements with respect to conventional and widely used sharp AFM tips. We address a number of issues concerning the nanomechanical analysis, including the applicability of contact mechanical models and the impact of a constrained contact geometry on the measured elastic modulus (the finite-thickness effect). We have tested our protocol by imaging living PC12 and MDA-MB-231 cells, in order to demonstrate the importance of the correction of the finite-thickness effect and the change in cell elasticity induced by the action of a cytoskeleton-targeting drug.


title: Quantitative unique continuation principle for Schr\"odinger Operators with Singular Potentials

abstract: We prove a quantitative unique continuation principle for Schr\"odinger operators $H=-\Delta+V$ on $\mathrm{L}^2(\Omega)$, where $\Omega$ is an open subset of $\mathbb{R}^d$ and $V$ is a singular potential: $V \in \mathrm{L}^\infty(\Omega) + \mathrm{L}^p(\Omega)$. As an application, we derive a unique continuation principle for spectral projections of Schr\"odinger operators with singular potentials.


title: An Evasion and Counter-Evasion Study in Malicious Websites Detection

abstract: Malicious websites are a major cyber attack vector, and effective detection of them is an important cyber defense task. The main defense paradigm in this regard is that the defender uses some kind of machine learning algorithms to train a detection model, which is then used to classify websites in question. Unlike other settings, the following issue is inherent to the problem of malicious websites detection: the attacker essentially has access to the same data that the defender uses to train its detection models. This 'symmetry' can be exploited by the attacker, at least in principle, to evade the defender's detection models. In this paper, we present a framework for characterizing the evasion and counter-evasion interactions between the attacker and the defender, where the attacker attempts to evade the defender's detection models by taking advantage of this symmetry. Within this framework, we show that an adaptive attacker can make malicious websites evade powerful detection models, but proactive training can be an effective counter-evasion defense mechanism. The framework is geared toward the popular detection model of decision tree, but can be adapted to accommodate other classifiers.


title: Gauge theory of gravity and matter

abstract: It is shown how to write the first order action for gravity in a gauge theoretic formalism where the spin connection and frame field degrees of freedom are assimilated together into a gauge connection. It is then shown how to couple the theory to spin-0, 1/2, 1 and 3/2 fields in a gauge invariant fashion. The results hold in any number of spacetime dimensions.


title: Characterizing Arithmetic Read-Once Formulae

abstract: An \emph{arithmetic read-once formula} (ROF for short) is a formula (i.e. a tree of computation) in which the operations are $\{+,\times\}$ and such that every input variable labels at most one leaf. We give a simple characterization of such formulae. Other than being interesting in its own right, our characterization gives rise to a property testing algorithm for functions computable by such formulae. To the best of our knowledge, prior to our work no characterization and/or property testing algorithm was known for this kind of formulae.


title: SWIFT XRT Observations of the Nova-like Cataclysmic Variables MV Lyr, BZ Cam and V592 Cas

abstract: We present a total of ~ 45 ksec (3$\times$15 ksec) of SWIFT XRT observations for three non-magnetic nova-like (NL) Cataclysmic Variables (CVs) (MV Lyr, BZ Cam, V592 Cas) in order to study characteristics of Boundary Layers (BL) in CVs. The nonmagnetic NLs are found mostly in a state of high mass accretion rate ($\ge$1$\times$10$^{-9}$ Msun yr$^{-1}$) and some show occasional low states. Using the XRT data, we find optically thin multiple-temperature cooling flow type emission spectra with X-ray temperatures (kT$_{max}$) of 21-50 keV. These hard X-ray emitting boundary layers diverge from simple isobaric cooling flows indicating X-ray temperatures that are of virial values in the disk. In addition, we detect power law emission components from MV Lyr and BZ Cam and plausibly from V592 Cas which may be a result of the Compton scattering of the optically thin emission from the fast wind outflows in these systems and/or Compton up-scattering of the soft disk photons. The X-ray luminosities of the (multi-temperature) thermal plasma emission in the 0.1-50.0 keV range are (0.9-5.0)$\times$10$^{32}$ erg/sec. The ratio of the X-ray and disk luminosities (calculated from the UV-optical wavelengths) yield an efficiency (L$_{x}$/L$_{disk}$) ~ 0.01-0.001. Given this non-radiative ratio for the X-ray emitting boundary layers with no significant optically thick blackbody emission in the soft X-rays (consistent with ROSAT observations) together with the high/virial X-ray temperatures, we suggest that high state NL systems may have optically thin BLs merged with ADAF-like flows and/or X-ray coronae. In addition, we note that the axisymmetric bipolar and/or rotation dominated fast wind outflows detected in these three NLs (particularly BZ Cam and V592 Cas) or some other NL may also be explained in the context of ADAF-like BL regions.


title: A process of rumor scotching on finite populations

abstract: Rumor spreading is a ubiquitous phenomenon in social and technological networks. Traditional models consider that the rumor is propagated by pairwise interactions between spreaders and ignorants. Spreaders can become stiflers only after contacting spreaders or stiflers. Here we propose a model that considers the traditional assumptions, but stiflers are active and try to scotch the rumor to the spreaders. An analytical treatment based on the theory of convergence of density dependent Markov chains is developed to analyze how the final proportion of ignorants behaves asymptotically in a finite homogeneously mixing population. We perform Monte Carlo simulations in random graphs and scale-free networks and verify that the results obtained for homogeneously mixing populations can be approximated for random graphs, but are not suitable for scale-free networks. Furthermore, regarding the process on a heterogeneous mixing population, we obtain a set of differential equations that describes the time evolution of the probability that an individual is in each state. Our model can be applied to study systems in which informed agents try to stop the rumor propagation. In addition, our results can be considered to develop optimal information dissemination strategies and approaches to control rumor propagation.


title: $(2+1)$-dimensional charged black holes with scalar hair in Einstein-Power-Maxwell Theory

abstract: We obtain an exact static solution to Einstein-Power-Maxwell (EPM) theory in $(2+1)$ dimensional AdS spacetime, in which the scalar field couples to gravity in a non-minimal way. After considering the scalar potential, a stable system leads to a constraint on the power parameter $k$ of Maxwell field. The solution contains a curvature singularity at the origin and is non-conformally flat. The horizon structures are identified, which indicates the physically acceptable lower bound of mass in according to the existence of black hole solutions. Especially for the cases with $k>1$, the lower bound is negative, thus there exist scalar black holes with negative mass. The null geodesics in this spacetime are also discussed in detail. They are divided into five models, which are made up of the cases with the following geodesic motions: no-allowed motion, the circular motion, the elliptic motion and the unbounded spiral motion.


title: Finding subsets of positive measure

abstract: An important theorem of geometric measure theory (first proved by Besicovitch and Davies for Euclidean space) says that every analytic set of non-zero $s$-dimensional Hausdorff measure $\mathcal H^s$ contains a closed subset of non-zero (and indeed finite) $\mathcal H^s$-measure. We investigate the question how hard it is to find such a set, in terms of the index set complexity, and in terms of the complexity of the parameter needed to define such a closed set. Among other results, we show that given a (lightface) $\Sigma^1_1$ set of reals in Cantor space, there is always a $\Pi^0_1(\mathcal{O})$ subset on non-zero $\mathcal H^s$-measure definable from Kleene's $\mathcal O$. On the other hand, there are $\Pi^0_2$ sets of reals where no hyperarithmetic real can define a closed subset of non-zero measure.


title: Direct observations of magnetic flux rope formation during a solar coronal mass ejection

abstract: Coronal mass ejections (CMEs) are the most spectacular eruptive phenomena in the solar atmosphere. It is generally accepted that CMEs are results of eruptions of magnetic flux ropes (MFRs). However, a heated debate is on whether MFRs pre-exist before the eruptions or they are formed during the eruptions. Several coronal signatures, \textit{e.g.}, filaments, coronal cavities, sigmoid structures and hot channels (or hot blobs), are proposed as MFRs and observed before the eruption, which support the pre-existing MFR scenario. There is almost no reported observation about MFR formation during the eruption. In this letter, we present an intriguing observation of a solar eruptive event occurred on 2013 November 21 with the Atmospheric Imaging Assembly on board the \textit{Solar Dynamic Observatory}, which shows a detailed formation process of the MFR during the eruption. The process started with the expansion of a low-lying coronal arcade, possibly caused by the flare magnetic reconnection underneath. The newly-formed ascending loops from below further pushed the arcade upward, stretching the surrounding magnetic field. The arcade and stretched magnetic field lines then curved-in just below the arcade vertex, forming an X-point. The field lines near the X-point continued to approach each other and a second magnetic reconnection was induced. It is this high-lying magnetic reconnection that led to the formation and eruption of a hot blob ($\sim$ 10 MK), presumably a MFR, producing a CME. We suggest that two spatially-separated magnetic reconnections occurred in this event, responsible for producing the flare and the hot blob (CME), respectively.


title: Small isospectral and nonisometric orbifolds of dimension 2 and 3

abstract: Revisiting a construction due to Vigneras, we exhibit small pairs of orbifolds and manifolds of dimension 2 and 3 arising from arithmetic Fuchsian and Kleinian groups that are Laplace isospectral (in fact, representation equivalent) but nonisometric.


title: On the Chromatic Number of $\mathbb{R}^n$ for Small Values of $n$

abstract: The lower bound for the chromatic number of $\mathbb{R}^n$ is improved for $n = 6, 7, 10, 11, 12, 13 \mbox{ and } 14$.


title: LARSEN-ELM: Selective Ensemble of Extreme Learning Machines using LARS for Blended Data

abstract: Extreme learning machine (ELM) as a neural network algorithm has shown its good performance, such as fast speed, simple structure etc, but also, weak robustness is an unavoidable defect in original ELM for blended data. We present a new machine learning framework called LARSEN-ELM for overcoming this problem. In our paper, we would like to show two key steps in LARSEN-ELM. In the first step, preprocessing, we select the input variables highly related to the output using least angle regression (LARS). In the second step, training, we employ Genetic Algorithm (GA) based selective ensemble and original ELM. In the experiments, we apply a sum of two sines and four datasets from UCI repository to verify the robustness of our approach. The experimental results show that compared with original ELM and other methods such as OP-ELM, GASEN-ELM and LSBoost, LARSEN-ELM significantly improve robustness performance while keeping a relatively high speed.


title: RMSE-ELM: Recursive Model based Selective Ensemble of Extreme Learning Machines for Robustness Improvement

abstract: Extreme learning machine (ELM) as an emerging branch of shallow networks has shown its excellent generalization and fast learning speed. However, for blended data, the robustness of ELM is weak because its weights and biases of hidden nodes are set randomly. Moreover, the noisy data exert a negative effect. To solve this problem, a new framework called RMSE-ELM is proposed in this paper. It is a two-layer recursive model. In the first layer, the framework trains lots of ELMs in different groups concurrently, then employs selective ensemble to pick out an optimal set of ELMs in each group, which can be merged into a large group of ELMs called candidate pool. In the second layer, selective ensemble is recursively used on candidate pool to acquire the final ensemble. In the experiments, we apply UCI blended datasets to confirm the robustness of our new approach in two key aspects (mean square error and standard deviation). The space complexity of our method is increased to some degree, but the results have shown that RMSE-ELM significantly improves robustness with slightly computational time compared with representative methods (ELM, OP-ELM, GASEN-ELM, GASEN-BP and E-GASEN). It becomes a potential framework to solve robustness issue of ELM for high-dimensional blended data in the future.


title: On the Meeting Time for Two Random Walks on a Regular Graph

abstract: We provide an analysis of the expected meeting time of two independent random walks on a regular graph. For 1-D circle and 2-D torus graphs, we show that the expected meeting time can be expressed as the sum of the inverse of non-zero eigenvalues of a suitably defined Laplacian matrix. We also conjecture based on empirical evidence that this result holds more generally for simple random walks on arbitrary regular graphs. Further, we show that the expected meeting time for the 1-D circle of size $N$ is $\Theta(N^2)$, and for a 2-D $N \times N$ torus it is $\Theta(N^2 log N)$.


title: Structure determination and coexistence of superconductivity and antiferromagnetic order in (Li0.8Fe0.2)OHFeSe

abstract: FeSe-derived superconductors show some unique behaviors relative to iron-pnictide superconductors, which are very helpful to understand the mechanism of superconductivity in high-Tc iron-based superconductors. The low-energy electronic structure of the heavily electron-doped AxFe2Se2 (A=K, Rb, Cs) demonstrates that interband scattering or Fermi surface nesting is not a necessary ingredient for the unconventional superconductivity in iron-based superconductors. The superconducting transition temperature (Tc) in the one-unit-cell FeSe on SrTiO3 substrate can reach as high as ~65 K, largely transcending the bulk Tc of all known iron-based superconductors. However, in the case of AxFe2Se2, the inter-grown antiferromagnetic insulating phase makes it difficult to study the underlying physics. Superconductors of alkali metal ions and NH3 molecules or organic-molecules intercalated FeSe and single layer or thin film FeSe on SrTiO3 substrate are extremely air-sensitive, which prevents the further investigation of their physical properties. Therefore, it is urgent to find a stable and accessible FeSe-derived superconductor for physical property measurements so as to study the underlying mechanism of superconductivity. Here, we report the air-stable superconductor (Li0.8Fe0.2)OHFeSe with high temperature superconductivity at ~40 K synthesized by a novel hydrothermal method. The crystal structure is unambiguously determined by the combination of X-ray and neutron powder diffraction and nuclear magnetic resonance. It is also found that an antiferromagnetic order coexists with superconductivity in such new FeSe-derived superconductor. This novel synthetic route opens a new avenue for exploring other superconductors in the related systems. The combination of different structure characterization techniques helps to complementarily determine and understand the details of the complicated structures.


title: Rossiter-McLaughlin Observations of 55 Cnc e

abstract: We present Rossiter-McLaughlin observations of the transiting super-Earth 55 Cnc e collected during six transit events between January 2012 and November 2013 with HARPS and HARPS-N. We detect no radial-velocity signal above 35 cm/s (3-sigma) and confine the stellar v sin i to 0.2 +/- 0.5 km/s. The star appears to be a very slow rotator, producing a very low amplitude Rossiter-McLaughlin effect. Given such a low amplitude, the Rossiter-McLaughlin effect of 55 Cnc e is undetected in our data, and any spin-orbit angle of the system remains possible. We also performed Doppler tomography and reach a similar conclusion. Our results offer a glimpse of the capacity of future instrumentation to study low amplitude Rossiter-McLaughlin effects produced by super-Earths.


title: The Golden-Thompson inequality --- historical aspects and random matrix applications

abstract: The Golden-Thompson inequality, ${\rm Tr} \, (e^{A + B}) \le {\rm Tr} \, (e^A e^B)$ for $A,B$ Hermitian matrices, appeared in independent works by Golden and Thompson published in 1965. Both of these were motivated by considerations in statistical mechanics. In recent years the Golden-Thompson inequality has found applications to random matrix theory. In this survey article we detail some historical aspects relating to Thompson's work, giving in particular an hitherto unpublished proof due to Dyson, and correspondence with P\'olya. We show too how the $2 \times 2$ case relates to hyperbolic geometry, and how the original inequality holds true with the trace operation replaced by any unitarily invariant norm. In relation to the random matrix applications, we review its use in the derivation of concentration type lemmas for sums of random matrices due to Ahlswede-Winter, and Oliveira, generalizing various classical results.


title: Predictive genomics: A cancer hallmark network framework for predicting tumor clinical phenotypes using genome sequencing data

abstract: We discuss a cancer hallmark network framework for modelling genome-sequencing data to predict cancer clonal evolution and associated clinical phenotypes. Strategies of using this framework in conjunction with genome sequencing data in an attempt to predict personalized drug targets, drug resistance, and metastasis for a cancer patient, as well as cancer risks for a healthy individual are discussed. Accurate prediction of cancer clonal evolution and clinical phenotypes will have substantial impact on timely diagnosis, personalized management and prevention of cancer.


title: Mapping spaces from projective spaces

abstract: We denote the $n$-th projective space of a topological monoid $G$ by $B_nG$ and the classifying space by $BG$. Let $G$ be a well-pointed topological monoid of the homotopy type of a CW complex and $G'$ a well-pointed grouplike topological monoid. We prove the weak equivalence between the pointed mapping space $\mathrm{Map}_0(B_nG,BG)$ and the space of all $A_n$-maps from $G$ to $G'$. This fact has several applications. As the first application, we show that the connecting map $G\rightarrow\mathrm{Map}_0(B_nG,BG)$ of the evaluation fiber sequence $\mathrm{Map}_0(B_nG,BG)\rightarrow\mathrm{Map}(B_nG,BG)\rightarrow BG$ is delooped. As other applications, we consider higher homotopy commutativity, $A_n$-types of gauge groups, $T_k^f$-spaces by Iwase--Mimura--Oda--Yoon and homotopy pullback of $A_n$-maps. In particular, we show that the $T_k^f$-space and the $C_k^f$-space are exactly the same concept and give some new examples of $T_k^f$-spaces.


title: Introduction to Configuration Path Integral Monte Carlo

abstract: In low-temperature high-density plasmas quantum effects of the electrons are becoming increasingly important. This requires the development of new theoretical and computational tools. Quantum Monte Carlo methods are among the most successful approaches to first-principle simulations of many-body quantum systems. In this chapter we present a recently developed method---the configuration path integral Monte Carlo (CPIMC) method for moderately coupled, highly degenerate fermions at finite temperatures. It is based on the second quantization representation of the $N$-particle density operator in a basis of (anti-)symmetrized $N$-particle states (configurations of occupation numbers) and allows to tread arbitrary pair interactions in a continuous space. We give a detailed description of the method and discuss the application to electrons or, more generally, Coulomb-interacting fermions. As a test case we consider a few quantum particles in a one-dimensional harmonic trap. Depending on the coupling parameter (ratio of the interaction energy to kinetic energy), the method strongly reduces the sign problem as compared to direct path integral Monte Carlo (DPIMC) simulations in the regime of strong degeneracy which is of particular importance for dense matter in laser plasmas or compact stars. In order to provide a self-contained introduction, the chapter includes a short introduction to Metropolis Monte Carlo methods and the second quantization of quantum mechanics.


title: Long-range Cooper pair splitter with high entanglement production rate

abstract: Cooper pairs in the superconductor are a natural source of spin entanglement. The existing proposals of the Cooper pair splitter can only realize a low efficiency of entanglement production, and its size is constrained by the superconducting coherence length. Here we show that a long-range Cooper pair splitter can be implemented in a normal metal-superconductor-normal metal (NSN) junction by driving a supercurrent in the S. The supercurrent results in a band gap modification of the S, which significantly enhances the crossed Andreev reflection (CAR) of the NSN junction and simultaneously quenches its elastic cotunneling. Therefore, a high entanglement production rate close to its saturation value can be achieved by the inverse CAR. Interestingly, in addition to the conventional entangled electron states between opposite energy levels, novel entangled states with equal energy can also be induced in our proposal.


title: Large time average of reachable sets and Applications to Homogenization of interfaces moving with oscillatory spatio-temporal velocity

abstract: We study the averaging of fronts moving with positive oscillatory normal velocity, which is periodic in space and stationary ergodic in time. The problem can be reformulated as the homogenization of coercive level set Hamilton-Jacobi equations with spatio-temporal oscillations. To overcome the difficulties due to the oscillations in time and the sublinear growth of the Hamiltonian, we first study the long time averaged behavior of the associated reachable sets using geometric arguments. The results are new for higher than one dimensions even in the space-time periodic setting.


title: Quantum critical benchmark for density functional theory

abstract: Two electrons at the threshold of ionization represent a severe test case for electronic structure theory. A pseudospectral method yields a very accurate density of the two-electron ion with nuclear charge close to the critical value. Highly accurate energy components and potentials of Kohn-Sham density functional theory are given, as well as a useful parametrization of the critical density. The challenges for density functional approximations and the strength of correlation are also discussed.


title: Automatic Removal of Marginal Annotations in Printed Text Document

abstract: Recovering the original printed texts from a document with added handwritten annotations in the marginal area is one of the challenging problems, especially when the original document is not available. Therefore, this paper aims at salvaging automatically the original document from the annotated document by detecting and removing any handwritten annotations that appear in the marginal area of the document without any loss of information. Here a two stage algorithm is proposed, where in the first stage due to approximate marginal boundary detection with horizontal and vertical projection profiles, all of the marginal annotations along with some part of the original printed text that may appear very close to the marginal boundary are removed. Therefore as a second stage, using the connected components, a strategy is applied to bring back the printed text components cropped during the first stage. The proposed method is validated using a dataset of 50 documents having complex handwritten annotations, which gives an overall accuracy of 89.01% in removing the marginal annotations and 97.74% in case of retrieving the original printed text document.


title: The defect functor of a homomorphism and direct unions

abstract: We will study commuting properties of the defect functor $\mathrm{Dev}_\beta=\mathrm{Coker}\mathrm{Hom}_\mathcal{C}(\beta,-)$ associate to a homomorphism $\beta$ in a finitely presented category. As an application, we characterize objects $M$ such that $\mathrm{Ext}^1_\mathcal{C}(M,-)$ commutes with direct unions (i.e. direct limits of monomorphisms), assuming that $\mathcal{C}$ has a generator which is a direct sum of finitely presented projective objects.


title: New moduli of smoothness: weighted DT moduli revisited and applied

abstract: We introduce new moduli of smoothness for functions $f\in L_p[-1,1]\cap C^{r-1}(-1,1)$, $1\le p\le\infty$, $r\ge1$, that have an $(r-1)$st locally absolutely continuous derivative in $(-1,1)$, and such that $\varphi^rf^{(r)}$ is in $L_p[-1,1]$, where $\varphi(x)=(1-x^2)^{1/2}$. These moduli are equivalent to certain weighted DT moduli, but our definition is more transparent and simpler. In addition, instead of applying these weighted moduli to weighted approximation, which was the purpose of the original DT moduli, we apply these moduli to obtain Jackson-type estimates on the approximation of functions in $L_p[-1,1]$ (no weight), by means of algebraic polynomials. Moreover, we also prove matching inverse theorems thus obtaining constructive characterization of various smoothness classes of functions via the degree of their approximation by algebraic polynomials.


title: New moduli of smoothness

abstract: In this paper, we discuss various properties of the new modulus of smoothness \[ \omega^\varphi_{k,r}(f^{(r)},t)_p := \sup_{0 < h\leq t}\|\mathcal W^r_{kh}(\cdot) \Delta_{h\varphi(\cdot)}^k (f^{(r)},\cdot)\|_{L_p[-1,1]}, \] where $\mathcal W_\delta(x) = \bigl((1-x-\delta\varphi(x)/2) (1+x-\delta\varphi(x)/2)\bigr)^{1/2}. $ Related moduli with more general weights are also considered.


title: A Review of Wave Packet Molecular Dynamics

abstract: Warm dense matter systems created in the laboratory are highly dynamical. In such cases electron dynamics is often needed to accurately simulate the evolution and properties of the system. Large systems force one to make simple approximations enabling computationally feasibility. Wave packet molecular dynamics (WPMD) provides a simple framework for simulating time-dependent quantum plasmas. Here, this method is reviewed. The different variants of WPMD are shown and compared and their validity is discussed.

categories: cond-mat.quant-gas nucl-th physics.plasm-ph quant-ph


title: On a nonlocal analog of the Kuramoto-Sivashinsky equation

abstract: We study a nonlocal equation, analogous to the Kuramoto-Sivashinsky equation, in which short waves are stabilized by a possibly fractional diffusion of order less than or equal to two, and long waves are destabilized by a backward fractional diffusion of lower order. We prove the global existence, uniqueness, and analyticity of solutions of the nonlocal equation and the existence of a compact attractor. Numerical results show that the equation has chaotic solutions whose spatial structure consists of interacting traveling waves resembling viscous shock profiles.


title: Enumeration of idempotents in diagram semigroups and algebras

abstract: We give a characterisation of the idempotents of the partition monoid, and use this to enumerate the idempotents in the finite partition, Brauer and partial Brauer monoids, giving several formulae and recursions for the number of idempotents in each monoid as well as various $\mathscr R$-, $\mathscr L$- and $\mathscr D$-classes. We also apply our results to determine the number of idempotent basis elements in the finite dimensional partition, Brauer and partial Brauer algebras.


title: Dihedral Group Frames which are Maximally Robust to Erasures

abstract: Let $n$ be a natural number larger than two. Let $D_{2n}=\langle r,s : r^{n}=s^{2}=e, srs=r^{n-1} \rangle$ be the Dihedral group, and $\kappa $ an $n$-dimensional unitary representation of $D_{2n}$ acting in $\mathbb{C}^n$ as follows. $(\kappa (r)v)(j)=v((j-1)\mod n)$ and $(\kappa(s)v)(j)=v((n-j)\mod n)$ for $v\in\mathbb{C}^n.$ For any representation which is unitarily equivalent to $\kappa,$ we prove that when $n$ is prime there exists a Zariski open subset $E$ of $\mathbb{C}^{n}$ such that for any vector $v\in E,$ any subset of cardinality $n$ of the orbit of $v$ under the action of this representation is a basis for $\mathbb{C}^{n}.$ However, when $n$ is even there is no vector in $\mathbb{C}^{n}$ which satisfies this property. As a result, we derive that if $n$ is prime, for almost every (with respect to Lebesgue measure) vector $v$ in $\mathbb{C}^{n}$ the $\Gamma $-orbit of $v$ is a frame which is maximally robust to erasures. We also consider the case where $\tau$ is equivalent to an irreducible unitary representation of the Dihedral group acting in a vector space $\mathbf{H}_{\tau}\in\left\{\mathbb{C},\mathbb{C}^2\right\}$ and we provide conditions under which it is possible to find a vector $v\in\mathbf{H}_{\tau}$ such that $\tau\left( \Gamma\right) v$ has the Haar property.


title: Capacity and Error Rate Analysis of MIMO Satellite Communication Systems in Fading Scenarios

abstract: In this paper, we investigated the capacity and bit error rate (BER) performance of Multiple Input Multiple Output (MIMO) satellite systems with single and multiple dual polarized satellites in geostationary orbit and a mobile ground receiving station with multiple antennas. We evaluated the effects of both system parameters such as number of satellites, number of receive antennas, and SNR and environmental factors including atmospheric signal attenuations and signal phase disturbances on the overall system performance using both analytical and spatial models for MIMO satellite systems.


title: Decompositions of Rational Gabor Representations

abstract: Let $\Gamma=\langle T_{k},M_{l}:k\in\mathbb{Z}^{d},l\in B\mathbb{Z}% ^{d}\rangle $ be a group of unitary operators where $T_{k}$ is a translation operator and $M_{l}$ is a modulation operator acting on $L^{2}\left( \mathbb{R}^{d}\right) .$ Assuming that $B$ is a non-singular rational matrix of order $d,$ with at least one rational non-integral entry, we obtain a direct integral irreducible decomposition of the Gabor representation which is defined by the isomorphism $\pi:\left( \mathbb{Z}_{m}\times B\mathbb{Z}^{d}\right) \rtimes\mathbb{Z}^{d}\rightarrow\Gamma$ where $\pi\left( \theta,l,k\right) =e^{2\pi i\theta}M_{l}T_{k}.$ We also show that the left regular representation of $\left( \mathbb{Z}_{m}\times B\mathbb{Z}% ^{d}\right) \rtimes\mathbb{Z}^{d}$ which is identified with $\Gamma$ via $\pi$ is unitarily equivalent to a direct sum of $\mathrm{card}\left( \left[ \Gamma,\Gamma\right] \right) $ many disjoint subrepresentations: $L_{0},L_{1},\cdots,L_{\mathrm{card}\left( \left[ \Gamma,\Gamma\right] \right) -1}.$ It is shown that for any $k\neq 1$ the subrepresentation $L_k$ of the left regular representation is disjoint from the Gabor representation. Furthermore, we prove that there is a subrepresentation $L_{1}$ of the left regular representation of $\Gamma$ which has a subrepresentation equivalent to $\pi$ if and only if $\left\vert \det B\right\vert \leq1.$ Using a central decomposition of the representation $\pi$ and a direct integral decomposition of the left regular representation, we derive some important results of Gabor theory. More precisely, a new proof for the density condition for the rational case is obtained. We also derive characteristics of vectors $f$ in $L^{2}(\mathbb{R})^{d}$ such that $\pi(\Gamma)f$ is a Parseval frame in $L^{2}(\mathbb{R})^{d}.$


title: Blind Construction of Optimal Nonlinear Recursive Predictors for Discrete Sequences

abstract: We present a new method for nonlinear prediction of discrete random sequences under minimal structural assumptions. We give a mathematical construction for optimal predictors of such processes, in the form of hidden Markov models. We then describe an algorithm, CSSR (Causal-State Splitting Reconstruction), which approximates the ideal predictor from data. We discuss the reliability of CSSR, its data requirements, and its performance in simulations. Finally, we compare our approach to existing methods using variablelength Markov models and cross-validated hidden Markov models, and show theoretically and experimentally that our method delivers results superior to the former and at least comparable to the latter.


title: Water vapor distribution in protoplanetary disks

abstract: Water vapor has been detected in protoplanetary disks. In this work we model the distribution of water vapor in protoplanetary disks with a thermo-chemical code. For a set of parameterized disk models, we calculate the distribution of dust temperature and radiation field of the disk with a Monte Carlo method, and then solve the gas temperature distribution and chemical composition. The radiative transfer includes detailed treatment of scattering by atomic hydrogen and absorption by water of Lyman alpha photons, since the Lyman alpha line dominates the UV spectrum of accreting young stars. In a fiducial model, we find that warm water vapor with temperature around 300 K is mainly distributed in a small and well-confined region in the inner disk. The inner boundary of the warm water region is where the shielding of UV field due to dust and water itself become significant. The outer boundary is where the dust temperature drops below the water condensation temperature. A more luminous central star leads to a more extended distribution of warm water vapor, while dust growth and settling tends to reduce the amount of warm water vapor. Based on typical assumptions regarding the elemental oxygen abundance and the water chemistry, the column density of warm water vapor can be as high as 1E22 cm^{-2}. A small amount of hot water vapor with temperature higher than ~300 K exists in a more extended region in the upper atmosphere of the disk. Cold water vapor with temperature lower than 100 K is distributed over the entire disk, produced by photodesorption of the water ice.


title: A Heuristic Search Algorithm for Solving First-Order MDPs

abstract: We present a heuristic search algorithm for solving first-order MDPs (FOMDPs). Our approach combines first-order state abstraction that avoids evaluating states individually, and heuristic search that avoids evaluating all states. Firstly, we apply state abstraction directly on the FOMDP avoiding propositionalization. Such kind of abstraction is referred to as firstorder state abstraction. Secondly, guided by an admissible heuristic, the search is restricted only to those states that are reachable from the initial state. We demonstrate the usefullness of the above techniques for solving FOMDPs on a system, referred to as FCPlanner, that entered the probabilistic track of the International Planning Competition (IPC'2004).


title: Bandit Algorithms for Tree Search

abstract: Bandit based methods for tree search have recently gained popularity when applied to huge trees, e.g. in the game of go [6]. Their efficient exploration of the tree enables to re- turn rapidly a good value, and improve preci- sion if more time is provided. The UCT algo- rithm [8], a tree search method based on Up- per Confidence Bounds (UCB) [2], is believed to adapt locally to the effective smoothness of the tree. However, we show that UCT is "over-optimistic" in some sense, leading to a worst-case regret that may be very poor. We propose alternative bandit algorithms for tree search. First, a modification of UCT us- ing a confidence sequence that scales expo- nentially in the horizon depth is analyzed. We then consider Flat-UCB performed on the leaves and provide a finite regret bound with high probability. Then, we introduce and analyze a Bandit Algorithm for Smooth Trees (BAST) which takes into account ac- tual smoothness of the rewards for perform- ing efficient "cuts" of sub-optimal branches with high confidence. Finally, we present an incremental tree expansion which applies when the full tree is too big (possibly in- finite) to be entirely represented and show that with high probability, only the optimal branches are indefinitely developed. We illus- trate these methods on a global optimization problem of a continuous function, given noisy values.


title: Sensitivity analysis for finite Markov chains in discrete time

abstract: When the initial and transition probabilities of a finite Markov chain in discrete time are not well known, we should perform a sensitivity analysis. This is done by considering as basic uncertainty models the so-called credal sets that these probabilities are known or believed to belong to, and by allowing the probabilities to vary over such sets. This leads to the definition of an imprecise Markov chain. We show that the time evolution of such a system can be studied very efficiently using so-called lower and upper expectations. We also study how the inferred credal set about the state at time n evolves as n->infinity: under quite unrestrictive conditions, it converges to a uniquely invariant credal set, regardless of the credal set given for the initial state. This leads to a non-trivial generalisation of the classical Perron-Frobenius Theorem to imprecise Markov chains.


title: On the Conditional Independence Implication Problem: A Lattice-Theoretic Approach

abstract: A lattice-theoretic framework is introduced that permits the study of the conditional independence (CI) implication problem relative to the class of discrete probability measures. Semi-lattices are associated with CI statements and a finite, sound and complete inference system relative to semi-lattice inclusions is presented. This system is shown to be (1) sound and complete for saturated CI statements, (2) complete for general CI statements, and (3) sound and complete for stable CI statements. These results yield a criterion that can be used to falsify instances of the implication problem and several heuristics are derived that approximate this "lattice-exclusion" criterion in polynomial time. Finally, we provide experimental results that relate our work to results obtained from other existing inference algorithms.


title: Conditional Probability Tree Estimation Analysis and Algorithms

abstract: We consider the problem of estimating the conditional probability of a label in time O(log n), where n is the number of possible labels. We analyze a natural reduction of this problem to a set of binary regression problems organized in a tree structure, proving a regret bound that scales with the depth of the tree. Motivated by this analysis, we propose the first online algorithm which provably constructs a logarithmic depth tree on the set of labels to solve this problem. We test the algorithm empirically, showing that it works succesfully on a dataset with roughly 106 labels.


title: Bayesian Multitask Learning with Latent Hierarchies

abstract: We learn multiple hypotheses for related tasks under a latent hierarchical relationship between tasks. We exploit the intuition that for domain adaptation, we wish to share classifier structure, but for multitask learning, we wish to share covariance structure. Our hierarchical model is seen to subsume several previously proposed multitask learning models and performs well on three distinct real-world data sets.