title: A Framework for Computing on Large Dynamic Graphs

abstract: This proposal presents a graph computing framework intending to support both online and offline computing on large dynamic graphs efficiently. The framework proposes a new data model to support rich evolving vertex and edge data types. It employs a replica-coherence protocol to improve data locality thus can adapt to data access patterns of different algorithms. A new computing model called protocol dataflow is proposed to implement and integrate various programming models for both online and offline computing on large dynamic graphs. A central topic of the proposal is also the analysis of large real dynamic graphs using our proposed framework. Our goal is to calculate the temporal patterns and properties which emerge when the large graphs keep evolving. Thus we can evaluate the capability of the proposed framework. Key words: Large dynamic graph, programming model, distributed computing.


title: (Almost) C*-algebras as sheaves with self-action

abstract: Via Gelfand duality, a unital C*-algebra $A$ induces a functor from compact Hausdorff spaces to sets, $\mathsf{CHaus}\to\mathsf{Set}$. We show how this functor encodes standard functional calculus in $A$ as well as its multivariate generalization. Certain sheaf conditions satisfied by this functor provide a further generalization of functional calculus. Considering such sheaves $\mathsf{CHaus}\to\mathsf{Set}$ abstractly, we prove that the piecewise C*-algebras of van den Berg and Heunen are equivalent to a full subcategory of the category of sheaves, where a simple additional constraint characterizes the objects in the subcategory. It is open whether this additional constraint holds automatically, in which case piecewise C*-algebras would be the same as sheaves $\mathsf{CHaus}\to\mathsf{Set}$. Intuitively, these structures capture the commutative aspects of C*-algebra theory. In order to find a complete reaxiomatization of unital C*-algebras within this language, we introduce almost C*-algebras as piecewise C*-algebras equipped with a notion of inner automorphisms in terms of a self-action. We provide some evidence for the conjecture that the forgetful functor from unital C*-algebras to almost C*-algebras is fully faithful, and ask whether it is an equivalence of categories. We also develop an analogous notion of almost group, and prove that the forgetful functor from groups to almost groups is not full. In terms of quantum physics, our work can be seen as an attempt at a reconstruction of quantum theory from physically meaningful axioms, as realized by Hardy and others in a different framework. Our ideas are inspired by and also provide new input for the topos-theoretic approach to quantum theory.


title: A quantum parametric oscillator with trapped ions

abstract: A system of harmonic oscillators coupled via nonlinear interaction is a fundamental model in many branches of physics, from biophysics to electronics and condensed matter physics. In quantum optics, weak nonlinear interaction between light modes has enabled, for example, the preparation of squeezed states of light and generation of entangled photon pairs. While strong nonlinear interaction between the modes has been realized in circuit QED systems, achieving significant interaction strength on the level of single quanta in other physical systems remains a challenge. Here we experimentally demonstrate such interaction that is equivalent to photon up- and down-conversion using normal modes of motion in a system of two Yb ions. The nonlinearity is induced by the intrinsic anharmonicity of the Coulomb interaction between the ions and can be used to simulate fully quantum operation of a degenerate optical parametric oscillator. We exploit this interaction to directly measure the parity and Wigner functions of ion motional states. The nonlinear coupling, combined with near perfect control of internal and motional states of trapped ions, can be applied to quantum computing, quantum thermodynamics, and even shed some light on the quantum information aspects of Hawking radiation.


title: The fractional Laplacian in power-weighted $L^p$ spaces: integration-by-parts formulas and self-adjointness

abstract: We consider the fractional Laplacian operator $(-\Delta)^s$ (let $ s \in (0,1) $) on Euclidean space and investigate the validity of the classical integration-by-parts formula that connects the $ L^2(\mathbb{R}^d) $ scalar product between a function and its fractional Laplacian to the nonlocal norm of the fractional Sobolev space $ \dot{H}^s(\mathbb{R}^d) $. More precisely, we focus on functions belonging to some weighted $ L^2 $ space whose fractional Laplacian belongs to another weighted $ L^2 $ space: we prove and disprove the validity of the integration-by-parts formula depending on the behaviour of the weight $ \rho(x) $ at infinity. The latter is assumed to be like a power both near the origin and at infinity (the two powers being possibly different). Our results have direct consequences for the self-adjointness of the linear operator formally given by $ \rho^{-1}(-\Delta)^s $. The generality of the techniques developed allows us to deal with weighted $ L^p $ spaces as well.


title: Comment on Dynamics distortions and polaronic effects in the paramagnetic state of La$_{0.8}$Ba$_{0.2}$Mn$_{1-x}$Al$_x$O$_3$

abstract: Recently, the authors of ref.[1], reported dynamics distortion and polaronic effects in the paramagnetic state of $La_{0.8}Ba_{0.2}Mn_{1-x}Al_xO_3$ manganites. In this comment we want to complete the phase diagram(Fig3[1]) and point out of occurring spin-glass state in this manganite which is not intended for x=0.15 doping.


title: Restricted Product Sets under Unique Representability

abstract: We prove some results of Kemperman--Scherk type for restricted product sets in multiplicative groups of fields (in particular, for cyclic groups). The proofs use polynomial method.


title: Detecting the Berry curvature in photonic graphene

abstract: We describe a method for measuring the Berry curvature from the wave-packet dynamics in perturbed arrays of evanescently coupled optical waveguides with honeycomb lattice structure. To disentangle the effects of the Berry curvature and the energy dispersion we utilize a difference measurement by propagating the wave packet under the influence of a constant external force back and forth. In this way a non-vanishing Berry curvature is obtained for photonic graphene with small sublattice bias or strain, where the relative error between the exact Berry curvature and the one derived from the semiclassical dynamics is negligible. For the strained lattice we demonstrate the robustness of the Berry curvature texture over the Brillouin zone compared to the energy dispersion. We also comment on the experimental realization of the proposed Berry curvature mapping in photonics.


title: Phosphorene and Doped Monolayers Interfaced TiO$_2$ with Type-II Band Alignments: Novel Excitonic Solar Cells

abstract: Phosphorene, a new elemental two dimensional (2D) material recently isolated by mechanical exfoliation, holds the feature of a direct band gap of around 2.0 eV, overcoming graphene's weaknesses (zero band gap) to realize the potential application in optoelectronic devices. Constructing van der Waals heterostructures is an efficient approach to modulate the band structure, to advance the charge separation efficiency, and thus to optimize the optoelectronic properties. Here, we theoretically investigated three type-II heterostructures based on perfect phosphorene and its doped monolayers interfaced with TiO$_2$(110) surface. Doping in phosphorene has a tunability on built-in potential, charge transfer, light absorbance, as well as electron dynamics, which helps to optimize the light absorption efficiency. Three excitonic solar cells (XSCs) based on the phosphorene$-$TiO$_2$ heterojunctions have been proposed, which exhibit high power conversion efficiencies dozens of times higher than conventional solar cells, comparable to MoS$_2$/WS$_2$ XSC. The nonadiabatic molecular dynamics within the time-dependent density functional theory framework shows ultrafast electron transfer time of 6.1$-$10.8 fs, and slow electron$-$hole recombination of 0.58$-$1.08 ps, yielding $>98\%$ quantum efficiency for charge separation, further guaranteeing the practical power conversion efficiencies in XSC.


title: Forecasting crude oil market volatility: can the Regime Switching GARCH model beat the single-regime GARCH models?

abstract: In order to obtain a reasonable and reliable forecast method for crude oil price volatility, this paper evaluates the forecast performance of single-regime GARCH models (including the standard linear GARCH model and the nonlinear GJR-GARCH and EGARCH models) and the two-regime Markov Regime Switching GARCH (MRS-GARCH) model for crude oil price volatility at different data frequencies and time horizons. The results indicate that, first, the two-regime MRS-GARCH model beats other three single-regime GARCH type models in in-sample data estimation under most evaluation criteria, although it appears inferior under a few of other evaluation criteria. Second, the two-regime MRS-GARCH model overall provides more accurate volatility forecast for daily data but this superiority dies way for weekly and monthly data. Third, among the three single-regime GARCH type models, the volatility forecast of the nonlinear GARCH models exhibit greater accuracy than the linear GARCH model for daily data at longer time horizons. Finally, the linear single-regime GARCH model overall performs better than other three nonlinear GARCH type models in Value-at-Risk (VaR) forecast.


title: Strong-Field Resonant Dynamics in Semiconductors

abstract: We predict that a direct bandgap semiconductor (GaAs) resonantly excited by a strong ultrashort laser pulse exhibits a novel regime: kicked anharmonic Rabi oscillations (KARO). In this regime, Rabi oscillations are strongly coupled to intraband motion, and interband transitions mainly take place during short times when electrons pass near the Brillouin zone center where electron populations undergo very rapid changes. Asymmetry of the residual population distribution induces an electric current controlled by the carrier-envelope phase. The predicted effects are experimentally observable using photoemission and terahertz spectroscopies.


title: Spin polarisation with electron Bessel beams

abstract: The theoretical possibility to use an electron microscope as a spin polarizer is studied. It turns out that a Bessel beam passing a standard magnetic objective lens is intrinsically spin polarized. In the limit of infinitely small detectors on axis, the spin polarisation tends to 100 % . Increasing the detector size, the polarisation decreases rapidly, dropping below 10^-4 for standard settings of medium voltage microscopes. For extremely low voltages, the figure of merit increases by two orders of magnitude, approaching that of existing Mott detectors. Our findings may lead to new desings of spin filters, an attractive option in view of its inherent combination with the electron microscope, especially at low voltage.


title: Fluctuating neutron star magnetosphere: braking indices of eight pulsars, frequency second derivatives of 222 pulsars and 15 magnetars

abstract: Eight pulsars have low braking indices, which challenge the magnetic dipole braking of pulsars. 222 pulsars and 15 magnetars have abnormal distribution of frequency second derivatives, which also make contradiction with classical understanding. How neutron star magnetospheric activities affect these two phenomena are investigated by using the wind braking model of pulsars. It is based on the observational evidence that pulsar timing is correlated with emission and both aspects reflect the magnetospheric activities. Fluctuations are unavoidable for a physical neutron star magnetosphere. Young pulsars have meaningful braking indices, while old pulsars' and magnetars' fluctuation item dominates their frequency second derivatives. It can explain both the braking index and frequency second derivative of pulsars uniformly. The braking indices of eight pulsars are the combined effect of magnetic dipole radiation and particle wind. During the life time of a pulsar, its braking index will evolve from three to one. Pulsars with low braking index may put strong constraint on the particle acceleration process in the neutron star magnetosphere. The effect of pulsar death should be considered during the long term rotational evolution of pulsars. An equation like the Langevin equation for Brownian motion was derived for pulsar spin-down. The fluctuation in the neutron star magnetosphere can be either periodic or random, which result in anomalous frequency second derivative and they have similar results. The magnetospheric activities of magnetars are always stronger than those of normal pulsars.


title: A Shapley Value Solution to Game Theoretic-based Feature Reduction in False Alarm Detection

abstract: False alarm is one of the main concerns in intensive care units and can result in care disruption, sleep deprivation, and insensitivity of care-givers to alarms. Several methods have been proposed to suppress the false alarm rate through improving the quality of physiological signals by filtering, and developing more accurate sensors. However, significant intrinsic correlation among the extracted features limits the performance of most currently available data mining techniques, as they often discard the predictors with low individual impact that may potentially have strong discriminatory power when grouped with others. We propose a model based on coalition game theory that considers the inter-features dependencies in determining the salient predictors in respect to false alarm, which results in improved classification accuracy. The superior performance of this method compared to current methods is shown in simulation results using PhysionNet's MIMIC II database.


title: Red Spider Meets a Rainworm: Conjunctive Query Finite Determinacy Is Undecidable

abstract: We solve a well known and long-standing open problem in database theory, proving that Conjunctive Query Finite Determinacy Problem is undecidable. The technique we use builds on the top of our Red Spider method which we developed in our paper [GM15] to show undecidability of the same problem in the "unrestricted case" -- when database instances are allowed to be infinite. We also show a specific instance $Q_0$, ${\cal Q}= \{Q_1, Q_2, \ldots Q_k\}$ such that the set $\cal Q$ of CQs does not determine CQ $Q_0$ but finitely determines it. Finally, we claim that while $Q_0$ is finitely determined by $\cal Q$, there is no FO-rewriting of $Q_0$, with respect to $\cal Q$, and we outline a proof of this claim


title: General equation for directed Electromagnetic Pulse Propagation in 1D metamaterial: Projecting Operators Method

abstract: We consider a boundary problem for 1D electrodynamics modeling of a pulse propagation in a metamaterial medium. We build and apply projecting operators to a Maxwell system in time domain that allows to split the linear propagation problem to directed waves for a material relations with general dispersion. Matrix elements of the projectors act as convolution integral operators. For a weak nonlinearity we generalize the linear results still for arbitrary dispersion and derive the system of interacting right/left waves with combined (hybrid) amplitudes. The result is specified for the popular metamaterial model with Drude formula for both permittivity and permeability coefficients. We also discuss and investigate stationary solutions of the system related to some boundary regimes.


title: Sparse Detection of Non-Sparse Signals for Large-Scale Wireless Systems

abstract: In this paper, we introduce a new detection algorithm for large-scale wireless systems, referred to as post sparse error detection (PSED) algorithm, that employs a sparse error recovery algorithm to refine the estimate of a symbol vector obtained by the conventional linear detector. The PSED algorithm operates in two steps: 1) sparse transformation converting the original non-sparse system into the sparse system whose input is an error vector caused by the symbol slicing and 2) estimation of the error vector using the sparse recovery algorithm. From the asymptotic mean square error (MSE) analysis and empirical simulations performed on large-scale systems, we show that the PSED algorithm brings significant performance gain over classical linear detectors while imposing relatively small computational overhead.


title: Eigenfunction expansions of ultradifferentiable functions and ultradistributions in $\mathbb R^n$

abstract: We obtain a characterization of ${\mathcal S}^{\{M_p\}}_{\{M_p\}}(\mathbb R^n)$ and $\mathcal {S}^{(M_p)}_{(M_p)}(\mathbb {R}^n)$, the general Gelfand-Shilov spaces of ultradifferentiable functions of Roumieu and Beurling type, in terms of decay estimates for the Fourier coefficients of their elements with respect to eigenfunction expansions associated to normal globally elliptic differential operators of Shubin type. Moreover, we show that the eigenfunctions of such operators are absolute Schauder bases for these spaces of ultradifferentiable functions. Our characterization extends earlier results by Gramchev et al. (Proc. Amer. Math. Soc. 139 (2011), 4361-4368) for Gevrey weight sequences. It also generalizes to $\mathbb{R}^{n}$ recent results by Dasgupta and Ruzhansky which were obtained in the setting of compact manifolds.


title: Unexpectedly Large Tunability of Lattice Thermal Conductivity of Monolayer Silicene via Mechanical Strain

abstract: Strain engineering is one of the most promising and effective routes toward continuously tuning the electronic and optic properties of materials, while thermal properties are generally believed to be insensitive to mechanical strain. In this paper, the strain-dependent thermal conductivity of monolayer silicene under uniform bi-axial tension is computed by solving the phonon Boltzmann transport equation with force constants extracted from first-principles calculations. Unlike the commonly believed understanding that thermal conductivity only slightly decreases with increased tensile strain for bulk materials, it is found that the thermal conductivity of silicene first increases dramatically with strain and then slightly decreases when the applied strain increases further. At a tensile strain of 4%, the highest thermal conductivity is found to be about 7.5 times that of unstrained one. Such an unusual strain dependence is mainly attributed to the dramatic enhancement in the acoustic phonon lifetime. Such enhancement plausibly originates from the flattening of the buckling of the silicene structure upon stretching, which is unique for silicene as compared with other common two-dimensional materials. Our findings offer perspectives of modulating the thermal properties of low-dimensional structures for applications such as thermoelectrics, thermal circuits, and nanoelectronics.


title: Numerical solution for fractional variational problems using the Jacobi polynomials

abstract: We exhibit a numerical method to solve fractional variational problems, applying a decomposition formula based on Jacobi polynomials. Formulas for the fractional derivative and fractional integral of the Jacobi polynomials are proven. By some examples, we show the convergence of such procedure, comparing the exact solution with numerical approximations.


title: Mesoscopic virial equation for nonequilibrium statistical mechanics

abstract: We derive a class of mesoscopic virial equations governing energy partition between conjugate position and momentum variables of individual degrees of freedom. They are shown to apply to a wide range of nonequilibrium steady states with stochastic (Langevin) and deterministic (Nos\'e--Hoover) dynamics, and to extend to collective modes for models of heat-conducting lattices. A generalised macroscopic virial theorem ensues upon summation over all degrees of freedom. This theorem allows for the derivation of nonequilibrium state equations that involve dissipative heat flows on the same footing with state variables, as exemplified for inertial Brownian motion with solid friction and overdamped active Brownian particles subject to inhomogeneous pressure.


title: The precision of the arithmetic mean, geometric mean and percentiles for citation data: An experimental simulation modelling approach

abstract: When comparing the citation impact of nations, departments or other groups of researchers within individual fields, three approaches have been proposed: arithmetic means, geometric means, and percentage in the top X%. This article compares the precision of these statistics using 97 trillion experimentally simulated citation counts from 6875 sets of different parameters (although all having the same scale parameter) based upon the discretised lognormal distribution with limits from 1000 repetitions for each parameter set. The results show that the geometric mean is the most precise, closely followed by the percentage of a country's articles in the top 50% most cited articles for a field, year and document type. Thus the geometric mean citation count is recommended for future citation-based comparisons between nations. The percentage of a country's articles in the top 1% most cited is a particularly imprecise indicator and is not recommended for international comparisons based on individual fields. Moreover, whereas standard confidence interval formulae for the geometric mean appear to be accurate, confidence interval formulae are less accurate and consistent for percentile indicators. These recommendations assume that the scale parameters of the samples are the same but the choice of indicator is complex and partly conceptual if they are not.


title: Locating recombination hot spots in genomic sequences through the singular value decomposition

abstract: Locating recombination hotspots in genomic data is an important but difficult task. Current methods frequently rely on estimating complicated models at high computational cost. In this paper we develop an extremely fast, scalable method for inferring recombination hot spots in a population of genomic sequences that is based on the singular value decomposition. Our method performs well in several synthetic data scenarios. We also apply our technique to a real data investigation of the evolution of drug therapy resistance in a population of HIV genomic sequences. Finally, we compare our method both on real and simulated data to a state of the art algorithm.


title: Using Functional Programming for Development of Distributed, Cloud and Web Applications in F#

abstract: In this paper, we argue that modern functional programming languages - in particular, FSharp on the .NET platform - are well suited for the development of distributed, web and cloud applications on the Internet. We emphasize that FSharp can be successfully used in a range of scenarios - starting from simple ASP.NET web applications, and including cloud data processing tasks and data-driven web applications. In particular, we show how some of the FSharp features (eg. quotations) can be effectively used to develop a distributed web system using single code-base, and describe the commercial WebSharper project by Intellifactory for building distributed client-server web applications, as well as research library that uses Windows Azure for parametric sweep computational tasks.


title: Maximum Entropy Binary Encoding for Face Template Protection

abstract: In this paper we present a framework for secure identification using deep neural networks, and apply it to the task of template protection for face authentication. We use deep convolutional neural networks (CNNs) to learn a mapping from face images to maximum entropy binary (MEB) codes. The mapping is robust enough to tackle the problem of exact matching, yielding the same code for new samples of a user as the code assigned during training. These codes are then hashed using any hash function that follows the random oracle model (like SHA-512) to generate protected face templates (similar to text based password protection). The algorithm makes no unrealistic assumptions and offers high template security, cancelability, and state-of-the-art matching performance. The efficacy of the approach is shown on CMU-PIE, Extended Yale B, and Multi-PIE face databases. We achieve high (~95%) genuine accept rates (GAR) at zero false accept rate (FAR) with up to 1024 bits of template security.


title: Bayesian model comparison for one-dimensional azimuthal correlations in 200GeV AuAu collisions

abstract: In the context of data modeling and comparisons between different fit models, Bayesian analysis calls that model best which has the largest evidence, the prior-weighted integral over model parameters of the likelihood function. Evidence calculations automatically take into account both the usual chi-squared measure and an Occam factor which quantifies the price for adding extra parameters. Applying Bayesian analysis to projections onto azimuth of 2D angular correlations from 200 GeV AuAu collisions, we consider typical model choices including Fourier series and a Gaussian plus combinations of individual cosine components. We find that models including a Gaussian component are consistently preferred over pure Fourier-series parametrizations, sometimes strongly so. For 0-5% central collisions the Gaussian-plus-dipole model performs better than Fourier Series models or any other combination of Gaussian-plus-multipoles.


title: Deep Attention Recurrent Q-Network

abstract: A deep learning approach to reinforcement learning led to a general learner able to train on visual input to play a variety of arcade games at the human and superhuman levels. Its creators at the Google DeepMind's team called the approach: Deep Q-Network (DQN). We present an extension of DQN by "soft" and "hard" attention mechanisms. Tests of the proposed Deep Attention Recurrent Q-Network (DARQN) algorithm on multiple Atari 2600 games show level of performance superior to that of DQN. Moreover, built-in attention mechanisms allow a direct online monitoring of the training process by highlighting the regions of the game screen the agent is focusing on when making decisions.


title: Sets of Completely Decomposed Primes in Extensions of Number Fields

abstract: We introduce the notion of saturated sets of primes of an algebraic number field and prove an analogue of Riemann's existence theorem for the decomposition groups of infinite stably saturated sets of primes.


title: Statistical Analysis of the Parameters of Gamma-Ray Bursts with Known Redshifts and Peaked Optical Light Curves

abstract: We present the statistical analysis of the properties of gamma-ray bursts with measured host galaxy redshifts and peaked optical light curves in proper frames of reference. The optical transients are classified by comparing the time lag of the optical peak relative to the GRB trigger with the duration of the gamma-ray emission itself. The results of the correlation analysis of all possible pairs of energy, spectral, and temporal characteristics of both gamma-ray and optical emissions are given. We specify the pairs of the parameters with correlation coefficients greater than 50 % at significance levels better than 1 %. The following empirical relations, obtained for the first time, are specifically discussed: a correlation between the peak optical afterglow $R$ band luminosity and redshift $L_{R} \propto (z+1)^{5.39 \pm 0.74}$ and a correlation between the peak luminosity of the prompt optical emissions and the time of the peak $L_{R} \propto T_{\rm peak}^{-3.85 \pm 1.22}$. We also analyze the similarity of the relationships between the peak optical luminosity and the isotropic equivalent of the total energy of gamma-ray bursts for afterglows ($L_{R} \propto E_{\rm iso}^{1.06 \pm 0.22}$) and for prompt optical emissions ($L_{R} \propto E_{\rm iso}^{1.59 \pm 0.21}$).


title: Twisting Hopf algebras from cocycle deformations

abstract: Let $H$ be a Hopf algebra. Any finite-dimensional lifting of $V\in {}^{H}_{H}\mathcal{YD}$ arising as a cocycle deformation of $A=\mathfrak{B}(V)\#H$ defines a twist in the Hopf algebra $A^*$, via dualization. We follow this recipe to write down explicit examples and show that it extends known techniques for defining twists. We also contribute with a detailed survey about twists in braided categories.


title: A note on the structure of graded Lie algebras

abstract: Consider a finite-dimensional, complex Lie algebra G and a semi-simple automorphism {\alpha}. This note aims to give a short and simple proof for explicit upper bounds for the derived length of the radical R and the rank of a Levi complement G/R in terms of the number of eigenvalues of {\alpha} and the dimension of the space of fixed-points. This is an extension of classical theorems by Kreknin, Shalev and Jacobson.


title: Purely pathwise probability-free Ito integral

abstract: This paper gives several simple constructions of the pathwise Ito integral $\int_0^t\phi d\omega$ for an integrand $\phi$ and a price path $\omega$ as integrator, with $\phi$ and $\omega$ satisfying various topological and analytical conditions. The definitions are purely pathwise in that neither $\phi$ nor $\omega$ are assumed to be paths of stochastic processes, and the Ito integral exists almost surely in a non-probabilistic financial sense. For example, one of the results shows the existence of $\int_0^t\phi d\omega$ for a cadlag integrand $\phi$ and a cadlag integrator $\omega$ with jumps bounded in a predictable manner.


title: A Note on Approximating 2-Transmitters

abstract: A k-transmitter in a simple orthogonal polygon P is a mobile guard that travels back and forth along an orthogonal line segment s inside P. The k-transmitter can see a point p in P if there exists a point q on s such that the line segment pq is normal to s and pq intersects the boundary of P in at most k points. In this paper, we give a 2-approximation algorithm for the problem of guarding a monotone orthogonal polygon with the minimum number of 2-transmitters.


title: Stabilizing the unstable output of persistent homology computations

abstract: We propose a general technique for extracting a larger set of stable information from persistent homology computations than is currently done. The persistent homology algorithm is usually viewed as a procedure which starts with a filtered complex and ends with a persistence diagram. This procedure is stable (at least to certain types of perturbations of the input). This justifies the use of the diagram as a signature of the input, and the use of features derived from it in statistics and machine learning. However, these computations also produce other information of great interest to practitioners that is unfortunately unstable. For example, each point in the diagram corresponds to a simplex whose addition in the filtration results in the birth of the corresponding persistent homology class, but this correspondence is unstable. In addition, the persistence diagram is not stable with respect to other procedures that are employed in practice, such as thresholding a point cloud by density. We recast these problems as real-valued functions which are discontinuous but measurable, and then observe that convolving such a function with a suitable function produces a Lipschitz function. The resulting stable function can be estimated by perturbing the input and averaging the output. We illustrate this approach with a number of examples, including a stable localization of a persistent homology generator from brain imaging data.


title: Emerging Cloud Computing Security Threats

abstract: Cloud computing is one of the latest emerging innovations of the modern internet and technological landscape. With everyone from the White house to major online technological leaders like Amazon and Google using or offering cloud computing services it is truly presents itself as an exciting and innovative method to store and use data on the internet.


title: On Bohr sets of integer valued traceless matrices

abstract: In this paper we show that any Bohr-zero non-periodic set $B$ of traceless integer valued matrices, denoted by $\Lambda$, intersects non-trivially the conjugacy class of any matrix from $\Lambda$. As a corollary, we obtain that the family of characteristic polynomials of $B$ contains all characteristic polynomials of matrices from $\Lambda$. The main ingredient used in this paper is an equidistribution result for an $SL_d(\mathbf{Z})$ random walk on a finite-dimensional torus deduced from Bourgain-Furman-Lindenstrauss-Mozes work.


title: Quaternions in Hamiltonian dynamics of a rigid body -- Part III. Asymmetric Top in the Orbitron

abstract: The Poisson structure in the quaternion variables was proposed for asymmetric top in the external axially symmetric magnetic field. For that model of interaction the motion equation were got. The model was simulated in the neighbourhood of a relative equilibrium of the symmetric top -- Orbitron by Monte Carlo method. For small deviations with respect to the symmetry we observe the persistence of the stability.


title: On passage to over-groups of finite indices of the Farrell-Jones conjecture

abstract: We use the controlled algebra approach to study the problem that whether the Farrell-Jones conjecture is closed under passage to over-groups of finite indices. Our study shows that this problem is closely related to a general problem in algebraic $K$- and $L$-theories. We use induction theory to study this general problem. This requires an extension of the classical induction theorem for $K$- and $L$- theories of finite groups with coefficients in rings to with twisted coefficients in additive categories. This extension is well-known to experts, but a detailed proof does not exist in the literature. We carry out a detailed proof. This extended induction theorem enables us to make some reductions for the general problem, and therefore for the finite index problem of the Farrell-Jones conjecture.


title: Cutkosky Rules and Outer Space

abstract: We derive Cutkosky's theorem starting from Pham's classical work. We emphasize structural relations to Outer Space.


title: Slow motion for the nonlocal Allen-Cahn equation in n-dimensions

abstract: The goal of this paper is to study the slow motion of solutions of the nonlocal Allen-Cahn equation in a bounded domain $\Omega \subset \mathbb{R}^n$, for $n > 1$. The initial data is assumed to be close to a configuration whose interface separating the states minimizes the surface area (or perimeter); both local and global perimeter minimizers are taken into account. The evolution of interfaces on a time scale $\varepsilon^{-1}$ is deduced, where $\varepsilon$ is the interaction length parameter. The key tool is a second-order $\Gamma$-convergence analysis of the energy functional, which provides sharp energy estimates. New regularity results are derived for the isoperimetric function of a domain. Slow motion of solutions for the Cahn-Hilliard equation starting close to global perimeter minimizers is proved as well.


title: Visualizing Band Offsets and Edge States in Bilayer-Monolayer Transition Metal Dichalcogenides Lateral Heterojunction

abstract: Semiconductor heterostructures are fundamental building blocks for many important device applications. The emergence of two-dimensional semiconductors opens up a new realm for creating heterostructures. As the bandgaps of transition metal dichalcogenides thin films have sensitive layer dependence, it is natural to create lateral heterojunctions using the same materials with different thicknesses. Using scanning tunneling microscopy and spectroscopy, here we show the real space image of electronic structures across the bilayer-monolayer interface in MoSe2 and WSe2. Most bilayer-monolayer heterojunctions are found to have a zigzag-orientated interface, and the band alignment of such atomically sharp heterojunctions is of type-I with a well-defined interface mode which acts as a narrower-gap quantum wire. The ability to utilize such commonly existing thickness terrace as lateral heterojunctions is a crucial addition to the tool set for device applications based on atomically thin transition metal dichalcogenides, with the advantage of easy and flexible implementation.


title: Variance Reduction for Distributed Stochastic Gradient Descent

abstract: Variance reduction (VR) methods boost the performance of stochastic gradient descent (SGD) by enabling the use of larger, constant stepsizes and preserving linear convergence rates. However, current variance reduced SGD methods require either high memory usage or an exact gradient computation (using the entire dataset) at the end of each epoch. This limits the use of VR methods in practical distributed settings. In this paper, we propose a variance reduction method, called VR-lite, that does not require full gradient computations or extra storage. We explore distributed synchronous and asynchronous variants that are scalable and remain stable with low communication frequency. We empirically compare both the sequential and distributed algorithms to state-of-the-art stochastic optimization methods, and find that our proposed algorithms perform favorably to other stochastic methods.


title: The Lifetime of Axion Stars

abstract: We investigate the decay of condensates of scalars in a field theory defined by $V({\cal A})=m{}^2\,f{}^2\,[1-\cos({\cal A}\,/\,f)]$, where $m$ and $f$ are the mass and decay constant of the scalar field. An example of such a theory is that of the axion, in which case the condensates are called axion stars. The axion field, $\cal A$, is self adjoint. As a result the axion number is not an absolutely conserved quantity. Therefore, axion stars are not stable and have finite lifetimes. Bound axions, localized on the volume of the star, have a coordinate uncertainty $\Delta x \sim R \sim 1/(m_a \Delta)$, where $R$ is the radius of the star and $\Delta = \sqrt{1-E_0{}^2\,/\,m_a^2}$. Here $m_a$ and $E_0$ are the mass, and the ground state energy of the bound axion. Then the momentum distribution of axions has a width of $\Delta p\sim m_a\,\Delta$. At strong binding, $\Delta={\cal O}(1)$, bound axions can easily transfer a sufficient amount of momentum to create and emit a free axion, leading to fast decay of the star with a transition rate $\Gamma \sim m_a$. However, when $\Delta\ll 1$, the momentum distribution is more restricted, and as shown in this paper, the transition rate for creating a free axion decreases as $\exp (-p \, \Delta x) \sim \exp (-\Delta^{-1})$. Then sufficiently large, weakly bound axion stars, produced after the big bang, survive until the present time. We plot the region of their stability, limited by decay through axion loss and by gravitational instability, as a function of the mass of the axion and the mass of the star.


title: Cubature formulas of multivariate polynomials arising from symmetric orbit functions

abstract: The paper develops applications of symmetric orbit functions, known from irreducible representations of simple Lie groups, in numerical analysis. It is shown that these functions have remarkable properties which yield to cubature formulas, approximating a weighted integral of any function by a weighted finite sum of function values, in connection with any simple Lie group. The cubature formulas are specialized for simple Lie groups of rank two. An optimal approximation of any function by multivariate polynomials arising from symmetric orbit functions is discussed.


title: The Master Equation for Two-Level Accelerated Systems at Finite Temperature

abstract: In this work we study the behaviour of two weakly coupled quantum systems, described by a separable density operator; one of them is a single oscillator, representing a microscopic system, while the other is a set of oscillators which perform the role of a \emph{reservoir} in thermal equilibrium. From the Liouville-Von Neumann equation for the reduced density operator, we devise the master equation that governs the evolution of the microscopic system, incorporating the effects of temperature via Thermofield Dynamics formalism by suitably redefining the vacuum of the macroscopic system. As applications, we initially investigate the behaviour of a Fermi oscillator in the presence of a heat bath consisting of a set of Fermi oscillators and that of an atomic two-level system interacting with a scalar radiation field, considered as a \emph{reservoir}, by constructing the corresponding master equation which governs the time evolution of both sub-systems at finite temperature. Finally, we calculate the energy variation rates for the atom and the field, as well as the atomic population levels, both in the inertial case and at constant proper acceleration, considering the two-level system as a prototype of an Unruh detector, for admissible couplings of the radiation field.


title: Generating News Headlines with Recurrent Neural Networks

abstract: We describe an application of an encoder-decoder recurrent neural network with LSTM units and attention to generating headlines from the text of news articles. We find that the model is quite effective at concisely paraphrasing news articles. Furthermore, we study how the neural network decides which input words to pay attention to, and specifically we identify the function of the different neurons in a simplified attention mechanism. Interestingly, our simplified attention mechanism performs better that the more complex attention mechanism on a held out set of articles.


title: Approximate Range Counting Revisited

abstract: We study range-searching for colored objects, where one has to count (approximately) the number of colors present in a query range. The problems studied mostly involve orthogonal range-searching in two and three dimensions, and the dual setting of rectangle stabbing by points. We present optimal and near-optimal solutions for these problems. Most of the results are obtained via reductions to the approximate uncolored version, and improved data-structures for them. An additional contribution of this work is the introduction of nested shallow cuttings.


title: Characterizations of the $(h,k,\mu,\nu)-$Trichotomy for Linear Time-Varying Systems

abstract: The present paper considers a concept of $(h,k,\mu,\nu)-$trichotomy for noninvertible linear time-varying systems in Hilbert spaces. This work provides a characterization for linear time-varying systems that admits a $(h,k,\mu,\nu)-$trichotomy in terms of two coupled systems having a $(h,\mu,\nu)-$dichotomy.


title: A Restricted Visual Turing Test for Deep Scene and Event Understanding

abstract: This paper presents a restricted visual Turing test (VTT) for story-line based deep understanding in long-term and multi-camera captured videos. Given a set of videos of a scene (such as a multi-room office, a garden, and a parking lot.) and a sequence of story-line based queries, the task is to provide answers either simply in binary form "true/false" (to a polar query) or in an accurate natural language description (to a non-polar query). Queries, polar or non-polar, consist of view-based queries which can be answered from a particular camera view and scene-centered queries which involves joint inference across different cameras. The story lines are collected to cover spatial, temporal and causal understanding of input videos. The data and queries distinguish our VTT from recently proposed visual question answering in images and video captioning. A vision system is proposed to perform joint video and query parsing which integrates different vision modules, a knowledge base and a query engine. The system provides unified interfaces for different modules so that individual modules can be reconfigured to test a new method. We provide a benchmark dataset and a toolkit for ontology guided story-line query generation which consists of about 93.5 hours videos captured in four different locations and 3,426 queries split into 127 story lines. We also provide a baseline implementation and result analyses.


title: Torus actions on stable module categories, Picard groups, and localizing subcategories

abstract: Given an abelian $p$-group $G$ of rank $n$, we construct an action of the torus $\mathbb{T}^n$ on the stable module $\infty$-category of $G$-representations over a field of characteristic $p$. The homotopy fixed points are given by the $\infty$-category of module spectra over the Tate construction of the torus. The relationship thus obtained arises from a Galois extension in the sense of Rognes, with Galois group given by the torus. As one application, we give a homotopy-theoretic proof of Dade's classification of endotrivial modules for abelian $p$-groups. As another application, we give a slight variant of a key step in the Benson-Iyengar-Krause proof of the classification of localizing subcategories of the stable module category.


title: Algorithmic decidability of Engel's property for automaton groups

abstract: We consider decidability problems associated with Engel's identity ($[\cdots[[x,y],y],\dots,y]=1$ for a long enough commutator sequence) in groups generated by an automaton. We give a partial algorithm that decides, given $x,y$, whether an Engel identity is satisfied. It succeeds, importantly, in proving that Grigorchuk's $2$-group is not Engel. We consider next the problem of recognizing Engel elements, namely elements $y$ such that the map $x\mapsto[x,y]$ attracts to $\{1\}$. Although this problem seems intractable in general, we prove that it is decidable for Grigorchuk's group: Engel elements are precisely those of order at most $2$. Our computations were implemented using the package FR within the computer algebra system GAP.


title: Convergence and regularization for monotonicity-based shape reconstruction in electrical impedance tomography

abstract: The inverse problem of electrical impedance tomography is severely ill-posed, meaning that, only limited information about the conductivity can in practice be recovered from boundary measurements of electric current and voltage. Recently it was shown that a simple monotonicity property of the related Neumann-to-Dirichlet map can be used to characterize shapes of inhomogeneities in a known background conductivity. In this paper we formulate a monotonicity-based shape reconstruction scheme that applies to approximative measurement models, and regularizes against noise and modelling error. We demonstrate that for admissible choices of regularization parameters the inhomogeneities are detected, and under reasonable assumptions, asymptotically exactly characterized. Moreover, we rigorously associate this result with the complete electrode model, and describe how a computationally cheap monotonicity-based reconstruction algorithm can be implemented. Numerical reconstructions from both simulated and real-life measurement data are presented.


title: Twisted patterns in large subsets of $\mathbb{Z}^N$

abstract: Let $E \subset \mathbb{Z}^N$ be a set of positive upper Banach density and let $\Gamma < \operatorname{GL}_N(\mathbb{Z})$ be a finitely generated, strongly irreducible subgroup whose Zariski closure in $\operatorname{GL}_N(\mathbb{R})$ is a Zariski connected semisimple group with no compact factors. Let $Y$ be any set and suppose that $\Psi : \mathbb{Z}^N \rightarrow Y$ is a $\Gamma$-invariant function. We prove that for every positive integer $m$, there exists a positive integer $k$ with the property that for every finite set $F \subset \mathbb{Z}^N$ with $|F| = m$, we have \[ \Psi(kF) \subset \Psi(E-b) \quad \textrm{for some $b \in E$}. \] Furthermore, if $E$ is an aperiodic Bohr$_o$-set, we can choose $k = 1$ and $b = 0$. As one of many applications of this result, we show that if $E_o \subset \mathbb{Z}$ has positive upper Banach density, then, for any integer $m$, there exists an integer $k$ with the property for \emph{every} finite set $F \subset \mathbb{Z}$, we can find $x,y,z \in E_o$ such that \[ k^2 F \subset \big\{ (u-x)^2 + (v-y)^2 - (w-z)^2 \, : \, u,v,w \in E_o \big\}. \] In particular, if $E_o \subset \mathbb{Z}$ is an aperiodic Bohr$_o$-set, then every integer can be written on the form $u^2 + v^2 - w^2$ for some $u,v,w \in E_o$. Our techniques use recent results by Benoist-Quint and Bourgain-Furman-Lindenstrauss-Mozes on equidistribution of random walks on automorphism groups of tori.


title: Elliptic rook and file numbers

abstract: Utilizing elliptic weights, we construct an elliptic analogue of rook numbers for Ferrers boards. Our elliptic rook numbers generalize Garsia and Remmel's q-rook numbers by two additional independent parameters a and b, and a nome p. These are shown to satisfy an elliptic extension of a factorization theorem which in the classical case was established by Goldman, Joichi and White and later was extended to the q-case by Garsia and Remmel. We obtain similar results for our elliptic analogues of Garsia and Remmel's q-file numbers for skyline boards. We also provide an elliptic extension of the j-attacking model introduced by Remmel and Wachs. Various applications of our results include elliptic analogues of (generalized) Stirling numbers of the first and second kind, Lah numbers, Abel numbers, and r-restricted versions thereof.


title: 2-Cycles on Higher Fano Hypersurfaces

abstract: Let F(X_d) be a smooth Fano variety of lines of a hypersurface X_d of degree d. In this paper, we prove the Griffiths group Griff_1(F(X_d)) is trivial if the hypersurface X_d is of 2-Fano type. As a result, we give a positive answer to a question of Professor Voisin about the first Griffiths groups of Fano varieties in some cases. Base on this result, we prove that CH_2(X_d)=\mathbb{Z} for a complex smooth $3$-Fano hypersurface X_d whose Fano variety of lines is smooth.


title: Vanishing point attracts gaze in free-viewing and visual search tasks

abstract: To investigate whether the vanishing point (VP) plays a significant role in gaze guidance, we ran two experiments. In the first one, we recorded fixations of 10 observers (4 female; mean age 22; SD=0.84) freely viewing 532 images, out of which 319 had VP (shuffled presentation; each image for 4 secs). We found that the average number of fixations at a local region (80x80 pixels) centered at the VP is significantly higher than the average fixations at random locations (t-test; n=319; p=1.8e-35). To address the confounding factor of saliency, we learned a combined model of bottom-up saliency and VP. AUC score of our model (0.85; SD=0.01) is significantly higher than the original saliency model (e.g., 0.8 using AIM model by Bruce & Tsotsos (2009), t-test; p= 3.14e-16) and the VP-only model (0.64, t-test; p= 4.02e-22). In the second experiment, we asked 14 subjects (4 female, mean age 23.07, SD=1.26) to search for a target character (T or L) placed randomly on a 3x3 imaginary grid overlaid on top of an image. Subjects reported their answers by pressing one of two keys. Stimuli consisted of 270 color images (180 with a single VP, 90 without). The target happened with equal probability inside each cell (15 times L, 15 times T). We found that subjects were significantly faster (and more accurate) when target happened inside the cell containing the VP compared to cells without VP (median across 14 subjects 1.34 sec vs. 1.96; Wilcoxon rank-sum test; p = 0.0014). Response time at VP cells were also significantly lower than response time on images without VP (median 2.37; p= 4.77e-05). These findings support the hypothesis that vanishing point, similar to face and text (Cerf et al., 2009) as well as gaze direction (Borji et al., 2014) attracts attention in free-viewing and visual search.


title: Influence of 4-vinylbenzylation on the rheological and swelling properties of photo-activated collagen hydrogels

abstract: Covalent functionalisation of collagen has been shown to be a promising strategy to adjust the mechanical properties of highly swollen collagen hydrogels. At the same time, secondary interactions between for example, amino acidic terminations or introduced functional groups also play an important role and are often challenging to predict and control. To explore this challenge, 4-vinylbenzyl chloride (4VBC) and methacrylic anhydride (MA) were reacted with type I collagen, and the swelling and rheological properties of resulting photo activated hydrogel systems investigated. 4VBC-based hydrogels showed significantly increased swelling ratio, in light of the lower degree of collagen functionalisation, with respect to methacrylated collagen networks, whilst rheological storage moduli were found to be comparable between the two systems. To explore the role of benzyl groups in the mechanical properties of the 4VBC-based collagen system, model chemical force microscopy (CFM) was carried out in aqueous environment with an aromatised probe against an aromatised gold coated glass slide. A marked increase in adhesion force (F: 0.11 +/- 0.01 nN) was measured between aromatised samples, compared to the adhesion force observed between the non-modified probe and a glass substrate (F: 2.64 +/- 1.82 nN). These results suggest the formation of additional and reversible {\pi}-{\pi} stacking interactions in aromatic 4VBC-based networks and explain the remarkable rheological properties of this system in comparison to MA based hydrogels.


title: Etale groupoids arising from products of shifts of finite type

abstract: Two conjectures about homology groups, K-groups and topological full groups of minimal etale groupoids on Cantor sets are formulated. We verify these conjectures for many examples of etale groupoids including products of etale groupoids arising from one-sided shifts of finite type. Furthermore, we completely determine when these product groupoids are mutually isomorphic. Also, the abelianization of their topological full groups are computed. They are viewed as generalizations of the higher dimensional Thompson groups.


title: The Evolution of Wikipedia's Norm Network

abstract: Social norms have traditionally been difficult to quantify. In any particular society, their sheer number and complex interdependencies often limit a system-level analysis. One exception is that of the network of norms that sustain the online Wikipedia community. We study the fifteen-year evolution of this network using the interconnected set of pages that establish, describe, and interpret the community's norms. Despite Wikipedia's reputation for \textit{ad hoc} governance, we find that its normative evolution is highly conservative. The earliest users create norms that both dominate the network and persist over time. These core norms govern both content and interpersonal interactions using abstract principles such as neutrality, verifiability, and assume good faith. As the network grows, norm neighborhoods decouple topologically from each other, while increasing in semantic coherence. Taken together, these results suggest that the evolution of Wikipedia's norm network is akin to bureaucratic systems that predate the information age.


title: Relative t-designs in binary Hamming association scheme H(n,2)

abstract: A relative t-design in the binary Hamming association schemes H(n,2) is equivalent to a weighted regular t-wise balanced design, i.e., certain combinatorial t-design which allow different sizes of blocks and a weight function on blocks. In this paper, we study relative t-designs in H(n,2), putting emphasis on Fisher type inequalities and the existence of tight relative t-designs. We mostly consider relative t-designs on two shells. We prove that if the weight function is constant on each shell of a relative t-design on two shells then the subset in each shell must be a combinatorial (t-1)-design. This is a generalization of the result of Kageyama who proved this under the stronger assumption that the weight function is constant on the whole block set. Using this, we define tight relative t-designs for odd t, and a strong restriction on the possible parameters of tight relative t-designs in H(n,2). We obtained a new family of such tight relative t-designs, which were unnoticed before. We will give a list of feasible parameters of such relative 3-designs with n up to 100, and then we discuss the existence and/or the non-existence of such tight relative 3-designs. We also discuss feasible parameters of tight relative 4-designs on two shells in H(n,2) with n up 50. In this study we come up with the connection on the topics of classical design theory, such as symmetric 2-designs (in particular 2-(4u-1,2u-1,u-1) Hadamard designs) and Driessen's result on the non-existence of certain 3-designs. We believe the Problem 1 and Problem 2 presented in Section 5.2 open a new way to study relative t-designs in H(n,2). We conclude our paper listing several open problems.


title: Solving the Subset Sum Problem with Heap-Ordered Subset Trees

abstract: In the field of algorithmic analysis, one of the more well-known exercises is the subset sum problem. That is, given a set of integers, determine whether one or more integers in the set can sum to a target value. Aside from the brute-force approach of verifying all combinations of integers, several solutions have been found, ranging from clever uses of various data structures to computationally-efficient approximation solutions. In this paper, a unique approach is discussed which builds upon the existing min-heap solution for positive integers, introducing a tree-based data structure influenced by the binomial heap. Termed the subset tree, this data structure solves the subset sum problem for all integers in time $O(N^3k\log k)$, where $N$ is the length of the set and $k$ is the index of the list of subsets that is being searched.


title: Similarity Learning via Adaptive Regression and Its Application to Image Retrieval

abstract: We study the problem of similarity learning and its application to image retrieval with large-scale data. The similarity between pairs of images can be measured by the distances between their high dimensional representations, and the problem of learning the appropriate similarity is often addressed by distance metric learning. However, distance metric learning requires the learned metric to be a PSD matrix, which is computational expensive and not necessary for retrieval ranking problem. On the other hand, the bilinear model is shown to be more flexible for large-scale image retrieval task, hence, we adopt it to learn a matrix for estimating pairwise similarities under the regression framework. By adaptively updating the target matrix in regression, we can mimic the hinge loss, which is more appropriate for similarity learning problem. Although the regression problem can have the closed-form solution, the computational cost can be very expensive. The computational challenges come from two aspects: the number of images can be very large and image features have high dimensionality. We address the first challenge by compressing the data by a randomized algorithm with the theoretical guarantee. For the high dimensional issue, we address it by taking low rank assumption and applying alternating method to obtain the partial matrix, which has a global optimal solution. Empirical studies on real world image datasets (i.e., Caltech and ImageNet) demonstrate the effectiveness and efficiency of the proposed method.


title: Dynamical spacetime symmetry

abstract: According to the Coleman-Mandula theorem, any gauge theory of gravity combined with an internal symmetry based on a Lie group must take the form of a direct product in order to be consistent with basic assumptions of quantum field theory. However, we show that an alternative gauging of a simple group can lead dynamically to a spacetime with compact internal symmetry. The biconformal gauging of the conformal symmetry of n-dim Euclidean space doubles the dimension to give a symplectic manifold. Examining one of the Lagrangian submanifolds in the flat case, we find that in addition to the expected SO(n) connection and curvature, the solder form necessarily becomes Lorentzian. General coordinate invariance gives rise to an SO(n-1,1) connection on the spacetime. The principal fiber bundle character of the original SO(n) guarantees that the two symmetries enter as a direct product, in agreement with the Coleman-Mandula theorem.


title: Security Risks in Mechanical Engineering Industries

abstract: Inherent in any organization are security risks and barriers that must be understood, analyzed, and minimized in order to prepare for and perpetuate future growth and return on investment within the business. Likewise, company leaders must determine the security health of the organization and routinely review the potential threats that are ever changing in this new global economy. Once these risks are outlined, the cost and potential damage must be weighed before action is implemented. This paper will address the modern problems of securing information technology (IT) of a mechanical engineering enterprise, which can be applied to other modern industries.


title: Healthcare IT: Is your Information at Risk?

abstract: Healthcare Information Technology (IT) has made great advances over the past few years and while these advances have enable healthcare professionals to provide higher quality healthcare to a larger number of individuals it also provides the criminal element more opportunities to access sensitive information, such as patient protected health information (PHI) and Personal identification Information (PII). Having an Information Assurance (IA) programallows for the protection of information and information systems and ensures the organization is in compliance with all requires regulations, laws and directive is essential. While most organizations have such a policy in place, often it is inadequate to ensure the proper protection to prevent security breaches. The increase of data breaches in the last few years demonstrates the importance of an effective IA program. To ensure an effective IA policy, the policy must manage the operational risk, including identifying risks, assessment and mitigation of identified risks and ongoing monitoring to ensure compliance


title: The Propus Construction for Symmetric Hadamard Matrices

abstract: \textit{Propus} (which means twins) is a construction method for orthogonal $\pm 1$ matrices based on a variation of the Williamson array called the \textit{propus array} \[ \begin{matrix*}[r] A& B & B & D B& D & -A &-B B& -A & -D & B D& -B & B &-A. \end{matrix*} \] This construction designed to find symmetric Hadamard matrices was originally based on circulant symmetric $\pm 1$ matrices, called \textit{propus matrices}. We also give another construction based on symmetric Williamson-type matrices. We give constructions to find symmetric propus-Hadamard matrices for 57 orders $4n$, $n < 200$ odd. We give variations of the above array to allow for more general matrices than symmetric Williamson propus matrices. One such is the \textit{ Generalized Propus Array (GP)}.


title: Absence of Localization in Disordered Two Dimensional Electron Gas at Weak Magnetic Field and Strong Spin-Orbit Coupling

abstract: The one-parameter scaling theory of localization predicts that all states in a disordered two-dimensional system with broken time reversal symmetry are localized even in the presence of strong spin-orbit coupling. While at constant strong magnetic fields this paradigm fails (recall quantum Hall effect), it is believed to hold at weak magnetic fields. Here we explore the nature of quantum states at weak magnetic field and strongly fluctuating spin-orbit coupling, employing highly accurate numerical procedure based on level spacing distribution and transfer matrix technique combined with finite-size one-parameter scaling hypothesis. Remarkably, the metallic phase, (known to exist at zero magnetic field), persists also at finite (albeit weak) magnetic fields, and eventually crosses over into a critical phase, which has already been confirmed at high magnetic fields. A schematic phase diagram drawn in the energy-magnetic field plane elucidates the occurrence of localized, metallic and critical phases. In addition, it is shown that nearest-level statistics is determined solely by the symmetry parameter $\beta$ and follows the Wigner surmise irrespective of whether states are metallic or critical.


title: On the Data Augmentation Algorithm for Bayesian Multivariate Linear Regression with Non-Gaussian Errors

abstract: Let $\pi$ denote the intractable posterior density that results when the likelihood from a multivariate linear regression model with errors from a scale mixture of normals is combined with the standard non-informative prior. There is a simple data augmentation algorithm (based on latent data from the mixing density) that can be used to explore $\pi$. Hobert et al. (2015) [arXiv:1506.03113v1] recently performed a convergence rate analysis of the Markov chain underlying this MCMC algorithm in the special case where the regression model is univariate. These authors provide simple sufficient conditions (on the mixing density) for geometric ergodicity of the Markov chain. In this note, we extend Hobert et al.'s (2015) result to the multivariate case.


title: Informational power of the Hoggar SIC-POVM

abstract: We compute the informational power for the Hoggar SIC-POVM in dimension 8, i.e. the classical capacity of a quantum-classical channel generated by this measurement. We show that the states constituting a maximally informative ensemble form a twin Hoggar SIC-POVM being the image of the original one under a conjugation.


title: A $K$-quadrilateral cosine characterization of Aleksandrov spaces of curvature bounded above

abstract: In this note, we extend the main results of our paper on quasilinearization and curvature of Aleksandrov spaces of curvature $\leq0$ to curvature bounds other than $0$. For non-zero $K$, we employ the previously introduced notion of the $K$-quadrilateral cosine, which is the cosine under parallel transport in model $K$-space, and which is denoted by $\operatorname{cosq}_{K}$. Our principal result states that a geodesically connected metric space (of diameter not greater than $\pi/\left(2\sqrt{K}\right) $ if $K>0$) is an $\Re_{K}$ domain (otherwise known as a $\operatorname{CAT}\left(K\right) $ space) if and only if always $\operatorname{cosq}_{K}\leq1$ or always $\operatorname{cosq}_{K}$ $\geq-1$. (We prove that in such spaces always $\operatorname{cosq}_{K}\leq1$ is equivalent to always $\operatorname{cosq}% _{K}$ $\geq-1$). As a corollary, we give necessary and sufficient conditions for a Cauchy complete semimetric space to be a complete $\Re_{K}$ domain. We show that in our theorem the diameter hypothesis for positive $K$ is sharp and we prove an extremal theorem when $|\operatorname{cosq}_{K}|$ attains an upper bound of $1$. We derive from our main theorem and our previous result for $K=0$ a complete solution of Gromov's curvature problem in the context of Aleksandrov spaces of curvature bounded above. Then we establish the $K$-Euler's inequality and the extremal theorem for equality in the $K$-Euler's inequality in an $\Re_{K}$ domain.


title: Effective action for the Abelian-Higgs model for a gauge-invariant implementation on optical lattices

abstract: We present a gauge-invariant effective action for the Abelian-Higgs model in 1+1 dimensions. It is constructed by integrating out the gauge field and then using the hopping parameter expansion. The latter is tested with Monte Carlo simulations for small values of the scalar self-coupling. In the opposite limit, at infinitely large self-coupling, the Higgs mode is frozen and the partition function can be written in terms of local tensors and the tensor renormalization group blocking can be applied. The numerical implementation requires truncations and the time continuum limit of the blocked transfer matrix can be obtained numerically. At zero gauge coupling and with a spin-1 truncation, the small volume energy spectrum is identical to the low energy spectrum of a two-species Bose-Hubbard model in the limit of large onsite repulsion. The procedure is extended to finite gauge coupling and we derive a spin-1 approximation of the Hamiltonian which involves terms corresponding to transitions among the two species in the Bose-Hubbard model. An optical lattice implementation involving a ladder structure is proposed.


title: Network Coding: Connections Between Information Theory And Estimation Theory

abstract: In this paper, we prove the existence of fundamental relations between information theory and estimation theory for network-coded flows. When the network is represented by a directed graph G=(V, E) and under the assumption of uncorrelated noise over information flows between the directed links connecting transmitters, switches (relays), and receivers. We unveil that there yet exist closed-form relations for the gradient of the mutual information with respect to different components of the system matrix M. On the one hand, this result opens a new class of problems casting further insights into effects of the network topology, topological changes when nodes are mobile, and the impact of errors and delays in certain links into the network capacity which can be further studied in scenarios where one source multi-sinks multicasts and multi-source multicast where the invertibility and the rank of matrix M plays a significant role in the decoding process and therefore, on the network capacity. On the other hand, it opens further research questions of finding precoding solutions adapted to the network level.


title: Computing the Chern-Schwartz-MacPherson Class of Complete Simplical Toric Varieties

abstract: Topological invariants such as characteristic classes are an important tool to aid in understanding and categorizing the structure and properties of algebraic varieties. In this note we consider the problem of computing a particular characteristic class, the Chern-Schwartz-MacPherson class, of a complete simplicial toric variety X defined by a fan from the combinatorial data contained in the fan. Specifically, we give an effective combinatorial algorithm to compute the Chern-Schwartz-MacPherson class of X, in the Chow ring (or rational Chow ring) of X. This method is formulated by combining, and when necessary modifying, several known results from the literature and is implemented in Macaulay2 for test purposes.


title: Reconciling perturbative approaches in phonon assisted transport junctions

abstract: We present consistent results for molecular conduction using two central-complementary approaches: the non-equilibrium Green's function technique and the quantum master equation method. Our model describes electronic conduction in a donor-acceptor junction in which electron transfer is coupled to nuclear motion, modeled by a harmonic vibrational mode. This primary mode is further coupled to secondary phonon modes, a thermal bath. Assuming weak electron-phonon coupling but arbitrary large molecule-metal hybridization, we compute several non-equilibrium transport quantities: the mean phonon number of the primary mode, charge current statistics. We further present scaling relations for the cumulants valid in the large voltage regime. Our analysis illustrates that the non-equilibrium Green's function technique and the quantum master equation method can be worked out consistently, when taking into account corresponding scattering processes.


title: Hilbert Transform based Quadrature Hybrid RF Photonic Coupler via a Micro-Resonator Optical Frequency Comb Source

abstract: We demonstrate a photonic RF Hilbert transformer for broadband microwave in-phase and quadrature-phase generation based on an integrated frequency optical comb, generated using a nonlinear microring resonator based on a CMOS compatible, high-index contrast, doped-silica glass platform. The high quality and large frequency spacing of the comb enables filters with up to 20 taps, allowing us to demonstrate a quadrature filter with more than a 5-octave (3 dB) bandwidth and an almost uniform phase response.


title: Oil price shocks, road transport pollution emissions and residents' health losses in China

abstract: China's rapid economic growth resulted in serious air pollution, which caused substantial losses to economic development and residents' health. In particular, the road transport sector has been blamed to be one of the major emitters. During the past decades, fluctuation in the international oil prices has imposed significant impacts on the China's road transport sector. Therefore, we propose an assumption that China's provincial economies are independent "economic entities". Based on this assumption, we investigate the China's road transport fuel (i.e., gasoline and diesel) demand system by using the panel data of all 31 Chinese provinces except Hong Kong, Macau and Taiwan. To connect the fuel demand system and the air pollution emissions, we propose the concept of pollution emissions elasticities to estimate the air pollution emissions from the road transport sector, and residents' health losses by a simplified approach consisting of air pollution concentrations and health loss assessment models under different scenarios based on real-world oil price fluctuations. Our framework, to the best of our knowledge, is the first attempt to address the transmission mechanism between the fuel demand system in road transport sector and residents' health losses in the transitional China.


title: Remote sensing of pressure inside deformable microchannels using light scattering in Scotch tape

abstract: We present a simple but effective method to measure the pressure inside a deformable micro-channel using laser scattering in a translucent Scotch tape. Our idea exploits the fact that the speckle pattern generated by a turbid layer is sensitive to the changes in an optical wavefront of an impinging beam. A change in the internal pressure of a channel deforms the elastic channel, which can be detected by measuring speckle patterns of a coherent laser that has passed through the channel and the Scotch tape. We demonstrate that internal pressure can be remotely sensed with the resolution below 0.1 kPa within a pressure range of 3 kPa after calibration. With its high sensitivity, reproducibility, and easy applicability, the present method will find direct and diverse applications.


title: Jordan groups, conic bundles and abelian varieties

abstract: A group $G$ is called Jordan if there is a positive integer $J=J_G$ such that every finite subgroup $\mathcal{B}$ of $G$ contains a commutative subgroup $\mathcal{A}\subset \mathcal{B}$ such that $\mathcal{A}$ is normal in $\mathcal{B}$ and the index $[\mathcal{B}:\mathcal{A}] \le J$ (V.L. Popov). In this paper we deal with Jordaness properties of the groups $Bir(X)$ of birational automorphisms of irreducible smooth projective varieties $X$ over an algebraically closed field of characteristic zero. It is known (Yu. Prokhorov - C. Shramov) that $Bir(X)$ is Jordan if $X$ is non-uniruled. On the other hand, the second named author proved that $Bir(X)$ is not Jordan if $X$ is birational to a product of the projective line and a positive-dimensional abelian variety. We prove that $Bir(X)$ is Jordan if (uniruled) $X$ is a conic bundle over a non-uniruled variety $Y$ but is not birational to a product of $Y$ and the projective line. (Such a conic bundle exists only if $\dim(Y)\ge 2$.) When $Y$ is an abelian surface, this Jordaness property result gives an answer to a question of Prokhorov and Shramov.


title: An analogue of the Kostant criterion for quadratic Lie superalgebras

abstract: Let $\mathfrak{r}$ be a finite dimensional complex Lie superalgebra with a non-degenerate super-symmetric invariant bilinear form, let $\mathfrak{p}$ be a finite dimensional complex super vector space with a non-degenerate super-symmetric bilinear form, and let $\nu: \mathfrak{r}\rightarrow\mathfrak{osp}(\mathfrak{p})$ be a Lie superalgebra homomorphism. In this paper, we give a necessary and sufficient condition for $\mathfrak{r}\oplus\mathfrak{p}$ to be a quadratic Lie superalgebra. The criterion obtained is an analogue of a constancy condition given by Kostant in the Lie algebra setting. As an application, we prove an analogue of the Parthasarathy's formula for the square of the Dirac operator attached to a pair of quadratic Lie superalgebras.


title: Born-Infeld AdS Black Holes as Heat Engines

abstract: We study the efficiency of heat engines that perform mechanical work via the pdV terms present in the First Law in extended gravitational thermodynamics. We use charged black holes as the working substance, for a particular choice of engine cycle. The context is Einstein gravity with negative cosmological constant and a Born-Infeld non-linear electrodynamics sector. We compare the results for these `holographic' heat engines to previous results obtained for Einstein-Maxwell black holes, and for the case where there is a Gauss-Bonnet sector.


title: Optical-infrared flares and radio afterglows by Jovian planets inspiraling into their host stars

abstract: When a planet inspirals into its host star, it releases gravitational energy which is converted into an expanding bubble of hot plasma. We study the radiation from the bubble and show that it includes prompt optical-infrared emission and a subsequent radio afterglow. The prompt emission from M31 and Large Magellanic Cloud is detectable by optical-near infrared transient surveys with a large field of view. The subsequent radio afterglows are detectable for $10^{3-4}$~years. The event rate depends on uncertain parameters in the formation and dynamics of giant planets. Future observation of the rate will constrain related theoretical models. If the event rate is high (> a few events per year), the circumstellar disk must typically be massive as suggested by recent numerical simulations.


title: Restricted Low-Rank Approximation via ADMM

abstract: The matrix low-rank approximation problem with additional convex constraints can find many applications and has been extensively studied before. However, this problem is shown to be nonconvex and NP-hard; most of the existing solutions are heuristic and application-dependent. In this paper, we show that, other than tons of application in current literature, this problem can be used to recover a feasible solution for SDP relaxation. By some sophisticated tricks, it can be equivalently posed in an appropriate form for the Alternating Direction Method of Multipliers (ADMM) to solve. The two updates of ADMM include the basic matrix low-rank approximation and projection onto a convex set. Different from the general non-convex problems, the sub-problems in each step of ADMM can be solved exactly and efficiently in spite of their non-convexity. Moreover, the algorithm will converge exponentially under proper conditions. The simulation results confirm its superiority over existing solutions. We believe that the results in this paper provide a useful tool for this important problem and will help to extend the application of ADMM to the non-convex regime.


title: Combinatorial Message Sharing and a New Achievable Region for Multiple Descriptions

abstract: This paper presents a new achievable rate-distortion region for the general L channel multiple descriptions problem. A well known general region for this problem is due to Venkataramani, Kramer and Goyal (VKG) [1]. Their encoding scheme is an extension of the El-Gamal-Cover (EC) and Zhang- Berger (ZB) coding schemes to the L channel case and includes a combinatorial number of refinement codebooks, one for each subset of the descriptions. As in ZB, the scheme also allows for a single common codeword to be shared by all descriptions. This paper proposes a novel encoding technique involving Combinatorial Message Sharing (CMS), where every subset of the descriptions may share a distinct common message. This introduces a combinatorial number of shared codebooks along with the refinement codebooks of [1]. We derive an achievable rate-distortion region for the proposed technique, and show that it subsumes the VKG region for general sources and distortion measures. We further show that CMS provides a strict improvement of the achievable region for any source and distortion measures for which some 2-description subset is such that ZB achieves points outside the EC region. We then show a more surprising result: CMS outperforms VKG for a general class of sources and distortion measures, including scenarios where the ZB and EC regions coincide for all 2-description subsets. In particular, we show that CMS strictly improves on VKG, for the L-channel quadratic Gaussian MD problem, for all L greater than or equal to 3, despite the fact that the EC region is complete for the corresponding 2-descriptions problem. Using the encoding principles derived, we show that the CMS scheme achieves the complete rate-distortion region for several asymmetric cross-sections of the L-channel quadratic Gaussian MD problem.


title: Incorporating Prior Knowledge for Quantifying and Reducing Model-Form Uncertainty in RANS Simulations

abstract: Simulations based on Reynolds-Averaged Navier--Stokes (RANS) models have been used to support high-consequence decisions related to turbulent flows. Apart from the deterministic model predictions, the decision makers are often equally concerned about the predictions confidence. Among the uncertainties in RANS simulations, the model-form uncertainty is an important or even a dominant source. Therefore, quantifying and reducing the model-form uncertainties in RANS simulations are of critical importance to make risk-informed decisions. Researchers in statistics communities have made efforts on this issue by considering numerical models as black boxes. However, this physics-neutral approach is not a most efficient use of data, and is not practical for most engineering problems. Recently, we proposed an open-box, Bayesian framework for quantifying and reducing model-form uncertainties in RANS simulations by incorporating observation data and physics-prior knowledge. It can incorporate the information from the vast body of existing empirical knowledge with mathematical rigor, which enables a more efficient usage of data. In this work, we examine the merits of incorporating various types of prior knowledge in the uncertainties quantification and reduction in RANS simulations. The result demonstrates that informative physics-based prior plays an important role in improving the quantification of model-form uncertainties, particularly when the observation data are limited. Moreover, it suggests that the proposed Bayesian framework is an effective way to incorporate empirical knowledge from various sources.


title: Interference Alignment for the K-user Interference Channel with Imperfect CSI

abstract: In this paper we explore the information-theoretic aspects of interference alignment and its relation to channel state information (CSI). For the $K-$user interference channel using different changing patterns between different users, we propose several methods to align some parts of interferences and to increase what is achieved by time sharing method. For more practical case when all the channel links connected to the same destination have the same changing pattern, we find an upper-bound and analyze it for the large interference channel network. This result shows that when the size of the network increases, the upper-bound value goes to $\frac{\sqrt{K}}{2}$. For the fast fading channel when all the channels have the same changing pattern, we show that when the direct links have different characteristic functions (channel permutation or memory), in the absence of half part of CSI (cross links) at both transmitters and receivers, one can achieve $K/2$ degrees-of-freedom (DoF). Also by the converse proof we show that this is the minimum channel information to achieve maximum DoF of $\frac{K}{2}$. Throughout this work, this fact has been pinpointed to prove statements about more general partial state CSI and achievable DoF. In other words, for the 3-user fully connected interference channel we find out while $\frac{3}{2}$ lies in achievable DoF, we don't need to know half part of the CSI. Also, the result has been extended to a more general form for $K-$user interference channel and through the converse proof, its functionality on channel state is proved to be optimum.


title: Large Scale Distributed Semi-Supervised Learning Using Streaming Approximation

abstract: Traditional graph-based semi-supervised learning (SSL) approaches, even though widely applied, are not suited for massive data and large label scenarios since they scale linearly with the number of edges $|E|$ and distinct labels $m$. To deal with the large label size problem, recent works propose sketch-based methods to approximate the distribution on labels per node thereby achieving a space reduction from $O(m)$ to $O(\log m)$, under certain conditions. In this paper, we present a novel streaming graph-based SSL approximation that captures the sparsity of the label distribution and ensures the algorithm propagates labels accurately, and further reduces the space complexity per node to $O(1)$. We also provide a distributed version of the algorithm that scales well to large data sizes. Experiments on real-world datasets demonstrate that the new method achieves better performance than existing state-of-the-art algorithms with significant reduction in memory footprint. We also study different graph construction mechanisms for natural language applications and propose a robust graph augmentation strategy trained using state-of-the-art unsupervised deep learning architectures that yields further significant quality gains.


title: From confined spinons to emergent fermions: Observation of elementary magnetic excitations in a transverse-field Ising chain

abstract: We report on spectroscopy study of elementary magnetic excitations in an Ising-like antiferromagnetic chain compound SrCo$_2$V$_2$O$_8$ as a function of temperature and applied transverse magnetic field up to 25 T. An optical as well as an acoustic branch of confined spinons, the elementary excitations at zero field, are identified in the antiferromagnetic phase below the N\'{e}el temperature of 5 K and described by a one-dimensional Schr\"{o}dinger equation. The confinement can be suppressed by an applied transverse field and a quantum disordered phase is induced at 7 T. In this disordered paramagnetic phase, we observe three emergent fermionic excitations with different transverse-field dependencies. The nature of these modes is clarified by studying spin dynamic structure factor of a 1D transverse-field Heisenberg-Ising (XXZ) model using the method of infinite time evolving block decimation. Our work reveals emergent quantum phenomena and provides a concrete system for testifying theoretical predications of one-dimension quantum spin models.


title: On stable Baire classes

abstract: We introduce and study adhesive spaces. Using this concept we obtain a characterization of stable Baire maps $f:X\to Y$ of the class $\alpha$ for wide classes of topological spaces. In particular, we prove that for a topological space $X$ and a contractible space $Y$ a map $f:X\to Y$ belongs to the $n$'th stable Baire class if and only if there exist a sequence $(f_k)_{k=1}^\infty$ of continuous maps $f_k:X\to Y$ and a sequence $(F_k)_{k=1}^\infty$ of functionally ambiguous sets of the $n$'th class in $X$ such that $f|_{F_k}=f_k|_{F_k}$ for every $k$. Moreover, we show that every monotone function $f:\mathbb R\to \mathbb R$ is of the $\alpha$'th stable Baire class if and only if it belongs to the first stable Baire class.


title: A post-processing technique for stabilizing the discontinuous pressure projection operator in marginally-resolved incompressible inviscid flow

abstract: A method for post-processing the velocity after a pressure projection is developed that helps to maintain stability in an under-resolved, inviscid, discontinuous element-based simulation for use in environmental fluid mechanics process studies. The post-processing method is needed because of spurious divergence growth at element interfaces due to the discontinuous nature of the discretization used. This spurious divergence eventually leads to a numerical instability. Previous work has shown that a discontinuous element-local projection onto the space of divergence-free basis functions is capable of stabilizing the projection method, but the discontinuity inherent in this technique may lead to instability in under-resolved simulations. By enforcing inter-element discontinuity and requiring a divergence-free result in the weak sense only, a new post-processing technique is developed that simultaneously improves smoothness and reduces divergence in the pressure-projected velocity field at the same time. When compared against a non-post-processed velocity field, the post-processed velocity field remains stable far longer and exhibits better smoothness and conservation properties.


title: Deflation-accelerated preconditioning of the Poisson-Neumann Schur problem on long domains with a high-order discontinuous element-based collocation method

abstract: A combination of block-Jacobi and deflation preconditioning is used to solve a high-order discontinuous collocation-based discretization of the Schur complement of the Poisson-Neumann system as arises in the operator splitting of the incompressible Navier-Stokes equations. The preconditioners and deflation vectors are chosen to mitigate the effects of ill-conditioning due to highly-elongated domains and to achieve GMRES convergence independent of the size of the grid. The ill-posedness of the Poisson-Neumann system manifests as an inconsistency of the Schur complement problem, but it is shown that this can be accounted for with appropriate projections out of the null space of the Schur matrix without affecting the accuracy of the solution. The combined deflation/block-Jacobi preconditioning is compared with two-level non-overlapping additive Schwarz preconditioning of the Schur problem, and while both methods achieve convergence independent of the grid size, deflation is shown to require half as many GMRES iterations and $25\%$ less wall-clock time for a variety of grid sizes and domain aspect ratios. The deflation methods shown to be effective for the two-dimensional Poisson-Neumann problem are extensible to the three-dimensional problem assuming a Fourier discretization in the third dimension.


title: On strongly separately continuous functions on sequence spaces

abstract: We study strongly separately continuous real-valued function defined on the Banach spaces $\ell_p$. Determining sets for the class of strongly separately continuous functions on $\ell_p$ are characterized. We prove that for every $1\le \alpha<\omega_1$ there exists a strongly separately continuous function which belongs the $(\alpha+1)$'th Baire class and does not belong to the $\alpha$'th Baire class on $\ell_p$. We show that any open set in $\ell_p$ is the set of discontinuities of a strongly separately continuous real-valued function.


title: Financial market models in discrete time beyond the concave case

abstract: In this article we propose a study of market models starting from a set of axioms, as one does in the case of risk measures. We define a market model simply as a mapping from the set of adapted strategies to the set of random variables describing the outcome of trading. We do not make any concavity assumptions. The first result is that under sequential upper-semicontinuity the market model can be represented as a normal integrand. We then extend the concept of no-arbitrage to this setup and study its consequences as the super-hedging theorem and utility maximization. Finally, we show how to extend the concepts and results to the case of vector-valued market models, an example of which is the Kabanov model of currency markets.


title: Optimal insider control and semimartingale decompositions under enlargement of filtration

abstract: We combine stochastic control methods, white noise analysis and Hida-Malliavin calculus applied to the Donsker delta functional to obtain new representations of semimartingale decompositions under enlargement of filtrations. The results are illustrated by explicit examples.


title: Long-Time Asymptotics for the integrable discrete nonlinear Schr\"odinger equation: The Focusing Case

abstract: We investigate the long-time asymptotics for the focusing integrable discrete nonlinear Schr\"odinger equation. Under generic assumptions on the initial value, the solution is asymptotically a sum of 1-solitons. We find different phase shift formulas in different regions. Along rays away from solitons, the behavior of the solution is decaying oscillation. This is one way of stating the soliton resolution conjecture. The proof is based on the nonlinear steepest descent method.


title: The 825 Smallest Right-Angled Hyperbolic Polyhedra

abstract: An algorithm for determining the list of smallest volume right-angled hyperbolic polyhedra in dimension 3 is described. This algorithm has been implemented on computer using the program Orb to compute volumes, and the first 825 polyhedra in the list have been determined.


title: On the origin of near infrared photoluminescence in Bismuth-doped aluminosilicate glass

abstract: The near infrared (NIR) photoluminescence (PL) in Bismuth-doped aluminosilicate glasses was reported about of 16 years ago. Although it has since been developed various kinds of fiber lasers and amplifiers based on the Bismuth-doped silica glasses, the main problem, namely the nature of NIR PL, remains unsolved. Here we show that this famous NIR PL in Bismuth-doped aluminosilicate glass originates from the defect, most probably positively charged oxygen vacancy V$_{O}^{2+}$ in the glass network. This defect interacts with Bi$^+$ ion in its environment via the energy transfer.


title: Comparison of 30 THz impulsive burst time development to microwaves, H-alpha, EUV, and GOES soft X-rays

abstract: The recent discovery of impulsive solar burst emission in the 30 THz band is raising new interpretation challenges. One event associated with a GOES M2 class flare has been observed simultaneously in microwaves, H-alpha, EUV, and soft X-ray bands. Although these new observations confirm some features found in the two prior known events, they exhibit time profile structure discrepancies between 30 THz, microwaves, and hard X-rays (as inferred from the Neupert effect). These results suggest a more complex relationship between 30 THz emission and radiation produced at other wavelength ranges. The multiple frequency emissions in the impulsive phase are likely to be produced at a common flaring site lower in the chromosphere. The 30 THz burst emission may be either part of a nonthermal radiation mechanism or due to the rapid thermal response to a beam of high-energy particles bombarding the dense solar atmosphere.


title: Fast Algorithms for Game-Theoretic Centrality Measures

abstract: In this dissertation, we analyze the computational properties of game-theoretic centrality measures. The key idea behind game-theoretic approach to network analysis is to treat nodes as players in a cooperative game, where the value of each coalition of nodes is determined by certain graph properties. Next, the centrality of any individual node is determined by a chosen game-theoretic solution concept (notably, the Shapley value) in the same way as the payoff of a player in a cooperative game. On one hand, the advantage of game-theoretic centrality measures is that nodes are ranked not only according to their individual roles but also according to how they contribute to the role played by all possible subsets of nodes. On the other hand, the disadvantage is that the game-theoretic solution concepts are typically computationally challenging. The main contribution of this dissertation is that we show that a wide variety of game-theoretic solution concepts on networks can be computed in polynomial time. Our focus is on centralities based on the Shapley value and its various extensions, such as the Semivalues and Coalitional Semivalues. Furthermore, we prove #P-hardness of computing the Shapley value in connectivity games and propose an algorithm to compute it. Finally, we analyse computational properties of generalized version of cooperative games in which order of player matters. We propose a new representation for such games, called generalized marginal contribution networks, that allows for polynomial computation in the size of the representation of two dedicated extensions of the Shapley value to this class of games.


title: Muonic atoms and the nuclear structure

abstract: High-precision laser spectroscopy of atomic energy levels enables the measurement of nuclear properties. Sensitivity to these properties is particularly enhanced in muonic atoms which are bound systems of a muon and a nucleus. Exemplary is the measurement of the proton charge radius from muonic hydrogen performed by the CREMA collaboration which resulted in an order of magnitude more precise charge radius as extracted from other methods but at a variance of 7 standard deviations. Here, we summarize the role of muonic atoms for the extraction of nuclear charge radii, we present the status of the so called "proton charge radius puzzle", and we sketch how muonic atoms can be used to infer also the magnetic nuclear radii, demonstrating again an interesting interplay between atomic and particle/nuclear physics.


title: Double Higgs boson production and decay in Randall-Sundrum model at hadron colliders

abstract: We investigate the double Higgs production and decay at the $14~ {\rm TeV}$ LHC and $33~ {\rm TeV}$ HE-LHC in both the standard model and Randall-Sundrum (RS) model. In our calculation we consider reasonably only the contribution of the lightest two Kaluza-Klein (KK) gravitons. We present the integrated cross sections and some kinematic distributions in both models. Our results show that the RS effect in the vicinities of $M_{HH} \sim M_{1}$, $M_{2}$ (the masses of the lightest two KK gravitons) or in the central Higgs rapidity region is quite significant, and can be extracted from the heavy SM background by imposing proper kinematic cuts on final particles. We also study the dependence of the cross section on the RS model parameters, the first KK graviton mass $M_1$ and the effective coupling $c_0$, and find that the RS effect is reduced obviously with the increment of $M_1$ or decrement of $c_0$.