title: Modeling astronomically observed interstellar infrared spectra by ionized carbon pentagon-hexagon molecules (c9h7) n+

abstract: Modeling a promising carrier of the astronomically observed polycyclic aromatic hydrocarbon (PAH), infrared (IR) spectra of ionized molecules (C9H7) n+ were calculated based on density functional theory (DFT). In a previous study, it was found that void induced coronene C23H12++ could reproduce observed spectra from 3 to 15 micron, which has carbon two pentagons connected with five hexagons. In this paper, we tried to test the simplest model, that is, one pentagon connected with one hexagon, which is indene like molecule (C9H7) n+ (n=0 to 4). DFT based harmonic frequency analysis resulted that observed spectrum could be almost reproduced by a suitable sum of ionized C9H7n+ molecules. Typical example is C9H7++. Calculated peaks were 3.2, 7.4, 7.6, 8.4, and 12.7 micron, whereas observed one 3.3, 7.6, 7.8, 8.6 and 12.7 micron. By a combination of different degree of ionized molecules, we can expect to reproduce total spectrum. For a comparison, hexagon-hexagon molecule naphthalene (C10H8) n+ was studied. Unfortunately, ionized naphthalene shows little coincidence with observed one. Carbon pentagon- hexagon molecules may play an important role as interstellar molecular dust.


title: When is a subgroup of a ring an ideal?

abstract: Let $R$ be a commutative ring. When is a subgroup of $(R, +)$ an ideal of $R$? We investigate this problem for the rings $\mathbb{Z}^{d}$ and $\prod_{i=1}^{d} \mathbb{Z}_{n_{i}}$. For various subgroups of these rings we obtain necessary and sufficient conditions under which the above question has an affirmative answer. In the case of $\mathbb{Z} \times \mathbb{Z}$ and $\mathbb{Z}_n \times \mathbb{Z}_m$, our results give, for any given subgroup of these rings, a computable criterion for the problem under consideration. We also compute the probability that a randomly chosen subgroup from $\mathbb{Z}_n \times \mathbb{Z}_m$ is an ideal.


title: Learning Contextualized Semantics from Co-occurring Terms via a Siamese Architecture

abstract: One of the biggest challenges in Multimedia information retrieval and understanding is to bridge the semantic gap by properly modeling concept semantics in context. The presence of out of vocabulary (OOV) concepts exacerbates this difficulty. To address the semantic gap issues, we formulate a problem on learning contextualized semantics from descriptive terms and propose a novel Siamese architecture to model the contextualized semantics from descriptive terms. By means of pattern aggregation and probabilistic topic models, our Siamese architecture captures contextualized semantics from the co-occurring descriptive terms via unsupervised learning, which leads to a concept embedding space of the terms in context. Furthermore, the co-occurring OOV concepts can be easily represented in the learnt concept embedding space. The main properties of the concept embedding space are demonstrated via visualization. Using various settings in semantic priming, we have carried out a thorough evaluation by comparing our approach to a number of state-of-the-art methods on six annotation corpora in different domains, i.e., MagTag5K, CAL500 and Million Song Dataset in the music domain as well as Corel5K, LabelMe and SUNDatabase in the image domain. Experimental results on semantic priming suggest that our approach outperforms those state-of-the-art methods considerably in various aspects.


title: A Survey of Physical Principles Attempting to Define Quantum Mechanics

abstract: Quantum mechanics, one of the most successful theories in the history of science, was created to account for physical systems not describable by classical physics. Though it is consistent with all experiments conducted thus far, many of its core concepts (amplitudes, global phases, etc.) can not be directly accessed and its interpretation is still the subject of intense debate, more than 100 years since it was introduced. So, a fundamental question is why this particular mathematical model is the one that nature chooses, if indeed it is the correct model. In the past two decades there has been a renewed effort to determine what physical or informational principles define quantum mechanics. In this paper, recent attempts at establishing reasonable physical principles are reviewed and their degree of success is tabulated. An alternative approach using joint quasi-probability distributions is shown to provide a common basis of representing most of the proposed principles. It is argued that having a common representation of the principles can provide intuition and guidance to relate current principles or advance new principles. The current state of affairs, along with some alternative views are discussed.


title: Poincar\'e polynomials for Abelian symplectic quotients of pure $r$-qubits via wall-crossings

abstract: In this paper, we compute a recursive wall-crossing formula for the Poincar\'e polynomials and Euler characteristics of Abelian symplectic quotients of a complex projective manifold under a special effective action of a torus with non-trivial characters. An analogy can be made with the space of pure states of a composite quantum system containing $r$ quantum bits under action of the maximal torus of Local Unitary operations.


title: Automorphism group of the commutator subgroup of the braid group

abstract: Let $B'_n$ be the commutator subgroup of the braid group $B_n$. We prove that $Aut(B'_n)=Aut(B_n)$ for $n\ge4$. This answers a question asked by Vladimir Lin.


title: The Magnetic Structure of Light Nuclei from Lattice QCD

abstract: Lattice QCD with background magnetic fields is used to calculate the magnetic moments and magnetic polarizabilities of the nucleons and of light nuclei with $A\le4$, along with the cross-section for the $M1$ transition $np\rightarrow d\gamma$, at the flavor SU(3)-symmetric point where the pion mass is $m_\pi\sim 806$ MeV. These magnetic properties are extracted from nucleon and nuclear energies in six uniform magnetic fields of varying strengths. The magnetic moments are presented in a recent Letter. For the charged states, the extraction of the polarizability requires careful treatment of Landau levels, which enter non-trivially in the method that is employed. The nucleon polarizabilities are found to be of similar magnitude to their physical values, with $\beta_p=5.22(+0.66/-0.45)(0.23) \times 10^{-4}$ fm$^3$ and $\beta_n=1.253(+0.056/-0.067)(0.055) \times 10^{-4}$ fm$^3$, exhibiting a significant isovector component. The dineutron is bound at these heavy quark masses and its magnetic polarizability, $\beta_{nn}=1.872(+0.121/-0.113)(0.082) \times 10^{-4}$ fm$^3$ differs significantly from twice that of the neutron. A linear combination of deuteron scalar and tensor polarizabilities is determined by the energies of the $j_z=\pm 1$ deuteron states, and is found to be $\beta_{d,\pm 1}=4.4(+1.6/-1.5)(0.2) \times 10^{-4}$ fm$^3$. The magnetic polarizabilities of the three-nucleon and four-nucleon systems are found to be positive and similar in size to those of the proton, $\beta_{^{3}\rm He}=5.4(+2.2/-2.1)(0.2) \times 10^{-4}$ fm$^3$, $\beta_{^{3}\rm H}=2.6(1.7)(0.1) \times 10^{-4}$ fm$^3$, $\beta_{^{4}\rm He}=3.4(+2.0/-1.9)(0.2) \times 10^{-4}$ fm$^3$. Mixing between the $j_z=0$ deuteron state and the spin-singlet $np$ state induced by the background magnetic field is used to extract the short-distance two-nucleon counterterm, ${\bar L}_1$, of the pionless effective theory for $NN$ systems (equivalent to the meson-exchange current contribution in nuclear potential models), that dictates the cross-section for the $np\to d\gamma$ process near threshold. Combined with previous determinations of NN scattering parameters, this enables an ab initio determination of the threshold cross-section at these unphysical masses.


title: Searching for keV Sterile Neutrino Dark Matter with X-ray Microcalorimeter Sounding Rockets

abstract: High-resolution X-ray spectrometers onboard suborbital sounding rockets can search for dark matter candidates that produce X-ray lines, such as decaying keV-scale sterile neutrinos. Even with exposure times and effective areas far smaller than XMM-Newton and Chandra observations, high-resolution, wide field-of-view observations with sounding rockets have competitive sensitivity to decaying sterile neutrinos. We analyze a subset of the 2011 observation by the X-ray Quantum Calorimeter instrument centered on Galactic coordinates l = 165, b = -5 with an effective exposure of 106 seconds, obtaining a limit on the sterile neutrino mixing angle of sin^2(2 theta) < 7.2e-10 at 95% CL for a 7 keV neutrino. Better sensitivity at the level of sin^2(2 theta) ~ 2.1e-11 at 95\% CL for a 7 keV neutrino is achievable with future 300-second observations of the galactic center by the Micro-X instrument, providing a definitive test of the sterile neutrino interpretation of the reported 3.56 keV excess from galaxy clusters.


title: Generalized solutions of a kinetic granular media equation by a gradient flow approach

abstract: We consider a one-dimensional kinetic model of granular media in the case where the interaction potential is quadratic. Taking advan- tage of a simple first integral, we can use a reformulation (equivalent to the initial kinetic model for classical solutions) which allows mea- sure solutions. This reformulation has a Wasserstein gradient flow structure (on a possibly infinite product of spaces of measures) for a convex energy which enables us to prove global in time well-posedness.


title: Properties of Low Luminosity Afterglow Gamma-ray Bursts

abstract: Aims: We characterize a sample of Gamma-Ray Bursts with low luminosity X-ray afterglows (LLA GRBs), and study their properties. Method: We select a sample consisting of the 12\% faintest X-ray afterglows from the total population of long GRBs (lGRBs) with known redshift. We study their intrinsic properties (spectral index, decay index, distance, luminosity, isotropic radiated energy and peak energy) to assess whether they belong to the same population than the brighter afterglow events. Results: We present strong evidences that these events belong to a population of nearby events, different from that of the general population of lGRBs. These events are faint during their prompt phase, and include the few possible outliers of the Amati relation. Out of 14 GRB-SN associations, 9 are in LLA GRB sample, prompting for caution when using SN templates in observational and theoretical models for the general lGRBs population.


title: Exciton Localization in Extended {\pi}-electron Systems: Comparison of Linear and Cyclic Structures

abstract: We employ five {\pi}-conjugated model materials of different molecular shape --- oligomers and cyclic structures --- to investigate the extent of exciton self-trapping and torsional motion of the molecular framework following optical excitation. Our studies combine steady-state and transient fluorescence spectroscopy in the ensemble with measurements of polarization anisotropy on single molecules, supported by Monte Carlo simulations. The dimer exhibits a significant spectral red-shift within $\sim$ 100 ps after photoexcitation which is attributed to torsional relaxation. This relaxation mechanism is inhibited in the structurally rigid macrocyclic analogue. However, both systems show a high degree of exciton localization but with very different consequences: while in the macrocycle the exciton localizes randomly on different parts of the ring, scrambling polarization memory, in the dimer, localization leads to a deterministic exciton position with luminescence characteristics of a dipole. Monte Carlo simulations allow us to quantify the structural difference between the emitting and absorbing units of the {\pi}-conjugated system in terms of disorder parameters.


title: Coupling dark energy to dark matter inhomogeneities

abstract: We propose that dark energy in the form of a scalar field could effectively couple to dark matter inhomogeneities. Through this coupling energy could be transferred to/from the scalar field, which could possibly enter an accelerated regime. Though phenomenological, this scenario is interesting as it provides a natural trigger for the onset of the acceleration of the universe, since dark energy starts driving the expansion of the universe when matter inhomogeneities become sufficiently strong. Here we study a possible realization of this idea by coupling dark energy to dark matter via the linear growth function of matter perturbations. The numerical results show that it is indeed possible to obtain a viable cosmology with the expected series of radiation, matter and dark-energy dominated eras. In particular, the current density of dark energy is given by the value of the coupling parameters rather than by very special initial conditions for the scalar field. In other words, this model - unlike standard models of cosmic late acceleration - does not suffer from the so-called "coincidence problem" and its related fine tuning of initial conditions.


title: Two Band Model Interpretation of the p to n Transition in Ternary Tetradymite Topological Insulators

abstract: The requirement for large bulk resistivity in topological insulators has led to the design of complex ternary and quaternary phases with balanced donor and acceptor levels. A common feature of the optimized phases is that they lie close to the p to n transition. The tetradymite Bi2Te3_xSex system exhibits minimum bulk conductance at the ordered composition Bi2Te2Se. By combining local and integral measurements of the density of states, we find that the point of minimum electrical conductivity at x=1.0 where carriers change from hole-like to electron-like is characterized by conductivity of the mixed type. Our experimental findings, which are interpreted within the framework of a two band model for the different carrier types, indicate that the mixed state originates from different type of native defects that strongly compensate at the crossover point.


title: Some new results on permutation polynomials over finite fields

abstract: Permutation polynomials over finite fields constitute an active research area and have applications in many areas of science and engineering. In this paper, four classes of monomial complete permutation polynomials and one class of trinomial complete permutation polynomials are presented, one of which confirms a conjecture proposed by Wu et al. (Sci. China Math., to appear. Doi: 10.1007/s11425-014-4964-2). Furthermore, we give two classes of trinomial permutation polynomials, and make some progress on a conjecture about the differential uniformity of power permutation polynomials proposed by Blondeau et al. (Int. J. Inf. Coding Theory, 2010, 1, pp. 149-170).


title: Ultraviolet Fixed Points in Conformal Gravity and General Quadratic Theories

abstract: We study the beta functions for four-dimensional conformal gravity using two different parametrizations of metric fluctuation, linear split and exponential parametrization. We find that after imposing the traceless conditions, the beta functions are the same in four dimensions though the dependence on the dimensions are quite different. This indicates the universality of these results. We also examine the beta functions in general quadratic theory with the Einstein and cosmological terms for exponential parametrization, and find that it leads to results for beta functions of dimensionful couplings different from linear split, though the fact that there exists nontrivial fixed point remains the same and the fixed points also remain the same.


title: Conceptual evidence collection and analysis methodology for Android devices

abstract: Android devices continue to grow in popularity and capability meaning the need for a forensically sound evidence collection methodology for these devices also increases. This chapter proposes a methodology for evidence collection and analysis for Android devices that is, as far as practical, device agnostic. Android devices may contain a significant amount of evidential data that could be essential to a forensic practitioner in their investigations. However, the retrieval of this data requires that the practitioner understand and utilize techniques to analyze information collected from the device. The major contribution of this research is an in-depth evidence collection and analysis methodology for forensic practitioners.


title: Site-dependent conduction channel transmission in atomic-scale superconducting junctions

abstract: Using scanning tunneling microscopy, we reproducibly obtained electrical conductance spectra of superconductor- superconductor atomic point contacts formed on various atomic sites of the substrate. From the analysis of the subharmonic features due to the multiple Andreev reflection, spatial distributions of the number of the conduction channels and their transmission probabilities were obtained. It is found that the number of channels and the transmission probabilities strongly depend on an atomic site where the contact is formed. We also revealed how the conduction channels and their transmission probability evolve from the tunneling to contact regimes. The Josephson current also exhibits the atomic site dependence, which is explained by the site-dependent transmission probabilities. Our results demonstrate a crucial role of the atomic geometry in the conduction channels of the ultimately confined conductor for the first time experimentally.


title: Mutual Community Detection across Multiple Partially Aligned Social Networks

abstract: Community detection in online social networks has been a hot research topic in recent years. Meanwhile, to enjoy more social network services, users nowadays are usually involved in multiple online social networks simultaneously, some of which can share common information and structures. Networks that involve some common users are named as multiple "partially aligned networks". In this paper, we want to detect communities of multiple partially aligned networks simultaneously, which is formally defined as the "Mutual Clustering" problem. The "Mutual Clustering" problem is very challenging as it has two important issues to address: (1) how to preserve the network characteristics in mutual community detection? and (2) how to utilize the information in other aligned networks to refine and disambiguate the community structures of the shared users? To solve these two challenges, a novel community detection method, MCD (Mutual Community Detector), is proposed in this paper. MCD can detect social community structures of users in multiple partially aligned networks at the same time with full considerations of (1) characteristics of each network, and (2) information of the shared users across aligned networks. Extensive experiments conducted on two real-world partially aligned heterogeneous social networks demonstrate that MCD can solve the "Mutual Clustering" problem very well.


title: HST/STIS Ultraviolet Spectroscopy of the Components of the Massive Triple Star delta Ori A

abstract: The multiple star system of delta Orionis is one of the closest examples of a system containing a luminous O-type, bright giant star (component Aa1). It is often used as a spectral-type standard and has the highest observed X-ray flux of any hot-star binary. The main component Aa1 is orbited by two lower mass stars, faint Aa2 in a 5.7 day eclipsing binary, and Ab, an astrometric companion with an estimated period of 346 years. Generally the flux from all three stars is recorded in ground-based spectroscopy, and the spectral decomposition of the components has proved difficult. Here we present HST/STIS ultraviolet spectroscopy of delta Ori A that provides us with spatially separated spectra of Aa and Ab for the first time. We measured radial velocities for Aa1 and Ab in two observations made near the velocity extrema of Aa1. We show tentative evidence for the detection of the Aa2 component in cross-correlation functions of the observed and model spectra. We discuss the appearance of the UV spectra of Aa1 and Ab with reference to model spectra. Both stars have similar effective temperatures, but Ab is fainter and is a rapid rotator. The results will help in the interpretation of ground-based spectroscopy and in understanding the physical and evolutionary parameters of these massive stars.


title: Mirror moving in quantum vacuum of a massive scalar field

abstract: We present a mirror model moving in the quantum vacuum of a massive scalar field and study its motion under infinitely fluctuating quantum vacuum stress. The model is similar to the one in \cite{PhysRevD.89.085009}, but this time there is no divergent effective mass to weaken the effect of divergent vacuum energy density. We show that this kind of weakening is not necessary. The vacuum friction and strong anti-correlation property of the quantum vacuum are enough to confine the mirror's position fluctuations.


title: A Spatial Layout and Scale Invariant Feature Representation for Indoor Scene Classification

abstract: Unlike standard object classification, where the image to be classified contains one or multiple instances of the same object, indoor scene classification is quite different since the image consists of multiple distinct objects. Further, these objects can be of varying sizes and are present across numerous spatial locations in different layouts. For automatic indoor scene categorization, large scale spatial layout deformations and scale variations are therefore two major challenges and the design of rich feature descriptors which are robust to these challenges is still an open problem. This paper introduces a new learnable feature descriptor called "spatial layout and scale invariant convolutional activations" to deal with these challenges. For this purpose, a new Convolutional Neural Network architecture is designed which incorporates a novel 'Spatially Unstructured' layer to introduce robustness against spatial layout deformations. To achieve scale invariance, we present a pyramidal image representation. For feasible training of the proposed network for images of indoor scenes, the paper proposes a new methodology which efficiently adapts a trained network model (on a large scale data) for our task with only a limited amount of available training data. Compared with existing state of the art, the proposed approach achieves a relative performance improvement of 3.2%, 3.8%, 7.0%, 11.9% and 2.1% on MIT-67, Scene-15, Sports-8, Graz-02 and NYU datasets respectively.


title: Mobile Cloud Forensics: An Analysis of Seven Popular Android Apps

abstract: Using the evidence collection and analysis methodology for Android devices proposed by Martini, Do and Choo, we examined and analyzed seven popular Android cloud-based apps. Firstly, we analyzed each app in order to see what information could be obtained from their private app storage and SD card directories. We collated the information and used it to aid our investigation of each app database files and AccountManager data. To complete our understanding of the forensic artefacts stored by apps we analyzed, we performed further analysis on the apps to determine if the user authentication credentials could be collected for each app based on the information gained in the initial analysis stages. The contributions of this research include a detailed description of artefacts, which are of general forensic interest, for each app analyzed.


title: Effective equidistribution of shears and applications

abstract: A "shear" is a unipotent translate of a cuspidal geodesic ray in the quotient of the hyperbolic plane by a non-uniform discrete subgroup of PSL(2,R), possibly of infinite co-volume. We prove the regularized equidistribution of shears under large translates with effective (that is, power saving) rates. We also give applications to weighted second moments of GL(2) automorphic L-functions, and to counting lattice points on locally affine symmetric spaces.


title: Detection of Ideal Resource for Multiqubit Teleportation

abstract: We give a sufficient condition in detecting entanglement resource for perfect multiqubit teleportation. The criterion involves only local measurements on some complementary observables and can be experimentally implemented. It is also a necessary condition for fully separability of multiqubit states. Moreover, by proving the optimality of teleportation witnesses, we solve the open problem in [Phys. Rev. A {\bf 86}, 032315 (2012)].


title: Second-Order Cone Programming for P-Spline Simulation Metamodeling

abstract: This paper approximates simulation models by B-splines with a penalty on high-order finite differences of the coefficients of adjacent B-splines. The penalty prevents overfitting. The simulation output is assumed to be nonnegative. The nonnegative spline simulation metamodel is casted as a second-order cone programming model, which can be solved efficiently by modern optimization techniques. The method is implemented in MATLAB/GNU Octave.


title: Baryonic impact on the dark matter distribution in Milky Way-size galaxies and their satellites

abstract: We study the impact of baryons on the distribution of dark matter in a Milky Way-size halo by comparing a high-resolution, moving-mesh cosmological simulation with its dark matter-only counterpart. We identify three main processes related to baryons -- adiabatic contraction, tidal disruption and reionization -- which jointly shape the dark matter distribution in both the main halo and its subhalos. The relative effect of each baryonic process depends strongly on the subhalo mass. For massive subhalos with maximum circular velocity $v_{\rm max} > 35 km/s$, adiabatic contraction increases the dark matter concentration, making these halos less susceptible to tidal disruption. For low-mass subhalos with $v_{\rm max} < 20 km/s$, reionization effectively reduces their mass on average by $\approx$ 30% and $v_{\rm max}$ by $\approx$ 20%. For intermediate subhalos with $20 km/s < v_{\rm max} < 35 km/s$, which share a similar mass range as the classical dwarf spheroidals, strong tidal truncation induced by the main galaxy reduces their $v_{\rm max}$. Moreover, the stellar disk of the main galaxy effectively depletes subhalos near the central region. As a combined result of reionization and increased tidal disruption, the total number of low-mass subhalos in the hydrodynamic simulation is nearly halved compared to that of the $\textit{N-}$body simulation. We do not find dark matter cores in dwarf galaxies, unlike previous studies that employed bursty feedback-driven outflows. The substantial impact of baryons on the abundance and internal structure of subhalos suggests that galaxy formation and evolution models based on $\textit{N}$-body simulations should include these physical processes as major components.


title: Bermuda: Bidirectional de novo assembly of transcripts with new insights for handling uneven coverage

abstract: Motivation: RNA-seq has made feasible the analysis of a whole set of expressed mRNAs. Mapping-based assembly of RNA-seq reads sometimes is infeasible due to lack of high-quality references. However, de novo assembly is very challenging due to uneven expression levels among transcripts and also the read coverage variation within a single transcript. Existing methods either apply de Bruijn graphs of single-sized k-mers to assemble the full set of transcripts, or conduct multiple runs of assembly, but still apply graphs of single-sized k-mers at each run. However, a single k-mer size is not suitable for all the regions of the transcripts with varied coverage. Contribution: This paper presents a de novo assembler Bermuda with new insights for handling uneven coverage. Opposed to existing methods that use a single k-mer size for all the transcripts in each run of assembly, Bermuda self-adaptively uses a few k-mer sizes to assemble different regions of a single transcript according to their local coverage. As such, Bermuda can deal with uneven expression levels and coverage not only among transcripts, but also within a single transcript. Extensive tests show that Bermuda outperforms popular de novo assemblers in reconstructing unevenly-expressed transcripts with longer length, better contiguity and lower redundancy. Further, Bermuda is computationally efficient with moderate memory consumption.


title: Confidence Intervals for High-Dimensional Linear Regression: Minimax Rates and Adaptivity

abstract: Confidence sets play a fundamental role in statistical inference. In this paper, we consider confidence intervals for high dimensional linear regression with random design. We first establish the convergence rates of the minimax expected length for confidence intervals in the oracle setting where the sparsity parameter is given. The focus is then on the problem of adaptation to sparsity for the construction of confidence intervals. Ideally, an adaptive confidence interval should have its length automatically adjusted to the sparsity of the unknown regression vector, while maintaining a prespecified coverage probability. It is shown that such a goal is in general not attainable, except when the sparsity parameter is restricted to a small region over which the confidence intervals have the optimal length of the usual parametric rate. It is further demonstrated that the lack of adaptivity is not due to the conservativeness of the minimax framework, but is fundamentally caused by the difficulty of learning the bias accurately.


title: Degree conditions restricted to induced paths for hamiltonicity of claw-heavy graphs

abstract: Broersma and Veldman proved that every 2-connected claw-free and $P_6$-free graph is hamiltonian. Chen et al. extended this result by proving every 2-connected claw-heavy and $P_6$-free graph is hamiltonian. On the other hand, Li et al. constructed a class of 2-connected graphs which are claw-heavy and $P_6$-\emph{o}-heavy but not hamiltonian. In this paper we further give some Ore-type degree conditions restricting to induced $P_6$'s of a 2-connected claw-heavy graph that can guarantee the graph to be hamiltonian. This improves some previous related results.


title: Analyzing TCP Throughput Stability and Predictability with Implications for Adaptive Video Streaming

abstract: Recent work suggests that TCP throughput stability and predictability within a video viewing session can inform the design of better video bitrate adaptation algorithms. Despite a rich tradition of Internet measurement, however, our understanding of throughput stability and predictability is quite limited. To bridge this gap, we present a measurement study of throughput stability using a large-scale dataset from a video service provider. Drawing on this analysis, we propose a simple-but-effective prediction mechanism based on a hidden Markov model and demonstrate that it outperforms other approaches. We also show the practical implications in improving the user experience of adaptive video streaming.


title: Evidence for the Active Phase of Heterogeneous Catalysts through In Situ Reaction Product Imaging and Multiscale Modeling

abstract: We use multi-scale modeling to analyze laser-induced fluorescence (LIF) measurements of the CO oxidation reaction over Pd(100) at near-ambient reaction conditions. Integrating density-functional theory based kinetic Monte Carlo simulations of the active catalyst into fluid-dynamical simulations of the mass transport inside the reactor chamber we calculate the reaction product concentration directly above the catalyst surface. Comparing corresponding data calculated for different surface models against the measured LIF signals we can discriminate the one that predominantly actuates the experimentally measured catalytic activity. For the probed CO oxidation reaction conditions the experimental activity is due to pristine Pd(100), possibly coexisting with other (oxidic) domains on the surface.


title: wHealth - Transforming Telehealth Services

abstract: A worldwide increase in proportions of older people in the population poses the challenge of managing their increasing healthcare needs within limited resources. To achieve this many countries are interested in adopting telehealth technology. Several shortcomings of state-of-the-art telehealth technology constrain widespread adoption of telehealth services. We present an ensemble-sensing framework - wHealth (short form of wireless health) for effective delivery of telehealth services. It extracts personal health information using sensors embedded in everyday devices and allows effective and seamless communication between patients and clinicians. Due to the non-stigmatizing design, ease of maintenance, simplistic interaction and seamless intervention, our wHealth platform has the potential to enable widespread adoption of telehealth services for managing elderly healthcare. We discuss the key barriers and potential solutions to make the wHealth platform a reality.


title: Stability of essential spectra of self-adjoint subspaces under compact perturbations

abstract: This paper studies stability of essential spectra of self-adjoint subspaces (i.e., self-adjoint linear relations) under finite rank and compact perturbations in Hilbert spaces. Relationships between compact perturbation of closed subspaces and relatively compact perturbation of their operator parts are first established. This gives a characterization of compact perturbation in terms of difference between the operator parts of perturbed and unperturbed subspaces. It is shown that a self-adjoint subspace is still self-adjoint under either relatively bounded perturbation with relative bound less than one or relatively compact perturbation or compact perturbation with a certain additional condition. By using these results, invariance of essential spectra of self-adjoint subspaces is proved under relatively compact and compact perturbations, separately. As a special case, finite rank perturbation is discussed. The results obtained in this paper generalize the corresponding results for self-adjoint operators to self-adjoint subspaces.


title: Common fixed point theorems in $C^*$-algebra-valued metric spaces

abstract: In this paper, we establish coincidence fixed point and common fixed point theorems for two mapping in complete $C^*$-algebra-valued metric spaces which satisfy new contractive conditions. Some applications of our obtained results are given.


title: A cellular quotient of the Temperley--Lieb algebra of type $D$

abstract: The Temperley--Lieb algebra, invented by Temperley and Lieb in 1971, is a finite dimensional associative algebra that arose in the context of statistical mechanics. Later in 1971, Penrose showed that this algebra can be realized in terms of certain diagrams. Then in 1987, Jones showed that the Temperley--Lieb algebra occurs naturally as a quotient of the Hecke algebra arising from a Coxeter group of type $A$. This realization of the Temperley--Lieb algebra as a Hecke algebra quotient was later generalized to the case of an arbitrary Coxeter group by Graham. Cellular algebras were introduced by Graham and Lehrer, and are a class of finite dimensional associative algebras defined in terms of a "cell datum" and three axioms. The axioms allow one to define a set of modules for the algebra known as cell modules, and one of the main strengths of the theory is that it is relatively straightforward to construct and to classify the irreducible modules for a cellular algebra in terms of quotients of the cell modules. In this thesis, we present an associative diagram algebra that is a faithful representation of a particular quotient of the Temperley--Lieb algebra of type $D$, which has a basis indexed by the so-called type II fully commutative elements of the Coxeter group of type $D$. By explicitly constructing a cell datum for the corresponding diagram algebra, we show that the quotient is cellular.


title: Quantum Gaussian Channels with Weak Measurements

abstract: In this paper we perform a novel analysis of quantum Gaussian channels in the context of weak measurements. Suppose Alice sends classical information to Bob using a quantum channel. Suppose Bob is allowed to use only weak measurements, what would be the channel capacity? We formulate weak measurement theory in these terms and discuss the above question.


title: Determinantal structures in the O'Connell-Yor directed random polymer model

abstract: We study the semi-discrete directed random polymer model introduced by O'Connell and Yor. We obtain a representation for the moment generating function of the polymer partition function in terms of a determinantal measure. This measure is an extension of the probability measure of the eigenvalues for the Gaussian Unitary Ensemble (GUE) in random matrix theory. To establish the relation, we introduce another determinantal measure on larger degrees of freedom and consider its few properties, from which the representation above follows immediately.


title: Decentralized Energy Allocation for Wireless Networks with Renewable Energy Powered Base Stations

abstract: In this paper, a green wireless communication system in which base stations are powered by renewable energy sources is considered. This system consists of a capacity-constrained renewable power supplier (RPS) and a base station (BS) that faces a predictable random connection demand from mobile user equipments (UEs). In this model, the BS powered via a combination of a renewable power source and the conventional electric grid, seeks to specify the renewable power inventory policy, i.e., the power storage level. On the other hand, the RPS must strategically choose the energy amount that is supplied to the BS. An M/M/1 make-to-stock queuing model is proposed to investigate the decentralized decisions when the two parties optimize their individual costs in a noncooperative manner. The problem is formulated as a noncooperative game whose Nash equilibrium (NE) strategies are characterized in order to identify the causes of inefficiency in the decentralized operation. A set of simple linear contracts are introduced to coordinate the system so as to achieve an optimal system performance. The proposed approach is then extended to a setting with one monopolistic RPS and N BSs that are privately informed of their optimal energy inventory levels. In this scenario, we show that the widely-used proportional allocation mechanism is no longer socially optimal. In order to make the BSs truthfully report their energy demand, an incentive compatible (IC) mechanism is proposed for our model.


title: Phosphorene: Fabrication, Properties and Applications

abstract: Phosphorene, the single- or few-layer form of black phosphorus, was recently rediscovered as a twodimensional layered material holding great promise for applications in electronics and optoelectronics. Research into its fundamental properties and device applications has since seen exponential growth. In this Perspective, we review recent progress in phosphorene research, touching upon topics on fabrication, properties, and applications; we also discuss challenges and future research directions. We highlight the intrinsically anisotropic electronic, transport, optoelectronic, thermoelectric, and mechanical properties of phosphorene resulting from its puckered structure in contrast to those of graphene and transition-metal dichalcogenides. The facile fabrication and novel properties of phosphorene have inspired design and demonstration of new nanodevices; however, further progress hinges on resolutions to technical obstructions like surface degradation effects and non-scalable fabrication techniques. We also briefly describe the latest developments of more sophisticated design concepts and implementation schemes that address some of the challenges in phosphorene research. It is expected that this fascinating material will continue to offer tremendous opportunities for research and development for the foreseeable future.


title: An axiomatic integral and a multivariate mean value theorem

abstract: In order to investigate minimal sufficient conditions for an abstract integral to belong to the convex hull of the integrand, we propose a system of axioms under which it happens. If the integrand is a continuous $R^n$-valued function over a path connected topological space, we prove that any such integral can be represented as a convex combination of values of the integrand in at most $n$ points, which yields an ultimate multivariate mean value theorem.


title: Equation of state for neutron stars with hyperons and quarks in relativistic Hartree-Fock approximation

abstract: We construct the equation of state (EoS) for neutron stars explicitly including hyperons and quarks. Using the quark-meson coupling model with relativistic Hartree-Fock approximation, the EoS for hadronic matter is derived by taking into account the strange ($\sigma^{\ast}$ and $\phi$) mesons as well as the light non-strange ($\sigma$, $\omega$, $\vec{\pi}$ and $\vec{\rho}$) mesons. Relevant coupling constants are determined to reproduce the experimental data of nuclear matter and hypernuclei in SU(3) flavor symmetry. For quark matter, we employ the MIT bag model with one-gluon-exchange interaction, and Gibbs criteria for chemical equilibrium in the phase transition from hadrons to quarks. We find that the strange vector ($\phi$) meson and the Fock contribution make the hadronic EoS stiff, and that the maximum mass of a neutron star can be consistent with the observed mass of heavy neutron stars even if the coexistence of hadrons and quarks takes place in the core. However, in the present calculation the transition to pure quark matter does not occur in stable neutron stars. Furthermore, the lower bound of the critical chemical potential of the quark-hadron transition at zero temperature turns out to be around 1.5 GeV in order to be consistent with the recent observed neutron star data.


title: Finite-temperature quantum criticality in a complex-parameter plane

abstract: A conventional quantum phase transition (QPT) occurs not only at zero temperature, but also exhibits finite-temperature quantum criticality. Motivated by the discovery of the pseudo-Hermiticity of non-Hermitian systems, we explore the finite-temperature quantum criticality in a non-Hermitian PT -symmetric Ising model. We present the complete set of exact eigenstates of the non-Hermitian Hamiltonian, based on which the mixed-state fidelity in the context of biorthogonal bases is calculated. Analytical and numerical results show that the fidelity approach to finite-temperature QPT can be extended to the non-Hermitian Ising model. This paves the way for experimental detection of quantum criticality in a complex-parameter plane.


title: Does Building a Relative Sunspot Number Make Sense? A Qualified 'Yes'

abstract: Recent research has demonstrated that the number of sunspots per group ('active region') has been decreasing over the last two or three solar cycles and that the classical Relative Sunspot Number (SSN) no longer is a good representation of solar magnetic activity such as revealed by e.g. the F10.7 cm microwave flux. The SSN is derived under the assumption that the number of spots per group is constant (in fact, nominally equal to 10). When this is no longer the case (the ratio is approaching 5, only half of its nominal value) the question arises how to construct a sunspot number series that takes that into account. We propose to harmonize the SSN with the sunspot Group Count that has been shown to follow F10.7 very well, but also to include the day-to-day variations of the spot count in order to preserve both long-term and short-term variability.


title: Hamiltonian Monte Carlo Acceleration Using Surrogate Functions with Random Bases

abstract: For big data analysis, high computational cost for Bayesian methods often limits their applications in practice. In recent years, there have been many attempts to improve computational efficiency of Bayesian inference. Here we propose an efficient and scalable computational technique for a state-of-the-art Markov Chain Monte Carlo (MCMC) methods, namely, Hamiltonian Monte Carlo (HMC). The key idea is to explore and exploit the structure and regularity in parameter space for the underlying probabilistic model to construct an effective approximation of its geometric properties. To this end, we build a surrogate function to approximate the target distribution using properly chosen random bases and an efficient optimization process. The resulting method provides a flexible, scalable, and efficient sampling algorithm, which converges to the correct target distribution. We show that by choosing the basis functions and optimization process differently, our method can be related to other approaches for the construction of surrogate functions such as generalized additive models or Gaussian process models. Experiments based on simulated and real data show that our approach leads to substantially more efficient sampling algorithms compared to existing state-of-the art methods.


title: Hints of the jet composition in gamma-ray bursts from dissipative photosphere models

abstract: We present a model for gamma-ray bursts where a dissipative photosphere provides the usual spectral peak around MeV energies accompanied by a subdominant thermal component. We treat the initial acceleration of the jet in a general way, allowing for magnetic field- and baryon dominated outflows. In this model, the GeV emission associated with GRBs observed by Fermi LAT, arises as the interaction of photospheric radiation and the shocked electrons at the deceleration radius. Through recently discovered correlations between the thermal and non-thermal peaks within individual bursts, we are able to infer whether the jet was Poynting flux or baryon dominated.


title: Exponential Quantum Tsallis Havrda Charvat Entropy of Type Alpha

abstract: Entropy is a key measure in studies related to information theory and its many applications. Campbell of the first time recognized that exponential of Shannons entropy is just the size of the sample space when the distribution is uniform. In this paper, we introduce a quantity which is called exponential Tsallis Havrda Charvat entropy and discuss its some properties. Further, we gave the application of exponential Tsallis Havrda Charvat entropy in quantum information theory which is called exponential quantum Tsallis Havrda Charvat entropy with its some major properties such as non-negative, concavity and continuity. It is found that projective measurement will not decrease the quantum entropy of a quantum state and at the end of the paper gave an upper bound on the quantum exponential entropy in terms of ensembles of pure state.


title: A Singleton Bound for Generalized Ferrers Diagram Rank Metric Codes

abstract: In this paper, we will employ the technique used in the proof of classical Singleton bound to derive upper bounds for rank metric codes and Ferrers diagram rank metric codes. These upper bounds yield the rank distance Singleton bound and an upper bound presented by Etzion and Silberstein respectively. Also we introduce generalized Ferrers diagram rank metric code which is a Ferrers diagram rank metric code where the underlying rank metric code is not necessarily linear. A new Singleton bound for generalized Ferrers diagram rank metric code is obtained using our technique.


title: Ion-Induced Dipole Interactions and Fragmentation Times : C$\alpha$ -C$\beta$ Chromophore Bond Dissociation Channel

abstract: The fragmentation times corresponding to the loss of the chromophore (C$\alpha$-- C$\beta$ bond dissociation channel) after photoexcitation at 263 nm have been investigated for several small peptides containing tryptophan or tyrosine. For tryptophan-containing peptides, the aromatic chromophore is lost as an ionic fragment (m/z 130), and the fragmentation time increases with the mass of the neutral fragment. In contrast, for tyrosine-containing peptides the aromatic chromophore is always lost as a neutral fragment (mass = 107 amu) and the fragmentation time is found to be fast (\textless{}20 ns). These different behaviors are explained by the role of the postfragmentation interaction in the complex formed after the C$\alpha$--C$\beta$ bond cleavage.


title: A computational study of chemically heterogeneous particles: patchy vs. uniform particles in shear flow

abstract: The adhesion of flowing particles and biological cells over fixed collecting surfaces is vitally important in diverse situations and potentially controlled by small-scale surface heterogeneity on the particle. Differences in the behavior of patchy particles (flowing over uniform collectors) relative to the reverse case of uniform particles (flowing over patchy collectors) are quantified. Because a particle rotates more slowly than it translates in the shear field near a collecting surface, the effective interaction time of a patch on a particle is larger than that of a patch on the collector, suggesting distinct particle capture tendencies in each case. This paper presents a new computational approach to simulate the near-surface motion (rotation and translation) of particles having nanoscale surface heterogeneities flowing over uniform collectors. Small amounts of ~10 nm cationic patches randomly distributed on a net-negative particle surface produced spatially varying DLVO interactions that were computed via the Grid Surface Integration (GSI) technique and then combined with hydrodynamic forces in a mobility tensor formulation. Statistical analysis of simulated trajectories revealed fewer extrema in the fluctuating particle-collector separation of heterogeneous particles, compared with the reverse system geometry of uniform particles flowing past a heterogeneous fixed surface. Additionally, the patchy particles were captured to a lesser extent on uniform surfaces compared with the case of uniform particles flowing above patchy collectors. Such behavior was dependent on ionic strength, with the greatest differences obtained near a Debye length of $\kappa^{-1} = 4$ nm for the $2a = 500$ nm simulated particles.


title: Comparing and evaluating extended Lambek calculi

abstract: Lambeks Syntactic Calculus, commonly referred to as the Lambek calculus, was innovative in many ways, notably as a precursor of linear logic. But it also showed that we could treat our grammatical framework as a logic (as opposed to a logical theory). However, though it was successful in giving at least a basic treatment of many linguistic phenomena, it was also clear that a slightly more expressive logical calculus was needed for many other cases. Therefore, many extensions and variants of the Lambek calculus have been proposed, since the eighties and up until the present day. As a result, there is now a large class of calculi, each with its own empirical successes and theoretical results, but also each with its own logical primitives. This raises the question: how do we compare and evaluate these different logical formalisms? To answer this question, I present two unifying frameworks for these extended Lambek calculi. Both are proof net calculi with graph contraction criteria. The first calculus is a very general system: you specify the structure of your sequents and it gives you the connectives and contractions which correspond to it. The calculus can be extended with structural rules, which translate directly into graph rewrite rules. The second calculus is first-order (multiplicative intuitionistic) linear logic, which turns out to have several other, independently proposed extensions of the Lambek calculus as fragments. I will illustrate the use of each calculus in building bridges between analyses proposed in different frameworks, in highlighting differences and in helping to identify problems.


title: Scattering of solutions to nonlinear Schr\"odinger equations with regular potentials

abstract: In this paper, we prove the scattering for radial solutions to energy-critical nonlinear Schr\"odinger equations with regular potentials in defocusing case.


title: Asymptotic behavior of singular values of the acoustic observation problem

abstract: We consider the problem of recovering of initial data in the IBVP for the wave-type equation in the half-space by the solution restricted to the boundary. The singular value decomposition of this problem is concerned: the asymptotics of singular values is obtained.


title: Nonrational del Pezzo fibrations admitting an action of the Klein simple group

abstract: We present a series of del Pezzo fibrations of degree $2$ admitting an action of the Klein simple group and prove their nonrationality by the reduction modulo $p$ method of Koll\'{a}r. This is relevant to embeddings of the Klein simple group into the Cremona group of rank $3$.


title: Toric Fano manifolds with nef tangent bundles

abstract: In this note we prove that any toric Fano manifold with nef tangent bundle is a product of projective spaces. In particular, it implies that Campana-Peternell conjecture hold for toric manifolds.


title: On the Kronecker and Caratheodory-Fejer theorems in several variables

abstract: Multivariate versions of the Kronecker theorem in the continuous multivariate setting has recently been published. These theorems characterize the symbols that give rise to finite rank multidimensional Hankel and Toeplitz type operators defined on general domains. In this paper we study how the additional assumption of positive semidefinite affects the characterization of the corresponding symbols, which we refer to as Carath\'eodory-Fejer type theorems. We show that these theorems become particularly transparent in the continuous setting, by providing elegant if and only if statements connecting the rank with sums of exponential functions. We also discuss how these objects can be discretized, giving rise to an interesting class of structured matrices that inherit these desirable properties from their continuous analogs. We describe how the continuous Kronecker theorem also applies to these structured matrices, given sufficient sampling. We also provide a new proof for the Carath\'eodory-Fejer theorem for block Toeplitz matrices, based on tools from tensor algebra.


title: Integral Foliated Simplicial Volume of Aspherical Manifolds

abstract: We consider the relation between simplicial volume and two of its variants: the stable integral simplicial volume and the integral foliated simplicial volume. The definition of the latter depends on a choice of a measure preserving action of the fundamental group on a probability space. We show that integral foliated simplicial volume is monotone with respect to weak containment of measure preserving actions and yields upper bounds on (integral) homology growth. Using ergodic theory we prove that simplicial volume, integral foliated simplicial volume and stable integral simplicial volume coincide for closed hyperbolic 3-manifolds and closed aspherical manifolds with amenable residually finite fundamental group (being equal to zero in the latter case). However, we show that integral foliated simplicial volume and the classical simplicial volume do not coincide for hyperbolic manifolds of dimension at least 4.


title: The Slowdowns of Water Dynamics when Approaching a Glass Transition or a Solid Interface: A Common Rationale

abstract: Performing molecular dynamics simulations, we investigate the enormous slowdowns of water dynamics when approaching a glass transition or a solid interface. We show that both effects can be described on common grounds within a theoretical framework, which was recently proposed by Schweizer et al. and considers coupled local hopping and elastic distortion. For confined water, we correctly describe the variation of the alpha-relaxation time tau_alpha as a function of both temperature and position with respect to the interface. Exploiting our knowledge of a cooperative length scale xi(T) from the confinement studies, we quantitatively rationalize the glassy slowdown, tau_alpha(T), and the Stokes-Einstein breakdown of bulk water. For both confined and bulk liquid, variations of the alpha-relaxation time are intimately related to changes of the cage-rattling amplitude.


title: Investigation of the Magnetic Model in Multiferroic NdFe$_{3}$(BO$_{3}$)$_{4}$ by Inelastic Neutron Scattering

abstract: We performed inelastic neutron scattering measurements on single crystals of NdFe$_{3}$($^{11}$BO$_{3}$)$_{4}$ to explore the magnetic excitations, to establish the underlying Hamiltonian, and to reveal the detailed nature of hybridization between the 4$f$ and 3$d$ magnetism. The observed spectra exhibiting a couple of key features, i.e., anti-crossing of Nd- and Fe-excitations and anisotropy gap at the antiferromagnetic zone center, are explained by the magnetic model including spin interaction in the framework of weakly-coupled Fe$^{3+}$ chains, interaction between the Fe$^{3+}$ and Nd$^{3+}$ moments, and single-ion anisotropy derived from Nd$^{3+}$ crystal field. The combination of the measurements and calculations reveals that the hybridization between 4$f$ and 3$d$ magnetism propagates the local magnetic anisotropy of the Nd$^{3+}$ ion to the Fe$^{3+}$ network, resulting in the bulk structure of multiferroics.


title: Pseudo-Hydrogen Passivation_A Novel Way to Calculate Absolute Surface Energy of Zinc Blende (111) Surface

abstract: Determining accurate absolute surface energies for polar surfaces of semiconductors has been a great challenge in decades. Here, we propose pseudo-hydrogen passivation to calculate them, using density functional theory approaches. By calculating the energy contribution from pseudo-hydrogen using either a pseudo molecule method or a tetrahedral cluster method, we obtained (111) surfaces energies of Si, GaP, and ZnS with high self-consistency. This method quantitatively confirms that surface energy is determined by the number and the energy of dangling bonds of surface atoms. Our findings may greatly enhance the basic understandings of different surfaces and lead to novel strategies in the crystal growth.


title: An introduction to Galton-Watson trees and their local limits

abstract: The main object of this course given in Hammamet (December 2014) is the so-called Galton-Watson process.We introduce in the first chapter of this course the framework of discrete random trees. We then use this framework to construct GW trees that describe the genealogy of a GW process. It is very easy to recover the GW process from theGW tree as it is just the number of individuals at each generation. We then give alternativeproofs of classical results on GW processes using the tree formalism. We focus in particular onthe extinction probability (which was the first question of F. Galton) and on the description ofthe processes conditioned on extinction or non extinction.In a second chapter, we focus on local limits of conditioned GW trees. In the critical andsub-critical cases, the population becomesa.s. extinct and the associated genealogical tree is finite. However, it has a small but positiveprobability of being large (this notion must be precised). The question that arises is to describethe law of the tree conditioned of being large, and to say what exceptional event has occurredso that the tree is not typical. A first answer to this question is due to H. Kesten whoconditioned a GW tree to reach height n and look at the limit in distribution when n tends toinfinity. There are however other ways of conditioning a tree to be large: conditioning on havingmany vertices, or many leaves... We present here very recent general results concerning this kindof problems due to the authors of this course and completed by results of X. He.


title: Experimental study of internal wave generation by convection in water

abstract: We experimentally investigate the dynamics of water cooled from below at 0^oC and heated from above. Taking advantage of the unusual property that water's density maximum is at about 4^oC, this set-up allows us to simulate in the laboratory a turbulent convective layer adjacent to a stably stratified layer, which is representative of atmospheric and stellar conditions. High precision temperature and velocity measurements are described, with a special focus on the convectively excited internal waves propagating in the stratified zone. Most of the convective energy is at low frequency, and corresponding waves are localized to the vicinity of the interface. However, we show that some energy radiates far from the interface, carried by shorter horizontal wavelength, higher frequency waves. Our data suggest that the internal wave field is passively excited by the convective fluctuations, and the wave propagation is correctly described by the dissipative linear wave theory.


title: Emergence of synchrony in an Adaptive Interaction Model

abstract: In a Human-Computer Interaction context, we aim to elaborate an adaptive and generic interaction model in two different use cases: Embodied Conversational Agents and Creative Musical Agents for musical improvisation. To reach this goal, we'll try to use the concepts of adaptation and synchronization to enhance the interactive abilities of our agents and guide the development of our interaction model, and will try to make synchrony emerge from non-verbal dimensions of interaction.


title: Information Diffusion issues

abstract: In this report there will be a discussion for Information Diffusion. There will be discussions on what information diffusion is, its key characteristics and on several other aspects of these kinds of networks. This report will focus on peer to peer models in information diffusion. There will be discussions on epidemic model, OSN and other details related to information diffusion.


title: Two-body decay widths of lowest lying and next-to-lowest lying scalar and pseudoscalar mesons in generalized linear sigma model

abstract: Two-body decay widths of lowest lying and next-to-lowest lying scalar and pseudoscalar mesons are studied in Generalized Linear Sigma Model (GLSM) of low-energy QCD. This model which considers mixing between "two quark" and "four quark" chiral nonets has been employed to investigate various decays and scatterings in low energy region of QCD. In this paper, $\Gamma[f_0(980) \rightarrow K \bar{K}]$ and $\Gamma[a_0(980) \rightarrow K \bar{K}]$ are obtained and it is shown that two-body decay widths of lowest lying mesons are well predicted by this model while for the next-to-lowest lying mesons, only some of the decay widths agree with the experimental results. We have compared the predicted decay widths in GLSM with the results obtained in single nonet linear sigma model (SNLSM) to indicate that chiral nonet mixing greatly improves the predictions of SNLSM for decay widths.


title: On numerical density approximations of solutions of SDEs with unbounded coefficients

abstract: We study a numerical method to compute probability density functions of solutions of stochastic differential equations. The method is sometimes called the numerical path integration method and has been shown to be fast and accurate in application oriented fields. In this paper we provide a rigorous analysis of the method that covers systems of equations with unbounded coefficients. Working in a natural space for densities, $L^1$, we obtain stability, consistency, and new convergence results for the method, new well-posedness and semigroup generation results for the related Fokker-Planck-Kolmogorov equation, and a new and rigorous connection to the corresponding probability density functions for both the approximate and the exact problems. To prove the results we combine semigroup and PDE arguments in a new way that should be of independent interest.


title: Peak Bagging of red giant stars observed by Kepler: first results with a new method based on Bayesian nested sampling

abstract: The peak bagging analysis, namely the fitting and identification of single oscillation modes in stars' power spectra, coupled to the very high-quality light curves of red giant stars observed by Kepler, can play a crucial role for studying stellar oscillations of different flavor with an unprecedented level of detail. A thorough study of stellar oscillations would thus allow for deeper testing of stellar structure models and new insights in stellar evolution theory. However, peak bagging inferences are in general very challenging problems due to the large number of observed oscillation modes, hence of free parameters that can be involved in the fitting models. Effciency and robustness in performing the analysis is what may be needed to proceed further. For this purpose, we developed a new code implementing the Nested Sampling Monte Carlo (NSMC) algorithm, a powerful statistical method well suited for Bayesian analyses of complex problems. In this talk we show the peak bagging of a sample of high signal-to-noise red giant stars by exploiting recent Kepler datasets and a new criterion for the detection of an oscillation mode based on the computation of the Bayesian evidence. Preliminary results for frequencies and lifetimes for single oscillation modes, together with acoustic glitches, are therefore presented.


title: Models of ballistic propagation of heat at low temperatures

abstract: Heat conduction at low temperatures show various effects that cannot be described by the Fourier law, like the second sound and ballistic propagation. In this paper the performance of various theories is compared in case of ballistic and wave like propagation of heat pulses in NaF.


title: Topology-Aware Node Selection for Data Regeneration in Heterogeneous Distributed Storage Systems

abstract: Distributed storage systems introduce redundancy to protect data from node failures. After a storage node fails, the lost data should be regenerated at a replacement storage node as soon as possible to maintain the same level of redundancy. Minimizing such a regeneration time is critical to the reliability of distributed storage systems. Existing work commits to reduce the regeneration time by either minimizing the regenerating traffic, or adjusting the regenerating traffic patterns, whereas nodes participating data regeneration are generally assumed to be given beforehand. However, such regeneration time also depends heavily on the selection of the participating nodes. Selecting different participating nodes actually involve different data links between the nodes. Real-world distributed storage systems usually exhibit heterogeneous link capacities. It is possible to further reduce the regeneration time via exploiting such link capacity differences and avoiding the link bottlenecks. In this paper, we consider the minimization of the regeneration time by selecting the participating nodes in heterogeneous networks. We analyze the regeneration time and propose node selection algorithms for overlay networks and real-world topologies. Considering that the flexible amount of data blocks from each provider may deeply influence the regeneration time, several techniques are designed to enhance our schemes in overlay networks. Experimental results show that our node selection schemes can significantly reduce the regeneration time for each topology, especially in practical networks with heterogeneous link capacities.


title: Kinetic theory of a longitudinally expanding system of scalar particles

abstract: A simple kinematical argument suggests that the classical approximation may be inadequate to describe the evolution of a system with an anisotropic particle distribution. In order to verify this quantitatively, we study the Boltzmann equation for a longitudinally expanding system of scalar particles interacting with a $\phi^4$ coupling, that mimics the kinematics of a heavy ion collision at very high energy. We consider only elastic $2\to 2$ scatterings, and we allow the formation of a Bose-Einstein condensate in overpopulated situations by solving the coupled equations for the particle distribution and the particle density in the zero mode. For generic CGC-like initial conditions with a large occupation number and a moderate coupling, the solutions of the full Boltzmann equation do not follow a classical attractor behavior.


title: Search for sub-eV scalar and pseudoscalar resonances via four-wave mixing with a laser collider

abstract: The quasi-parallel photon-photon scattering by combining two-color laser fields is an approach to produce resonant states of low-mass fields in laboratory. In this system resonances can be probed via the four-wave mixing process in the vacuum. A search for scalar and pseudoscalar fields was performed by combining 9.3 $\mu$J/0.9 ps Ti-Sapphire laser and 100 $\mu$J/9 ns Nd:YAG laser. No significant signal of four-wave mixing was observed. We provide the upper limits on the coupling-mass relation for scalar and pseudoscalar fields, respectively, at a 95\% confidence level in the mass region below 0.15~eV.


title: Comments on the Nekrasov-type formula for E-string theory

abstract: We generalise our previous result\cite{13} to cases with three and four Wilson lines. We show that the Nekrasov-type formula for E-string theory is valid for those cases and the Seiberg-Witten curves are reproduced from the formula. In addition, we show the dependence of the Seiberg-Witten curve on the Wilson lines.


title: Genetic Toggle Switch in the Absence of Cooperative Binding: Exact Results

abstract: We present an analytical treatment of a genetic switch model consisting of two mutually inhibiting genes operating without cooperative binding of the corresponding transcription factors. Previous studies have numerically shown that these systems can exhibit bimodal dynamics without possessing two stable fixed points at the deterministic level. We analytically show that bimodality is induced by the noise and find the critical repression strength that controls a transition between the bimodal and non-bimodal regimes. We also identify characteristic polynomial scaling laws of the mean switching time between bimodal states. These results, independent of the model under study, reveal essential differences between these systems and systems with cooperative binding, where there is no critical threshold for bimodality and the mean switching time scales exponentially with the system size.


title: Periods in a 87 Years Light Curve of the Symbiotic Star MWC 560

abstract: We have constructed a visual light curve of the symbiotic star MWC covering the last 87 years of its history. The data were assembled from the literature and from the AAVSO data bank. Most of the periodic components of the system brightness variation can be accounted for by the operation of 3 basic clocks of the periods P1=19000 d, P2=1943 d and P3=722 d. These periods can plausibly, and consistently with the observations, be attributed to 3 physical mechanisms in the system. They are, respectively, the working of a solar-like magnetic dynamo cycle in the outer layers of the giant star of the system, the binary orbit cycle and the sidereal rotation cycle of the giant star. MWC 560 is the 7th symbiotic star with historical light curves that reveal similar basic characteristics of the systems. The light curves of all these stars are well interpreted on the basis of current understanding of the physical processes that are the major sources of the optical luminosity of these symbiotic systems.


title: Damping of MHD turbulence in partially ionized plasma: implications for cosmic ray propagation

abstract: We study the damping from neutral-ion collisions of both incompressible and compressible magnetohydrodynamic (MHD) turbulence in partially ionized medium. We start from the linear analysis of MHD waves applying both single-fluid and two-fluid treatments. The damping rates derived from the linear analysis are then used in determining the damping scales of MHD turbulence. The physical connection between the damping scale of MHD turbulence and cutoff boundary of linear MHD waves is investigated. Our analytical results are shown to be applicable in a variety of partially ionized interstellar medium (ISM) phases and solar chromosphere. As a significant astrophysical utility, we introduce damping effects to propagation of cosmic rays in partially ionized ISM. The important role of turbulence damping in both transit-time damping and gyroresonance is identified.


title: New analysis of the low-energy $\pi^\pm p$ differential cross sections of the CHAOS Collaboration

abstract: In a previous paper, we reported the results of a partial-wave analysis of the pion-nucleon ($\pi N$) differential cross sections (DCSs) of the CHAOS Collaboration and came to the conclusion that the angular distribution of their $\pi^+ p$ data sets is incompatible with the rest of the modern (meson-factory) database. The present work, re-addressing this issue, has been instigated by a number of recent improvements in our analysis, namely regarding the inclusion of the theoretical uncertainties when investigating the reproduction of experimental data sets on the basis of a given `theoretical' solution, modifications in the parameterisation of the form factors of the proton and of the pion entering the electromagnetic part of the $\pi N$ amplitude, and the inclusion of the effects of the variation of the $\sigma$-meson mass when fitting the ETH model of the $\pi N$ interaction to the experimental data. The new analysis of the CHAOS DCSs confirms our earlier conclusions and casts doubt on the value for the $\pi N$ $\Sigma$ term, which Stahov, Clement, and Wagner have extracted from these data.


title: Functorial aspects of the reconstruction of Lie groupoids from their bisections

abstract: To a Lie groupoid over a compact base, the associated group of bisection is an (infinite-dimensional) Lie group. Moreover, under certain circumstances one can reconstruct the Lie groupoid from its Lie group of bisections. In the present article we consider functorial aspects of these construction principles. The first observation is that this procedure is functorial (for morphisms fixing the base). Moreover, it gives rise to an adjunction between the category of Lie groupoids over a fixed base and the category of Lie groups acting on the base. In the last section we then show how to promote this adjunction to almost an equivalence of categories.


title: Dispersion coefficients for the interactions of the alkali and alkaline-earth ions and inert gas atoms with a graphene layer

abstract: Largely motivated by a number of applications, the van der Waals dispersion coefficients ($C_3$s) of the alkali ions (Li$^+$, Na$^+$, K$^+$ and Rb$^+$), the alkaline-earth ions (Ca$^+$, Sr$^+$, Ba$^+$ and Ra$^+$) and the inert gas atoms (He, Ne, Ar and Kr) with a graphene layer are determined precisely within the framework of Dirac model. For these calculations, we have evaluated the dynamic polarizabilities of the above atomic systems very accurately by evaluating the transition matrix elements employing relativistic many-body methods and using the experimental values of the excitation energies. The dispersion coefficients are, finally, given as functions of the separation distance of an atomic system from the graphene layer and the ambiance temperature during the interactions. For easy extraction of these coefficients, we give a logistic fit to the functional forms of the dispersion coefficients in terms of the separation distances at the room temperature.


title: Acousto-electrical speckle pattern in Lorentz force electrical impedance tomography

abstract: Ultrasound speckle is a granular texture pattern appearing in ultrasound imaging. It can be used to distinguish tissues and identify pathologies. Lorentz force electrical impedance tomography is an ultrasound-based medical imaging technique of the tissue electrical conductivity. It is based on the application of an ultrasound wave in a medium placed in a magnetic field and on the measurement of the induced electric current due to Lorentz force. Similarly to ultrasound imaging, we hypothesized that a speckle could be observed with Lorentz force electrical impedance tomography imaging. In this study, we first assessed the theoretical similarity between the measured signals in Lorentz force electrical impedance tomography and in ultrasound imaging modalities. We then compared experimentally the signal measured in both methods using an acoustic and electrical impedance interface. Finally, a bovine muscle sample was imaged using the two methods. Similar speckle patterns were observed. This indicates the existence of an "acousto-electrical speckle" in the Lorentz force electrical impedance tomography with spatial characteristics driven by the acoustic parameters but due to electrical impedance inhomogeneities instead of acoustic ones as is the case of ultrasound imaging.


title: Nonlinear electro-osmosis in dilute non-adsorbing polymer solutions with low ionic strength

abstract: Nonlinear behavior of electro-osmosis in dilute non-adsorbing polymer solutions with low salinity is investigated with Brownian dynamics simulations and a kinetic theory. In the Brownian simulations, the hydrodynamic interaction between the polymers and a no-slip wall is considered with Rotne-Prager approximation of Blake tensor. In a plug flow under a sufficiently strong applied electric field, the polymer migrates toward the bulk, forming a depletion layer thicker than the equilibrium one. Consequently, the electro-osmotic mobility increases nonlinearly with the electric field and gets saturated. This nonlinear mobility qualitatively does not depend on the details of rheological properties of the polymer solution. Analytical calculation of the kinetic theory for the same system reproduces quantitatively well the results of the Brownian dynamics simulation.


title: A two-dimensional oblique extension of Bessel processes

abstract: We consider a Brownian motion forced to stay in the quadrant by an electrostatic oblique repulsion from the sides. We tackle the question of hitting the corner or an edge, and find product-form stationary measures under a certain condition, which is reminiscent of the skew-symmetry condition for an obliquely reflected Brownian motion.


title: How far do chemotaxis-driven forces influence regularity in the Navier-Stokes system?

abstract: A three-dimensional chemotaxis-Navier-Stokes system is considered. It is known that for all suitably regular initial data, a corresponding initial-boundary value problem admits at least one global weak solution which can be obtained as the pointwise limit of a sequence of solutions to appropriately regularized problems. The present paper shows that after some relaxation time, this solution enjoys further regularity properties and thereby complies with the concept of eventual energy solutions which is newly introduced here, and which inter alia requires that two quasi-dissipative inequalities are ultimately satisfied. Moreover, it is shown that actually for any such eventual energy solution there exists a waiting time beyond which the solution is smooth and classical, and that a spatially homogeneous equilibrium is approached in the large time limit.


title: Estimation of the Hurst and the stability indices of a $H$-self-similar stable process

abstract: In this paper we estimate both the Hurst and the stable indices of a H-self-similar stable process. More precisely, let $X$ be a $H$-sssi (self-similar stationary increments) symmetric $\alpha$-stable process. The process $X$ is observed at points $\frac{k}{n}$, $k=0,\ldots,n$. Our estimate is based on $\beta$-variations with $-\frac{1}{2}<\beta<0$. We obtain consistent estimators, with rate of convergence, for several classical $H$-sssi $\alpha$-stable processes (fractional Brownian motion, well-balanced linear fractional stable motion, Takenaka's processes, L\'evy motion). Moreover, we obtain asymptotic normality of our estimators for fractional Brownian motion and L\'evy motion. Keywords: H-sssi processes; stable processes; self-similarity parameter estimator; stability parameter estimator.


title: Anomalous polarization conversion in arrays of ultrathin ferromagnetic nanowires

abstract: We study optical properties of arrays of ultrathin nanowires by means of the Brillouin scattering of light on magnons. We employ the Stokes/anti-Stokes scattering asymmetry to probe the circular polarization of a local electric field induced inside nanowires by linearly polarized light waves. We observe the anomalous polarization conversion of the opposite sign than that in a bulk medium or thick nanowires with a great enhancement of the degree of circular polarization attributed to an unconventional refraction in the nanowire medium.


title: A Novel Multiobjective Cell Switch-Off Framework for Cellular Networks

abstract: Cell Switch-Off (CSO) is recognized as a promising approach to reduce the energy consumption in next-generation cellular networks. However, CSO poses serious challenges not only from the resource allocation perspective but also from the implementation point of view. Indeed, CSO represents a difficult optimization problem due to its NP-complete nature. Moreover, there are a number of important practical limitations in the implementation of CSO schemes, such as the need for minimizing the real-time complexity and the number of on-off/off-on transitions and CSO-induced handovers. This article introduces a novel approach to CSO based on multiobjective optimization that makes use of the statistical description of the service demand (known by operators). In addition, downlink and uplink coverage criteria are included and a comparative analysis between different models to characterize intercell interference is also presented to shed light on their impact on CSO. The framework distinguishes itself from other proposals in two ways: 1) The number of on-off/off-on transitions as well as handovers are minimized, and 2) the computationally-heavy part of the algorithm is executed offline, which makes its implementation feasible. The results show that the proposed scheme achieves substantial energy savings in small cell deployments where service demand is not uniformly distributed, without compromising the Quality-of-Service (QoS) or requiring heavy real-time processing.


title: Quantum conformal mechanics

abstract: The quantum mechanics of one degree of freedom exhibiting the exact conformal SL(2,R) symmetry is presented. The starting point is the classification of the unitary irreducible representations of the SL(2,R) group (or, to some extent, its universal covering). The coordinate representation is defined as the basis diagonalizing the special conformal generator K. It is indicated how the resulting theory emerges from the canonical/geometric quantization of the Hamiltonian dynamics on the relevant coadjoint orbits.


title: Higher dimensional Loop Quantum Cosmology

abstract: Loop quantum cosmology(LQC) is the symmetric model of loop quantum gravity. In this paper, we generalize the structure of loop quantum cosmology to the theories with arbitrary spacetime dimensions. The isotropic and homogenous cosmological model in n+1 dimensions is quantized by the loop quantization method. Interestingly, we find that the underlying quantum theories are divided into two qualitatively different sectors according to spacetime dimensions. The effective Hamiltonian and modified dynamical equations of n+1 dimensional LQC are obtained. Moreover, our results indicate that the classical big bang singularity is resolved in arbitrary spacetime dimensions by a quantum bounce. We also briefly discuss the similarities and differences between the n+1 dimensional model and the 3+1 dimensional one. Our model serves as a first example of higher dimensional loop quantum cosmology and offers possibility to investigate quantum gravity effects in higher dimensional cosmology.


title: Hyperbolic extra-dimensions in particle physics and beyond

abstract: The nature of space-time at high energy is an open question and the link between extra-dimensional theories with the physics of the Standard Model can not be established in a unique way. The compactification path is not unique and supersymmetry breaking can be done in different ways. Compactifications based on hyperbolic orbifolds gather a large number of properties that are useful for this problem, like a Dirac spectrum chiral zero modes, a mass gap with the Kaluza-Klein modes, discrete residual symmetries for the stability of dark matter, and interesting cosmological constructions. This shall be explored here for bulk scalar fields, with a roadmap provided for fermionic studies and beyond.


title: Scaling relations of the properties for CO resolved structures in nearby spiral galaxies

abstract: We report high spatial resolution observations of Giant Molecular Clouds (GMCs) in the nearby spiral galaxies NGC 6946, M101 and NGC 628 obtained with the CARMA telescope. We observed CO(1-0) over regions with active star formation, and higher resolution observations of CO(2-1) have allowed us to resolve some of the largest GMCs. Using a Bayesian fitting approach, we generate scaling relations for the sizes, line widths, and virial masses of the structures identified in this work. We do not find evidence for a tight power law relation between size and line width, although the limited dynamic range in cloud size remains a clear issue in our analysis. Additionally, we use a Bayesian approach to analyze the Kennicutt-Schmidt (K-S) relation for the identified structures. We find that the distribution of slopes are broadly distributed, mainly due to the limited dynamic range of our measured H2 mass surface density, and being most consistent with super-linear relations. On the other hand, when we use the Bayesian approach to analyze the K-S relation for a uniform grid, the distributions of slopes is consistent with sub-linear relations. On-arm regions tend to have higher star formation rates than inter-arm regions. As in NGC 6946, in M101 we find regions where the star formation efficiency shows marked peaks at specific galoctocentric radii. On the other hand, the distribution of SFE in NGC 628 is more contiguous. We hypothesize that differences in the distribution of SFE may be indicative of different processes driving the spiral structure.


title: Causality on Cross-Sectional Data: Stable Specification Search in Constrained Structural Equation Modeling

abstract: Causal modeling has long been an attractive topic for many researchers and in recent decades there has seen a surge in theoretical development and discovery algorithms. Generally discovery algorithms can be divided into two approaches: constraint-based and score-based. The constraint-based approach is able to detect common causes of the observed variables but the use of independence tests makes it less reliable. The score-based approach produces a result that is easier to interpret as it also measures the reliability of the inferred causal relationships, but it is unable to detect common confounders of the observed variables. A drawback of both score-based and constrained-based approaches is the inherent instability in structure estimation. With finite samples small changes in the data can lead to completely different optimal structures. The present work introduces a new hypothesis-free score-based causal discovery algorithm, called stable specification search, that is robust for finite samples based on recent advances in stability selection using subsampling and selection algorithms. Structure search is performed over Structural Equation Models. Our approach uses exploratory search but allows incorporation of prior background knowledge. We validated our approach on one simulated data set, which we compare to the known ground truth, and two real-world data sets for Chronic Fatigue Syndrome and Attention Deficit Hyperactivity Disorder, which we compare to earlier medical studies. The results on the simulated data set show significant improvement over alternative approaches and the results on the real-word data sets show consistency with the hypothesis driven models constructed by medical experts.


title: I-V characteristics of in-plane and out-of-plane strained edge-hydrogenated armchair graphene nanoribbons

abstract: The effects of tensile strain on the current-voltage (I-V) characteristics of hydrogenated-edge armchair graphene nanoribbons (HAGNRs) are investigated by using DFT theory. The strain is introduced in two different ways related to the two types of systems studied in this work: in-plane strained systems (A), and out-of-plane strained systems due to bending (B). These two kinds of strain lead to make a distinction among three cases: in-plane strained systems with strained electrodes (A1) and with unstrained electrodes (A2), and out-of-plane homogeneously strained systems with unstrained, fixed electrodes (B). The systematic simulations to calculate the electronic transmission between two electrodes were focused on systems of 8 and 11 dimers in width. The results show that the differences between cases A2 and B are negligible, even though the strain mechanisms are different: in the plane case, the strain is uniaxial along its length, while in the bent case the strain is caused by the arc deformation. Based on the study, a new type of NEMS-solid state switching device is proposed.


title: Some theories beyond the Standard Model

abstract: A brief review on the physics beyond the Standard Model is given, as was presented in the High Energy Particle Physics workshop on the $12^{th}$ of February 2015 at the iThemba North Labs. Particular emphasis is given to the Minimal Supersymmetric Standard Model, with mention of extra-dimensional theories also.


title: Point-wise Map Recovery and Refinement from Functional Correspondence

abstract: Since their introduction in the shape analysis community, functional maps have met with considerable success due to their ability to compactly represent dense correspondences between deformable shapes, with applications ranging from shape matching and image segmentation, to exploration of large shape collections. Despite the numerous advantages of such representation, however, the problem of converting a given functional map back to a point-to-point map has received a surprisingly limited interest. In this paper we analyze the general problem of point-wise map recovery from arbitrary functional maps. In doing so, we rule out many of the assumptions required by the currently established approach -- most notably, the limiting requirement of the input shapes being nearly-isometric. We devise an efficient recovery process based on a simple probabilistic model. Experiments confirm that this approach achieves remarkable accuracy improvements in very challenging cases.


title: Enhanced equivariant Saito duality

abstract: In a previous paper, the authors defined an equivariant version of the so-called Saito duality between the monodromy zeta functions as a sort of Fourier transform between the Burnside rings of an abelian group and of its group of characters. Here a so-called enhanced Burnside ring $\widehat{B}(G)$ of a finite group $G$ is defined. An element of it is represented by a finite $G$-set with a $G$-equivariant transformation and with characters of the isotropy subgroups associated to all points. One gives an enhanced version of the equivariant Saito duality. For a complex analytic $G$-manifold with a $G$-equivariant transformation of it one has an enhanced equivariant Euler characteristic with values in a completion of $\widehat{B}(G)$. It is proved that the (reduced) enhanced equivariant Euler characteristics of the Milnor fibres of Berglund-H\"ubsch dual invertible polynomials coincide up to sign and show that this implies the result about orbifold zeta functions of Berglund-H\"ubsch-Henningson dual pairs obtained earlier.


title: Asynchronous processing of Coq documents: from the kernel up to the user interface

abstract: The work described in this paper improves the reactivity of the Coq system by completely redesigning the way it processes a formal document. By subdividing such work into independent tasks the system can give precedence to the ones of immediate interest for the user and postpones the others. On the user side, a modern interface based on the PIDE middleware aggregates and present in a consistent way the output of the prover. Finally postponed tasks are processed exploiting modern, parallel, hardware to offer better scalability.


title: Spin Hall Effect measurement techniques

abstract: Spin Hall Effect is relativistic quantum mechanical effect which enables non-magnetic materials show magnetic phenomena without the application of a magnetic field. With spin Hall Effect, one can realize spintronics devices operating purely on electrical and optical means and eliminate the use of ferromagnets which have associated fringe fields. In this review article, we present the experimental developments and current understanding of the Spin Hall Effect Phenomena. We discuss various experiments as well as device structures which employ electrical, optical or both techniques to demonstrate Spin Hall effect. Most of these devices structures are simple and easy to fabricate in modern laboratories.


title: Unbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration (extended version)

abstract: Linear Time Invariant (LTI) systems are ubiquitous in control applications. Unbounded-time reachability analysis that can cope with industrial-scale models with thousands of variables is needed. To tackle this problem, we use abstract acceleration, a method for unbounded-time polyhedral reachability analysis for linear systems. Existing variants of the method are restricted to closed systems, i.e., dynamical models without inputs or non-determinism. In this paper, we present an extension of abstract acceleration to linear loops with inputs, which correspond to discrete-time LTI control systems under guard conditions. The new method relies on a relaxation of the solution of the linear dynamical equation that leads to a precise over-approximation of the set of reachable states, which are evaluated using support functions. In order to increase scalability, we use floating-point computations and ensure soundness by interval arithmetic. Our experiments show that performance increases by several orders of magnitude over alternative approaches in the literature. In turn, this tremendous gain allows us to improve on precision by computing more expensive abstractions. We outperform state-of-the-art tools for unbounded-time analysis of LTI system with inputs in speed as well as in precision.


title: Cooperative Control in Production and Logistics

abstract: Classical applications of control engineering and information and communication technology (ICT) in production and logistics are often done in a rigid, centralized and hierarchical way. These inflexible approaches are typically not able to cope with the complexities of the manufacturing environment, such as the instabilities, uncertainties and abrupt changes caused by internal and external disturbances, or a large number and variety of interacting, interdependent elements. A paradigm shift, e.g., novel organizing principles and methods, is needed for supporting the interoperability of dynamic alliances of agile and networked systems. Several solution proposals argue that the future of manufacturing and logistics lies in network-like, dynamic, open and reconfigurable systems of cooperative autonomous entities. The paper overviews various distributed approaches and technologies of control engineering and ICT that can support the realization of cooperative structures from the resource level to the level of networked enterprises. Standard results as well as recent advances from control theory, through cooperative game theory, distributed machine learning to holonic systems, cooperative enterprise modelling, system integration, and autonomous logistics processes are surveyed. A special emphasis is put on the theoretical developments and industrial applications of Robustly Feasible Model Predictive Control (RFMPC). Two case studies are also discussed: i) a holonic, PROSA-based approach to generate short-term forecasts for an additive manufacturing system by means of a delegate multi-agent system (D-MAS); and ii) an application of distributed RFMPC to a drinking water distribution system.


title: Beyond the Hubbard bands in strongly correlated lattice bosons

abstract: We investigate features in the single-particle spectral function beyond the Hubbard bands in the strongly correlated normal phase of the Bose-Hubbard model. There are two distinct classes of additional peaks generated by the bosonic statistics. The first type is thermally activated Hubbard "sidebands", with the same physical origin as the zero-temperature Hubbard bands, but generated by excitations from thermally activated local occupation number states. The second class are two-particle fluctuation resonances driven by the lattice dynamics. In the unity filling Mott insulator, this takes the form of a localized triplon combined with a dispersing holon. Both types of resonances also manifest themselves in the structure factor and the interaction modulation spectra obtained from nonequilibrium bosonic dynamical mean-field theory calculations. Our findings explain experimental lattice modulation and Bragg spectroscopy results, and they predict a strong temperature dependence of the first sideband, thereby opening the door to precise thermometry of strongly correlated lattice bosons.


title: Tracking of colloids close to contact

abstract: The precise tracking of micron sized colloidal particles - held in the vicinity of each other using optical tweezers - is an elegant way to gain information about the particle-particle pair interaction potential. The accuracy of the method, however, relies strongly on the tracking precision. Particularly the elimination of systematic errors in the position detection due to overlapping particle diffraction patterns remains a great challenge. Here we propose a template based particle finding algorithm that circumvents these problems by tracking only a fraction of the particle image that is insignificantly affected by nearby colloids. Under realistic experimental conditions we show that our algorithm significantly reduces systematic errors compared to standard tracking methods. Moreover our approach should in principle be applicable to almost arbitrary shaped particles as the template can be adapted to any geometry.