title: Randomization Improving Online Time-Sensitive Revenue Maximization for Green Data Centers

abstract: Green data centers have become more and more popular recently due to their sustainability. The resource management module within a green data center, which is in charge of dispatching jobs and scheduling energy, becomes especially critical as it directly affects a center's profit and sustainability. The thrust of managing a green data center's machine and energy resources lies at the uncertainty of incoming job requests and future showing-up green energy supplies. Thus, the decision of scheduling resources has to be made in an online manner. Some heuristic deterministic online algorithms have been proposed in recent literature. In this paper, we consider online algorithms for green data centers and introduce a randomized solution with the objective of maximizing net profit. Competitive analysis is employed to measure online algorithms' theoretical performance. Our algorithm is theoretical-sound and it outperforms the previously known deterministic algorithms in many settings using real traces. To complement our study, optimal offline algorithms are also designed.


title: Good Colour Maps: How to Design Them

abstract: Many colour maps provided by vendors have highly uneven perceptual contrast over their range. It is not uncommon for colour maps to have perceptual flat spots that can hide a feature as large as one tenth of the total data range. Colour maps may also have perceptual discontinuities that induce the appearance of false features. Previous work in the design of perceptually uniform colour maps has mostly failed to recognise that CIELAB space is only designed to be perceptually uniform at very low spatial frequencies. The most important factor in designing a colour map is to ensure that the magnitude of the incremental change in perceptual lightness of the colours is uniform. The specific requirements for linear, diverging, rainbow and cyclic colour maps are developed in detail. To support this work two test images for evaluating colour maps are presented. The use of colour maps in combination with relief shading is considered and the conditions under which colour can enhance or disrupt relief shading are identified. Finally, a set of new basis colours for the construction of ternary images are presented. Unlike the RGB primaries these basis colours produce images whereby the salience of structures are consistent irrespective of the assignment of basis colours to data channels.


title: Generalized Cauchy-Schwarz inequality and Uncertainty Relation

abstract: A generalized Cauchy-Schwarz inequality is derived and applied to uncertainty relation in quantum mechanics. We see a modification in the uncertainty relation and minimum uncertainty wave packet.


title: Biased doped silicene as a source for advanced electronics

abstract: Restructuring of electronic spectrum in a buckled silicene monolayer under some applied voltage between its two sublattices and in presence of certain impurity atoms is considered. A special attention is given to formation of localized impurity levels within the band gap and the to their collectivization at finite impurity concentration. It is shown that a qualitative restructuring of quasiparticle spectrum within the initial band gap and then specific metal-insulator phase transitions are possible for such disordered system and can be effectively controlled by variation of the electric field bias at given impurity perturbation potential and concentration. Since these effects are expected at low impurity concentrations but at not too low temperatures, they can be promising for practical applications in nanoelectronics devices.


title: Production Function of the Mining Sector of Iran

abstract: The purpose of this study is to estimate the production function and examine the structure of production in the mining sector of Iran. Several studies have already been conducted in estimating production functions of various economic sectors; however, less attention has been paid to mining sectors. After examining the stationarity of variables using augmented Dickey-Fuller and Phillips-Perron tests, this study estimated the production function of the mining sector of Iran under different scenarios using the co-integration method and time-series data for 1976-2006. The unconstrained Cobb-Douglas production function in Tinbergen form provided better results in terms of theoretical foundations of economics, statistics, and econometrics. These results show that the structure of the mining sector of Iran is both capital-intensive and labour-intensive. Based on the findings of this study, the elasticity of production with respect to capital and labour have been 0.44 and 0.41, respectively. In addition, the coefficient of time variable, as an indicator of technological progress in the production process, is statistically significant representing a positive effect of technological changes on the output of Iran's mining sector.


title: Blow-up criteria for Boussinesq system and MHD system and Landau-Lifshitz equations in a bounded domain

abstract: In this paper, we prove some blow-up criteria for the 3D Boussinesq system with zero heat conductivity and MHD system and Landau-Lifshitz equations in a bounded domain.


title: A Higher-Order Abstract Syntax Approach to Verified Transformations on Functional Programs

abstract: We describe an approach to the verified implementation of transformations on functional programs that exploits the higher-order representation of syntax. In this approach, transformations are specified using the logic of hereditary Harrop formulas. On the one hand, these specifications serve directly as implementations, being programs in the language Lambda Prolog. On the other hand, they can be used as input to the Abella system which allows us to prove properties about them and thereby about the implementations. We argue that this approach is especially effective in realizing transformations that analyze binding structure. We do this by describing concise encodings in Lambda Prolog for transformations like typed closure conversion and code hoisting that are sensitive to such structure and by showing how to prove their correctness using Abella.


title: Synergy, Redundancy and Common Information

abstract: We consider the problem of decomposing the total mutual information conveyed by a pair of predictor random variables about a target random variable into redundant, unique and synergistic contributions. We focus on the relationship between "redundant information" and the more familiar information-theoretic notions of "common information". Our main contribution is an impossibility result. We show that for independent predictor random variables, any common information based measure of redundancy cannot induce a nonnegative decomposition of the total mutual information. Interestingly, this entails that any reasonable measure of redundant information cannot be derived by optimization over a single random variable.


title: Spin squeezing an ultracold molecule

abstract: In this article we present a concrete proposal for spin squeezing the ultracold ground state polar paramagnetic molecule OH, a system currently under fine control in the laboratory. In contrast to existing work, we consider a single, non-interacting molecule with angular momentum greater than $1/2$. Starting from an experimentally relevant effective Hamiltonian, we identify a parameter regime where different combinations of static electric and magnetic fields can be used to realize the single-axis twisting Hamiltonian of Kitagawa and Ueda [M. Kitagawa and M. Ueda, Phys. Rev. A 47, 5138 (1993)], the uniform field Hamiltonian proposed by Law et al. [C. K. Law, H. T Ng and P. T. Leung, Phys. Rev. A 63, 055601 (2001)], and a model of field propagation in a Kerr medium considered by Agarwal and Puri [G. S. Agarwal and R. R. Puri, Phys. Rev. A 39, 2969 (1989)]. To support our conclusions, we provide analytical expressions as well as numerical calculations, including optimization of field strengths and accounting for the effects of field misalignment. Our results have consequences for applications such as precision spectroscopy, techniques such as magnetometry, and stereochemical effects such as the orientation-to-alignment transition.


title: Bottom Baryon Decays to Pseudoscalar Meson and Pentaquark

abstract: Based on SU(3) flavor symmetry, we decompose the decay amplitudes of bottom baryon decays to a pseudoscalar meson and an octet (a decuplet) pentaquark in terms of three (two) invariant amplitudes $T_1$ and $T_{2,3}$ ($\tilde T_1$ and $\tilde T_2$) corresponding to external $W$-emission and internal $W$-emission diagrams, respectively. For antitriplet bottom baryons $\Lambda_b^0,\Xi_b^0$ and $\Xi_b^-$, their decays to a decuplet pentaquark proceed only through the internal $W$-emission diagram. Assuming the dominance from the external $W$-emission amplitudes, we present an estimate of the decay rates relative to $\Lambda_b^0\to P_p^+K^-$, where $P_p^+$ is the hidden-charm pentaquark with the same light quark content as the proton. Hence, our numerical results will provide a very useful guideline to the experimental search for pentaquarks in bottom baryon decays. For example, $\Xi_b^0\to P_{\Sigma^+}K^-$, $\Xi_b^-\to P_{\Sigma^-}\bar K^0$, $\Omega_b^-\to P_{\Xi^-}\bar K^0$ and $\Omega_b^-\to P_{\Xi^0}K^-$ may have rates comparable to that of $\Lambda_b^0\to P_p^+K^-$ and these modes should be given the higher priority in the experimental searches for pentaquarks.


title: Effect of symmetry mismatch on the domain structure of rhombohedral BiFeO3 thin films

abstract: Considerable work has focused on the use of epitaxial strain to engineer domain structures in ferroic materials. Here, we revisit the observed reduction of domain variants in rhombohedral BiFeO3 films on rare-earth scandate substrates. Prior work has attributed the reduction of domain variants to anisotropic in-plane strain, but our findings suggest that the monoclinic distortion of the substrate, resulting from oxygen octahedral rotation, is the driving force for variant selection. We study epitaxial BiFeO3 DyScO3 (110)o heterostructures with and without ultrathin, cubic SrTiO3 buffer layers as a means to isolate the effect of symmetry mismatch on the domain formation. Two variant stripe domains are observed in films grown directly on DyScO3, while four-variant domains are observed in films grown on SrTiO3 buffered DyScO3 when the buffer layer is >2 nm thick. This work provides insights into the role of the substrate beyond just lattice mismatch in manipulating and controlling domain structure evolution in materials.


title: Modeling the multiwavelength emission from G73.9+0.9: Gamma-rays from a SNR-MC interaction

abstract: G73.9+0.9 has been classified as a probable shell-type supernova remnant (SNR), although it has also been suggested that this object could be a pulsar wind nebula (PWN). Here, a broadband model of the non-thermal emission of G73.9+0.9 from radio to gamma-rays is presented. The model includes a new gamma-ray observation obtained with analysis of 7 years of data from the Fermi-LAT telescope. Above 200 MeV the source is detected with a significance of 13-sigma and the spectrum of the radiation is best described by a power law with an index of -2.5. The leptonic mechanisms are hard to reconcile with the measured radio and gamma-ray SED. A PWN origin for the high-energy emission is also not very likely, due to the lack of detection of pulsars and of X-ray emission in the region, as well as from the shape of the gamma-ray spectrum. Given the possibility that the object is interacting with molecular clouds, a hadronic origin of the high-energy emission is more likely, and the spectral properties of the cosmic rays responsible for this radiation are derived.


title: Subwavelength total acoustic absorption with degenerate resonators

abstract: We report the experimental realization of perfect sound absorption by sub-wavelength monopole and dipole resonators that exhibit degenerate resonant frequencies. This is achieved through the destructive interference of two resonators' transmission responses, while the matching of their averaged impedances to that of air implies no backscattering, thereby leading to total absorption. Two examples, both using decorated membrane resonators (DMRs) as the basic units, are presented. The first is a flat panel comprising a DMR and a pair of coupled DMRs, while the second one is a ventilated short tube containing a DMR in conjunction with a sidewall DMR backed by a cavity. In both examples, near perfect absorption, up to 99.7%, has been observed with the airborne wavelength up to 1.2 m, which is at least an order of magnitude larger than the composite absorber. Excellent agreement between theory and experiment is obtained.


title: Inkdots as advice for finite automata

abstract: We examine inkdots placed on the input string as a way of providing advice to finite automata, and establish the relations between this model and the previously studied models of advised finite automata. The existence of an infinite hierarchy of classes of languages that can be recognized with the help of increasing numbers of inkdots as advice is shown. The effects of different forms of advice on the succinctness of the advised machines are examined. We also study randomly placed inkdots as advice to probabilistic finite automata, and demonstrate the superiority of this model over its deterministic version. Even very slowly growing amounts of space can become a resource of meaningful use if the underlying advised model is extended with access to secondary memory, while it is famously known that such small amounts of space are not useful for unadvised one-way Turing machines.


title: Weighted TV minimization and applications to vortex density models

abstract: Motivated in part by models arising from mathematical descriptions of Bose-Einstein condensation, we consider total variation minimization problems in which the total variation is weighted by a function that may degenerate near the domain boundary, and the fidelity term contains a weight that may be both degenerate and singular. We develop a general theory for a class of such problems, with special attention to the examples arising from physical models.


title: Autoclassification of the Variable 3XMM Sources Using the Random Forest Machine Learning Algorithm

abstract: In the current era of large surveys and massive data sets, autoclassification of astrophysical sources using intelligent algorithms is becoming increasingly important. In this paper we present the catalog of variable sources in the Third XMM-Newton Serendipitous Source catalog (3XMM) autoclassified using the Random Forest machine learning algorithm. We used a sample of manually classified variable sources from the second data release of the XMM-Newton catalogs (2XMMi-DR2) to train the classifier, obtaining an accuracy of ~92%. We also evaluated the effectiveness of identifying spurious detections using a sample of spurious sources, achieving an accuracy of ~95%. Manual investigation of a random sample of classified sources confirmed these accuracy levels and showed that the Random Forest machine learning algorithm is highly effective at automatically classifying 3XMM sources. Here we present the catalog of classified 3XMM variable sources. We also present three previously unidentified unusual sources that were flagged as outlier sources by the algorithm: a new candidate supergiant fast X-ray transient, a 400 s X-ray pulsar, and an eclipsing 5 hr binary system coincident with a known Cepheid.


title: In-medium heavy-quarkonium from lattice QCD spectral functions

abstract: We discuss recent progress in the study of in-medium heavy quarkonium using first-principles lattice QCD calculations and effective field theory. In particular our focus lies on real-time information carried by QCD spectral functions and we report on a novel strategy for their extraction from Euclidean-time simulations. Combining an effective description for heavy quarks with finite temperature lattice QCD we compute in-medium spectra providing insight in heavy quarkonium melting in a static thermal medium. On the other hand we use spectral information to extract the complex in-medium potential which provides the basis for a dynamical description of quarkonium real-time evolution via the Schr\"odinger equation.


title: Fermion Masses and Leptogenesis from The Left-Right Symmetric Model

abstract: The paper suggests a left-right mirror symmetric model with the flavor symmetries $Z_{3L}\otimes Z_{3R}$. It can simultaneously accommodate the standard model, neutrino physics and the baryon asymmetry. The fermion masses and $CP$ violation originate from vacuum spontaneous breaking of the flavor field. The baryon asymmetry is implemented through the leptogenesis which is related to the lepton $CP$ violation. The model can naturally and correctly reproduce all kinds of experimental data, in particular, all of the values of the fermion masses and mixings are accurately fitted by the fewer parameters. Finally, it is also feasible and promising to test the model in future experiments.


title: Pressure-induced reversible phase transition and amorphization of CH$_3$NH$_3$PbI$_3$

abstract: Recent advances of highly efficient solar cells based on organic-inorganic halide perovskites have triggered intense research efforts to establish the fundamental properties of these materials. In this work, we utilized diamond anvil cell to investigate the pressure-induced structural and electronic transformations in methylammonium lead iodide (CH$_3$NH$_3$PbI$_3$) up to 7 GPa at room temperature. The synchrotron X-ray diffraction experiment show that the sample transformed from tetragonal to orthorhombic phase at 0.3 GPa and amorphized above 4 GPa. Further high pressure IR spectroscopy experiments illustrated the high pressure behavior of organic (CH$_3$NH$_3$)$^+$ cations. We also analyzed the pressure dependence of the band gap energy based on the optical absorption and photoluminescence (PL) results. Moreover, all the observed changes were fully reversible when the pressure was completely released. Our in situ high pressure studies provide essential information for the intrinsic properties and stability of organic-inorganic halide perovskites, which significantly affect the performance of perovskite solar cells.


title: Two different modes of oscillation in a gene transcription regulatory network with interlinked positive and negative feedback loops

abstract: We study the oscillatory behaviour of a gene regulatory network with interlinked positive and negative feedback loop. Frequency and amplitude are two important properties of oscillation. Studied network produces two different modes of oscillation. In one mode (mode 1) frequency remains constant over a wide range amplitude and in other mode (mode 2) the amplitude of oscillation remains constant over a wide range of frequency. Our study reproduces both features of oscillations in a single gene regulatory network and show that the negative plus positive feedback loops in gene regulatory network offer additional advantage. We identified the key parameters/variables responsible for different modes of oscillation. The network is flexible in switching between different modes by choosing appropriately the required parameters/variables.


title: AC magnetic susceptibility study of a sigma-phase Fe65.9V34.1 alloy

abstract: A sigma-phase Fe65.9V34.1 alloy was investigated with the AC magnetic susceptibility as a function of temperature, frequency and external magnetic field. An evidence was found that its magnetism shows features characteristic of a reentrant behavior viz. two transitions: first at TC ca.312K from the paramagnetic state into the collinear ferromagnetic one, and second at Tf ca.302K to a mixed state (sometimes termed as a ferromagnetic re-entrant spin glass) which, finally, at a lower temperature (TRSG ca.60K) transforms to a state where replica symmetry is broken. The frequency dependence of Tf is lower than that of canonical spin glasses, a feature, that in the light of a high concentration of magnetic carriers, can be understood in terms of a weak coupling between magnetic clusters.


title: A note on a mimetic scalar-tensor cosmological model

abstract: A specific Horndeski scalar-gravity mimetic model is investigated within a FLWR space-time. The mimetic scalar field is implemented via a Lagrangian multiplier, and it is shown that the model has equations of motion formally similar to the original simpler mimetic matter model of Chamseddine-Mukhanov-Vikman. Several exact solutions describing inflation, bounces, future time singularities are presented and discussed.


title: DReAM: Dynamic Re-arrangement of Address Mapping to Improve the Performance of DRAMs

abstract: The initial location of data in DRAMs is determined and controlled by the 'address-mapping' and even modern memory controllers use a fixed and run-time-agnostic address mapping. On the other hand, the memory access pattern seen at the memory interface level will dynamically change at run-time. This dynamic nature of memory access pattern and the fixed behavior of address mapping process in DRAM controllers, implied by using a fixed address mapping scheme, means that DRAM performance cannot be exploited efficiently. DReAM is a novel hardware technique that can detect a workload-specific address mapping at run-time based on the application access pattern which improves the performance of DRAMs. The experimental results show that DReAM outperforms the best evaluated address mapping on average by 9%, for mapping-sensitive workloads, by 2% for mapping-insensitive workloads, and up to 28% across all the workloads. DReAM can be seen as an insurance policy capable of detecting which scenarios are not well served by the predefined address mapping.


title: Computing isolated orbifolds in weighted flag varieties

abstract: Given a weighted flag variety $w\Sigma(\mu,u)$ corresponding to chosen fixed parameters $\mu$ and $u$, we present an algorithm to compute lists of all possible projectively Gorenstein $n$-folds, having canonical weight $k$ and isolated orbifold points, appearing as weighted complete intersections in $w\Sigma(\mu,u) $ or some projective cone(s) over $w\Sigma(\mu,u)$. We apply our algorithm to compute lists of interesting classes of polarized 3-folds with isolated orbifold points in the codimension 8 weighted $G_2$ variety. We also show the existence of some families of log-terminal $\mathbb Q$-Fano 3-folds in codimension 8 by explicitly constructing them as quasilinear sections of a weighted $G_2$-variety.


title: An LS-Decomposition Approach for Robust Data Recovery in Wireless Sensor Networks

abstract: Wireless sensor networks are widely adopted in military, civilian and commercial applications, which fuels an exponential explosion of sensory data. However, a major challenge to deploy effective sensing systems is the presence of {\em massive missing entries, measurement noise, and anomaly readings}. Existing works assume that sensory data matrices have low-rank structures. This does not hold in reality due to anomaly readings, causing serious performance degradation. In this paper, we introduce an {\em LS-Decomposition} approach for robust sensory data recovery, which decomposes a corrupted data matrix as the superposition of a low-rank matrix and a sparse anomaly matrix. First, we prove that LS-Decomposition solves a convex program with bounded approximation error. Second, using data sets from the IntelLab, GreenOrbs, and NBDC-CTD projects, we find that sensory data matrices contain anomaly readings. Third, we propose an accelerated proximal gradient algorithm and prove that it approximates the optimal solution with convergence rate $O(1/k^2)$ ($k$ is the number of iterations). Evaluations on real data sets show that our scheme achieves recovery error $\leq 5\%$ for sampling rate $\geq 50\%$ and almost exact recovery for sampling rate $\geq 60\%$, while state-of-the-art methods have error $10\% \sim 15\%$ at sampling rate $90\%$.


title: Search for double-beta decay of 136Xe to excited states of 136Ba with the KamLAND-Zen experiment

abstract: A search for double-beta decays of 136Xe to excited states of 136Ba has been performed with the first phase data set of the KamLAND-Zen experiment. The 0+1, 2+1 and 2+2 transitions of 0{\nu}\{beta}\{beta} decay were evaluated in an exposure of 89.5kg-yr of 136Xe, while the same transitions of 2{\nu}\{beta}\{beta} decay were evaluated in an exposure of 61.8kg-yr. No excess over background was found for all decay modes. The lower half-life limits of the 2+1 state transitions of 0{\nu}\{beta}\{beta} and 2{\nu}\{beta}\{beta} decay were improved to T(0{\nu}, 0+ \rightarrow 2+) > 2.6\times10^25 yr and T(2{\nu}, 0+ \rightarrow 2+) > 4.6\times10^23 yr (90% C.L.), respectively. We report on the first experimental lower half-life limits for the transitions to the 0+1 state of 136Xe for 0{\nu}\{beta}\{beta} and 2{\nu}\{beta}\{beta} decay. They are T (0{\nu}, 0+ \rightarrow 0+) > 2.4\times10^25 yr and T(2{\nu}, 0+ \rightarrow 0+) > 8.3\times10^23 yr (90% C.L.). The transitions to the 2+2 states are also evaluated for the first time to be T(0{\nu}, 0+ \rightarrow 2+) > 2.6\times10^25 yr and T(2{\nu}, 0+ \rightarrow 2+) > 9.0\times10^23 yr (90% C.L.). These results are compared to recent theoretical predictions.


title: Thermodynamics of nonsingular bouncing universes

abstract: Homogeneous and isotropic, nonsingular, bouncing world models are designed to evade the initial singularity at the beginning of the cosmic expansion. Here, we study the thermodynamics of the subset of these models governed by general relativity. Considering the entropy of matter, radiation and that the entropy of the apparent horizon is proportional to its area, we argue that these models do not respect the generalised second law of thermodynamics, also away from the bounce.


title: Phase diagrams of the multitrace quartic matrix models of noncommutative \Phi^4

abstract: We report a direct and robust calculation, free from ergodic problems, of the non-uniform-to-uniform (stripe) transition line of noncommutative $\Phi^4_2$ by means of an exact Metropolis algorithm applied to the first non-trivial multitrace correction of this theory on the fuzzy sphere. In fact, we reconstruct the entire phase diagram including the Ising, matrix and stripe boundaries together with the triple point. We also report that the measured critical exponents of the Ising transition line agrees with the Onsager values in two dimensions. The triple point is identified as a termination point of the one-cut-to-two-cut transition line and is located at $(\tilde{b},\tilde{c})=(-1.55,0.4)$ which compares favorably with previous Monte Carlo estimate.


title: Complicated high-order harmonic generation due to the falling edge of a trapezoidal laser pulse

abstract: High-order harmonic generation (HHG) is investigated for H$_2^+$ and its isotopomers under seven- and ten-cycle trapezoidal laser pulses at 800 nm wavelength and $I$=4$\times 10^{14}$ W$/$cm$^2$ intensity. We solved numerically full-dimensional electronic time-dependent Schr\"{o}dinger equation with and without the Born-Oppenheimer approximation. We show that the HHG at the falling edge of a trapezoidal laser pulse can result in redshift and complexity on the total HHG spectrum which can be removed by considering different laser pulse duration and nuclear motion not possible for sin$^2$ and Gaussian laser pulses. We resolve the redshifts and complexities of the HHG spectra into different electronic and vibrational states and their interferences.


title: Subgroups of Symmetric Groups Determined Using Signed Brauer Diagrams

abstract: A class of subgroups is obtained for symmetric groups using signed Brauer diagrams.


title: An optimal control problem for mean-field forward-backward stochastic differential equation with noisy observation

abstract: This article is concerned with an optimal control problem derived by mean-field forward-backward stochastic differential equation with noisy observation, where the drift coefficients of the state equation and the observation equation are linear with respect to the state and its expectation. The control problem is different from the existing literature on optimal control for mean-field stochastic systems, and has more applications in mathematical finance, e.g., asset-liability management problem with recursive utility, systematic risk model. Using a backward separation method with a decomposition technique, two optimality conditions along with two coupled forward-backward optimal filters are derived. Several linear-quadratic optimal control problems for mean-field forward-backward stochastic differential equations are studied. Closed-form optimal solutions are explicitly obtained in detailed situations.


title: Estimating whole brain dynamics using spectral clustering

abstract: The estimation of time-varying networks for functional Magnetic Resonance Imaging (fMRI) data sets is of increasing importance and interest. In this work, we formulate the problem in a high-dimensional time series framework and introduce a data-driven method, namely Network Change Points Detection (NCPD), which detects change points in the network structure of a multivariate time series, with each component of the time series represented by a node in the network. NCPD is applied to various simulated data and a resting-state fMRI data set. This new methodology also allows us to identify common functional states within and across subjects. Finally, NCPD promises to offer a deep insight into the large-scale characterisations and dynamics of the brain


title: On the classification of self-dual [20,10,9] codes over GF(7)

abstract: It is shown that the extended quadratic residue code of length 20 over GF(7) is a unique self-dual [20,10,9] code C such that the lattice obtained from C by Construction A is isomorphic to the 20-dimensional unimodular lattice D_{20}^+, up to equivalence. This is done by converting the classification of such self-dual codes to that of skew-Hadamard matrices of order 20.


title: The Pierre Auger Observatory: Contributions to the 34th International Cosmic Ray Conference (ICRC 2015)

abstract: Contributions of the Pierre Auger Collaboration to the 34th International Cosmic Ray Conference, 30 July - 6 August 2015, The Hague, The Netherlands


title: SN 2011fu: A type IIb Supernova with a luminous double-peaked light curve

abstract: We present optical and near infrared observations of the type IIb supernova (SN) 2011fu from a few days to $\sim300$ d after explosion. The SN presents a double-peaked light curve (LC) similar to that of SN 1993J, although more luminous and with a longer cooling phase after the primary peak. The spectral evolution is also similar to SN 1993J's, with hydrogen dominating the spectra to $\sim40$ d, then helium gaining strength, and nebular emission lines appearing from $\sim60$ d post-explosion. The velocities derived from the P-Cygni absorptions are overall similar to those of other type IIb SNe. We have found a strong similarity between the oxygen and magnesium line profiles at late times, which suggests that these lines are forming at the same location within the ejecta. The hydrodynamical modelling of the pseudo-bolometric LC and the observed photospheric velocities suggest that SN 2011fu was the explosion of an extended star ($\rm R\sim450$ R$_\odot$), in which 1.3 $\times 10^{51}$ erg of kinetic energy were released and 0.15 M$_{\rm \odot}$ of $^{56}$Ni were synthesised. In addition, a better reproduction of the observed early pseudo-bolometric LC is achieved if a more massive H-rich-envelope than for other type IIb SNe is considered (0.3 M$_{\rm \odot}$). The hydrodynamical modelling of the LC and the comparison of our late-time spectra with nebular spectral models for type IIb SNe, point to a progenitor for SN 2011fu with a ZAMS mass of 13-18 M$_{\rm \odot}$.


title: Ecological-economic modelling of interactions between wild and commercial bees and pesticide use

abstract: The decline in extent of wild pollinators in recent years has been partly associated with changing farm practices and in particular with increasing pesticide use. In this paper we combine ecological modelling with economic analysis of a single farm output under the as- sumption that both pollination and pest control are essential inputs. We show that the drive to increase farm output can lead to a local decline in the wild bee population. Commercial bees are often considered an alternative to wild pollinators, but we show that their intro- duction can lead to further decline and finally local extinction of wild bees. The transitions between different outcomes are characterised by threshold behaviour and are potentially difficult to predict and detect in advance. Small changes in economic parameters (input prices) and ecological parameters (wild bees carrying capacity and effect of pesticides on bees) can move the economic-ecological system beyond the extinction threshold. We also show that increasing the pesticide price or decreasing the commercial bee price might lead to re-establishment of wild bees following their local extinction. Thus, we demonstrate the importance of combining ecological modelling with economics to study the provision of ecosystem services and to inform sustainable management of ecosystem service providers.


title: The Gamma-Ray Emitting Radio-Loud Narrow-Line Seyfert 1 Galaxy PKS 2004-447 I. The X-Ray View

abstract: As part of the TANAMI multiwavelength progam, we discuss new X-ray observations of the $\gamma$-ray and radio-loud Narrow Line Seyfert galaxy ($\gamma$-NLS1) PKS 2004-447. The active galaxy is a member of a small sample of radio-loud NLS1s detected in $\gamma$-rays by the Fermi Large Area Telescope. It is the radio-loudest and only southern-hemisphere source in this sample. We present results from our X-ray monitoring program comprised of Swift snapshot observations from 2012 through 2014 and two new X-ray observations with XMM-Newton in 2012. We analyze the X-ray spectrum and variability of this peculiar source using supplementary archival data from 2004 and 2011. The (0.5-10) keV spectrum is well described by a flat power law, which can be interpreted as non-thermal emission from a relativistic jet. The source exhibits moderate flux variability on timescales of both months and years. Correlated brightness variations in the (0.5-2) keV and (2-10) keV bands are explained by a single variable spectral component, such as the jet. A possible soft excess seen in the data from 2004 cannot be confirmed by the new \xmm{} observations in 2012. Any contribution to the total flux in 2004 is less than $20\%$ of the power-law component. The (0.5-10) keV luminosities of PKS 2004-447 are in the range of (0.5--2.7)$\times10^{44}\,\mathrm{erg\,s}^{-1}$. A comparison of the X-ray properties among the known $\gamma$-NLS1 galaxies shows that X-ray spectrum is typically dominated by a flat power law without intrinsic absorption. These objects are moderately variable in their brightness, while spectral variability is observed in at least two sources. The major difference across the X-ray spectra of $\gamma$-NLS1s is the luminosity, which spans a range of almost two orders of magnitude, from $10^{44}\,\mathrm{erg\,s}^{-1}$ to $10^{46}\,\mathrm{erg\,s}^{-1}$ in the (0.5-10) keV band.


title: Significant Gas-to-Dust Ratio Asymmetry and Variation in the Disk of HD 142527 and the Indication of Gas Depletion

abstract: We investigate the dust and gas distribution in the disk around HD 142527 based on ALMA observations of dust continuum, 13CO(3-2), and C18O(3-2) emission. The disk shows strong azimuthal asymmetry in the dust continuum emission, while gas emission is more symmetric. In this paper, we investigate how gas and dust are distributed in the dust-bright northern part of the disk and in the dust-faint southern part. We construct two axisymmetric disk models. One reproduces the radial profiles of the continuum and the velocity moments 0 and 1 of CO lines in the north and the other reproduces those in the south. We have found that the dust is concentrated in a narrow ring having ~50AU width (in FWHM; w_d=30AU in our parameter definition) located at ~170-200AU from the central star. The dust particles are strongly concentrated in the north. We have found that the dust surface density contrast between the north and south amounts to ~70. Compared to the dust, the gas distribution is more extended in the radial direction. We find that the gas component extends at least from ~100AU to ~250AU from the central star, and there should also be tenuous gas remaining inside and outside of these radii. The azimuthal asymmetry of gas distribution is much smaller than dust. The gas surface density differs only by a factor of ~3-10 between the north and south. Hence, gas-to-dust ratio strongly depends on the location of the disk: ~30 at the location of the peak of dust distribution in the south and ~3 at the location of the peak of dust distribution in the north. Despite large uncertainties, the overall gas-to-dust ratio is inferred to be ~10-30, indicating that the gas depletion may have already been under way.


title: Coarse-to-fine Multiple Testing Strategies

abstract: We analyze control of the familywise error rate (FWER) in a multiple testing scenario with a great many null hypotheses about the distribution of a high-dimensional random variable among which only a very small fraction are false, or "active". In order to improve power relative to conservative Bonferroni bounds, we explore a coarse-to-fine procedure adapted to a situation in which tests are partitioned into subsets, or "cells", and active hypotheses tend to cluster within cells. We develop procedures for a standard linear model with Gaussian data and a non-parametric case based on generalized permutation testing, and demonstrate considerably higher power than Bonferroni estimates at the same FWER when the active hypotheses do cluster. The main technical difficulty arises from the correlation between the test statistics at the individual and cell levels, which increases the likelihood of a hypothesis being falsely discovered when the cell that contains it is falsely discovered (survivorship bias). This requires sharp estimates of certain quadrant probabilities when a cell is inactive.


title: Gauged Nambu-Jona-Lasinio inflation

abstract: We investigate the gauged Nambu-Jona-Lasinio model in curved spacetime at the large $N_c$ limit and in slow-roll approximation. The model can be described by the renormalization group corrected gauge-Higgs-Yukawa theory with the corresponding compositeness conditions. Evaluating the renormalization group (RG) improved effective action, we show that such model can produce CMB fluctuations and find inflationary parameters: spectral index, tensor-to-scalar-ratio and running of the spectral index. We demonstrate that the model can naturally satisfy the Planck 2015 data and maybe considered as an alternative candidate for Higgs inflation.


title: Improving distant supervision using inference learning

abstract: Distant supervision is a widely applied approach to automatic training of relation extraction systems and has the advantage that it can generate large amounts of labelled data with minimal effort. However, this data may contain errors and consequently systems trained using distant supervision tend not to perform as well as those based on manually labelled data. This work proposes a novel method for detecting potential false negative training examples using a knowledge inference method. Results show that our approach improves the performance of relation extraction systems trained using distantly supervised data.


title: HAPPY: Hybrid Address-based Page Policy in DRAMs

abstract: Memory controllers have used static page closure policies to decide whether a row should be left open, open-page policy, or closed immediately, close-page policy, after the row has been accessed. The appropriate choice for a particular access can reduce the average memory latency. However, since application access patterns change at run time, static page policies cannot guarantee to deliver optimum execution time. Hybrid page policies have been investigated as a means of covering these dynamic scenarios and are now implemented in state-of-the-art processors. Hybrid page policies switch between open-page and close-page policies while the application is running, by monitoring the access pattern of row hits/conflicts and predicting future behavior. Unfortunately, as the size of DRAM memory increases, fine-grain tracking and analysis of memory access patterns does not remain practical. We propose a compact memory address-based encoding technique which can improve or maintain the performance of DRAMs page closure predictors while reducing the hardware overhead in comparison with state-of-the-art techniques. As a case study, we integrate our technique, HAPPY, with a state-of-the-art monitor, the Intel-adaptive open-page policy predictor employed by the Intel Xeon X5650, and a traditional Hybrid page policy. We evaluate them across 70 memory intensive workload mixes consisting of single-thread and multi-thread applications. The experimental results show that using the HAPPY encoding applied to the Intel-adaptive page closure policy can reduce the hardware overhead by 5X for the evaluated 64 GB memory (up to 40X for a 512 GB memory) while maintaining the prediction accuracy.


title: Rayleigh scattering in an optical nanofiber as a probe of higher-order mode propagation

abstract: Optical nanofibers provide a rich platform for exploring atomic and optical phenomena even when they support only a single spatial mode. Nanofibers supporting higher-order modes provide additional degrees of freedom to enable complex evanescent field profiles for interaction with the surrounding medium, but local control of these profiles requires nondestructive evaluation of the propagating fields. Here, we use Rayleigh scattering for rapid measurement of the propagation of light in few-mode optical nanofibers. Imaging the Rayleigh scattered light provides direct visualization of the spatial evolution of propagating fields throughout the entire fiber, including the transition from core-cladding guidance to cladding-air guidance. We resolve the interference between higher-order modes to determine local beat lengths and modal content along the fiber, and show that the modal superposition in the waist can be systematically controlled by adjusting the input superposition. With this diagnostic we can measure variations in the radius of the fiber waist to below 3 nm in situ using purely optical means. This nondestructive technique also provides useful insight into light propagation in optical nanofibers.


title: Error Bounds for Parametric Polynomial Systems with Applications to Higher-Order Stability Analysis and Convergence Rates

abstract: The paper addresses parametric inequality systems described by polynomial functions in finite dimensions, where state-dependent infinite parameter sets are given by finitely many polynomial inequalities and equalities. Such systems can be viewed, in particular, as solution sets to problems of generalized semi-infinite programming with polynomial data. Exploiting the imposed polynomial structure together with powerful tools of variational analysis and semialgebraic geometry, we establish a far-going extension of the \L ojasiewicz gradient inequality to the general nonsmooth class of supremum marginal functions as well as higher-order (H\"older type) local error bounds results with explicitly calculated exponents. The obtained results are applied to higher-order quantitative stability analysis for various classes of optimization problems including generalized semi-infinite programming with polynomial data, optimization of real polynomials under polynomial matrix inequality constraints, and polynomial second-order cone programming. Other applications provide explicit convergence rate estimates for the cyclic projection algorithm to find common points of convex sets described by matrix polynomial inequalities and for the asymptotic convergence of trajectories of subgradient dynamical systems in semialgebraic settings.


title: How many varieties of cylindric algebras

abstract: Cylindric algebras, or concept algebras in another name, form an interface between algebra, geometry and logic; they were invented by Alfred Tarski around 1947. We prove that there are 2 to the alpha many varieties of geometric (i.e., representable) alpha-dimensional cylindric algebras, this means that 2 to the alpha properties of definable relations of (possibly infinitary) models of first-order logic theories can be expressed by formula schemes using alpha variables, where alpha is infinite. This solves Problem 4.2 in the 1985 Henkin-Monk-Tarski monograph. For solving this problem, we had to devise a new kind of construction, which we then use to solve Problem 2.13 of the 1971 Henkin-Monk-Tarski monograph which concerns the structural description of geometric cylindric algebras. There are fewer varieties generated by locally finite dimensional cylindric algebras, and we get a characterization of these among all the 2 to the alpha varieties. As a by-product, we get a simple, natural recursive enumeration of all the equations true of geometric cylindric algebras, and this can serve as a solution to Problem 4.1 of the 1985 Henkin-Monk-Tarski monograph. All this has logical content and implications concerning ordinary first order logic with a countable number of variables.


title: Search for pair production of first and second generation leptoquarks in proton-proton collisions at sqrt(s) = 8 TeV

abstract: A search for pair production of first and second generation leptoquarks is performed in final states containing either two charged leptons and two jets, or one charged lepton, one neutrino and two jets, using proton-proton collision data at sqrt(s) = 8 TeV. The data, corresponding to an integrated luminosity of 19.7 inverse femtobarns were recorded with the CMS detector at the LHC. First-generation scalar leptoquarks with masses less than 1010 (850) GeV are excluded for beta = 1.0 (0.5), where beta is the branching fraction of a leptoquark decaying to a charged lepton and a quark. Similarly, second-generation scalar leptoquarks with masses less than 1080 (760) GeV are excluded for beta = 1.0 (0.5). Mass limits are also set for vector leptoquark production scenarios with anomalous vector couplings, and for R-parity violating supersymmetric scenarios of top squark pair production resulting in similar final-state signatures. These are the most stringent limits placed on the masses of leptoquarks and RPV top squarks to date.


title: Constrained Eigenvalues Density of Invariant Random Matrices Ensembles

abstract: We compute exact asymptotic of the statistical density of random matrices belonging to invariant random matrices ensemble (RMT) orthogonal, unitary and symplectic ensembles, where all its eigenvalues lie within the interval $[\sigma, +\infty[$ or $]-\infty,\tau]$ or $[\sigma,\tau]$. It is found that the density of eigenvalues generically exhibits an inverse square-root singularity at the location of the barriers. These results generalized the case of Gaussian random matrices ensemble studied by Dean-Majumdar.


title: Rapid Water Loss can Extend the Lifetime of the Planetary Habitability

abstract: Two habitable planetary states are proposed: an aqua planet like the Earth and a land planet that has a small amount of water. Land planets keep liquid water under larger solar radiation compared to aqua planets. Water loss may change an aqua planet into a land planet, and the planet can remain habitable for a longer time than had it stayed an aqua planet. We calculate planetary evolution with hydrogen escape for different initial water inventories and different distances from the central star. We find that there are two conditions to evolve an aqua planet into a land planet: the critical amount of water on the surface M_ml consistent with a planet being a land planet, and the critical amount of water vapor in the atmosphere M_cv that defines the onset of the runaway greenhouse state. We find that Earth-size aqua planets with initial oceans < 10 % of the Earth's can evolve into land planets if M_cv = 3 m in precipitable water and M_ml = 5 % of the Earth's ocean mass. Such planets can keep liquid water on their surface for another 2 Gyrs. The initial amount of water and M_cv are shown to be important dividing parameters of the planetary evolution path. Our results indicate that massive hydrogen escape could give a fresh start as another kind of habitable planet rather than the end of its habitability.


title: On kappa-noncollapsed complete noncompact shrinking gradient Ricci solitons which split at infinity

abstract: We discuss some geometric conditions under which a complete noncompact shrinking gradient Ricci soliton will split at infinity.


title: The Farrell-Jones conjecture for hyperbolic and CAT(0)-groups revisited

abstract: We generalize the proof of the Farrell-Jones conjecture for CAT(0)-groups to a larger class of groups in particular also containing all hyperbolic groups. This way we give a unified proof for both classes of groups.


title: Examples of holomorphic functions vanishing to infinite order at the boundary

abstract: We present examples of holomorphic functions that vanish to in- finite order at points at the boundary of their domain of definition. They give rise to examples of Dirichlet minimizing Q-valued functions indicating that "higher"-regularity boundary results are difficult. Furthermore we dis- cuss some implication to branching and vanishing phenomena in the context of minimal surfaces, Q-valued functions and unique continuation.


title: Search for single production of scalar leptoquarks in proton-proton collisions at sqrt(s) = 8 TeV

abstract: A search is presented for the production of both first- and second-generation scalar leptoquarks with a final state of either two electrons and one jet or two muons and one jet. A data sample of proton-proton collisions at center-of-mass energy sqrt(s) = 8 TeV recorded with the CMS detector corresponds to an integrated luminosity of 19.6 inverse femtobarns. Upper limits are set on both the first- and second-generation leptoquark production cross sections as functions of the leptoquark mass and the leptoquark couplings to a lepton and a quark. Results are compared with theoretical predictions to obtain lower limits on the leptoquark mass. At 95% confidence level, single production of first-generation leptoquarks with a coupling and branching fraction of 1.0 is excluded for masses below 1730 GeV, and second-generation leptoquarks with a coupling and branching fraction of 1.0 is excluded for masses below 530 GeV. These are the best overall limits on the production of first-generation leptoquarks to date.


title: Second Hankel determinant for a certain subclass of bi-close to convex functions defined by Kaplan

abstract: In this paper, we consider the class of strongly bi-close-to-convex functions of order $\alpha$ and bi-close-to-convex functions of order $\beta$. We obtain an upper bound estimate for the second Hankel determinant for functions belonging to these classes. The results in this article improve some earlier result obtained for the class of bi-convex functions.


title: A stochastic model of randomly accelerated walkers for human mobility

abstract: The recent availability of large databases allows to study macroscopic properties of many complex systems. However, inferring a model from a fit of empirical data without any knowledge of the dynamics might lead to erroneous interpretations [6]. We illustrate this in the case of human mobility [1-3] and foraging human patterns [4] where empirical long-tailed distributions of jump sizes have been associated to scale-free super-diffusive random walks called L\'evy flights [5]. Here, we introduce a new class of accelerated random walks where the velocity changes due to acceleration kicks at random times, which combined with a peaked distribution of travel times [7], displays a jump length distribution that could easily be misinterpreted as a truncated power law, but that is not governed by large fluctuations. This stochastic model allows us to explain empirical observations about the movements of 780,000 private vehicles in Italy, and more generally, to get a deeper quantitative understanding of human mobility.


title: Output-Polynomial Enumeration on Graphs of Bounded (Local) Linear MIM-Width

abstract: The linear induced matching width (LMIM-width) of a graph is a width parameter defined by using the notion of branch-decompositions of a set function on ternary trees. In this paper we study output-polynomial enumeration algorithms on graphs of bounded LMIM-width and graphs of bounded local LMIM-width. In particular, we show that all 1-minimal and all 1-maximal (\sigma,\rho)-dominating sets, and hence all minimal dominating sets, of graphs of bounded LMIM-width can be enumerated with polynomial (linear) delay using polynomial space. Furthermore, we show that all minimal dominating sets of a unit square graph can be enumerated in incremental polynomial time.


title: Zigzag structure of thin chamber complexes

abstract: Zigzags and generalized zigzags in thin chamber complexes are investigated, in particular, all zigzags in the Coxeter complexes are described. Using this description, we show that the lengths of all generalized zigzags in the simplex $\alpha_{n}$, the cross-polytope $\beta_{n}$, the $24$-cell, the icosahedron and the $600$-cell are equal to the Coxeter numbers of $A_{n}$, $B_{n}=C_{n}$, $F_{4}$ and $H_{i}$, $i=3,4$, respectively. Also, we discuss the following problem: in which cases two faces in a thin chamber complex can be connected by a zigzag?


title: Toward better feature weighting algorithms: a focus on Relief

abstract: Feature weighting algorithms try to solve a problem of great importance nowadays in machine learning: The search of a relevance measure for the features of a given domain. This relevance is primarily used for feature selection as feature weighting can be seen as a generalization of it, but it is also useful to better understand a problem's domain or to guide an inductor in its learning process. Relief family of algorithms are proven to be very effective in this task. Some other feature weighting methods are reviewed in order to give some context and then the different existing extensions to the original algorithm are explained. One of Relief's known issues is the performance degradation of its estimates when redundant features are present. A novel theoretical definition of redundancy level is given in order to guide the work towards an extension of the algorithm that is more robust against redundancy. A new extension is presented that aims for improving the algorithms performance. Some experiments were driven to test this new extension against the existing ones with a set of artificial and real datasets and denoted that in certain cases it improves the weight's estimation accuracy.


title: Transient conjugate free convection from a vertical flat plate in a porous medium subjected to a sudden change in surface heat flux

abstract: The paper presents a theoretical study using the Karman-Pohlhausen method for describing the transient heat exchange between the boundary-layer free convection and a vertical flat plate embedded in a porous medium. The unsteady behavior is developed after the generation of an impulsive heat flux step at the right-hand side of the plate. Two cases are considered according to whether the plate has a finite thickness or no thickness. The time and space evolution of the interface temperature is evidenced.


title: Thermal interaction between free convection and forced convection along a vertical conducting wall

abstract: A theoretical study is presented in this paper to investigate the conjugate heat transfer across a vertical finite wall separating two forced and free convection flows at different temperatures. The heat conduction in the wall is in the transversal direction and countercurrent boundary layers are formed on the both sides of the wall. The governing equations of this problem and their corresponding boundary conditions are all cast into a dimensionless form by using a non-similarity transformation. These resultant equations with multiple singular points are solved numerically using a very efficient singular perturbation method. The effects of the resistance parameters and Prandtl numbers on heat transfer characteristics are investigated.


title: New Eulerian numbers of type D

abstract: We introduce a new array of type $D$ Eulerian numbers, different from that studied by Brenti, Chow and Hyatt. We find in particular the recurrence relation, Worpitzky formula and the generating function. We also find the probability distributions whose moments are Eulerian polynomials of type $A$, $B$ and $D$.


title: Spin signature of nonlocal-correlation binding in metal organic frameworks

abstract: We develop a proper nonempirical spin-density formalism for the van der Waals density functional (vdW-DF) method. We show that this generalization, termed svdW-DF, is firmly rooted in the single-particle nature of exchange and we test it on a range of spin systems. We investigate in detail the role of spin in the nonlocal-correlation driven adsorption of H$_2$ and CO$_2$ in the linear magnets Mn-MOF74, Fe-MOF74, Co-MOF74, and Ni-MOF74. In all cases, we find that spin plays a significant role during the adsorption process despite the general weakness of the molecular-magnetic responses. The case of CO$_2$ adsorption in Ni-MOF74 is particularly interesting, as the inclusion of spin effects results in an increased attraction, opposite to what the diamagnetic nature of CO$_2$ would suggest. We explain this counter-intuitive result, tracking the behavior to a coincidental hybridization of the O $p$ states with the Ni $d$ states in the down-spin channel. More generally, by providing insight on nonlocal correlation in concert with spin effects, our nonempirical svdW-DF method opens the door for a deeper understanding of weak nonlocal magnetic interactions.


title: Minimal disc diagrams of 5/9-simplicial complexes

abstract: We introduce and study a local combinatorial condition, called the 5/9-condition, on a simplicial complex, implying Gromov hyperbolicity of its universal cover. We hereby give an application of another combinatorial condition, called 8-location, introduced by Damian Osajda. Along the way we prove the minimal filling diagram lemma for 5/9-complexes.


title: Haar bases on quasi-metric measure spaces, and dyadic structure theorems for function spaces on product spaces of homogeneous type

abstract: We give an explicit construction of Haar functions associated to a system of dyadic cubes in a geometrically doubling quasi-metric space equipped with a positive Borel measure, and show that these Haar functions form a basis for $L^p$. Next we focus on spaces $X$ of homogeneous type in the sense of Coifman and Weiss, where we use these Haar functions to define a discrete square function, and hence to define dyadic versions of the function spaces $H^1(X)$ and ${\rm BMO}(X)$. In the setting of product spaces $\widetilde{X} = X_1 \times \cdots \times X_n$ of homogeneous type, we show that the space ${\rm BMO}(\widetilde{X})$ of functions of bounded mean oscillation on $\widetilde{X}$ can be written as the intersection of finitely many dyadic ${\rm BMO}$ spaces on $\widetilde{X}$, and similarly for $A_p(\widetilde{X})$, reverse-H\"older weights on $\widetilde{X}$, and doubling weights on $\widetilde{X}$. We also establish that the Hardy space $H^1(\widetilde{X})$ is a sum of finitely many dyadic Hardy spaces on $\widetilde{X}$, and that the strong maximal function on $\widetilde{X}$ is pointwise comparable to the sum of finitely many dyadic strong maximal functions. These dyadic structure theorems generalize, to product spaces of homogeneous type, the earlier Euclidean analogues for ${\rm BMO}$ and $H^1$ due to Mei and to Li, Pipher and Ward.


title: Maximum likelihood degree of Fermat hypersurfaces via Euler characteristics

abstract: Maximum likelihood degree of a projective variety is the number of critical points of a general likelihood function. In this note, we compute the Maximum likelihood degree of Fermat hypersurfaces. We give a formula of the Maximum likelihood degree in terms of the constants $\beta_{\mu, \nu}$, which is defined to be the number of complex solutions to the system of equations $z_1^\nu=z_2^\nu=\cdots=z_\mu^\nu=1$ and $z_1+\cdots +z_\mu+1=0$.


title: Quantum superposition, entanglement, and state teleportation of a microorganism on an electromechanical oscillator

abstract: Schr\"odinger's thought experiment to prepare a cat in a superposition of both alive and dead states reveals profound consequences of quantum mechanics and has attracted enormous interests. Here we propose a straightforward method to create quantum superposition states of a living microorganism by putting a small cryopreserved bacterium on top of an electromechanical oscillator. Our proposal is based on recent developments that the center-of-mass oscillation of a 15-$\mu$m-diameter aluminium membrane has been cooled to its quantum ground state [Nature 475: 359 (2011)], and entangled with a microwave field [Science 342: 710 (2013)]. A microorganism with a mass much smaller than the mass of the electromechanical membrane will not significantly affect the quality factor of the membrane and can be cooled to the quantum ground state together with the membrane. Quantum superposition and teleportation of its center-of-mass motion state can be realized with the help of superconducting microwave circuits. More importantly, the internal states of a microorganism, such as the electron spin of a glycine radical, can be entangled with its center-of-mass motion and teleported to a remote microorganism. Our proposal can be realized with state-of-art technologies. The proposed setup is a quantum-limited magnetic resonance force microscope. Since internal states of an organism contain information, our proposal also provides a scheme for teleporting information or memories between two remote organisms.


title: Generation of maximally entangled states in hybrid two quantum dots mediated by a spherical metal nanoparticle driven by external laser field

abstract: We theoretically study the generation of quantum correlations in a hybrid system composed by two interacting semiconductor quantum dots mediated by a metal nanoparticle and coupled to an external laser field. Interactions present in the hybrid system are treated using a semiclassical approximation except for the direct dipole-dipole interaction. We report the entanglement of formation, which gives information about entanglement quantum correlations, for continuous wave and pulsed driving applied fields. We have found that for proper values of the physical and geometrical parameters of the hybrid system the applied field can be tuned producing quantum correlations of significant value so that they can be useful in quantum information and computation processes.


title: Coexistence and interplay of quantum and classical turbulence in superfluid He-4: Decay, velocity decoupling and counterflow energy spectra

abstract: We report complementary experimental, numerical and theoretical study of turbulent coflow, counterflow and pure superflow of superfluid He-4 in a channel, resulting in a physically transparent and relatively simple model of decaying quantum turbulence that accounts for interactions of coexisting quantum and classical components of turbulent superfluid He-. We further offer an analytical theory of the energy spectra of steady-state quantum turbulence in the counterflow and pure superflow, based on algebraic approximation for the energy fluxes over scales. The resulting spectra are not of the classic Kolmogorov form, but strongly suppressed by the mutual friction, leading to the energy dissipation at all scales, enhanced by the counterflow-induced decoupling of the normal- and superfluid velocity fluctuations.


title: Global diffusion of cosmic rays

abstract: The propagation of charged particles, including cosmic rays, in a partially ordered magnetic field is characterized by a diffusion tensor whose components depend on the particle's Larmor radius $R_L$ and the degree of order in the magnetic field. Most studies of the particle diffusion presuppose a scale separation between the mean and random magnetic fields (e.g., there being a pronounced minimum in the magnetic power spectrum at intermediate scales). Scale separation is often a good approximation in laboratory plasmas, but not in most astrophysical environments such as the interstellar medium (ISM). Modern simulations of the ISM have numerical resolution of order 1 pc, so the Larmor radius of the cosmic rays that dominate in energy density is at least $10^{6}$ times smaller than the resolved scales. Large-scale simulations of cosmic ray propagation in the ISM thus rely on oversimplified forms of the diffusion tensor. We take the first steps towards a more realistic description of cosmic ray diffusion for such simulations, obtaining direct estimates of the diffusion tensor from test particle simulations in random magnetic fields (with the Larmor radius scale being fully resolved), for a range of particle energies corresponding to $10^{-2}\lesssim R_L/l_c \lesssim 10^{3}$, where $l_c$ is the magnetic correlation length. We obtain explicit expressions for the cosmic ray diffusion tensor for $R_L/l_c \ll 1$, that might be used in a sub-grid model of cosmic ray diffusion. The diffusion coefficients obtained are closely connected with existing transport theories that include the random walk of magnetic lines.


title: Algorithms for Envelope Estimation II

abstract: We propose a new algorithm for envelope estimation, along with a new root n consistent method for computing starting values. The new algorithm, which does not require optimization over a Grassmannian, is shown by simulation to be much faster and typically more accurate that the best existing algorithm proposed by Cook and Zhang (2015c).


title: On the Order of $a$ modulo $n$ on Average

abstract: Let $a>1$ be an integer. Denote by $l_a(n)$ the multiplicative order of $a$ modulo integer $n\geq 1$. We prove that there is a positive constant $\delta$ such that if $x^{1-\delta}\log^3 x = o(y)$, then $$ \frac1y \sum_{a<y} \frac1x \sum_{\substack{{a<n<x}\\{(a,n)=1}}}l_a(n) = \frac x{\log x}\exp \left(B\frac{\log\log x}{\log\log\log x}(1+o(1))\right)$$ where $$ B=e^{-\gamma}\prod_p \left(1-\frac 1{(p-1)^2(p+1)}\right).$$ This is an improvement over a statement in Kurlberg and Pomerance (see ~\cite{KP}): $$\frac{1}{x^2} \sum_{a<x} \sum_{a<n<x} l_a(n) = \frac x{\log x} \exp \left(B \frac{\log\log x} {\log\log\log x} (1+o(1)) \right).$$


title: Two Weight Inequalities for Iterated Commutators with Calder\'on-Zygmund Operators

abstract: Given a Calder\'on-Zygmund operator $T$, a classic result of Coifman-Rochberg-Weiss relates the norm of the commutator $[b, T]$ with the BMO norm of $b$. We focus on a weighted version of this result, obtained by Bloom and later generalized by Lacey and the authors, which relates $\| [b, T] : L^p(\mathbb{R}^n; \mu) \to L^p(\mathbb{R}^n; \lambda) \|$ to the norm of $b$ in a certain weighted BMO space determined by $A_p$ weights $\mu$ and $\lambda$. We extend this result to higher iterates of the commutator and recover a one-weight result of Chung-Pereyra-Perez in the process.


title: Practical Bayesian Tomography

abstract: In recent years, Bayesian methods have been proposed as a solution to a wide range of issues in quantum state and process tomography. State-of-the-art Bayesian tomography solutions suffer from three problems: numerical intractability, a lack of informative prior distributions, and an inability to track time-dependent processes. Here, we address all three problems. First, we use modern statistical methods, as pioneered by Husz\'ar and Houlsby and by Ferrie, to make Bayesian tomography numerically tractable. Our approach allows for practical computation of Bayesian point and region estimators for quantum states and channels. Second, we propose the first priors on quantum states and channels that allow for including useful experimental insight. Finally, we develop a method that allows tracking of time-dependent states and estimates the drift and diffusion processes affecting a state. We provide source code and animated visual examples for our methods.


title: Trapping molecules on chips

abstract: In the last years, it was demonstrated that neutral molecules can be loaded on a microchip directly from a supersonic beam. The molecules are confined in microscopic traps that can be moved smoothly over the surface of the chip. Once the molecules are trapped, they can be decelerated to a standstill, for instance, or pumped into selected quantum states by laser light or microwaves. Molecules are detected on the chip by time-resolved spatial imaging, which allows for the study of the distribution in the phase space of the molecular ensemble.


title: Fundamental Groups of a Class of Rational Cuspidal Plane Curves

abstract: We compute the presentations of fundamental groups of the complements of a class of rational cuspidal projective plane curves classified by Flenner, Zaidenberg, Fenske and Saito. We use the Zariski-Van Kampen algorithm and exploit the Cremona transformations used in the construction of these curves. We simplify and study these group presentations so obtained and determine if they are abelian, finite or big, i.e. if they contain free non-abelian subgroups. We also study the quotients of these groups to some extend.


title: Development of the kaon tagging system for the NA62 experiment at CERN

abstract: The NA62 experiment at CERN aims to make a precision measurement of the ultra-rare decay $K^{+} \rightarrow \pi^{+}\nu\overline{\nu}$, and relies on a differential Cherenkov detector (KTAG) to identify charged kaons at an average rate of 50 MHz in a 750 MHz unseparated hadron beam. The experimental sensitivity of NA62 to K-decay branching ratios (BR) of $10^{-11}$ requires a time resolution for the KTAG of better than 100 ps, an efficiency better than 95% and a contamination of the kaon sample that is smaller than $10^{-4}$. A prototype version of the detector was tested in 2012, during the first NA62 technical run, in which the required resolution of 100 ps was achieved and the necessary functionality of the light collection system and electronics was demonstrated.


title: On Implicator Groupoids

abstract: In a paper published in 2012, the second author extended the well-known fact that Boolean algebras can be defined using only implication and a constant, to De Morgan algebras-this result led him to introduce, and investigate (in the same paper), the variety I of algebras, there called implication zroupoids (I-zroupoids) and here called implicator gruopids (I- groupoids), that generalize De Morgan algebras. The present paper is a continuation of the paper mentioned above and is devoted to investigating the structure of the lattice of subvarieties of I, and also to making further contributions to the theory of implicator groupoids. Several new subvarieties of I are introduced and their relationship with each other, and with the subvarieties of I which were already investigated in the paper mentioned above, are explored.


title: Accelerating Scientific Publication in Biology

abstract: Scientific publications enable results and ideas to be transmitted throughout the scientific community. The number and type of journal publications also have become the primary criteria used in evaluating career advancement. Our analysis suggests that publication practices have changed considerably in the life sciences over the past thirty years. More experimental data is now required for publication, and the average time required for graduate students to publish their first paper has increased and is approaching the desirable duration of Ph.D. training. Since publication is generally a requirement for career progression, schemes to reduce the time of graduate student and postdoctoral training may be difficult to implement without also considering new mechanisms for accelerating communication of their work. The increasing time to publication also delays potential catalytic effects that ensue when many scientists have access to new information. The time has come for life scientists, funding agencies, and publishers to discuss how to communicate new findings in a way that best serves the interests of the public and the scientific community.


title: Emission and amplification of surface plasmons in resonant - tunneling van der Waals heterostructures

abstract: We predict a new mechanism of surface plasmon amplification in graphene-insulator-graphene van der Waals heterostructures. The amplification occurs upon the stimulated interlayer electron tunneling accompanied by the emission of a coherent plasmon. The quantum-mechanical calculations of the non-local high-frequency tunnel conductivity show that a relative smallness of the tunneling exponent can be compensated by a strong resonance due to the enhanced tunneling between electron states with collinear momenta in the neighboring graphene layers. With the optimal selection of the barrier layer, the surface plasmon gain due to the inelastic tunneling can compensate or even exceed the loss due to both Drude and interband absorption. The tunneling emission of the surface plasmons is robust against a slight twist of the graphene layers and might explain the electroluminescence from the tunnel-coupled graphene layers observed in the recent experiments.


title: Structural symmetry in evolutionary games

abstract: In evolutionary game theory, an important measure of a mutant trait (strategy) is its ability to invade and take over an otherwise-monomorphic population. Typically, one quantifies the success of a mutant strategy via the probability that a randomly occurring mutant will fixate in the population. However, in a structured population, this fixation probability may depend on where the mutant arises. Moreover, the fixation probability is just one quantity by which one can measure the success of a mutant; fixation time, for instance, is another. We define a notion of homogeneity for evolutionary games that captures what it means for two single-mutant states, i.e. two configurations of a single mutant in an otherwise-monomorphic population, to be "evolutionarily equivalent" in the sense that all measures of evolutionary success are the same for both configurations. Using asymmetric games, we argue that the term "homogeneous" should apply to the evolutionary process as a whole rather than to just the population structure. For evolutionary matrix games in graph-structured populations, we give precise conditions under which the resulting process is homogeneous. Finally, we show that asymmetric matrix games can be reduced to symmetric games if the population structure possesses a sufficient degree of symmetry.


title: Automatic Loop Kernel Analysis and Performance Modeling With Kerncraft

abstract: Analytic performance models are essential for understanding the performance characteristics of loop kernels, which consume a major part of CPU cycles in computational science. Starting from a validated performance model one can infer the relevant hardware bottlenecks and promising optimization opportunities. Unfortunately, analytic performance modeling is often tedious even for experienced developers since it requires in-depth knowledge about the hardware and how it interacts with the software. We present the "Kerncraft" tool, which eases the construction of analytic performance models for streaming kernels and stencil loop nests. Starting from the loop source code, the problem size, and a description of the underlying hardware, Kerncraft can ideally predict the single-core performance and scaling behavior of loops on multicore processors using the Roofline or the Execution-Cache-Memory (ECM) model. We describe the operating principles of Kerncraft with its capabilities and limitations, and we show how it may be used to quickly gain insights by accelerated analytic modeling.


title: CSO and CARMA Observations of L1157. I. A Deep Search for Hydroxylamine (NH$_2$OH)

abstract: A deep search for the potential glycine precursor hydroxylamine (NH$_2$OH) using the Caltech Submillimeter Observatory (CSO) at $\lambda = 1.3$ mm and the Combined Array for Research in Millimeter-wave Astronomy (CARMA) at $\lambda = 3$ mm is presented toward the molecular outflow L1157, targeting the B1 and B2 shocked regions. We report non-detections of NH$_2$OH in both sources. We a perform non-LTE analysis of CH$_3$OH observed in our CSO spectra to derive kinetic temperatures and densities in the shocked regions. Using these parameters, we derive upper limit column densities of NH$_2$OH of $\leq1.4 \times 10^{13}$~cm$^{-2}$ and $\leq1.5 \times 10^{13}$~cm$^{-2}$ toward the B1 and B2 shocks, respectively, and upper limit relative abundances of $N_{NH_2OH}/N_{H_2} \leq1.4 \times 10^{-8}$ and $\leq1.5 \times 10^{-8}$, respectively.


title: Picard groups of Poisson manifolds

abstract: For a Poisson manifold $M$ we develop systematic methods to compute its Picard group $Pic(M)$, i.e., its group of self Morita equivalences. We establish a precise relationship between $Pic(M)$ and the group of gauge transformations up to Poisson diffeomorphisms showing, in particular, that their connected components of the identity coincide; this allows us to introduce the Picard Lie algebra of $M$ and to study its basic properties. Our methods lead, in particular, to the proof of a conjecture from [BW04] stating that for any compact simple Lie algebra $\mathfrak{g}$ the group $Pic(\mathfrak{g}^*)$ concides with the group of outer automorphisms of $\mathfrak{g}$.


title: Axiomatization of Inconsistency Indicators for Pairwise Comparisons

abstract: This study proposes revised axioms for defining inconsistency indicators in pairwise comparisons. It is based on the new findings that "PC submatrix cannot have a worse inconsistency indicator than the PC matrix containing it" and that there must be a PC submatrix with the same inconsistency as the given PC matrix. This study also provides better reasoning for the need of normalization. It is a revision of axiomatization by Koczkodaj and Szwarc, 2014 which proposed axioms expressed informally with some deficiencies addressed in this study.


title: Almost isometric constants for partial unconditionality

abstract: We discuss optimal constants of certain projections on subsequences of weakly null sequences. Positive results yield constants arbitrarily close to $1$ for Schreier type projections, and arbitrarily close to $1$ for Elton type projections under the assumption that the weakly null sequence admits no subsequence generating a $c_0$ spreading model. As an application, we prove that a weakly null sequence admitting a spreading model not equivalent to the $c_0$ basis has a quasi-greedy subsequence with quasi-greedy constant arbitrarily close to $1$.


title: Exact energy quantization condition for single Dirac particle in one-dimensional (scalar) potential well

abstract: We present an exact quantization condition for the time independent solutions (energy eigenstates) of the one-dimensional Dirac equation with a scalar potential well that gives only two `effective' turning points (defined by the roots of $V(x)+mc^2=\pm E$) for a given energy $E$ and satisfies $\min V(x)+mc^2\geq 0$. This result generalizes the previously known non-relativistic quantization formula and preserves many physically desirable symmetries, besides, attaining the correct non-relativistic limit. Numerical calculations demonstrate the utility of the formula for computing accurate energy eigenvalues.


title: Solving underdetermined systems with error-correcting codes

abstract: In an underdetermined system of equations $Ax=y$, where $A$ is an $m\times n$ matrix, only $u$ of the entries of $y$ with $u < m$ are known. Thus $E_jw$, called `measurements', are known for certain $j\in J \subset \{0,1,\ldots,m-1\}$ where $\{E_i, i=0,1,\ldots, m-1\}$ are the rows of $A$ and $|J|=u$. It is required, if possible, to solve the system uniquely when $x$ has at most $t$ non-zero entries with $u\geq 2t$. Here such systems are considered from an error-correcting coding point of view. The unknown $x$ can be shown to be the error vector of a code subject to certain conditions on the rows of the matrix $A$. This reduces the problem to finding a suitable decoding algorithm which then finds $x$. Decoding workable algorithms are shown to exist, from which the unknown $x$ may be determined, in cases where the known $2t$ values are evenly spaced (that is, when the elements of $J$ are in arithmetic progression) for classes of matrices satisfying certain row properties. These cases include Fourier $n\times n $ matrices where the arithmetic difference $k$ satisfies $\gcd(n,k)=1$, and classes of Vandermonde matrices $V(x_1,x_2,\ldots,x_n)$ (with $x_i\neq 0$) with arithmetic difference $k$ where the ratios $x_i/x_j$ for $i\neq j$ are not $k^{th}$ roots of unity. The decoding algorithm has complexity $O(nt)$ and in some cases, including the Fourier matrix cases, the complexity is $O(t^2)$. Matrices which have the property that the determinant of any square submatrix is non-zero are of particular interest. Randomly choosing rows of such matrices can then give $t$ error-correcting pairs to generate a `measuring' code $C^\perp=\{E_j | j\in J\}$ with a decoding algorithm which finds $x$. This has applications to signal processing and compressed sensing.


title: Direct Method of Moving Spheres on Fractional Order Equations

abstract: In this paper, we introduce a direct method of moving spheres for the nonlocal fractional Laplacian $(-\triangle)^{\alpha/2}$ for $0<\alpha<2$, in which a key ingredient is the narrow region maximum principle. As immediate applications, we classify the non-negative solutions for a semilinear equation involving the fractional Laplacian in $\mathbb{R}^n$; we prove a non-existence result for prescribing $Q_{\alpha}$ curvature equation on $\mathbb{S}^n$; then by combining the direct method of moving planes and moving spheres, we establish a Liouville type theorem on the half Euclidean space. We expect to see more applications of this method to many other equations involving non-local operators.


title: Nonlinear modulation of the HI power spectrum on ultra-large scales. I

abstract: Intensity mapping of the neutral hydrogen brightness temperature promises to provide a three-dimensional view of the universe on very large scales. Nonlinear effects are typically thought to alter only the small-scale power, but we show how they may bias the extraction of cosmological information contained in the power spectrum on ultra-large scales. For linear perturbations to remain valid on large scales, we need to renormalize perturbations at higher order. In the case of intensity mapping, the second-order contribution to clustering from weak lensing dominates the nonlinear contribution at high redshift. Renormalization modifies the mean brightness temperature and therefore the evolution bias. It also introduces a term that mimics white noise. These effects may influence forecasting analysis on ultra-large scales.


title: Tropical Hopf manifolds and contracting germs

abstract: Classical Hopf manifolds are compact complex manifolds whose universal covering is $\mathbb{C}^d \setminus \{0\}$. We investigate the tropical analogues of Hopf manifolds, and relate their geometry to tropical contracting germs. To do this we develop a procedure called monomialization which transforms non-degenerate tropical germs into morphisms, up to tropical modification. A link is provided between tropical Hopf manifolds and the analytification of Hopf manifolds over a non-archimedean field. We conclude by computing the tropical Picard group and $(p,q)$-homology groups.


title: Resonances for 1D half-line periodic operators: I. Generic case

abstract: The present paper addresses questions on resonances for a $1$D Schr\"{o}dinger operator with truncated periodic potential. Precisely, we consider the half-line operator $H^{\mathbb N}=-\Delta +V$ and $H^{\mathbb N}_L = -\Delta + V 1_{[0,L]}$ acting on $\ell^{2}(\mathbb N)$ with Dirichlet boundary condition at $0$ with $L \in \mathbb N$. We describe the resonances of $H^{\mathbb N}_{L}$ near the boundary of the essential spectrum of $H^{\mathbb N}$ as $L \rightarrow +\infty$ in the generic case.


title: Bio-Inspired Human Action Recognition using Hybrid Max-Product Neuro-Fuzzy Classifier and Quantum-Behaved PSO

abstract: Studies on computational neuroscience through functional magnetic resonance imaging (fMRI) and following biological inspired system stated that human action recognition in the brain of mammalian leads two distinct pathways in the model, which are specialized for analysis of motion (optic flow) and form information. Principally, we have defined a novel and robust form features applying active basis model as form extractor in form pathway in the biological inspired model. An unbalanced synergetic neural net-work classifies shapes and structures of human objects along with tuning its attention parameter by quantum particle swarm optimization (QPSO) via initiation of Centroidal Voronoi Tessellations. These tools utilized and justified as strong tools for following biological system model in form pathway. But the final decision has done by combination of ultimate outcomes of both pathways via fuzzy inference which increases novality of proposed model. Combination of these two brain pathways is done by considering each feature sets in Gaussian membership functions with fuzzy product inference method. Two configurations have been proposed for form pathway: applying multi-prototype human action templates using two time synergetic neural network for obtaining uniform template regarding each actions, and second scenario that it uses abstracting human action in four key-frames. Experimental results showed promising accuracy performance on different datasets (KTH and Weizmann).


title: Automorphisms of two-generator free groups and spaces of isometric actions on the hyperbolic plane

abstract: The automorphisms of a two-generator free group acting on the space of orientation-preserving isometric actions of on hyperbolic 3-space defines a dynamical system. Those actions which preserve a hyperbolic plane but not an orientation on that plane is an invariant subsystem, which reduces to an action on R^3 by polynomial automorphisms preserving the cubic polynomial and an area form on the level surfaces. We describe the dynamical decomposition of this action. The domain of discontinuity of this action corresponds to geometric structures: either complete hyperbolic structures on the 2-holed cross-surface (projective plane) with cusps and funnels, or complete hyperbolic structures on a one-holed Klein bottle, or hyperbolic structures on a Klein bottle with one conical singularity. The action is ergodic on the complement of the orbit of the Fricke space of the 2-holed cross-surface, and we show that the orbit of the generalized Fricke space of the one-holed Klein bottle is open and dense.


title: Enhanced perversities

abstract: The Riemann-Hilbert correspondence embeds the triangulated category of (not necessarily regular) holonomic D-modules into that of $\mathbb R$-constructible enhanced ind-sheaves. The source category has a standard t-structure. Here, we provide the target category with a middle perversity t-structure, and prove that the embedding is exact.


title: On filtered polynomial approximation on the sphere

abstract: This paper considers filtered polynomial approximations on the unit sphere $\mathbb{S}^d\subset \mathbb{R}^{d+1}$, obtained by truncating smoothly the Fourier series of an integrable function $f$ with the help of a "filter" $h$, which is a real-valued continuous function on $[0,\infty)$ such that $h(t)=1$ for $t\in[0,1]$ and $h(t)=0$ for $t\ge2$. The resulting "filtered polynomial approximation" (a spherical polynomial of degree $2L-1$) is then made fully discrete by approximating the inner product integrals by an $N$-point cubature rule of suitably high polynomial degree of precision, giving an approximation called "filtered hyperinterpolation". In this paper we require that the filter $h$ and all its derivatives up to $\lfloor\tfrac{d-1}{2}\rfloor$ are absolutely continuous, while its right and left derivatives of order $\lfloor \tfrac{d+1}{2}\rfloor$ exist everywhere and are of bounded variation. Under this assumption we show that for a function $f$ in the Sobolev space $W^s_p(\mathbb{S}^d),\ 1\le p\le \infty$, both approximations are of the optimal order $ L^{-s}$, in the first case for $s>0$ and in the second fully discrete case for $s>d/p$.


title: Chandra Studies of the X-ray Gas Properties of Fossil Systems

abstract: We study ten galaxy groups and clusters suggested in the literature to be "fossil system (FS)" based on \chandra\ observations. According to the $M_{500}-T$ and $L_{\rm X}-T$ relations, the gas properties of FSs are not physically distinct from ordinary galaxy groups or clusters. We also first study the $f_{\rm gas,~2500}-T$ relation and find that the FS exhibits same as ordinary systems. The gas densities of FSs within $0.1r_{200}$, are $\sim 10^{-3}$ cm$^{-3}$, which is the same order as galaxy clusters. The entropies within $0.1r_{200}$ ($S_{0.1r_{200}}$) of FSs are systematically lower than those in ordinary galaxy groups which is consistent with previous report, but we find their $S_{0.1r_{200}}-T$ relation is more similar to galaxy clusters. The derived mass profiles of FSs are consistent with the Navarro, Frenk, \& White model in $(0.1-1)r_{200}$, and the relation between scale radius $r_{\rm s}$ and characteristic mass density $ta_{\rm c}$ indicates the self-similarity of dark matter halos of FSs. The range of $r_{\rm s}$ and $ta_{\rm c}$ of FSs are also close to those of galaxy clusters. Therefore, FSs share more common characteristics with galaxy clusters. The special birth place of the FS makes it as a distinct galaxy system type.


title: Prime Power Divisibility,Periodicity and Other Properties of Some Second Order Recurrences

abstract: Wall published a paper in 1960 on the Fibonacci sequence where he derived many results concerning the period and prime power divisibility modulo m. His periodicity results have been generalized to second order linear recurrences. Here we study the sequences generated by such recurrences, with starting values of {0,1}: among other things, we derive new prime power divisibility results, derive the period by new methods, establish new identities, show derivations involving powers of matrices generated by these general recurrences, etc.


title: Peer pressure: enhancement of cooperation through mutual punishment

abstract: An open problem in evolutionary game dynamics is to understand the effect of peer pressure on cooperation in a quantitative manner. Peer pressure can be modeled by punishment, which has been proved to be an effective mechanism to sustain cooperation among selfish individuals. We investigate a symmetric punishment strategy, in which an individual will punish each neighbor if their strategies are different, and vice versa. Because of the symmetry in imposing the punishment, one might expect intuitively the strategy to have little effect on cooperation. Utilizing the prisoner's dilemma game as a prototypical model of interactions at the individual level, we find, through simulation and theoretical analysis, that proper punishment, when even symmetrically imposed on individuals, can enhance cooperation. Besides, we find that the initial density of cooperators plays an important role in the evolution of cooperation driven by mutual punishment.


title: Steady-State Solutions in an Algebra of Generalized Functions

abstract: Formulas for the solutions of initial value problems for ordinary differential equations with singular $\delta^{(n)}$-like driving terms are derived in the framework of an algebra of generalized functions (of Colombeau type) over a field of generalized scalars. Some of the solutions might have physical meaning - such as of the electrical current after lightning or under superconductivity - but do not have counterparts in the theory of Schwartz distributions. What is somewhat unusual (compared with other similar works) is the involvement of infinitely large constants, such as $\delta(0)$, in some of the formulas for the solutions.


title: Plateau's Problem: What's Next

abstract: Plateau's problem is not a single conjecture or theorem, but rather an abstract framework, encompassing a number of different problems in several related areas of mathematics. In its most general form, Plateau's problem is to find an element of a given collection \(\cal{C} \) of "surfaces" specified by some boundary constraint, which minimizes, or is a critical point of, a given "area" function \(F:\cal{C}\to \R \). In addition, one should also show that any such element satisfies some sort of regularity, that it be a sufficiently smooth manifold away from a well-behaved singular set. The choices apparent in making this question precise lead to a great many different versions of the problem. Plateau's problem has generated a large number of papers, inspired new fields of mathematics, and given rise to techniques which have proved useful in applications further afield. In this review we discuss a few highlights from the past hundred years, with special attention to papers of Federer, Fleming, Reifenberg and Almgren from the 1960's, and works by several groups, including ourselves, who have made significant progress on different aspects of the problem in recent years. A number of open problems are presented.


title: Ordered Fields, the Purge of Infinitesimals from Mathematics and the Rigorousness of Infinitesimal Calculus

abstract: We present a characterization of the completeness of the field of real numbers in the form of a \emph{collection of several equivalent statements} borrowed from algebra, real analysis, general topology, and non-standard analysis. We also discuss the completeness of non-Archimedean fields and present several examples of such fields. As an application, we exploit the characterization of the reals to argue that the Leibniz-Euler infinitesimal calculus in the $17^\textrm{th}$-$18^\textrm{th}$ centuries was already a rigorous branch of mathematics -- at least much more rigorous than most contemporary mathematicians prefer to believe. By advocating our particular historical point of view, we hope to provoke a discussion on the importance of mathematical rigor in mathematics and science in general. This article is directed to all mathematicians and scientists who are interested in the foundations of mathematics and the history of infinitesimal calculus.


title: Decoupling Elastic Waves and Its Applications

abstract: In this paper, we consider time-harmonic elastic wave scattering governed by the Lam\'e system. It is known that the elastic wave field can be decomposed into the shear and compressional parts, namely, the pressure and shear waves that are generally coexisting, but propagating at different speeds. We consider the third or fourth kind scatterer and derive two geometric conditions, respectively, related to the mean and Gaussian curvatures of the boundary surface of the scatterer that can ensure the decoupling of the shear and pressure waves. Then we apply the decoupling results to the uniqueness and stability analysis for inverse elastic scattering problems in determining polyhedral scatterers by a minimal number of far-field measurements.


title: HFR Code: A Flexible Replication Scheme for Cloud Storage Systems

abstract: Fractional repetition (FR) codes are a family of repair-efficient storage codes that provide exact and uncoded node repair at the minimum bandwidth regenerating point. The advantageous repair properties are achieved by a tailor-made two-layer encoding scheme which concatenates an outer maximum-distance-separable (MDS) code and an inner repetition code. In this paper, we generalize the application of FR codes and propose heterogeneous fractional repetition (HFR) code, which is adaptable to the scenario where the repetition degrees of coded packets are different. We provide explicit code constructions by utilizing group divisible designs, which allow the design of HFR codes over a large range of parameters. The constructed codes achieve the system storage capacity under random access repair and have multiple repair alternatives for node failures. Further, we take advantage of the systematic feature of MDS codes and present a novel design framework of HFR codes, in which storage nodes can be wisely partitioned into clusters such that data reconstruction time can be reduced when contacting nodes in the same cluster.


title: Numerical Computation of the Gradient and the Action of the Hessian for Time-Dependent PDE-Constrained Optimization Problems

abstract: We present a systematic derivation of the algorithms required for computing the gradient and the action of the Hessian of an arbitrary misfit function for large-scale parameter estimation problems involving linear time-dependent PDEs with stationary coefficients. These algorithms are derived using the adjoint method for time-stepping schemes of arbitrary order and are therefore well-suited for distributed parameter estimation problems where the forward solution needs to be solved to high accuracy. Two examples demonstrate how specific PDEs can be prepared for use with these algorithms. A numerical example illustrates that the order of accuracy of higher-order time-stepping schemes is inherited by their corresponding adjoint time-stepping schemes and misfit gradient computations.