title: A Short Proof of Increased Parabolic Regularity

abstract: We present a new, short proof of the increased regularity obtained by solutions to uniformly parabolic partial differential equations. Though this setting is fairly introductory, our new method of proof, which uses a priori estimates, can be extended to prove analogous results for problems with time-dependent coefficients, transport equations, and nonlinear equations even when other tools, such as semigroup methods or the use of explicit fundamental solutions, are unavailable.


title: Central Invariants of the Constrained KP Hierarchies

abstract: We compute the central invariants of the bihamiltonian structures of the constrained KP hierarchies, and show that these integrable hierarchies are topological deformations of their hydrodynamic limits.


title: On the interpolation formula for the bound state energies of atomic systems

abstract: By using results of highly accurate computations of the total energies of a large number of few-electron atoms we construct a few interpolation formulas which can be used to approximate the total energies of bound atomic states. In our procedure the total energies of atomic states $E$ are represented as a function of the electric charge of atomic nucleus $Q$ and the total number of bound electrons $N_e$. Some general properties of the $E(Q, N_e)$ function are investigated. The knowledge of the $E(Q, N_e)$ function allows one to determine the total (and binding) energies of these states in arbitrary atoms and ions with different $Q$ and $N_e$.


title: Metal Enrichment in the Fermi Bubbles as a Probe of Their Origin

abstract: The Fermi bubbles are gigantic gamma-ray structures in our Galaxy. The physical origin of the bubbles is still under debate. The leading scenarios can be divided into two categories. One is the nuclear star forming activity similar to extragalactic starburst galaxies and the other is the past active galactic nucleus (AGN) like activity of the Galactic center supermassive black hole. In this paper, we propose that metal abundance measurements will provide an important clue to probe their origin. Based on a simple spherically symmetric bubble model, we find that the generated metallicity and abundance pattern of the bubbles' gas strongly depend on assumed star formation or AGN activities. Star formation scenarios predict higher metallicities and abundance ratios of [O/Fe] and [Ne/Fe] than AGN scenarios do because of supernovae ejecta. Furthermore, the resultant abundance depends on the gamma-ray emission process because different mass injection histories are required for the different gamma-ray emission processes due to the acceleration and cooling time scales of non-thermal particles. Future X-ray missions such as ASTRO-H and Athena will give a clue to probe the origin of the bubbles through abundance measurements with their high energy resolution instruments.


title: Global Classical Solutions of the one and one-half dimensional Vlasov-Maxwell Fokker-Planck System

abstract: We study the "one and one-half" dimensional Vlasov-Maxwell-Fokker-Planck system and obtain the first results concerning well-posedness of solutions. Specifically, we prove the global-in-time existence and uniqueness in the large of classical solutions to the Cauchy problem and a gain in regularity of the distribution function in its momentum argument.


title: Propagators of isochronous an-harmonic oscillators and Mehler formula for the x-Hermite polynomials

abstract: It is shown that fundamental solutions $K^\sigma(x,y;t)=\langle x|e^{-i H^\sigma t}|y\rangle$ of the non-stationary Schr\"{o}dinger equation (Green functions, or propagators) for the rational extensions of the Harmonic oscillator $H^\sigma=H_{\rm osc}+\Delta V^\sigma$ are expressed in terms of elementary functions only. An algorithm to calculate explicitly $K_\sigma$ for an arbitrary $\sigma\in \mathbb{N}$ is given, compact expressions for $K^{\{1,2\}}$ and $K^{\{2,3\}}$ are presented. A generalization of the Mehler's formula to the case of exceptional Hermite polynomials is given.


title: The Number of Holes in the Union of Translates of a Convex Set in Three Dimensions

abstract: We show that the union of $n$ translates of a convex body in $\mathbb{R}^3$ can have $\Theta(n^3)$ holes in the worst case, where a hole in a set $X$ is a connected component of $\mathbb{R}^3 \setminus X$. This refutes a 20-year-old conjecture. As a consequence, we also obtain improved lower bounds on the complexity of motion planning problems and of Voronoi diagrams with convex distance functions.


title: Sequential Channel State Tracking & SpatioTemporal Channel Prediction in Mobile Wireless Sensor Networks

abstract: We propose a nonlinear filtering framework for approaching the problems of channel state tracking and spatiotemporal channel gain prediction in mobile wireless sensor networks, in a Bayesian setting. We assume that the wireless channel constitutes an observable (by the sensors/network nodes), spatiotemporal, conditionally Gaussian stochastic process, which is statistically dependent on a set of hidden channel parameters, called the channel state. The channel state evolves in time according to a known, non stationary, nonlinear and/or non Gaussian Markov stochastic kernel. This formulation results in a partially observable system, with a temporally varying global state and spatiotemporally varying observations. Recognizing the intractability of general nonlinear state estimation, we advocate the use of grid based approximate filters as an effective and robust means for recursive tracking of the channel state. We also propose a sequential spatiotemporal predictor for tracking the channel gains at any point in time and space, providing real time sequential estimates for the respective channel gain map, for each sensor in the network. Additionally, we show that both estimators converge towards the true respective MMSE optimal estimators, in a common, relatively strong sense. Numerical simulations corroborate the practical effectiveness of the proposed approach.


title: Fast Magnetic Reconnection Due to Anisotropic Electron Pressure

abstract: A new regime of fast magnetic reconnection with an out-of-plane (guide) magnetic field is reported in which the key role is played by an electron pressure anisotropy described by the Chew-Goldberger-Low gyrotropic equations of state in the generalized Ohm's law, which even dominates the Hall term. A description of the physical cause of this behavior is provided and two-dimensional fluid simulations are used to confirm the results. The electron pressure anisotropy causes the out-of-plane magnetic field to develop a quadrupole structure of opposite polarity to the Hall magnetic field and gives rise to dispersive waves. In addition to being important for understanding what causes reconnection to be fast, this mechanism should dominate in plasmas with low plasma beta and a high in-plane plasma beta with electron temperature comparable to or larger than ion temperature, so it could be relevant in the solar wind and some tokamaks.


title: Multi-Action Recognition via Stochastic Modelling of Optical Flow and Gradients

abstract: In this paper we propose a novel approach to multi-action recognition that performs joint segmentation and classification. This approach models each action using a Gaussian mixture using robust low-dimensional action features. Segmentation is achieved by performing classification on overlapping temporal windows, which are then merged to produce the final result. This approach is considerably less complicated than previous methods which use dynamic programming or computationally expensive hidden Markov models (HMMs). Initial experiments on a stitched version of the KTH dataset show that the proposed approach achieves an accuracy of 78.3%, outperforming a recent HMM-based approach which obtained 71.2%.


title: Learning Efficient Anomaly Detectors from $K$-NN Graphs

abstract: We propose a non-parametric anomaly detection algorithm for high dimensional data. We score each datapoint by its average $K$-NN distance, and rank them accordingly. We then train limited complexity models to imitate these scores based on the max-margin learning-to-rank framework. A test-point is declared as an anomaly at $\alpha$-false alarm level if the predicted score is in the $\alpha$-percentile. The resulting anomaly detector is shown to be asymptotically optimal in that for any false alarm rate $\alpha$, its decision region converges to the $\alpha$-percentile minimum volume level set of the unknown underlying density. In addition, we test both the statistical performance and computational efficiency of our algorithm on a number of synthetic and real-data experiments. Our results demonstrate the superiority of our algorithm over existing $K$-NN based anomaly detection algorithms, with significant computational savings.


title: Measurement of the branching fractions of the radiative leptonic tau decays tau -> e gamma nu anti-nu and tau -> mu gamma nu anti-nu at BaBar

abstract: We perform a measurement of the tau -> l gamma nu anti-nu (l = e, mu) branching fractions for a minimum photon energy of 10 MeV in the tau rest frame, using 431fb^-1 of e^+e^- collisions collected at the center-of-mass energy of the Upsilon(4S) resonance with the BaBar detector at the PEP-II storage rings. We find B(tau -> mu gamma nu anti-nu ) = (3.69pm0.03pm0.10)x10^-3, and B(tau -> e gamma nu anti-nu ) = (1.847pm0.015pm0.052)x10^-2, where the first quoted error is statistical, and the second is systematic. These results are substantially more precise than previous measurements.


title: Anomalous Pressure Dependence of magnetic Ordering Temperature in Tb to 141 GPa: Comparison with Gd and Dy

abstract: In previous studies the pressure dependence of the magnetic ordering temperature $T_{\text{o}}$ of Dy was found to exhibit a sharp increase above its volume collapse pressure of 73 GPa, appearing to reach temperatures well above ambient at 157 GPa. In a search for a second such lanthanide, electrical resistivity measurements were carried out on neighboring Tb to 141 GPa over the temperature range 3.8 - 295 K. Below Tb's volume collapse pressure of 53 GPa, the pressure dependence $T_{\text{o}}(P)$ mirrors that of both Dy and Gd. However, at higher pressures $T_{\text{o}}(P)$ for Tb becomes highly anomalous. This result, together with the very strong suppression of superconductivity by dilute Tb ions in Y, suggests that extreme pressure transports Tb into an unconventional magnetic state with an anomalously high magnetic ordering temperature.


title: Complete graph immersions in dense graphs

abstract: In this article we consider the relationship between vertex coloring and the immersion order. Specifically, a conjecture proposed by Abu-Khzam and Langston in 2003, which says that the complete graph with $t$ vertices can be immersed in any $t$-chromatic graph, is studied. First, we present a general result about immersions and prove that the conjecture holds for graphs whose complement does not contain any induced cycle of length four and also for graphs having the property that every set of five vertices induces a subgraph with at least six edges. Then, we study the class of all graphs with independence number less than three, which are graphs of interest for Hadwiger's Conjecture. We study such graphs for the immersion-analog. If Abu-Khzam and Langston's conjecture is true for this class of graphs, then an easy argument shows that every graph of independence number less than $3$ contains $K_{\left\lceil\frac{n}{2}\right\rceil}$ as an immersion. We show that the converse is also true. That is, if every graph with independence number less than $3$ contains an immersion of $K_{\left\lceil\frac{n}{2}\right\rceil}$, then Abu-Khzam and Langston's conjecture is true for this class of graphs. Furthermore, we show that every graph of independence number less than $3$ has an immersion of $K_{\left\lceil\frac{n}{3}\right\rceil}$.


title: A version of bundle method with linear programming

abstract: Bundle methods have been intensively studied for solving both convex and nonconvex optimization problems. In most of the bundle methods developed thus far, at least one quadratic programming (QP) subproblem needs to be solved in each iteration. In this paper, we exploit the feasibility of developing a bundle algorithm that only solves linear subproblems. We start from minimization of a convex function and show that the sequence of major iterations converge to a minimizer. For nonconvex functions we consider functions that are locally Lipschitz continuous and prox-regular on a bounded level set, and minimize the cutting-plane model over a trust region with infinity norm. The para-convexity of such functions allows us to use the locally convexified model and its convexity properties. Under some conditions and assumptions, we study the convergence of the proposed algorithm through the outer semicontinuity of the proximal mapping. Encouraging results of preliminary numerical experiments on standard test sets are provided.


title: Single crystal diamond nanobeam waveguide optomechanics

abstract: Optomechanical devices sensitively transduce and actuate motion of nanomechanical structures using light. Single--crystal diamond promises to improve the performance of optomechanical devices, while also providing opportunities to interface nanomechanics with diamond color center spins and related quantum technologies. Here we demonstrate dissipative waveguide--optomechanical coupling exceeding 35 GHz/nm to diamond nanobeams supporting both optical waveguide modes and mechanical resonances, and use this optomechanical coupling to measure nanobeam displacement with a sensitivity of $9.5$ fm/$\sqrt{\text{Hz}}$ and optical bandwidth $>150$nm. The nanobeams are fabricated from bulk optical grade single--crystal diamond using a scalable undercut etching process, and support mechanical resonances with quality factor $2.5 \times 10^5$ at room temperature, and $7.2 \times 10^5$ in cryogenic conditions (5K). Mechanical self--oscillations, resulting from interplay between photothermal and optomechanical effects, are observed with amplitude exceeding 200 nm for sub-$\mu$W absorbed optical power, demonstrating the potential for optomechanical excitation and manipulation of diamond nanomechanical structures.


title: Symplectic group and Heisenberg group in p-adic quantum mechanics

abstract: This paper treats mathematically some problems in p-adic quantum mechanics. We first deal with p-adic symplectic group corresponding to the symmetry on the classical phase space. By the filtrations of isotropic subspaces and almost self-dual lattices in the p-adic symplectic vector space, we explicitly give the expressions of parabolic subgroups, maximal compact subgroups and corresponding Iwasawa decompositions of some symplectic groups. For a triple of Lagrangian subspaces, we associated it with a quadratic form whose Hasse invariant is calculated. Next we study the various equivalent realizations of unique irreducible and admissible representation of p-adic Heisenberg group. For the Schrodinger representation, we can define Weyl operator and its kernel function, while for the induced representations from the characters of maximal abelian subgroups of Heisenberg group generated by the isotropic subspaces or self-dual lattice in the p-adic symplectic vector space, we calculate the Maslov index defined via the intertwining operators corresponding to the representation transformation operators in quantum mechanics.


title: pQCD approach to Charmonium regeneration in QGP at the LHC

abstract: We analyze the applicability of perturbative QCD (pQCD) approach to the issue of $J/\psi$ recombination at the Large Hadron Collider (LHC), and calculate the recombination cross section for $c\bar{c}$ recombination to form $J/\psi$ as a function of temperature. The charmonium wavefunction is obtained by employing a temperature dependent phenomenological potential between the $c\bar{c}$ pair. The temperature dependent formation time of charmonium is also employed in the current work. A set of coupled rate equations is established which incorporates color screening, gluonic dissociation, collisional damping and recombination of uncorrelated $c\bar{c}$ pair in the quark-gluon plasma (QGP) medium. The final $J/\psi$ suppression, thus determined as a function of centrality is compared with the ALICE experimental data at both mid and forward rapidity and CMS experimental data at mid rapidity obtained from the Large Hadron Collider (LHC) at center of mass energy $\sqrt{s_{NN}} = 2.76$ TeV. Keywords : Color screening, Recombination, Gluonic dissociation, Collisional damping, Survival probability, pQCD, Charmonium PACS numbers : 12.38.Mh, 12.38.Gc, 25.75.Nq, 24.10.Pa


title: Degenerate and Stable Yang-Mills-Higgs Pairs

abstract: In this paper, we introduce some notions on the pair consisting of a Chern connection and a Higgs field closely related to the first and second variation of Yang-Mills- Higgs functional, such as strong Yang-Mills-Higgs pair, degenerate Yang-Mills-Higgs pair, stable Yang-Mills-Higgs pair. We investigate some properties of such pairs.


title: Edge states and integer quantum Hall effect in topological insulator thin films

abstract: The integer quantum Hall effect is a topological state of quantum matter in two dimensions, and has recently been observed in three-dimensional topological insulator thin films. Here we study the Landau levels and edge states of surface Dirac fermions in topological insulators under strong magnetic field. We examine the formation of the quantum plateaux of the Hall conductance and find two different patterns, in one pattern the filling number covers all integers while only odd integers in the other. We focus on the quantum plateau closest to zero energy and demonstrate the breakdown of the quantum spin Hall effect resulting from structure inversion asymmetry. The phase diagrams of the quantum Hall states are presented as functions of magnetic field, gate voltage and chemical potential. This work establishes an intuitive picture of the edge states to understand the integer quantum Hall effect for Dirac electrons in topological insulator thin films.


title: Rotational beta expansion: Ergodicity and Soficness

abstract: We study a family of piecewise expanding maps on the plane, generated by composition of a rotation and an expansive similitude of expansion constant $\beta$. We give two constants $B_1$ and $B_2$ depending only on the fundamental domain that if $\beta>B_1$ then the expanding map has a unique absolutely continuous invariant probability measure, and if $\beta>B_2$ then it is equivalent to $2$-dimensional Lebesgue measure. Restricting to a rotation generated by $q$-th root of unity $\zeta$ with all parameters in $\mathbb{Q}(\zeta,\beta)$, it gives a sofic system when $\cos(2\pi/q) \in \mathbb{Q}(\beta)$ and $\beta$ is a Pisot number. It is also shown that the condition $\cos(2\pi/q) \in \mathbb{Q}(\beta)$ is necessary by giving a family of non-sofic systems for $q=5$.


title: Multiwavelength Observations of NaSt1 (WR 122): Equatorial Mass Loss and X-rays from an Interacting Wolf-Rayet Binary

abstract: NaSt1 (aka Wolf-Rayet 122) is a peculiar emission-line star embedded in an extended nebula of [N II] emission with a compact dusty core. This object was characterized by Crowther & Smith (1999) as a Wolf-Rayet (WR) star cloaked in an opaque nebula of CNO-processed material, perhaps analogous to Eta Car and its Homunculus nebula, albeit with a hotter central source. To discern the morphology of the [N II] nebula we performed narrowband imaging using the Hubble Space Telescope and Wide-field Camera 3. The images reveal that the nebula has a disk-like geometry tilted 12 degrees from edge-on, composed of a bright central ellipsoid surrounded by a larger clumpy ring. Ground-based spectroscopy reveals radial velocity structure (~10 km/s) near the outer portions of the nebula's major axis, which is likely to be the imprint of outflowing gas. Near-infrared adaptive-optics imaging with Magellan AO has resolved a compact ellipsoid of Ks-band emission aligned with the larger [N II] nebula, which we suspect is the result of scattered He I line emission (2.06 um). Observations with the Chandra X-ray Observatory have revealed an X-ray point source at the core of the nebula that is heavily absorbed at energies <1 keV and has properties consistent with WR stars and colliding-wind binaries. We suggest that NaSt1 is a WR binary embedded in an equatorial outflow that formed as the result of non-conservative mass transfer. NaSt1 thus appears to be a rare and important example of a stripped-envelope WR forming through binary interaction, caught in the brief Roche-lobe overflow phase.


title: Residual vanishing for blowup solutions to 2D Smoluchowski-Poisson equation

abstract: We study Smoluchowski-Poisson equation in two space dimensions provided with Dirichlet boundary condition for the Poisson part. For this equation several profiles of blowup solution have been noticed. Here we show the residual vanishing.


title: Propagation of regularity and persistence of decay for fifth order dispersive models

abstract: This paper considers the initial value problem for a class of fifth order dispersive models containing the fifth order KdV equation $$\partial_tu - \partial_x^5u - 30u^2\partial_xu + 20\partial_xu\partial_x^2u + 10u\partial_x^3u = 0.$$ The main results show that regularity or polynomial decay of the data on the positive half-line yields regularity in the solution for positive times.


title: Mean convergence of Markovian spherical averages for measure-preserving actions of the free group

abstract: Mean convergence of Markovian spherical averages is established for a measure-preserving action of a finitely-generated free group on a probability space. We endow the set of generators with a generalized Markov chain and establish the mean convergence of resulting spherical averages in this case under mild nondegeneracy assumptions on the stochastic matrix $\Pi$ defining our Markov chain. Equivalently, we establish the triviality of the tail sigma-algebra of the corresponding Markov operator. This convergence was previously known only for symmetric Markov chains, while the conditions ensuring convergence in our paper are inequalities rather than equalities, so mean convergence of spherical averages is established for a much larger class of Markov chains.


title: Model Selection Consistency of Lasso for Empirical Data

abstract: Large-scale empirical data, the sample size and the dimension are high, often exhibit various characteristics. For example, the noise term follows unknown distributions or the model is very sparse that the number of critical variables is fixed while dimensionality grows with $n$. We consider the model selection problem of lasso for this kind of data. We investigate both theoretical guarantees and simulations, and show that the lasso is robust for various kinds of data.


title: Cosmic Ray Transport with Magnetic Focusing and the "Telegraph" model

abstract: Cosmic rays (CR), constrained by scattering on magnetic irregularities, are believed to propagate diffusively. But a well-known defect of diffusive approximation whereby some of the particles propagate unrealistically fast has directed interest towards an alternative CR transport model based on the "telegraph" equation. However, its derivations often lack rigor and transparency leading to inconsistent results. We apply the classic Chapman-Enskog method to the CR transport problem. We show that no "telegraph" (second order time derivative) term emerges in any order of a proper asymptotic expansion with systematically eliminated short time scales. Nevertheless, this term may formally be\emph{ converted} from the \emph{fourth} order hyper-diffusive term of the expansion. But, both the telegraph and hyperdiffusive terms may only be important for a short relaxation period associated with either strong pitch-angle anisotropy or spatial inhomogeneity of the initial CR distribution. Beyond this period the system evolves diffusively in both cases. The term conversion, that makes the telegraph and Chapman-Enskog approaches reasonably equivalent, is possible only after this relaxation period. During this period, the telegraph solution is argued to be unphysical. Unlike the hyperdiffusion correction, it is not uniformly valid and introduces implausible singular components to the solution. These dominate the solution during the relaxation period. As they are shown not to be inherent in the underlying scattering problem, we argue that the telegraph term is involuntarily acquired in an asymptotic reduction of the problem.


title: When is the Kadowaki-Woods ratio universal?

abstract: We calculate the Kadowaki-Woods ratio (KWR) in Fermi liquids with arbitrary band structures. We find that, contrary to the single band case, the ratio is not generally independent of the effects of electronic correlations (universal). This is very surprising given the experimental findings of a near universal KWR in many multiband metals. We identify a limit where the universality of the ratio, which has been observed experimentally in many strongly correlated electron systems, is recovered. We discuss the KWR in Dirac semimetals in two and three dimensions. In the two-dimensional case we also generalize the KWR to account for the logarithmic factor in the self-energy. In both cases we find that the KWR is independent of correlations, but strongly dependent on the doping of the system: for massless fermions the KWR is proportional to the inverse square of the carrier density, whereas the KWR for systems with massive quasiparticles is proportional to the inverse of the carrier density.


title: Bounded Verification with On-the-Fly Discrepancy Computation

abstract: Simulation-based verification algorithms can provide formal safety guarantees for nonlinear and hybrid systems. The previous algorithms rely on user provided model annotations called discrepancy function, which are crucial for computing reachtubes from simulations. In this paper, we eliminate this requirement by presenting an algorithm for computing piece-wise exponential discrepancy functions. The algorithm relies on computing local convergence or divergence rates of trajectories along a simulation using a coarse over-approximation of the reach set and bounding the maximal eigenvalue of the Jacobian over this over-approximation. The resulting discrepancy function preserves the soundness and the relative completeness of the verification algorithm. We also provide a coordinate transformation method to improve the local estimates for the convergence or divergence rates in practical examples. We extend the method to get the input-to-state discrepancy of nonlinear dynamical systems which can be used for compositional analysis. Our experiments show that the approach is effective in terms of running time for several benchmark problems, scales reasonably to larger dimensional systems, and compares favorably with respect to available tools for nonlinear models.


title: Online Convex Covering and Packing Problems

abstract: We study the online convex covering problem and online convex packing problem. The (offline) convex covering problem is modeled by the following convex program: $\min_{x \in R_+^n} f(x) \ \text{s.t}\ A x \ge 1$, where $f : R_+^n \mapsto R_+$ is a monotone and convex cost function, and $A$ is an $m \times n$ matrix with non-negative entries. Each row of the constraint matrix $A$ corresponds to a covering constraint. In the online problem, each row of $A$ comes online and the algorithm must maintain a feasible assignment $x$ and may only increase $x$ over time. The (offline) convex packing problem is modeled by the following convex program: $\max_{y\in R_+^m} \sum_{j = 1}^m y_j - g(A^T y)$, where $g : R_+^n \mapsto R_+$ is a monotone and convex cost function. It is the Fenchel dual program of convex covering when $g$ is the convex conjugate of $f$. In the online problem, each variable $y_j$ arrives online and the algorithm must decide the value of $y_j$ on its arrival. We propose simple online algorithms for both problems using the online primal dual technique, and obtain nearly optimal competitive ratios for both problems for the important special case of polynomial cost functions. For any convex polynomial cost functions with non-negative coefficients and maximum degree $\tau$, we introduce an $O(\tau \log n)^\tau$-competitive online convex covering algorithm, and an $O(\tau)$-competitive online convex packing algorithm, matching the known $\Omega(\tau \log n)^\tau$ and $\Omega(\tau)$ lower bounds respectively. There is a large family of online resource allocation problems that can be modeled under this online convex covering and packing framework, including online covering and packing problems (with linear objectives), online mixed covering and packing, and online combinatorial auction. Our framework allows us to study these problems using a unified approach.


title: Strategic and Operational information support of decision making processes and systems

abstract: This paper aims to present the different aspects and characteristics of strategic and operational information and propose a categorization pattern allowing to consider an information as strategic or operational. This categorization is to be used in the two decision making processes to assist its mining, and usage by the two related decision support systems. This is conducted trough the results of an investigative study of information used as basis for strategic decisions inside three different companies.


title: On an elliptic equation arising from photo-acoustic imaging in inhomogeneous media

abstract: We study an elliptic equation with measurable coefficients arising from photo-acoustic imaging in inhomogeneous media. We establish Holder continuity of weak solutions and obtain pointwise bounds for Green's functions subject to Dirichlet or Neumann condition.


title: Controlling quantum spin Hall state via strain in various stacking bilayer phosphorene

abstract: Quantum spin Hall (QSH) state of matter has a charge excitation bulk bandgap and a pair of gapless spin-filtered edge-states, which can support backscattering-free transport. Bilayer phosphorene possesses a large tunable bandgap and high carrier mobilities, and therefore has the widely potential applications in nanoelectronics and optics. Here, we demonstrate an strain-induced electronic topological phase transition from a normal to QSH state in bilayer phosphorene accompanying by a band inversion that changes $\mathbbm{Z}_{2}$ from 0 to 1, which is highly dependent on the interlayer stacking. When the bottom layer is shifted by 1/2 unit cell along axial direction with respect to the top layer, the topological bandgap reaches up to 92.5 meV, which is sufficiently large to realize the QSH effect at room temperature. Its optical absorption spectrum becomes broadened, and even extends to the far-infra-red region leading to a wider range of brightness, which is highly desirable in optic devices.


title: A Method to construct the Sparse-paving Matroids over a Finite Set

abstract: In this work we present an algorithm to construct sparse-paving matroids over finite set $S$. From this algorithm we derive some useful bounds on the cardinality of the set of circuits of any Sparse-Paving matroids which allow us to prove in a simple way an asymptotic relation between the class of Sparse-paving matroids and the whole class of matroids. Additionally we introduce a matrix based method which render an explicit partition of the $r$-subsets of $S$, $\binom{S}{r}=\sqcup_{i=1}^{\gamma }\mathcal{U}_{i}$ such that each $\mathcal{U}_{i}$ defines a sparse-paving matroid of rank $r$.


title: Study of digital pulse shape discrimination method for n-{\gamma} separation of EJ-301 liquid scintillation detector

abstract: A digital pulse shape discrimination system based on a programmable module NI-5772 has been established and tested with EJ-301 liquid scintillation detector. The module was operated by means of running programs developed in LabVIEW with the sampling frequency up to 1.6GS/s. Standard gamma sources 22Na, 137Cs and 60Co were used to calibrate the EJ-301 liquid scintillation detector, and the gamma response function has been obtained. Digital algorithms for charge comparison method and zero-crossing method have been developed. The experimental results showed that both digital signal processing (DSP) algorithms could discriminate neutrons from gamma-rays. Moreover, the zero-crossing method shows better n-{\gamma} discrimination at 80 keVee and lower, whereas the charge comparison method gives better results at higher thresholds. In addition, the figure-of-merit (FOM) of two different dimension detectors were extracted at 9 energy thresholds, and it was found that the smaller one presented a better n-{\gamma} separation property for fission neutrons.


title: Accretion Phase of Star Formation in Clouds with Different Metallicities

abstract: The main accretion phase of star formation is investigated in clouds with different metallicities in the range of 0 \le Z \le Z_\odot, resolving the protostellar radius. Starting from a near-equilibrium prestellar cloud, we calculate the cloud evolution up to \sim100 yr after the first protostar formation. The star formation process considerably differs between clouds with lower (Z \le 10^-4 Z_\odot) and higher (Z > 10^-4 Z_\odot) metallicities. Fragmentation frequently occurs and many protostars appear without forming a stable circumstellar disc in lower-metallicity clouds. In these clouds, although protostars mutually interact and some are ejected from the cloud centre, many remain as a small stellar cluster. In contrast, higher-metallicity clouds produce a single protostar surrounded by a nearly stable rotation-supported disc. In these clouds, although fragmentation occasionally occurs in the disc, the fragments migrate inwards and finally fall onto the central protostar. The difference in cloud evolution is due to different thermal evolutions and mass accretion rates. The thermal evolution of the cloud determines the emergence and lifetime of the first core. The first core develops prior to the protostar formation in higher-metallicity clouds, whereas no (obvious) first core appears in lower-metallicity clouds. The first core evolves into a circumstellar disc with a spiral pattern, which effectively transfers the angular momentum outwards and suppresses frequent fragmentation. In lower-metallicity clouds, the higher mass accretion rate increases the disc surface density within a very short time, rendering the disc unstable to self-gravity and inducing vigorous fragmentation.


title: Universal formula for the flavor non-singlet axial-vector current from the gradient flow

abstract: By employing the gradient/Wilson flow, we derive a universal formula that expresses a correctly normalized flavor non-singlet axial-vector current of quarks. The formula is universal in the sense that it holds independently of regularization and especially holds with lattice regularization. It is also confirmed that, in the lowest non-trivial order of perturbation theory, the triangle diagram containing the formula and two flavor non-singlet vector currents possesses non-local structure that is compatible with the triangle anomaly.


title: Measurement of radiative tau decays tau -> l gamma nu anti-nu at BaBar

abstract: We perform a measurement of the branching fractions for tau -> l gamma nu anti-nu (l= e, mu) decays for a minimum photon energy of 10 MeV in the tau rest frame using 430 fb^-1 of e^+ e^- collisions collected at the center-of-mass energy of the Upsilon(4S) resonance around 10.58GeV with the BaBar detector at the PEP-II storage rings. We find B(tau -> mu gamma nu nu) = (3.69pm0.03pm0.10)x10^-3 and B(tau -> e gamma nu anti-nu) = (1.847pm0.015pm0.052)x10^-2 where the first quoted error is statistical and the second is systematic. These results represent a substantial improvement with respect to existing measurements for both channels.


title: Asymptotic tail behavior of phase-type scale mixture distributions

abstract: We consider phase-type scale mixture distributions which correspond to distributions of a product of two independent random variables: a phase-type random variable $Y$ and a nonnegative but otherwise arbitrary random variable $S$ called the scaling random variable. We investigate conditions for such a class of distributions to be either light- or heavy-tailed, we explore subexponentiality and determine their maximum domains of attraction. Particular focus is given to phase-type scale mixture distributions where the scaling random variable $S$ has discrete support --- such a class of distributions has been recently used in risk applications to approximate heavy-tailed distributions. Our results are complemented with several examples.


title: Crowded Scene Analysis: A Survey

abstract: Automated scene analysis has been a topic of great interest in computer vision and cognitive science. Recently, with the growth of crowd phenomena in the real world, crowded scene analysis has attracted much attention. However, the visual occlusions and ambiguities in crowded scenes, as well as the complex behaviors and scene semantics, make the analysis a challenging task. In the past few years, an increasing number of works on crowded scene analysis have been reported, covering different aspects including crowd motion pattern learning, crowd behavior and activity analysis, and anomaly detection in crowds. This paper surveys the state-of-the-art techniques on this topic. We first provide the background knowledge and the available features related to crowded scenes. Then, existing models, popular algorithms, evaluation protocols, as well as system performance are provided corresponding to different aspects of crowded scene analysis. We also outline the available datasets for performance evaluation. Finally, some research problems and promising future directions are presented with discussions.


title: Flux free growth of large FeSe1/2Te1/2 superconducting single crystals by an easy high temperature melt and slow cooling method

abstract: We report successful growth of flux free large single crystals of superconducting FeSe1/2Te1/2 with typical dimensions of up to few cm. The AC and DC magnetic measurements revealed the superconducting transition temperature (Tc) value of around 11.5K and the iso-thermal MH showed typical type-II superconducting behavior. The lower critical field being estimated by measuring the low field iso-thermal magnetization in superconducting regime is found to be above 200 Oe at 0K.


title: First-principles insights into f magnetism, a case study on some magnetic pyrochlores

abstract: First-principles calculations are performed to investigate f magnetism in A$_2$Ti$_2$O$_7$ (A=Eu, Gd, Tb, Dy, Ho, Er, Yb) magnetic pyrochlore oxides. The Hubbard U parameter and the relativistic spin orbit correction is applied for more accurate description of the electronic structure of the systems. It is argued that the main obstacle for first-principles study of these systems is the multi-minima solutions of their electronic configuration. Among the studied pyrochlores, Gd$_2$Ti$_2$O$_7$ shows the least multi-minima problem. The crystal electric field theory is applied for phenomenological comparison of the calculated spin and orbital moments with the experimental data.


title: Fog Computing: Focusing on Mobile Users at the Edge

abstract: With smart devices, particular smartphones, becoming our everyday companions, the ubiquitous mobile Internet and computing applications pervade people daily lives. With the surge demand on high-quality mobile services at anywhere, how to address the ubiquitous user demand and accommodate the explosive growth of mobile traffics is the key issue of the next generation mobile networks. The Fog computing is a promising solution towards this goal. Fog computing extends cloud computing by providing virtualized resources and engaged location-based services to the edge of the mobile networks so as to better serve mobile traffics. Therefore, Fog computing is a lubricant of the combination of cloud computing and mobile applications. In this article, we outline the main features of Fog computing and describe its concept, architecture and design goals. Lastly, we discuss some of the future research issues from the networking perspective.


title: Resonant indirect exchange via remote 2D channel

abstract: We apply the previously developed theory of the resonant indirect exchange interaction to explain the ferromagnetic properties of the hybrid heterostructure consisting of a InGaAs-based quantum well (QW) sandwiched between GaAs barriers with a remote Mn delta-layer. The experimentally obtained dependence of the Curie temperature on the QW depth exhibits a maximum related to the region of resonant indirect exchange. We suggest the theoretical explanantion and a fit to this dependence as a result of the two contributions to ferromagnetism - the intralayer contribution and the resonant exchange contribution provided by the QW.


title: Ultracold fermions in a cavity-induced artificial magnetic field

abstract: We show how a fermionic quantum gas in an optical lattice and coupled to the field of an optical cavity can self-organize into a state in which the spontaneously emerging cavity field amplitude induces an artificial magnetic field. The fermions form either a chiral insulator or a chiral liquid carrying edge currents. The feedback mechanism via the cavity field enables robust and fast switching of the edge currents and the cavity output can be employed for non-destructive measurements of the atomic dynamics.


title: Etude des d\'eterminants psychologiques de la persistance dans l'usage d'un jeu s\'erieux : \'evaluation de l'environnement optimal d'apprentissage avec Mecagenius?

abstract: The aim of this paper is to show the relevance of motivational key concepts in evaluating the use of serious game. This research involves 115 students training with Mecagenius (serious game in mechanical engineering). The results of the exploratory study also confirm the relevance of the use of flow in Education scale (EduFlow) to evaluate the optimal learning experienc ewith a serious game. It also appears that EduFlow is related to specific actions within the school context such as self-efficacy, motivational climate and interest.


title: Coupled-mode induced transparency in aerostatically-tuned microbubble whispering gallery resonators

abstract: Coupled-mode induced transparency is realized in a single microbubble whispering gallery mode resonator. Using aerostatic tuning, we find that the pressure induced shifting rates are different for different radial order modes. A finite element simulation considering both the strain and stress effects shows a GHz/bar difference and this is confirmed by experiments. A transparency spectrum is obtained when a first order mode shifts across a higher order mode through precise pressure tuning. The resulting lineshapes are fitted with the theory. This work lays a foundation for future applications in microbubble sensing.


title: Power-counting and Renormalizability in Lifshitz Scalar Theory

abstract: We study the renormalizability in theories of a self-interacting Lifshitz scalar field. We show that although the statement of power-counting is true at one-loop order, in generic cases where the scalar field is dimensionless, an infinite number of counter terms are involved in the renormalization procedure. This problem can be avoided by imposing symmetries, the shift symmetry in the present paper, which allow only a finite number of counter terms to appear. The symmetry requirements might have important implications for the construction of matter field sectors in the Horava-Lifshitz gravity.


title: Quantum phase transitions and string orders in the spin-1/2 Heisenberg-Ising alternating chain with Dzyaloshinskii-Moriya interaction

abstract: Quantum phase transitions (QPTs) and the ground-state phase diagram of the spin-1/2 Heisenberg-Ising alternating chain (HIAC) with uniform Dzyaloshinskii-Moriya (DM) interaction are investigated by a matrix-product-state (MPS) method. By calculating the odd- and even-string order parameters, we recognize two kinds of Haldane phases, i.e., the odd- and even-Haldane phases. Furthermore, doubly degenerate entanglement spectra on odd and even bonds are observed in odd- and even-Haldane phases, respectively. A rich phase diagram including four different phases, i.e., an antiferromagnetic (AF), AF stripe, odd- and even-Haldane phases, is obtained. These phases are found to be separated by continuous QPTs: the topological QPT between the odd- and even-Haldane phases is verified to be continuous and corresponds to conformal field theory with central charge $c$=1; while the rest phase transitions in the phase diagram are found to be $c$=1/2. We also revisit, with our MPS method, the exactly solvable case of HIAC model with DM interactions only on odd bonds, and find that the even-Haldane phase disappears, but the other three phases, i.e., the AF, AF stripe, and odd-Haldane phases, still remain in the phase diagram. We exhibit the evolution of the even-Haldane phase by tuning the DM interactions on the even bonds gradually.


title: Solving systems of phaseless equations via Kaczmarz methods: A proof of concept study

abstract: We study the Kaczmarz methods for solving systems of quadratic equations, i.e., the generalized phase retrieval problem. The methods extend the Kaczmarz methods for solving systems of linear equations by integrating a phase selection heuristic in each iteration and overall have the same per iteration computational complexity. Extensive empirical performance comparisons establish the computational advantages of the Kaczmarz methods over other state-of-the-art phase retrieval algorithms both in terms of the number of measurements needed for successful recovery and in terms of computation time. Preliminary convergence analysis is presented for the randomized Kaczmarz methods.


title: Unsupervised Fusion Weight Learning in Multiple Classifier Systems

abstract: In this paper we present an unsupervised method to learn the weights with which the scores of multiple classifiers must be combined in classifier fusion settings. We also introduce a novel metric for ranking instances based on an index which depends upon the rank of weighted scores of test points among the weighted scores of training points. We show that the optimized index can be used for computing measures such as average precision. Unlike most classifier fusion methods where a single weight is learned to weigh all examples our method learns instance-specific weights. The problem is formulated as learning the weight which maximizes a clarity index; subsequently the index itself and the learned weights both are used separately to rank all the test points. Our method gives an unsupervised method of optimizing performance on actual test data, unlike the well known stacking-based methods where optimization is done over a labeled training set. Moreover, we show that our method is tolerant to noisy classifiers and can be used for selecting N-best classifiers.


title: Competition Graphs of Jaco Graphs and the Introduction of the Grog Number of a Simple Connected Graph

abstract: Let $G^\rightarrow$ be a simple connected directed graph on $n \geq 2$ vertices and let $V^*$ be a non-empty subset of $V(G^\rightarrow)$ and denote the undirected subgraph induced by $V^*$ by, $\langle V^* \rangle.$ We show that the \emph{competition graph} of the Jaco graph $J_n(1), n \in \Bbb N, n \geq 5,$ denoted by $C(J_n(1))$ is given by:\\ \\ $C(J_n(1)) = \langle V^* \rangle_{V^* = \{v_i|3 \leq i \leq n-1\}} - \{v_iv_{m_i}| m_i = i + d^+_{J_n(1)}(v_i), 3 \leq i \leq n-2\} \cup \{v_1, v_2, v_n\}.$\\ \\ Further to the above, the concept of the \emph{grog number} $g(G^\rightarrow)$ of a simple connected directed graph $G^\rightarrow$ on $n \geq 2$ vertices as well as the general \emph{grog number} of the underlying graph $G$, will be introduced. The \emph{grog number} measures the efficiency of an \emph{optimal predator-prey strategy} if the simple directed graph models an ecological predator-prey web.\\ \\ We also pose four open problems for exploratory research.


title: A note on the variational analysis of the parabolic-parabolic Keller-Segel system in one spatial dimension

abstract: We prove the existence of global-in-time weak solutions to a version of the parabolic-parabolic Keller-Segel system in one spatial dimension. If the coupling of the system is suitably weak, we prove convergence of those solutions to the unique equilibrium with an exponential rate. Our proofs are based on an underlying gradient flow structure with respect to a mixed Wasserstein-$L^2$ distance.


title: Monodromy representations of hypergeometric systems with respect to fundamental series solutions

abstract: We study the monodromy representation of the generalized hypergeometric differential equation and that of Lauricella's $F_C$ system of hypergeometric differential equations. We use fundamental systems of solutions expressed by the hypergeometric series. We express non-diagonal circuit matrices as reflections with respect to root vectors with all entries $1$. We present a simple way to obtain circuit matrices.


title: Hierarchical Maximum-Margin Clustering

abstract: We present a hierarchical maximum-margin clustering method for unsupervised data analysis. Our method extends beyond flat maximum-margin clustering, and performs clustering recursively in a top-down manner. We propose an effective greedy splitting criteria for selecting which cluster to split next, and employ regularizers that enforce feature sharing/competition for capturing data semantics. Experimental results obtained on four standard datasets show that our method outperforms flat and hierarchical clustering baselines, while forming clean and semantically meaningful cluster hierarchies.


title: Long-term stability of phase-separated Half-Heusler compounds

abstract: Half-Heusler (HH) compounds have shown high Figure of merits up to 1.5. The key to these high thermoelectric efficiencies is an intrinsic phase separation, which occurs in multicomponent Half-Heusler compounds and leads to an significantly reduction of the thermal conductivity. For commercial applications, compatible n- and p-type materials are essential and their thermal stability under operating conditions, e.g. for an automotive up to 873 K, needs to be guaranteed. For the first time, the long-term stability of n- and p-type HH materials is proved. We investigated HH materials based on the Ti0.3Zr0.35Hf0.35NiSn-system after 500 cycles (1700 h) from 373 to 873 K. Both compounds exhibit a maximum Seebeck coefficient of S around 210 muV/K and an intrinsic phase separation into two HH phases. The dendritic microstructure is temperature resistant and maintained the low thermal conductivity values (kappa less than 4 W/Km). Our results emphasize that phase-separated HH compounds are suitable low cost materials and can lead to enhanced thermoelectric efficiencies beyond the set benchmark for industrial applications.


title: Symmetries of symmetries and geometrical CP violation

abstract: We investigate transformations which are not symmetries of a theory but nevertheless leave invariant the set of all symmetry elements and representations. Generalizing from the example of a three Higgs doublet model with $\Delta(27)$ symmetry, we show that the possibility of such transformations signals physical degeneracies in the parameter space of a theory. We show that stationary points only appear in multiplets which are representations of the group of these so-called equivalence transformations. As a consequence, the stationary points are amongst the solutions of a set of homogeneous linear equations. This is relevant to the minimization of potentials in general and sheds new light on the origin of calculable phases and geometrical CP violation.


title: Entropic tests of multipartite nonlocality and state-independent contextuality

abstract: We introduce a multipartite extension of an information-theoretic distance first introduced in [Nature 341, 119 (1989)]. We use this new distance to derive entropic tests of multipartite nonlocality for three and for an arbitrary even number of qubits as well as a test of state-independent contextuality. In addition, we re-derive the tripartite Mermin inequality and a state-independent non-contextuality inequality by Cabello [Phys. Rev. Lett. 101, 210401 (2008)]. This suggests that the information-theoretic distance approach to multipartite nonlocality and state-independent contextuality can provide a more general treatment of nonclassical correlations than the orthodox approach based on correlation functions.


title: Calculation and evaluation of cross-sections for p+184W reactions up to 200MeV

abstract: The cross-sections of proton-induced reactions on 184W at incident proton energy below 200MeV are calculated and analyzed including reaction cross-sections, elastic scattering angular distributions, energy spectra and double differential cross section. Nuclear theoretical models which integrate the optical model, distorted born wave approximation theory, the intra-nuclear cascade model, the exciton model, the Hauser-Feshbach theory and the evaporation model are used in the reactions. Theoretical results are compared with the existent experimental data.


title: Neural-network selection of high-redshift radio quasars, and the luminosity function at z~4

abstract: We obtain a sample of 87 radio-loud QSOs in the redshift range 3.6<z<4.4 by cross-correlating sources in the FIRST radio survey S{1.4GHz} > 1 mJy with star-like objects having r <20.2 in SDSS Data Release 7. Of these 87 QSOs, 80 are spectroscopically classified in previous work (mainly SDSS), and form the training set for a search for additional such sources. We apply our selection to 2,916 FIRST-DR7 pairs and find 15 likely candidates. Seven of these are confirmed as high-redshift quasars, bringing the total to 87. The candidates were selected using a neural-network, which yields 97% completeness (fraction of actual high-z QSOs selected as such) and an efficiency (fraction of candidates which are high-z QSOs) in the range of 47 to 60%. We use this sample to estimate the binned optical luminosity function of radio-loud QSOs at $z\sim 4$, and also the LF of the total QSO population and its comoving density. Our results suggest that the radio-loud fraction (RLF) at high z is similar to that at low-z and that other authors may be underestimating the fraction at high-z. Finally, we determine the slope of the optical luminosity function and obtain results consistent with previous studies of radio-loud QSOs and of the whole population of QSOs. The evolution of the luminosity function with redshift was for many years interpreted as a flattening of the bright end slope, but has recently been re-interpreted as strong evolution of the break luminosity for high-z QSOs, and our results, for the radio-loud population, are consistent with this.


title: Analysis of a reduced-order HDG method for the Stokes equations

abstract: In this paper, we analyze a hybridized discontinuous Galerkin(HDG) method with reduced stabilization for the Stokes equations. The reduced stabilization enables us to reduce the number of facet unknowns and improve the computational efficiency of the method. We provide optimal error estimates in an energy and $L^2$ norms. It is shown that the reduced method with the lowest-order approximation is closely related to the nonconforming Crouzeix-Raviart finite element method. We also prove that the solution of the reduced method converges to the nonconforming Gauss-Legendre finite element solution as a stabilization parameter $\tau$ tends to infinity and that the convergence rate is $O(\tau^{-1})$.


title: Constraining the orbits of sub-stellar companions imaged over short orbital arcs

abstract: Imaging a star's companion at multiple epochs over a short orbital arc provides only four of the six coordinates required for a unique orbital solution. Probability distributions of possible solutions are commonly generated by Monte Carlo (MCMC) analysis, but these are biased by priors and may not probe the full parameter space. We suggest alternative methods to characterise possible orbits, which compliment the MCMC technique. Firstly the allowed ranges of orbital elements are prior-independent, and we provide means to calculate these ranges without numerical analyses. Hence several interesting constraints (including whether a companion even can be bound, its minimum possible semi-major axis and its minimum eccentricity) may be quickly computed using our relations as soon as orbital motion is detected. We also suggest an alternative to posterior probability distributions as a means to present possible orbital elements, namely contour plots of elements as functions of line of sight coordinates. These plots are prior-independent, readily show degeneracies between elements and allow readers to extract orbital solutions themselves. This approach is particularly useful when there are other constraints on the geometry, for example if a companion's orbit is assumed to be aligned with a disc. As examples we apply our methods to several imaged sub-stellar companions including Fomalhaut b, and for the latter object we show how different origin hypotheses affect its possible orbital solutions. We also examine visual companions of A- and G-type main sequence stars in the Washington Double Star Catalogue, and show that $\gtrsim50$ per cent must be unbound.


title: Chiral superconductivity in nematic states

abstract: We investigate chiral superconductivity which occurs in the electronic nematic state. A vortex state in a $c$-axis magnetic field is studied on the basis of the two-component Ginzburg-Landau model for nematic-chiral superconductors. It is shown that various vortex lattice structures are stabilized by nontrivial cooperation of nematicity and chirality in superconductors. In particular, the vortex lattice structural transition occurs when a square anisotropy parameter $\nu$ is positive (negative) and the nematicity is induced along the [110] axis ([100] axis). We discuss nematic-chiral superconductivity in URu$_2$Si$_2$, Sr$_2$RuO$_4$, and UPt$_3$. An experimental test for the examination of nematic order and chiral superconductivity is proposed.


title: The effect of radial gas flows on the chemical evolution of the Milky Way and M31

abstract: We present detailed chemical evolution models for the Milky Way and M31 in presence of radial gas flows. These models follow in detail the evolution of several chemical elements (H, He, CNO, $\alpha$ elements, Fe-peak elements) in space and time. The contribution of supernovae of different type to chemical enrichment is taken into account. We find that an inside-out formation of the disks coupled with radial gas inflows of variable speed can reproduce very well the observed abundance gradients in both galaxies. We also discuss the effects of other parameters, such as a threshold in the gas density for star formation and efficiency of star formation varying with galactic radius. Moreover, for the first time we compute the galactic habitable zone in our Galaxy and M31 in presence of radial gas flows. The main effect is to enhance the number of stars hosting a habitable planet with respect to the models without radial flow, in the region of maximum probability for this occurrence. In the Milky Way the maximum number of stars hosting habitable planets is at 8 kpc from the Galactic center, and the model with radial gas flows predicts a number of planets which is 38% larger than that predicted by the classical model.


title: Bipartite Synthesis Method applied to the Subset Sum Problem demonstrates capability as decision and optimization tool

abstract: This paper introduces a deterministic algorithm for solving an instance of the Subset Sum Problem based on a new method entitled the Bipartite Synthesis Method. The algorithm is described and shown to have worst-case limiting performance over similar to the best deterministic algorithms achieving run time complexity on the order of O(2^0.5n). This algorithm is representative of a more expansive capability that might convey significant advantages over existing deterministic or probabilistic methods, and it is amenable to blending with existing methods. The method introduced can be applied to a variety of decision and optimization problems.


title: Distributed Verification of Rare Properties using Importance Splitting Observers

abstract: Rare properties remain a challenge for statistical model checking (SMC) due to the quadratic scaling of variance with rarity. We address this with a variance reduction framework based on lightweight importance splitting observers. These expose the model-property automaton to allow the construction of score functions for high performance algorithms. The confidence intervals defined for importance splitting make it appealing for SMC, but optimising its performance in the standard way makes distribution inefficient. We show how it is possible to achieve equivalently good results in less time by distributing simpler algorithms. We first explore the challenges posed by importance splitting and present an algorithm optimised for distribution. We then define a specific bounded time logic that is compiled into memory-efficient observers to monitor executions. Finally, we demonstrate our framework on a number of challenging case studies.


title: Properties of ground states of attractive Gross-Pitaevskii equations with multi-well potentials

abstract: We are interested in the attractive Gross-Pitaevskii (GP) equation in $\R^2$, where the external potential $V(x)$ vanishes on $m$ disjoint bounded domains $\Omega_i\subset \R^2\ (i=1,2,\cdots,m)$ and $V(x)\to\infty$ as $|x|\to\infty$, that is, the union of these $\Omega_i$ is the bottom of the potential well. By making some delicate estimates on the energy functional of the GP equation, we prove that when the interaction strength $a$ approaches some critical value $a^*$ the ground states concentrate and blow up at the center of the incircle of some $\Omega_j$ which has the largest inradius. Moreover, under some further conditions on $V(x)$ we show that the ground states of GP equations are unique and radially symmetric at leat for almost every $a \in (0, a^*)$.


title: Perturbations of time optimal control problems for a class of abstract parabolic systems

abstract: In this work we study the asymptotic behavior of the solutions of a class of abstract parabolic time optimal control problems when the generators converge, in an appropriate sense, to a given strictly negative operator. Our main application to PDEs systems concerns the behavior of optimal time and of the associated optimal controls for parabolic equations with highly oscillating coefficients, as we encounter in homogenization theory. Our main results assert that, provided that the target is a closed ball centered at the origin and of positive radius, the solutions of the time optimal control problems for the systems with oscillating coefficients converge, in the usual norms, to the solution of the corresponding problem for the homogenized system. In order to prove our main theorem, we provide several new results, which could be of a broader interest, on time and norm optimal control problems.


title: Wake Potential in Strong Coupling Plasma from AdS/CFT Correspondence

abstract: With the dielectric function computed from AdS/CFT correspondence, we studied the wake potential induced by a fast moving charge in strong coupling plasma, and compared it with the weak coupling wake potential for different particle velocities as $v=0.55c$ and $v=0.99c$. The most prominent difference between strong and weak wake potential is that when $v=0.99c$ the remarkable oscillation due to Cerenkov-like radiation and Mach cone in weak coupling disappears in strong coupling, which implies that the plasmon mode with phase velocity lower than the speed of light dose not exist in strong coupling plasma.


title: The magnetic structure of surges in small-scale emerging flux regions

abstract: Aims: To investigate the relationship between surges and magnetic reconnection during the emergence of small-scale active regions. In particular, to examine how the large-scale geometry of the magnetic field, shaped by different phases of reconnection, guides the flowing of surges. Methods: We present three flux emergence models. The first model, and the simplest, consists of a region emerging into a horizontal ambient field that is initially parallel to the top of the emerging region. The second model is the same as the first but with an extra smaller emerging region which perturbs the main region. This is added to create a more complex magnetic topology and to test how this complicates the development of surges compared to the first model. The last model has a non-uniform ambient magnetic field to model the effects of emergence near a sunspot field and impose asymmetry on the system through the ambient magnetic field. At each stage, we trace the magnetic topology to identify the locations of reconnection. This allows for field lines to be plotted from different topological regions, highlighting how their geometry affects the development of surges. Results: In the first model, we identify distinct phases of reconnection. Each phase is associated with a particular geometry for the magnetic field and this determines the paths of the surges. The second model follows a similar pattern to the first but with a more complex magnetic topology and extra eruptions. The third model highlights how an asymmetric ambient field can result in preferred locations for reconnection, subsequently guiding the direction of surges.


title: Is the $(3+1)-d$ nature of the universe a thermodynamic necessity?

abstract: It is well established that at early times, long before the time of radiation-matter equality, the universe could have been well described by a spatially flat, radiation only model. In this letter we consider the whole primeval universe as a black body radiation (BBR) system in an $n-$dimensional Euclidean space. We propose that the $(3+1)-d$ nature of the universe could be the result of a kind of thermodynamic selection principle stemming from the second law of thermodynamics. In regard the three spatial dimensions we suggest that they were chosen by means of the minimization of the Helmholtz free energy per hypervolume unit, while the time dimension, as it is well known was the result of the principle of increment of entropy for closed systems; that is, the so-called arrow of time.


title: Modeling asteroid collisions and impact processes

abstract: As a complement to experimental and theoretical approaches, numerical modeling has become an important component to study asteroid collisions and impact processes. In the last decade, there have been significant advances in both computational resources and numerical methods. We discuss the present state-of-the-art numerical methods and material models used in "shock physics codes" to simulate impacts and collisions and give some examples of those codes. Finally, recent modeling studies are presented, focussing on the effects of various material properties and target structures on the outcome of a collision.


title: Spectroscopy of doubly-charmed baryons from lattice QCD

abstract: We present the ground and excited state spectra of doubly charmed baryons from lattice QCD with dynamical quark fields. Calculations are performed on anisotropic lattices of size 16^3 X 128, with inverse spacing in temporal direction 1/a_t = 5.67(4) GeV and with a pion mass of about 390 MeV. A large set of baryonic operators that respect the symmetries of the lattice yet which retain a memory of their continuum analogues are used. These operators transform as irreducible representations of SU(3) symmetry for flavor, SU(4) symmetry for Dirac spins of quarks and O(3) for spatial symmetry. The distillation method is utilized to generate baryon correlation functions which are analysed using the variational fitting method to extract excited states. The lattice spectra obtained have baryonic states with well-defined total spins up to 7/2 and the pattern of low lying states does not support the diquark picture for doubly charmed baryons. On the contrary the calculated spectra are remarkably similar to the expectations from models with an SU(6)X O(3) symmetry. Various spin dependent energy splittings between the extracted states are also evaluated.


title: A Space Weather Information Service Based Upon Remote and In-Situ Measurements of Coronal Mass Ejections Heading for Earth

abstract: The Earth's magnetosphere is formed as a consequence of interaction between the planet's magnetic field and the solar wind, a continuous plasma stream from the Sun. A number of different solar wind phenomena have been studied over the past forty years with the intention of understanding and forecasting solar behavior. One of these phenomena in particular, Earth-bound interplanetary coronal mass ejections (CMEs), can significantly disturb the Earth's magnetosphere for a short time and cause geomagnetic storms. This publication presents a mission concept consisting of six spacecraft that are equally spaced in a heliocentric orbit at 0.72 AU. These spacecraft will monitor the plasma properties, the magnetic field's orientation and magnitude, and the 3D-propagation trajectory of CMEs heading for Earth. The primary objective of this mission is to increase space weather (SW) forecasting time by means of a near real-time information service, that is based upon in-situ and remote measurements of the aforementioned CME properties. The mission's secondary objective is to provide vital data to update scientific models. In-situ measurements are performed using a Solar Wind Analyzer instrumentation package and flux gate magnetometers, while coronagraphs execute remote measurements. Communication with the six identical spacecraft is realized via a deep space network consisting of six ground stations. They provide an information service that is in uninterrupted contact with the spacecraft, allowing for continuous SW monitoring. The data will be handled by a dedicated processing center before being forwarded to the SSA Space Weather Coordination Center who will manage the SW forecasting. The data processing center will additionally archive the data for the scientific community. The proposed concept mission allows for major advances in SW forecasting time and the scientific modelling of SW.


title: Chondrule trace element geochemistry at the mineral scale

abstract: We report trace element analyses from mineral phases in chondrules from carbonaceous chondrites (Vigarano, Renazzo and Acfer 187), carried out by laser ablation inductively coupled plasma mass spectrometry. Results are similar in all three meteorites. Mesostasis has Rare Earth Element (REE) concentrations of 10-20 x CI. Low-Ca pyroxene has light REE (LREE) concentrations near 0.1 x CI and heavy REE (HREE) near 1 x CI respectively. Olivine has HREE concentrations at 0.1-1 x CI and LREE around 10-2 x CI. The coarsest olivine crystals tend to have the most fractionated REE patterns, indicative of equilibrium partitioning. Low-Ca pyroxene in the most pyroxene-rich chondrules tends to have the lowest REE concentrations. Type I chondrules seem to have undergone a significant degree of batch crystallization (as opposed to fractional crystallization), which requires cooling rates slower than 1-100 K/h. This would fill the gap between igneous CAIs and type II chondrules. The anticorrelation between REE abundances and pyroxene mode may be understood as due to dilution by addition of silica to the chondrule melt, as in the gas-melt interaction scenario of Libourel et al. (2006). The rapid cooling rate (of the order of 1000 K/h) which seems recorded by low-Ca pyroxene, contrasted with the more diverse record of olivine, may point to a nonlinear cooling history or suggest that formation of pyroxene-rich chondrule margins was an event distinct from the crystallization of the interior.


title: Trace element geochemistry of CR chondrite metal

abstract: We report trace element analyses by laser ablation inductively coupled plasma mass spectrometry of metal grains from 9 different CR chondrites, distinguishing grains from chondrule interior ("interior grains"), chondrule surficial shells ("margin grains") and the matrix ("isolated grains"). Save for a few anomalous grains, Ni-normalized trace element patterns are similar for all three petrographical settings, with largely unfractionated refractory siderophile elements and depleted volatile Au, Cu, Ag, S. All types of grains are interpreted to derive from a common precursor approximated by the least melted, fine-grained objects in CR chondrites. This also excludes recondensation of metal vapor as the origin of the bulk of margin grains. The metal precursors presumably formed by incomplete condensation, with evidence for high-temperature isolation of refractory platinum-group-element (PGE)-rich condensates before mixing with lower temperature PGE-depleted condensates. The rounded shape of the Ni-rich, interior grains indicates melting and equilibration with silicates upon slow cooling (1-100 K/h), largely by oxidation/evaporation of Fe. We propose that Ni-poorer, amoeboid margin grains, often included in the pyroxene-rich periphery common to type I chondrules, result from less intense processing of a rim accreted onto the chondrule subsequent to the melting event recorded by the interior. This means either that there were two separate heating events, which formed olivine/interior grains and pyroxene/margin grains, respectively, between which dust was accreted around the chondrule, or there was a single high-temperature event, of which the chondrule margin record a late "quenching phase", in which case dust accreted onto chondrules while they were molten. In the latter case, high dust concentrations in the chondrule-forming region are indicated.


title: Affine threefolds admitting $G_a$-actions

abstract: Affine varieties of dimension greater than two can be explored their structures with the help of fibrations by the affine line or plane and quotient morphisms by $\mathbb{G}_a$-actions. We consider $\mathbb{G}_a$-actions on affine threefolds and discuss the structure and the singularities of the quotient surface as well as the singular fibers of the quotient morphism. Relative $\mathbb{G}_a$ and $\mathbb{G}_m$-actions on $\mathbb{A}^4$ or on an affine 4-fold having $\mathbb{A}^3$-fibrations over $\mathbb{A}^1$ are discussed when the actions leave one variable invariant or the fibration invariant.


title: Recent developments at finite density on the lattice

abstract: Some recent developments to handle the numerical sign problem in QCD and related theories at nonzero density are reviewed. In this contribution I focus on changing the integration order to soften the severity of the sign problem, the density of states, and the extension into the complex plane (complex Langevin dynamics and Lefshetz thimbles).


title: Loading and detecting a three-dimensional Fermi gas in one-dimensional optical superlattice

abstract: We investigate the procedures of loading and detecting three-dimensional fermionic quantum gases in a one-dimensional optical superlattice potential subjected to a trapping potential. Additionally, we consider the relaxation dynamics after a sudden change of the superlattice potential. We numerically simulate the time-dependent evolution of the continuous system using exact diagonalization of non-interacting fermions. During the loading procedure we analyze the occupation of the instantaneous energy levels and compare the situation in a homogeneous system with the trapped one. Strong differences are found in particular in the evolution of excitations which we trace back to the distinct global density distribution. Starting from an imbalanced state in the superlattice potential, we consider the relaxation dynamics of fermions after a slow change of the superlattice potential and find a bimodule distribution of excitations. To be able to compare with the experimental results we also simulate the measurement sequence of the even and odd local density and find a strong dependence of the outcome on the actual ramp procedure. We suggest how the loading and detecting procedure can be optimized.


title: Delving Deep into Rectifiers: Surpassing Human-Level Performance on ImageNet Classification

abstract: Rectified activation units (rectifiers) are essential for state-of-the-art neural networks. In this work, we study rectifier neural networks for image classification from two aspects. First, we propose a Parametric Rectified Linear Unit (PReLU) that generalizes the traditional rectified unit. PReLU improves model fitting with nearly zero extra computational cost and little overfitting risk. Second, we derive a robust initialization method that particularly considers the rectifier nonlinearities. This method enables us to train extremely deep rectified models directly from scratch and to investigate deeper or wider network architectures. Based on our PReLU networks (PReLU-nets), we achieve 4.94% top-5 test error on the ImageNet 2012 classification dataset. This is a 26% relative improvement over the ILSVRC 2014 winner (GoogLeNet, 6.66%). To our knowledge, our result is the first to surpass human-level performance (5.1%, Russakovsky et al.) on this visual recognition challenge.


title: Generalized Inpainting Method for Hyperspectral Image Acquisition

abstract: A recently designed hyperspectral imaging device enables multiplexed acquisition of an entire data volume in a single snapshot thanks to monolithically-integrated spectral filters. Such an agile imaging technique comes at the cost of a reduced spatial resolution and the need for a demosaicing procedure on its interleaved data. In this work, we address both issues and propose an approach inspired by recent developments in compressed sensing and analysis sparse models. We formulate our superresolution and demosaicing task as a 3-D generalized inpainting problem. Interestingly, the target spatial resolution can be adjusted for mitigating the compression level of our sensing. The reconstruction procedure uses a fast greedy method called Pseudo-inverse IHT. We also show on simulations that a random arrangement of the spectral filters on the sensor is preferable to regular mosaic layout as it improves the quality of the reconstruction. The efficiency of our technique is demonstrated through numerical experiments on both synthetic and real data as acquired by the snapshot imager.


title: The scaling of entanglement entropy in a honeycomb lattice on a torus

abstract: The entanglement entropy of a noninteracting fermionic system confined to a two-dimensional honeycomb lattice on a torus is calculated. We find that the entanglement entropy can characterize Lifshitz phase transitions without a local order parameter. In the noncritical phase and critical phase with a nodal Fermi surface, the entanglement entropy satisfies an area law. The leading subarea term is a constant in the gapped phase rather than a logarithmic additive term in the gapless regime. The tuning of chemical potential allows for a nonzero Fermi surface, whose variation along a particular direction determines a logarithmic violation of the area law. We perform the scaling of entanglement entropy numerically and find agreement between the analytic and numerical results. Furthermore, we clearly show that an entanglement spectrum is equivalent to an edge spectrum.


title: Energy-momentum tensor of bouncing gravitons

abstract: In models of the Universe with extra dimensions gravity propagates in the whole space-time. Graviton production by matter on the brane is significant in the early hot Universe. In a model of 3-brane with matter embedded in 5D space-time conditions for gravitons emitted from the brane to the bulk to return back to the brane are found. For a given 5-momentum of graviton falling back to the brane the interval between the times of emission and return to the brane is calculated. A method to calculate contribution to the energy-momentum tensor from multiple graviton bouncings is developed. Explicit expressions for contributions to the energy-momentum tensor of gravitons which have made one, two and three bounces are obtained and their magnitudes are numerically calculated. These expressions are used to solve the evolution equation for dark radiation. A relation connecting reheating temperature and the scale of extra dimension is obtained. For the reheating temperature $T_R\sim 10^6 GeV$ we estimate the scale of extra dimension $\m$ to be of order $10^{-9} GeV\,\,\, (\m^{-1}\sim 10^{-5} cm )$.


title: PolyChord: nested sampling for cosmology

abstract: PolyChord is a novel nested sampling algorithm tailored for high dimensional parameter spaces. In addition, it can fully exploit a hierarchy of parameter speeds such as is found in CosmoMC and CAMB. It utilises slice sampling at each iteration to sample within the hard likelihood constraint of nested sampling. It can identify and evolve separate modes of a posterior semi-independently and is parallelised using openMPI. PolyChord is available for download at: http://ccpforge.cse.rl.ac.uk/gf/project/polychord/


title: Higgs Mode and Magnon Interactions in 2D Quantum Antiferromagnets from Raman Scattering

abstract: We present a theory for Raman scattering on 2D quantum antiferromagnets. The microscopic Fleury-Loudon Hamiltonian is expressed in terms of an effective $O(3)$ - model. Well within the N\'eel ordered phase, the Raman spectrum contains a two-magnon and a two-Higgs contribution, which are calculated diagramatically. The vertex functions for both the Higgs and magnon contributions are determined from a numerical solution of the corresponding Bethe-Salpeter equation. Due to the momentum dependence of the Raman vertex in the relevant $B_{1g}+E_{2g}$ symmetry, the contribution from the Higgs mode is strongly suppressed. Except for intermediate values of the Higgs mass, it does not show up as separate peak in the spectrum but gives rise to a broad continuum above the dominant contribution from two-magnon excitations. The latter give rise to a broad, asymmetric peak at $\omega\simeq 2.44\, J$, which is a result of magnon-magnon interactions mediated by the Higgs mode. The full Raman spectrum is determined completely by the antiferromagnetic exchange coupling $J$ and a dimensionless Higgs mass. Experimental Raman spectra of undoped cuprates turn out to be in very good agreement with the theory only with inclusion of the Higgs contribution. They thus provide a clear signature of the presence of a Higgs mode in spin one-half 2D quantum antiferromagnets.


title: Sensitivity of ultracold atoms to quantized flux in a superconducting ring

abstract: We report on the magnetic trapping of an ultracold ensemble of $^{87}$Rb atoms close to a superconducting ring prepared in different states of quantized magnetic flux. The niobium ring of 10 $\mu$m radius is prepared in a flux state $n \Phi_0$, with $\Phi_0 = h / 2e$ the flux quantum and $n$ varies between $\pm 5$. An atomic cloud of 250 nK temperature is positioned with a harmonic magnetic trapping potential at $\sim 18 \mu$m distance below the ring. The inhomogeneous magnetic field of the supercurrent in the ring contributes to the magnetic trapping potential of the cloud. The induced deformation of the magnetic trap impacts the shape of the cloud, the number of trapped atoms as well as the center-of-mass oscillation frequency of Bose-Einstein condensates. When the field applied during cooldown of the chip is varied, the change of these properties shows discrete steps that quantitatively match flux quantization.


title: On the reality of spectra of $\boldsymbol{U_q(sl_2)}$-invariant XXZ Hamiltonians

abstract: A new inner product is constructed on each standard module over the Temperley-Lieb algebra $\mathsf{TL}_n(\beta)$ for $\beta\in \mathbb R$ and $n \ge 2$. On these modules, the Hamiltonian $h = -\sum_i e_i$ is shown to be self-adjoint with respect to this inner product. This implies that its action on these modules is diagonalisable with real eigenvalues. A representation theoretic argument shows that the reality of spectra of the Hamiltonian extends to all other Temperley-Lieb representations. In particular, this result applies to the celebrated $U_q(sl_2)$-invariant XXZ Hamiltonian, for all $q+q^{-1}\in \mathbb R$.

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


title: SPH calculations of asteroid disruptions: The role of pressure dependent failure models

abstract: We present recent improvements of the modeling of the disruption of strength dominated bodies using the Smooth Particle Hydrodynamics (SPH) technique. The improvements include an updated strength model and a friction model, which are successfully tested by a comparison with laboratory experiments. In the modeling of catastrophic disruptions of asteroids, a comparison between old and new strength models shows no significant deviation in the case of targets which are initially non-porous, fully intact and have a homogeneous structure (such as the targets used in the study by Benz&Asphaug (1999). However, for many cases (e.g. initially partly or fully damaged targets, rubble-pile structures, etc.) we find that it is crucial that friction is taken into account and the material has a pressure dependent shear strength. Our investigations of the catastrophic disruption threshold $Q^*_{D}$ as a function of target properties and target sizes up to a few 100 km show that a fully damaged target modeled without friction has a $Q^*_{D}$ which is significantly (5-10 times) smaller than in the case where friction is included. When the effect of the energy dissipation due to compaction (pore crushing) is taken into account as well, the targets become even stronger ($Q^*_{D}$ is increased by a factor of 2-3). On the other hand, cohesion is found to have an negligible effect at large scales and is only important at scales $\lesssim$ 1km. Our results show the relative effects of strength, friction and porosity on the outcome of collisions among small ($\lesssim$ 1000 km) bodies. These results will be used in a future study to improve existing scaling laws for the outcome of collisions (e.g. Leinhardt&Stewart, 2012).


title: Indexing arbitrary-length $k$-mers in sequencing reads

abstract: We propose a lightweight data structure for indexing and querying collections of NGS reads data in main memory. The data structure supports the interface proposed in the pioneering work by Philippe et al. for counting and locating $k$-mers in sequencing reads. Our solution, PgSA (pseudogenome suffix array), based on finding overlapping reads, is competitive to the existing algorithms in the space use, query times, or both. The main applications of our index include variant calling, error correction and analysis of reads from RNA-seq experiments.


title: On Integral Cohomology Ring of Symmetric Products

abstract: We prove that the integral cohomology ring modulo torsion $H^*(\mathrm{Sym}^n X;\mathbb{Z})/\mathrm{Tor}$ for the symmetric product of a connected CW-complex $X$ of finite homology type is a functor of $H^*(X;\mathbb{Z})/\mathrm{Tor}$ (see Theorem 1). Moreover, we give an explicit description of this functor. We also consider the important particular case when $X$ is a compact Riemann surface $M^2_g$ of genus $g$. There is a famous theorem of Macdonald of 1962, which gives an explicit description of the integral cohomology ring $H^*(\mathrm{Sym}^n M^2_g;\mathbb{Z})$. The analysis of the original proof by Macdonald shows that it contains three gaps. All these gaps were filled in by Seroul in 1972, and, therefore, he obtained a complete proof of Macdonald's theorem. Nevertheless, in the unstable case $2\le n\le 2g-2$ Macdonald's theorem has a subsection, that needs a slight correction even over $\mathbb{Q}$ (see Theorem 2).


title: Embeddings of Rank-2 tori in Algebraic groups

abstract: Let $k$ be a field of characteristic different from $2$ and $3$. In this paper we study connected simple algebraic groups of type $A_2$, $G_2$ and $F_4$ defined over $k$, via their rank-$2$ $k$-tori. Simple, simply connected groups of type $A_2$ play a pivotal role in the study of exceptional groups and this aspect is brought out by the results in this paper. We refer to tori, which are maximal tori of $A_n$ type groups, as unitary tori. We discuss conditions necessary for a rank-$2$ unitary $k$-torus to embed in simple $k$-groups of type $A_2$, $G_2$ and $F_4$ in terms of the mod-$2$ Galois cohomological invariants attached with these groups. We calculate the number of rank-$2$ $k$-unitary tori generating these algebraic groups (in fact exhibit such tori explicitly). The results in this paper and our earlier work (Invariants mod-2 and subgroups of G_2 and F_4, J. Alg. 411 (2014) 312- 336) show that the mod-$2$ invariants of groups of type $G_2,F_4$ and $A_2$ are controlled by their $k$-subgroups of type $A_1$ and $A_2$ as well as the unitary $k$-tori embedded in them.


title: The competition between surface adsorption and folding of fibril-forming polypeptides

abstract: Self-assembly of polypeptides into fibrillar structures can be initiated by planar surfaces that interact favorably with certain residues. Using a coarse grained model, we systematically studied the folding and adsorption behavior of a $\beta$-roll forming polypeptide. We find that there are two different folding pathways depending on the temperature: (i) at low temperature, the polypeptide folds in solution into a $\beta$-roll before adsorbing onto the attractive surface, (ii) at higher temperature, the polypeptide first adsorbs in a disordered state, and folds while on the surface. The folding temperature increases with increasing attraction, as the folded $\beta$-roll is stabilized by the surface. Surprisingly, further increasing the attraction lowers the folding temperature again, as strong attraction also stabilizes the adsorbed disordered state, which competes with folding of the polypeptide. Our results suggest that to enhance the folding, one should use a weakly attractive surface. They also explain the recent experimental observation of the non-monotonic effect of charge on the fibril formation on an oppositely charged surface [C. Charbonneau, et al., ACS Nano, 8, 2328 (2014)].


title: Lower Bounds for Monotone Counting Circuits

abstract: A {+,x}-circuit counts a given multivariate polynomial f, if its values on 0-1 inputs are the same as those of f; on other inputs the circuit may output arbitrary values. Such a circuit counts the number of monomials of f evaluated to 1 by a given 0-1 input vector (with multiplicities given by their coefficients). A circuit decides $f$ if it has the same 0-1 roots as f. We first show that some multilinear polynomials can be exponentially easier to count than to compute them, and can be exponentially easier to decide than to count them. Then we give general lower bounds on the size of counting circuits.


title: An Extension of the Dirichlet Density for Sets of Gaussian Integers

abstract: Several measures for the density of sets of integers have been proposed, such as the asymptotic density, the Schnirelmann density, and the Dirichlet density. There has been some work in the literature on extending some of these concepts of density to higher dimensional sets of integers. In this work, we propose an extension of the Dirichlet density for sets of Gaussian integers and investigate some of its properties.

categories: math.NT cs.CG math.CA math.PR math.ST stat.TH


title: Hypersurface of a Finsler space subjected to a Kropina change with an h-vector

abstract: The concept of h-vector was introduced by H. Izumi in 1980. Recently we have obtained the Cartan connection for the Finsler space whose metric is given by Kropina change with an h-vector. In 1985, M. Matsumoto studied the theory of Finsler hypersurface. In this paper, we derive certain geometrical properties of a Finslerian hypersurface subjected to a Kropina change with an h-vector


title: Branching graphs for finite unitary groups in non-defining characteristic

abstract: We show that the modular branching rule (in the sense of Harish-Chandra) on unipotent modules for finite unitary groups is piecewise described by particular connected components of the crystal graph of well-chosen Fock spaces, under favourable conditions. Besides, we give the combinatorial formula to pass from one to the other in the case of modules arising from cuspidal modules of defect 0. This partly proves a recent conjecture of Jacon and the authors.


title: Equivariant branes

abstract: Given a Calabi-Yau manifold $X$ acted by a group $G$ and considering the $B$-branes on $X$ as objects in the derived category of coherent sheaves, we give a definition of equivariant branes, which generalizes the concept of equivariant sheaves. We also propose a definition of equivariant charge of an equivariant brane. The spaces of strings joining the branes ${\mathcal F}$ and ${\mathcal G}$, are the groups $Ext^i({\mathcal F},\,{\mathcal G})$. We prove that the spaces of strings between two $G$-equivariant branes support representations of $G$. Thus, these spaces can be decomposed in direct sum of invariant spaces for the $G$-action. We show some particular decompositions, when $X$ is a toric variety and when $X$ is a flag manifold of a semisimple Lie group.


title: Normal form decomposition for Gaussian-to-Gaussian superoperators

abstract: In this paper we explore the set of linear maps sending the set of quantum Gaussian states into itself. These maps are in general not positive, a feature which can be exploited as a test to check whether a given quantum state belongs to the convex hull of Gaussian states (if one of the considered maps sends it into a non positive operator, the above state is certified not to belong to the set). Generalizing a result known to be valid under the assumption of complete positivity, we provide a characterization of these Gaussian-to-Gaussian (not necessarily positive) superoperators in terms of their action on the characteristic function of the inputs. For the special case of one-mode mappings we also show that any Gaussian-to-Gaussian superoperator can be expressed as a concatenation of a phase-space dilatation, followed by the action of a completely positive Gaussian channel, possibly composed with a transposition. While a similar decomposition is shown to fail in the multi-mode scenario, we prove that it still holds at least under the further hypothesis of homogeneous action on the covariance matrix.


title: Shannon and Renyi Entropy of Wavelets

abstract: This paper reports a new reading for wavelets, which is based on the classical 'De Broglie' principle. The wave-particle duality principle is adapted to wavelets. Every continuous basic wavelet is associated with a proper probability density, allowing defining the Shannon entropy of a wavelet. Further entropy definitions are considered, such as Jumarie or Renyi entropy of wavelets. We proved that any wavelet of the same family has the same Shannon entropy of its mother wavelet. Finally, the Shannon entropy for a few standard wavelet families is determined.


title: Comprehensive Efficient Implementations of ECC on C54xx Family of Low-cost Digital Signal Processors

abstract: Resource constraints in smart devices demand an efficient cryptosystem that allows for low power and memory consumption. This has led to popularity of comparatively efficient Elliptic curve cryptog-raphy (ECC). Prior to this paper, much of ECC is implemented on re-configurable hardware i.e. FPGAs, which are costly and unfavorable as low-cost solutions. We present comprehensive yet efficient implementations of ECC on fixed-point TMS54xx series of digital signal processors (DSP). 160-bit prime field GF(p) ECC is implemented over a wide range of coordinate choices. This paper also implements windowed recoding technique to provide better execution times. Stalls in the programming are mini-mized by utilization of loop unrolling and by avoiding data dependence. Complete scalar multiplication is achieved within 50 msec in coordinate implementations, which is further reduced till 25 msec for windowed-recoding method. These are the best known results for fixed-point low power digital signal processor to date.


title: Limit distributions of Gaussian block ensembles

abstract: It has been shown by Voiculescu that important classes of square independent random matrices are asymptotically free, where freeness is a noncommutative analog of classical independence. Recently, we introduced the concept of matricial freeness, which is similar to freeness in free probability, but it also has some matricial features. Using this new concept of noncommutative independence, we described the asymptotics of blocks and symmetric blocks of certain classes of independent random matrices. In this paper, we present the main results obtained in this framework, concentrating on the ensembles of blocks of Gaussian random matrices.


title: A multiple--resolution strategy for Direct Numerical Simulation of scalar turbulence

abstract: In this paper a numerical procedure to simulate low diffusivity scalar turbulence is presented. The method consists of using a grid for the advected scalar with a higher spatial resolutions than that of the momentum. The latter usually requires a less refined mesh and integrating both fields on a single grid tailored to the most demanding variable, produces an unnecessary computational overhead. A multiple resolution approach is used also in the time integration in order to maintain the stability of the scalars on the finer grid. The method is the more advantageous the less diffusive the scalar is with respect to momentum, therefore it is particularly well suited for large Prandtl or Schmidt number flows. However, even in the case of equal diffusivities the present procedure gives CPU time and memory occupation savings. The reason is that the absence of the pressure term in the scalar equation leads to much steeper gradients in the scalar field as compared to the velocity field.


title: Extension operators on balls and on spaces of finite sets

abstract: We study extension operators between spaces $\sigma_n(2^X)$ of subsets of $X$ of cardinality at most $n$. As an application, we show that if $B_H$ is the unit ball of a nonseparable Hilbert space $H$, equipped with the weak topology, then, for any $0<\lambda<\mu$, there is no extension operator $T: C(\lambda B_H)\to C(\mu B_H)$.