title: Jointly Optimal Channel Pairing and Power Allocation for Multichannel Multihop Relaying

abstract: We study the problem of channel pairing and power allocation in a multichannel multihop relay network to enhance the end-to-end data rate. Both amplify-and-forward (AF) and decode-and-forward (DF) relaying strategies are considered. Given fixed power allocation to the channels, we show that channel pairing over multiple hops can be decomposed into independent pairing problems at each relay, and a sorted-SNR channel pairing strategy is sum-rate optimal, where each relay pairs its incoming and outgoing channels by their SNR order. For the joint optimization of channel pairing and power allocation under both total and individual power constraints, we show that the problem can be decoupled into two subproblems solved separately. This separation principle is established by observing the equivalence between sorting SNRs and sorting channel gains in the jointly optimal solution. It significantly reduces the computational complexity in finding the jointly optimal solution. It follows that the channel pairing problem in joint optimization can be again decomposed into independent pairing problems at each relay based on sorted channel gains. The solution for optimizing power allocation for DF relaying is also provided, as well as an asymptotically optimal solution for AF relaying. Numerical results are provided to demonstrate substantial performance gain of the jointly optimal solution over some suboptimal alternatives. It is also observed that more gain is obtained from optimal channel pairing than optimal power allocation through judiciously exploiting the variation among multiple channels. Impact of the variation of channel gain, the number of channels, and the number of hops on the performance gain is also studied through numerical examples.


title: The role of dilation and confining stresses in shear thickening of dense suspensions

abstract: Many densely packed suspensions and colloids exhibit a behavior known as Discontinuous Shear Thickening in which the shear stress jumps dramatically and reversibly as the shear rate is increased. We performed rheometry and video microscopy measurements on a variety of suspensions to determine the mechanism for this behavior. Shear profiles and normal stress measurements indicate that, in the shear thickening regime, stresses are transmitted through frictional rather than viscous interactions, and come to the surprising conclusion that the local constitutive relation between stress and shear rate is not necessarily shear thickening. If the suspended particles are heavy enough to settle we find the onset stress of shear thickening tau_min corresponds to a hydrostatic pressure from the weight of the particle packing where neighboring particles begin to shear relative to each other. Above tau_min, dilation is seen to cause particles to penetrate the liquid-air interface of the sheared sample. The upper stress boundary tau_max of the shear thickening regime is shown to roughly match the ratio of surface tension divided by a radius of curvature on the order of the particle size. These results suggest a new model in which the increased dissipation in the shear thickening regime comes from frictional stresses that emerge as dilation is frustrated by a confining stress from surface tension at the liquid-air interface. When instead the suspensions are confined by solid walls and have no liquid-air interface, we find tau_max is set by the stiffness of the most compliant boundary which frustrates dilation. This rheology can be described by a non-local constitutive relation in which the local relation between stress and shear rate is shear thinning, but where the stress increase comes from a normal stress term which depends on the global dilation.


title: Adjoint Operators on Banach Spaces

abstract: In this paper, we report on new results related to the existence of an adjoint for operators on separable Banach spaces and discuss a few interesting applications. (Some results are new even for Hilbert spaces.) Our first two applications provide an extension of the Poincar\'{e} inequality and the Stone-von Neumann version of the spectral theorem for a large class of $C_0$-generators of contraction semigroups on separable Banach spaces. Our third application provides a natural extension of the Schatten-class of operators to all separable Banach spaces. As a part of this program, we introduce a new class of separable Banach spaces. As a side benefit, these spaces also provide a natural framework for the (rigorous) construction of the path integral as envisioned by Feynman.


title: Lattice points in large convex planar domains of finite type

abstract: Let $\mathcal{B}$ be a compact convex planar domain with smooth boundary of finite type and $\mathcal{B}_\theta$ its rotation by an angle $\theta$. We prove that for almost every $\theta\in[0, 2\pi]$ the remainder $P_{\mathcal{B}_\theta}(t)$ is of order $O_{\theta}(t^{2/3-\zeta})$ with a positive number $\zeta$ independent of the domain.


title: Cavity mode waves during terahertz radiation from rectangular Bi$_2$Sr$_2$CaCu$_2$O$_{8+\delta}$ mesas

abstract: We re-examined the angular dependence of the radiation from the intrinsic Josephson junctions in rectangular mesas of Bi$_2$Sr$_2$CaCu$_2$O$_{8+\delta}$, in order to determine if the cavity mode part of the radiation arises from waves across the width $w$ or along the length $\ell$ of the mesas, associated with ``hot spots'' [Wang {\it et al.}, Phys. Rev. Lett. {\bf 105}, 057002 (2010)]. We derived analytic forms for the angular dependence expected in both cases for a general cavity mode in which the width of the mesa corresponds to an integer multiple of one-half the wavelength of the radiation. Assuming the coherent radiation from the $ac$ Josephson current source and the cavity magnetic surface current density source combine incoherently, fits to the data of Kadowaki {\it et al.} [J. Phys. Soc. Jpn. {\bf 79}, 023703 (2010)] on a mesa with mean $\ell/w=5.17$ for both wave directions using two models for the incoherent combination were made, which correspond to standing and traveling waves, respectively. The results suggest that the combined output from the uniform $ac$ Josephson current source plus a cavity wave forming along the rectangle length is equally probable as that of the combined output from the uniform $ac$ Josephson current plus a cavity wave across the width. However, for mesas in which $n\ell/2w$ is integral, where $n$ is the index of the rectangular TM$^z_{n,0}$ mode, it is shown that standing cavity mode waves along the length of the mesa do not radiate in the $xz$ plane perpendicular to the length of the mesa, suggesting experiments on such mesas could help to resolve the question.


title: Property Testing via Set-Theoretic Operations

abstract: Given two testable properties $\mathcal{P}_{1}$ and $\mathcal{P}_{2}$, under what conditions are the union, intersection or set-difference of these two properties also testable? We initiate a systematic study of these basic set-theoretic operations in the context of property testing. As an application, we give a conceptually different proof that linearity is testable, albeit with much worse query complexity. Furthermore, for the problem of testing disjunction of linear functions, which was previously known to be one-sided testable with a super-polynomial query complexity, we give an improved analysis and show it has query complexity $O(1/\eps^2)$, where $\eps$ is the distance parameter.


title: QOperAv, a Code Generator for Generating Quantum Circuits for Evaluating Certain Quantum Operator Averages

abstract: This paper introduces QOperAv v1.5, a Java application available for free. (Source code included in the distribution.) QOperAv is a "code generator" for generating quantum circuits. The quantum circuits generated by QOperAv can be used to evaluate with polynomial efficiency the average of $f(A)$ for some simple (that is, computable with polynomial efficiency) function $f$ and a Hermitian operator $A$, provided that we know how to compile $\exp(iA)$ with polynomial efficiency. QOperAv implements an algorithm described in earlier papers, that combines various standard techniques such as quantum phase estimation and quantum multiplexors.


title: Local Helioseismology of Sunspots: Current Status and Perspectives (Invited Review)

abstract: Mechanisms of the formation and stability of sunspots are among the longest-standing and intriguing puzzles of solar physics and astrophysics. Sunspots are controlled by subsurface dynamics hidden from direct observations. Recently, substantial progress in our understanding of the physics of the turbulent magnetized plasma in strong-field regions has been made by using numerical simulations and local helioseismology. Both the simulations and helioseismic measurements are extremely challenging, but it becomes clear that the key to understanding the enigma of sunspots is a synergy between models and observations. Recent observations and radiative MHD numerical models have provided a convincing explanation to the Evershed flows in sunspot penumbrae. Also, they lead to the understanding of sunspots as self-organized magnetic structures in the turbulent plasma of the upper convection zone, which are maintained by a large-scale dynamics. Local helioseismic diagnostics of sunspots still have many uncertainties, some of which are discussed in this review. However, there have been significant achievements in resolving these uncertainties, verifying the basic results by new high-resolution observations, testing the helioseismic techniques by numerical simulations, and comparing results obtained by different methods. For instance, a recent analysis of helioseismology data from the Hinode space mission has successfully resolved several uncertainties and concerns (such as the inclined-field and phase-speed filtering effects) that might affect the inferences of the subsurface wave-speed structure of sunspots and the flow pattern. It becomes clear that for the understanding of the phenomenon of sunspots it is important to further improve the helioseismology methods and investigate the whole life cycle of active regions, from magnetic-flux emergence to dissipation.


title: 30S Beam Development and X-ray Bursts

abstract: Over the past three years, we have worked on developing a well-characterized 30S radioactive beam to be used in a future experiment aiming to directly measure the 30S(alpha,p) stellar reaction rate within the Gamow window of Type I X-ray bursts. The importance of the 30S(alpha,p) reaction to X-ray bursts is discussed. Given the astrophysical motivation, the successful results of and challenges involved in the production of a low-energy 30S beam are detailed. Finally, an overview of our future plans regarding this on-going project are presented.


title: Small Cover and Halperin-Carlsson Conjecture -II

abstract: For a small cover Q^n and any principal (Z_2)^m-bundle M^n over Q^n, it was shown in a previous work of the author that the total sum of Z_2-Betti numbers of M^n is at least 2^m. In this paper, we prove that when M^n is connected, the total sum of Z_2-Betti numbers of such an M^n exactly equals 2^m if and only if M^n is homeomorphic to a product of spheres, and Q^n in this case must be a generalized real Bott manifold (or equivalent, Q^n is a small cover over a product of simplices).


title: Minimal time control of fed-batch processes with growth functions having several maxima

abstract: We address the issue of minimal time optimal control of fedbatch reactor in presence of complex non monotonic kinetics, that can be typically characterized by the combination of two Haldane models. The optimal synthesis may present several singular arcs. Global optimal trajectory results are provided on the basis of a numerical approach that considers an approximation method with smooth control inputs.


title: Role of nuclear radii in the exotic cluster-decay

abstract: We have calculated the half-lives of $^{56}$Ni$^{\ast}$ within PCM for clusters $\ge ^{16}$O. The cluster decay half-lives studied with respect to radius formula due to Royer (R$_{Royer}$) shows that the half-lives lie within $\pm$7%, excluding Bass radius formula where these lie within $\pm$10%.


title: On the interaction of a thin, supersonic shell with a molecular cloud

abstract: Molecular clouds (MCs) are stellar nurseries, however, formation of stars within MCs depends on the ambient physical conditions. MCs, over a free-fall time are exposed to numerous dynamical phenomena, of which, the interaction with a thin, dense shell of gas is but one. Below we present results from self-gravitating, 3-D smoothed particle hydrodynamics ({\small SPH}) simulations of the problem; seven realisations of the problem have been performed by varying the precollision density within the cloud, the nature of the post-collision shock, and the spatial resolution in the computational domain. Irrespective of the type of shock, a complex network of dense filaments, seeded by numerical noise, readily appears in the shocked cloud. Segregation of the dense and rarefied gas phases also manifests itself in a bimodal distribution of gas density. We demonstrate that the power-spectrum for rarefied gas is Kolomogorov like, while that for the denser gas is considerably steeper. As a corollary to the main problem, we also look into the possibly degenerative effect of the {\small SPH} artificial viscosity on the impact of the incident shell. It is observed that stronger viscosity leads to greater post-shock dissipation, that strongly decelerates the incident shock-front and promotes formation of contiguous structure, albeit on a much longer timescale. We conclude that too much viscosity is likely to enhance the proclivity towards gravitational boundedness of structure, leading to unphysical fragmentation.On the other hand, insufficient resolution appears to suppress fragmentation. Convergence of results is tested at both extremes, first by repeating the test case with more than a million particles and then with only half the number of particles in the original test case.


title: One dimensional scattering of a two body interacting system by an infinite wall

abstract: The one-dimensional scattering of a two body interacting system by an infinite wall is studied in a quantum-mechanical framework. This problem contains some of the dynamical features present in the collision of atomic, molecular and nuclear systems. The scattering problem is solved exactly, for the case of a harmonic interaction between the fragments. The exact result is used to assess the validity of two different approximations to the scattering process. The adiabatic approximation, which considers that the relative co-ordinate is frozen during the scattering process, is found to be inadequate for this problem. The uncorrelated scattering approximation, which neglects the correlation between the fragments, gives results in accordance with the exact calculations when the scattering energy is high compared to the oscillator parameter.


title: Design-on-demand or how to create a target-oriented social web-site

abstract: We describe an informal methodology for developing on-line applications, which is, to some extent, complementary to the Web 2.0 aspects of web development. The presented methodology is suitable for developing low-cost and non-cost web sites targeted at medium-sized communities. We present basic building blocks used in the described strategy. To achieve a better understanding of the discussed concepts we comment on their application during the realization of two web projects. We focus on the role of community-driven development, which is crucial for projects of the discussed type.


title: Correlation and Entanglement of Multipartite States

abstract: We derive a classification and a measure of classical- and quantum-correlation of multipartite qubit, qutrit, and in general, $n$-level systems, in terms of SU$(n)$ representations of density matrices. We compare the measure for the case of bipartite correlation with concurrence and the entropy of entanglement. The characterization of correlation is in terms of the number of nonzero singular values of the correlation matrix, but that of mixed state entanglement requires additional invariant parameters in the density matrix. For the bipartite qubit case, the condition for mixed state entanglement is written explicitly in terms of the invariant paramters in the density matrix. For identical particle systems we analyze the effects of exchange symmetry on classical and quantum correlation.


title: Imaginary time Gaussian dynamics of the Ar_3 cluster

abstract: Semiclassical Gaussian approximations to the Boltzmann operator have become an important tool for the investigation of thermodynamic properties of clusters of atoms at low temperatures. Usually, numerically expensive thawed Gaussian variants are applied. In this article, we introduce a numerically much cheaper frozen Gaussian approximation to the imaginary time propagator with a width matrix especially suited for the dynamics of clusters. The quality of the results is comparable to that of thawed Gaussian methods based on the single-particle ansatz. We apply the method to the argon trimer and investigate the dissociation process of the cluster. The results clearly show a classical-like transition from a bounded moiety to three free particles at a temperature T ~ 20 K, whereas previous studies of the system were not able to resolve this transition. Quantum effects, i.e., differences with the purely classical case manifest themselves in the low-temperature behavior of the mean energy and specific heat as well as in a slight shift of the transition temperature. We also discuss the influence of an artificial confinement of the atoms usually introduced to converge numerical computations. The results show that restrictive confinements often implemented in studies of clusters can influence the thermodynamic properties drastically. This finding may have implications on other studies of atomic clusters.


title: Diffeomorphisms with various $C^1$ stable properties

abstract: Let $M$ be a smooth compact manifold and $\Lambda$ be a compact invariant set. In this paper we prove that for every robustly transitive set $\Lambda$, $f|_\Lambda$ satisfies a $C^1-$generic-stable shadowable property (resp., $C^1-$generic-stable transitive specification property or $C^1-$generic-stable barycenter property) if and only if $\Lambda$ is a hyperbolic basic set. In particular, $f|_\Lambda$ satisfies a $C^1-$stable shadowable property (resp., $C^1-$stable transitive specification property or $C^1-$stable barycenter property) if and only if $\Lambda$ is a hyperbolic basic set. Similar results are valid for volume-preserving case.


title: Structure effect on one neutron removal reaction using relativistic mean field densities in Glauber model

abstract: We calculate the one neutron removal reaction cross-section $(\sigma_{-1n})$ for few stable and neutron-rich halo nuclei with $^{12}$C as target, using relativistic mean field (RMF) densities, in the frame work of Glauber model.The results are compared with the experimental data. Study of the stable nuclei with the deformed densities have shown a good agreement with the data,however, it differs significantly for the halo nuclei. We observe that while estimating the $\sigma_{-1n}$value from the difference of reaction cross-section of two neighboring nuclei with mass number A and that of A-1 in an isotopic chain, we get good agreement with the known experimental data for the halo cases.


title: Chemical Variation in Molecular Cloud Cores in the Orion A Cloud

abstract: We have observed molecular cloud cores in the Orion A giant molecular cloud (GMC) in CCS, HC3N, DNC, and HN13C to study their chemical characteristics. We have detected CCS in the Orion A GMC for the first time. CCS was detected in about a third of the observed cores. The cores detected in CCS are not localized but are widely distributed over the Orion A GMC. The CCS peak intensity of the core tends to be high in the southern region of the Orion A GMC. The HC3N peak intensity of the core also tends to be high in the southern region, while there are HC3N intense cores near Orion KL, which is not seen in CCS. The core associated with Orion KL shows broad HC3N line profile, and star formation activity near Orion KL seems to enhance the HC3N emission. The column density ratio of NH3 to CCS is lower near the middle of the filament, and is higher toward the northern and southern regions along the Orion A GMC filament. This ratio is known to trace the chemical evolution in nearby dark cloud cores, but seems to be affected by core gas temperature in the Orion A GMC: cores with low NH3 to CCS column density ratios tend to have warmer gas temperature. The value of the column density ratio of DNC to HN13C is generally similar to that in dark cloud cores, but becomes lower around Orion KL due to higher gas temperature.


title: Spontaneous contractility--mediated cortical flow generates cell migration in 3-dimensional environments

abstract: We present a generic model of cell motility generated by acto-myosin contraction of the cell cortex. We identify analytically dynamical instabilities of the cortex and show that they trigger spontaneous cortical flows which in turn can induce cell migration in 3-dimensional (3D) environments as well as bleb formation. This contractility--based mechanism, widely independent of actin treadmilling, appears as an alternative to the classical picture of lamellipodial motility on flat substrates. Theoretical predictions are compared to experimental data of tumor cells migrating in 3D matrigel and suggest that this mechanism could be a general mode of cell migration in 3D environments.


title: The $f_0(1370)$, $f_0(1710)$, $f_2(1270)$, $f_2'(1525)$, and $K_2^*(1430)$ as dynamically generated states from vector meson - vector meson interaction

abstract: We report on some recent developments in understanding the nature of the low-lying mesonic resonances $f_0(1370)$, $f_0(1710)$, $f_2(1270)$, $f_2'(1525)$, and $K_2^*(1430)$. In particular we show that these five resonances can be dynamically generated from vector meson--vector meson interaction in a coupled-channel unitary approach, which utilizes the phenomenologically very successful hidden-gauge Lagrangians to produce the interaction kernel between two vector mesons, which is then unitarized by the Bethe-Salpeter-equation method. The data on the strong decay branching ratios, total decay widths, and radiative decay widths of these five states, and on related $J/\psi$ decay processes can all be well described by such an approach. We also make predictions, compare them with the results of earlier studies, and highlight observables that if measured can be used to distinguish different pictures of these resonances.


title: From permanence to total availability: a quantum conceptual upgrade

abstract: We consider the classical concept of time of permanence and observe that its quantum equivalent is described by a bona fide self-adjoint operator. Its interpretation, by means of the spectral theorem, reveals that we have to abandon not only the idea that quantum entities would be characterizable in terms of spatial trajectories but, more generally, that they would possess the very attribute of spatiality. Consequently, a permanence time shouldn't be interpreted as a "time" in quantum mechanics, but as a measure of the total availability of a quantum entity in participating to a process of creation of a spatial localization.


title: The Poisson-Boltzmann Theory for Two Parallel Uniformly Charged Plates

abstract: We solve the nonlinear Poisson-Boltzmann equation for two parallel and likely charged plates both inside a symmetric elecrolyte, and inside a 2 : 1 asymmetric electrolyte, in terms of Weierstrass elliptic functions. From these solutions we derive the functional relation between the surface charge density, the plate separation, and the pressure between plates. For the one plate problem, we obtain exact expressions for the electrostatic potential and for the renormalized surface charge density, both in symmetric and in asymmetric electrolytes. For the two plate problems, we obtain new exact asymptotic results in various regimes.


title: The Poisson-Boltzmann Theory for The Two-Plates Problem: Some Exact Results

abstract: The general solution to the nonlinear Poisson-Boltzmann equation for two parallel charged plates, either inside a symmetric elecrolyte, or inside a 2q:-q asymmetric electrolyte, is found in terms of Weierstrass elliptic functions. From this we derive some exact asymptotic results for the interaction between charged plates, as well as the exact form of the renormalized surface charge density.


title: f-divergence estimation and two-sample homogeneity test under semiparametric density-ratio models

abstract: A density ratio is defined by the ratio of two probability densities. We study the inference problem of density ratios and apply a semi-parametric density-ratio estimator to the two-sample homogeneity test. In the proposed test procedure, the f-divergence between two probability densities is estimated using a density-ratio estimator. The f-divergence estimator is then exploited for the two-sample homogeneity test. We derive the optimal estimator of f-divergence in the sense of the asymptotic variance, and then investigate the relation between the proposed test procedure and the existing score test based on empirical likelihood estimator. Through numerical studies, we illustrate the adequacy of the asymptotic theory for finite-sample inference.


title: Riemann-Hilbert treatment of Liouville theory on the torus

abstract: We apply a perturbative technique to study classical Liouville theory on the torus. After mapping the problem on the cut-plane we give the perturbative treatment for a weak source. When the torus reduces to the square the problem is exactly soluble by means of a quadratic transformation in terms of hypergeometric functions. We give general formulas for the deformation of a torus and apply them to the case of the deformation of the square. One can compute the Heun parameter to first order and express the solution in terms of quadratures. In addition we give in terms of quadratures of hypergeometric functions the exact symmetric Green function on the square on the background generated by a one point source of arbitrary strength.


title: A simplified approach to electromagnetism using geometric algebra

abstract: A new simplified approach for teaching electromagnetism is presented using the formalism of geometric algebra (GA) which does not require vector calculus or tensor index notation, thus producing a much more accessible presentation for students. The four-dimensional spacetime proposed is completely symmetrical between the space and time dimensions, thus fulfilling Minkowski's original vision. In order to improve student reception we also focus on forces and the conservation of energy and momentum, which take a very simple form in GA, so that students can easily build on established intuitions in using these laws developed from studying Newtonian mechanics. The potential formulation is also integrated into the presentation that allows an alternate solution path, as well as an introduction to the Lagrangian approach. Several problems are solved throughout the text to make the implementation clear. We extend previous treatment of this area, through including the potential formulation, the conservation of energy and momentum, the generalization for magnetic monopoles, as well as simplifying previously reported results through eliminating the need for the spacetime metric.


title: Three-Fermion Bound States on the Light Front

abstract: We investigate the stability of the relativistic three-fermion system with a zero-range force in the light front form. In particular, introducing an invariant cut-off, we study the dependence of the bound state on the coupling strength also for cases where the two-fermion system is unbound. The relativistic Thomas collapse is discussed by solving the fully coupled integral equation system. Furthermore, we explicitly investigate the ground state mass of the three-fermion system and compare to previous simplified calculations.


title: Formation of Accretion Disks in Close-Binary Systems with Magnetic Fields

abstract: We have developed a three-dimensional numerical model and applied it to simulate plasma flows in semi-detached binary systems whose accretor possesses a strong intrinsic magnetic field. The model is based on the assumption that the plasma dynamics are determined by the slow mean flow, which forms a backdrop for the rapid propagation of MHD waves. The equations describing the slow motion of matter were obtained by averaging over rapidly propagating pulsations. The numerical model includes the diffusion of magnetic field by current dissipation in turbulent vortices, magnetic buoyancy, and wave MHD turbulence. A modified three-dimensional, parallel, numerical code was used to simulate the flow structure in close binary systems with various accretor magnetic fields, from $10^5$ to $10^8$ G. The conditions for the formation of the accretion disk and the criteria distinguishing the two types of flow corresponding to intermediate polars and polars are discussed.


title: Disk level S-matrix elements at eikonal Regge limit

abstract: We examine the calculation of the color-ordered disk level S-matrix element of massless scalar vertex operators for the special case that some of the Mandelstam variables for which there are no open string channel in the amplitude, are set to zero. By explicit calculation we show that the string form factors in the 2n-point functions reduce to one at the eikonal Regge limit.


title: Local Component Analysis for Nonparametric Bayes Classifier

abstract: The decision boundaries of Bayes classifier are optimal because they lead to maximum probability of correct decision. It means if we knew the prior probabilities and the class-conditional densities, we could design a classifier which gives the lowest probability of error. However, in classification based on nonparametric density estimation methods such as Parzen windows, the decision regions depend on the choice of parameters such as window width. Moreover, these methods suffer from curse of dimensionality of the feature space and small sample size problem which severely restricts their practical applications. In this paper, we address these problems by introducing a novel dimension reduction and classification method based on local component analysis. In this method, by adopting an iterative cross-validation algorithm, we simultaneously estimate the optimal transformation matrices (for dimension reduction) and classifier parameters based on local information. The proposed method can classify the data with complicated boundary and also alleviate the course of dimensionality dilemma. Experiments on real data show the superiority of the proposed algorithm in term of classification accuracies for pattern classification applications like age, facial expression and character recognition. Keywords: Bayes classifier, curse of dimensionality dilemma, Parzen window, pattern classification, subspace learning.


title: Towards Constraint-based High Performance Cloud System in the Process of Cloud Computing Adoption in an Organization

abstract: Cloud computing is penetrating into various domains and environments, from theoretical computer science to economy, from marketing hype to educational curriculum and from R&D lab to enterprise IT infrastructure. Yet, the currently developing state of cloud computing leaves several issues to address and also affects cloud computing adoption by organizations. In this paper, we explain how the transition into the cloud can occur in an organization and describe the mechanism for transforming legacy infrastructure into a virtual infrastructure-based cloud. We describe the state of the art of infrastructural cloud, which is essential in the decision making on cloud adoption, and highlight the challenges that can limit the scale and speed of the adoption. We then suggest a strategic framework for designing a high performance cloud system. This framework is applicable when transformation cloudbased deployment model collides with some constraints. We give an example of the implementation of the framework in a design of a budget-constrained high availability cloud system.


title: Equivalence Checking in Embedded Systems Design Verification using PRES+ model

abstract: In this paper we focus on some aspects related to modeling and formal verification of embedded systems. Many models have been proposed to represent embedded systems. These models encompass a broad range of styles, characteristics, and application domains and include the extensions of finite state machines, data flow graphs, communication processes and Petri nets. In this report, we have used a PRES+ model (Petri net based Representation for Embedded Systems) as an extension of classical Petri net model that captures concurrency, timing behaviour of embedded systems; it allows systems to be representative in different levels of abstraction and improves expressiveness by allowing the token to carry information. Modeling using PRES+, as discussed above, may be convenient for specifying the input behaviour because it supports concurrency. However, there is no equivalence checking method reported in the literature for PRES+ models to the best of our knowledge. In contrast, equivalence checking of FSMD models exist. As a first step, therefore, we seek to devise an algorithm to translate PRES+ models to FSMD models and we seek to hand execute our algorithm on a real life example and we have to translate two versions of PRES+ models to FSMD models. Then using existing equivalence checker we have checked the equivalence between two FSMD models.


title: Feedback control of noise in spin valves by the spin-transfer torque

abstract: The miniaturisation of magnetic read heads and random access memory elements makes them vulnerable to thermal fluctuations. We demonstrate how current-induced spin-transfer torques can be used to suppress the effects of thermal fluctuations. This enhances the fidelity of perpendicular magnetic spin valves. The simplest realization is a dc current to stabilize the free magnetic layers. The power can be significantly reduced without losing fidelity by simple control schemes, in which the stabilizing current-induced spin-transfer torque is controlled by the instantaneous resistance.


title: The infrared spectra of ABC-stacking tri- and tetra-layer graphenes studied by first-principles calculations

abstract: The infrared absorption spectra of ABC-stacking tri- and tetra-layer graphenes are studied using the density functional theory. It is found that they exhibit very different characteristic peaks compared with those of AB-stacking ones, caused by the different stacking sequence and interlayer coupling. The anisotropy of the spectra with respect to the direction of the light electric field is significant. The spectra are more sensitive to the stacking number when the electric field is perpendicular to the graphene plane due to the interlayer polarization. The high sensitivities make it possible to identify the stacking sequence and stacking number of samples by comparing theory and experiment.


title: Dendroidal Segal spaces and infinity-operads

abstract: We introduce the dendroidal analogs of the notions of complete Segal space and of Segal category, and construct two appropriate model categories for which each of these notions corresponds to the property of being fibrant. We prove that these two model categories are Quillen equivalent to each other, and to the monoidal model category for infinity-operads which we constructed in an earlier paper. By slicing over the monoidal unit objects in these model categories, we derive as immediate corollaries the known comparison results between Joyal's quasi-categories, Rezk's complete Segal spaces, and Segal categories.


title: Non-gatherable triples for classical affine root systems

abstract: This paper contains a complete description of minimal non-gatherable triangle triples in the lambda-sequences for the affine classical root systems and some claims for arbitrary (reduced) affine root systems. It continues our previous paper devoted to the non-affine case; interestingly, the affine theory clarifies the classification in the non-affine case. The lambda-sequences are associated with reduced decompositions (words) in affine Weyl groups. The existence of the non-gatherable triples is a combinatorial obstacle for using the technique of intertwiners in the theory of irreducible representations of the (double) affine Hecke algebras, complementary to their algebraic-geometric theory.


title: 30S(alpha,p) in X-Ray Bursts at CRIB

abstract: Over the past three years, we have worked on developing a well-characterized 30S radioactive beam to be used in a future experiment aiming to directly measure the 30S(alpha,p) stellar reaction rate within the Gamow window of Type I X-ray bursts.


title: Plaskett's Star: Analysis of the CoRoT photometric data

abstract: The SRa02 of the CoRoT space mission for Asteroseismology was partly devoted to stars belonging to the Mon OB2 association. An intense monitoring was performed on Plaskett's Star (HD47129) and the unprecedented quality of the light curve allows us to shed new light on this very massive, non-eclipsing binary system. We particularly aimed at detecting periodic variability which might be associated with pulsations or interactions between both components. We also searched for variations related to the orbital cycle which could help to constrain the inclination and the morphology of the binary system. A Fourier-based prewhitening and a multiperiodic fitting procedure were applied to analyse the time series and extract the frequencies of variations. We describe the noise properties to tentatively define an appropriate significance criterion, to only point out the peaks at a certain significance level. We also detect the variations related to the orbital motion and study them by using the NIGHTFALL program. The periodogram exhibits a majority of peaks at low frequencies. Among these peaks, we highlight a list of about 43 values, including notably two different sets of harmonic frequencies whose fundamental peaks are located at about 0.07 and 0.82d-1. The former represents the orbital frequency of the binary system whilst the latter could probably be associated with non-radial pulsations. The study of the 0.07d-1 variations reveals the presence of a hot spot most probably situated on the primary star and facing the secondary. The investigation of this unique dataset constitutes a further step in the understanding of Plaskett's Star. These results provide a first basis for future seismic modelling. The existence of a hot region between both components renders the determination of the inclination ambiguous.


title: Recent progress on the Yamabe problem

abstract: We give a survey of various compactness and non-compactness results for the Yamabe equation. We also discuss a conjecture of Hamilton concerning the asymptotic behavior of the parabolic Yamabe flow.


title: Acoustic black holes from supercurrent tunneling

abstract: We present a version of acoustic black holes by using the principle of the Josephson effect. We find that in the case two superconductors $A$ and $B$ are separated by an insulating barrier, an acoustic black hole may be created in the middle region between the two superconductors. We discuss in detail how to describe an acoustic black hole in the Josephson junction and write the metric in the langauge of the superconducting electronics. Our final results infer that for big enough tunneling current and thickness of the junction, experimental verification of the Hawking temperature could be possible.


title: QCD and Light-Front Dynamics

abstract: AdS/QCD, the correspondence between theories in a dilaton-modified five-dimensional anti-de Sitter space and confining field theories in physical space-time, provides a remarkable semiclassical model for hadron physics. Light-front holography allows hadronic amplitudes in the AdS fifth dimension to be mapped to frame-independent light-front wavefunctions of hadrons in physical space-time. The result is a single-variable light-front Schrodinger equation which determines the eigenspectrum and the light-front wavefunctions of hadrons for general spin and orbital angular momentum. The coordinate z in AdS space is uniquely identified with a Lorentz-invariant coordinate zeta which measures the separation of the constituents within a hadron at equal light-front time and determines the off-shell dynamics of the bound state wavefunctions as a function of the invariant mass of the constituents. The hadron eigenstates generally have components with different orbital angular momentum; e.g., the proton eigenstate in AdS/QCD with massless quarks has L=0 and L=1 light-front Fock components with equal probability. Higher Fock states with extra quark-anti quark pairs also arise. The soft-wall model also predicts the form of the non-perturbative effective coupling and its beta-function. The AdS/QCD model can be systematically improved by using its complete orthonormal solutions to diagonalize the full QCD light-front Hamiltonian or by applying the Lippmann-Schwinger method to systematically include QCD interaction terms. Some novel features of QCD are discussed, including the consequences of confinement for quark and gluon condensates. A method for computing the hadronization of quark and gluon jets at the amplitude level is outlined.


title: Seesaw Mechanism Confronting PAMELA in S_4 Flavor Symmetric Extra U(1) Model

abstract: We study cosmic-ray anomaly observed by PAMELA based on E_6 inspired extra U(1) model with S_4 flavor symmetry. In our model, the lightest flavon has very long lifetime of O(10^18) second which is longer than the age of the universe, but not long enough to explain the PAMELA result O(10^26) sec. Such a situation could be avoidable by considering that the flavon is not the dominant component of dark matters. However non-thermalizing the flavon is needed to obtain proper relic density. This relates reheating temperature of the universe with seesaw mass scale. If we assume this flavon is a particle decaying into positron (or electron), the seesaw mass scale is constrained by reheating temperature. Thus we find an interesting result that the allowed region is around O(10^12) GeV, which is consistent with our original result.


title: Rotating BHs as Central Engines of Long GRBs: Faster is Better

abstract: We performed simulations of collapsars with different Kerr parameters a=0, 0.5, 0.9, 0.95. It is shown that a more rapidly rotating black hole is driving a more energetic jet. No jet is seen for the case of Schwartzschild black hole case, while the total energy of the jet is as large as 10^50 erg for a rapidly rotating Kerr black hole case (a=0.95). In order to explain the high luminosity of a GRB, it is concluded that a rapidly rotating black hole is favored ('faster is better'). We also find in the case of a=0.95 that (i) the stagnation region is clearly found in the jet region, (ii) the ordered poloidal field lines are seen in the jet, (iii) the jet region is surrounded by a 'Wall-like' structure that has a higher pressure than the jet region and contains strong vertical magnetic fields, and (iv) the jet is initiated by outgoing Poynting flux from the outer horizon of the black hole (Blandford-Znajek effect). The bulk Lorentz factor of the jet is still of the order of unity. However, energy density of electro-magnetic fields dominates the one of rest-mass in the jet. It can be expected that a relativistic jet will be seen if we perform a simulation for a longer time scale (of the order of 10-100 sec).


title: Dually flat structure with escort probability and its application to alpha-Voronoi diagrams

abstract: This paper studies geometrical structure of the manifold of escort probability distributions and shows its new applicability to information science. In order to realize escort probabilities we use a conformal transformation that flattens so-called alpha-geometry of the space of discrete probability distributions, which well characterizes nonadditive statistics on the space. As a result escort probabilities are proved to be flat coordinates of the usual probabilities for the derived dually flat structure. Finally, we demonstrate that escort probabilities with the new structure admits a simple algorithm to compute Voronoi diagrams and centroids with respect to alpha-divergences.

categories: cond-mat.stat-mech cs.IT math.DG math.IT


title: Gravitational Baryogenesis in Anisotropic Universe

abstract: The interaction between Ricci scalar curvature and the baryon number current, dynamically breaks CPT in an expanding universe and leads to baryon asymmetry. Using this kind of interaction and study the gravitational baryogenesis in the Bianchi type I universe. We find out the effect of anisotropy of the universe on the baryon asymmetry for the case which the equation of state parameter, $\omega$, is dependent to time.


title: Low-energy effective actions in three-dimensional extended SYM theories

abstract: We develop the background field method in the N=2, d=3 superspace for studying effective actions in three-dimensional SYM models which live in the world-volume of various 2-branes. In particular, the low-energy effective action for the N=2 quiver gauge theory with four chiral superfields in the bifundamental representation is studied. This gauge theory describes the D2 brane probing the conifold singularity. Surprisingly, the leading terms in this effective action reproduce the classical action of the Abelian ABJM theory confirming the fact that the M2 brane can be considered as the effective theory for the D2 brane at strong coupling. Apart from this N=2 quiver gauge theory we study the low-energy effective action in pure N=2, N=4 and N=8 SYM theories with gauge group SU(N) spontaneously broken down to an Abelian subgroup. In particular, for the N=4 SYM we find similar correspondence between the leading terms in its effective action and the classical action of the Abelian Gaiotto-Witten theory.


title: Applications of Three Dimensional Extremal Length, I: Tiling of a Topological Cube

abstract: Given a triangulation of a closed topological cube, we show that (under some technical condition) there is an essentially unique tiling of a rectangular parallelepiped by cubes, indexed by the vertices of the triangulation. Moreover, i - the combinatorics is preserved, and ii- the boundary is preserved: vertices corresponding to the cubes at the corners of the rectangular parallelepiped are at the corners of the topological cube. Also, the sizes of the cubes are obtained as a solution of a variational problem which is a discrete version of the notion of extremal length in three dimensional Euclidean space.


title: Measurable bounds for Entanglement of Formation

abstract: We study the entanglement of formation for arbitrary dimensional bipartite mixed unknown states. Experimentally measurable lower and upper bounds for entanglement of formation are derived.


title: Compactness in L-Fuzzy Topological Spaces

abstract: We give a definition of compactness in L-fuzzy topological spaces and provide a characterization of compact L-fuzzy topological spaces, where L is a complete quasi-monoidal lattice with some additional structures, and we present a version of Tychonoff's theorem within the category of L-fuzzy topological spaces.


title: Correlated couplings and robustness of coupled networks

abstract: Most real-world complex systems can be modelled by coupled networks with multiple layers. How and to what extent the pattern of couplings between network layers may influence the interlaced structure and function of coupled networks are not clearly understood. Here we study the impact of correlated inter-layer couplings on the network robustness of coupled networks using percolation concept. We found that the positive correlated inter-layer coupling enhaces network robustness in the sense that it lowers the percolation threshold of the interlaced network than the negative correlated coupling case. At the same time, however, positive inter-layer correlation leads to smaller giant component size in the well-connected region, suggesting potential disadvantage for network connectivity, as demonstrated also with some real-world coupled network structures.

categories: physics.data-an cond-mat.stat-mech cs.SI physics.soc-ph


title: The ASTRO-H Mission

abstract: The joint JAXA/NASA ASTRO-H mission is the sixth in a series of highly successful X-ray missions initiated by the Institute of Space and Astronautical Science (ISAS). ASTRO-H will investigate the physics of the high-energy universe by performing high-resolution, high-throughput spectroscopy with moderate angular resolution. ASTRO-H covers very wide energy range from 0.3 keV to 600 keV. ASTRO-H allows a combination of wide band X-ray spectroscopy (5-80 keV) provided by multilayer coating, focusing hard X-ray mirrors and hard X-ray imaging detectors, and high energy-resolution soft X-ray spectroscopy (0.3-12 keV) provided by thin-foil X-ray optics and a micro-calorimeter array. The mission will also carry an X-ray CCD camera as a focal plane detector for a soft X-ray telescope (0.4-12 keV) and a non-focusing soft gamma-ray detector (40-600 keV) . The micro-calorimeter system is developed by an international collaboration led by ISAS/JAXA and NASA. The simultaneous broad bandpass, coupled with high spectral resolution of Delta E ~7 eV provided by the micro-calorimeter will enable a wide variety of important science themes to be pursued.


title: On Deformable Minimal Hypersurfaces in Space Forms

abstract: The aim of this paper is to complete the local classification of minimal hypersurfaces with vanishing Gauss-Kronecker curvature in a 4-dimensional space form. Moreover, we give a classification of complete minimal hypersurfaces with vanishing Gauss-Kronecker curvature and scalar curvature bounded from below.


title: Attaching handles to Delaunay nodo\"{\i}ds

abstract: For all $m \in \mathbb N - \{0\}$, we prove the existence of a one dimensional family of genus $m$, constant mean curvature (equal to 1) surfaces which are complete, immersed in $\mathbb R^3$ and have two Delaunay ends asymptotic to nodo\"{\i}dal ends. Moreover, these surfaces are invariant under the group of isometries of $\mathbb R^3$ leaving a horizontal regular polygon with $m+1$ sides fixed.


title: Almost conformal transformation in a class of Riemannian manifolds

abstract: We consider a 3-dimensional Riemannian manifold V with a metric g and an affinor structure q. The local coordinates of these tensors are circulant matrices. In V we define an almost conformal transformation. Using that definition we construct an infinite series of circulant metrics which are successively almost conformaly related. In this case we get some properties.


title: Pointed Hopf algebras as cocycle deformations

abstract: We show that all finite dimensional pointed Hopf algebras with the same diagram in the classification scheme of Andruskiewitsch and Schneider are cocycle deformations of each other. This is done by giving first a suitable characterization of such Hopf algebras, which allows for the application of results by Masuoka about Morita-Takeuchi equivalence and by Schauenburg about Hopf Galois extensions. We also outline a method to describe the deforming cocycles involved using the exponential map and its q-analogue.


title: Reduction of Multidimensional Wave Equations to Two-Dimensional Equations: Investigation of Possible Reduced Equations

abstract: We study possible Lie and non-classical reductions of multidimensional wave equations and the special classes of possible reduced equations - their symmetries and equivalence classes. Such investigation allows to find many new conditional and hidden symmetries of the original equations.


title: Polarization observables in the longitudinal basis for pseudo-scalar meson photoproduction using a density matrix approach

abstract: The complete expression for the intensity in pseudo-scalar meson photoproduction with a polarized beam, target, and recoil baryon is derived using a density matrix approach that offers great economy of notation. A Cartesian basis with spins for all particles quantized along a single direction, the longitudinal beam direction, is used for consistency and clarity in interpretation. A single spin-quantization axis for all particles enables the amplitudes to be written in a manifestly covariant fashion with simple relations to those of the well-known CGLN formalism. Possible sign discrepancies between theoretical amplitude-level expressions and experimentally measurable intensity profiles are dealt with carefully. Our motivation is to provide a coherent framework for coupled-channel partial-wave analysis of several meson photoproduction reactions, incorporating recently published and forthcoming polarization data from Jefferson Lab.


title: Universal model for exoergic bimolecular reactions and inelastic processes

abstract: From a rigorous multichannel quantum-defect formulation of bimolecular processes, we derive a fully quantal and analytic model for the total rate of exoergic bimolecular reactions and/or inelastic processes that is applicable over a wide range of temperatures including the ultracold regime. The theory establishes a connection between the ultracold chemistry and the regular chemistry by showing that the same theory that gives the quantum threshold behavior agrees with the classical Gorin model at higher temperatures. In between, it predicts that the rates for identical bosonic molecules and distinguishable molecules would first decrease with temperature outside of the Wigner threshold region, before rising after a minimum is reached.


title: On Design of Collaborative Beamforming for Two-Way Relay Networks

abstract: We consider a two-way relay network, where two source nodes, S1 and S2, exchange information through a cluster of relay nodes. The relay nodes receive the sum signal from S1 and S2 in the first time slot. In the second time slot, each relay node multiplies its received signal by a complex coefficient and retransmits the signal to the two source nodes, which leads to a collaborative two-way beamforming system. By applying the principle of analog network coding, each receiver at S1 and S2 cancels the "self-interference" in the received signal from the relay cluster and decodes the message. This paper studies the 2-dimensional achievable rate region for such a two-way relay network with collaborative beamforming. With different assumptions of channel reciprocity between the source-relay and relay-source channels, the achievable rate region is characterized under two setups. First, with reciprocal channels, we investigate the achievable rate regions when the relay cluster is subject to a sum-power constraint or individual-power constraints. We show that the optimal beamforming vectors obtained from solving the weighted sum inverse-SNR minimization (WSISMin) problems are sufficient to characterize the corresponding achievable rate region. Furthermore, we derive the closed form solutions for those optimal beamforming vectors and consequently propose the partially distributed algorithms to implement the optimal beamforming, where each relay node only needs the local channel information and one global parameter. Second, with the non-reciprocal channels, the achievable rate regions are also characterized for both the sum-power constraint case and the individual-power constraint case. Although no closed-form solutions are available under this setup, we present efficient numerical algorithms.


title: Using TPA to count linear extensions

abstract: A linear extension of a poset $P$ is a permutation of the elements of the set that respects the partial order. Let $L(P)$ denote the number of linear extensions. It is a #P complete problem to determine $L(P)$ exactly for an arbitrary poset, and so randomized approximation algorithms that draw randomly from the set of linear extensions are used. In this work, the set of linear extensions is embedded in a larger state space with a continuous parameter ?. The introduction of a continuous parameter allows for the use of a more efficient method for approximating $L(P)$ called TPA. Our primary result is that it is possible to sample from this continuous embedding in time that as fast or faster than the best known methods for sampling uniformly from linear extensions. For a poset containing $n$ elements, this means we can approximate $L(P)$ to within a factor of $1 + \epsilon$ with probability at least $1 - \delta$ using an expected number of random bits and comparisons in the poset which is at most $O(n^3(ln n)(ln L(P))\epsilon^{-2}\ln \delta^{-1}).$


title: Jahn-Teller distortions and the magnetic order in the perovskite manganites

abstract: We introduce an effective model for $e_g$ electrons to describe three-dimensional perovskite (La$_{1-x}$Sr$_{x}$MnO$_3$ and La$_{1-x}$Ca$_{x}$MnO$_3$) manganites and study the magnetic and orbital order on $4\times 4\times 4$ cluster using correlated wave functions. The model includes the kinetic energy, and on-site Coulomb interactions for $e_g$ electrons, antiferromagnetic superexchange interaction between $S=3/2$ core spins, and the coupling between $e_g$ electrons and Jahn-Teller modes. The model reproduces the experimentally observed magnetic order: ($i$) $A$-type antiferromagnetic phase in the undoped insulator LaMnO$_3$, with alternating $e_g$ orbitals and with small Jahn-Teller distortions, changing to a conducting phase at 32 GPa pressure, and ($ii$) ferromagnetic order in one-eight doped La$_{7/8}$Sr$_{1/8}$MnO$_3$ and in quarter doped La$_{3/4}$Sr$_{1/4}$MnO$_3$ compounds. For half-doped La$_{1/2}$Ca$_{1/2}$MnO$_3$ one finds a competition between a ferromagnetic conductor and the CE insulating phase; the latter is stabilized by the Jahn-Teller coupling being twice larger than for the strontium-doped compound. Altogether, there is a subtle balance between all Hamiltonian parameters and the phase diagram is quite sensitive to the precise values they take.


title: Sequential Strong Measurements and Heat Vision

abstract: We study scenarios where a finite set of non-demolition von-Neumann measurements are available. We note that, in some situations, repeated application of such measurements allows estimating an infinite number of parameters of the initial quantum state, and illustrate the point with a physical example. We then move on to study how the system under observation is perturbed after several rounds of projective measurements. While in the finite dimensional case the effect of this perturbation always saturates, there are some instances of infinite dimensional systems where such a perturbation is accumulative, and the act of retrieving information about the system increases its energy indefinitely (i.e., we have `Heat Vision'). We analyze this effect and discuss a specific physical system with two dichotomic von-Neumann measurements where Heat Vision is expected to show.


title: Water at interface with proteins

abstract: Water is essential for the activity of proteins. However, the effect of the properties of water on the behavior of proteins is only partially understood. Recently, several experiments have investigated the relation between the dynamics of the hydration water and the dynamics of protein. These works have generated a large amount of data whose interpretation is debated. New experiments measure the dynamics of water at low temperature on the surface of proteins, finding a qualitative change (crossover) that might be related to the slowing down and stop of the protein's activity (protein glass transition), possibly relevant for the safe preservation of organic material at low temperature. To better understand the experimental data several scenarios have been discussed. Here, we review these experiments and discuss their interpretations in relation with the anomalous properties of water. We summarize the results for the thermodynamics and dynamics of supercooled water at an interface. We consider also the effect of water on protein stability, making a step in the direction of understanding, by means of Monte Carlo simulations and theoretical calculations, how the interplay of water cooperativity and hydrogen bonds interfacial strengthening affects the protein cold denaturation.


title: On a conjecture of Hivert and Thi\'ery about Steenrod operators

abstract: We prove some results related to a conjecture of Hivert and Thi\'ery about the dimension of the space of q-harmonics. In the process we compute the actions of the involved operators on symmetric and alternating functions, which have some independent interest. We then use these computations to prove other results related to the same conjecture.


title: A Testbed Implementation for Securing OLSR in Mobile Ad hoc Networks

abstract: Contemporary personal computing devices are increasingly required to be portable and mobile enabling user's wireless access, to wired network infrastructures and services. This approach to mobile computing and communication is only appropriate in situations where a coherent infrastructure is available. There are many situations where these requirements are not fulfilled such as; developing nations, rural areas, natural disasters, and military conflicts to name but a few. A practical solution is to use mobile devices interconnected via a wireless medium to form a network, known as a Mobile Ad-hoc Network (MANET), and provide the services normally found in wired networks. Security in MANETs is an issue of paramount importance due to the wireless nature of the communication links. Additionally due to the lack of central administration security issues are different from conventional networks. For the purposes of this article we have used the "WMN test-bed" to enable secure routing in MANETs. The use of cryptography is an efficient proven way of securing data in communications, but some cryptographic algorithms are not as efficient as others and require more processing power, which is detrimental to MANETs. In this article we have assessed different cryptographic approaches to securing the OLSR (Optimised Link State Routing) protocol to provide a basis for research. We conclude the paper with a series of performance evaluation results regarding different cryptographic and hashing schemes. Our findings clearly show that the most efficient combination of algorithms used for authentication and encryption are SHA-1 and AES respectively. Using this combination over their counterparts will lead to a considerable reduction in processing time and delay on the network, creating an efficient transaction moving towards satisfying resource constraints and security requirements.


title: On optimal arbitrage

abstract: In a Markovian model for a financial market, we characterize the best arbitrage with respect to the market portfolio that can be achieved using nonanticipative investment strategies, in terms of the smallest positive solution to a parabolic partial differential inequality; this is determined entirely on the basis of the covariance structure of the model. The solution is intimately related to properties of strict local martingales and is used to generate the investment strategy which realizes the best possible arbitrage. Some extensions to non-Markovian situations are also presented.


title: Optimal investment policy and dividend payment strategy in an insurance company

abstract: We consider in this paper the optimal dividend problem for an insurance company whose uncontrolled reserve process evolves as a classical Cram\'{e}r--Lundberg process. The firm has the option of investing part of the surplus in a Black--Scholes financial market. The objective is to find a strategy consisting of both investment and dividend payment policies which maximizes the cumulative expected discounted dividend pay-outs until the time of bankruptcy. We show that the optimal value function is the smallest viscosity solution of the associated second-order integro-differential Hamilton--Jacobi--Bellman equation. We study the regularity of the optimal value function. We show that the optimal dividend payment strategy has a band structure. We find a method to construct a candidate solution and obtain a verification result to check optimality. Finally, we give an example where the optimal dividend strategy is not barrier and the optimal value function is not twice continuously differentiable.


title: On using shadow prices in portfolio optimization with transaction costs

abstract: In frictionless markets, utility maximization problems are typically solved either by stochastic control or by martingale methods. Beginning with the seminal paper of Davis and Norman [Math. Oper. Res. 15 (1990) 676--713], stochastic control theory has also been used to solve various problems of this type in the presence of proportional transaction costs. Martingale methods, on the other hand, have so far only been used to derive general structural results. These apply the duality theory for frictionless markets typically to a fictitious shadow price process lying within the bid-ask bounds of the real price process. In this paper, we show that this dual approach can actually be used for both deriving a candidate solution and verification in Merton's problem with logarithmic utility and proportional transaction costs. In particular, we determine the shadow price process.


title: Do price and volatility jump together?

abstract: We consider a process $X_t$, which is observed on a finite time interval $[0,T]$, at discrete times $0,\Delta_n,2\Delta_n,\ldots.$ This process is an It\^{o} semimartingale with stochastic volatility $\sigma_t^2$. Assuming that $X$ has jumps on $[0,T]$, we derive tests to decide whether the volatility process has jumps occurring simultaneously with the jumps of $X_t$. There are two different families of tests for the two possible null hypotheses (common jumps or disjoint jumps). They have a prescribed asymptotic level as the mesh $\Delta_n$ goes to $0$. We show on some simulations that these tests perform reasonably well even in the finite sample case, and we also put them in use on S&P 500 index data.


title: Long-time dynamics in plate models with strong nonlinear damping

abstract: We study long-time dynamics of a class of abstract second order in time evolution equations in a Hilbert space with the damping term depending both on displacement and velocity. This damping represents the nonlinear strong dissipation phenomenon perturbed with relatively compact terms. Our main result states the existence of a compact finite dimensional attractor. We study properties of this attractor. We also establish the existence of a fractal exponential attractor and give the conditions that guarantee the existence of a finite number of determining functionals. In the case when the set of equilibria is finite and hyperbolic we show that every trajectory is attracted by some equilibrium with exponential rate. Our arguments involve a recently developed method based on the "compensated" compactness and quasi-stability estimates. As an application we consider the nonlinear Kirchhoff, Karman and Berger plate models with different types of boundary conditions and strong damping terms. Our results can be also applied to the nonlinear wave equations.


title: Applications of quantum Monte Carlo methods in condensed systems

abstract: The quantum Monte Carlo methods represent a powerful and broadly applicable computational tool for finding very accurate solutions of the stationary Schroedinger equation for atoms, molecules, solids and a variety of model systems. The algorithms are intrinsically parallel and are able to take full advantage of the present-day high-performance computing systems. This review article concentrates on the fixed-node/fixed-phase diffusion Monte Carlo method with emphasis on its applications to electronic structure of solids and other extended many-particle systems.


title: Resonant Electron Transport in Single-Molecule Junctions: Vibrational Excitation, Rectification, Negative Differential Resistance and Local Cooling

abstract: Vibronic effects in resonant electron transport through single-molecule junctions are analyzed. The study is based on generic models for molecular junctions, which include electronic states on the molecular bridge that are vibrationally coupled and exhibit Coulomb interaction. The transport calculations employ a master equation approach. The results, obtained for a series of models with increasing complexity, show a multitude of interesting transport phenomena, including vibrational excitation, rectification, negative differential resistance (NDR) as well as local cooling. While some of these phenomena have been observed or proposed before, the present analysis extends previous studies and allows a more detailed understanding of the underlying transport mechanisms. In particular, it is shown that many of the observed phenomena can only be explained if electron-hole pair creation processes at the molecule-lead interface are taken into account. Furthermore, vibronic effects in sytems with multiple electronic states and their role for the stability of molecular junctions are analyzed.


title: The twistor space of a quaternionic contact manifold

abstract: We show that the CR structure on the twistor space of a quaternionic contact structure described by Biquard is normal if and only if the Ricci curvature of the Biquard connection commutes with the endomorphisms in the quaternionic structure of the contact distribution.


title: The QCD vacuum wave functional and confinement in Coulomb gauge

abstract: We report results on the Coulomb-gauge ghost propagator and the color-Coulomb potential computed in two lattice gauge-field ensembles: (1) configurations derived from our recently proposed Yang-Mills vacuum wave functional in 2+1 dimensions, and (2) lattices generated by Monte Carlo simulations of the three-dimensional Euclidean SU(2) lattice gauge theory with the Wilson action. We observe remarkable agreement between the ghost propagators in both ensembles, but some differences in the potentials. Those originate from rare configurations with very small values of the lowest eigenvalue of the Coulomb-gauge Faddeev-Popov operator. If the same cuts on such exceptional configurations are applied in both ensembles, then the color-Coulomb potentials are also in reasonably good agreement.


title: Polycyclic Aromatic Hydrocarbons as Star Formation Rate Indicators

abstract: As images and spectra from ISO and Spitzer have provided increasingly higher-fidelity representations of the mid-infrared (MIR) and Polycyclic Aromatic Hydrocarbon (PAH) emission from galaxies and galactic and extra-galactic regions, more systematic efforts have been devoted to establishing whether the emission in this wavelength region can be used as a reliable star formation rate indicator. This has also been in response to the extensive surveys of distant galaxies that have accumulated during the cold phase of the Spitzer Space Telescope. Results so far have been somewhat contradictory, reflecting the complex nature of the PAHs and of the mid-infrared-emitting dust in general. The two main problems faced when attempting to define a star formation rate indicator based on the mid-infrared emission from galaxies and star-forming regions are: (1) the strong dependence of the PAH emission on metallicity; (2) the heating of the PAH dust by evolved stellar populations unrelated to the current star formation. I review the status of the field, with a specific focus on these two problems, and will try to quantify the impact of each on calibrations of the mid-infrared emission as a star formation rate indicator.


title: Soft Gamma-ray Detector for the ASTRO-H Mission

abstract: ASTRO-H is the next generation JAXA X-ray satellite, intended to carry instruments with broad energy coverage and exquisite energy resolution. The Soft Gamma-ray Detector (SGD) is one of ASTRO-H instruments and will feature wide energy band (40-600 keV) at a background level 10 times better than the current instruments on orbit. SGD is complimentary to ASTRO-H's Hard X-ray Imager covering the energy range of 5-80 keV. The SGD achieves low background by combining a Compton camera scheme with a narrow field-of-view active shield where Compton kinematics is utilized to reject backgrounds. The Compton camera in the SGD is realized as a hybrid semiconductor detector system which consists of silicon and CdTe (cadmium telluride) sensors. Good energy resolution is afforded by semiconductor sensors, and it results in good background rejection capability due to better constraints on Compton kinematics. Utilization of Compton kinematics also makes the SGD sensitive to the gamma-ray polarization, opening up a new window to study properties of gamma-ray emission processes. The ASTRO-H mission is approved by ISAS/JAXA to proceed to a detailed design phase with an expected launch in 2014. In this paper, we present science drivers and concept of the SGD instrument followed by detailed description of the instrument and expected performance.


title: New Experimental Constraints for the Standard Model from Muon Decay

abstract: The TWIST Collaboration has completed a new measurement of the energy-angle spectrum of positrons from the decay of highly polarized muons. A simultaneous measurement of the muon decay parameters {\rho}, {\delta}, and (P_{\mu}){\xi} tests the Standard Model (SM) in a purely leptonic process and provides improved limits for relevant extensions to the SM. Specifically, for the generalized left-right symmetric model |(g_R/g_L){\zeta}|<0.020 and (g_L/g_R)m_2> 578 GeV/c^2, both 90% C.L.


title: On the Stability of Swarm Consensus Under Noisy Control

abstract: Representation of a swarm of independent robotic agents under graph-theoretic constructs allows for more formal analysis of convergence properties. We consider the local and global convergence behavior of an N-member swarm of agents in a modified consensus problem wherein the connectivity of agents is governed by probabilistic functions. The addition of a random walk control ensures Lyapunov stability of the swarm consensus. Simulation results are given and planned experiments are described.


title: The Ising M-p-spin mean-field model for the structural glass: continuous vs. discontinuous transition

abstract: The critical behavior of a family of fully connected mean-field models with quenched disorder, the $M-p$ Ising spin glass, is analyzed, displaying a crossover between a continuous and a random first order phase transition as a control parameter is tuned. Due to its microscopic properties the model is straightforwardly extendable to finite dimensions in any geometry.


title: A decay property of solutions to the k-generalized KdV equation

abstract: We use a Leibnitz rule type inequality for fractional derivatives to prove conditions under which a solution $u(x,t)$ of the k-generalized KdV equation is in the space $L^2(|x|^{2s}\,dx)$ for $s \in \mathbb R_{+}$.


title: Talbot Workshop 2010 Talk 2: K-Theory and Index Theory

abstract: These are notes from a talk at the 2010 Talbot Workshop on Twisted K-theory and Loop Groups. This particular talk is an overview of index theory from the point of view of topological K-theory. Assuming little background in analysis, but some familiarity with complex K-theory, the talk covers the (families) Atiyah-Singer index theorem from the point of view of Gysin maps for fibrations, and orientations for complex K-theory in terms of spin^c structures, Clifford algebras and Dirac operators. Higher index theory is also discussed, in terms of Cl_k modules and Cl_k-linear operators. It is meant to be a readable introduction to the subject, with references to the literature.


title: A view of the solar neighbourhood: the local population of planetary nebulae and their mimics

abstract: We have, for the first time, compiled a nearly complete census of planetary nebulae (PNe) centred on the Sun. Our goal is the generation of an unbiased volume-limited sample, in order to answer some long-standing statistical questions regarding the overall population of Galactic disk PNe and their central stars. Much improved discrimination of classical PNe from their mimics is now possible based on the wide variety of high-quality multiwavelength data sets that are now available. However, we note that evidence is increasing that PNe are heterogeneous, and probably derived from multiple evolutionary scenarios. We give some preliminary data on the relative frequencies of different types of PNe in the local Galactic disk.


title: The string of variable density: further results

abstract: We analyze the problem of calculating the solutions and the spectrum of a string with arbitrary density and fixed ends. We build a perturbative scheme which uses a basis of WKB-type functions and obtain explicit expressions for the eigenvalues and eigenfunctions of the string. Using this approach we show that it is possible to derive the asymptotic (high energy) behavior of the string, obtaining explicit expressions for the first three coefficients (the first two can also be obtained with the WKB method). Finally using an iterative approach we also obtain analytical expressions for the low energy behavior of the eigenvalues and eigenfunctions of a string with rapidly oscillating density, recovering (in a simpler way) results in the literature.

categories: math-ph math.MP physics.class-ph quant-ph


title: Error Estimates for Generalized Barycentric Interpolation

abstract: We prove the optimal convergence estimate for first order interpolants used in finite element methods based on three major approaches for generalizing barycentric interpolation functions to convex planar polygonal domains. The Wachspress approach explicitly constructs rational functions, the Sibson approach uses Voronoi diagrams on the vertices of the polygon to define the functions, and the Harmonic approach defines the functions as the solution of a PDE. We show that given certain conditions on the geometry of the polygon, each of these constructions can obtain the optimal convergence estimate. In particular, we show that the well-known maximum interior angle condition required for interpolants over triangles is still required for Wachspress functions but not for Sibson functions.


title: Non-Compact Geometries in 2D Euclidean Quantum Gravity

abstract: This thesis discusses the worldsheet geometries in the (p,q) minimal model coupled to 2D euclidean Quantum Gravity with particular focus on non-compact geometries. We first calculate the FZZT-FZZT cylinder amplitudes for all pairs of Cardy matter states thereby generalizing the result obtained in arXiv:hep-th/0406030 and discuss the decompositions of the cylinder amplitudes in terms of solutions to the homogeneous Wheeler-DeWitt equation. We then show, that the principal ZZ boundary conditions in Liouville theory can be viewed as effective boundary conditions obtained by integrating out the matter degrees of freedom on the worldsheet. We now consider the (2,2m-1) minimal model coupled to 2D euclidean Quantum Gravity obtained in the scaling limit of dynamical triangulations, in which the mth multi-critical hyper-surface is approached and the conformal background is turned on. We show, that only one concrete realization of matter boundary condition, the (1,1) Cardy boundary condition, is obtained in this scaling limit. Finally, we study the cylinder amplitude with fixed distance and provide some evidence of a transition from a FZZT-brane to a ZZ-brane on the exit loop in the limit, where the distance approaches infinity, and for particular values of the exit-boundary cosmological constant.


title: The local energy production rates of GRB photons and of UHECRs

abstract: In a recent analysis it was found that the local (z=0) rate at which gamma-ray bursts (GRBs) produce energy in 1 MeV photons, Q_GRB(z=0), is 300 times lower than the local energy production rate in ultra-high energy cosmic-rays. This may appear to be in contradiction with earlier results, according to which Q_GRB(z=0) is similar to the local energy production rate in >10^{19} eV cosmic-rays, Q_{10EeV}(z=0). This short (1 page) note identifies the origin of the apparent discrepancy and shows that Q_GRB(z=0) \sim Q_{10EeV}(z=0) holds.


title: Broad-band coherent backscattering spectroscopy of the interplay between order and disorder in 3D opal photonic crystals

abstract: We present an investigation of coherent backscattering of light that is multiple scattered by a photonic crystal by using a broad-band technique. The results significantly extend on previous backscattering measurements on photonic crystals by simultaneously accessing a large frequency and angular range. Backscatter cones around the stop gap are successfully modelled with diffusion theory for a random medium. Strong variations of the apparent mean free path and the cone enhancement are observed around the stop band. The variations of the mean free path are described by a semi-empirical three-gap model including band structure effects on the internal reflection and penetration depth. A good match between theory and experiment is obtained without the need of additional contributions of group velocity or density of states. We argue that the cone enhancement reveals additional information on directional transport properties that are otherwise averaged out in diffuse multiple scattering.


title: Bootstrapping Null Polygon Wilson Loops

abstract: We derive the two loop expressions for polygonal Wilson loops by starting from the one loop expressions and applying an operator product expansion. We do this for polygonal Wilson loops in R^{1,1} and find a result in agreement with previous computations. We also discuss the spectrum of excitations around flux tube that connects two null Wilson lines.


title: Crystallization of amorphous alloy of Fe-Cu-Nb-Si-B under the influence of high-power flashing optical radiation

abstract: Investigation of crystallization in an 5BDSR amorphous alloy by system Fe-Cu-Nb-Si-B under the influence of an incoherent optical radiation generated by gas discharge flash-lamp using X-ray diffraction scattering. It is shown that depending on the magnitude of the input power to the flash-lamp of structure of the alloy varies widely after radiation: a change in the short-range order during retaining the amorphous structure or the formation of several crystalline phases with different quantitative content in the alloy. Conditions are found for the formation of the nanocrystalline structure. Analysis in terms of the Kolmogorov-Johnson-Mehl-Avrami kinetics showed that the mechanism of primary crystallization under flash irradiation is associated with a well-known for finemet-type alloys: rapid nucleation, followed by growth slowing of nanocrystalline phase alpha-Fe(Si) with the D03 structure.


title: The 6-vertex model with fixed boundary conditions

abstract: We study the 6-vertex model with fixed boundary conditions. In the thermodynamical limit there is a formation of the limit shape. We collect most of the known results about the analytical properties of the free energy of the model as the function of electric fields and study the asymptotical behavior near singularities. We also study the asymptotic of limit shapes and the structure of correlation functions in the bulk.


title: On the persistence properties of solutions of nonlinear dispersive equations in weighted Sobolev spaces

abstract: We study persistence properties of solutions to some canonical dispersive models, namely the semi-linear Schr\"odinger equation, the $k$-generalized Korteweg-de Vries equation and the Benjamin-Ono equation, in weighted Sobolev spaces $H^s(\R^n)\cap L^2(|x|^ldx),\;s,\,l>0$


title: Radiatively induced Lorentz-violating operator of mass dimension five in QED

abstract: The first higher derivative term of the photon sector of Lorentz-violating QED, with operator of mass dimension $d=5$, is radiatively induced from the fermion sector, in which contains a derivative term with the dimensionless coefficient $g^{\lambda\mu\nu}$. The calculation is performed perturbatively in the coefficient for Lorentz violation, and due to the fact that the contributions are quadratically divergent, we adopt dimensional regularization.


title: The Nature of Damped Lyman Alpha Systems and Their Hosts in the Standard Cold Dark Matter Universe

abstract: Using adaptive mesh-refinement cosmological hydrodynamic simulations with a physically motivated supernova feedback prescription we show that the standard cold dark matter model can account for extant observed properties of damped Lyman alpha systems (DLAs). We then examine the properties of DLA host galaxies. We find: (1) While DLA hosts roughly trace the overall population of galaxies at all redshifts, they are always gas rich. (2) The history of DLA evolution reflects primarily the evolution of the underlying cosmic density, galaxy size and galaxy interactions. With higher density and more interactions at high redshift DLAs are larger in both absolute terms and in relative terms with respect to virial radii of halos. (3) The variety of DLAs at high redshift is richer with a large contribution coming from galactic filaments, created through close galaxy interactions. The portion of gaseous disks of galaxies where most stars reside makes relatively small contribution to DLA incidence at z=3-4. (4) The vast majority of DLAs arise in halos of mass M_h=10^10-10^12 Msun at z=1.6-4. At z=3-4, 20-30% of DLA hosts are Lyman Break Galaxies (LBGs). (5) Galactic winds play an indispensable role in shaping the kinematic properties of DLAs. Specifically, the high velocity width DLAs are a mixture of those arising in high mass, high velocity dispersion halos and those arising in smaller mass systems where cold gas clouds are entrained to high velocities by galactic winds. (6) In agreement with observations, we see a weak but noticeable evolution in DLA metallicity. The metallicity distribution centers at [Z/H]=-1.5 to -1 at z=3-4, with the peak moving to [Z/H]=-0.75 at z=1.6 and [Z/H]=-0.5 by z=0. (7) The star formation rate of DLA hosts is concentrated in the range 0.3-30Msun/yr at z=3-4, gradually shifting lower to peak at ~0.5-1 Msun/yr by z=0.


title: Enhancing the critical current in quasiperiodic pinning arrays below and above the matching magnetic flux

abstract: Quasiperiodic pinning arrays, as recently demonstrated theoretically and experimentally using a five-fold Penrose tiling, can lead to a significant enhancement of the critical current Ic as compared to "traditional" regular pinning arrays. However, while regular arrays showed only a sharp peak in Ic(Phi) at the matching flux Phi1 and quasiperiodic arrays provided a much broader maximum at Phi<Phi1, both types of pinning arrays turned out to be inefficient for fluxes larger than Phi1. We demonstrate theoretically and experimentally the enhancement of Ic(Phi) for Phi>Phi1 by using non-Penrose quasiperiodic pinning arrays. This result is based on a qualitatively different mechanism of flux pinning by quasiperiodic pinning arrays and could be potentially useful for applications in superconducting micro-electronic devices operating in a broad range of magnetic fields.


title: A Unified Framework for Testing Linear-Invariant Properties

abstract: The study of the interplay between the testability of properties of Boolean functions and the invariances acting on their domain which preserve the property was initiated by Kaufman and Sudan (STOC 2008). Invariance with respect to F_2-linear transformations is arguably the most common symmetry exhibited by natural properties of Boolean functions on the hypercube. Hence, an important goal in Property Testing is to describe necessary and sufficient conditions for the testability of linear-invariant properties. This direction was explicitly proposed for investigation in a recent survey of Sudan. We obtain the following results: 1. We show that every linear-invariant property that can be characterized by forbidding induced solutions to a (possibly infinite) set of linear equations can be tested with one-sided error. 2. We show that every linear-invariant property that can be tested with one-sided error can be characterized by forbidding induced solutions to a (possibly infinite) set of systems of linear equations. We conjecture that our result from item (1) can be extended to cover systems of linear equations. We further show that the validity of this conjecture would have the following implications: 1. It would imply that every linear-invariant property that is closed under restrictions to linear subspaces is testable with one-sided error. Such a result would unify several previous results on testing Boolean functions, such as the testability of low-degree polynomials and of Fourier dimensionality. 2. It would imply that a linear-invariant property P is testable with one-sided error if and only if P is closed under restrictions to linear subspaces, thus resolving Sudan's problem.


title: Collective motion

abstract: We review the observations and the basic laws describing the essential aspects of collective motion -- being one of the most common and spectacular manifestation of coordinated behavior. Our aim is to provide a balanced discussion of the various facets of this highly multidisciplinary field, including experiments, mathematical methods and models for simulations, so that readers with a variety of background could get both the basics and a broader, more detailed picture of the field. The observations we report on include systems consisting of units ranging from macromolecules through metallic rods and robots to groups of animals and people. Some emphasis is put on models that are simple and realistic enough to reproduce the numerous related observations and are useful for developing concepts for a better understanding of the complexity of systems consisting of many simultaneously moving entities. As such, these models allow the establishing of a few fundamental principles of flocking. In particular, it is demonstrated, that in spite of considerable differences, a number of deep analogies exist between equilibrium statistical physics systems and those made of self-propelled (in most cases living) units. In both cases only a few well defined macroscopic/collective states occur and the transitions between these states follow a similar scenario, involving discontinuity and algebraic divergences.


title: A New Method for Measuring the Upper End of the IMF

abstract: A method is presented here for investigating variations in the upper end of the stellar Initial Mass Function (IMF) by probing the production rate of ionizing photons in unresolved, compact star clusters with ages<10 Myr and covering a range of masses. We test this method on the young cluster population in the nearby galaxy M51a, for which multi-wavelength observations from the Hubble Space Telescope are available. Our results indicate that the proposed method can probe the upper end of the IMF in galaxies located out to at least 10 Mpc, i.e., a factor 200 further away than possible by counting individual stars in young compact clusters. Our results for this galaxy show no obvious dependence of the upper mass end of the IMF on the mass of the star cluster, down to ~1000 M_sun, although more extensive analyses involving lower mass clusters and other galaxies are needed to confirm this conclusion.


title: How the Dimension of Space Affects the Products of Pre-Biotic Evolution: The Spatial Population Dynamics of Structural Complexity and The Emergence of Membranes

abstract: We show that autocatalytic networks of epsilon-machines and their population dynamics differ substantially between spatial (geographically distributed) and nonspatial (panmixia) populations. Generally, regions of spacetime-invariant autocatalytic networks---or domains---emerge in geographically distributed populations. These are separated by functional membranes of complementary epsilon-machines that actively translate between the domains and are responsible for their growth and stability. We analyze both spatial and nonspatial populations, determining the algebraic properties of the autocatalytic networks that allow for space to affect the dynamics and so generate autocatalytic domains and membranes. In addition, we analyze populations of intermediate spatial architecture, delineating the thresholds at which spatial memory (information storage) begins to determine the character of the emergent auto-catalytic organization.


title: Von Neumann rho invariants and torsion in the topological knot concordance group

abstract: We discuss an infinite class of metabelian Von Neumann rho-invariants. Each one is a homomorphism from the monoid of knots to the real line. In general they are not well defined on the concordance group. Nonetheless, we show that they pass to well defined homomorphisms from the subgroup of the concordance group generated by anisotropic knots. Thus, the computation of even one of these invariants can be used to conclude that a knot is of infinite order. We introduce a method to give a computable bound on these invariants. Finally we compute this bound to get a new and explicit infinite set of twist knots which is linearly independent in the concordance group and whose every member is of algebraic order 2 .


title: Recombination in polymer-fullerene bulk heterojunction solar cells

abstract: Recombination of photogenerated charge carriers in polymer bulk heterojunction (BHJ) solar cells reduces the short circuit current (Jsc) and the fill factor (FF). Identifying the mechanism of recombination is, therefore, fundamentally important for increasing the power conversion efficiency. Light intensity and temperature dependent current-voltage measurements on polymer BHJ cells made from a variety of different semiconducting polymers and fullerenes show that the recombination kinetics are voltage dependent and evolve from first order recombination at short circuit to bimolecular recombination at open circuit as a result of increasing the voltage-dependent charge carrier density in the cell. The "missing 0.3V" inferred from comparison of the band gaps of the bulk heterojunction materials and the measured open circuit voltage at room temperature results from the temperature dependence of the quasi-Fermi-levels in the polymer and fullerene domains - a conclusion based upon the fundamental statistics of Fermions.


title: Layered architecture for quantum computing

abstract: We develop a layered quantum computer architecture, which is a systematic framework for tackling the individual challenges of developing a quantum computer while constructing a cohesive device design. We discuss many of the prominent techniques for implementing circuit-model quantum computing and introduce several new methods, with an emphasis on employing surface code quantum error correction. In doing so, we propose a new quantum computer architecture based on optical control of quantum dots. The timescales of physical hardware operations and logical, error-corrected quantum gates differ by several orders of magnitude. By dividing functionality into layers, we can design and analyze subsystems independently, demonstrating the value of our layered architectural approach. Using this concrete hardware platform, we provide resource analysis for executing fault-tolerant quantum algorithms for integer factoring and quantum simulation, finding that the quantum dot architecture we study could solve such problems on the timescale of days.


title: Yacc is dead

abstract: We present two novel approaches to parsing context-free languages. The first approach is based on an extension of Brzozowski's derivative from regular expressions to context-free grammars. The second approach is based on a generalization of the derivative to parser combinators. The payoff of these techniques is a small (less than 250 lines of code), easy-to-implement parsing library capable of parsing arbitrary context-free grammars into lazy parse forests. Implementations for both Scala and Haskell are provided. Preliminary experiments with S-Expressions parsed millions of tokens per second, which suggests this technique is efficient enough for use in practice.


title: Global Well-posedness for The 2D Boussinesq System Without Heat Diffusion and With Either Anisotropic Viscosity or Inviscid Voigt-$\alpha$ Regularization

abstract: We establish global existence and uniqueness theorems for the two-dimensional non-diffusive Boussinesq system with viscosity only in the horizontal direction, which arises in Ocean dynamics. This work improves the global well-posedness results established recently by R. Danchin and M. Paicu for the Boussinesq system with anisotropic viscosity and zero diffusion. Although we follow some of their ideas, in proving the uniqueness result, we have used an alternative approach by writing the transported temperature (density) as $\theta = \Delta\xi$ and adapting the techniques of V. Yudovich for the 2D incompressible Euler equations. This new idea allows us to establish uniqueness results with fewer assumptions on the initial data for the transported quantity $\theta$. Furthermore, this new technique allows us to establish uniqueness results without having to resort to the paraproduct calculus of J. Bony. We also propose an inviscid $\alpha$-regularization for the two-dimensional inviscid, non-diffusive Boussinesq system of equations, which we call the Boussinesq-Voigt equations. Global regularity of this system is established. Moreover, we establish the convergence of solutions of the Boussinesq-Voigt model to the corresponding solutions of the two-dimensional Boussinesq system of equations for inviscid flow without heat (density) diffusion on the interval of existence of the latter. Furthermore, we derive a criterion for finite-time blow-up of the solutions to the inviscid, non-diffusive 2D Boussinesq system based on this inviscid Voigt regularization. Finally, we propose a Voigt-$\alpha$ regularization for the inviscid 3D Boussinesq equations with diffusion, and prove its global well-posedness. It is worth mentioning that our results are also valid in the presence of the $\beta$-plane approximation of the Coriolis force.