title: Comparison of Algorithms for Compressed Sensing of Magnetic Resonance Images

abstract: Magnetic resonance imaging (MRI) is an essential medical tool with inherently slow data acquisition process. Slow acquisition process requires patient to be long time exposed to scanning apparatus. In recent years significant efforts are made towards the applying Compressive Sensing technique to the acquisition process of MRI and biomedical images. Compressive Sensing is an emerging theory in signal processing. It aims to reduce the amount of acquired data required for successful signal reconstruction. Reducing the amount of acquired image coefficients leads to lower acquisition time, i.e. time of exposition to the MRI apparatus. Using optimization algorithms, satisfactory image quality can be obtained from the small set of acquired samples. A number of optimization algorithms for the reconstruction of the biomedical images is proposed in the literature. In this paper, three commonly used optimization algorithms are compared and results are presented on the several MRI images.


title: Centers and Cocenters of $0$-Hecke algebras

abstract: In this paper, we give explicit descriptions of the centers and cocenters of $0$-Hecke algebras associated to finite Coxeter groups.


title: Cocenters and representations of affine $0$-Hecke algebras

abstract: In this paper, we study the relation between the cocenter $\overline{\tilde \ch_0}$ and the finite dimensional representations of an affine $0$-Hecke algebra $\tilde \ch_0$. As a consequence, we obtain a new criterion on the supersingular modules: a (virtual) module of $\tilde \ch_0$ is supersingular if and only if its character vanishes on the non-supersingular part of $\overline{\tilde \ch_0}$.


title: Monotonicity formula for complete hypersurfaces in the Hyperbolic space and applications

abstract: In this paper we prove a monotonicity formula for the integral of the mean curvature for complete and proper hypersurfaces of the hyperbolic space and, as consequences, we obtain a lower bound for the integral of the mean curvature and that the integral of the mean curvature is infinity.


title: Convergence analysis of the thermal discrete dipole approximation

abstract: The thermal discrete dipole approximation (T-DDA) is a numerical approach for modeling near-field radiative heat transfer in complex three-dimensional geometries. In this work, the convergence of the T-DDA is investigated by comparison against the exact results for two spheres separated by a vacuum gap. The error associated with the T-DDA is reported for various sphere sizes, refractive indices and vacuum gap thicknesses. The results reveal that for a fixed number of subvolumes, the accuracy of the T-DDA degrades as the refractive index and the sphere diameter to gap ratio increase. A converging trend is observed as the number of subvolumes increases. The large computational requirements associated with increasing the number of subvolumes, and the shape error induced by large sphere diameter to gap ratios, are mitigated by using a nonuniform discretization scheme. Nonuniform discretization is shown to significantly accelerate the convergence of the T-DDA, and is thus recommended for near-field thermal radiation simulations. Errors less than 5% are obtained in 74% of the cases studied by using up to 82712 subvolumes. Additionally, the convergence analysis demonstrates that the T-DDA is very accurate when dealing with surface polariton resonant modes dominating radiative heat transfer in the near field.


title: Cubes and Their Centers

abstract: We study the relationship between the sizes of sets $B,S$ in $\mathbb{R}^n$ where $B$ contains the $k$-skeleton of an axes-parallel cube around each point in $S$, generalizing the results of Keleti, Nagy, and Shmerkin about such sets in the plane. We find sharp estimates for the possible packing and box-counting dimensions of $B$ and $S$. These estimates follow from related cardinality bounds for sets containing the discrete skeleta of cubes around a finite set of a given size. The Katona-Kruskal theorem from hypergraph theory plays an important role. We also find partial results for the Hausdorff dimension and settle an analogous question for the dual polytope of the cube, the orthoplex.


title: Entropy-power inequality for weighted entropy

abstract: We analyse an analog of the entropy-power inequality for the weighted entropy.


title: Results of a direct search using synchrotron radiation for the low-energy $^{229}$Th nuclear isomeric transition

abstract: We report the results of a direct search for the $^{229}$Th ($I^{p} = 3/2^+\leftarrow 5/2^+$) nuclear isomeric transition, performed by exposing $^{229}$Th-doped LiSrAlF$_6$ crystals to tunable vacuum-ultraviolet synchrotron radiation and observing any resulting fluorescence. We also use existing nuclear physics data to establish a range of possible transition strengths for the isomeric transition. We find no evidence for the thorium nuclear transition between $7.3 {eV}$ and $8.8 {eV}$ with transition lifetime $(1-2){s} \lesssim \tau \lesssim (2000-5600){s}$. This measurement excludes roughly half of the favored transition search area and can be used to direct future searches.


title: The Chromatic Splitting Conjecture at n=p=2

abstract: We show that the strongest form of Hopkins' chromatic splitting conjecture, as stated by Hovey, cannot hold at chromatic level n=2 at the prime p=2. More precisely, for V(0) the mod 2 Moore spectrum, we prove that the kth homotopy group of L_1L_{K(2)}V(0) is not zero when k is congruent to -3 modulo 8. We explain how this contradicts the decomposition of L_1L_{K(2)}S predicted by the chromatic splitting conjecture.


title: Collective decision efficiency and optimal voting mechanisms: A comprehensive overview for multi-classifier models

abstract: A new game-theoretic approach for combining multiple classifiers is proposed. A short introduction in Game Theory and coalitions illustrate the way any collective decision scheme can be viewed as a competitive game of coalitions that are formed naturally when players state their preferences. The winning conditions and the voting power of each player are studied under the scope of voting power indices, as well and the collective competence of the group. Coalitions and power indices are presented in relation to the Condorcet criterion of optimality in voting systems, and weighted Borda count models are asserted as a way to implement them in practice. A special case of coalition games, the weighted majority games (WMG) are presented as a restricted realization in dichotomy choice situations. As a result, the weighted majority rules (WMR), an extended version of the simple majority rules, are asserted as the theoretically optimal and complete solution to this type of coalition gaming. Subsequently, a generalized version of WMRs is suggested as the means to design a voting system that is optimal in the sense of both the correct classification criterion and the Condorcet efficiency criterion. In the scope of Pattern Recognition, a generalized risk-based approach is proposed as the framework upon which any classifier combination scheme can be applied. A new fully adaptive version of WMRs is proposed as a statistically invariant way of adjusting the design process of the optimal WMR to the arbitrary non-symmetrical properties of the underlying feature space. SVM theory is associated with properties and conclusions that emerge from the game-theoretic approach of the classification in general, while the theoretical and practical implications of employing SVM experts in WMR combination schemes are briefly discussed. Finally, a summary of the most important issues for further research is presented.


title: Dualizable algebras with parallelogram terms

abstract: We prove that if A is a finite algebra with a parallelogram term that satisfies the split centralizer condition, then A is dualizable. This yields yet another proof of the dualizability of any finite algebra with a near unanimity term, but more importantly proves that every finite module, group or ring in a residually small variety is dualizable.


title: The Silver Lining Around Fearful Living

abstract: This paper discusses in layperson's terms human and computational studies of the impact of threat and fear on exploration and creativity. A first study showed that both killifish from a lake with predators and from a lake without predators explore a new environment to the same degree and plotting number of new spaces covered over time generates a hump-shaped curve. However, for the fish from the lake with predators the curve is shifted to the right; they take longer. This pattern was replicated by a computer model of exploratory behavior varying only one parameter, the fear parameter. A second study showed that stories inspired by threatening photographs were rated as more creative than stories inspired by non-threatening photographs. Various explanations for the findings are discussed.


title: The Hubbard Dimer: A density functional case study of a many-body problem

abstract: This review explains the relationship between density functional theory and strongly correlated models using the simplest possible example, the two-site Hubbard model. The relationship to traditional quantum chemistry is included. Even in this elementary example, where the exact ground-state energy and site occupations can be found analytically, there is much to be explained in terms of the underlying logic and aims of Density Functional Theory. Although the usual solution is analytic, the density functional is given only implicitly. We overcome this difficulty using the Levy-Lieb construction to create a parametrization of the exact function with negligible errors. The symmetric case is most commonly studied, but we find a rich variation in behavior by including asymmetry, as strong correlation physics vies with charge-transfer effects. We explore the behavior of the gap and the many-body Green's function, demonstrating the `failure' of the Kohn-Sham method to reproduce the fundamental gap. We perform benchmark calculations of the occupation and components of the KS potentials, the correlation kinetic energies, and the adiabatic connection. We test several approximate functionals (restricted and unrestricted Hartree-Fock and Bethe Ansatz Local Density Approximation) to show their successes and limitations. We also discuss and illustrate the concept of the derivative discontinuity. Useful appendices include analytic expressions for Density Functional energy components, several limits of the exact functional (weak- and strong-coupling, symmetric and asymmetric), the Kohn-Sham hopping energy functional for 3 sites, various adiabatic connection results, proofs of exact conditions for this model, and the origin of the Hubbard model from a minimal basis model for stretched H$_2$.


title: New effective coupled $F(^{(4)}\!R,\varphi)$ modified gravity from $f(^{(5)}\!R)$ gravity in five dimensions

abstract: We obtain a new kind of $F(^{(4)}\!R,\varphi)$ modified gravity theory as an effective four-dimensional (4D) theory derived from $f(^{(5)}\!R)$ gravity in five dimensions (5D). This new theory exhibits a different matter coupling than the one in BBHL theory. We show that the field equations of the Wesson's induced matter theory and of some braneworld scenarios can be obtained as maximally symmetric solutions of the $f(^{(5)}\!R)$ theory. We found criteria for the Goldov-Kawasaki instabilities for both the $f(^{(5)}\!R)$ and the $F(^{(4)}\!R,\varphi)$ theories. We demonstrate that under certain conditions imposed on the 5D geometry it is possible to interpret the $F(^{(4)}\!R,\varphi)$ theory as a modified gravity theory with dynamical coefficients, making this new theory a viable candidate to address the present accelerating cosmic expansion issue.


title: Poisson and symplectic reductions of 4-DOF isotropic oscillators. The van der Waals system as benchmark

abstract: This paper is devoted to studying Hamiltonian oscillators in 1:1:1:1 resonance with symmetries, which include several models of perturbed Keplerian systems. Normal forms are computed in Poisson and symplectic formalisms, by mean of invariants and Lie-transforms respectively. The first procedure relies on the quadratic invariants associated to the symmetries, and is carried out using Gr\"obner bases. In the symplectic approach, hinging on the maximally superintegrable character of the isotropic oscillator, the normal form is computed {\it a la} Delaunay, using a generalization of those variables for 4-DOF systems. Due to the symmetries of the system, isolated as well as circles of stationary points and invariant tori should be expected. These solutions manifest themselves rather differently in both approaches, due to the constraints among the invariants versus the singularities associated to the Delaunay chart. Taking the generalized van der Waals family as a benchmark, the explicit expression of the Delaunay normalized Hamiltonian up to the second order is presented, showing that it may be extended to higher orders in a straightforward way. The search for the relative equilibria is used for comparison of their main features of both treatments. The pros and cons are given in detail for some values of the parameter and the integrals.


title: Co-rank and Betti number of a group

abstract: We study the maximal ranks of a free and a free abelian quotients of a finitely generated group, called co-rank (inner rank, cut number) and the Betti number, respectively. We show that any combination of these values within obvious constraints is realized for some finitely presented group, which is important for manifold and foliation topology.


title: Emergence of Four Dimensions in the Causal Set Approach to Discrete Quantum Gravity

abstract: One could begin a study like the present one by simply postulating that our universe is four-dimensional. There are ample reasons for doing this. Experience, observation and experiment all point to the fact that we inhabit a four-dimensional universe. Another approach would be to show that four-dimensions arise naturally from a reasonable model of the universe or multiverse. After reviewing the causal set approach to discrete quantum gravity in Section~1, we shall discuss the emergence of four-dimensions in Section~2. We shall see that certain patterns of four arise that suggest the introduction of a 4-dimensional discrete manifold. In the later sections we shall discuss some consequences of this introduced framework. In particular, we will show that quantum amplitudes can be employed to describe a multiverse dynamics. Moreover, a natural unitary operator together with energy, position and momentum operators will be introduced and their properties studied.


title: Partitioning de Bruijn Graphs into Fixed-Length Cycles for Robot Identification and Tracking

abstract: We propose a new camera-based method of robot identification, tracking and orientation estimation. The system utilises coloured lights mounted in a circle around each robot to create unique colour sequences that are observed by a camera. The number of robots that can be uniquely identified is limited by the number of colours available, $q$, the number of lights on each robot, $k$, and the number of consecutive lights the camera can see, $\ell$. For a given set of parameters, we would like to maximise the number of robots that we can use. We model this as a combinatorial problem and show that it is equivalent to finding the maximum number of disjoint $k$-cycles in the de Bruijn graph $\text{dB}(q,\ell)$. We provide several existence results that give the maximum number of cycles in $\text{dB}(q,\ell)$ in various cases. For example, we give an optimal solution when $k=q^{\ell-1}$. Another construction yields many cycles in larger de Bruijn graphs using cycles from smaller de Bruijn graphs: if $\text{dB}(q,\ell)$ can be partitioned into $k$-cycles, then $\text{dB}(q,\ell)$ can be partitioned into $tk$-cycles for any divisor $t$ of $k$. The methods used are based on finite field algebra and the combinatorics of words.


title: Derivation of Dark Matter Parity from Lepton Parity

abstract: It is shown that in extensions of the standard model of quarks and leptons where additive lepton number $L$ is broken by two units, so that $Z_2$ lepton parity, i.e. $(-1)^L$ which is either even or odd, remains exactly conserved, there is the possibility of stable dark matter without additional symmetry. This applies to many existing simple models of Majorana neutrino mass with dark matter, including some radiative models. Several well-known examples are discussed. This new insight leads to the construction of a radiative Type II seesaw model of neutrino mass with dark matter where the dominant decay of the doubly charged Higgs boson $\xi^{++}$ is into $W^+W^+$ instead of the expected $l_i^+ l_j^+$ lepton pairs for the well-known tree-level model.


title: Extending the Correlation of $L_R - L_X$ to Gamma Ray Bursts

abstract: The well-known correlation between the radio luminosity ($L_R$) and the X-ray luminosity ($L_X$) $L_R / L_X \simeq 10^{-5}$ holds for a variety of objects like active galactic nuclei, galactic black holes, solar flares and cool stars. Here we extend the relation to gamma-ray bursts (GRBs), and find the GRBs also lay on the same $L_R-L_X$ relation, with a slightly different slope as $L_R \propto L_X^{1.1}$. This relation implies the explosions in different scales may have a common underlying origin.


title: Comparison of Strong Gravitational Lens Model Software II. HydraLens: Computer-Assisted Strong Gravitational Lens Model Generation and Translation

abstract: The behavior of strong gravitational lens model software in the analysis of lens models is not necessarily consistent among the various software available, suggesting that the use of several models may enhance the understanding of the system being studied. Among the publicly available codes, the model input files are heterogeneous, making the creation of multiple models tedious. An enhanced method of creating model files and a method to easily create multiple models, may increase the number of comparison studies. HydraLens simplifies the creation of model files for four strong gravitational lens model software packages, including Lenstool, Gravlens/Lensmodel, glafic and PixeLens, using a custom designed GUI for each of the four codes that simplifies the entry of the model for each of these codes, obviating the need for user manuals to set the values of the many flags and in each data field. HydraLens is designed in a modular fashion, which simplifies the addition of other strong gravitational lens codes in the future. HydraLens can also translate a model generated for any of these four software packages into any of the other three. Models created using HydraLens may require slight modifications, since some information may be lost in the translation process. However the computer generated model greatly simplifies the process of developing multiple lens models. HydraLens may enhance the number of direct software comparison studies, and also assist in the education of young investigators in gravitational lens modeling. Future development of HydraLens will further enhance its capabilities.


title: Nonlinear quantum optical properties of graphene: the role of chirality and symmetry

abstract: We present a semiclassical theory of linear and nonlinear optical response of graphene. The emphasis is placed on the nonlinear optical response of graphene from the standpoint of the underlying chiral symmetry. The Bloch quasiparticles in low energy limit, around the degeneracy points are dominantly chiral. It is shown for the first time that this chiral behavior in conjunction with scale invariance in graphene around the Dirac points results in the strong nonlinear optical response. Explicit expressions for the linear and nonlinear conductivity tensors are derived based on Semiconductor Bloch Equations (SBEs). The linear terms agree with the result of Kubo formulation. The three main additive mechanisms contribute in the nonlinear optical response of graphene: pure intraband, pure interband and the interplay between them. For each contribution, an explicit response function is derived. The Kerr-type nonlinearity of graphene is then studied and it is demonstrated that its Kerr nonlinear coefficient is several orders of magnitude higher than that of many other known semiconductors. In addition, the nonlinear refractive index of graphene can also be tuned and enhanced by applying a gate voltage.


title: Induced topological pressure for topological dynamical(to appear in JPM)

abstract: In this paper, inspired by the article [5], we introduce the induced topological pressure for a topological dynamical system. In particular, we prove a variational principle for the induced topological pressure.


title: Invisible nanowires with interfering electric and toroidal dipoles

abstract: By studying the scattering of normally incident planewaves by a single nanowire, we reveal the indispensable role of toroidal multipole excitation in multipole expansions of radiating sources. It is found that for both p-polarized and s-polarized incident waves, toroidal dipoles can be effectively excited within homogenous dielectric nanowires in the optical spectrum regime. We further demonstrate that the plasmonic core-shell nanowires can be rendered invisible through destructive interference of the electric and toroidal dipoles, which may inspire many nanowire based light-matter interaction studies, and incubate biological and medical applications that require non-invasive detections and measurements.


title: Learning to Search Better Than Your Teacher

abstract: Methods for learning to search for structured prediction typically imitate a reference policy, with existing theoretical guarantees demonstrating low regret compared to that reference. This is unsatisfactory in many applications where the reference policy is suboptimal and the goal of learning is to improve upon it. Can learning to search work even when the reference is poor? We provide a new learning to search algorithm, LOLS, which does well relative to the reference policy, but additionally guarantees low regret compared to deviations from the learned policy: a local-optimality guarantee. Consequently, LOLS can improve upon the reference policy, unlike previous algorithms. This enables us to develop structured contextual bandits, a partial information structured prediction setting with many potential applications.


title: Stone MV-algebras and Strongly complete MV-algebras

abstract: Compact Hausdorff topological MV-algebras and Stone MV-algebras are completely characterized. We obtain that compact Hausdorff topological MV-algebras are product (both topological and algebraic) of copies $[0,1]$ with standard topology and finite Lukasiewicz chains with discrete topology. Going one step further we also prove that Stone MV-algebras are product (both topological and algebraic) of finite Lukasiewicz chains with discrete topology. We also prove that an MV-algebra is strongly complete (isomorphic to its profinite completion) if and only if it is profinite and its maximal ideals of finite ranks are principal.


title: Transforming a 4th year Modern Optics Course Using a Deliberate Practice Framework

abstract: We present a study of active learning pedagogies in an upper division physics course. This work was guided by the principle of deliberate practice for the development of expertise, and this principle was used in the design of the materials and the orchestration of the classroom activities of the students. We present our process for efficiently converting a traditional lecture course based on instructor notes into activities for such a course with active learning methods. Ninety percent of the same material was covered and scores on common exam problems showed a 15 % improvement with an effect size greater than 1 after the transformation. We observe that the improvement and the associated effect size is sustained after handing off the materials to a second instructor. Because the improvement on exam questions was independent of specific problem topics and because the material tested was so mathematically advanced and broad (including linear algebra, Fourier Transforms, partial differential equations, vector calculus), we expect the transformation process could be applied to most upper division physics courses having a similar mathematical base.


title: Tensor Complementarity Problem and Semi-positive Tensors

abstract: The tensor complementarity problem $(\q, \mathcal{A})$ is to $$\mbox{ find } \x \in \mathbb{R}^n\mbox{ such that }\x \geq \0, \q + \mathcal{A}\x^{m-1} \geq \0, \mbox{ and }\x^\top (\q + \mathcal{A}\x^{m-1}) = 0.$$ We prove that a real tensor $\mathcal{A}$ is a (strictly) semi-positive tensor if and only if the tensor complementarity problem $(\q, \mathcal{A})$ has a unique solution for $\q>\0$ ($\q\geq\0$), and a symmetric real tensor is a (strictly) semi-positive tensor if and only if it is (strictly) copositive. That is, for a strictly copositive symmetric tensor $\mathcal{A}$, the tensor complementarity problem $(\q, \mathcal{A})$ has a solution for all $\q \in \mathbb{R}^n$.


title: CP-odd component of the lightest neutral Higgs boson in the MSSM

abstract: The Higgs sector of the Minimal Supersymmetric Extension of the Standard Model may be described with a two Higgs doublet model with properties that depend on the soft supersymmetry breaking parameters. For instance, flavor independent CP-violating phases associated with the gaugino masses, the squark trilinear mass parameters and the Higgsino mass parameter $\mu$ may lead to sizable CP-violation in the Higgs sector. For these CP-violating effects to affect the properties of the recently observed SM-like Higgs resonance, the non-standard charged and neutral Higgs bosons masses must be of the order of the weak scale, and both $\mu$ as well as the trilinear stop mass parameter $A_t$ must be of the order or larger than the stop mass parameters. Constraints on this possibility come from direct searches for non-standard Higgs bosons, precision measurements on the lightest neutral Higgs properties, including its mass, and electric dipole moments. In this article, we discuss these constraints within the MSSM, trying to evaluate the possible size of the CP-odd component of the lightest neutral Higgs boson, and the possible experimental tests of this CP-violating effect at the LHC.


title: Regge Trajectories in $\mathcal{N}=2$ Supersymmetric Yang-Mills Theory

abstract: We demonstrate that $\mathcal{N}=2$ supersymmetric non-Abelian gauge theories have towers of BPS particles obeying a Regge relation, $J \sim m^{2},$ between their angular momenta, $J,$ and their masses, $m$. For $SU(N)$ Yang-Mills theories, we estimate the slope of these Regge trajectories using a non-relativistic quiver quantum mechanics model. Along the way, we also prove various structure theorems for the quiver moduli spaces that appear in the calculation.


title: Decay and scattering of solutions to nonlinear Schr\"odinger equations with regular potentials for nonlinearities of sharp growth

abstract: In this paper, we prove the decay and scattering in the energy space for nonlinear Schr\"odinger equations with regular potentials in $\Bbb R^d$ namely, $i{\partial _t}u + \Delta u - V(x)u + \lambda |u|^{p - 1}u = 0$. We will prove decay estimate and scattering of the solution in the small data case when $1+\frac{2}{d}<p\le1+\frac{4}{d-2}$, $d\ge3$. The index $1+\frac{2}{d}$ is sharp for scattering concerning the result of W. Strauss [21].


title: Optical-resolution photoacoustic imaging through thick tissue with a thin capillary as a dual optical-in acoustic-out waveguide

abstract: We demonstrate the ability to guide high-frequency photoacoustic waves through thick tissue with a water-filled silica-capillary (150 \mu m inner diameter and 30 mm long). An optical-resolution photoacoustic image of a 30 \mu m diameter absorbing nylon thread was obtained by guiding the acoustic waves in the capillary through a 3 cm thick fat layer. The transmission loss through the capillary was about -20 dB, much lower than the -120 dB acoustic attenuation through the fat layer. The overwhelming acoustic attenuation of high-frequency acoustic waves by biological tissue can therefore be avoided by the use of a small footprint capillary acoustic waveguide for remote detection. We finally demonstrate that the capillary can be used as a dual optical-in acoustic-out waveguide, paving the way for the development of minimally invasive optical-resolution photoacoustic endoscopes free of any acoustic or optical elements at their imaging tip.


title: Weak Production of Strange Particles and $\eta$ Mesons off the Nucleon

abstract: The strange particle production induced by (anti)neutrino off nucleon has been studied for $|\Delta S|=0$ and $|\Delta S|=1$ channels. The reactions those we have considered are for the production of single kaon/antikaon, eta and associated particle production processes. We have developed a microscopical model based on the SU(3) chiral Lagrangian. The basic parameters of the model are $f_\pi$, the pion decay constant, Cabibbo angle, the proton and neutron magnetic moments and the axial vector coupling constants for the baryons octet. For antikaon production we have also included $\Sigma^*$(1385) resonance and for eta production $S_{11}$(1535) and $S_{11}$(1650) resonances are included.


title: Real World Applications of Machine Learning Techniques over Large Mobile Subscriber Datasets

abstract: Communication Service Providers (CSPs) are in a unique position to utilize their vast transactional data assets generated from interactions of subscribers with network elements as well as with other subscribers. CSPs could leverage its data assets for a gamut of applications such as service personalization, predictive offer management, loyalty management, revenue forecasting, network capacity planning, product bundle optimization and churn management to gain significant competitive advantage. However, due to the sheer data volume, variety, velocity and veracity of mobile subscriber datasets, sophisticated data analytics techniques and frameworks are necessary to derive actionable insights in a useable timeframe. In this paper, we describe our journey from a relational database management system (RDBMS) based campaign management solution which allowed data scientists and marketers to use hand-written rules for service personalization and targeted promotions to a distributed Big Data Analytics platform, capable of performing large scale machine learning and data mining to deliver real time service personalization, predictive modelling and product optimization. Our work involves a careful blend of technology, processes and best practices, which facilitate man-machine collaboration and continuous experimentation to derive measurable economic value from data. Our platform has a reach of more than 500 million mobile subscribers worldwide, delivering over 1 billion personalized recommendations annually, processing a total data volume of 64 Petabytes, corresponding to 8.5 trillion events.


title: Weak Quasielastic Production of Hyperons and Threshold Production of Two Pions

abstract: We have studied quasielastic charged current hyperon production induced by $\bar\nu_\mu$ on free nucleon and the nucleons bound inside the nucleus and the results are presented for several nuclear targets like $^{40}Ar$, $^{56}Fe$ and $^{208}Pb$. The hyperon-nucleon transition form factors are determined from neutrino-nucleon scattering and semileptonic decays of neutron and hyperons using SU(3) symmetry. The nuclear medium effects(NME) due to Fermi motion and final state interaction(FSI) effect due to hyperon-nucleon scattering have been taken into account. Also we have studied two pion production at threshold induced by neutrinos off nucleon targets. The contribution of nucleon, pion, and contact terms are calculated using Lagrangian given by nonlinear $\sigma$ model. The contribution of the Roper resonance has also been taken into account. The numerical results for the cross sections are presented and compared with the experimental results from ANL and BNL.


title: Bifractional Brownian motion: existence and border cases

abstract: Bifractional Brownian motion (bfBm) is a centered Gaussian process with covariance \[ R^{(H,K)}(s,t)= 2^{-K} \left( \left(|s|^{2H}+|t|^{2H} \right)^{K}-|t-s|^{2HK}\right), \qquad s,t\in R. \] We study the existence of bfBm for a given pair of parameters $(H,K)$ and encounter some related limiting processes.


title: Universal channel coding for general output alphabet

abstract: We propose two types of universal codes that are suited to two asymptotic regimes when the output alphabet is possibly continuous. The first class has the property that the error probability decays exponentially fast and we identify an explicit lower bound on the error exponent. The other class attains the epsilon-capacity the channel and we also identify the second-order term in the asymptotic expansion. The proposed encoder is essentially based on the packing lemma of the method of types. For the decoder, we first derive a R\'enyi-relative-entropy version of Clarke and Barron's formula the distance between the true distribution and the Bayesian mixture, which is of independent interest. The universal decoder is stated in terms of this formula and quantities used in the information spectrum method. The methods contained herein allow us to analyze universal codes for channels with continuous and discrete output alphabets in a unified manner, and to analyze their performances in terms of the exponential decay of the error probability and the second-order coding rate.


title: Exact EGB models for spherical static perfect fluids

abstract: We obtain a new exact solution to the field equations in the EGB modified theory of gravity for a 5-dimensional spherically symmetric static distribution. By using a transformation, the study is reduced to the analysis of a single second order nonlinear differential equation. In general the condition of pressure isotropy produces a first order differential equation which is an Abel equation of the second kind. An exact solution is found. The solution is examined for physical admissability. In particular a set of constants is found which ensures that a pressure-free hypersurface exists which defines the boundary of the distribution. Additionally the isotropic pressure and the energy density are shown to be positive within the radius of the sphere. The adiabatic sound speed criterion is also satisfied within the fluid ensuring a subluminal sound speed. Furthermore, the weak, strong and dominant conditions hold throughout the distribution. On setting the Gauss-Bonnet coupling to zero, an exact solution for 5-dimensional perfect fluids in the standard Einstein theory is obtained. Plots of the dynamical quantities for the Gauss-Bonnet and the Einstein case reveal that the pressure is unaffected while the the energy density increases under the influence of the Gauss-Bonnet term.


title: A simple and robust single-pixel computational ghost imaging

abstract: A simple and robust experiment demonstrating computational ghost imaging with structured illumination and a single-pixel detector has been performed. Our experimental setup utilizes a general computer for generating pseudo-randomly patterns on the liquid crystal display screen to illuminate a partially-transmissive object. With an incoherent light source, this object is imaged. The effects of light source, light path, and the number of measurements on the reconstruction quality of the object are discussed both theoretically and experimentally. The realization of computational ghost imaging with computer liquid crystal display is a further setup toward the practical application of ghost imaging with ordinary incoherent light.


title: Existence and concentration of solutions for a fractional Schrodinger equations with sublinear nonlinearity

abstract: This article concerns the fractional elliptic equations \begin{equation*}(-\Delta)^{s}u+\lambda V(x)u=f(u), \quad u\in H^{s}(\mathbb{R}^N), \end{equation*}where $(-\Delta)^{s}$ ($s\in (0\,,\,1)$) denotes the fractional Laplacian, $\lambda >0$ is a parameter, $V\in C(\mathbb{R}^N)$ and $V^{-1}(0)$ has nonempty interior. Under some mild assumptions, we establish the existence of nontrivial solutions. Moreover, the concentration of solutions is also explored on the set $V^{-1}(0)$ as $\lambda\to\infty$.


title: Multiplicity of positive solutions for a fractional Laplacian equations involving critical nonlinearity

abstract: In this paper we deal with the multiplicity of positive solutions to the fractional Laplacian equation \begin{equation*} (-\Delta)^{\frac{\alpha}{2}} u=\lambda f(x)|u|^{q-2}u+|u|^{2^{*}_{\alpha}-2}u, \quad\text{in}\,\,\Omega, u=0,\text{on}\,\,\partial\Omega, \end{equation*} where $\Omega\subset \mathbb{R}^{N}(N\geq 2)$ is a bounded domain with smooth boundary, $0<\alpha<2$, $(-\Delta)^{\frac{\alpha}{2}}$ stands for the fractional Laplacian operator, $f\in C(\Omega\times\mathbb{R},\mathbb{R})$ may be sign changing and $\lambda$ is a positive parameter. We will prove that there exists $\lambda_{*}>0$ such that the problem has at least two positive solutions for each $\lambda\in (0\,,\,\lambda_{*})$. In addition, the concentration behavior of the solutions are investigated.


title: Will solid-state drives accelerate your bioinformatics? In-depth profiling, performance analysis, and beyond

abstract: A wide variety of large-scale data has been produced in bioinformatics. In response, the need for efficient handling of biomedical big data has been partly met by parallel computing. However, the time demand of many bioinformatics programs still remains high for large-scale practical uses due to factors that hinder acceleration by parallelization. Recently, new generations of storage devices have emerged, such as NAND flash-based solid-state drives (SSDs), and with the renewed interest in near-data processing, they are increasingly becoming acceleration methods that can accompany parallel processing. In certain cases, a simple drop-in replacement of hard disk drives (HDDs) by SSDs results in dramatic speedup. Despite the various advantages and continuous cost reduction of SSDs, there has been little review of SSD-based profiling and performance exploration of important but time-consuming bioinformatics programs. For an informative review, we perform in-depth profiling and analysis of 23 key bioinformatics programs using multiple types of devices. Based on the insight we obtain from this research, we further discuss issues related to design and optimize bioinformatics algorithms and pipelines to fully exploit SSDs. The programs we profile cover traditional and emerging areas of importance, such as alignment, assembly, mapping, expression analysis, variant calling, and metagenomics. We explain how acceleration by parallelization can be combined with SSDs for improved performance and also how using SSDs can expedite important bioinformatics pipelines, such as variant calling by the Genome Analysis Toolkit (GATK) and transcriptome analysis using RNA sequencing (RNA-seq). We hope that this review can provide useful directions and tips to accompany future bioinformatics algorithm design procedures that properly consider new generations of powerful storage devices.


title: Proofs of the Technical Results Justifying an Algorithm of Extremum Seeking Navigation in Dynamic Environmental Fields

abstract: We consider a single kinematically controlled robot with a bounded control range. The robot travels in a two-dimensional region supporting an unknown unsteady scalar field. A single sensor provides the field value at the current location of the robot. The paper is concerned with a reactive navigation strategy to drive the robot to the time-varying location where the field attains its spatial maximum, with subsequent keeping the robot close to this location. This strategy is based on a novel paradigm of kinematic control different from conventionally trying to align the velocity vector with the field gradient, does not employ estimation of the entire field gradient or derivative-dependent quantities, like the rate at which the available field reading evolves over time, and is non-demanding with respect to both computation and motion. The paper presents the proofs of the technical facts required to justify convergence of the proposed algorithm.


title: Sharp bounds for generalized elliptic integrals of the first kind

abstract: In this paper, we prove that the double inequality \begin{equation*} 1+\alpha r'^2<\frac{\mathcal{K}_{a}(r)}{\sin(\pi a)\log(e^{R(a)/2}/r')}<1+\beta r'^2 \end{equation*} holds for all $a\in (0, 1/2]$ and $r\in (0, 1)$ if and only if $\alpha\leq \pi/[R(a)\sin(\pi a)]-1$ and $\beta\geq a(1-a)$, where $r'=\sqrt{1-r^2}$, $\mathcal{K}_{a}(r)$ is the generalized elliptic integral of the first kind and $R(x)$ is the Ramanujan constant function. Besides, as the key tool, the series expression for the Ramanujan constant function $R(x)$ is given.


title: Dispersing Instant Social Video Service Across Multiple Clouds

abstract: Instant social video sharing which combines the online social network and user-generated short video streaming services, has become popular in today's Internet. Cloud-based hosting of such instant social video contents has become a norm to serve the increasing users with user-generated contents. A fundamental problem of cloud-based social video sharing service is that users are located globally, who cannot be served with good service quality with a single cloud provider. In this paper, we investigate the feasibility of dispersing instant social video contents to multiple cloud providers. The challenge is that inter-cloud social \emph{propagation} is indispensable with such multi-cloud social video hosting, yet such inter-cloud traffic incurs substantial operational cost. We analyze and formulate the multi-cloud hosting of an instant social video system as an optimization problem. We conduct large-scale measurement studies to show the characteristics of instant social video deployment, and demonstrate the trade-off between satisfying users with their ideal cloud providers, and reducing the inter-cloud data propagation. Our measurement insights of the social propagation allow us to propose a heuristic algorithm with acceptable complexity to solve the optimization problem, by partitioning a propagation-weighted social graph in two phases: a preference-aware initial cloud provider selection and a propagation-aware re-hosting. Our simulation experiments driven by real-world social network traces show the superiority of our design.


title: Pressure tuning of superconductivity independent of disorder in Tl$_{2}$Ba$_{2}$CaCu$_{2}$O$_{8+\delta}$

abstract: Varying the superconducting transition temperature over a large scale of a cuprate superconductor is a necessary step for identifying the unsettled mechanism of superconductivity. Chemical doping or element substitution has been proven to be effective but also brings about lattice disorder. Such disorder can completely destroy superconductivity even at a fixed doping level. Pressure has been thought to be the most clean method for tuning superconductivity. However, pressure-induced increase of disorder was recognized from recent experiments. By choosing a disordered Tl$_{2}$Ba$_{2}$CaCu$_{2}$O$_{8+\delta}$ at the optimal doping, we perform single-crystal x-ray diffraction and magnetic susceptibility measurements at high pressures. The obtained structural data provides evidence for the robust feature for the disorder of this material in the pressure range studied. This feature ensures the pressure effects on superconductivity distinguishable from the disorder. The derived parabolic-like behavior of the transition temperature with pressure up to near 30 GPa, having a maximum around 7 GPa, offers a platform for testing any realistic theoretical models in a nearly constant disorder environment. Such a behavior can be understood when considering the carrier concentration and the pairing interaction strength as two pressure intrinsic variables.


title: Determination of Tomonaga-Luttinger parameters for a two-component liquid

abstract: We provide evidence for the mapping of critical spin-1 chains, in particular the SU(3) symmetric bilinear-biquadratic model with additional interactions, to free boson theories using exact diagonalization and the density matrix renormalization group algorithm. Using the correspondence with a conformal field theory with central charge c=2, we determine the analytic formulae for the scaling dimensions in terms of four Tomonaga-Luttinger liquid parameters. By matching the lowest scaling dimensions, we numerically calculate these field-theoretic parameters and track their evolution as a function of the parameters of the lattice model.


title: Motility-induced phase separation and coarsening in active matter

abstract: Active systems, or active matter, are self-driven systems which live, or function, far from equilibrium - a paradigmatic example which we focus on here is provided by a suspension of self-motile particles. Active systems are far from equilibrium because their microscopic constituents constantly consume energy from the environment in order to do work, for instance to propel themselves. The nonequilibrium nature of active matter leads to a variety of non-trivial intriguing phenomena. An important one which has recently been the subject of intense interest among biological and soft matter physicists is that of the so-called "motility-induced phase separation", whereby self-propelled particles accumulate into clusters in the absence of any explicit attractive interactions between them. Here we review the physics of motility-induced phase separation, and discuss this phenomenon within the framework of the classic physics of phase separation and coarsening. We also discuss theories for bacterial colonies where coarsening may be arrested. Most of this work will focus on the case of run-and-tumble and active Brownian particles in the absence of solvent-mediated hydrodynamic interactions - we will briefly discuss at the end their role, which is not currently fully understood in this context.


title: Bistable solutions for the electron energy distribution function in electron swarms in xenon via Boltzmann equation analysis and particle simulations

abstract: At low reduced electric fields the electron energy distribution function in heavy noble gases can take two distinct shapes. This "bistability effect" - in which electron-electron (Coulomb) collisions play an essential role - is analyzed here for Xe with a Boltzmann equation approach and with a first principles particle simulation method. The solution of the Boltzmann equation adopts the usual approximations of (i) searching for the distribution function in the form of two terms ("two-term approximation"), (ii) neglecting the Coulomb part of the collision integral for the anisotropic part of the distribution function, (iii) treating Coulomb collisions as binary events, and (iv) truncating the range of the electron-electron interaction beyond a characteristic distance. The particle-based simulation method avoids these approximations: the many-body interactions within the electron gas with a true (un- truncated) Coulomb potential are described by a Molecular Dynamics algorithm, while the collisions between electrons and the background gas atoms are treated with Monte Carlo simulation. We find a good general agreement between the results of the two techniques, which confirms, to a certain extent, the approximations used in the solution of the Boltzmann equation. The differences observed between the results are believed to originate from these approximations and from the presence of statistical noise in the particle simulations.


title: Universal covering calabi-yau manifolds of the Hilbert schemes of n points of Enriques surfaces

abstract: Throughout this paper, we work over ${\mathbb C}$, and $n$ is an integer such that $n\geq 2$. For an Enriques surface $E$, let $E^{[n]}$ be the Hilbert scheme of $n$ points of $E$. By Oguiso and Schr\"oer, $E^{[n]}$ has a Calabi-Yau manifold $X$ as the universal covering space, $\pi :X\rightarrow E^{[n]}$ of degree $2$. The purpose of this paper is to investigate a relationship of the small deformation of $E^{[n]}$ and that of $X$ $({\rm Theorem}\ 1.1)$, the natural automorphism of $E^{[n]}$ $({\rm Theorem}\,1.2)$, and count the number of isomorphism classes of the Hilbert schemes of $n$ points of Enriques surfaces which has $X$ as the universal covering space when we fix one $X$ $({\rm Theorem}\,1.3)$.


title: On Connectivity of the Facet Graphs of Simplicial Complexes

abstract: The paper studies the connectivity properties of facet graphs of simplicial complexes of combinatorial interest. In particular, it is shown that the facet graphs of $d$-cycles, $d$-hypertrees and $d$-hypercuts are, respectively, $(d+1)$, $d$, and $(n-d-1)$-vertex-connected. It is also shown that the facet graph of a $d$-cycle cannot be split into more than $s$ connected components by removing at most $s$ vertices. In addition, the paper discusses various related issues, as well as an extension to cell-complexes.


title: Hierarchical Dirichlet process for tracking complex topical structure evolution and its application to autism research literature

abstract: In this paper we describe a novel framework for the discovery of the topical content of a data corpus, and the tracking of its complex structural changes across the temporal dimension. In contrast to previous work our model does not impose a prior on the rate at which documents are added to the corpus nor does it adopt the Markovian assumption which overly restricts the type of changes that the model can capture. Our key technical contribution is a framework based on (i) discretization of time into epochs, (ii) epoch-wise topic discovery using a hierarchical Dirichlet process-based model, and (iii) a temporal similarity graph which allows for the modelling of complex topic changes: emergence and disappearance, evolution, and splitting and merging. The power of the proposed framework is demonstrated on the medical literature corpus concerned with the autism spectrum disorder (ASD) - an increasingly important research subject of significant social and healthcare importance. In addition to the collected ASD literature corpus which we will make freely available, our contributions also include two free online tools we built as aids to ASD researchers. These can be used for semantically meaningful navigation and searching, as well as knowledge discovery from this large and rapidly growing corpus of literature.


title: LineSwitch: Efficiently Managing Switch Flow in Software-Defined Networking while Effectively Tackling DoS Attacks

abstract: Software Defined Networking (SDN) is a new networking architecture which aims to provide better decoupling between network control (control plane) and data forwarding functionalities (data plane). This separation introduces several benefits, such as a directly programmable and (virtually) centralized network control. However, researchers showed that the required communication channel between the control and data plane of SDN creates a potential bottleneck in the system, introducing new vulnerabilities. Indeed, this behavior could be exploited to mount powerful attacks, such as the control plane saturation attack, that can severely hinder the performance of the whole network. In this paper we present LineSwitch, an efficient and effective solution against control plane saturation attack. LineSwitch combines SYN proxy techniques and probabilistic blacklisting of network traffic. We implemented LineSwitch as an extension of OpenFlow, the current reference implementation of SDN, and evaluate our solution considering different traffic scenarios (with and without attack). The results of our preliminary experiments confirm that, compared to the state-of-the-art, LineSwitch reduces the time overhead up to 30%, while ensuring the same level of protection.


title: Non-reciprocal transmission in photonic lattices based on unidirectional coherent perfect absorption

abstract: A method for realizing asymmetric (one-way) transmission of discretized light in modulated, linear and purely passive optical lattices is suggested, which exploits the idea of unidirectional coherent perfect absorption. The system consists of a linear photonic lattice of coupled resonators or waveguides, side coupled to a chain of lossy elements, in which light can avoid the occupation of the dissipative sites when propagating in one way, but not in the opposite one. Non-reciprocity requires modulation of the resonator/waveguide parameters, realizing a dissipative optical Aharonov-Bohm diode with non-reciprocal behavior.


title: FRAME: Fast and Realistic Attacker Modeling and Evaluation for Temporal Logical Correlation in Static Noise

abstract: We propose a method called Fast and Realistic Attacker Modeling and Evaluation (FRAME) that can reduce pessimism in static noise analysis by exploiting temporal logical correlation of attackers and using novel techniques termed envelopes and $\sigma$ functions. Unlike conventional pruning-based approaches, FRAME efficiently considers all relevant attackers, thereby producing more realistic results. FRAME was tested with complex industrial design and successfully reduced the pessimism of conventional techniques by 30.4% on average, with little computational overhead.


title: Standard Projective Simplicial Kernels and the Second Abelian Cohomology of Topological Groups

abstract: Let $A$ be an abelian topological $G$-module. We give an interpretion for the second cohomology, $H^{2}(G,A)$, of $G$ with coefficients in $A$. As a result we show that if $P$ is a projective topological group, then $H^{2}(P,A)=0$ for every abelian topological $P$-module $A$.


title: Nevanlinna theory of the Askey-Wilson divided difference operator

abstract: This paper establishes a version of Nevanlinna theory based on Askey-Wilson divided difference operator for meromorphic functions of finite logarithmic order in the complex plane $\mathbb{C}$. A second main theorem that we have derived allows us to define an Askey-Wilson type Nevanlinna deficiency which gives a new interpretation that one should regard many important infinite products arising from the study of basic hypergeometric series as zero/pole-scarce. That is, their zeros/poles are indeed deficient in the sense of difference Nevanlinna theory. A natural consequence is a version of Askey-Wilosn type Picard theorem. We also give an alternative and self-contained characterisation of the kernel functions of the Askey-Wilson operator. In addition we have established a version of unicity theorem in the sense of Askey-Wilson. This paper concludes with an application to difference equations generalising the Askey-Wilson second-order divided difference equation.


title: A High-Performance Solid-State Disk with Double-Data-Rate NAND Flash Memory

abstract: We propose a novel solid-state disk (SSD) architecture that utilizes a double-data-rate synchronous NAND flash interface for improving read and write performance. Unlike the conventional design, the data transfer rate in the proposed design is doubled in harmony with synchronous signaling. The new architecture does not require any extra pins with respect to the conventional architecture, thereby guaranteeing backward compatibility. For performance evaluation, we simulated various SSD designs that adopt the proposed architecture and measured their performance in terms of read/write bandwidths and energy consumption. Both NAND flash cell types, namely single-level cells (SLCs) and multi-level cells (MLCs), were considered. In the experiments using SLC-type NAND flash chips, the read and write speeds of the proposed architecture were 1.65-2.76 times and 1.09-2.45 times faster than those of the conventional architecture, respectively. Similar improvements were observed for the MLC-based architectures tested. It was particularly effective to combine the proposed architecture with the way-interleaving technique that multiplexes the data channel between the controller and each flash chip. For a reasonably high degree of way interleaving, the read/write performance and the energy consumption of our approach were notably better than those of the conventional design.


title: On the K-theory of linear groups

abstract: We prove that for a finitely generated linear group G over a field of positive characteristic the family of quotients by finite subgroups has finite asymptotic dimension. We use this to show that the K-theoretic assembly map for the family of finite subgroups is split injective for every finitely generated linear group G over a commutative ring with unit under the assumption that G admits a finite-dimensional model for the classifying space for the family of finite subgroups. Furthermore, we prove that this is the case if and only if an upper bound on the rank of the solvable subgroups of G exists.


title: All Sky Camera, LIDAR and Electric Field Meter: auxiliary instruments for the ASTRI SST-2M prototype

abstract: ASTRI SST-2M is the end-to-end prototype telescope of the Italian National Institute of Astro- physics, INAF, designed to investigate the 10-100 TeV band in the framework of the Cherenkov Telescope Array, CTA. The ASTRI SST-2M telescope has been installed in Italy in September 2014, at the INAF ob- serving station located at Serra La Nave on Mount Etna. The telescope is foreseen to be completed and fully operative in spring 2015 including auxiliary instrumentation needed to support both operations and data anal- ysis. In this contribution we present the current status of a sub-set of the auxiliary instruments that are being used at the Serra La Nave site, namely an All Sky Camera, an Electric Field Meter and a Raman Lidar devoted, together with further instrumentation, to the monitoring of the atmospheric and environmental conditions. The data analysis techniques under development for these instruments could be applied at the CTA sites, where similar auxiliary instrumentation will be installed.


title: Querying for Paths in Graphs using Context-Free Path Queries

abstract: Navigational queries for graph-structured data, such as the regular path queries and the context-free path queries, are usually evaluated to a relation of node-pairs $(m, n)$ such that there is a path from $m$ to $n$ satisfying the conditions of the query. Although this relational query semantics has practical value, we believe that the relational query semantics can only provide limited insight in the structure of the graph data. To address the limits of the relational query semantics, we introduce the all-path query semantics and the single-path query semantics. Under these path-based query semantics, a query is evaluated to all paths satisfying the conditions of the query, or, respectively, to a single such path. While focusing on context-free path queries, we provide a formal framework for evaluating queries on graphs using both path-based query semantics. For the all-path query semantics, we show that the result of a query can be represented by a finite context-free grammar annotated with node-information relevant for deriving each path in the query result. For the single-path query semantics, we propose to search for a path of minimum length. We reduce the problem of finding such a path of minimum length to finding a string of minimum length in a context-free language, and for deriving such a string we propose a novel algorithm. Our initial results show that the path-based query semantics have added practical value and that query evaluation for both path-based query semantics is feasible, even when query results grow very large. For the single-path query semantics, determining strict worst-case upper bounds on the size of the query result remains the focus of future work.


title: Shot Analysis of Kepler Blazar W2R 1926+42

abstract: Blazars show rapid and violent variabilities, which timescale are often less than a day. We studied intraday variations by applying a shot analysis technique to Kepler monitoring of blazar W2R 1926+42 in Quarter 14. We obtained a mean profile calculated from 195 rapid variations. The mean profile shows three components; one is a sharp structure distributed within $\pm$0.1 day of the peak, and two slow-varying components. This spiky-peak component reflects features of rapid variations directly. The profile of peak component shows an exponential rise and decay of which timescales are different, 0.0416 and 0.0588 day respectively. This component is too sharp to represent a standard function which is often used to express blazar variations. This asymmetric profile at the peak is difficult to be explained by a simple variation of the Doppler factor by changing a geometry of the emitting region. This result indicates that intraday variations arise from a production of high-energy accelerated particles in the jet.


title: Effective Theories for Dark Matter Nucleon Scattering

abstract: We reformulate the calculation of the dark matter-nucleon scattering cross sections based on the method of effective field theories. We assume that the scatterings are induced by the exchange of colored mediators, and construct the effective theories by integrating out the colored particles. All of the leading order matching conditions as well as the renormalization group equations are presented. We consider a Majorana fermion, and real scalar and vector bosons for the dark matter and show the results for each case. The treatment for the twist-2 operators is discussed in detail, and it is shown that the scale of evaluating their nucleon matrix elements does not have to be the hadronic scale. The effects of the QCD corrections are evaluated on the assumption that the masses of the colored mediators are much heavier than the electroweak scale. Our formulation is systematic and model-independent, and thus suitable to be implemented in numerical packages, such as micrOMEGAs and DarkSUSY.


title: Restricted Isometry Property of Subspace Projection Matrix Under Random Compression

abstract: Structures play a significant role in the field of signal processing. As a representative of structural data, low rank matrix along with its restricted isometry property (RIP) has been an important research topic in compressive signal processing. Subspace projection matrix is a kind of low rank matrix with additional structure, which allows for further reduction of its intrinsic dimension. This leaves room for improving its own RIP, which could work as the foundation of compressed subspace projection matrix recovery. In this work, we study the RIP of subspace projection matrix under random orthonormal compression. Considering the fact that subspace projection matrices of $s$ dimensional subspaces in $\mathbb{R}^N$ form an $s(N-s)$ dimensional submanifold in $\mathbb{R}^{N\times N}$, our main concern is transformed to the stable embedding of such submanifold into $\mathbb{R}^{N\times N}$. The result is that by $O(s(N-s)\log N)$ number of random measurements the RIP of subspace projection matrix is guaranteed.


title: Effect of first forbidden decays on the shape of neutrino spectra

abstract: We examine the effect of First Forbidden (FF) decays on $\beta$-decay neutrino spectra by performing microscopic nuclear structure calculations. By analyzing the FF decay branches of even-even nuclei we conclude that FF decays may be responsible for part of the missing neutrinos in the so called "Reactor Neutrino Anomaly". Further calculations and more experimental data are needed for a firm conclusion.


title: A network dynamics approach to chemical reaction networks

abstract: A crisp survey is given of chemical reaction networks from the perspective of general nonlinear network dynamics, in particular of consensus dynamics. It is shown how by starting from the complex-balanced assumption the reaction dynamics governed by mass action kinetics can be rewritten into a form which allows for a very simple derivation of a number of key results in chemical reaction network theory, and which directly relates to the thermodynamics of the system. Central in this formulation is the definition of a balanced Laplacian matrix on the graph of chemical complexes together with a resulting fundamental inequality. This directly leads to the characterization of the set of equilibria and their stability. Both the form of the dynamics and the deduced dynamical behavior are very similar to consensus dynamics. The assumption of complex-balancedness is revisited from the point of view of Kirchhoff's Matrix Tree theorem, providing a new perspective. Finally, using the classical idea of extending the graph of chemical complexes by an extra 'zero' complex, a complete steady-state stability analysis of mass action kinetics reaction networks with constant inflows and mass action outflows is given.


title: Quasiperiodic AlGaAs superlattices for neuromorphic networks and nonlinear control systems

abstract: The application of quasiperiodic AlGaAs superlattices as a nonlinear element of the FitzHugh-Nagumo neuromorphic network is proposed and theoretically investigated on the example of Fibonacci and figurate superlattices. The sequences of symbols for the figurate superlattices were produced by decomposition of the Fibonacci superlattices' symbolic sequences. A length of each segment of the decomposition was equal to the corresponding figurate number. It is shown that a nonlinear network based upon Fibonacci and figurate superlattices provides better parallel filtration of a half-tone picture than a network based upon traditional diodes which have cubic voltage-current characteristics. It was found that the figurate superlattice F011(1) as a nonlinear network's element provides the filtration error almost twice less than the conventional "cubic" diode. These advantages are explained by a wavelike shape of the decreasing part of the quasiperiodic superlattice's voltage-current characteristic, which leads to multistability of the network's cell. This multistability promises new interesting nonlinear dynamical phenomena. A variety of wavy forms of voltage-current characteristics opens up new interesting possibilities for quasiperiodic superlattices and especially for figurate superlattices in many areas - from nervous system modeling to nonlinear control systems development


title: Universally-composable finite-key analysis for efficient four-intensity decoy-state quantum key distribution

abstract: We propose an efficient four-intensity decoy-state BB84 protocol and derive concise security bounds for this protocol with the universally composable finite-key analysis method. Comparing with the efficient three-intensity protocol, we find that our efficient four-intensity protocol can increase the secret key rate by at least $30\%$. Particularly, this increasing rate of secret key rate will be raised as the transmission distance increases. At a large transmission distance, our efficient four-intensity protocol can improve the performance of quantum key distribution profoundly.


title: Characterizing of Inner Product Spaces by the Mapping $n_{x,y}$

abstract: For the vectors $x$ and $y$ in a normed linear spaces $X$, the mapping $n_{x,y}: \mathbb{R}\to \mathbb{R}$ is defined by $n_{x,y}(t)=\|x+ty\|$. In this note, comparing the mappings $n_{x,y}$ and $n_{y,x}$ we obtain a simple and useful characterization of inner product spaces.


title: From Pixels to Torques: Policy Learning with Deep Dynamical Models

abstract: Data-efficient learning in continuous state-action spaces using very high-dimensional observations remains a key challenge in developing fully autonomous systems. In this paper, we consider one instance of this challenge, the pixels to torques problem, where an agent must learn a closed-loop control policy from pixel information only. We introduce a data-efficient, model-based reinforcement learning algorithm that learns such a closed-loop policy directly from pixel information. The key ingredient is a deep dynamical model that uses deep auto-encoders to learn a low-dimensional embedding of images jointly with a predictive model in this low-dimensional feature space. Joint learning ensures that not only static but also dynamic properties of the data are accounted for. This is crucial for long-term predictions, which lie at the core of the adaptive model predictive control strategy that we use for closed-loop control. Compared to state-of-the-art reinforcement learning methods for continuous states and actions, our approach learns quickly, scales to high-dimensional state spaces and is an important step toward fully autonomous learning from pixels to torques.


title: Tunable electromagnetically induced transparency with a coupled superconducting system

abstract: Electromagnetically induced transparency (EIT) has usually been demonstrated by using three-level atomic systems. In this paper, we theoretically proposed an efficient method to realize EIT in microwave regime through a coupled system consisting of a flux qubit and a superconducting LC resonator with relatively high quality factor. In the present composed system, the working levels are the dressed states of a two-level flux qubit and the resonators with a probe pump field. There exits a second order coherent transfer between the dressed states. By comparing the results with those in the conventional atomic system we have revealed the physical origin of the EIT phenomenon in this composed system. Since the whole system is artificial and tunable, our scheme may have potential applications in various domains.


title: Data Bits in Karnaugh Map and Increasing Map Capability in Error Correcting

abstract: To provide reliable communication in data transmission, ability of correcting errors is of prime importance. This paper intends to suggest an easy algorithm to detect and correct errors in transmission codes using the well-known Karnaugh map. Referring to past research done and proving new theorems and also using a suggested simple technique taking advantage of the easy concept of Karnaugh map, we offer an algorithm to reduce the number of occupied squares in the map and therefore, reduce substantially the execution time for placing data bits in Karnaugh map. Based on earlier papers, we first propose an algorithm for correction of two simultaneous errors in a code. Then, defining specifications for empty squares of the map, we limit the choices for selection of new squares. In addition, burst errors in sending codes is discussed, and systematically code words for correcting them will be made.


title: Columnar Phase in Quantum Dimer Models

abstract: The quantum dimer model, relevant for short-range resonant valence bond physics, is rigorously shown to have long range order in a crystalline phase in the attractive case at low temperature and not too large flipping term. This term flips horizontal dimer pairs to vertical pairs (and vice versa) and is responsible for the word `quantum' in the title. In addition to the dimers, monomers are also allowed. The mathematical method used is `reflection positivity'. The model and proof can easily be generalized to dimers or plaquettes in 3-dimensions.


title: Status Report (BKG measurement): A Search for Sterile Neutrino at J-PARC MLF

abstract: At the 17th J-PARC PAC, which was held on September 2013, we proposed the sterile neutrino search at J-PARC MLF. After reviewing the proposal, PAC recommended to have a background measurement at the detector's candidate site location in their report to investigate whether the background rates can be manageable for the real experiment or not. Therefore, we have performed the background measurements (MLF; 2013BU1301 test experiment) during the summer of 2014, also following the 18th J-PARC PAC recommendations, and the measurements results are described here.


title: Anisotropic inflation in Finsler spacetime

abstract: We suggest the universe is Finslerian in the stage of inflation. The Finslerian background spacetime breaks rotational symmetry and induces parity violation. The primordial power spectrum is given for quantum fluctuation of the inflation field. It depends not only on the magnitude of wavenumber but also on the preferred direction. We derive the gravitational field equations in the perturbed Finslerian background spacetime, and obtain a conserved quantity outside the Hubble horizon. The angular correlation coefficients are presented in our anisotropic inflation model. The parity violation feature of Finslerian background spacetime requires that the anisotropic effect only appears in angular correlation coefficients if $l'=l+1$. The numerical results of the angular correlation coefficients are given to describe the anisotropic effect.


title: ACM bundles on cubic threefolds

abstract: We study ACM bundles on cubic threefolds by using derived category techniques. We prove that the moduli space of stable Ulrich bundles of any rank is always non-empty by showing that it is birational to a moduli space of semistable torsion sheaves on the projective plane endowed with the action of a Clifford algebra. We describe this birational isomorphism via wall-crossing in the space of Bridgeland stability conditions, in the example of instanton sheaves of minimal charge.


title: Global existence for the defocusing nonlinear Schr\"odinger equations with limit periodic initial data

abstract: We consider the Cauchy problem for the defocusing nonlinear Schr\"odinger equations (NLS) on the real line with a special subclass of almost periodic functions as initial data. In particular, we prove global existence of solutions to NLS with limit periodic functions as initial data under some regularity assumption.


title: Contextual Markov Decision Processes

abstract: We consider a planning problem where the dynamics and rewards of the environment depend on a hidden static parameter referred to as the context. The objective is to learn a strategy that maximizes the accumulated reward across all contexts. The new model, called Contextual Markov Decision Process (CMDP), can model a customer's behavior when interacting with a website (the learner). The customer's behavior depends on gender, age, location, device, etc. Based on that behavior, the website objective is to determine customer characteristics, and to optimize the interaction between them. Our work focuses on one basic scenario--finite horizon with a small known number of possible contexts. We suggest a family of algorithms with provable guarantees that learn the underlying models and the latent contexts, and optimize the CMDPs. Bounds are obtained for specific naive implementations, and extensions of the framework are discussed, laying the ground for future research.


title: Linear and bilinear $T(b)$ theorems \`a la Stein

abstract: In this work, we state and prove versions of the linear and bilinear $T(b)$ theorems involving quantitative estimates, analogous to the quantitative linear $T(1)$ theorem due to Stein.


title: A remark on global well-posedness of the derivative nonlinear Schr\"odinger equation on the circle

abstract: In this note, we consider the derivative nonlinear Schr\"odinger equation on the circle. In particular, by adapting Wu's recent argument to the periodic setting, we prove its global well-posedness in $H^1(\mathbb T)$, provided that the mass is less than $4\pi$. Moreover, this mass threshold is independent of spatial periods.


title: KAM for the non-linear Beam equation 2: A normal form theorem

abstract: We prove an abstract KAM theorem adapted to space-multidimensional hamiltonian PDEs with regularizing nonlinearities. It applies in particular to the singular perturbation problem studied in the first part of this work.


title: Back-to-back isolated photon-quarkonium production at the LHC and the transverse-momentum-dependent distributions of the gluons in the proton

abstract: The study of a quasi back-to-back isolated pair made of a heavy quarkonium, such as a J/psi or a Upsilon, and a photon produced in proton-proton collisions at the LHC, is probably the optimal way to get right away a first experimental determination of two gluon transverse-momentum-dependent distributions (TMDs) in an unpolarized proton, f1^g and h1^perp,g the latter giving the distribution of linearly polarized gluons. To substantiate this, we calculate the transverse-momentum-dependent effects that arise in the process under study and discuss the feasibility of their measurements.


title: Tuning the scattering mechanism in three-dimensional Dirac semimetal Cd$_{3}$As$_{2}$

abstract: To probe the charge scattering mechanism in Cd$_{3}$As$_{2}$ single crystal, we have analyzed the temperature and magnetic field dependence of the Seebeck coefficient ($S$). The large saturation value of $S$ at high field clearly demonstrates the linear energy dispersion of three-dimensional Dirac fermion. A wide tunability of the charge scattering mechanism has been realized by varying the strength of the magnetic field and carrier density via In doping. With the increase in magnetic field, the scattering time crosses over from being nearly energy independent to a regime of linear dependence. On the other hand, the scattering time enters into the inverse energy-dependent regime and the Fermi surface strongly modifies with 2\% In doping at Cd site. With further increase in In content from 2 to 4\%, we did not observe any Shubnikov-de Haas oscillation up to 9 T field, but the magnetoresistance is found to be quite large as in the case of undoped sample.


title: A geometric approach for the upper bound theorem for Minkowski sums of convex polytopes

abstract: We derive tight expressions for the maximum number of $k$-faces, $0\le{}k\le{}d-1$, of the Minkowski sum, $P_1+...+P_r$, of $r$ convex $d$-polytopes $P_1,...,P_r$ in $\mathbb{R}^d$, where $d\ge{}2$ and $r<d$, as a (recursively defined) function on the number of vertices of the polytopes. Our results coincide with those recently proved by Adiprasito and Sanyal [2]. In contrast to Adiprasito and Sanyal's approach, which uses tools from Combinatorial Commutative Algebra, our approach is purely geometric and uses basic notions such as $f$- and $h$-vector calculus and shellings, and generalizes the methodology used in [15] and [14] for proving upper bounds on the $f$-vector of the Minkowski sum of two and three convex polytopes, respectively. The key idea behind our approach is to express the Minkowski sum $P_1+...+P_r$ as a section of the Cayley polytope $\mathcal{C}$ of the summands; bounding the $k$-faces of $P_1+...+P_r$ reduces to bounding the subset of the $(k+r-1)$-faces of $\mathcal{C}$ that contain vertices from each of the $r$ polytopes. We end our paper with a sketch of an explicit construction that establishes the tightness of the upper bounds.


title: Parametric excitation of multiple resonant radiations from localized wavepackets

abstract: Fundamental physical phenomena such as laser-induced ionization, driven quantum tunneling, Faraday waves, Bogoliubov quasiparticle excitations, and the control of new states of matter rely on time-periodic driving of the system. A remarkable property of such driving is that it can induce the localized (bound) states to resonantly couple to the continuum. Therefore experiments that allow for enlightening and controlling the mechanisms underlying such coupling are of paramount importance. We implement such an experiment in a special fiber optics system characterized by a dispersion oscillating along the propagation coordinate, which mimics "time". The quasi-momentum associated with such periodic perturbation is responsible for the efficient coupling of energy from the localized wave-packets sustained by the fiber nonlinearity into free-running linear dispersive waves (continuum), at multiple resonant frequencies. Remarkably, the observed resonances can be explained by means of a unified approach, regardless of the fact that the localized state is a soliton-like pulse or a shock front.


title: A uniform estimate for general quaternionic Calabi problem (with appendix by Daniel Barlet)

abstract: We prove a $C^0$ a priori estimate on a solution of the quaternionic Calabi problem on an arbitrary compact connected HKT-manifold. This generalizes earlier works where this result was proven under certain extra assumptions on the manifold.


title: SDNA: Stochastic Dual Newton Ascent for Empirical Risk Minimization

abstract: We propose a new algorithm for minimizing regularized empirical loss: Stochastic Dual Newton Ascent (SDNA). Our method is dual in nature: in each iteration we update a random subset of the dual variables. However, unlike existing methods such as stochastic dual coordinate ascent, SDNA is capable of utilizing all curvature information contained in the examples, which leads to striking improvements in both theory and practice - sometimes by orders of magnitude. In the special case when an L2-regularizer is used in the primal, the dual problem is a concave quadratic maximization problem plus a separable term. In this regime, SDNA in each step solves a proximal subproblem involving a random principal submatrix of the Hessian of the quadratic function; whence the name of the method. If, in addition, the loss functions are quadratic, our method can be interpreted as a novel variant of the recently introduced Iterative Hessian Sketch.


title: Harmonic functions with finite $p$-energy on lamplighter graphs are constant

abstract: The aim of this note is to show that lamplighter graphs where the space graph is infinite and at most two-ended and the lamp graph is at most two-ended do not admit harmonic functions with gradients in $\ell^p$ (\ie finite $p$-energy) for any $p\in [1,\infty[$ except constants (and, equivalently, that their reduced $\ell^p$ cohomology is trivial in degree one). Using similar arguments, it is also shown that many direct products of graphs (including all direct products of Cayley graphs) do not admit non-constant harmonic function with gradient in $\ell^p$. The proof relies on a theorem of Thomassen on spanning lines in squares of graphs.


title: Four-dimensional manifolds with positive biorthogonal curvature

abstract: We classify, up to homeomorphisms, the closed simply-connected 4-manifolds that admit a Riemannian metric for which averages of pairs of sectional curvatures of orthogonal planes are positive.


title: Star-Product Functions in Higher-Spin Theory and Locality

abstract: Properties of the functional classes of star-product elements associated with higher-spin gauge fields and gauge parameters are elaborated. Cohomological interpretation of the nonlinear higher-spin equations is given. An algebra ${\mathcal H}$, where solutions of the nonlinear higher-spin equations are valued, is found. A conjecture on the classes of star-product functions underlying (non)local maps and gauge transformations in the nonlinear higher-spin theory is proposed.


title: Rigorous Deductive Argumentation for Socially Relevant Issues

abstract: The most important problems for society are describable only in vague terms, dependent on subjective positions, and missing highly relevant data. This thesis is intended to revive and further develop the view that giving non-trivial, rigorous deductive arguments concerning such problems -without eliminating the complications of vagueness, subjectivity, and uncertainty- is, though very difficult, not problematic in principle, does not require the invention of new logics -classical first-order logic will do- and is something that more mathematically-inclined people should be pursuing. The framework of interpreted formal proofs is presented for formalizing and criticizing rigorous deductive arguments about vague, subjective, and uncertain issues, and its adequacy is supported largely by a number of major examples. This thesis also documents progress towards a web system for collaboratively authoring and criticizing such arguments, which is the ultimate goal of this project.


title: Change in sign of the Hall coefficient from Fermi surface curvature in underdoped high Tc copper oxide superconductors

abstract: It has recently been proposed that the Fermi surface of underdoped high Tc copper oxide materials within the charge-ordered regime consists of a diamond-shaped electron pocket constructed from arcs connected at vertices. We show here that on modeling the in-plane magnetotransport of such a Fermi surface using the Shockley-Chambers tube integral approach and a uniform scattering time, several key features of the normal state in-plane transport of the underdoped copper oxide systems can be understood. These include the sign reversal in the Hall coefficient, the positive magnetoresistance and magnetic quantum oscillations in the Hall coefficient.


title: Resonance Spectra of Caged Stringy Black Hole and Its Spectroscopy

abstract: The Maggiore's method (MM), which evaluates the transition frequency that appears in the adiabatic invariant from the highly damped quasinormal mode (QNM) frequencies, is used to investigate the entropy/area spectra of the Garfinkle--Horowitz--Strominger black hole (GHSBH). Instead of the ordinary QNMs, we compute the boxed QNMs (BQNMs) that are the characteristic resonance spectra of the confined scalar fields in the GHSBH geometry. For this purpose, we assume that the GHSBH has a confining cavity (mirror) placed in the vicinity of the event horizon. We then show how the complex resonant frequencies of the caged GHSBH are computed using the Bessel differential equation that arises when the scalar perturbations around the event horizon are considered. Although the entropy/area is characterized by the GHSBH parameters, their quantization is shown to be independent of those parameters. However, both spectra are equally spaced.


title: Na4IrO4: Square-Planar Coordination of a Transition Metal in d5 Configuration due to Weak On-Site Coulomb Interactions

abstract: Local environments and valence electron counts primarily determine the electronic states and physical properties of transition metal complexes. For example, square-planar surroundings found in transition oxometalates such as curprates are usually associated with the d8 or d9 electron configuration. In this work, we address an exotic square-planar mono-oxoanion [IrO4]^{4-} as observed in Na4IrO4 with Ir(IV) in d^5 configuration, and characterize the chemical bonding by experiment and ab initio calculations. We find that Na4IrO4 in its ground state evolves a square-planar coordination for Ir(IV) because of the weak Coulomb repulsion of Ir-5d electrons. In contrast, in its 3d counterpart, Na4CoO4, Co(IV) is in tetrahedral coordination, due to strong electron correlation. Na4IrO4 thus may serve as a simple paradigmatic platform for studying the ramifications of Hubbard type Coulomb interactions on local geometries.


title: Local inverse scattering at a fixed energy for radial Schr{\"o}dinger operators and localization of the Regge poles

abstract: We study inverse scattering problems at a fixed energy for radial Schr\"{o}dinger operators on $\R^n$, $n \geq 2$. First, we consider the class $\mathcal{A}$ of potentials $q(r)$ which can be extended analytically in $\Re z \geq 0$ such that $\mid q(z)\mid \leq C \ (1+ \mid z \mid )^{-\rho}$, $\rho \textgreater{} \frac{3}{2}$. If $q$ and $\tilde{q}$ are two such potentials and if the corresponding phase shifts $\delta\_l$ and $\tilde{\delta}\_l$ are super-exponentially close, then $q=\tilde{q}$. Secondly, we study the class of potentials $q(r)$ which can be split into $q(r)=q\_1(r) + q\_2(r)$ such that $q\_1(r)$ has compact support and $q\_2 (r) \in \mathcal{A}$. If $q$ and $\tilde{q}$ are two such potentials, we show that for any fixed $a\textgreater{}0$, ${\ds{\delta\_l - \tilde{\delta}\_l \ = \ o \left( \frac{1}{l^{n-3}} \ \left( {\frac{ae}{2l}}\right)^{2l}\right)}}$ when $l \rightarrow +\infty$ if and only if $q(r)=\tilde{q}(r)$ for almost all $r \geq a$. The proofs are close in spirit with the celebrated Borg-Marchenko uniqueness theorem, and rely heavily on the localization of the Regge poles that could be defined as the resonances in the complexified angular momentum plane. We show that for a non-zero super-exponentially decreasing potential, the number of Regge poles is always infinite and moreover, the Regge poles are not contained in any vertical strip in the right-half plane. For potentials with compact support, we are able to give explicitly their asymptotics. At last, for potentials which can be extended analytically in $\Re z \geq 0$ with $\mid q(z)\mid \leq C \ (1+ \mid z \mid )^{-\rho}$, $\rho \textgreater{}1$ , we show that the Regge poles are confined in a vertical strip in the complex plane.


title: Improving Term Frequency Normalization for Multi-topical Documents, and Application to Language Modeling Approaches

abstract: Term frequency normalization is a serious issue since lengths of documents are various. Generally, documents become long due to two different reasons - verbosity and multi-topicality. First, verbosity means that the same topic is repeatedly mentioned by terms related to the topic, so that term frequency is more increased than the well-summarized one. Second, multi-topicality indicates that a document has a broad discussion of multi-topics, rather than single topic. Although these document characteristics should be differently handled, all previous methods of term frequency normalization have ignored these differences and have used a simplified length-driven approach which decreases the term frequency by only the length of a document, causing an unreasonable penalization. To attack this problem, we propose a novel TF normalization method which is a type of partially-axiomatic approach. We first formulate two formal constraints that the retrieval model should satisfy for documents having verbose and multi-topicality characteristic, respectively. Then, we modify language modeling approaches to better satisfy these two constraints, and derive novel smoothing methods. Experimental results show that the proposed method increases significantly the precision for keyword queries, and substantially improves MAP (Mean Average Precision) for verbose queries.


title: Universal Rigidity of Complete Bipartite Graphs

abstract: We describe a very simple condition that is necessary for the universal rigidity of a complete bipartite framework $(K(n,m),p,q)$. This condition is also sufficient for universal rigidity under a variety of weak assumptions, such as general position. Even without any of these assumptions, in complete generality, we extend these ideas to obtain an efficient algorithm, based on a sequence of linear programs, that determines whether an input framework of a complete bipartite graph is universally rigid or not.


title: Around the tangent cone theorem

abstract: A cornerstone of the theory of cohomology jump loci is the Tangent Cone theorem, which relates the behavior around the origin of the characteristic and resonance varieties of a space. We revisit this theorem, in both the algebraic setting provided by cdga models, and in the topological setting provided by fundamental groups and cohomology rings. The general theory is illustrated with several classes of examples from geometry and topology: smooth quasi-projective varieties, complex hyperplane arrangements and their Milnor fibers, configuration spaces, and elliptic arrangements.


title: A comparison of the Extrapolated Successive Overrelaxation and the Preconditioned Simultaneous Displacement methods for augmented linear systems

abstract: In this paper we study the impact of two types of preconditioning on the numerical solution of large sparse augmented linear systems. The first preconditioning matrix is the lower triangular part whereas the second is the product of the lower triangular part with the upper triangular part of the augmented system's coefficient matrix. For the first preconditioning matrix we form the Generalized Modified Extrapolated Successive Overrelaxation (GMESOR) method, whereas the second preconditioning matrix yields the Generalized Modified Preconditioned Simultaneous Displacement (GMPSD) method, which is an extrapolated form of the Symmetric Successive Overrelaxation method. We find sufficient conditions for each aforementioned iterative method to converge. In addition, we develop a geometric approach, for determining the optimum values of their parameters and corresponding spectral radii. It is shown that both iterative methods studied (GMESOR and GMPSD) attain the same rate of convergence. Numerical results confirm our theoretical expectations.


title: Local and Global Convergence of an Inertial Version of Forward-Backward Splitting

abstract: A problem of great interest in optimization is to minimize a sum of two closed, proper, and convex functions where one is smooth and the other has a computationally inexpensive proximal operator. In this paper we analyze a family of Inertial Forward-Backward Splitting (I-FBS) algorithms for solving this problem. We first apply a global Lyapunov analysis to I-FBS and prove weak convergence of the iterates to a minimizer in a real Hilbert space. We then show that the algorithms achieve local linear convergence for "sparse optimization", which is the important special case where the nonsmooth term is the $\ell_1$-norm. This result holds under either a restricted strong convexity or a strict complimentary condition and we do not require the objective to be strictly convex. For certain parameter choices we determine an upper bound on the number of iterations until the iterates are confined on a manifold containing the solution set and linear convergence holds. The local linear convergence result for sparse optimization holds for the Fast Iterative Shrinkage and Soft Thresholding Algorithm (FISTA) due to Beck and Teboulle which is a particular parameter choice for I-FBS. In spite of its optimal global objective function convergence rate, we show that FISTA is not optimal for sparse optimization with respect to the local convergence rate. We determine the locally optimal parameter choice for the I-FBS family. Finally we propose a method which inherits the excellent global rate of FISTA but also has excellent local rate.


title: Formulas for phase recovering from phaseless scattering data at fixed frequency

abstract: We consider quantum and acoustic wave propagation at fixed frequency for compactly supported scatterers in dimension $d\ge 2$. In these framework we give explicit formulas for phase recovering from appropriate phaseless scattering data. As a corollary, we give global uniqueness results for quantum and acoustic inverse scattering at fixed frequency without phase information.


title: Configurational Entropy in Brane-world Models: A New Approach to Stability

abstract: In this work we investigate the entropic information on thick brane-worlds scenarios and its consequences. The brane-world entropic information is studied for the sine-Gordon model is and hence the brane-world entropic information measure is shown an accurate way for providing the most suitable values for the bulk AdS curvature. Besides, the brane-world configurational entropy is employed to demonstrate a high organisational degree in the structure of the system configuration, for large values of a parameter of the sine-Gordon model but the one related to the AdS curvature. The Gleiser and Stamatopoulos procedure is finally applied in order to achieve a precise correlation between the energy of the system and the brane-world configurational entropy.

categories: hep-th cond-mat.stat-mech gr-qc math-ph math.MP nlin.PS


title: In-situ characterization of the thermal state of resonant optical interferometers via tracking of their higher-order mode resonances

abstract: Thermal lensing in resonant optical interferometers such as those used for gravitational wave detection is a concern due to the negative impact on control signals and instrument sensitivity. In this paper we describe a method for monitoring the thermal state of such interferometers by probing the higher-order spatial mode resonances of the cavities within them. We demonstrate the use of this technique to measure changes in the Advanced LIGO input mode cleaner cavity geometry as a function of input power, and subsequently infer the optical absorption at the mirror surfaces at the level of 1 ppm per mirror. We also demonstrate the generation of a useful error signal for thermal state of the Advanced LIGO power recycling cavity by continuously tracking the first order spatial mode resonance frequency. Such an error signal could be used as an input to thermal compensation systems to maintain the interferometer cavity geometries in the presence of transients in circulating light power levels, thereby maintaining optimal sensitivity and maximizing the duty-cycle of the detectors.


title: Spectral anti-broadening due to four-wave mixing in optical fibers

abstract: We show that the four-wave mixing can restrict spectral broadening. This is a general physical phenomenon that occurs in one-dimensional systems of four wave packets that resonantly interact "2-to-2": $ \omega_1+\omega_2=\omega_3+\omega_4,\; k_1+k_2=k_3+k_4$, when an annihilation of one pair of waves results in the creation of another pair. In addition, for this phenomenon to occur, the group velocities $C_1,C_2,C_3,C_4$ of the packets should be in a certain order: The extreme value (max or min) of the four group velocities should be in the same pair with the middle value of the remaining three, e.g. $C_1<C_3<C_2<C_4$. This phenomenon is due to the presence of an extra invariant, in addition to the energy, momentum, and Manley-Rowe relations.


title: Asymptotic Investment Behaviors under a Jump-Diffusion Risk Process

abstract: We study an optimal investment control problem for an insurance company. The surplus process follows the Cramer-Lundberg process with perturbation of a Brownian motion. The company can invest its surplus into a risk free asset and a Black-Scholes risky asset. The optimization objective is to minimize the probability of ruin. We show by new operators that the minimal ruin probability function is a classical solution to the corresponding HJB equation. Asymptotic behaviors of the optimal investment control policy and the minimal ruin probability function are studied for low surplus levels with a general claim size distribution. Some new asymptotic results for large surplus levels in the case with exponential claim distributions are obtained. We consider two cases of investment control - unconstrained investment and investment with a limited amount.