title: Visual Text Correction

abstract: Videos, images, and sentences are mediums that can express the same semantics. One can imagine a picture by reading a sentence or can describe a scene with some words. However, even small changes in a sentence can cause a significant semantic inconsistency with the corresponding video/image. For example, by changing the verb of a sentence, the meaning may drastically change. There have been many efforts to encode a video/sentence and decode it as a sentence/video. In this research, we study a new scenario in which both the sentence and the video are given, but the sentence is inaccurate. A semantic inconsistency between the sentence and the video or between the words of a sentence can result in an inaccurate description. This paper introduces a new problem, called Visual Text Correction (VTC), i.e., finding and replacing an inaccurate word in the textual description of a video. We propose a deep network that can simultaneously detect an inaccuracy in a sentence, and fix it by replacing the inaccurate word(s). Our method leverages the semantic interdependence of videos and words, as well as the short-term and long-term relations of the words in a sentence. In our formulation, part of a visual feature vector for every single word is dynamically selected through a gating process. Furthermore, to train and evaluate our model, we propose an approach to automatically construct a large dataset for VTC problem. Our experiments and performance analysis demonstrates that the proposed method provides very good results and also highlights the general challenges in solving the VTC problem. To the best of our knowledge, this work is the first of its kind for the Visual Text Correction task.


title: Faster Deep Q-learning using Neural Episodic Control

abstract: The research on deep reinforcement learning which estimates Q-value by deep learning has been attracted the interest of researchers recently. In deep reinforcement learning, it is important to efficiently learn the experiences that an agent has collected by exploring environment. We propose NEC2DQN that improves learning speed of a poor sample efficiency algorithm such as DQN by using good one such as NEC at the beginning of learning. We show it is able to learn faster than Double DQN or N-step DQN in the experiments of Pong.


title: Stretched Exponential Relaxation of Glasses: Origin of the Mixed Alkali Effect

abstract: Although it is indeed commonly believed that, as frozen supercooled liquids, glasses should continue to flow over the years (e.g., in the case of the stained-glass windows of medieval cathedrals), the dramatic increase of their viscosity below the glass transition temperature suggests, on the contrary, that their relaxation time is on the order of 10$^{32}$ years at room temperature. However, a recent study conducted by Mauro et al. reported the intriguing dynamics of the relaxation of a commercial Corning Gorilla Glass at room temperature, over 1.5 years. Here, we report a novel atomistic simulation method allowing us to directly access the long-term (years) dynamics of glass relaxation at room temperature. Based on the simulation of a series of mixed alkali silicate glasses, we demonstrate that room-temperature relaxation is a direct consequence of the mixed alkali effect. Although both volume and energy feature a stretched exponential relaxation, our results reveal a bifurcation of the stretching exponents, with $\beta$ = 3/5 and 3/7 for energy and volume relaxation, respectively. Relaxation is found to occur through the diffusion of local stressed structural instabilities inside the atomic network, which anneal each other when a compressed atomic unit meets one that is under tension. The driving force for such diffusion-trap relaxation mechanism is found to be at a maximum when the concentrations of each alkali atom equal each other, which arises from a balance between the concentration of each alkali atom and the magnitude of the local stress that they undergo.


title: Using Malware Self-Defence Mechanism to Harden Defence and Remediation Tools

abstract: Malware are becoming a major problem to every individual and organization in the cyber world. They are advancing in sophistication in many ways. Besides their advanced abilities to penetrate and stay evasive against detection and remediation, they have strong resilience mechanisms that are defying all attempts to eradicate them. Malware are also attacking defence of the systems and making them defunct. When defences are brought down, the organisation or individual will lose control over the IT assets and defend against the Malware perpetuators. In order to gain the capability to defend, it is necessary to keep the defences or remediation tools active and not defunct. Given that Malware have proven to be resilient against deployed defences and remediation tools, the proposed research advocates to utilize the techniques used by Malware to harden the tools in a similar manner. In this paper, it is demonstrated that the proposition of using Malware resilient designs can be applied to harden the tools through experiments.


title: Deformation of a biconcave-discoid capsule in extensional flow and electric field

abstract: Biconcave-discoid (empirical shape of a red blood cell) capsule finds numerous applications in the field of bio-fluid dynamics and rheology, apart from understanding the behavior of red blood cells (RBC) in blood flow. A detailed analysis is, therefore, carried out to understand the effects of the uniaxial extensional flow and electric field on the deformation of a RBC and biconcave-discoid polymeric capsule in the axisymmetric regime. The transient deformation is computed numerically using axisymmetric boundary integral method for Stokes flow considering the Skalak membrane constitutive law as the model for the area incompressible RBC/biconcave-discoid capsule membrane. A remarkable biconcave-discoid to prolate spheroid transition is observed when the elastic energy is overcome by the viscous or Maxwell electric stresses. Moreover, the significance of membrane stresses developed during the deformation and at steady state and different modes of deformation are presented. This study should be useful in designing an artificial system involving biological cells under an electric field.


title: Distance formulas capable of unifying Euclidian space and probability space

abstract: For pattern recognition like image recognition, it has become clear that each machine-learning dictionary data actually became data in probability space belonging to Euclidean space. However, the distances in the Euclidean space and the distances in the probability space are separated and ununified when machine learning is introduced in the pattern recognition. There is still a problem that it is impossible to directly calculate an accurate matching relation between the sampling data of the read image and the learned dictionary data. In this research, we focused on the reason why the distance is changed and the extent of change when passing through the probability space from the original Euclidean distance among data belonging to multiple probability spaces containing Euclidean space. By finding the reason of the cause of the distance error and finding the formula expressing the error quantitatively, a possible distance formula to unify Euclidean space and probability space is found. Based on the results of this research, the relationship between machine-learning dictionary data and sampling data was clearly understood for pattern recognition. As a result, the calculation of collation among data and machine-learning to compete mutually between data are cleared, and complicated calculations became unnecessary. Finally, using actual pattern recognition data, experimental demonstration of a possible distance formula to unify Euclidean space and probability space discovered by this research was carried out, and the effectiveness of the result was confirmed.


title: A Note on the Inception Score

abstract: Deep generative models are powerful tools that have produced impressive results in recent years. These advances have been for the most part empirically driven, making it essential that we use high quality evaluation metrics. In this paper, we provide new insights into the Inception Score, a recently proposed and widely used evaluation metric for generative models, and demonstrate that it fails to provide useful guidance when comparing models. We discuss both suboptimalities of the metric itself and issues with its application. Finally, we call for researchers to be more systematic and careful when evaluating and comparing generative models, as the advancement of the field depends upon it.


title: Domain-Specific Face Synthesis for Video Face Recognition from a Single Sample Per Person

abstract: The performance of still-to-video FR systems can decline significantly because faces captured in unconstrained operational domain (OD) over multiple video cameras have a different underlying data distribution compared to faces captured under controlled conditions in the enrollment domain (ED) with a still camera. This is particularly true when individuals are enrolled to the system using a single reference still. To improve the robustness of these systems, it is possible to augment the reference set by generating synthetic faces based on the original still. However, without knowledge of the OD, many synthetic images must be generated to account for all possible capture conditions. FR systems may, therefore, require complex implementations and yield lower accuracy when training on many less relevant images. This paper introduces an algorithm for domain-specific face synthesis (DSFS) that exploits the representative intra-class variation information available from the OD. Prior to operation, a compact set of faces from unknown persons appearing in the OD is selected through clustering in the captured condition space. The domain-specific variations of these face images are projected onto the reference stills by integrating an image-based face relighting technique inside the 3D reconstruction framework. A compact set of synthetic faces is generated that resemble individuals of interest under the capture conditions relevant to the OD. In a particular implementation based on sparse representation classification, the synthetic faces generated with the DSFS are employed to form a cross-domain dictionary that account for structured sparsity. Experimental results reveal that augmenting the reference gallery set of FR systems using the proposed DSFS approach can provide a higher level of accuracy compared to state-of-the-art approaches, with only a moderate increase in its computational complexity.


title: A construction of sequentially Cohen-Macaulay graphs

abstract: For every simple graph $G$, a class of multiple clique cluster-whiskered graphs $G^{md}$ is introduced, and it is shown that all graphs $G^{md}$ are vertex decomposable, thus the independence simplicial complex ${\rm Ind}\,G^{md}$ is sequentially Cohen-Macaulay; the properties of the graphs $G^{md}$ and the clique-whiskered graph $G^\pi$ are studied, including the enumeration of facets of the complex ${\rm Ind}\, G^{\pi}$ and, the calculation of Betti numbers of the cover ideal $I_c(G^{md})$.


title: Standing waves for quasilinear Schr\"{o}inger equations with indefinite potentials

abstract: We consider quasilinear Schr\"{o}dinger equations in $\mathbb{R}^{N}$ of the form% \[ -\Delta u+V(x)u-u\Delta(u^{2})=g(u)\text{,}% \] where $g(u)$ is $4$-superlinear. Unlike all known results in the literature, the Schr\"{o}dinger operator $-\Delta+V$ is allowed to be indefinite, hence the variational functional does not satisfy the mountain pass geometry. By a local linking argument and Morse theory, we obtain a nontrivial solution for the problem. In case that $g$ is odd, we get an unbounded sequence of solutions.


title: On varieties of groups generated by wreath products of abelian groups

abstract: Generalizing results of Higman and Houghton on varieties generated by wreath products of finite cycles, we prove that the (direct or cartesian) wreath product of arbitrary abelian groups $A$ and $B$ generates the product variety $var (A) \cdot var (B)$ if and only if one of the groups $A$ and $B$ is not of finite exponent, or if $A$ and $B$ are of finite exponents $m$ and $n$ respectively and for all primes $p$ dividing both $m$ and $n$, the factors $B[p^k]/B[p^{k-1}]$ are infinite, where $B[s]=\langle b\in B|\,b^{s}=1 \rangle$ and where $p^k$ is the highest power of $p$ dividing $n$.


title: Trainable ISTA for Sparse Signal Recovery

abstract: In this paper, we propose a novel sparse signal recovery algorithm called Trainable ISTA (TISTA). The proposed algorithm consists of two estimation units such as a linear estimation unit and a minimum mean squared error (MMSE) estimator-based shrinkage unit. The estimated error variance required in the MMSE shrinkage unit is precisely estimated from a tentative estimate of the original signal. The remarkable feature of the proposed scheme is that TISTA includes adjustable variables controlling a step size and the error variance for the MMSE shrinkage. The variables are adjusted by standard deep learning techniques. The number of trainable variables of TISTA is equal to the number of iteration rounds and it is much smaller than that of known learnable sparse signal recovery algorithms. This feature leads to highly stable and fast training processes of TISTA. Computer experiments show that TISTA is applicable to various classes of sensing matrices such as Gaussian matrices, binary matrices and matrices with large condition numbers. Numerical results also demonstrate that TISTA shows significantly faster convergence than those of AMP and LISTA in many cases.


title: On the efficiency of computational imaging with structured illumination

abstract: A generic computational imaging setup is considered which assumes sequential illumination of a semi-transparent object by an arbitrary set of structured illumination patterns. For each incident illumination pattern, all transmitted light is collected by a photon-counting bucket (single-pixel) detector. The transmission coefficients measured in this way are then used to reconstruct the spatial distribution of the object's projected transmission. It is demonstrated that the squared spatial resolution of such a setup is usually equal to the ratio of the image area to the number of linearly independent illumination patterns. If the noise in the measured transmission coefficients is dominated by photon shot noise, then the ratio of the spatially-averaged squared mean signal to the spatially-averaged noise variance in the "flat" distribution reconstructed in the absence of the object, is equal to the average number of registered photons when the illumination patterns are orthogonal. The signal-to-noise ratio in a reconstructed transmission distribution is always lower in the case of non-orthogonal illumination patterns due to spatial correlations in the measured data. Examples of imaging methods relevant to the presented analysis include conventional imaging with a pixelated detector, computational ghost imaging, compressive sensing, super-resolution imaging and computed tomography.


title: Optimized Preference-Aware Multi-path Video Streaming with Scalable Video Coding

abstract: Most client hosts are equipped with multiple network interfaces (e.g., WiFi and cellular networks). Simultaneous access of multiple interfaces can significantly improve the users' quality of experience (QoE) in video streaming. An intuitive approach to achieve it is to use Multi-path TCP (MPTCP). However, the deployment of MPTCP, especially with link preference, requires OS kernel update at both the client and server side, and a vast amount of commercial content providers do not support MPTCP. Thus, in this paper, we realize a multi-path video streaming algorithm in the application layer instead, by considering Scalable Video Coding (SVC), where each layer of every chunk can be fetched from only one of the orthogonal paths. We formulate the quality decisions of video chunks subject to the available bandwidth of the different paths, chunk deadlines, and link preferences as an optimization problem. The objective is to to optimize a QoE metric that maintains a tradeoff between maximizing the playback rate of every chunk and ensuring fairness among chunks. The QoE is a weighted some of the following metrics: skip/stall duration, average playback rate, and quality switching rate. However, the weights are chosen such that pushing more chunks to the same quality level is more preferable over any other choice. Even though the formulation is a non-convex discrete optimization, we show that the problem can be solved optimally with a polynomial complexity in some special cases. We further propose an online algorithm where several challenges including bandwidth prediction errors, are addressed. Extensive emulated experiments in a real testbed with real traces of public dataset reveal the robustness of our scheme and demonstrate its significant performance improvement compared to other multi-path algorithms.


title: Transition to light-like trajectories in thin shell dynamics

abstract: It was recently shown that a massive thin shell that is sandwiched between a flat interior and an exterior geometry given by the outgoing Vaidya metric becomes null in a finite proper time. We investigate this transition for a general spherically-symmetric metric outside the shell and find that it occurs generically. Once the shell is null its persistence on a null trajectory can be ensured by several mechanisms that we describe. Using the outgoing Vaidya metric as an example we show that if a dust shell acquires surface pressure on its transition to a null trajectory it can evade the Schwarzschild radius through its collapse. Alternatively, the pressureless collapse may continue if the exterior geometry acquires a more general form.


title: Refinements of Levenshtein bounds in $q$-ary Hamming spaces

abstract: We develop refinements of the Levenshtein bound in $q$-ary Hamming spaces by taking into account the discrete nature of the distances versus the continuous behavior of certain parameters used by Levenshtein. The first relevant cases are investigated in detail and new bounds are presented. In particular, we derive generalizations and $q$-ary analogs of a MacEliece bound. We provide evidence that our approach is as good as the complete linear programming and discuss how faster are our calculations. Finally, we present a table with parameters of codes which, if exist, would attain our bounds.


title: Lithiation of Silicon Anode based on Soft X-ray Emission Spectroscopy: A Theoretical Study

abstract: Due to its exceptional lithium storage capacity silicon is considered as a promising candidate for anode material in lithium-ion batteries (LIBs). In the present work we demonstrate that methods of the soft X-ray emission spectroscopy (SXES) can be used as a powerful tool for the comprehensive analysis of the electronic and structural properties of lithium silicides Li$_{x}$Si forming in LIB's anode upon Si lithiation. On the basis of density functional theory (DFT) and molecular dynamics (MD) simulations it is shown that coordination of Si atoms in Li$_{x}$Si decreases with increase in Li concentration both for the crystalline and amorphous phases. In amorphous a-Li$_{x}$Si alloys Si tends to cluster forming Si-Si covalent bonds even at the high lithium concentration. It is demonstrated that the Si-L$_{2,3}$ emission bands of the crystalline and amorphous Li$_{x}$Si alloys show different spectral dependencies reflecting the process of disintegration of Si-Si network into Si clusters and chains of the different sizes upon Si lithiation. The Si-L$_{2,3}$ emission band of Li$_{x}$Si alloys become narrower and shifts towards higher energies with an increase in Li concentration. The shape of the emission band depends on the relative contribution of the X-ray radiation from the Si atoms having different coordination. This feature of the Si-L$_{2,3}$ spectra of Li$_{x}$Si alloys can be used for the detailed analysis of the Si lithiation process and LIB's anode structure identification.


title: Massive neutron star with strangeness in a relativistic mean-field model with a high-density cut-off

abstract: The properties of strangeness neutron star are studied within relativistic mean-field (RMF) model via including a logarithmic interaction as a function of scalar meson field. This logarithmic interaction, named as the $\sigma$-cut potential, can largely reduce the attractive contributions of scalar meson field at high density without any influence on nuclear structure around normal saturation density. In this work, the TM1 parameter set is chosen as the RMF interaction, while the strengths of logarithmic interaction are constrained by the properties of finite nuclei so that we can obtain a reasonable effective nucleon-nucleon interaction. The hyperons, $\Lambda,~\Sigma$, and $\Xi$ are also considered in neutron stars within this framework, whose coupling constants with mesons are determined by the latest hyperon-nucleon and $\Lambda$-$\Lambda$ potentials extracted from the experimental data of hypernuclei. The maximum mass of neutron star can be larger than two solar mass with these hyperons. Furthermore, the nucleon mass at high density will be saturated due to this additional $\sigma$-cut potential, which is consistent with the conclusions from the microscopic calculations such as, Brueckner-Hartree-Fock theory and quark mean-field model.


title: Algebraic curves $A^{\circ l}(x)-U(y)=0$ and arithmetic of orbits of rational functions

abstract: We give a description of pairs of complex rational functions $A$ and $U$ of degree at least two such that for every $d\geq 1$ the algebraic curve $A^{\circ d}(x)-U(y)=0$ has a factor of genus zero or one. In particular, we show that if $A$ is not a `generalized Latt\`es map', then this condition is satisfied if and only if there exists a rational function $V$ such that $U\circ V=A^{\circ l}$ for some $l\geq 1.$ We also prove a version of the dynamical Mordell-Lang conjecture, concerning intersections of orbits of points from $\mathbb P^1(K)$ under iterates of $A$ with the value set $U(\mathbb P^1(K))$, where $A$ and $U$ are rational functions defined over a number field $K.$


title: On 't Hooft Defects, Monopole Bubbling and Supersymmetric Quantum Mechanics

abstract: We revisit the localization computation of the expectation values of 't Hooft operators in $\mathcal{N}=2^*$ SU(N) theory on $\mathbb{R}^3 \times S^1$. We show that the part of the answer arising from "monopole bubbling" on $\mathbb{R}^3$ can be understood as an equivariant integral over a Kronheimer-Nakajima moduli space of instantons on an orbifold of $\mathbb{C}^2$. It can also be described as a Witten index of a certain supersymmetric quiver quantum mechanics with $\mathcal{N}=(4,4)$ supersymmetry. The map between the defect data and the quiver quantum mechanics is worked out for all values of N. For the SU(2) theory, we compute several examples of these line defect expectation values using the Witten index formula and confirm that the expressions agree with the formula derived by Okuda, Ito and Taki. In addition, we present a Type IIB construction -- involving D1-D3-NS5-branes -- for monopole bubbling in $\mathcal{N}=2^*$ SU(N) SYM and demonstrate how the quiver quantum mechanics arises in this brane picture.


title: Uniqueness of higher-dimensional phantom field wormholes

abstract: Based on the rigid positive energy theorem we proved the uniqueness of static spherically symmetric traversable wormholes with two asymptotically flat ends, being the higher-dimensional solutions of Einstein scalar phantom field. The proof is valid under the auxiliary condition imposed on wormhole mass and scalar charge.


title: Smeared nematic quantum phase transitions due to rare-region effects in inhomogeneous systems

abstract: The concept of a vestigial nematic order emerging from a "mother" spin or charge density-wave state has been applied to describe the phase diagrams of several systems, including unconventional superconductors. In a perfectly clean system, the two orders appear simultaneously via a first-order quantum phase transition, implying the absence of quantum criticality. Here, we investigate how this behavior is affected by impurity-free droplets that are naturally present in inhomogeneous systems. Due to their quantum dynamics, finite-size droplets sustain long-range nematic order but not long-range density-wave order. Interestingly, rare droplets with moderately large sizes undergo a second-order nematic transition even before the first-order quantum transition of the clean system. This gives rise to an extended regime of inhomogeneous nematic order, which is followed by a density-wave quantum Griffiths phase. As a result, a smeared quantum nematic transition, separated from the density-wave quantum transition, emerges in moderately disordered systems.


title: The impact of bundling licensed and unlicensed wireless service

abstract: Unlicensed spectrum has been viewed as a way to increase competition in wireless access and promote innovation in new technologies and business models. However, several recent papers have shown that the openness of such spectrum can also lead to it becoming over congested when used by competing wireless service providers (SPs). This in turn can result in the SPs making no profit and may deter them from entering the market. However, this prior work assumes that unlicensed access is a separate service from any service offered using licensed spectrum. Here, we instead consider the more common case were service providers bundle both licensed and unlicensed spectrum as a single service and offer this with a single price. We analyze a model for such a market and show that in this case SPs are able to gain higher profit than the case without bundling. It is also possible to get higher social welfare with bundling. Moreover, we explore the case where SPs are allowed to manage the customers' average percentage of time they receive service on unlicensed spectrum and characterize the social welfare gap between the profit maximizing and social welfare maximizing setting.


title: Procrustes Metrics on Covariance Operators and Optimal Transportation of Gaussian Processes

abstract: Covariance operators are fundamental in functional data analysis, providing the canonical means to analyse functional variation via the celebrated Karhunen--Lo\`eve expansion. These operators may themselves be subject to variation, for instance in contexts where multiple functional populations are to be compared. Statistical techniques to analyse such variation are intimately linked with the choice of metric on covariance operators, and the intrinsic infinite-dimensionality of these operators. In this paper, we describe the manifold geometry of the space of trace-class infinite-dimensional covariance operators and associated key statistical properties, under the recently proposed infinite-dimensional version of the Procrustes metric. We identify this space with that of centred Gaussian processes equipped with the Wasserstein metric of optimal transportation. The identification allows us to provide a complete description of those aspects of this manifold geometry that are important in terms of statistical inference, and establish key properties of the Fr\'echet mean of a random sample of covariances, as well as generative models that are canonical for such metrics and link with the problem of registration of functional data.


title: Core-exsolved SiO$_2$ dispersal in the Earth's mantle

abstract: SiO$_2$ may have been expelled from the core directly following core formation in the early stages of Earth's accretion and onwards through the present day. On account of SiO$_2$'s low density with respect to both the core and the lowermost mantle, we examine the process of SiO$_2$ accumulation at the core-mantle boundary (CMB) and its incorporation into the mantle by buoyant rise. Today, if SiO$_2$ is 100-10000 times more viscous than lower mantle material, the dimensions of SiO$_2$ diapirs formed by the viscous Rayleigh-Taylor instability at the CMB would cause them to be swept into the mantle as inclusions of 100 m - 10 km diameter. Under early Earth conditions of rapid heat loss after core formation, SiO$_2$ diapirs of ~1 km diameter could have risen independently of mantle flow to their level of neutral buoyancy in the mantle, trapping them there due to a combination of intrinsically high viscosity and neutral buoyancy. We examine the SiO$_2$ yield by assuming Si+O saturation at the conditions found at the base of a magma ocean and find that for a range of conditions, dispersed bodies could reach as high as 8.5 vol.% in parts of the lower mantle. At such low concentration, their effect on aggregate seismic wavespeeds is within observational seismology uncertainty. However, their presence can account for small-scale scattering in the lower mantle due to the bodies' large velocity contrast. We conclude that the shallow lower mantle (700-1500 km depth) could harbor SiO$_2$ released in early Earth times.


title: Locally convex spaces and Schur type properties

abstract: In the main result of the paper we extend Rosenthal's characterization of Banach spaces with the Schur property by showing that for a quasi-complete locally convex space $E$ whose separable bounded sets are metrizable the following conditions are equivalent: (1) $E$ has the Schur property, (2) $E$ and $E_w$ have the same sequentially compact sets, where $E_w$ is the space $E$ with the weak topology, (3) $E$ and $E_w$ have the same compact sets, (4) $E$ and $E_w$ have the same countably compact sets, (5) $E$ and $E_w$ have the same pseudocompact sets, (6) $E$ and $E_w$ have the same functionally bounded sets, (7) every bounded non-precompact sequence in $E$ has a subsequence which is equivalent to the unit basis of $\ell_1$ and (8) every bounded non-precompact sequence in $E$ has a subsequence which is discrete and $C$-embedded in $E_w$.


title: Gravitational collapse in $(2+1)$-dimensional Eddington-inspired Born-Infeld gravity

abstract: We study here the gravitational collapse of dust in $(2+1)$-dimensional spacetimes for the formation of black holes (BH) and naked singularities (NS) as final states in a modified theory of gravity, with vanishing cosmological constant. From the perspective of cosmic censorship, we investigate the collapse of a dust cloud in Eddington-inspired Born-Infeld gravity (EiBI) and compare the results with those of general relativity (GR). It turns out that, as opposed to the general relativistic situation, where the outcome of dust collapse in $(2+1)$ dimensions is always a naked singularity, the EiBI theory has a certain range of parameter values that avoid the naked singularity. This indicates that a $(3+1)$-dimensional generalization of these results could be useful and worth examining. Finally, using the results here, we show that the singularity avoidance through homogeneous bounce in cosmology in this modified gravity is not stable.


title: The proximal alternating direction method of multipliers in the nonconvex setting: convergence analysis and rates

abstract: We propose two numerical algorithms in the fully nonconvex setting for the minimization of the sum of a smooth function and the composition of a nonsmooth function with a linear operator. The iterative schemes are formulated in the spirit of the proximal alternating direction method of multipliers and its linearized variant, respectively. The proximal terms are introduced via variable metrics, a fact which allows us to derive new proximal splitting algorithms for nonconvex structured optimization problems, as particular instances of the general schemes. Under mild conditions on the sequence of variable metrics and by assuming that a regularization of the associated augmented Lagrangian has the Kurdyka-Lojasiewicz property, we prove that the iterates converge to a KKT point of the objective function. By assuming that the augmented Lagrangian has the Lojasiewicz property, we also derive convergence rates for both the augmented Lagrangian and the iterates.


title: Quantum Spin Superfluid from Bose-Einstein Condensation of Spinons in Pyrochlore Spin Ice

abstract: Quantum spin ice in pyrochlore lattice exemplifies three dimensional frustrated spin systems.In existing studies, Bose-Einstein condensation of bosonic spinons gives rise to magnetically ordered ground state.A truly liquid quantum spin superfluid state that manifests a deconfined Higgs condensate of spinons is demonstrated.This state is shown to occur in the fully antiferromagnetic case of the non-Kramers quantum spin ice with a fluctuations-induced first-order quantum phase transition from the $U(1)$ spin liquid to the spin superfluid.The spin superfluid density jump is obtained analytically.


title: Energy-Efficient NOMA Enabled Heterogeneous Cloud Radio Access Networks

abstract: Heterogeneous cloud radio access networks (H-CRANs) are envisioned to be promising in the fifth generation (5G) wireless networks. H-CRANs enable users to enjoy diverse services with high energy efficiency, high spectral efficiency, and low-cost operation, which are achieved by using cloud computing and virtualization techniques. However, H-CRANs face many technical challenges due to massive user connectivity, increasingly severe spectrum scarcity and energy-constrained devices. These challenges may significantly decrease the quality of service of users if not properly tackled. Non-orthogonal multiple access (NOMA) schemes exploit non-orthogonal resources to provide services for multiple users and are receiving increasing attention for their potential of improving spectral and energy efficiency in 5G networks. In this article a framework for energy-efficient NOMA H-CRANs is presented. The enabling technologies for NOMA H-CRANs are surveyed. Challenges to implement these technologies and open issues are discussed. This article also presents the performance evaluation on energy efficiency of H-CRANs with NOMA.


title: State of the Art, Taxonomy, and Open Issues on Cognitive Radio Networks with NOMA

abstract: The explosive growth of mobile devices and the rapid increase of wideband wireless services call for advanced communication techniques that can achieve high spectral efficiency and meet the massive connectivity requirement. Cognitive radio (CR) and non-orthogonal multiple access (NOMA) are envisioned to be important solutions for the fifth generation wireless networks. Integrating NOMA techniques into CR networks (CRNs) has the tremendous potential to improve spectral efficiency and increase the system capacity. However, there are many technical challenges due to the severe interference caused by using NOMA. Many efforts have been made to facilitate the application of NOMA into CRNs and to investigate the performance of CRNs with NOMA. This article aims to survey the latest research results along this direction. A taxonomy is devised to categorize the literature based on operation paradigms, enabling techniques, design objectives and optimization characteristics. Moreover, the key challenges are outlined to provide guidelines for the domain researchers and designers to realize CRNs with NOMA. Finally, the open issues are discussed.


title: On locally compact semitopological graph inverse semigroups

abstract: In this paper we investigate locally compact semitopological graph inverse semigroups. Our main result is the following: if a directed graph $E$ is strongly connected and contains a finite amount of vertices then a locally compact semitopological graph inverse semigroup $G(E)$ is either compact or discrete. This result generalizes results of Gutik and Bardyla who proved the above dichotomy for locally compact semitopological polycyclic monoids $\mathcal{P}_1$ and $\mathcal{P}_{\lambda}$, respectively.


title: Using reinforcement learning to learn how to play text-based games

abstract: The ability to learn optimal control policies in systems where action space is defined by sentences in natural language would allow many interesting real-world applications such as automatic optimisation of dialogue systems. Text-based games with multiple endings and rewards are a promising platform for this task, since their feedback allows us to employ reinforcement learning techniques to jointly learn text representations and control policies. We present a general text game playing agent, testing its generalisation and transfer learning performance and showing its ability to play multiple games at once. We also present pyfiction, an open-source library for universal access to different text games that could, together with our agent that implements its interface, serve as a baseline for future research.


title: A possible explanation of the parallel tracks in kilohertz quasi-periodic oscillations from low-mass-X-ray binaries

abstract: We recalculate the modes of the magnetohydrodynamics (MHD) waves in the MHD model (Shi, Zhang & Li 2014) of the kilohertz quasi-periodic oscillations (kHz QPOs) in neutron star low mass X-ray binaries (NS-LMXBs), in which the compressed magnetosphere is considered. A method on pointby- point scanning for every parameter of a normal LMXBs is proposed to determine the wave number in a NS-LMXB. The dependence of the twin kHz QPO frequencies on accretion rates ( DOt(M) ) is obtained with the wave number and magnetic field (B?) determined by our method. Based on the MHD model, a new explanation of the parallel tracks, i.e. the slowly varying effective magnetic field leads to the shift of parallel tracks in a source, is presented. In this study, we obtain a simple power-law relation between the kHz QPO frequencies and Dot(M) /B^2 ? in those sources. Finally, we study the dependence of kHz quasi-periodic oscillation frequencies on the spin, mass and radius of a neutron star. We find that the effective magnetic field, the spin, mass and radius of a neutron star lead to the parallel tracks in different sources.


title: Optimizing signal recycling for detecting a stochastic gravitational-wave background

abstract: Signal recycling is applied in laser interferometers such as the Advanced Laser Interferometer Gravitational-Wave Observatory (aLIGO) to increase their sensitivity to gravitational waves. In this study, signal recycling configurations for detecting a stochastic gravitational wave background are optimized based on aLIGO parameters. Optimal transmission of the signal recycling mirror (SRM) and detuning phase of the signal recycling cavity (SRC) under a fixed laser power and low-frequency cutoff are calculated. Based on the optimal configurations, the compatibility with a binary neutron star (BNS) search is discussed. Then, different laser powers and low-frequency cutoffs are considered. Two models for the dimensionless energy density of gravitational waves $\Omega_{gw}(f) = \Omega_{\alpha} (f/f_{ref})^{\alpha}$, the flat model $\alpha = 0$ and the $\alpha = 2/3$ model, are studied. For a stochastic background search, it is found that an interferometer using signal recycling has a better sensitivity than an interferometer not using it. The optimal stochastic search configurations are typically found when both the SRM transmission and the SRC detuning phase are low. In this region, the BNS range mostly lies between 160 and 180 Mpc. When a lower laser power is used (reducing radiation pressure at low frequencies), the optimal SRC detuning phase increases, the optimal SRM transmission increases and the optimal sensitivity improves. A reduced low-frequency cutoff gives a better sensitivity limit. For both models of $\Omega_{gw}$, a typical optimal sensitivity limit on the order of $10^{-10}$ is achieved at a reference frequency of $f_{ref} = 25$ Hz.


title: Antipodal sets in infinite dimensional Banach spaces

abstract: The following strengthening of the Elton-Odell theorem on the existence of a $(1+\epsilon)-$separated sequences in the unit sphere $S_X$ of an infinite dimensional Banach space $X$ is proved: There exists an infinite subset $S\subseteq S_X$ and a constant $d>1$, satisfying the property that for every $x,y\in S$ with $x\neq y$ there exists $f\in B_{X^*}$ such that $d\leq f(x)-f(y)$ and $f(y)\leq f(z)\leq f(x)$, for all $z\in S$.


title: Design Exploration of Hybrid CMOS-OxRAM Deep Generative Architectures

abstract: Deep Learning and its applications have gained tremendous interest recently in both academia and industry. Restricted Boltzmann Machines (RBMs) offer a key methodology to implement deep learning paradigms. This paper presents a novel approach for realizing hybrid CMOS-OxRAM based deep generative models (DGM). In our proposed hybrid DGM architectures, HfOx based (filamentary-type switching) OxRAM devices are extensively used for realizing multiple computational and non-computational functions such as: (i) Synapses (weights), (ii) internal neuron-state storage, (iii) stochastic neuron activation and (iv) programmable signal normalization. To validate the proposed scheme we have simulated two different architectures: (i) Deep Belief Network (DBN) and (ii) Stacked Denoising Autoencoder for classification and reconstruction of hand-written digits from a reduced MNIST dataset of 6000 images. Contrastive-divergence (CD) specially optimized for OxRAM devices was used to drive the synaptic weight update mechanism of each layer in the network. Overall learning rule was based on greedy-layer wise learning with no back propagation which allows the network to be trained to a good pre-training stage. Performance of the simulated hybrid CMOS-RRAM DGM model matches closely with software based model for a 2-layers deep network. Top-3 test accuracy achieved by the DBN was 95.5%. MSE of the SDA network was 0.003, lower than software based approach. Endurance analysis of the simulated architectures show that for 200 epochs of training (single RBM layer), maximum switching events/per OxRAM device was ~ 7000 cycles.


title: Large Tunneling Anisotropic Magnetoresistance mediated by Surface States

abstract: We investigated the tunneling anisotropic magnetoresistance (TAMR) in thick hcp Co films at cryogenic temperatures using scanning tunneling microscopy. At around -350 mV, a strong TAMR up to 30\% is found with a characteristic voltage dependence and a reversal of sign. With the help of \textit{ab initio} calculations the TAMR can be traced back to a spin-polarized occupied surface states that experience a strong spin-orbit interaction leading to a magnetization direction depending hybridization with bulk states.


title: Exponential Speedup of Quantum Annealing by Inhomogeneous Driving of the Transverse Field

abstract: We show, for quantum annealing, that a certain type of inhomogeneous driving of the transverse field erases first-order quantum phase transitions in the p-body interacting mean-field-type model with and without longitudinal random field. Since a first-order phase transition poses a serious difficulty for quantum annealing (adiabatic quantum computing) due to the exponentially small energy gap, the removal of first-order transitions means an exponential speedup of the annealing process. The present method may serve as a simple protocol for the performance enhancement of quantum annealing, complementary to non-stoquastic Hamiltonians.


title: Products of locally compact spaces are k_R-spaces

abstract: A theorem by Norman L. Noble from 1970 asserts that every product of completely regular, locally pseudo-compact k_R-spaces is a k_R-space. As a consequence, all direct products of locally compact Hausdorff spaces are k_R-spaces. We provide a streamlined proof for this fact.


title: Phenomenology of $\Xi_b \to \Xi_c\,\tau\,\nu$ decays

abstract: Deviations from the standard model prediction have been reported in various semileptonic $B$ decays mediated via $b \to c$ charged current interactions. In this context, we analyze semileptonic baryon decays $\Xi_b \to \Xi_c\,\tau\,\nu$ using the helicity formalism. We report numerical results on various observables such as the decay rate, ratio of branching ratio, lepton side forward backward asymmetries, longitudinal polarization fraction of the lepton, and the convexity parameter for this decay mode using results of relativistic quark model. We also provide an estimate of the new physics effect on these observables under various new physics scenarios.


title: Recovery of an embedded obstacle and the surrounding medium for Maxwell's system

abstract: In this paper, we are concerned with the inverse electromagnetic scattering problem of recovering a complex scatterer by the corresponding electric far-field data. The complex scatterer consists of an inhomogeneous medium and a possibly embedded perfectly electric conducting (PEC) obstacle. The far-field data are collected corresponding to incident plane waves with a fixed incident direction and a fixed polarisation, but frequencies from an open interval. It is shown that the embedded obstacle can be uniquely recovered by the aforementioned far-field data, independent of the surrounding medium. Furthermore, if the surrounding medium is piecewise homogeneous, then the medium can be recovered as well. Those unique recovery results are new to the literature. Our argument is based on low-frequency expansions of the electromagnetic fields and certain harmonic analysis techniques.


title: Probabilistic DHP Adaptive Critic for Nonlinear Stochastic Control Systems

abstract: Following the recently developed algorithms for fully probabilistic control design for general dynamic stochastic systems [15], [18], this paper presents the solution to the probabilistic dual heuristic programming (DHP) adaptive critic method [15] and randomized control algorithm for stochastic nonlinear dynamical systems. The purpose of the randomized control input design is to make the joint probability density function of the closed loop system as close as possible to a predetermined ideal joint probability density function. This paper completes the previous work [15], [18] by formulating and solving the fully probabilistic control design problem on the more general case of nonlinear stochastic discrete time systems. A simulated example is used to demonstrate the use of the algorithm and encouraging results have been obtained.


title: On decoding procedures of intertwining codes

abstract: One of the main weakness of the family of centralizer codes is that its length is always $n^2$. Thus we have taken a new matrix equation code called intertwining code. Specialty of this code is the length of it, which is of the form $nk$. We establish two decoding methods which can be fitted to intertwining codes as well as for any linear codes. We also show an inclusion of linear codes into a special class of intertwining codes.


title: Wave model of the regular Sturm-Liouville operator

abstract: We describe the wave functional model for the minimal (symmetric) Sturm-Liouville operator on the finite interval. We construct the wave spectrum of this operator, then, following the abstract scheme, we construct the model space of functions on the wave spectrum and introduce in that space the model operator. The latter is a matrix Sturm-Liouville operator which is unitarily equivalent to the original.


title: The Absolute of finitely generated groups: I. Commutative groups

abstract: We give a complete description of the absolute of commutative finitely generated groups and semigroups. The absolute (previously called the exit boundary) is a further elaboration of the notion of the boundary of a random walk on a group (the Poisson--Furstenberg boundary); namely, the absolute of a (semi)group is the set of ergodic central measures on the compactum of all infinite trajectories of a simple random walk on the group. Related notions have been discussed in the probability literature: Martin boundary, entrance and exit boundaries (Dynkin), central measures on path spaces of graphs (Vershik--Kerov). A central measure (with respect to a finite system of generators of a group or semigroup) is a Markov measure on the space of trajectories whose cotransition distribution at every point is the uniform distribution on the generators (i.e., a measure of maximal entropy). For a more general notion of measures with a given cocycle. For the group~$\Bbb Z$, the problem of describing the absolute is solved exactly by the classical de~Finetti's theorem. The main result of this paper, which is a far-reaching generalization of de~Finetti's theorem, is as follows: the absolute of a commutative semigroup coincides with the set of central measures corresponding to (nonstationary) Markov chains with independent identically distributed increments. Topologically, the absolute is (in the main case) a closed disk of finite dimension.


title: Multiscale Sparse Microcanonical Models

abstract: We study approximations of non-Gaussian stationary processes having long range correlations with microcanonical models. These models are conditioned by the empirical value of an energy vector, evaluated on a single realization. Asymptotic properties of maximum entropy microcanonical and macrocanonical processes and their convergence to Gibbs measures are reviewed. We show that the Jacobian of the energy vector controls the entropy rate of microcanonical processes. Sampling maximum entropy processes through MCMC algorithms require too many operations when the number of constraints is large. We define microcanonical gradient descent processes by transporting a maximum entropy measure with a gradient descent algorithm which enforces the energy conditions. Convergence and symmetries are analyzed. Approximations of non-Gaussian processes with long range interactions are defined with multiscale energy vectors computed with wavelet and scattering transforms. Sparsity properties are captured with $\bf l^1$ norms. Approximations of Gaussian, Ising and point processes are studied, as well as image and audio texture synthesis.


title: A Class of MSR Codes for Clustered Distributed Storage

abstract: Clustered distributed storage models real data centers where intra- and cross-cluster repair bandwidths are different. In this paper, exact-repair minimum-storage-regenerating (MSR) codes achieving capacity of clustered distributed storage are designed. Focus is given on two cases: $\epsilon=0$ and $\epsilon=1/(n-k)$, where $\epsilon$ is the ratio of the available cross- and intra-cluster repair bandwidths, $n$ is the total number of distributed nodes and $k$ is the number of contact nodes in data retrieval. The former represents the scenario where cross-cluster communication is not allowed, while the latter corresponds to the case of minimum cross-cluster bandwidth that is possible under the minimum storage overhead constraint. For the $\epsilon=0$ case, two types of locally repairable codes are proven to achieve the MSR point. As for $\epsilon=1/(n-k)$, an explicit MSR coding scheme is suggested for the two-cluster situation under the specific condition of $n = 2k$.


title: Reverse and Forward Engineering of Local Voltage Control in Distribution Networks

abstract: The increasing penetration of renewable and distributed energy resources in distribution networks calls for real-time and distributed voltage control. In this paper we investigate local Volt/VAR control with a general class of control functions, and show that the power system dynamics with non-incremental local voltage control can be seen as distributed algorithm for solving a well-defined optimization problem (reverse engineering). The reverse engineering further reveals a fundamental limitation of the non-incremental voltage control: the convergence condition is restrictive and prevents better voltage regulation at equilibrium. This motivates us to design two incremental local voltage control schemes based on the subgradient and pseudo-gradient algorithms respectively for solving the same optimization problem (forward engineering). The new control schemes decouple the dynamical property from the equilibrium property, and have much less restrictive convergence conditions. This work presents another step towards developing a new foundation -- network dynamics as optimization algorithms -- for distributed realtime control and optimization of future power networks.


title: Predicting Encoded Picture Quality in Two Steps is a Better Way

abstract: Full-reference (FR) image quality assessment (IQA) models assume a high quality "pristine" image as a reference against which to measure perceptual image quality. In many applications, however, the assumption that the reference image is of high quality may be untrue, leading to incorrect perceptual quality predictions. To address this, we propose a new two-step image quality prediction approach which integrates both no-reference (NR) and full-reference perceptual quality measurements into the quality prediction process. The no-reference module accounts for the possibly imperfect quality of the source (reference) image, while the full-reference component measures the quality differences between the source image and its possibly further distorted version. A simple, yet very efficient, multiplication step fuses the two sources of information into a reliable objective prediction score. We evaluated our two-step approach on a recently designed subjective image database and achieved standout performance compared to full-reference approaches, especially when the reference images were of low quality. The proposed approach is made publicly available at https://github.com/xiangxuyu/2stepQA


title: On Variational Properties of Quadratic Curvature Functionals

abstract: In this paper, we investigate a class of quadratic Riemannian curvature functionals on closed smooth manifold $M$ of dimension $n\ge 3$ on the space of Riemannian metrics on $M$ with unit volume. We study the stability of these functionals at the metric with constant sectional curvature as its critical point.


title: Band dependence of charge density wave in quasi-one-dimensional Ta2NiSe7 probed by orbital magnetoresistance

abstract: Ta2NiSe7 is a quasi-one-dimensional (quasi-1D) transition-metal chalcogenide with Ta and Ni chain structure. An incommensurate charge-density wave (CDW) in this quasi-1D structure was well studied previously using tunnelling spectrum, X-ray and electron diffraction, whereas its transport property and the relation to the underlying electronic states remain to be explored. Here we report our results of magnetoresistance (MR) on Ta2NiSe7. A breakdown of the Kohler's rule is found upon entering the CDW state. Concomitantly, a clear change of curvature in the field dependence of MR is observed. We show that the curvature change is well described by two-band orbital MR, with the hole density being strongly suppressed in the CDW state, indicating that the $p$ orbitals from Se atoms dominate the change in transport through the CDW transition.


title: A Survey on Quantum Channel Capacities

abstract: Quantum information processing exploits the quantum nature of information. It offers fundamentally new solutions in the field of computer science and extends the possibilities to a level that cannot be imagined in classical communication systems. For quantum communication channels, many new capacity definitions were developed in comparison to classical counterparts. A quantum channel can be used to realize classical information transmission or to deliver quantum information, such as quantum entanglement. Here we review the properties of the quantum communication channel, the various capacity measures and the fundamental differences between the classical and quantum channels.


title: Decentralized Base-Graph Routing for the Quantum Internet

abstract: Quantum repeater networks are a fundamental of any future quantum Internet and long-distance quantum communications. The entangled quantum nodes can communicate through several different levels of entanglement, leading to a heterogeneous, multi-level network structure. The level of entanglement between the quantum nodes determines the hop distance and the probability of the existence of an entangled link in the network. Here, we define a decentralized routing for entangled quantum networks. The proposed method allows an efficient routing to find the shortest paths in entangled quantum networks by using only local knowledge of the quantum nodes. We give bounds on the maximum value of the total number of entangled links of a path. The proposed scheme can be directly applied in practical quantum communications and quantum networking scenarios.


title: Learning Hierarchical Features for Visual Object Tracking with Recursive Neural Networks

abstract: Recently, deep learning has achieved very promising results in visual object tracking. Deep neural networks in existing tracking methods require a lot of training data to learn a large number of parameters. However, training data is not sufficient for visual object tracking as annotations of a target object are only available in the first frame of a test sequence. In this paper, we propose to learn hierarchical features for visual object tracking by using tree structure based Recursive Neural Networks (RNN), which have fewer parameters than other deep neural networks, e.g. Convolutional Neural Networks (CNN). First, we learn RNN parameters to discriminate between the target object and background in the first frame of a test sequence. Tree structure over local patches of an exemplar region is randomly generated by using a bottom-up greedy search strategy. Given the learned RNN parameters, we create two dictionaries regarding target regions and corresponding local patches based on the learned hierarchical features from both top and leaf nodes of multiple random trees. In each of the subsequent frames, we conduct sparse dictionary coding on all candidates to select the best candidate as the new target location. In addition, we online update two dictionaries to handle appearance changes of target objects. Experimental results demonstrate that our feature learning algorithm can significantly improve tracking performance on benchmark datasets.


title: An Implicit Unified Gas-kinetic Scheme for Unsteady Flow in All Knudsen Regimes

abstract: The unified gas-kinetic scheme (UGKS) is a direct modeling method for multiple scale transports. The modeling scale of the scheme is the mesh size and time step, and the ratios of the mesh size over particle mean free path or the time step over particle collision time determine the local evolution regime of flow physics. For unsteady flow computation, due to the CFL condition the time step in the explicit UGKS is limited by the smallest cell size in the computational domain. As a result, for a largely stretched non-uniform mesh the global time step becomes very small and the ratio of the time step over local particle collision time may get a very small value. Under such a circumstance, the physics in explicit UGKS may be constrained by the kinetic scale physics only. The multiscale UGKS reduces into a single scale discrete velocity method where the free transport is used for the flux evaluation. In order to keep the advantages of UGKS and improve the efficiency for unsteady flow computation, the restriction from global CFL condition on the time step has to be removed. In this paper, we develop an implicit UGKS (IUGKS) for unsteady flow by alternatively solving the macroscopic and microscopic governing equations within a step iteratively. In order to preserve the coherent flow evolution and multiscale nature, the numerical flux is still evaluated by the explicit UGKS with the local CFL condition. Therefore, the multiscale property of the UGKS modeling is preserved over non-uniform meshes. Many numerical examples are included to validate the scheme for both continuum and rarefied flows. The IUGKS presents reasonably good results with second order accuracy for unsteady flow computation and the efficiency has been improved by dozen of times in comparison with the explicit UGKS.


title: Degree powers in graphs with a forbidden forest

abstract: Given a positive integer $p$ and a graph $G$ with degree sequence $d_1,\dots,d_n$, we define $e_p(G)=\sum_{i=1}^n d_i^p$. Caro and Yuster introduced a Tur\'an-type problem for $e_p(G)$: Given a positive integer $p$ and a graph $H$, determine the function $ex_p(n,H)$, which is the maximum value of $e_p(G)$ taken over all graphs $G$ on $n$ vertices that do not contain $H$ as a subgraph. Clearly, $ex_1(n,H)=2ex(n,H)$, where $ex(n,H)$ denotes the classical Tur\'an number. Caro and Yuster determined the function $ex_p(n, P_\ell)$ for sufficiently large $n$, where $p\geq 2$ and $P_\ell$ denotes the path on $\ell$ vertices. In this paper, we generalise this result and determine $ex_p(n,F)$ for sufficiently large $n$, where $p\geq 2$ and $F$ is a linear forest. We also determine $ex_p(n,S)$, where $S$ is a star forest; and $ex_p(n,B)$, where $B$ is a broom graph with diameter at most six.


title: Performance study of SKIROC2/A ASIC for ILD Si-W ECAL

abstract: The ILD Si-W ECAL is a sampling calorimeter with tungsten absorber and highly segmented silicon layers for the International Large Detector (ILD), one of the two detector concepts for the International Linear Collider. SKIROC2 is an ASIC for the ILD Si-WECAL. To investigate the issues found in prototype detectors, we prepared dedicated ASIC evaluation boards with either BGA sockets or directly soldered SKIROC2. We report a performance study with the evaluation boards, including signal-to-noise ratio and TDC performance with comparing SKIROC2 and an updated version, SKIROC2A.


title: Robot Localisation and 3D Position Estimation Using a Free-Moving Camera and Cascaded Convolutional Neural Networks

abstract: Many works in collaborative robotics and human-robot interaction focuses on identifying and predicting human behaviour while considering the information about the robot itself as given. This can be the case when sensors and the robot are calibrated in relation to each other and often the reconfiguration of the system is not possible, or extra manual work is required. We present a deep learning based approach to remove the constraint of having the need for the robot and the vision sensor to be fixed and calibrated in relation to each other. The system learns the visual cues of the robot body and is able to localise it, as well as estimate the position of robot joints in 3D space by just using a 2D color image. The method uses a cascaded convolutional neural network, and we present the structure of the network, describe our own collected dataset, explain the network training and achieved results. A fully trained system shows promising results in providing an accurate mask of where the robot is located and a good estimate of its joints positions in 3D. The accuracy is not good enough for visual servoing applications yet, however, it can be sufficient for general safety and some collaborative tasks not requiring very high precision. The main benefit of our method is the possibility of the vision sensor to move freely. This allows it to be mounted on moving objects, for example, a body of the person or a mobile robot working in the same environment as the robots are operating in.


title: Spectroscopy of $z=0$ Lifshitz Black Hole

abstract: We studied the thermodynamics and spectroscopy of a $4$-dimensional, $z=0$ Lifshitz black hole ($Z0$LBH). Using the Wald's entropy formula and the Hawking temperature, we derived the quasilocal mass of the $Z0$LBH. Based on the exact solution to the near-horizon Zerilli equation of the massive scalar waves, we computed the quasinormal modes of the $Z0$LBH via employing the adiabatic invariant quantity for the $Z0$LBH. This study shows that the entropy and area spectra of the $Z0$LBH are equally spaced.


title: A First Step in the Co-Evolution of Blockchain and Ontologies: Towards Engineering an Ontology of Governance at the Blockchain Protocol Level

abstract: At the beginning of 2018, there is a growing belief that blockchain technologies constitute a revolutionary innovation in how we transfer value electronically. In that vein, blockchain may be a suitable complement to ontologies to achieve a big part of the vision of the semantic Web by Tim Berners-Lee. We believe that if this complementarity is to be achieved blockchain and ontologies must co-evolve. In this paper, we focus on what and how to engineer models, methods, designs, and implementations for this co-evolution. As a first step in this co-evolution, we propose a conceptual design of a governance ontology represented as meta-data tags to be embedded and instantiated in a smart contract at the blockchain protocol level. We develop this design by examining and analyzing smart contracts from the infamous The DAO experiment on the Ethereum blockchain. We believe there are two contributions of this paper: it serves to inform and implore the blockchain and ontology communities to recognize and collaborate with each other; and it outlines a roadmap for engineering artifacts to bridge the gap between blockchain community focus on protocol-level blockchain interoperability and the ontology community focus on semantic-level interoperability.


title: Characterization and Efficient Search of Non-Elementary Trapping Sets of LDPC Codes with Applications to Stopping Sets

abstract: In this paper, we propose a characterization for non-elementary trapping sets (NETSs) of low-density parity-check (LDPC) codes. The characterization is based on viewing a NETS as a hierarchy of embedded graphs starting from an ETS. The characterization corresponds to an efficient search algorithm that under certain conditions is exhaustive. As an application of the proposed characterization/search, we obtain lower and upper bounds on the stopping distance $s_{min}$ of LDPC codes. We examine a large number of regular and irregular LDPC codes, and demonstrate the efficiency and versatility of our technique in finding lower and upper bounds on, and in many cases the exact value of, $s_{min}$. Finding $s_{min}$, or establishing search-based lower or upper bounds, for many of the examined codes are out of the reach of any existing algorithm.


title: A Perspective on Blockchain Smart Contracts: Reducing Uncertainty and Complexity in Value Exchange

abstract: The blockchain constitutes a technology-based, rather than social or regulation based, means to lower uncertainty about one another in order to exchange value. However, its use may very well also lead to increased complexity resulting from having to subsume work that displaced intermediary institutions had performed. We present our perspective that smart contracts may be used to mitigate this increased complexity. We further posit that smart contracts can be delineated according to complexity: Smart contracts that can be verified objectively without much uncertainty belong in an inter-organizational context; those that cannot be objectively verified belong in an intra-organizational context. We state that smart contracts that implement a formal (e.g. mathematical or simulation) model are especially beneficial for both contexts: They can be used to express and enforce inter-organizational agreements, and their basis in a common formalism may ensure effective evaluation and comparison between different intra-organizational contracts. Finally, we present a case study of our perspective by describing Intellichain, which implements formal, agent-based simulation model as a smart contract to provide epidemiological decision support.


title: Improvements of some operator inequalities involving positive linear maps via the Kantorovich constant

abstract: We present some operator inequalities for positive linear maps that generalize and improve the derived results in some recent years. For instant, if $A$ and $B$ are positive operators and $m,m^{'},M,M^{'}$ are positive real numbers satisfying either one of the condition $ 0<m \leq B \leq m^{'} <M^{'} \leq A \leq M $ or $0<m \leq A \leq m^{'} <M^{'} \leq B \leq M$, then \begin{align*} \Phi ^{p} \big(A \nabla _{v} B+2 r Mm (A^{-1}\nabla B^{-1}- &A^{-1} \sharp B^{-1} )\big)\\ & \leq \left( \frac{K(h)}{ 4^{\frac{2}{p}-1} K^{r_{1}} \left( \sqrt {h^{'}}\right)} \right) ^{p} \Phi^{p} (A \sharp_{\nu} B) \end{align*} and \begin{align*} \Phi ^{p} \big(A \nabla _{v} B+2 r Mm (A^{-1}\nabla B^{-1}-& A^{-1} \sharp B^{-1} )\big) \\ &\leq \left( \frac{K(h)}{ 4^{\frac{2}{p}-1} K^{r_{1}}\left( \sqrt {h^{'}}\right)}\right) ^{p} (\Phi(A) \sharp_{\nu} \Phi (B))^{p}, \end{align*} where $\Phi$ is a positive unital linear map, $ 0 \leq \nu \leq 1$, $p \geq 2,$ $r=\min\{\nu,1-\nu\},$ $h=\frac{M}{m},$ $h^{'}=\frac{M^{'}}{m^{'}}$, $K(h)=\frac{(1+h)^{2}}{4h}$ and $r_{1}=\min\{2r,1-2r\}.$ We also obtain a reverse of the Ando inequality for positive linear maps via the Kantorovich constant.


title: ReMotENet: Efficient Relevant Motion Event Detection for Large-scale Home Surveillance Videos

abstract: This paper addresses the problem of detecting relevant motion caused by objects of interest (e.g., person and vehicles) in large scale home surveillance videos. The traditional method usually consists of two separate steps, i.e., detecting moving objects with background subtraction running on the camera, and filtering out nuisance motion events (e.g., trees, cloud, shadow, rain/snow, flag) with deep learning based object detection and tracking running on cloud. The method is extremely slow and therefore not cost effective, and does not fully leverage the spatial-temporal redundancies with a pre-trained off-the-shelf object detector. To dramatically speedup relevant motion event detection and improve its performance, we propose a novel network for relevant motion event detection, ReMotENet, which is a unified, end-to-end data-driven method using spatial-temporal attention-based 3D ConvNets to jointly model the appearance and motion of objects-of-interest in a video. ReMotENet parses an entire video clip in one forward pass of a neural network to achieve significant speedup. Meanwhile, it exploits the properties of home surveillance videos, e.g., relevant motion is sparse both spatially and temporally, and enhances 3D ConvNets with a spatial-temporal attention model and reference-frame subtraction to encourage the network to focus on the relevant moving objects. Experiments demonstrate that our method can achieve comparable or event better performance than the object detection based method but with three to four orders of magnitude speedup (up to 20k times) on GPU devices. Our network is efficient, compact and light-weight. It can detect relevant motion on a 15s surveillance video clip within 4-8 milliseconds on a GPU and a fraction of second (0.17-0.39) on a CPU with a model size of less than 1MB.


title: Superhorizon Electromagnetic Field Background from Higgs Loops in Inflation

abstract: If Higgs is a spectator scalar, i.e. if it is not directly coupled to the inflaton, superhorizon Higgs modes must have been exited during inflation. Since Higgs is unstable its decay into photons is expected to seed superhorizon photon modes. We use in-in perturbation theory to show that this naive physical expectation is indeed fulfilled via loop effects. Specifically, we calculate the first order Higgs loop correction to the magnetic field power spectrum evaluated at some late time after inflation. It turns out that this loop correction becomes much larger than the tree-level power spectrum at the superhorizon scales. This offers a mechanism to generate cosmologically interesting superhorizon vector modes by scalar-vector interactions.


title: Issues about Cosmological Ward Identities

abstract: In this paper we first discuss how a Noether current corresponding to a gauge or a global symmetry can locally be introduced in a path integral irrespective of the boundary conditions defining the theory. We then consider quantization of gravity plus minimally coupled scalar field system in the phase space path integral approach. The complete gauge fixed action including the Faddeev-Popov determinant is obtained in the so called $\zeta$-gauge. It turns out that in this formalism while the dilatation survives as the residual symmetry of the gauge fixed action, other diffeomorphisms which require field dependent corrections fail to be so. The full Noether current for the dilatation is determined and the spatial boundary conditions that yield a finite and conserved charge are determined. The charge is shown to be expressible as a surface integral at infinity and the corresponding Ward identity gives the standard consistency relation of cosmological perturbations.


title: Infrared Logarithms in Minisuperspace Inflation

abstract: We examine the emergence of the infrared logarithms in the cosmological perturbation theory applied to the minisuperspace scalar slow-roll inflation. Not surprisingly, in the single scalar field model the curvature perturbation $\zeta$ is conserved and no $\ln a_B$ behavior appears, where $a_B(t)$ is the background scale factor of the universe. On the other hand, in the presence of a spectator scalar the $n$'th order perturbation theory gives an $(\ln a_B)^n$ correction to $\zeta$. However, a nonperturbative estimate shows that $\zeta$ actually becomes the sum of a constant and a mildly evolving $\ln a_B$ pieces.


title: Development of half metallicity within mixed magnetic phase of Cu$_{1-x}$Co$_x$MnSb alloy

abstract: Cubic Half-Heusler Cu$_{1-x}$Co$_x$MnSb (0 $\leq$ $x$ $\leq$ 0.1) compounds have been investigated both experimentally and theoretically for their magnetic, transport and electronic properties in search of possible half metallic antiferromagnetism. The systems (Cu,Co)MnSb are of particular interest as the end member alloys CuMnSb and CoMnSb are semi metallic (SM) antiferromagnetic (AFM) and half metallic (HM) ferromagnetic (FM), respectively. Clearly, Co-doping at the Cu-site of CuMnSb introduces changes in the carrier concentration at the Fermi level that may lead to half-metallic ground state but there remains a persistent controversy whether the AFM to FM transition occurs simultaneously. Our experimental results reveal that the AFM to FM magnetic transition occurs through a percolation mechanism where Co-substitution gradually suppresses the AFM phase and forces FM polarization around every dopant cobalt. As a result a mixed magnetic phase is realized within this composition range while a nearly HM band structure is developed already at the 10% Co-doping. Absence of T$^2$ dependence in the resistivity variation at low T-region serves as an indirect proof of opening up an energy gap at the Fermi surface in one of the spin channels. This is further corroborated by the ab-initio electronic structure calculations that suggests a nearly ferromagnetic half-metallic ground state is stabilized by Sb-p holes produced upon Co doping.


title: Multiscale analysis of semilinear damped stochastic wave equations

abstract: In this paper we proceed with the multiscale analysis of semilinear damped stochastic wave motions. The analysis is made by combining the well-known sigma convergence method with its stochastic counterpart, associated to some compactness results such as the Prokhorov and Skorokhod theorems. We derive the equivalent model, which is of the same type as the micro-model.


title: Complexity Theory for Discrete Black-Box Optimization Heuristics

abstract: A predominant topic in the theory of evolutionary algorithms and, more generally, theory of randomized black-box optimization techniques is running time analysis. Running time analysis aims at understanding the performance of a given heuristic on a given problem by bounding the number of function evaluations that are needed by the heuristic to identify a solution of a desired quality. As in general algorithms theory, this running time perspective is most useful when it is complemented by a meaningful complexity theory that studies the limits of algorithmic solutions. In the context of discrete black-box optimization, several black-box complexity models have been developed to analyze the best possible performance that a black-box optimization algorithm can achieve on a given problem. The models differ in the classes of algorithms to which these lower bounds apply. This way, black-box complexity contributes to a better understanding of how certain algorithmic choices (such as the amount of memory used by a heuristic, its selective pressure, or properties of the strategies that it uses to create new solution candidates) influences performance. In this chapter we review the different black-box complexity models that have been proposed in the literature, survey the bounds that have been obtained for these models, and discuss how the interplay of running time analysis and black-box complexity can inspire new algorithmic solutions to well-researched problems in evolutionary computation. We also discuss in this chapter several interesting open questions for future work.


title: Stability of concentrated suspensions under Couette and Poiseuille flow

abstract: The stability of two-dimensional Poiseuille flow and plane Couette flow for concentrated suspensions is investigated. Linear stability analysis of the two-phase flow model for both flow geometries shows the existence of a convectively driven instability with increasing growth rates of the unstable modes as the particle volume fraction of the suspension increases. In addition it is shown that there exists a bound for the particle phase viscosity below which the two-phase flow model may become ill-posed as the particle phase approaches its maximum packing fraction. The case of two-dimensional Poiseuille flow gives rise to base state solutions that exhibit a jammed and unyielded region, due to shear-induced migration, as the maximum packing fraction is approached. The stability characteristics of the resulting Bingham-type flow is investigated and connections to the stability problem for the related classical Bingham-flow problem are discussed.


title: On the existence of global-in-time weak solutions and scaling laws for Kolmogorov's two-equation model of turbulence

abstract: This paper is concerned with Kolmogorov's two-equation model for the free turbulence in three dimensions. We first discuss scaling laws for slightly more general two-equation models to highlight the special role of the model devised by Kolmogorov in 1942. The main part of the paper consists in proving the existence of weak solutions of Kolmogorov's under space-periodic boundary conditions in a cube. To this end, we provide new a priori estimates and invoke existence result for pseudo-monotone operators.


title: Abelian varieties as automorphism groups of smooth projective varieties

abstract: We determine which complex abelian varieties can be realized as the automorphism group of a smooth projective variety.


title: Recursive determination of phase shifts for screened Coulomb potentials

abstract: In the calculation of hot-plasma atomic structure, the continuum wavefunctions are characterized by phase shifts, which therefore determine the scattering cross-sections. In this short paper, we propose a recurrence relation for the phase shifts in the case of a particular type of parametric potentials widely used in atomic-structure codes. These potentials have to be linear combinations of static screened Coulomb potentials (Yukawa-type potentials) multiplied by polynomial functions.


title: Learning from Neighbors about a Changing State

abstract: Agents learn about a changing state using private signals and their neighbors' past estimates of the state. We present a model in which Bayesian agents in equilibrium use neighbors' estimates simply by taking weighted sums with time-invariant weights. The dynamics thus parallel those of the tractable DeGroot model of learning in networks, but arise as an equilibrium outcome rather than a behavioral assumption. We examine whether information aggregation is nearly optimal as neighborhoods grow large. A key condition for this is signal diversity: each individual's neighbors have private signals that not only contain independent information, but also have sufficiently different distributions. Without signal diversity $\unicode{x2013}$ e.g., if private signals are i.i.d. $\unicode{x2013}$ learning is suboptimal in all networks and highly inefficient in some. Turning to social influence, we find it is much more sensitive to one's signal quality than to one's number of neighbors, in contrast to standard models with exogenous updating rules.


title: Algorithms for orbit closure separation for invariants and semi-invariants of matrices

abstract: We consider two group actions on $m$-tuples of $n \times n$ matrices. The first is simultaneous conjugation by $\operatorname{GL}_n$ and the second is the left-right action of $\operatorname{SL}_n \times \operatorname{SL}_n$. We give efficient algorithms to decide if the orbit closures of two points intersect. We also improve the known bounds for the degree of separating invariants in these cases.


title: Multilabeled versions of Sperner's and Fan's lemmas and applications

abstract: We propose a general technique related to the polytopal Sperner lemma for proving old and new multilabeled versions of Sperner's lemma. A notable application of this technique yields a cake-cutting theorem where the number of players and the number of pieces can be independently chosen. We also prove multilabeled versions of Fan's lemma, a combinatorial analogue of the Borsuk-Ulam theorem, and exhibit applications to fair division and graph coloring.


title: Variational and Dyson--Schwinger Equations of Hamiltonian Quantum Chromodynamics

abstract: The variational Hamiltonian approach to Quantum Chromodynamics in Coulomb gauge is investigated within the framework of the canonical recursive Dyson--Schwinger equations. The dressing of the quark propagator arising from the variationally determined non-perturbative kernels is expanded and renormalized at one-loop order, yielding a chiral condensate compatible with the observations.


title: Checking Admissibility Using Natural Dualities

abstract: This paper presents a new method for obtaining small algebras to check the admissibility-equivalently, validity in free algebras-of quasi-identities in a finitely generated quasivariety. Unlike a previous algebraic approach of Metcalfe and Rothlisberger that is feasible only when the relevant free algebra is not too large, this method exploits natural dualities for quasivarieties to work with structures of smaller cardinality and surjective rather than injective morphisms. A number of case studies are described here that could not be be solved using the algebraic approach, including (quasi)varieties of MS-algebras, double Stone algebras, and involutive Stone algebras.


title: Atom-resonant squeezed light from a tunable monolithic ppRKTP parametric amplifier

abstract: We demonstrate vacuum squeezing at the D1 line of atomic rubidium (795 nm) with a tunable, doubly-resonant, monolithic sub-threshold optical parametric oscillator in periodically-poled Rb-doped potassium titanyl phosphate. The squeezing appears to be undiminished by a strong dispersive optical nonlinearity recently observed in this material.


title: Recent Advances in Computational Modeling of Thrombosis

abstract: The study of thrombosis is crucial to understand and develop new therapies for diseases like deep vein thrombosis, diabetes related strokes, pulmonary embolism etc. The last two decades have seen an exponential growth in studies related to the blood clot formation using computational tools and through experiments. Despite of this growth, the complete mechanism behind thrombus formation and hemostasis is not known yet. The computational models and methods used in this context are diversified into different spatiotemporal scales, yet there is no single model which can predict both physiological and mechanical properties of the blood clots. In this review, we will attempt to list out all major strategies attempted by researchers so far to model the blood clot formation using existing computational techniques. This review classifies them into continuum level, system level, discrete particles and multi-scale methods. We will also discuss the strength and weakness of various methods and possible future directions in which the computational blood clot research can thrive.


title: Gravitational parity anomaly with and without boundaries

abstract: In this paper we consider gravitational parity anomaly in three and four dimensions. We start with a re-computation of this anomaly on a 3D manifold without boundaries and with a critical comparison of our results to the previous calculations. Then we compute the anomaly on 4D manifolds with boundaries with local bag boundary conditions. We find, that gravitational parity anomaly is localized on the boundary and contains a gravitational Chern-Simons terms together with a term depending of the extrinsic curvature. We also discuss the main properties of the anomaly, as the conformal invariance, relations between 3D and 4D anomalies, etc.


title: Statistical estimation of the Shannon entropy

abstract: The behavior of the Kozachenko - Leonenko estimates for the (differential) Shannon entropy is studied when the number of i.i.d. vector-valued observations tends to infinity. The asymptotic unbiasedness and L^2-consistency of the estimates are established. The conditions employed involve the analogues of the Hardy - Littlewood maximal function. It is shown that the results are valid in particular for the entropy estimation of any nondegenerate Gaussian vector.


title: Stochastic B-series and order conditions for exponential integrators

abstract: We discuss stochastic differential equations with a stiff linear part and their approximation by stochastic exponential integrators. Representing the exact and approximate solutions using B-series and rooted trees, we derive the order conditions for stochastic exponential integrators. The resulting general order theory covers both It\^{o} and Stratonovich integration.


title: Measurements of $t\bar{t}$ differential cross-sections of highly boosted top quarks decaying to all-hadronic final states in $pp$ collisions at $\sqrt{s}=13\,$ TeV using the ATLAS detector

abstract: Measurements are made of differential cross-sections of highly boosted pair-produced top quarks as a function of top-quark and $t\bar{t}$ system kinematic observables using proton--proton collisions at a center-of-mass energy of $\sqrt{s} = 13$ TeV. The data set corresponds to an integrated luminosity of $36.1$ fb$^{-1}$, recorded in 2015 and 2016 with the ATLAS detector at the CERN Large Hadron Collider. Events with two large-radius jets in the final state, one with transverse momentum $p_{\rm T} > 500$ GeV and a second with $p_{\rm T}>350$ GeV, are used for the measurement. The top-quark candidates are separated from the multijet background using jet substructure information and association with a $b$-tagged jet. The measured spectra are corrected for detector effects to a particle-level fiducial phase space and a parton-level limited phase space, and are compared to several Monte Carlo simulations by means of calculated $\chi^2$ values. The cross-section for $t\bar{t}$ production in the fiducial phase-space region is $292 \pm 7 \ \rm{(stat)} \pm 76 \rm{(syst)}$ fb, to be compared to the theoretical prediction of $384 \pm 36$ fb.


title: Nash embedding and equilibrium in pure quantum states

abstract: With respect to probabilistic mixtures of the strategies in non-cooperative games, quantum game theory provides guarantee of fixed-point stability, the so-called Nash equilibrium. This permits players to choose mixed quantum strategies that prepare mixed quantum states optimally under constraints. In this letter, we show that fixed-point stability of Nash equilibrium can also be guaranteed for pure quantum strategies via an application of the Nash embedding theorem, permitting players to prepare pure quantum states optimally under constraints.


title: Explorations in an English Poetry Corpus: A Neurocognitive Poetics Perspective

abstract: This paper describes a corpus of about 3000 English literary texts with about 250 million words extracted from the Gutenberg project that span a range of genres from both fiction and non-fiction written by more than 130 authors (e.g., Darwin, Dickens, Shakespeare). Quantitative Narrative Analysis (QNA) is used to explore a cleaned subcorpus, the Gutenberg English Poetry Corpus (GEPC) which comprises over 100 poetic texts with around 2 million words from about 50 authors (e.g., Keats, Joyce, Wordsworth). Some exemplary QNA studies show author similarities based on latent semantic analysis, significant topics for each author or various text-analytic metrics for George Eliot's poem 'How Lisa Loved the King' and James Joyce's 'Chamber Music', concerning e.g. lexical diversity or sentiment analysis. The GEPC is particularly suited for research in Digital Humanities, Natural Language Processing or Neurocognitive Poetics, e.g. as training and test corpus, or for stimulus development and control.


title: The Power Allocation Game on A Network: Balanced Equilibrium

abstract: This paper studies a special kind of equilibrium termed as "balanced equilibrium" which arises in the power allocation game defined in \cite{allocation}. In equilibrium, each country in antagonism has to use all of its own power to counteract received threats, and the "threats" made to each adversary just balance out the threats received from that adversary. This paper establishes conditions on different types of networked international environments in order for this equilibrium to exist. The paper also links the existence of this type of equilibrium on structurally balanced graphs to the Hall's Maximum Matching problem and the Max Flow problem.


title: Supernovae from massive stars with extended tenuous envelopes

abstract: Massive stars with a core-halo structure are interesting objects for stellar physics and hydrodynamics. Using simulations for stellar evolution, radiation hydrodynamics, and radiative transfer, we study the explosion of stars with an extended and tenuous envelope (i.e., stars in which 95% of the mass is contained within 10% of the surface radius or less). We consider both H-rich supergiant and He-giant progenitors resulting from close-binary evolution and dying with a final mass of 2.8-5Msun. An extended envelope causes the supernova (SN) shock to brake and a reverse shock to form, sweeping core material into a dense shell. The shock deposited energy, which suffers little degradation from expansion, is trapped in ejecta layers of moderate optical depth, thereby enhancing the SN luminosity at early times. With the delayed 56Ni heating, we find that the resulting optical and near-IR light curves all exhibit a double-peak morphology. We show how an extended progenitor can explain the blue and featureless optical spectra of some Type IIb and Ib SNe. The dense shell formed by the reverse shock leads to line profiles with a smaller and near-constant width. This ejecta property can explain the statistically narrower profiles of Type IIb compared to Type Ib SNe, as well as the peculiar Halpha profile seen in SN1993J. At early times, our He-giant star explosion model shows a high luminosity, a blue color, and featureless spectra reminiscent of the Type Ib SN2008D, suggesting a low-mass progenitor.


title: Quantum Coherence in Noisy Cellular Automata

abstract: Quantum cellular automata are important tools in understanding quantum dynamics, thanks to their simple and effective list of rules. Here we investigate explicitly how coherence is built and lost in the evolution of one-dimensional automata subject to noise. Our analysis illustrates the interplay between unitary and noisy dynamics, and draws considerations on their behaviour in the pseudo-frequency domain.


title: Robust Dead Reckoning: Calibration, Covariance Estimation, Fusion and Integrity Monitoring

abstract: To measure system states and local environment directly with high precision, expensive sensors are required. However, highly accurate system states and environmental perception can also be achieved using data fusion techniques and digital maps. One crucial task of multi-sensor state estimation is to project different sensor measurements into the same temporal, spatial and physical domain, estimate their covariance matrices as well as the exclusion of erroneous measurements. This paper presents a generic approach for robust estimation of vehicle movement (odometry). We will shortly present our calibration procedure, including the estimation of sensor alignments, offset / scaling errors, covariances / correlations and time delays. An improved algorithm for wheel diameter estimation is presented. Additionally an approach for robust odometry will be shown as odometry estimations are fused under known covariances, while outliers are detected using a chi-squared test. Utilizing our robust odometry, local environmental views can be associated and fused. Furthermore our robust odometry can be used to detect and exclude erroneous position estimates.


title: Intersecting D-brane Stacks and Tachyons at Finite Temperature

abstract: In arXiv:1403.0389 and arXiv:1610.07140 intersecting $D$-branes in flat space were studied at finite temperature in the Yang-Mills approximation. The one-loop correction to the tachyon mass was computed and the critical temperature at which the tachyon becomes massless was obtained numerically. In this paper we extend the computation of one-loop two-point amplitude to the case of intersecting stacks of $D3$-branes in flat space. The motivation for this calculation is to study the strong coupling holographic BCS model proposed in arXiv:1104.2843 at finite temperature. We show that the analytical results of arXiv:1403.0389 and arXiv:1610.07140 can be embedded into this more general setup. The main technicality involved here is keeping track of the extra color factors coming from the unbroken gauge groups. We further discuss the issues involved in the computation of two point amplitude for case of multiple intersecting stacks of branes.


title: Reversibility in one-dimensional quantum cellular automata in the presence of noise

abstract: We consider a class of noisy, one-dimensional quantum cellular automata that allow one to shift from unitary dynamics to completely positive maps, and investigate the notion of reversibility in such a setting. To this aim, we associate an approximate reverse automaton to each noisy automaton, and assess its effect, and we define an irreversibility time based on the distance from the maximally mixed state, which is shown to be the only attractor of the automaton map in the presence of dephasing.


title: Optimal Error Correcting Delivery Scheme for an Optimal Coded Caching Scheme with Small Buffers

abstract: Optimal delivery scheme for coded caching problems with small buffer sizes and the number of users no less than the amount of files in the server was proposed by Chen, Fan and Letaief ["Fundamental limits of caching: improved bounds for users with small buffers," (IET Communications), 2016]. This scheme is referred to as the CFL scheme. In this paper, the link between the server and the users is assumed to be error prone only during the delivery phase. Closed form expressions for average rate and peak rate of error correcting delivery scheme for CFL prefetching scheme is obtained. An optimal error correcting delivery scheme for caching problems employing CFL prefetching is proposed.


title: SLEUTH: Real-time Attack Scenario Reconstruction from COTS Audit Data

abstract: We present an approach and system for real-time reconstruction of attack scenarios on an enterprise host. To meet the scalability and real-time needs of the problem, we develop a platform-neutral, main-memory based, dependency graph abstraction of audit-log data. We then present efficient, tag-based techniques for attack detection and reconstruction, including source identification and impact analysis. We also develop methods to reveal the big picture of attacks by construction of compact, visual graphs of attack steps. Our system participated in a red team evaluation organized by DARPA and was able to successfully detect and reconstruct the details of the red team's attacks on hosts running Windows, FreeBSD and Linux.


title: Scalar field vs hydrodynamic models in the homogeneous isotropic cosmology

abstract: We study relations between hydrodynamical (H) and scalar field (SF) models of the dark energy in the early Universe. Main attention is paid to SF described by the canonical Lagrangian within the homogeneous isotropic spatially flat cosmology. We analyze requirements that guarantee the same cosmological history for the SF and H-models at least for solutions with specially chosen initial conditions and we present a differential equation for the SF potential that ensures such a restricted equivalence of the SF and H-models. Also, we derived a condition that guarantees an approximate equivalence when there is a small difference between energy momentum tensors of the models. The "equivalent" scalar field potentials for linear equations of state (EOS) are found in an explicit form, we also present an examples with more complicated EOS.


title: Gerrymandering metrics: How to measure? What's the baseline?

abstract: This note outlines three intellectually distinct but not mutually exclusive strategies for measuring partisan gerrymandering: partisan symmetry, efficiency gap, and algorithmic sampling.