title: A Unified Gas Kinetic Scheme for Multi-scale and Multi-component Plasma Transport

abstract: A unified gas kinetic scheme (UGKS) for multi-scale and multi-component plasma transport is constructed. The current scheme is a direct modeling method, where the time evolution solutions from the Vlasov-BGK equations of electron and ion and the Maxwell equations are used to construct a scale-dependent plasma simulation model. As a result, with the changing of modeling scales of mesh size and time step and with a variation of Knudsen number and Larmor radius, the discretized governing equations for a wide range of plasma evolution regimes can be obtained. The physics recovered in UGKS ranges from the Vlasov equation in the kinetic scale to different-type magneto-hydrodynamic (MHD) equations in the hydrodynamic scale. The key dynamics in UGKS is the un-splitting treatment of particle collision, acceleration, and transport in the construction of numerical flux across a cell interface. At the same time, the plasma evolution is coupled with the Maxwell equations in an implicit way, which automatically provides a smooth transition between the Ampere's law and the Ohm's law for the calculation of electric field. The time step of UGKS is not limited by the relaxation time, the cyclotron period, and the speed of light in the MHD regime. The UGKS is validated by numerical test cases, such as the Landau damping and two stream instability in the kinetic regime, and the Brio-Wu shock tube problem and the Orszag- Tang MHD turbulence problem in the hydrodynamic regime. The scheme is also used to study the geospace environment modeling (GEM), such as the challenging magnetic reconnection problem in the transition regime. Overall, the UGKS is a physically reliable multi-scale plasma simulation method. It provides a powerful and unified approach for the study of plasma physics.


title: A new Wang-Landau approach to obtain phase diagrams for multicomponent alloys

abstract: We develop an approach to apply Wang-Landau algorithm to multicomponent alloys in semi-grand-canonical ensemble. Although the Wang-Landau algorithm has great advantages over conventional sampling methods, there are few applications to alloys. This is because calculating compositions in semi-grand-canonical ensemble using the Wang-Landau algorithm requires a multi-dimensional density of states in terms of total energy and compositions. However, constructing the multi-dimensional density of states is difficult. In this study, we develop a simple approach to calculate the alloy phase diagram using Wang-Landau algorithm, and show that compositions in semi-grand-canonical ensemble require just some one-dimensional densities of states. Finally, we applied the present method to Cu-Au and Pd-Rh alloys and confirmed that the present method successfully describes the phase diagram with high validity and accuracy.


title: Distributed Processing of Generalized Graph-Pattern Queries in SPARQL 1.1

abstract: We propose an efficient and scalable architecture for processing generalized graph-pattern queries as they are specified by the current W3C recommendation of the SPARQL 1.1 "Query Language" component. Specifically, the class of queries we consider consists of sets of SPARQL triple patterns with labeled property paths. From a relational perspective, this class resolves to conjunctive queries of relational joins with additional graph-reachability predicates. For the scalable, i.e., distributed, processing of this kind of queries over very large RDF collections, we develop a suitable partitioning and indexing scheme, which allows us to shard the RDF triples over an entire cluster of compute nodes and to process an incoming SPARQL query over all of the relevant graph partitions (and thus compute nodes) in parallel. Unlike most prior works in this field, we specifically aim at the unified optimization and distributed processing of queries consisting of both relational joins and graph-reachability predicates. All communication among the compute nodes is established via a proprietary, asynchronous communication protocol based on the Message Passing Interface.


title: Sparse Boltzmann Machines with Structure Learning as Applied to Text Analysis

abstract: We are interested in exploring the possibility and benefits of structure learning for deep models. As the first step, this paper investigates the matter for Restricted Boltzmann Machines (RBMs). We conduct the study with Replicated Softmax, a variant of RBMs for unsupervised text analysis. We present a method for learning what we call Sparse Boltzmann Machines, where each hidden unit is connected to a subset of the visible units instead of all of them. Empirical results show that the method yields models with significantly improved model fit and interpretability as compared with RBMs where each hidden unit is connected to all visible units.


title: Counter-examples to non-noetherian Elkik's approximation theorem

abstract: Elkik established a remarkable theorem that can be applied for any noetherian henselian ring. For algebraic equations with a formal solution (restricted by some smoothness assumption), this theorem provides a solution adically close to the formal one in the base ring. In this paper, we show that the theorem would fail for some non-noetherian henselian rings. These rings do not satisfy several conditions weaker than noetherianness, such as weak proregularity (due to Grothendieck et al.) of the defining ideal. We describe the resulting pathologies.


title: Development of a Fuzzy Expert System based Liveliness Detection Scheme for Biometric Authentication

abstract: Liveliness detection acts as a safe guard against spoofing attacks. Most of the researchers used vision based techniques to detect liveliness of the user, but they are highly sensitive to illumination effects. Therefore it is very hard to design a system, which will work robustly under all circumstances. Literature shows that most of the research utilize eye blink or mouth movement to detect the liveliness, while the other group used face texture to distinguish between real and imposter. The classification results of all these approaches decreases drastically in variable light conditions. Hence in this paper we are introducing fuzzy expert system which is sufficient enough to handle most of the cases comes in real time. We have used two testing parameters, (a) under bad illumination and (b) less movement in eyes and mouth in case of real user to evaluate the performance of the system. The system is behaving well in all, while in first case its False Rejection Rate (FRR) is 0.28, and in second case its FRR is 0.4.


title: Band-unfolding approach to Moir\`e-induced band-gap opening and Fermi-level-velocity reduction in twisted bilayer graphene

abstract: We report on the energy spectrum of electrons in twisted bilayer graphene (tBLG) obtained by the band-unfolding method in the tight-binding model. We find the band-gap opening at particular points in the reciprocal space, that elucidates the drastic reduction of the Fermi-level velocity with the tiny twisted angles in tBLGs. We find that Moir\`e pattern caused by the twist of the two graphene layers generates interactions among Dirac cones, otherwise absent, and the resultant cone-cone interactions peculiar to each point in the reciprocal space causes the energy gap and thus reduced the Fermi-level velocity.


title: GW{\Gamma} + Bethe-Salpeter equation approach for photoabsorption spectra: Importance of self-consistent GW{\Gamma} calculations in small atomic systems

abstract: The self-consistent GW{\Gamma} method satisfies the Ward-Takahashi identity (i.e., the gauge invariance or the local charge continuity) for arbitrary energy ($\omega$) and momentum ($\bf q$) transfers. Its self-consistent first-principles treatment of the vertex $\Gamma=\Gamma_v$ or $\Gamma_W$ is possible to first order in the bare ($v$) or dynamically-screened ($W$) Coulomb interaction. It is developed within a linearized scheme and combined with the Bethe-Salpeter equation (BSE) to accurately calculate photoabsorption spectra (PAS) and photoemission (or inverse photoemission) spectra (PES) simultaneously. The method greatly improves the PAS of Na, Na$_3$, B$_2$, and C$_2$H$_2$ calculated using the standard one-shot $G_0W_0$ + BSE method that results in significantly redshifted PAS by 0.8-3.1 eV, although the PES are well reproduced already in $G_0W_0$.


title: Origin of positive out-of-plane magnetoconductivity in overdoped Bi$_{1.6}$Pb$_{0.4}$Sr$_{2}$CaCu$_{1.96}$Fe$_{0.04}$O$_{8+\delta}$

abstract: To elucidate the pseudogap phase diagram including the overdoped state of high transition temperature (high-$T_c$) cuprates, we must understand the origin of the positive out-of-plane magnetoconductivity (MC) observed in these compounds. For this purpose, the out-of-plane resistivity $\rho_c(T,H)$ of an overdoped Bi$_{1.6}$Pb$_{0.4}$Sr$_{2}$CaCu$_{1.96}$Fe$_{0.04}$O$_{8+\delta}$ (Bi-2212) single crystal is measured under pulsed magnetic fields up to 60 T. We show that the superconductive density-of-states (DOS) depletion effect, in addition to the pseudogap effect, clearly appears below the superconductive fluctuation regime, and the contribution becomes dominant in the superconducting state.


title: Detection of Biasing Attacks on Distributed Estimation Networks

abstract: The paper addresses the problem of detecting attacks on distributed estimator networks that aim to intentionally bias process estimates produced by the network. It provides a sufficient condition, in terms of the feasibility of certain linear matrix inequalities, which guarantees distributed input attack detection using an $H_\infty$ approach.


title: Unbounded $p$-convergence in Lattice-Normed Vector Lattices

abstract: A net $x_\alpha$ in a lattice-normed vector lattice $(X,p,E)$ is unbounded $p$-convergent to $x\in X$ if $p(|x_\alpha-x|\wedge u)\xrightarrow{o} 0$ for every $u\in X_+$. This convergence has been investigated recently for $(X,p,E)=(X,\lvert\cdot \rvert,X)$ under the name of $uo$-convergence, for $(X,p,E)=(X,\lVert\cdot\rVert,{\mathbb R})$ under the name of $un$-convergence, and also for $(X,p,{\mathbb R}^{X^*})$, where $p(x)[f]:=|f|(|x|)$, under the name $uaw$-convergence. In this paper we study general properties of the unbounded $p$-convergence.


title: The cotorsion pair generated by the class of flat Mittag-Leffler modules

abstract: Let $R$ be a ring and denote by $\mathcal{FM}$ the class of all flat and Mittag-Leffler left $R$-modules. In \cite{BazzoniStovicek2} it is proved that, if $R$ is countable, the orthogonal class of $\mathcal{FM}$ consists of all cotorsion modules. In this note we extend this result to the class of all rings $R$ satisfying that each flat left $R$-module is filtered by totally ordered limits of projective modules. This class of rings contains all countable, left perfect and discrete valuation domains. Moreover, assuming that there do not exist inaccessible cardinals, we obtain that, over these rings, all flat left $R$-modules have finite projective dimension.


title: The Extremes in Intra-Night Blazar Variability: The S4 0954+65 Case

abstract: We present results of optical observations of the extremely violently variable blazar S4 0954+65 on intra-night time scales. The object showed flux changes of up to 100% within a few hours. Time delays between optical bands, color changes and "rms-flux" relations are investigated and the results are discussed in terms of existing models of blazar variability.


title: Low-energy dynamical response of an Anderson insulator with local attraction

abstract: The low-frequency dynamical response of an Anderson insulator is dominated by so-called Mott resonances: hybridization of pairs of states close in energy, but separated spatially. We study the effect of interaction on Mott resonances in the model of spinful fermions (electrons) with local attraction. This model is known to exhibit a so-called pseudogap: a suppression of the low-energy single-particle excitations. Correspondingly, the low-energy dynamical response is also reduced. However this reduction has mostly quantitative character. In particular, the Mott formula for frequency-dependent conductivity preserves its functional asymptotic behavior at low frequencies, but with a small numerical prefactor. This result can be explained in terms of Mott resonances for electron pairs instead of single electrons.


title: Hypervelocity stars from young stellar clusters in the Galactic Centre

abstract: The enormous velocities of the so called hypervelocity stars (HVSs) derive, likely, from close interactions with massive black holes, binary stars encounters or supernova explosions. In this paper, we investigate the origin of hypervelocity stars as consequence of the close interaction between the Milky Way central massive black hole and a passing-by young stellar cluster. We found that both single and binary HVSs may be generated in a burst-like event, as the cluster passes near the orbital pericentre. High velocity stars will move close to the initial cluster orbital plane and in the direction of the cluster orbital motion at the pericentre. The binary fraction of these HVS jets depends on the primordial binary fraction in the young cluster. The level of initial mass segregation determines the value of the average mass of the ejected stars. Some binary stars will merge, continuing their travel across and out of the Galaxy as blue stragglers.


title: Layered solutions to the vector Allen-Cahn equation in $ R^2$. Characterization of minimizers and a new approach to heteroclinic connections

abstract: Let $W:R^m\rightarrow R$ be a nonnegative potential with exactly two nondegenerate zeros $a_-\neq a_+\in R^m$. We assume that there are$ N\geq 1$ distinct heteroclinic orbits connecting $a_-$ to $a_+$ represented by maps $ u_1,\ldots,u_N$ that minimize the one-dimensional energy $J_R(u) =\int_R(\frac{\vert u^\prime\vert^2}{2}+W(u))ds$. We first consider the problem of characterizing the minimizers $u:R^n\rightarrow R^m$ of the energy $\mathcal{J}_\Omega(u) =\int_\Omega(\frac{\vert\nabla u\vert^2}{2}+W(u))dx$. Under a nondegeneracy condition on $ u_1,\ldots,u_N $ and in two space dimensions, we prove that, provided it remains away from $a_-$ and $a_+$ in corresponding half spaces $S_-$ and $S_+$, a bounded minimizer $u:R^n\rightarrow R^m$ is necessarily an heteroclinic connection between suitable translates $ u_-(. -\eta_-)$ and $ u_+(. -\eta_+) $ of some $ u_\pm\in\{ u_1,\ldots, u_N\}$. Then we focus on the existence problem and assuming $N = 2$ and denoting $ u_-$ and $ u_+$ the representations of the two orbits connecting $ a_-$ to $ a_+$ we give a new proof of the existence (first proved in [31]) of a solution $ u:R^2\rightarrow R^m $ of \[\Delta u = W_u(u),\] that connects certain translates of $ u_\pm $.


title: On the Structure of the Time-Optimal Path Parameterization Problem with Third-Order Constraints

abstract: Finding the Time-Optimal Parameterization of a Path (TOPP) subject to second-order constraints (e.g. acceleration, torque, contact stability, etc.) is an important and well-studied problem in robotics. In comparison, TOPP subject to third-order constraints (e.g. jerk, torque rate, etc.) has received far less attention and remains largely open. In this paper, we investigate the structure of the TOPP problem with third-order constraints. In particular, we identify two major difficulties: (i) how to smoothly connect optimal profiles, and (ii) how to address singularities, which stop profile integration prematurely. We propose a new algorithm, TOPP3, which addresses these two difficulties and thereby constitutes an important milestone towards an efficient computational solution to TOPP with third-order constraints.


title: Cold Fronts and Shocks Formed by Gas Streams in Galaxy Clusters

abstract: Cold Fronts and shocks are hallmarks of the complex intra-cluster medium (ICM) in galaxy clusters. They are thought to occur due to gas motions within the ICM and are often attributed to galaxy mergers within the cluster. Using hydro-cosmological simulations of clusters of galaxies, we show that collisions of inflowing gas streams, seen to penetrate to the very centre of about half the clusters, offer an additional mechanism for the formation of shocks and cold fronts in cluster cores. Unlike episodic merger events, a gas stream inflow persists over a period of several Gyrs and it could generate a particular pattern of multiple cold fronts and shocks.


title: Prominent role of multi-electron processes in K-shell double and triple photodetachment of oxygen anions

abstract: The photon-ion merged-beams technique was used at a synchrotron light source for measuring absolute cross sections of double and triple photodetachment of O$^{-}$ ions. The experimental photon energy range of 524-543 eV comprised the threshold for K-shell ionization. Using resolving powers of up to 13,000, the position, strength and width of the below-threshold 1s 2s2 2p6 2S resonance as well as the positions of the 1s 2s2 2p5 3P and 1s 2s2 2p5 1P thresholds for K-shell ionization were determined with high precision. In addition, systematically enlarged multi-configuration Dirac-Fock calculations have been performed for the resonant detachment cross sections. Results from these ab-initio computations agree very well with the measurements for the widths and branching fractions for double and triple detachment, if double shake-up (and -down) of the valence electrons and the rearrangement of the electron density is taken into account. For the absolute cross sections, however, a previously found discrepancy between measurements and theory is confirmed.


title: QCD analysis of nucleon structure functions in deep-inelastic neutrino-nucleon scattering: Laplace transform and Jacobi polynomials approach

abstract: We present a detailed QCD analysis of nucleon structure functions $xF_3 (x, Q^2)$, based on Laplace transforms and Jacobi polynomials approach. The analysis corresponds to the next-to-leading order and next-to-next-to-leading order approximation of perturbative QCD. The Laplace transform technique, as an exact analytical solution, is used for the solution of nonsinglet Dokshitzer-Gribov-Lipatov-Altarelli-Parisi evolution equations at low- and large-$x$ values. The extracted results are used as input to obtain the $x$ and Q$^2$ evolution of $xF_3(x, Q^2)$ structure functions using the Jacobi polynomials approach. In our work, the values of the typical QCD scale $\Lambda_{\overline{\rm MS}}^{(n_f)}$ and the strong coupling constant $\alpha_s(M_Z^2)$ are determined for four quark flavors ($n_f=4$) as well. A careful estimation of the uncertainties shall be performed using the Hessian method for the valence-quark distributions, originating from the experimental errors. We compare our valence-quark parton distribution functions sets with those of other collaborations; in particular with the {\tt BBG}, {\tt CT14}, {\tt MMHT14} and {\tt NNPDF} sets, which are contemporary with the present analysis. The obtained results from the analysis are in good agreement with those from the literature.


title: FIR Spectroscopy of the Galactic Center: Hot and Warm Molecular Gas

abstract: The angular resolution (~10") achieved by the Herschel Space Observatory ~3.5m telescope at FIR wavelengths allowed us to roughly separate the emission toward the inner parsec of the galaxy (the central cavity) from that of the surrounding circumnuclear disk (the CND). The FIR spectrum toward SgrA* is dominated by intense [Oiii], [Oi], [Cii], [Niii], [Nii], and [Ci] fine-structure lines (in decreasing order of luminosity) arising in gas irradiated by the strong UV field from the central stellar cluster. The high-J CO rotational line intensities observed at the interface between the inner CND and the central cavity are consistent with a hot isothermal component at T~10^{3.1} K and n(H_2)~10^4 cm^{-3}. They are also consistent with a distribution of lower temperatures at higher gas density, with most CO at T~300 K. The hot CO component (either the bulk of the CO column density or just a small fraction depending on the above scenario) likely results from a combination of UV and shock-driven heating. Although this component is beam diluted in our FIR observations, it may be resolved at much higher angular resolution. An ALMA project using different molecular tracers to characterize UV-irradiated shocks in the innermost layers of the CND is ongoing.


title: Mordell-Weil lattice of Inose's Elliptic $K3$ surface arising from the product of 3-isogenous elliptic curves

abstract: From the product of two elliptic curves, Shioda and Inose constructed an elliptic $K3$ surface having two $\mathrm{II}^*$ fibers. Its Mordell-Weil lattice structure depends on the morphisms between the two elliptic curves. In this paper, we give a method of writing down generators of the Mordell-Weil lattice of such elliptic surfaces when two elliptic curves are $3$-isogenous. In particular, we obtain a basis of the Mordell-Weil lattice for the singular $K3$ surfaces $X_{[3,3,3]}$, $X_{[3,2,3]}$ and $X_{[3,0,3]}$.


title: b-Spline Curves and Surfaces as a Minimization of Quadratic Operators

abstract: The goal of this short note is to prove that every b-spline curve or surface (generated by uniform knots, without multiplicity) may be defined as minimum of positive quadratic operator.


title: On protocol and physical interference models in Poisson wireless networks

abstract: This paper analyzes the connection between the protocol and physical interference models in the setting of Poisson wireless networks. A transmission is successful under the protocol model if there are no interferers within a parameterized guard zone around the receiver, while a transmission is successful under the physical model if the signal to interference plus noise ratio (SINR) at the receiver is above a threshold. The parameterized protocol model forms a family of decision rules for predicting the success or failure of the same transmission attempt under the physical model. For Poisson wireless networks, we employ stochastic geometry to determine the prior, evidence, and posterior distributions associated with this estimation problem. With this in hand, we proceed to develop five sets of results: i) the maximum correlation of protocol and physical model success indicators, ii) the minimum Bayes risk in estimating physical success from a protocol observation, iii) the receiver operating characteristic (ROC) of false rejection (Type I) and false acceptance (Type II) probabilities, iv) the impact of Rayleigh fading vs. no fading on the correlation and ROC, and v) the impact of multiple prior protocol model observations in the setting of a wireless network with a fixed set of nodes in which the nodes employ the slotted Aloha protocol in each time slot.


title: NPCs Vote! Changing Voter Reactions Over Time Using the Extreme AI Personality Engine

abstract: Can non-player characters have human-realistic personalities, changing over time depending on input from those around them? And can they have different reactions and thoughts about different people? Using Extreme AI, a psychology-based personality engine using the Five Factor model of personality, I answer these questions by creating personalities for 100 voters and allowing them to react to two politicians to see if the NPC voters' choice of candidate develops in a realistic-seeming way, based on initial and changing personality facets and on their differing feelings toward the politicians (in this case, across liking, trusting, and feeling affiliated with the candidates). After 16 test runs, the voters did indeed change their attitudes and feelings toward the candidates in different and yet generally realistic ways, and even changed their attitudes about other issues based on what a candidate extolled.


title: Comment on 'Linking Spatial Distributions of Potential and Current in Viscous Electronics'

abstract: In recent paper of Falkovich and Levitov it was shown, that geometry of separatrixes for viscous electronic flow in graphene is sensitive to boundary conditions. Here we discover theis relation in details. Also we propose, how boundary conditions could be probed experimentally, using weak magnetic field and observed features of separatrixes.


title: Deep Kinematic Pose Regression

abstract: Learning articulated object pose is inherently difficult because the pose is high dimensional but has many structural constraints. Most existing work do not model such constraints and does not guarantee the geometric validity of their pose estimation, therefore requiring a post-processing to recover the correct geometry if desired, which is cumbersome and sub-optimal. In this work, we propose to directly embed a kinematic object model into the deep neutral network learning for general articulated object pose estimation. The kinematic function is defined on the appropriately parameterized object motion variables. It is differentiable and can be used in the gradient descent based optimization in network training. The prior knowledge on the object geometric model is fully exploited and the structure is guaranteed to be valid. We show convincing experiment results on a toy example and the 3D human pose estimation problem. For the latter we achieve state-of-the-art result on Human3.6M dataset.


title: Centrality dependence of chemical freeze-out parameters from net-proton and net-charge fluctuations using hadron resonance gas model

abstract: We estimate chemical freeze-out parameters in HRG and EVHRG model by fitting the experimental information of net-proton and net-charge fluctuations measured in Au + Au collisions by the STAR collaboration at RHIC. We observe that chemical freeze-out parameters obtained from lower and higher order fluctuations are though almost same for $\sqrt{s_{NN}} > 27$ GeV, tend to deviate from each other at lower $\sqrt{s_{NN}}$. Moreover, these separations increase with decrease of $\sqrt{s_{NN}}$ and for a fixed $\sqrt{s_{NN}}$ increase towards central collisions. Furthermore, we observe an approximate scaling behaviour of $(\mu_B/T)/(\mu_B/T)_{central}$ with $(N_{part})/(N_{part})_{central}$ for the parameters estimated from lower order fluctuations for 11.5 GeV $\le \sqrt{s_{NN}} \le$ 200 GeV. Scaling is violated for the parameters estimated from higher order fluctuations for $\sqrt{s_{NN}}= 11.5$ and 19.6 GeV. It is observed that the chemical freeze-out parameter, which can describe $\sigma^2/M$ of net-proton very well in all energies and centralities, can not describe the $s\sigma$ equally well and vice versa.


title: Regenerative Soot-VI: The excited states of neutral and ionized carbon in regenerative sooting discharges

abstract: We report the mechanisms of production and the state of excitation of the neutral and singly charged monatomic carbon in the regenerative soot as a function of the discharge parameters in graphite hollow cathode (HC) sources. Two distinctly different source configurations have been investigated. Comparisons of the level densities of various charged states of C1 have identified the regenerative properties of the C radicals in graphite HC soot.


title: Lower bounds for sensitivity of graph properties

abstract: We prove that the sensitivity of any non-trivial graph property on $n$ vertices is at least $\lfloor \frac{1}{2}n \rfloor$ , provided $n$ is sufficiently large.


title: Ripping RNA by Force using Gaussian Network Models

abstract: Using force as a probe to map the folding landscapes of RNA molecules has become a reality thanks to major advances in single molecule pulling experiments. Although the unfolding pathways under tension are complicated to predict studies in the context of proteins have shown that topology plays is the major determinant of the unfolding landscapes. By building on this finding we study the responses of RNA molecules to force by adapting Gaussian network model (GNM) that represents RNAs using a bead-spring network with isotropic interactions. Cross-correlation matrices of residue fluctuations, which are analytically calculated using GNM even upon application of mechanical force, show distinct allosteric communication as RNAs rupture. The model is used to calculate the force-extension curves at full thermodynamic equilibrium, and the corresponding unfolding pathways of four RNA molecules subject to a quasi-statically increased force.Our study finds that the analysis using GNM captures qualitatively the unfolding pathway of \emph{T}. ribozyme elucidated by the optical tweezers measurement. However, the simple model is not sufficient to capture subtle features, such as bifurcation in the unfolding pathways or the ion effects, in the forced-unfolding of RNAs.


title: Signal Transmissibility in Marginal Granular Materials

abstract: We examine the "transmissibility" of a simulated two-dimensional pack of frictionless disks formed by confining dilute disks in a shrinking, periodic box to the point of mechanical stability. Two opposite boundaries are then removed, thus allowing a set of free motions. Small free displacements on one boundary then induce proportional displacements on the opposite boundary. Transmissibility is the ability to distinguish different perturbations by their distant responses. We assess transmissibility by successively identifying free orthonormal modes of motion that have the {\em smallest} distant responses. The last modes to be identified in this "pessimistic" basis are the most transmissive. The transmitted amplitudes of these most transmissive modes fall off exponentially with mode number. Similar exponential falloff is seen in a simple elastic medium, though the responsible modes differ greatly in structure in the two systems. Thus the marginal pack's transmissibility is qualitatively similar to that of a simple elastic medium. We compare our results with recent findings based on the projection of the space of free motion onto interior sites.


title: An advanced Study on Cryptography Mechanisms for Wireless Sensor Networks

abstract: Wireless Sensor Network (WSN) is consisting of independent and distributed sensors to monitor physical or environmental conditions, such as temperature, sound, pressure, etc. The most crucial and fundamental challenge facing WSN is security. Due to minimum capacity in-term of memory cost, processing and physical accessibility to sensors devices the security attacks are problematic. They are mostly deployed in open area, which expose them to different kinds of attacks. In this paper, we present an illustration of different attacks and vulnerabilities in WSN. Then we describe and analyze security requirement, countermeasures based on cryptography mechanisms in literature. Finally, we present possible directions in future research.


title: Truncated Product Representations for $L$-Functions in the Hyperelliptic Ensemble

abstract: We investigate the approximation of quadratic Dirichlet $L$-functions over function fields by truncations of their Euler products. We first establish representations for such $L$-functions as products over prime polynomials times products over their zeros. This is the hybrid formula in function fields. We then prove that partial Euler products are good approximations of an $L$-function away from its zeros, and that, when the length of the product tends to infinity, we recover the original $L$-function. We also obtain explicit expressions for the arguments of quadratic Dirichlet $L$-functions over function fields and for the arguments of their partial Euler products. In the second part of the paper we construct, for each quadratic Dirichlet $L$-function over a function field, an auxiliary function based on the approximate functional equation that equals the $L$-function on the critical line. We also construct a parametrized family of approximations of these auxiliary functions, prove the Riemann hypothesis holds for them, and that their zeros are related to those of the associated $L$-function. Finally, we estimate the counting function for the zeros of this family of approximations, show that these zeros cluster near those of the associated $L$-function, and that, when the parameter is not too large, almost all the zeros of the approximations are simple.


title: How to Discover the Rogers--Ramunujan Identities

abstract: We examine a method to conjecture two very famous identities that were conjectured by Ramanujan, and later found to be known to Rogers.


title: Preduals and complementation of spaces of bounded linear operators

abstract: For Banach spaces X and Y, we establish a natural bijection between preduals of Y and preduals of L(X,Y) that respect the right L(X)-module structure. If X is reflexive, it follows that there is a unique predual making L(X) into a dual Banach algebra. This removes the condition that X have the approximation property in a result of Daws. We further establish a natural bijection between projections that complement Y in its bidual and L(X)-linear projections that complement L(X,Y) in its bidual. It follows that Y is complemented in its bidual if and only if L(X,Y) is (either as a module or as a Banach space). Our results are new even in the well-studied case of isometric preduals.


title: The marginally stable Bethe lattice spin glass revisited

abstract: Bethe lattice spins glasses are supposed to be marginally stable, i.e. their equilibrium probability distribution changes discontinuously when we add an external perturbation. So far the problem of a spin glass on a Bethe lattice has been studied only using an approximation where marginally stability is not present, which is wrong in the spin glass phase. Because of some technical difficulties, attempts at deriving a marginally stable solution have been confined to some perturbative regimes, high connectivity lattices or temperature close to the critical temperature. Using the cavity method, we propose a general non-perturbative approach to the Bethe lattice spin glass problem using approximations that should be hopeful consistent with marginal stability.


title: Hermite interpolation by piecewise polynomial surfaces with polynomial area element

abstract: This paper is devoted to the construction of polynomial 2-surfaces which possess a polynomial area element. In particular we study these surfaces in the Euclidean space $\mathbb R^3$ (where they are equivalent to the PN surfaces) and in the Minkowski space $\mathbb R^{3,1}$ (where they provide the MOS surfaces). We show generally in real vector spaces of any dimension and any metric that the Gram determinant of a parametric set of subspaces is a perfect square if and only if the Gram determinant of its orthogonal complement is a perfect square. Consequently the polynomial surfaces of a given degree with polynomial area element can be constructed from the prescribed normal fields solving a system of linear equations. The degree of the constructed surface depending on the degree and the quality of the prescribed normal field is investigated and discussed. We use the presented approach to interpolate a network of points and associated normals with piecewise polynomial surfaces with polynomial area element and demonstrate our method on a number of examples (constructions of quadrilateral as well as triangular patches


title: Online Group-exercises for Older Adults of Different Physical Abilities

abstract: In this paper we describe the design and validation of a virtual fitness environment aiming at keeping older adults physically and socially active. We target particularly older adults who are socially more isolated, physically less active, and with less chances of training in a gym. The virtual fitness environment, namely Gymcentral, was designed to enable and motivate older adults to follow personalised exercises from home, with a (heterogeneous) group of remote friends and under the remote supervision of a Coach. We take the training activity as an opportunity to create social interactions, by complementing training features with social instruments. Finally, we report on the feasibility and effectiveness of the virtual environment, as well as its effects on the usage and social interactions, from an intervention study in Trento, Italy


title: Exploring The Lambda Model Of The Hybrid Superstring

abstract: The purpose of this contribution is to initiate the study of integrable deformations for different superstring theory formalisms that manifest the property of (classical) integrability. In this paper we choose the hybrid formalism of the superstring in the background AdS_{2}xS^{2} and explore in detail the most immediate consequences of its lambda-deformation. The resulting action functional corresponds to the lambda-model of the matter part of the fairly more sophisticated pure spinor formalism, which is also known to be classical integrable. In particular, the deformation preserves the integrability and the one-loop conformal invariance of its parent theory, hence being a marginal deformation.


title: Measurement and QCD analysis of double-differential inclusive jet cross-sections in pp collisions at sqrt(s) = 8 TeV and ratios to 2.76 and 7 TeV

abstract: A measurement of the double-differential inclusive jet cross section as a function of the jet transverse momentum pT and the absolute jet rapidity abs(y) is presented. Data from LHC proton-proton collisions at sqrt(s) = 8 TeV, corresponding to an integrated luminosity of 19.7 inverse femtobarns, have been collected with the CMS detector. Jets are reconstructed using the anti-kT clustering algorithm with a size parameter of 0.7 in a phase space region covering jet pT from 74 GeV up to 2.5 TeV and jet absolute rapidity up to abs(y) = 3.0. The low-pT jet range between 21 and 74 GeV is also studied up to abs(y) = 4.7, using a dedicated data sample corresponding to an integrated luminosity of 5.6 inverse picobarns. The measured jet cross section is corrected for detector effects and compared with the predictions from perturbative QCD at next-to-leading order (NLO) using various sets of parton distribution functions (PDF). Cross section ratios to the corresponding measurements performed at 2.76 and 7 TeV are presented. From the measured double-differential jet cross section, the value of the strong coupling constant evaluated at the Z mass is alpha[S(M[Z]) = 0.1164 +0.0060 -0.0043, where the errors include the PDF, scale, nonperturbative effects and experimental uncertainties, using the CT10 NLO PDFs. Improved constraints on PDFs based on the inclusive jet cross section measurement are presented.


title: Reinventing Solid State Electronics: Harnessing Quantum Confinement in Bismuth Thin Films

abstract: Solid state electronics relies on the intentional introduction of impurity atoms or dopants into a semiconductor crystal and/or the formation of junctions between different materials (heterojunctions) to create rectifiers, potential barriers, and conducting pathways. With these building blocks, switching and amplification of electrical currents and voltages is achieved. As miniaturization continues to ultra-scaled transistors with critical dimensions on the order of ten atomic lengths, the concept of doping to form rectifying junctions fails and heterojunction formation becomes extremely difficult. Here it is shown there is no need to introduce dopant atoms nor is the formation of a heterojunction required to achieve the fundamental electronic function of current rectification. Ideal diode behavior or rectification is achieved for the first time solely by manipulation of quantum confinement in approximately 2 nanometer thick films consisting of a single atomic element, the semimetal bismuth. Crucially for nanoelectronics, this new quantum approach enables room temperature operation.


title: Like-charge attraction and opposite-charge decomplexation between polymers and DNA molecules

abstract: We scrutinize the effect of polyvalent ions on polymer-DNA interactions. We extend a recently developed test charge theory to the case of a stiff polymer interacting with a DNA molecule in an electrolyte mixture. The theory accounts for one-loop level electrostatic correlation effects such as the ionic cloud deformation around the strongly charged DNA molecule as well as image-charge forces induced by the low DNA permittivity. Our model can reproduce and explain various characteristics of the experimental phase diagrams for polymer solutions. First, the addition of polyvalent cations to the electrolyte solution results in the attraction of the negatively charged polymer by the DNA molecule. The glue of the like-charge attraction is the enhanced shielding of the polymer charges by the dense counterion layer at the DNA surface. Secondly, through the shielding of the DNA-induced electrostatic potential, mono- and polyvalent cations of large concentration both suppress the like-charge attraction. Within the same formalism, we also predict a new opposite-charge repulsion effect between the DNA molecule and a positively charged polymer. In the presence of polyvalent anions such as sulfate or phosphate, their repulsion by the DNA charges leads to the charge screening deficiency of the region around the DNA molecule. This translates into a repulsive force that results in the decomplexation of the polymer from DNA. This opposite-charge repulsion phenomenon can be verified by current experiments and the underlying mechanism can be beneficial to gene therapeutic applications where the control over polymer-DNA interactions is the key factor.


title: What makes people bond?: A study on social interactions and common life points on Facebook

abstract: In this paper we aim at understanding if and how, by analysing people's profile and historical data (such as data available on Facebook profiles and interactions, or collected explicitly) we can motivate two persons to interact and eventually create long-term bonds. We do this by exploring the relationship between connectedness, social interactions and common life points on Facebook. The results are of particular importance for the development of technology that aims at reducing social isolation for people with less chances to interact, such as older adults.


title: Evolution of the cycles of magnetic activity of the Sun and Sun-like stars in time

abstract: We applied the method of continuous wavelet-transform to the time-frequency analysis to the sets of observations of relative sunspot numbers, sunspot areas and to 6 Mount Wilson HK-project stars with well-defined magnetic cycles. Wavelet analysis of these data reveals the following pattern: at the same time there are several activity cycles whose periods vary widely from the quasi-biennial up to the centennial period for the Sun and vary significant during observations time of the HK-project stars. These relatively low-frequency periodic variations of the solar and stellar activity gradually change the values of periods of different cycles in time. This phenomenon can be observed in every cycles of activity


title: Monte Carlo Study of Temperature-dependent Non-diffusive Thermal Transport in Si Nanowires

abstract: Non-diffusive thermal transport has gained extensive research interest recently due to its important implications on fundamental understanding of material phonon mean free path distributions and many nanoscale energy applications. In this work, we systematically investigate the role of boundary scattering and nanowire length on the nondiffusive thermal transport in thin silicon nanowires by rigorously solving the phonon Boltzmann transport equation using a variance reduced Monte Carlo technique across a range of temperatures. The simulations use the complete phonon dispersion and spectral lifetime data obtained from first-principle density function theory calculations as input without any adjustable parameters. Our BTE simulation results show that the nanowire length plays an important role in determining the thermal conductivity of silicon nanowires. In addition, our simulation results suggest significant phonon confinement effect for the previously measured silicon nanowires. These findings are important for a comprehensive understanding of microscopic non-diffusive thermal transport in silicon nanowires.


title: miniAdapton: A Minimal Implementation of Incremental Computation in Scheme

abstract: We describe a complete Scheme implementation of miniAdapton, which implements the core functionality of the Adapton system for incremental computation (also known as self-adjusting computation). Like Adapton, miniAdapton allows programmers to safely combine mutation and memoization. miniAdapton is built on top of an even simpler system, microAdapton. Both miniAdapton and microAdapton are designed to be easy to understand, extend, and port to host languages other than Scheme. We also present adapton variables, a new interface in Adapton for variables intended to represent expressions.


title: Monte Carlo Simulation of Single-Crystalline PbSe Nanowire Thermal Conductivity Using First-Principle Phonon Properties

abstract: Prior experimental studies showed that nanowires are promising structures for improving the thermoelectric performance of practical thermoelectric materials due to the strongly induced phonon-boundary scattering. However, few studies examined the impact of phonon-boundary scattering on the thermal conductivity of thermoelectric nanowires from a first-principle approach. In this work, we systematically study the role of phonon-boundary scattering with different boundary specularities on the thermal conductivity of PbSe nanowires by rigorously solving the full phonon Boltzmann transport equation without any adjustable parameters. We observe significant thermal conductivity reduction for rough PbSe nanowires with diameters less than a few hundred nanometers. The reduction reaches ~ 40% for 10 nm thick rough PbSe nanowires at room temperature. The diameter-dependent thermal conductivities are found to contain important information about the phonon mean free path distribution from a standard reconstruction algorithm. The simulation results are important for fundamental understanding of nanoscale thermal transport in thermoelectric materials and will guide future design of thermoelectric devices to achieve better energy conversion efficiency.


title: Better than Counting Seconds: Identifying Fallers among Healthy Elderly using Fusion of Accelerometer Features and Dual-Task Timed Up and Go

abstract: Devices and sensors for identification of fallers can be used to implement actions to prevent falls and to allow the elderly to live an independent life while reducing the long-term care costs. In this study we aimed to investigate the accuracy of Timed Up and Go test, for fallers' identification, using fusion of features extracted from accelerometer data. Single and dual tasks TUG (manual and cognitive) were performed by a final sample (94% power) of 36 community dwelling healthy older persons (18 fallers paired with 18 non-fallers) while they wear a single triaxial accelerometer at waist with sampling rate of 200Hz. The segmentation of the TUG different trials and its comparative analysis allows to better discriminate fallers from non-fallers, while conventional functional tests fail to do so. In addition, we show that the fusion of features improve the discrimination power, achieving AUC of 0.84 (Sensitivity=Specificity=0.83, 95% CI 0.62-0.91), and demonstrating the clinical relevance of the study. We concluded that features extracted from segmented TUG trials acquired with dual tasks has potential to improve performance when identifying fallers via accelerometer sensors, which can improve TUG accuracy for clinical and epidemiological applications.


title: Enhanced visible light absorption in ZnO/GaN heterostructured nanofilms

abstract: ZnO/GaN alloys exhibit exceptional photocatalyst applications owing to the flexibly tunable band gaps that cover a wide range of the solar spectrum, and thus have attracted extensive attentions over the past few years. In this study, first-principles calculations were employed to investigate structural stabilities and electronic properties of (1-100) and (11-20) ZnO/GaN heterostructured nanofilms. The effects of nanofilm thickness and GaN ratio were explored. It was found that all studied heterostructured nanofilms were less stable than the corresponding pure ZnO film but more stable than pure GaN one, exhibiting a much thicker film with better stability. Electronic band structures displayed that both two types of (1-100) and (11-20) heterostructured nanofilms were semiconductors with band gaps strongly depending on the GaN ratios as well as the thicknesses. Of particular interesting is that the band gaps decreased firstly, and then increased with the increasing GaN ratio. Furthermore, electronic contribution to the valence band maximum and the conduction band minimum, and optical absorption were discussed. Our results of ZnO/GaN heterostructured nanofilms with spatial separation of electrons and holes, and flexibly tunable band gaps hold great promise for applications in visible-photovoltaic field.


title: Learning Low-Complexity Autoregressive Models via Proximal Alternating Minimization

abstract: We consider the estimation of the state transition matrix in vector autoregressive models, when time sequence data is limited but nonsequence steady-state data is abundant. To leverage both sources of data, we formulate the least squares minimization problem regularized by a Lyapunov penalty. We impose cardinality or rank constraints to reduce the complexity of the autoregressive model. We solve the resulting nonconvex, nonsmooth problem by using the proximal alternating linearization method (PALM). We show that PALM is globally convergent to a critical point and that the estimation error monotonically decreases. Furthermore, we obtain explicit formulas for the proximal operators to facilitate the implementation of PALM. We demonstrate the effectiveness of the developed method on synthetic and real-world data. Our experiments show that PALM outperforms the gradient projection method in both computational efficiency and solution quality.


title: Fast and Effective Algorithms for Symmetric Nonnegative Matrix Factorization

abstract: Symmetric Nonnegative Matrix Factorization (SNMF) models arise naturally as simple reformulations of many standard clustering algorithms including the popular spectral clustering method. Recent work has demonstrated that an elementary instance of SNMF provides superior clustering quality compared to many classic clustering algorithms on a variety of synthetic and real world data sets. In this work, we present novel reformulations of this instance of SNMF based on the notion of variable splitting and produce two fast and effective algorithms for its optimization using i) the provably convergent Accelerated Proximal Gradient (APG) procedure and ii) a heuristic version of the Alternating Direction Method of Multipliers (ADMM) framework. Our two algorithms present an interesting tradeoff between computational speed and mathematical convergence guarantee: while the former method is provably convergent it is considerably slower than the latter approach, for which we also provide significant but less stringent mathematical proof regarding its convergence. Through extensive experiments we show not only that the efficacy of these approaches is equal to that of the state of the art SNMF algorithm, but also that the latter of our algorithms is extremely fast being one to two orders of magnitude faster in terms of total computation time than the state of the art approach, outperforming even spectral clustering in terms of computation time on large data sets.


title: Multi-type Sequent Calculi

abstract: Display calculi are generalized sequent calculi which enjoy a `canonical' cut elimination strategy. That is, their cut elimination is uniformly obtained by verifying the assumptions of a meta-theorem, and is preserved by adding or removing structural rules. In the present paper, we discuss a proof-theoretic setting, inspired both to Belnap's Display Logic and to Sambin's Basic Logic, which generalises these calculi in two directions: by explicitly allowing different types, and by weakening the so-called display and visibility properties. The generalisation to a multi-type environment makes it possible to introduce specific tools enhancing expressivity, which have proved useful e.g. for a smooth proof-theoretic treatment of multi-modal and dynamic logics. The generalisation to a setting in which full display property is not required makes it possible to account for logics which admit connectives which are neither adjoints nor residuals, or logics that are not closed under uniform substitution. In the present paper, we give a general overview of the calculi which we refer to as multi-type calculi, and we discuss their canonical cut elimination meta-theorem.


title: Optimisations for Real-Time Volumetric Cloudscapes

abstract: Volumetric cloudscapes are prohibitively expensive to render in real time without extensive optimisations. Previous approaches render the clouds to an offscreen buffer at one quarter resolution and update a fraction of the pixels per frame, drawing the remaining pixels by temporal reprojection. We present an alternative approach, reducing the number of raymarching steps and adding a randomly jittered offset to the raymarch. We use an analytical integration technique to make results consistent with a lower number of raymarching steps. To remove noise from the resulting image we apply a temporal anti-aliasing implementation. The result is a technique producing visually similar results with 1/16 the number of steps.


title: Generalized residual vector quantization for large scale data

abstract: Vector quantization is an essential tool for tasks involving large scale data, for example, large scale similarity search, which is crucial for content-based information retrieval and analysis. In this paper, we propose a novel vector quantization framework that iteratively minimizes quantization error. First, we provide a detailed review on a relevant vector quantization method named \textit{residual vector quantization} (RVQ). Next, we propose \textit{generalized residual vector quantization} (GRVQ) to further improve over RVQ. Many vector quantization methods can be viewed as the special cases of our proposed framework. We evaluate GRVQ on several large scale benchmark datasets for large scale search, classification and object retrieval. We compared GRVQ with existing methods in detail. Extensive experiments demonstrate our GRVQ framework substantially outperforms existing methods in term of quantization accuracy and computation efficiency.


title: Association of 3He-Rich Solar Energetic Particles with Large-Scale Coronal Waves

abstract: Small 3He-rich solar energetic particle (SEP) events have been commonly associated with extreme-ultraviolet (EUV) jets and narrow coronal mass ejections (CMEs) which are believed to be the signatures of magnetic reconnection involving field lines open to interplanetary space. The elemental and isotopic fractionation in these events are thought to be caused by processes confined to the flare sites. In this study we identify 32 3He-rich SEP events observed by the Advanced Composition Explorer near the Earth during the solar minimum period 2007-2010 and examine their solar sources with the high resolution Solar Terrestrial Relations Observatory (STEREO) EUV images. Leading the Earth, STEREO-A provided for the first time a direct view on 3He-rich flares, which are generally located on the Sun's western hemisphere. Surprisingly, we find that about half of the 3He-rich SEP events in this survey are associated with large-scale EUV coronal waves. An examination of the wave front propagation, the source-flare distribution and the coronal magnetic field connections suggests that the EUV waves may affect the injection of 3He-rich SEPs into interplanetary space.


title: The existence of the graphs that have exactly two main eigenvalues

abstract: An eigenvalue of a graph $G$ is called a main eigenvalue if it has an eigenvector the sum of whose entries is not equal to zero. It is well known that a graph $G$ has exactly two main eigenvalues if and only if there exists a unique pair of integers $a$ and $b$ such that $\sum_{u\in N(v)}d(u)=ad(v)+b$ for every vertex $v\in V(G)$. We collect such connected graph $G$ in the set $\mathscr{G}(a,b)$. In this paper, we mainly focus to the existence of such $a$ and $b$, and give the necessary and sufficient condition for $\mathscr{G}(a,b)\neq\emptyset$. In addition, we give the bound for the vertex degrees of $G\in\mathscr{G}(a,b)$ and use the bound to characterize the graphs in $\mathscr{G}(a,b)$ for some feasible pairs $(a,b)$.


title: Automorphism groups of a class of cubic Cayley graphs on symmetric groups

abstract: Let $S_n$ denote the symmetric group of degree $n$ with $n\geq 3$. Set $S=\{c_n=(1\ 2\ldots \ n),c_n^{-1},(1\ 2)\}$. Let $\Gamma_n=\mathrm{Cay}(S_n,S)$ be the Cayley graph on $S_n$ with respect to $S$. In this paper, we show that $\Gamma_n$ ($n\geq 13$) is a normal Cayley graph, and that the full automorphism group of $\Gamma_n$ is equal to $\mathrm{Aut}(\Gamma_n)=R(S_n)\rtimes \langle\mathrm{Inn}(\phi)\rangle\cong S_n\rtimes \mathbb{Z}_2$, where $R(S_n)$ is the right regular representation of $S_n$, $\phi=(1\ 2)(3\ n)(4\ n-1)(5\ n-2)\cdots$ $(\in S_n)$, and $\mathrm{Inn}(\phi)$ is the inner isomorphism of $S_n$ induced by $\phi$.


title: Effects of grain boundary on the sources of size effects

abstract: The present work investigates the role of grain boundary (GB) on the sources of size effects. Up to now, several studies have been conducted to address the role of GBs in size effects from the atomistic point of view. However, a study which addresses the role of GB on different governing mechanisms of size effects as the sample length scale varies has not been presented yet. The results show that the main role of GB at larger length scale is to change the pattern of dislocation structure in a way that the dislocations are piled up near the GB which increases the hardness.


title: Coupled parametric processes in binary nonlinear photonic structures

abstract: We study parametric interactions in a new type of nonlinear photonic structures, which is realized in the vicinity of a pair of nonlinear crystals. In this kind of structure, which we call binary, multiple nonlinear optical processes can be implemented simultaneously, owing to multiple phase-matching conditions, fulfilled separately in the constituent crystals. The coupling between the nonlinear processes by means of modes sharing similar frequency is attained by the spatially-broadband nature of the parametric fields. We investigate the spatial properties of the fields generated in the binary structure constructed from periodically poled crystals for the two examples: 1) single parametric down-conversion, and 2) coupled parametric down-conversion and up-conversion processes. The efficacy of the fields' generation in these examples is analyzed through comparison with the cases of traditional single periodically poled crystal and aperiodic photonic structure, respectively. It has been shown that the relative shift between the periodic crystal lattices has a crucial effect on the generated spatial field spectrum and the overall efficiency. In addition, the influence of the inter-crystal distance on these characteristics has been studied. Therefore, our study suggests that one can construct optical elements with sophisticated nonlinear properties from simpler elements without significant sacrifice of the efficacy.


title: An OMNeT++ based Framework for Mobility-aware Routing in Mobile Robotic Networks

abstract: In this paper, we propose a cross-layer extension for the INETMANET framework of OMNeT++, which utilizes mobility control knowledge to enhance the forwarding of routing messages. The well-known mobility meta-model from Reynolds is used to provide a realistic representation of the mobility behavior of autonomous agents with respect to the various influences those agents have to face in real-world applications. Knowledge about the current mobility properties and its predicted development is used by mobility-aware routing mechanisms in order to optimize routing decisions and avoid path losses at runtime. In a proof of concept evaluation, we show that our proposed methods can achieve significant improvements to the robustness of communication paths.


title: On the cryptanalysis of Fridrich's chaotic image encryption scheme

abstract: Utilizing complex dynamics of chaotic maps and systems in encryption was studied comprehensively in the past two and a half decades. In 1989, Fridrich's chaotic image encryption scheme was designed by iterating chaotic position permutation and value substitution some rounds, which received intensive attention in the field of chaos-based cryptography. In 2010, Solak \textit{et al.} proposed a chosen-ciphertext attack on the Fridrich's scheme utilizing influence network between cipher-pixels and the corresponding plain-pixels. Based on their creative work, this paper scrutinized some properties of Fridrich's scheme with concise mathematical language. Then, some minor defects of the real performance of Solak's attack method were given. The work provides some bases for further optimizing attack on the Fridrich's scheme and its variants.


title: Leveraging Environmental Correlations: The Thermodynamics of Requisite Variety

abstract: Key to biological success, the requisite variety that confronts an adaptive organism is the set of detectable, accessible, and controllable states in its environment. We analyze its role in the thermodynamic functioning of information ratchets---a form of autonomous Maxwellian Demon capable of exploiting fluctuations in an external information reservoir to harvest useful work from a thermal bath. This establishes a quantitative paradigm for understanding how adaptive agents leverage structured thermal environments for their own thermodynamic benefit. General ratchets behave as memoryful communication channels, interacting with their environment sequentially and storing results to an output. The bulk of thermal ratchets analyzed to date, however, assume memoryless environments that generate input signals without temporal correlations. Employing computational mechanics and a new information-processing Second Law of Thermodynamics (IPSL) we remove these restrictions, analyzing general finite-state ratchets interacting with structured environments that generate correlated input signals. On the one hand, we demonstrate that a ratchet need not have memory to exploit an uncorrelated environment. On the other, and more appropriate to biological adaptation, we show that a ratchet must have memory to most effectively leverage structure and correlation in its environment. The lesson is that to optimally harvest work a ratchet's memory must reflect the input generator's memory. Finally, we investigate achieving the IPSL bounds on the amount of work a ratchet can extract from its environment, discovering that finite-state, optimal ratchets are unable to reach these bounds. In contrast, we show that infinite-state ratchets can go well beyond these bounds by utilizing their own infinite "negentropy". We conclude with an outline of the collective thermodynamics of information-ratchet swarms.

categories: cond-mat.stat-mech cs.IT cs.LG math.DS math.IT nlin.AO


title: Citation Analysis with Microsoft Academic

abstract: We explore if and how Microsoft Academic (MA) could be used for bibliometric analyses. First, we examine the Academic Knowledge API (AK API), an interface to access MA data, and compare it to Google Scholar (GS). Second, we perform a comparative citation analysis of researchers by normalizing data from MA and Scopus. We find that MA offers structured and rich metadata, which facilitates data retrieval, handling and processing. In addition, the AK API allows retrieving frequency distributions of citations. We consider these features to be a major advantage of MA over GS. However, we identify four main limitations regarding the available metadata. First, MA does not provide the document type of a publication. Second, the 'fields of study' are dynamic, too specific and field hierarchies are incoherent. Third, some publications are assigned to incorrect years. Fourth, the metadata of some publications did not include all authors. Nevertheless, we show that an average-based indicator (i.e. the journal normalized citation score; JNCS) as well as a distribution-based indicator (i.e. percentile rank classes; PR classes) can be calculated with relative ease using MA. Hence, normalization of citation counts is feasible with MA. The citation analyses in MA and Scopus yield uniform results. The JNCS and the PR classes are similar in both databases, and, as a consequence, the evaluation of the researchers' publication impact is congruent in MA and Scopus. Given the fast development in the last year, we postulate that MA has the potential to be used for full-fledged bibliometric analyses.


title: Service Rate Control For Jobs with Decaying Value

abstract: The task of completing jobs with decaying value arises in a number of application areas including healthcare operations, communications engineering, and perishable inventory control. We consider a system in which a single server completes a finite sequence of jobs in discrete time while a controller dynamically adjusts the service rate. During service, the value of the job decays so that a greater reward is received for having shorter service times. We incorporate a non-decreasing cost for holding jobs and a non-decreasing cost on the service rate. The controller aims to minimize the total cost of servicing the set of jobs. We show that the optimal policy is non-decreasing in the number of jobs remaining -- when there are more jobs in the system the controller should use a higher service rate. The optimal policy does not necessarily vary monotonically with the residual job value, but we give algebraic conditions which can be used to determine when it does. These conditions are then simplified in the case that the reward for completion is constant when the job has positive value and zero otherwise. These algebraic conditions are interesting because they can be verified without using algorithms like value iteration and policy iteration to explicitly compute the optimal policy. We also discuss some future modeling extensions.


title: Abundance of wild historic behavior

abstract: Using Caratheodory measures, we associate to each positive orbit ${\mathcal O}_{f}^{+}(x)$ of a measurable map $f$, a Borel measure $\eta_{x}$. We show that $\eta_{x}$ is $f$-invariant whenever $f$ is continuous or $\eta_{x}$ is a probability. These measures are used to study the \emph{historic} points of the system, that is, \emph{points with no Birkhoff averages}, and we construct topologically generic subset of \emph{wild historic points} for wide classes of dynamical models. We use properties of the measure $\eta_x$ to deduce some features of the dynamical system involved, like the \emph{existence of heteroclinic connections from the existence of open sets of historic points}.


title: Fitting Power-laws in empirical data with estimators that work for all exponents

abstract: It has been repeatedly stated that maximum likelihood (ML) estimates of exponents of power-law distributions can only be reliably obtained for exponents smaller than minus one. The main argument that power laws are otherwise not normalizable, depends on the underlying sample space the data is drawn from, and is true only for sample spaces that are unbounded from above. Here we show that power-laws obtained from bounded sample spaces (as is the case for practically all data related problems) are always free of such limitations and maximum likelihood estimates can be obtained for arbitrary powers without restrictions. Here we first derive the appropriate ML estimator for arbitrary exponents of power-law distributions on bounded discrete sample spaces. We then show that an almost identical estimator also works perfectly for continuous data. We implemented this ML estimator and discuss its performance with previous attempts. We present a general recipe of how to use these estimators and present the associated computer codes.


title: Polyelectrolyte Polypeptide Scaling Laws Via Mechanical and Dielectric Relaxation Measurements

abstract: Experimental results from mechanical viscoelastic as well as dielectric relaxation times were compared to theoretical expectations utilizing polymer scaling theory. Viscoelastic relaxation of a hydrogel at 33% relative humidity fabricated from co-poly-L-(glutamic acid$_{4}$, tyrosine$_{1}$) [PLEY(4:1)] crosslinked with poly-L-lysine scaled with concentration according to reptation dynamics. High frequency dielectric relaxation of aqueous copolymer PLEY(4:1) scaled with concentration as an ideal chain and aqueous Poly-L-glutamic acid scaled as an extended chain. The study shows that two seemingly different measurement methods can yield information about the state of polymer chain conformation in situ.


title: A Knowledge Ecosystem for the Food, Energy, and Water System

abstract: Food, energy, and water (FEW) are key resources to sustain human life and economic growth. There is an increasing stress on these interconnected resources due to population growth, natural disasters, and human activities. New research is necessary to foster more efficient, more secure, and safer use of FEW resources in the U.S. and globally. In this position paper, we present the idea of a knowledge ecosystem for enabling the semantic data integration of heterogeneous datasets in the FEW system to promote knowledge discovery and superior decision making through semantic reasoning. Rich, diverse datasets published by U.S. federal agencies will be utilized. Our knowledge ecosystem will build on Semantic Web technologies and advances in statistical relational learning to (a) represent, integrate, and harmonize diverse data sources and (b) perform ontology-based reasoning to discover actionable insights from FEW datasets.


title: Regenerative Soot-VII: Population inversion of He I and Ne I in regenerative sooting discharges

abstract: The mechanisms for population inversion among the excited states of He I and Ne I in regenerative sooting discharges have been investigated as a function of the geometry and the physical parameters of the graphite hollow cathode sources. The effect of the state of sooting of the hollow cathode, the gas pressure and the role of the cycling of the discharge current idis on the population inversion of the excited He I and Ne I levels have been investigated.


title: Revisiting the Applicability of Metaphysical Identity in Quantum Mechanics

abstract: We discuss the hypothesis that the debate about the interpretation of the orthodox formalism of quantum mechanics (QM) might have been misguided right from the start by a biased metaphysical interpretation of the formalism and its inner mathematical relations. In particular, we focus on the orthodox interpretation of the congruence relation, '=', which relates equivalent classes of different mathematical representations of a vector in Hilbert space, in terms of metaphysical identity. We will argue that this seemingly "common sense" interpretation, at the semantic level, has severe difficulties when considering the syntactic level of the theory.


title: Mobile Edge Computing via a UAV-Mounted Cloudlet: Optimization of Bit Allocation and Path Planning

abstract: Unmanned Aerial Vehicles (UAVs) have been recently considered as means to provide enhanced coverage or relaying services to mobile users (MUs) in wireless systems with limited or no infrastructure. In this paper, a UAV-based mobile cloud computing system is studied in which a moving UAV is endowed with computing capabilities to offer computation offloading opportunities to MUs with limited local processing capabilities. The system aims at minimizing the total mobile energy consumption while satisfying quality of service requirements of the offloaded mobile application. Offloading is enabled by uplink and downlink communications between the mobile devices and the UAV that take place by means of frequency division duplex (FDD) via orthogonal or non-orthogonal multiple access (NOMA) schemes. The problem of jointly optimizing the bit allocation for uplink and downlink communication as well as for computing at the UAV, along with the cloudlet's trajectory under latency and UAV's energy budget constraints is formulated and addressed by leveraging successive convex approximation (SCA) strategies. Numerical results demonstrate the significant energy savings that can be accrued by means of the proposed joint optimization of bit allocation and cloudlet's trajectory as compared to local mobile execution as well as to partial optimization approaches that design only the bit allocation or the cloudlet's trajectory.


title: Hybrid Euler-Hadamard product for quadratic Dirichlet $L$-functions in function fields

abstract: We develop a hybrid Euler-Hadamard product model for quadratic Dirichlet $L$--functions over function fields (following the model introduced by Gonek, Hughes and Keating for the Riemann-zeta function). After computing the first three twisted moments in this family of $L$--functions, we provide further evidence for the conjectural asymptotic formulas for the moments of the family.


title: Concept of a Staged FEL Enabled by Fast Synchrotron Radiation Cooling of Laser-Plasma Accelerated Beam by Solenoidal Magnetic Fields in Plasma Bubble

abstract: A novel method for generating GigaGauss solenoidal field in laser-plasma bubble, using screw-shaped laser pulses, has been recently presented in arXiv:1604.01259 [physics.plasm-ph]. Such magnetic fields enable fast synchrotron radiation cooling of the beam emittance of laser-plasma accelerated leptons. This recent finding opens a novel approach for design of laser-plasma FELs or colliders, where the acceleration stages are interleaved with laser-plasma emittance cooling stages. In this concept paper we present an outline of how a staged plasma-acceleration FEL could look like and discuss further studies needed to investigate the feasibility of the concept in detail.


title: Taming Context-Sensitive Languages with Principled Stateful Parsing

abstract: Historically, true context-sensitive parsing has seldom been applied to programming languages, due to its inherent complexity. However, many mainstream programming and markup languages (C, Haskell, Python, XML, and more) possess context-sensitive features. These features are traditionally handled with ad-hoc code (e.g., custom lexers), outside of the scope of parsing theory. Current grammar formalisms struggle to express context-sensitive features. Most solutions lack context transparency: they make grammars hard to write, maintain and compose by hardwiring context through the entire grammar. Instead, we approach context-sensitive parsing through the idea that parsers may recall previously matched input (or data derived therefrom) in order to make parsing decisions. We make use of mutable parse state to enable this form of recall. We introduce principled stateful parsing as a new transactional discipline that makes state changes transparent to parsing mechanisms such as backtracking and memoization. To enforce this discipline, users specify parsers using formally specified primitive state manipulation operations. Our solution is available as a parsing library named Autumn. We illustrate our solution by implementing some practical context-sensitive grammar features such as significant whitespace handling and namespace classification.


title: Finiteness of Associated Primes of Local Cohomology Modules Over Stanley-Reisner Rings

abstract: Local cohomology modules, even over a Noetherian ring $R$, are typically unwieldly. As such, it is of interest whether or not they have finitely many associated primes. We prove the affirmative in the case where $R$ is a Stanley-Reisner ring over a field, whose associated simplicial complex is a $T$-space.


title: Solving the Wastewater Treatment Plant Problem with SMT

abstract: In this paper we introduce the Wastewater Treatment Plant Problem, a real-world scheduling problem, and compare the performance of several tools on it. We show that, for a naive modeling, state-of-the-art SMT solvers outperform other tools ranging from mathematical programming to constraint programming. We use both real and randomly generated benchmarks. From this and similar results, we claim for the convenience of developing compiler front-ends being able to translate from constraint programming languages to the SMT-LIB standard language.


title: Factorial Decay of Iterated Rough Integrals

abstract: In this complementary note to [1] (arXiv:1501.05641), we provide an alternative proof for the factorial decay estimate of iterated integrals for geometric rough paths without using the neoclassical inequality. This note intends to aid the readers on the proof in [1] which works also for branched rough paths. Just as in [1], the proof here is an extension of Lyons 94' [4] from Young's integration to geometric rough paths.


title: Vector dark matter annihilation with internal bremsstrahlung

abstract: We consider scenarios in which the annihilation of self-conjugate spin-1 dark matter to a Standard Model fermion-antifermion final state is chirality suppressed, but where this suppression can be lifted by the emission of an additional photon via internal bremsstrahlung. We find that this scenario can only arise if the initial dark matter state is polarized, which can occur in the context of self-interacting dark matter. In particular, this is possible if the dark matter pair forms a bound state that decays to its ground state before the constituents annihilate. We show that the shape of the resulting photon spectrum is the same as for self-conjugate spin-0 and spin-1/2 dark matter, but the normalization is less heavily suppressed in the limit of heavy mediators.


title: The Maximin Support Method: An Extension of the D'Hondt Method to Approval-Based Multiwinner Elections

abstract: We propose the maximin support method, a novel extension of the D'Hondt apportionment method to approval-based multiwinner elections. The maximin support method is based on maximizing the support of the least supported elected candidate. It can be computed efficiently and satisfies (adjusted versions of) the main properties of the original D'Hondt method: house monotonicity, population monotonicity, and proportional representation. We also establish a close relationship between the maximin support method and Phragm\'{e}n's voting rules.


title: Three-dimensional Modeling of Vacuum Field Emission Nanotriodes

abstract: Vacuum nanodevices are devices that the electron transport through them is based on electron field emission from a nano-eimtter to another opposite electrode through a vacuum channel. Geometrically asymmetric metal-vacuum-metal structures were demonstrated to have energy conversion ability for elec- tromagnetic waves in the optical range. Combining the ability of these structures to convert optical signals into recti ed current and the ability of vacuum nanotriodes to control the eld emission current can allow direct processing on converted optical signals using a single device. In this paper, a three-dimensional quantum-mechanical method, rather than the approximate Fowler-Nordheim theory, is used for modeling the eld emission process in vertical-type vacuum nanotriodes consisting of an emitter, a collector and a gate. The electron transport through the device is computed using a transfer-matrix technique. The potentials of vacuum nanotriodes in the current recti cation and modulation are investigated at low volt- ages. The e ects of varying the structure geometrical parameters on the recti ed current are also studied. The obtained results show that a great enhancement in the recti cation properties is achievable when the gate and the collector are connected through a DC source. It is also demonstrated that a small variation in the gate voltage can be used either to modulate the recti ed current or to switch the device into a resonant tunneling diode.26


title: Permutation and Grouping Methods for Sharpening Gaussian Process Approximations

abstract: Vecchia's approximate likelihood for Gaussian process parameters depends on how the observations are ordered, which can be viewed as a deficiency because the exact likelihood is permutation-invariant. This article takes the alternative standpoint that the ordering of the observations can be tuned to sharpen the approximations. Advantageously chosen orderings can drastically improve the approximations, and in fact, completely random orderings often produce far more accurate approximations than default coordinate-based orderings do. In addition to the permutation results, automatic methods for grouping calculations of components of the approximation are introduced, having the result of simultaneously improving the quality of the approximation and reducing its computational burden. In common settings, reordering combined with grouping reduces Kullback-Leibler divergence from the target model by a factor of 80 and computation time by a factor of 2 compared to ungrouped approximations with default ordering. The claims are supported by theory and numerical results with comparisons to other approximations, including tapered covariances and stochastic partial differential equation approximations. Computational details are provided, including efficiently finding the orderings and ordered nearest neighbors, and profiling out linear mean parameters and using the approximations for prediction and conditional simulation. An application to space-time satellite data is presented.


title: Blow-up analysis and existence results in the supercritical case for an asymmetric mean field equation with variable intensities

abstract: A class of equations with exponential nonlinearities on a compact Riemannian surface is considered. More precisely, we study an asymmetric sinh-Gordon problem arising as a mean field equation of the equilibrium turbulence of vortices with variable intensities. We start by performing a blow-up analysis in order to derive some information on the local blow-up masses. As a consequence we get a compactness property in a supercritical range. We next introduce a variational argument based on improved Moser-Trudinger inequalities which yields existence of solutions for any choice of the underlying surface.


title: Online Learning of Combinatorial Objects via Extended Formulation

abstract: The standard techniques for online learning of combinatorial objects perform multiplicative updates followed by projections into the convex hull of all the objects. However, this methodology can be expensive if the convex hull contains many facets. For example, the convex hull of $n$-symbol Huffman trees is known to have exponentially many facets (Maurras et al., 2010). We get around this difficulty by exploiting extended formulations (Kaibel, 2011), which encode the polytope of combinatorial objects in a higher dimensional "extended" space with only polynomially many facets. We develop a general framework for converting extended formulations into efficient online algorithms with good relative loss bounds. We present applications of our framework to online learning of Huffman trees and permutations. The regret bounds of the resulting algorithms are within a factor of $O(\sqrt{\log(n)})$ of the state-of-the-art specialized algorithms for permutations, and depending on the loss regimes, improve on or match the state-of-the-art for Huffman trees. Our method is general and can be applied to other combinatorial objects.


title: SHIELD: Comparing Gas and Star Formation in Low Mass Galaxies

abstract: We analyze the relationships between atomic, neutral hydrogen (HI) and star formation (SF) in the 12 low-mass SHIELD galaxies. We compare high spectral (~0.82 km/s/channel) and spatial resolution (physical resolutions of 170 pc - 700 pc) HI imaging from the VLA with H\alpha and far-ultraviolet imaging. We quantify the degree of co-spatiality between star forming regions and regions of high HI column densities. We calculate the global star formation efficiencies (SFE, $\Sigma_{\rm SFR}$ / $\Sigma_{\rm HI}$), and examine the relationships among the SFE and HI mass, HI column density, and star formation rate (SFR). The systems are consuming their cold neutral gas on timescales of order a few Gyr. While we derive an index for the Kennicutt-Schmidt relation of N ~ 0.68 $\pm$ 0.04 for the SHIELD sample as a whole, the values of N vary considerably from system to system. By supplementing SHIELD results with those from other surveys, we find that HI mass and UV-based SFR are strongly correlated over five orders of magnitude. Identification of patterns within the SHIELD sample allows us to bin the galaxies into three general categories: 1) mainly co-spatial HI and SF regions, found in systems with highest peak HI column densities and highest total HI masses, 2) moderately correlated HI and SF regions, found in systems with moderate HI column densities, and 3) obvious offsets between HI and SF peaks, found in systems with the lowest total HI masses. SF in these galaxies is dominated by stochasticity and random fluctuations in their ISM.


title: SHIELD: Neutral Gas Kinematics and Dynamics

abstract: We present kinematic analyses of the 12 galaxies in the "Survey of HI in Extremely Low-mass Dwarfs" (SHIELD). We use multi-configuration interferometric observations of the HI 21cm emission line from the Karl G. Jansky Very Large Array (VLA) to produce image cubes at a variety of spatial and spectral resolutions. Both two- and three-dimensional fitting techniques are employed in an attempt to derive inclination-corrected rotation curves for each galaxy. In most cases, the comparable magnitudes of velocity dispersion and projected rotation result in degeneracies that prohibit unambiguous circular velocity solutions. We thus make spatially resolved position-velocity cuts, corrected for inclination using the stellar components, to estimate the circular rotation velocities. We find circular velocities <30 km/s for the entire survey population. Baryonic masses are calculated using single-dish HI fluxes from Arecibo and stellar masses derived from HST and Spitzer imaging. Comparison is made with total dynamical masses estimated from the position-velocity analysis. The SHIELD galaxies are then placed on the baryonic Tully-Fisher relation. There exists an empirical threshold rotational velocity <15 km/s, below which current observations cannot differentiate coherent rotation from pressure support. The SHIELD galaxies are representative of an important population of galaxies whose properties cannot be described by current models of rotationally-dominated galaxy dynamics.


title: Identifying galaxy candidates in WSRT HI imaging of ultra-compact high velocity clouds

abstract: Ultra-compact high velocity clouds (UCHVCs) were identified in the ALFALFA HI survey as potential gas-bearing dark matter halos. Here we present higher resolution neutral hydrogen (HI) observations of twelve UCHVCS with the Westerbork Synthesis Radio Telescope (WSRT). The UCHVCs were selected based on a combination of size, isolation, large recessional velocity and high column density as the best candidate dark matter halos. The WSRT data were tapered to image the UCHVCs at 210" (comparable to Arecibo) and 105" angular resolution. In a comparison of the single-dish to interferometer data, we find that the line flux recovered in the WSRT observations is comparable to that from the single-dish ALFALFA data. In addition, any structure seen in the ALFALFA data is reproduced in the WSRT maps at the same angular resolution. At 210'" resolution all the sources are generally compact with a smooth HI morphology, as expected from their identification as UCHVCs. At the higher angular resolution, a majority of the sources break into small clumps contained in a diffuse envelope. These UCHVCs also have no ordered velocity motion and are most likely Galactic halo clouds. We identify two UCHVCs, AGC 198606 and AGC 249525, as excellent galaxy candidates based on maintaining a smooth HI morphology at higher angular resolution and showing ordered velocity motion consistent with rotation. A third source, AGC 249565, lies between these two populations in properties and is a possible galaxy candidate. If interpreted as gas-bearing dark matter halos, the three candidate galaxies have rotation velocities of 8-15 km/s, HI masses of 0.6-50 x 10^5 Msun, HI radii of 0.3-2 kpc, and dynamical masses of 2-20 x 10^7 Msun for a range of plausible distances. These are the UCHVCs with the highest column density values in the ALFALFA HI data and we suggest this is the best way to identify further candidates.


title: Identifying Influential Links for Event Propagation on Twitter: A Network of Networks Approach

abstract: Patterns of event propagation in online social networks provide novel insights on the modeling and analysis of information dissemination over networks and physical systems. This paper studies the importance of follower links for event propagation on Twitter. Three recent event propagation traces are collected with the Twitter user language field being used to identify the Network of Networks (NoN) structure embedded in the Twitter follower networks. We first formulate event propagation on Twitter as an iterative state equation, and then propose an effective score function on follower links accounting for the containment of event propagation via link removals. Furthermore, we find that utilizing the NoN model can successfully identify influential follower links such that their removals lead to a remarkable reduction in event propagation on Twitter follower networks. Experimental results find that the between-network follower links, though only account for a small portion of the total follower links, are crucial to event propagation on Twitter.


title: A Correction Function Method for the Wave Equation with Interface Jump Conditions

abstract: In this paper a novel method to solve the constant coefficient wave equation, subject to interface jump conditions, is presented. In general, such problems pose issues for standard finite difference solvers, as the inherent discontinuity in the solution results in erroneous derivative information wherever the stencils straddle the given interface. Here, however, the recently proposed Correction Function Method (CFM) is used, in which correction terms are computed from the interface conditions, and added to affected nodes to compensate for the discontinuity. In contrast to existing methods, these corrections are not simply defined at affected nodes, but rather generalized to a continuous function within a small region surrounding the interface. As a result, the correction function may be defined in terms of its own governing partial differential equation (PDE) which may be solved, in principle, to arbitrary order of accuracy. The resulting scheme is not only arbitrarily high order, but also robust, having already seen application to Poisson problems and the heat equation. By extending the CFM to this new class of PDEs, the treatment of wave interface discontinuities in homogeneous media becomes possible. This allows, for example, for the straightforward treatment of infinitesimal source terms and sharp boundaries, free of staircasing errors. Additionally, new modifications to the CFM are derived, allowing compatibility with explicit multi-step methods, such as Runge-Kutta (RK4), without a reduction in accuracy. These results are then verified through numerous numerical experiments in one and two spatial dimensions.


title: Fe-As bond fluctuations in a double-well potential in LaFeAsO

abstract: While for a long time iron based superconductors have been investigated looking at the average crystalline structure there is now growing interest on the divergence of local from the average structure. Here we use advanced data analysis of EXAFS, a fast and local probe, which has key advantages compared to crystallographic measurements, in unveiling the dynamics of the local structure. The results show that the Fe-As pair oscillates in the double-well potential both in undoped and in cobalt doped LaFeAsO crystals. The parameters and the characteristics of the double-well potential are determined by curve fits of the polarized EXAFS data. Temperature dependent Fe-As pair distribution and tunneling frequency are derived from selected model of two potential wells. We observe the softening of the Fe-As oscillations at the tetragonal to orthorhombic structural phase transition at 150 K in LaFeAsO. A weak broad softening is observed while decreasing the temperature from 70 to 40 K in superconducting LaFe0.89Co0.11AsO which could be correlated with the onset of short range charge density wave order.


title: Hydrodynamics of vortices in Bose-Einstein condensates: A defect-gauge field approach

abstract: This work rectifies the hydrodynamic equations commonly used to describe the superfluid velocity field in such a way that vortex dynamics are also taken into account. In the field of quantum turbulence, it is of fundamental importance to know the correct form of the equations which play similar roles to the Navier-Stokes equation in classical turbulence. Here, such equations are obtained by carefully taking into account the frequently overlooked multivalued nature of the $U(1)$ phase field. Such an approach provides exact analytical explanations to some numerically observed features involving the dynamics of quantum vortices in Bose-Einstein condensates, such as the universal $t^{1/2}$ behavior of reconnecting vortex lines. It also expands these results beyond the Gross-Pitaevskii theory so that some features can be generalized to other systems such as superfluid $^{4}$He, dipolar condensates, and mixtures of different superfluid systems.


title: The Algebra of Open and Interconnected Systems

abstract: Herein we develop category-theoretic tools for understanding network-style diagrammatic languages. The archetypal network-style diagrammatic language is that of electric circuits; other examples include signal flow graphs, Markov processes, automata, Petri nets, chemical reaction networks, and so on. The key feature is that the language is comprised of a number of components with multiple (input/output) terminals, each possibly labelled with some type, that may then be connected together along these terminals to form a larger network. The components form hyperedges between labelled vertices, and so a diagram in this language forms a hypergraph. We formalise the compositional structure by introducing the notion of a hypergraph category. Network-style diagrammatic languages and their semantics thus form hypergraph categories, and semantic interpretation gives a hypergraph functor. The first part of this thesis develops the theory of hypergraph categories. In particular, we introduce the tools of decorated cospans and corelations. Decorated cospans allow straightforward construction of hypergraph categories from diagrammatic languages: the inputs, outputs, and their composition are modelled by the cospans, while the 'decorations' specify the components themselves. Not all hypergraph categories can be constructed, however, through decorated cospans. Decorated corelations are a more powerful version that permits construction of all hypergraph categories and hypergraph functors. These are often useful for constructing the semantic categories of diagrammatic languages and functors from diagrams to the semantics. To illustrate these principles, the second part of this thesis details applications to linear time-invariant dynamical systems and passive linear networks.


title: Measurement of inclusive jet cross sections in pp and PbPb collisions at sqrt(s[NN]) = 2.76 TeV

abstract: Inclusive jet spectra from pp and PbPb collisions at a nucleon-nucleon center-of-mass energy of 2.76 TeV, collected with the CMS detector at the LHC, are presented. Jets are reconstructed with three different distance parameters (R = 0.2, 0.3, and 0.4) for transverse momentum (pT) greater than 70 GeV and pseudorapidity abs(eta) < 2. Next-to-leading-order quantum chromodynamic calculations with non-perturbative corrections are found to over-predict jet production cross sections in pp for small distance parameters. The jet nuclear modification factors for PbPb compared to pp collisions, show a steady decrease from peripheral to central events, along with a weak dependence on the jet pT. They are found to be independent of the distance parameter in the measured kinematic range.


title: Spatiotemporal Stochastic Modeling of IoT Enabled Cellular Networks: Scalability and Stability Analysis

abstract: The Internet of Things (IoT) is large-scale by nature, which is manifested by the massive number of connected devices as well as their vast spatial existence. Cellular networks, which provide ubiquitous, reliable, and efficient wireless access, are natural candidates to provide the first-mile access for the data tsunami to be generated by the IoT. However, cellular networks may have scalability problems to provide uplink connectivity to massive numbers of connected things. To characterize the scalability of cellular uplink in the context of IoT networks, this paper develops a traffic-aware spatiotemporal mathematical model for IoT devices supported by cellular uplink connectivity. The developed model is based on stochastic geometry and queueing theory to account for the traffic requirement per IoT device, the different transmission strategies, and the mutual interference between the IoT devices. To this end, the developed model is utilized to characterize the extent to which cellular networks can accommodate IoT traffic as well as to assess and compare three different transmission strategies that incorporate a combination of transmission persistency, backoff, and power-ramping. The analysis and the results clearly illustrate the scalability problem imposed by IoT on cellular network and offer insights into effective scenarios for each transmission strategy.