title: Oscillatory Survival Probability: Analytical, Numerical Study for oscillatory narrow escape and applications to neural network dynamics

abstract: We study the escape of Brownian motion from the domain of attraction $\Omega$ of a stable focus with a strong drift. The boundary $\partial \Omega$ of $\Omega$ is an unstable limit cycle of the drift and the focus is very close to the limit cycle. We find a new phenomenon of oscillatory decay of the peaks of the survival probability of the Brownian motion in $\Omega$. We compute explicitly the complex-valued second eigenvalue $\lambda_2(\Omega$) of the Fokker-Planck operator with Dirichlet boundary conditions and show that it is responsible for the peaks. Specifically, we demonstrate that the dominant oscillation frequency equals $1/{\mathfrak{I}}m\{\lambda_2(\Omega)\}$ and is independent of the relative noise strength. We apply the analysis to a canonical system and compare the density of exit points on $\partial \Omega$ to that obtained from stochastic simulations. We find that this density is concentrated in a small portion of the boundary, thus rendering the exit a narrow escape problem. Unlike the case in the classical activated escape problem, the principal eigenvalue does not necessarily decay exponentially as the relative noise strength decays. The oscillatory narrow escape problem arises in a mathematical model of neural networks with synaptic depression. We identify oscillation peaks in the density of the time the network spends in a specific state. This observation explains the oscillations of stochastic trajectories around a focus prior to escape and also the non-Poissonian escape times. This phenomenon has been observed and reported in the neural network literature.

categories: math.AP math-ph math.MP physics.data-an q-bio.NC


title: Radio jets clearing the way through galaxies: the view from HI and molecular gas

abstract: Massive gas outflows are considered a key component in the process of galaxy formation and evolution. Because of this, they are the topic of many studies aimed at learning more about their occurrence, location and physical conditions as well as the mechanism(s) at their origin. This contribution presents recent results on two of the best examples of jet-driven outflows traced by cold and molecular gas. Thanks to high-spatial resolution observations, we have been able to locate the region where the outflow occurs. This appears to be coincident with bright radio features and regions where the interaction between radio plasma jet and ISM is known to occur, thus strongly supporting the idea of jet-driven outflows. We have also imaged the distribution of the outflowing gas. The results clearly show the effect that expanding radio jets and lobes have on the ISM. This appears to be in good agreement with what predicted from numerical simulations. Furthermore, the results show that cold gas is associated with these powerful phenomena and can be formed - likely via efficient cooling - even after a strong interaction and fast shocks. The discovery of similar fast outflows of cold gas in weak radio sources is further increasing the relevance that the effect of the radio plasma can have on the surrounding medium and on the host galaxy.


title: Does surface roughness amplify wetting?

abstract: Any solid surface is intrinsically rough on the microscopic scale. In this paper, we study the effect of this roughness on the wetting properties of hydrophilic substrates. Macroscopic arguments, such as those leading to the well-known Wenzel's law, predict that surface roughness should \emph{amplify} the wetting properties of such adsorbents. We use a fundamental measure density functional theory (DFT) to demonstrate the opposite effect from roughness for microscopically corrugated surfaces, i.e., wetting is \emph{hindered}. Based on three independent analyses we show that microscopic surface corrugation increases the wetting temperature or even makes the surface hydrophobic. Since for macroscopically corrugated surfaces the solid texture does indeed amplify wetting there must exist a crossover between two length-scale regimes that are distinguished by opposite response on surface roughening. This demonstrates how deceptive can be affords to extend the thermodynamical laws beyond their macroscopic territory.


title: Global smooth solutions for a hyperbolic chemotaxis model on a network

abstract: In this paper we study a semilinear hyperbolic-parabolic system modeling biological phenomena evolving on a network composed by oriented arcs. We prove the existence of global (in time) smooth solutions to this problem. The result is obtained by using energy estimates with suitable transmission conditions at nodes.


title: The influence of Red Spiral Galaxies on the Shape of the Local K-Band Luminosity Function

abstract: We have determined K-band luminosity functions for 13,325 local Universe galaxies as a function of morphology and color (for K_tot <= 10.75). Our sample is drawn from the 2MASS Extended Source Catalog, with all sample galaxies having measured morphologies and distances (including 4,219 archival redshift-independent distances). The luminosity function for our total sample is in good agreement with previous works, but is relatively smooth at faint magnitudes (due to bulk flow distance corrections). We investigated the differences due to morphological and color-selection using 5,417 sample galaxies with NASA Sloan Atlas optical colors and find that red spirals comprise 20 to 50% of all spirals with -25 <= M_K < -20. Fainter than M_K = -24, red spirals are as common as early-types, explaining the different faint end slopes (alpha = -0.87 and -1.00 for red and early-types, respectively). While we find red spirals comprise more than 50% of all M_K < -25 spiral galaxies, they do not dominate the bright end of the overall red galaxy luminosity function, which is dominated by early-type galaxies. The brightest red spirals have ongoing star formation and those without are frequently misclassified as early-types. The faintest ones have an appearance and Sersic indices consistent with faded disks, rather than true bulge dominated galaxies.


title: Searches for Anisotropies in the Arrival Directions of the Highest Energy Cosmic Rays Detected by the Pierre Auger Observatory

abstract: We analyze the distribution of arrival directions of ultra-high energy cosmic rays recorded at the Pierre Auger Observatory in 10 years of operation. The data set, about three times larger than that used in earlier studies, includes arrival directions with zenith angles up to $80^\circ$, thus covering from $-90^\circ$ to $+45^\circ$ in declination. After updating the fraction of events correlating with the active galactic nuclei (AGNs) in the V\'eron-Cetty and V\'eron catalog, we subject the arrival directions of the data with energies in excess of 40 EeV to different tests for anisotropy. We search for localized excess fluxes and for self-clustering of event directions at angular scales up to $30^\circ$ and for different threshold energies between 40~EeV and 80~EeV. We then look for correlations of cosmic rays with celestial structures both in the Galaxy (the Galactic Center and Galactic Plane) and in the local Universe (the Super-Galactic Plane). We also examine their correlation with different populations of nearby extragalactic objects: galaxies in the 2MRS catalog, AGNs detected by Swift-BAT, radio galaxies with jets and the Centaurus~A galaxy. None of the tests shows a statistically significant evidence of anisotropy. The strongest departures from isotropy (post-trial probability ${\sim}1.4$\%) are obtained for cosmic rays with $E>58$~EeV in rather large windows around Swift AGNs closer than 130~Mpc and brighter than $10^{44}$~erg/s (18$^\circ$ radius) and around the direction of Centaurus~A (15$^\circ$ radius).


title: Quenched metastable vortex states in Sr2RuO4

abstract: Sr2RuO4, a leading-candidate spin-triplet superconductor and a highly anisotropic quasi-two-dimensional type-II superconductor, provides unique opportunity to study unconventional as well as conventional vortex phases. To investigate its vortex-matter phases, we studied the ac susceptibility of Sr2RuO4 for fields parallel to the RuO2 plane by adapting two different thermal processes: In addition to the ordinary field sweep (FS) process, we newly employed the "each-point field cooling (EPFC)" process, in which the superconductivity is once thermally destroyed before collecting the data. We find that the ac susceptibility signal substantially changes with the EPFC process.This result indicates that we succeed in inducing new metastable vortex states by the EPFC process.We also find a new field scale H*1, below which the FS and EPFC processes provide the same value of the ac susceptibility. This new field scale suggests a liquid-like vortex state in the low-field region.


title: On the symmetry of the Laplacian spectra of signed graphs

abstract: We study the symmetry properties of the spectra of normalized Laplacians on signed graphs. We find a new machinery that generates symmetric spectra for signed graphs, which includes bipartiteness of unsigned graphs as a special case. Moreover, we prove a fundamental connection between the symmetry of the spectrum and the existence of damped two-periodic solutions for the discrete-time heat equation on the graph.


title: Energy and SLA aware VM Scheduling

abstract: With the advancement of Cloud Computing over the past few years, there has been a massive shift from traditional data centers to cloud enabled data centers. The enterprises with cloud data centers are focusing their attention on energy savings through effective utilization of resources. In this work, we propose algorithms which try to minimize the energy consumption in the data center duly maintaining the SLA guarantees. The algorithms try to utilize least number of physical machines in the data center by dynamically rebalancing the physical machines based on their resource utilization. The algorithms also perform an optimal consolidation of virtual machines on a physical machine, minimizing SLA violations. In extensive simulation, our algorithms achieve savings of about 21% in terms of energy consumption and in terms of maintaining the SLAs, it performs 60% better than Single Threshold algorithm.


title: Calabi-Yau manifolds from noncommutative Hermitian U(1) instantons

abstract: We show that Calabi-Yau manifolds are emergent from the commutative limit of six-dimensional noncommutative Hermitian U(1) instantons. Therefore we argue that the noncommutative Hermitian U(1) instantons correspond to quantized Calabi-Yau manifolds.


title: Estimation of the Sobolev embedding constant on domains with minimally smooth boundary

abstract: In this paper, we propose a method for estimating the Sobolev type embedding constant on a domain with minimally smooth boundary. We estimate the embedding constant by constructing an extension operator and computing its operator norm. We also present some examples of estimating the embedding constant for certain domains.


title: Geometrical realization of diffeomorphic (homeomorphic) low dimensional complete intersections

abstract: This paper aims to give some examples of diffeomorphic (or homeomorphic) low-dimensional complete intersections, which can be considered as a geometrical realization of classification theorems about complete intersections. A conjecture of Libgober and Wood (Topology. 21, 1982, 469--482) will be confirmed by one of examples.


title: Code Drones

abstract: We propose and explore a new paradigm called Code Drones in which every software artifact such as a class is an intelligent and socially active entity. In this paradigm, humanized artifacts take the lead and choreograph (socially, in collaboration with other intelligent software artifacts and humans) automated software engineering solutions to a myriad of development and maintenance challenges, including API migration, reuse, documentation, testing, patching, and refactoring. We discuss the implications of having social and intelligent/cognitive software artifacts that guide their own self-improvement.


title: Narrowband Biphotons with Polarization-Frequency Coupled Hyperentanglement

abstract: We demonstrate the generation of narrowband biphotons with polarization-frequency coupled hy- perentanglement from spontaneous four-wave mixing in cold atoms. The coupling between polariza- tion and frequency is realized through a frequency shifter and linear optics. When the polarization- frequency degrees of freedom are decoupled, it is robust to create polarization and frequency Bell states, confirmed by the polarization quantum-state tomography and the two-photon temporal quan- tum beating. Making use of the polarization-frequency coupling to transfer polarization phase retard to the entangled frequency modes, we produce a frequency Bell state with tunable phase difference between its two bases.


title: On Tensor Spaces for Rook Monoid Algebras

abstract: Let $m,n\in \mathbb{N}$, and $V$ be a $m$-dimensional vector space over a field $F$ of characteristic $0$. Let $U=F\oplus V$ and $R_n$ be the rook monoid. In this paper, we construct a certain quasi-idempotent in the annihilator of $U^{\otimes n}$ in $FR_n$, which comes from some one-dimensional two-sided ideal of rook monoid algebra. We show that the two-sided ideal generated by this element is indeed the whole annihilator of $U^{\otimes n}$ in $FR_n$.


title: Discrete unified gas kinetic scheme with force term for incompressible fluid flows

abstract: The discrete unified gas kinetic scheme (DUGKS) is a finite-volume scheme with discretization of particle velocity space, which combines the advantages of both lattice Boltzmann equation (LBE) method and unified gas kinetic scheme (UGKS) method, such as the simplified flux evaluation scheme, flexible mesh adaption and the asymptotic preserving properties. However, DUGKS is proposed for near incompressible fluid flows, the existing compressible effect may cause some serious errors in simulating incompressible problems. To diminish the compressible effect, in this paper a novel DUGKS model with external force is developed for incompressible fluid flows by modifying the approximation of Maxwellian distribution. Meanwhile, due to the pressure boundary scheme, which is wildly used in many applications, has not been constructed for DUGKS, the non-equilibrium extrapolation (NEQ) scheme for both velocity and pressure boundary conditions is introduced. To illustrate the potential of the proposed model, numerical simulations of steady and unsteady flows are performed. The results indicate that the proposed model can reduce the compressible effect efficiently against the original DUGKS model, and the NEQ scheme fits well with our model as they are both of second-order accuracy. We also implement the proposed model in simulating the three dimensional problem: cubical lid-driven flow. The comparisons of numerical solutions and benchmarks are presented in terms of data and topology. And the motion pattern of the fluid particles in a specific area is characterized for the steady-state cubical lid-driven flows.


title: Centralizing traces and Lie triple isomorphisms on generalized matrix algebras

abstract: Let $\mathcal{G}$ be a generalized matrix algebra over a commutative ring $\mathcal{R}$ and $\mathcal{Z(G)}$ be the center of $\mathcal{G}$. Suppose that ${\mathfrak q}\colon \mathcal{G}\times \mathcal{G}\longrightarrow \mathcal{G}$ is an $\mathcal{R}$-bilinear mapping and ${\mathfrak T}_{\mathfrak q}\colon \mathcal{G}\longrightarrow \mathcal{G}$ is the trace of $\mathfrak{q}$. We describe the form of ${\mathfrak T}_{\mathfrak q}$ satisfying the condition $[{\mathfrak T}_{\mathfrak q}(G), G]\in \mathcal{Z(G)}$ for all $G\in \mathcal{G}$. The question of when ${\mathfrak T}_{\mathfrak q}$ has the proper form is considered. Using the aforementioned trace function, we establish sufficient conditions for each Lie triple isomorphism of $\mathcal{G}$ to be almost standard. As applications we characterize Lie triple isomorphisms of full matrix algebras, of triangular algebras and of certain unital algebras with nontrivial idempotents. Some topics for future research closely related to our current work are proposed at the end of this article.


title: Jordan Derivations of Incidence Algebras

abstract: Let $\mathcal{R}$ be a commutative ring with identity, $I(X,\mathcal{R})$ be the incidence algebra of a locally finite pre-ordered set $X$. In this note, we characterise the derivations of $I(X,\mathcal{R})$ and prove that every Jordan derivation of $I(X,\mathcal{R})$ is a derivation provided that $\mathcal{R}$ is $2$-torsion free.


title: Extraordinarily bound quasi-one-dimensional trions in two-dimensional phosphorene atomic semiconductors

abstract: The anisotropic nature of the new two-dimensional (2D) material phosphorene, in contrast to other 2D materials such as graphene and transition metal dichalcogenide (TMD) semiconductors, allows excitons to be confined in a quasi-one-dimensional (1D) space predicted in theory, leading to remarkable phenomena arising from the reduced dimensionality and screening. Here, we report a trion (charged exciton) binding energy of 190 meV in few-layer phosphorene at room temperature, which is nearly one to two orders of magnitude larger than those in 2D TMD semiconductors (20-30 meV) and quasi-2D quantum wells (1-5 meV). Such a large binding energy has only been observed in truly 1D materials such as carbon nanotubes, whose optoelectronic applications have been severely hurdled by their intrinsically small optical cross-sections. Phosphorene offers an elegant way to overcome this hurdle by enabling quasi-1D excitonic and trionic behaviors in a large 2D area, allowing optoelectronic integration. We experimentally validated the quasi-1D nature of excitonic and trionic dynamics in phospherene by demonstrating completely linearly polarized light emission from excitons and trions. The implications of the extraordinarily large trion binding energy in a higher-than-one-dimensional material are far-reaching. It provides a room-temperature 2D platform to observe the fundamental many-body interactions in the quasi-1D region. The strong photoluminescence emission in phosphorene has been electrically tuned over a large spectral range at room temperature, which opens a new route for tunable light sources.


title: On a pair of difference equations for the $_4F_3$ type orthogonal polynomials and related exactly-solvable quantum systems

abstract: We introduce a pair of novel difference equations, whose solutions are expressed in terms of Racah or Wilson polynomials depending on the nature of the finite-difference step. A number of special cases and limit relations are also examined, which allow to introduce similar difference equations for the orthogonal polynomials of the $ _3 F_2$ and $ _2 F_1$ types. It is shown that the introduced equations allow to construct new models of exactly-solvable quantum dynamical systems, such as spin chains with a nearest-neighbour interaction and fermionic quantum oscillator models.


title: Dynamics of the prey prehension by chameleons through viscous adhesion: A multidisciplinary approach

abstract: Chameleons are able to capture very large preys by projecting the tongue and retracting it once it is in contact with preys. A strong adhesion between the tongue tip and the prey is therefore required during the retraction phase to ensure a successful capture. To determine the mechanism responsible for this strong bond, the viscosity of the mucus produced at the chameleon's tongue pad is measured by using the viscous drag exerted on rolling beads by a thin layer of mucus. The viscosity of this secretion is found to be about 400 times larger than the one of human saliva. With a dynamical model for viscous adhesion describing the motion of the compliant tongue and of the prey during the retraction phase, the evolution of the maximum prey size with respect to the chameleon body length is derived. This evolution is successfully compared with in vivo observations for various chameleon species and shows that the size of the captured preys is not limited by viscous adhesion thanks to the high mucus viscosity and the large contact area between the prey and the tongue.


title: Particle Filtering for Attitude Estimation Using a Minimal Local-Error Representation: A Revisit

abstract: In this note, we have revisited the previously published paper "Particle Filtering for Attitude Estimation Using a Minimal Local-Error Representation". In the revisit, we point out that the quaternion particle filtering based on the local/global representation structure has not made full use of the advantage of the particle filtering in terms of accuracy and robustness. Moreover, a normalized quaternion determining procedure based on the minimum mean-square error approach has been investigated into the quaternion-based particle filtering to obtain the fiducial quaternion for the transformation between quaternion and modified Rodrigues parameter. The modification investigated in this note is expected to make the quaternion particle filtering based on the local/global representation structure more strict.


title: Testing the quasi-static approximation in $f(R)$ gravity simulations

abstract: Numerical simulations in modified gravity have commonly been performed under the quasi-static approximation -- that is, by neglecting the effect of time derivatives in the equation of motion of the scalar field that governs the fifth force in a given modified gravity theory. To test the validity of this approximation, we analyse the case of $f(R)$ gravity beyond this quasi-static limit, by considering effects, if any, these terms have in the matter and velocity divergence cosmic fields. To this end, we use the adaptive mesh refinement code ECOSMOG to study three variants ($|f_{R}|= 10^{-4}[$F4$], 10^{-5}[$F5$]$ and $10^{-6}[$F6$]$) of the Hu-Sawicki $f(R)$ gravity model, each of which refers to a different magnitude for the scalar field that generates the fifth force. We find that for F4 and F5, which show stronger deviations from standard gravity, a low-resolution simulation is enough to conclude that time derivatives make a negligible contribution to the matter distribution. The F6 model shows a larger deviation from the quasi-static approximation, but one that diminishes when re-simulated at higher resolution. We therefore come to the conclusion that the quasi-static approximation is valid for the most practical applications in $f(R)$ cosmologies.


title: Mitchell-style forcing, with small working parts and collections of models as side conditions, and gap-one simplified morasses

abstract: We give a modification of Mitchell's technique for adding objects of size $\omega_2$ with conditions with finite working parts in which the collections of models used as side conditions are very highly structured, arguably making them more wieldy. We use one such forcing (essentially a `pure side conditions' forcing) to answer affirmatively the question, asked independently by Shelah and Velleman in the late 1980s, as to whether a $(\kappa^+,1)$-simplified morass can be added by a forcing with working parts of size $<\kappa$.


title: Threshold-based monitoring of cascading outages with PMU measurements of area angle

abstract: When power grids are heavily stressed with a bulk power transfer, it is useful to have a fast indication of the increased stress when multiple line outages occur. Reducing the bulk power transfer when the outages are severe could forestall further cascading of the outages. We show that synchrophasor measurements of voltage angles at all the area tie lines can be used to indicate the severity of multiple outages. These synchrophasor measurements are readily combined into an "area angle" that can quickly track the severity of multiple outages after they occur. We present a procedure to define thresholds for the area angle that relate to the maximum power that can be transferred through the area until a line limit is reached. Then in real time we would monitor the area angle and compare it to the thresholds when line outages occur to determine the urgency (or not) of actions to reduce the bulk transfer of power through the area. The procedure also identifies exceptional cases in which separate actions to resolve local power distribution problems are needed. We illustrate the thresholds and monitoring with the area angle across several states of Northwestern USA.


title: Emergence of coherent localized structures in shear deformations of temperature dependent fluids

abstract: Shear localization occurs in various instances of material instability in solid mechanics and is typically associated with Hadamard-instability for an underlying model. While Hadamard instability indicates the catastrophic growth of oscillations around a mean state, it does not by itself explain the formation of coherent structures typically observed in localization. The latter is a nonlinear effect and its analysis is the main objective of this article. We consider a model that captures the main mechanisms observed in high strain-rate deformation of metals, and describes shear motions of temperature dependent non-Newtonian fluids. For a special dependence of the viscosity on the temperature, we carry out a linearized stability analysis around a base state of uniform shearing solutions, and quantitatively assess the effects of the various mechanisms affecting the problem: thermal softening, momentum diffusion and thermal diffusion. Then, we turn to the nonlinear model, and construct localized states - in the form of similarity solutions - that emerge as coherent structures in the localization process. This justifies a scenario for localization that is proposed on the basis of asymptotic analysis in \cite{KT}.


title: Elementary Goldstone Higgs Boson and Dark Matter

abstract: We investigate a perturbative extension of the Standard Model featuring elementary pseudo-Goldstone Higgs and dark matter particles. These are two of the five Goldstone bosons parametrising the SU(4)/Sp(4) coset space. They acquire masses, and therefore become pseudo-Goldstone bosons, due to the embedding of the Yukawa and the electroweak gauge interactions that do not preserve the full SU(4) symmetry. At the one-loop order the top corrections dominate and align the vacuum in the direction where the Higgs is mostly a pseudo-Goldstone boson. Because of the perturbative and elementary nature of the theory, the quantum corrections are precisely calculable. The remaining pseudo-Goldstone boson is identified with the dark matter candidate because it is neutral with respect to the Standard Model and stable. By a direct comparison with the Large Hadron Collider experiments, the model is found to be phenomenologically viable. Furthermore the dark matter particle leads to the observed thermal relic density while respecting the most stringent current experimental constraints.


title: Mismatch study of C-ADS main linac

abstract: The ADS accelerator in China is a CW (Continuous-Wave) proton linac with 1.5 GeV in beam energy, 10 mA in beam current, and 15 MW in beam power. To meet the extremely low beam loss rate requirement and high reliability, it is very important to study the beam halo caused by beam mismatch, which is one major source of beam loss. To avoid the envelope instability, the phase advances per period are all smaller than 90 degree in the main linac design. In this paper, the results of the emittance growth and the envelope oscillations caused by mismatch in the main linac section are presented. To meet the emittance growth requirement, the transverse and longitudinal mismatch factors should be smaller than 0.4 and 0.3, respectively.


title: Plancherel measures for coverings of p-adic SL(2,F)

abstract: In these notes we compute the Plancherel measures associated with genuine principal series representations of n-fold covers of p-adic SL(2,F). Along the way we also compute a higher dimensional metaplectic analog of Shahidi local coefficients. Our method involves new functional equations utilizing the Tate Gamma-factor and a metaplectic counterpart. As an application we prove an irreducibility theorem.


title: Analogous Dynamics of Boolean Network

abstract: Different Boolean networks may reveal similar dynamics although their definition differs, then preventing their distinction from the observations. This raises the question about the sufficiency of a particular Boolean network for properly reproducing a modeled phenomenon to make realistic predictions. The question actually depends on the invariant properties of behaviorally similar Boolean networks. In this article, we address this issue by considering that the similarity is formalized by isomorphism on graphs modeling their dynamics. The similarity also depends on the parameter governing the updating policy, called the mode. We define a general characterization of the group of isomorphism preserving the mode. From this characterization, we deduce invariant structural properties of the interaction graph and conditions to maintain an equivalence through mode variation.


title: Nuclear recoil correction to the g factor of boron-like argon

abstract: The nuclear recoil effect to the g factor of boron-like ions is investigated. The one-photon-exchange correction to the nuclear recoil effect is calculated in the non-relativistic approximation for the nuclear recoil operator and in the Breit approximation for the interelectronic-interaction operator. The screening potential is employed to estimate the higher-order contributions. The updated g-factor values are presented for the ground 2P_1/2 and first excited 2P_3/2 states of B-like argon 40^Ar^13+, which are presently being measured by the ARTEMIS group at GSI.


title: Enhanced Multi-Parameter Cognitive Architecture for Future Wireless Communications

abstract: The very original concept of cognitive radio (CR) raised by Mitola targets at all the environment parameters, including those in physical layer, MAC layer, application layer as well as the information extracted from reasoning. Hence the first CR is also referred to as "full cognitive radio". However, due to its difficult implementation, FCC and Simon Haykin separately proposed a much more simplified definition, in which CR mainly detects one single parameter, i.e., spectrum occupancy, and is also called as "spectrum sensing cognitive radio". With the rapid development of wireless communication, the infrastructure of a wireless system becomes much more complicated while the functionality at every node is desired to be as intelligent as possible, say the self-organized capability in the approaching 5G cellular networks. It is then interesting to re-look into Mitola's definition and think whether one could, besides obtaining the "on/off" status of the licensed user only, achieve more parameters in a cognitive way. In this article, we propose a new cognitive architecture targeting at multiple parameters in future cellular networks, which is a one step further towards the "full cognition" compared to the most existing CR research. The new architecture is elaborated in detailed stages, and three representative examples are provided based on the recent research progress to illustrate the feasibility as well as the validity of the proposed architecture.


title: On Structural Decompositions of Finite Frames

abstract: A frame in an $n$-dimensional Hilbert space $H_n$ is a possibly redundant collection of vectors $\{f_i\}_{i\in I}$ that span the space. A tight frame is a generalization of an orthonormal basis. A frame $\{f_i\}_{i\in I}$ is said to be scalable if there exist nonnegative scalars $\{c_i\}_{i\in I}$ such that $\{c_if_i\}_{i\in I}$ is a tight frame. In this paper we study the combinatorial structure of frames and their decomposition into tight or scalable subsets by using partially-ordered sets (posets). We define the factor poset of a frame $\{f_i\}_{i\in I}$ to be a collection of subsets of $I$ ordered by inclusion so that nonempty $J\subseteq I$ is in the factor poset if and only if $\{f_j\}_{j\in J}$ is a tight frame for $H_n$. A similar definition is given for the scalability poset of a frame. We prove conditions which factor posets satisfy and use these to study the inverse factor poset problem, which inquires when there exists a frame whose factor poset is some given poset $P$. We determine a necessary condition for solving the inverse factor poset problem in $H_n$ which is also sufficient for $H_2$. We describe how factor poset structure of frames is preserved under orthogonal projections. We also consider the enumeration of the number of possible factor posets and bounds on the size of factors posets. We then turn our attention to scalable frames and present partial results regarding when a frame can be scaled to have a given factor poset.


title: Random Attractor for Stochastic Wave Equation with Arbitrary Exponent and Additive Noise on $\mathbb{R}^n$

abstract: Asymptotic random dynamics of weak solutions for a damped stochastic wave equation with the nonlinearity of arbitrarily large exponent and the additive noise on $\mathbb{R}^n$ is investigated. The existence of a pullback random attractor is proved in a parameter region with a breakthrough in proving the pullback asymptotic compactness of the cocycle with the quasi-trajectories defined on the integrable function space of arbitrary exponent and on the unbounded domain of arbitrary dimension.


title: Cross-section Lattices of ${\mathcal J}$-irreducible Monoids and Orbit Structures of Weight Polytopes

abstract: Let $\lambda$ be a dominant weight of a finite dimensional simple Lie algebra and $W$ the Weyl group. The convex hull of $W\lambda$ is defined as the weight polytope of $\lambda$. We provide a new proof that there is a natural bijection between the set of orbits of the nonempty faces of the weight polytope under the action of the Weyl group and the set of the connected subdiagrams of the extended Dynkin diagram that contain the extended node $\{-\lambda\}$. We show that each face of the polytope can be transformed to a standard parabolic face. We also show that a standard parabolic face is the convex hull of the orbit of a parabolic subgroup of $W$ acting on the dominant weight. In addition, we find that the linear space spanned by a face is in fact spanned by roots.


title: On the interpolation with the potential bound for global solutions of the defocusing cubic wave equation on T2

abstract: We prove that the solutions of the defocusing cubic wave equation on T2 exist globally in time in Hs(T2) for s > 2/5 by contradiction. Assuming that one of the maximal times of existence is finite, we prove that the Sobolev norm of each of these solutions is bounded in an open neighborhood of it by estimating the growth of a mollified energy through the interpolation with the potential bound for the low frequency part.


title: Gibbs phenomenon for dispersive PDEs on the line

abstract: We investigate the Cauchy problem for linear, constant-coefficient evolution PDEs on the real line with discontinuous initial conditions (ICs) in the small-time limit. The small-time behavior of the solution near discontinuities is expressed in terms of universal, computable special functions. We show that the leading-order behavior of the solution of dispersive PDEs near a discontinuity of the ICs is characterized by Gibbs-type oscillations and gives exactly the Wilbraham-Gibbs constant.


title: Algebraic description of Jacobians isogeneous to certain Prym varieties with polarization (1,2)

abstract: For a class of non-hyperelliptic genus 3 curves C which are 2-fold coverings of elliptic curves E, we give an explicit algebraic description of all birationally non-equivalent genus 2 curves whose Jacobians are degree 2 isogeneous to the Prym varieties associated to such coverings. Our description is based on previous studies of Prym varieties with polarization (1,2) in connection with separation of variables in a series of classical and new algebraic integrable systems linearized on such varieties. We also consider some special cases of the covering C -> E, in particular, when the corresponding Prym varieties contain pairs of elliptic curves and the Jacobian of C is isogeneous (but not isomorphic) to the product of 3 different elliptic curves. Our description is accompanied with explicit numerical examples.


title: False discovery rate smoothing

abstract: We present false discovery rate smoothing, an empirical-Bayes method for exploiting spatial structure in large multiple-testing problems. FDR smoothing automatically finds spatially localized regions of significant test statistics. It then relaxes the threshold of statistical significance within these regions, and tightens it elsewhere, in a manner that controls the overall false-discovery rate at a given level. This results in increased power and cleaner spatial separation of signals from noise. The approach requires solving a non-standard high-dimensional optimization problem, for which an efficient augmented-Lagrangian algorithm is presented. In simulation studies, FDR smoothing exhibits state-of-the-art performance at modest computational cost. In particular, it is shown to be far more robust than existing methods for spatially dependent multiple testing. We also apply the method to a data set from an fMRI experiment on spatial working memory, where it detects patterns that are much more biologically plausible than those detected by standard FDR-controlling methods. All code for FDR smoothing is publicly available in Python and R.


title: An It\=o formula in the space of tempered distributions

abstract: We extend the It\=o formula \cite{MR1837298}*{Theorem 2.3} for semimartingales with rcll paths. We also comment on Local time process of such semimartingales. We apply the It\=o formula to L\'evy processes to obtain existence of solutions to certain classes of stochastic differential equations in the Hermite-Sobolev spaces.


title: Coupling the non-gravitational forces and Modified Newton Dynamics for cometary orbits

abstract: In recent work (Milgrom 2009, Blanchet & Novak 2011), the authors showed that MOdified Newton Dynamics (MOND) have a non-negligible secular perturbation effect on planets with large semi-major axes (gaseous planets) in the Solar System. Some comets also have a very eccentric orbit with a large semi-major axis (Halley family comets) going far away from the Sun (more than 15 AU) in a low acceleration regime where they would be subject to MOND perturbation. They also approach the Sun very closely (less than 3 AU) and are affected by the sublimation of ices from their nucleus, triggering so-called non-gravitational forces. The main goal of this paper is to investigate the effect of MOND perturbation on three comets with various orbital elements (2P/Encke, 1P/Halley and 153P/Ikeya-Zhang) and then compare it to the non-gravitational perturbations. It is motivated by the fact that when fitting an outgassing model for a comet, we have to take into account all of the small perturbing effects to avoid absorbing these effects into the non-gravitational parameters. Otherwise, we could derive a completely wrong estimation of the outgassing. For this work, we use six different forms of MOND functions and compute the secular variations of the orbital elements due to MOND and non-gravitational perturbations. We show that, for comets with large semi-major axis, the MONDian effects are not negligible compared to the non-gravitational perturbations.


title: Distributed Power Control in Multiuser MIMO Networks with Optimal Linear Precoding

abstract: Contractive interference functions introduced by Feyzmahdavian et al. is the newest approach in the analysis and design of distributed power control laws. This approach can be extended to several cases of distributed power control. One of the distributed power control scenarios wherein the contractive interference functions have not been employed is the power control in MIMO systems. In this paper, this scenario will be analyzed. In addition, the optimal linear precoder is employed in each user to achieve maximum point-to-point information rate. In our approach, we use the same amount of signaling as the previous methods did. However, we show that the uniqueness of Nash equilibria is more probable in our approach, suggesting that our proposed method improves the convergence performance of distributed power control in MIMO systems. We also show that the proposed power control algorithm can be implemented asynchronously, which gives a noticeable flexibility to our algorithm given the practical communication limitations.


title: Bayesian Mechanism Design with Efficiency, Privacy, and Approximate Truthfulness

abstract: Recently, there has been a number of papers relating mechanism design and privacy (e.g., see \cite{MT07,Xia11,CCKMV11,NST12,NOS12,HK12}). All of these papers consider a worst-case setting where there is no probabilistic information about the players' types. In this paper, we investigate mechanism design and privacy in the \emph{Bayesian} setting, where the players' types are drawn from some common distribution. We adapt the notion of \emph{differential privacy} to the Bayesian mechanism design setting, obtaining \emph{Bayesian differential privacy}. We also define a robust notion of approximate truthfulness for Bayesian mechanisms, which we call \emph{persistent approximate truthfulness}. We give several classes of mechanisms (e.g., social welfare mechanisms and histogram mechanisms) that achieve both Bayesian differential privacy and persistent approximate truthfulness. These classes of mechanisms can achieve optimal (economic) efficiency, and do not use any payments. We also demonstrate that by considering the above mechanisms in a modified mechanism design model, the above mechanisms can achieve actual truthfulness.


title: On the limitation of spectral methods: From the Gaussian hidden clique problem to rank one perturbations of Gaussian tensors

abstract: We consider the following detection problem: given a realization of a symmetric matrix ${\mathbf{X}}$ of dimension $n$, distinguish between the hypothesis that all upper triangular variables are i.i.d. Gaussians variables with mean 0 and variance $1$ and the hypothesis where ${\mathbf{X}}$ is the sum of such matrix and an independent rank-one perturbation. This setup applies to the situation where under the alternative, there is a planted principal submatrix ${\mathbf{B}}$ of size $L$ for which all upper triangular variables are i.i.d. Gaussians with mean $1$ and variance $1$, whereas all other upper triangular elements of ${\mathbf{X}}$ not in ${\mathbf{B}}$ are i.i.d. Gaussians variables with mean 0 and variance $1$. We refer to this as the `Gaussian hidden clique problem.' When $L=(1+\epsilon)\sqrt{n}$ ($\epsilon>0$), it is possible to solve this detection problem with probability $1-o_n(1)$ by computing the spectrum of ${\mathbf{X}}$ and considering the largest eigenvalue of ${\mathbf{X}}$. We prove that this condition is tight in the following sense: when $L<(1-\epsilon)\sqrt{n}$ no algorithm that examines only the eigenvalues of ${\mathbf{X}}$ can detect the existence of a hidden Gaussian clique, with error probability vanishing as $n\to\infty$. We prove this result as an immediate consequence of a more general result on rank-one perturbations of $k$-dimensional Gaussian tensors. In this context we establish a lower bound on the critical signal-to-noise ratio below which a rank-one signal cannot be detected.


title: BayesCAT: Bayesian Co-estimation of Alignment and Tree

abstract: Traditionally, phylogeny and sequence alignment are estimated separately: first estimate a multiple sequence alignment and then infer a phylogeny based on the sequence alignment estimated in the previous step. However, uncertainty in the alignment estimation is ignored, resulting, possibly, in overstated certainty in phylogeny estimates. We develop a joint model for co-estimating phylogeny and sequence alignment which improves estimates from the traditional approach by accounting for uncertainty in the alignment in phylogenetic inferences. Our insertion and deletion (indel) model allows arbitrary-length overlapping indel events and a general distribution for indel fragment size. We employ a Bayesian approach using MCMC to estimate the joint posterior distribution of a phylogenetic tree and a multiple sequence alignment. Our approach has a tree and a complete history of indel events mapped onto the tree as the state space of the Markov Chain while alternative previous approaches have a tree and an alignment. A large state space containing a complete history of indel events makes our MCMC approach more challenging, but it enables us to infer more information about the indel process. The performances of this joint method and traditional sequential methods are compared using simulated data as well as real data. Software named BayesCAT (Bayesian Co-estimation of Alignment and Tree) is available at https://github.com/heejungshim/BayesCAT.


title: About the difficulty to prove the Baum Connes conjecture without coefficient for a non-cocompact lattice in $Sp_4$ in a local field

abstract: We introduce property $(T_{Schur},G,K)$ and prove it for some non-cocompact lattice in $Sp_4$ in a local field of finite characteristic. We show that property $(T_{Schur},G,K)$ for a non-cocompact lattice $\Gamma$ in a higher rank almost simple algebraic group in a local field is an obstacle to proving the Baum Connes conjecture without coefficient for $\Gamma$ with known methods, and this is stronger than the well-known fact that $\Gamma$ does not have the property of rapid decay (property (RD)). It is the first example (as announced in [Laf10a]) for which all known methods for proving the Baum Connes conjecture without coefficient fail.


title: Localized spectrum slicing

abstract: Given a sparse Hermitian matrix $A$ and a real number $\mu$, we construct a set of sparse vectors, each approximately spanned only by eigenvectors of $A$ corresponding to eigenvalues near $\mu$. This set of vectors spans the column space of a localized spectrum slicing (LSS) operator, and is called an LSS basis set. The sparsity of the LSS basis set is related to the decay properties of matrix Gaussian functions. We present a divide-and-conquer strategy with controllable error to construct the LSS basis set. This is a purely algebraic process using only submatrices of $A$, and can therefore be applied to general sparse Hermitian matrices. The LSS basis set leads to sparse projected matrices with reduced sizes, which allows the projected problems to be solved efficiently with techniques using sparse linear algebra. As an example, we demonstrate that the LSS basis set can be used to solve interior eigenvalue problems for a discretized second order partial differential operator in one-dimensional and two-dimensional domains, as well as for a matrix of general sparsity pattern.


title: Large voltage-induced modification of spin-orbit torques in Pt/Co/GdOx

abstract: We report on large modifications of current-induced spin-orbit torques in a gated Pt/Co/Gd-oxide microstrip due to voltage-driven O$^{2-}$ migration. The Slonczewski-like and field-like torques are quantified using a low-frequency harmonic technique based on the polar magneto-optical Kerr effect. Voltage-induced oxidation of Co enhances the Slonczewski-like torque by as much as an order of magnitude, and simultaneously reduces the anisotropy energy barrier by a factor of ~5. Such magneto-ionic tuning of interfacial spin-orbit effects may significantly enhance the efficiency of magnetization switching and provide additional degrees of freedom in spintronic devices.


title: The fermionic King model

abstract: We study the fermionic King model which may provide a relevant model of dark matter halos. The exclusion constraint can be due to quantum mechanics (for fermions such as massive neutrinos) or to Lynden-Bell's statistics (for collisionless systems undergoing violent relaxation). This model has a finite mass. Furthermore, a statistical equilibrium state exists for all accessible values of energy. Dwarf and intermediate size halos are degenerate quantum objects stabilized against gravitational collapse by the Pauli exclusion principle. Large halos at sufficiently high energies are in a gaseous phase where quantum effects are negligible. They are stabilized by thermal motion. Below a critical energy they undergo gravitational collapse (gravothermal catastrophe). This may lead to the formation of a central black hole that does not affect the structure of the halo. This may also lead to the formation of a compact degenerate object surrounded by a hot massive atmosphere extending at large distances. We argue that large dark matter halos should not contain a degenerate nucleus (fermion ball) because these nucleus-halo structures are thermodynamically unstable. We compare the rotation curves of the classical King model to observations of large dark matter halos (Burkert profile). Because of collisions and evaporation, the central density increases while the slope of the halo density profile decreases until an instability takes place. We find that the observations are compatible with a King profile at, or close to, the point of marginal stability in the microcanonical ensemble. At that point, the King profile can be fitted by the modified Hubble profile that has a flat core and a halo in which the density decreases as $r^{-3}$. This is qualitatively similar to the Burkert profile.


title: Decoy State Quantum Key Distribution Using Homodyne Detection

abstract: In this paper, we propose to use the decoy-state technique to improve the security of the quantum key distribution (QKD) systems based on homodyne detection against the photon number splitting (PNS) attack. The decoy-state technique is a powerful tool that can significantly boost the secure transmission range of the QKD systems. However it has not yet been applied to the systems that use coherent detection. After adapting this theory to the systems based on homodyne detection, we quantify the secure performance and transmission range of the resulting system.


title: Efficiently learning Ising models on arbitrary graphs

abstract: We consider the problem of reconstructing the graph underlying an Ising model from i.i.d. samples. Over the last fifteen years this problem has been of significant interest in the statistics, machine learning, and statistical physics communities, and much of the effort has been directed towards finding algorithms with low computational cost for various restricted classes of models. Nevertheless, for learning Ising models on general graphs with $p$ nodes of degree at most $d$, it is not known whether or not it is possible to improve upon the $p^{d}$ computation needed to exhaustively search over all possible neighborhoods for each node. In this paper we show that a simple greedy procedure allows to learn the structure of an Ising model on an arbitrary bounded-degree graph in time on the order of $p^2$. We make no assumptions on the parameters except what is necessary for identifiability of the model, and in particular the results hold at low-temperatures as well as for highly non-uniform models. The proof rests on a new structural property of Ising models: we show that for any node there exists at least one neighbor with which it has a high mutual information. This structural property may be of independent interest.


title: Second-order adjoint sensitivity analysis procedure (SO-ASAP) for computing exactly and efficiently first- and second-order sensitivities in large-scale linear systems: I. Computational methodology

abstract: This work presents the second-order forward and adjoint sensitivity analysis procedures (SO-FSAP and SO-ASAP) for computing exactly and efficiently the second-order functional derivatives of physical (engineering, biological, etc.) system responses to the system's model parameters.The definition of system parameters used in this work includes all computational input data, correlations, initial and/or boundary conditions, etc. For a physical system comprising N parameters and M responses, we note that the SO-FSAP requires a total of 0.5*N**2+1.5*N large-scale computations for obtaining all of the first- and second-order sensitivities, for all M system responses. On the other hand, the SO-ASAP requires a total of 2*N+1 large-scale computations for obtaining all of the first- and second-order sensitivities, for one functional-type system responses. Therefore, the SO-ASAP should be used when M is much larger than N, while the SO-ASAP should be used when N is much larger than M. The original SO-ASAP presented in this work should enable the hitherto very difficult, if not intractable, exact computation of all of the second-order response sensitivities (i.e., functional Gateaux-derivatives) for large-systems involving many parameters, as usually encountered in practice. Very importantly, the implementation of the SO-ASAP requires very little additional effort beyond the construction of the adjoint sensitivity system needed for computing the first-order sensitivities.


title: Second-order adjoint sensitivity analysis procedure (SO-ASAP) for computing exactly and efficiently first- and second-order sensitivities in large-scale linear systems:II. Illustrative application to a paradigm particle diffusion problem

abstract: This work presents an illustrative application of the second-order adjoint sensitivity analysis procedure (SO-ASAP) to a paradigm neutron diffusion problem, which is sufficiently simple to admit an exact solution, thereby making transparent the mathematical derivations underlying the SO-ASAP. The illustrative application presented in this work shows that the actual number of adjoint computations needed for computing all of the first- and second-order response sensitivities may significantly less than 2*N+1 per response. For this illustrative problem, four (4) large-scale adjoint computations sufficed for the complete and exact computations of all 4 first- and 10 distinct second-order derivatives. Furthermore, the construction and solution of the SASS requires very little additional effort beyond the construction of the adjoint sensitivity system needed for computing the first-order sensitivities. Only the sources on the right-sides of the diffusion operator needed to be modified; the left-side of the differential equations remained unchanged. Most of the second-order relative sensitivities are just as large as or larger than the first-order ones. We show that the second-order sensitivities cause the expected value of the response to differ from the computed nominal value of the response; and they contribute decisively to causing asymmetries in the response distribution. Neglecting the second-order sensitivities would nullify the third-order response correlations, and hence would nullify the skewness of the response; consequently, any events occurring in a response's long and/or short tails, which are characteristic of rare but decisive events would likely be missed. We expect the SO-ASAP to affect significantly other fields that need efficiently computed second-order response sensitivities, e.g., optimization, data assimilation/adjustment, model calibration, and predictive modeling.


title: Analysing spatially extended high-dimensional dynamics by recurrence plots

abstract: Recurrence plot based measures of complexity are capable tools for characterizing complex dynamics. In this letter we show the potential of selected recurrence plot measures for the investigation of even high-dimensional dynamics. We apply this method on spatially extended chaos, such as derived from the Lorenz96 model and show that the recurrence plot based measures can qualitatively characterize typical dynamical properties such as chaotic or periodic dynamics. Moreover, we demonstrate its power by analyzing satellite image time series of vegetation cover with contrasting dynamics as a spatially extended and potentially high-dimensional example from the real world.


title: Characterization of the equivalence of robustification and regularization in linear and matrix regression

abstract: The notion of developing statistical methods in machine learning which are robust to adversarial perturbations in the underlying data has been the subject of increasing interest in recent years. A common feature of this work is that the adversarial robustification often corresponds exactly to regularization methods which appear as a loss function plus a penalty. In this paper we deepen and extend the understanding of the connection between robustification and regularization (as achieved by penalization) in regression problems. Specifically, (a) in the context of linear regression, we characterize precisely under which conditions on the model of uncertainty used and on the loss function penalties robustification and regularization are equivalent, and (b) we extend the characterization of robustification and regularization to matrix regression problems (matrix completion and Principal Component Analysis).


title: Enhanced Multiple Exciton Generation in Amorphous Silicon Nanoparticles

abstract: Multiple exciton generation (MEG) in nanometer-sized hydrogen-passivated silicon nanowires (NWs), and quasi two-dimensional nanofilms strongly depends on the degree of the core structural disorder as shown by the many-body perturbation theory (MBPT) calculations based on the density functional theory (DFT) simulations. Working to the second order in the electron-photon coupling and in the screened Coulomb interaction we calculate quantum efficiency (QE), the average number of excitons created by a single absorbed photon, in the ${\rm Si}_{29}{\rm H}_{36}$ quantum dots (QDs) with crystalline and amorphous core structures, simple cubic three-dimensional arrays constructed from these QDs, crystalline and amorphous NWs, and quasi two-dimensional silicon nanofilms, also both crystalline and amorphous. Efficient MEG with QE of 1.3 up to 1.8 at the photon energy of about $3E_g$, where $E_g$ is the electronic gap, is predicted in these nanoparticles except for the crystalline NW and crystalline film where $QE\simeq 1.$ MEG in the amorphous nanoparticles is enhanced by the electron localization due to structural disorder. Combined with the lower gaps, the nanometer-sized amorphous silicon NWs and films are predicted to have effective carrier multiplication within the solar spectrum range.


title: Crystal growth, resistivity and Hall effect of the delafossite metal PtCoO$_2$

abstract: We report single crystal growth of the delafossite oxide PtCoO$_2$, and basic transport measurements on single crystals etched to well-defined geometries using focused ion beam techniques. The room temperature resistivity is 2.1 $\mu\Omega$ cm, and the Hall coefficient is consistent with the existence of one free electron per Pt. Although the residual resistivity ratio is greater than fifty, a slight upturn of resistivity is seen below 15 K. The angle dependence of the in-plane magnetoresistance is also reported.


title: Isometric fluctuation relations for equilibrium states with broken symmetry

abstract: We derive a set of isometric fluctuation relations, which constrain the order parameter fluctuations in finite-size systems at equilibrium and in the presence of a broken symmetry. These relations are exact and should apply generally to many condensed-matter physics systems. Here, we establish these relations for magnetic systems and nematic liquid crystals in a symmetry-breaking external field, and we illustrate them on the Curie-Weiss and the $XY$ models. Our relations also have implications for spontaneous symmetry breaking, which are discussed.


title: Erratum for "The degree theorem in higher rank"

abstract: The purpose of this erratum is to correct a mistake in the proof of Theorem 4.1 of our paper \cite{CF}.


title: Magnetic fields of Be stars: preliminary results from a hybrid analysis of the MiMeS sample

abstract: In the context of the MiMeS survey of magnetism in massive stars, 85 classical Be stars were observed in circular polarization with the aim of detecting magnetic fields at their surfaces. No direct evidence of such fields is found, in contrast to the significant rate of detection (5-10\%) in non-Be B-type stars. In this paper we describe the sample properties, the methodology and the data quality. We describe a novel method, previously applied to Herbig Ae/Be stars, that allows us to infer upper limits on organized (dipolar) magnetic fields present in the photospheres of our targets. We review the characteristics and robustness of this null result, and discuss its implications.


title: Quantification of the spin-Hall anti-damping torque with a resonance spectrometer

abstract: We present a simple technique using a cavity-based resonance spectrometer to quantify the anti-damping torque due to the spin Hall effect. Modification of ferromagnetic resonance is observed as a function of small DC current in sub-mm-wide strips of bilayers, consisting of magnetically soft FeGaB and strong spin-Hall metal Ta. From the detected current-induced linewidth change, we obtain an effective spin Hall angle of 0.08-0.09 independent of the magnetic layer thickness. Our results demonstrate that a sensitive resonance spectrometer can be a general tool to investigate spin Hall effects in various material systems, even those with vanishingly low conductivity and magnetoresistance.


title: Fabrication and Characterization of an Amperometric Glucose Sensor on a Flexible Polyimide Substrate

abstract: This study details the use of printing and other additive processes to fabricate a novel amperometric glucose sensor. The sensor was fabricated using a Au coated 12.7 micron polyimide film as a starting material, where micro-contact printing, electrochemical plating and chloridization, electrohydrodynamic jet (e-jet) printing, and spin coating were used to pattern, deposit, print, and coat functional materials, respectively. We have found that e-jet printing was effective for the deposition and patterning of glucose oxidase inks between ~5 to 1000 micron in width, and we have demonstrated that the enzyme was still active after printing. The thickness of the permselective layer was optimized to obtain a linear response to glucose concentration up to 32 mM. For these sensors no response to acetaminophen, a common interfering compound, was observed.


title: A New Proof of the Prouhet-Tarry-Escott Problem

abstract: The famous Prouhet-Tarry-Escott problem seeks collections of mutually disjoint sets of non-negative integers having equal sums of like powers. In this paper we present a new proof of the solution to this problem by deriving a generalization of the product generating function formula for the classical Prouhet-Thue-Morse sequence.


title: Dark energy and dark matter perturbations in singular universes

abstract: We discuss the evolution of density perturbations of dark matter and dark energy in cosmological models which admit future singularities in a finite time. Up to now geometrical tests of the evolution of the universe do not differentiate between singular universes and $\Lambda$CDM scenario. We solve perturbation equations using the gauge invariant formalism. The analysis shows that the detailed reconstruction of the evolution of perturbations within singular cosmologies, in the dark sector, exhibit important differences between the singular universes models and the $\Lambda$CDM cosmology. This is encouraging for further examination and gives hope for discriminating between those models with future galaxy weak lensing experiments like the Dark Energy Survey (DES) and Euclid or CMB observations like PRISM and CoRE.


title: Exact M-Theory Solutions, Integrable Systems, and Superalgebras

abstract: In this paper, an overview is presented of the recent construction of fully back-reacted half-BPS solutions in 11-dimensional supergravity which correspond to near-horizon geometries of M2 branes ending on, or intersecting with, M5 and M5$'$ branes along a self-dual string. These solutions have space-time manifold ${\rm AdS}_3 \times S^3 \times S^3$ warped over a Riemann surface $\Sigma$, and are invariant under the exceptional Lie superalgebra $D(2,1;\gamma) \oplus D(2,1;\gamma)$, where $\gamma $ is a real continuous parameter and $|\gamma|$ is governed by the ratio of the number of M5 and M5$'$ branes. The construction proceeds by mapping the reduced BPS equations onto an integrable field theory on $\Sigma$ which is of the Liouville sine-Gordon type. Families of regular solutions are distinguished by the sign of $\gamma$, and include a two-parameter Janus solution for $\gamma >0$, and self-dual strings on M5 as well as asymptotically ${\rm AdS}_4/{\mathbb Z}_2$ solutions for $\gamma <0$.


title: Collider signatures of Hylogenesis

abstract: We consider collider signatures of the hylogenesis --- a variant of antibaryonic dark matter model. We obtain bounds on the model parameters from results of the first LHC run. Also we suggest several new channels relevant for probing the antibaryonic dark matter at LHC.


title: Throughput-Optimal Broadcast on Directed Acyclic Graphs

abstract: We study the problem of broadcasting packets in wireless networks. At each time slot, a network controller activates non-interfering links and forwards packets to all nodes at a common rate; the maximum rate is referred to as the broadcast capacity of the wireless network. Existing policies achieve the broadcast capacity by balancing traffic over a set of spanning trees, which are difficult to maintain in a large and time-varying wireless network. We propose a new dynamic algorithm that achieves the broadcast capacity when the underlying network topology is a directed acyclic graph (DAG). This algorithm utilizes local queue-length information, does not use any global topological structures such as spanning trees, and uses the idea of in-order packet delivery to all network nodes. Although the in-order packet delivery constraint leads to degraded throughput in cyclic graphs, we show that it is throughput optimal in DAGs and can be exploited to simplify the design and analysis of optimal algorithms. Our simulation results show that the proposed algorithm has superior delay performance as compared to tree-based approaches.


title: Freeness and The Transposes of Unitarily Invariant Random Matrices

abstract: We show that real second order freeness appears in the study of Haar unitary and unitarily invariant random matrices when transposes are also considered. In particular we obtain the unexpected result that a unitarily invariant random matrix will be asymptotically free from its transpose.


title: Periodic continued fractions and elliptic curves over quadratic fields

abstract: Let $f(x)$ be a square free quartic polynomial defined over a quadratic field $K$ such that its leading coefficient is a square. If the continued fraction expansion of $\displaystyle \sqrt{f(x)}$ is periodic, then its period $n$ lies in the set \[\{1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,17,18,22,26,30,34\}.\] We write explicitly all such polynomials for which the period $n$ occurs over $K$ but not over $\Q$ and $\displaystyle n\not\in\{ 13,15,17\}$. Moreover we give necessary and sufficient conditions for the existence of such continued fraction expansions with period $13, 15$ or $17$ over $K$.


title: The horofunction boundary and isometry group of the Hilbert geometry

abstract: The horofunction boundary is a means of compactifying metric spaces that was introduced by Gromov in the 1970s. We describe explicitly the horofunction boundary of the Hilbert geometry, and sketch how it may be used to study the isometry group of this space.


title: Existence of Lefschetz fibrations on Stein and Weinstein domains

abstract: We show that every Stein or Weinstein domain may be presented (up to deformation) as a Lefschetz fibration over the disk. The proof is an application of Donaldson's quantitative transversality techniques.


title: A local trace formula for Anosov flows (with an appendix by Fr\'ed\'eric Naud)

abstract: We prove a local trace formula for Anosov flows. It relates Pollicott--Ruelle resonances to the periods of closed orbits. As an application, we show that the counting function for resonances in a sufficiently wide strip cannot have a sublinear growth. In particular, for any Anosov flow there exist strips with infinitely many resonances.


title: Maximally Entangled States of Four Nonbinary Particles

abstract: Systems of four nonbinary particles, each having three or more internal states, exhibit maximally entangled states that are inaccessible to four qubits. This breaks the pattern of two- and three-particle systems, in which the existing graph states are equally accessible to binary and nonbinary systems alike. We compare the entanglement properties of these special states (called P-states) with those of the more familiar GHZ and cluster states accessible to qubits. The comparison includes familiar entanglement measures, the "steering" of states by projective measurements, and the probability that two such measurements, chosen at random, leave the remaining particles in a Bell state. These comparisons demonstrate not only that P-state entanglement is stronger than the other types, but that it is maximal in a well-defined sense. We prove that GHZ, cluster, and P-states represent all possible entanglement classes of four-particle graph states with a prime number (>2) of states per particle.


title: Spatiotemporal Detection of Unusual Human Population Behavior Using Mobile Phone Data

abstract: With the aim to contribute to humanitarian response to disasters and violent events, scientists have proposed the development of analytical tools that could identify emergency events in real-time, using mobile phone data. The assumption is that dramatic and discrete changes in behavior, measured with mobile phone data, will indicate extreme events. In this study, we propose an efficient system for spatiotemporal detection of behavioral anomalies from mobile phone data and compare sites with behavioral anomalies to an extensive database of emergency and non-emergency events in Rwanda. Our methodology successfully captures anomalous behavioral patterns associated with a broad range of events, from religious and official holidays to earthquakes, floods, violence against civilians and protests. Our results suggest that human behavioral responses to extreme events are complex and multi-dimensional, including extreme increases and decreases in both calling and movement behaviors. We also find significant temporal and spatial variance in responses to extreme events. Our behavioral anomaly detection system and extensive discussion of results are a significant contribution to the long-term project of creating an effective real-time event detection system with mobile phone data and we discuss the implications of our findings for future research to this end. KEYWORDS: Big data, call detail record, emergency events, human mobility


title: Non-equilibrium statistical mechanics of a two-temperature Ising ring with conserved dynamics

abstract: The statistical mechanics of a one-dimensional Ising model in thermal equilibrium is well-established, textbook material. Yet, when driven far from equilibrium by coupling two sectors to two baths at different temperatures, it exhibits remarkable phenomena, including an unexpected 'freezing by heating.' These phenomena are explored through systematic numerical simulations. Our study reveals complicated relaxation processes as well as a crossover between two very different steady-state regimes.


title: Stark effect in the nonuniform field and its influence on the fine structure of Rydberg blockade

abstract: Splitting the energy levels of a hydrogen-like atom by the electric field nonuniform at the atomic scale is studied. This situation is important for the multi-level treatment of the phenomenon of Rydberg blockade [Yu.V. Dumin, J. Phys. B, v.47, p.175502 (2014)]. An explicit formula for the energy levels is derived. A typical value of the energy shift by the electric field gradient turns out to be proportional to the 4th power of the principal quantum number (i.e., the square of atomic size), as would be expected from a qualitative consideration. Finally, the fine spatial structure of the Rydberg blockade is analyzed when the electric-field-gradient term plays the dominant role, and the results are confronted with the experimental data.


title: Spectrum structure for eigenvalue problems involving mean curvature operators in Euclidean and Minkowski spaces

abstract: In this paper, we are concerned with quasilinear Dirichlet problem $$ \left\{ \aligned &-\Big(\frac{u'(x)}{\sqrt{1+\kappa (u'(x))^2}}\Big)'=\lambda u(x), \ \ \ \ \ 0<x<1,\\ &u(0)= u(1)=0,\\ \endaligned \right. \eqno (P) $$ where $\kappa\in (-\infty, 0)\cup (0, \infty)$ is a constant. We show that any nontrivial solution $ u$ of (P) has only finite many of simple zeros in $[0,1]$, all of humps of $u$ are same, and the first hump is symmetric around the middle point of its domain. We also describe the global structure of the set of nontrivial solutions of (P).


title: Globally generated vector bundles on complete intersection Calabi-Yau threefolds

abstract: We investigate the globally generated vector bundles on complete intersection Calabi-Yau threefolds with the first Chern class at most 2. We classify all the globally generated vector bundles of an arbitrary rank on quintic in $\mathbb{P}^4$ and investigate the globally generated vector bundles of rank 2 on complete intersection Calabi-Yau threefolds of codimension 2.


title: Symmetric unimodal expansions of excedances in colored permutations

abstract: We consider several generalizations of the classical $\gamma$-positivity of Eulerian polynomials (and their derangement analogues) using generating functions and combinatorial theory of continued fractions. For the symmetric group, we prove an expansion formula for inversions and excedances as well as a similar expansion for derangements. We also prove the $\gamma$-positivity for Eulerian polynomials for derangements of type $B$. More general expansion formulae are also given for Eulerian polynomials for $r$-colored derangements. Our results answer and generalize several recent open problems in the literature.


title: Morphing Planar Graph Drawings with Unidirectional Moves

abstract: Alamdari et al. showed that given two straight-line planar drawings of a graph, there is a morph between them that preserves planarity and consists of a polynomial number of steps where each step is a \emph{linear morph} that moves each vertex at constant speed along a straight line. An important step in their proof consists of converting a \emph{pseudo-morph} (in which contractions are allowed) to a true morph. Here we introduce the notion of \emph{unidirectional morphing} step, where the vertices move along lines that all have the same direction. Our main result is to show that any planarity preserving pseudo-morph consisting of unidirectional steps and contraction of low degree vertices can be turned into a true morph without increasing the number of steps. Using this, we strengthen Alamdari et al.'s result to use only unidirectional morphs, and in the process we simplify the proof.


title: Morphing Schnyder drawings of planar triangulations

abstract: We consider the problem of morphing between two planar drawings of the same triangulated graph, maintaining straight-line planarity. A paper in SODA 2013 gave a morph that consists of $O(n^2)$ steps where each step is a linear morph that moves each of the $n$ vertices in a straight line at uniform speed. However, their method imitates edge contractions so the grid size of the intermediate drawings is not bounded and the morphs are not good for visualization purposes. Using Schnyder embeddings, we are able to morph in $O(n^2)$ linear morphing steps and improve the grid size to $O(n)\times O(n)$ for a significant class of drawings of triangulations, namely the class of weighted Schnyder drawings. The morphs are visually attractive. Our method involves implementing the basic "flip" operations of Schnyder woods as linear morphs.


title: Supercoupling between heavy-hole and light-hole states in self-assembled quantum dots

abstract: Spintronics, quantum computing and quantum communication science utilizing cubic semiconductors rely largely on the properties of the hole states, composed of light and heavy hole wavefunction components. The admixture of light-hole (LH) into ground hole state predominately by the heavy hole (HH) would induce unique features of LH in optical transitions, spin relaxation, and spin polarization. We point to an unexpected source of HH-LH mixing in quantum dots, arguing that in contrast with current models the mixing does not reflect the strain between the dot and its matrix and does not scale inversely with the energy splitting between the bulk HH and LH states. Instead, we show via atomistic pseudopotential calculations on a range of strained and unstrained dots of different symmetries that the HH-LH mixing is enabled by the presence in the QD of a dense ladder of intermediate states between the HH and LH states which amplifies and propagates this interaction and leads to "supercoupling" (analogous to super-exchange in magnetism). This explains a number of outstanding puzzles regarding the surprising large coupling seen in unstrained QD (GaAs/AlAs) of ideal shapes and the surprising fact that in strained QD (InAs/GaAs) the coupling is very strong despite the fact that the 12-fold increase in bulk HH-LH splitting overrides the ~4 fold enhancement of the coupling matrix element by strain in comparison with unstrained GaAs QDs.


title: A Pair-wise Key Distribution Mechanism and Distributed Trust Evaluation Model for Secure Data Aggregation in Mobile Sensor Networks

abstract: We propose a secure data aggregation (SDA) framework for mobile sensor networks whose topology changes dynamically with time. The SDA framework (designed to be resilient to both insider and outsider attacks) comprises of a pair-wise key establishment mechanism run along the edges of a data gathering tree and a distributed trust evaluation model that is tightly integrated with the data aggregation process itself. If an aggregator node already shares a secret key with its child node, the two nodes locally coordinate to refresh and establish a new pair-wise secret key; otherwise, the aggregator node requests the sink to send a seed-secret key message that is used as the basis to establish a new pair-wise secret key. The trust evaluation model uses the two-sided Grubbs test to identify outlier data in the periodic beacons collected from the child nodes (neighbor) nodes. Once the estimated trust score for a neighbor node falls below a threshold, the sensor node locally classifies its neighbor node as a Compromised or Faulty (CF) node, and discards the data or aggregated data received from the CF node. This way, the erroneous data generated by the CF nodes could be filtered at various levels of the data gathering tree and are prevented from reaching the root node (sink node). Finally, we assess the effectiveness of our trust evaluation model through a comprehensive simulation study.


title: Cross-Layer Software-Defined 5G Network

abstract: In the past few decades, the world has witnessed a rapid growth in mobile communication and reaped great benefits from it. Even though the fourth generation (4G) mobile communication system is just being deployed worldwide, proliferating mobile demands call for newer wireless communication technologies with even better performance. Consequently, the fifth generation (5G) system is already emerging in the research field. However, simply evolving the current mobile networks can hardly meet such great expectations, because over the years the infrastructures have generally become ossified, closed, and vertically constructed. Aiming to establish a new paradigm for 5G mobile networks, in this article, we propose a cross-layer software-defined 5G network architecture. By jointly considering both the network layer and the physical layer together, we establish the two software-defined programmable components, the control plane and the cloud computing pool, which enable an effective control of the mobile network from the global perspective and benefit technological innovations. Specifically, by the cross-layer design for software-defining, the logically centralized and programmable control plane abstracts the control functions from the network layer down to the physical layer, through which we achieve the fine-grained controlling of mobile network, while the cloud computing pool provides powerful computing capability to implement the baseband data processing of multiple heterogeneous networks. We discuss the main challenges of our architecture, including the fine-grained control strategies, network virtualization, and programmability. The architecture significantly benefits the convergence towards heterogeneous networks and it enables much more controllable, programmable and evolvable mobile networks.


title: Current Open Questions in Complete Mixability

abstract: Complete and joint mixability has raised considerable interest in recent few years, in both the theory of distributions with given margins, and applications in discrete optimization and quantitative risk management. We list various open questions in the theory of complete and joint mixability, which are mathematically concrete, and yet accessible to a broad range of researchers without specific background knowledge. In addition to the discussions on open questions, some results contained in this paper are new.


title: Kickback cuts Backprop's red-tape: Biologically plausible credit assignment in neural networks

abstract: Error backpropagation is an extremely effective algorithm for assigning credit in artificial neural networks. However, weight updates under Backprop depend on lengthy recursive computations and require separate output and error messages -- features not shared by biological neurons, that are perhaps unnecessary. In this paper, we revisit Backprop and the credit assignment problem. We first decompose Backprop into a collection of interacting learning algorithms; provide regret bounds on the performance of these sub-algorithms; and factorize Backprop's error signals. Using these results, we derive a new credit assignment algorithm for nonparametric regression, Kickback, that is significantly simpler than Backprop. Finally, we provide a sufficient condition for Kickback to follow error gradients, and show that Kickback matches Backprop's performance on real-world regression benchmarks.


title: Unveiling the cosmological information beyond linear scales: forecasts for sufficient statistics

abstract: Beyond the linear regime, Fourier modes of cosmological random fields become correlated, and the power spectrum of density fluctuations contains only a fraction of the available cosmological information. To unveil this formerly hidden information, the A* non-linear transform was introduced; it is optimized both for the nonlinearities induced by gravity and observational noise. Quantifying the resulting increase of our knowledge of cosmological parameters, we forecast the constraints from the angular power spectrum and that of A* from l ~ 200 to 3000 for upcoming galaxy surveys such as: the Wide-Field Infrared Survey Telescope (WFIRST), the Large Synoptic Survey Telescope (LSST), Euclid, the Hyper Suprime-Cam (HSC) and the Dark Energy Survey (DES). We find that at low redshifts this new data analysis strategy can double the extracted information, effectively doubling the survey area. To test the accuracy of our forecasting and the power of our data analysis methods, we apply the A* transformation to the latest release of the Canada-France-Hawaii-Telescope Legacy Survey (CFHTLS) Wide. While this data set is too sparse to allow for more than modest gains (~1.1-1.2), the realized gain from our method is in excellent agreement with our forecast, thus verifying the robustness of our analysis and prediction pipelines.


title: Early-time cosmic dynamics in $f(R)$ and $f(|\hat\Omega|)$ extensions of Born-Infeld gravity

abstract: We consider two types of modifications of Born-Infeld gravity in the Palatini formulation and explore their dynamics in the early universe. One of these families considers $f(R)$ corrections to the Born-Infeld Lagrangian, which can be seen as modifications of the dynamics produced by the quantum effects of matter, while the other consists on different powers of the elementary building block of the Born-Infeld Lagrangian, which we denote by $|\hat\Omega|$. We find that the two types of nonsingular solutions that arise in the original Born-Infeld theory are also present in these extensions, being bouncing solutions a stable and robust branch. Singular solutions with a period of approximate de Sitter inflation are found even in universes dominated by radiation.


title: Neutron Position Sensitive Detectors for the ESS

abstract: The European Spallation Source (ESS) in Lund, Sweden will become the world's leading neutron source for the study of materials. The instruments are being selected from conceptual proposals submitted by groups from around Europe. These instruments present numerous challenges for detector technology in the absence of the availability of Helium-3, which is the default choice for detectors for instruments built until today and due to the extreme rates expected across the ESS instrument suite. Additionally a new generation of source requires a new generation of detector technologies to fully exploit the opportunities that this source provides. The detectors will be sourced from partners across Europe through numerous in-kind arrangements; a process that is somewhat novel for the neutron scattering community. This contribution presents briefly the current status of detectors for the ESS, and outlines the timeline to completion. For a conjectured instrument suite based upon instruments recommended for construction, a recently updated snapshot of the current expected detector requirements is presented. A strategy outline as to how these requirements might be tackled by novel detector developments is shown. In terms of future developments for the neutron community, synergies should be sought with other disciples, as recognized by various recent initiatives in Europe, in the context of the fundamentally multi-disciplinary nature of detectors. This strategy has at its basis the in-kind and collaborative partnerships necessary to be able to produce optimally performant detectors that allow the ESS instruments to be world-leading. This foresees and encourages a high level of collaboration and interdependence at its core, and rather than each group being all-rounders in every technology, the further development of centres of excellence across Europe for particular technologies and niches.


title: Semiclassical shell-structure moment of inertia within the phase-space approach

abstract: The moment of inertia for nuclear collective rotations was derived within the semiclassical approach based on the cranking model and the Strutinsky shell-correction method by using the non-perturbative periodic-orbit theory in the phase space variables. This moment of inertia for adiabatic (statistical-equilibrium) rotations can be approximated by the generalized rigid-body moment of inertia accounting for the shell corrections of the particle density. A semiclassical phase-space trace formula allows to express quite accurately the shell components of the moment of inertia in terms of the free-energy shell corrections for integrable and partially chaotic Fermi systems, in good agreement with the quantum calculations.


title: Analysis the neutral triplet collective mode in honeycomb lattice: without one-cone approximation

abstract: In this research has been studied the possibility of existence the neutral triplet collective mode in undoped graphene and graphite without one-cone approximation. This work tries to study this collective mode from different points of view. It also studies the effects of on-site Hubbard interaction on neutral collective mode in honeycomb lattice via two representations (sub-lattice and eigenvector). The effective long rang interaction in honeycomb lattice has been introduced for studying the spin collective mode. This work shows that short and effective long range interactions are not responsible for the formation of neutral triplet collective mode in graphene without {\it one-cone} approximation.


title: Identifying Talented Software Engineering Students through Data-driven Skill Assessment

abstract: For software development companies, one of the most important objectives is to identify and acquire talented software engineers in order to maintain a skilled team that can produce competitive products. Traditional approaches for finding talented young software engineers are mainly through programming contests of various forms which mostly test participants' programming skills. However, successful software engineering in practice requires a wider range of skills from team members including analysis, design, programming, testing, communication, collaboration, and self-management, etc. In this paper, we explore potential ways to identify talented software engineering students in a data-driven manner through an Agile Project Management (APM) platform. Through our proposed HASE online APM tool, we conducted a study involving 21 Scrum teams consisting of over 100 undergraduate software engineering students in multi-week coursework projects in 2014. During this study, students performed over 10,000 ASD activities logged by HASE. We demonstrate the possibility and potentials of this new research direction, and discuss its implications for software engineering education and industry recruitment.


title: Measurement of {\textit CP} observables in semileptonic decays at LHCb

abstract: LHCb has recorded large samples of semileptonic {\textit B} decays. These provide the possibility to study {\textit CP} violation effects in the $B^{0}_s$ and $B^{0}$ systems. Decay-time-integrated or decay-time-dependent asymmetries between charge conjugated final states probe {\textit CP} violation in $B^{0}_{(s)}$ mixing through the measurement of the parameter $a_{\textrm sl}. These measurements rely on data-driven techniques to control possible detection asymmetries.


title: Maximality of the sum of the monotone operator of type (FPV) and a maximal monotone operator

abstract: Here, question raised by Borwein and Yao has been settled by establishing that the sum of two maximal monotone operators A and B is maximal monotone with the condition that A is of type (FPV) and satisfies Rockafellar's constraints qualification. Also we have proved that A+B is of type (FPV) without assuming convexity on the domain of A.


title: Atomically Thin Optical Lenses and Gratings

abstract: Two-dimensional (2D) materials have emerged as promising candidates for miniaturized optoelectronic devices, due to their strong inelastic interactions with light. On the other hand, a miniaturized optical system also requires strong elastic light-matter interactions to control the flow of light. Here, we report giant optical path length (OPL) from a single-layer molybdenum disulfide (MoS2), which is around one order of magnitude larger than that from a single-layer graphene. Using such giant OPL to engineer the phase front of optical beams, we demonstrated, to the best of our knowledge, the world's thinnest optical lens consisting of a few layers of MoS2 less than 6.3 nm thick. Moreover, we show that MoS2 has much better dielectric response than good conductor (like gold) and other dielectric materials (like Si, SiO2 or graphene). By taking advantage of the giant elastic scattering efficiency in ultra-thin high-index 2D materials, we demonstrated high-efficiency gratings based on a single- or few-layers of MoS2. The capability of manipulating the flow of light in 2D materials opens an exciting avenue towards unprecedented miniaturization of optical components and the integration of advanced optical functionalities.


title: An Empirical Analysis of Task Allocation in Scrum-based Agile Programming

abstract: Agile Software Development (ASD) methodology has become widely used in the industry. Understanding the challenges facing software engineering students is important to designing effective training methods to equip students with proper skills required for effectively using the ASD techniques. Existing empirical research mostly focused on eXtreme Programming (XP) based ASD methodologies. There is a lack of empirical studies about Scrum-based ASD programming which has become the most popular agile methodology among industry practitioners. In this paper, we present empirical findings regarding the aspects of task allocation decision-making, collaboration, and team morale related to the Scrum ASD process which have not yet been well studied by existing research. We draw our findings from a 12 week long course work project in 2014 involving 125 undergraduate software engineering students from a renowned university working in 21 Scrum teams. Instead of the traditional survey or interview based methods, which suffer from limitations in scale and level of details, we obtain fine grained data through logging students' activities in our online agile project management (APM) platform - HASE. During this study, the platform logged over 10,000 ASD activities. Deviating from existing preconceptions, our results suggest negative correlations between collaboration and team performance as well as team morale.


title: An Evolutionary Approach for Optimizing Hierarchical Multi-Agent System Organization

abstract: It has been widely recognized that the performance of a multi-agent system is highly affected by its organization. A large scale system may have billions of possible ways of organization, which makes it impractical to find an optimal choice of organization using exhaustive search methods. In this paper, we propose a genetic algorithm aided optimization scheme for designing hierarchical structures of multi-agent systems. We introduce a novel algorithm, called the hierarchical genetic algorithm, in which hierarchical crossover with a repair strategy and mutation of small perturbation are used. The phenotypic hierarchical structure space is translated to the genome-like array representation space, which makes the algorithm genetic-operator-literate. A case study with 10 scenarios of a hierarchical information retrieval model is provided. Our experiments have shown that competitive baseline structures which lead to the optimal organization in terms of utility can be found by the proposed algorithm during the evolutionary search. Compared with the traditional genetic operators, the newly introduced operators produced better organizations of higher utility more consistently in a variety of test cases. The proposed algorithm extends of the search processes of the state-of-the-art multi-agent organization design methodologies, and is more computationally efficient in a large search space.


title: Efficient Minimax Signal Detection on Graphs

abstract: Several problems such as network intrusion, community detection, and disease outbreak can be described by observations attributed to nodes or edges of a graph. In these applications presence of intrusion, community or disease outbreak is characterized by novel observations on some unknown connected subgraph. These problems can be formulated in terms of optimization of suitable objectives on connected subgraphs, a problem which is generally computationally difficult. We overcome the combinatorics of connectivity by embedding connected subgraphs into linear matrix inequalities (LMI). Computationally efficient tests are then realized by optimizing convex objective functions subject to these LMI constraints. We prove, by means of a novel Euclidean embedding argument, that our tests are minimax optimal for exponential family of distributions on 1-D and 2-D lattices. We show that internal conductance of the connected subgraph family plays a fundamental role in characterizing detectability.


title: Exponential integrators for a Markov chain model of the fast sodium channel of cardiomyocytes

abstract: The modern Markov chain models of ionic channels in excitable membranes are numerically stiff. The popular numerical methods for these models require very small time steps to ensure stability. Our objective is to formulate and test two methods addressing this issue, so that the timestep can be chosen based on accuracy rather than stability. Both proposed methods extend Rush-Larsen technique, which was originally developed to Hogdkin-Huxley type gate models. One method, "Matrix Rush-Larsen" (MRL) uses a matrix reformulation of the Rush-Larsen scheme, where the matrix exponentials are calculated using precomputed tables of eigenvalues and eigenvectors. The other, "hybrid operator splitting" (HOS) method exploits asymptotic properties of a particular Markov chain model, allowing explicit analytical expressions for the substeps. We test both methods on the Clancy and Rudy (2002) INa Markov chain model. With precomputed tables for functions of the transmembrane voltage, both methods are comparable to the forward Euler method in accuracy and computational cost, but allow longer time steps without numerical instability. We conclude that both methods are of practical interest. MRL requires more computations than HOS, but is formulated in general terms which can be readily extended to other Markov Chain channel models, whereas the utility of HOS depends on the asymptotic properties of a particular model. The significance of the methods is that they allow a considerable speed-up of large-scale computations of cardiac excitation models by increasing the time step, while maintaining acceptable accuracy and preserving numerical stability.


title: Local positivity of linear series on surfaces

abstract: We study asymptotic invariants of linear series on surfaces with the help of Newton-Okounkov polygons. Our primary aim is to understand local positivity of line bundles in terms of convex geometry. We work out characterizations of ample and nef line bundles in terms of their Newton-Okounkov bodies, treating the infinitesimal case as well. One of the main results is a description of moving Seshadri constants via infinitesimal Newton-Okounkov polygons. As an illustration of our ideas we reprove results of Ein-Lazarsfeld on Seshadri constants on surfaces.