title: Resonant slow extraction in synchrotrons by using anti-symmetric sextupole fields

abstract: This paper proposes a novel method for resonant slow extraction in synchrotrons by using special anti-symmetric sextupole fields, which can be produced by a special magnet structure. The method has the potential in applications demanding for very stable slow extraction from synchrotrons. Our studies show that the slow extraction at the half-integer resonance by using anti-symmetric sextupole field has some advantages compared to the normal sextupole field, and the latter is widely used in the slow extraction method. One of them is that it can work at a more distant tune from the resonance, so that it can reduce significantly the intensity variation of the extracted beam which is mainly caused by the ripples of magnet power supplies. The studies by both the Hamiltonian theory and numerical simulations show that the stable region at the proximity of the half-integer resonance by anti-symmetric sextupole field is much smaller and flatter than the one by standard sextupole field at the third-order resonance. By gradually increasing the field strength, the beam can be extracted with intensity more homogeneous than by the usual third-order resonant method, in the means of both smaller intensity variation and spike in the beginning spill. Similar to the case with a normal sextupole, we derive an empirical formula for the area of the stable region with an anti-symmetric sextupole. One can find that with the same field strength and the same tune distance to the resonance, the area of stable region or the change of the area due to the working point variation in the case of anti-symmetric sextupole is about 1/14 of the one in the case of standard sextupole. The detailed studies including beam dynamic behaviors at the proximity of other resonances, influence of 2-D field error, half-integer stop-band, and resonant slow extraction by using quadrupole field have also been presented.


title: The Riemann Hypothesis For Period Polynomials Of Modular Forms

abstract: The period polynomial $r_f(z)$ for an even weight $k\geq 4$ newform $f\in S_k(\Gamma_0(N))$ is the generating function for the critical values of $L(f,s)$. It has a functional equation relating $r_f(z)$ to $r_f\left(-\frac{1}{Nz}\right)$. We prove the Riemann Hypothesis for these polynomials: that the zeros of $r_f(z)$ lie on the circle $|z|=\frac{1}{\sqrt{N}}$ . We prove that these zeros are equidistributed when either $k$ or $N$ is large.


title: Big Data Analytics = Machine Learning + Cloud Computing

abstract: Big Data can mean different things to different people. The scale and challenges of Big Data are often described using three attributes, namely Volume, Velocity and Variety (3Vs), which only reflect some of the aspects of data. In this chapter we review historical aspects of the term "Big Data" and the associated analytics. We augment 3Vs with additional attributes of Big Data to make it more comprehensive and relevant. We show that Big Data is not just 3Vs, but 32 Vs, that is, 9 Vs covering the fundamental motivation behind Big Data, which is to incorporate Business Intelligence (BI) based on different hypothesis or statistical models so that Big Data Analytics (BDA) can enable decision makers to make useful predictions for some crucial decisions or researching results. History of Big Data has demonstrated that the most cost effective way of performing BDA is to employ Machine Learning (ML) on the Cloud Computing (CC) based infrastructure or simply, ML + CC -> BDA. This chapter is devoted to help decision makers by defining BDA as a solution and opportunity to address their business needs.


title: Adding Real-time Capabilities to a SML Compiler

abstract: There has been much recent interest in adopting functional and reactive programming for use in real-time system design. Moving toward a more declarative methodology for developing real-time systems purports to improve the fidelity of software. To study the benefits of functional and reactive programming for real-time systems, real-time aware functional compilers and language runtimes are required. In this paper we examine the necessary changes to a modern Standard ML compiler, MLton, to provide basic support for real-time execution. We detail our current progress in modifying MLton with a threading model that supports priorities, a chunked object model to support real-time garbage collection, and low level modification to execute on top of a real-time operating system. We present preliminary numbers and our work in progress prototype, which is able to boot ML programs compiled with MLton on x86 machines.


title: Blind Image Denoising via Dependent Dirichlet Process Tree

abstract: Most existing image denoising approaches assumed the noise to be homogeneous white Gaussian distributed with known intensity. However, in real noisy images, the noise models are usually unknown beforehand and can be much more complex. This paper addresses this problem and proposes a novel blind image denoising algorithm to recover the clean image from noisy one with the unknown noise model. To model the empirical noise of an image, our method introduces the mixture of Gaussian distribution, which is flexible enough to approximate different continuous distributions. The problem of blind image denoising is reformulated as a learning problem. The procedure is to first build a two-layer structural model for noisy patches and consider the clean ones as latent variable. To control the complexity of the noisy patch model, this work proposes a novel Bayesian nonparametric prior called "Dependent Dirichlet Process Tree" to build the model. Then, this study derives a variational inference algorithm to estimate model parameters and recover clean patches. We apply our method on synthesis and real noisy images with different noise models. Comparing with previous approaches, ours achieves better performance. The experimental results indicate the efficiency of the proposed algorithm to cope with practical image denoising tasks.


title: Cooperative Joint Localization and Clock Synchronization Based on Gaussian Message Passing in Asynchronous Wireless Networks

abstract: Localization and synchronization are very important in many wireless applications such as monitoring and vehicle tracking. Utilizing the same time of arrival (TOA) measurements for simultaneous localization and synchronization is challenging. In this paper, we present a factor graph (FG) representation of the joint localization and time synchronization problem based on TOA measurements, in which the non-line-of-sight measurements are also taken into consideration. On this FG, belief propagation (BP) message passing and variational message passing (VMP) are applied to derive two fully distributed cooperative algorithms with low computational requirements. Due to the nonlinearity in the observation function, it is intractable to compute the messages in closed form and most existing solutions rely on Monte Carlo methods, e.g., particle filtering. We linearize a specific nonlinear term in the expressions of messages, which enables us to use a Gaussian representation for all messages. Accordingly, only the mean and variance have to be updated and transmitted between neighboring nodes, which significantly reduces the communication overhead and computational complexity. A message passing schedule scheme is proposed to trade off between estimation performance and communication overhead. Simulation results show that the proposed algorithms perform very close to particle-based methods with much lower complexity especially in densely connected networks.


title: Hot Carrier extraction with plasmonic broadband absorbers

abstract: Hot charge carrier extraction from metallic nanostructures is a very promising approach for applications in photo-catalysis, photovoltaics and photodetection. One limitation is that many metallic nanostructures support a single plasmon resonance thus restricting the light-to-charge-carrier activity to a spectral band. Here we demonstrate that a monolayer of plasmonic nanoparticles can be assembled on a multi-stack layered configuration to achieve broad-band, near-unit light absorption, which is spatially localised on the nanoparticle layer. We show that this enhanced light absorbance leads to $\sim$ 40-fold increases in the photon-to-electron conversion efficiency by the plasmonic nanostructures. We developed a model that successfully captures the essential physics of the plasmonic hot-electron charge generation and separation in these structures. This model also allowed us to establish that efficient hot carrier extraction is limited to spectral regions where the photons possessing energies higher than the Schottky junctions and the localised light absorption of the metal nanoparticles overlap.


title: Core partial order in rings with involution

abstract: Let $R$ be a unital ring with involution. We give several characterizations and properties of core partial order in $R$. In particular, we investigate the reverse order law $(ab)^{\tiny\textcircled{\tiny\#}} = b^{\tiny\textcircled{\tiny\#}} a^{\tiny\textcircled{\tiny\#}}$ for two core invertible elements $a,b\in R$. Some relationships between core partial order and other partial orders are obtained.


title: A Unified Inner Bound for the Two-Receiver Memoryless Broadcast Channel with Channel State and Message Side Information

abstract: We consider the two-receiver memoryless broadcast channel with states where each receiver requests both common and private messages, and may know part of the private message requested by the other receiver as receiver message side information (RMSI). We address two categories of the channel (i) channel with states known causally to the transmitter, and (ii) channel with states known non-causally to the transmitter. Starting with the channel without RMSI, we first propose a transmission scheme and derive an inner bound for the causal category. We then unify our inner bound for the causal category and the best-known inner bound for the non-causal category, although their transmission schemes are different. Moving on to the channel with RMSI, we first apply a pre-coding to the transmission schemes of the causal and non-causal categories without RMSI. We then derive a unified inner bound as a result of having a unified inner bound when there is no RMSI, and applying the same pre-coding to both categories. We show that our inner bound is tight for some new cases as well as the cases whose capacity region was known previously.


title: On the number of eigenvalues of Schr\"odinger operators with complex potentials

abstract: We study the eigenvalues of Schr\"odinger operators with complex potentials in odd space dimensions. We obtain bounds on the total number of eigenvalues in the case where $V$ decays exponentially at infinity.


title: On the Differentiability issue of the drift-diffusion equation with nonlocal L\'evy-type diffusion

abstract: We investigate the differentiability issue of the drift-diffusion equation with nonlocal L\'evy-type diffusion at either supercritical or critical type cases. Under the suitable conditions on the drift velocity and the forcing term in terms of the spatial H\"older regularity, we prove that the vanishing viscosity solution is differentiable with some H\"older continuous derivatives for any positive time.


title: Online Prediction of Dyadic Data with Heterogeneous Matrix Factorization

abstract: Dyadic Data Prediction (DDP) is an important problem in many research areas. This paper develops a novel fully Bayesian nonparametric framework which integrates two popular and complementary approaches, discrete mixed membership modeling and continuous latent factor modeling into a unified Heterogeneous Matrix Factorization~(HeMF) model, which can predict the unobserved dyadics accurately. The HeMF can determine the number of communities automatically and exploit the latent linear structure for each bicluster efficiently. We propose a Variational Bayesian method to estimate the parameters and missing data. We further develop a novel online learning approach for Variational inference and use it for the online learning of HeMF, which can efficiently cope with the important large-scale DDP problem. We evaluate the performance of our method on the EachMoive, MovieLens and Netflix Prize collaborative filtering datasets. The experiment shows that, our model outperforms state-of-the-art methods on all benchmarks. Compared with Stochastic Gradient Method (SGD), our online learning approach achieves significant improvement on the estimation accuracy and robustness.


title: Ricci curvature of double manifolds via isoparametric foliations

abstract: Given a closed manifold $M$ and a vector bundle $\xi$ of rank $n$ over $M$, by gluing two copies of the disc bundle of $\xi$, we can obtain a closed manifold $D(\xi, M)$, the so-called double manifold. In this paper, we firstly prove that each sphere bundle $S_r(\xi)$ of radius $r>0$ is an isoparametric hypersurface in the total space of $\xi$ equipped with a connection metric, and for $r>0$ small enough, the induced metric of $S_r(\xi)$ has positive Ricci curvature under the additional assumptions that $M$ has a metric with positive Ricci curvature and $n\geq3$. As an application, if $M$ admits a metric with positive Ricci curvature and $n\geq2$, then we construct a metric with positive Ricci curvature on $D(\xi, M)$. Moreover, under the same metric, $D(\xi, M)$ admits a natural isoparametric foliation. For a compact minimal isoparametric hypersurface $Y^{n}$ in $S^{n+1}(1)$, which separates $S^{n+1}(1)$ into $S^{n+1}_+$ and $S^{n+1}_-$, one can get double manifolds $D(S^{n+1}_+)$ and $D(S^{n+1}_-)$. Inspired by Tang, Xie and Yan's work on scalar curvature of such manifolds with isoparametric foliations(cf. \cite{TXY12}), we study Ricci curvature of them with isoparametric foliations in the last part.


title: Resonant Multilead Point-Contact Tunneling: Boundary State Formulation

abstract: We study a model of resonant multilead point-contact tunneling by using the boundary state formulation. At a critical point the model is described by multi-flavor chiral fermions on an infinite line with a point contact interaction at the origin. By applying the folding procedure, previously developed for the model of resonant point-contact tunneling of a single lead, we map the model onto a non-chiral fermion model defined on the half line. The resonant point-contact tunneling interaction is transcribed into a non-local effective boundary interaction in the folded setup, where the boundary state formulation is applicable. We construct the boundary states for the models with two and three leads explicitly and evaluate the correlation functions of currents operators exactly. The electron transport between the leads is dominated by the resonant point-contact tunneling in the low frequency regime. We observe some $SU(2)$ and $SU(3)$ group theoretical structures, which may be useful to analyze more complex models.


title: IGRINS Near-IR High-Resolution Spectroscopy of Multiple Jets around LkH$\alpha$ 234

abstract: We present the results of high-resolution near-IR spectroscopy toward the multiple outflows around the Herbig Be star Lk{\Ha} 234 using the Immersion Grating Infrared Spectrograph (IGRINS). Previous studies indicate that the region around Lk{\Ha} 234 is complex, with several embedded YSOs and the outflows associated with them. In simultaneous H$-$ and K$-$band spectra from HH 167, we detected 5 {\FeII} and 14 H$_{2}$ emission lines. We revealed a new {\FeII} jet driven by radio continuum source VLA 3B. Position-velocity diagrams of H$_{2}$ 1$-$0 S(1) $\lambda$2.122 $\micron$ line show multiple velocity peaks. The kinematics may be explained by a geometrical bow shock model. We detected a component of H$_{2}$ emission at the systemic velocity (V$_{LSR}$ $=$ $-$10.2 {\kms}) along the whole slit in all slit positions, which may arise from the ambient photodissociation region. Low-velocity gas dominates the molecular hydrogen emission from knots A and B in HH 167, which is close to the systemic velocity, {\FeII} emission lines are detected at farther from the systemic velocity, at V$_{LSR}$ $=$ $-$100 $-$ $-$130 {\kms}. We infer that the H$_{2}$ emission arises from shocked gas entrained by a high-velocity outflow. Population diagrams of H$_{2}$ lines imply that the gas is thermalized at a temperature of 2,500 $-$ 3,000 K and the emission results from shock excitation.


title: Enhancing Energy Minimization Framework for Scene Text Recognition with Top-Down Cues

abstract: Recognizing scene text is a challenging problem, even more so than the recognition of scanned documents. This problem has gained significant attention from the computer vision community in recent years, and several methods based on energy minimization frameworks and deep learning approaches have been proposed. In this work, we focus on the energy minimization framework and propose a model that exploits both bottom-up and top-down cues for recognizing cropped words extracted from street images. The bottom-up cues are derived from individual character detections from an image. We build a conditional random field model on these detections to jointly model the strength of the detections and the interactions between them. These interactions are top-down cues obtained from a lexicon-based prior, i.e., language statistics. The optimal word represented by the text image is obtained by minimizing the energy function corresponding to the random field model. We evaluate our proposed algorithm extensively on a number of cropped scene text benchmark datasets, namely Street View Text, ICDAR 2003, 2011 and 2013 datasets, and IIIT 5K-word, and show better performance than comparable methods. We perform a rigorous analysis of all the steps in our approach and analyze the results. We also show that state-of-the-art convolutional neural network features can be integrated in our framework to further improve the recognition performance.


title: Generation of perfect vortex of variable size and its effect in angular spectrum of the down-converted photons

abstract: The perfect vortex is a new class of optical vortex beam having ring radius independent of its topological charge (order). One of the simplest techniques to generate such beams is the Fourier transformation of the Bessel-Gauss beam. The variation in ring radius of such vortices require Fourier lenses of different focal lengths and or complicated imaging setup. Here we report a novel experimental scheme to generate perfect vortex of any ring radius using a convex lens and an axicon. As a proof of principle, using a lens of focal length f=200mm, we have varied the radius of the vortex beam across 0.3-1.18mm simply by adjusting the separation between the lens and axicon. This is also a simple scheme to measure the apex angle of an axicon with ease. Using such vortices we have studied non-collinear interaction of photons having orbital angular momentum (OAM) in spontaneous parametric down-conversion (SPDC) process and observed that the angular spectrum of the SPDC photons are independent of OAM of the pump photons rather depends on spatial profile of the pump beam. In the presence of spatial walk-off effect in nonlinear crystals, the SPDC photons have asymmetric angular spectrum with reducing asymmetry at increasing vortex radius.


title: A Micrometer-sized Heat Engine Operating Between Bacterial Reservoirs

abstract: Artificial micro heat engines are prototypical models to explore and elucidate the mechanisms of energy transduction in a regime that is dominated by fluctuations [1-2]. Micro heat engines realized hitherto mimicked their macroscopic counterparts and operated between reservoirs that were effectively thermal [3-7]. For such reservoirs, temperature is a well-defined state variable and stochastic thermodynamics provides a precise framework for quantifying engine performance [8-9]. It remains unclear whether these concepts readily carry over to situations where the reservoirs are out-of-equilibrium [10], a scenario of particular importance to the functioning of synthetic [11-12] and biological [13] micro engines and motors. Here we experimentally realized a micrometer-sized active Stirling engine by periodically cycling a colloidal particle in a time-varying harmonic optical potential across bacterial baths at different activities. Unlike in equilibrium thermal reservoirs, the displacement statistics of the trapped particle becomes increasingly non-Gaussian with activity. We show that as much as $\approx$ 85\% of the total power output and $\approx$ 50\% of the overall efficiency stems from large non-Gaussian particle displacements alone. Most remarkably, at the highest activities investigated, the efficiency of our quasi-static active heat engines surpasses the equilibrium saturation limit of Stirling efficiency - the maximum efficiency of a Stirling engine with the ratio of cold and hot reservoir temperatures ${T_C\over T_H} \to 0$. Crucially, the failure of effective temperature descriptions [14-16] for active reservoirs highlights the dire need for theories that can better capture the physics of micro motors and heat engines that operate in strongly non-thermal environments.


title: The almost product structure of Newton strata in the Deformation space of a Barsotti-Tate group with crystalline Tate tensors

abstract: In this paper, we construct the almost product structure of the minimal Newton stratum in deformation spaces of Barsotti-Tate groups with crystalline Tate tensors, similar to Oort's and Mantovan's construction for Shimura varieties of PEL-type. It allows us to describe the geometry of the Newton stratum in terms of the geometry of two simpler objects, the central leaf and the isogeny leaf. This yields the dimension and the closure relations of the Newton strata in the deformation space. In particular, their nonemptiness shows that a generalisation of Grothendieck's conjecture of deformations of Barsotti-Tate groups with given Newton polygon holds. As an application, we determine analogous geometric properties of the Newton stratification of Shimura varieties of Hodge type and prove the equidimensionality of Rapoport-Zink spaces of Hodge type.


title: Solution of the Mayan Calendar Enigma

abstract: The Mayan calendar is proposed to derive from an arithmetical model of naked-eye astronomy. The Palenque and Copan lunar equations, used during the Maya Classic period (200 to 900 AD) are solution of the model and the results are expressed as a function of the Xultun numbers, four enigmatic Long Count numbers deciphered in the Maya ruins of Xultun, dating from the IX century AD, providing strong arguments in favor of the use of the model by the Maya. The different Mayan Calendar cycles can be derived from this model and the position of the Calendar Round at the mythical date of creation 13(0).0.0.0.0 4 Ahau 8 Cumku is calculated. This study shows the high proficiency of Mayan mathematics as applied to astronomy and timekeeping for divinatory purposes.


title: Spin Vortex Resonance in Non-planar Ferromagnetic Dots

abstract: In planar structures, the vortex resonance frequency changes little as a function of an in-plane magnetic field as long as the vortex state persists. Altering the topography of the element leads to a vastly different dynamic response that arises due to the local vortex core confinement effect. In this work, we studied the magnetic excitations in non-planar ferromagnetic dots using a broadband microwave spectroscopy technique. Two distinct resonance frequency ranges were observed depending on the position of the vortex core controllable by applying a relatively small magnetic field. The micromagnetic simulations are in qualitative agreement with the. experimental results.


title: A systematic approach to sketch Bethe-Salpeter equation

abstract: To study meson properties, one needs to solve the gap equation for the quark propagator and the Bethe-Salpeter (BS) equation for the meson wavefunction, self-consistently. The gluon propagator, the quark-gluon vertex, and the quark--anti-quark scattering kernel are key pieces to solve those equations. Predicted by lattice-QCD and Dyson-Schwinger analyses of QCD's gauge sector, gluons are non-perturbatively massive. In the matter sector, the modeled gluon propagator which can produce a veracious description of meson properties needs to possess a mass scale, accordingly. Solving the well-known longitudinal Ward-Green-Takahashi identities (WGTIs) and the less-known transverse counterparts together, one obtains a nontrivial solution which can shed light on the structure of the quark-gluon vertex. It is highlighted that the phenomenologically proposed anomalous chromomagnetic moment (ACM) vertex originates from the QCD Lagrangian symmetries and its strength is proportional to the magnitude of dynamical chiral symmetry breaking (DCSB). The color-singlet vector and axial-vector WGTIs can relate the BS kernel and the dressed quark-gluon vertex to each other. Using the relation, one can truncate the gap equation and the BS equation, systematically, without violating crucial symmetries, e.g., gauge symmetry and chiral symmetry.


title: Computation of some transcendental integrals from path signatures

abstract: It is shown that if $\gamma$ is a path of finite $p$ variation ($1\leq p< 2$) in a euclidean vector space and $f,g,h$ are Lipschitz functions on the trace of $\gamma$ then $s\mapsto F(s)=\int_\gamma f^sg dh$ defines an entire holomorphic function provided the convex hull of the image of $f$ does not contain zero. If in addition $|\log z|\leq \log 2$ on the convex hull of the image of $f$ then for any $s\in \mathbf{C}$, $F(s)$ can be computed from the nonnegative integer values $\{F(k)\}_{k\in \mathbf{N}}$. If in addition to these hypotheses each of $f,g,h$ is a polynomial, then the values $F(k)$ are computable directly from the signature of $\gamma$ thus all values of $F(s)$ are computable from the signature. As a special case the winding number of a closed path $\gamma$ around an affine submanifold of codimension two is computed from finitely many terms of the signature provided certain estimates are satisfied.


title: Conditions of parallelism of *-Ricci tensor of three dimensional real hypersurfaces in non-flat complex space forms

abstract: This paper focuses on the study of three dimensional real hypersurfaces in non-flat complex space forms whose $^{*}$-Ricci tensor satisfies conditions of parallelism. More precisely, extension of existing results concerning real hypersurfaces with vanishing, semi-parallel and pseudo-parallel $^{*}$-Ricci tensor in case of ambient space being the complex hyperbolic space are provided. Furthermore, new results concerning $\xi$-parallelism of $^{*}$-Ricci tensor of real hypersurfaces in non-flat complex space forms are presented.


title: Multiple scales and matched asymptotic expansions for the discrete logistic equation

abstract: In this paper, we combine the method of multiple scales and the method of matched asymptotic expansions to construct uniformly-valid asymptotic solutions to autonomous and non-autonomous difference equations in the neighbourhood of a period-doubling bifurcation. In each case, we begin by constructing multiple scales approximations in which the slow time scale is treated as a continuum variable, leading to difference-differential equations. The resultant approximations fail to be asymptotic at late time, due to behaviour on the slow time scale, it is necessary to eliminate the effects of the fast time scale in order to find the late time rescaling, but there are then no difficulties with applying the method of matched asymptotic expansions. The methods that we develop lead to a general strategy for obtaining asymptotic solutions to singularly-perturbed difference equations, and we discuss clear indicators of when multiple scales, matched asymptotic expansions, or a combined approach might be appropriate.


title: Implementation and performance of FDPS: A Framework Developing Parallel Particle Simulation Codes

abstract: We present the basic idea, implementation, measured performance and performance model of FDPS (Framework for developing particle simulators). FDPS is an application-development framework which helps the researchers to develop particle-based simulation programs for large-scale distributed-memory parallel supercomputers. A particle-based simulation program for distributed-memory parallel computers needs to perform domain decomposition, redistribution of particles, and gathering of particle information for interaction calculation. Also, even if distributed-memory parallel computers are not used, in order to reduce the amount of computation, algorithms such as Barnes-Hut tree method should be used for long-range interactions. For short-range interactions, some methods to limit the calculation to neighbor particles are necessary. FDPS provides all of these necessary functions for efficient parallel execution of particle-based simulations as "templates", which are independent of the actual data structure of particles and the functional form of the interaction. By using FDPS, researchers can write their programs with the amount of work necessary to write a simple, sequential and unoptimized program of O(N^2) calculation cost, and yet the program, once compiled with FDPS, will run efficiently on large-scale parallel supercomputers. A simple gravitational N-body program can be written in around 120 lines. We report the actual performance of these programs and the performance model. The weak scaling performance is very good, and almost linear speedup was obtained for up to the full system of K computer. The minimum calculation time per timestep is in the range of 30 ms (N=10^7) to 300 ms (N=10^9). These are currently limited by the time for the calculation of the domain decomposition and communication necessary for the interaction calculation. We discuss how we can overcome these bottlenecks.

categories: astro-ph.IM astro-ph.CO astro-ph.EP astro-ph.GA astro-ph.SR physics.comp-ph


title: Unbiased Monte Carlo estimate of stochastic differential equations expectations

abstract: We develop a pure Monte Carlo method to compute $E(g(X_T))$ where $g$ is a bounded and Lipschitz function and $X_t$ an Ito process. This approach extends a previously proposed method to the general multidimensional case with a SDE with varying coefficients. A variance reduction method relying on interacting particle systems is also developped.


title: Different types of nonlinear localized and periodic waves in an erbium-doped fiber system

abstract: We study nonlinear waves on a plane-wave background in an erbium-doped fiber system, which is governed by the coupled nonlinear Schr\"odinger and the Maxwell-Bloch equations. We find that prolific different types of nonlinear localized and periodic waves do exist in the system, including multi-peak soliton, periodic wave, antidark soliton, and W-shaped soliton (as well as the known bright soliton, breather, and rogue wave). In particular, the dynamics of these waves can be extracted from a unified exact solution, and the corresponding existence conditions are presented explicitly. Our results demonstrate the structural diversity of the nonlinear waves in this system.


title: Linear Precoding for MIMO Channels with QAM Constellations and Reduced Complexity

abstract: In this paper, the problem of designing a linear precoder for Multiple-Input Multiple-Output (MIMO) systems in conjunction with Quadrature Amplitude Modulation (QAM) is addressed. First, a novel and efficient methodology to evaluate the input-output mutual information for a general Multiple-Input Multiple-Output (MIMO) system as well as its corresponding gradients is presented, based on the Gauss-Hermite quadrature rule. Then, the method is exploited in a block coordinate gradient ascent optimization process to determine the globally optimal linear precoder with respect to the MIMO input-output mutual information for QAM systems with relatively moderate MIMO channel sizes. The proposed methodology is next applied in conjunction with the complexity-reducing per-group processing (PGP) technique, which is semi-optimal, to both perfect channel state information at the transmitter (CSIT) as well as statistical channel state information (SCSI) scenarios, with high transmitting and receiving antenna size, and for constellation size up to $M=64$. We show by numerical results that the precoders developed offer significantly better performance than the configuration with no precoder, and the maximum diversity precoder for QAM with constellation sizes $M=16,~32$, and $~64$ and for MIMO channel size $100\times100$.


title: Integral transforms defined by a new fractional class of analytic function in a complex Banach space

abstract: In this work, we define a new class of fractional analytic functions containing functional parameters in the open unit disk. By employing this class, we introduce two types of fractional operators, differential and integral. The fractional differential operator is considered to be in the sense of Ruscheweyh differential operator, while the fractional integral operator is in the sense of Noor integral. The boundedness and compactness in a complex Banach space are discussed. Other studies are illustrated in the sequel.


title: Geodesic equations in the static and rotating dilaton black holes: Analytical solutions and applications

abstract: In this paper, we consider the timelike and null geodesics around the static [GMGHS (Gibbons, Maeda, Garfinkle, Horowitz and Strominger), magnetically charged GMGHS, electrically charged GMGHS] and the rotating (Kerr-Sen dilaton-axion) dilaton black holes. The geodesic equations are solved in terms of Weierstrass elliptic functions. To classify the trajectories around the black holes, we use the analytical solution and effective potential techniques and then characterize the different types of the resulting orbits in terms of the conserved energy and angular momentum. Also, using the obtained results we study astrophysical applications.


title: A Performance Comparison of Sort and Scan Libraries for GPUs

abstract: Sorting and scanning are two fundamental primitives for constructing highly parallel algorithms. A number of libraries now provide implementations of these primitives for GPUs, but there is relatively little information about the performance of these implementations. We benchmark seven libraries for 32-bit integer scan and sort, and sorting 32-bit values by 32-bit integer keys. We show that there is a large variation in performance between the libraries, and that no one library has both optimal performance and portability.


title: Prolific interaction structures and shape-changing collisions in an erbium-doped fiber system

abstract: Prolific interactions of nonlinear waves on a plane-wave background in an erbium-doped fiber system are unveiled, based on explicit coexistence conditions extracting from the general higher-order solution of a coupled nonlinear Schr\"odinger and the Maxwell-Bloch equations. In contrast to previous results, it shows that rich different types of nonlinear waves can coexist and interact with each other. In particular, we reveal an interesting kind of shape-changing collision, in which the multi-peak solitons exhibit intensity redistribution characteristics. This interaction involves the mutual collision between multi-peak solitons as well as the interplay of multi-peak soliton and other types of localized nonlinear waves (breather and antidark soliton). We find that the shape-changing collision preserves the power of each multi-peak soliton, which is verified via optimal numerical integration for the energy of light pulse against the plane-wave background. Our results demonstrate that when the interactions occur, each multi-peak soliton exhibits the coexistence of the shape change and energy conservation.


title: Laser Induced Damage Studies in Borosilicate Glass Using nanosecond and sub nanosecond pulses

abstract: The damage mechanism induced by laser pulse of different duration in borosilicate glass widely used for making confinement geometry targets which are important for laser driven shock multiplication and elongation of pressure pulse, is studied. We measured the front and rear surface damage threshold of borosilicate glass and their dependency on laser parameters. In this paper, we also study the thermal effects on the damage diameters, generated at the time of plasma formation. These induced damage width, geometries and microstructure changes are measured and analyzed with optical microscope, scanning electron microscope and Raman spectroscopy. The results show that at low energies symmetrical damages are found and these damage width increases nonlinearly with laser intensity. The emitted optical spectrum during the process of breakdown is also investigated and is used for the characterization of emitted plasma such as plasma temperature and free electron density. Optical emission lines from Si I at 500 nm, Si II at 385nm and Si III at 455 nm are taken for the temperature calculations.


title: Online Algorithms for Information Aggregation from Distributed and Correlated Sources

abstract: There is a fundamental trade-off between the communication cost and latency in information aggregation. Aggregating multiple communication messages over time can alleviate overhead and improve energy efficiency on one hand, but inevitably incurs information delay on the other hand. In the presence of uncertain future inputs, this trade-off should be balanced in an online manner, which is studied by the classical dynamic TCP ACK problem for a single information source. In this paper, we extend dynamic TCP ACK problem to a general setting of collecting aggregate information from distributed and correlated information sources. In this model, distributed sources observe correlated events, whereas only a small number of reports are required from the sources. The sources make online decisions about their reporting operations in a distributed manner without prior knowledge of the local observations at others. Our problem captures a wide range of applications, such as in-situ sensing, anycast acknowledgement and distributed caching. We present simple threshold-based competitive distributed online algorithms under different settings of intercommunication. Our algorithms match the theoretical lower bounds in order of magnitude. We observe that our algorithms can produce satisfactory performance in simulations and practical testbed.


title: Inflaton decay and reheating in nonminimal derivative coupling

abstract: We investigate the inflaton decay and reheating period after the end of inflation in the non-minimal derivative coupling (NDC) model with chaotic potential. In general, this model is known to provide an enhanced slow-roll inflation caused by gravitationally enhanced friction. We find violent oscillations of Hubble parameter which induces oscillations of the sound speed squared, implying the Lagrangian instability of curvature perturbation $\zeta$ under the comoving gauge $\varphi=0$. Also, it is shown that the curvature perturbation blows up at $\dot{\phi}=0$, leading to the breakdown of the comoving gauge at $\dot{\phi}=0$. Therefore, we use the Newtonian gauge to perform the perturbation analysis where the Newtonian potential is employed as a physical variable. The curvature perturbation is not considered as a physical variable which describes a relevant perturbation during reheating.


title: H\"older continuous solutions to the complex Monge-Amp\`ere equations in non-smooth pseudoconvex domains

abstract: In this paper, we prove the H\"older continuity for solutions to the complex Monge-Amp\`ere equations on non-smooth pseudoconvex domains of plurisubharmonic type ${m}$.


title: Effective Field Theory of 2D van Hove Singularities

abstract: We study the effective field theory of 2D fermions with a short-range interaction in the presence of a van Hove singularity. We find that there are additional divergences associated with the singularity that necessitate regularization beyond the usual Wilsonian cut-off. In the full theory these divergences are cut off by the finite size of the Brillouin zone. This leads to a UV/IR mixing and causes the RG equation for the coupling constant to have an explicit dependence on the ratio of the Wilsonian cut-off to the bandwidth. We discuss the properties of the superconducting ground state and the transport properties of the normal state and show that the latter are approximately described by the marginal Fermi liquid scenario. To leading order, our results are universal in the sense that they do not depend upon the nature of the non-van Hove portion of the Fermi surface. We also comment on the van Hove scenario of high-Tc superconductivity.


title: Stokesian swimming of a sphere by radial helical surface wave

abstract: The swimming of a sphere by means of radial helical surface waves is studied on the basis of the Stokes equations. Explicit expressions are derived for the matrices characterizing the mean translational and rotational swimming velocities and the mean rate of dissipation to second order in the wave amplitude.


title: Convergence in capacity of plurisubharmonic functions with given boundary values

abstract: In this paper, we study the convergence in the capacity of sequence of plurisubharmonic functions. As an application, we prove stability results for solutions of the complex Monge-Amp\`ere equations.


title: The Significance of the 750 GeV Fluctuation in the ATLAS Run 2 Diphoton Data

abstract: We investigate the robustness of the resonance like feature centred at around a 750 GeV invariant mass in the 13 TeV diphoton data, recently released by the ATLAS collaboration. We focus on the choice of empirical function used to model the continuum diphoton background in order to quantify the uncertainties in the analysis due to this choice. We extend the function chosen by the ATLAS collaboration to one with two components. By performing a profile likelihood analysis we find that the local significance of a resonance drops from $3.9\sigma$ using the ATLAS background function, and a freely-varying width, to only $2\sigma$ with our own function. We argue that the latter significance is more realistic, since the former was derived using a function which is fit almost entirely to the low-energy data, while underfitting in the region around the resonance.


title: Quantum interference patterns around magnetic impurities in a 2D electron gas with strong Rashba spin-orbit interaction

abstract: Explicit dependencies of the local density of states and the magnetization local density of states have been obtained around magnetic point defects in a two-dimensional electron gas with Rashba spin-orbit interaction . The expressions are given in the Born approximation for arbitrary magnitude and orientation of the defect magnetic moment, and for arbitrary size of the constant of spin-orbit interaction alpha/. On the basis of our asymptotically exact formulas a procedure for the determination of the constant alpha/ in STM experiments is proposed. The novel analytical results are compared with the numerical and approximate results of previous work. At variance with earlier work we find that that magnetic scattering in the presence of spin-orbit interaction does not modify the local density of states and that the spin texture resulting from in-plain orientation of the defect magnetic moment, and elastic scattering, is not a purely in-plane spin texture.


title: Update of the China-VO AstroCloud

abstract: As the cyber-infrastructure for Astronomical research from Chinese Virtual Observatory (China-VO) project, AstroCloud has been archived solid progresses during the last one year. Proposal management system and data access system are re-designed. Several new sub-systems are developed, including China-VO PaperData, AstroCloud Statics and Public channel. More data sets and application environments are integrated into the platform. LAMOST DR1, the largest astronomical spectrum archive was released to the public using the platform. The latest progresses will be introduced.


title: The Einstein specific heat model for finite systems

abstract: The theoretical model proposed by Einstein to describe the phononic specific heat of solids as a function of temperature consists the very first application of the concept of energy quantization to describe the physical properties of a real system. Its central assumption lies in the consideration of a total energy distribution among N (in the thermodynamic limit $N \rightarrow \infty$) non-interacting oscillators vibrating at the same frequency ($\omega$). Nowadays, it is well-known that most materials behave differently at the nanoscale, having thus some cases physical properties with potential technological applications. Here, a version of the Einstein's model composed of a finite number of particles/oscillators is proposed. The main findings obtained in the frame of the present work are: (i) a qualitative description of the specific heat in the limit of low-temperatures for systems with nano-metric dimensions; (ii) the observation that the corresponding chemical potential function for finite solids becomes null at finite temperatures as observed in the Bose-Einstein condensation and; (iii) emergence of a first-order like phase transition driven by varying $N$.


title: Compositions of invertibility preserving maps for some monoids and their application to Clifford algebras

abstract: For some monoids, we give a method of composing invertibility preserving maps associated to "partial involutions." Also, we define the notion of "determinants for finite dimensional algebras over a field." As examples, we give invertibility preserving maps for Clifford algebras into a field and determinants for Clifford algebras into a field, where we assume that the algebras are generated by less than or equal to 5 generators over the field. On the other hand, "determinant formulas for Clifford algebras" are known. We understand these formulas as an expression that connects invertibility preserving maps for Clifford algebras and determinants for Clifford algebras. As a result, we have a better sense of determinant formulas. In addition, we show that there is not such a determinant formula for Clifford algebras generated by greater than 5 generators.


title: Nonequilibrium Thermodynamic Formalism of Nonlinear Chemical Reaction Systems with Waage-Guldberg's Law of Mass Action

abstract: Macroscopic entropy production $\sigma^{(tot)}$ in the general nonlinear isothermal chemical reaction system with mass action kinetics is decomposed into a free energy dissipation and a house-keeping heat: $\sigma^{(tot)}=\sigma^{(fd)}+\sigma^{(hk)}$; $\sigma^{(fd)}=-\rd A/\rd t$, where $A$ is a generalized free energy function. This yields a novel nonequilibrium free energy balance equation $\rd A/\rd t=-\sigma^{(tot)}+\sigma^{(hk)}$, which is on a par with celebrated entropy balance equation $\rd S/\rd t=\sigma^{(tot)}+\eta^{(ex)}$ where $\eta^{(ex)}$ is the rate of entropy exchange with the environment.For kinetic systems with complex balance, $\sigma^{(fd)}$ and $\sigma^{(hk)}$ are the macroscopic limits of stochastic free energy dissipation and house-keeping heat, which are both nonnegative, in the Delbr\"uck-Gillespie description of the stochastic chemical kinetics.Therefore, we show that a full kinetic and thermodynamic theory of chemical reaction systems that transcends mesoscopic and macroscopic levels emerges.


title: Mesoscopic Kinetic Basis of Macroscopic Chemical Thermodynamics: A Mathematical Theory

abstract: From a mathematical model that describes a complex chemical kinetic system of $N$ species and $M$ elementrary reactions in a rapidly stirred vessel of size $V$ as a Markov process, we show that a macroscopic chemical thermodynamics emerges as $V\rightarrow\infty$. The theory is applicable to linear and nonlinear reactions, closed systems reaching chemical equilibrium, or open, driven systems approaching to nonequilibrium steady states. A generalized mesoscopic free energy gives rise to a macroscopic chemical energy function $\varphi^{ss}(\vx)$ where $\vx=(x_1,\cdots,x_N)$ are the concentrations of the $N$ chemical species. The macroscopic chemical dynamics $\vx(t)$ satisfies two emergent laws: (1) $(\rd/\rd t)\varphi^{ss}[\vx(t)]\le 0$, and (2)$(\rd/\rd t)\varphi^{ss}[\vx(t)]=\text{cmf}(\vx)-\sigma(\vx)$ where entropy production rate $\sigma\ge 0$ represents the sink for the chemical energy, and chemical motive force $\text{cmf}\ge 0$ is non-zero if the system is driven under a sustained nonequilibrium chemostat. For systems with detailed balance $\text{cmf}=0$, and if one assumes the law of mass action,$\varphi^{ss}(\vx)$ is precisely the Gibbs' function $\sum_{i=1}^N x_i\big[\mu_i^o+\ln x_i\big]$ for ideal solutions. For a class of kinetic systems called complex balanced, which include many nonlinear systems as well as many simple open, driven chemical systems, the $\varphi^{ss}(\vx)$, with global minimum at $\vx^*$, has the generic form $\sum_{i=1}^N x_i\big[\ln(x_i/x_i^*)-x_i+x_i^*\big]$,which has been known in chemical kinetic literature.Macroscopic emergent "laws" are independent of the details of the underlying kinetics. This theory provides a concrete example from chemistry showing how a dynamic macroscopic law can emerge from the kinetics at a level below.


title: Description of electromagnetic and favored $\alpha$-transitions in heavy odd-mass nuclei

abstract: We describe electromagnetic and favored \alpha-transitions to rotational bands in odd-mass nuclei built upon a single particle state with angular momentum projection $\Omega=\frac{1}{2}$ in the region $88 \le Z \le 98$. We use the particle coupled to an even-even core approach described by the Coherent State Model (CSM) and the coupled channels method to estimate partial $\alpha$-decay widths. We reproduce the energy levels of the rotational band where favored $\alpha$-transitions occur for 26 nuclei and predict B (E2) values for electromagnetic transitions to the bandhead using a deformation parameter and a Hamiltonian strength parameter for each nucleus, together with an effective collective charge depending linearly on the deformation parameter. Where experimental data is available, the contribution of the single particle effective charge to the total B (E2) value is calculated. The Hamiltonian describing the $\alpha$- nucleus interaction contains two terms, a spherically symmetric potential given by the double-folding of the M3Y nucleon-nucleon interaction plus a repulsive core simulating the Pauli principle and a quadrupole-quadrupole (QQ) interaction. The $\alpha$-decaying state is identified as a narrow outgoing resonance in this potential. The intensity of the transition to the first excited state is reproduced by the QQ coupling strength. It depends linearly both on the nuclear deformation and the square of the reduced width for the decay to the bandhead, respectively. Predicted intensities for transitions to higher excited states are in a reasonable agreement with experimental data. This formalism offers a unified description of energy levels, electromagnetic and favored $\alpha$-transitions for known heavy odd-mass $\alpha$-emitters.


title: Combined effect of NSI and SFP on solar electron neutrino oscillation

abstract: The combined effect of SFP and the non standard neutrino interaction (NSI) on the survival probability of solar electron neutrinos (assumed to be Dirac particles) is examined for various values of $\epsilon_{11}$, $\epsilon_{12}$ and $\mu B$. It is found that the neutrino survival probability curves affected by SFP and NSI effects individually for some values of the parameters ($\epsilon_{11}$, $\epsilon_{12}$ and $\mu B$) get close to the standard MSW curve when both effects are combined. Therefore, the combined effect of SFP and NSI needs to be taken into account when the solar electron neutrino data obtained by low energy solar neutrino experiments is investigated.


title: Jump-starting coordination in a stag hunt: Motivation, mechanisms, and their analysis

abstract: The stag hunt (or assurance game) is a simple game that has been used as a prototype of a variety of social coordination problems (ranging from the social contract to the adoption of technical standards). Players have the option to either use a superior cooperative strategy whose payoff depends on the other players' choices or use an inferior strategy whose payoff is independent of what other players do; the cooperative strategy may incur a loss if sufficiently many other players do not cooperate. Stag hunts have two (strict) pure Nash equilibria, namely, universal cooperation and universal defection (as well as a mixed equilibrium of low predictive value). Selection of the inferior (pure) equilibrium is called a coordination failure. In this paper, we present and analyze using game-theoretic techniques mechanisms aiming to avert coordination failures and incite instead selection of the superior equilibrium. Our analysis is based on the solution concepts of Nash equilibrium, dominance solvability, as well as a formalization of the notion of "incremental deployability," which is shown to be keenly relevant to the sink equilibrium.


title: On questions which are connected with Talagrand problem

abstract: We prove the following results. 1. If $X$ is a $\alpha$-favourable space, $Y$ is a regular space, in which every separable closed set is compact, and $f:X\times Y\to\mathbb R$ is a separately continuous everywhere jointly discontinuous function, then there exists a subspace $Y_0\subseteq Y$ which is homeomorphic to $\beta\mathbb N$. 2. There exist a $\alpha$-favourable space $X$, a dense in $\beta\mathbb N\setminus\mathbb N$ countably compact space $Y$ and a separately continuous everywhere jointly discontinuous function $f:X\times Y\to\mathbb R$. Besides, it was obtained some conditions equivalent to the fact that the space $C_p(\beta\mathbb N\setminus\mathbb N,\{0,1\})$ of all continuous functions $x:\beta\mathbb N\setminus\mathbb N\to\{0,1\}$ with the topology of point-wise convergence is a Baire space.


title: Analytical Modeling of Interference Aware Power Control for the Uplink of Heterogeneous Cellular Networks

abstract: Inter-cell interference is one of the main limiting factors in current Heterogeneous Cellular Networks (HCNs). Uplink Fractional Power Control (FPC) is a well known method that aims to cope with such limiting factor as well as to save battery live. In order to do that, the path losses associated with Mobile Terminal (MT) transmissions are partially compensated so that a lower interference is leaked towards neighboring cells. Classical FPC techniques only consider a set of parameters that depends on the own MT transmission, like desired received power at the Base Station (BS) or the path loss between the MT and its serving BS, among others. Contrary to classical FPC, in this paper we use stochastic geometry to analyze a power control mechanism that keeps the interference generated by each MT under a given threshold. We also consider a maximum transmitted power and a partial compensation of the path loss. Interestingly, our analysis reveals that such Interference Aware (IA) method can reduce the average power consumption and increase the average spectral efficiency. Additionally, the variance of the interference is reduced, thus improving the performance of Adaptive Modulation and Coding (AMC) since the interference can be better estimated at the MT.


title: Evolution of OH and CO-dark Molecular Gas Fraction Across a Molecular Cloud Boundary In Taurus

abstract: We present observations of 12CO J=1-0, 13CO J=1-0, HI, and all four ground-state transitions of the hydroxyl (OH) radical toward a sharp boundary region of the Taurus molecular cloud. Based on a PDR model that reproduces CO and [CI] emission from the same region, we modeled the three OH transitions, 1612, 1665, 1667 MHz successfully through escape probability non-LTE radiative transfer model calculations. We could not reproduce the 1720 MHz observations, due to un-modeled pumping mechanisms, of which the most likely candidate is a C-shock. The abundance of OH and CO-dark molecular gas (DMG) are well constrained. The OH abundance [OH]/[H2] decreases from 8*10-7 to 1*10-7 as Av increases from 0.4 to 2.7 mag, following an empirical law [OH]/[H2]= 1.5 * 10^{-7} + 9.0 * 10^{-7} * exp(-Av/0.81), which is higher than PDR model predictions for low extinction regions by a factor of 80. The overabundance of OH at extinctions at or below 1 mag is likely the result of a C-shock. The dark gas fraction (DGF, defined as fraction of molecular gas without detectable CO emission) decreases from 80% to 20%, following a gaussian profile DGF= 0.90 * exp(-( Av -0.79 )/0.71)^2) This trend of the DGF is consistent with our understanding that the DGF drops at low visual extinction due to photodissociation of H2 and drops at high visual extinction due to CO formation. The DGF peaks in the extinction range where H2 has already formed and achieved self-shielding but 12CO has not. Two narrow velocity components with a peak-to-peak spacing of ~ 1 km s-1 were clearly identified. Their relative intensity and variation in space and frequency suggest colliding streams or gas flows at the boundary region.


title: A diffusive Fisher-KPP equation with free boundaries and time-periodic advections

abstract: We consider a reaction-diffusion-advection equation of the form: $u_t=u_{xx}-\beta(t)u_x+f(t,u)$ for $x\in (g(t),h(t))$, where $\beta(t)$ is a $T$-periodic function representing the intensity of the advection, $f(t,u)$ is a Fisher-KPP type of nonlinearity, $T$-periodic in $t$, $g(t)$ and $h(t)$ are two free boundaries satisfying Stefan conditions. This equation can be used to describe the population dynamics in time-periodic environment with advection. Its homogeneous version (that is, both $\beta$ and $f$ are independent of $t$) was recently studied by Gu, Lou and Zhou \cite{GLZ}. In this paper we consider the time-periodic case and study the long time behavior of the solutions. We show that a vanishing-spreading dichotomy result holds when $\beta$ is small; a vanishing-transition-virtual spreading trichotomy result holds when $\beta$ is a medium-sized function; all solutions vanish when $\beta$ is large. Here the partition of $\beta(t)$ is much more complicated than the case when $\beta$ is a real number, since it depends not only on the "size" $\bar{\beta}:= \frac{1}{T}\int_0^T \beta(t) dt$ of $\beta(t)$ but also on its "shape" $\tilde{\beta}(t) := \beta(t) - \bar{\beta}$.


title: Pick Functions Related to the Multiple Gamma Functions of order $n$

abstract: Let $G_n$ be the Barnes multiple Gamma function of order $n$ and the function $f_n(z)$ be defined as \begin{align*} f_n(z)=\dfrac{\log G_n(z+1)}{z^n\Log z},\quad z\in \mathbb{C}\setminus (-\infty,0]. \end{align*} In this work, a conjecture to find the Stieltjes representation is proposed such that $f_n(z)$ is a Pick function. The conjecture is established for the particular case $n=3$ by examining the properties of $f_3(z)$.


title: Accidental degeneracy and topological phase transitions in two-dimensional core-shell dielectric photonic crystals

abstract: A simple core-shell two-dimensional photonic crystal is studied where the triangle lattice symmetry and $C_{6v}$ rotation symmetry leads to rich physics in the study of accidental degeneracy's in photonic bands. We systematically evaluate different types of accidental nodal points, depending on the dispersions around them and their topological properties, when the geometry and permittivity are continuously changed. These accidental nodal points can be the critical states lying between a topological phase and a normal phase and are thus important for the study of topological photonic states. In time-reversal systems, this leads to the photonic quantum spin Hall insulator where the spin is defined upon the orbital angular momentum for transverse-magnetic polarization. We study the topological phase transition as well as the properties of the edge and bulk states and their application potentials in optics.


title: Kinetics of Topological Stone-Wales Defect Formation in Single Walled Carbon

abstract: Topological Stone-Wales defect in carbon nanotubes plays a central role in plastic deformation, chemical functionalization, and superstructure formation. Here, we systematically investigate the formation kinetics of such defects within density functional approach coupled with the transition state theory. We find that both the formation and activation energies depend critically on the nanotube chairality, diameter, and defect orientation. The microscopic origin of the observed dependence is explained with curvature induced rehybridization in nanotube. Surprisingly, the kinetic barrier follows an empirical Br{\o}nsted-Evans-Polanyi type correlation with the corresponding formation energy, and can be understood in terms of overlap between energy-coordinate parabolas representing the structures with and without the defect. Further, we propose a possible route to substantially decrease the kinetic activation barrier. Such accelerated rates of defect formation are desirable in many novel electronic, mechanical and chemical applications, and also facilitate the formation of three-dimensional nanotube superstructures.


title: An extension and a generalization of Dedekind's theorem

abstract: For any given finite abelian group, we give factorizations of the group determinant in the group algebra of any subgroup. The factorizations are an extension of Dedekind's theorem. The extension leads to a generalization of Dedekind's theorem and a simple expression for inverse elements in the group algebra.


title: On a law of large numbers for insurance risks

abstract: This note presents a kind of the strong law of large numbers for an insurance risk caused by a single catastrophic event rather than by an accumulation of independent and identically distributed risks. We derive this result by a large diversification effect resulting from optimal allocation of the risk to many reinsurers or investors.


title: On Caffarelli-Kohn-Nirenberg inequalities for block-radial functions

abstract: The paper provides weighted Sobolev inequalities of the Caffarelli-Kohn-Nirenberg type for functions with multi-radial symmetry. Similarly to the previously studied radial case, the range of parameters in CKN inequalities can be extended, sometimes to infinity, providing a pointwise estimate similar to the classical radial estimate. Furthermore, the "multi-radial" weights are a stronger singularity than radial weights of the same homogeneity.


title: Littlewood-Paley equivalence and homogeneous Fourier multipliers

abstract: We consider certain Littlewood-Paley operators and prove characterization of some function spaces in terms of those operators. When treating weighted Lebesgue spaces, a generalization to weighted spaces will be made for H\"ormander's theorem on the invertibility of homogeneous Fourier multipliers. Also, applications to the theory of Sobolev spaces will be given.


title: Graph Editing to a Given Degree Sequence

abstract: We investigate the parameterized complexity of the graph editing problem called Editing to a Graph with a Given Degree Sequence, where the aim is to obtain a graph with a given degree sequence \sigma by at most k vertex or edge deletions and edge additions. We show that the problem is W[1]-hard when parameterized by k for any combination of the allowed editing operations. From the positive side, we show that the problem can be solved in time 2^{O(k(\Delta+k)^2)}n^2 log n for n-vertex graphs, where \Delta=max \sigma, i.e., the problem is FPT when parameterized by k+\Delta. We also show that Editing to a Graph with a Given Degree Sequence has a polynomial kernel when parameterized by k+\Delta if only edge additions are allowed, and there is no polynomial kernel unless NP\subseteq coNP/poly for all other combinations of allowed editing operations.


title: On the property $(Z_{E_a})$

abstract: The paper introduces the notion of properties $(Z_{\Pi_a})$ and $(Z_{E_a})$ as variants of Weyl's theorem and Browder's theorem for bounded linear operators acting on infinite dimensional Banach spaces. A characterization of these properties in terms of localized single valued extension property is given, and the perturbation by commuting Riesz operators is also studied. Classes of operators are considered as illustrating examples.


title: Two-dimensional solitons in conservative and parity-time-symmetric triple-core waveguides with cubic-quintic nonlinearity

abstract: We analyze a system of three two-dimensional nonlinear Schr\"odinger equations coupled by linear terms and with the cubic-quintic (focusing-defocusing) nonlinearity. We consider two versions of the model: conservative and parity-time ($\mathcal{PT}$) symmetric. These models describe triple-core nonlinear optical waveguides, with balanced gain and losses in the $\mathcal{PT}$-symmetric case. We obtain families of soliton solutions and discuss their stability. The latter study is performed using a linear stability analysis and checked with direct numerical simulations of the evolutional system of equations. Stable solitons are found in the conservative and $\mathcal{PT}$-symmetric cases. Interactions and collisions between the conservative and $\mathcal{PT}$-symmetric solitons are briefly investigated, as well.


title: Investigation of Dosimetric Parameters of $^{192}$Ir MicroSelectron v2 HDR Brachytherapy Source Using EGSnrc Monte Carlo Code

abstract: The $^{192}$Ir sources are widely used for high dose rate (HDR) brachytherapy treatments. The aim of this study is to simulate $^{192}$Ir MicroSelectron v2 HDR brachytherapy source and calculate the air kerma strength, dose rate constant, radial dose function and anisotropy function established in the updated AAPM Task Group 43 protocol. The EGSnrc Monte Carlo (MC) code package is used to calculate these dosimetric parameters, including dose contribution from secondary electron source and also contribution of bremsstrahlung photons to air kerma strength. The Air kerma strength, dose rate constant and radial dose function while anisotropy functions for the distance greater than 0.5 cm away from the source center are in good agreement with previous published studies. Obtained value from MC simulation for air kerma strength is $9.762\times 10^{-8} \textrm{UBq}^{-1}$and dose rate constant is $1.108\pm 0.13\%\textrm{cGyh}^{-1} \textrm{U}^{-1}$.


title: Number statistics for $\beta$-ensembles of random matrices: applications to trapped fermions at zero temperature

abstract: Let $\mathcal{P}_{\beta}^{(V)} (N_{\cal I})$ be the probability that a $N\times N$ $\beta$-ensemble of random matrices with confining potential $V(x)$ has $N_{\cal I}$ eigenvalues inside an interval ${\cal I}=[a,b]$ of the real line. We introduce a general formalism, based on the Coulomb gas technique and the resolvent method, to compute analytically $\mathcal{P}_{\beta}^{(V)} (N_{\cal I})$ for large $N$. We show that this probability scales for large $N$ as $\mathcal{P}_{\beta}^{(V)} (N_{\cal I})\approx \exp\left(-\beta N^2 \psi^{(V)}(N_{\cal I} /N)\right)$, where $\beta$ is the Dyson index of the ensemble. The rate function $\psi^{(V)}(k_{\cal I})$, independent of $\beta$, is computed in terms of single integrals that can be easily evaluated numerically. The general formalism is then applied to the classical $\beta$-Gaussian (${\cal I}=[-L,L]$), $\beta$-Wishart (${\cal I}=[1,L]$) and $\beta$-Cauchy (${\cal I}=[-L,L]$) ensembles. Expanding the rate function around its minimum, we find that generically the number variance ${\rm Var}(N_{\cal I})$ exhibits a non-monotonic behavior as a function of the size of the interval, with a maximum that can be precisely characterized. These analytical results, corroborated by numerical simulations, provide the full counting statistics of many systems where random matrix models apply. In particular, we present results for the full counting statistics of zero temperature one-dimensional spinless fermions in a harmonic trap.

categories: cond-mat.stat-mech cond-mat.dis-nn cond-mat.quant-gas math-ph math.MP math.PR


title: Overly determined agents prevent consensus in a generalized Deffuant model on $\mathbb{Z}$ with dispersed opinions

abstract: During the last decades, quite a number of interacting particle systems have been introduced and studied in the border area of mathematics and statistical physics. Some of these can be seen as simplistic models for opinion formation processes in groups of interacting people. In the one introduced by Deffuant et al.\ agents, that are neighbors on a given network graph, randomly meet in pairs and approach a compromise if their current opinions do not differ by more than a given threshold value $\theta$. We consider the two-sidedly infinite path $\mathbb{Z}$ as underlying graph and extend former investigations to a setting in which opinions are given by probability distributions. Similar to what has been shown for finite-dimensional opinions, we observe a dichotomy in the long-term behavior of the model, but only if the initial narrow-mindedness of the agents is restricted.


title: Series representations of the remainders in the expansion for certain trigonometric and hyperbolic functions with applications

abstract: In this paper, we present series representations of the remainders in the expansions for certain trigonometric and hyperbolic functions. By using the obtained results, we establish some inequalities for trigonometric and hyperbolic functions.


title: Spectral evolution of flaring blazars from numerical simulations

abstract: High resolution Very Long Baseline Interferometry (VLBI) observations of Active Galactic Nuclei (AGN) revealed traveling and stationary or quasi-stationary radio-components in several blazar jets. The traveling ones are in general interpreted as shock waves generated by pressure perturbations injected at the jet nozzle. The stationary features can be interpreted as recollimation shocks in non-pressure matched jets if they show a quasi-symmetric bump in the spectral index distribution. In some jets there may be interactions between the two kinds of shocks. These shock--shock interactions are observable with VLBI techniques, and their signature should also be imprinted on the single--dish light curves. We performed relativistic hydrodynamic (RHD) simulations of over-pressured and pressure-matched jets. To simulate the shock interaction we injected a perturbation at the jet nozzle once a steady-state was reached. We computed the non-thermal emission (including adiabatic and synchotron losses) resulting from the simulation. We show that the injection of perturbations in a jet can produce a bump in emission at GHz frequencies previous to the main flare, which is produced when the perturbation fills the jet in the observer's frame. The detailed analysis of our simulations and the non-thermal emission calculations show that interaction between a recollimation shock and traveling shock produce a typical and clear signature in both the single--dish light curves and in the VLBI observations: the flaring peaks are higher and delayed with respect to the evolution of a perturbation through a conical jet. This fact can allow to detect such interactions for stationary components lying outside of the region in where the losses are dominated by inverse Compton scattering.


title: The Two-Parameter Free Unitary Segal-Bargmann Transform and its Biane-Gross-Malliavin Identification

abstract: Motivated by the two-parameter free unitary Segal-Bargmann transform in the form of conditional expectation, we derive the integral transform representation of the two-parameter free unitary Segal-Bargmann transform which coincides to the large-$N$ limit of the two-parameter Segal-Bargmann transform on the unitary group $\mathbb{U}(N)$ and explore its limiting behavior. We also extend the notion of circular systems in order to define a two-parameter free Segal-Bargmann transform and prove a version of Biane-Gross-Malliavin Theorem of the two-parameter free unitary Segal-Bargmann transform.


title: The essential spectrum of the Neumann--Poincare operator on a domain with corners

abstract: Exploiting the homogeneous structure of a wedge in the complex plane, we compute the spectrum of the anti-linear Ahlfors-Beurling transform acting on the associated Bergman space. Consequently, the similarity equivalence between the Ahlfors-Beurling transform and the Neumann-Poincare operator provides the spectrum of the latter integral operator on a wedge. A localization technique and conformal mapping lead to the first complete description of the essential spectrum of the Neumann-Poincare operator on a planar domain with corners, with respect to the energy norm of the associated harmonic field.


title: Multiple right-hand-side setup for the DD-\alpha AMG

abstract: The setup cost of a modern solver such as DD-\alpha AMG (Wuppertal Multigrid) is a significant contribution to the total time spent on solving the Dirac equation, and in HMC it can even be dominant. We present an improved implementation of this algorithm with modified computation order in the setup procedure. By processing multiple right-hand sides simultaneously we can alleviate many of the performance issues of the default single right-hand-side setup. The main improvements are as follows: By combining multiple right-hand sides the message size for off-chip communication is larger, which leads to better utilization of the network bandwidth. Many matrix-vector products are replaced by matrix-matrix products, leading to better cache reuse. The synchronization overhead inflicted by on-chip parallelization (threading), which is becoming crucial on many-core architectures such as the Intel Xeon Phi, is effectively reduced. In the parts implemented so far, we observe a speedup of roughly 3x compared to the optimized version of the single right-hand-side setup on realistic lattices.


title: Superelastic softening of ferroelastic multidomain crystals

abstract: Many proper and improper ferroelastic materials display (at sufficiently low measurement frequencies) a huge elastic softening below Tc. This giant elastic softening, which can be suppressed with uniaxial stress, is caused by domain wall motion. Here we shortly review our results on frequency and temperature dependent elastic measurements of some perovskites which exhibit improper ferroelastic phase transitions. We also present a new model - based on Landau-Ginzburg theory including long range interaction of needle shaped ferroelastic domains - which describes superelastic softening observed in some of the perovskite systems very well. We also show, howthe theory can be extended to describe proper ferroelastic materials and apply the theory to describe the elastic behaviour of the proper ferroelastic material La1-xNdxP5O14 (LNPP).


title: Limit behaviour of BSDE with jumps and with singular terminal condition

abstract: We study the behaviour at the terminal time T of the minimal solution of a backward stochastic differential equation when the terminal data can take the value +$\infty$ with positive probability. In a previous paper, we have proved existence of this minimal solution (in a weak sense) in a quite general setting. But two questions arise in this context and were still open: is the solution c{\`a}d{\`i}{\`a}g on [0,T] ? In other words does the solution have a left limit at time T ? The second question is: is this limit equal to the terminal condition? In this paper, under additional conditions on the generator and the terminal condition, we give a positive answer to these two questions.


title: Is Nonlocality of the Quantum Theory Definitively Confirmed by the Experiments ?

abstract: In a recent paper published last october 2015 by B.Hensen et al. [1] and in two companion papers published last december 2015 by B.Hensen et al. [2] and by L. Shalm et al. [3], the authors describe beautiful and complex experiments aimed at testing the theorem of J. Bell (1965) [4] with measurements free of the detection-loophole and the locality loophole that had never been closed unquestionably in a single experiment. According to their authors, each experiment, closing both loopholes, gives conclusive evidence in favor of nonlocality. Here I will argue that this claim may be questionable, and that such an evidence should be obtained by a different kind of experiments.


title: The theory of local mass dimension one fermions of spin one half

abstract: About a decade ago the present author in collaboration with Daniel Grumiller presented an `unexpected theoretical discovery' of spin one-half fermions with mass dimension one [JCAP 2005, PRD 2005]. In the decade that followed a significant number of groups explored intriguing mathematical and physical properties of the new construct. However, the formalism suffered from two troubling features, that of non-locality and a subtle violation of Lorentz symmetry. Here, we trace the origin of both of these issues to a hidden freedom in the definition of duals of spinors and the associated field adjoints. In the process, for the first time, we provide a quantum theory of spin one-half fermions that is free from all the mentioned issues. The interactions of the new fermions are restricted to dimension-four quartic self interaction, and also to a dimension-four coupling with the Higgs. A generalised Yukawa coupling of the new fermions with neutrinos provides an hitherto unsuspected source of lepton-number violation. The new fermions thus present a first-principle dark matter partner to Dirac fermions of the standard model of high energy physics with contrasting mass dimensions -- that of three halves for the latter versus one of the former without mutating the statistics from fermionic to bosonic.


title: On non-abelian extensions of Leibniz algebras

abstract: In this paper, first we classify non-abelian extensions of Leibniz algebras by the second non-abelian cohomology. Then, we construct Leibniz 2-algebras using derivations of Leibniz algebras, and show that under a condition on the center, a non-abelian extension of Leibniz algebras can be described by a Leibniz 2-algebra morphism. At last, we give a description of non-abelian extensions in terms of Maurer-Cartan elements in a differential graded Lie algebra.


title: Classification results on surfaces in the isotropic 3-space

abstract: The isotropic 3-space I^3 which is one of the Cayley--Klein spaces is obtained from the Euclidean space by substituting the usual Euclidean distance with the isotropic distance. In the present paper, we give several classifications on the surfaces in I^3 with the constant relative curvature (analogue of the Gaussian curvature) and the constant isotropic mean curvature. In particular, we classify the helicoidal surfaces in I^3 with constant curvature and analyze some special curves on these.


title: Artin groups and Yokonuma-Hecke algebras

abstract: We attach to every Coxeter system (W,S) an extension C_W of the corresponding Iwahori-Hecke algebra. We construct a 1-parameter family of (generically surjective) morphisms from the group algebra of the corresponding Artin group onto C_W. When W is finite, we prove that this algebra is a free module of finite rank which is generically semisimple. When W is the Weyl group of a Chevalley group, C_W naturally maps to the associated Yokonuma-Hecke algebra. When W = S_n this algebra can be identified with a diagram algebra called the algebra of `braids and ties'. The image of the usual braid group in this case is investigated. Finally, we generalize our construction to finite complex reflection groups, thus extending the Broue-Malle-Rouquier construction of a generalized Hecke algebra attached to these groups.


title: Blue hypertext is a perfect design decision: No perceptual disadvantage in reading and successful highlighting of relevant information

abstract: Highlighted text in the Internet (i.e. Hypertext) is predominantly blue and underlined. The percept of these hypertext characteristics were heavily questioned by applied research and empirical tests resulted in inconclusive results. The ability to identify blue text in foveal and parafoveal vision was identified as potentially constrained by the low number of foveally centered blue light sensitive retinal cells. The present study investigates if foveal and parafoveal perceptibility of hypertext is reduced during reading. A silent-sentence reading study with simultaneous eye movement recordings and the invisible boundary paradigm, which allows the investigation of foveal and parafoveal perceptibility, separately, was realized. Target words in sentences were presented in either black or blue and either underlined or normal. No effect of color and underlining, but a preview benefit could be detected for first pass reading measures (comparing fixation times after degraded vs. un- degraded parafoveal previews). Fixation time measures that included re-reading (i.e., total viewing times) showed, in addition to a preview effect, a reduced fixation time for not highlighted (black not underlined) in contrast to highlighted target words (either blue or underlined or both). Thus, the present pattern reflects no detectable perceptual disadvantage of hyperlink stimuli but increased attraction of attention resources, after first pass reading, through highlighting. Blue or underlined text allows readers to easily perceive hypertext and at the same time readers re-visited hypertext longer as a consequence of highlighting. On the basis of the present evidence blue hypertext can be safely recommended to web designers for future use.


title: Three observations on commutators of Singular Integral Operators with BMO functions

abstract: This paper contains three observations on commutators of Singular Integral Operators with BMO functions: 1) The subgaussian local decay for the commutator, namely \[\frac{1}{|Q|}\left|\left\{x\in Q\, : \, |[b,T](f\chi_Q)(x)|>M^2f(x)t\right\}\right|\leq c e^{-\sqrt{ct\|b\|_{BMO}}} \] is sharp, that is, it is subgaussian and not better. 2) It is not possible to obtain a pointwise control of the commutator by a finite sum of sparse operators defined with $L\log L$ averages. 3) If $w\in A_p\setminus A_1$ then $\left\| wM\left(\frac{f}{w}\right)\right\|_{L^1(\mathbb{R}^n)\rightarrow L^{1,\infty}(\mathbb{R}^n)}=\infty$.


title: An Improved Leray-Trudinger Inequality

abstract: In this article, we have derived the following Leray-Trudinger type inequality on a bounded domain $\Omega$ in $\mathbb{R}^n $ containing the origin. \begin{align*} \displaystyle{\sup_{u\in W^{1,n}_{0}(\Omega), I_{n}[u,\Omega,R]\leq 1}}\int_{\Omega} e^{c_n\left(\frac{|u(x)|}{E_{2}^{\beta}(\frac{|x|}{R})}\right)^{\frac{n}{n-1}}} dx < +\infty \ \text{, for some } c_n>0 \ \text{depending only on } n. \end{align*} Here $\beta = \frac{2}{n}$, $I_n[u,\Omega,R] := \int_{\Omega}|\nabla u |^{n}dx- \left(\frac{n-1}{n}\right)^{n}\int_{\Omega}\frac{|u|^{n}}{|x|^{n}E_{1}^n(\frac{|x|}{R})}dx $, $R \geq \displaystyle{\sup_{x\in \Omega}}|x|$ and $E_{1}(t) := \log(\frac{e}{t})$, $E_{2}(t) := \log(eE_1(t))$ for $t\in (0,1].$ This improves an earlier result by Psaradakis and Spector. Also we have proved that, for any $c>0$ the above inequality is false, if we take $\beta < \frac{1}{n}.$


title: Checking Interval Properties of Computations

abstract: Model checking is a powerful method widely explored in formal verification. Given a model of a system, e.g., a Kripke structure, and a formula specifying its expected behaviour, one can verify whether the system meets the behaviour by checking the formula against the model. Classically, system behaviour is expressed by a formula of a temporal logic, such as LTL and the like. These logics are "point-wise" interpreted, as they describe how the system evolves state-by-state. However, there are relevant properties, such as those constraining the temporal relations between pairs of temporally extended events or involving temporal aggregations, which are inherently "interval-based", and thus asking for an interval temporal logic. In this paper, we give a formalization of the model checking problem in an interval logic setting. First, we provide an interpretation of formulas of Halpern and Shoham's interval temporal logic HS over finite Kripke structures, which allows one to check interval properties of computations. Then, we prove that the model checking problem for HS against finite Kripke structures is decidable by a suitable small model theorem, and we provide a lower bound to its computational complexity.


title: Angular Billiard and Algebraic Birkhoff conjecture

abstract: In this paper we introduce a new dynamical system which we call Angular billiard. It acts on the exterior points of a convex curve in Euclidean plane. In a neighborhood of the boundary curve this system turns out to be dual to the Birkhoff billiard. Using this system we get new results on algebraic Birkhoff conjecture on integrable billiards.


title: European VLBI Network imaging of 6.7 GHz methanol masers

abstract: Methanol masers at 6.7 GHz are well known tracers of high-mass star-forming regions. However, their origin is still not clearly understood. We aimed to determine the morphology and velocity structure for a large sample of the maser emission with generally lower peak flux densities than those in previous surveys. Using the European VLBI Network we imaged the remaining sources (17) from a sample of sources that were selected from the unbiased survey using the Torun 32 m dish. Together they form a database of a total of 63 source images with high sensitivity, milliarcsecond angular resolution and very good spectral resolution for detailed studies. We studied in detail the properties of the maser clouds and calculated the mean and median values of the projected size (17.4 au and 5.5 au, respectively) as well as the FWHM of the line (0.373 km s$^{-1}$ and 0.315 km s$^{-1}$ for the mean and median values, respectively), testing whether it was consistent with Gaussian profile. We also found maser clouds with velocity gradients (71 per cent) that ranged from 0.005 km s$^{-1}$ au$^{-1}$ to 0.210 km s$^{-1}$ au$^{-1}$. We tested the kinematic models to explain the observed structures of the 6.7 GHz emission. There were targets where the morphology supported the scenario of a rotating and expanding disk or a bipolar outflow. Comparing the interferometric and single-dish spectra we found that, typically, 50-70 per cent of the flux was missing. This phenomena is not strongly related to the distance of the source. The EVN imaging reveals that in the complete sample of 63 sources the ring-like morphology appeared in 17 per cent of sources, arcs were seen in a further 8 per cent, and the structures were complex in 46 per cent cases. The UC HII regions coincide in position in the sky for 13 per cent of the sources. They are related both to extremely high and low luminosity masers from the sample.


title: SuperWASP discovery and SALT confirmation of a semi-detached eclipsing binary that contains a delta Scuti star

abstract: We searched the SuperWASP archive for objects displaying multiply periodic photometric variations. Specifically we sought evidence for eclipsing binary stars displaying a further non-harmonically related signal in their power spectra. The object SWASP J050634.16-353648.4 is identified as a relatively bright (V ~ 11.5) semi-detached eclipsing binary with a 5.104 d orbital period that displays coherent pulsations with a semi-amplitude of 65 mmag at a frequency of 13.45 per day. Follow-up radial velocity spectroscopy with the Southern African Large Telescope confirmed the binary nature of the system. Using the phoebe code to model the radial velocity curve with the SuperWASP photometry allowed parameters of both stellar components to be determined. This yielded a primary (pulsating) star with a mass of 1.73 +/- 0.11 solar mass and a radius of 2.41 +/- 0.06 solar radii plus a Roche-lobe filling secondary star with a mass of 0.41 +/- 0.03 solar mass and a radius of 4.21 +/- 0.11 solar radii. 1SWASP J050634.16-353648.4 is therefore a bright delta Sct pulsator in a semi-detached eclipsing binary with one of the largest pulsation amplitudes of any such system known. The pulsation constant indicates that the mode is likely a first overtone radial pulsation.


title: Bounds for the asymptotic order parameter of the stochastic Kuramoto model

abstract: Tur\'an type inequalities for modified Bessel functions of the first kind are used to deduce some sharp lower and upper bounds for the asymptotic order parameter of the stochastic Kuramoto model. Moreover, approximation from the Lagrange inversion theorem and a rational approximation are given for the asymptotic order parameter.


title: Algorithms generating images of attractors of generalized iterated function systems

abstract: The paper is devoted to searching algorithms which will allow to generate images of attractors of \emph{generalized iterated function systems} (GIFS in short), which are certain generalization of classical iterated function systems, defined by Mihail and Miculescu in 2008, and then intensively investigated in the last years (the idea is that instead of selfmaps of a metric space $X$, we consider mappings form the Cartesian product $X\times...\times X$ to $X$). Two presented algorithms are counterparts of classical \emph{deterministic algorithm} and so-called \emph{chaos game}. The third and fourth one one is fitted to special kind of GIFSs - to \emph{affine} GIFS, which are, in turn, also investigated.


title: Network Coding as a Service

abstract: Network Coding (NC) shows great potential in various communication scenarios through changing the packet forwarding principles of current networks. It can improve not only throughput, latency, reliability and security but also alleviates the need of coordination in many cases. However, it is still controversial due to widespread misunderstandings on how to exploit the advantages of it. The aim of the paper is to facilitate the usage of NC by $(i)$ explaining how it can improve the performance of the network (regardless the existence of any butterfly in the network), $(ii)$ showing how Software Defined Networking (SDN) can resolve the crucial problems of deployment and orchestration of NC elements, and $(iii)$ providing a prototype architecture with measurement results on the performance of our network coding capable software router implementation compared by fountain codes.


title: Complexity of ITL model checking: some well-behaved fragments of the interval logic HS

abstract: Model checking has been successfully used in many computer science fields, including artificial intelligence, theoretical computer science, and databases. Most of the proposed solutions make use of classical, point-based temporal logics, while little work has been done in the interval temporal logic setting. Recently, a non-elementary model checking algorithm for Halpern and Shoham's modal logic of time intervals HS over finite Kripke structures (under the homogeneity assumption) and an EXPSPACE model checking procedure for two meaningful fragments of it have been proposed. In this paper, we show that more efficient model checking procedures can be developed for some expressive enough fragments of HS.


title: Exact solutions and physical analogies for unidirectional flows

abstract: Unidirectional flow is the simplest phenomenon of fluid mechanics. Its mathematical description, the Dirichlet problem for Poisson's equation in two dimensions with constant forcing, arises in many physical contexts, such as the torsion of elastic beams, first solved by de Saint-Venant for complex shapes. Here, the literature is unified and extended by identifying seventeen physical analogies for unidirectional flow and describing their common mathematical structure. Besides classical analogies in fluid and solid mechanics, applications are discussed in stochastic processes (first passage in two dimensions), pattern formation (river growth by erosion), and electrokinetics (ion transport in nanochannels), which also involve Poisson's equation with non-constant forcing. Methods are given to construct approximate geometries that admit exact solutions, by adding harmonic functions to quadratic forms or by truncating eigenfunction expansions. Exact solutions for given geometries are also derived by conformal mapping. We prove that the remarkable geometrical interpretation of Poiseuille flow in an equilateral triangular pipe (the product of the distances from an interior point to the sides) is only shared by parallel plates and unbounded equilateral wedges (with the third side hidden behind the apex). We also prove Onsager reciprocity for linear electrokinetic phenomena in straight pores of arbitrary shape and surface charge, based on the mathematics of unidirectional flow.

categories: physics.flu-dyn math-ph math.MP physics.hist-ph


title: Graph Fourier Transform based on Directed Laplacian

abstract: In this paper, we redefine the Graph Fourier Transform (GFT) under the DSP$_\mathrm{G}$ framework. We consider the Jordan eigenvectors of the directed Laplacian as graph harmonics and the corresponding eigenvalues as the graph frequencies. For this purpose, we propose a shift operator based on the directed Laplacian of a graph. Based on our shift operator, we then define total variation of graph signals, which is used in frequency ordering. We achieve natural frequency ordering and interpretation via the proposed definition of GFT. Moreover, we show that our proposed shift operator makes the LSI filters under DSP$_\mathrm{G}$ to become polynomial in the directed Laplacian.


title: A high-temperature expansion method for calculating paramagnetic exchange interactions

abstract: The method for calculating the isotropic exchange interactions in the paramagnetic phase is proposed. It is based on the mapping of the high-temperature expansion of the spin-spin correlation function calculated for the Heisenberg model onto Hubbard Hamiltonian one. The resulting expression for the exchange interaction has a compact and transparent formulation. The quality of the calculated exchange interactions is estimated by comparing the eigenvalue spectra of the Heisenberg model and low-energy magnetic part of the Hubbard model. By the example of quantum rings with different hopping setups we analyze the contributions from the different part of the Hubbard model spectrum to the resulting exchange interaction.


title: Termination of LCTRSs

abstract: Logically Constrained Term Rewriting Systems (LCTRSs) provide a general framework for term rewriting with constraints. We discuss a simple dependency pair approach to prove termination of LCTRSs. We see that existing techniques transfer to the constrained setting in a natural way.


title: On Generalizations of Cycles and Chordality to Hypergraphs from an Algebraic Viewpoint

abstract: In this paper, we study the notion of chordality and cycles in hypergraphs from a commutative algebraic point of view. The corresponding concept of chordality in commutative algebra is having a linear resolution. However, there is no unified definition for cycle or chordality in hypergraphs in the literature, so we consider several generalizations of these notions and study their algebraic interpretations. In particular, we investigate the relationship between chordality and having linear quotients in some classes of hypergraphs. Also we show that if $\mathcal{C}$ is a hypergraph such that $\langle \mathcal{C} \rangle$ is a vertex decomposable simplicial complex or $I(\bar{\mathcal{C}})$ is squarefree stable, then $\mathcal{C}$ is chordal according to one of the most promising definitions.


title: Discovery of a variable X-ray counterpart to HESS J1832-093: A new gamma-ray binary?

abstract: The TeV gamma-ray point source HESSJ1832-093 remains unidentified despite extensive multi-wavelength studies. The gamma-ray emission could originate in a very compact pulsar wind nebula or an X-ray binary system composed of the X-ray source XMMU J183245-0921539 and a companion star (2MASS J18324516-0921545). To unveil the nature of XMMUJ183245-0921539 and its relation to HESSJ1832-093, we performed deeper follow-up observations in X-rays with Chandra and Swift to improve source localisation and to investigate time variability. We observed an increase of the X-ray flux by a factor ~6 in the Chandra data compared to previous observations. The source is point-like for Chandra and its updated position is only 0.3" offset from 2MASS J18324516-0921545, confirming the association with this infrared source. Subsequent Swift ToO observations resulted in a lower flux, again compatible with the one previously measured with XMM-Newton, indicating a variability timescale of the order of two months or shorter. The now established association of XMMU J183245-0921539 and 2MASS J18324516-0921545 and the observed variability in X-rays are strong evidence for binary nature of HESS J1832-093. Further observations to characterise the optical counterpart as well as to search for orbital periodicity are needed to confirm this scenario.