title: real-time audio translation module between iax and rsw

abstract: At the last few years, multimedia communication has been developed and improved rapidly in order to enable users to communicate between each other over the internet. Generally, multimedia communication consists of audio and video communication. However, this research concentrates on audio conferencing only. The audio translation between protocols is a very critical issue, because it solves the communication problems between any two protocols. So, it enables people around the world to talk with each other even they use different protocols. In this research, a real time audio translation module between two protocols has been done. These two protocols are: InterAsterisk eXchange Protocol (IAX) and Real-Time Switching Control Protocol (RSW), which they are widely used to provide two ways audio transfer feature. The solution here is to provide inter-working between the two protocols which they have different media transports, audio codecs, header formats and different transport protocols for the audio transmission. This translation will help bridging the gap between the two protocols by providing inter-working capability between the two audio streams of IAX and RSW. Some related works have been done to provide translation between IAX and RSW control signalling messages. But, this research paper concentrates on the translation that depends on the media transfer. The proposed translation module was tested and evaluated in different scenarios in order to examine its performance. The obtained results showed that the Real-Time Audio Translation Module produces lower rates of packet delay and jitter than the acceptance values for each of the mentioned performance metrics.


title: An R Implementation of the Polya-Aeppli Distribution

abstract: An efficient implementation of the Polya-Aeppli, or geometirc compound Poisson, distribution in the statistical programming language R is presented. The implementation is available as the package polyaAeppli and consists of functions for the mass function, cumulative distribution function, quantile function and random variate generation with those parameters conventionally provided for standard univatiate probability distributions in the stats package in R


title: Deep optical survey of the stellar content of Sh2-311 region

abstract: The stellar content in and around Sh2-311 region have been studied using the deep optical observations as well as near-infrared (NIR) data from 2MASS. The region contains three clusters, viz. NGC 2467, Haffner 18 and Haffner 19. We have made an attempt to distinguish the stellar content of these individual regions as well as to re-determine their fundamental parameters such as distance, reddening, age, onto the basis of a new and more extended optical and infrared photometric data set. NGC 2467 and Haffner 19 are found to be located in the Perseus arm at the distances of 5.0 $\pm$ 0.4 kpc and 5.7 $\pm$ 0.4 kpc, respectively, whereas Haffner 18 is located at the distance of 11.2 $\pm$ 1.0 kpc. The clusters NGC 2467 and Haffner 19 might have formed from the same molecular cloud, whereas the cluster Haffner 18 is located in the outer galactic arm, i.e. the Norma-Cygnus arm. We identify 8 class II young stellar objects (YSOs) using the NIR $(J - H)/(H - K)$ two colour diagram. We have estimated the age and mass of the YSOs identified in the present work and those by Snider et al. (2009) using the $V/(V - I)$ colour-magnitude diagram. The estimated ages and mass range of the majority of the YSOs are $\lesssim$1 Myr and $\sim$0.4 - 3.5 \msun, respectively, indicating that these sources could be T-Tauri stars or their siblings. Spatial distribution of the YSOs shows that some of the YSOs are distributed around the H II region Sh2-311, suggesting a triggered star formation at its periphery.


title: Embedded fragment stochastic density functional theory

abstract: We develop a method in which the electronic densities of small fragments determined by Kohn-Sham density functional theory (DFT) are embedded using stochastic DFT to form the exact density of the full system. The new method preserves the scaling and the simplicity of the stochastic DFT but cures the slow convergence that occurs when weakly coupled subsystems are treated. It overcomes the spurious charge fluctuations that impair the applications of the original stochastic DFT approach. We demonstrate the new approach on a fullerene dimer and on clusters of water molecules and show that the density of states and the total energy can be accurately described with a relatively small number of stochastic orbitals.


title: Linear Non-Transitive Temporal Logic, Knowledge Operations, Algorithms for Admissibility

abstract: The paper studies problems of satisfiability, decidability and admissibility of inference rules, conceptions of knowledge and agent's knowledge in non-transitive temporal linear logic LTL(Past,m). We find algorithms solving mentioned problems, justify our approach to consider linear non-transitive time with several examples. Main, most complicated, technical new result is decidability of LTL(Past,m) w.r.t. admissible rules. We discuss several ways to formalize conceptions of knowledge and agent's knowledge within given approach in non-transitive linear logic with models directed to past.


title: Provable Tensor Factorization with Missing Data

abstract: We study the problem of low-rank tensor factorization in the presence of missing data. We ask the following question: how many sampled entries do we need, to efficiently and exactly reconstruct a tensor with a low-rank orthogonal decomposition? We propose a novel alternating minimization based method which iteratively refines estimates of the singular vectors. We show that under certain standard assumptions, our method can recover a three-mode $n\times n\times n$ dimensional rank-$r$ tensor exactly from $O(n^{3/2} r^5 \log^4 n)$ randomly sampled entries. In the process of proving this result, we solve two challenging sub-problems for tensors with missing data. First, in the process of analyzing the initialization step, we prove a generalization of a celebrated result by Szemer\'edie et al. on the spectrum of random graphs. Next, we prove global convergence of alternating minimization with a good initialization. Simulations suggest that the dependence of the sample size on dimensionality $n$ is indeed tight.


title: A New Class of Multiple-rate Codes Based on Block Markov Superposition Transmission

abstract: Hadamard transform~(HT) as over the binary field provides a natural way to implement multiple-rate codes~(referred to as {\em HT-coset codes}), where the code length $N=2^p$ is fixed but the code dimension $K$ can be varied from $1$ to $N-1$ by adjusting the set of frozen bits. The HT-coset codes, including Reed-Muller~(RM) codes and polar codes as typical examples, can share a pair of encoder and decoder with implementation complexity of order $O(N \log N)$. However, to guarantee that all codes with designated rates perform well, HT-coset coding usually requires a sufficiently large code length, which in turn causes difficulties in the determination of which bits are better for being frozen. In this paper, we propose to transmit short HT-coset codes in the so-called block Markov superposition transmission~(BMST) manner. At the transmitter, signals are spatially coupled via superposition, resulting in long codes. At the receiver, these coupled signals are recovered by a sliding-window iterative soft successive cancellation decoding algorithm. Most importantly, the performance around or below the bit-error-rate~(BER) of $10^{-5}$ can be predicted by a simple genie-aided lower bound. Both these bounds and simulation results show that the BMST of short HT-coset codes performs well~(within one dB away from the corresponding Shannon limits) in a wide range of code rates.


title: Axisymmetric toroidal modes of general relativistic magnetized neutron star models

abstract: We calculate axisymmetric toroidal modes of magnetized neutron stars with a solid crust in the general relativistic Cowling approximation. We assume that the interior of the star is threaded by a poloidal magnetic field, which is continuous at the surface with an outside dipole field. We examine the cases of the field strength $B_{{\rm{S}}}\sim10^{16}$ G at the surface. Since separation of variables is not possible for the oscillations of magnetized stars, we employ finite series expansions for the perturbations using spherical harmonic functions. We find discrete normal toroidal modes of odd parity, but no toroidal modes of even parity are found. The frequencies of the toroidal modes form distinct mode sequences and the frequency in a given mode sequence gradually decreases as the number of radial nodes of the eigenfunction increases. From the frequency spectra computed for neutron stars of different masses, we find that the frequency is almost exactly proportional to $B_{{\rm{S}}}$ and is well represented by a linear function of $R/M$ for a given $B_{{\rm{S}}}$, where $M$ and $R$ are the mass and radius of the star. The toroidal mode frequencies for $B_{{\rm{S}}}\sim 10^{15}$ G are in the frequency range of the quasi-periodic oscillations (QPOs) detected in the soft-gamma-ray repeaters, but we find that the toroidal normal modes cannot explain all the detected QPO frequencies.


title: Quantum Monte Carlo Calculations of Light Nuclei Using Chiral Potentials

abstract: We present the first Green's function Monte Carlo calculations of light nuclei with nuclear interactions derived from chiral effective field theory up to next-to-next-to-leading order. Up to this order, the interactions can be constructed in a local form and are therefore amenable to quantum Monte Carlo calculations. We demonstrate a systematic improvement with each order for the binding energies of $A=3$ and $A=4$ systems. We also carry out the first few-body tests to study perturbative expansions of chiral potentials at different orders, finding that higher-order corrections are more perturbative for softer interactions. Our results confirm the necessity of a three-body force for correct reproduction of experimental binding energies and radii, and pave the way for studying few- and many-nucleon systems using quantum Monte Carlo methods with chiral interactions.


title: The full automorphism group of the power (di)graph of a finite group

abstract: We describe the full automorphism group of the power (di)graph of a finite group. As an application, we solve a conjecture proposed by Doostabadi, Erfanian and Jafarzadeh in 2013.


title: Restrictions of Brownian motion

abstract: Let $\{ B(t) \colon 0\leq t\leq 1\}$ be a linear Brownian motion and let $\dim$ denote the Hausdorff dimension. Let $\alpha>\frac12$ and $1\leq \beta \leq 2$. We prove that, almost surely, there exists no set $A\subset[0,1]$ such that $\dim A>\frac12$ and $B\colon A\to\mathbb{R}$ is $\alpha$-H\"older continuous. The proof is an application of Kaufman's dimension doubling theorem. As a corollary of the above theorem, we show that, almost surely, there exists no set $A\subset[0,1]$ such that $\dim A>\frac{\beta}{2}$ and $B\colon A\to\mathbb{R}$ has finite $\beta$-variation. The zero set of $B$ and a deterministic construction witness that the above theorems give the optimal dimensions.


title: A Critical Review of Classical Bouncing Cosmologies

abstract: Given the proliferation of bouncing models in recent years, we gather and critically assess these proposals in a comprehensive review. The Planck data shows an unmistakably red, quasi scale-invariant, purely adiabatic primordial power spectrum and no primary non-Gaussianities. While these observations are consistent with inflationary predictions, bouncing cosmologies aspire to provide an alternative framework to explain them. Such models face many problems, both of the purely theoretical kind, such as the necessity of violating the NEC and instabilities, and at the cosmological application level, as exemplified by the possible presence of shear. We provide a pedagogical introduction to these problems and also assess the fitness of different proposals with respect to the data. For example, many models predict a slightly blue spectrum and must be fine-tuned to generate a red spectral index; as a side effect, large non-Gaussianities often result. We highlight several promising attempts to violate the NEC without introducing dangerous instabilities at the classical and/or quantum level. If primordial gravitational waves are observed, certain bouncing cosmologies, such as the cyclic scenario, are in trouble, while others remain valid. We conclude that, while most bouncing cosmologies are far from providing an alternative to the inflationary paradigm, a handful of interesting proposals have surfaced, which warrant further research. The constraints and lessons learned as laid out in this review might guide future research.


title: A new approach for formal behavioral modeling of protection services in antivirus systems

abstract: Formal method techniques provides a suitable platform for the software development in software systems. Formal methods and formal verification is necessary to prove the correctness and improve performance of software systems in various levels of design and implementation, too. Security Discussion is an important issue in computer systems. Since the antivirus applications have very important role in computer systems security, verifying these applications is very essential and necessary. In this paper, we present four new approaches for antivirus system behavior and a behavioral model of protection services in the antivirus system is proposed. We divided the behavioral model in to preventive behavior and control behavior and then we formal these behaviors. Finally by using some definitions we explain the way these behaviors are mapped on each other by using our new approaches.


title: Neutrino Emission in Jet Propagation Process

abstract: Relativistic jets are universal in long-duration gamma-ray burst (GRB) models. Before breaking out, they must propagate in the progenitor envelope along with a forward shock and a reverse shock forming at the jet head. Both electrons and protons will be accelerated by the shocks. High energy neutrinos could be produced by these protons interacting with stellar materials and electron-radiating photons. The jet will probably be collimated, which may have a strong effect on the final neutrino flux. Under the assumption of a power-law stellar-envelope density profile $\rho \propto r^{-\alpha}$ with an index $\alpha$, we calculate this neutrino emission flux by these shocks for low-luminosity GRBs (LL-GRBs) and ultra-long GRBs (UL-GRBs) in different collimation regimes, using the jet propagation framework developed by \citet{bro11}. We find that LL-GRBs and UL-GRBs are capable for detectable high energy neutrinos up to $\sim {\rm PeV}$, and obtain the final neutrino spectrum. Besides, we conclude that larger $\alpha$ corresponds to greater neutrino flux at high energy end ($\sim {\rm PeV}$) and higher maximum neutrino energy as well. However, such differences are so small that it is not promising for us to distinguish from observations, given the energy resolution we have now.


title: Towards a Frontier of Spatial Scientometric Studies

abstract: The research field of spatial scientometrics is dedicated to measuring and analyzing science with spatial components (e.g., location, place, mapping). Because of the dynamic nature of this field, researchers from multidisciplinary domains constantly contribute qualitative, quantitative and computational approaches and technologies into scientometric analysis. This article aims to giving a brief overview about this field by analyzing the publications in (spatial) scientometrics collected from the Scopus database and introduces recent frontier researches which integrate advanced spatial analysis and geovisualization with Semantic Web technologies.


title: The Mean Interference-to-Signal Ratio and its Key Role in Cellular and Amorphous Networks

abstract: We introduce a simple yet powerful and versatile analytical framework to approximate the SIR distribution in the downlink of cellular systems. It is based on the mean interference-to-signal ratio and yields the horizontal gap (SIR gain) between the SIR distribution in question and a reference SIR distribution. As applications, we determine the SIR gain for base station silencing, cooperation, and lattice deployment over a baseline architecture that is based on a Poisson deployment of base stations and strongest-base station association. The applications demonstrate that the proposed approach unifies several recent results and provides a convenient framework for the analysis and comparison of future network architectures and transmission schemes, including amorphous networks where a user is served by multiple base stations and, consequently, (hard) cell association becomes obsolete.


title: Rendezvous of Distance-aware Mobile Agents in Unknown Graphs

abstract: We study the problem of rendezvous of two mobile agents starting at distinct locations in an unknown graph. The agents have distinct labels and walk in synchronous steps. However the graph is unlabelled and the agents have no means of marking the nodes of the graph and cannot communicate with or see each other until they meet at a node. When the graph is very large we want the time to rendezvous to be independent of the graph size and to depend only on the initial distance between the agents and some local parameters such as the degree of the vertices, and the size of the agent's label. It is well known that even for simple graphs of degree $\Delta$, the rendezvous time can be exponential in $\Delta$ in the worst case. In this paper, we introduce a new version of the rendezvous problem where the agents are equipped with a device that measures its distance to the other agent after every step. We show that these \emph{distance-aware} agents are able to rendezvous in any unknown graph, in time polynomial in all the local parameters such the degree of the nodes, the initial distance $D$ and the size of the smaller of the two agent labels $l = \min(l_1, l_2)$. Our algorithm has a time complexity of $O(\Delta(D+\log{l}))$ and we show an almost matching lower bound of $\Omega(\Delta(D+\log{l}/\log{\Delta}))$ on the time complexity of any rendezvous algorithm in our scenario. Further, this lower bound extends existing lower bounds for the general rendezvous problem without distance awareness.


title: Quantifying repulsiveness of determinantal point processes

abstract: Determinantal point processes (DPPs) have recently proved to be a useful class of models in several areas of statistics, including spatial statistics, statistical learning and telecommunications networks. They are models for repulsive (or regular, or inhibitive) point processes, in the sense that nearby points of the process tend to repel each other. We consider two ways to quantify the repulsiveness of a point process, both based on its second-order properties, and we address the question of how repulsive a stationary DPP can be. We determine the most repulsive stationary DPP, when the intensity is fixed, and for a given $R>0$ we investigate repulsiveness in the subclass of $R$-dependent stationary DPPs, that is, stationary DPPs with $R$-compactly supported kernels. Finally, in both the general case and the $R$-dependent case, we present some new parametric families of stationary DPPs that can cover a large range of DPPs, from the stationary Poisson process (the case of no interaction) to the most repulsive DPP.


title: High Speed Friction Microscopy and Nanoscale Friction Coefficient Mapping

abstract: As mechanical devices in the nano/micro length scale are increasingly employed, it is crucial to understand nanoscale friction and wear especially at technically relevant sliding velocities. Accordingly, a novel technique has been developed for Friction Coefficient Mapping (FCM), leveraging recent advances in high speed AFM. The technique efficiently acquires friction versus force curves based on a sequence of images at a single location, each with incrementally lower loads. As a result, true maps of the coefficient of friction can be uniquely calculated for heterogeneous surfaces. These parameters are determined at a scan velocity as fast as 2 mm/s for microfabricated SiO2 mesas and Au coated pits, yielding results that are identical to traditional speed measurements despite being ~1000 times faster. To demonstrate the upper limit of sliding velocity for the custom setup, the friction properties of mica are reported from 200 {\mu}m/sec up to 2 cm/sec. While FCM is applicable to any AFM and scanning speed, quantitative nanotribology investigations of heterogeneous sliding or rolling components are therefore uniquely possible, even at realistic velocities for devices such as MEMS, biological implants, or data storage systems.


title: The $\beta$-Mixing Rate of STIT Tessellations

abstract: We consider homogeneous STIT tessellations $Y$ in the $\ell$-dimensional Euclidean space $R^\ell$ and show that the (spatial) $\beta$-mixing rate converges to zero.


title: Scaling of diffusion constants in the spin-1/2 XX ladder

abstract: We study the dynamics of spin currents in the XX spin-1/2 ladder at finite temperature. Within the framework of linear response theory, we numerically calculate autocorrelation functions for quantum systems larger than what is accessible with exact diagonalization using the concept of dynamical quantum typicality. We show that spin Drude weights vanish exponentially fast with increasing system size. As a main result, we unveil qualitatively different dependencies of the spin diffusion coefficient on the rung-interaction strength, resulting from a crossover from exponential to Gaussian dissipation as the rung coupling increases. This behavior is also derived analytically. We further discuss the relation of our results to experiments with cold atomic gases.


title: Galaxy Cluster Scaling Relations between Bolocam Sunyaev-Zel'dovich Effect and Chandra X-ray Measurements

abstract: We present scaling relations between the integrated Sunyaev-Zel'dovich Effect (SZE) signal, $Y_{\rm SZ}$, its X-ray analogue, $Y_{\rm X}\equiv M_{\rm gas}T_{\rm X}$, and total mass, $M_{\rm tot}$, for the 45 galaxy clusters in the Bolocam X-ray-SZ (BOXSZ) sample. All parameters are integrated within $r_{2500}$. $Y_{2500}$ values are measured using SZE data collected with Bolocam, operating at 140 GHz at the Caltech Submillimeter Observatory (CSO). The temperature, $T_{\rm X}$, and mass, $M_{\rm gas,2500}$, of the intracluster medium are determined using X-ray data collected with Chandra, and $M_{\rm tot}$ is derived from $M_{\rm gas}$ assuming a constant gas mass fraction. Our analysis accounts for several potential sources of bias, including: selection effects, contamination from radio point sources, and the loss of SZE signal due to noise filtering and beam-smoothing effects. We measure the $Y_{2500}$--$Y_{\rm X}$ scaling to have a power-law index of $0.84\pm0.07$, and a fractional intrinsic scatter in $Y_{2500}$ of $(21\pm7)\%$ at fixed $Y_{\rm X}$, both of which are consistent with previous analyses. We also measure the scaling between $Y_{2500}$ and $M_{2500}$, finding a power-law index of $1.06\pm0.12$ and a fractional intrinsic scatter in $Y_{2500}$ at fixed mass of $(25\pm9)\%$. While recent SZE scaling relations using X-ray mass proxies have found power-law indices consistent with the self-similar prediction of 5/3, our measurement stands apart by differing from the self-similar prediction by approximately 5$\sigma$. Given the good agreement between the measured $Y_{2500}$--$Y_{\rm X}$ scalings, much of this discrepancy appears to be caused by differences in the calibration of the X-ray mass proxies adopted for each particular analysis.


title: Quantum thermodynamics of general quantum processes

abstract: Accurately describing work extraction from a quantum system is a central objective for the extension of thermodynamics to individual quantum systems. The concepts of work and heat are surprisingly subtle when generalizations are made to arbitrary quantum states. We formulate an operational thermodynamics suitable for application to an open quantum system undergoing quantum evolution under a general quantum process by which we mean a completely-positive and trace-preserving map. We derive an operational first law of thermodynamics for such processes and show consistency with the second law. We show that heat, from the first law, is positive when the input state of the map majorises the output state. Moreover, the change in entropy is also positive for the same majorisation condition. This makes a strong connection between the two operational laws of thermodynamics.


title: Unusual swelling of a polymer in a bacterial bath

abstract: The equilibrium structure and dynamics of a single polymer chain in a thermal solvent is by now well-understood in terms of scaling laws. Here we consider a polymer in a bacterial bath, i.e. in a solvent consisting of active particles which bring in nonequilibrium fluctuations. Using computer simulations of a self-avoiding polymer chain in two dimensions which is exposed to a dilute bath of active particles, we show that the Flory-scaling exponent is unaffected by the bath activity provided the chain is very long. Conversely, for shorter chains, there is a nontrivial coupling between the bacteria intruding into the chain which may stiffen and expand the chain in a nonuniversal way. As a function of the molecular weight, the swelling first scales faster than described by the Flory exponent, then an unusual plateau-like behaviour is reached and finally a crossover to the universal Flory behaviour is observed. As a function of bacterial activity, the chain end-to-end distance exhibits a pronounced non-monotonicity. Moreover, the mean-square displacement of the center of mass of the chain shows a ballistic behaviour at intermediate times as induced by the active solvent. Our predictions are verifiable in two-dimensional bacterial suspensions and for colloidal model chains exposed to artificial colloidal microswimmers.


title: An explicit upper bound of the argument of Dirichlet $L$-functions on the generalized Riemann hypothesis

abstract: We prove an explicit upper bound of the function $S(t,\chi)$, defined by the argument of Dirichlet $L$-functions. An explicit upper bound of the function $S_1(t)$, defined by the integral of the argument of the Riemann zeta-function, have already been obtained by A. Fujii. Our result is obtained by applying an idea of Fujii's result on $S_1(t)$. The constant part of the explicit upper bound of $S(t,\chi)$ in this paper does not depend on a primitive Dirichlet character $\chi\pmod {q>1}$.


title: Elliptic and triangular flow in p+Pb and peripheral Pb+Pb collisions from parton scatterings

abstract: Using a multiphase transport model (AMPT) we calculate the elliptic, $v_2$, and triangular, $v_3$, Fourier coefficients of the two-particle azimuthal correlation function in proton-nucleus (p+Pb) and peripheral nucleus-nucleus (Pb+Pb) collisions. Our results for $v_3$ are in a good agreement with the CMS data collected at the Large Hadron Collider. The $v_2$ coefficient is very well described in p+Pb collisions and is underestimated for higher transverse momenta in Pb+Pb interactions. The characteristic mass ordering of $v_2$ in p+Pb is reproduced whereas for $v_3$ this effect is not observed. We further predict the pseudorapidity dependence of $v_2$ and $v_3$ in p+Pb and observe that both are increasing when going from a proton side to a Pb-nucleus side. Predictions for the higher order Fourier coefficients, $v_4$ and $v_5$, in p+Pb are also presented.


title: On the relation between continuous functions in two different metric spaces

abstract: Let the metric space $\mathbb R^n \setminus \sim$ be the metric space of $n$-sized unordered tuples of real numbers. In the following, it will be shown that if a function $\varphi: \mathbb R^m \to \mathbb R^n \setminus \sim$ is continuous, then there is a continuous function $f: \mathbb R^m \to \mathbb R^n$ such that a natural embedding of $f$ into $\mathbb R^n \setminus \sim$ is equal to $\varphi$. This theorem is wrong in the complex case. A counterexample is given in [1].


title: On the types of the mixed Hodge structures of character varieties

abstract: In this paper, we show that the mixed Hodge structures of character varieties are of Hodge--Tate type and that the mixed Hodge polynomials are independent of the choice of generic eigenvalues, which is a conjecture due to Hausel, Letellier and Rodriguez-Villegas. Moreover, we investigate the mixed Hodge structures of the moduli space of semistable parabolic Higgs bundles and the moduli space of semistable regular singular parabolic connections. We show that the mixed Hodge structures of these moduli spaces are pure.


title: The Secrets of Salient Object Segmentation

abstract: In this paper we provide an extensive evaluation of fixation prediction and salient object segmentation algorithms as well as statistics of major datasets. Our analysis identifies serious design flaws of existing salient object benchmarks, called the dataset design bias, by over emphasizing the stereotypical concepts of saliency. The dataset design bias does not only create the discomforting disconnection between fixations and salient object segmentation, but also misleads the algorithm designing. Based on our analysis, we propose a new high quality dataset that offers both fixation and salient object segmentation ground-truth. With fixations and salient object being presented simultaneously, we are able to bridge the gap between fixations and salient objects, and propose a novel method for salient object segmentation. Finally, we report significant benchmark progress on three existing datasets of segmenting salient objects


title: Compositional Testing For FSM-Based Models

abstract: The contribution of this paper is threefold: first, it defines a framework for modelling component-based systems, as well as a formalization of integration rules to combine their behavior. This is based on finite state machines (FSM). Second, it studies compositional conformance testing i.e. checking whether an implementation made of conforming components combined with integration operators is conform to its specification. Third, it shows the correctness of the global system can be obtained by testing the components involved into it towards the projection of the global specification on the specifications of the components. This result is useful to build adequate test purposes for testing components taking into account the system where they are plugged in.


title: Variational occupation numbers to a M\"uller-type pair-density

abstract: Based on a parametric point-wise decomposition, a kind of isospectral deformation, of the exact one-particle probability density of an externally confined, analytically solvable interacting two-particle model system we introduce the associated parametric ($p$) one-matrix and apply it in the conventional M\"uller-type partitioning of the pair-density. Using the Schr\"odinger Hamiltonian of the correlated system, the corresponding approximate ground-state energy $E_p$ is then calculated. The optimization-search performed on $E_p$ with such restricted informations has a robust performance and results in the exact ($ex$) ground-state energy for the correlated model system $E_p=E_{ex}$.


title: Remote creation of a one-qubit mixed state through a short homogeneous spin-1/2 chain

abstract: We consider a method of remote mixed state creation of a one-qubit subsystem (receiver) in a spin-1/2 chain governed by the nearest-neighbor $XY$-Hamiltonian. Owing to the evolution of the chain along with the variable local unitary transformation of the one- or two-qubit sender, a large variety of receiver states can be created during some time interval starting with a fixed initial state of the whole quantum system. These states form the creatable region of the receiver's state-space. It is remarkable that, having the two-qubit sender, a large creatable region may be covered at a properly fixed time instant $t_0$ using just the variable local unitary transformation of the sender. In this case we have completely local control of the remote state creation. In general, for a given initial state, there are such receiver's states that may not be created using the above tool. These states form the unavailable region. In turn, this unavailable region might be the creatable region of another sender. Thus, in future, we have a way to share the whole receiver's state-space among the creatable regions of several senders. The effectiveness of remote state creation is characterized by the density function of the creatable region.


title: Sensitivity analysis of hybrid systems with state jumps with application to trajectory tracking

abstract: This paper addresses the sensitivity analysis for hybrid systems with discontinuous (jumping) state trajectories. We consider state-triggered jumps in the state evolution, potentially accompanied by mode switching in the control vector field as well. For a given trajectory with state jumps, we show how to construct an approximation of a nearby perturbed trajectory corresponding to a small variation of the initial condition and input. A major complication in the construction of such an approximation is that, in general, the jump times corresponding to a nearby perturbed trajectory are not equal to those of the nominal one. The main contribution of this work is the development of a notion of error to clarify in which sense the approximate trajectory is, at each instant of time, a firstorder approximation of the perturbed trajectory. This notion of error naturally finds application in the (local) tracking problem of a time-varying reference trajectory of a hybrid system. To illustrate the possible use of this new error definition in the context of trajectory tracking, we outline how the standard linear trajectory tracking control for nonlinear systems -based on linear quadratic regulator (LQR) theory to compute the optimal feedback gain- could be generalized for hybrid systems.


title: On the Development of Methodology for Planning and Cost-Modeling of a Wide Area Network

abstract: The most important stages in designing a computer network in a wider geographical area include: definition of requirements, topological description, identification and calculation of relevant parameters (i.e. traffic matrix), determining the shortest path between nodes, quantification of the effect of various levels of technical and technological development of urban areas involved, the cost of technology, and the cost of services. These parameters differ for WAN networks in different regions - their calculation depends directly on the data "in the field": number of inhabitants, distance between populated areas, network traffic density, as well as available bandwidth. The main reason for identification and evaluation of these parameters is to develop a model that could meet the constraints imposed by potential beneficiaries. In this paper, we develop a methodology for planning and cost-modeling of a wide area network and validate it in a case study, under the supposition that behavioral interactions of individuals and groups play a significant role and have to be taken into consideration by employing either simple or composite indicators of socioeconomic status.


title: Multiple charge beam dynamics in Alternate Phase Focusing structure

abstract: Asymmetrical Alternate Phase (A-APF) focusing realized in a sequence of 36 Superconducting Quarter Wave Resonators has been shown to accelerate almost 81 % of input Uranium beam before foil stripper to an energy of 6.2 MeV/u from 1.3 MeV/u. Ten charge states from 34+ to 43+ could be simultaneously accelerated with the phase of resonators tuned for 34+. A-APF structure showed unique nature of large potential bucket for charge states higher than that of tuned one. Steering inherent to QWRs can be mitigated by selecting appropriate phase variation of the APF periods and optimization of solenoid field strengths placed in each of the periods. This mitigation facilitates multiple charge state acceleration scheme


title: Very high thermoelectric power factor in a Fe3O4/SiO2/p-type Si(100)heterostructure

abstract: The thermoelectric and transport properties of a Fe3O4/SiO2/p-Si(100) heterostructure have been investigated between 100 and 300 K. Both Hall and Seebeck coefficients change sign from negative to positive with increasing temperature while the resistivity drops sharply due to tunneling of carriers into the p-Si(100). The low resistivity and large Seebeck coefficient of Si give a very high thermoelectric power factor of 25.5mW/K2m at 260K which is an underestimated, lower limit value and is related to the density of states and difference in the work functions of Fe3O4 and Si(100) that create an accumulation of majority holes at the p-Si/SiO2 interface


title: Multivariate interactions modeling through their manifestations: low dimensional model building via the Cumulant Generating Function

abstract: Growing dimensionality of data calls for beyond-pairwise interactions quantification. Measures of multidimensional interactions quantification are hindered, among others, by two issues: 1. Interpretation difficulties, 2. the curse of dimensionality. We propose to deal with multidimensional interactions by identifying subject-matter specific "interaction manifestations" and then building a low-dimensional model that reproduces as close as possible such manifestations. We argue that an adequate model building approach is to build the model in the form of a cumulant generating function, i.e. to use joint cumulants as building blocks. The whole approach resembles that of probability inversion in the area of expert knowledge based risk assessment, where a discrimination is made between "elicitation" variables, familiar to the experts, and "target" (or model) variables, consisting of the more abstract parameters of a mathematical model. A synthetic example is provided to illustrate these ideas.


title: Computation of the Response Surface in the Tensor Train data format

abstract: We apply the Tensor Train (TT) approximation to construct the Polynomial Chaos Expansion (PCE) of a random field, and solve the stochastic elliptic diffusion PDE with the stochastic Galerkin discretization. We compare two strategies of the polynomial chaos expansion: sparse and full polynomial (multi-index) sets. In the full set, the polynomial orders are chosen independently in each variable, which provides higher flexibility and accuracy. However, the total amount of degrees of freedom grows exponentially with the number of stochastic coordinates. To cope with this curse of dimensionality, the data is kept compressed in the TT decomposition, a recurrent low-rank factorization. PCE computations on sparse grids sets are extensively studied, but the TT representation for PCE is a novel approach that is investigated in this paper. We outline how to deduce the PCE from the covariance matrix, assemble the Galerkin operator, and evaluate some post-processing (mean, variance, Sobol indices), staying within the low-rank framework. The most demanding are two stages. First, we interpolate PCE coefficients in the TT format using a few number of samples, which is performed via the block cross approximation method. Second, we solve the discretized equation (large linear system) via the alternating minimal energy algorithm. In the numerical experiments we demonstrate that the full expansion set encapsulated in the TT format is indeed preferable in cases when high accuracy and high polynomial orders are required.


title: Isogeometric Boundary Element Method with Hierarchical Matrices

abstract: In this work we address the complexity problem of the isogeometric Boundary Element Method by proposing a collocation scheme for practical problems in linear elasticity and the application of hierarchical matrices. For mixed boundary value problems, a block system of matrices similar to Galerkin formulations is constructed allowing an effective application of that matrix format. We introduce a strategy for the geometric bisection of surfaces based on NURBS patches. The approximation of system matrices is carried out by means of kernel interpolation. Numerical results are shown that prove the success of the formulation.


title: Primary oscillatory instability in low-aspect-ratio rotating disk - cylinder system (rotor - stator cavity)

abstract: Three-dimensional instability of axisymmetric flow in a rotating disk - cylinder configuration is studied numerically for the case of low cylinders with the height/radius aspect ratio varying between 1 and 0.1. A complete stability diagram for the transition from steady axisymmetric to oscillatory three-dimensional flow regime is reported. A good agreement with experimental results is obtained. It is shown that critical azimuthal wavenumber grows with the decrease of the aspect ratio, reaching the value of 19 at the aspect ratio 0.1. It is argued that the observed instability cannot be described as resulting from a B\"odewadt flow or from a boundary layer only. Other reasons that can destabilize the flow are discussed.


title: Maximal entropy random walk improves efficiency of trapping in dendrimers

abstract: We use maximal entropy random walk (MERW) to study the trapping problem in dendrimers modeled by Cayley trees with a deep trap fixed at the central node. We derive an explicit expression for the mean first passage time from any node to the trap, as well as an exact formula for the average trapping time (ATT), which is the average of the source-to-trap mean first passage time over all non-trap starting nodes. Based on the obtained closed-form solution for ATT, we further deduce an upper bound for the leading behavior of ATT, which is the fourth power of $\ln N$, where $N$ is the system size. This upper bound is much smaller than the ATT of trapping depicted by unbiased random walk in Cayley trees, the leading scaling of which is a linear function of $N$. These results show that MERW can substantially enhance the efficiency of trapping performed in dendrimers.


title: A CMV--based eigensolver for companion matrices

abstract: In this paper we present a novel matrix method for polynomial rootfinding. By exploiting the properties of the QR eigenvalue algorithm applied to a suitable CMV-like form of a companion matrix we design a fast and computationally simple structured QR iteration.


title: Does MoSE cope with inland tsunamis hazard?

abstract: In this work we use morphostructural zonation and pattern recognition techniques to identify a potential seismic source located inland very near Venice, and then we evaluate how a tsunami wave generated from this source can affect the MoSE gates if they are standing up (closed) during the tsunami event. From our simulation we get both peaks and troughs as first arrivals: the behavior of the barriers in these two situations could be a very important design matter.


title: A Framework for the Evaluation of SaaS Impact

abstract: Nowadays the technological progress allows us to have highly flexible solutions, easily accessible with lower levels of investment, which leads to many companies adopting SaaS (Software-as-a-Service) to support their business processes. Associated with this movement and considering the advantages of SaaS, it is important to understand whether work is being developed that is underutilized because companies are not taking advantage of it, and in this case it is necessary to understand the reasons thereof. This knowledge is important even for people who do not use or do not develop/provide SaaS, since sooner or later it will be unavoidable due to current trends. In the near future, nearly all decision-makers of IT strategies will be forced to consider adopting SaaS as an IT solution for the convenience benefits associated with technology or market competition. At that time they will have to know how to evaluate impacts and decide. Often, decision-makers of business strategies consider only the attractive incentives of using SaaS ignoring the impacts associated with new technologies. The need for tools and processes to assess these impacts before adopting a SaaS solution is crucial to ensure the sustainability of the information system, reduce uncertainty and facilitate decision making. This article presents a framework for evaluating impacts of SaaS called SIE (SaaS Impact Evaluation) which in addition to guidance for the present research, aims to provide guidelines for the collection, data analysis, impact assessment and decision making about including SaaS on the organizations strategic plans.


title: A Hitchhiker's Guide to Search-Based Software Engineering for Software Product Lines

abstract: Search Based Software Engineering (SBSE) is an emerging discipline that focuses on the application of search-based optimization techniques to software engineering problems. The capacity of SBSE techniques to tackle problems involving large search spaces make their application attractive for Software Product Lines (SPLs). In recent years, several publications have appeared that apply SBSE techniques to SPL problems. In this paper, we present the results of a systematic mapping study of such publications. We identified the stages of the SPL life cycle where SBSE techniques have been used, what case studies have been employed and how they have been analysed. This mapping study revealed potential venues for further research as well as common misunderstanding and pitfalls when applying SBSE techniques that we address by providing a guideline for researchers and practitioners interested in exploiting these techniques.


title: Some Ideas for Program Verifier Tactics

abstract: A program verifier is a tool that can be used to verify that a "contract" for a program holds - i.e. given a precondition the program guarantees that a given postcondition holds - by only working at the level of the annotated program. An alternative approach is to use an interactive theorem prover, which enables users to encode common proof patterns as special programs called "tactics". This offers more flexibility than program verifiers, but at the expense of skills required by the user. Here, we add such flexibility to program verifiers by developing "tactics" as a form of program refactoring called DTacs. A formal characterisation and set of examples are given, illustrated with a case study from NASA.


title: Exact Ground State of Strongly Correlated Electron Systems from Symmetry-Entangled Wave-Functions

abstract: The four-site Hubbard model is considered from the exact diagonalisation and variational method points of view. It is shown that the exact ground-state can be recovered by a symmetry projected Slater determinant, irrespective of the interaction strength. This is in contrast to the Gutzwiller wave-function, which is calculated as well.


title: Magnetic properties of the spin-1 two-dimensional $J_1-J_3$ Heisenberg model on a triangular lattice

abstract: Motivated by the recent experiment in NiGa$_2$S$_4$, the spin-1 Heisenberg model on a triangular lattice with the ferromagnetic nearest- and antiferromagnetic third-nearest-neighbor exchange interactions, $J_1 = -(1-p)J$ and $J_3 = pJ, J > 0$, is studied in the range of the parameter $0 \leq p \leq 1$. Mori's projection operator technique is used as a method, which retains the rotation symmetry of spin components and does not anticipate any magnetic ordering. For zero temperature several phase transitions are observed. At $ p \approx 0.2$ the ground state is transformed from the ferromagnetic order into a disordered state, which in its turn is changed to an antiferromagnetic long-range ordered state with the incommensurate ordering vector at $p \approx 0.31$. With growing $p$ the ordering vector moves along the line to the commensurate point $Q_c = (2 \pi /3, 0)$, which is reached at $p = 1$. The final state with the antiferromagnetic long-range order can be conceived as four interpenetrating sublattices with the $120\deg$ spin structure on each of them. Obtained results offer a satisfactory explanation for the experimental data in NiGa$_2$S$_4$.


title: Regular Tessellation Link Complements

abstract: By regular tessellation, we mean any hyperbolic 3-manifold tessellated by ideal Platonic solids such that the symmetry group acts transitively on oriented flags. A regular tessellation has an invariant we call the cusp modulus. For small cusp modulus, we classify all regular tessellations. For large cusp modulus, we prove that a regular tessellations has to be infinite volume if its fundamental group is generated by peripheral curves only. This shows that there are at least 19 and at most 21 link complements that are regular tessellations (computer experiments suggest that at least one of the two remaining cases likely fails to be a link complement, but so far we have no proof). In particular, we complete the classification of all principal congruence link complements given in Baker and Reid for the cases of discriminant D=-3 and D=-4. We only describe the manifolds arising as complements of links here with a future publication "Regular Tessellation Links" giving explicit pictures of these links.


title: Optical Observations of the Type Ic Supernova 2007gr in NGC 1058 and Implications for the Properties of its Progenitor

abstract: We present extensive optical observations of the normal Type Ic supernova (SN) 2007gr, spanning from about one week before maximum light to more than one year thereafter. The optical light and color curves of SN 2007gr are very similar to those of the broad-lined Type Ic SN 2002ap, but the spectra show remarkable differences. The optical spectra of SN 2007gr are characterized by unusually narrow lines, prominent carbon lines, and slow evolution of the line velocity after maximum light. The earliest spectrum (taken at t=-8 days) shows a possible signature of helium (He~I 5876 at a velocity of ~19,000 km s{-1}). Moreover, the larger intensity ratio of the [O I] 6300 and 6364 lines inferred from the early nebular spectra implies a lower opacity of the ejecta shortly after the explosion. These results indicate that SN 2007gr perhaps underwent a less energetic explosion of a smaller-mass Wolf-Rayet star (~ 8--9 Msun) in a binary system, as favored by an analysis of the progenitor environment through pre-explosion and post-explosion Hubble Space Telescope images. In the nebular spectra, asymmetric double-peaked profiles can be seen in the [O~I] 6300 and Mg~I] 4571 lines. We suggest that the two peaks are contributed by the blueshifted and rest-frame components. The similarity in velocity structure and the different evolution of the strength of the two components favor an aspherical explosion with the ejecta distributed in a torus or disk-like geometry, but inside the ejecta the O and Mg have different distributions.


title: On a Laplacian which acts on symmetric tensors

abstract: In the present paper we show properties of a little-known Laplacian operator acting on symmetric tensors. This operator is an analogue of the well known Hodge-de Rham Laplacian which acts on exterior differential forms. Moreover, this operator admits the Weitzenb\"ock decomposition and we study it using the analytical method, due to Bochner, of proving vanishing theorems for the null space of a Laplace operator admitting a Weitzenb\"ock decomposition and further of estimating its lowest eigenvalue.


title: Matrix mechanics of the relativistic point particle and string in Clifford space

abstract: We resolve the space-time canonical variables of the relativistic point particle into inner products of Weyl spinors with components in a Clifford algebra and find that these spinors themselves form a canonical system with generalized Poisson brackets. For N particles, the inner products of their Clifford coordinates and momenta form two NxN Hermitian matrices X and P which transform under a U(N) symmetry in the generating algebra. This is used as a starting point for defining matrix mechanics for a point particle in Clifford space. Next we consider the string. The Lorentz metric induces a metric and a scalar on the world sheet which we represent by a Jackiw-Teitelboim term in the action. The string is described by a polymomenta canonical system and we find the wave solutions to the classical equations of motion for a flat world sheet. Finally, we show that the SL(2.C) charge and space-time momentum of the quantized string satisfy the Poincare algebra.


title: Recycling BiCGSTAB with an Application to Parametric Model Order Reduction

abstract: Krylov subspace recycling is a process for accelerating the convergence of sequences of linear systems. Based on this technique, the recycling BiCG algorithm has been developed recently. Here, we now generalize and extend this recycling theory to BiCGSTAB. Recycling BiCG focuses on efficiently solving sequences of dual linear systems, while the focus here is on efficiently solving sequences of single linear systems (assuming non-symmetric matrices for both recycling BiCG and recycling BiCGSTAB). As compared with other methods for solving sequences of single linear systems with non-symmetric matrices (e.g., recycling variants of GMRES), BiCG based recycling algorithms, like recycling BiCGSTAB, have the advantage that they involve a short-term recurrence, and hence, do not suffer from storage issues and are also cheaper with respect to the orthogonalizations. We modify the BiCGSTAB algorithm to use a recycle space, which is built from left and right approximate invariant subspaces. Using our algorithm for a parametric model order reduction example gives good results. We show about 40% savings in the number of matrix-vector products and about 35% savings in runtime.


title: Bounds for partial derivatives: necessity of UMD and sharp constants

abstract: We prove the necessity of the UMD condition, with a quantitative estimate of the UMD constant, for any inequality in a family of $L^p$ bounds between different partial derivatives $\partial^\beta u$ of $u\in C^\infty_c(\mathbb{R}^n,X)$. In particular, we show that the estimate $\|u_{xy}\|_p\leq K(\|u_{xx}\|_p+\|u_{yy}\|_p)$ characterizes the UMD property, and the best constant $K$ is equal to one half of the UMD constant. This precise value of $K$ seems to be new even for scalar-valued functions.


title: Pre-determining the location of electromigrated gaps by nonlinear optical imaging

abstract: In this paper we describe a nonlinear imaging method employed to spatially map the occurrence of constrictions occurring on an electrically-stressed gold nanowire. The approach consists at measuring the influence of a tightly focused ultrafast pulsed laser on the electronic transport in the nanowire. We found that structural defects distributed along the nanowire are efficient nonlinear optical sources of radiation and that the differential conductance is significantly decreased when the laser is incident on such electrically-induced morphological changes. This imaging technique is applied to pre-determined the location of the electrical failure before it occurs.


title: The Linear Information Coupling Problems

abstract: Many network information theory problems face the similar difficulty of single-letterization. We argue that this is due to the lack of a geometric structure on the space of probability distribution. In this paper, we develop such a structure by assuming that the distributions of interest are close to each other. Under this assumption, the K-L divergence is reduced to the squared Euclidean metric in an Euclidean space. In addition, we construct the notion of coordinate and inner product, which will facilitate solving communication problems. We will present the application of this approach to the point-to-point channel, general broadcast channel, and the multiple access channel (MAC) with the common source. It can be shown that with this approach, information theory problems, such as the single-letterization, can be reduced to some linear algebra problems. Moreover, we show that for the general broadcast channel, transmitting the common message to receivers can be formulated as the trade-off between linear systems. We also provide an example to visualize this trade-off in a geometric way. Finally, for the MAC with the common source, we observe a coherent combining gain due to the cooperation between transmitters, and this gain can be quantified by applying our technique.


title: Heat flow, heat content and the isoparametric property

abstract: Let $M$ be a Riemannian manifold and $\Omega$ a compact domain of $M$ with smooth boundary. We study the solution of the heat equation on $\Omega$ having constant unit initial conditions and Dirichlet boundary conditions. The purpose of this paper is to study the geometry of domains for which, at any fixed value of time, the normal derivative of the solution (heat flow) is a constant function on the boundary. We express this fact by saying that such domains have the constant flow property. In constant curvature spaces known examples of such domains are given by geodesic balls and, more generally, by domains whose boundary is connected and isoparametric. The question is: are they all like that? In this paper we give an affirmative answer to this question: in fact we prove more generally that, if a domain in an analytic Riemannian manifold has the constant flow property, then every component of its boundary is an isoparametric hypersurface. For space forms, we also relate the order of vanishing of the heat content with fixed boundary data with the constancy of the $r$-mean curvatures of the boundary and with the isoparametric property. Finally, we discuss the constant flow property in relation to other well-known overdetermined problems involving the Laplace operator, like the Serrin problem or the Schiffer problem.


title: Relationship between Ferromagnetic Criticality and the Enhancement of Superconductivity Induced by Transverse Magnetic Fields in UCoGe

abstract: We have performed 59Co NMR experiments on the ferromagnetic superconductor UCoGe under magnetic fields (H) along the a- and b- axes to investigate the relationship between ferromagnetic properties and superconductivity. The ferromagnetic ordering temperature TCurie is suppressed and the nuclear spin-lattice relaxation rate 1/T1 at 2 K is enhanced in H || b, although TCurie and 1/T1 are unchanged in H || a, indicating that the ferromagnetic criticality is induced only when H is applied along the b axis. We show the close relationship between the magnetic anisotropies and the superconducting ones reported by Aoki et al.: the superconductivity is gradually suppressed in H || a, but enhanced in H || b above 5 T. We strongly suggest that the enhancement of the superconductivity observed in H || b originates from the field induced ferromagnetic criticality, as pointed out by Aoki et al and Mineev.


title: Free Boundary Formulation for BVPs on a Semi-Infinite Interval and Non-Iterative Transformation Methods

abstract: This paper is concerned with two examples on the application of the free boundary formulation to BVPs on a semi-infinite interval. In both cases we are able to provide the exact solution of both the BVP and its free boundary formulation. Therefore, these problems can be used as benchmarks for the numerical methods applied to BVPs on a semi-infinite interval and to free BVPs. Moreover, we emphasize how for two classes of free BVPs, we can define non-iterative initial value methods, whereas BVPs are usually solved iteratively. These non-iterative methods can be deduced within Lie's group invariance theory. Then, we show how to apply the non-iterative methods to the two introduced free boundary formulations in order to obtain meaningful numerical results. Finally, we indicate several problems from the literature where our non-iterative transformation methods can be applied.


title: Energy levels, radiative rates, and lifetimes for transitions in W LVIII

abstract: Energy levels and radiative rates are reported for transitions in Cl-like W LVIII. Configuration interaction (CI) has been included among 44 configurations (generating 4978 levels) over a wide energy range up to 363 Ryd, and the general-purpose relativistic atomic structure package ({\sc grasp}) adopted for the calculations. Since no other results of comparable complexity are available, calculations have also been performed with the flexible atomic code ({\sc fac}), which help in assessing the accuracy of our results. Energies are listed for the lowest 400 levels (with energies up to $\sim$ 98 Ryd), which mainly belong to the 3s$^2$3p$^5$, 3s3p$^6$, 3s$^2$3p$^4$3d, 3s$^2$3p$^3$3d$^2$, 3s3p$^4$3d$^2$, 3s$^2$3p$^2$3d$^3$, and 3p$^6$3d configurations, and radiative rates are provided for four types of transitions, i.e. E1, E2, M1, and M2. Our energy levels are assessed to be accurate to better than 0.5%, whereas radiative rates (and lifetimes) should be accurate to better than 20% for a majority of the strong transitions.


title: The Poisson transform for unnormalised statistical models

abstract: Contrary to standard statistical models, unnormalised statistical models only specify the likelihood function up to a constant. While such models are natural and popular, the lack of normalisation makes inference much more difficult. Here we show that inferring the parameters of a unnormalised model on a space $\Omega$ can be mapped onto an equivalent problem of estimating the intensity of a Poisson point process on $\Omega$. The unnormalised statistical model now specifies an intensity function that does not need to be normalised. Effectively, the normalisation constant may now be inferred as just another parameter, at no loss of information. The result can be extended to cover non-IID models, which includes for example unnormalised models for sequences of graphs (dynamical graphs), or for sequences of binary vectors. As a consequence, we prove that unnormalised parameteric inference in non-IID models can be turned into a semi-parametric estimation problem. Moreover, we show that the noise-contrastive divergence of Gutmann & Hyv\"arinen (2012) can be understood as an approximation of the Poisson transform, and extended to non-IID settings. We use our results to fit spatial Markov chain models of eye movements, where the Poisson transform allows us to turn a highly non-standard model into vanilla semi-parametric logistic regression.


title: Secret Symmetries of Type IIB Superstring Theory on AdS3 x S3 x M4

abstract: We establish features of so-called Yangian secret symmetries for AdS3 type IIB superstring backgrounds thus verifying the persistence of such symmetries to this new instance of the AdS/CFT correspondence. Specifically, we find two a priori different classes of secret symmetry generators. One class of generators, anticipated from the previous literature, is more naturally embedded in the algebra governing the integrable scattering problem. The other class of generators is more elusive, and somewhat closer in its form to its higher-dimensional AdS5 counterpart. All of these symmetries respect left-right crossing. In addition, by considering the interplay between left and right representations, we gain a new perspective on the AdS5 case. We also study the RTT-realisation of the Yangian in AdS3 backgrounds thus establishing a new incarnation of the Beisert-de Leeuw construction.


title: Hardy inequalities in globally twisted waveguides

abstract: We establish various Hardy-type inequalities for the Dirichlet Laplacian in perturbed periodically twisted tubes of non-circular cross-sections. We also state conjectures about the existence of such inequalities in more general regimes, which we support by heuristic and numerical arguments.


title: Numerical simulations of aggregate breakup in bounded and unbounded turbulent flows

abstract: Breakup of small aggregates in fully developed turbulence is studied by means of direct numerical simulations in a series of typical bounded and unbounded flow configurations, such as a turbulent channel flow, a developing boundary layer and homogeneous isotropic turbulence. The simplest criterion for breakup is adopted, whereas aggregate breakup occurs when the local hydrodynamic stress $\sigma\sim \varepsilon^{1/2}$, with $\varepsilon$ being the energy dissipation at the position of the aggregate, overcomes a given threshold $\sigma_\mathrm{cr}$, which is characteristic for a given type of aggregates. Results show that the breakup rate decreases with increasing threshold. For small thresholds, it develops a universal scaling among the different flows. For high thresholds, the breakup rates show strong differences between the different flow configurations, highlighting the importance of non-universal mean-flow properties. To further assess the effects of flow inhomogeneity and turbulent fluctuations, theresults are compared with those obtained in a smooth stochastic flow. Furthermore, we discuss the limitations and applicability of a set of independent proxies.


title: Inequalities for Lorentz polynomials

abstract: We prove a few interesting inequalities for Lorentz polynomials including Nikolskii-type inequalities. A highlight of the paper is a sharp Markov-type inequality for polynomials of degree at most n with real coefficients and with derivative not vanishing in the open unit disk. The result may be compared with Erdos's classical Markov-type inequality (1940) for polynomials of degree at most n having only real zeros outside the interval (-1,1).


title: Partitionnement D\'eterministe pour R\'esoudre les Probl\`emes de Programmation Par Contraintes en utilisant le Framework Parall\`ele Bobpp

abstract: This paper presents a deterministic parallelization to explore a Constraint Programming search space. This work is an answer to an industrial project named PAJERO, which is in need of a parallel constraint solver which always responds with the same solution whether using sequential or parallel machines. It is well known that parallel tree search changes the order in which the exploration of solution space is done. In the context where the first solution found is returned, using a different number of cores may change the returned solution. In the literature, several non deterministic strategies have been proposed to parallelize the exploration of Constraint Programming search space. Most of them are based on the Work Stealing technique used to partition the Constraint Programming search space on demand and during the execution of the search algorithm. Our study focuses on the determinism of the parallel search versus the sequential one. We consider that the sequential search algorithm is deterministic, then propose an elegant solution introducing a total order on the nodes in which the parallel algorithm always gives the same solution as the sequential one regardless of the number of cores used. To evaluate this deterministic strategy, we ran tests using the Google OR-Tools Constraint Programming solver on top of our parallel Bobpp framework. The performances are illustrated by solving Constraint Programming problems modeled in FlatZinc format.


title: Statistical estimation of jump rates for a specific class of Piecewise Deterministic Markov Processes

abstract: We consider the class of Piecewise Deterministic Markov Processes (PDMP), whose state space is $\R\_{+}^{*}$, that possess an increasing deterministic motion and that shrink deterministically when they jump. Well known examples for this class of processes are Transmission Control Protocol (TCP) window size process and the processes modeling the size of a "marked" {\it Escherichia coli} cell. Having observed the PDMP until its $n$th jump, we construct a nonparametric estimator of the jump rate $\lambda$. Our main result is that for $D$ a compact subset of $\R\_{+}^{*}$, if $\lambda$ is in the H{\''{o}}lder space ${\mathcal H}^s({\mathcal D})$, the squared-loss error of the estimator is asymptotically close to the rate of $n^{-s/(2s+1)}$. Simulations illustrate the behavior of our estimator.


title: Relativistic dynamics of stars near a supermassive black hole

abstract: General relativistic precession limits the ability of gravitational encounters to increase the eccentricity $e$ of orbits near a supermassive black hole (SBH). This "Schwarzschild barrier" (SB) has been shown to play an important role in the orbital evolution of stars like the galactic center S-stars. However, the evolution of orbits below the SB, $e>e_\mathrm{SB}$, is not well understood; the main current limitation is the computational complexity of detailed simulations. Here we present an $N$-body algorithm that allows us to efficiently integrate orbits of test stars around a SBH including general relativistic corrections to the equations of motion and interactions with a large ($\gtrsim 10^3$) number of field stars. We apply our algorithm to the S-stars and extract diffusion coefficients describing the evolution in angular momentum $L$. We identify three angular momentum regimes, in which the diffusion coefficients depend in functionally different ways on $L$. Regimes of lowest and highest $L$ are well-described in terms of non-resonant relaxation (NRR) and resonant relaxation (RR), respectively. In addition, we find a new regime of "anomalous relaxation" (AR). We present analytic expressions, in terms of physical parameters, that describe the diffusion coefficients in all three regimes, and propose a new, empirical criterion for the location of the SB in terms of the $L$-dependence of the diffusion coefficients. Subsequently we apply our results to obtain the steady-state distribution of angular momentum for orbits near a SBH.


title: Fast Computation of Solvation Free Energies with Molecular Density Functional Theory: Thermodynamic-Ensemble Partial Molar Volume Corrections

abstract: Molecular Density Functional Theory (MDFT) offers an efficient implicit- solvent method to estimate molecule solvation free-energies whereas conserving a fully molecular representation of the solvent. Even within a second order ap- proximation for the free-energy functional, the so-called homogeneous reference uid approximation, we show that the hydration free-energies computed for a dataset of 500 organic compounds are of similar quality as those obtained from molecular dynamics free-energy perturbation simulations, with a computer cost reduced by two to three orders of magnitude. This requires to introduce the proper partial volume correction to transform the results from the grand canoni- cal to the isobaric-isotherm ensemble that is pertinent to experiments. We show that this correction can be extended to 3D-RISM calculations, giving a sound theoretical justifcation to empirical partial molar volume corrections that have been proposed recently.


title: Non-ballistic spin separator based on Y-shaped nanostructure with a quantum point contact

abstract: A proposal of a spin separator based on the spin Zeeman effect in Y-shaped nanostructure with a quantum point contact is presented. Our calculations show that the appropriate tuning of the quantum point contact potential and the external magnetic field leads to the spin separation of the current: electrons with opposite spins flow through the different output branches. We demonstrate that this effect is robust against the scattering on impurities. The proposed device can also operate as a spin detector, in which -- depending on the electron spin -- the current flows through one of the output branches.


title: Large scale kinematics and dynamical modelling of the Milky Way nuclear star cluster

abstract: Within the central 10pc of our Galaxy lies a dense nuclear star cluster (NSC), and similar NSCs are found in most nearby galaxies. Studying the structure and kinematics of NSCs reveals the history of mass accretion of galaxy nuclei. Because the Milky Way (MW) NSC is at a distance of only 8kpc, we can spatially resolve the MWNSC on sub-pc scales. This makes the MWNSC a reference object for understanding the formation of all NSCs. We have used the NIR long-slit spectrograph ISAAC (VLT) in a drift-scan to construct an integral-field spectroscopic map of the central 9.5 x 8pc of our Galaxy. We use this data set to extract stellar kinematics both of individual stars and from the unresolved integrated light spectrum. We present a velocity and dispersion map from the integrated light and model these kinematics using kinemetry and axisymmetric Jeans models. We also measure CO bandhead strengths of 1,375 spectra from individual stars. We find kinematic complexity in the NSCs radial velocity map including a misalignment of the kinematic position angle by 9 degree counterclockwise relative to the Galactic plane, and indications for a rotating substructure perpendicular to the Galactic plane at a radius of 20" or 0.8pc. We determine the mass of the NSC within r = 4.2pc to 1.4 x 10^7 Msun. We also show that our kinematic data results in a significant underestimation of the supermassive black hole (SMBH) mass. The kinematic substructure and position angle misalignment may hint at distinct accretion events. This indicates that the MWNSC grew at least partly by the mergers of massive star clusters. Compared to other NSCs, the MWNSC is on the compact side of the r_eff - M_NSC relation. The underestimation of the SMBH mass might be caused by the kinematic misalignment and a stellar population gradient. But it is also possible that there is a bias in SMBH mass measurements obtained with integrated light.


title: Gravitational waves with torsion in 3D

abstract: We study gravitational waves with torsion as exact vacuum solutions of three-dimensional gravity with propagating torsion. The new solutions are a natural generalization of the plane-fronted gravitational waves in general relativity with a cosmological constant, in the presence of matter.


title: Generalized binomial distribution in photon statistics

abstract: The photon-number distribution between two parts of a given volume is found for an arbitrary photon statistics. This problem is related to the interaction of a light beam with a macroscopic device, for example a diaphragm, that separates the photon flux into two parts with known probabilities. To solve this problem, a Generalized Binomial Distribution (GBD) is derived that is applicable to an arbitrary photon statistics satisfying probability convolution equations. It is shown that if photons obey Poisson statistics then the GBD is reduced to the ordinary binomial distribution, whereas in the case of Bose-Einstein statistics the GBD is reduced to the Polya distribution. In this case, the photon spatial distribution depends on the phase-space volume occupied by the photons. This result involves a photon bunching effect, or collective behavior of photons that sharply differs from the behavior of classical particles. It is shown that the photon bunching effect looks similar to the quantum interference effect.


title: On the Impact of Geometry on Ad Hoc Communication in Wireless Networks

abstract: In this work we address the question how important is the knowledge of geometric location and network density to the efficiency of (distributed) wireless communication in ad hoc networks. We study fundamental communication task of broadcast and develop well-scalable, randomized algorithms that do not rely on GPS information, and which efficiency formulas do not depend on how dense the geometric network is. We consider two settings: with and without spontaneous wake-up of nodes. In the former setting, in which all nodes start the protocol at the same time, our algorithm accomplishes broadcast in $O(D\log n + \log^2 n)$ rounds under the SINR model, with high probability (whp), where $D$ is the diameter of the communication graph and $n$ is the number of stations. In the latter setting, in which only the source node containing the original message is active in the beginning, we develop a slightly slower algorithm working in $O(D\log^2 n)$ rounds whp. Both algorithms are based on a novel distributed coloring method, which is of independent interest and potential applicability to other communication tasks under the SINR wireless model.


title: Pure parts of the mixed Hodge structures of character varieties of indivisible type

abstract: We fix integers $k> 0$ and $n>0$. For a $k$-punctured Riemann surface $\Sigma \setminus \{ p_1,\ldots,p_k \}$ and a $k$-tuple $\boldsymbol{\mu}=(\mu^1,\ldots,\mu^k)$ of partitions of $n$, we can define the character variety of type $\boldsymbol{\mu}$. In this paper, we consider the case where $\Sigma=\mathbb{P}^1$ and $\boldsymbol{\mu}$ is indivisible (i.e. $\mathrm{g.c.d.}(\boldsymbol{\mu})=1$). For the case, we prove the purity conjecture due to Hausel, that is, the pure parts of the mixed Hodge structures of the character variety is isomorphic to the ordinary rational cohomology groups of the quiver variety of type $\boldsymbol{\mu}$.


title: Observational Constraints on EoS parameters of Emergent Universe

abstract: We investigate emergent universe model using recent observational data for the background tests as well as for the growth tests. The background test data comprises of Hubble data, Baryon Acoustic Oscillation (BAO) data, cosmic microwave background (CMB) shift data, Union compilation data. The observational growth data are obtained from Wiggle-Z measurements and rms mass fluctuations data from Lyman-$\alpha$ measurements at different red shifts. The flat emergent universe model obtained by Mukherjee {\it et. al.} is permitted with a non-linear equation of state (in short, EoS) ($p=A\rho-B\rho^{\frac{1}{2}}$), where $A$ and $B$ are constants. The observed cosmological data are used here to estimate the range of allowed values of EoS parameters numerically. The best-fit values of the EoS and growth parameters are determined making use of chi-square minimization technique. The analysis is carried out here considering the Wang-Steinhardt ansatz for growth index ($\gamma$) and growth function ($f$ defined as $f=\Omega_{m}^{\gamma} (a)$). Subsequently, the best-fit values of the EoS parameters are used to study the evolution of the growth function $f$, growth index $\gamma$, state parameter $\omega$ with red shift parameter $z$. The present value of the parameters, namely, $f$, $\gamma$, $\omega$, $\Omega_{m}$ are also estimated. The late accelerating phase of the universe in the model is accommodated satisfactorily.


title: The Common Structure of Paradoxes in Aggregation Theory

abstract: In this paper we analyse some of the classical paradoxes in Social Choice Theory (namely, the Condorcet paradox, the discursive dilemma, the Ostrogorski paradox and the multiple election paradox) using a general framework for the study of aggregation problems called binary aggregation with integrity constraints. We provide a definition of paradox that is general enough to account for the four cases mentioned, and identify a common structure in the syntactic properties of the rationality assumptions that lie behind such paradoxes. We generalise this observation by providing a full characterisation of the set of rationality assumptions on which the majority rule does not generate a paradox.


title: A Parafermionic Generalization of the Jaynes Cummings Model

abstract: We introduce a parafermionic version of the Jaynes Cummings Hamiltonian, by coupling $k$ Fock parafermions (nilpotent of order $F$) to a 1D harmonic oscillator, representing the interaction with a single mode of the electromagnetic field. We argue that for $k=1$ and $F\leq 3$ there is no difference between Fock parafermions and quantum spins $s=\frac{F-1}{2}$. We also derive a semiclassical approximation of the canonical partition function of the model by assuming $\hbar$ to be small in the regime of large enough total number of excitations $n$, where the dimension of the Hilbert space of the problem becomes constant as a function of $n$. We observe in this case an interesting behaviour of the average of the bosonic number operator showing a single crossover between regimes with different integer values of this observable. These features persist when we generalize the parafermionic Hamiltonian by deforming the bosonic oscillator with a generic function $\Phi(x)$; the $q-$deformed bosonic oscillator corresponds to a specific choice of the deformation function $\Phi$. In this particular case, we observe at most $k(F-1)$ crossovers in the behavior of the mean bosonic number operator, suggesting a phenomenology of superradiance similar to the $k-$atoms Jaynes Cummings model.


title: Two weight inequality for Bergman projection

abstract: The motivation of this paper comes from the two weight inequality $$\|P_\omega(f)\|_{L^p_v}\le C\|f\|_{L^p_v},\quad f\in L^p_v,$$ for the Bergman projection $P_\omega$ in the unit disc. We show that the boundedness of $P_\omega$ on $L^p_v$ is characterized in terms of self-improving Muckenhoupt and Bekoll\'e-Bonami type conditions when the radial weights $v$ and $\omega$ admit certain smoothness. En route to the proof we describe the asymptotic behavior of the $L^p$-means and the $L^p_v$-integrability of the reproducing kernels of the weighted Bergman space $A^2_\omega$.


title: Quantum POMDPs

abstract: We present quantum observable Markov decision processes (QOMDPs), the quantum analogues of partially observable Markov decision processes (POMDPs). In a QOMDP, an agent's state is represented as a quantum state and the agent can choose a superoperator to apply. This is similar to the POMDP belief state, which is a probability distribution over world states and evolves via a stochastic matrix. We show that the existence of a policy of at least a certain value has the same complexity for QOMDPs and POMDPs in the polynomial and infinite horizon cases. However, we also prove that the existence of a policy that can reach a goal state is decidable for goal POMDPs and undecidable for goal QOMDPs.


title: Radiation background with the CMS RPCs at the LHC

abstract: The Resistive Plate Chambers (RPCs) are employed in the CMS experiment at the LHC as dedicated trigger system both in the barrel and in the endcap. This note presents results of the radiation background measurements performed with the 2011 and 2012 proton-proton collision data collected by CMS. Emphasis is given to the measurements of the background distribution inside the RPCs. The expected background rates during the future running of the LHC are estimated both from extrapolated measurements and from simulation.


title: YSO search toward the boundary of the Central Molecular Zone with near-infrared polarimetry

abstract: We have carried out near-infrared polarimetry toward the boundary of the Central Molecular Zone, in the field of (-1.4 deg $\lesssim l \lesssim$ -0.3 deg and 1.0 deg $\lesssim l \lesssim$ 2.9 deg, $|b|\lesssim$ 0.1 deg), using the near-infrared polarimetric camera SIRPOL on the 1.4 m Infrared Survey Facility telescope. We have selected 112 intrinsically polarized sources on the basis of the estimate of interstellar polarization on Stokes $Q/I-U/I$ planes. The selected sources are brighter than $K_S=14.5$ mag and have polarimetric uncertainty $\delta P<1\,%$. Ten of these distinctive polarized sources are fit well with spectral energy distributions of young stellar objects when using the photometry in the archive of the Spitzer Space Telescope mid-infrared data. However, many sources have spectral energy distributions of normal stars suffering heavy interstellar extinction; these might be stars behind dark clouds. Due to the small number of distinctive polarized sources and candidates of young stellar object, we cannot judge if there is a decline of them outside the Central Molecular Zone. Many of massive candidates of young stellar object in the literature have only small intrinsic polarization. This might suggest that their masses are 4-15 M$_{{\rm sun}}$, whose intrinsic polarization has been expected to be small.


title: A lower diameter bound for compact domain manifolds of shrinking Ricci-harmonic solitons

abstract: In this paper, we shall give a lower diameter bound for compact domain manifolds of shrinking Ricci-harmonic solitons. Our result may be regarded as a generalization to Ricci-harmonic geometry of the recent works by Fern\'andez-L\'opez and Garc\'ia-R\'io (Q. J. Math. 61, 319--327, 2010), Futaki and Sano (Asian J. Math. 17, 17--32, 2013), and Futaki \textit{et al} (Ann. Global Anal. Geom. 44, 105--114, 2013).


title: Singular intersections of subgroups and character varieties

abstract: We prove a global local rigidity result for character varieties of 3-manifolds into $\rm{SL}_2$. Given a 3-manifold with toric boundary $M$ satisfying some technical hypotheses, we prove that all but a finite number of its Dehn fillings $M_{p/q}$ are globally locally rigid in the following sense: every irreducible representation $\rho:\pi_1(M_{p/q})\to\rm{SL}_2(\mathbb{C})$ is infinitesimally rigid, meaning that $H^1(M_{p/q},\textrm{Ad}_\rho)=0$. This question arose from the study of asymptotics problems in topological quantum field theory developed by L. Charles and the first author. The proof relies heavily on recent progress in diophantine geometry and raises new questions of Zilber-Pink type. The main step is to show that a generic curve lying in a plane multiplicative torus intersects transversally almost all subtori of codimension 1. We prove an effective result of this form, based mainly on a height upper bound of Habegger.


title: A Literature Review on Information Systems Supporting the Physical Wellbeing of Elderly People

abstract: This paper reviews multi-disciplinary research on information systems supporting the physical wellbeing of the elderly population. By taking a systematic approach, it screens journals, conference proceedings and books on how computer-based systems are used for improving both the health and wellbeing of the most senior individuals. By using different Internet-databases indexing academic publications and a set of conceptual keywords the authors searched for and identified 62 major publications on the topic that were carefully reviewed. Each publication item was classified according different category sets and the aggregated data was then analyzed from different socio-technological perspectives. Our findings suggest that research on the topic is very focused on diseases over health and wellbeing, since most of the studied information systems focused much more on the protective and curative medical procedures over other important dimensions such as prevention, education and health promotion. An overview on what and where the studied systems are used is presented and a new information systems research agenda is proposed.


title: Algebraic-Combinatorial Methods for Low-Rank Matrix Completion with Application to Athletic Performance Prediction

abstract: This paper presents novel algorithms which exploit the intrinsic algebraic and combinatorial structure of the matrix completion task for estimating missing en- tries in the general low rank setting. For positive data, we achieve results out- performing the state of the art nuclear norm, both in accuracy and computational efficiency, in simulations and in the task of predicting athletic performance from partially observed data.


title: A parameter study of the eclipsing CV in the Kepler field, KIS J192748.53+444724.5

abstract: We present high-speed, three-colour photometry of the eclipsing dwarf nova KIS J192748.53+444724.5 which is located in the Kepler field. Our data reveal sharp features corresponding to the eclipses of the accreting white dwarf followed by the bright spot where the gas stream joins the accretion disc. We determine the system parameters via a parameterized model of the eclipse fitted to the observed lightcurve. We obtain a mass ratio of q = 0.570 +/- 0.011 and an orbital inclination of 84.6 +/- 0.3 degrees. The primary mass is M_w = 0.69 +/- 0.07 Msun. The donor star's mass and radius are found to be M_d = 0.39 +/- 0.04 Msun and R_d = 0.43 +/- 0.01 Rsun, respectively. From the fluxes of the white dwarf eclipse we find a white dwarf temperature of T_w = 23000 +/- 3000 K, and a photometric distance to the system of 1600 +/- 200 pc, neglecting the effects of interstellar reddening. The white dwarf temperature in KISJ1927 implies the white dwarf is accreting at an average rate of Mdot = (1.4 +/- 0.8) x10e-9 Msun/yr, in agreement with estimates of the secular mass loss rate from the donor.


title: Uniform Artin-Rees Bounds for Syzygies

abstract: Let $(R,m)$ be a local Noetherian ring, let $M$ be a finitely generated $R$-module and let $(F_{\bullet},\partial_{\bullet})$ be a free resolution of $M$. We find a uniform bound $h$ such that the Artin-Rees containment $I^n F_i\cap Im \, \partial_{i+1} \subseteq I^{n-h} Im \, \partial_{i+1}$ holds for all integers $i\ge d$, for all integers $n\ge h$, and for all ideals $I$ of $R$. In fact, we show that a considerably stronger statement holds. The uniform bound $h$ holds for all ideals and all resolutions of $d$th syzygy modules. In order to prove our statements, we introduce the concept of Koszul annihilating sequences.


title: Formation of a giant component in the intersection graph of a random chord diagram

abstract: We study the number of chords and the number of crossings in the largest component of a random chord diagram when the chords are sparsely crossing. This is equivalent to studying the number of vertices and the number of edges in the largest component of the random intersection graph. Denoting the number of chords by n and the number of crossings by m, when m/nlog(n) tends to a limit in (0,2/\pi^2), we show that the chord diagram chosen uniformly at random from all the diagrams with given parameters has a component containing almost all the crossings and a positive fraction of chords. On the other hand, when m < n/14, the size of the largest component is of size O(log n). One of the key analytical ingredients is an asymptotic expression for the number of chord diagrams with parameters n and m for m <(2/\pi^2)n\log(n), based on the Touchard-Riordan formula and the Jacobi identity for Euler partition function.


title: The globular cluster system of NGC1316. III. Kinematic complexity

abstract: The merger remnant NGC 1316 (Fornax A) is one of the most important objects regarding the investigation of merger-related processes. We use kinematical data of globular clusters (GCs) and the diffuse stellar light to investigate the global structure of NGC 1316 and to constrain the dark matter content. We perform multi-object-spectroscopy with VLT/FORS2 and MXU. Out of 562 slits, we extract radial velocities for 177 GCs. Moreover, we measure radial velocities of the integrated galaxy light, using slits with a sufficiently bright "sky". To these data, we add 20 cluster velocities from Goudfrooij et al. (2001). In an appendix, we identify new morphological features of NGC 1316 and its companion galaxy NGC 1317. The GC sample based on radial velocities confirms the colour peaks already found in our photometric study. The bright clusters, which probably have their origin in a 2 Gyr-old starburst and younger star formation events, avoid the systemic velocity. A Gaussian velocity distribution is found only for clusters fainter than about m_R=22 mag. The velocity distribution of clusters shows a pronounced peak at 1600 km/s. These clusters populate a wide area in the south-western region which we suspect to be a disk population. Globular clusters or subsamples of them do not show a clear rotation signal. This is different from the galaxy light, where rotation along the major axis is discernable out to 3 arcmin radius. A simple spherical model like that suggested by dynamical analyses of planetary nebulae reproduces also the velocity dispersions of the faint GCs. The central dark matter density of the present model resembles a giant elliptical galaxy. This contradicts population properties which indicate spiral galaxies as pre-merger components. MOND would provide a solution, but the kinematical complexity of NGC 1316 does not allow a really firm conclusion. (abridged)


title: Inflating an Inhomogeneous Universe

abstract: While cosmological inflation can erase primordial inhomogeneities, it is possible that inflation may not begin in a significantly inhomogeneous universe. This issue is particularly pressing in multifield scenarios, where even the homogeneous dynamics may depend sensitively on the initial configuration. This paper presents an initial survey of the onset of inflation in multifield models, via qualitative lattice-based simulations that do not include local gravitational backreaction. Using hybrid inflation as a test model, our results suggest that small subhorizon inhomogeneities do play a key role in determining whether inflation begins in multifield scenarios. Interestingly, some configurations which do not inflate in the homogeneous limit "succeed" after inhomogeneity is included, while other initial configurations which inflate in the homogeneous limit "fail" when inhomogeneity is added.


title: Mobile linkers on DNA-coated colloids: valency without patches

abstract: Colloids coated with single-stranded DNA (ssDNA) can bind selectively to other colloids coated with complementary ssDNA. The fact that DNA-coated colloids (DNACCs) can bind to specific partners opens the prospect of making colloidal `molecules'. However, in order to design DNACC-based molecules, we must be able to control the valency of the colloids, i.e. the number of partners to which a given DNACC can bind. One obvious, but not very simple approach is to decorate the colloidal surface with patches of single-stranded DNA that selectively bind those on other colloids. Here we propose a design principle that exploits many-body effects to control the valency of otherwise isotropic colloids. Using a combination of theory and simulation, we show that we can tune the valency of colloids coated with mobile ssDNA, simply by tuning the non-specific repulsion between the particles. Our simulations show that the resulting effective interactions lead to low-valency colloids self-assembling in peculiar open structures, very different from those observed in DNACCs with immobile DNA linkers.


title: Multi-Objective Signal Processing Optimization: The Way to Balance Conflicting Metrics in 5G Systems

abstract: The evolution of cellular networks is driven by the dream of ubiquitous wireless connectivity: Any data service is instantly accessible everywhere. With each generation of cellular networks, we have moved closer to this wireless dream; first by delivering wireless access to voice communications, then by providing wireless data services, and recently by delivering a WiFi-like experience with wide-area coverage and user mobility management. The support for high data rates has been the main objective in recent years, as seen from the academic focus on sum-rate optimization and the efforts from standardization bodies to meet the peak rate requirements specified in IMT-Advanced. In contrast, a variety of metrics/objectives are put forward in the technological preparations for 5G networks: higher peak rates, improved coverage with uniform user experience, higher reliability and lower latency, better energy efficiency, lower-cost user devices and services, better scalability with number of devices, etc. These multiple objectives are coupled, often in a conflicting manner such that improvements in one objective lead to degradation in the other objectives. Hence, the design of future networks calls for new optimization tools that properly handle the existence and tradeoffs between multiple objectives. In this article, we provide a review of multi-objective optimization (MOO), which is a mathematical framework to solve design problems with multiple conflicting objectives. (...) We provide a survey of the basic definitions, properties, and algorithmic tools in MOO. This reveals how signal processing algorithms are used to visualize the inherent conflicts between 5G performance objectives, thereby allowing the network designer to understand the possible operating points and how to balance the objectives in an efficient and satisfactory way. For clarity, we provide a case study on massive MIMO.


title: 3C 220.3: a radio galaxy lensing a submillimeter galaxy

abstract: Herschel Space Observatory photometry and extensive multiwavelength followup have revealed that the powerful radio galaxy 3C 220.3 at z=0.685 acts as a gravitational lens for a background submillimeter galaxy (SMG) at z=2.221. At an observed wavelength of 1mm, the SMG is lensed into three distinct images. In the observed near infrared, these images are connected by an arc of 1.8" radius forming an Einstein half-ring centered near the radio galaxy. In visible light, only the arc is apparent. 3C 220.3 is the only known instance of strong galaxy-scale lensing by a powerful radio galaxy not located in a galaxy cluster and therefore it offers the potential to probe the dark matter content of the radio galaxy host. Lens modeling rejects a single lens, but two lenses centered on the radio galaxy host A and a companion B, separated by 1.5", provide a fit consistent with all data and reveal faint candidates for the predicted fourth and fifth images. The model does not require an extended common dark matter halo, consistent with the absence of extended bright X-ray emission on our Chandra image. The projected dark matter fractions within the Einstein radii of A (1.02") and B (0.61") are about 0.4 +/- 0.3 and 0.55 +/- 0.3. The mass to i-band light ratios of A and B, M/L ~ 8 +/- 4 Msun/Lsun, appear comparable to those of radio-quiet lensing galaxies at the same redshift in the CASTLES, LSD, and SL2S samples. The lensed SMG is extremely bright with observed f(250um) = 440mJy owing to a magnification factor mu~10. The SMG spectrum shows luminous, narrow CIV 154.9nm emission, revealing that the SMG houses a hidden quasar in addition to a violent starburst. Multicolor image reconstruction of the SMG indicates a bipolar morphology of the emitted ultraviolet (UV) light suggestive of cones through which UV light escapes a dust-enshrouded nucleus.


title: Ambiguities of the CPT-even aether-like Lorentz-breaking term at the finite temperature

abstract: In this paper, we consider the finite temperature behaviour of the CPT-even aether-like Lorentz-breaking term in the extended Lorentz-breaking QED and demonstrate that its ambiguities whose presence has been shown earlier in the zero temperature case stay also at the finite temperature.