title: Zero-bias conductance peak and Josephson effect in graphene-NbTiN junctions

abstract: We report electronic transport measurements of graphene contacted by NbTiN electrodes, which at low temperature remain superconducting up to at least 11 Tesla. In devices with a single superconducting contact, we find a more than twofold enhancement of the conductance at zero bias, which we interpret in terms of reflectionless tunneling. In devices with two superconducting contacts, we observe the Josephson effect, bipolar supercurrents and Fraunhofer patterns.


title: Investigating the heavy quarkonium radiative transitions with the effective Lagrangian method

abstract: In this work, we study the radiative decay of heavy quarkonium states by using the effective Lagrangian approach. Firstly, we construct the spin-breaking terms in the effective Lagrangian for the $nP\leftrightarrow mS$ transitions and determine the some of the coupling constants by fitting the experimental data. Our results show that in $\chi_{cJ}$, $\psi(2S)$, $\Upsilon(2S)$, and $\Upsilon(3S)$ radiative decays, the spin-breaking effect is so small that can be ignored. Secondly, we investigate the radiative decay widths of the $c\bar{c}(1D)$ states and find the if $\psi(3770)$ is a pure $^3D_1$ state its radiative decay into $\chi_{cJ}+\gamma$ roughly preserve the heavy-quark spin symmetry, while if it is a $S-D$ mixing state with mixing angel $12^{\circ}$ the heavy quark-spin symmetry in its radiative decay and in the radiative decay of $\psi(3686)$ will be largely violated. In the end, we show that combining the radiative decay and the light hadron decay of $P$-wave $\chi_{bJ}(1,2P)$ can provide another way to extract the information of the color-octet matrix element in the context of non-relativistic QCD (NRQCD) effective theory, and our result is consistent with potential NRQCD hypothesis.


title: First characterization of a new method for numerically solving the Dirichlet problem of the two-dimensional Electrical Impedance Equation

abstract: Based upon elements of the modern Pseudoanalytic Function Theory, we analyse a new method for numerically approaching the solution of the Dirichlet boundary value problem, corresponding to the two-dimensional Electrical Impedance Equation. The analysis is performed by interpolating piecewise separable-variables conductivity functions, that are eventually used in the numerical calculations in order to obtain finite sets of orthonormal functions, whose linear combinations succeed to approach the imposed boundary conditions. To warrant the effectiveness of the numerical method, we study six different examples of conductivity. The boundary condition for every case is selected considering one exact solution of the Electrical Impedance Equation. The work intends to discuss the contributions of these results into the field of the Electrical Impedance Tomography.


title: Bernstein inequality and moderate deviations under strong mixing conditions

abstract: In this paper we obtain a Bernstein type inequality for a class of weakly dependent and bounded random variables. The proofs lead to a moderate deviations principle for sums of bounded random variables with exponential decay of the strong mixing coeficients that complements the large deviation result obtained by Bryc and Dembo (1998) under superexponential mixing rates.


title: Twisted orbifold Gromov-Witten invariants

abstract: Let $\ix$ be a smooth Deligne-Mumford stack over the complex numbers. One can define twisted orbifold Gromov-Witten invariants of $\ix$ by considering multiplicative invertible characteristic classes of various bundles on the moduli spaces of stable maps $\ix_{g,n,d}$, cupping them with evaluation and cotangent line classes and then integrating against the virtual fundamental class. These are more general than the twisted invariants introduced by Tseng. We express the generating series of the twisted invariants in terms of the generating series of the untwisted ones. We derive the corollaries which are used in the work of Givental-Tonita on the quantum K-theory of a complex manifold X.


title: A minimal model for excitons within time-dependent density-functional theory

abstract: The accurate description of the optical spectra of insulators and semiconductors remains an important challenge for time-dependent density-functional theory (TDDFT). Evidence has been given in the literature that TDDFT can produce bound as well as continuum excitons for specific systems, but there are still many unresolved basic questions concerning the role of dynamical exchange and correlation (xc). In particular, the role of the long spatial range and the frequency dependence of the xc kernel $f_{\rm xc}$ for excitonic binding are still not very well explored. We present a minimal model for excitons in TDDFT, consisting of two bands from a one-dimensional Kronig-Penney model and simple approximate xc kernels, which allows us to address these questions in a transparent manner. Depending on the system, it is found that adiabatic xc kernels can produce a single bound exciton, and sometimes two bound excitons, where the long spatial range of $f_{\rm xc}$ is not a necessary condition. It is shown how the Wannier model, featuring an effective electron-hole interaction, emerges from TDDFT. The collective, many-body nature of excitons is explicitly demonstrated.


title: Measurement of Galactic Logarithmic Spiral Arm Pitch Angle Using Two-Dimensional Fast Fourier Transform Decomposition

abstract: A logarithmic spiral is a prominent feature appearing in a majority of observed galaxies. This feature has long been associated with the traditional Hubble classification scheme, but historical quotes of pitch angle of spiral galaxies have been almost exclusively qualitative. We have developed a methodology, utilizing two-dimensional fast Fourier transformations of images of spiral galaxies, in order to isolate and measure the pitch angles of their spiral arms. Our technique provides a quantitative way to measure this morphological feature. This will allow comparison of spiral galaxy pitch angle to other galactic parameters and test spiral arm genesis theories. In this work, we detail our image processing and analysis of spiral galaxy images and discuss the robustness of our analysis techniques.


title: Study of the forward Dirichlet boundary value problem for the two-dimensional Electrical Impedance Equation

abstract: Using a conjecture that allows to approach separable-variables conductivity functions, the elements of the Modern Pseudoanalytic Function Theory are used, for the first time, to numerically solve the Dirichlet boundary value problem of the two-dimensional Electrical Impedance Equation, when the conductivity function arises from geometrical figures, located within bounded domains.


title: Forming doublons by a quantum quench

abstract: Repulsive interactions between particles on a lattice may lead to bound states, so called doublons. Such states may be created by dynamically tuning the interaction strength, e.g. using a Feshbach resonance, from attraction to repulsion. We study the doublon production efficiency as a function of the tuning rate at which the on-site interaction is varied. An expectation based on the Landau- Zener law suggests that exponentially few doublons are created in the adiabatic limit. Contrary to such an expectation, we found that the number of produced doublons scales as a power law of the tuning rate with the exponent dependent on the dimensionality of the lattice. The physical reason for this anomaly is the effective decoupling of doublons from the two-particle continuum for center of mass momenta close to the corners of the Brillouin zone. The study of doublon production may be a sensitive tool to extract detailed information about the band structure.


title: The Contribution of TP-AGB and RHeB Stars to the Near-IR Luminosity of Local Galaxies: Implications for Stellar Mass Measurements of High Redshift Galaxies

abstract: Using high spatial resolution HST WFC3 and ACS imaging of resolved stellar populations, we constrain the contribution of thermally-pulsing asymptotic giant branch (TP-AGB) stars and red helium burning (RHeB) stars to the 1.6 um near-infrared (NIR) luminosities of 23 nearby galaxies. The TP-AGB phase contributes as much as 17% of the integrated F160W flux, even when the red giant branch is well populated. The RHeB population contribution can match or even exceed the TP-AGB contribution, providing as much as 21% of the integrated F160W light. The NIR mass-to-light (M/L) ratio should therefore be expected to vary significantly due to fluctuations in the star formation rate over timescales from 25 Myr to several Gyr. We compare our observational results to predictions based on optically derived star formation histories and stellar population synthesis (SPS) models, including models based on the Padova isochrones (used in popular SPS programs). The SPS models generally reproduce the expected numbers of TP-AGB stars in the sample. The same SPS models, however, give a larger discrepancy in the F160W flux contribution from the TP-AGB stars, over-predicting the flux by a weighted mean factor of 2.3 +/-0.8. This larger offset is driven by the prediction of modest numbers of high luminosity TP-AGB stars at young (<300 Myrs) ages. The best-fit SPS models simultaneously tend to under-predict the numbers and fluxes of stars on the RHeB sequence, typically by a factor of 2.0+/-0.6 for galaxies with significant numbers of RHeBs. Coincidentally, over-prediction of the TP-AGB and under-prediction of the RHeBs result in a NIR M/L ratio largely unchanged for a rapid star formation rate. However, the NIR-to-optical flux ratio of galaxies could be significantly smaller than AGB-rich models would predict, an outcome that has been observed in some intermediate redshift post-starburst galaxies. (Abridged)


title: A multidimensional Szemeredi theorem for Hardy sequences of different growth

abstract: We prove a variant of the multidimensional polynomial Szemer\'edi theorem of Bergelson and Leibman where one replaces polynomial sequences with other sparse sequences defined by functions that belong to some Hardy field and satisfy certain growth conditions. We do this by studying the limiting behavior of the corresponding multiple ergodic averages and obtaining a simple limit formula. A consequence of this formula in topological dynamics shows denseness of certain orbits when the iterates are restricted to suitably chosen sparse subsequences. Another consequence is that every syndetic set of integers contains certain non-shift invariant patterns, and every finite coloring of $\N$, with each color class a syndetic set, contains certain polychromatic patterns, results very particular to our non-polynomial setup.


title: Wide band gap tunability in complex transition metal oxides by site-specific substitution

abstract: Fabricating complex transition metal oxides with a tuneable band gap without compromising their intriguing physical properties is a longstanding challenge. Here we examine the layered ferroelectric bismuth titanate and demonstrate that, by site-specific substitution with the Mott insulator lanthanum cobaltite, its band gap can be narrowed as much as one electron volt, while remaining strongly ferroelectric. We find that when a specific site in the host material is preferentially substituted, a split-off state responsible for the band gap reduction is created just below the conduction band of bismuth titanate. This provides a route for controlling the band gap in complex oxides for use in emerging oxide opto-electronic and energy applications.


title: Band gap tuning in ferroelectric Bi4Ti3O12 by alloying LaTMO3 (TM = Ti, V, Cr, Mn, Co, Ni, and Al)

abstract: We fabricated ferroelectric Bi4Ti3O12 (BiT) single crystalline thin films site-specifically substituted with LaTMO3 (TM = Al, Ti, V, Cr, Mn, Co, and Ni) on SrTiO3 substrates by pulsed laser epitaxy. When transition metals are incorporated into a certain site of the BiT, some of BiT-LaTMO3 showed a substantially decreased band gap, coming from the additional optical transition between oxygen 2p and TM 3d states. Specifically, all alloys with Mott insulators revealed a possibility of band gap reduction. Among them, BiT-LaCoO3 showed the largest band gap reduction by ~1 eV, positioning itself as a promising material for highly efficient opto-electronic devices.


title: 3-D radiative transfer in clumped hot star winds I. Influence of clumping on the resonance line formation

abstract: The true mass-loss rates from massive stars are important for many branches of astrophysics. For the correct modeling of the resonance lines, which are among the key diagnostics of stellar mass-loss, the stellar wind clumping turned out to be very important. In order to incorporate clumping into radiative transfer calculation, 3-D models are required. Various properties of the clumps may have strong impact on the resonance line formation and, therefore, on the determination of empirical mass-loss rates. We incorporate the 3-D nature of the stellar wind clumping into radiative transfer calculations and investigate how different model parameters influence the resonance line formation. We develop a full 3-D Monte Carlo radiative transfer code for inhomogeneous expanding stellar winds. The number density of clumps follows the mass conservation. For the first time, realistic 3-D models that describe the dense as well as the tenuous wind components are used to model the formation of resonance lines in a clumped stellar wind. At the same time, non-monotonic velocity fields are accounted for. The 3-D density and velocity wind inhomogeneities show very strong impact on the resonance line formation. The different parameters describing the clumping and the velocity field results in different line strengths and profiles. We present a set of representative models for various sets of model parameters and investigate how the resonance lines are affected. Our 3-D models show that the line opacity is reduced for larger clump separation and for more shallow velocity gradients within the clumps. Our new model demonstrates that to obtain empirically correct mass-loss rates from the UV resonance lines, the wind clumping and its 3-D nature must be taken into account.


title: Reference electronic structure calculations in one dimension

abstract: Large strongly correlated systems provide a challenge to modern electronic structure methods, because standard density functionals usually fail and traditional quantum chemical approaches are too demanding. The density-matrix renormalization group method, an extremely powerful tool for solving such systems, has recently been extended to handle long-range interactions on real-space grids, but is most efficient in one dimension where it can provide essentially arbitrary accuracy. Such 1d systems therefore provide a theoretical laboratory for studying strong correlation and developing density functional approximations to handle strong correlation, {\em if} they mimic three-dimensional reality sufficiently closely. We demonstrate that this is the case, and provide reference data for exact and standard approximate methods, for future use in this area.


title: Identification of Ambient Molecular Clouds Associated with Galactic Supernova Remnant IC443

abstract: The Galactic supernova remnant (SNR) IC443 is one of the most studied core-collapse SNRs for its interaction with molecular clouds. However, the ambient molecular clouds with which IC443 is interacting have not been thoroughly studied and remain poorly understood. Using Five College Radio Astronomy Observatory 14m telescope, we obtained fully sampled maps of ~ 1{\deg} \times 1{\deg} region toward IC443 in the 12CO J=1-0 and HCO+ J=1-0 lines. In addition to the previously known molecular clouds in the velocity range v_lsr = -6 to -1 km/s (-3 km/s clouds), our observations reveal two new ambient molecular cloud components: small (~ 1') bright clouds in v_lsr = -8 to -3 km/s (SCs), and diffuse clouds in v_lsr = +3 to +10 km/s (+5 km/s clouds). Our data also reveal the detailed kinematics of the shocked molecular gas in IC443, however the focus of this paper is the physical relationship between the shocked clumps and the ambient cloud components. We find strong evidence that the SCs are associated with the shocked clumps. This is supported by the positional coincidence of the SCs with shocked clumps and other tracers of shocks. Furthermore, the kinematic features of some shocked clumps suggest that these are the ablated material from the SCs upon the impact of the SNR shock. The SCs are interpreted as dense cores of parental molecular clouds that survived the destruction by the pre-supernova evolution of the progenitor star or its nearby stars. We propose that the expanding SNR shock is now impacting some of the remaining cores and the gas is being ablated and accelerated producing the shocked molecular gas. The morphology of the +5 km/s clouds suggests an association with IC443. On the other hand, the -3 km/s clouds show no evidence for interaction.


title: The Hi Environment of Counter-rotating Gas Hosts: Gas Accretion from Cold Gas Blobs

abstract: We probe the HI properties and the gas environments of three early-type barred galaxies harbouring counter-rotating ionized gas, NGC 128, NGC 3203 and NGC 7332. Each system has one or more optically-identified galaxy, at a similar or as yet unknown redshift within a 50 kpc projected radius. Using HI synthesis imaging data, we investigate the hypothesis that the counter-rotating gas in these galaxies has been accreted from their neighbours. In NGC 128 and NGC 3203, we find 9.6e7 and 2.3e8 Msun of HI, respectively, covering almost the entire stellar bodies of dwarf companions that appear physically connected. Both the HI morphology and kinematics are suggestive of tidal interactions. In NGC 7332, we do not find any directly-associated HI. Instead, NGC 7339, a neighbour of a comparable size at about 10 kpc, is found with 8.9e8 Msun of HI gas. More recently in a single dish observation, however, another group discovered a large HI structure which seems to be an extension of NGC 7339's HI disc and also covers NGC 7332. All these observations thus suggest that HI gas is being accreted in these three galaxies from their companions, which is likely responsible for the kinematically-decoupled gas component present in their central region. Considering the incompleteness of existing studies of the faint dwarf galaxy population both in the optical and in HI, accretion from cold gas blobs, presumably gas-rich dwarfs, is expected to occur even more frequently than what is inferred from such cases that have been observed to date.


title: High-speed waveguide-coupled graphene-on-graphene optical modulators

abstract: An electro-absorption optical modulator concept based upon a dual-graphene layer is presented. The device consists of a silicon-on-insulator waveguide upon which two graphene layers reside, separated by a thin insulating region. The lower graphene acts as a tunable absorber, while the upper layer functions as a transparent gate electrode. Calculations based upon realistic graphene material properties show that 3-dB bandwidths over 100 GHz (30 GHz) are possible at near- (\lambda=1.55 \mu m) and mid- (\lambda=3.5\mu m) infrared bands. The effect of background doping and potential fluctuations on the bandwidth, modulation depth and insertion loss are also quantified.


title: Problems with Popper

abstract: Professor Sir Karl Popper (1902-1994) was one of the most influential philosophers of science of the twentieth century. However, in his most famous work he displays misunderstandings of science and mathematics at a basic level.


title: Electromagnetic wave scattering by a superconductor

abstract: The interaction between radiation and superconductors is explored in this paper. In particular, the calculation of a plane standing wave scattered by an infinite cylindrical superconductor is performed by solving the Helmholtz equation in cylindrical coordinates. Numerical results computed up to $\mathcal{O}(77)$ of Bessel functions are presented for different wavelengths showing the appearance of a diffraction pattern.


title: Ultraviolet Shadowing of RNA Causes Substantial Non-Poissonian Chemical Damage in Seconds

abstract: Chemical purity of RNA samples is critical for high-precision studies of RNA folding and catalytic behavior, but such purity may be compromised by photodamage accrued during ultraviolet (UV) visualization of gel-purified samples. Here, we quantitatively assess the breadth and extent of such damage by using reverse transcription followed by single-nucleotide-resolution capillary electrophoresis. We detected UV-induced lesions across a dozen natural and artificial RNAs including riboswitch domains, other non-coding RNAs, and artificial sequences; across multiple sequence contexts, dominantly at but not limited to pyrimidine doublets; and from multiple lamps that are recommended for UV shadowing in the literature. Most strikingly, irradiation time-courses reveal detectable damage within a few seconds of exposure, and these data can be quantitatively fit to a 'skin effect' model that accounts for the increased exposure of molecules near the top of irradiated gel slices. The results indicate that 200-nucleotide RNAs subjected to 20 seconds or less of UV shadowing can incur damage to 20% of molecules, and the molecule-by-molecule distribution of these lesions is more heterogeneous than a Poisson distribution. Photodamage from UV shadowing is thus likely a widespread but unappreciated cause of artifactual heterogeneity in quantitative and single-molecule-resolution RNA biophysical measurements.


title: Multiple outflows from the luminous YSO IRAS 07422-2001

abstract: The luminous Young Stellar Object (YSO) IRAS 07422-2001 is studied in the infrared. We discover star forming activity in embedded clusters located in a cloud detected at mid-IR wavelengths in emission. Multiple outflows are discovered from these clusters in the H_2 ro-vibrational line at 2.122 micron. We detect at least six outflows from the cluster associated with the IRAS source and another outflow from a source located in a cluster detected ~2.7 arcmin NE of the IRAS source. Additional star formation is taking place in two other cluster candidates within the cloud. Three of the YSOs in the cluster associated with the IRAS source are detected at 11.2 micron at an angular resolution of ~0.8 arcsec. We have a tentative detection of a circumstellar disk in this cluster, seen as an extinction lane in the J and H-band images. The spectral energy distributions (SEDs) of the dominant YSOs in the cluster associated with the IRAS source and in the NE cluster are studied using radiative transfer models and the properties of the YSOs are estimated. The YSO associated with the IRAS source is probably in a very early Class I stage of formation. The source identified as the dominant YSO in the NE cluster appears to be older than the dominant YSO in the cluster associated with the IRAS source, but its observed flux seems to be contaminated by extra emission, which suggests the presence of a young source contributing to the SED at far-IR wavelengths. The star formation observed in the field of IRAS 07422-2001 supports the idea of hierarchical formation of massive star clusters and the growth of massive young stellar objects near the centres of multiple sub-clusters in a star forming clump through competitive accretion.


title: Realistic time-scale fully atomistic simulations of surface nucleation of dislocations in pristine nanopillars

abstract: We use our recently proposed accelerated dynamics algorithm (Tiwary & van de Walle, 2011) to calculate temperature and stress dependence of activation free energy for surface nucleation of dislocations in pristine Gold nanopillars under realistic loads. While maintaining fully atomistic resolution, we achieve the fraction of a second time-scale regime. We find that the activation free energy depends significantly on the driving force (stress or strain) and temperature, leading to very high activation entropies. We also perform compression tests on Gold nanopillars for strain rates varying between 7 orders of magnitudes, reaching as low as 10^3/s. Our calculations show the quantitative effects on the yield point of unrealistic strain-rate Molecular Dynamics calculations: we find that while the failure mechanism for <001> compression of Gold nanopillars remains the same across the entire strain-rate range, the elastic limit (defined as stress for nucleation of the first dislocation) depends significantly on the strain-rate. We also propose a new methodology that overcomes some of the limits in our original accelerated dynamics scheme (and accelerated dynamics methods in general). We lay out our methods in sufficient details so as to be used for understanding and predicting deformation mechanism under realistic driving forces for various problems.

categories: cond-mat.mtrl-sci cond-mat.mes-hall cond-mat.stat-mech physics.comp-ph


title: Cutoff for the Transposition Walk on Permutations with One-Sided Restrictions

abstract: This paper explores the mixing time of the random transposition walk on permutations with one-sided interval restrictions. In particular, we're interested in the notion of cutoff, a phenomenon which occurs when mixing occurs in a window of order smaller than the mixing time. One of the main tools of the paper is the diagonalization obtained by Hanlon; the use of the spectral information is inspired by the famous paper of Diaconis and Shahshahani on the mixing time of the random transposition walk on the entire symmetric group. The diagonalization allows us to prove chi-squared cutoff for a broad class of one-sided restriction matrices. Furthermore, under an extra condition, the walk also undergoes total variation cutoff. Finally, a large collection of examples which undergo chi-squared cutoff but in which total variation mixing occurs substantially earlier and without cutoff is produced. These results resolve a conjecture of Diaconis and Hanlon from Section 5 of Hanlon's paper.


title: Polynomial Time Algorithms for Branching Markov Decision Processes and Probabilistic Min(Max) Polynomial Bellman Equations

abstract: We show that one can approximate the least fixed point solution for a multivariate system of monotone probabilistic max(min) polynomial equations, referred to as maxPPSs (and minPPSs, respectively), in time polynomial in both the encoding size of the system of equations and in log(1/epsilon), where epsilon > 0 is the desired additive error bound of the solution. (The model of computation is the standard Turing machine model.) We establish this result using a generalization of Newton's method which applies to maxPPSs and minPPSs, even though the underlying functions are only piecewise-differentiable. This generalizes our recent work which provided a P-time algorithm for purely probabilistic PPSs. These equations form the Bellman optimality equations for several important classes of infinite-state Markov Decision Processes (MDPs). Thus, as a corollary, we obtain the first polynomial time algorithms for computing to within arbitrary desired precision the optimal value vector for several classes of infinite-state MDPs which arise as extensions of classic, and heavily studied, purely stochastic processes. These include both the problem of maximizing and mininizing the termination (extinction) probability of multi-type branching MDPs, stochastic context-free MDPs, and 1-exit Recursive MDPs. Furthermore, we also show that we can compute in P-time an epsilon-optimal policy for both maximizing and minimizing branching, context-free, and 1-exit-Recursive MDPs, for any given desired epsilon > 0. This is despite the fact that actually computing optimal strategies is Sqrt-Sum-hard and PosSLP-hard in this setting. We also derive, as an easy consequence of these results, an FNP upper bound on the complexity of computing the value (within arbitrary desired precision) of branching simple stochastic games (BSSGs).


title: Multiferroic FeTe$_2$O$_5$Br: Alternating spin chains with frustrated interchain interactions

abstract: A combination of density functional theory calculations, many-body model considerations, magnetization and electron spin resonance measurements shows that the multiferroic FeTe$_2$O$_5$Br should be described as a system of alternating antiferromagnetic $S=5/2$ chains with strong Fe-O-Te-O-Fe bridges weakly coupled by two-dimensional frustrated interactions, rather than the previously reported tetramer models. The peculiar temperature dependence of the incommensurate magnetic vector can be explained in terms of interchain exchange striction being responsible for the emergent net electric polarization.


title: Radiation Damping in the Photoionization of Fe^{14+}

abstract: A theoretical investigation of photoabsorption and photoionization of Fe^{14+} extending beyond an earlier frame transformation R-matrix implementation is performed using a fully-correlated, Breit-Pauli R-matrix formulation including both fine-structure splitting of strongly-bound resonances and radiation damping. The radiation damping of $2p\rightarrow nd$ resonances gives rise to a resonant photoionization cross section that is significantly lower than the total photoabsorption cross section. Furthermore, the radiation-damped photoionization cross section is found to be in good agreement with recent experimental results once a global shift in energy of $\approx -3.5$ eV is applied. These findings have important implications. Firstly, the presently available synchrotron experimental data are applicable only to photoionization processes and not to photoabsorption; the latter is required in opacity calculations. Secondly, our computed cross section, for which the L-shell ionization threshold is aligned with the NIST value, shows a series of $2p \rightarrow nd$ Rydberg resonances that are uniformly 3-4 eV higher in energy than the corresponding experimental profiles, indicating that the L-shell threshold energy values currently recommended by NIST are likely in error.


title: Scaling laws for the non-linear coupling constant of a Bose-Einstein condensate at the threshold of delocalization

abstract: We explore the localization of a quasi-one-, quasi-two-, and three-dimensional ultra-cold gas by a finite-range defect along the corresponding 'free'-direction/s. The time-independent non-linear Schroedinger equation that describes a Bose-Einstein condensate was used to calculate the maximum non-linear coupling constant, g_max, and thus the maximum number of atoms, N_max, that the defect potential can localize. An analytical model, based on the Thomas-Fermi approximation, is introduced for the wavefunction. We show that g_max becomes a function of R_0 sqrt(V_0) for various one-, two-, and three-dimensional defect shapes with depths V_0 and characteristic lengths R_0. Our explicit calculations show surprising agreement with this crude model over a wide range of V_0 and R_0. A scaling rule is also found for the wavefunction for the ground state at the threshold at which the localized states approach delocalization. The implication is that two defects with the same product R_0 sqrt(V_0) will thus be related to each other with the same g_max and will have the same (reduced) density profile in the free-direction/s.


title: First Science Observations with SOFIA/FORCAST: 6 TO 37 micron Imaging of Orion BN/KL

abstract: The BN/KL region of the Orion Nebula is the nearest region of high mass star formation in our galaxy. As such, it has been the subject of intense investigation at a variety of wavelengths, which have revealed it to be brightest in the infrared to sub-mm wavelength regime. Using the newly commissioned SOFIA airborne telescope and its 5-40 micron camera FORCAST, images of the entire BN/KL complex have been acquired. The 31.5 and 37.1 micron images represent the highest resolution observations (<=4") ever obtained of this region at these wavelengths. These observations reveal that the BN object is not the dominant brightness source in the complex at wavelengths >31.5 microns, and that this distinction goes instead to the source IRc4. It was determined from these images and derived dust color temperature maps that IRc4 is also likely to be self-luminous. A new source of emission has also been identified at wavelengths >31.5 microns that coincides with the northeastern outflow lobe from the protostellar disk associated with radio source I.


title: $t$-structures for hereditary categories

abstract: We study aisles in the derived category of a hereditary abelian category. Given an aisle, we associate a sequence of subcategories of the abelian category by considering the different homologies of the aisle. We then obtain a sequence, called a narrow sequence. We then prove that a narrow sequence in a hereditary abelian category consists of a nondecreasing sequence of wide subcategories, together with a tilting torsion class in each of these wide subcategories. Furthermore, there are relations these torsion classes have to satisfy. These results are sufficient to recover known classifications of t-structures for smooth projective curves, and for finitely generated modules over a Dedekind ring. In some special cases, including the case of finite dimensional modules over a finite dimensional hereditary algebra, we can reduce even further, effectively decoupling the different tilting torsion theories one chooses in the wide subcategories.


title: Characterizing the nature of Fossil Groups with XMM

abstract: We present an X-ray follow-up, based on XMM plus Chandra, of six Fossil Group (FG) candidates identified in our previous work using SDSS and RASS data. Four candidates (out of six) exhibit extended X-ray emission, confirming them as true FGs. For the other two groups, the RASS emission has its origin as either an optically dull/X-ray bright AGN, or the blending of distinct X-ray sources. Using SDSS-DR7 data, we confirm, for all groups, the presence of an r-band magnitude gap between the seed elliptical and the second-rank galaxy. However, the gap value depends, up to 0.5mag, on how one estimates the seed galaxy total flux, which is greatly underestimated when using SDSS (relative to Sersic) magnitudes. This implies that many FGs may be actually missed when using SDSS data, a fact that should be carefully taken into account when comparing the observed number densities of FGs to the expectations from cosmological simulations. The similarity in the properties of seed--FG and non-fossil ellipticals, found in our previous study, extends to the sample of X-ray confirmed FGs, indicating that bright ellipticals in FGs do not represent a distinct population of galaxies. For one system, we also find that the velocity distribution of faint galaxies is bimodal, possibly showing that the system formed through the merging of two groups. This undermines the idea that all selected FGs form a population of true fossils.


title: Fast Generation of Large Scale Social Networks with Clustering

abstract: A key challenge within the social network literature is the problem of network generation - that is, how can we create synthetic networks that match characteristics traditionally found in most real world networks? Important characteristics that are present in social networks include a power law degree distribution, small diameter and large amounts of clustering; however, most current network generators, such as the Chung Lu and Kronecker models, largely ignore the clustering present in a graph and choose to focus on preserving other network statistics, such as the power law distribution. Models such as the exponential random graph model have a transitivity parameter, but are computationally difficult to learn, making scaling to large real world networks intractable. In this work, we propose an extension to the Chung Lu ran- dom graph model, the Transitive Chung Lu (TCL) model, which incorporates the notion of a random transitive edge. That is, with some probability it will choose to connect to a node exactly two hops away, having been introduced to a 'friend of a friend'. In all other cases it will follow the standard Chung Lu model, selecting a 'random surfer' from anywhere in the graph according to the given invariant distribution. We prove TCL's expected degree distribution is equal to the degree distribution of the original graph, while being able to capture the clustering present in the network. The single parameter required by our model can be learned in seconds on graphs with millions of edges, while networks can be generated in time that is linear in the number of edges. We demonstrate the performance TCL on four real- world social networks, including an email dataset with hundreds of thousands of nodes and millions of edges, showing TCL generates graphs that match the degree distribution, clustering coefficients and hop plots of the original networks.


title: Generalized parton distributions in an AdS/QCD hard-wall model

abstract: We use a matching procedure of sum rules relating the electromagnetic form factors to generalized parton distributions (GPDs) and AdS modes. In this way, in the framework of an AdS/QCD hard-wall model, the helicity-independent GPDs of quarks for the nucleon in the zero skewness case are calculated.


title: Born - Infeld-like modified gravity

abstract: A modified theory of gravity with the function $F(R) = (1-\sqrt{1-2\lambda R})/\lambda$ is suggested and analyzed. At small value of the parameter $\lambda$ introduced the action is converted into Einstein$-$Hilbert action. The theory is consistent with local tests which gives a bound on the value of the parameter $\lambda\leq 2\times 10^{-6}$ cm$^2$. I have considered the Jordan frame as well as the Einstein frame in which the potential of the scalar field was obtained. The static Schwarzschild$-$de Sitter solutions of the model are obtained and analyzed. It was demonstrated that the de Sitter space is unstable but a solution with zero Ricci scalar is stable. It is shown that there is no matter instability in the proposed model.


title: Crossing Statistic: Bayesian interpretation, model selection and resolving dark energy parametrization problem

abstract: By introducing Crossing functions and hyper-parameters I show that the Bayesian interpretation of the Crossing Statistics [1] can be used trivially for the purpose of model selection among cosmological models. In this approach to falsify a cosmological model there is no need to compare it with other models or assume any particular form of parametrization for the cosmological quantities like luminosity distance, Hubble parameter or equation of state of dark energy. Instead, hyper-parameters of Crossing functions perform as discriminators between correct and wrong models. Using this approach one can falsify any assumed cosmological model without putting priors on the underlying actual model of the universe and its parameters, hence the issue of dark energy parametrization is resolved. It will be also shown that the sensitivity of the method to the intrinsic dispersion of the data is small that is another important characteristic of the method in testing cosmological models dealing with data with high uncertainties.


title: Transition Radiation from the Neutrino-Photon Interaction in Matter

abstract: We show that, because of their effective electromagnetic interaction in matter, transition radiation is emitted whenever neutrinos goes across the boundary between two media with different indices of refraction. This effect occurs in the context of the standard model and does not depend on any exotic neutrino property. We examine such a phenomena and compare it with the transition radiation of a neutrino endowed with an intrinsic dipole moment.


title: Probability density of quantum expectation values

abstract: We consider the quantum expectation value \mathcal{A}=\<\psi|A|\psi\> of an observable A over the state |\psi\> . We derive the exact probability distribution of \mathcal{A} seen as a random variable when |\psi\> varies over the set of all pure states equipped with the Haar-induced measure. The probability density is obtained with elementary means by computing its characteristic function, both for non-degenerate and degenerate observables. To illustrate our results we compare the exact predictions for few concrete examples with the concentration bounds obtained using Levy's lemma. Finally we comment on the relevance of the central limit theorem and draw some results on an alternative statistical mechanics based on the uniform measure on the energy shell.


title: Population genetics models of local ancestry

abstract: Migrations have played an important role in shaping the genetic diversity of human populations. Understanding genomic data thus requires careful modeling of historical gene flow. Here we consider the effect of relatively recent population structure and gene flow, and interpret genomes of individuals that have ancestry from multiple source populations as mosaics of segments originating from each population. We propose general and tractable models for describing the evolution of these patterns of local ancestry and their impact on genetic diversity. We focus on the length distribution of continuous ancestry tracts, and the variance in total ancestry proportions among individuals. The proposed models offer improved agreement with Wright-Fisher simulation data when compared to state-of-the art models, and can be used to infer various demographic parameters in gene flow models. Considering HapMap African-American (ASW) data, we find that a model with two distinct phases of `European' gene flow significantly improves the modeling of both tract lengths and ancestry variances.


title: Measurement of the B+- production cross-section in pp collisions at sqrt(s)=7 TeV

abstract: The production of B+- mesons in proton-proton collisions at sqrt(s)=7 TeV is studied using 35 pb-1 of data collected by the LHCb detector. The B+- mesons are reconstructed exclusively in the B+- -> J/psi K+- mode, with J/psi -> mu+ mu-. The differential production cross-section is measured as a function of the B+- transverse momentum in the fiducial region 0 < pT < 40 GeV/c and with rapidity 2.0 < y < 4.5. The total cross-section, summing up B+ and B-, is measured to be sigma(pp -> B+- X, 0 < pT < 40 GeV/c, 2.0 < y < 4.5) = 41.4 +- 1.5 (stat.) +- 3.1 (syst.) mub.


title: QCDUtils

abstract: This manual describes a set of utilities developed for Lattice QCD computations. They are collectively called QCDUtils. They comprise a set of Python programs each of them with a specific function: download gauge ensembles from the public NERSC repository, convert between formats, split files by time-slices, compile and run physics algorithms, generate visualizations in the form of VTK files, convert the visualizations into images, perform bootstrap analysis of results, fit the results of the analysis, and plot those results. These tools implement the typical workflow of most Lattice QCD computations and automate it by enforcing filename conventions: the output of one tool is read by the next tool in the workflow. This manual is organized as a series of autonomous recipes which can be combined together.


title: Decomposition of the Symmetric Powers

abstract: A decomposition of any symmetric power of $\Bbb C^2\otimes\Bbb C^2\otimes\Bbb C^2$ into irreducible $sl_2(\Bbb C)\oplus sl_2(\Bbb C)\oplus sl_2(\Bbb C)$-submodules are presented. Namely, the multiplicities of irreducible summands in the symmetric power are determined.


title: Data Mining Applications: A comparative Study for Predicting Student's performance

abstract: Knowledge Discovery and Data Mining (KDD) is a multidisciplinary area focusing upon methodologies for extracting useful knowledge from data and there are several useful KDD tools to extracting the knowledge. This knowledge can be used to increase the quality of education. But educational institution does not use any knowledge discovery process approach on these data. Data mining can be used for decision making in educational system. A decision tree classifier is one of the most widely used supervised learning methods used for data exploration based on divide & conquer technique. This paper discusses use of decision trees in educational data mining. Decision tree algorithms are applied on students' past performance data to generate the model and this model can be used to predict the students' performance. It helps earlier in identifying the dropouts and students who need special attention and allow the teacher to provide appropriate advising/counseling.


title: Tubular Cluster Algebras II: Exponential growth

abstract: Among the mutation finite cluster algebras the tubular ones are a particularly interesting class. We show that all tubular (simply laced) cluster algebras are of exponential growth by two different methods: first by studying the automorphism group of the corresponding cluster category and second by giving explicit sequences of mutations.


title: The Proposed Quadruple System SZ Herculis: Revised LITE Model and Orbital Stability Study

abstract: In a recent study, Lee et al. presented new photometric follow-up timing observations of the semi-detached binary system SZ Herculis and proposed the existence of two hierarchical cirumbinary companions. Based on the light-travel time effect, the two low-mass M-dwarf companions are found to orbit the binary pair on moderate to high eccentric orbits. The derived periods of these two companions are close to a 2:1 mean-motion orbital resonance. We have studied the stability of the system using the osculating orbital elements as presented by Lee et al. Results indicate an orbit-crossing architecture exhibiting short-term dynamical instabilities leading to the escape of one of the proposed companions. We have examined the system's underlying model parameter-space by following a Monte Carlo approach and found an improved fit to the timing data. A study of the stability of our best-fitting orbits also indicates that the proposed system is generally unstable. If the observed anomalous timing variations of the binary period is due to additional circumbinary companions, then the resulting system should exhibit a long-term stable orbital configuration much different from the orbits suggested by Lee et al. We, therefore, suggest that based on Newtonian-dynamical considerations, the proposed quadruple system cannot exist. To uncover the true nature of the observed period variations of this system, we recommend future photometric follow-up observations that could further constrain eclipse-timing variations and/or refine light-travel time models.


title: Association Rule Mining Based On Trade List

abstract: In this paper a new mining algorithm is defined based on frequent item set. Apriori Algorithm scans the database every time when it finds the frequent item set so it is very time consuming and at each step it generates candidate item set. So for large databases it takes lots of space to store candidate item set .In undirected item set graph, it is improvement on apriori but it takes time and space for tree generation. The defined algorithm scans the database at the start only once and then from that scanned data base it generates the Trade List. It contains the information of whole database. By considering minimum support it finds the frequent item set and by considering the minimum confidence it generates the association rule. If database and minimum support is changed, the new algorithm finds the new frequent items by scanning Trade List. That is why it's executing efficiency is improved distinctly compared to traditional algorithm.


title: The Origin of the EUV Late Phase: A Case Study of the C8.8 Flare on 2010 May 5

abstract: Since the launch of NASA's Solar Dynamics Observatory on 2010 February 11, the Extreme ultraviolet Variability Experiment (EVE) has observed numerous flares. One interesting feature observed by EVE is that a subset of flares exhibit an additional enhancement of the 2-3 million K emission several hours after the flare's soft X-ray emission. From the Atmospheric Imaging Assembly (AIA) images, we observe that this secondary emission, dubbed the EUV late phase, occurs in the same active region as the flare but not in the same coronal loops. Here, we examine the C8.8 flare that occurred on 2010 May 5 as a case study of EUV late phase flares. In addition to presenting detailed observations from both AIA and EVE, we develop a physical model of this flare and test it using the Enthalpy Based Thermal Evolution of Loops (EBTEL) model.


title: Transport properties of the metallic state of overdoped cuprate superconductors from an anisotropic marginal Fermi liquid model

abstract: We consider the implications of a phenomenological model self-energy for the charge transport properties of the metallic phase of the overdoped cuprate superconductors. The self-energy is the sum of two terms with characteristic dependencies on temperature, frequency, location on the Fermi surface, and doping. The first term is isotropic over the Fermi surface, independent of doping, and has the frequency and temperature dependence characteristic of a Fermi liquid. The second term is anisotropic over the Fermi surface (vanishing at the same points as the superconducting energy gap), strongly varies with doping (scaling roughly with $T_c$, the superconducting transition temperature), and has the frequency and temperature dependence characteristic of a marginal Fermi liquid. Previously it has been shown this self-energy can describe a range of experimental data including angle-dependent magnetoresistance (ADMR) and quasi-particle renormalisations determined from specific heat, quantum oscillations, and angle-resolved photo-emission spectroscopy (ARPES). Without introducing new parameters and neglecting vertex corrections we show that this model self-energy can give a quantitative description of the temperature and doping dependence of a range of reported transport properties of Tl2201 samples. These include the intra-layer resistivity, the frequency dependent optical conductivity, the intra-layer magnetoresistance, and the Hall coefficient. The temperature dependence of the latter two are particularly sensitive to the anisotropy of the scattering rate and to the shape of the Fermi surface. In contrast, the temperature dependence of the Hall angle is dominated by the Fermi liquid contribution to the self-energy that determines the scattering rate in the nodal regions of the Fermi surface.


title: A Note on Minimum-Sum Coverage by Aligned Disks

abstract: In this paper, we consider a facility location problem to find a minimum-sum coverage of n points by disks centered at a fixed line. The cost of a disk with radius r has a form of a non-decreasing function f(r) = r^a for any a >= 1. The goal is to find a set of disks under Lp metric such that the disks are centered on the x-axis, their union covers n points, and the sum of the cost of the disks is minimized. Alt et al. [1] presented an algorithm in O(n^4 log n) time for any a > 1 under any Lp metric. We present a faster algorithm for this problem in O(n^2 log n) time for any a > 1 and any Lp metric.


title: Characteristics of Quantum Magnetosonic-Wave Dispersion

abstract: Using the quantum magnetohydrodynamics (QMHD) model, linear dispersion of magnetosonic waves are studied in a quasineutral quantum electron-ion plasma in two distinct regimes of nonrelativistic and relativistic degeneracies considering also the plasma composition effect. It is shown that the paramagnetic spin effects of the degenerated electrons plays a key role in dynamics of magnetosonic waves. The linear wave-speed is found to have minimum value at some degeneracy parameter in such plasmas. This is due to delicate interplay between relativistic degeneracy and the Pauli spin-magnetization. It is also revealed that the plasma composition has significant effect on the linear dispersion in the relativistic degeneracy limit contrary to that of nonrelativistic case and Zeeman energy has significant effect in nonrelativistic degeneracy regime unlike that of relativistic one in the linear perturbation-limit. Current findings can have important applications in both inertial plasma confinement and astrophysical degenerate plasmas.


title: Geometric and dynamic perspectives on phase-coherent and noncoherent chaos

abstract: Statistically distinguishing between phase-coherent and noncoherent chaotic dynamics from time series is a contemporary problem in nonlinear sciences. In this work, we propose different measures based on recurrence properties of recorded trajectories, which characterize the underlying systems from both geometric and dynamic viewpoints. The potentials of the individual measures for discriminating phase-coherent and noncoherent chaotic oscillations are discussed. A detailed numerical analysis is performed for the chaotic R\"ossler system, which displays both types of chaos as one control parameter is varied, and the Mackey-Glass system as an example of a time-delay system with noncoherent chaos. Our results demonstrate that especially geometric measures from recurrence network analysis are well suited for tracing transitions between spiral- and screw-type chaos, a common route from phase-coherent to noncoherent chaos also found in other nonlinear oscillators. A detailed explanation of the observed behavior in terms of attractor geometry is given.


title: A General Form of Attribute Exploration

abstract: We present a general form of attribute exploration, a knowledge completion algorithm from Formal Concept Analysis. The aim of our presentation is not only to extend the applicability of attribute exploration by a general description. It may also allow to view different existing variants of attribute exploration as instances of a general form, which may simplify theoretical considerations.


title: Brane-$f(R)$ gravity and dark matter

abstract: The collision-free Boltzmann equation is used in the context of brane-$f(R)$ gravity to derive the virial theorem. It is shown that the virial mass is proportional to certain geometrical terms appearing in the Einstein field equations and contributes to gravitational energy and that such a geometric mass can be attributed to the virial mass discrepancy in a cluster of galaxies. In addition, the galaxy rotation curves are studied by utilizing the concept of conformal symmetry and notion of conformal Killing symmetry. The field equations may then be obtained in an exact parametric form in terms of the parameter representing the conformal factor. This provides the possibility of studying the behavior of the angular velocity of a test particle moving in a stable circular orbit. The tangential velocity can be derived as a function of the conformal factor and integration constants, resulting in a constant value at large radial distances. Relevant phenomenon such as the deflection of light passing through a region where the rotation curves are flat and the radar echo delay are also studied.


title: Global characterization of seismic noise with broadband seismometers

abstract: In this paper, we present an analysis of seismic spectra that were calculated from all broadband channels (BH?) made available through IRIS, NIED F-net and Orfeus servers covering the past five years and beyond. A general characterization of the data is given in terms of spectral histograms and data-availability plots. We show that the spectral information can easily be categorized in time and regions. Spectral histograms indicate that seismic stations exist in Africa, Australia and Antarctica that measure spectra significantly below the global low-noise models above 1 Hz. We investigate world-wide coherence between the seismic spectra and other data sets like proximity to cities, station elevation, earthquake frequency, and wind speeds. Elevation of seismic stations in the US is strongly anti-correlated with seismic noise near 0.2 Hz and again above 1.5 Hz. Urban settlements are shown to produce excess noise above 1 Hz, but correlation curves look very different depending on the region. It is shown that wind speeds can be strongly correlated with seismic noise above 0.1 Hz, whereas earthquakes produce seismic noise that shows most clearly in correlation around 80 mHz.


title: Two coupled Jaynes-Cummings cells

abstract: We develop a theoretical framework to evaluate the energy spectrum, stationary states, and dielectric susceptibility of two Jaynes-Cummings systems coupled together by the overlap of their respective longitudinal field modes, and we solve and characterize the combined system for the case that the two atoms and two cavities share a single quantum of energy.


title: Towards an Intelligent Tutor for Mathematical Proofs

abstract: Computer-supported learning is an increasingly important form of study since it allows for independent learning and individualized instruction. In this paper, we discuss a novel approach to developing an intelligent tutoring system for teaching textbook-style mathematical proofs. We characterize the particularities of the domain and discuss common ITS design models. Our approach is motivated by phenomena found in a corpus of tutorial dialogs that were collected in a Wizard-of-Oz experiment. We show how an intelligent tutor for textbook-style mathematical proofs can be built on top of an adapted assertion-level proof assistant by reusing representations and proof search strategies originally developed for automated and interactive theorem proving. The resulting prototype was successfully evaluated on a corpus of tutorial dialogs and yields good results.


title: An Exercise in Invariant-based Programming with Interactive and Automatic Theorem Prover Support

abstract: Invariant-Based Programming (IBP) is a diagram-based correct-by-construction programming methodology in which the program is structured around the invariants, which are additionally formulated before the actual code. Socos is a program construction and verification environment built specifically to support IBP. The front-end to Socos is a graphical diagram editor, allowing the programmer to construct invariant-based programs and check their correctness. The back-end component of Socos, the program checker, computes the verification conditions of the program and tries to prove them automatically. It uses the theorem prover PVS and the SMT solver Yices to discharge as many of the verification conditions as possible without user interaction. In this paper, we first describe the Socos environment from a user and systems level perspective; we then exemplify the IBP workflow by building a verified implementation of heapsort in Socos. The case study highlights the role of both automatic and interactive theorem proving in three sequential stages of the IBP workflow: developing the background theory, formulating the program specification and invariants, and proving the correctness of the final implementation.


title: Automatic Deduction in Dynamic Geometry using Sage

abstract: We present a symbolic tool that provides robust algebraic methods to handle automatic deduction tasks for a dynamic geometry construction. The main prototype has been developed as two different worksheets for the open source computer algebra system Sage, corresponding to two different ways of coding a geometric construction. In one worksheet, diagrams constructed with the open source dynamic geometry system GeoGebra are accepted. In this worksheet, Groebner bases are used to either compute the equation of a geometric locus in the case of a locus construction or to determine the truth of a general geometric statement included in the GeoGebra construction as a boolean variable. In the second worksheet, locus constructions coded using the common file format for dynamic geometry developed by the Intergeo project are accepted for computation. The prototype and several examples are provided for testing. Moreover, a third Sage worksheet is presented in which a novel algorithm to eliminate extraneous parts in symbolically computed loci has been implemented. The algorithm, based on a recent work on the Groebner cover of parametric systems, identifies degenerate components and extraneous adherence points in loci, both natural byproducts of general polynomial algebraic methods. Detailed examples are discussed.


title: Formalization and Implementation of Algebraic Methods in Geometry

abstract: We describe our ongoing project of formalization of algebraic methods for geometry theorem proving (Wu's method and the Groebner bases method), their implementation and integration in educational tools. The project includes formal verification of the algebraic methods within Isabelle/HOL proof assistant and development of a new, open-source Java implementation of the algebraic methods. The project should fill-in some gaps still existing in this area (e.g., the lack of formal links between algebraic methods and synthetic geometry and the lack of self-contained implementations of algebraic methods suitable for integration with dynamic geometry tools) and should enable new applications of theorem proving in education.


title: Automated Generation of User Guidance by Combining Computation and Deduction

abstract: Herewith, a fairly old concept is published for the first time and named "Lucas Interpretation". This has been implemented in a prototype, which has been proved useful in educational practice and has gained academic relevance with an emerging generation of educational mathematics assistants (EMA) based on Computer Theorem Proving (CTP). Automated Theorem Proving (ATP), i.e. deduction, is the most reliable technology used to check user input. However ATP is inherently weak in automatically generating solutions for arbitrary problems in applied mathematics. This weakness is crucial for EMAs: when ATP checks user input as incorrect and the learner gets stuck then the system should be able to suggest possible next steps. The key idea of Lucas Interpretation is to compute the steps of a calculation following a program written in a novel CTP-based programming language, i.e. computation provides the next steps. User guidance is generated by combining deduction and computation: the latter is performed by a specific language interpreter, which works like a debugger and hands over control to the learner at breakpoints, i.e. tactics generating the steps of calculation. The interpreter also builds up logical contexts providing ATP with the data required for checking user input, thus combining computation and deduction. The paper describes the concepts underlying Lucas Interpretation so that open questions can adequately be addressed, and prerequisites for further work are provided.


title: Integrating DGSs and GATPs in an Adaptative and Collaborative Blended-Learning Web-Environment

abstract: The area of geometry with its very strong and appealing visual contents and its also strong and appealing connection between the visual content and its formal specification, is an area where computational tools can enhance, in a significant way, the learning environments. The dynamic geometry software systems (DGSs) can be used to explore the visual contents of geometry. This already mature tools allows an easy construction of geometric figures build from free objects and elementary constructions. The geometric automated theorem provers (GATPs) allows formal deductive reasoning about geometric constructions, extending the reasoning via concrete instances in a given model to formal deductive reasoning in a geometric theory. An adaptative and collaborative blended-learning environment where the DGS and GATP features could be fully explored would be, in our opinion a very rich and challenging learning environment for teachers and students. In this text we will describe the Web Geometry Laboratory a Web environment incorporating a DGS and a repository of geometric problems, that can be used in a synchronous and asynchronous fashion and with some adaptative and collaborative features. As future work we want to enhance the adaptative and collaborative aspects of the environment and also to incorporate a GATP, constructing a dynamic and individualised learning environment for geometry.


title: Computer-Assisted Program Reasoning Based on a Relational Semantics of Programs

abstract: We present an approach to program reasoning which inserts between a program and its verification conditions an additional layer, the denotation of the program expressed in a declarative form. The program is first translated into its denotation from which subsequently the verification conditions are generated. However, even before (and independently of) any verification attempt, one may investigate the denotation itself to get insight into the "semantic essence" of the program, in particular to see whether the denotation indeed gives reason to believe that the program has the expected behavior. Errors in the program and in the meta-information may thus be detected and fixed prior to actually performing the formal verification. More concretely, following the relational approach to program semantics, we model the effect of a program as a binary relation on program states. A formal calculus is devised to derive from a program a logic formula that describes this relation and is subject for inspection and manipulation. We have implemented this idea in a comprehensive form in the RISC ProgramExplorer, a new program reasoning environment for educational purposes which encompasses the previously developed RISC ProofNavigator as an interactive proving assistant.


title: Isabelle/PIDE as Platform for Educational Tools

abstract: The Isabelle/PIDE platform addresses the question whether proof assistants of the LCF family are suitable as technological basis for educational tools. The traditionally strong logical foundations of systems like HOL, Coq, or Isabelle have so far been counter-balanced by somewhat inaccessible interaction via the TTY (or minor variations like the well-known Proof General / Emacs interface). Thus the fundamental question of math education tools with fully-formal background theories has often been answered negatively due to accidental weaknesses of existing proof engines. The idea of "PIDE" (which means "Prover IDE") is to integrate existing provers like Isabelle into a larger environment, that facilitates access by end-users and other tools. We use Scala to expose the proof engine in ML to the JVM world, where many user-interfaces, editor frameworks, and educational tools already exist. This shall ultimately lead to combined mathematical assistants, where the logical engine is in the background, without obstructing the view on applications of formal methods, formalized mathematics, and math education in particular.


title: Fault Based Techniques for Testing Boolean Expressions: A Survey

abstract: Boolean expressions are major focus of specifications and they are very much prone to introduction of faults, this survey presents various fault based testing techniques. It identifies that the techniques differ in their fault detection capabilities and generation of test suite. The various techniques like Cause effect graph, meaningful impact strategy, Branch Operator Strategy (BOR), BOR+MI, MUMCUT, Modified Condition/ Decision Coverage (MCDC) has been considered. This survey describes the basic algorithms and fault categories used by these strategies for evaluating their performance. Finally, it contains short summaries of the papers that use Boolean expressions used to specify the requirements for detecting faults. These techniques have been empirically evaluated by various researchers on a simplified safety related real time control system.


title: The GF Mathematics Library

abstract: This paper is devoted to present the Mathematics Grammar Library, a system for multilingual mathematical text processing. We explain the context in which it originated, its current design and functionality and the current development goals. We also present two prototype services and comment on possible future applications in the area of artificial mathematics assistants.


title: Prediction of Charged Hadron Multiplicity at LHC and CBM Experiments

abstract: A systematic study of charged hadron multiplicities ($n_{ch}$) at various collision energies is very much important in understanding the basic production mechanism of the hadrons in nucleus-nucleus collision experiments. Furthermore, the variations of $n_{ch}$ in nucleus-nucleus collisions with respect to the colliding energy and mass number can provide a potential probe for the formation of quark gluon plasma (QGP) in the laboratory. In this paper, we propose a phenomenological model based on the constituent quark-quark interactions to calculate the average multiplicity ($n_{ch}$) and pseudorapidity density at mid-rapidity ($(dn_{ch}/d\eta)_{\eta=0}$) of charged hadrons at various center-of-mass energies $(\sqrt{s_{NN}})$ for nucleus-nucleus ($A-A$) collisions. We first propose a new parametrization for $n_{ch}^{pp}$ and $(dn_{ch}/d\eta)^{pp}_{\eta=0}$ in $p-p$ interactions based on some initial inputs which fit the experimental data very well. We further extend this parametrization by using simple phenomenological assumptions regarding mean number of participating quarks and mean number of collisions to obtain the $n_{ch}$ and $(dn_{ch}/d\eta)_{\eta=0}$ for $A-A$ collisions and show their dependencies on the mass number of colliding nuclei as well as on $\sqrt{s_{NN}}$. We also compare the results obtained from our model with the results obtained from the modified Glauber model in order to demonstrate the difference between the two formalisms. Finally, we compare the charged hadron multiplicity and pseudorapidity density at mid-rapidity for $A-A$ collisions obtained from our model with the available experimetal data from various heavy-ion collision experiments and give our predictions for $A-A$ collisions at the Large Hadron Collider (LHC) and at Compressed Baryonic Matter (CBM) experiments.


title: From one Reeb orbit to two

abstract: We show that every (possibly degenerate) contact form on a closed three-manifold has at least two embedded Reeb orbits. We also show that if there are only finitely many embedded Reeb orbits, then their symplectic actions are not all integer multiples of a single real number; and if there are exactly two embedded Reeb orbits, then the product of their symplectic actions is less than or equal to the contact volume of the manifold. The proofs use a relation between the contact volume and the asymptotics of the amount of symplectic action needed to represent certain classes in embedded contact homology, recently proved by the authors and V. Ramos.


title: The Unusual Temporal and Spectral Evolution of the Type IIn Supernova 2011ht

abstract: We present very early UV to optical photometric and spectroscopic observations of the peculiar Type IIn supernova (SN) 2011ht in UGC 5460. The UV observations of the rise to peak are only the second ever recorded for a Type IIn SN and are by far the most complete. The SN, first classified as a SN impostor, slowly rose to a peak of M_V \sim -17 in \sim55 days. In contrast to the \sim2 magnitude increase in the v-band light curve from the first observation until peak, the UV flux increased by >7 magnitudes. The optical spectra are dominated by strong, Balmer emission with narrow peaks (FWHM\sim600 km/s), very broad asymmetric wings (FWHM\sim4200 km/s), and blue shifted absorption (\sim300 km/s) superposed on a strong blue continuum. The UV spectra are dominated by FeII, MgII, SiII, and SiIII absorption lines broadened by \sim1500 km/s. Merged X-ray observations reveal a L_(0.2-10)=(1.0+/-0.2)x10^(39) erg/s. Some properties of SN 2011ht are similar to SN impostors, while others are comparable to Type IIn SNe. Early spectra showed features typical of luminous blue variables at maximum and during giant eruptions. However, the broad emission profiles coupled with the strong UV flux have not been observed in previous SN impostors. The absolute magnitude and energetics (~2.5x10^(49) ergs in the first 112 days) are reminiscent of normal Type IIn SN, but the spectra are of a dense wind. We suggest that the mechanism for creating this unusual profile could be a shock interacting with a shell of material that was ejected a year before the discovery of the SN.


title: Algebraic points on Shimura curves of $\Gamma_0(p)$-type

abstract: In this article, we classify the characters associated to algebraic points on Shimura curves of $\Gamma_0(p)$-type, and over a quadratic field we show that there are at most elliptic points on such a Shimura curve for every sufficiently large prime number $p$. This is an analogue of the study of rational points or points over a quadratic field on the modular curve $X_0(p)$ by Mazur and one of the author (Momose). We also apply the result to a finiteness conjecture on abelian varieties with constrained prime power torsion by Rasmussen-Tamagawa.


title: Vectorial solutions to list multicoloring problems on graphs

abstract: For a graph $G$ with a given list assignment $L$ on the vertices, we give an algebraical description of the set of all weights $w$ such that $G$ is $(L,w)$-colorable, called permissible weights. Moreover, for a graph $G$ with a given list $L$ and a given permissible weight $w$, we describe the set of all $(L,w)$-colorings of $G$. By the way, we solve the {\sl channel assignment problem}. Furthermore, we describe the set of solutions to the {\sl on call problem}: when $w$ is not a permissible weight, we find all the nearest permissible weights $w'$. Finally, we give a solution to the non-recoloring problem keeping a given subcoloring.


title: Application of the SRISM approach to the study of the capacitance of the double layer of a high density primitive model electrolyte

abstract: In this study the Singlet Reference Interaction Site Model (SRISM) is employed to the study of the electrode charge dependence of the capacitance of a planar electric double layer using the primitive model of the double layer for a high density electrolyte that mimics an ionic liquid. The ions are represented by charged hard spheres and the electrode is a uniformly charged flat surface. The capacitance of this model fluid is calculated with the SRISM approach with closures based on the hypernetted chain (HNC) and Kovalenko-Hirata (KH) closures and compared with simulations. As long as the magnitude of the electrode charge is not too great, the HNC closure shows the most promise. The KH results are reasonably good for a high density electrolyte but are poor when applied at low densities.


title: Optically optimal wavelength-scale patterned ITO/ZnO composite coatings for thin film solar cells

abstract: A methodology is proposed for finding structures that are, optically speaking, locally optimal : a physical analysis of much simpler structures is used to constrain the optimization process. The obtained designs are based on a flat amorphous silicon layer (to minimize recombination) with a patterned anti-reflective coating made of ITO or ZnO, or a composite ITO/ZnO coating. These latter structures are realistic and present good performances despite very thin active layers.


title: Games with incomplete information in continuous time and for continuous types

abstract: We consider a two-player zero-sum game with integral payoff and with incomplete information on one side, where the payoff is chosen among a continuous set of possible payoffs. We prove that the value function of this game is solution of an auxiliary optimization problem over a set of measure-valued processes. Then we use this equivalent formulation to characterize the value function as the viscosity solution of a special type of a Hamilton-Jacobi equation. This paper generalizes the results of a previous work of the authors, where only a finite number of possible payoffs is considered.


title: Growth of graphene on 6H-SiC by molecular dynamics simulation

abstract: Classical molecular-dynamics simulations were carried out to study epitaxial growth of graphene on 6H-SiC(0001) substrate. It was found that there exists a threshold annealing temperature above which we observe formation of graphitic structure on the substrate. To check the sensitivity of the simulation results, we tested two empirical potentials and evaluated their reliability by the calculated characteristics of graphene, its carbon-carbon bond-length, pair correlation function, and binding energy.


title: Search for anomaly-mediated supersymmetry breaking with the ATLAS detector based on a disappearing-track signature in pp collisions at sqrt(s) = 7 TeV

abstract: In models of anomaly-mediated supersymmetry breaking (AMSB), the lightest chargino is predicted to have a lifetime long enough to be detected in collider experiments. This letter explores AMSB scenarios in pp collisions at sqrt(s) = 7 TeV by attempting to identify decaying charginos which result in tracks that appear to have few associated hits in the outer region of the tracking system. The search was based on data corresponding to an integrated luminosity of 1.02 fb^-1 collected with the ATLAS detector in 2011. The pT spectrum of candidate tracks is found to be consistent with the expectation from Standard Model background processes and constraints on the lifetime and the production cross section were obtained. In the minimal AMSB framework with m_3/2 < 32 TeV, m_0 < 1.5 TeV, tan(beta) = 5 and mu > 0, a chargino having mass below 92 GeV and a lifetime between 0.5 ns and 2 ns is excluded at 95% confidence level.


title: On the Solutions of Generalized Bogomolny Equations

abstract: Generalized Bogomolny equations are encountered in the localization of the topological N=4 SYM theory. The boundary conditions for 't Hooft and surface operators are formulated by giving a model solution with some special singularity. In this note we consider the generalized Bogomolny equations on a half space and construct model solutions for the boundary 't Hooft and surface operators. It is shown that for the 't Hooft operator the equations reduce to the open Toda chain for arbitrary simple gauge group. For the surface operators the solutions of interest are rational solutions of a periodic non-abelian Toda system.


title: Photoproduction of the $\pi N$ pair on nuclei and isobar configurations

abstract: A model of $\pi N$ pair photoproduction on nuclei at high momentum transfer is presented. The $A(\gamma,\pi N)B$ reaction amplitude is obtained by means of an extended impulse approximation, according to which the nuclear wavefunction includes delta-isobar components in addition to nucleon components. A one-particle transition operator is defined in terms of the two-body $\gamma N\to\pi N$ and $\gamma \Delta\to\pi N$ photoproduction amplitudes. Direct and exchange mechanisms of the nuclear photoproduction reaction are studied, and numerical estimates are made and presented of $^{12}{\rm C}(\gamma,\pi^- p){^{11}{\rm C}}$ and $^{12}{\rm C}(\gamma,\pi^+ p){^{11}{\rm Be}}$ differential cross sections at photon incident energies in the $\Delta(1232)$ resonance region.


title: Estimation in functional linear quantile regression

abstract: This paper studies estimation in functional linear quantile regression in which the dependent variable is scalar while the covariate is a function, and the conditional quantile for each fixed quantile index is modeled as a linear functional of the covariate. Here we suppose that covariates are discretely observed and sampling points may differ across subjects, where the number of measurements per subject increases as the sample size. Also, we allow the quantile index to vary over a given subset of the open unit interval, so the slope function is a function of two variables: (typically) time and quantile index. Likewise, the conditional quantile function is a function of the quantile index and the covariate. We consider an estimator for the slope function based on the principal component basis. An estimator for the conditional quantile function is obtained by a plug-in method. Since the so-constructed plug-in estimator not necessarily satisfies the monotonicity constraint with respect to the quantile index, we also consider a class of monotonized estimators for the conditional quantile function. We establish rates of convergence for these estimators under suitable norms, showing that these rates are optimal in a minimax sense under some smoothness assumptions on the covariance kernel of the covariate and the slope function. Empirical choice of the cutoff level is studied by using simulations.


title: Absolute dimensions of solar-type eclipsing binaries. EF Aquarii: a G0 test for stellar evolution models

abstract: Recent studies have shown that stellar chromospheric activity, and its effect on convective energy transport in the envelope, is most likely the cause of significant radius and temperature discrepancies between theoretical evolution models and observations. We aim to determine absolute dimensions and abundances for the solar-type detached eclipsing binary EF Aqr, and to perform a detailed comparison with results from recent stellar evolutionary models. uvby-beta standard photometry was obtained with the Stromgren Automatic Telescope. The broadening function formalism was applied on spectra observed with HERMES at the Mercator telescope in La Palma, to obtain radial velocity curves. Masses and radii with a precision of 0.6% and 1.0% respectively have been established for both components of EF Aqr. The active 0.956 M_sol secondary shows star spots and strong Ca II H and K emission lines. The 1.224 M_sol primary shows signs of activity as well, but at a lower level. An [Fe/H] abundance of 0.00+-0.10 is derived with similar abundances for Si, Ca, Sc, Ti, V, Cr, Co, and Ni. Solar calibrated evolutionary models such as Yonsei-Yale, Victoria-Regina and BaSTI isochrones and evolutionary tracks are unable to reproduce EF Aqr, especially for the secondary, which is 9% larger and 400 K cooler than predicted. Models adopting significantly lower mixing length parameters l/H_p remove these discrepancies, as seen in other solar type binaries. For the observed metallicity, Granada models with a mixing length of l/H_p=1.30 (primary) and 1.05 (secondary) reproduce both components at a common age of 1.5+-0.6 Gyr. Observations of EF Aqr suggests that magnetic activity, and its effect on envelope convection, is likely to be the cause of discrepancies in both radius and temperature, which can be removed by adjusting the mixing length parameter of the models downwards.


title: The effect of flow on Hadronic Spectra in an Excluded-Volume Model

abstract: Recently, we proposed a thermodynamically consistent excluded-volume model for the HG fireball and we noticed that our model gives a suitable description for various properties of multiparticle production and their ratios in the entire range of temperatures and baryon densities. The aim in this paper is to obtain the variations of freeze-out volume in a slice of unit rapidity i.e. $dV/dy$ as well as total volume of the fireball with respect to center-of-mass energy $(\sqrt{s_{NN}})$ and confront our model calculations with the corresponding thermal freeze-out volume obtained from the Hanbury-Brown-Twiss (HBT) pion interferometry method. We also test the validity of our model in extracting the total multiplicities as well as the central rapidity densities of various hadrons and comparing them with the recent results. We further calculate the rapidity as well as transverse momentum spectra of various particles produced in different heavy-ion collider experiments in order to examine the role of flow by matching our predictions suitably with the available experimental results. Finally, we extend our analysis for the production of light nuclei, hypernuclei and their antinuclei over a broad energy range from Alternating Gradient Synchrotron (AGS) to Large Hadron Collider (LHC) energies.


title: Bounds for Tur\'anians of modified Bessel functions

abstract: Motivated by some applications in applied mathematics, biology, chemistry, physics and engineering sciences, new tight Tur\'an type inequalities for modified Bessel functions of the first and second kind are deduced. These inequalities provide sharp lower and upper bounds for the Tur\'anian of modified Bessel functions of the first and second kind, and in most cases the relative errors of the bounds tend to zero as the argument tends to infinity. The chief tools in our proofs are some ideas of Gronwall [19] on ordinary differential equations, an integral representation of Ismail [28,29] for the quotient of modified Bessel functions of the second kind and some results of Hartman and Watson [24,26,59]. As applications of the main results some sharp Tur\'an type inequalities are presented for the product of modified Bessel functions of the first and second kind and it is shown that this product is strictly geometrically concave.


title: Measurement-induced two-qubit entanglement in a bad cavity: Fundamental and practical considerations

abstract: An entanglement-generating protocol is described for two qubits coupled to a cavity field in the bad-cavity limit. By measuring the amplitude of a field transmitted through the cavity, an entangled spin-singlet state can be established probabilistically. Both fundamental limitations and practical measurement schemes are discussed, and the influence of dissipative processes and inhomogeneities in the qubits are analyzed. The measurement-based protocol provides criteria for selecting states with an infidelity scaling linearly with the qubit-decoherence rate.


title: The Impact of Multichannel and Multipole Effects on the Cooper Minimum in the High-Harmonics Spectrum of Argon

abstract: We investigate the relevance of multiple-orbital and multipole effects during high-harmonic generation (HHG). The time-dependent configuration-interaction singles (TDCIS) approach is used to study the impact of the detailed description of the residual electron-ion interaction on the HHG spectrum. We find that the shape and position of the Cooper minimum in the HHG spectrum of argon changes significantly whether or not interchannel interactions are taken into account. The HHG yield can be underestimated by up to 2 orders of magnitude in the energy regio of 30-50 eV. We show that the argument of low ionization probability is not sufficient to justify ignoring multiple-orbital contributions. Additionally, we find the HHG yield is sensitive to the nonspherical multipole character of the electron-ion interaction.


title: Improved Linear Precoding over Block Diagonalization in Multi-cell Cooperative Networks

abstract: In downlink multiuser multiple-input multiple-output (MIMO) systems, block diagonalization (BD) is a practical linear precoding scheme which achieves the same degrees of freedom (DoF) as the optimal linear/nonlinear precoding schemes. However, its sum-rate performance is rather poor in the practical SNR regime due to the transmit power boost problem. In this paper, we propose an improved linear precoding scheme over BD with a so-called "effective-SNR-enhancement" technique. The transmit covariance matrices are obtained by firstly solving a power minimization problem subject to the minimum rate constraint achieved by BD, and then properly scaling the solution to satisfy the power constraints. It is proved that such approach equivalently enhances the system SNR, and hence compensates the transmit power boost problem associated with BD. The power minimization problem is in general non-convex. We therefore propose an efficient algorithm that solves the problem heuristically. Simulation results show significant sum rate gains over the optimal BD and the existing minimum mean square error (MMSE) based precoding schemes.


title: On the Energy and Centrality Dependence of Higher Order Moments of Net-Proton Distributions in Relativistic Heavy Ion Collisions

abstract: The higher order moments of the net-baryon distributions in relativistic heavy ion collisions are useful probes for the QCD critical point and fluctuations. Within a simple model we study the colliding energy and centrality dependence of the net-proton distributions in the central rapidity region. The model is based on considering the baryon stopping and pair production effects in the processes. Based on some physical reasoning, the dependence is parameterized. Predictions for the net-proton distributions for Au+Au and Pb+Pb collisions at different centralities at $\sqrt{s_{NN}}$=39 and 2760 GeV, respectively, are presented from the parameterizations for the model parameters. A possible test of our model is proposed from investigating the net proton distributions in the non-central rapidity region for different colliding centralities and energies.


title: Completeness of eigenfunctions of Sturm-Liouville problems with discontinuities at three points

abstract: In this work, we study discontinuous Sturm-Liouville type problems with eigenparameter dependent boundary condition and transmission conditions at three interior points. A self-adjoint linear operator A is defined in a suitable Hilbert space H such that the eigenvalues of such a problem coincide with those of A. We show that the eigenvalues of the problem are analytically simple, and the eigenfunctions of A are complete in H.


title: Effect of a Weak Electromagnetic Field on Particle Acceleration by a Rotating Black Hole

abstract: We study high energy charged particle collisions near the horizon in an electromagnetic field around a rotating black hole and reveal the condition of the fine-tuning to obtain arbitrarily large center-of-mass (CM) energy. We demonstrate that the CM energy can be arbitrarily large as the uniformly magnetized rotating black hole arbitrarily approaches maximal rotation under the situation that a charged particle plunges from the innermost stable circular orbit (ISCO) and collides with another particle near the horizon. Recently, Frolov [Phys. Rev. D 85, 024020 (2012)] proposed that the CM energy can be arbitrarily high if the magnetic field is arbitrarily strong, when a particle collides with a charged particle orbiting the ISCO with finite energy near the horizon of a uniformly magnetized Schwarzschild black hole. We show that the charged particle orbiting the ISCO around a spinning black hole needs arbitrarily high energy in the strong field limit. This suggests that Frolov's process is unstable against the black hole spin. Nevertheless, we see that magnetic fields may substantially promote the capability of rotating black holes as particle accelerators in astrophysical situations.


title: On discrete functional inequalities for some finite volume schemes

abstract: We prove several discrete Gagliardo-Nirenberg-Sobolev and Poincar\'e-Sobolev inequalities for some approximations with arbitrary boundary values on finite volume meshes. The keypoint of our approach is to use the continuous embedding of the space $BV(\Omega)$ into $L^{N/(N-1)}(\Omega)$ for a Lipschitz domain $ \Omega \subset \mathbb{R}^{N}$, with $N \geq 2$. Finally, we give several applications to discrete duality finite volume (DDFV) schemes which are used for the approximation of nonlinear and non isotropic elliptic and parabolic problems.


title: Exclusive $c\to s,d$ semileptonic decays of ground-state spin-1/2 and spin-3/2 doubly heavy $cb$ baryons

abstract: We evaluate exclusive semileptonic decays of ground-state spin-1/2 and spin-3/2 doubly heavy $cb$ baryons driven by a $c\to s,d$ transition at the quark level. We check our results for the form factors against heavy quark spin symmetry constraints obtained in the limit of very large heavy quark masses and near zero recoil. Based on those constraints we make model independent, though approximate, predictions for ratios of decay widths.


title: On building 4-critical plane and projective plane multiwheels from odd wheels

abstract: We build unbounded classes of plane and projective plane multiwheels that are 4-critical that are received summing odd wheels as edge sums modulo two. These classes can be considered as ascending from single common graph that can be received as edge sum modulo two of the octahedron graph O and the minimal wheel W3. All graphs of these classes belong to 2n-2-edges-class of graphs, among which are those that quadrangulate projective plane, i.e., graphs from Gr\"otzsch class, received applying Mycielski's Construction to odd cycle.


title: Bayesian semi-parametric estimation of the long-memory parameter under FEXP-priors

abstract: For a Gaussian time series with long-memory behavior, we use the FEXP-model for semi-parametric estimation of the long-memory parameter $d$. The true spectral density $f_o$ is assumed to have long-memory parameter $d_o$ and a FEXP-expansion of Sobolev-regularity $\be > 1$. We prove that when $k$ follows a Poisson or geometric prior, or a sieve prior increasing at rate $n^{\frac{1}{1+2\be}}$, $d$ converges to $d_o$ at a suboptimal rate. When the sieve prior increases at rate $n^{\frac{1}{2\be}}$ however, the minimax rate is almost obtained. Our results can be seen as a Bayesian equivalent of the result which Moulines and Soulier obtained for some frequentist estimators.


title: The Pisa Stellar Evolution Data Base for low-mass stars

abstract: The last decade showed an impressive observational effort from the photometric and spectroscopic point of view for ancient stellar clusters in our Galaxy and beyond. The theoretical interpretation of these new observational results requires updated evolutionary models and isochrones spanning a wide range of chemical composition. With this aim we built the new "Pisa Stellar Evolution Database" of stellar models and isochrones by adopting a well-tested evolutionary code (FRANEC) implemented with updated physical and chemical inputs. In particular, our code adopts realistic atmosphere models and an updated equation of state, nuclear reaction rates and opacities calculated with recent solar elements mixture. A total of 32646 models have been computed in the range of initial masses 0.30 - 1.10 Msun for a grid of 216 chemical compositions with the fractional metal abundance in mass, Z, ranging from 0.0001 to 0.01, and the original helium content, Y, from 0.25 to 0.42. Models were computed for both solar-scaled and alpha-enhanced abundances with different external convection efficiencies. Correspondingly, 9720 isochrones were computed in the age range 8 - 15 Gyr, in time steps of 0.5 Gyr. The whole database is available to the scientific community on the web. Models and isochrones were compared with recent calculations available in the literature and with the color-magnitude diagram of selected Galactic globular clusters. The dependence of relevant evolutionary quantities on the chemical composition and convection efficiency were analyzed in a quantitative statistical way and analytical formulations were made available for reader's convenience.


title: Jam-X: Wireless Agreement under Interference

abstract: Wireless low-power transceivers used in sensor networks such as IEEE 802.15.4 typically operate in unlicensed frequency bands that are subject to external interference from devices transmitting at much higher power. Communication protocols should therefore be designed to be robust against such interference. A critical building block of many protocols at all layers is agreement on a piece of information among a set of nodes. At the MAC layer, nodes may need to agree on a new time slot or frequency channel; at the application layer nodes may need to agree on handing over a leader role from one node to another. Message loss caused by interference may break agreement in two different ways: none of the nodes use the new information (time slot, channel, leader) and stick with the previous assignment, or - even worse - some nodes use the new information and some do not. This may lead to reduced performance or failures. In this paper we investigate the problem of agreement under interference and point out the limitations of the traditional message-based n-way handshake approach. We propose novel protocols that use jamming instead of message transmissions and show that they outperform the n-way handshake in terms of agreement probability, energy consumption, and time-to-completion both in the unicast case (two neighboring nodes agree) as well as in the broadcast case (any number of neighboring nodes agree).


title: Completeness of eigenfunctions of discontinuous boundary value problems

abstract: This paper has been withdrawn by the author.


title: Sympathetic Partial and Full Filament Eruptions Observed in One Solar Breakout Event

abstract: We report two sympathetic solar eruptions, including a partial and a full flux rope eruption in a quadrupolar magnetic region, where a large and a small filament resided above the middle and the east neutral lines respectively. The large filament first rose slowly at a speed of 8 km/s for 23 minutes and then it was accelerated to 102 km/s. Finally, this filament erupted successfully and caused a coronal mass ejection. During the slow rising phase, various evidence for breakout-like external reconnection has been identified at high and low temperature lines. The eruption of the small filament started around the end of the large filament's slow rising. This filament erupted partially and no associating coronal mass ejection could be detected. Based on a potential field extrapolation, we find that the topology of the three-dimensional coronal field above the source region is composed of three low-lying lobes and a large overlying flux system, and a null point located between the middle lobe and the overlying antiparallel flux system. We propose a possible mechanism within the framework of the magnetic breakout model to interpret the sympathetic filament eruptions, in which the magnetic implosion mechanism is thought to be a possible linkage between the sympathetic eruptions, and the external reconnection at the null point transfers field lines from the middle lobe to the lateral lobes and thereby leads to the full (partial) eruption of the observed large (small) filament. Other possible mechanisms are also discussed briefly. We conclude that the structural properties of coronal fields are important for producing sympathetic eruptions.