title: Explanation of a special color-magnitude diagram of star cluster NGC 1651 from different models

abstract: The color-magnitude diagram (CMD) of globular cluster NGC1651 has special structures including a broad main sequence, an extended main sequence turn-off and an extended red giant clump. The reason for such special CMDs remains unclear. In order to test how different the results from various stellar population assumptions are, we study a high-quality CMD of NGC1651 from the Hubble Space Telescope archive via eight kinds of models. Distance modulus, extinction, age ranges, star formation mode, fraction of binaries, and fraction of rotational stars are determined and then compared. The results show that stellar populations both with and without age spread can reproduce the special structure of the observed CMD. A composite population with extended star formation from 1.8\,Gyrs ago to 1.4\,Gyrs ago, which contains 50 per cent binaries and 70 per cent rotational stars, fits the observed CMD best. Meanwhile, a 1.5\,Gyr-old simple population that consists of rotational stars can also fit the observed CMD well. The results of CMD fitting are shown to depend strongly on stellar population type (simple or composite), and fraction of rotators. If the member stars of NGC1651 formed in a single star burst, the effect of stellar rotation should be very important for the explanation of observed CMDs. Otherwise, the effect may be small. It is also possible that the special observed CMD is a result of the combined effects of stellar binarity, rotation and age spread. Therefore, further work on stellar population type and fraction of rotational stars of intermediate-age clusters are necessary to understand their observed CMDs.


title: Faster Algorithms for the Constrained k-means Problem

abstract: The classical center based clustering problems such as $k$-means/median/center assume that the optimal clusters satisfy the locality property that the points in the same cluster are close to each other. A number of clustering problems arise in machine learning where the optimal clusters do not follow such a locality property. Consider a variant of the $k$-means problem that may be regarded as a general version of such problems. Here, the optimal clusters $O_1, ..., O_k$ are an arbitrary partition of the dataset and the goal is to output $k$-centers $c_1, ..., c_k$ such that the objective function $\sum_{i=1}^{k} \sum_{x \in O_{i}} ||x - c_{i}||^2$ is minimized. It is not difficult to argue that any algorithm (without knowing the optimal clusters) that outputs a single set of $k$ centers, will not behave well as far as optimizing the above objective function is concerned. However, this does not rule out the existence of algorithms that output a list of such $k$ centers such that at least one of these $k$ centers behaves well. Given an error parameter $\varepsilon > 0$, let $\ell$ denote the size of the smallest list of $k$-centers such that at least one of the $k$-centers gives a $(1+\varepsilon)$ approximation w.r.t. the objective function above. In this paper, we show an upper bound on $\ell$ by giving a randomized algorithm that outputs a list of $2^{\tilde{O}(k/\varepsilon)}$ $k$-centers. We also give a closely matching lower bound of $2^{\tilde{\Omega}(k/\sqrt{\varepsilon})}$. Moreover, our algorithm runs in time $O \left(n d \cdot 2^{\tilde{O}(k/\varepsilon)} \right)$. This is a significant improvement over the previous result of Ding and Xu who gave an algorithm with running time $O \left(n d \cdot (\log{n})^{k} \cdot 2^{poly(k/\varepsilon)} \right)$ and output a list of size $O \left((\log{n})^k \cdot 2^{poly(k/\varepsilon)} \right)$.


title: First-order phase transition and tricritical scaling behavior of the Blume-Capel model: a Wang-Landau sampling approach

abstract: We investigate the tricritical scaling behavior of the two-dimensional spin-$1$ Blume-Capel model using the Wang-Landau method measuring the joint density of states for lattice sizes up to $48\times 48$ sites. The first-order transition curve is systematically determined employing the method of field mixing in conjunction with finite-size scaling, showing a significant deviation from the previous data points. Deep in the first-order area of the phase diagram, we also find that the specific heat exhibits a double-peak structure of the Schottky-like anomaly appearing with the transition peak. At the tricritical point, we characterize the tricritical exponents through finite-size scaling analysis including the phenomenological finite-size scaling with thermodynamic variables. Our estimation of the tricritical eigenvalue exponents, $y_t = 1.804(5)$, $y_g = 0.80(1)$, and $y_h = 1.925(3)$, provides the first Wang-Landau verification of the conjectured exact values, demonstrating the effectiveness of the density-of-states-based approach in finite-size scaling study of multicritical phenomena.


title: Objective Bayesian analysis of counting experiments with correlated sources of background

abstract: Searches for faint signals in counting experiments are often encountered in particle physics and astrophysics, as well as in other fields. Many problems can be reduced to the case of a model with independent and Poisson-distributed signal and background. Often several background contributions are present at the same time, possibly correlated. We provide the analytic solution of the statistical inference problem of estimating the signal in the presence of multiple backgrounds, in the framework of objective Bayes statistics. The model can be written in the form of a product of a single Poisson distribution with a multinomial distribution. The first is related to the total number of events, whereas the latter describes the fraction of events coming from each individual source. Correlations among different backgrounds can be included in the inference problem by a suitable choice of the priors.


title: Molecular Dynamic Approach of Enhanced Self-Propelled Nano-Droplet Motion on Wettability Gradient Surfaces

abstract: Droplet motion over a surface with wettability gradient has been simulated using molecular dynamics (MD) simulation to highlight the underlying physics. GROMACS and Visual Molecular Dynamics (VMD) were used for simulation and intermittent visualization of the droplet configuration respectively. The simulations mimic experiments in a comprehensive manner wherein micro-sized droplets are propelled by surface wettability gradient against a number of retarding forces. The liquid-wall Lennard-Jones interaction parameter and the substrate temperature were varied to explore their effects on the three-phase contact line friction coefficient. The contact line friction was observed to be a strong function of temperature at atomistic scales, confirming the experimentally observed inverse functionality between the coefficient of contact line friction and increase in temperatures. These MD simulation results were successfully compared with the results from a model for self-propelled droplet motion on gradient surfaces.


title: Similarity and Kirillov-Schilling-Shimozono bijection

abstract: The behavior of the Kirillov-Schilling-Shimozono bijection is examined under the similarity map on Kirillov-Reshetikhin crystals. It enables us to define this bijection over $\mathbb{Q}$. Conjectures on the extension to $\mathbb{R}$ is also presented.


title: Gravitational wave background from Standard Model physics: Qualitative features

abstract: Because of physical processes ranging from microscopic particle collisions to macroscopic hydrodynamic fluctuations, any plasma in thermal equilibrium emits gravitational waves. For the largest wavelengths the emission rate is proportional to the shear viscosity of the plasma. In the Standard Model at T > 160 GeV, the shear viscosity is dominated by the most weakly interacting particles, right-handed leptons, and is relatively large. We estimate the order of magnitude of the corresponding spectrum of gravitational waves. Even though at small frequencies (corresponding to the sub-Hz range relevant for planned observatories such as eLISA) this background is tiny compared with that from non-equilibrium sources, the total energy carried by the high-frequency part of the spectrum is non-negligible if the production continues for a long time. We suggest that this may constrain (weakly) the highest temperature of the radiation epoch. Observing the high-frequency part directly sets a very ambitious goal for future generations of GHz-range detectors.


title: Study of cluster reconstruction and track fitting algorithms for CGEM-IT at BESIII

abstract: Considering the aging effects of existing Inner Drift Chamber (IDC) of BES\uppercase\expandafter{\romannumeral3}, a GEM based inner tracker is proposed to be designed and constructed as an upgrade candidate for IDC. This paper introduces a full simulation package of CGEM-IT with a simplified digitization model, describes the development of the softwares for cluster reconstruction and track fitting algorithm based on Kalman filter method for CGEM-IT. Preliminary results from the reconstruction algorithms are obtained using a Monte Carlo sample of single muon events in CGEM-IT.


title: Failure of rotation and notable success of age spread to reproduce the CMDs of star clusters NGC 1831, NGC 1868 and NGC 2249

abstract: We study the high-quality CMDs of three star clusters, NGC 1831, NGC 1868 and NGC 2249 in detail, via the two most likely causes (stellar rotation and age spread) for CMDs with extended main-sequence turn-offs. The results show evident failure of stellar rotation (including resolved and unresolved binary stars) to interpret the CMDs of three star clusters, and the unexpected success of age spread. In particular, the special structures of turn-off and red clump parts cannot be generated by stellar rotation, but age spread perfectly reproduces the observed features. This suggests that these three clusters contain multiple populations of stars, rather than a single population of rotating stars and binaries. The thick subgiant branch of NGC 1831 gives the strongest support to this. The results demonstrate that stellar rotation cannot save the widely accepted view (simple population) of star clusters, and an extended star formation history is needed for explaining the observed CMDs. In addition, this work shows that a narrow subgiant branch does not correspond to a simple population. The judgement of simple population in NGC 1651 by a previous work is not necessarily reliable. We anticipate our assay to be a starting point for more precise study of Hertzsprung-Russell diagrams of star clusters. This involves many factors, such as binaries, rotating stars, and star formation history (SFH).


title: Stable sets and mean Li-Yorke chaos in positive entropy actions of bi-orderable amenable groups

abstract: It is proved that positive entropy implies mean Li-Yorke chaos for a G-system, where G is a countable infinite discrete bi-orderable amenable group. Examples are given for the cases of integer lattice groups and groups of integer unipotent upper triangular matrices.


title: Masses and decay constants of pions and kaons in mixed-action staggered chiral perturbation theory

abstract: Lattice QCD calculations with different staggered valence and sea quarks can be used to improve determinations of quark masses, Gasser-Leutwyler couplings, and other parameters relevant to phenomenology. We calculate the masses and decay constants of flavored pions and kaons through next-to-leading order in staggered-valence, staggered-sea mixed-action chiral perturbation theory. We present the results in the valence-valence and valence-sea sectors, for all tastes. As in unmixed theories, the taste-pseudoscalar, valence-valence mesons are exact Goldstone bosons in the chiral limit, at non-zero lattice spacing. The results reduce correctly when the valence and sea quark actions are identical, connect smoothly to the continuum limit, and provide a way to control light quark and gluon discretization errors in lattice calculations performed with different staggered actions for the valence and sea quarks.


title: Aharonov-Bohm effect for excitons in a semiconductor quantum ring dressed by circularly polarized light

abstract: We show theoretically that the strong coupling of circularly polarized photons to an exciton in ring-like semiconductor nanostructures results in physical nonequivalence of clockwise and counterclockwise exciton rotations in the ring. As a consequence, the stationary energy splitting of exciton states corresponding to these mutually opposite rotations appears. This excitonic Aharonov-Bohm effect depends on the intensity and frequency of the circularly polarized field and can be detected in state-of-the-art optical experiments.


title: Robust correlations between quadrupole moments of low-lying $2^+$ states within random-interaction ensembles

abstract: In the random-interaction ensembles, three proportional correlations between quadrupole moments of the first two $I^{\pi}=2^+$ states robustly emerge, including $Q(2^+_1)=\pm Q(2^+_2)$ correlations consistently with realistic nuclear survey, and the $Q(2^+_2)=-\frac{3}{7}Q(2^+_1)$ correlation, which is only observed in the $sd$-boson space. These correlations can be microscopically characterized by the rotational SU(3) symmetry and quadrupole vibrational U(5) limit, respectively, according to the Elliott model and the $sd$-boson mean-field theory. The anharmonic vibration may be another phenomenological interpretation for the $Q(2^+_1)=- Q(2^+_2)$ correlation, whose spectral evidence, however, is insufficient.


title: Highly-cited papers in Library and Information Science (LIS): Authors, institutions, and network structures

abstract: As a follow-up to the highly-cited authors list published by Thomson Reuters in June 2014, we analyze the top-1% most frequently cited papers published between 2002 and 2012 included in the Web of Science (WoS) subject category "Information Science & Library Science." 798 authors contributed to 305 top-1% publications; these authors were employed at 275 institutions. The authors at Harvard University contributed the largest number of papers, when the addresses are whole-number counted. However, Leiden University leads the ranking, if fractional counting is used. Twenty-three of the 798 authors were also listed as most highly-cited authors by Thomson Reuters in June 2014 (http://highlycited.com/). Twelve of these 23 authors were involved in publishing four or more of the 305 papers under study. Analysis of co-authorship relations among the 798 highly-cited scientists shows that co-authorships are based on common interests in a specific topic. Three topics were important between 2002 and 2012: (1) collection and exploitation of information in clinical practices, (2) the use of internet in public communication and commerce, and (3) scientometrics.


title: Panther: Fast Top-k Similarity Search in Large Networks

abstract: Estimating similarity between vertices is a fundamental issue in network analysis across various domains, such as social networks and biological networks. Methods based on common neighbors and structural contexts have received much attention. However, both categories of methods are difficult to scale up to handle large networks (with billions of nodes). In this paper, we propose a sampling method that provably and accurately estimates the similarity between vertices. The algorithm is based on a novel idea of random path, and an extended method is also presented, to enhance the structural similarity when two vertices are completely disconnected. We provide theoretical proofs for the error-bound and confidence of the proposed algorithm. We perform extensive empirical study and show that our algorithm can obtain top-k similar vertices for any vertex in a network approximately 300x faster than state-of-the-art methods. We also use identity resolution and structural hole spanner finding, two important applications in social networks, to evaluate the accuracy of the estimated similarities. Our experimental results demonstrate that the proposed algorithm achieves clearly better performance than several alternative methods.


title: Blade: A Data Center Garbage Collector

abstract: An increasing number of high-performance distributed systems are written in garbage collected languages. This removes a large class of harmful bugs from these systems. However, it also introduces high tail-latency do to garbage collection pause times. We address this problem through a new technique of garbage collection avoidance which we call Blade. Blade is an API between the collector and application developer that allows developers to leverage existing failure recovery mechanisms in distributed systems to coordinate collection and bound the latency impact. We describe Blade and implement it for the Go programming language. We also investigate two different systems that utilize Blade, a HTTP load-balancer and the Raft consensus algorithm. For the load-balancer, we eliminate any latency introduced by the garbage collector, for Raft, we bound the latency impact to a single network round-trip, (48 {\mu}s in our setup). In both cases, latency at the tail using Blade is up to three orders of magnitude better.


title: Gravitino fields in Schwarzschild black hole spacetimes

abstract: The analysis of gravitino fields in curved spacetimes is usually carried out using the Newman-Penrose formalism. In this paper we consider a more direct approach with eigenspinor-vectors on spheres, to separate out the angular parts of the fields in a Schwarzschild background. The radial equations of the corresponding gauge invariant variable obtained are shown to be the same as in the Newman-Penrose formalism. These equations are then applied to the evaluation of the quasinormal mode frequencies, as well as the absorption probabilities of the gravitino field scattering in this background.


title: Free boundary problems for the diffusive competition system in higher dimension with sign-changing coefficients

abstract: In this article we investigate two free boundary problems for a Lotka-Volterra competition system in a higher space dimension with sign-changing coefficients. One may be viewed as describing how two competing species invade if they occupy an initial region, the other describes the dynamical process of a new competitor invading into the habitat of a native species. For simplicity, it is assumed that the environment is radially symmetric. The main purpose of this article is to understand the asymptotic behavior of competing species spreading via a free boundary. We derive some sufficient conditions for species spreading success and spreading failure. Moreover, when spreading successfully, we provide the long time behavior of solutions.


title: A Donsker delta functional approach to optimal insider control and applications to finance

abstract: We study \emph{optimal insider control problems}, i.e. optimal control problems of stochastic systems where the controller at any time $t$ in addition to knowledge about the history of the system up to this time, also has additional information related to a \emph{future} value of the system. Since this puts the associated controlled systems outside the context of semimartingales, we apply anticipative white noise analysis, including forward integration and Hida-Malliavin calculus to study the problem. Combining this with Donsker delta functionals we transform the insider control problem into a classical (but parametrised) adapted control system, albeit with a non-classical performance functional. We establish a sufficient and a necessary maximum principle for such systems. Then we apply the results to obtain explicit solutions for some optimal insider portfolio problems in financial markets described by It\^ o-L\' evy processes. Finally, in the Appendix we give a brief survey of the concepts and results we need from the theory of white noise, forward integrals and Hida-Malliavin calculus.


title: Spatially Resolved Detection of a Spin-Entanglement Wave in a Bose-Hubbard Chain

abstract: Entanglement is an essential property of quantum many-body systems. However, its local detection is challenging and was so far limited to spin degrees of freedom in ion chains. Here we measure entanglement between the spins of atoms located on two lattice sites in a one-dimensional Bose-Hubbard chain which features both local spin- and particle-number fluctuations. Starting with an initially localized spin impurity, we observe an outwards propagating entanglement wave and show quantitatively how entanglement in the spin sector rapidly decreases with increasing particle-number fluctuations in the chain.


title: A stronger bound for the strong chromatic index

abstract: We prove $\chi_s'(G)\leq 1.93 \Delta(G)^2$ for graphs of sufficiently large maximum degree where $\chi_s'(G)$ is the strong chromatic index of $G$. This improves an old bound of Molloy and Reed. As a by-product, we present a Talagrand-type inequality where it is allowed to exclude unlikely bad outcomes that would otherwise render the inequality unusable.


title: The Steady Boltzmann and Navier-Stokes Equations

abstract: The paper discusses the similarities and the differences in the mathematical theories of the steady Boltzmann and incompressible Navier-Stokes equations posed in a bounded domain. First we discuss two different scaling limits in which solutions of the steady Boltzmann equation have an asymptotic behavior described by the steady Navier-Stokes Fourier system. Whether this system includes the viscous heating term depends on the ratio of the Froude number to the Mach number of the gas flow. While the steady Navier-Stokes equations with smooth divergence-free external force always have at least one smooth solutions, the Boltzmann equation with the same external force set in the torus, or in a bounded domain with specular reflection of gas molecules at the boundary may fail to have any solution, unless the force field is identically zero. Viscous heating seems to be of key importance in this situation. The nonexistence of any steady solution of the Boltzmann equation in this context seems related to the increase of temperature for the evolution problem, a phenomenon that we have established with the help of numerical simulations on the Boltzmann equation and the BGK model.


title: Approximation by H\"older functions in Besov and Triebel-Lizorkin spaces

abstract: In this paper, we show that Besov and Triebel-Lizorkin functions can be approximated by a H\"older continuous function both in the Lusin sense and in norm. The results are proven in metric measure spaces for Haj{\l}asz-Besov and Haj{\l}asz-Triebel-Lizorkin functions defined by a pointwise inequality. We also prove new inequalities for medians, including a Poincar\'e type inequality, which we use in the proof of the main result.


title: Combinatorics of symplectic invariant tensors

abstract: An important problem from invariant theory is to describe the subspace of a tensor power of a representation invariant under the action of the group. According to Weyl's classic, the first main (later: 'fundamental') theorem of invariant theory states that all invariants are expressible in terms of a finite number among them, whereas a second main theorem determines the relations between those basic invariants. Here we present a transparent, combinatorial proof of a second fundamental theorem for the defining representation of the symplectic group Sp(2n). Our formulation is completely explicit and provides a very precise link to (n+1)-noncrossing perfect matchings, going beyond a dimension count. As a corollary, we obtain an instance of the cyclic sieving phenomenon.


title: Stop It, and Be Stubborn!

abstract: A system is AG EF terminating, if and only if from every reachable state, a terminal state is reachable. This publication argues that it is beneficial for both catching non-progress errors and stubborn set state space reduction to try to make verification models AG EF terminating. An incorrect mutual exclusion algorithm is used as an example. The error does not manifest itself, unless the first action of the customers is modelled differently from other actions. An appropriate method is to add an alternative first action that models the customer stopping for good. This method typically makes the model AG EF terminating. If the model is AG EF terminating, then the basic strong stubborn set method preserves safety and some progress properties without any additional condition for solving the ignoring problem. Furthermore, whether the model is AG EF terminating can be checked efficiently from the reduced state space.


title: Anomalous decay and scattering processes of the eta meson

abstract: We amend a recent dispersive analysis of the anomalous $\eta$ decay process $\eta\to\pi^+\pi^-\gamma$ by the effects of the $a_2$ tensor meson, the lowest-lying resonance that can contribute in the $\pi\eta$ system. While the net effects on the measured decay spectrum are small, they may be more pronounced for the analogous $\eta'$ decay. There are nonnegligible consequences for the $\eta$ transition form factor, which is an important quantity for the hadronic light-by-light scattering contribution to the muon's anomalous magnetic moment. We predict total and differential cross sections, as well as a marked forward-backward asymmetry, for the crossed process $\gamma\pi^-\to\pi^-\eta$ that could be measured in Primakoff reactions in the future.


title: Special Bohr - Sommerfeld lagrangian submanifolds in algebraic varieties

abstract: We present a new notion of speciality which is valid for Bohr - Sommerfeld lagrangian submanifolds. For algebraic varieties it leads to the construction of finite dimensional moduli spaces which are algebraic starting with any ample line bundle. The construction can be exploited both in Geometric Quantization and Mirror Symmetry.


title: Study of Some Recent Crossovers Effects on Speed and Accuracy of Genetic Algorithm, Using Symmetric Travelling Salesman Problem

abstract: The Travelling Salesman Problem (TSP) is one of the most famous optimization problems. The Genetic Algorithm (GA) is one of metaheuristics that have been applied to TSP. The Crossover and mutation operators are two important elements of GA. There are many TSP solver crossover operators. In this paper, we state implementation of some recent TSP solver crossovers at first and then we use each of them in GA to solve some Symmetric TSP (STSP) instances and finally compare their effects on speed and accuracy of presented GA.


title: Reconstruction in Fourier space

abstract: We present a fast iterative FFT-based reconstruction algorithm that allows for non- parallel redshift-space distortions (RSD). We test our algorithm on both N-body dark matter simulations and mock distributions of galaxies designed to replicate galaxy survey conditions. We compare solenoidal and irrotational components of the redshift distortion and show that an approximation of this distortion leads to a better estimate of the real-space potential (and therefore faster convergence) than ignoring the RSD when estimating the displacement field. Our iterative reconstruction scheme converges in two iterations for the mock samples corresponding to BOSS CMASS DR11 when we start with an approximation of the RSD. The scheme takes six iterations when the initial estimate, measured from the redshift-space overdensity, has no RSD correction. Slower convergence would be expected for surveys covering a larger angle on the sky. We show that this FFT based method provides a better estimate of the real space displacement field than a configuration space method that uses finite difference routines to compute the potential for the same grid resolution. Finally we show that a lognormal transform of the overdensity, used as a proxy for the linear overdensity, is beneficial in estimating the full displacement field from a dense sample of tracers. However the lognormal transform of the overdensity does not perform well when estimating the displacements from sparser simulations with a more realistic galaxy density.


title: Plasmon-phonon interactions in topological insulator rings

abstract: The great potential of Dirac electrons for plasmonics and photonics has been readily recognized after their discovery in graphene, followed by applications to smart optical devices. Dirac carriers are also found in topological insulators (TI) --quantum systems having an insulating gap in the bulk and intrinsic Dirac metallic states at the surface--. Here, we investigate the plasmonic response of ring structures patterned in Bi$_2$Se$_3$ TI films, which we investigate through terahertz (THz) spectroscopy. The rings are observed to exhibit a bonding and an antibonding plasmon modes, which we tune in frequency by varying their diameter. We develop an analytical theory based on the THz conductivity of unpatterned films, which accurately describes the strong plasmon-phonon hybridization and Fano interference experimentally observed as the bonding plasmon is swiped across the promineng 2\,THz phonon exhibited by this material. This work opens the road for the investigation of plasmons in topological insulators and for their application in tunable THz devices.


title: Physics Goals and Status of JEM-EUSO and its Test Experiments

abstract: The JEM-EUSO mission aims to explore the origin of the extreme energy cosmic rays (EECRs) through the observation of air-shower fluorescence light from space. The superwide-field telescope looks down from the International Space Station onto the night sky to detect UV photons (fluorescence and Cherenkov photons) emitted from air showers. Such a space detector offers the remarkable opportunity to observe a huge volume of atmosphere at once and will achieve an unprecedented statistics within a few years of operation. Several test experiments are currently in operation: e.g., one to observe the fluorescence background from the edge of the Atmosphere (EUSO-Balloon), or another to demonstrate on ground the capability of detecting air showers with a EUSO-type telescope (EUSO-TA). In this contribution a short review on the scientific objectives of the mission and an update of the instrument definition, performances and status, as well as status of the test experiments will be given.


title: Proton and neutron correlations in $^{10}$B

abstract: We investigate positive-parity states of $^{10}$B with the calculation of antisymmetrized molecular dynamics focusing on $pn$ pair correlations. We discuss effects of the spin-orbit interaction on energy spectra and $pn$ correlations of the $J^\pi T=1^+_10$, $=3^+_10$, and $0^+_11$ states. The $1^+_10$ state has almost no energy gain of the spin-orbit interaction, whereas the $3^+_10$ state gains the spin-orbit interaction energy largely to come down to the ground state. We interpret a part of the two-body spin-orbit interaction in the adopted effective interactions as a contribution of the genuine $NNN$ force, and find it to be essential for the level ordering of the $3^+_10$ and $1^+_10$ states in $^{10}$B. We also apply a $2\alpha+pn$ model to discuss effects of the spin-orbit interaction on $T=0$ and $T=1$ $pn$ pairs around the 2$\alpha$ core. In the spin-aligned $J^\pi T=3^+0$ state, the spin-orbit interaction affects the $(ST)=(10)$ pair attractively and keeps the pair close to the core, whereas, in the $1^+0$ state, it gives a minor effect to the $(ST)=(10)$ pair. In the $0^+1$ state, the $(ST)=(01)$ pair is somewhat dissociated by the spin-orbit interaction.


title: Error Estimates for Approximating Best Proximity Points for Cyclic Contractive Maps

abstract: We find a priori and a posteriori error estimates of the best proximity point for the Picard iteration associated to a cyclic contraction map, which is defined on a uniformly convex Banach space with modulus of convexity of power type. We find the rate of convergence for the Picard sequence.


title: Topological complexity, minimality and systems of order two on torus

abstract: The dynamical system on T^2 which is a group extension over an irrational rotation on T^1 is investigated. The criterion when the extension is minimal, a system of order 2 and when the maximal equicontinuous factor is the irrational rotation is given. The topological complexity of the extension is computed, and a negative answer to the latter part of an open question raised by Host-Kra-Maass is obtained.


title: A State Space Tool for Models Expressed In C++ (tool paper)

abstract: This publication introduces A State Space Exploration Tool that is based on representing the model under verification as a piece of C++ code that obeys certain conventions. Its name is ASSET. Model checking takes place by compiling the model and the tool together, and executing the result. This approach facilitates very fast execution of the transitions of the model. On the other hand, the use of stubborn sets and symmetries requires that either the modeller or a preprocessor tool analyses the model at a syntactic level and expresses stubborn set obligation rules and the symmetry mapping as suitable C++ functions. The tool supports the detection of illegal deadlocks, safety errors, and may progress errors. It also partially supports the detection of must progress errors.


title: Primitive prime divisors and the $n$-th cyclotomic polynomial

abstract: Primitive prime divisors play an important role in group theory and number theory. We study a certain number theoretic quantity, called $\Phi^*_n(q)$, which is closely related to the cyclotomic polynomial $\Phi_n(x)$ and to primitive prime divisors of $q^n-1$. Our definition of $\Phi^*_n(q)$ is novel, and we prove it is equivalent to the definition given by Hering. Given positive constants $c$ and $k$, we give an algorithm for determining all pairs $(n,q)$ with $\Phi^*_n(q)\le cn^k$. This algorithm is used to extend (and correct) a result of Hering which is useful for classifying certain families of subgroups of finite linear groups.


title: Fission barrier, damping of shell correction and neutron emission in the fission of A$\sim$200

abstract: Decay of $^{210}$Po compound nucleus formed in light and heavy-ion induced fusion reactions has been analyzed simultaneously using a consistent prescription for fission barrier and nuclear level density incorporating shell correction and its damping with excitation energy. Good description of all the excitation functions have been achieved with a fission barrier of 21.9 $\pm$ 0.2 MeV. For this barrier height, the predicted statistical pre-fission neutrons in heavy-ion fusion-fission are much smaller than the experimental values, implying the presence of dynamical neutrons due to dissipation even at these low excitation energies ($\sim$ 50~MeV) in the mass region A $\sim$ 200. When only heavy-ion induced fission excitation functions and the pre-fission neutron multiplicities are included in the fits, the deduced best fit fission barrier depends on the assumed fission delay time during which dynamical neutrons can be emitted. A fission delay of (0.8 $\pm$ 0.1 )$\times 10^{-19}$ s has been estimated corresponding to the above fission barrier height assuming that the entire excess neutrons over and above the statistical model predictions are due to the dynamics. The present observation has implication on the study of fission time scale/ nuclear viscosity using neutron emission as a probe.


title: On the Role of Cylindrical Functions in Kantorovich duality

abstract: We study the dual formulation of the Monge-Kantorovich optimal transportation problem, in particular under what circumstances it is permitted in an infinite dimensional setting to use cylindrical functions, i.e. functions of the form $\varphi\circ P$ where $P$ is a finite-rank operator and $\varphi$ is a smooth, compactly supported function. In the last section, some examples of applications are presented.


title: Observation of impedance oscillations in single walled carbon nanotube bundles excited by high frequency signals

abstract: We report experimental observation of impedance oscillations in single-walled carbon nanotubes measured from 100 MHz to 65 GHz on coplanar wave guides and a power law dependence of the differential conductance with bias voltage. From the crossover of the real and imaginary parts of the complex impedance observed in the range of 10 GHz, we estimate a long lifetime of 15 ps that can support the claim of ballistic transport. By measuring the scattering parameters at high-frequencies of a few aligned single-walled bundles at low temperatures we show that, this observation is strongly influenced by the number of tubes available.


title: Algebraic solution of tropical optimization problems via matrix sparsification with application to scheduling

abstract: Optimization problems are considered in the framework of tropical algebra to minimize and maximize a nonlinear objective function defined on vectors over an idempotent semifield, and calculated using multiplicative conjugate transposition. To find the minimum of the function, we first obtain a partial solution, which explicitly represents a subset of solution vectors. We characterize all solutions by a system of simultaneous equation and inequality, and show that the solution set is closed under vector addition and scalar multiplication. A matrix sparsification technique is proposed to extend the partial solution, and then to obtain a complete solution described as a family of subsets. We offer a backtracking procedure that generates all members of the family, and derive an explicit representation for the complete solution. As another result, we deduce a complete solution of the maximization problem, given in a compact vector form by the use of sparsified matrices. The results obtained are illustrated with illuminating examples and graphical representations. We apply the results to solve real-world problems drawn from project (machine) scheduling, and give numerical examples.


title: A Simple Parallel Implementation of Interaction Nets in Haskell

abstract: Due to their "inherent parallelism", interaction nets have since their introduction been considered as an attractive implementation mechanism for functional programming. We show that a simple highly-concurrent implementation in Haskell can achieve promising speed-ups on multiple cores.


title: The Colorful Chemical Bottle Experiment Kit: From School Laboratory To Public Demonstration

abstract: The blue bottle experiment was first introduced to the chemical education literature as a simple demonstration on kinetics. Its original formulation contains only glucose, NaOH and small amount of methylene blue. The solution turns blue when shaken and fades to colorless upon standing. This bluing/de-bluing cycle may be repeated and may be compared to blood colors in animal's respiratory cycle. Inspired by the blue bottle experiment, the colorful chemical bottle experiment kit was commercially developed in 2006. The kit is a versatile pedagogical tool, not only for physical chemistry but also for analytical, biological and organic chemistry. It also helps teaching concepts in scientific method and laboratory safety. This manuscript contains four parts, brief review on literature relating to the blue bottle experiment, description of the colorful chemical bottle experiment kit, pedagogical discussion of the experiments and preliminary evaluation from students.


title: Lempel Ziv Computation In Small Space (LZ-CISS)

abstract: For both the Lempel Ziv 77- and 78-factorization we propose algorithms generating the respective factorization using $(1+\epsilon) n \lg n + O(n)$ bits (for any positive constant $\epsilon \le 1$) working space (including the space for the output) for any text of size \$n\$ over an integer alphabet in $O(n / \epsilon^{2})$ time.


title: Melting temperature of heavy quarkonium with a holographic potential up to sub-leading order

abstract: A calculation of the melting temperatures of heavy quarkonium states with the holographic potential was introduced in a previous work. In this paper, we consider the holographic potential at sub-leading order, which permits finite coupling corrections to be taken into account. It is found that this correction lowers the dissociation temperatures of heavy quarkonium.


title: Geometric dimension of lattices in classical simple Lie groups

abstract: We prove that if $\Gamma$ is a lattice in a classical simple Lie group $G$, then the symmetric space of $G$ is $\Gamma$-equivariantly homotopy equivalent to a proper cocompact $\Gamma$-CW complex of dimension the virtual cohomological dimension of $\Gamma$.


title: Asymptotic Estimates in Information Theory with Non-Vanishing Error Probabilities

abstract: This monograph presents a unified treatment of single- and multi-user problems in Shannon's information theory where we depart from the requirement that the error probability decays asymptotically in the blocklength. Instead, the error probabilities for various problems are bounded above by a non-vanishing constant and the spotlight is shone on achievable coding rates as functions of the growing blocklengths. This represents the study of asymptotic estimates with non-vanishing error probabilities. In Part I, after reviewing the fundamentals of information theory, we discuss Strassen's seminal result for binary hypothesis testing where the type-I error probability is non-vanishing and the rate of decay of the type-II error probability with growing number of independent observations is characterized. In Part II, we use this basic hypothesis testing result to develop second- and sometimes, even third-order asymptotic expansions for point-to-point communication. Finally in Part III, we consider network information theory problems for which the second-order asymptotics are known. These problems include some classes of channels with random state, the multiple-encoder distributed lossless source coding (Slepian-Wolf) problem and special cases of the Gaussian interference and multiple-access channels. Finally, we discuss avenues for further research.


title: LazyCtrl: Scalable Network Control for Cloud Data Centers

abstract: The advent of software defined networking enables flexible, reliable and feature-rich control planes for data center networks. However, the tight coupling of centralized control and complete visibility leads to a wide range of issues among which scalability has risen to prominence. To address this, we present LazyCtrl, a novel hybrid control plane design for data center networks where network control is carried out by distributed control mechanisms inside independent groups of switches while complemented with a global controller. Our design is motivated by the observation that data center traffic is usually highly skewed and thus edge switches can be grouped according to traffic locality. LazyCtrl aims at bringing laziness to the global controller by dynamically devolving most of the control tasks to independent switch groups to process frequent intra-group events near datapaths while handling rare inter-group or other specified events by the controller. We implement LazyCtrl and build a prototype based on Open vSwich and Floodlight. Trace-driven experiments on our prototype show that an effective switch grouping is easy to maintain in multi-tenant clouds and the central controller can be significantly shielded by staying lazy, with its workload reduced by up to 82%.


title: Confluence Detection for Transformations of Labelled Transition Systems

abstract: The development of complex component software systems can be made more manageable by first creating an abstract model and then incrementally adding details. Model transformation is an approach to add such details in a controlled way. In order for model transformation systems to be useful, it is crucial that they are confluent, i.e. that when applied on a given model, they will always produce a unique output model, independent of the order in which rules of the system are applied on the input. In this work, we consider Labelled Transition Systems (LTSs) to reason about the semantics of models, and LTS transformation systems to reason about model transformations. In related work, the problem of confluence detection has been investigated for general graph structures. We observe, however, that confluence can be detected more efficiently in special cases where the graphs have particular structural properties. In this paper, we present a number of observations to detect confluence of LTS transformation systems, and propose both a new confluence detection algorithm and a conflict resolution algorithm based on them.


title: Towards Practical Graph-Based Verification for an Object-Oriented Concurrency Model

abstract: To harness the power of multi-core and distributed platforms, and to make the development of concurrent software more accessible to software engineers, different object-oriented concurrency models such as SCOOP have been proposed. Despite the practical importance of analysing SCOOP programs, there are currently no general verification approaches that operate directly on program code without additional annotations. One reason for this is the multitude of partially conflicting semantic formalisations for SCOOP (either in theory or by-implementation). Here, we propose a simple graph transformation system (GTS) based run-time semantics for SCOOP that grasps the most common features of all known semantics of the language. This run-time model is implemented in the state-of-the-art GTS tool GROOVE, which allows us to simulate, analyse, and verify a subset of SCOOP programs with respect to deadlocks and other behavioural properties. Besides proposing the first approach to verify SCOOP programs by automatic translation to GTS, we also highlight our experiences of applying GTS (and especially GROOVE) for specifying semantics in the form of a run-time model, which should be transferable to GTS models for other concurrent languages and libraries.


title: A Visual Analytics Approach to Compare Propagation Models in Social Networks

abstract: Numerous propagation models describing social influence in social networks can be found in the literature. This makes the choice of an appropriate model in a given situation difficult. Selecting the most relevant model requires the ability to objectively compare them. This comparison can only be made at the cost of describing models based on a common formalism and yet independent from them. We propose to use graph rewriting to formally describe propagation mechanisms as local transformation rules applied according to a strategy. This approach makes sense when it is supported by a visual analytics framework dedicated to graph rewriting. The paper first presents our methodology to describe some propagation models as a graph rewriting problem. Then, we illustrate how our visual analytics framework allows to interactively manipulate models, and underline their differences based on measures computed on simulation traces.


title: Dynamic Programming on Nominal Graphs

abstract: Many optimization problems can be naturally represented as (hyper) graphs, where vertices correspond to variables and edges to tasks, whose cost depends on the values of the adjacent variables. Capitalizing on the structure of the graph, suitable dynamic programming strategies can select certain orders of evaluation of the variables which guarantee to reach both an optimal solution and a minimal size of the tables computed in the optimization process. In this paper we introduce a simple algebraic specification with parallel composition and restriction whose terms up to structural axioms are the graphs mentioned above. In addition, free (unrestricted) vertices are labelled with variables, and the specification includes operations of name permutation with finite support. We show a correspondence between the well-known tree decompositions of graphs and our terms. If an axiom of scope extension is dropped, several (hierarchical) terms actually correspond to the same graph. A suitable graphical structure can be found, corresponding to every hierarchical term. Evaluating such a graphical structure in some target algebra yields a dynamic programming strategy. If the target algebra satisfies the scope extension axiom, then the result does not depend on the particular structure, but only on the original graph. We apply our approach to the parking optimization problem developed in the ASCENS e-mobility case study, in collaboration with Volkswagen. Dynamic programming evaluations are particularly interesting for autonomic systems, where actual behavior often consists of propagating local knowledge to obtain global knowledge and getting it back for local decisions.


title: Improved Conflict Detection for Graph Transformation with Attributes

abstract: In graph transformation, a conflict describes a situation where two alternative transformations cannot be arbitrarily serialized. When enriching graphs with attributes, existing conflict detection techniques typically report a conflict whenever at least one of two transformations manipulates a shared attribute. In this paper, we propose an improved, less conservative condition for static conflict detection of graph transformation with attributes by explicitly taking the semantics of the attribute operations into account. The proposed technique is based on symbolic graphs, which extend the traditional notion of graphs by logic formulas used for attribute handling. The approach is proven complete, i.e., any potential conflict is guaranteed to be detected.


title: Detecting and Refactoring Operational Smells within the Domain Name System

abstract: The Domain Name System (DNS) is one of the most important components of the Internet infrastructure. DNS relies on a delegation-based architecture, where resolution of names to their IP addresses requires resolving the names of the servers responsible for those names. The recursive structures of the inter dependencies that exist between name servers associated with each zone are called dependency graphs. System administrators' operational decisions have far reaching effects on the DNSs qualities. They need to be soundly made to create a balance between the availability, security and resilience of the system. We utilize dependency graphs to identify, detect and catalogue operational bad smells. Our method deals with smells on a high-level of abstraction using a consistent taxonomy and reusable vocabulary, defined by a DNS Operational Model. The method will be used to build a diagnostic advisory tool that will detect configuration changes that might decrease the robustness or security posture of domain names before they become into production.


title: Aggregation by Provenance Types: A Technique for Summarising Provenance Graphs

abstract: As users become confronted with a deluge of provenance data, dedicated techniques are required to make sense of this kind of information. We present Aggregation by Provenance Types, a provenance graph analysis that is capable of generating provenance graph summaries. It proceeds by converting provenance paths up to some length k to attributes, referred to as provenance types, and by grouping nodes that have the same provenance types. The summary also includes numeric values representing the frequency of nodes and edges in the original graph. A quantitative evaluation and a complexity analysis show that this technique is tractable; with small values of k, it can produce useful summaries and can help detect outliers. We illustrate how the generated summaries can further be used for conformance checking and visualization.


title: Quivers for silting mutation

abstract: We give a combinatorial mutation rule for Aihara's and Iyama's silting mutation. As an application, we reprove Keller-Yang's mutation rule for Ginzburg algebras, and obtain an analog of that rule for arbitrary dimension.


title: Periodic continued fractions and Kronecker symbols

abstract: We study the Kronecker symbol $\left(\frac st\right)$ for the sequence of the convergents $s/t$ of a purely periodic continued fraction expansion. Whereas the corresponding sequence of Jacobi symbols is always periodic, it turns out that the sequence of Kronecker symbols may be aperiodic. Our main result describes the period length in the periodic case in terms of the period length of the sequence of Jacobi symbols and gives a necessary and sufficient condition for the occurrence of the aperiodic case.


title: Spatial Distributions of Local Elastic Moduli Near the Jamming Transition

abstract: Recent progress on studies of the nanoscale mechanical responses in disordered systems has highlighted a strong degree of heterogeneity in the elastic moduli. In this contribution, using computer simulations, we study the elastic heterogeneities in athermal amorphous solids, composed of isotropic, static, sphere packings, near the jamming transition. We employ techniques, based on linear response methods, that are amenable to experimentation. We find that the local elastic moduli are randomly distributed in space and are described by Gaussian probability distributions, thereby lacking any significant spatial correlations, that persists all the way down to the transition point. However, the shear modulus fluctuations grow as the jamming threshold is approached, which is characterized by a new power-law scaling. Through this diverging behavior we are able to identify a characteristic length scale, associated with shear modulus heterogeneities, that distinguishes between bulk and local elastic responses.


title: Refined Chern-Simons Theory in Genus Two

abstract: Reshetikhin-Turaev (a.k.a. Chern-Simons) TQFT is a functor that associates vector spaces to two-dimensional genus g surfaces and linear operators to automorphisms of surfaces. The purpose of this paper is to demonstrate that there exists a Macdonald q,t-deformation -- refinement -- of these operators that preserves the defining relations of the mapping class groups beyond genus 1. For this we explicitly construct the refined TQFT representation of the genus 2 mapping class group in the case of rank one TQFT. This is a direct generalization of the original genus 1 construction of arXiv:1105.5117, opening a question if it extends to any genus. Our construction is built upon a q,t-deformation of the square of q-6j symbol of U_q(sl_2), which we define using the Macdonald version of Fourier duality. This allows to compute the refined Jones polynomial for arbitrary knots in genus 2. In contrast with genus 1, the refined Jones polynomial in genus 2 does not appear to agree with the Poincare polynomial of the triply graded HOMFLY knot homology.


title: A Reference Interpreter for the Graph Programming Language GP 2

abstract: GP 2 is an experimental programming language for computing by graph transformation. An initial interpreter for GP 2, written in the functional language Haskell, provides a concise and simply structured reference implementation. Despite its simplicity, the performance of the interpreter is sufficient for the comparative investigation of a range of test programs. It also provides a platform for the development of more sophisticated implementations.


title: Maximum Entropy Linear Manifold for Learning Discriminative Low-dimensional Representation

abstract: Representation learning is currently a very hot topic in modern machine learning, mostly due to the great success of the deep learning methods. In particular low-dimensional representation which discriminates classes can not only enhance the classification procedure, but also make it faster, while contrary to the high-dimensional embeddings can be efficiently used for visual based exploratory data analysis. In this paper we propose Maximum Entropy Linear Manifold (MELM), a multidimensional generalization of Multithreshold Entropy Linear Classifier model which is able to find a low-dimensional linear data projection maximizing discriminativeness of projected classes. As a result we obtain a linear embedding which can be used for classification, class aware dimensionality reduction and data visualization. MELM provides highly discriminative 2D projections of the data which can be used as a method for constructing robust classifiers. We provide both empirical evaluation as well as some interesting theoretical properties of our objective function such us scale and affine transformation invariance, connections with PCA and bounding of the expected balanced accuracy error.


title: Some integral curvature estimates for the Ricci flow in four dimensions

abstract: We consider solutions (M,g(t)), 0 <= t <T, to Ricci flow on compact, four dimensional manifolds without boundary. We prove integral curvature estimates which are valid for any such solution. In the case that the scalar curvature is bounded and T is finite, we show that these estimates imply that the (spatial) integral of the square of the norm of the Riemannian curvature is bounded by a constant independent of time t for all 0 <= t<T and that the space time integral over M x [0,T) of the fourth power of the norm of the Ricci curvature is bounded.


title: Sub-Poissonian Statistics of Jamming Limits in Ultracold Rydberg Gases

abstract: Several recent experiments have established by measuring the Mandel Q parameter that the number of Rydberg excitations in ultracold gases exhibits sub-Poissonian statistics. This effect is attributed to the Rydberg blockade that occurs due to the strong interatomic interactions between highly-excited atoms. Because of this blockade effect, the system can end up in a state in which all particles are either excited or blocked: a jamming limit. We analyze appropriately constructed random-graph models that capture the blockade effect, and derive formulae for the mean and variance of the number of Rydberg excitations in jamming limits. This yields an explicit relationship between the Mandel Q parameter and the blockade effect, and comparison to measurement data shows strong agreement between theory and experiment.


title: Spectrum of partial integral operators with degenerate kernel

abstract: In the paper we consider self-adjoint partial integral operators of Fredholm type $T$ with a degenerate kernel on the space $L_2([a,b]\times[c,d]).$ Essential and discrete spectra of $T$ are described.


title: Physics of Gamma-Ray Bursts Prompt Emission

abstract: In recent years, our understanding of gamma-ray bursts (GRB) prompt emission has been revolutionized, due to a combination of new instruments, new analysis methods and novel ideas. In this review, I describe the most recent observational results and the current theoretical interpretation. Observationally, a major development is the rise of time-resolved spectral analysis. These led to (I) identification of a distinguished high energy component, with GeV photons often seen at a delay; and (II) firm evidence for the existence of a photospheric (thermal) component in a large number of bursts. These results triggered many theoretical efforts aimed at understanding the physical conditions in the inner jet regions from which the prompt photons are emitted, as well as the spectral diversity observed. I highlight some areas of active theoretical research. These include: (I) understanding the role played by magnetic fields in shaping the dynamics of GRB outflow and spectra; (II) understanding the microphysics of kinetic and magnetic energy transfer, namely accelerating particle to high energies in both shock waves and magnetic reconnection layers; (III) understanding how sub-photospheric energy dissipation broadens the "Planck" spectrum; and (IV) geometrical light aberration effects. I highlight some of these efforts, and point towards gaps that still exist in our knowledge as well as promising directions for the future.


title: What are Strategies in Delay Games? Borel Determinacy for Games with Lookahead

abstract: We investigate determinacy of delay games with Borel winning conditions, infinite-duration two-player games in which one player may delay her moves to obtain a lookahead on her opponent's moves. First, we prove determinacy of such games with respect to a fixed evolution of the lookahead. However, strategies in such games may depend on information about the evolution. Thus, we introduce different notions of universal strategies for both players, which are evolution-independent, and determine the exact amount of information a universal strategy needs about the history of a play and the evolution of the lookahead to be winning. In particular, we show that delay games with Borel winning conditions are determined with respect to universal strategies. Finally, we consider decidability problems, e.g., "Does a player have a universal winning strategy for delay games with a given winning condition?", for omega-regular and omega-context-free winning conditions.


title: Stable simplex spline bases for $C^3$ quintics on the Powell-Sabin 12-split

abstract: For the space of $C^3$ quintics on the Powell-Sabin 12-split of a triangle, we determine explicitly the six symmetric simplex spline bases that reduce to a B-spline basis on each edge, have a positive partition of unity, a Marsden identity that splits into real linear factors, and an intuitive domain mesh. The bases are stable in the $L_\infty$ norm with a condition number independent of the geometry, have a well-conditioned Lagrange interpolant at the domain points, and a quasi-interpolant with local approximation order 6. We show an $h^2$ bound for the distance between the control points and the values of a spline at the corresponding domain points. For one of these bases we derive $C^0$, $C^1$, $C^2$ and $C^3$ conditions on the control points of two splines on adjacent macrotriangles.


title: Variation of magnetic properties of Sr$_2$FeMoO$_6$ due to oxygen vacancies

abstract: Oxygen vacancies can be of utmost importance for improving or deteriorating physical properties of oxide materials. Here, we studied from first-principles the electronic and magnetic properties of oxygen vacancies in the double perovskite Sr$_2$FeMoO$_6$ (SFMO). We show that oxygen vacancies can increase the Curie temperature in SFMO, although the total magnetic moment is reduced at the same time. We found also that the experimentally observed valence change of the Fe ions from $3+$ to $2+$ in the x-ray magnetic circular dichroism (XMCD) measurements is better explained by oxygen vacancies than by the assumed mixed valence state. The agreement of the calculated x-ray absorption spectra and XMCD results with experimental data is considerably improved by inclusion of oxygen vacancies.


title: The first Stekloff eigenvalue in weighted Riemannian manifolds

abstract: In study of eigenvalue problems, a classical problem is the Stekloff eigenvalue problem. There are many estimates of the first non- zero Stekloff eigenvalue, including a sharp estimate on surfaces, obtained by Escobar in "The geometry of the first non-zero Stekloff eigenvalue, J. Funct. Anal. 150 (1997)". In this paper we are interested to study this problem in weighted context. Various estimates are obtained, including a sharp estimate on surfaces, similar to that Escobar obtained.


title: Observation of the first iso-spin Charmonium-like State $Z_c(4020)$ }

abstract: In this paper, we present a new experimental progress in brief on the recent observation of the charged charmonium-like state Z_c(4020)^{+/-} states and its iso-spin partner Z_c(4020)^{0} in pi pi hc process at the BESIII experiment. The charged Z_{c}(4020) is its decay into \pi^{+/-} hc final state, and carries electric charge, thus it contains at least four quarks. The observation of both charge and neutral state makes Z_{c}(4020) the first iso-spin triplet Z_{c} state observed in experiment.


title: Some factorizations in the twisted group algebra of symmetric groups

abstract: In this paper we will give a similar factorization as in \cite{4}, \cite{5}, where the autors Svrtan and Meljanac examined certain matrix factorizations on Fock-like representation of a multiparametric quon algebra on the free associative algebra of noncommuting polynomials equiped with multiparametric partial derivatives. In order to replace these matrix factorizations (given from the right) by twisted algebra computation, we first consider the natural action of the symmetric group $S_{n}$ on the polynomial ring $R_{n}$ in $n^2$ commuting variables $X_{a\,b}$ and also introduce a twisted group algebra (defined by the action of $S_{n}$ on $R_{n}$) which we denote by ${\mathcal{A}(S_{n})}$. Here we consider some factorizations given from the left because they will be more suitable in calculating the constants (= the elements which are annihilated by all multiparametric partial derivatives) in the free algebra of noncommuting polynomials.


title: Turbulent Rayleigh-B\'enard convection in spherical shells

abstract: We simulate numerically Boussinesq convection in non-rotating spherical shells for a fluid with a unity Prandtl number and Rayleigh numbers up to $10^9$. In this geometry, curvature and radial variations of the gravitationnal acceleration yield asymmetric boundary layers. A systematic parameter study for various radius ratios (from $\eta=r_i/r_o=0.2$ to $\eta=0.95$) and gravity profiles allows us to explore the dependence of the asymmetry on these parameters. We find that the average plume spacing is comparable between the spherical inner and outer bounding surfaces. An estimate of the average plume separation allows us to accurately predict the boundary layer asymmetry for the various spherical shell configurations explored here. The mean temperature and horizontal velocity profiles are in good agreement with classical Prandtl-Blasius laminar boundary layer profiles, provided the boundary layers are analysed in a dynamical frame, that fluctuates with the local and instantaneous boundary layer thicknesses. The scaling properties of the Nusselt and Reynolds numbers are investigated by separating the bulk and boundary layer contributions to the thermal and viscous dissipation rates using numerical models with $\eta=0.6$ and a gravity proportional to $1/r^2$. We show that our spherical models are consistent with the predictions of Grossmann \& Lohse's (2000) theory and that $Nu(Ra)$ and $Re(Ra)$ scalings are in good agreement with plane layer results.

categories: physics.flu-dyn astro-ph.EP astro-ph.SR physics.geo-ph


title: Extended-soft-core Baryon-Baryon ESC08 model III. S=-2 Hyperon-hyperon/nucleon Interaction

abstract: This paper presents the Extended-Soft-Core (ESC) potentials ESC08c for baryon-baryon channels with total strangeness S=-2. The potential models for S=-2 are based on SU(3) extensions of ESC potential models for the S=0 and S=-1 sectors, which are fitted to experimental data. Flavor SU(3)-symmetry is broken only kinematically by the masses of the baryons and the mesons. For the S=-2 channels no experimental scattering data exist, and also the information from hypernuclei is rather limited. Nevertheless, in the fit to the S=0 and S=-1 sectors information from the so called NAGARA event and the $\Xi$-well-depth has been used as constraints to determine the free parameters in the simultaneous fit of the $NN \oplus YN \oplus YY$ data. Therefore, the potentials for the S=-2 sector are determined mainly by the NN-, YN-data, and SU(3)-symmetry.Various properties of the potentials are illustrated by giving results for scattering lengths, effective ranges, bound states, elastic and inelastic phase parameters, and total cross sections. Notably is the prediction of a bound state D$^*$ in the $\Xi N(^3S_1,I=1)$-channel with a binding energy $B_E=1.56$ MeV. This state is deuteron-like, i.e. a member of the $\{10^*\}$-decuplet. As for the normal deuteron $D= pn(^3S_1-^3D_1)$ the strong tensor force is responsible for this state. The features of $\Xi$ hypernuclei predicted by ESC08c are studied on the basis of the G-matrix approch. The well-depth $U_\Xi= -7.0$ MeV, and the $\Xi -\Lambda\Lambda$ conversion width is $\Gamma_\Xi^c= 4.5$ MeV.


title: Observational constraints on the progenitors of core-collapse supernovae : the case for missing high mass stars

abstract: Over the last 15 years, the supernova community has endeavoured to identify progenitor stars of core-collapse supernovae in high resolution archival images of their galaxies.This review compiles results (from 1999 - 2013) in a distance limited sample and discusses the implications. The vast majority of the detections of progenitor stars are of type II-P, II-L or IIb with one type Ib progenitor system detected and many more upper limits for progenitors of Ibc supernovae (14). The data for these 45 supernovae progenitors illustrate a remarkable deficit of high luminosity stars above an apparent limit of Log L ~= 5.1 dex. For a typical Salpeter IMF, one would expect to have found 13 high luminosity and high mass progenitors. There is, possibly, only one object in this time and volume limited sample that is unambiguously high mass (the progenitor of SN2009ip). The possible biases due to the influence of circumstellar dust and sample selection methods are reviewed. It does not appear likely that these can explain the missing high mass progenitor stars. This review concludes that the observed populations of supernovae in the local Universe are not, on the whole, produced by high mass (M > ~18Msun) stars. Theoretical explosions of model stars also predict that black hole formation and failed supernovae tend to occur above M > ~18Msun. The models also suggest there are islands of explodability for stars in the 8-120Msun range. The observational constraints are quite consistent with the bulk of stars above M > ~18Msun collapsing to form black holes with no visible supernovae. (Abridged).


title: Global well-posedness and grow-up rate of solutions for a sublinear pseudoparabolic equation

abstract: We study positive solutions of the pseudoparabolic equation with a sublinear source in $\mathbb{R}^n$. In this work, the source coefficient could be unbounded and time-dependent. Global existence of solutions to the Cauchy problem is established within weighted continuous spaces by approximation and monotonicity arguments. Every solution with non-zero initial value is shown to exhibit a certain lower grow-up and radial growth bound, depending only upon the sublinearity and the unbounded, time-dependent potential. Using the lower grow-up/growth bound, we can prove the key comparison principle. Then we settle the uniqueness of solutions for the problem with non-zero initial condition by employing the comparison principle. For the problem with the zero initial condition, we can classify the non-trivial solutions in terms of the maximal solutions. When the initial condition has a power radial growth, we can derive the precise asymptotic grow-up rate of solutions and obtain the critical growth exponent.


title: Measurements of $B\rightarrow \bar{D} D_{s0} ^{*+}(2317)$ decay rates and a search for isospin partners of the $D_{s0}^{*+} (2317)$

abstract: We report improved measurements of the product branching fractions ${\mathcal B}(B^+\rightarrow\bar{D}^0 D_{s0}^{*+} (2317))\times{\mathcal B}( D_{s0} ^{*+}(2317)\rightarrow D_s^{+}\pi^0) =(8.0^{+1.3}_{-1.2} \pm 1.1 \pm 0.4)\times 10^{-4}$ and ${\mathcal B}(B^0\rightarrow D^- D_{s0} ^{*+}(2317))\times{\mathcal B}(D_{s0}^{*+}(2317)\rightarrow D_s^{+}\pi^0) =(10.2^{+1.3}_{-1.2} \pm 1.0 \pm 0.4)\times 10^{-4}$, where the first errors are statistical, the second are systematic and the third are from $D$ and $D_s$ branching fractions. In addition, we report negative results from a search for hypothesized neutral ($Z^0$) and doubly charged ($Z^{++}$) isospin partners of the $D_{s0}^{*+}(2317)$ and provide upper limits on the product branching fractions ${\mathcal B}(B^0 \rightarrow D^0 z^0)\times{\mathcal B}(z^0\rightarrow D_s^{+}\pi^-)$ and ${\mathcal B}(B^+\rightarrow D^- z^{++})\times{\mathcal B}(z^{++}\rightarrow D_s^{+}\pi^+)$ that are more than an order of magnitude smaller than theoretical expectations for the hypotheses that the $D_{s0} ^{*+}(2317)$ is a member of an isospin triplet. The analysis uses a 711 fb$^{-1}$ data sample containing 772 million $B\bar{B}$ meson pairs collected at the $\Upsilon(4S)$ resonance in the Belle detector at the KEKB collider.


title: Unbiased charge oscillations in DNA monomer-polymers and dimer-polymers

abstract: We call {\it monomer} a B-DNA base-pair and examine, analytically and numerically, electron or hole oscillations in monomer- and dimer-polymers, i.e., periodic sequences with repetition unit made of one or two monomers. We employ a tight-binding (TB) approach at the base-pair level to readily determine the spatiotemporal evolution of a single extra carrier along a $N$ base-pair polymer. We study HOMO and LUMO eigenspectra as well as the mean over time probabilities to find the carrier at a particular monomer. We use the pure mean transfer rate $k$ to evaluate the easiness of charge transfer. The inverse decay length $\beta$ for exponential fits $k(d)$, where $d$ is the charge transfer distance, and the exponent $\eta$ for power law fits $k(N)$ are computed; generally power law fits are better. We illustrate that increasing the number of different parameters involved in the TB description, the fall of $k(d)$ or $k(N)$ becomes steeper and show the range covered by $\beta$ and $\eta$. Finally, both for the time-independent and the time-dependent problem, we analyze the {\it palindromicity} and the {\it degree of eigenspectrum dependence} of the probabilities to find the carrier at a particular monomer.


title: On Lie-central extensions of Leibniz algebras

abstract: Basing ourselves on the categorical notions of central extensions and commutators in the framework of semi-abelian categories relative to a Birkhoff subcategory, we study central extensions of Leibniz algebras with respect to the Birkhoff subcategory of Lie algebras, called Lie-central extensions. We obtain a six-term exact homology sequence associated to a Lie-central extension. This sequence, together with the relative commutators, allows us to characterize several classes of Lie-central extensions, such as Lie-trivial, Lie-stem and Lie-stem cover, to introduce and characterize Lie-unicentral, Lie-capable, Lie-solvable and Lie-nilpotent Leibniz algebras.


title: Scattering for NLS with a delta potential

abstract: We prove $H^1$ scattering for defocusing NLS with a delta potential and mass-supercritical nonlinearity, hence extending in an inhomogeneous setting the classical 1-D scattering results first proved by Nakanishi in the translation invariant case.


title: Self-focusing and plasma channels formation for non-axisymmetric optical schemes under different orientation of laser pulse linear polarization

abstract: Filamentation of linear polarized ultrashort laser pulses in non-axisymmetric optical schemes with preferential directions to the optical axis in dependence on the beam orientation was experimentally studied. Our experiments demonstrated strong influence of a laser beam orientation on self-focusing of the beam and plasma generation during filamentation. Maximum of linear plasma density generated by an astigmatic laser pulse was different in both meridional and sagittal foci and depended on the beam orientation. A difference of linear plasma density was observed in the case of superposition of two parts of the laser beam going through a two-hole diaphragm depending on the beam orientation and through a slit for collinear and normal slit orientation relative to the beam orientation. Laser pulses in IR and UV wavelength domains led to similar result.


title: On the Importance of Interpretation in Quantum Physics. A Reply to Elise Crull

abstract: Crull (2014) claims that by invoking decoherence it is possible (i) to obviate many ``fine grained'' issues often conflated under the common designation of measurement problem, and (ii) to make substantial progresses in the fields of quantum gravity and quantum cosmology, without any early incorporation of a particular interpretation in the quantum formalism. We point out that Crull is mistaken about decoherence and tacitly assumes some kind of interpretation of the quantum formalism.


title: Few-body entanglement manipulation

abstract: In order to cope with the fact that there exists no single maximally entangled state (up to local unitaries) in the multipartite setting, we introduced in [J. I. de Vicente, C. Spee and B. Kraus, Phys. Rev. Lett. 111, 110502 (2013)] the maximally entangled set of n-partite quantum states. This set consists of the states that are most useful under conversion of pure states via Local Operations assisted by Classical Communication (LOCC). We will review our results here on the maximally entangled set of three- and generic four-qubit states. Moreover, we will discuss the preparation of arbitrary (pure or mixed) states via deterministic LOCC transformations. In particular, we will consider the deterministic preparation of arbitrary three-qubit (four-qubit) states via LOCC using as a resource a six-qubit (23-qubit) state respectively.


title: OneMax in Black-Box Models with Several Restrictions

abstract: Black-box complexity studies lower bounds for the efficiency of general-purpose black-box optimization algorithms such as evolutionary algorithms and other search heuristics. Different models exist, each one being designed to analyze a different aspect of typical heuristics such as the memory size or the variation operators in use. While most of the previous works focus on one particular such aspect, we consider in this work how the combination of several algorithmic restrictions influence the black-box complexity. Our testbed are so-called OneMax functions, a classical set of test functions that is intimately related to classic coin-weighing problems and to the board game Mastermind. We analyze in particular the combined memory-restricted ranking-based black-box complexity of OneMax for different memory sizes. While its isolated memory-restricted as well as its ranking-based black-box complexity for bit strings of length $n$ is only of order $n/\log n$, the combined model does not allow for algorithms being faster than linear in $n$, as can be seen by standard information-theoretic considerations. We show that this linear bound is indeed asymptotically tight. Similar results are obtained for other memory- and offspring-sizes. Our results also apply to the (Monte Carlo) complexity of OneMax in the recently introduced elitist model, in which only the best-so-far solution can be kept in the memory. Finally, we also provide improved lower bounds for the complexity of OneMax in the regarded models. Our result enlivens the quest for natural evolutionary algorithms optimizing OneMax in $o(n \log n)$ iterations.


title: Superconducting dark energy

abstract: Based on the analogy with superconductor physics we consider a scalar-vector-tensor gravitational model, in which the dark energy action is described by a gauge invariant electromagnetic type functional. By assuming that the ground state of the dark energy is in a form of a condensate with the U(1) symmetry spontaneously broken, the gauge invariant electromagnetic dark energy can be described in terms of the combination of a vector and of a scalar field (corresponding to the Goldstone boson), respectively. The gravitational field equations are obtained by also assuming the possibility of a non-minimal coupling between the cosmological mass current and the superconducting dark energy. The cosmological implications of the dark energy model are investigated for a Friedmann-Robertson-Walker homogeneous and isotropic geometry for two particular choices of the electromagnetic type potential, corresponding to a pure electric type field, and to a pure magnetic field, respectively. The time evolution of the scale factor, matter energy density and deceleration parameter are obtained for both cases, and it is shown that in the presence of the superconducting dark energy the Universe ends its evolution in an exponentially accelerating vacuum de Sitter state. By using the formalism of the irreversible thermodynamic processes for open systems we interpret the generalized conservation equations in the superconducting dark energy model as describing matter creation. The particle production rates, the creation pressure and the entropy evolution are explicitly obtained.


title: Adaptive discontinuous Galerkin methods for nonlinear parabolic problems

abstract: This work is devoted to the study of a posteriori error estimation and adaptivity in parabolic problems with a particular focus on spatial discontinuous Galerkin (dG) discretisations. We begin by deriving an a posteriori error estimator for a linear non-stationary convection-diffusion problem that is discretised with a backward Euler dG method. An adaptive algorithm is then proposed to utilise the error estimator. The effectiveness of both the error estimator and the proposed algorithm is shown through a series of numerical experiments. Moving on to nonlinear problems, we investigate the numerical approximation of blow-up. To begin this study, we first look at the numerical approximation of blow-up in nonlinear ODEs through standard time stepping schemes. We then derive an a posteriori error estimator for an implicit-explicit (IMEX) dG discretisation of a semilinear parabolic PDE with quadratic nonlinearity. An adaptive algorithm is proposed that uses the error estimator to approach the blow-up time. The adaptive algorithm is then applied in a series of test cases to gauge the effectiveness of the error estimator. Finally, we consider the adaptive numerical approximation of a nonlinear interface problem that is used to model the mass transfer of solutes through semi-permiable membranes. An a posteriori error estimator is proposed for the IMEX dG discretisation of the model and its effectiveness tested through a series of numerical experiments.


title: The BEM with graded meshes for the electric field integral equation on polyhedral surfaces

abstract: We consider the variational formulation of the electric field integral equation on a Lipschitz polyhedral surface $\Gamma$. We study the Galerkin boundary element discretisations based on the lowest-order Raviart-Thomas surface elements on a sequence of anisotropic meshes algebraically graded towards the edges of $\Gamma$. We establish quasi-optimal convergence of Galerkin solutions under a mild restriction on the strength of grading. The key ingredient of our convergence analysis are new componentwise stability properties of the Raviart-Thomas interpolant on anisotropic elements.


title: Time-causal and time-recursive spatio-temporal receptive fields

abstract: We present an improved model and theory for time-causal and time-recursive spatio-temporal receptive fields, based on a combination of Gaussian receptive fields over the spatial domain and first-order integrators or equivalently truncated exponential filters coupled in cascade over the temporal domain. Compared to previous spatio-temporal scale-space formulations in terms of non-enhancement of local extrema or scale invariance, these receptive fields are based on different scale-space axiomatics over time by ensuring non-creation of new local extrema or zero-crossings with increasing temporal scale. Specifically, extensions are presented about (i) parameterizing the intermediate temporal scale levels, (ii) analysing the resulting temporal dynamics, (iii) transferring the theory to a discrete implementation, (iv) computing scale-normalized spatio-temporal derivative expressions for spatio-temporal feature detection and (v) computational modelling of receptive fields in the lateral geniculate nucleus (LGN) and the primary visual cortex (V1) in biological vision. We show that by distributing the intermediate temporal scale levels according to a logarithmic distribution, we obtain much faster temporal response properties (shorter temporal delays) compared to a uniform distribution. Specifically, these kernels converge very rapidly to a limit kernel possessing true self-similar scale-invariant properties over temporal scales, thereby allowing for true scale invariance over variations in the temporal scale, although the underlying temporal scale-space representation is based on a discretized temporal scale parameter. We show how scale-normalized temporal derivatives can be defined for these time-causal scale-space kernels and how the composed theory can be used for computing basic types of scale-normalized spatio-temporal derivative expressions in a computationally efficient manner.


title: Thermal fluctuations, mechanical response, and hyperuniformity in jammed solids

abstract: Jamming is a geometric phase transition occurring in dense particle systems in the absence of temperature. We use computer simulations to analyse the effect of thermal fluctuations on several signatures of the transition. We show that scaling laws for bulk and shear moduli only become relevant when thermal fluctuations are extremely small, and propose their relative ratio as a quantitative signature of jamming criticality. Despite the nonequilibrium nature of the transition, we find that thermally induced fluctuations and mechanical responses obey equilibrium fluctuation-dissipation relations near jamming, provided the appropriate fluctuating component of the particle displacements is analysed. This shows that mechanical moduli can be directly measured from particle positions in mechanically unperturbed packings, and suggests that the definition of a "nonequilibrium index" is unnecessary for amorphous materials. We find that fluctuations of particle displacements are spatially correlated, and define a transverse and a longitudinal correlation lengthscales which both diverge as the jamming transition is approached. We analyse the frozen component of density fluctuations and find that it displays signatures of nearly-hyperuniform behaviour at large lengthscales. This demonstrates that hyperuniformity in jammed packings is unrelated to a vanishing compressibility and explains why it appears remarkably robust against temperature and density variations. Differently from jamming criticality, obstacles preventing the observation of hyperuniformity in colloidal systems do not originate from thermal fluctuations.


title: Transversals in $4$-Uniform Hypergraphs

abstract: Let $H$ be a $3$-regular $4$-uniform hypergraph on $n$ vertices. The transversal number $\tau(H)$ of $H$ is the minimum number of vertices that intersect every edge. Lai and Chang [J. Combin. Theory Ser. B 50 (1990), 129--133] proved that $\tau(H) \le 7n/18$. Thomass\'{e} and Yeo [Combinatorica 27 (2007), 473--487] improved this bound and showed that $\tau(H) \le 8n/21$. We provide a further improvement and prove that $\tau(H) \le 3n/8$, which is best possible due to a hypergraph of order eight. More generally, we show that if $H$ is a $4$-uniform hypergraph on $n$ vertices and $m$ edges with maximum degree $\Delta(H) \le 3$, then $\tau(H) \le n/4 + m/6$, which proves a known conjecture. We show that an easy corollary of our main result is that the total domination number of a graph on $n$ vertices with minimum degree at least~4 is at most $3n/7$, which was the main result of the Thomass\'{e}-Yeo paper [Combinatorica 27 (2007), 473--487].


title: Reachability analysis of first-order definable pushdown systems

abstract: We study pushdown systems where control states, stack alphabet, and transition relation, instead of being finite, are first-order definable in a fixed countably-infinite structure. We show that the reachability analysis can be addressed with the well-known saturation technique for the wide class of oligomorphic structures. Moreover, for the more restrictive homogeneous structures, we are able to give concrete complexity upper bounds. We show ample applicability of our technique by presenting several concrete examples of homogeneous structures, subsuming, with optimal complexity, known results from the literature. We show that infinitely many such examples of homogeneous structures can be obtained with the classical wreath product construction.


title: Microscopic origins of shear stress in dense fluid-grain mixtures

abstract: A numerical model is used to simulate rheometer experiments at constant normal stress on dense suspensions of spheres. The complete model includes sphere-sphere contacts using a soft contact approach, short range hydrodynamic interactions defined by frame-invariant expressions of forces and torques in the lubrication approximation, and drag forces resulting from the poromechanical coupling computed with the DEM-PFV technique. Series of simulations in which some of the coupling terms are neglected highlight the role of the poromechanical coupling in the transient regimes. They also reveal that the shear component of the lubrication forces, though frequently neglected in the literature, has a dominant effect in the volume changes. On the other hand, the effects of lubrication torques are much less significant. The bulk shear stress is decomposed into contact stress and hydrodynamic stress terms whose dependency on a dimensionless shear rate - the so called viscous number $I_v$ - are examined. Both contributions are increasing functions of $I_v$, contacts contribution dominates at low viscous number ($I_v<$0.15) whereas lubrication contributions are dominant for $I_v>$ 0.15, consistently with a phenomenological law infered by other authors. Statistics of microstructural variables highlight a complex interplay between solid contacts and hydrodynamic interactions. In contrast with a popular idea, the results suggest that lubrication may not necessarily reduce the contribution of contact forces to the bulk shear stress. The proposed model is general and applies directly to sheared immersed granular media in which pore pressure feedback plays a key role (triggering of avalanches, liquefaction).


title: Automorphism Supergroups Of Supermanifolds

abstract: A classical theorem states that the group of automorphisms of a manifold $M$ preserving a $G$-structure of finite type is a Lie group. We generalize this statement to the category of $cs$ manifolds and give some examples, some of which being generalizations of classical notions, others being particular to the super case. Notably, we have to introduce a new notion of supermanifolds which we call mixed supermanifolds.


title: Variable selection and estimation for semi-parametric multiple-index models

abstract: In this paper, we propose a novel method to select significant variables and estimate the corresponding coefficients in multiple-index models with a group structure. All existing approaches for single-index models cannot be extended directly to handle this issue with several indices. This method integrates a popularly used shrinkage penalty such as LASSO with the group-wise minimum average variance estimation. It is capable of simultaneous dimension reduction and variable selection, while incorporating the group structure in predictors. Interestingly, the proposed estimator with the LASSO penalty then behaves like an estimator with an adaptive LASSO penalty. The estimator achieves consistency of variable selection without sacrificing the root-$n$ consistency of basis estimation. Simulation studies and a real-data example illustrate the effectiveness and efficiency of the new method.


title: Topological water wave state in a one-dimensional structure

abstract: Topological concepts have been introduced into electronic, photonic, and phononic systems, but have not been studied in surface-water-wave systems. Here we study a one-dimensional periodic resonant surface-water-wave system and demonstrate its topological transition. By selecting three different water depths, we can construct different types of water waves - shallow, intermediate and deep water waves. The periodic surface-water-wave system consists of an array of cylindrical water tanks connected with narrow water channels. As the width of connecting channel varies, the band diagram undergoes a topological transition which can be further characterized by Zak phase. This topological transition holds true for shallow, intermediate and deep water waves. However, the interface state at the boundary separating two topologically distinct arrays of water tanks can exhibit different bands for shallow, intermediate and deep water waves. Our work studies for the first time topological properties of water wave systems, and paves the way to potential management of water waves.


title: A complex network approach to cloud computing

abstract: Cloud computing has become an important means to speed up computing. One problem influencing heavily the performance of such systems is the choice of nodes as servers responsible for executing the users' tasks. In this article we report how complex networks can be used to model such a problem. More specifically, we investigate the performance of the processing respectively to cloud systems underlain by Erdos-Renyi and Barabasi-Albert topology containing two servers. Cloud networks involving two communities not necessarily of the same size are also considered in our analysis. The performance of each configuration is quantified in terms of two indices: the cost of communication between the user and the nearest server, and the balance of the distribution of tasks between the two servers. Regarding the latter index, the ER topology provides better performance than the BA case for smaller average degrees and opposite behavior for larger average degrees. With respect to the cost, smaller values are found in the BA topology irrespective of the average degree. In addition, we also verified that it is easier to find good servers in the ER than in BA. Surprisingly, balance and cost are not too much affected by the presence of communities. However, for a well-defined community network, we found that it is important to assign each server to a different community so as to achieve better performance.


title: Three-phase contact line and line tension of electrolyte solutions in contact with charged substrates

abstract: The three-phase contact line formed by the intersection of a liquid-vapor interface of an electrolyte solution with a charged planar substrate is studied in terms of classical density functional theory applied to a lattice model. The influence of the substrate charge density and of the ionic strength of the solution on the intrinsic structure of the three-phase contact line and on the corresponding line tension is analyzed. We find a negative line tension for all values of the surface charge density and of the ionic strength considered. The strength of the line tension decreases upon decreasing the contact angle via varying either the temperature or the substrate charge density.


title: Statistical Estimation of Composite Risk Functionals and Risk Optimization Problems

abstract: We address the statistical estimation of composite functionals which may be nonlinear in the probability measure. Our study is motivated by the need to estimate coherent measures of risk, which become increasingly popular in finance, insurance, and other areas associated with optimization under uncertainty and risk. We establish central limit formulae for composite risk functionals. Furthermore, we discuss the asymptotic behavior of optimization problems whose objectives are composite risk functionals and we establish a central limit formula of their optimal values when an estimator of the risk functional is used. While the mathematical structures accommodate commonly used coherent measures of risk, they have more general character, which may be of independent interest.


title: Broad absorption line (BAL) quasars as a class of low luminosity AGNs

abstract: Broad absorption lines seen in some quasars prove the existence of ionized plasma outflows from the accretion disk. Outflows together with powerful jets are important feedback processes. Understanding physics behind BAL outflows might be a key to comprehend Galaxy Evolution as a whole. First radio-loud BAL quasar was discovered in 1997 and this discovery has opened new possibilities for studies of the BAL phenomena, this time on the basis of radio emission. However, information about the radio structures, orientation and age of BAL quasars is still very limited due to weak radio emission and small sizes of these objects. Our high-resolution radio survey of a sample of BAL quasars aims to increase our knowledge about these objects. In this article, we present some conclusions arising from our research.


title: Metric abstract elementary classes as accessible categories

abstract: We show that metric abstract elementary classes (mAECs) are, in the sense of [LR] (i.e. arXiv:1404.2528), coherent accessible categories with directed colimits, with concrete $\aleph_1$-directed colimits and concrete monomorphisms. More broadly, we define a notion of $\kappa$-concrete AEC---an AEC-like category in which only the $\kappa$-directed colimits need be concrete---and develop the theory of such categories, beginning with a category-theoretic analogue of Shelah's Presentation Theorem and a proof of the existence of an Ehrenfeucht-Mostowski functor in case the category is large. For mAECs in particular, arguments refining those in [LR] yield a proof that any categorical mAEC is $\mu$-d-stable in many cardinals below the categoricity cardinal.


title: Stochastic determination of matrix determinants

abstract: Matrix determinants play an important role in data analysis, in particular when Gaussian processes are involved. Due to currently exploding data volumes, linear operations - matrices - acting on the data are often not accessible directly but are only represented indirectly in form of a computer routine. Such a routine implements the transformation a data vector undergoes under matrix multiplication. While efficient probing routines to estimate a matrix's diagonal or trace, based solely on such computationally affordable matrix-vector multiplications, are well known and frequently used in signal inference, there is no stochastic estimate for its determinant. We introduce a probing method for the logarithm of a determinant of a linear operator. Our method rests upon a reformulation of the log-determinant by an integral representation and the transformation of the involved terms into stochastic expressions. This stochastic determinant determination enables large-size applications in Bayesian inference, in particular evidence calculations, model comparison, and posterior determination.

categories: physics.data-an astro-ph.IM stat.CO stat.ME