title: Reducing the Barrier to Entry of Complex Robotic Software: a MoveIt! Case Study

abstract: Developing robot agnostic software frameworks involves synthesizing the disparate fields of robotic theory and software engineering while simultaneously accounting for a large variability in hardware designs and control paradigms. As the capabilities of robotic software frameworks increase, the setup difficulty and learning curve for new users also increase. If the entry barriers for configuring and using the software on robots is too high, even the most powerful of frameworks are useless. A growing need exists in robotic software engineering to aid users in getting started with, and customizing, the software framework as necessary for particular robotic applications. In this paper a case study is presented for the best practices found for lowering the barrier of entry in the MoveIt! framework, an open-source tool for mobile manipulation in ROS, that allows users to 1) quickly get basic motion planning functionality with minimal initial setup, 2) automate its configuration and optimization, and 3) easily customize its components. A graphical interface that assists the user in configuring MoveIt! is the cornerstone of our approach, coupled with the use of an existing standardized robot model for input, automatically generated robot-specific configuration files, and a plugin-based architecture for extensibility. These best practices are summarized into a set of barrier to entry design principles applicable to other robotic software. The approaches for lowering the entry barrier are evaluated by usage statistics, a user survey, and compared against our design objectives for their effectiveness to users.


title: Homogenization of periodic hexa- and tetrachiral cellular solids

abstract: The homogenization of auxetic cellular solids having periodic hexachiral and tetrachiral microstructure is dealt with two different techniques. The first approach is based on the representation of the cellular solid as a beam-lattice to be homogenized as a micropolar continuum. The second approach is developed to analyse periodic cells conceived as a two-dimensional domain consisting of deformable portions such as the ring, the ligaments and possibly an embedded matrix internally to these. This approach is based on a second displacement gradient computational homogenization proposed by the Authors (Bacigalupo and Gambarotta, 2010). The elastic moduli obtained by the micropolar homogenization are expressed in analytical form from which it appears explicitly their dependence on the parameter of chirality, which is the angle of inclination of the ligaments with respect to the grid of lines connecting the centers of the rings. For hexachiral cells, the solution of Liu et al., 2012, is found, showing the auxetic property of the lattice together with the elastic coupling modulus between the normal and the asymmetric strains; a property that has been confirmed here for the tetrachiral lattice. Unlike the hexagonal lattice, the classical constitutive equations of the tetragonal lattice turns out to be characterized by the coupling between the normal and shear strains through an elastic modulus that is an odd function of the parameter of chirality. Moreover, this lattice is found to exhibit a remarkable variability of the Young's modulus and of the Poisson's ratio with the direction of the applied uniaxial stress. The properties of the equivalent micropolar continuum are qualitatively detected also in the equivalent second-gradient continuum.


title: Geometric Origin of Pair Production by Electric Field in de Sitter Space

abstract: The particle production in a de Sitter space provides an interesting model to understand the curvature effect on Schwinger pair production by a constant electric field or Schwinger mechanism on the de Sitter radiation. For that purpose, we employ the recently introduced complex analysis method, in which the quantum evolution in the complex time explains the pair production via the geometric transition amplitude and gives the pair-production rate as the contour integral. We compare the result by the contour integral with that of the phase-integral method.


title: Data Modeling with Large Random Matrices in a Cognitive Radio Network Testbed: Initial Experimental Demonstrations with 70 Nodes

abstract: This short paper reports some initial experimental demonstrations of the theoretical framework: the massive amount of data in the large-scale cognitive radio network can be naturally modeled as (large) random matrices. In particular, using experimental data we will demonstrate that the empirical spectral distribution of the large sample covariance matrix---a Hermitian random matrix---agree with its theoretical distribution (Marchenko-Pastur law). On the other hand, the eigenvalues of the large data matrix ---a non-Hermitian random matrix---are experimentally found to follow the single ring law, a theoretical result that has been discovered relatively recently. To our best knowledge, our paper is the first such attempt, in the context of large-scale wireless network, to compare theoretical predictions with experimental findings.


title: Group size effect on cooperation in social dilemmas

abstract: Social dilemmas are central to human society. Depletion of natural resources, climate protection, security of energy supply, and workplace collaborations are all examples of social dilemmas. Since cooperative behaviour in a social dilemma is individually costly, Nash equilibrium predicts that humans should not cooperate. Yet experimental studies show that people do cooperate even in anonymous one-shot interactions. In spite of the large number of participants in many modern social dilemmas, little is known about the effect of group size on cooperation. Does larger group size favour or prevent cooperation? We address this problem both experimentally and theoretically. Experimentally, we find that there is no general answer: it depends on the strategic situation. Specifically, we find that larger groups are more cooperative in the Public Goods game, but less cooperative in the N-person Prisoner's dilemma. Theoretically, we show that this behaviour is not consistent with either the Fehr & Schmidt model or (a one-parameter version of) the Charness & Rabin model, but it is consistent with the cooperative equilibrium model introduced by the second author.


title: n-Coherence and (n, d)- properties in amalgamated algebra

abstract: Let $f: A\rightarrow B$ be a ring homomorphism and let $J$ be an ideal of $B$. The purpose of this article is to examine the transfer of the properties of $n$-coherence and strong $n$-coherence from a ring $A$ to his amalgamated algebra $A\bowtie^{f} J$. Also, we investigate the $(n,d)$-property of the amalgamated algebra $A \bowtie^{f}J$, to resolve Costa's first conjecture.


title: Classification of totally umbilical slant submanifolds of a Kenmotsu manifold

abstract: The purpose of this paper is to classify totally umbilical slant submanifolds of a Kenmotsu manifold. We prove that a totally umbilical slant submanifold $M$ of a Kenmotsu manifold $\bar M$ is either invariant or anti-invariant or $dim M=1$ or the mean curvature vector $H$ of $M$ lies in the invariant normal subbundle. Moreover, we find with an example that every totally umbilical proper slant submanifold is totally geodesic.


title: Photon-induced sideband transitions in a many-body Landau-Zener process

abstract: We investigate the many-body Landau-Zener (LZ) process in a two-site Bose-Hubbard model driven by a time-periodic field. We find that the driving field may induce sideband transitions in addition to the main LZ transitions. These photon-induced sideband transitions are a signature of the photon-assisted tunneling in our many-body LZ process. In the strong interaction regime, we develop an analytical theory for understanding the sideband transitions, which is confirmed by our numerical simulation. Furthermore, we discuss the quantization of the driving field. In the effective model of the quantized driving field, the sideband transitions can be understood as the LZ transitions between states of different "photon" numbers.


title: Pr\^ufer property in amalgamated algebras along an ideal

abstract: Let $f : A \rightarrow B$ be a ring homomorphism and $J$ be an ideal of $B$. In this paper, we give a characterization of zero divisors of the amalgamation which is a generalization of Maimani's and Yassemi's work (see \cite{y}). Also, we investigate the transfer of Pr\"ufer domain concept to commutative rings with zero divisors in the amalgamation of $A$ with $B$ along $J$ with respect to $f$ (denoted by $A\bowtie^fJ),$ introduced and studied by D'Anna, Finocchiaro and Fontana in 2009 (see \cite{AFF1} and \cite{AFF2}). Our aim is to provide new classes of commutative rings satisfying this property.


title: Modification of poly(L-lactide) and polycaprolactone bioresorbable polymeric materials by RF plasma discharge: a preliminary study evaluating EA-hy 926 cell attachment

abstract: Surface modification of poly(L-lactide) (L-PLA) and polycaprolactone (PCL) bioresorbable polymers by radio-frequency thermal glow discharge plasma is reported. Improved biocompatibility of L-PLA and PCL materials was obtained by employing hydroxyapatite target sputtering in Ar+ plasma as evidenced by the change of L-PLA and PCL properties from highly hydrophobic to hydrophilic, with absolute wettability obtained for both materials, and enhanced endothelial hybrid cell line EA-hy 926 attachment to modified surfaces. For the latter, surface properties that suppress adverse cellular responses (e.g. apoptosis, necrosis) were also attained. Surface roughness and surface free energy were found to increase significantly for both polymers under prolonged plasma exposure and, a longer chain aliphatic PCL were found to display a marginally better post plasma-treated biocompatibility compared to L-PLA.


title: On the embedding of $A_1$ into $A_\infty$

abstract: We give a quantitative embedding of the Muckenhoupt class $A_1$ into $A_\infty$. In particular, we show how $\epsilon$ depends on $[w]_{A_1}$ in the inequality which characterizes $A_\infty$ weights: \[ \frac{w(E)}{w(Q)} \leq \biggl( \frac{|E|}{|Q|} \biggr)^\epsilon, \] where $Q$ is any dyadic cube and $E$ is any subset of $Q$. This embedding yields a sharp reverse-H\"older inequality as an easy corollary.


title: Self injective property in amalgamated algebra along an ideal

abstract: Let $f: A\rightarrow B$ be a ring homomorphism and let $J$ be an ideal of $B$. In this paper, we investigate the transfer of self-injective property to the amalgamation of $A$ with $B$ along $J$ with respect to $f$ (denoted by $A\bowtie^fJ),$ introduced and studied by D'Anna, Finocchiaro and Fontana in 2009. We give also a characterization of $A\bowtie^fJ$ to be quasi-Frobenius.


title: Final state interaction in $D^+\to K^-\pi^+\pi^+$ with $K\pi$ I=1/2 and 3/2 channels

abstract: The final state interaction contribution to $D^+$ decays is computed for the $K^-\pi^+\pi^+$ channel within a light-front relativistic three-body model for the final state interaction. The rescattering process between the kaon and two pions in the decay channel is considered. The off-shell decay amplitude is a solution of a four-dimensional Bethe-Salpeter equation, which is decomposed in a Faddeev form. The projection onto the light-front of the coupled set of integral equations is performed via a quasi-potential approach. The S-wave $K\pi$ interaction is introduced in the resonant isospin $1/2$ and the non-resonant isospin $3/2$ channels. The numerical solution of the light-front tridimensional inhomogeneous integral equations for the Faddeev components of the decay amplitude is performed perturbatively. The loop-expansion converges fast, and the three-loop contribution can be neglected in respect to the two-loop results for the practical application. The dependence on the model parameters in respect to the input amplitude at the partonic level is exploited and the phase found in the experimental analysis, is fitted with an appropriate choice of the real weights of the isospin components of the partonic amplitude. The data suggests a small mixture of total isospin $5/2$ to the dominant $3/2$ one. The modulus of the unsymmetrized decay amplitude, which presents a deep valley and a following increase for $K\pi$ masses above $1.5$ GeV, is fairly reproduced. This suggests the assignment of the quantum numbers $0^+$ to the isospin 1/2 $K^*(1630)$ resonance.


title: Anisotropic upper critical field of BiS2-based superconductor LaO0.5F0.5BiS2

abstract: Superconducting properties under high magnetic fields for the novel BiS2-based layered superconductor LaO0.5F0.5BiS2 (polycrystalline sample prepared using the high-pressure synthesis method) have been investigated. The anisotropy of the upper critical field was discussed by analyzing the temperature dependence of the temperature derivative of resistivity. The temperature dependence of upper critical field showed an anomalous behavior with a characteristic magnetic field of 8 T. We revealed that the anomalous behavior was caused by the existence of three kinds of upper critical field, HC2max, HC2mid and HC2min in LaO0.5F0.5BiS2. The lowest upper critical field HC2min is regarded as the Hc2 where the superconducting states of the grains with an orientation of H // c are suppressed. The HC2max and HC2mid are regarded as the Hc2 where the superconducting states of the grains with an orientation of H // ab are suppressed. The difference between the HC2max and HC2mid could be explained by the anisotropy of superconducting states within the Bi-S plane. The estimated anisotropy parameter of the upper critical fields was about 7.4 for the high-pressure-synthesized LaO0.5F0.5BiS2 polycrystalline sample. Since the value was clearly lower than the anisotropy parameter of over 30 observed in the previous report on the LaO0.5F0.5BiS2 single crystals grown under ambient pressure, we concluded that a larger anisotropy of superconductivity was not essential for the enhancement of Tc, and lower anisotropy might be important for a higher Tc in LaO1-xFxBiS2.


title: The 6dF Galaxy Velocity Survey: Cosmological constraints from the velocity power spectrum

abstract: We present scale-dependent measurements of the normalised growth rate of structure $f\sigma_{8}(k, z=0)$ using only the peculiar motions of galaxies. We use data from the 6-degree Field Galaxy Survey velocity sample (6dFGSv) together with a newly-compiled sample of low-redshift $(z < 0.07)$ type Ia supernovae. We constrain the growth rate in a series of $\Delta k \sim 0.03 h{\rm Mpc^{-1}}$ bins to $\sim35\%$ precision, including a measurement on scales $>300 h^{-1}{\rm Mpc}$, which represents one of the largest-scale growth rate measurement to date. We find no evidence for a scale dependence in the growth rate, or any statistically significant variation from the growth rate as predicted by the {\it Planck} cosmology. Bringing all the scales together, we determine the normalised growth rate at $z=0$ to $\sim15\%$ in a manner {\it independent} of galaxy bias and in excellent agreement with the constraint from the measurements of redshift-space distortions from 6dFGS. We pay particular attention to systematic errors. We point out that the intrinsic scatter present in Fundamental-Plane and Tully-Fisher relations is only Gaussian in logarithmic distance units; wrongly assuming it is Gaussian in linear (velocity) units can bias cosmological constraints. We also analytically marginalise over zero-point errors in distance indicators, validate the accuracy of all our constraints using numerical simulations, and demonstrate how to combine different (correlated) velocity surveys using a matrix `hyper-parameter' analysis. Current and forthcoming peculiar velocity surveys will allow us to understand in detail the growth of structure in the low-redshift universe, providing strong constraints on the nature of dark energy.


title: Two Schemes for Fractional Diffusion and Diffusion-Wave Equations with Nonsmooth Data

abstract: We consider the initial/boundary value problem for the fractional diffusion and diffusion-wave equations involving a Caputo fractional derivative in time. We develop two "simple" fully discrete schemes based on the Galerkin finite element method in space and convolution quadrature in time with the generating function given by the implicit backward Euler method/second-order backward difference method, and establish error estimates optimal with respect to the regularity of the initial data. These two schemes are first and second-order accurate in time for nonsmooth initial data. Extensive numerical experiments for one and two-dimensional problems confirm the convergence analysis. A detailed comparison with several popular time stepping schemes is also performed. The numerical results indicate that the proposed fully discrete schemes are accurate and robust for nonsmooth data, and competitive with existing schemes.


title: Shortest reconfiguration paths in the solution space of Boolean formulas

abstract: Given a Boolean formula and a satisfying assignment, a flip is an operation that changes the value of a variable in the assignment so that the resulting assignment remains satisfying. We study the problem of computing the shortest sequence of flips (if one exists) that transforms a given satisfying assignment $s$ to another satisfying assignment $t$ of a Boolean formula. Earlier work characterized the complexity of finding any (not necessarily the shortest) sequence of flips from one satisfying assignment to another using Schaefer's framework for classification of Boolean formulas. We build on it to provide a trichotomy for the complexity of finding the shortest sequence of flips and show that it is either in P, NP-complete, or PSPACE-complete. Our result adds to the small set of complexity results known for shortest reconfiguration sequence problems by providing an example where the shortest sequence can be found in polynomial time even though its length is not equal to the symmetric difference of the values of the variables in $s$ and $t$. This is in contrast to all reconfiguration problems studied so far, where polynomial time algorithms for computing the shortest path were known only for cases where the path modified the symmetric difference only.


title: Understanding Current Signals Induced by Drifting Electrons

abstract: Consider an electron drifting in a gas toward a collection electrode. A common misconception is that the electron produces a detectable signal only upon arrival at the electrode. In fact, the situation is quite the opposite. The electron induces a detectable current in the electrode as soon as it starts moving through the gas. This induced current vanishes when the electron arrives at the plate. To illustrate this phenomenon experimentally, we use a gas-filled parallel plate ionization chamber and a collimated $^{241}$Am alpha source, which produces a track of a fixed number of ionization electrons at a constant distance from the collection electrode. We find that the detected signal from the ionization chamber grows with the electron drift distance, as predicted by the model of charge induction, and in conflict with the idea that electrons are detectable upon arrival at the collection plate.


title: Capacitive interactions and Kondo effect tuning in double quantum impurity systems

abstract: We present a study of the correlated transport regimes of a double quantum impurity system with mutual capacitive interactions. Such system can be implemented by a double quantum dot arrangement or by a quantum dot and nearby quantum point contact, with independently connected sets of metallic terminals. Many--body spin correlations arising within each dot--lead subsystem give rise to the Kondo effect under appropriate conditions. The otherwise independent Kondo ground states may be modified by the capacitive coupling, decisively modifying the ground state of the double quantum impurity system. We analyze this coupled system through variational methods and the numerical renormalization group technique. Our results reveal a strong dependence of the coupled system ground state on the electron--hole asymmetries of the individual subsystems, as well as on their hybridization strengths to the respective reservoirs. The electrostatic repulsion produced by the capacitive coupling produces an effective shift of the individual energy levels toward higher energies, with a stronger effect on the `shallower' subsystem (that closer to resonance with the Fermi level), potentially pushing it out of the Kondo regime and dramatically changing the transport properties of the system. The effective remote gating that this entails is found to depend nonlinearly on the capacitive coupling strength, as well as on the independent subsystem levels. The analysis we present here of this mutual interaction should be important to fully characterize transport through such coupled systems.


title: Reconciling the Tension Between Planck and BICEP2 Through Early Dark Energy

abstract: We show the possibility that the observational results of the primordial gravitational waves from Planck and BICEP2 for the tensor-to-scalar ratio $r$ can be reconciled when an early dark energy was included. This early dark energy behaves like a radiation component at very early epoch. This is equivalent to induce additional number of effective neutrino species: $\Delta N_{eff}=[\frac{7}{8}(\frac{4}{11})^{4/3}]^{-1}\rho_{de}(a)/\rho_{\gamma}(a)$, where $\rho_{\gamma}(a)$ is the photon energy density and the numerical factors arise from converting to effective neutrino species. And $\rho_{de}(a)$ is the energy density of early dark energy. Combining the Planck temperature data, the WMAP9 polarization data, and the baryon acoustic oscillation data with and without BICEP2 data, we find that in this early dark energy model the tension between the observations from Planck and BICEP2 was relived at $2\sigma$ regions. But it cannot be removed completely due to the small ratio of early dark energy constrained by the other cosmic observations. As a byproduct, the tension between observed values of Hubble parameter from Planck and the direct measurement of the Hubble constant was removed in this early dark energy model.


title: Young diagrams and intersection numbers for toric manifolds associated with Weyl chambers

abstract: We study intersection numbers of invariant divisors in the toric manifold associated with the fan determined by the collection of Weyl chambers for each root system of classical type and of exceptional type $G_2$. We give a combinatorial formula for intersection numbers of certain subvarieties which are naturally indexed by elements of the Weyl group. These numbers describe the ring structure of the cohomology of the toric manifold.


title: Optimal design for step-stress accelerated test with random discrete stress elevating times based on gamma degradation process

abstract: Recently, a step-stress accelerated degradation test (SSADT) plan, in which the stress level is elevated when the degradation value of a product crosses a pre-specified value, was proposed. The times of stress level elevating are random and vary from product to product. In this paper we extend this model to a more economic plan. The proposed extended model has two economical advantages compared with the previous one. The first is that the times of stress level elevating in the new model are identical for all products, which enable us to use only one chamber (oven) for testing all test units. The second is that, the new method does not require continuous inspection and to elevate the stress level, it is not necessary for the experimenter to inspect the value of the degradation continually. The new method decrease the cost of measurement and also there is no need to use electronic sensors to detect the first passage time of the degradation to the threshold value in the new method. We assume that the degradation path follows a gamma process. The stress level is elevated as soon as the measurement of the degradation of one of the test units, at one of the specified times, exceeds the threshold value. Under the constraint that the total experimental cost does not exceed a pre-specified budget, the optimal settings including the optimal threshold value, sample size, measurement frequency and termination time are obtained by minimizing the asymptotic variance of an estimated quantile of the lifetime distribution of the product. A case study is presented to illustrate the proposed method.


title: On Polignac's conjecture and arithmetic progressions

abstract: In this paper we investigate the recent advances by Zhang, Maynard and Pintz towards Polignac's conjecture and give some new results concerning the relationship between Polignac numbers and arithmetic progressions.


title: Robust Dynamic State Feedback Guaranteed Cost Control of Nonlinear Systems using Copies of Plant Nonlinearities

abstract: This paper presents a systematic approach to the design of a robust dynamic state feedback controller using copies of the plant nonlinearities, which is based on the use of IQCs and minimax LQR control. The approach combines a linear state feedback guaranteed cost controller and copies of the plant nonlinearities to form a robust nonlinear controller.


title: Boundary effects on the supersymmetric sine-Gordon model through light-cone lattice approach

abstract: We discussed subspaces of the N=1 supersymmetric sine-Gordon model with Dirichlet boundaries through light-cone lattice regularization. In this paper, we showed, unlike the periodic boundary case, both of Neveu-Schwarz (NS) and Ramond (R) sectors of a superconformal field theory were obtained. Using a method of nonlinear integral equations for auxiliary functions defined by eigenvalues of transfer matrices, we found that an excitation state with an odd number of particles is allowed for a certain value of a boundary parameter even on a system consisting of an even number of sites. In a small-volume limit where conformal invariance shows up in the theory, we derived conformal dimensions of states constructed through the lattice-regularized theory. The result shows existence of the R sector, which cannot be obtained from the periodic system, while a winding number is restricted to an integer or a half-integer depending on boundary parameters.

categories: hep-th cond-mat.stat-mech math-ph math.MP


title: Optimizing Passive Quantum Clocks

abstract: We describe protocols for passive atomic clocks based on quantum interrogation of the atoms. Unlike previous techniques, our protocols are adaptive and take advantage of prior information about the clock's state. To reduce deviations from an ideal clock, each interrogation is optimized by means of a semidefinite program for atomic state preparation and measurement whose objective function depends on the prior information. Our knowledge of the clock's state is maintained according to a Bayesian model that accounts for noise and measurement results. We implement a full simulation of a running clock with power-law noise models and find significant improvements by applying our techniques.


title: A strong restricted isometry property, with an application to phaseless compressed sensing

abstract: The many variants of the restricted isometry property (RIP) have proven to be crucial theoretical tools in the fields of compressed sensing and matrix completion. The study of extending compressed sensing to accommodate phaseless measurements naturally motivates a strong notion of restricted isometry property (SRIP), which we develop in this paper. We show that if $A \in \mathbb{R}^{m\times n}$ satisfies SRIP and phaseless measurements $|Ax_0| = b$ are observed about a $k$-sparse signal $x_0 \in \mathbb{R}^n$, then minimizing the $\ell_1$ norm subject to $ |Ax| = b $ recovers $x_0$ up to multiplication by a global sign. Moreover, we establish that the SRIP holds for the random Gaussian matrices typically used for standard compressed sensing, implying that phaseless compressed sensing is possible from $O(k \log (n/k))$ measurements with these matrices via $\ell_1$ minimization over $|Ax| = b$. Our analysis also yields an erasure robust version of the Johnson-Lindenstrauss Lemma.


title: Superconductivity at 25K under hydrostatic pressure for FeTe0.5Se0.5 superconductor

abstract: We report the impact of hydrostatic pressure on the superconductivity and normal state resistivity of FeTe0.5Se0.5 superconductor. At the ambient pressure the FeTe0.5Se0.5 compound shows the superconducting transition temperature Tconset at above 13K and TcR=0 at 11.5K. We measure pressure dependent resistivity from 250K to 5K, which shows that the normal state resistivity increases initially for the applied pressures of up to 0.55GPa and then the same is decreased monotonically with increasing pressure of up to 1.97GPa. On the other hand the superconducting transition temperatures (Tconset and TcR=0) increase monotonically with increasing pressure. Namely the Tconset increases from 13K to 25K and TcR=0 from 11.5K to 20K for the pressures range of 0-1.97GPa. Our results suggest that superconductivity in this class of Fe-based compounds is very sensitive to pressure as the estimated pressure coefficient dTc(onset)/dP is 5.8K/GPa. It may be suggested that FeTe0.5Se0.5 superconductor is a strong electron correlated system. The enhancement of Tc with applying pressure is mainly attributed to an increase of charge carriers at Fermi surface.


title: Lagrangian Perturbation Theory : Exact One-Loop Power Spectrum in General Dark Energy Models

abstract: Recently, we find that the correction for the EdS assumption on the one-loop matter power spectrum for general dark energy models using the standard perturbation theory is not negligible \cite{LPB}. Thus, we investigate the same problem by obtaining the exact displacement vector and kernels up to the third order for the general dark energy models in the Lagrangian perturbation theory (LPT). Using these exact solutions, we investigate the present one-loop matter power spectrum in the $\Lambda$CDM model with $\Omega_{m0} = 0.25 (0.3)$ to obtain about 0.2 (0.18) \% error correction compared to that obtained from the EdS assumption for $k = 0.1 \rm{h\, Mpc}^{-1}$ mode. If we consider the total matter power spectrum, the correction is only 0.05 (0.03) \% for the same mode. It means that EdS assumption is a good approximation for $\Lambda$CDM model in LPT theory. However, one can use this method for general models where EdS assumption is improper.


title: Derived category of coherent sheaves and counting invariants

abstract: We survey recent developments on Donaldson-Thomas theory, Bridgeland stability conditions and wall-crossing formula. We emphasize the importance of the counting theory of Bridgeland semistable objects in the derived category of coherent sheaves to find a hidden property of the generating series of Donaldson-Thomas invariants.


title: Limits of Sequences of Markov Chains

abstract: We study the limiting object of a sequence of Markov chains analogous to the limits of graphs, hypergraphs, and other objects which have been studied. Following a suggestion of Aldous, we assign to a sequence of finite Markov chains with bounded mixing times a unique limit object: an infinite Markov chain with a measurable state space. The limits of the Markov chains we consider have discrete spectra, which makes the limit theory simpler than the general graph case, and illustrates how the discrete spectrum setting (sometimes called "random-free" or "product measurable") is simpler than the general case.


title: A Kalman filter powered by $\mathcal{H}^2$-matrices for quasi-continuous data assimilation problems

abstract: Continuously tracking the movement of a fluid or a plume in the subsurface is a challenge that is often encountered in applications, such as tracking a plume of injected CO$_2$ or of a hazardous substance. Advances in monitoring techniques have made it possible to collect measurements at a high frequency while the plume moves, which has the potential advantage of providing continuous high-resolution images of fluid flow with the aid of data processing. However, the applicability of this approach is limited by the high computational cost associated with having to analyze large data sets within the time constraints imposed by real-time monitoring. Existing data assimilation methods have computational requirements that increase super-linearly with the size of the unknowns $m$. In this paper, we present the HiKF, a new Kalman filter (KF) variant powered by the hierarchical matrix approach that dramatically reduces the computational and storage cost of the standard KF from $\mathcal{O}(m^2)$ to $\mathcal{O}(m)$, while producing practically the same results. The version of HiKF that is presented here takes advantage of the so-called random walk dynamical model, which is tailored to a class of data assimilation problems in which measurements are collected quasi-continuously. The proposed method has been applied to a realistic CO$_2$ injection model and compared with the ensemble Kalman filter (EnKF). Numerical results show that HiKF can provide estimates that are more accurate than EnKF, and also demonstrate the usefulness of modeling the system dynamics as a random walk in this context.


title: Is Cosmological Constant Needed in Higgs Inflation?

abstract: The detection of B-mode shows a very powerful constraint to theoretical inflation models through the measurement of the tensor-to-scalar ratio $r$. Higgs boson is the most likely candidate of the inflaton field. But usually, Higgs inflation models predict a small value of $r$, which is not quite consistent with the recent results from BICEP2. In this paper, we explored whether a cosmological constant energy component is needed to improve the situation. And we found the answer is yes. For the so-called Higgs chaotic inflation model with a quadratic potential, it predicts $r\approx 0.2$, $n_s\approx0.96$ with e-folds number $N\approx 56$, which is large enough to overcome the problems such as the horizon problem in the Big Bang cosmology. The required energy scale of the cosmological constant is roughly $\Lambda \sim (10^{14} \text{GeV})^2 $, which means a mechanism is still needed to solve the fine-tuning problem in the later time evolution of the universe, e.g. by introducing some dark energy component.


title: Multi-scale Times and Modes of Fast and Slow Relaxation in Solutions with Coexisting Spherical and Cylindrical Micelles according to the Difference Becker-Doering Kinetic Equations

abstract: The eigenvalues and eigenvectors of the matrix of coefficients of the linearized kinetic equations applied to aggregation in surfactant solution determine the full spectrum of characteristic times and specific modes of micellar relaxation. The dependence of these relaxation times and modes on the total surfactant concentration has been analyzed for concentrations in the vicinity and well above the second critical micelle concentration (cmc2) for systems with coexisting spherical and cylindrical micelles. The analysis has been done on the basis of a discrete form of the Becker-Doering kinetic equations employing the Smoluchowsky diffusion model for the attachment rates of surfactant monomers to surfactant aggregates with matching the rates for spherical aggregates and the rates for large cylindrical micelles. The equilibrium distribution of surfactant aggregates in solution has been modeled as having one maximum for monomers, another maximum for spherical micelles and wide slowly descending branch for cylindrical micelles. The results of computations have been compared with the analytical ones known in the limiting cases from solutions of the continuous Becker-Doering kinetic equation. They demonstrated a fair agreement even in the vicinity of the cmc2 where the analytical theory looses formally its applicability.


title: Continuous and discrete Painleve equations arising from the gap probability distribution of the finite $n$ Gaussian Unitary Ensembles

abstract: In this paper we study the gap probability problem in the Gaussian Unitary Ensembles of $n$ by $n$ matrices : The probability that the interval $J := (-a,a)$ is free of eigenvalues. In the works of Tracy and Widom, Adler and Van Moerbeke and Forrester and Witte on this subject, it has been shown that two Painleve type differential equations arise in this context. The first is the Jimbo-Miwa-Okomoto $\sigma-$form and the second is a particular Painleve IV. Using the ladder operator technique of orthogonal polynomials we derive three quantities associated with the gap probability, denoted by $\sigma_n(a)$, $R_n(a)$ and $r_n(a)$, and show that each one satisfying a second order, non-linear, differential equation as well as a second order, non-linear difference equation. In particular, in addition to providing an elementary derivation of the aforementioned $\sigma-$form and Painleve IV we show that the quantity $r_n(a)$ satisfies a particular case of Chazy's second degree second order differential equation. For the discrete equations we show that the quantity $r_n(a)$ satisfies a particular form of the modified discrete Painleve II equation obtained by Grammaticos and Ramani in the context of Backlund transformations. We also derive second order second degree difference equations for the quantities $R_n(a)$ and $\sigma_n(a)$.


title: Circuit complexity, proof complexity, and polynomial identity testing

abstract: We introduce a new algebraic proof system, which has tight connections to (algebraic) circuit complexity. In particular, we show that any super-polynomial lower bound on any Boolean tautology in our proof system implies that the permanent does not have polynomial-size algebraic circuits (VNP is not equal to VP). As a corollary to the proof, we also show that super-polynomial lower bounds on the number of lines in Polynomial Calculus proofs (as opposed to the usual measure of number of monomials) imply the Permanent versus Determinant Conjecture. Note that, prior to our work, there was no proof system for which lower bounds on an arbitrary tautology implied any computational lower bound. Our proof system helps clarify the relationships between previous algebraic proof systems, and begins to shed light on why proof complexity lower bounds for various proof systems have been so much harder than lower bounds on the corresponding circuit classes. In doing so, we highlight the importance of polynomial identity testing (PIT) for understanding proof complexity. More specifically, we introduce certain propositional axioms satisfied by any Boolean circuit computing PIT. We use these PIT axioms to shed light on AC^0[p]-Frege lower bounds, which have been open for nearly 30 years, with no satisfactory explanation as to their apparent difficulty. We show that either: a) Proving super-polynomial lower bounds on AC^0[p]-Frege implies VNP does not have polynomial-size circuits of depth d - a notoriously open question for d at least 4 - thus explaining the difficulty of lower bounds on AC^0[p]-Frege, or b) AC^0[p]-Frege cannot efficiently prove the depth d PIT axioms, and hence we have a lower bound on AC^0[p]-Frege. Using the algebraic structure of our proof system, we propose a novel way to extend techniques from algebraic circuit complexity to prove lower bounds in proof complexity.


title: Some Bounds for the Number of Blocks III

abstract: Let $\mathcal D=(\Omega, \mathcal B)$ be a pair of $v$ point set $\Omega$ and a set $\mathcal B$ consists of $k$ point subsets of $\Omega$ which are called blocks. Let $d$ be the maximal cardinality of the intersections between the distinct two blocks in $\mathcal B$. The triple $(v,k,d)$ is called the parameter of $\mathcal B$. Let $b$ be the number of the blocks in $\mathcal B$. It is shown that inequality ${v\choose d+2i-1}\geq b\{{k\choose d+2i-1} +{k\choose d+2i-2}{v-k\choose 1}+....$ $.+{k\choose d+i}{v-k\choose i-1} \}$ holds for each $i$ satisfying $1\leq i\leq k-d$, in the paper: Some Bounds for the Number of Blocks, Europ. J. Combinatorics 22 (2001), 91--94, by R. Noda. If $b$ achieves the upper bound, $\mathcal D$ is called a $\beta(i)$ design. In the paper, an upper bound and a lower bound, $ \frac{(d+2i)(k-d)}{i}\leq v \leq \frac{(d+2(i-1))(k-d)}{i-1} $, for $v$ of a $\beta(i)$ design $\mathcal D$ are given. In the present paper we consider the cases when $v$ does not achieve the upper bound or lower bound given above, and get new more strict bounds for $v$ respectively. We apply this bound to the problem of the perfect $e$-codes in the Johnson scheme, and improve the bound given by Roos in 1983.


title: On the equivalence of the definitions of volume of representations

abstract: Let G be a rank 1 simple Lie group and M be a connected orientable aspherical tame manifold. Assume that each end of M has amenable fundamental group. There are several definitions of volume of representations of the fundamental group of M into G. We give a new definition of volume of representations and furthermore, show that all definitions so far are equivalent.


title: Multi-frequency observations of a superbubble in the LMC: The case of LHA 120-N 70

abstract: We present a detailed study of new Australia Telescope Compact Array (ATCA) and XMM-Newton observations of LHA 120-N 70 (hereafter N 70), a spherically shaped object in the Large Magellanic Cloud (LMC) classified as a superbubble (SB). Both archival and new observations were used to produce high quality radio-continuum, X-ray and optical images. The radio spectral index of N 70 is estimated to be $\alpha=-0.12\pm 0.06$ indicating that while a supernova or supernovae have occurred in the region at some time in the distant past, N70 is not the remnant of a single specific supernova. N70 exhibits limited polarisation with a maximum fractional polarisation of 9% in a small area of the north west limb. We estimate the size of N 70 to have a diameter of 104 pc ($\pm 1$ pc). The morphology of N 70 in X-rays closely follows that in radio and optical, with most X-ray emission confined within the bright shell seen at longer wavelengths. Purely thermal models adequately fit the soft X-ray spectrum which lacks harder emission (above 1 keV). We also examine the pressure output of N 70 where the values for the hot (PX) and warm (PHii) phase are consistent with other studied Hii regions. However, the dust-processed radiation pressure (PIR) is significantly smaller than in any other object studied in Lopez et al. (2013). N70 is a very complex region that is likely to have had multiple factors contributing to both the origin and evolution of the entire region.


title: Delta I=1/2 Rule, epsilon'/epsilon and K -> pi nu nubar in Z'(Z) and G' Models with FCNC Quark Couplings

abstract: The experimental value for the isospin amplitude Re(A_2) in K->pi pi decays has been successfully explained within the Standard Model, both within large N approach to QCD and by QCD lattice calculations. On the other hand in both approaches the theoretical values of Re(A_0) are by at least 30% below the data so that the Delta I=1/2 rule in K->pi pi decays is not fully explained. While this deficit could be the result of present theoretical uncertainties in both approaches, it cannot be excluded that the missing piece in Re(A_0) comes from New Physics. We demonstrate that this deficit can be significantly softened by tree-level FCNC transitions mediated by a heavy colourless Z' gauge boson with particularly chosen flavour violating couplings assuring negligible NP contributions to Re(A_2) and significantly enhancing the contribution of the leading QCD penguin operator Q_6 to Re(A_0). A large fraction of the missing piece in the Delta I=1/2 rule can be explained in this manner for M_{Z'} in the reach of the LHC, while satisfying constraints from epsilon_K, epsilon'/epsilon, Delta M_K, LEP-II and the LHC. We identify quartic correlation between Z' contributions to Re(A_0), epsilon'/epsilon, epsilon_K and Delta M_K. We present correlations between epsilon'/epsilon and rare decays K->pi nu bar{nu} with and without the Delta I=1/2 rule constraint and generalize the whole analysis to Z' with colour (G') and Z with FCNC couplings. In the latter case no improvement on Re(A_0) can be achieved without destroying the agreement of the SM with the data on Re(A_2). Moreover, this scenario is very tightly constrained by epsilon'/epsilon. On the other hand in the context of the Delta I=1/2 rule G' is even more effective than Z': it provides the missing piece in Re(A_0) for M_{G'}=(3.5-4.0) TeV.


title: Few-Body Bound States of Dipole-Dipole Interacting Rydberg Atoms

abstract: We show that the resonant dipole-dipole interaction can give rise to bound states between two and three Rydberg atoms with non-overlapping electron clouds. The dimer and trimer states arise from avoided level crossings between states converging to different fine structure manifolds in the limit of separated atoms. We analyze the angular dependence of the potential wells, characterize the quantum dynamics in these potentials and discuss methods for their production and detection. Typical distances between the atoms are of the order of several micrometers which can be resolved in state-of-the-art experiments. The potential depths and typical oscillation frequencies are about one order of magnitude larger as compared to the dimer and trimer states investigated in [PRA $\textbf{86}$ 031401(R) (2012)] and [PRL $\textbf{111}$ 233003 (2014)], respectively. We find that the dimer and trimer molecules can be aligned with respect to the axis of a weak electric field.


title: Linking partial and quasi dynamical symmetries in rotational nuclei

abstract: Background: Quasi dynamical symmetries (QDS) and partial dynamical symmetries (PDS) play an important role in the understanding of complex systems. Up to now these symmetry concepts have been considered to be unrelated. Purpose: Establish a link between PDS and QDS and find an emperical manifestation. Methods: Quantum number fluctuations and the intrinsic state formalism are used within the framework of the interacting boson model of nuclei. Results: A previously unrecognized region of the parameter space of the interacting boson model that has both O(6) PDS (purity) and SU(3) QDS (coherence) in the ground band is established. Many rare-earth nuclei approximately satisfying both symmetry requirements are identified. Conclusions: PDS are more abundant than previously recognized and can lead to a QDS of an incompatible symmetry.


title: Defining a Trend for a Time Series Which Makes Use of the Intrinsic Time-Scale Decomposition

abstract: We propose criteria that define a trend for time series with inherent multi-scale features. We call this trend the {\it tendency} of a time series. The tendency is defined empirically by a set of criteria and captures the large-scale temporal variability of the original signal as well as the most frequent events in its histogram. Among other properties, the tendency has a variance no larger than that of the original signal; the histogram of the difference between the original signal and the tendency is as symmetric as possible; and with reduced complexity, the tendency captures essential features of the signal. To find the tendency we first use the Intrinsic Time-Scale Decomposition (ITD) of the signal, introduced in 2007 by Frei and Osorio, to produce a set of candidate tendencies. We then apply the criteria to each of the candidates to single out the one that best agrees with them. While the criteria for the tendency are independent of the signal decomposition scheme, it is found that the ITD is a simple and stable methodology, well suited for multi-scale signals. The ITD is a relatively new decomposition and little is known about its outcomes. In this study we take the first steps towards a probabilistic model of the ITD analysis of random time series. This analysis yields details concerning the universality and scaling properties of the components of the decomposition.


title: Generalized Second Price Auction with Probabilistic Broad Match

abstract: Generalized Second Price (GSP) auctions are widely used by search engines today to sell their ad slots. Most search engines have supported broad match between queries and bid keywords when executing GSP auctions, however, it has been revealed that GSP auction with the standard broad-match mechanism they are currently using (denoted as SBM-GSP) has several theoretical drawbacks (e.g., its theoretical properties are known only for the single-slot case and full-information setting, and even in this simple setting, the corresponding worst-case social welfare can be rather bad). To address this issue, we propose a novel broad-match mechanism, which we call the Probabilistic Broad-Match (PBM) mechanism. Different from SBM that puts together the ads bidding on all the keywords matched to a given query for the GSP auction, the GSP with PBM (denoted as PBM-GSP) randomly samples a keyword according to a predefined probability distribution and only runs the GSP auction for the ads bidding on this sampled keyword. We perform a comprehensive study on the theoretical properties of the PBM-GSP. Specifically, we study its social welfare in the worst equilibrium, in both full-information and Bayesian settings. The results show that PBM-GSP can generate larger welfare than SBM-GSP under mild conditions. Furthermore, we also study the revenue guarantee for PBM-GSP in Bayesian setting. To the best of our knowledge, this is the first work on broad-match mechanisms for GSP that goes beyond the single-slot case and the full-information setting.


title: Bohmian Trajectories of Airy Packets

abstract: The discovery of Berry and Balazs in 1979 that the free-particle Schr\"odinger equation allows a non-dispersive and accelerating Airy-packet solution has taken the folklore of quantum mechanics by surprise. Over the years, this intriguing class of wave packets has sparked enormous theoretical and experimental activities in related areas of optics and atom physics. Within the Bohmian mechanics framework, we present new features of Airy wave packet solutions to Schr\"odinger equation with time-dependent quadratic potentials. In particular, we provide some insights to the problem by calculating the corresponding Bohmian trajectories. It is shown that by using general space-time transformations, these trajectories can display a unique variety of cases depending upon the initial position of the individual particle in the Airy wave packet. Further, we report here a myriad of nontrivial Bohmian trajectories associated to the Airy wave packet. These new features are worth introducing to the subject's theoretical folklore in light of the fact that the evolution of a quantum mechanical Airy wave packet governed by the Schr\"odinger equation is analogous to the propagation of a finite energy Airy beam satisfying the paraxial equation. Numerous experimental configurations of optics and atom physics have shown that the dynamics of Airy beams depends significantly on initial parameters and configurations of the experimental set-up.


title: Essential commutants of semicrossed products

abstract: Let $\alpha:G \curvearrowright M$ be a spatial action of countable abelian group on a "spatial" von Neumann algebra $M$ and $S$ be its unital subsemigroup with $G=S^{-1}S$. We explicitly compute the essential commutant and the essential fixed-points, modulo the Schatten $p$-class or the compact operators, of the w$^*$-semicrossed product of $M$ by $S$ when $M'$ contains no non-zero compact operators. We also prove a weaker result when $M$ is a von Neumann algebra on a finite dimensional Hilbert space and $(G,S)=(\mathbb{Z},\mathbb{Z}_{+})$, which extends a famous result due to Davidson (1977) for the classical analytic Toeplitz operators.


title: Exploring non-signalling polytopes with negative probability

abstract: Bipartite and tripartite EPR-Bell type systems are examined via joint quasi-probability distributions where elementary probabilities are permitted to be negative. It is shown that such distributions exist only when the no-signalling condition is satisfied. A characteristic measure, the probability mass, is introduced and, via its minimization, limits the number of quasi-distributions describing a given marginal probability distribution. The minimized probability mass is shown to be an alternative way to characterize non-local systems. Non-signalling polytopes for two, three, and four settings in the bipartite scenario are examined and compared to prior work. Examining perfect cloning of non-local systems within the tripartite scenario suggests defining two categories of signalling. It is seen that many properties of non-local systems can be efficiently described by quasi-probability theory.


title: Work and Efficiency of Quantum Otto Cycles in Power Law Trapping Potentials

abstract: We study the performance of a quantum Otto cycle driven by trapping potentials of the form $V_t(x) \sim x^{2q}$. This family of potentials possesses a simple scaling property which allows for analytical insights into the efficiency and work output of the cycle. We show that, while both the mean work output and the efficiency of two Otto cycles in different trapping potentials can be made equal, the work probability distribution will still be strongly affected by the difference in structure of the energy levels. Lastly, we perform a comparison of quantum Otto cycles in various physically relevant scenarios and find that in certain instances, the efficiency of the cycle is greater when using potentials with larger values of $q$, while, in other cases, with harmonic traps.


title: Chaotic flavor evolution in an interacting neutrino gas

abstract: Neutrino-neutrino refraction can lead to non-periodic flavor oscillations in dense neutrino gases, and it has been hypothesized that some solutions are chaotic in nature. This is of particular interest in the case of neutrino emission from core-collapse supernovae where the measurement of the spectral shape for different flavors can provide crucial information about both neutrino physics and the physical conditions close to the proto-neutron star. Whether a system is chaotic or not can be assessed by the Lyapunov exponents which quantify the rate of divergence of nearby trajectories in the system. We have done a numerical case study for a simple toy model of two neutrino flavors with two momentum states traveling against each other which is known to exhibit flavor transition instabilities. We find the leading Lyapunov exponent to be positive in all cases, confirming the chaoticity of the system for both the normal and the inverted neutrino mass hierarchy. However, more Lyapunov exponents were approximately zero in the inverted hierarchy compared to the normal which has implications for the stability of the system. To investigate this, we have calculated a generalized set of normal modes, the so-called covariant Lyapunov vectors. The covariant Lyapunov vectors associated with vanishing Lyapunov exponents showed the existence of marginally stable directions in phase space for some cases. While our analysis was done for a toy model example, it should work equally well for more realistic cases of neutrinos streaming from a proto-neutron star and provide valuable insight into the nature of the flavor instability. We finally stress that our approach captures many more properties of the physical system than the linear stability analyses which have previously been performed.


title: Optimal order conditions for filter based regularization methods, with applications to variants of the Tikhonov method

abstract: We study filter based regularization methods for linear ill-posed problems between Hilbert spaces. We derive optimal order conditions under a-priori choice rules for the regularization parameter. Such analysis is applied to the fractional Tikhonov method and the weighted Tikhonov method recently investigated in [9] and [8], respectively. These variants of the classical Tikhonov method can be viewed as classes of methods depending on a further parameter, controlling the smoothness of the computed solution. From our previous analysis, we derive sufficient conditions on such parameter in order to have filter based regularization methods that agrees with the previous results in the literature. On the other hand, our analysis shows sufficient and necessary conditions to have an optimal order fractional Tikhonov method, which are stronger than those in [9]. The same analysis is performed also for the weighted Tikhonov method.


title: Low-temperature magnetic fluctuations in the Kondo insulator SmB6

abstract: We present the results of a systematic investigation of the magnetic properties of the three-dimensional Kondo topological insulator SmB6 using magnetization and muon-spin relaxation/rotation (muSR) measurements. The muSR measurements exhibit magnetic field fluctuations in SmB6 below 15 K due to electronic moments present in the system. However, no evidence for magnetic ordering is found down to 19 mK. The observed magnetism in SmB6 is homogeneous in nature throughout the full volume of the sample. Bulk magnetization measurements on the same sample show consistent behavior. The agreement between muSR, magnetization, and NMR results strongly indicate the appearance of intrinsic bulk magnetic in-gap states associated with fluctuating magnetic fields in SmB6 at low temperature.


title: Anomalous behavior of control pulses in presence of noise with singular autocorrelation

abstract: We report on the anomalous behavior of control pulses for spins under spin-spin relaxation and subject to classical noise with a singular autocorrelation function. This behavior is not detected for noise with analytic autocorrelation functions. The effect is manifest in the different scaling behavior of the deviation of a real pulse to the ideal, instantaneous one. While a standard pulse displays scaling $\propto \tau_\mathrm{p}^1$, a first-order refocusing pulse normally shows scaling $\propto \tau_\mathrm{p}^2$. But in presence of cusps in the noise autocorrelation the scaling $\propto \tau_\mathrm{p}^{3/2}$ occurs. Cusps in the autocorrelation are characteristic for fast fluctuations in the noise with a spectral density of Lorentzian shape. We prove that the anomalous exponent cannot be avoided; it represents a fundamental limit. On the one hand, this redefines the strategies one has to adopt to design refocusing pulses. On the other hand, the anomalous exponent, if found in experiment, provides important information on the noise properties.


title: Landau Levels as a Limiting Case of a Model with the Morse-Like Magnetic Field

abstract: We consider the quantum mechanics of an electron trapped on an infinite band along the $x$-axis in the presence of the Morse-like perpendicular magnetic field $\vec{B}=-B_{0}e^{-\frac{2\pi}{a_{0}}x}\hat{k}$ with $B_{0}>0$ as a constant strength and $a_{0}$ as the width of the band. It is shown that the square integrable pure states realize representations of $su(1,1)$ algebra via the quantum number corresponding to the linear momentum in the $y$-direction. The energy of the states increases by decreasing the width $a_{0}$ while it is not changed by $B_{0}$. It is quadratic in terms of two quantum numbers, and the linear spectrum of the Landau levels is obtained as a limiting case of $a_{0}\rightarrow\infty$. All of the lowest states of the $su(1,1)$ representations minimize uncertainty relation and the minimizing of their second and third states is transformed to that of the Landau levels in the limit $a_{0}\rightarrow\infty$. The compact forms of the Barut-Girardello coherent states corresponding to $l$-representation of $su(1,1)$ algebra and their positive definite measures on the complex plane are also calculated.

categories: quant-ph cond-mat.mes-hall math-ph math.MP


title: Generalized $su(2)$ coherent states for the Landau levels and their nonclassical properties

abstract: Following the lines of the recent papers [J. Phys. A: Math. Theor. 44, 495201 (2012); Eur. Phys. J. D 67, 179 (2013)], we construct here a new class of generalized coherent states related to the Landau levels, which can be used as the finite Fock subspaces for the representation of the $su(2)$ Lie algebra. We establish the relationship between them and the deformed truncated coherent states. We have, also, shown that they satisfy the resolution of the identity property through a positive definite measures on the complex plane. Their nonclassical and quantum statistical properties such as quadrature squeezing, higher order `$su(2)$' squeezing, anti-bunching and anti-correlation effects are studied in details. Particularly, the influence of the generalization on the nonclassical properties of two modes is clarified.

categories: quant-ph math-ph math.MP math.OA physics.optics


title: Towards Understanding Cyberbullying Behavior in a Semi-Anonymous Social Network

abstract: Cyberbullying has emerged as an important and growing social problem, wherein people use online social networks and mobile phones to bully victims with offensive text, images, audio and video on a 247 basis. This paper studies negative user behavior in the Ask.fm social network, a popular new site that has led to many cases of cyberbullying, some leading to suicidal behavior.We examine the occurrence of negative words in Ask.fms question+answer profiles along with the social network of likes of questions+answers. We also examine properties of users with cutting behavior in this social network.


title: Surpassing Human-Level Face Verification Performance on LFW with GaussianFace

abstract: Face verification remains a challenging problem in very complex conditions with large variations such as pose, illumination, expression, and occlusions. This problem is exacerbated when we rely unrealistically on a single training data source, which is often insufficient to cover the intrinsically complex face variations. This paper proposes a principled multi-task learning approach based on Discriminative Gaussian Process Latent Variable Model, named GaussianFace, to enrich the diversity of training data. In comparison to existing methods, our model exploits additional data from multiple source-domains to improve the generalization performance of face verification in an unknown target-domain. Importantly, our model can adapt automatically to complex data distributions, and therefore can well capture complex face variations inherent in multiple sources. Extensive experiments demonstrate the effectiveness of the proposed model in learning from diverse data sources and generalize to unseen domain. Specifically, the accuracy of our algorithm achieves an impressive accuracy rate of 98.52% on the well-known and challenging Labeled Faces in the Wild (LFW) benchmark. For the first time, the human-level performance in face verification (97.53%) on LFW is surpassed.


title: Three dimensional photograph of single electron tracks through a scintillator

abstract: The reconstruction of particle trajectories makes it possible to distinguish between different types of charged particles. In high-energy physics, where trajectories are rather long, large size trackers must be used to achieve sufficient position resolution. However, in low-background experiments tracks are rather short and three dimensional trajectories could only be resolved in time-projection chambers so far. For detectors of large volume and therefore large drift distances, which are inevitable for low-background experiments, this technique is limited by diffusion of charge carriers. In this work we present a "proof-of-principle" experiment for a new method for the three dimensional tracking of charged particles by scintillation light: We used a setup consisting of a scintillator, mirrors, lenses and a novel imaging device (the hybrid photo detector) in order to image two projections of electron tracks through the scintillator. We took data at the T-24 beam-line at DESY with relativistic electrons with a kinetic energy of 5 GeV and from this data successfully reconstructed their three dimensional propagetion path in the scintillator. With our setup we achieved a position resolution of about 28 mum in the best case.


title: AGB stars and the plate archives heritage

abstract: We report on the characterization of a number of AGB candidate stars identified with objective-prism plates of the Byurakan Observatory. Digitized photographic sky survey plates and recent CCD photometry have been used to improve the selection and distinguish variable and non-variable stars. Some comparisons among published catalog magnitudes are also made. Slit spectroscopy from the Asiago and Loiano Observatories allowed a firm spectral classification, separating C-Type, N-Type and normal M giants. Color-color plots using WISE, AKARI and 2MASS J-band data allow an efficient discrimination of spectral types, which can be used for the definition of larger statistical samples.


title: Coherence properties of high-gain twin beams generated in pump-depletion regime

abstract: Twin-beam coherence properties are analyzed both in the spatial and spectral domains at high-gain regime including pump depletion. The increase of the size of intensity auto- and cross-correlation areas at increasing pump power is replaced by a decrease in the pump depletion regime. This effect is interpreted as a progressive loss in the mode selection occurring at high-gain amplification. The experimental determination of the number of spatio-spectral modes from $g^{(2)} $-function measurements confirms this explanation.


title: The Gaia Survey Contribution to EChO Target Selection and Characterization

abstract: The scientific output of the proposed EChO mission (in terms of spectroscopic characterization of the atmospheres of transiting extrasolar planets) will be maximized by a careful selection of targets and by a detailed characterization of the main physical parameters (such as masses and radii) of both the planets and their stellar hosts. To achieve this aim, the availability of high-quality data from other space-borne and ground-based programs will play a crucial role. Here we identify and discuss the elements of the Gaia catalogue that will be of utmost relevance for the selection and characterization of transiting planet systems to be observed by the proposed EChO mission.


title: Rigidity of manifolds with boundary under a lower Ricci curvature bound

abstract: We study Riemannian manifolds with boundary under a lower Ricci curvature bound, and a lower mean curvature bound for the boundary. We prove a volume comparison theorem of Bishop-Gromov type concerning the volumes of the metric neighborhoods of the boundaries. We conclude several rigidity theorems. As one of them, we obtain a volume growth rigidity theorem. We also show a splitting theorem of Cheeger-Gromoll type under the assumption of the existence of a single ray.


title: Correlation estimates for sums of three cubes

abstract: We establish estimates for linear correlation sums involving sums of three positive integral cubes. Under appropriate conditions, the underlying methods permit us to establish the solubility of systems of homogeneous linear equations in sums of three positive cubes whenever these systems have more than twice as many variables as equations.


title: Teichmuller spaces, ergodic theory and global Torelli theorem

abstract: A Teichm\"uller space $Teich$ is a quotient of the space of all complex structures on a given manifold $M$ by the connected components of the group of diffeomorphisms. The mapping class group $\Gamma$ of $M$ is the group of connected components of the diffeomorphism group. The moduli problems can be understood as statements about the $\Gamma$-action on $Teich$. I will describe the mapping class group and the Teichmuller space for a hyperkahler manifold. It turns out that this action is ergodic. We use the ergodicity to show that a hyperkahler manifold is never Kobayashi hyperbolic. This is my ICM submission, with review of some of my work on Teichmuller spaces and moduli; proofs are sketched, new observations and some open problems added.


title: Gravitational-wave radiation from double compact objects with eLISA in the Galaxy

abstract: The phase of in-spiral of double compact objects (DCOs: NS+WD, NS+NS, BH+NS, and BH+BH binaries) in the disk field population of the Galaxy provides a potential source in the frequency range from $10^{-4}$ to 0.1 Hz, which can be detected by the European New Gravitational Observatory (NGO: eLISA is derived from the previous LISA proposal) project. In this frequency range, much stronger gravitational wave (GW) radiation can be obtained from DCO sources because they possess more mass than other compact binaries (e.g., close double white dwarfs). In this study, we aim to calculate the gravitational wave signals from the resolvable DCO sources in the Galaxy using a binary population synthesis approach, and to carry out physical properties of these binaries using Monte Carlo simulations. Combining the sensitivity curve of the eLISA detector and a confusion-limited noise floor of close double white dwarfs, we find that only a handful of DCO sources can be detected by the eLISA detector. The detectable number of DCO sources reaches 160, in the context of low-frequency eLISA observations we find that the number of NS+WD, NS+NS, BH+NS, and BH+BH are 132, 16, 3, and 6, respectively.


title: First-principles study of Exchange Interaction in Ising-type Multiferroic Ca$_3$CoMnO$_6$

abstract: We perform first-principles calculations of multiferroic Ca$_3$CoMnO$_6$ and evaluate the exchange coupling constants using the Green's function method. We clarify the effect of intra-chain and inter-chain exchange interactions on magnetic stability. We find that inter-chain exchange coupling constants are antiferromagnetic and that there are geometrical frustrations in the triangular lattices of magnetic chains in Ca$_3$CoMnO$_6$. The magnetic transition temperature is evaluated using effective Hamiltonian with calculated exchange coupling constants. We obtain the transition temperature 5.80K. The value has the same order as that of experimentally observed.


title: An imbedding of fractional order Sobolev-Grand Lebesgue spaces, with constant evaluation

abstract: We extend in this article the classical imbedding theorems for fractional Lebesgue-Sobolev's spaces into the so-called Grand Lebesgue spaces, with sharp constant evaluation.


title: Finite time cooling in dispersively and dissipatively coupled optomechanics

abstract: The cooling performance of an optomechanical system comprising both dispersive and dissipative coupling is studied. We present a scheme to cool a mechanical resonator to its ground state in finite time by employing a chirped pulse. When the cavity damping strength increases, the phonon occupation of the resonator will decrease. Moreover, the cooling behaviors of this dispersively and dissipatively coupled system with different incident pulses, different system coupling strengths are explored. Our scheme is feasible to cool the resonator in a wide parameter region.


title: Moments of Riesz measures on Poincar\'e disk and homogeneous tree -- a comparative study

abstract: One of the purposes of this paper is to clarify the strong analogy between potential theory on the open unit disk and the homogeneous tree, to which we dedicate an introductory section. We then exemplify this analogy by a study of Riesz measures. Starting from interesting work by Favorov and Golinskii [A Blaschke-type condition for analytic and subharmonic functions and application to contraction operators. Linear and complex analysis, pp. 37-47, Amer. Math. Soc. Transl. (2) 226, Amer. Math. Soc., Providence, RI, 2009], we consider subharmonic functions on the open unit disk, resp. on the homogenous tree. Supposing that we can control the way how those functions may tend to infinity at the boundary, we derive moment type conditions for the Riesz measures. One one hand, we generalise the previous results for the disk, and on the other hand, we show how to obtain analogous results in the discrete setting of the tree.


title: Stability of travelling waves in stochastic bistable reaction-diffusion equations

abstract: We extend the result on the stability of travelling waves for stochastic Nagumo equations in [St] to general bistable reaction-diffusion equations with both additive and multiplicative noise, using a variational approach based on functional inequalities. Our analysis yields explicit estimates on the rate of stability that can be shown in special examples to be optimal. [St] Stannat, W., Stability of travelling waves in stochastic Nagumo equations, arXiv:1301.6378, 2013.


title: Moduli spaces and locally symmetric varieties

abstract: This is a survey paper on moduli spaces that have a natural structure of a (possibly incomplete) locally symmetric variety. We outline the Baily-Borel compactification for such varieties and compare it with the compactifications furnished by techniques in algebraic geometry. These differ in general, but we show that a reconciliation is possible by means of a generalization of the Baily-Borel technique for a class of incomplete locally symmetric varieties. The emphasis is here on moduli spaces of varieties other than that of polarized abelian varieties.


title: Can Self-Ordering Scalar Fields explain the BICEP2 B-mode signal?

abstract: We show that self-ordering scalar fields (SOSF), i.e. non-topological cosmic defects arising after a global phase transition, cannot explain the B-mode signal recently announced by BICEP2. We compute the full $C_\ell^{B}$ angular power spectrum of B-modes due to the vector and tensor perturbations of SOSF, modeled in the large-N limit of a spontaneous broken global O(N) symmetry. We conclude that the low-$\ell$ multipoles detected by BICEP2 cannot be due mainly to SOSF, since they have the wrong spectrum at low multipoles. As a byproduct we derive the first cosmological constraints on this model, showing that the BICEP2 B-mode polarization data admits at most a 2-3% contribution from SOSF in the temperature anisotropies, similar to (but somewhat tighter than) the recently studied case of cosmic strings.


title: Hierarchy of Hofstadter states and replica quantum Hall ferromagnetism in graphene superlattices

abstract: Self-similarity and fractals have fascinated researchers across various disciplines. In graphene placed on boron nitride and subjected to a magnetic field, self-similarity appears in the form of numerous replicas of the original Dirac spectrum, and their quantization gives rise to a fractal pattern of Landau levels, referred to as the Hofstadter butterfly. Here we employ capacitance spectroscopy to probe directly the density of states (DoS) and energy gaps in this spectrum. Without a magnetic field, replica spectra are seen as pronounced DoS minima surrounded by van Hove singularities. The Hofstadter butterfly shows up as recurring Landau fan diagrams in high fields. Electron-electron interactions add another twist to the self-similar behaviour. We observe suppression of quantum Hall ferromagnetism, a reverse Stoner transition at commensurable fluxes and additional ferromagnetism within replica spectra. The strength and variety of the interaction effects indicate a large playground to study many-body physics in fractal Dirac systems.


title: Sneutrino Chaotic Inflation and Landscape

abstract: The most naive interpretation of the BICEP2 data is the chaotic inflation by an inflaton with a quadratic potential. When combined with supersymmetry, we argue that the inflaton plays the role of right-handed scalar neutrino based on rather general considerations. The framework suggests that the right-handed sneutrino tunneled from a false vacuum in a landscape to our vacuum with a small negative curvature and suppressed scalar perturbations at large scales.


title: Catastrophic ice lake collapse in Aram Chaos, Mars

abstract: Hesperian chaotic terrains have been recognized as the source of outflow channels formed by catastrophic outflows. Four main scenarios have been proposed for the formation of chaotic terrains that involve different amounts of water and single or multiple outflow events. Here, we test these scenarios with morphological and structural analyses of imagery and elevation data for Aram Chaos in conjunction with numerical modeling of the morphological evolution of the catastrophic carving of the outflow valley. The morphological and geological analyses of Aram Chaos suggest large-scale collapse and subsidence (1500 m) of the entire area, which is consistent with a massive expulsion of liquid water from the subsurface in one single event. The combined observations suggest a complex process starting with the outflow of water from two small channels, followed by continuous groundwater sapping and headward erosion and ending with a catastrophic lake rim collapse and carving of the Aram Valley, which is synchronous with the 2.5 Ga stage of the Ares Vallis formation. The water volume and formative time scale required to carve the Aram channels indicate that a single, rapid (maximum tens of days) and catastrophic (flood volume of 9.3?104 km3) event carved the outflow channel. We conclude that a sub-ice lake collapse model can best explain the features of the Aram Chaos Valley system as well as the time scale required for its formation.


title: Status of Neutrino Mass and Mixing

abstract: In the last two decades experiments have established the existence of neutrino oscillations and most of the related parameters have by now been measured with reasonable accuracy. These results have accomplished a major progress for particle physics and cosmology. At present neutrino physics is a most vital domain of particle physics and cosmology and the existing open questions are of crucial importance. We review the present status of the subject, the main lessons that we have learnt so far and discuss the great challenges that remain in this field.


title: Dark Energy and Tachyon Field in Bianchi Type-V Space-time

abstract: In this paper, we consider Bianchi type-V space-time and study a cosmological model of dark energy based on Tachyon scalar field. We assumed three different kinds of matter without possibility of interaction with scalar dark energy. Assuming power law Hubble parameter in terms of scale factor we obtain evolution of scalar field, scalar potential and equation of state parameter.


title: Spinner: Scalable Graph Partitioning in the Cloud

abstract: Several organizations, like social networks, store and routinely analyze large graphs as part of their daily operation. Such graphs are typically distributed across multiple servers, and graph partitioning is critical for efficient graph management. Existing partitioning algorithms focus on finding graph partitions with good locality, but disregard the pragmatic challenges of integrating partitioning into large-scale graph management systems deployed on the cloud, such as dealing with the scale and dynamicity of the graph and the compute environment. In this paper, we propose Spinner, a scalable and adaptive graph partitioning algorithm based on label propagation designed on top of the Pregel model. Spinner scales to massive graphs, produces partitions with locality and balance comparable to the state-of-the-art and efficiently adapts the partitioning upon changes. We describe our algorithm and its implementation in the Pregel programming model that makes it possible to partition billion-vertex graphs. We evaluate Spinner with a variety of synthetic and real graphs and show that it can compute partitions with quality comparable to the state-of-the art. In fact, by using Spinner in conjunction with the Giraph graph processing engine, we speed up different applications by a factor of 2 relative to standard hash partitioning.


title: Optimizing the CVaR via Sampling

abstract: Conditional Value at Risk (CVaR) is a prominent risk measure that is being used extensively in various domains. We develop a new formula for the gradient of the CVaR in the form of a conditional expectation. Based on this formula, we propose a novel sampling-based estimator for the CVaR gradient, in the spirit of the likelihood-ratio method. We analyze the bias of the estimator, and prove the convergence of a corresponding stochastic gradient descent algorithm to a local CVaR optimum. Our method allows to consider CVaR optimization in new domains. As an example, we consider a reinforcement learning application, and learn a risk-sensitive controller for the game of Tetris.


title: Multiwavelength campaign on Mrk 509. XIII. Testing ionized-reflection models on Mrk 509

abstract: Active Galactic Nuclei (AGN) are the most luminous persistent objects in the universe. An excess of X-ray emission below about 2 keV, called soft-excess, is very common in Type 1 AGN spectra. The origin of this feature remains debated. Originally modeled with a blackbody, there are now several possibilities to model the soft-excess, including warm Comptonization and blurred ionized reflection. In this paper, we test ionized-reflection models on Mrk 509, a bright Seyfert 1 galaxy for which we have a unique data set, in order to determine whether it can be responsible for the strong soft-excess. We use ten simultaneous XMM-Newton and INTEGRAL observations performed every four days. We present here the results of the spectral analysis, the evolution of the parameters and the variability properties of the X-ray emission. The application of blurred ionized-reflection models leads to a very strong reflection and an extreme geometry, but fails to reproduce the broad-band spectrum of Mrk 509. Two different scenarios for blurred ionized reflection are discussed: stable geometry and lamp-post configuration. In both cases we find that the model parameters do not follow the expected relations, indicating that the model is fine-tuned to fit the data without physical justification. A large, slow variation of the soft-excess without counterpart in the hard X-rays could be explained by a change in ionization of the reflector. However, such a change does not naturally follow from the assumed geometrical configuration. Warm Comptonization remains the most probable origin of the soft-excess in this object. Nevertheless, it is possible that both ionized reflection and warm Comptonization mechanisms can explain the soft-excess in all objects, one dominating the other one, depending on the physical conditions of the disk and the corona.


title: On the cosmological singularity

abstract: The long story of the oscillatory approach to the initial cosmological singularity and its more recent incarnation in multidimensional universe models is told.


title: Dynamics of test particles in the general five-dimensional Myers-Perry spacetime

abstract: We present the complete set of analytical solutions of the geodesic equation in the general five-dimensional Myers-Perry spacetime in terms of the Weierstrass $\wp$-, $\zeta$- and $\sigma$-functions. We analyze the underlying polynomials in the polar and radial equations, which depend on the parameters of the metric and the conserved quantities of a test particle, and characterize the motion by their zeros. We exemplify the efficiency of the analytical method on the basis of the explicit construction of test particle orbits and by addressing observables in this spacetime.


title: Generating Nonclassical Quantum Input Field States with Modulating Filters

abstract: The behaviour of quantum open systems, and their output response, when driven by quantum input noise in a nonclassical state is of key importance to quantum technology. Here we give explicit constructions of quantum modulating filters which generate desired nonclassical states (coherent states, cat states, shaped single and multi-photon states) of quantum optical fields from vacuum noise input. The nonclassical state features (coherence, entanglement, Fock state, etc.) of the modulating filter, itself a linear passive open system, are transferred to the continuous variable output field state. The filter dynamics may additionally shape the output to obtain specific target states. It is shown that the open dynamics of a general quantum Markov system driven by these nonclassical inputs is equivalent to the cascaded filter-plus-system model with vacuum field inputs.


title: A tool for parameter-space explorations

abstract: A software for managing simulation jobs and results, named "OACIS", is presented. It controls a large number of simulation jobs executed in various remote servers, keeps these results in an organized way, and manages the analyses on these results. The software has a web browser front end, and users can submit various jobs to appropriate remote hosts from a web browser easily. After these jobs are finished, all the result files are automatically downloaded from the computational hosts and stored in a traceable way together with the logs of the date, host, and elapsed time of the jobs. Some visualization functions are also provided so that users can easily grasp the overview of the results distributed in a high-dimensional parameter space. Thus, OACIS is especially beneficial for the complex simulation models having many parameters for which a lot of parameter searches are required. By using API of OACIS, it is easy to write a code that automates parameter selection depending on the previous simulation results. A few examples of the automated parameter selection are also demonstrated.


title: Sub-10 fs pulses tunable from 480 to 980 nm from a NOPA pumped by a Yb:KGW source

abstract: We describe two noncollinear optical parametric amplifier (NOPA) systems pumped by either the second (515 nm) or the third (343 nm) harmonic of an Yb:KGW amplifier, respectively. Pulse durations as short as 6.8 fs are readily obtained by compression with commercially available chirped mirrors. The availability of both second and third harmonic for NOPA pumping allows for gap-free tuning from 520 to 980 nm. The use of an intermediate NOPA to generate seed light at 780 nm extends the tuning range of the third-harmonic pumped NOPA towards 450 nm.


title: Wreath products by a Leavitt path algebra

abstract: We introduce ring theoretic constructions that are similar to the construction of wreath product of groups. In particular, for a given graph $\Gamma=(V,E)$ and an associate algebra $A,$ we construct an algebra $B=A\, wr\, L(\Gamma)$ with the following property: $B$ has an ideal $I$,which consists of (possibly infinite) matrices over $A$, $B/I\cong L(\Gamma)$, the Leavitt path algebra of the graph $\Gamma$. \medskip \par Let $W\subset V$ be a hereditary saturated subset of the set of vertices [1], $\Gamma(W)=(W,E(W,W))$ is the restriction of the graph $\Gamma$ to $W$, $\Gamma/W$ is the quotient graph [1]. Then $L(\Gamma)\cong L(W)$ wr $L(\Gamma/W)$.


title: Quantum Bayesian rule for weak measurements of qubits in superconducting circuit QED

abstract: Compared with the quantum trajectory equation, the quantum Bayesian approach has the advantage of being more efficient to infer quantum state under monitoring, based on the integrated output of measurement. For weak measurement of qubits in circuit quantum electrodynamics(cQED), properly accounting for the measurement backaction effects within the Bayesian framework is an important problem of current interest.Elegant work towards this task was carried out by Korotkov in "bad-cavity" and weak-response limits (arXiv:1111.4016).In the present work, based on insights from the cavity-field states (dynamics) and the help of an effective QTE, we generalize the results of arXiv:1111.4016 to more general system parameters.The obtained Bayesian rule is in full agreement with Korotkov's result in limiting cases and as well holds satisfactory accuracy in non-limiting cases in comparison with the QTE simulations. We expect the proposed Bayesian rule to be useful for future cQED measurement and control experiments.


title: Hermite expansions of $C_0$-groups and cosine functions

abstract: In this paper we introduce vector-valued Hermite expansions to approximate one-parameter operator families such as $C_0$-groups and cosine functions. In both cases we estimate the rate of convergence of these Hermite expansions to the related family and compare with other known approximations. Finally we illustrate our results with particular examples of $C_0$-groups and cosine functions and their Hermite expansions.


title: Ehrenfest scheme for $P-V$ criticality of higher dimensional charged black holes, rotating black holes and Gauss-Bonnet AdS black holes

abstract: To provide an analytic verification of the nature of phase transition at the critical point of $P-V$ criticality, the original expressions of Ehrenfest equations have been introduced directly. By treating the cosmological constant and its conjugate quantity as thermodynamic pressure and volume respectively, we carry out analytical check of classical Ehrenfest equations. To show that our approach is universal, we investigate not only higher-dimensional charged AdS black holes, but also rotating AdS black holes. Not only are the examples of Einstein gravity shown, but also the example of modified gravity is presented for Gauss-Bonnet AdS black holes. The specific heat at constant pressure $C_P$, the volume expansion coefficient $\alpha$ and the isothermal compressibility coefficient $\kappa_T$ are found to diverge exactly at the critical point. It has been verified that both Ehrenfest equations hold at the critical point of $P-V$ criticality in the extended phase spaces of AdS black holes. So the nature of the critical point of $P-V$ criticality of AdS black holes has been demonstrated analytically to be a second-order phase transition. These results are consistent with the nature of liquid-gas phase transition at the critical point. In this sense, our research would deepen the understanding of the relations of AdS black holes and liquid-gas systems. Moreover, our successful approaches to introduce the original expressions of Erhenfest equations directly into black hole phase transition research demonstrate again that black hole thermodynamics is closely related to classical thermodynamics, which allows us to borrow techniques from classical thermodynamics to investigate the thermodynamics of black holes.


title: Hilbert schemes and multiple q-zeta values

abstract: We present several conjectures on multiple q-zeta values and on the role they play in certain problems of enumerative geometry.


title: On the recurrence of some random walks in random environment

abstract: This work is motivated by the study of some two-dimensional random walks in random environment (RWRE) with transition probabilities independent of one coordinate of the walk. These are non-reversible models and can not be treated by electrical network techniques. The proof of the recurrence of such RWRE needs new estimates for quenched return probabilities of a one-dimensional recurrent RWRE. We obtained these estimates by constructing suitable valleys for the potential. They imply that k independent walkers in the same one-dimensional (recurrent) environment will meet in the origin infinitely often, for any k. We also consider direct products of one-dimensional recurrent RWRE with another RWRE or with a RW. We point out the that models involving one-dimensional recurrent RWRE are more recurrent than the corresponding models involving simple symmetric walk.


title: Boltzmann samplers for random generation of lambda terms

abstract: Randomly generating structured objects is important in testing and optimizing functional programs, whereas generating random $'l$-terms is more specifically needed for testing and optimizing compilers. For that a tool called QuickCheck has been proposed, but in this tool the control of the random generation is left to the programmer. Ten years ago, a method called Boltzmann samplers has been proposed to generate combinatorial structures. In this paper, we show how Boltzmann samplers can be developed to generate lambda-terms, but also other data structures like trees. These samplers rely on a critical value which parameters the main random selector and which is exhibited here with explanations on how it is computed. Haskell programs are proposed to show how samplers are actually implemented.


title: A Polyhedral Proof of the Matrix Tree Theorem

abstract: The classical matrix tree theorem relates the number of spanning trees of a connected graph with the product of the nonzero eigenvalues of its Laplacian matrix. The class of regular matroids generalizes that of graphical matroids, and a generalization of the matrix tree theorem holds for this wider class. We give a new, geometric proof of this fact by showing via a dissect-and-rearrange argument that two combinatorially distinct zonotopes associated to a regular matroid have the same volume. Along the way we prove that for a regular oriented matroid represented by a unimodular matrix, the lattice spanned by its cocircuits coincides with the lattice spanned by the rows of the representation matrix. Finally, by extending our setup to the weighted case we give new proofs of recent results of An et al. on weighted graphs, and extend them to cover regular matroids. No use is made of the Cauchy-Binet Theorem nor divisor theory on graphs.


title: Design space exploration for image processing architectures on FPGA targets

abstract: Due to the emergence of embedded applications in image and video processing, communication and cryptography, improvement of pictorial information for better human perception like deblurring, denoising in several fields such as satellite imaging, medical imaging, mobile applications etc. are gaining importance for renewed research. Behind such developments, the primary responsibility lies with the advancement of semiconductor technology leading to FPGA based programmable logic devices, which combines the advantages of both custom hardware and dedicated DSP resources. In addition, FPGA provides powerful reconfiguration feature and hence is an ideal target for rapid prototyping. We have endeavoured to exploit exceptional features of FPGA technology in respect to hardware parallelism leading to higher computational density and throughput, and have observed better performances than those one can get just merely porting the image processing software algorithms to hardware. In this paper, we intend to present an elaborate review, based on our expertise and experiences, on undertaking necessary transformation to an image processing software algorithm including the optimization techniques that makes its operation in hardware comparatively faster.


title: NILMTK: An Open Source Toolkit for Non-intrusive Load Monitoring

abstract: Non-intrusive load monitoring, or energy disaggregation, aims to separate household energy consumption data collected from a single point of measurement into appliance-level consumption data. In recent years, the field has rapidly expanded due to increased interest as national deployments of smart meters have begun in many countries. However, empirically comparing disaggregation algorithms is currently virtually impossible. This is due to the different data sets used, the lack of reference implementations of these algorithms and the variety of accuracy metrics employed. To address this challenge, we present the Non-intrusive Load Monitoring Toolkit (NILMTK); an open source toolkit designed specifically to enable the comparison of energy disaggregation algorithms in a reproducible manner. This work is the first research to compare multiple disaggregation approaches across multiple publicly available data sets. Our toolkit includes parsers for a range of existing data sets, a collection of preprocessing algorithms, a set of statistics for describing data sets, two reference benchmark disaggregation algorithms and a suite of accuracy metrics. We demonstrate the range of reproducible analyses which are made possible by our toolkit, including the analysis of six publicly available data sets and the evaluation of both benchmark disaggregation algorithms across such data sets.


title: Spectroscopy of Surface-Induced Noise Using Shallow Spins in Diamond

abstract: We report on the noise spectrum experienced by few nanometer deep nitrogen-vacancy centers in diamond as a function of depth, surface coating, magnetic field and temperature. Analysis reveals a double-Lorentzian noise spectra consistent with a surface electronic spin bath, with slower dynamics due to spin-spin interactions and faster dynamics related to phononic coupling. These results shed new light on the mechanisms responsible for surface noise affecting shallow spins at semiconductor interfaces, and suggests possible directions for further studies. We demonstrate dynamical decoupling from the surface noise, paving the way to applications ranging from nanoscale NMR to quantum networks.


title: String theoretic QCD axions in the light of PLANCK and BICEP2

abstract: The QCD axion solving the strong CP problem may originate from antisymmetric tensor gauge fields in compactified string theory, with a decay constant around the GUT scale. Such possibility appears to be ruled out now by the detection of tensor modes by BICEP2 and the PLANCK constraints on isocurvature density perturbations. A more interesting and still viable possibility is that the string theoretic QCD axion is charged under an anomalous U(1)_A gauge symmetry. In such case, the axion decay constant can be much lower than the GUT scale if moduli are stabilized near the point of vanishing Fayet-Illiopoulos term, and U(1)_A-charged matter fields get a vacuum value far below the GUT scale due to a tachyonic SUSY breaking scalar mass. We examine the symmetry breaking pattern of such models during the inflationary epoch with the Hubble expansion rate 10^{14} GeV, and identify the range of the QCD axion decay constant, as well as the corresponding relic axion abundance, consistent with known cosmological constraints. In addition to the case that the PQ symmetry is restored during inflation, there are other viable scenarios, including that the PQ symmetry is broken during inflation at high scales around 10^{16}-10^{17} GeV due to a large Hubble-induced tachyonic scalar mass from the U(1)_A D-term, while the present axion scale is in the range 10^{9}-5\times 10^{13} GeV, where the present value larger than 10^{12} GeV requires a fine-tuning of the axion misalignment angle. We also discuss the implications of our results for the size of SUSY breaking soft masses.