title: Cyclotron Resonance Energies and Orbital Elements of Accretion Pulsar 4U 0115+63 During the Giant Outburst in 2008

abstract: We present both timing and spectral analysis of the outburst of 4U 0115+63 in April -- May 2008 with INTEGRAL and RXTE observations. We have determined the spin period of the neutron star at $\sim 3.61430 \pm 0.00003$ s, and a spin up rate during the outburst of $\dot{P}=(-7.24 \pm 0.03)\times10^{-6} {\rm s d^{-1}}$, the angle of periapsis $\omega=48.67^\circ \pm 0.04^\circ$ in 2008 and its variation (apsidal motion) $\dot{\omega} = 0.048^\circ \pm 0.003^\circ {\rm yr}^{-1}$. We also confirm the relation of spin-up torque versus luminosity in this source during the giant outburst. The hard X-ray spectral properties of 4U 0115+63 during the outburst are studied with INTEGRAL and RXTE. Four cyclotron absorption lines are detected using the spectra from combined data of IBIS and JEM-X aboard INTEGRAL in the energy range of 3 -- 100 keV. The 5 -- 50 keV luminosities at an assumed distance of 7 kpc are determined to be in the range of $(1.5-12)\times 10^{37} {\rm ergs s^{-1}}$ during the outburst. The fundamental absorption line energy varies during the outburst: around 15 keV during the rising phase, and transiting to $\sim 10$ keV during the peak of the outburst, and further coming back to $\sim 15$ keV during the decreasing phase. The variations of photon index show the correlation with the fundamental line energy changes: the source becomes harder around the peak of the outburst and softer in both rising and decreasing phases. This correlation and transition processes during the outburst need further studies in both observations and theoretical work. The known relation of the fundamental line energy and X-ray luminosity is confirmed by our results, however, our discoveries suggest that some other factors besides luminosity play the important role in fundamental line energy variations and spectral transitions.


title: The Fleming-Viot limit of an interacting spatial population with fast density regulation

abstract: We consider population models in which the individuals reproduce, die and also migrate in space. The population size scales according to some parameter $N$, which can have different interpretations depending on the context. Each individual is assigned a mass of 1/N and the total mass in the system is called \emph{population density}. The dynamics has an intrinsic density regulation mechanism that drives the population density towards an equilibrium. We show that under a timescale separation between the \emph{slow} migration mechanism and the \emph{fast} density regulation mechanism, the population dynamics converges to a Fleming-Viot process as the scaling parameter $N$ approaches $\infty$. We first prove this result for a basic model in which the birth and death rates can only depend on the population density. In this case we obtain a \emph{neutral} Fleming-Viot process. We then extend this model by including position-dependence in the birth and death rates, as well as, offspring dispersal and immigration mechanisms. We show how these extensions add \emph{mutation} and \emph{selection} to the limiting Fleming-Viot process. All the results are proved in a multi-type setting, where there are $q$ types of individuals interacting with each other. We illustrate the usefulness of our convergence result by discussing applications in population genetics and cell biology.


title: Studies of Vertex Tracking with SOI Pixel Sensors for Future Lepton Colliders

abstract: This paper presents a study of vertex tracking with a beam hodoscope consisting of three layers of monolithic pixel sensors in SOI technology on high-resistivity substrate. We study the track extrapolation accuracy, two-track separation and vertex reconstruction accuracy in pion-Cu interactions with 150 and 300 GeV/c pions at the CERN SPS. Results are discussed in the context of vertex tracking at future lepton colliders.


title: Infinitesimal semisimple symplectic extrinsic symmetric spaces

abstract: We study infinitesimal semi-simple extrinsic symmetric spaces and give a classification in the symplectic case.


title: Non-sparse Linear Representations for Visual Tracking with Online Reservoir Metric Learning

abstract: Most sparse linear representation-based trackers need to solve a computationally expensive L1-regularized optimization problem. To address this problem, we propose a visual tracker based on non-sparse linear representations, which admit an efficient closed-form solution without sacrificing accuracy. Moreover, in order to capture the correlation information between different feature dimensions, we learn a Mahalanobis distance metric in an online fashion and incorporate the learned metric into the optimization problem for obtaining the linear representation. We show that online metric learning using proximity comparison significantly improves the robustness of the tracking, especially on those sequences exhibiting drastic appearance changes. Furthermore, in order to prevent the unbounded growth in the number of training samples for the metric learning, we design a time-weighted reservoir sampling method to maintain and update limited-sized foreground and background sample buffers for balancing sample diversity and adaptability. Experimental results on challenging videos demonstrate the effectiveness and robustness of the proposed tracker.


title: Dynamical phase transition of a periodically driven DNA

abstract: Replication and transcription are two important processes in living systems. To execute such processes, various proteins work far away from equilibrium in a staggered way. Motivated by this, aspects of hysteresis during unzipping of DNA under a periodic drive in non-equilibrium conditions are studied. A steady state phase diagram of a driven DNA is proposed which is experimentally verifiable. As a two state system, we also compare the results of DNA with that of an Ising magnet under an asymmetrical variation of magnetic field.


title: Transparency ratio in \gamma A -> \eta' A' and the in-medium \eta' width

abstract: The photoproduction of \eta'-mesons off different nuclei has been measured with the CBELSA/TAPS detector system for incident photon energies between 1500 - 2200 MeV. The transparency ratio has been deduced and compared to theoretical calculations describing the propagation of \eta'-mesons in nuclei. The comparison indicates a width of the \eta' -meson of the order of \Gamma= 15-25 MeV at \rho =\rho_0 for an average momentum p_{\eta'} = 1050 MeV/c, at which the \eta'-meson is produced in the nuclear rest frame. The inelastic \eta' N cross section is estimated to be 3 - 10 mb. Parameterizing the photoproduction cross section of \eta'-mesons by \sigma(A) = \sigma_0 A^{\alpha}, a value of \alpha = 0.84\pm0.03 has been deduced.


title: A Kuratowski-Type Theorem for Planarity of Partially Embedded Graphs

abstract: A partially embedded graph (or PEG) is a triple (G,H,\H), where G is a graph, H is a subgraph of G, and \H is a planar embedding of H. We say that a PEG (G,H,\H) is planar if the graph G has a planar embedding that extends the embedding \H. We introduce a containment relation of PEGs analogous to graph minor containment, and characterize the minimal non-planar PEGs with respect to this relation. We show that all the minimal non-planar PEGs except for finitely many belong to a single easily recognizable and explicitly described infinite family. We also describe a more complicated containment relation which only has a finite number of minimal non-planar PEGs. Furthermore, by extending an existing planarity test for PEGs, we obtain a polynomial-time algorithm which, for a given PEG, either produces a planar embedding or identifies an obstruction.


title: Efficient and optimal binary Hopfield associative memory storage using minimum probability flow

abstract: We present an algorithm to store binary memories in a Hopfield neural network using minimum probability flow, a recent technique to fit parameters in energy-based probabilistic models. In the case of memories without noise, our algorithm provably achieves optimal pattern storage (which we show is at least one pattern per neuron) and outperforms classical methods both in speed and memory recovery. Moreover, when trained on noisy or corrupted versions of a fixed set of binary patterns, our algorithm finds networks which correctly store the originals. We also demonstrate this finding visually with the unsupervised storage and clean-up of large binary fingerprint images from significantly corrupted samples.


title: New examples of Willmore submanifolds in the unit sphere via isoparametric functions,II

abstract: This paper is a continuation of a paper with the same title of the last two authors. In the first part of the present paper, we give a unified geometric proof that both focal submanifolds of every isoparametric hypersurface in spheres with four distinct principal curvatures are Willmore. In the second part, we completely determine which focal submanifolds are Einstein except one case.


title: The density maximum of He4 at the lambda point modeled by the stochastic quantum hydrodynamic analogy

abstract: The lambda point in liquid He4 is a well established phenomenon acknowledged as an example of Bose-Einstain condensation. This is generally accepted, but there are serious discrepancies between the theory and experimental results, namely the lower value of the transition temperature Tl and the negative value of dTl /dP. These discrepancies can be explained in term of the quantum stochastic hydrodynamic analogy (QSHA). The QSHA shows that at the He4I\textregisteredHe4II superfluid transition the quantum coherence length lc becomes of order of the distance up to which the wave function of a couple of He4 atoms extends itself. In this case, the He42 state is quantum and the quantum pseudo-potential brings a repulsive interaction that leads to the negative dTl /dP behavior. This fact overcomes the difficulty to explain the phenomenon by introducing a Hamiltonian inter-atomic repulsive potential that would obstacle the gas-liquid transition.


title: Gap like structure in a nonsuperconducting layered oxycarbonate Bi$_{2+x}$Sr$_{4-x}$Cu$_2$CO$_3$O$_{8+\delta}$ single crystal

abstract: The magnetic field and temperature dependence of the in-plane tunneling conductance $dI/dV(V)$ in high-quality nonsuperconducting (down to 10 mK) layered oxycarbonate Bi$_{2+x}$Sr$_{4-x}$Cu$_2$CO$_3$O$_{8+\delta}$ single crystals has been investigated using break junctions. Combining measurements of the in-plane magnetoresistivity $\rho_{ab}(T,H)$ and the magnetotunneling, we present evidence for the existence of a small "pseudogap" in a nonsuperconducting cuprate, without local incoherent pairs or any correlation phenomena associated with superconductivity. We are unable to distinguish if such a "pseudogap" is totally unrelated to superconductivity or if its existence is a necessary condition for the subsequent occurrence of superconductivity with increasing carrier density in the sample.


title: The 10 Tesla muSR instrument: detector solutions

abstract: Solutions to the detector system of the High-Field muSR instrument at the Paul Scherrer Institut (PSI) in Switzerland are presented. The strict technical requirements are fulfilled through the application of Geiger-mode Avalanche Photodiodes.


title: Ostrowski type Inequalities via h-convex Functions with Applications for Special Means

abstract: In this paper, we establish some new Ostrowski type inequalities for the class of h-convex functions which are super-multiplicative or super-additive and nonnegative. Some applications for special means and PDF's are given.


title: Secret Key Agreement Using Correlated Sources over the Generalized Multiple Access Channel

abstract: A secret key agreement setup between three users is considered in which each of the users 1 and 2 intends to share a secret key with user 3 and users 1 and 2 are eavesdroppers with respect to each other. The three users observe i.i.d. outputs of correlated sources and there is a generalized discrete memoryless multiple access channel (GDMMAC) from users 1 and 2 to user 3 for communication between the users. The secret key agreement is established using the correlated sources and the GDMMAC. In this setup, inner and outer bounds of the secret key capacity region are investigated. Moreover, for a special case where the channel inputs and outputs and the sources form Markov chains in some order, the secret key capacity region is derived. Also a Gaussian case is considered in this setup.


title: Polar foliations on symmetric spaces

abstract: We prove that a polar foliation of codimension at least three in an irreducible compact symmetric space is hyperpolar, unless the symmetric space has rank one. For reducible symmetric spaces of compact type, we derive decomposition results for polar foliations.


title: A Hilbert Space Perspective on Ordinary Differential Equations with Memory Term

abstract: We discuss ordinary differential equations with delay and memory terms in Hilbert spaces. By introducing a time derivative as a normal operator in an appropriate Hilbert space, we develop a new approach to a solution theory covering integro-differential equations, neutral differential equations and general delay differential equations within a unified framework. We show that reasonable differential equations lead to causal solution operators.


title: Thermodynamic properties and structural stability of thorium dioxide

abstract: Using density functional theory (DFT) calculations, we have systematically investigated the thermodynamic properties and structural stabilities of thorium dioxide (ThO$_2$). Based on the calculated phonon dispersion curves, we calculate the thermal expansion coefficient, bulk modulus, and heat capacities at different temperatures for ThO$_2$ under the quasi-harmonic approximation. All the results are in good agreement with corresponding experiments proving the validity of our methods. Our theoretical studies can help people more clearly understand the thermodynamic behaviors of ThO$_2$ at different temperatures. In addition, we have also studied possible defect formations and diffusion behaviors of helium in ThO$_2$, to discuss its structural stability. It is found that in intrinsic ThO$_2$ without any Fermi energy shifts, the interstitial Th$_i^{4+}$ defect other than oxygen or thorium vacancies, interstitial oxygen, and any kinds of Frenkel pairs, is most probable to form with an energy release of 1.74 eV. However, after upshifting the Fermi energy, the formation of the other defects also becomes possible. For helium diffusion, we find that only through the thorium vacancy can it happen with the small energy barrier of 0.52 eV. Otherwise, helium atoms can hardly incorporate or diffuse in ThO$_2$. Our results indicate that people should prevent upshifts of the Fermi energy of ThO$_2$ to avoid the formation of thorium vacancies and so as to prevent helium caused damages.


title: Asymptotic results for random coefficient bifurcating autoregressive processes

abstract: The purpose of this paper is to study the asymptotic behavior of the weighted least square estimators of the unknown parameters of random coefficient bifurcating autoregressive processes. Under suitable assumptions on the immigration and the inheritance, we establish the almost sure convergence of our estimators, as well as a quadratic strong law and central limit theorems. Our study mostly relies on limit theorems for vector-valued martingales.


title: Diversity versus Channel Knowledge at Finite Block-Length

abstract: We study the maximal achievable rate R*(n, \epsilon) for a given block-length n and block error probability \epsilon over Rayleigh block-fading channels in the noncoherent setting and in the finite block-length regime. Our results show that for a given block-length and error probability, R*(n, \epsilon) is not monotonic in the channel's coherence time, but there exists a rate maximizing coherence time that optimally trades between diversity and cost of estimating the channel.


title: Riemann-Hilbert Problems with canonical normalization and families of commuting operators

abstract: We start with a Riemann-Hilbert Problems (RHP) with canonical normalization whose sewing functions depends on several additional variables. Using Zakharov-Shabat theorem we are able to construct a family of ordinary differential operators for which the solution of the RHP is a common fundamental analytic solution. This family of operators obviously commute. Thus we are able to construct new classes of integrable nonlinear evolution equations.


title: Medium-induced emissions of hard gluons

abstract: We present a derivation of the medium-induced gluon radiation spectrum beyond the current limitation of soft gluon emission. Making use of the path integral approach to describe the propagation of high-energy particles inside a medium, we study the limiting case of a hard gluon emission. Analytical and numerical results are presented and discussed within the multiple soft scattering approximation. An ansatz interpolating between soft and hard gluon emissions is provided. The Landau-Pomeranchuk-Migdal effect is observed in the expected kinematic region.


title: Combinatorial Calabi flows on surfaces

abstract: For triangulated surfaces, we introduce the combinatorial Calabi flow which is an analogue of smooth Calabi flow. We prove that the solution of combinatorial Calabi flow exists for all time. Moreover, the solution converges if and only if Thurston's circle packing exists. As a consequence, combinatorial Calabi flow provides a new algorithm to find circle packings with prescribed curvatures. The proofs rely on careful analysis of combinatorial Calabi energy, combinatorial Ricci potential and discrete dual-Laplacians.


title: Lipschitz embeddings of random sequences

abstract: We develop a new multi-scale framework flexible enough to solve a number of problems involving embedding random sequences into random sequences. Grimmett, Liggett and Richthammer asked whether there exists an increasing M-Lipschitz embedding from one i.i.d. Bernoulli sequences into an independent copy with positive probability. We give a positive answer for large enough M. A closely related problem is to show that two independent Poisson processes on R are roughly isometric (or quasi-isometric). Our approach also applies in this case answering a conjecture of Szegedy and of Peled. Our theorem also gives a new proof to Winkler's compatible sequences problem.


title: Proving Termination of Probabilistic Programs Using Patterns

abstract: Proving programs terminating is a fundamental computer science challenge. Recent research has produced powerful tools that can check a wide range of programs for termination. The analog for probabilistic programs, namely termination with probability one ("almost-sure termination"), is an equally important property for randomized algorithms and probabilistic protocols. We suggest a novel algorithm for proving almost-sure termination of probabilistic programs. Our algorithm exploits the power of state-of-the-art model checkers and termination provers for nonprobabilistic programs: it calls such tools within a refinement loop and thereby iteratively constructs a "terminating pattern", which is a set of terminating runs with probability one. We report on various case studies illustrating the effectiveness of our algorithm. As a further application, our algorithm can improve lower bounds on reachability probabilities.


title: Improved Randomized Online Scheduling of Intervals and Jobs

abstract: We study the online preemptive scheduling of intervals and jobs (with restarts). Each interval or job has an arrival time, a deadline, a length and a weight. The objective is to maximize the total weight of completed intervals or jobs. While the deterministic case for intervals was settled a long time ago, the randomized case remains open. In this paper we first give a 2-competitive randomized algorithm for the case of equal length intervals. The algorithm is barely random in the sense that it randomly chooses between two deterministic algorithms at the beginning and then sticks with it thereafter. Then we extend the algorithm to cover several other cases of interval scheduling including monotone instances, C-benevolent instances and D-benevolent instances, giving the same competitive ratio. These algorithms are surprisingly simple but have the best competitive ratio against all previous (fully or barely) randomized algorithms. Next we extend the idea to give a 3-competitive algorithm for equal length jobs. Finally, we prove a lower bound of 2 on the competitive ratio of all barely random algorithms that choose between two deterministic algorithms for scheduling equal length intervals (and hence jobs).


title: Nonequilibrium Thermodynamics of Porous Electrodes

abstract: We reformulate and extend porous electrode theory for non-ideal active materials, including those capable of phase transformations. Using principles of non-equilibrium thermodynamics, we relate the cell voltage, ionic fluxes, and Faradaic charge-transfer kinetics to the variational electrochemical potentials of ions and electrons. The Butler-Volmer exchange current is consistently expressed in terms of the activities of the reduced, oxidized and transition states, and the activation overpotential is defined relative to the local Nernst potential. We also apply mathematical bounds on effective diffusivity to estimate porosity and tortuosity corrections. The theory is illustrated for a Li-ion battery with active solid particles described by a Cahn-Hilliard phase-field model. Depending on the applied current and porous electrode properties, the dynamics can be limited by electrolyte transport, solid diffusion and phase separation, or intercalation kinetics. In phase-separating porous electrodes, the model predicts narrow reaction fronts, mosaic instabilities and voltage fluctuations at low current, consistent with recent experiments, which could not be described by existing porous electrode models.


title: Approximation of functions from Lp(w)b by matrix means of their Fourier series

abstract: We formulate some special conditions for the integrable functions and moduli of continuity. We give the results on rate of approximation of such functions by matrix means of their Fourier series, where the entries of the rows of the matrix generate the sequences belonging to the classes MRBVS and MHBVS. We also present some results on norm approximation for functions from the generalized integral Lipschitz classes.


title: Herschel/SPIRE Observations of the Dusty Disk of NGC 4244

abstract: We present Herschel/SPIRE images at 250, 350, and 500 {\mu}m of NGC 4244, a typical low-mass, disk-only and edge-on spiral galaxy. The dust disk is clumpy and shows signs of truncation at the break radius of the stellar disk. This disk coincides with the densest part of the Hi disk. We compare the Spectral Energy Distribution, including the new SPIRE fluxes, to 3D radiative transfer models; a smooth model disk and a clumpy model with embedded heating. Each model requires a very high value for the dust scale-length (h(dust) = 2 - 5 h(stars)), higher dust masses than previous models of NGC 4244 (Md = 0.47 - 1.39 \times 10e7 Msun) and a face-on optical depth of {\tau}(V) = 0.4 - 1.12, in agreement with previous disk opacity studies. The vertical scales of stars and dust are similar. The clumpy model much better mimics the general morphology in the submm images and the general SED. The inferred gas-to-dust mass ratio is compatible with those of similar low-mass disks. The relatively large radial scale-length of the dust disk points to radial mixing of the dusty ISM within the stellar disk. The large vertical dust scale and the clumpy dust distribution of our SED model are both consistent with a scenario in which the vertical structure of the ISM is dictated by the balance of turbulence and self-gravity.


title: In-medium Properties of Hadrons

abstract: The changes of hadron properties within strongly interacting matter provide a link between experimental observables and Quantum Chromodynamics (QCD) in the non-pertubative sector. The sensitivity of various observables to in-medium modifications of hadrons is discussed. The experimental approaches to study in-medium properties, namely transparency ratio measurement, lineshape analysis, measurement of momentum distributions or excitation functions, are presented based on discussing recent results from the CBELSA/TAPS and CB/TAPS@MAMI experiments.


title: Strong approximation of almost periodic functions

abstract: We consider summability methods generated by the class GM(2b). We generalize some related results of P. Pych-Taberska [Studia Math. XCVI (1990), 91-103] on strong approximation of almost periodic functions by their Fourier series and S. M. Mazhar and V. Totik [J. Approx. Theory, 60(1990), 174-182] on approximation of periodic functions by matrix means of their Fourier series.


title: On some Leindler's theorem on application of the class NMCS

abstract: We show the results in the class GM(5b) corresponding to the theorem of L. Leindler [A note on strong approximation of Fourier series, Analysis Mathematica, 29(2003), 195--199] on strong approximation by matrix means of Fourier series constructed by the sequences from the class NMCS.


title: Evolution in the Dust Lane Fraction of Edge-on L* Spiral Galaxies since z=0.8

abstract: The presence of a well-defined and narrow dust lane in an edge-on spiral galaxy is the observational signature of a thin and dense molecular disk, in which gravitational collapse has overcome turbulence. Using a sample of galaxies out to z~1 extracted from the COSMOS survey, we identify the fraction of massive disks that display a dust lane. Our goal is to explore the evolution in the stability of the molecular ISM disks in spiral galaxies over a cosmic timescale. We check the reliability of our morphological classifications against changes in restframe wavelength, resolution, and cosmic dimming with (artificially redshifted) images of local galaxies from SDSS. We find that the fraction of L* disks with dust lanes in COSMOS is consistent with the local fraction (~80%) out to z~0.7. At z=0.8, the dust lane fraction is only slightly lower. A somewhat lower dust lane fraction in starbursting galaxies tentatively supports the notion that a high specific star formation rate can efficiently destroy or inhibit a dense molecular disk. A small subsample of higher redshift COSMOS galaxies display low internal reddening (E[B-V]), as well as a low incidence of dust lanes. These may be disks in which the growth of the dusty ISM disk lags behind that of the stellar disk. We note that at z=0.8, the most massive galaxies display a lower dust lane fraction than lower mass galaxies. A small contribution of recent mergers or starbursts to this most massive population may be responsible. The fact that the fraction of galaxies with dust lanes in COSMOS is consistent with little or no evolution implies that models to explain the Spectral Energy Distribution or the host galaxy dust extinction of supernovae based on local galaxies are still applicable to higher redshift spirals. It also suggests that dust lanes are long lived phenomena or can be reformed over very short time-scales.


title: Long term Arecibo monitoring of the water megamaser in MG J0414+0534

abstract: We monitored the 22 GHz maser line in the lensed quasar MG J0414+0534 at z=2.64 with the 300-m Arecibo telescope for almost two years to detect possible additional maser components and to measure a potential velocity drift of the lines. The main maser line profile is complex and can be resolved into a number of broad features with line widths of 30-160 km/s. A new maser component was tentatively detected in October 2008 at a velocity of +470 km/s. After correcting for the estimated lens magnification, we find that the H2O isotropic luminosity of the maser in MG J0414+0534 is about 26,000 solar luminosities, making this source the most luminous ever discovered. Both the main line peak and continuum flux densities are surprisingly stable throughout the period of the observations. An upper limit on the velocity drift of the main peak of the line has been estimated from our observations and is of the order of 2 km/s per year. We discuss the results of the monitoring in terms of the possible nature of the maser emission, associated with an accretion disk or a radio jet. This is the first time that such a study is performed in a water maser source at high redshift, potentially allowing us to study the parsec-scale environment around a powerful radio source at cosmological distances.


title: An Equilibrium Analysis of Scrip Systems

abstract: A game-theoretic model of scrip (artificial currency) systems is analyzed. It is shown that relative entropy can be used to characterize the distribution of agent wealth when all agents use threshold strategies---that is, they volunteer to do work iff they have below a threshold amount of money. Monotonicity of agents' best-reply functions is used to show that scrip systems have pure strategy equilibria where all agents use threshold strategies. An algorithm is given that can compute such an equilibrium and the resulting distribution of wealth.


title: Statistical properties of the Disk Counterparts of Type II Spicules from simultaneous observations of RBEs in Ca II 8542 and H{\alpha}

abstract: Spicules were recently found to exist as two types when a new class of so-called type II spicules was discovered at the solar limb with Hinode. The type II spicules have been linked with on-disk observations of Rapid Blue-shifted Excursions (RBEs) in the Ha and Ca 8542 lines. Here we analyze observations optimized for the detection of RBEs in both Ha and Ca 8542 simultaneously at a high temporal cadence taken with CRISP at the SST. This study used a high-quality time sequence for RBEs at different blue-shifts and employed an automated detection routine to detect a large number of RBEs in order to expand on the statistics of RBEs. We find that the number of detected RBEs is dependent on the Doppler velocity of the images on which the search is performed. Detection of RBEs at lower velocities increases the estimated number of RBEs to the same order of magnitude expected from limb spicules. This shows that RBEs and type II spicules are exponents of the same phenomenon. We provide evidence that Ca 8542 RBEs are connected to Ha RBEs and are located closer to the network regions with the Ha RBEs being the continuation, and show that RBEs have an average lifetime of 83.9 s when observed in both spectral lines with Doppler velocity ranges of 10-25 km/s in Ca 8542 and 30-50 km/s in Ha. In addition, we determine the transverse motion of a much larger sample of RBEs than previous studies and find that like type II spicules, RBEs undergo significant transverse motions, 5-10 km/s. Finally, we find that the intergranular jets discovered in BBSO are a subset of RBEs.


title: Jump-type Hunt processes generated by lower bounded semi-Dirichlet forms

abstract: Let $E$ be a locally compact separable metric space and $m$ be a positive Radon measure on it. Given a nonnegative function $k$ defined on $E\times E$ off the diagonal whose anti-symmetric part is assumed to be less singular than the symmetric part, we construct an associated regular lower bounded semi-Dirichlet form $\eta$ on $L^2(E;m)$ producing a Hunt process $X^0$ on $E$ whose jump behaviours are governed by $k$. For an arbitrary open subset $D\subset E$, we also construct a Hunt process $X^{D,0}$ on $D$ in an analogous manner. When $D$ is relatively compact, we show that $X^{D,0}$ is censored in the sense that it admits no killing inside $D$ and killed only when the path approaches to the boundary. When $E$ is a $d$-dimensional Euclidean space and $m$ is the Lebesgue measure, a typical example of $X^0$ is the stable-like process that will be also identified with the solution of a martingale problem up to an $\eta$-polar set of starting points. Approachability to the boundary $\partial D$ in finite time of its censored process $X^{D,0}$ on a bounded open subset $D$ will be examined in terms of the polarity of $\partial D$ for the symmetric stable processes with indices that bound the variable exponent $\alpha(x)$.


title: Nonnormal amplification in random balanced neuronal networks

abstract: In dynamical models of cortical networks, the recurrent connectivity can amplify the input given to the network in two distinct ways. One is induced by the presence of near-critical eigenvalues in the connectivity matrix W, producing large but slow activity fluctuations along the corresponding eigenvectors (dynamical slowing). The other relies on W being nonnormal, which allows the network activity to make large but fast excursions along specific directions. Here we investigate the tradeoff between nonnormal amplification and dynamical slowing in the spontaneous activity of large random neuronal networks composed of excitatory and inhibitory neurons. We use a Schur decomposition of W to separate the two amplification mechanisms. Assuming linear stochastic dynamics, we derive an exact expression for the expected amount of purely nonnormal amplification. We find that amplification is very limited if dynamical slowing must be kept weak. We conclude that, to achieve strong transient amplification with little slowing, the connectivity must be structured. We show that unidirectional connections between neurons of the same type together with reciprocal connections between neurons of different types, allow for amplification already in the fast dynamical regime. Finally, our results also shed light on the differences between balanced networks in which inhibition exactly cancels excitation, and those where inhibition dominates.


title: Tools for Malliavin calculus in UMD Banach spaces

abstract: In this paper we study the Malliavin derivatives and Skorohod integrals for processes taking values in an infinite dimensional space. Such results are motivated by their applications to SPDEs and in particular financial mathematics. Vector-valued Malliavin theory in Banach space E is naturally restricted to spaces E which have the so-called UMD property, which arises in harmonic analysis and stochastic integration theory. We provide several new results and tools for the Malliavin derivatives and Skorohod integrals in an infinite dimensional setting. In particular, we prove weak characterizations, a chain rule for Lipschitz functions, a sufficient condition for pathwise continuity and an Ito formula for non-adapted processes.


title: High resolution spectroscopy of single NV defects coupled with nearby $^{13}$C nuclear spins in diamond

abstract: We report a systematic study of the hyperfine interaction between the electron spin of a single nitrogen-vacancy (NV) defect in diamond and nearby $^{13}$C nuclear spins, by using pulsed electron spin resonance spectroscopy. We isolate a set of discrete values of the hyperfine coupling strength ranging from 14 MHz to 400 kHz and corresponding to $^{13}$C nuclear spins placed at different lattice sites of the diamond matrix. For each lattice site, the hyperfine interaction is further investigated through nuclear spin polarization measurements and by studying the magnetic field dependence of the hyperfine splitting. This work provides informations that are relevant for the development of nuclear-spin based quantum register in diamond.


title: Thermodynamics of quantum gases for the entire range of temperature

abstract: We have analytically explored thermodynamics of free Bose and Fermi gases for the entire range of temperature, and have extended the same for harmonically trapped cases. We have obtained approximate chemical potentials of the quantum gases in closed forms of temperature so that the thermodynamic properties of the quantum gases become plausible specially in the intermediate regime between the classical and quantum limits.


title: Self-maintaining defect/droplets from two interacting Bose-Einstein condensates

abstract: We consider two interacting Bose-Einstein condensates (BEC's) with different kind of the potential energy of interaction of the condensates: (a) the standard potential; (b) the potential has a positive three-body and a negative two-body scattering terms and (c) the potential has a positive four-body and a negative three-body scattering terms for the first BEC and a positive three-body and a negative two-body scattering terms for the second BEC. It is shown that in these cases there exist regular spherically symmetric solutions. Physically such solution is either a defect or a droplet created by the condensates. The defect is a cavity filled with one BEC on the background of another BEC. The droplet is an object on the background of the empty space. For (a) and (b) cases the obtained objects are supported by a constant external trapping potential and for (c) case the droplet is a self-maintaining object without any external potential. The possibility of construction of an elementary logic qubit device on the basis of this droplet is discussed.


title: Exact solutions for pairing interactions

abstract: The exact solution of the BCS pairing Hamiltonian was found by Richardson in 1963. While little attention was paid to this exactly solvable model in the remainder of the 20th century, there was a burst of work at the beginning of this century focusing on its applications in different areas of quantum physics. We review the history of this exact solution and discuss recent developments related to the Richardson-Gaudin class of integrable models, focussing on the role of these various models in nuclear physics.


title: Directed random walk on the backbone of an oriented percolation cluster

abstract: We consider a directed random walk on the backbone of the infinite cluster generated by supercritical oriented percolation, or equivalently the space-time embedding of the ``ancestral lineage'' of an individual in the stationary discrete-time contact process. We prove a law of large numbers and an annealed central limit theorem (i.e., averaged over the realisations of the cluster) using a regeneration approach. Furthermore, we obtain a quenched central limit theorem (i.e.\ for almost any realisation of the cluster) via an analysis of joint renewals of two independent walks on the same cluster.


title: Fabrication and electrical characterization of three-dimensional graphitic microchannels in single crystal diamond

abstract: We report on the systematic characterization of conductive micro-channels fabricated in single-crystal diamond with direct ion microbeam writing. Focused high-energy (~MeV) helium ions are employed to selectively convert diamond with micrometric spatial accuracy to a stable graphitic phase upon thermal annealing, due to the induced structural damage occurring at the end-of-range. A variable-thickness mask allows the accurate modulation of the depth at which the microchannels are formed, from several {\mu}m deep up to the very surface of the sample. By means of cross-sectional transmission electron microscopy (TEM) we demonstrate that the technique allows the direct writing of amorphous (and graphitic, upon suitable thermal annealing) microstructures extending within the insulating diamond matrix in the three spatial directions, and in particular that buried channels embedded in a highly insulating matrix emerge and electrically connect to the sample surface at specific locations. Moreover, by means of electrical characterization both at room temperature and variable temperature, we investigate the conductivity and the charge-transport mechanisms of microchannels obtained by implantation at different ion fluences and after subsequent thermal processes, demonstrating that upon high-temperature annealing, the channels implanted above a critical damage density convert to a stable graphitic phase. These structures have significant impact for different applications, such as compact ionizing radiation detectors, dosimeters, bio-sensors and more generally diamond-based devices with buried three-dimensional all-carbon electrodes.


title: Pointwise strong approximation of almost periodic functions

abstract: We consider the class GM(2b) in pointwise estimate of the deviations in strong mean of almost periodic functions from matrix means of partial sums of their Fourier series.


title: Non-Null Weakened Mannheim curves

abstract: In this study, non-null Frenet-Mannheim curves and non-null Weakened Mannheim curves are investigated in Minkowski 3-space. Some characterizations for this curves are obtained.


title: Label-Guided Graph Exploration with Adjustable Ratio of Labels

abstract: The graph exploration problem is to visit all the nodes of a connected graph by a mobile entity, e.g., a robot. The robot has no a priori knowledge of the topology of the graph or of its size. Cohen et al. \cite{Ilcinkas08} introduced label guided graph exploration which allows the system designer to add short labels to the graph nodes in a preprocessing stage; these labels can guide the robot in the exploration of the graph. In this paper, we address the problem of adjustable 1-bit label guided graph exploration. We focus on the labeling schemes that not only enable a robot to explore the graph but also allow the system designer to adjust the ratio of the number of different labels. This flexibility is necessary when maintaining different labels may have different costs or when the ratio is pre-specified. We present 1-bit labeling (two colors, namely black and white) schemes for this problem along with a labeling algorithm for generating the required labels. Given an $n$-node graph and a rational number $\rho$, we can design a 1-bit labeling scheme such that $n/b\geq \rho$ where $b$ is the number of nodes labeled black. The robot uses $O(\rho\log\Delta)$ bits of memory for exploring all graphs of maximum degree $\Delta$. The exploration is completed in time $O(n\Delta^{\frac{16\rho+7}{3}}/\rho+\Delta^{\frac{40\rho+10}{3}})$. Moreover, our labeling scheme can work on graphs containing loops and multiple edges, while that of Cohen et al. focuses on simple graphs.


title: The Optimal Pure Gaussian State Associated with Joint Position-Momentum Measurements

abstract: We show that given experimental data obtained from joint position and momentum measurements one can construct an optimal pure state approximating the observed quantum state. For that purpose we use a tool from multivariate statistical analysis (the MVE method), which relies on the existence of a minimum volume ellipsoid (the John--L\"owner ellipsoid) containing a given convex set. This method allows us to determine the shape of the covariance ellipsoid, which is thereafter calibrated using the expression of the uncertainty principle in terms of the notion of symplectic capacity. We finally use the Wigner formalism to produce the best approximating Gaussian state.

categories: quant-ph math-ph math.MP physics.data-an


title: Non-Linear Massive Gravity with Additional Primary Constraint and Absence of Ghosts

abstract: We complete the Hamiltonian analysis of specific model of non-linear massive gravity that was started in arXiv:1112.5267. We identify the primary constraint and corresponding secondary constraint. We show that they are the second class constraints and hence they lead to the elimination of the additional scalar mode. We also find that the remaining constraints are the first class constraints with the structure that corresponds to the manifestly diffeomorphism invariant theory. Finally we determine the number of physical degrees of freedom and we show that it corresponds to the number of physical modes of massive gravity.


title: Can we trust the temperature - misfit strain thin film phase diagrams?

abstract: Currently used methods for the description of thermodynamics of ferroelectric thin films (Landau theory or ab initio based Monte-Carlo simulations) are based on an energy expansion in terms of internal degrees of freedom. It was shown that these methods can suffer from a substantial inaccuracy unless higher-order electromechanical interactions are not taken into account. The high-order electromechanical couplings strongly renormalize the sixth-power polarization terms of the thermodynamic energy expansion. In this paper, apart from the general statement, we illustrate it with an example of a temperature - misfit strain phase diagram of a BaTiO3 thin film derived with high-order electromechanical interactions evaluated using first principles calculations.


title: Dead Zones around Young Stellar Objects: FU Orionis Outbursts and Transition Discs

abstract: We perform global time-dependent simulations of an accretion disc around a young stellar object with a dead zone (a region where the magneto-rotational instability cannot drive turbulence because the material is not sufficiently ionised). For infall accretion rates on to the disc of around 10^-7 Msun/yr, dead zones occur if the critical magnetic Reynolds number is larger than about 10^4. We model the collapse of a molecular gas cloud. At early times when the infall accretion rate is high, the disc is thermally ionised and fully turbulent. However, as the infall accretion rate drops, a dead zone may form if the critical magnetic Reynolds number is sufficiently large, otherwise the disc remains fully turbulent. With a dead zone the disc can become unstable to the gravo-magneto instability. The mass of the star grows in large accretion outbursts that may explain FU Orionis events. At late times there is not sufficient mass in the disc for outbursts to occur but the dead zone becomes even more prominent as the disc cools. Large inner dead zones in the later stages of disc evolution may help to explain observations of transition discs with an inner hole.


title: Theoretical Delay Time Distributions

abstract: We briefly discuss the method of population synthesis to calculate theoretical delay time distributions of type Ia supernova progenitors. We also compare the results of the different research groups and conclude that although one of the main differences in the results for single degenerate progenitors is the retention efficiency with which accreted hydrogen is added to the white dwarf core, this cannot explain all the differences.


title: Connectivity percolation in suspensions of hard platelets

abstract: We present a study on connectivity percolation in suspensions of hard platelets by means of Monte Carlo simulation. We interpret our results using a contact-volume argument based on an effective single--particle cell model. It is commonly assumed that the percolation threshold of anisotropic objects scales as their inverse aspect ratio. While this rule has been shown to hold for rod-like particles, we find that for hard plate-like particles the percolation threshold is non-monotonic in the aspect ratio. It exhibits a shallow minimum at intermediate aspect ratios and then saturates to a constant value. This effect is caused by the isotropic-nematic transition pre-empting the percolation transition. Hence the common strategy to use highly anisotropic, conductive particles as fillers in composite materials in order to produce conduction at low filler concentration is expected to fail for plate-like fillers such as graphene and graphite nanoplatelets.


title: Synthesis dependent characteristics of Sr1-xMnxTiO3 (x=0.03, 0.05, 0.07 and 0.09)

abstract: Sr1-xMnxTiO3 (where x = 0.03, 0.05, 0.07 and 0.09) was synthesized via different routes that include solid-state, oxalate precipitation and freeze drying. In oxalate precipitation technique, compositions corresponding to 3 and 5 mol % doping of Mn were monophasic whereas the higher compositions revealed the presence of the secondary phases such as MnO, Mn3O4 etc., as confirmed by high resolution X-ray diffraction (XRD) studies. The decomposition behavior of the precursors prepared using oxalate precipitation method corresponding to the above mentioned compositions was studied. Nanopowders of compositions pertaining to 5 to 9 mol % of Mn doping were obtained using freeze-drying technique. The average crystallite size of these nanopowders was found to be in the 35 to 65 nm range. The microstructural studies carried out on the sintered ceramics, fabricated using powders synthesized by different routes established the fine grained nature (< 1 microm) of the one obtained by freeze drying method. Raman scattering studies were carried out in order to complement the observations made from XRD regarding the phase purity. The dielectric properties of the ceramics obtained by different synthesis routes were studied in the 80 - 300 K temperature range at 100 kHz and the effect of grain size has been discussed.


title: Elements of Polya-Schur theory in finite difference setting

abstract: In this note we attempt to develop an analog of P\'olya-Schur theory describing the class of univariate hyperbolicity preservers in the setting of linear finite difference operators. We study the class of linear finite difference operators preserving the set of real-rooted polynomials whose mesh (i.e. the minimal distance between the roots) is at least one. In particular, finite difference versions of the classical Hermite-Poulain theorem and generalized Laguerre inequalities are obtained.


title: Blockwise SVD with error in the operator and application to blind deconvolution

abstract: We consider linear inverse problems in a nonparametric statistical framework. Both the signal and the operator are unknown and subject to error measurements. We establish minimax rates of convergence under squared error loss when the operator admits a blockwise singular value decomposition (blockwise SVD) and the smoothness of the signal is measured in a Sobolev sense. We construct a nonlinear procedure adapting simultaneously to the unknown smoothness of both the signal and the operator and achieving the optimal rate of convergence to within logarithmic terms. When the noise level in the operator is dominant, by taking full advantage of the blockwise SVD property, we demonstrate that the block SVD procedure overperforms classical methods based on Galerkin projection or nonlinear wavelet thresholding. We subsequently apply our abstract framework to the specific case of blind deconvolution on the torus and on the sphere.


title: Spherical symmetry in a dark energy permeated space-time

abstract: The properties of a spherically symmetric static space-time permeated of dark energy are worked out. Dark energy is viewed as the strain energy of an elastically deformable four dimensional manifold. The metric is worked out in the vacuum region around a central spherical mass/defect in the linear approximation. We discuss analogies and differences with the analogue in the de Sitter space time and how these competing scenarios could be differentiated on an observational ground. The comparison with the tests at the solar system scale puts upper limits to the parameters of the theory, consistent with the values obtained applying the classical cosmological tests.


title: Total Current Blockade in an Ultra-Cold Dipolar Quantum Wire

abstract: Cold atom systems offer a great potential for the future design of new mesoscopic quantum systems with properties that are fundamentally different from semiconductor nanostructures, such as quantum dots and quantum wires with electrons. Here, we investigate the analog of a quantum wire using ultra-cold particles, and find a new scenario for the quantum transport: Attractive interactions may lead to a complete suppression of current in the low-bias range, a total current blockade. We demonstrate this effect for the example of ultra-cold quantum gases with dipolar interactions.


title: Oversampling of wavelet frames for real dilations

abstract: We generalize the Second Oversampling Theorem for wavelet frames and dual wavelet frames from the setting of integer dilations to real dilations. We also study the relationship between dilation matrix oversampling of semi-orthogonal Parseval wavelet frames and the additional shift invariance gain of the core subspace.


title: Non-linear magneto-optic and self polarization rotation by superposition of states

abstract: We report the observation of enhanced magneto-optic rotation as the coherent superposition of different hyperfine states is established in an atomic sample. The polarization rotation near the two photon Raman resonance condition appears to have an analogous characteristic to the well established Faraday rotation observed in the vicinity of a single photon resonance, however it contains sharp features arising from coherent population trapping state. The profile of the two photon rotation signal exhibits interesting features for slightly imbalanced circular polarization component of the laser field as well as for on and away from the single photon resonance. The investigation can be used to explore the effect of superposition states generated by coherent population trapping on optical activity. A complete density matrix based numerical simulation that consistently captures all the relevant features of the experiment is presented.


title: Conservation relations for local theta correspondence

abstract: We prove Kudla-Rallis conjecture on first occurrences of local theta correspondence, for all type I irreducible dual pairs and all local fields of characteristic zero.


title: SimProp: a Simulation Code for Ultra High Energy Cosmic Ray Propagation

abstract: A new Monte Carlo simulation code for the propagation of Ultra High Energy Cosmic Rays is presented. The results of this simulation scheme are tested by comparison with results of another Monte Carlo computation as well as with the results obtained by directly solving the kinetic equation for the propagation of Ultra High Energy Cosmic Rays. A short comparison with the latest flux published by the Pierre Auger collaboration is also presented.


title: Mapping Itinerant Electrons around Kondo Impurities

abstract: We investigate single Fe and Co atoms buried below a Cu(100) surface using low temperature scanning tunneling spectroscopy. By mapping the local density of states of the itinerant electrons at the surface, the Kondo resonance near the Fermi energy is analyzed. Probing bulk impurities in this well-defined scattering geometry allows separating the physics of the Kondo system and the measuring process. The line shape of the Kondo signature shows an oscillatory behavior as a function of depth of the impurity as well as a function of lateral distance. The oscillation period along the different directions reveals that the spectral function of the itinerant electrons is anisotropic.


title: Adapted connections on metric contact manifolds

abstract: In this paper, we describe the space of adapted connections on a metric contact manifold through the space of their torsion tensors. The torsion tensor is an element of the space of TM-valued two-forms, which splits into various subspaces. We study the parts of the torsion tensor according to this splitting to completely describe the space of adapted connections. We use this description to obtain characterizations of the generalized Tanaka-Webster connection and to describe the Dirac operators of adapted connections.


title: Spin Glass-like Phase below ~ 210 K in Magnetoelectric Gallium Ferrite

abstract: In this letter we show the presence of a spin-glass like phase in single crystals of magnetoelectric gallium ferrite (GaFeO3) below ~210 K via temperature dependent ac and dc magnetization studies. Analysis of frequency dispersion of the susceptibility peak at ~210 K using the critical slowing down model and Vogel-Fulcher law strongly suggests the existence of a classical spin-glass like phase. This classical spin glass behavior of GaFeO3 is understood in terms of an outcome of geometrical frustration arising from the inherent site disorder among the antiferromagnetically coupled Fe ions located at octahedral Ga and Fe sites.


title: Tackling the testing migration problem with SAT-Solvers

abstract: We show that it is feasible to formulate the testing migration problem as a practically solvable PMAX-SAT instance, when package dependencies and conflicts are pre-processed sensibly.


title: Multiple Objects: Error Exponents in Hypotheses Testing and Identification

abstract: We servey a series of investigations of optimal testing of multiple hypotheses conserning various multiobject models. These studies are a bright instance of application of methods and technics developed in Shannon information theory to solution of typical statistical problems.


title: Collective modes of an anisotropic quark-gluon plasma induced by relativistic jets

abstract: We discuss the characteristics of collective modes induced by relativistic jets in an anisotropic quark-gluon plasma(AQGP). Assuming a tsunami-like initial jet distribution, it is found that the dispersion relations for both the stable and unstable modes are modified substantially due to the passage of jet compared to the case when there is no jet. It has also been shown that the growth rate of instability first increases compared to the no jet case and then completely turned into damping except the case when the jet velocity is perpendicular to the wave vector in which case the instability always grows. Thus, the introduction of the jet in the AQGP, in general, might to faster isotropization for the special case when the wave vector is parallel to the anisotropy axis.


title: Inter-dependence of the volume and stress ensembles and equipartition in statistical mechanics of granular systems

abstract: We discuss the statistical mechanics of granular matter and derive several significant results. First, we show that, contrary to common belief, the volume and stress ensembles are inter-dependent, necessitating the use of both. We use the combined ensemble to calculate explicitly expectation values of structural and stress-related quantities for two-dimensional systems. We thence demonstrate that structural properties may depend on the angoricity tensor and that stress-based quantities may depend on the compactivity. This calls into question previous statistical mechanical analyses of static granular systems and related derivations of expectation values. Second, we establish the existence of an intriguing equipartition principle - the total volume is shared equally amongst both structural and stress-related degrees of freedom. Third, we derive an expression for the compactivity that makes it possible to quantify it from macroscopic measurements.

categories: cond-mat.soft math-ph math.MP physics.class-ph


title: Dynamics of interacting transport qubits

abstract: We investigate the electronic transport through two parallel double quantum dots coupled both capacitively and via a perpendicularly aligned charge qubit. The presence of the qubit leads to a modification of the coherent tunnel amplitudes of each double quantum dot. We study the influence of the qubit on the electronic steady state currents through the system, the entanglement between the transport double quantum dots, and the back action on the charge qubit. We use a Born-Markov-Secular quantum master equation for the system. The obtained currents show signatures of the qubit. The stationary qubit state may be tuned and even rendered pure by applying suitable voltages. In the Coulomb diamonds it is also possible to stabilize pure entangled states of the transport double quantum dots.


title: Force-free pulsar magnetosphere: instability and generation of MHD waves

abstract: Magnetohydrodynamic (MHD) instabilities can play an important role in the structure and dynamics of the pulsar magnetosphere. We consider the instabilitycaused by differential rotation that is suggested by many theoretical models. Stability is considered by means of a linear analysis within the frane of the force-free MHD. We argue that differentially rotating magnetospheres are unstable for any particular geometry of the magnetic field and rotation law. The characteristic growth time of instability is of the order of the rotation period. The instability can lead to fluctuations of the emission and enhancement of diffusion in the magnetosphere.


title: Realizable Rate Distortion Function and Bayesian FIltering Theory

abstract: The relation between rate distortion function (RDF) and Bayesian filtering theory is discussed. The relation is established by imposing a causal or realizability constraint on the reconstruction conditional distribution of the RDF, leading to the definition of a causal RDF. Existence of the optimal reconstruction distribution of the causal RDF is shown using the topology of weak convergence of probability measures. The optimal non-stationary causal reproduction conditional distribution of the causal RDF is derived in closed form; it is given by a set of recursive equations which are computed backward in time. The realization of causal RDF is described via the source-channel matching approach, while an example is briefly discussed to illustrate the concepts.


title: A connection between the bipartite complements of line graphs and the line graphs with two positive eigenvalues

abstract: In 1974 Cvetkovi\'c and Simi\'c showed which graphs $G$ are the bipartite complements of line graphs. In 2002 Borovi\'canin showed which line graphs $L(H)$ have third largest eigenvalue $\lambda_3\leq0$. Our first observation is that two of the graphs Borovi\'canin found are the complements of two of the graphs found by Cvetkovi\'c and Simi\'c. Using the Courant-Weyl inequalities we show why this is and reprove the result of Borovi\'canin, highlighting some features of the graphs found by both.


title: The local content of all pure two-qubit states

abstract: The (non-)local content in the sense of Elitzur, Popescu, and Rohrlich (EPR2) [Phys. Lett. A 162, 25 (1992)] is a natural measure for the (non-)locality of quantum states. Its computation is in general difficult, even in low dimensions, and is one of the few open questions about pure two-qubit states. We present a complete solution to this long-lasting problem.


title: Parameterized Resolution with bounded conjunction

abstract: We provide separations between the parameterized versions of Res(1) (Resolution) and Res(2). Using a different set of parameterized contradictions, we also separate the parameterized versions of Res*(1) (tree-Resolution) and Res*(2).


title: Spreading scientific philosophies with instruments: the case of Atwood's machine

abstract: We study how the paradigm of Newton's science, based on the organization of scientific knowledge as a series of mathematical laws, was definitively accepted in science courses - in the last decades of the XVIII century, in England as well as in the Continent - by means of the "universal" dynamical machine invented by George Atwood in late 1770s just for this purpose. The spreading of such machine, occurred well before the appearance of Atwood's treatise where he described the novel machine and the experiments to be performed with it, is a quite interesting historical case, which we consider in some detail. In particular, we focus on the "improvement" introduced by the Italian Giuseppe Saverio Poli and the subsequent "simplifications" of the machine, underlying the ongoing change of perspective after the definitive success of Newtonianism. The case studied here allows to recognize the relevant role played by a properly devised instrument in the acceptance of a new paradigm by non-erudite scholars, in addition to the traditional ways involving erudite scientists, and thus the complementary role of machine philosophy with respect to mathematical, philosophical or even physical reasoning.


title: Applying MOG to lensing: Einstein rings, Abell 520 and the Bullet Cluster

abstract: We investigate gravitational lensing in the context of the MOG modified theory of gravity. Using a formulation of the theory with no adjustable or fitted parameters, we present the MOG equations of motion for slow, nonrelativistic test particles and for ultrarelativistic test particles, such as rays of light. We demonstrate how the MOG prediction for the bending of light can be applied to astronomical observations. Our investigation first focuses on a small set of strong lensing observations where the properties of the lensing objects are found to be consistent with the predictions of the theory. We also present an analysis of the colliding clusters 1E0657-558 (known also as the Bullet Cluster) and Abell 520; in both cases, the predictions of the MOG theory are in good agreement with observation.


title: Fluctuating initial condition and smoothening effect on elliptic and triangular flow

abstract: In heavy ion collisions, event-by-event fluctuations in participating nucleon positions can lead to triangular flow. Generally, one uses Monte-Carlo Glauber model to obtain the participating nucleon positions. To use in a hydrodynamic model, the positions needs to be smoothened. We study the effect of smoothening of Glauber Monte-Carlo initial conditions on elliptic and triangular flow. It is shown that integrated as well as differential elliptic and triangular flow remain largely unaltered, irrespective of functional form of the smoothening function, or the smoothening parameter


title: Comment on "Identification of different electron screening behavior between the bulk and surface of (Ga,Mn)As [Phys. Rev. Lett. 107, 187203 (2011)]"

abstract: In a recent Letter [Phys. Rev. Lett. 107, 187203 (2011)], Fujii et al. reported Mn 2p photoelectron emission spectra for (Ga,Mn)As recorded using hard x-rays. Due to the enhanced bulk sensitivity, hard-x-ray spectra reveal an extra "low-binding-energy peak", which is absent in surface-sensitive spectra recorded using soft x-rays. Based on Anderson-impurity-model calculations, Fujii et al. assigned the low-binding-energy peak to a cd6L2 final state, and related the variations in its intensity to variations in the As 4p-Mn 3d hybridization strength V. We show here that the definition of the charge-transfer energy considered by Fujii et al. is different from that considered in the Zaanen-Sawatzky-Allen diagram. We note that the Anderson impurity model is insufficient to describe low-binding-energy peaks in hard-x-ray core-level photoemission for transition-metal compounds on the verge of a metal-insulator transition. We propose a more plausible origin for the (Ga,Mn)As low-binding-energy peak, related to the nature of its metal-insulator transition.


title: Spherical Indicatrices of Involute of a Space Curve in Euclidean 3-Space

abstract: In this work, we studied the properties of the spherical indicatrices of involute curve of a space curve and presented some characteristic properties in the cases that involute curve and evolute curve are slant helices and helices, spherical indicatrices are slant helices and helices and we introduced new representations of spherical indicatrices.


title: STP/HAMPI and Computer Security

abstract: In the past several years I have written two SMT solvers called STP and HAMPI that have found widespread use in computer security research by leading groups in academia, industry and the government. In this brief note I summarize the features of STP/HAMPI that make them particularly suited for computer security research, and a listing of some of the more important projects that use them.


title: Reasoning on Schemata of Formulae

abstract: A logic is presented for reasoning on iterated sequences of formulae over some given base language. The considered sequences, or "schemata", are defined inductively, on some algebraic structure (for instance the natural numbers, the lists, the trees etc.). A proof procedure is proposed to relate the satisfiability problem for schemata to that of finite disjunctions of base formulae. It is shown that this procedure is sound, complete and terminating, hence the basic computational properties of the base language can be carried over to schemata.


title: Collective Intelligence 2012: Proceedings

abstract: This volume holds the proceedings of the Collective Intelligence 2012 conference in Cambridge, Massachusetts. It contains the full papers, poster papers, and plenary abstracts. Collective intelligence has existed at least as long as humans have, because families, armies, countries, and companies have all - at least sometimes - acted collectively in ways that seem intelligent. But in the last decade or so a new kind of collective intelligence has emerged: groups of people and computers, connected by the Internet, collectively doing intelligent things. For example, Google technology harvests knowledge generated by millions of people creating and linking web pages and then uses this knowledge to answer queries in ways that often seem amazingly intelligent. Or in Wikipedia, thousands of people around the world have collectively created a very large and high quality intellectual product with almost no centralized control, and almost all as volunteers! These early examples of Internet-enabled collective intelligence are not the end of the story but just the beginning. And in order to understand the possibilities and constraints of these new kinds of intelligence, we need a new interdisciplinary field.


title: Comment on: "Revealing common artifacts due to ferromagnetic inclusions in highly oriented pyrolytic graphite", by M. Sepioni, R.R. Nair, I.-Ling Tsai, A.K. Geim and I.V. Grigorieva, EPL 97 (2012) 47001

abstract: This comment addresses several issues in the paper by Sepioni et al., where it is stated that the ferromagnetism in pristine highly oriented pyrolytic graphite (HOPG) reported by several groups in the previous years is most likely due to impurity contamination. In this comment, clear arguments are given why this statement is not justified. Furthermore, it is pointed out, that there are already measurements using element-sensitive microscopic techniques, e.g. X-ray Magnetic Circular Dichroism (XMCD) that directly proved the intrinsic origin of the ferromagnetism in graphite, also in pristine HOPG.


title: CO Line Emission from Compact Nuclear Starburst Disks Around Active Galactic Nuclei

abstract: There is substantial evidence for a connection between star formation in the nuclear region of a galaxy and growth of the central supermassive black hole. Furthermore, starburst activity in the region around an active galactic nucleus (AGN) may provide the obscuration required by the unified model of AGN. Molecular line emission is one of the best observational avenues to detect and characterize dense, star-forming gas in galactic nuclei over a range of redshift. This paper presents predictions for the carbon monoxide (CO) line features from models of nuclear starburst disks around AGN. These small scale ($\la 100$ pc), dense and hot starbursts have CO luminosities similar to scaled-down ultra-luminous infrared galaxies and quasar host galaxies. Nuclear starburst disks that exhibit a pc-scale starburst and could potentially act as the obscuring torus show more efficient CO excitation and higher brightness temperature ratios than those without such a compact starburst. In addition, the compact starburst models predict strong absorption when $J_{\mathrm{Upper}} \ga 10$, a unique observational signature of these objects. These findings allow for the possibility that CO SLEDs could be used to determine if starburst disks are responsible for the obscuration in $z \la 1$ AGN. Directly isolating the nuclear CO line emission of such compact regions around AGN from galactic-scale emission will require high resolution imaging or selecting AGN host galaxies with weak galactic-scale star formation. Stacking individual CO SLEDs will also be useful in detecting the predicted high-$J$ features.


title: Image Restoration with Signal-dependent Camera Noise

abstract: This article describes a fast iterative algorithm for image denoising and deconvolution with signal-dependent observation noise. We use an optimization strategy based on variable splitting that adapts traditional Gaussian noise-based restoration algorithms to account for the observed image being corrupted by mixed Poisson-Gaussian noise and quantization errors.


title: Analytic Methods for Optimizing Realtime Crowdsourcing

abstract: Realtime crowdsourcing research has demonstrated that it is possible to recruit paid crowds within seconds by managing a small, fast-reacting worker pool. Realtime crowds enable crowd-powered systems that respond at interactive speeds: for example, cameras, robots and instant opinion polls. So far, these techniques have mainly been proof-of-concept prototypes: research has not yet attempted to understand how they might work at large scale or optimize their cost/performance trade-offs. In this paper, we use queueing theory to analyze the retainer model for realtime crowdsourcing, in particular its expected wait time and cost to requesters. We provide an algorithm that allows requesters to minimize their cost subject to performance requirements. We then propose and analyze three techniques to improve performance: push notifications, shared retainer pools, and precruitment, which involves recalling retainer workers before a task actually arrives. An experimental validation finds that precruited workers begin a task 500 milliseconds after it is posted, delivering results below the one-second cognitive threshold for an end-user to stay in flow.


title: Nonparametrically consistent depth-based classifiers

abstract: We introduce a class of depth-based classification procedures that are of a nearest-neighbor nature. Depth, after symmetrization, indeed provides the center-outward ordering that is necessary and sufficient to define nearest neighbors. Like all their depth-based competitors, the resulting classifiers are affine-invariant, hence in particular are insensitive to unit changes. Unlike the former, however, the latter achieve Bayes consistency under virtually any absolutely continuous distributions - a concept we call nonparametric consistency, to stress the difference with the stronger universal consistency of the standard $k$NN classifiers. We investigate the finite-sample performances of the proposed classifiers through simulations and show that they outperform affine-invariant nearest-neighbor classifiers obtained through an obvious standardization construction. We illustrate the practical value of our classifiers on two real data examples. Finally, we shortly discuss the possible uses of our depth-based neighbors in other inference problems.


title: Hyperbolicity cones of elementary symmetric polynomials are spectrahedral

abstract: We prove that the hyperbolicity cones of elementary symmetric polynomials are spectrahedral, i.e., they are slices of the cone of positive semidefinite matrices. The proof uses the matrix--tree theorem, an idea already present in Choe et al.


title: Reaching Fleming's dicrimination bound

abstract: Any rule for identifying a quantum system's state within a set of two non-orthogonal pure states by a single measurement is flawed. It has a non-zero probability of either yielding the wrong result or leaving the query undecided. This also holds if the measurement of an observable $A$ is repeated on a finite sample of $n$ state copies. We formulate a state identification rule for such a sample. This rule's probability of giving the wrong result turns out to be bounded from above by $1/n\delta_{A}^{2}$ with $\delta_{A}=|<A>_{1}-<A>_{2}|/(\Delta_{1}A+\Delta_{2}A).$ A larger $\delta_{A}$ results in a smaller upper bound. Yet, according to Fleming, $\delta_{A}$ cannot exceed $\tan\theta$ with $\theta\in(0,\pi/2) $ being the angle between the pure states under consideration. We demonstrate that there exist observables $A$ which reach the bound $\tan\theta$ and we determine all of them.


title: The Poisson Rain Tessellation Under Spatial Expansion and Temporal Transformation

abstract: For cell-division processes in a window, Cowan introduced four selection rules and two division rules each of which stands for one cell-division model. One of these is the area-weighted in-cell model. In this model, each cell is selected for division with a probability that corresponds to the ratio between its area and the area of the whole window. This selected cell is then divided by throwing a (uniformly distributed) point into the cell and drawing a line segment through the point under a random angle with the segment ending at the cell's boundary. For the STIT model which uses both a different selection and a different division rule, Mart\'inez and Nagel showed that for a STIT process {Y(t, W): t > 0} the process {exp(t) Y(exp(t), W): t real} is not only spatially stationary but also temporally. For a continuous-time area-weighted in-cell model it is shown by using the different and generalizing approach of a Poisson Rain that in order to get temporal stationarity it is necessary to have an exponential spatial expansion. For the temporal transformation it is found that there is a strong relation between that transformation and the intensity of the Poisson Rain in time.


title: Unconditional Security with Decoherence-Free Subspaces

abstract: We show how to use decoherence-free subspaces over collective-noise quantum channels to convey classical information in perfect secrecy. We argue that codes defined over decoherence-free subspaces are codes for quantum wiretap channels in which the gain of information by a non-authorized receiver is zero. We also show that if some symmetry conditions are guaranteed, the maximum rate on which these secret communications take place is equal to the Holevo-Schumacher-Westmoreland capacity of the quantum channel.


title: Scalar-Tensor theories from $\Lambda(\phi)$ Plebanski gravity

abstract: We study a modification of the Plebanski action, which generically corresponds to a bi-metric theory of gravity, and identify a subclass which is equivalent to the Bergmann-Wagoner-Nordtvedt class of scalar-tensor theories. In this manner, scalar-tensor theories are displayed as constrained BF theories. We find that in this subclass, there is no need to impose reality of the Urbantke metrics, as also the theory with real bivectors is a scalar-tensor theory with a real Lorentzian metric. Furthermore, while under the former reality conditions instabilities can arise from a wrong sign of the scalar mode kinetic term, we show that such problems do not appear if the bivectors are required to be real. Finally, we discuss how matter can be coupled to these theories. The phenomenology of scalar field dark matter arises naturally within this framework.


title: One-dimensional ballistic transport with FLAPW Wannier functions

abstract: We present an implementation of the ballistic Landauer-B\"uttiker transport scheme in one-dimensional systems based on density functional theory (DFT) calculations within the full-potential linearized augmented plane-wave (FLAPW) method. In order to calculate the conductance within the Green's function method we map the electronic structure from the extended states of the FLAPW calculation to Wannier functions which constitute a minimal localized basis set. Our approach benefits from the high accuracy of the underlying FLAPW calculations allowing us to address the complex interplay of structure, magnetism, and spin-orbit coupling and is ideally suited to study spin-dependent electronic transport in one-dimensional magnetic nanostructures. To illustrate our approach we study ballistic electron transport in non-magnetic Pt monowires with a single stretched bond including spin-orbit coupling, and in ferromagnetic Co monowires with different collinear magnetic alignment of the electrodes with the purpose of analysing the magnetoresistance when going from tunneling to the contact regime. We further investigate spin-orbit scattering due to an impurity atom. We consider two configurations: a Co atom in a Pt monowire and vice versa. In both cases, the spin-orbit induced band mixing leads to a change of the conductance upon switching the magnetization direction from along the chain axis to perpendicular to it. The main contribution stems from ballistic spin-scattering for the magnetic Co impurity in the non-magnetic Pt monowire and for the Pt scatterer in the magnetic Co monowire from the band formed from states with $d_{xy}$ and $d_{x^2-y^2}$ orbital symmetry. We quantify this effect by calculating the ballistic anisotropic magnetoresistance which displays values up to as much as 7% for ballistic spin-scattering and gigantic values of around 100% for the Pt impurity in the Co wire.


title: Reentrant valence transition in EuO at high pressures: beyond the bond-valence model

abstract: The pressure-dependent relation between Eu valence and lattice structure in model compound EuO is studied with synchrotron-based x-ray spectroscopic and diffraction techniques. Contrary to expectation, a 7% volume collapse at $\approx$ 45 GPa is accompanied by a reentrant Eu valence transition into a $\emph{lower}$ valence state. In addition to highlighting the need for probing both structure and electronic states directly when valence information is sought in mixed-valent systems, the results also show that widely used bond-valence methods fail to quantitatively describe the complex electronic valence behavior of EuO under pressure.


title: Time resolved spectroscopy of BD+46 442: gas streams and jet creation in a newly discovered evolved binary with a disk

abstract: Previous studies have shown that many post-AGB stars with dusty disks are associated with single-lined binary stars. To verify the binarity hypothesis on a larger sample, we started a high-resolution spectral monitoring of about 40 field giants, whose binarity was suspected based on either a light curve, an infrared excess, or a peculiar chemical composition. Here we report on the discovery of the periodic RV variations in BD+46 442, a high-latitude F giant with a disk. We interpret the variations due to the motion around a faint companion, and deduce the following orbital parameters: Porb = 140.77 d, e = 0.083, asini=0.31 AU. We find it to be a moderately metal-poor star ([M/H]=-0.7) without a strong depletion pattern in the photospheric abundances. Interestingly, many lines show periodic changes with the orbital phase: Halpha switches between a double-peak emission and a PCyg-like profiles, while strong metal lines appear split during the maximum redshift. Similar effects are likely visible in the spectra of other post-AGB binaries, but their regularity is not always realized due to sporadic observations. We propose that these features result from an ongoing mass transfer from the evolved giant to the companion. In particular, the blue-shifted absorption in Halpha, which occurs only at superior conjunction, may result from a jet originating in the accretion disk around the companion and seen in absorption towards the luminous primary.


title: Collaboration and Coordination in Secondary Networks for Opportunistic Spectrum Access

abstract: In this paper, we address the general case of a coordinated secondary network willing to exploit communication opportunities left vacant by a licensed primary network. Since secondary users (SU) usually have no prior knowledge on the environment, they need to learn the availability of each channel through sensing techniques, which however can be prone to detection errors. We argue that cooperation among secondary users can enable efficient learning and coordination mechanisms in order to maximize the spectrum exploitation by SUs, while minimizing the impact on the primary network. To this goal, we provide three novel contributions in this paper. First, we formulate the spectrum selection in secondary networks as an instance of the Multi-Armed Bandit (MAB) problem, and we extend the analysis to the collaboration learning case, in which each SU learns the spectrum occupation, and shares this information with other SUs. We show that collaboration among SUs can mitigate the impact of sensing errors on system performance, and improve the convergence of the learning process to the optimal solution. Second, we integrate the learning algorithms with two collaboration techniques based on modified versions of the Hungarian algorithm and of the Round Robin algorithm that allows reducing the interference among SUs. Third, we derive fundamental limits to the performance of cooperative learning algorithms based on Upper Confidence Bound (UCB) policies in a symmetric scenario where all SU have the same perception of the quality of the resources. Extensive simulation results confirm the effectiveness of our joint learning-collaboration algorithm in protecting the operations of Primary Users (PUs), while maximizing the performance of SUs.


title: Robust Repetitive Controller for Fast AFM Imaging

abstract: Currently, Atomic Force Microscopy (AFM) is the most preferred Scanning Probe Microscopy (SPM) method due to its numerous advantages. However, increasing the scanning speed and reducing the interaction forces between the probe's tip and the sample surface are still the two main challenges in AFM. To meet these challenges, we take advantage of the fact that the lateral movements performed during an AFM scan is a repetitive motion and propose a Repetitive Controller (RC) for the z-axis movements of the piezo-scanner. The RC utilizes the profile of the previous scan line while scanning the current line to achieve a better scan performance. The results of the scanning experiments performed with our AFM set-up show that the proposed RC significantly outperforms a conventional PI controller that is typically used for the same task. The scan error and the average tapping forces are reduced by 66% and 58%, respectively when the scan speed is increased by 7-fold.


title: PASCal: A principal-axis strain calculator for thermal expansion and compressibility determination

abstract: We describe a web-based tool (PASCal; Principal Axis Strain Calculator) aimed at simplifying the determination of principal coefficients of thermal expansion and compressibilities from variable-temperature and variable-pressure lattice parameter data. In a series of three case studies, we use PASCal to re-analyse previously-published lattice parameter data and show that additional scientific insight is obtainable in each case. First, the two-dimensional metal-organic framework Cu-SIP-3 is found to exhibit the strongest area-negative thermal expansion (NTE) effect yet observed; second, the widely-used explosive HMX exhibits much stronger mechanical anisotropy than had previously been anticipated, including uniaxial NTE driven by thermal changes in molecular conformation; and, third, the high-pressure form of the mineral malayaite is shown to exhibit a strong negative linear compressibility (NLC) effect that arises from correlated tilting of SnO6 and SiO4 coordination polyhedra.


title: Study of Anisotropic Black Branes in Asymptotically anti-de Sitter

abstract: We investigate the four dimensional gravitational theories which admit homogeneous but anisotropic black brane solutions in asymptotically AdS space-time. The gravitational theories we consider are 1) Einstein-Maxwell-dilaton theory, and 2) Einstein-Maxwell-dilaton-axion theory with SL(2,R) symmetry. We obtain the solutions both analytically and numerically. Analytical solutions are obtained by perturbation from the isotropic solutions. Our solutions approach singular behavior at the horizon in the extremal limit but in non-extremal case, they are smooth everywhere. We also discuss how the third law of thermodynamics holds in our set-up.


title: Exact Soliton-like Solutions of the Radial Gross-Pitaevskii Equation

abstract: We construct exact ring soliton-like solutions of the cylindrically symmetric (i.e., radial) Gross- Pitaevskii equation with a potential, using the similarity transformation method. Depending on the choice of the allowed free functions, the solutions can take the form of stationary dark or bright rings whose time dependence is in the phase dynamics only, or oscillating and bouncing solutions, related to the second Painlev\'e transcendent. In each case the potential can be chosen to be time-independent.


title: Optimal box-covering algorithm for fractal dimension of complex networks

abstract: The self-similarity of complex networks is typically investigated through computational algorithms the primary task of which is to cover the structure with a minimal number of boxes. Here we introduce a box-covering algorithm that not only outperforms previous ones, but also finds optimal solutions. For the two benchmark cases tested, namely, the E. Coli and the WWW networks, our results show that the improvement can be rather substantial, reaching up to 15% in the case of the WWW network.


title: Adaptive Q control for Tapping-mode Nano-scanning Using a Piezo-actuated Bimorph Probe

abstract: A new approach, called Adaptive Q-control, for tapping-mode Atomic Force Microscopy (AFM) is introduced and implemented on a home-made AFM set-up utilizing a Laser Doppler Vibrometer (LDV) and a piezo-actuated bimorph probe. In the standard Q-control, the effective Q-factor of the scanning probe is adjusted prior to the scanning depending on the application. However, there is a trade-off in setting the effective Q-factor of an AFM probe. The Q-factor is either increased to reduce the tapping forces or decreased to increase the maximum achievable scan speed. Realizing these two benefits simultaneously using the standard Q-control is not possible. In adaptive Q-control, the Q-factor of the probe is set to an initial value as in standard Q-control, but then modified on the fly during scanning when necessary to achieve this goal. In this paper, we present the basic theory behind the adaptive Q-control, the electronics enabling the on-line modification of the probe's effective Q-factor, and the results of the experiments comparing three different methods: scanning a) without Q-control, b) with the standard Q-control, and c) with the adaptive Q-control. The results show that the performance of the adaptive Q-control is superior to the other two methods.


title: Causally simple inextendible spacetimes are hole-free

abstract: It is shown that causally simple inextendible spacetimes are hole-free, thus confirming the expectation that causal simplicity removes holes from spacetime. This result is optimal in the sense that causal simplicity cannot be weakened to causal continuity. Physically, it means that if there is some partial Cauchy hypersurface which, for some reason, does not fully develop its influence, then there is some discontinuity in the causal relation.


title: State Feedback Control for Adjusting the Dynamic Behavior of a Piezoactuated Bimorph Atomic Force Microscopy Probe

abstract: We adjust the transient dynamics of a piezo-actuated bimorph Atomic Force Microscopy (AFM) probe using a state feedback controller. This approach enables us to adjust the quality factor and the resonance frequency of the probe simultaneously. First, we first investigate the effect of feedback gains on dynamic response of the probe and then show that the time constant of the probe can be reduced by reducing its quality factor and/or increasing its resonance frequency to reduce the scan error in tapping mode AFM.


title: Critical components in 0.14 THz communication systems

abstract: In the super-heterodyne terahertz communication system, the proper design of the critical components like mixers and filters are of great importance for enhancing its performance. In this work, some issues on our newly developed system setup design for 0.14 THz wireless communications and the key components subharmonic mixer (SHM) based on Schottky diode, as well as silicon micromachined bandpass rectangular waveguide filters are presented. According to ADS simulation, the optimum conversion loss of the 140 GHz SHM is around 8.2 dB. And the silicon-micromachined rectangular waveguide filters have been fabricated and the measured lowset insertion losses are lower than 0.5 dB.


title: Configuration types and cubic surfaces

abstract: This paper is a sequel to the paper \cite{refGH}. We relate the matroid notion of a combinatorial geometry to a generalization which we call a configuration type. Configuration types arise when one classifies the Hilbert functions and graded Betti numbers for fat point subschemes supported at $n\le8$ essentially distinct points of the projective plane. Each type gives rise to a surface $X$ obtained by blowing up the points. We classify those types such that $n=6$ and $-K_X$ is nef. The surfaces obtained are precisely the desingularizations of the normal cubic surfaces. By classifying configuration types we recover in all characteristics the classification of normal cubic surfaces, which is well-known in characteristic 0 \cite{refBW}. As an application of our classification of configuration types, we obtain a numerical procedure for determining the Hilbert function and graded Betti numbers for the ideal of any fat point subscheme $Z=m_1p_1+...+m_6p_6$ such that the points $p_i$ are essentially distinct and $-K_X$ is nef, given only the configuration type of the points $p_1,...,p_6$ and the coefficients $m_i$.


title: Numerical Simulation of Nano Scanning in Intermittent-Contact Mode AFM under Q control

abstract: We investigate nano scanning in tapping mode atomic force microscopy (AFM) under quality (Q) control via numerical simulations performed in SIMULINK. We focus on the simulation of whole scan process rather than the simulation of cantilever dynamics and the force interactions between the probe tip and the surface alone, as in most of the earlier numerical studies. This enables us to quantify the scan performance under Q control for different scan settings. Using the numerical simulations, we first investigate the effect of elastic modulus of sample (relative to the substrate surface) and probe stiffness on the scan results. Our numerical simulations show that scanning in attractive regime using soft cantilevers with high Qeff results in a better image quality. We, then demonstrate the trade-off in setting the effective Q factor (Qeff) of the probe in Q control: low values of Qeff cause an increase in tapping forces while higher ones limit the maximum achievable scan speed due to the slow response of the cantilever to the rapid changes in surface profile. Finally, we show that it is possible to achieve higher scan speeds without causing an increase in the tapping forces using adaptive Q control (AQC), in which the Q factor of the probe is changed instantaneously depending on the magnitude of the error signal in oscillation amplitude. The scan performance of AQC is quantitatively compared to that of standard Q control using iso-error curves obtained from numerical simulations first and then the results are validated through scan experiments performed using a physical set-up.


title: Mounding in Epitaxial Surface Growth

abstract: For the past two decades the Villain-Lai-Das Sarma equation has served as the theoretical framework for conserved surface growth processes, such as molecular-beam epitaxy. However some phenomena, such as mounding, are yet to be fully understood. In the following, we present a systematic analysis of the full, original Villain-Lai-Das Sarma equation showing that mound forming terms, which should have been included initially on symmetry grounds, are generated under renormalisation. A number of widely studied Langevin equations are recovered as limits or trivial fixed points of the full theory.


title: Towards an ultra efficient kinetic scheme. Part I: basics on the BGK equation

abstract: In this paper we present a new ultra efficient numerical method for solving kinetic equations. In this preliminary work, we present the scheme in the case of the BGK relaxation operator. The scheme, being based on a splitting technique between transport and collision, can be easily extended to other collisional operators as the Boltzmann collision integral or to other kinetic equations such as the Vlasov equation. The key idea, on which the method relies, is to solve the collision part on a grid and then to solve exactly the transport linear part by following the characteristics backward in time. The main difference between the method proposed and semi-Lagrangian methods is that here we do not need to reconstruct the distribution function at each time step. This allows to tremendously reduce the computational cost of the method and it permits for the first time, to the author's knowledge, to compute solutions of full six dimensional kinetic equations on a single processor laptop machine. Numerical examples, up to the full three dimensional case, are presented which validate the method and assess its efficiency in 1D, 2D and 3D.


title: Contractile stresses in cohesive cell layers on finite-thickness substrates

abstract: Using a minimal model of cells or cohesive cell layers as continuum active elastic media, we examine the effect of substrate thickness and stiffness on traction forces exerted by strongly adhering cells. We obtain a simple expression for the length scale controlling the spatial variation of stresses in terms of cell and substrate parameters that describes the crossover between the thin and thick substrate limits. Our model is an important step towards a unified theoretical description of the dependence of traction forces on cell or colony size, acto-myosin contractility, substrate depth and stiffness, and strength of focal adhesions, and makes experimentally testable predictions.


title: TeXmacs-Reduce interface

abstract: This tutorial (based on the talk at the TeXmacs workshop in Faro, Portugal, February 26 - March 2, 2012) describes the new and improved Reduce plugin in GNU TeXmacs.


title: Coupling methods for efficient simulation of spatial population dynamics

abstract: Coupling is a widely used technique in the theoretical study of interacting stochastic processes. In this paper I present an example demonstrating its usefulness also in the efficient computer simulation of such processes. I first describe a basic coupling technique, applicable to all kinds of processes, which allows trading memory use for a limited speedup. Next, I describe a specialized variant of it, which can be used to speed up the simulation certain kinds of processes satisfying a monotonicity criterion. This special algorithm increases the speed by several orders of magnitude with only a modest increase in memory usage.