title: Incremental Active Opinion Learning Over a Stream of Opinionated Documents

abstract: Applications that learn from opinionated documents, like tweets or product reviews, face two challenges. First, the opinionated documents constitute an evolving stream, where both the author's attitude and the vocabulary itself may change. Second, labels of documents are scarce and labels of words are unreliable, because the sentiment of a word depends on the (unknown) context in the author's mind. Most of the research on mining over opinionated streams focuses on the first aspect of the problem, whereas for the second a continuous supply of labels from the stream is assumed. Such an assumption though is utopian as the stream is infinite and the labeling cost is prohibitive. To this end, we investigate the potential of active stream learning algorithms that ask for labels on demand. Our proposed ACOSTREAM 1 approach works with limited labels: it uses an initial seed of labeled documents, occasionally requests additional labels for documents from the human expert and incrementally adapts to the underlying stream while exploiting the available labeled documents. In its core, ACOSTREAM consists of a MNB classifier coupled with "sampling" strategies for requesting class labels for new unlabeled documents. In the experiments, we evaluate the classifier performance over time by varying: (a) the class distribution of the opinionated stream, while assuming that the set of the words in the vocabulary is fixed but their polarities may change with the class distribution; and (b) the number of unknown words arriving at each moment, while the class polarity may also change. Our results show that active learning on a stream of opinionated documents, delivers good performance while requiring a small selection of labels


title: Detecting extended gamma-ray emission with the next generation Cherenkov telescopes

abstract: Very high energy (VHE $>$100 GeV) gamma rays coming from blazars can produce pairs when interacting with the Extragalactic Background Light (EBL) and the Cosmic Microwave Background, generating an electromagnetic cascade. Depending on the Intergalactic Magnetic Field (IGMF) intensity, this cascade may result in an extended isotropic emission of photons around the source (halo), or in a broadening of the emission beam. The detection of these effects might lead to important constrains both on the IGMF intensity and the EBL density, quantities of great relevance in cosmological models. Using a Monte Carlo program, we simulate electromagnetic cascades for different values of the IGMF intensities and coming from a source similar to 1ES0229+200, a blazar with hard intrinsic spectrum at redshift $z=0.14$, which is an ideal distance for potentially observing the effect. We study the possible response of a generic future Cherenkov telescope using a simplified model for the sensitivity, effective area and angular resolution. Finally, combining these instrument properties, we calculate the angular distribution of photons and develop a method to test the statistical feasibility of detecting the effect in the near future.


title: A new time-dependent likelihood technique for detection of gamma-ray bursts with IACT arrays

abstract: In imaging atmospheric Cherenkov telescope (IACT) arrays, the standard method of statistically inferring the existence of a source is based on the maximum likelihood method of Li&Ma (1983). We present a new statistical approach, also based on maximum likelihood theory, which takes into account a priori knowledge of the source light curve. This approach is especially useful for observations of rapidly decaying gamma-ray bursts (GRBs). We also discuss results established by using this technique to analyze VERITAS GRB observations.


title: Testing Structural Changes in Panel Data with Small Fixed Panel Size and Bootstrap

abstract: Panel data of our interest consist of a moderate or relatively large number of panels, while the panels contain a small number of observations. This paper establishes testing procedures to detect a possible common change in means of the panels. To this end, we consider a ratio type test statistic and derive its asymptotic distribution under the no change null hypothesis. Moreover, we prove the consistency of the test under the alternative. The main advantage of such an approach is that the variance of the observations neither has to be known nor estimated. On the other hand, the correlation structure is required to be calculated. To overcome this issue, a bootstrap technique is proposed in the way of a completely data driven approach without any tuning parameters. The validity of the bootstrap algorithm is shown. As a by-product of the developed tests, we introduce a common break point estimate and prove its consistency. The results are illustrated through a simulation study. An application of the procedure to actuarial data is presented.


title: Magnetic alignment of block copolymer microdomains by intrinsic chain anisotropy

abstract: We examine the role of intrinsic chain susceptibility anisotropy in magnetic field directed self-assembly of a block copolymer using \textit{in situ} X-ray scattering. Alignment of a lamellar mesophase is observed on cooling across the disorder-order transition with the resulting orientational order inversely proportional to the cooling rate. We discuss the origin of the susceptibility anisotropy, $\Delta\chi$, that drives alignment, and calculate its magnitude using coarse-grained molecular dynamics to sample conformations of surface-tethered chains, finding $\Delta\chi\approx 2\times10^{-8}$. From field-dependent scattering data we estimate grains of $\approx1.2$ $\mu$m are present during alignment. These results demonstrate that intrinsic anisotropy is sufficient to support strong field-induced mesophase alignment and suggest a versatile strategy for field control of orientational order in block copolymers.


title: On the dimensions of oscillator-like algebras induced by orthogonal polynomials: non-symmetric case

abstract: There is a generalized oscillator-like algebra associated with every class of orthogonal polynomials $\{\Psi_n(x)\}_{n=0}^{\infty}$, on the real line, satisfying a four term non-symmetric recurrence relation $x\Psi_n(x)=b_n\Psi_{n+1}(x)+a_n\Psi_n(x)+b_{n-1}\Psi_{n-1}(x),~\Psi_0(x)=1,~b_{-1}=0$. This note presents necessary and sufficient conditions on $a_n$ and $b_n$ for such algebras to be of finite dimension. As examples, we discuss the dimensions of oscillator-like algebras associated with Laguerre and Jacobi polynomials.


title: Construction and Deconstruction of Single Instanton Hilbert Series

abstract: Many methods exist for the construction of the Hilbert series describing the moduli spaces of instantons. We explore some of the underlying group theoretic relationships between these various constructions, including those based on the Coulomb branches and Higgs branches of SUSY quiver gauge theories, as well as those based on generating functions derivable from the Weyl Character Formula. We show how the character description of the reduced single instanton moduli space of any Classical or Exceptional group can be deconstructed faithfully in terms of characters or modified Hall-Littlewood polynomials of its regular semi-simple subgroups. We derive and utilise Highest Weight Generating functions, both for the characters of Classical or Exceptional groups and for the Hall-Littlewood polynomials of unitary groups. We illustrate how the root space data encoded in extended Dynkin diagrams corresponds to relationships between the Coulomb branches of quiver gauge theories for instanton moduli spaces and those for T(SU(N)) moduli spaces.


title: Simulations of a Distributed Intelligent Array Trigger for the Cherenkov Telescope Array

abstract: It is anticipated that the forthcoming Cherenkov Telescope Array (CTA) will include a number of medium-sized telescopes that are constructed using a dual-mirror Schwarzschild-Couder configuration. These telescopes will sample a wide ($8^{\circ}$) field of view using a densely pixelated camera comprising over $10^{4}$ individual readout channels. A readout frequency congruent with the expected single-telescope trigger rates would result in substantial data rates. To ameliorate these data rates, a novel, hardware-level Distributed Intelligent Array Trigger (DIAT) is envisioned. A copy of the DIAT operates autonomously at each telescope and uses reduced metadata from a limited subset of nearby telescopes to veto events prior to camera readout. We present the results of Monte-Carlo simulations that evaluate the efficacy of a "Parallax width" discriminator that can be used by the DIAT to efficiently distinguish between genuine gamma-ray initiated events and unwanted background events that are initiated by hadronic cosmic rays.


title: Gravitational wave memory in de Sitter spacetime

abstract: We examine gravitational wave memory in the case where sources and detector are in an expanding cosmology. For simplicity, we treat the case where the cosmology is de Sitter spacetime, and discuss the possibility of generalizing our results to the case of a more realistic cosmology. We find results very similar to those of gravitational wave memory in an asymptotically flat spacetime, but with the magnitude of the effect multiplied by a redshift factor.


title: Electron-phonon coupling and exchange-correlation effects in superconducting ${\rm H_3S}$ under high pressure

abstract: We investigate the ${\rm H_3S}$ phase of sulphur hydride under high pressure $\simeq$ 200 GPa by means of {\it ab-initio} calculations within the framework of the density-functional theory (DFT) with the PBE0 hybrid exchange-correlation ($E_{\rm xc}$) approximation. The choice of $E_{\rm xc}$ has the largest effect on the calculated electron-phonon coupling (EPC) matrix elements; the high pressure equation of state and phonon frequencies are only slightly modified. Mode-dependent EPC correction factors are determined from PBE0 using a frozen-phonon supercell approach, while standard density-functional perturbation theory is used to determine the EPC with PBE generalized-gradient approximation $E_{\rm xc}$. Our principle finding is that the calculated PBE0 $T_c$ is enhanced by 25\% compared to PBE. This is similar in magnitude, but in opposite direction, to the proposed suppression of $T_c$ by anharmonic effects [Errea {\em et al., Phys. Rev. Lett.} {\bf 114}, 157004 (2015)]. Our calculations demonstrate the importance of considering exchange-correlation approximations for calculations of superconducting properties for this class of materials.


title: Lie superalgebra modules of constant Jordan type

abstract: The theories of $\pi$-points and modules of constant Jordan type have been a topic of much recent interest in the field of finite group scheme representation theory. These theories allow for a finite group scheme module $M$ to be restricted down and considered as a module over a space of small subgroups whose representation theory is completely understood, but still provide powerful global information about the original representation of $M$. This paper provides an extension of these ideas and techniques to study finite dimensional supermodules over a classical Lie superalgebra $\mathfrak{g} = \mathfrak{g}_{\overline{0}} \oplus \mathfrak{g}_{\overline{1}}$. Definitions and examples of $\mathfrak{g}$-modules of constant super Jordan type are given along with proofs of some properties of these modules. Additionally, endotrivial modules (a specific case of modules of constant Jordan type) are studied. The case when $\mathfrak{g}$ is a detecting subalgebra, denoted $\mathfrak{f}_r$, of a stable Lie superalgebra is considered in detail and used to construct super vector bundles over projective space $\mathbb{P}^{r-1}$. Finally, a complete classification of supermodules of constant super Jordan type are given for $\mathfrak{f}_1 = \mathfrak{sl}(1|1)$.


title: Exoplanet science with the LBTI: instrument status and plans

abstract: The Large Binocular Telescope Interferometer (LBTI) is a strategic instrument of the LBT designed for high-sensitivity, high-contrast, and high-resolution infrared (1.5-13 $\mu$m) imaging of nearby planetary systems. To carry out a wide range of high-spatial resolution observations, it can combine the two AO-corrected 8.4-m apertures of the LBT in various ways including direct (non-interferometric) imaging, coronagraphy (APP and AGPM), Fizeau imaging, non-redundant aperture masking, and nulling interferometry. It also has broadband, narrowband, and spectrally dispersed capabilities. In this paper, we review the performance of these modes in terms of exoplanet science capabilities and describe recent instrumental milestones such as first-light Fizeau images (with the angular resolution of an equivalent 22.8-m telescope) and deep interferometric nulling observations.


title: Maximum privacy without coherence, zero-error

abstract: We study the possible difference between the quantum and the private capacities of a quantum channel in the zero-error setting. For a family of channels introduced by arXiv:1312.4989, we demonstrate an extreme difference: the zero-error quantum capacity is zero, whereas the zero-error private capacity is maximum given the quantum output dimension.


title: Completing orientations of partially oriented graphs

abstract: We initiate a general study of what we call orientation completion problems. For a fixed class C of oriented graphs, the orientation completion problem asks whether a given partially oriented graph P can be completed to an oriented graph in C by orienting the (non-oriented) edges in P. Orien- tation completion problems commonly generalize several existing problems including recognition of certain classes of graphs and digraphs as well as extending representations of certain geometrically representable graphs. We study orientation completion problems for various classes of oriented graphs, including k-arc- strong oriented graphs, k-strong oriented graphs, quasi-transitive oriented graphs, local tournament, acyclic local tournaments, locally transitive tournaments, locally transitive local tournaments, in- tournaments, and oriented graphs which have directed cycle factors. We show that the orientation completion problem for each of these classes is either polynomial time solvable or NP-complete. We also show that some of the NP-complete problems become polynomial time solvable when the input oriented graphs satisfy certain extra conditions. Our results imply that the representation extension problems for proper interval graphs and for proper circular arc graphs are polynomial time solvable, which generalize a previous result.


title: Stability Analysis of Discrete-time Lure Systems with Slope-restricted Odd Monotonic Nonlinearities

abstract: Many nonlinear dynamical systems can be written as Lure systems, which are described by a linear time-invariant system interconnected with a diagonal static sector-bounded nonlinearity. Sufficient conditions are derived for the global asymptotic stability analysis of discrete-time Lure systems in which the nonlinearities have restricted slope and/or are odd, which is the usual case in real applications. A Lure-Postnikov-type Lyapunov function is proposed that is used to derive sufficient analysis conditions in terms of linear matrix inequalities (LMIs). The derived stability critera are provably less conservative than criteria published in the literature, with numerical examples indicating that conservatism can be reduced by orders of magnitude.


title: Large Energy Superpositions via Rydberg Dressing

abstract: We propose to create superposition states of over 100 Strontium atoms being in a ground state or metastable optical clock state, using the Kerr-type interaction due to Rydberg state dressing in an optical lattice. The two components of the superposition can differ by of order 300 eV in energy, allowing tests of energy decoherence models with greatly improved sensitivity. We take into account the effects of higher-order nonlinearities, spatial inhomogeneity of the interaction, decay from the Rydberg state, collective many-body decoherence, atomic motion, molecular formation and diminishing Rydberg level separation for increasing principal number.


title: Measurements of charged particle spectra and nuclear modification factor in p+Pb collisions with the ATLAS detector

abstract: The ATLAS detector at the LHC obtained the sample of p+Pb data at $\sqrt{s_{NN}}={}$5.02TeV with integrated luminosity of 25nb${}^{-1}$, which can be compared to the pp data obtained by interpolating pp measurements at $\sqrt{s}={}$2.76TeV and 7TeV. Due to the excellent capabilities of the ATLAS detector, and its stable operation in heavy ion as well as proton-proton physics runs, the data allow measurements of the nuclear modification factor, ratio of heavy ion charged particle spectra divided by pp reference, in different centrality classes over a wide range of rapidity. The charged particle nuclear modification factor is found to vary significantly as a function of transverse momentum with a stronger dependence in more peripheral collisions.


title: Black hole remnant in asymptotic Anti-de Sitter space

abstract: It is known that a solution of remnant were suggested for black hole ground state after surface gravity is corrected by loop quantum effect. On the other hand, a Schwarzschild black hole in asymptotic Anti-de Sitter space would tunnel into the thermal soliton solution known as the Hawking-Page phase transition. In this letter, we investigate the low temperature phase of three-dimensional BTZ black hole and four-dimensional AdS Schwarzschild black hole. We find that the thermal soliton is energetically favored than the remnant solution at low temperature in three dimensions, while Planck-size remnant is still possible in four dimensions. Though the BTZ remnant seems energetically disfavored, we argue that it is still possible to be found in the overcooled phase if strings were present and its implication is discussed.


title: Microspherical photonics: Giant resonant light forces, spectrally resolved optical manipulation, and coupled modes of microcavity arrays

abstract: In this dissertation novel resonant propulsion of dielectric microspheres is studied with the goal of sorting spheres with identical resonances, which are critical for developing microspherical photonics. First, evanescent field couplers were developed by fixing tapered microfibers in mechanically robust platforms. The tapers were obtained by chemical etching techniques. Using these platforms, WGMs modal numbers, coupling regimes and quality factors were determined for various spheres and compared with theory. Second, the spectroscopic properties of photonic molecules formed by spheres with better than 0.05% uniformity of WGM resonances were studied. It was shown that various spatial configurations of coupled-cavities present relatively stable mode splitting patterns in the fiber transmission spectra which can be used as spectral signatures to distinguish such photonic molecules. The third part is the study of giant resonant propulsion forces exerted on microspheres. This effect was observed in suspensions of polystyrene spheres with sufficiently large diameters. By integrating optical tweezers for individual sphere manipulation, the wavelength detuning between a tunable laser and WGMs in each of the spheres was precisely controlled. Resonant enhancement of optical forces was directly demonstrated in experiments. The spectral shape, position and magnitude of the observed propulsion force peaks were explained by efficient transfer of light momentum to microspheres under resonant conditions. The peak magnitude of the resonant force is shown to approach total absorption limit imposed by the conservation of momentum. The transverse movement of the spheres during the propulsion process was studied and the existence of a stable radial trap was demonstrated. Giant resonant propulsion forces can be used for large-scale sorting of microspheres with ultrahigh uniform resonant properties.


title: End-vertices of LBFS of (AT-free) bigraphs

abstract: Lexicographic Breadth First Search (LBFS) is one of fundamental graph search algorithms that has numerous applications, including recognition of graph classes, computation of graph parameters, and detection of certain graph structures. The well-known result of Rose, Tarjan and Lueker on the end-vertices of LBFS of chordal graphs has tempted researchers to study the end-vertices of LBFS of various classes of graphs, including chordal graphs, split graphs, interval graphs, and asteroidal triple-free (AT-free) graphs. In this paper we study the end-vertices of LBFS of bipartite graphs. We show that deciding whether a vertex of a bipartite graph is the end-vertex of an LBFS is an NP-complete problem. In contrast we characterize the end-vertices of LBFS of AT-free bipartite graphs. Our characterization implies that the problem of deciding whether a vertex of an AT-free bipartite graph is the end-vertex of an LBFS is solvable in polynomial time. Key words: Lexicographic breadth first search, end-vertex, bipartite graphs, AT-free, proper interval bigraph, characterization, algorithm.


title: Orientable and non-orientable genus $n$ Wicks forms over hyperbolic groups

abstract: In 1962 M.J. Wicks gave a precise description of the form a commutator could take in a free group or a free product and in 1973 extended this description to cover a product of two squares. Subsequently, lists of "Wicks forms" were found for arbitrary products of commutators and squares in free groups and free products, by Culler, Vdovina and other authors. Here we construct Wicks forms for products of commutators and squares in a hyperbolic group. As applications we give explicit lists of forms for a commutator and for a square, and find bounds on the lengths of conjugating elements required to express a quadratic tuple of elements of a hyperbolic group as a Wicks form.


title: The investigation of quark - antiquark potential in plasma with hyperscaling violation background

abstract: In this paper, we investigate imaginary part of the potential for a moving quarkonia in plasma. In order to verify the validity of imaginary part of the potential we employ hyperscaling violation metric background. In QCD system the imaginary part of potential shows the decay behaviour and the corresponding potential should be negative. The corresponding potential always appears in QCD as an exponential function. We find general constraints for Im$V_{Q\bar{Q}}$ at the near horizon limit and apply them for some known cases. Finally, we find the suitable spatial dimension d, z and $\theta$ also rapidity $\eta$ for two interesting cases. Our calculation with AdS/CFT guarantees the dynamical parameter as a $\theta$ in hyperscaling violation metric background. We also present the hyperscaling violationg metric in this context very close to YM theory with finite temperature.


title: The influence of Chunking on Dependency Crossing and Distance

abstract: This paper hypothesizes that chunking plays important role in reducing dependency distance and dependency crossings. Computer simulations, when compared with natural languages,show that chunking reduces mean dependency distance (MDD) of a linear sequence of nodes (constrained by continuity or projectivity) to that of natural languages. More interestingly, chunking alone brings about less dependency crossings as well, though having failed to reduce them, to such rarity as found in human languages. These results suggest that chunking may play a vital role in the minimization of dependency distance, and a somewhat contributing role in the rarity of dependency crossing. In addition, the results point to a possibility that the rarity of dependency crossings is not a mere side-effect of minimization of dependency distance, but a linguistic phenomenon with its own motivations.


title: High Resolution Angle Resolved Photoemission with Tabletop 11eV Laser

abstract: We developed a table-top vacuum ultraviolet (VUV) laser with $113.778$nm wavelength (10.897eV) and demonstrated its viability as a photon source for high resolution angle-resolved photoemission spectroscopy (ARPES). This sub-nanosecond pulsed VUV laser operates at a repetition rate of 10MHz, provides a flux of 2$\times$10$^{12}$ photons/second, and enables photoemission with energy and momentum resolutions better than 2meV and 0.012\AA$^{-1}$, respectively. Space-charge induced energy shifts and spectral broadenings can be reduced below 2meV. The setup reaches electron momenta up to 1.2\AA$^{-1}$, granting full access to the first Brillouin zone of most materials. Control over the linear polarization, repetition rate, and photon flux of the VUV source facilitates ARPES investigations of a broad range of quantum materials, bridging the application gap between contemporary low energy laser-based ARPES and synchrotron-based ARPES. We describe the principles and operational characteristics of this source, and showcase its performance for rare earth metal tritellurides, high temperature cuprate superconductors and iron-based superconductors.


title: Analog of the Peter-Weyl Expansion for Lorentz Group

abstract: The expansion of a square integrable function on $SL(2,C)$ into the sum of the principal series matrix coefficients with the specially selected representation parameters was recently used in the Loop Quantum Gravity $\cite{RovelliBook2}$, $\cite{Rovelli2010}$. In this paper we prove that the sum $\sum\limits_{j=1}^{\infty}\sum\limits_{|m| \le j}\sum\limits_{|n| \le j} \frac{D^{(j, \tau j)}_{jm, jn}(g)}{j^k}$, where $ j, m, n \in Z, \tau \in C$ is convergent to a square integrable function on $SL(2,C)$. We also prove that for each fixed m: $\sum\limits_{j=1}^{\infty}\frac{D^{(j, \tau j)}_{jm, jm}(g)}{j^k}$ is convergent and that the limit is a square integrable function on $SL(2,C)$. We then prove convergence of the sums $\sum\limits_{j=|p|}^{\infty}\sum\limits_{|m| \le j}\sum\limits_{|n| \le j} d^{\frac{j}{2}}_{pm} D^{(j, \tau j)}_{jm, jn}(g)$, where $d^{\frac{j}{2}}_{|p|m} = (j+1)^{\frac{1}{2}}\int\limits_{SU(2)}\phi(u)\overline{ D^{\frac{j}{2}}_{|p|m}(u)} \; du \; $ is $\phi(u)$'s Fourier transform and $ p, j, m, n \in Z, \tau \in C, u \in SU(2), g \in SL(2,C)$, thus establishing the map between the square integrable functions on $SU(2)$ and the space of the functions on $SL(2,C)$. Such maps were first used in $\cite{RovelliBook2}$.


title: Dynamic Potential Games in Communications: Fundamentals and Applications

abstract: In a noncooperative dynamic game, multiple agents operating in a changing environment aim to optimize their utilities over an infinite time horizon. Time-varying environments allow to model more realistic scenarios (e.g., mobile devices equipped with batteries, wireless communications over a fading channel, etc.). However, solving a dynamic game is a difficult task that requires dealing with multiple coupled optimal control problems. We focus our analysis on a class of problems, named \textit{dynamic potential games}, whose solution can be found through a single multivariate optimal control problem. Our analysis generalizes previous studies by considering that the set of environment's states and the set of players' actions are constrained, as it is required by most of the applications. And the theoretical results are the natural extension of the analysis for static potential games. We apply the analysis and provide numerical methods to solve four key example problems, with different features each: energy demand control in a smart-grid network, network flow optimization in which the relays have bounded link capacity and limited battery life, uplink multiple access communication with users that have to optimize the use of their batteries, and two optimal scheduling games with nonstationary channels.


title: Exponential Weight Functions for Quasi-Proportional Auctions

abstract: In quasi-proportional auctions, the allocation is shared among bidders in proportion to their weighted bids. The auctioneer selects a bid weight function, and bidders know the weight function when they bid. In this note, we analyze how weight functions that are exponential in the bid affect bidder behavior. We show that exponential weight functions have a pure-strategy Nash equilibrium, we characterize bids at an equilibrium, and we compare it to an equilibrium for power weight functions.


title: Slow L\'evy flights

abstract: Among Markovian processes, the hallmark of L\'evy flights is superdiffusion, or faster-than-Brownian dynamics. Here we show that L\'evy laws, as well as Gaussians, can also be the limit distributions of processes with long range memory that exhibit very slow diffusion, logarithmic in time. These processes are path-dependent and anomalous motion emerges from frequent relocations to already visited sites. We show how the Central Limit Theorem is modified in this context, keeping the usual distinction between analytic and non-analytic characteristic functions. A fluctuation-dissipation relation is also derived. Our results may have important applications in the study of animal and human displacements.


title: On Tate-Shafarevich groups of 1-motives over Galois extensions

abstract: Let K/F be a finite Galois extension of global fields with Galois group G and let M be a 1-motive over F. We discuss the kernel and cokernel of the restriction map Sha^{i}(F,M) --> Sha^{i}(K,M)^{G} for i=1 and 2, independently of any finiteness hypotheses. We show that these groups are finite and obtain, in particular, formulas for the corresponding quotient of group orders.


title: Generalized Forchheimer flows in heterogeneous porous media

abstract: We study the generalized Forchheimer flows of slightly compressible fluids in heterogeneous porous media. The media's porosity and coefficients of the Forchheimer equation are functions of the spatial variables. The partial differential equation for the pressure is degenerate in its gradient and can be both singular and degenerate in the spatial variables. Suitable weighted Lebesgue norms for the pressure, its gradient and time derivative are estimated. The continuous dependence on the initial and boundary data is established for the pressure and its gradient with respect to those corresponding norms. Asymptotic estimates are derived even for unbounded boundary data as time tends to infinity.


title: Nanoscale changes with low temperature annealing inside composite optical fibres

abstract: Nanoscale glass milling with mild thermal annealing is proposed and shown to occur within a tri-material composite W profile optical fibre.


title: Determination of thermal emission spectra maximizing thermophotovoltaic performance using a genetic algorithm

abstract: Optimal radiator thermal emission spectra maximizing thermophotovoltaic (TPV) conversion efficiency and output power density are determined when temperature effects in the cell are considered. To do this, a framework is designed in which a TPV model that accounts for radiative, electrical and thermal losses is coupled with a genetic algorithm. The TPV device under study involves a spectrally selective radiator at a temperature of 2000 K, a gallium antimonide cell, and a cell thermal management system characterized by a fluid temperature and a heat transfer coefficient of 293 K and 600 Wm-2K-1. It is shown that a maximum conversion efficiency of 38.8% is achievable with an emission spectrum that has emissivity of unity between 0.719 eV and 0.763 eV and zero elsewhere. This optimal spectrum is less than half of the width of those when thermal losses are neglected. A maximum output power density of 41708 Wm-2 is achievable with a spectrum having emissivity values of unity between 0.684 eV and 1.082 eV and zero elsewhere when thermal losses are accounted for. These emission spectra are shown to greatly outperform blackbody and tungsten radiators, and could be obtained using artificial structures such as metamaterials or photonic crystals.


title: Stoner Magnetism in an Inversion Layer

abstract: Motivated by recent experimental work on magnetic properties of Si-MOSFETs, we report a calculation of magnetisation and susceptibility of electrons in an inversion layer, taking into account the co-ordinate dependence of electron wave function in the direction perpendicular to the plane. It is assumed that the inversion-layer carriers interact via a contact repulsive potential, which is treated at a mean-field level, resulting in a self-consistent change of profile of the wave functions. We find that the results differ significantly from those obtained in the pure 2DEG case (where no provision is made for a quantum motion in the transverse direction). Specifically, the critical value of interaction needed to attain the ferromagnetic (Stoner) instability is decreased and the Stoner criterion is therefore relaxed. This leads to an increased susceptibility and ultimately to a ferromagnetic transition deep in the high-density metallic regime. In the opposite limit of low carrier densities, a phenomenological treatment of the in-plane correlation effects suggests a ferromagnetic instability above the metal-insulator transition. Results are discussed in the context of the available experimental data.


title: Interplay between the local information based behavioral responses and the epidemic spreading in complex networks

abstract: The spreading of an infectious disease can trigger human behavior responses to the disease, which in turn plays a crucial role on the spreading of epidemic. In this study, to illustrate the impacts of the human behavioral responses, a new class of individuals, $S^F$, is introduced to the classical susceptible-infected-recovered ($SIR$) model. In the model, $S^F$ state represents that susceptible individuals who take self-initiate protective measures to lower the probability of being infected, and a susceptible individual may go to $S^F$ state with a response rate when contacting an infectious neighbor. Via the percolation method, the theoretical formulas for the epidemic threshold as well as the prevalence of epidemic are derived. Our finding indicates that, with the increasing of the response rate, the epidemic threshold is enhanced and the prevalence of epidemic is reduced. The analytical results are also verified by the numerical simulations. In addition, we demonstrate that, because the mean field method neglects the dynamic correlations, a wrong result based on the mean field method is obtained---the epidemic threshold is not related to the response rate, i.e., the additional $S^F$ state has no impact on the epidemic threshold.


title: Cosmology and Astrophysics from Relaxed Galaxy Clusters III: Thermodynamic Profiles and Scaling Relations

abstract: This is the third in a series of papers studying the astrophysics and cosmology of massive, dynamically relaxed galaxy clusters. Our sample comprises 40 clusters identified as being dynamically relaxed and hot (i.e., massive) in Papers I and II of this series. Here we consider the thermodynamics of the intracluster medium, in particular the profiles of density, temperature and related quantities, as well as integrated measurements of gas mass, average temperature, total luminosity and center-excluded luminosity. We fit power-law scaling relations of each of these quantities as a function of redshift and cluster mass, which can be measured precisely and with minimal bias for these relaxed clusters using hydrostatic arguments. For the thermodynamic profiles, we jointly model the density and temperature and their intrinsic scatter as a function of radius, thus also capturing the behavior of the gas pressure and entropy. For the integrated quantities, we also jointly fit a multidimensional intrinsic covariance. Our results reinforce the view that simple hydrodynamical models provide a good description of relaxed clusters outside their centers, but that additional heating and cooling processes are important in the inner regions (radii $r < 0.5r_{2500} \approx 0.15r_{500}$). The thermodynamic profiles remain regular, with small intrinsic scatter, down to the smallest radii where deprojection is straightforward ($\sim 20$ kpc); within this radius, even the most relaxed systems show clear departures from spherical symmetry. Our results suggest that heating and cooling are continuously regulated in a tight feedback loop, allowing the cluster atmosphere to remain stratified on these scales.


title: l1-norm Penalized Orthogonal Forward Regression

abstract: A l1-norm penalized orthogonal forward regression (l1-POFR) algorithm is proposed based on the concept of leaveone- out mean square error (LOOMSE). Firstly, a new l1-norm penalized cost function is defined in the constructed orthogonal space, and each orthogonal basis is associated with an individually tunable regularization parameter. Secondly, due to orthogonal computation, the LOOMSE can be analytically computed without actually splitting the data set, and moreover a closed form of the optimal regularization parameter in terms of minimal LOOMSE is derived. Thirdly, a lower bound for regularization parameters is proposed, which can be used for robust LOOMSE estimation by adaptively detecting and removing regressors to an inactive set so that the computational cost of the algorithm is significantly reduced. Illustrative examples are included to demonstrate the effectiveness of this new l1-POFR approach.


title: Security Concerns in Minimum Storage Cooperative Regenerating Codes

abstract: Here, we revisit the problem of exploring the secrecy capacity of minimum storage cooperative regenerating (MSCR) codes under the $\{l_1,l_2\}$-eavesdropper model, where the eavesdropper can observe the data stored on $l_1$ nodes and the repair downloads of an additional $l_2$ nodes. Compared to minimum storage regenerating (MSR) codes which support only single node repairs, MSCR codes allow efficient simultaneous repairs of multiple failed nodes, referred to as a \emph{repair group}. However, the repair data sent from a helper node to another failed node may vary with different repair groups or the sets of helper nodes, which would inevitably leak more data information to the eavesdropper and even render the storage system unable to maintain any data secrecy. In this paper, we introduce and study a special category of MSCR codes, termed "\emph{stable}" MSCR codes, where the repair data from any one helper node to any one failed node is required to be independent of the repair group or the set of helper nodes. Our main contributions include: 1. Demonstrating that two existing MSCR codes inherently are not stable and thus have poor secrecy capacity, 2. Converting one existing MSCR code to a stable one, which offers better secrecy capacity when compared to the original one, 3. Employing information theoretic analysis to characterize the secrecy capacity of stable MSCR codes in certain situations.


title: Mollification in strongly Lipschitz domains with application to continuous and discrete De Rham complex

abstract: We construct mollification operators in strongly Lipschitz domains that do not invoke non-trivial extensions, are $L^p$ stable for any real number $p\in[1,\infty]$, and commute with the differential operators $\nabla$, $\nabla{\times}$, and $\nabla{\cdot}$. We also construct mollification operators satisfying boundary conditions and use them to characterize the kernel of traces related to the tangential and normal trace of vector fields. We use the mollification operators to build projection operators onto general $H^1$-, $\mathbf{H}(\text{curl})$- and $\mathbf{H}(\text{div})$-conforming finite element spaces, with and without homogeneous boundary conditions. These operators commute with the differential operators $\nabla$, $\nabla{\times}$, and $\nabla{\cdot}$, are $L^p$-stable, and have optimal approximation properties on smooth functions.


title: On the largest subsets avoiding the diameter of $(0,\pm 1)$-vectors

abstract: Let $L_{mkl}\subset \mathbb{R}^{m+k+l}$ be the set of vectors which have $m$ of entries $-1$, $k$ of entries $0$, and $l$ of entries $1$. In this paper, we investigate the largest subset of $L_{mkl}$ whose diameter is smaller than that of $L_{mkl}$. The largest subsets for $m=1$, $l=2$, and any $k$ will be classified. From this result, we can classify the largest $4$-distance sets containing the Euclidean representation of the Johnson scheme $J(9,4)$. This was an open problem in Bannai, Sato, and Shigezumi (2012).


title: Strictly semi-positive tensors and the boundedness of tensor complementarity problems

abstract: In this paper, we prove that all H$^+$(Z$^+$)-eigenvalues of each principal sub-tensor of a strictly semi-positive tensor are positive. We define two new constants associated with H$^+$(Z$^+$)eigenvalues of a strictly semi-positive tensor. With the help of these two constants, we establish upper bounds of an important quantity whose positivity is a necessary and sufficient condition for a general tensor to be a strictly semi-positive tensor. The monotonicity and boundedness of such a quantity are established too. Furthermore, we present global error bound analysis for a class of the nonlinear complementarity problem defined by a strictly semi-positive tensor.


title: Topological rigidity of higher graph manifolds

abstract: In this short note we prove the Borel conjecture for a family of aspherical manifolds that includes higher graph manifolds.


title: Semantic Amodal Segmentation

abstract: Common visual recognition tasks such as classification, object detection, and semantic segmentation are rapidly reaching maturity, and given the recent rate of progress, it is not unreasonable to conjecture that techniques for many of these problems will approach human levels of performance in the next few years. In this paper we look to the future: what is the next frontier in visual recognition? We offer one possible answer to this question. We propose a detailed image annotation that captures information beyond the visible pixels and requires complex reasoning about full scene structure. Specifically, we create an amodal segmentation of each image: the full extent of each region is marked, not just the visible pixels. Annotators outline and name all salient regions in the image and specify a partial depth order. The result is a rich scene structure, including visible and occluded portions of each region, figure-ground edge information, semantic labels, and object overlap. We create two datasets for semantic amodal segmentation. First, we label 500 images in the BSDS dataset with multiple annotators per image, allowing us to study the statistics of human annotations. We show that the proposed full scene annotation is surprisingly consistent between annotators, including for regions and edges. Second, we annotate 5000 images from COCO. This larger dataset allows us to explore a number of algorithmic ideas for amodal segmentation and depth ordering. We introduce novel metrics for these tasks, and along with our strong baselines, define concrete new challenges for the community.


title: On Optimizing Replica Migration in Distributed Cloud Storage Systems

abstract: With the wide adoption of large-scale Internet services and big data, the cloud has become the ideal environment to satisfy the ever-growing storage demand, thanks to its seemingly limitless capacity, high availability and faster access time. In this context, data replication has been touted as the ultimate solution to improve data availability and reduce access time. However, replica placement systems usually need to migrate and create a large number of data replicas over time between and within data centers, incurring a large overhead in terms of network load and availability. In this paper, we propose CRANE, an effiCient Replica migrAtion scheme for distributed cloud Storage systEms. CRANE complements any replica placement algorithm by efficiently managing replica creation in geo-distributed infrastructures by (1) minimizing the time needed to copy the data to the new replica location, (2) avoiding network congestion, and (3) ensuring a minimal availability of the data. Our results show that, compared to swift (the OpenStack project for managing data storage), CRANE is able to minimize up to 30% of the replica creation time and 25% of inter-data center network traffic, while ensuring the minimum required availability of the data.


title: The Anatomy of Big Data Computing

abstract: Advances in information technology and its widespread growth in several areas of business, engineering, medical and scientific studies are resulting in information/data explosion. Knowledge discovery and decision making from such rapidly growing voluminous data is a challenging task in terms of data organization and processing, which is an emerging trend known as Big Data Computing; a new paradigm which combines large scale compute, new data intensive techniques and mathematical models to build data analytics. Big Data computing demands a huge storage and computing for data curation and processing that could be delivered from on-premise or clouds infrastructures. This paper discusses the evolution of Big Data computing, differences between traditional data warehousing and Big Data, taxonomy of Big Data computing and underpinning technologies, integrated platform of Big Data and Clouds known as Big Data Clouds, layered architecture and components of Big Data Cloud and finally discusses open technical challenges and future directions.


title: Lattice Codes Achieve the Capacity of Common Message Gaussian Broadcast Channels with Coded Side Information

abstract: Lattices possess elegant mathematical properties which have been previously used in the literature to show that structured codes can be efficient in a variety of communication scenarios, including coding for the additive white Gaussian noise (AWGN) channel, dirty-paper channel, Wyner-Ziv coding, coding for relay networks and so forth. We consider the family of single-transmitter multiple-receiver Gaussian channels where the source transmits a set of common messages to all the receivers (multicast scenario), and each receiver has 'coded side information', i.e., prior information in the form of linear combinations of the messages. This channel model is motivated by applications to multi-terminal networks where the nodes may have access to coded versions of the messages from previous signal hops or through orthogonal channels. The capacity of this channel is known and follows from the work of Tuncel (2006), which is based on random coding arguments. In this paper, following the approach of Erez and Zamir, we design lattice codes for this family of channels when the source messages are symbols from a finite field 'Fp' of prime size. Our coding scheme utilizes Construction A lattices designed over the same prime field 'Fp', and uses algebraic binning at the decoders to expurgate the channel code and obtain good lattice subcodes, for every possible set of linear combinations available as side information. The achievable rate of our coding scheme is a function of the size 'p' of underlying prime field, and approaches the capacity as 'p' tends to infinity.


title: Generation of pseudo-high-order group velocity locked vector solitons in fiber lasers

abstract: We propose and experimentally demonstrate the generation of pseudo-high-order group velocity locked vector solitons (GVLVS) in a fiber laser using a SESAM as the mode locker. With the help of an external all-fiber polarization resolved system, a GVLVS with a two-humped pulse along one polarization while a single-humped pulse along the orthogonal polarization could be obtained. The phase difference between the two humps is 180 degree.


title: Magnetic excitations of the spin-1/2 tetramer substance Cu$_2$$^{114}$Cd$^{11}$B$_2$O$_6$ obtained by inelastic neutron scattering experiments

abstract: We performed inelastic neutron scattering experiments on Cu$_2$$^{114}$Cd$^{11}$B$_2$O$_6$ powder. The magnetic excitations at low temperatures are similar to those of the interacting spin-1/2 tetramers in the ordered state. The weak excitations existing above 3 meV suggest that the Higgs mode appears in Cu$_2$CdB$_2$O$_6$ at ambient pressure and zero magnetic field. We evaluated $J_1 = 27.3 \pm 1.0$ and $J_2 = -14.0 \pm 1.4$ meV for the intra-tetramer interactions and $J_3 = -0.4 \pm 0.2$ and $J_4 = 1.4 \pm 0.2$ meV for the inter-tetramer interactions. The spin gap in the isolated spin tetramer was calculated to be 1.6 meV, which is less than the effective inter-tetramer interaction value ($3.6 \pm 0.8$ meV). Therefore, antiferromagnetic long-range order is possible, although the ground state of the isolated spin tetramer is the spin-singlet state. We discuss the temperature dependence of the magnetic excitations.


title: Layered 2D crystals by design: optimisation of Sb$_2$Te$_3$-GeTe van der Waals superlattices

abstract: Herein a genetic algorithm for optimising the design of layered 2D heterostructure is proposed. As a proof-of-concept it is applied to Sb$_2$Te$_3$-GeTe phase-change material superlattices, and the resulting lowest energy structure is grown experimentally. The similarity of the computational and experimental structures is verified with the comparison of XRD spectra. The structure is found to be within 0.92 meV/at. from the energetically most favorable known structure for Ge$_2$Sb$_2$Te$_5$.


title: Full and Partial Cloaking in Electromagnetic Scattering

abstract: In this paper, we consider two regularized transformation-optics cloaking schemes for electromagnetic (EM) waves. Both schemes are based on the blowup construction with the generating sets being, respectively, a generic curve and a planar subset. We derive sharp asymptotic estimates in assessing the cloaking performances of the two constructions in terms of the regularization parameters and the geometries of the cloaking devices. The first construction yields an approximate full-cloak, whereas the second construction yields an approximate partial-cloak. Moreover, by incorporating properly chosen conducting layers, both cloaking constructions are capable of nearly cloaking arbitrary EM contents. This work complements the existing results in [5--7] on approximate EM cloaks with the generating set being a singular point, and it also extends [9,25] on regularized full and partial cloaks for acoustic waves governed by the Helmholtz system to the more challenging EM case governed by the full Maxwell system.


title: Adaptive Control of Uncertain Pure-feedback Nonlinear Systems

abstract: A novel adaptive control approach is proposed to solve the globally asymptotic state stabilization problem for uncertain pure-feedback nonlinear systems which can be transformed into the pseudo-affine form. The pseudo-affine pure-feedback nonlinear system under consideration is with non-linearly parameterised uncertainties and possibly unknown control coefficients. Based on the parameter separation technique, a backstepping controller is designed by adopting the adaptive high gain idea. The rigorous stability analysis shows that the proposed controller could guarantee, for any initial system condition, boundedness of the closed-loop signals and globally asymptotic stabilization of the state. A numerical and a realistic examples are employed to demonstrate the effectiveness of the proposed control method.


title: Brain Computer Interfaces for Mobile Apps: State-of-the-art and Future Directions

abstract: In recent times, there have been significant advancements in utilizing the sensing capabilities of mobile devices for developing applications. The primary objective has been to enhance the way a user interacts with the application by making it effortless and convenient. This paper explores the capabilities of using Brain Computer Interfaces (BCI), an evolving subset of Human Computer Interaction (HCI) paradigms, to control mobile devices. We present a comprehensive survey of the state-of-the-art in this area, discussing the challenges and limitations in using BCI for mobile applications. Further we propose possible modalities that in future can benefit with BCI applications. This paper consolidates research directions being pursued in this domain, and draws conclusions on feasibility and benefits of using BCI systems effectively augmented to the mobile application development domain.


title: A New Minimisation Principle for Poisson Equation Leading to a Flexible Finite Element Approach

abstract: We introduce a new minimisation principle for Poisson equation using two variables: the solution and the gradient of the solution. This principle allows us to use any conforming finite element spaces for both variables, where the finite element spaces do not need to satisfy a so-called inf-sup condition. A numerical example demonstrates the superiority of the approach.


title: Density shock waves in confined microswimmers

abstract: Motile and driven particles confined in microfluidic channels exhibit interesting emergent behavior from propagating density bands to density shock waves. A deeper understanding of the physical mechanisms responsible for these emergent structures is relevant to a number of physical and biomedical applications. Here, we study the formation of density shock waves in the context of an idealized model of microswimmers confined in a narrow channel and subject to a uniform external flow. Interestingly, these density shock waves exhibit a transition from `subsonic' with compression at the back to `supersonic' with compression at the front of the population as the intensity of the external flow increases. This behavior is the result of a non-trivial interplay between hydrodynamic interactions and geometric confinement, and is confirmed by a novel quasilinear wave model that properly captures the dependence of the shock formation on the external flow. These findings can be used to guide the development of novel mechanisms for controlling the emergent density distribution and average population speed, with potentially profound implications on various processes in industry and biotechnology such as the transport and sorting of cells in flow channels.


title: Structural evolution of bismuth sodium titanate induced by A-site non-stoichiometry: Neutron powder diffraction studies

abstract: We performed neutron powder diffraction measurements on (Bi$_{0.5}$Na$_{0.5+x}$)TiO$_3$ and (Bi$_{0.5+y}$Na$_{0.5}$)TiO$_3$ to study structural evolution induced by the non-stoichiometry. Despite the non-stoichiometry, the local structure ($r$$\leq$ 3.5 {\AA}) from the pair distribution function analysis is barely affected by the sodium deficit of up to -5 mol%. With increasing pair distance, however, the atomic pair correlations weaken due to the disorder caused by the sodium deficiency. Although the sodium and the bismuth share the same crystallographic site, their non-stoichiometry have rather opposite effects as revealed from a distinctive distortion of the Bragg peaks. In addition, Rietveld refinement demonstrates that the octahedral tilting is continually suppressed by the sodium deficit of up to -5 mol%. This is contrary to the effect of the bismuth deficiency, which enhances the octahedral tilting.


title: The cluster symplectic double and moduli spaces of local systems

abstract: We prove a conjecture of Fock and Goncharov which provides a birational equivalence of a cluster variety called the cluster symplectic double and a certain moduli space of local systems associated to a surface.


title: Learning Temporal Alignment Uncertainty for Efficient Event Detection

abstract: In this paper we tackle the problem of efficient video event detection. We argue that linear detection functions should be preferred in this regard due to their scalability and efficiency during estimation and evaluation. A popular approach in this regard is to represent a sequence using a bag of words (BOW) representation due to its: (i) fixed dimensionality irrespective of the sequence length, and (ii) its ability to compactly model the statistics in the sequence. A drawback to the BOW representation, however, is the intrinsic destruction of the temporal ordering information. In this paper we propose a new representation that leverages the uncertainty in relative temporal alignments between pairs of sequences while not destroying temporal ordering. Our representation, like BOW, is of a fixed dimensionality making it easily integrated with a linear detection function. Extensive experiments on CK+, 6DMG, and UvA-NEMO databases show significant performance improvements across both isolated and continuous event detection tasks.


title: The ATLAS 5.5 GHz Survey of the Extended Chandra Deep Field South: The Second Data Release

abstract: We present a new image of the 5.5 GHz radio emission from the extended Chandra Deep Field South. Deep radio observations at 5.5 GHz were obtained in 2010 and presented in the first data release. A further 76 hours of integration has since been obtained, nearly doubling the integration time. This paper presents a new analysis of all the data. The new image reaches 8.6 microJy rms, an improvement of about 40% in sensitivity. We present a new catalogue of 5.5 GHz sources, identifying 212 source components, roughly 50% more than were detected in the first data release. Source counts derived from this sample are consistent with those reported in the literature for S_{5.5GHz} > 0.1 mJy but significantly lower than published values in the lowest flux density bins (S_{5.5GHz} < 0.1 mJy), where we have more detected sources and improved statistical reliability. The 5.5 GHz radio sources were matched to 1.4 GHz sources in the literature and we find a mean spectral index of -0.35 +- 0.10 for S_{5.5GHz} > 0.5 mJy, consistent with the flattening of the spectral index observed in 5 GHz sub-mJy samples. The median spectral index of the whole sample is \alpha_{med} = -0.58, indicating that these observations may be starting to probe the star forming population. However, even at the faintest levels (0.05 < S_{5.5GHz} < 0.1 mJy), 39% of the 5.5 GHz sources have flat or inverted radio spectra. Four flux density measurements from our data, across the full 4.5 to 6.5 GHz bandwidth, are combined with those from literature and we find 10% of sources (S_{5.5GHz} >~ 0.1 mJy) show significant curvature in their radio spectral energy distribution spanning 1.4 to 9 GHz.


title: On the density of abelian l-extensions

abstract: We derive an asymptotic formula which counts the number of abelian extensions of prime degrees over rational function fields. Specifically, let $\ell$ be a rational prime and $K$ a rational function field $\Bbb F_q(t)$ with $\ell \nmid q$. Let $\textup{Disc}_f\left(F/K\right)$ denote the finite discriminant of $F$ over $K$. Denote the number of abelian $\ell$-extensions $F/K$ with $\textup{deg}\left(\textup{Disc}_f(F/K)\right) = (\ell-1)\alpha n$ by $a_{\ell}(n)$, where $\alpha=\alpha(q, \ell)$ is the order of $q$ in the multiplicative group $\left(\Bbb Z/\ell \Bbb Z\right)^\times$. We give a explicit asymptotic formula for $a_\ell(n)$. In the case of cubic extensions with $q\equiv 2 \pmod 3$, our formula gives an exact analogue of Cohn's classical formula.


title: Deep Broad Learning - Big Models for Big Data

abstract: Deep learning has demonstrated the power of detailed modeling of complex high-order (multivariate) interactions in data. For some learning tasks there is power in learning models that are not only Deep but also Broad. By Broad, we mean models that incorporate evidence from large numbers of features. This is of especial value in applications where many different features and combinations of features all carry small amounts of information about the class. The most accurate models will integrate all that information. In this paper, we propose an algorithm for Deep Broad Learning called DBL. The proposed algorithm has a tunable parameter $n$, that specifies the depth of the model. It provides straightforward paths towards out-of-core learning for large data. We demonstrate that DBL learns models from large quantities of data with accuracy that is highly competitive with the state-of-the-art.


title: Verificarlo: checking floating point accuracy through Monte Carlo Arithmetic

abstract: Numerical accuracy of floating point computation is a well studied topic which has not made its way to the end-user in scientific computing. Yet, it has become a critical issue with the recent requirements for code modernization to harness new highly parallel hardware and perform higher resolution computation. To democratize numerical accuracy analysis, it is important to propose tools and methodologies to study large use cases in a reliable and automatic way. In this paper, we propose verificarlo, an extension to the LLVM compiler to automatically use Monte Carlo Arithmetic in a transparent way for the end-user. It supports all the major languages including C, C++, and Fortran. Unlike source-to-source approaches, our implementation captures the influence of compiler optimizations on the numerical accuracy. We illustrate how Monte Carlo Arithmetic using the verificarlo tool outperforms the existing approaches on various use cases and is a step toward automatic numerical analysis.


title: Computation of sensitivities for the invariant measure of a parameter dependent diffusion

abstract: We consider the solution to a stochastic differential equation with a drift function which depends smoothly on some real parameter $\lambda$, and admitting a unique invariant measure for any value of $\lambda$ around $\lambda$ = 0. Our aim is to compute the derivative with respect to $\lambda$ of averages with respect to the invariant measure, at $\lambda$ = 0. We analyze a numerical method which consists in simulating the process at $\lambda$ = 0 together with its derivative with respect to $\lambda$ on long time horizon. We give sufficient conditions implying uniform-in-time square integrability of this derivative. This allows in particular to compute efficiently the derivative with respect to $\lambda$ of the mean of an observable through Monte Carlo simulations.


title: Parallel and Distributed Approaches for Graph Based Semi-supervised Learning

abstract: Two approaches for graph based semi-supervised learning are proposed. The firstapproach is based on iteration of an affine map. A key element of the affine map iteration is sparsematrix-vector multiplication, which has several very efficient parallel implementations. The secondapproach belongs to the class of Markov Chain Monte Carlo (MCMC) algorithms. It is based onsampling of nodes by performing a random walk on the graph. The latter approach is distributedby its nature and can be easily implemented on several processors or over the network. Boththeoretical and practical evaluations are provided. It is found that the nodes are classified intotheir class with very small error. The sampling algorithm's ability to track new incoming nodesand to classify them is also demonstrated.


title: Kondo Effect in Alkali-Earth Atomic Gases with Confinement-induced Resonance

abstract: Alkali-earth atoms have a long-lived electronic excited state, which can be localized in the Fermi sea of ground state atoms by an external potential and serve as magnetic impurities, due to the spin-exchange interaction between the excited and the ground state atoms. This can give rise to the Kondo effect. However, in order to achieve this effect in current atomic gas experiment, it requires the Kondo temperature to be increased to a sizable portion of the Fermi temperature. In this letter we propose that the spin-exchange interaction can be strongly enhanced by utilizing the confinement-induced resonance (CIR). We analyze this system by the renormalization group approach, and we show that nearby a CIR, the Kondo temperature can indeed be increased to the regime attainable by current experiments.


title: Quantitative Genetics Meets Integral Projection Models: Unification of Widely Used Methods from Ecology and Evolution

abstract: 1) Micro-evolutionary predictions are complicated by ecological feedbacks like density dependence, while ecological predictions can be complicated by evolutionary change. A widely used approach in micro-evolution, quantitative genetics, struggles to incorporate ecological processes into predictive models, while structured population modelling, a tool widely used in ecology, rarely incorporates evolution explicitly. 2) In this paper we develop a flexible, general framework that links quantitative genetics and structured population models. We use the quantitative genetic approach to write down the phenotype as an additive map. We then construct integral projection models for each component of the phenotype. The dynamics of the distribution of the phenotype are generated by combining distributions of each of its components. Population projection models can be formulated on per generation or on shorter time steps. 3) We introduce the framework before developing example models with parameters chosen to exhibit specific dynamics. These models reveal (i) how evolution of a phenotype can cause populations to move from one dynamical regime to another (e.g. from stationarity to cycles), (ii) how additive genetic variances and covariances (the G matrix) are expected to evolve over multiple generations, (iii) how changing heritability with age can maintain additive genetic variation in the face of selection and (iii) life history, population dynamics, phenotypic characters and parameters in ecological models will change as adaptation occurs. 4) Our approach unifies population ecology and evolutionary biology providing a framework allowing a very wide range of questions to be addressed. The next step is to apply the approach to a variety of laboratory and field systems. Once this is done we will have a much deeper understanding of eco-evolutionary dynamics and feedbacks.


title: Diffusion-KLMS Algorithm and its Performance Analysis for Non-Linear Distributed Networks

abstract: In a distributed network environment, the diffusion-least mean squares (LMS) algorithm gives faster convergence than the original LMS algorithm. It has also been observed that, the diffusion-LMS generally outperforms other distributed LMS algorithms like spatial LMS and incremental LMS. However, both the original LMS and diffusion-LMS are not applicable in non-linear environments where data may not be linearly separable. A variant of LMS called kernel-LMS (KLMS) has been proposed in the literature for such non-linearities. In this paper, we propose kernelised version of diffusion-LMS for non-linear distributed environments. Simulations show that the proposed approach has superior convergence as compared to algorithms of the same genre. We also introduce a technique to predict the transient and steady-state behaviour of the proposed algorithm. The techniques proposed in this work (or algorithms of same genre) can be easily extended to distributed parameter estimation applications like cooperative spectrum sensing and massive multiple input multiple output (MIMO) receiver design which are potential components for 5G communication systems.


title: Adaptively Directional Wireless Power Transfer for Large-scale Sensor Networks

abstract: Wireless power transfer (WPT) prolongs the lifetime of wireless sensor network by providing sustainable power supply to the distributed sensor nodes (SNs) via electromagnetic waves. To improve the energy transfer efficiency in a large WPT system, this paper proposes an adaptively directional WPT (AD-WPT) scheme, where the power beacons (PBs) adapt the energy beamforming strategy to SNs' locations by concentrating the transmit power on the nearby SNs within the efficient charging radius. With the aid of stochastic geometry, we derive the closed-form expressions of the distribution metrics of the aggregate received power at a typical SN and further approximate the complementary cumulative distribution function using Gamma distribution with second-order moment matching. To design the charging radius for the optimal AD-WPT operation, we exploit the tradeoff between the power intensity of the energy beams and the number of SNs to be charged. Depending on different SN task requirements, the optimal AD-WPT can maximize the average received power or the active probability of the SNs, respectively. It is shown that both the maximized average received power and the maximized sensor active probability increase with the increased deployment density and transmit power of the PBs, and decrease with the increased density of the SNs and the energy beamwidth. Finally, we show that the optimal AD-WPT can significantly improve the energy transfer efficiency compared with the traditional omnidirectional WPT.


title: CNN Based Hashing for Image Retrieval

abstract: Along with data on the web increasing dramatically, hashing is becoming more and more popular as a method of approximate nearest neighbor search. Previous supervised hashing methods utilized similarity/dissimilarity matrix to get semantic information. But the matrix is not easy to construct for a new dataset. Rather than to reconstruct the matrix, we proposed a straightforward CNN-based hashing method, i.e. binarilizing the activations of a fully connected layer with threshold 0 and taking the binary result as hash codes. This method achieved the best performance on CIFAR-10 and was comparable with the state-of-the-art on MNIST. And our experiments on CIFAR-10 suggested that the signs of activations may carry more information than the relative values of activations between samples, and that the co-adaption between feature extractor and hash functions is important for hashing.


title: Tree-Shifts: Irreducibility, mixing, and the chaos of tree-shifts

abstract: Topological behavior, such as chaos, irreducibility, and mixing of a one-sided shift of finite type, is well elucidated. Meanwhile, the investigation of multidimensional shifts, for instance, textile systems is difficult and only a few results have been obtained so far. This paper studies shifts defined on infinite trees, which are called tree-shifts. Infinite trees have a natural structure of one-sided symbolic dynamical systems equipped with multiple shift maps and constitute an intermediate class in between one-sided shifts and multidimensional shifts. We have shown not only an irreducible tree-shift of finite type, but also a mixing tree-shift that are chaotic in the sense of Devaney. Furthermore, the graph and labeled graph representations of tree-shifts are revealed so that the verification of irreducibility and mixing of a tree-shift is equivalent to determining the irreducibility and mixing of matrices, respectively. This extends the classical results of one-sided symbolic dynamics. A necessary and sufficient condition for the irreducibility and mixing of tree-shifts of finite type is demonstrated. Most important of all, the examination can be done in finite steps with an upper bound.


title: On Index Theory for Non-Fredholm Operators: A $(1+1)$-Dimensional Example

abstract: Using the general formalism of [12], a study of index theory for non-Fredholm operators was initiated in [9]. Natural examples arise from $(1+1)$-dimensional differential operators using the model operator $D_A$ in $L^2(\mathbb{R}^2; dt dx)$ of the type $D_A = (d/dt) + A$, where $A = \int^{\oplus}_{\mathbb{R}} dt \, A(t)$, and the family of self-adjoint operators $A(t)$ in $L^2(\mathbb{R}; dx)$ is explicitly given by $A(t) = - i (d/dx) + \theta(t) \phi(\cdot)$, $t \in \mathbb{R}$. Here $\phi: \mathbb{R} \to \mathbb{R}$ has to be integrable on $\mathbb{R}$ and $\theta: \mathbb{R} \to \mathbb{R}$ tends to zero as $t \to - \infty$ and to $1$ as $t \to + \infty$. In particular, $A(t)$ has asymptotes in the norm resolvent sense $A_- = - i (d/dx)$, $A_+ = - i (d/dx) + \phi(\cdot)$ as $t \to \mp \infty$. Since $D_A$ violates the relative trace class condition introduced in [9], we now employ a new approach based on an approximation technique. The approximants do fit the framework of [9] and lead to the following results: Introducing $H_1 = {D_A}^* D_A$, $H_2 = D_A {D_A}^*$, we recall that the resolvent regularized Witten index of $D_A$, denoted by $W_r(D_A)$, is defined by $$ W_r(D_A) = \lim_{\lambda \to 0} (- \lambda) {\rm tr}_{L^2(\mathbb{R}^2; dtdx)}((H_1 - \lambda I)^{-1} - (H_2 - \lambda I)^{-1}). $$ In the concrete example at hand, we prove $$ W_r(D_A) = \xi(0_+; H_2, H_1) = \xi(0; A_+, A_-) = 1/(2 \pi) \int_{\mathbb{R}} dx \, \phi(x). $$ Here $\xi(\, \cdot \, ; S_2, S_1)$, denotes the spectral shift operator for the pair $(S_2,S_1)$, and we employ the normalization, $\xi(\lambda; H_2, H_1) = 0$, $\lambda < 0$.


title: Impact-driven planetary desiccation: The origin of the dry Venus

abstract: The fate of surface water on Venus is one of the most important outstanding problems in comparative planetology. Here a new concept is proposed to explain water removal on a steam-covered proto Venus, referred to as impact-driven planetary desiccation. Since a steam atmosphere is photochemically unstable, water vapor dissociates into hydrogen and oxygen. Then, hydrogen escapes easily into space through hydrodynamic escape driven by strong extreme ultraviolet radiation from the young Sun. The focus is on the intense impact bombardment during the terminal stage of planetary accretion as generators of a significant amount of reducing agent. The fine-grained ejecta remove the residual oxygen, the counter part of escaped hydrogen, via the oxidation of iron-bearing rocks in a hot atmosphere. Thus, hypervelocity impacts cause net desiccation of the planetary surface. I constructed a stochastic cratering model using a Monte Carlo approach to investigate the cumulative mass of nonoxidized, ejected rocks due to the intense impact bombardment. It is shown that a thick steam atmosphere with a mass equivalent to that of the terrestrial oceans would be removed. The cumulative mass of rocky ejecta released into the atmosphere reaches 1 wt% of the host planet, which is 10000 times of the current mass of the Earths atmosphere. These results strongly suggest that chemical reactions between such large amounts of ejecta and planetary atmospheres are among the key factors required to understand atmospheric mass and its composition, not only in the Solar System but also in extrasolar systems.


title: Compact objects from gravitational collapse: an analytical toy model

abstract: We develop here a procedure to obtain regular static configurations as resulting from dynamical gravitational collapse of a massive matter cloud in general relativity. Under certain general physical assumptions for the collapsing cloud, we find the class of dynamical models that lead to an equilib- rium configuration. To illustrate this, we provide a class of perfect fluid collapse models that lead to a static constant density object as limit. We suggest that similar models might possibly constitute the basis for the description of formation of compact objects in nature.


title: The Cauchy-Dirichlet problem for a general class of parabolic equations

abstract: We prove regularity results such as interior Lipschitz regularity and boundary continuity for the Cauchy-Dirichlet problem associated to a class of parabolic equations inspired by the evolutionary $p$-Laplacian, but extending it at a wide scale. We employ a regularization technique of viscosity-type that we find interesting in itself.


title: Proximal Multitask Learning over Networks with Sparsity-inducing Coregularization

abstract: In this work, we consider multitask learning problems where clusters of nodes are interested in estimating their own parameter vector. Cooperation among clusters is beneficial when the optimal models of adjacent clusters have a good number of similar entries. We propose a fully distributed algorithm for solving this problem. The approach relies on minimizing a global mean-square error criterion regularized by non-differentiable terms to promote cooperation among neighboring clusters. A general diffusion forward-backward splitting strategy is introduced. Then, it is specialized to the case of sparsity promoting regularizers. A closed-form expression for the proximal operator of a weighted sum of $\ell_1$-norms is derived to achieve higher efficiency. We also provide conditions on the step-sizes that ensure convergence of the algorithm in the mean and mean-square error sense. Simulations are conducted to illustrate the effectiveness of the strategy.


title: Status of the Medium-Sized Telescope for the Cherenkov Telescope Array

abstract: The Cherenkov Telescope Array (CTA), is an international project for the next generation ground- based observatory for gamma-ray astronomy in the energy range from 20 GeV to 300 TeV. The sensitivity in the core energy range will be dominated by up to 40 Medium-Sized Telescopes (MSTs). The MSTs, of Davies-Cotton type with a 12 m diameter reflector are currently in the prototype phase. A full-size mechanical telescope structure has been assembled in Berlin. The telescope is partially equipped with different mirror prototypes, which are currently being tested and evaluated for performances characteristics. A report concentrating on the details of the tele- scope structure, the drive assemblies and the optics of the MST prototype will be given.


title: Evidence for 2009 WN25 being the parent body of the November i-Draconids (NID)

abstract: In this work we propose the Amor-type asteroid 2009 WN25 as the likely progenitor of the November i-Draconids (NID, IAU#392), a recently detected weak annual meteoroid stream. We first describe our recovery and follow-up effort to obtain timely ground based astrometry with large aperture telescopes, and ensure that 2009 WN25 would not become lost. We then discuss the possible parent-stream association, using its updated orbit to model the ejection of dust particles from the surface of the parent body and match the observed properties of the stream.


title: The Kobayashi distance in holomorphic dynamics and operator theory

abstract: These are the notes of a short course I gave in the school "Aspects m\'etriques et dynamiques en analyse complete", Lille, May 2015. The aim of this notes is to describe how to use a geometric structure (namely, the Kobayashi distance) to explore and encode analytic properties of holomorphic functions and maps defined on complex manifolds. We shall first describe the main properties of the Kobayashi distance, and then we shall present applications to holomorphic dynamics in taut manifolds, strongly pseudo convex domains and convex domains, and to operator theory in Bergman spaces (Carleson measures and Toeplitz operators).


title: Development of Slow Control Boards for the Large Size Telescopes of the Cherenkov Telescope Array

abstract: The camera of the Large Size Telescopes (LSTs) of the Cherenkov Telescope Array (CTA) consists of 265 photosensor modules, each of them containing 7 photomultiplier tubes (PMTs), a slow control board (SCB), a readout board, and a trigger logic. We have developed the SCB, which is installed between the 7 PMTs and the readout board. The main task for SCBs is the controlling of the high voltages for the PMTs and the monitoring of their anode currents. In addition, the SCB provides the functionality to create test pulses that can be injected at the input of the PMT preamplifier in order to emulate a PMT signal without the need of setting a high voltage, or even without the PMT itself. The test pulses have a very similar width as the PMT pulses (less than 3 ns FWHM) and their amplitude can be adjusted in a wide dynamic range. These features allow us not only to test the functionality of the camera modules but also to fully characterize these. We report on the design and the functions of the SCB together with the results of test measurements.


title: Publication Bias in Meta-Analysis: Confidence Intervals for Rosenthal's Fail-Safe Number

abstract: The purpose of the present paper is to assess the efficacy of confidence intervals for Rosenthal's fail-safe number. Although Rosenthal's estimator is highly used by researchers, its statistical properties are largely unexplored. First of all, we developed statistical theory which allowed us to produce confidence intervals for Rosenthal's fail-safe number.This was produced by discerning whether the number of studies analysed in a meta-analysis is fixed or random. Each case produces different variance estimators. For a given number of studies and a given distribution, we provided five variance estimators. Confidence intervals are examined with a normal approximation and a nonparametric bootstrap. The accuracy of the different confidence interval estimates was then tested by methods of simulation under different distributional assumptions. The half normal distribution variance estimator has the best probability coverage. Finally, we provide a table of lower confidence intervals for Rosenthal's estimator.


title: Towards rigorous analysis of the Levitov-Mirlin-Evers recursion

abstract: This paper aims to develop a rigorous asymptotic analysis of an approximate renormalization group recursion for inverse participation ratios $P_q$ of critical powerlaw random band matrices. The recursion goes back to the work by Mirlin and Evers [37] and earlier works by Levitov [32, 33] and is aimed to describe the ensuing multifractality of the eigenvectors of such matrices. We point out both similarities and dissimilarities of LME recursion to those appearing in the theory of multiplicative cascades and branching random walks and show that the methods developed in those fields can be adapted to the present case. In particular the LME recursion is shown to exhibit a phase transition, which we expect is a freezing transition, where the role of temperature is played by the exponent $q$. However, the LME recursion has features that make its rigorous analysis considerably harder and we point out several open problems for further study


title: Neutrinos from Clusters of Galaxies and Radio Constraints

abstract: Cosmic-ray (CR) protons can accumulate for cosmological times in clusters of galaxies. Their hadronic interactions with protons of the intra-cluster medium (ICM) generate secondary electrons, gamma-rays and high-energy neutrinos. In light of the high-energy neutrino events recently discovered by the IceCube observatory, we estimate the contribution from galaxy clusters to the diffuse gamma-ray and neutrino backgrounds. For the first time, we consistently take into account the synchrotron emission generated by secondary electrons and require the clusters radio counts to be respected. For a choice of parameters respecting current constraints from radio to gamma-rays, and assuming a proton spectral index of -2, we find that hadronic interactions in clusters contribute by less than 10% to the IceCube flux, and much less to the total extragalactic gamma-ray background observed by Fermi. They account for less than 1% for spectral indexes <-2. The high-energy neutrino flux observed by IceCube can be reproduced without violating radio constraints only if a very hard (and speculative) spectral index >-2 is adopted. However, this scenario is in tension with the high-energy IceCube data, which seem to suggest a spectral energy distribution of the neutrino flux that decreases with the particle energy. We stress that our results are valid for all kind of sources injecting CR protons into the ICM, and that, while IceCube can test the most optimistic scenarios for spectral indexes >=-2.2 by stacking few nearby massive objects, clusters of galaxies cannot give any relevant contribution to the extragalactic gamma-ray and neutrino backgrounds in any realistic scenario.


title: Developments of a new mirror technology for the Cherenkov Telescope Array

abstract: The Cherenkov Telescope Array (CTA) observatory for very high-energy gamma rays will consist of about a hundred of imaging atmospheric Cherenkov telescopes (IACTs) of different size with a total reflective area of about 10,000 m$^2$. Here we present a novel technology for the production of IACT mirrors that has been developed in the Institute of Nuclear Physics PAS in Krakow, Poland. The mirrors are made by cold-slumping of the front reflecting aluminium-coated panel and the rear panel interspaced with aluminium spacers. Each panel is built of two glass panels laminated with a layer of a fibreglass tissue in between for reinforcement of the structure against mechanical damage. The mirror structure is open and does not require a perfect sealing needed in closed-type designs. It prohibits water to be trapped inside and enables a proper ventilation of the mirror. Full-size hexagonal prototype mirrors produced for the medium-sized CTA telescopes will be presented together with the results of recent comprehensive optical and durability tests. Their design will be compared to the earlier technology developed at INP PAS that used a rigid flat open support structure with a reflective layer made by cold-slumping of the coated glass panel to the cast-in-mould spherical epoxy resin layer.


title: Scale-invariant nonlinear optics in gases

abstract: Nonlinear optical methods are becoming ubiquitous in many areas of modern photonics. They are, however, often limited to a certain range of input parameters, such as pulse energy and average power, since restrictions arise from, for example, parasitic nonlinear effects, damage problems and geometrical considerations. Here, we show that many nonlinear optics phenomena in gaseous media are scale-invariant if spatial coordinates, gas density and laser pulse energy are scaled appropriately. We develop a general scaling model for (3+1)-dimensional wave equations, demonstrating the invariant scaling of nonlinear pulse propagation in gases. Our model is numerically applied to high-order harmonic generation and filamentation as well as experimentally verified using the example of pulse post-compression via filamentation. Our results provide a simple recipe for up-or downscaling of nonlinear processes in gases with numerous applications in many areas of science.


title: Approximating z-bar in the Bergman space

abstract: We consider the problem of finding the best approximation to $\bar{z}$ in the Bergman Space $A^{2}(\Omega)$. We show that this best approximation is the derivative of the solution to the Dirichlet problem on $\partial\Omega$ with data $\left|z\right|^{2}$ and give examples of domains where the best approximation is a polynomial, or a rational function. Finally, we obtain the "isoperimetric sandwich" for $dist(\overline{z},\Omega)$ that yields the celebrated St. Venant inequality for torsional rigidity.


title: Complete Weight Enumerators of a Family of Three-Weight Linear Codes

abstract: Linear codes have been an interesting topic in both theory and practice for many years. In this paper, for an odd prime $p$, we present the explicit complete weight enumerator of a family of $p$-ary linear codes constructed with defining set. The weight enumerator is an mmediate result of the complete weight enumerator, which shows that the codes proposed in this paper are three-weight linear codes. Additionally, all nonzero codewords are minimal and thus they are suitable for secret sharing.


title: Groups with near exponential residual finiteness growth

abstract: A function $\mathbb{N} \to \mathbb{N}$ is near exponential if it is bounded above and below by functions of the form $2^{n^c}$ for some $c > 0$. In this article we develop tools to recognize the near exponential residual finiteness growth in groups acting on rooted trees. In particular, we show the near exponential residual finiteness growth for certain branch groups, including the first Grigorchuk group, the family of Gupta-Sidki groups and their variations, and Fabrykowski-Gupta groups. We also show that the family of Gupta-Sidki p-groups, for $p\geq 5$, have super-exponential residual finiteness growths.


title: From waves to bullets: testing Feynman's idea on the two slit experiment

abstract: We test the validity of Feynman's idea that a two-slit experiment performed with classical objects (bullets) does not produce observable interference fringes on the detection screen because the Compton's wavelength of the bullets is so tiny, that no real detector could resolve individual interference fringes, thus producing only an average signal which is the observed smooth curve. To test this idea, we study the two-slit experiment in two different situations using light to simulate both wave-like and particle-like bullets. In the first case, we consider coherent light with short wavelengths and in the second case incoherent light with not-so-short wavelength. While in the former case (simulating Feynman's wave-like bullets) the interference fringes are so dense that they cannot be resolved by a detector, therefore resulting in an averaged smooth signal, in the latter case (simulating Feynman's particle-like bullets), although the detector is fully capable of discriminating each fringe, the observed classical smooth pattern limit is produced because of the lack of spatial coherence of the impinging field.


title: Quantum Turbulence of Bellows-Driven 4He Superflow: Decay

abstract: We report on studies of quantum turbulence with second-sound in superfluid 4He in which the turbulence is generated by the flow of the superfluid component through a wide square channel, the ends of which are plugged with sintered silver superleaks, the flow being generated by compression of a bellows. The superleaks ensure that there is no net flow of the normal fluid. In an earlier paper (Phys. Rev. B, 86, 134515 (2012)) we have shown that steady flow of this kind generates a density of vortex lines that is essentially identical with that generated by thermal counterflow, when the average relative velocity between the two fluids is the same. In this paper we report on studies of the temporal decay of the vortex-line density, observed when the bellows is stopped, and we compare the results with those obtained from the temporal decay of thermal counterflow re-measured in the same channel and under the same conditions. In both cases here is an initial fast decay which, for low enough initial line density approaches for a short time the form $t^{-1}$ characteristic of the decay of a random vortex tangle. This is followed at late times by a slower $t^{-3/2}$ decay, characteristic of the decay of large 'quasi-classical eddies'. However, in the range of investigated parameters, we observe always in the case of thermal counterflow, and only in a few cases of high steady-state velocity in superflow, an intermediate regime in which the decay either does not proceed monotonically with time or passes through a point of inflexion. This difference, established firmly by our experiments, might represent one essential ingredient for the full theoretical understanding of counterflow turbulence.


title: Spectra of open waveguides in periodic media

abstract: We study the essential spectra of formally self-adjoint elliptic systems on doubly periodic planar domains perturbed by a semi-infinite periodic row of foreign inclusions. We show that the essential spectrum of the problem consists of the essential spectrum of the purely periodic problem and another component, which is the union of the discrete spectra of model problems in the infinite perturbation strip; these model problems arise by an application of the partial Floquet-Bloch-Gelfand transform.


title: New topological methods to solve equations over groups

abstract: We show that the equation associated with a group word $w \in G \ast {\mathbf F}_2$ can be solved over a hyperlinear group $G$ if its content - that is its augmentation in ${\mathbf F}_2$ - does not lie in the second term of the lower central series of ${\mathbf F}_2$. Moreover, if $G$ is finite, then a solution can be found in a finite extension of $G$. The method of proof extends techniques developed by Gerstenhaber and Rothaus, and uses computations in $p$-local homotopy theory and cohomology of compact Lie groups.


title: Generalized Multicast Multibeam Precoding for Satellite Communications

abstract: This paper deals with the problem of precoding in multibeam satellite systems. In contrast to general multiuser multiple-input-multiple-output (MIMO) cellular schemes, multibeam satellite architectures suffer from different challenges. First, satellite communications standards embed more than one user in each frame in order to increase the channel coding gain. This leads to the different so-called multigroup multicast model, whose optimization requires computationally complex operations. Second, when the data traffic is generated by several Earth stations (gateways), the precoding matrix must be distributively computed and attain additional payload restrictions. Third, since the feedback channel is adverse (large delay and quantization errors), the precoding must be able to deal with such uncertainties. In order to solve the aforementioned problems, we propose a two-stage precoding design in order to both limit the multibeam interference and to enhance the intra-beam minimum user signal power (i.e. the one that dictates the rate allocation per beam). A robust version of the proposed precoder based on a first perturbation model is presented. This mechanism behaves well when the channel state information is corrupted. Furthermore, we propose a per beam user grouping mechanism together with its robust version in order to increase the precoding gain. Finally, a method for dealing with the multiple gateway architecture is presented, which offers high throughputs with a low inter-gateway communication. The conceived designs are evaluated in a close-to-real beam pattern and the latest broadband communication standard for satellite communications.


title: Black Holes and Thunderbolt Singularities with Lifshitz Scaling Terms

abstract: We study a static, spherically symmetric and asymptotic flat spacetime, assuming the hypersurface orthogonal Einstein-aether theory with an ultraviolet modification motivated by the Horava-Lifshitz theory, which is composed of the $z=2$ Lifshitz scaling terms such as scalar combinations of a three-Ricci curvature and the acceleration of the aether field. For the case with the quartic term of the acceleration of the aether field, we obtain a two-parameter family of black hole solutions, which possess a regular universal horizon. While, if three-Ricci curvature squared term is joined in ultraviolet modification, we find a solution with a thunderbolt singularity such that the universal horizon turns to be a spacelike singularity.


title: Ontology Based SMS Controller for Smart Phones

abstract: Text analysis includes lexical analysis of the text and has been widely studied and used in diverse applications. In the last decade, researchers have proposed many efficient solutions to analyze / classify large text dataset, however, analysis / classification of short text is still a challenge because 1) the data is very sparse 2) It contains noise words and 3) It is difficult to understand the syntactical structure of the text. Short Messaging Service (SMS) is a text messaging service for mobile/smart phone and this service is frequently used by all mobile users. Because of the popularity of SMS service, marketing companies nowadays are also using this service for direct marketing also known as SMS marketing.In this paper, we have proposed Ontology based SMS Controller which analyze the text message and classify it using ontology aslegitimate or spam. The proposed system has been tested on different scenarios and experimental results shows that the proposed solution is effective both in terms of efficiency and time.


title: A Proof of the Strong Converse Theorem for Gaussian Broadcast Channels via the Gaussian Poincar\'e Inequality

abstract: We prove that the Gaussian broadcast channel with two destinations admits the strong converse property. This implies that for every sequence of block codes operated at a common rate pair with an asymptotic average error probability $<1$, the rate pair must lie within the capacity region derived by Cover and Bergmans. The main mathematical tool required for our analysis is a logarithmic Sobolev inequality known as the Gaussian Poincar\'e inequality.


title: Extinction dynamics of a discrete population in an oasis

abstract: Understanding the conditions ensuring the persistence of a population is an issue of primary importance in population biology. The first theoretical approach to the problem dates back to the 50's with the KiSS (after Kierstead, Slobodkin and Skellam) model, namely a continuous reaction-diffusion equation for a population growing on a patch of finite size $L$ surrounded by a deadly environment with infinite mortality -- i.e. an oasis in a desert. The main outcome of the model is that only patches above a critical size allow for population persistence. Here, we introduce an individual-based analogue of the KiSS model to investigate the effects of discreteness and demographic stochasticity. In particular, we study the average time to extinction both above and below the critical patch size of the continuous model and investigate the quasi-stationary distribution of the number of individuals for patch sizes above the critical threshold.


title: Heavy quark potential from QCD-related effective coupling

abstract: We implement our past investigations in the quark-antiquark interaction through a non-perturbative running coupling defined in terms of a gluon mass function, similar to that used in some Schwinger-Dyson approaches. This coupling leads to a quark-antiquark potential, which satisfies not only asymptotic freedom but also describes linear confinement correctly. From this potential, we calculate the bottomonium and charmonium spectra below the first open flavor meson-meson thresholds and show that for a small range of values of the free parameter determining the gluon mass function an excellent agreement with data is attained.