title: Analyzing Knowledge Transfer in Deep Q-Networks for Autonomously Handling Multiple Intersections

abstract: We analyze how the knowledge to autonomously handle one type of intersection, represented as a Deep Q-Network, translates to other types of intersections (tasks). We view intersection handling as a deep reinforcement learning problem, which approximates the state action Q function as a deep neural network. Using a traffic simulator, we show that directly copying a network trained for one type of intersection to another type of intersection decreases the success rate. We also show that when a network that is pre-trained on Task A and then is fine-tuned on a Task B, the resulting network not only performs better on the Task B than an network exclusively trained on Task A, but also retained knowledge on the Task A. Finally, we examine a lifelong learning setting, where we train a single network on five different types of intersections sequentially and show that the resulting network exhibited catastrophic forgetting of knowledge on previous tasks. This result suggests a need for a long-term memory component to preserve knowledge.


title: Stack Overflow in Github: Any Snippets There?

abstract: When programmers look for how to achieve certain programming tasks, Stack Overflow is a popular destination in search engine results. Over the years, Stack Overflow has accumulated an impressive knowledge base of snippets of code that are amply documented. We are interested in studying how programmers use these snippets of code in their projects. Can we find Stack Overflow snippets in real projects? When snippets are used, is this copy literal or does it suffer adaptations? And are these adaptations specializations required by the idiosyncrasies of the target artifact, or are they motivated by specific requirements of the programmer? The large-scale study presented on this paper analyzes 909k non-fork Python projects hosted on Github, which contain 290M function definitions, and 1.9M Python snippets captured in Stack Overflow. Results are presented as quantitative analysis of block-level code cloning intra and inter Stack Overflow and GitHub, and as an analysis of programming behaviors through the qualitative analysis of our findings.


title: Four Edge-Independent Spanning Trees

abstract: We prove an ear-decomposition theorem for $4$-edge-connected graphs and use it to prove that for every $4$-edge-connected graph $G$ and every $r\in V(G)$, there is a set of four spanning trees of $G$ with the following property. For every vertex in $G$, the unique paths back to $r$ in each tree are edge-disjoint. Our proof implies a polynomial-time algorithm for constructing the trees.


title: A new bound on the low reheating temperature with dark matter

abstract: We investigate a new bound on the low reheating temperature in a scenario where the Universe experiences early matter-domination before reheating after which the standard big bang cosmology begins. In many models of dark matter (DM), the small scale fluctuations of DM grow during the early matter-domination era and seed the formation of the ultracompact minihalos (UCMHs). Using the constraints on the number of UCMHs from gamma-ray observations, we find a lower bound on the reheating temperature between ${\cal O}(10)~{\rm MeV} - {\cal O}(100)~{\rm MeV}$ for WIMP dark matter depending on the nature of DM. A similar bound could be obtained for non-WIMP dark matter by observing UCMHs gravitationally such as pulsar timing, microlensing and so on in some future observations.


title: Error analysis for global minima of semilinear optimal control problems

abstract: In [1] we consider an optimal control problem subject to a semilinear elliptic PDE together with its variational discretization, where we provide a condition which allows to decide whether a solution of the necessary first order conditions is a global minimum. This condition can be explicitly evaluated at the discrete level. Furthermore, we prove that if the above condition holds uniformly with respect to the discretization parameter the sequence of discrete solutions converges to a global solution of the corresponding limit problem. With the present work we complement our investigations of [1] in that we prove an error estimate for those discrete global solutions. Numerical experiments confirm our analytical findings.


title: Very good homogeneous functors in manifold calculus

abstract: Let M be a smooth manifold, and let O(M) be the poset of open subsets of M. Let C be a category that has a zero object and all small limits. A homogeneous functor (in the sense of manifold calculus) of degree k from O(M) to C is called very good if it sends isotopy equivalences to isomorphisms. In this paper we show that the category VGHF of such functors is equivalent to the category of contravariant functors from the fundamental groupoid of Conf(k, M) to C, where Conf(k, M) stands for the unordered configuration space of k points in M. As a consequence of this result, we show that the category VGHF is equivalent to the category of representations of the fundamental group of Conf(k, M) in C, provided that Conf(k, M) is connected. We also introduce a subcategory of vector bundles that we call very good vector bundles, and we show that it is abelian, and equivalent to a certain category of very good functors.


title: Countable dense homogeneity and the Cantor set

abstract: It is shown that CH implies the existence of a compact Hausdorff space that is countable dense homogeneous, crowded and does not contain topological copies of the Cantor set. This contrasts with a previous result by the author which says that for any crowded Hausdorff space $X$ of countable $\pi$-weight, if ${}^\omega{X}$ is countable dense homogeneous, then $X$ must contain a topological copy of the Cantor set.


title: Spectral clustering in the dynamic stochastic block model

abstract: In the present paper, we studied a Dynamic Stochastic Block Model (DSBM) under the assumptions that the connection probabilities, as functions of time, are smooth and that at most $s$ nodes can switch their class memberships between two consecutive time points. We estimate the edge probability tensor by a kernel-type procedure and extract the group memberships of the nodes by spectral clustering. The procedure is computationally viable, adaptive to the unknown smoothness of the functional connection probabilities, to the rate $s$ of membership switching and to the unknown number of clusters. In addition, it is accompanied by non-asymptotic guarantees for the precision of estimation and clustering.


title: Tunneling Field-Effect Junctions with WS$_2$ barrier

abstract: Transition metal dichalcogenides (TMDCs), with their two-dimensional structures and sizable bandgaps, are good candidates for barrier materials in tunneling field-effect transistor (TFET) formed from atomic precision vertical stacks of graphene and insulating crystals of a few atomic layers in thickness. We report first-principles study of the electronic properties of the Graphene/WS$_2$/Graphene sandwich structure revealing strong interface effects on dielectric properties and predicting a high ON/OFF ratio with an appropriate WS$_2$ thickness and a suitable range of the gate voltage. Both the band spin-orbit coupling splitting and the dielectric constant of the WS$_2$ layer depend on its thickness when in contact with the graphene electrodes, indicating strong influence from graphene across the interfaces. The dielectric constant is significantly reduced from the bulk WS$_2$ value. The effective barrier height varies with WS$_2$ thickness and can be tuned by a gate voltage. These results are critical for future nanoelectronic device designs.


title: Local Shrunk Discriminant Analysis (LSDA)

abstract: Dimensionality reduction is a crucial step for pattern recognition and data mining tasks to overcome the curse of dimensionality. Principal component analysis (PCA) is a traditional technique for unsupervised dimensionality reduction, which is often employed to seek a projection to best represent the data in a least-squares sense, but if the original data is nonlinear structure, the performance of PCA will quickly drop. An supervised dimensionality reduction algorithm called Linear discriminant analysis (LDA) seeks for an embedding transformation, which can work well with Gaussian distribution data or single-modal data, but for non-Gaussian distribution data or multimodal data, it gives undesired results. What is worse, the dimension of LDA cannot be more than the number of classes. In order to solve these issues, Local shrunk discriminant analysis (LSDA) is proposed in this work to process the non-Gaussian distribution data or multimodal data, which not only incorporate both the linear and nonlinear structures of original data, but also learn the pattern shrinking to make the data more flexible to fit the manifold structure. Further, LSDA has more strong generalization performance, whose objective function will become local LDA and traditional LDA when different extreme parameters are utilized respectively. What is more, a new efficient optimization algorithm is introduced to solve the non-convex objective function with low computational cost. Compared with other related approaches, such as PCA, LDA and local LDA, the proposed method can derive a subspace which is more suitable for non-Gaussian distribution and real data. Promising experimental results on different kinds of data sets demonstrate the effectiveness of the proposed approach.


title: The 5G Cellular Backhaul Management Dilemma: To Cache or to Serve

abstract: With the introduction of caching capabilities into small cell networks (SCNs), new backaul management mechanisms need to be developed to prevent the predicted files that are downloaded by the at the small base stations (SBSs) to be cached from jeopardizing the urgent requests that need to be served via the backhaul. Moreover, these mechanisms must account for the heterogeneity of the backhaul that will be encompassing both wireless backhaul links at various frequency bands and a wired backhaul component. In this paper, the heterogeneous backhaul management problem is formulated as a minority game in which each SBS has to define the number of predicted files to download, without affecting the required transmission rate of the current requests. For the formulated game, it is shown that a unique fair proper mixed Nash equilibrium (PMNE) exists. Self-organizing reinforcement learning algorithm is proposed and proved to converge to a unique Boltzmann-Gibbs equilibrium which approximates the desired PMNE. Simulation results show that the performance of the proposed approach can be close to that of the ideal optimal algorithm while it outperforms a centralized greedy approach in terms of the amount of data that is cached without jeopardizing the quality-of-service of current requests.


title: A Rule-Based Computational Model of Cognitive Arithmetic

abstract: Cognitive arithmetic studies the mental processes used in solving math problems. This area of research explores the retrieval mechanisms and strategies used by people during a common cognitive task. Past research has shown that human performance in arithmetic operations is correlated to the numerical size of the problem. Past research on cognitive arithmetic has pinpointed this trend to either retrieval strength, error checking, or strategy-based approaches when solving equations. This paper describes a rule-based computational model that performs the four major arithmetic operations (addition, subtraction, multiplication and division) on two operands. We then evaluated our model to probe its validity in representing the prevailing concepts observed in psychology experiments from the related works. The experiments specifically explore the problem size effect, an activation-based model for fact retrieval, backup strategies when retrieval fails, and finally optimization strategies when faced with large operands. From our experimental results, we concluded that our model's response times were comparable to results observed when people performed similar tasks during psychology experiments. The fit of our model in reproducing these results and incorporating accuracy into our model are discussed.


title: Lifelong Metric Learning

abstract: The state-of-the-art online learning approaches are only capable of learning the metric for predefined tasks. In this paper, we consider lifelong learning problem to mimic "human learning", i.e., endowing a new capability to the learned metric for a new task from new online samples and incorporating previous experiences and knowledge. Therefore, we propose a new metric learning framework: lifelong metric learning (LML), which only utilizes the data of the new task to train the metric model while preserving the original capabilities. More specifically, the proposed LML maintains a common subspace for all learned metrics, named lifelong dictionary, transfers knowledge from the common subspace to each new metric task with task-specific idiosyncrasy, and redefines the common subspace over time to maximize performance across all metric tasks. For model optimization, we apply online passive aggressive optimization algorithm to solve the proposed LML framework, where the lifelong dictionary and task-specific partition are optimized alternatively and consecutively. Finally, we evaluate our approach by analyzing several multi-task metric learning datasets. Extensive experimental results demonstrate effectiveness and efficiency of the proposed framework.


title: Dependence of homogeneous crystal nucleation in water droplets on their radii and its implication for modeling the formation of ice particles in cirrus clouds

abstract: We propose an approximation for the total ice nucleation rate J=J(T,R) in supercooled water droplets as a function of both droplet radius R and temperature T, taking account of both volume-based and surface-stimulated nucleation modes. Its crucial idea is that, even in the surface-stimulated mode crystal nuclei initially emerge (as sub-critical clusters) homogeneously in the sub-surface layer, not "pseudo-heterogeneously" at the surface. This mode is negligible in large droplets, but becomes increasingly important with decreasing droplet size and is dominant in small droplets. The crossover droplet radius for the transition of homogeneous ice nucleation from the volume-based mode to the surface-stimulated mode nonmonotonically depends on T from 233 K to 239.5 K, ranging there from about 2 microns to about 100 microns. Using experimental data on ice nucleation rates in small droplets, we determine that the ice-air interfacial tension of basal facets of ice crystals monotonically increases from about 89 dyn/cm at T=234.8 K to about 91 dyn/cm at T=236.2 K.


title: On the n-body problem on surfaces of revolution

abstract: We explore the $n$-body problem, $n\geq 3,$ on a surface of revolution with a general interaction depending on the pairwise geodesic distance. Using the geometric methods of classical mechanics we determine a large set of properties. In particular, we show that Saari's conjecture fails on surfaces of revolution admitting a geodesic circle. We define homographic motions and, using the discrete symmetries, prove that when the masses are equal, they form an invariant manifold. On this manifold the dynamics are reducible to a one-degree of freedom system. We also find that for attractive interactions, regular $n$-gon shaped relative equilibria with trajectories located on geodesic circles typically experience a pitchfork bifurcation. Some applications are included.


title: Well-posedness and scattering for the Boltzmann equations: Soft potential with cut-off

abstract: We prove the global existence of the unique mild solution for the Cauchy problem of the cut-off Boltzmann equation for soft potential model $\gamma=2-N$ with initial data small in $L^N_{x,v}$ where $N=2,3$ is the dimension. The proof relies on the existing inhomogeneous Strichartz estimates for the kinetic equation by Ovcharov and convolution-like estimates for the gain term of the Boltzmann collision operator by Alonso, Carneiro and Gamba. The global dynamics of the solution is also characterized by showing that the small global solution scatters with respect to the kinetic transport operator in $L^N_{x,v}$. Also the connection between function spaces and cut-off soft potential model $-N<\gamma<2-N$ is characterized in the local well-posedness result for the Cauchy problem with large initial data.


title: Informative and misinformative interactions in a school of fish

abstract: It is generally accepted that, when moving in groups, animals process information to coordinate their motion. Recent studies have begun to apply rigorous methods based on Information Theory to quantify such distributed computation. Following this perspective, we use transfer entropy to quantify dynamic information flows locally in space and time across a school of fish during directional changes around a circular tank, i.e. U-turns. This analysis reveals peaks in information flows during collective U-turns and identifies two different flows: an informative flow (positive transfer entropy) based on fish that have already turned about fish that are turning, and a misinformative flow (negative transfer entropy) based on fish that have not turned yet about fish that are turning. We also reveal that the information flows are related to relative position and alignment between fish, and identify spatial patterns of information and misinformation cascades. This study offers several methodological contributions and we expect further application of these methodologies to reveal intricacies of self-organisation in other animal groups and active matter in general.


title: A Hybrid Architecture for Multi-Party Conversational Systems

abstract: Multi-party Conversational Systems are systems with natural language interaction between one or more people or systems. From the moment that an utterance is sent to a group, to the moment that it is replied in the group by a member, several activities must be done by the system: utterance understanding, information search, reasoning, among others. In this paper we present the challenges of designing and building multi-party conversational systems, the state of the art, our proposed hybrid architecture using both rules and machine learning and some insights after implementing and evaluating one on the finance domain.


title: Reconstruction of Lorentzian manifolds from boundary light observation sets

abstract: On a time-oriented Lorentzian manifold $(M,g)$ with non-empty boundary satisfying a convexity assumption, we show that the topological, differentiable, and conformal structure of suitable subsets $S\subset M$ of sources is uniquely determined by measurements of the intersection of future light cones from points in $S$ with a fixed open subset of the boundary of $M$; here, light rays are reflected at $\partial M$ according to Snell's law. Our proof is constructive, and allows for interior conjugate points as well as multiply reflected and self-intersecting light cones.


title: Inference for three-parameter M-Wright distributions with applications

abstract: We propose point estimators for the three-parameter (location, scale, and the fractional parameter) variant distributions generated by a Wright function. We also provide uncertainty quantification procedures for the proposed point estimators under certain conditions. The class of densities includes the three-parameter one-sided and the three-parameter symmetric bimodal $M$-Wright family of distributions. The one-sided family naturally generalizes the Airy and half-normal models. The symmetric class includes the symmetric Airy and normal or Gaussian densities. The proposed interval estimator for the scale parameter outperformed the estimator derived in \cite{cah12} when the location parameter is zero. We obtain the asymptotic covariance structure for the scale and fractional parameter estimators, which allows estimation of the correlation. The coverage probabilities of the interval estimators slightly depend on the proposed location parameter estimators. For the symmetric case, the sample mean (or median) is favored than the median (or mean) when the fractional parameter is greater (or lesser) than 0.39106 in terms of their asymptotic relative efficiency. The estimation algorithms were tested using synthetic data and were compared with their bootstrap counterparts. The proposed inference procedures were demonstrated on age and height data.


title: Marine Animal Classification with Correntropy Loss Based Multi-view Learning

abstract: To analyze marine animals behavior, seasonal distribution and abundance, digital imagery can be acquired by visual or Lidar camera. Depending on the quantity and properties of acquired imagery, the animals are characterized as either features (shape, color, texture, etc.), or dissimilarity matrices derived from different shape analysis methods (shape context, internal distance shape context, etc.). For both cases, multi-view learning is critical in integrating more than one set of feature or dissimilarity matrix for higher classification accuracy. This paper adopts correntropy loss as cost function in multi-view learning, which has favorable statistical properties for rejecting noise. For the case of features, the correntropy loss-based multi-view learning and its entrywise variation are developed based on the multi-view intact space learning algorithm. For the case of dissimilarity matrices, the robust Euclidean embedding algorithm is extended to its multi-view form with the correntropy loss function. Results from simulated data and real-world marine animal imagery show that the proposed algorithms can effectively enhance classification rate, as well as suppress noise under different noise conditions.


title: The Ancient Astronomy of Easter Island: The Mamari Tablet Tells (Part 3)

abstract: One of main events on Rapanui before the cruel war (several wars) between the Hanau Momoko and Hanau Eepe was the annual election of the bird-man. Plainly, the local priest-astronomers, the descendants of immigrants from the Andean region of South America, could predict the day of the vernal equinox not only with the aid of the so-called "sun stones," but also counting the phases of the moon. The elements of the mathematical calculations of the astronomers have been deciphered. The astronomical basis of the Ahu Atanga (A Tanga) has been decoded, too.


title: Imaging of buried objects from multi-frequency experimental data using a globally convergent inversion method

abstract: This paper is concerned with the numerical solution to a 3D coefficient inverse problem for buried objects with multi-frequency experimental data. The measured data, which are associated with a single direction of an incident plane wave, are backscatter data for targets buried in a sandbox. These raw scattering data were collected using a microwave scattering facility at the University of North Carolina at Charlotte. We develop a data preprocessing procedure and exploit a newly developed globally convergent inversion method for solving the inverse problem with these preprocessed data. It is shown that dielectric constants of the buried targets as well as their locations are reconstructed with a very good accuracy. We also prove a new analytical result which rigorously justifies an important step of the so-called "data propagation" procedure.


title: Hyperspaces of smooth convex bodies up to congruence

abstract: We determine the homeomorphism type of the hyperspace of positively curved $C^\infty$ convex bodies in $\mathbb R^n$, and derive various properties of its quotient by the group of Euclidean isometries. We make a systematic study of hyperspaces of convex bodies that are at least $C^1$. We show how to destroy the symmetry of a family of convex bodies, and prove that this cannot be done modulo congruence.


title: Computing isomorphisms and embeddings of finite fields

abstract: Let $\mathbb{F}_q$ be a finite field. Given two irreducible polynomials $f,g$ over $\mathbb{F}_q$, with $\mathrm{deg} f$ dividing $\mathrm{deg} g$, the finite field embedding problem asks to compute an explicit description of a field embedding of $\mathbb{F}_q[X]/f(X)$ into $\mathbb{F}_q[Y]/g(Y)$. When $\mathrm{deg} f = \mathrm{deg} g$, this is also known as the isomorphism problem. This problem, a special instance of polynomial factorization, plays a central role in computer algebra software. We review previous algorithms, due to Lenstra, Allombert, Rains, and Narayanan, and propose improvements and generalizations. Our detailed complexity analysis shows that our newly proposed variants are at least as efficient as previously known algorithms, and in many cases significantly better. We also implement most of the presented algorithms, compare them with the state of the art computer algebra software, and make the code available as open source. Our experiments show that our new variants consistently outperform available software.


title: SILVERRUSH. IV. Ly$\alpha$ Luminosity Functions at $z = 5.7$ and $6.6$ Studied with $\sim$ 1,300 LAEs on the $14-21$ deg$^2$ Sky

abstract: We present the Ly$\alpha$ luminosity functions (LFs) at $z=$5.7 and 6.6 derived from a new large sample of 1,266 Ly$\alpha$ emitters (LAEs) identified in total areas of 14 and 21 deg$^2$, respectively, based on the early narrowband data of the Subaru/Hyper Suprime-Cam (HSC) survey. Together with careful Monte-Carlo simulations that account for the incompleteness of the LAE selection and the flux estimate systematics in the narrowband imaging, we have determined the Ly$\alpha$ LFs with the unprecedentedly small statistical and systematic uncertainties in a wide Ly$\alpha$ luminosity range of $10^{42.8-43.8}$ erg s$^{-1}$. We obtain the best-fit Schechter parameters of $L^{*}_{{\rm Lya}}=1.6^{+2.2}_{-0.6} (1.7^{+0.3}_{-0.7}) \times10^{43}$ erg s$^{-1}$, $\phi^{*}_{{\rm Lya}}=0.85^{+1.87}_{-0.77}\ (0.47^{+1.44}_{-0.44})\times10^{-4}$ Mpc$^{-3}$, and $\alpha=-2.6^{+0.6}_{-0.4}\ (-2.5^{+0.5}_{-0.5})$ at $z=5.7$ ($6.6$). We confirm that our best-estimate Ly$\alpha$ LFs are consistent with the majority of the previous studies, but find that our Ly$\alpha$ LFs do not agree with the high number densities of LAEs recently claimed by Matthee/Santos et al.'s studies that may overcorrect the incompleteness and the flux systematics. Our Ly$\alpha$ LFs at $z=5.7$ and $6.6$ show an indication that the faint-end slope is very steep ($\alpha \simeq -2.5$), although it is also possible that the bright-end LF results are enhanced by systematic effects such as the contribution from AGNs, blended merging galaxies, and/or large ionized bubbles around bright LAEs. Comparing our Ly$\alpha$ LF measurements with four independent reionization models, we estimate the neutral hydrogen fraction of the IGM to be $x_{\rm HI}=0.3\pm0.2$ at $z=$6.6 that is consistent with the small Thomson scattering optical depth obtained by Planck 2016.


title: Gromov-Hausdorff hyperspace of nonnegatively curved $2$-spheres

abstract: We study topological properties of the Gromov-Hausdorff metric on the set of isometry classes of nonnegatively curved $2$-spheres.


title: Topological containment of the 5-clique minus an edge in 4-connected graphs

abstract: The topological containment problem is known to be polynomial-time solvable for any fixed pattern graph $H$, but good characterisations have been found for only a handful of non-trivial pattern graphs. The complete graph on five vertices, $K_5$, is one pattern graph for which a characterisation has not been found. The discovery of such a characterisation would be of particular interest, due to the Haj\'os Conjecture. One step towards this may be to find a good characterisation of graphs that do not topologically contain the simpler pattern graph $K_5^-$, obtained by removing a single edge from $K_5$. This paper makes progress towards achieving this, by showing that every 4-connected graph must contain a $K_5^-$-subdivision.


title: The x86isa Books: Features, Usage, and Future Plans

abstract: The x86isa library, incorporated in the ACL2 community books project, provides a formal model of the x86 instruction-set architecture and supports reasoning about x86 machine-code programs. However, analyzing x86 programs can be daunting -- even for those familiar with program verification, in part due to the complexity of the x86 ISA. Furthermore, the x86isa library is a large framework, and using and/or contributing to it may not seem straightforward. We present some typical ways of working with the x86isa library, and describe some of its salient features that can make the analysis of x86 machine-code programs less arduous. We also discuss some capabilities that are currently missing from these books -- we hope that this will encourage the community to get involved in this project.


title: A Computationally Surveyable Proof of the Group Properties of an Elliptic Curve

abstract: We present an elementary proof of the group properties of the elliptic curve known as "Curve25519", as a component of a comprehensive proof of correctness of a hardware implementation of the associated Diffie-Hellman key agreement algorithm. The entire proof has been formalized and mechanically verified with ACL2, and is computationally surveyable in the sense that all steps that require mechanical support are presented in such a way that they may readily reproduced in any suitable programming language.


title: Meta-extract: Using Existing Facts in Meta-reasoning

abstract: ACL2 has long supported user-defined simplifiers, so-called metafunctions and clause processors, which are installed when corresponding rules of class :meta or :clause-processor are proved. Historically, such simplifiers could access the logical world at execution time and could call certain built-in proof tools, but one could not assume the soundness of the proof tools or the truth of any facts extracted from the world or context when proving a simplifier correct. Starting with ACL2 Version 6.0, released in December 2012, an additional capability was added which allows the correctness proofs of simplifiers to assume the correctness of some such proof tools and extracted facts. In this paper we explain this capability and give examples that demonstrate its utility.


title: A Versatile, Sound Tool for Simplifying Definitions

abstract: We present a tool, simplify-defun, that transforms the definition of a given function into a simplified definition of a new function, providing a proof checked by ACL2 that the old and new functions are equivalent. When appropriate it also generates termination and guard proofs for the new function. We explain how the tool is engineered so that these proofs will succeed. Examples illustrate its utility, in particular for program transformation in synthesis and verification.


title: Deterministic Distributed Construction of $T$-Dominating Sets in Time $T$

abstract: A $k$-dominating set is a set $D$ of nodes of a graph such that, for each node $v$, there exists a node $w \in D$ at distance at most $k$ from $v$. Our aim is the deterministic distributed construction of small $T$-dominating sets in time $T$ in networks modeled as undirected $n$-node graphs and under the $\cal{LOCAL}$ communication model. For any positive integer $T$, if $b$ is the size of a pairwise disjoint collection of balls of radii at least $T$ in a graph, then $b$ is an obvious lower bound on the size of a $T$-dominating set. Our first result shows that, even on rings, it is impossible to construct a $T$-dominating set of size $s$ asymptotically $b$ (i.e., such that $s/b \rightarrow 1$) in time $T$. In the range of time $T \in \Theta (\log^* n)$, the size of a $T$-dominating set turns out to be very sensitive to multiplicative constants in running time. Indeed, it follows from \cite{KP}, that for time $T=\gamma \log^* n$ with large constant $\gamma$, it is possible to construct a $T$-dominating set whose size is a small fraction of $n$. By contrast, we show that, for time $T=\alpha \log^* n $ for small constant $\alpha$, the size of a $T$-dominating set must be a large fraction of $n$. Finally, when $T \in o (\log^* n)$, the above lower bound implies that, for any constant $x<1$, it is impossible to construct a $T$-dominating set of size smaller than $xn$, even on rings. On the positive side, we provide an algorithm that constructs a $T$-dominating set of size $n- \Theta(T)$ on all graphs.


title: Proof Reduction of Fair Stuttering Refinement of Asynchronous Systems and Applications

abstract: We present a series of definitions and theorems demonstrating how to reduce the requirements for proving system refinements ensuring containment of fair stuttering runs. A primary result of the work is the ability to reduce the requisite proofs on runs of a system of interacting state machines to a set of definitions and checks on single steps of a small number of state machines corresponding to the intuitive notions of freedom from starvation and deadlock. We further refine the definitions to afford an efficient explicit-state checking procedure in certain finite state cases. We demonstrate the proof reduction on versions of the Bakery Algorithm.


title: Term-Level Reasoning in Support of Bit-blasting

abstract: GL is a verified tool for proving ACL2 theorems using Boolean methods such as BDD reasoning and satisfiability checking. In its typical operation, GL recursively traverses a term, computing a symbolic object representing the value of each subterm. In older versions of GL, such a symbolic object could use Boolean functions to compactly represent many possible values for integer and Boolean subfields, but otherwise needed to reflect the concrete structure of all possiblealues that its term might take. When a term has many possible values that can't share such a representation, this can easily cause blowups because GL must then case-split. To address this problem, we have added several features to GL that allow it to reason about term-like symbolic objects using various forms of rewriting. These features allow GL to be programmed with rules much like the ACL2 rewriter, so that users may choose a better normal form for terms for which the default, value-like representation would otherwise cause case explosions. In this paper we describe these new features; as a motivating example, we show how to program the rewriter to reason effectively about the theory of records.


title: Single array of magnetic vortex disks uses in-plane anisotropy to create different logic gates

abstract: Using micromagnetic simulation, we show that in-plane uniaxial magnetic anisotropy (IPUA) can be used to obtain FAN-OUT, AND and OR gates in an array of coupled disks with magnetic vortex configuration. First, we studied the influence of the direction of application of the IPUA on the energy transfer time ({\tau}) between two identical coupled nanodisks. We found that when the direction of the IPUA is along the x axis the magnetic interaction increases, allowing shorter values of {\tau}, while the IPUA along the y direction has the opposite effect. The magnetic interactions between the nanodisks along x and y directions (the coupling integrals) as a function of the uniaxial anisotropy constant (K {\sigma} ) were obtained using a simple dipolar model. Next, we demonstrated that choosing a suitable direction of application of the IPUA, it is possible to create several different logic gates with a single array of coupled nanodisks


title: Exploring the SDSS Dataset with Linked Scatter Plots: I. EMP, CEMP, and CV Stars

abstract: We present the results of a search for extremely metal-poor (EMP), carbon-enhanced metal-poor (CEMP), and cataclysmic variable (CV) stars using a new exploration tool based on linked scatter plots (LSPs). Our approach is especially designed to work with very large spectrum data sets such as the SDSS, LAMOST, RAVE, and Gaia data sets, and it can be applied to stellar, galaxy, and quasar spectra. As a demonstration, we conduct our search using the SDSS DR10 data set. We first created a 3326-dimensional phase space containing nearly 2 billion measures of the strengths of over 1600 spectral features in 569,738 SDSS stars. These measures capture essentially all the stellar atomic and molecular species visible at the resolution of SDSS spectra. We show how LSPs can be used to quickly isolate and examine interesting portions of this phase space. To illustrate, we use LSPs coupled with cuts in selected portions of phase space to extract EMP stars, CEMP stars, and CV stars. We present identifications for 59 previously unrecognized candidate EMP stars and 11 previously unrecognized candidate CEMP stars. We also call attention to 2 candidate He~II emission CV stars found by the LSP approach that have not yet been discussed in the literature.


title: Complementary aspects of non-equilibrium thermodynamics

abstract: Bio-molecules are active agents in that they consume energy to perform tasks. The standard theoretical description, however, considers only a system-external work agent. Fluctuation theorems, for example, do not allow work-exchange between fluctuating molecules. This tradition leaves `action through work', an essential characteristic of an active agent, out of proper thermodynamic consideration. Here, we investigate thermodynamics that considers internal-work. We find a complementary set of relations that capture the production of free energy in molecular interactions while obeying the second law of thermodynamics. This thermodynamic description is in stark contrast to the traditional one. A choice of an axiom whether one treats a portion of Hamiltonian as `internal-work' or `internal-energy' decides which of the two complementary descriptions manifests among the dual. We illustrate, by examining an allosteric transition and a single-molecule fluorescence-resonance-energy-transfer measurement of proteins, that the complementary set is useful in identifying work content by experimental and numerical observation.


title: Non-Orthogonal Random Access (NORA) for 5G Networks

abstract: The massive amounts of machine-type user equipments (UEs) will be supported in the future fifth generation (5G) networks. However, the potential large random access (RA) delay calls for a new RA scheme and for a detailed assessment of its performance. Motivated by the key idea of non-orthogonal multiple access, the non-orthogonal random access (NORA) scheme based on successive interference cancellation (SIC) is proposed in this paper to alleviate the access congestion problem. Specifically, NORA utilizes the difference of time of arrival to identify multiple UEs with the identical preamble, and enables power domain multiplexing of collided UEs in the following access process, while the base station performs SIC based on the channel conditions obtained through preamble detection. Our analysis show that the performance of NORA is superior to the conventional orthogonal random access (ORA) scheme in terms of the preamble collision probability, access success probability and throughput of random access. Simulation results verify our analysis and further show that our NORA scheme can improve the number of the supported UEs by more than 30%. Moreover, the number of preamble transmissions and the access delay for successfully accessed UEs are also reduced significantly by using the proposed random access scheme.


title: Constant scalar curvature equation and the regularity of its weak solution

abstract: In this paper we study constant scalar curvature equation (CSCK), a nonlinear fourth order elliptic equation, and its weak solutions on K\"ahler manifolds. We first define a notion of weak solution of CSCK for an $L^\infty$ K\"ahler metric. The main result is to show that such a weak solution (with uniform $L^\infty$ bound) is smooth. As an application, this answers in part a conjecture of Chen regarding the regularity of $K$-energy minimizers. The new technical ingredient is a $W^{2, 2}$ regularity result for the Laplacian equation $\Delta_g u=f$ on K\"ahler manifolds, where the metric has only $L^\infty$ coefficients. It is well-known that such a $W^{2, 2}$ regularity ($W^{2, p}$ regularity for any $p>1$) fails in general (except for dimension two) for uniform elliptic equations of the form $a^{ij}\partial^2_{ij}u=f$ for $a^{ij}\in L^\infty$, without certain smallness assumptions on the local oscillation of $a^{ij}$. We observe that the K\"ahler condition plays an essential role to obtain a $W^{2, 2}$ regularity for elliptic equations with only $L^\infty$ elliptic coefficients on compact manifolds.


title: Complete classifications of two-dimensional general, commutative, commutative Jordan, division and evolution real algebras

abstract: A complete classifications of two-dimensional general, commutative, commutative Jordan, division and evolution real algebras are given. In the case of evolution algebras their groups of automorphisms and derivation algebras are described as well.


title: On Minkowski type question mark functions associated with even or odd continued fractions

abstract: We study analogues of Minkowski's question mark function $?(x)$ related to continued fractions with even or odd partial quotients. We prove that these functions are H\"older continuous with precise exponents, and that they linearize the appropriate versions of the Gauss and Farey maps.


title: Conformal invariance for Wilson actions

abstract: We discuss the realization of conformal invariance for Wilson actions using the formalism of the exact renormalization group. This subject has been studied extensively in the recent works of O. J. Rosten. The main purpose of this paper is to reformulate Rosten's formulas for conformal transformations using a method developed earlier for the realization of any continuous symmetry in the exact renormalization group formalism. The merit of the reformulation is simplicity and transparency via the consistent use of equation-of-motion operators. We derive equations that imply the invariance of the Wilson action under infinitesimal conformal transformations which are non-linearly realized but form a closed conformal algebra. The best effort has been made to make the paper self-contained; ample background on the formalism is provided.


title: Consistency of orthology and paralogy constraints in the presence of gene transfers

abstract: Orthology and paralogy relations are often inferred by methods based on gene similarity, which usually yield a graph depicting the relationships between gene pairs. Such relation graphs are known to frequently contain errors, as they cannot be explained via a gene tree that both contains the depicted orthologs/paralogs, and that is consistent with a species tree $S$. This idea of detecting errors through inconsistency with a species tree has mostly been studied in the presence of speciation and duplication events only. In this work, we ask: could the given set of relations be consistent if we allow lateral gene transfers in the evolutionary model? We formalize this question and provide a variety of algorithmic results regarding the underlying problems. Namely, we show that deciding if a relation graph $R$ is consistent with a given species network $N$ is NP-hard, and that it is W[1]-hard under the parameter "minimum number of transfers". However, we present an FPT algorithm based on the degree of the $DS$-tree associated with $R$. We also study analogous problems in the case that the transfer highways on a species tree are unknown.


title: Degenrate Eulerian numbers and polynomials

abstract: In this paper, we study the degenerate Eulerian polynomials and numbers and give some new and interesting identities associated with several special numbers and polynomials.


title: Non-existence of Higgs fields on Calabi-Yau Manifolds

abstract: In this article, we study the Higgs vector bundles $(E,\theta)$ over a compact Calabi-Yau manifolds $X$. We use Yang-Mills-Higgs flow to prove that if a semistable Higgs bundle with vanishing Chern classes over a compact connected Calabi-Yau manifold, then the Higgs field $\theta$ is trivial. In particular, the vector bundle $E$ must be semistable.


title: An $L_p$-theory for diffusion equations related to stochastic processes with non-stationary independent increment

abstract: Let $X=(X_t)_{t \ge 0}$ be a stochastic process which has an (not necessarily stationary) independent increment on a probability space $(\Omega, \mathbb{P})$. In this paper, we study the following Cauchy problem related to the stochastic process $X$: $\label{main eqn} \frac{\partial u}{\partial t}(t,x) = \cA(t)u(t,x) +f(t,x), \quad u(0,\cdot)=0, \quad (t,x) \in (0,T) \times \mathbf{R}^d, \end{align} where $f \in L_p( (0,T) ; L_p(\mathbf{R}^d))=L_p( (0,T) ; L_p)$ and \begin{align*} \cA(t)u(t,x) = \lim_{h \downarrow 0}\frac{\mathbb{E}\left[u(t,x+X_{t+h}-X_t)-u(t,x)\right]}{h}$. We provide a sufficient condition on $X$ to guarantee the unique solvability of equation (\ref{ab main}) in $L_p\left( [0,T] ; H^\phi_{p}\right)$, where $H^\phi_{p}$ is a $\phi$-potential space on $\mathbf{R}^d$ . Furthemore we show that for this solution, \| u\|_{L_p\left( [0,T] ; H^\phi_{p}\right)} \leq N \|f\|_{L_p\left( [0,T] ; L_p\right)}, where $N$ is independent of $u$ and $f$.


title: Representations by sextenary quadratic forms with coefficients $1,2,3$ and $6$ and on newforms in $S_{3} (\Gamma_0 (24), \chi )$

abstract: We use theory of modular forms to give formulas for $N(1^{l_1},2^{l_2},3^{l_3},6^{l_6};n)$ for all $l_1,l_2,l_3,l_6 \in \mathbb{N}_0$, with $l_1+l_2+l_3+l_6=6$. We also apply our results to write newforms in $S_{3} (\Gamma_0 (24), \chi )$ in terms of eta quotients.


title: Quaternary two-dimensional (2D) transition metal dichalcogenides (TMDs) with tunable bandgap

abstract: Alloying/doping in two-dimensional material has been important due to wide range band gap tunability. Increasing the number of components would increase the degree of freedom which can provide more flexibility in tuning the band gap and also reduced the growth temperature. Here, we report synthesis of quaternary alloys MoxW1-xS2ySe2(1-y) using chemical vapour deposition. The composition of alloys has been tuned by changing the growth temperatures. As a result, we can tune the bandgap which varies from 1.73 eV to 1.84 eV. The detailed theoretical calculation supports the experimental observation and shows a possibility of wide tunability of bandgap.


title: Locating transition path region in the free energy landscape of protein folding

abstract: Protein folding processes are generally described statistically with the help of multidimensional free energy landscape, typically reduced to a 1-D free energy profile along good reaction co-ordinate. There are many physical parameters which are responsible for protein molecule to hop between the native and unfolded states. The transition path region across the barrier is the region corresponding to the minimum fluctuation. The extent to which this transition region can extend beyond the obvious 1/2 kBT region has been a question of interest for a long time. We propose a new method to locate this transition path region and to study its dependence on the asymmetry of the transition state for a given free energy landscape. We have performed Brownian dynamics simulations with Gaussian white noise and Monte-Carlo simulation by sampling ten thousand successful transitions across the barrier for three different energy landscape having fixed barrier height with asymmetry in their curvatures. It was found that the transition path region increases with the increase in the asymmetry of the energy landscape in the transition region. The rate limiting parameter diffusion constant over the diffusive barrier, rate constant at particular force and transition path time for different potentials were estimated directly from the landscape profile using Kramers theory for diffusive barrier crossing. It was also found that the average diffusion in the native state increases with the increase in the asymmetry of the transition state towards the non-native state.


title: Unsupervised Part-based Weighting Aggregation of Deep Convolutional Features for Image Retrieval

abstract: In this paper, we propose a simple but effective semantic part-based weighting aggregation (PWA) for image retrieval. The proposed PWA utilizes the discriminative filters of deep convolutional layers as part detectors. Moreover, we propose the effective unsupervised strategy to select some part detectors to generate the "probabilistic proposals", which highlight certain discriminative parts of objects and suppress the noise of background. The final global PWA representation could then be acquired by aggregating the regional representations weighted by the selected "probabilistic proposals" corresponding to various semantic content. We conduct comprehensive experiments on four standard datasets and show that our unsupervised PWA outperforms the state-of-the-art unsupervised and supervised aggregation methods. Code is available at https://github.com/XJhaoren/PWA.


title: The three-dimensional standard solution to the Ricci flow is modeled by the Bryant soliton

abstract: It came to my attention after posting this paper that Yu Ding has proved the same result before. I would like to apologize to Yu Ding for the appearance of this paper.


title: High resolution Monte Carlo study of the Domb-Joyce model

abstract: We study the Domb-Joyce model of weakly self-avoiding walks on the simple cubic lattice via Monte Carlo simulations. We determine to excellent accuracy the value for the interaction parameter which results in an improved model for which the leading correction-to-scaling term has zero amplitude.


title: Study of cryogenic photomultiplier tubes for the future two-phase cryogenic avalanche detector

abstract: We report the results of a characterization study of several types of cryogenic photomultipliers manufactured by Hamamatsu Photonics and intended for operation in liquid Ar conditions, namely: compact 2-inch R6041-506MOD tubes, 3-inch R11065-10 and R11065-MOD tubes for operation in liquid Ar and 3-inch R11410-20 tubes originally designed for operation in liquid Xe. These types of PMT are proposed for installation into the future two-phase cryogenic avalanche detector that is developed in the Laboratory of Cosmology and Particle Physics of the Novosibirsk State University jointly with the Budker Institute of Nuclear Physics. Eight R11065 PMTs and seven R11410-20 tubes were tested and all demonstrated excellent performance in liquid Ar in terms of gain and relative single electron efficiency. All 3-inch PMTs showed a maximal gain in liquid Ar above 5x10^6 and relative single electron efficiency higher than 95%. Compact R6041-506MOD tubes have dynode system different from that of the 3-inch photomultipliers and thus their single electron energy resolution and relative efficiency is much worse than that of 3-inch tubes. From 21 2-inch PMTs only 12 tubes were selected with acceptable, i.e. higher than 75%, relative single electron efficiency and the maximal gain higher than 5x10^6. However, these PMTs are very attractive because they are the only compact type of tubes that can operate in liquid Ar.


title: Improved method to determine the integrated properties of nuclear rings: NGC 1512

abstract: The integrated properties of nuclear rings are correlated with their host galaxy's secular evolution and its dynamics, as well as with the formation and evolution of the ring's star cluster population(s). Here we present a new method to accurately measure the spectral energy distribution and current star-formation rate (SFR) of the nuclear ring in the barred spiral galaxy NGC 1512 based on high-resolution {\sl Hubble} and {\sl Spitzer Space Telescope} images. Image degradation does not have a significant negative effect on the robustness of the results. To obtain the ring's SFR for the period spanning $\sim$3--10 Myr, we apply our method to the continuum-subtracted H$\alpha$ and 8 $\mu$m images. The resulting SFR surface density, $\Sigma_{\rm SFR}$=$0.09\, {M}_{\odot} \,{\rm yr}^{-1}$ ${\rm kpc}^{-2}$, which is much higher than the disk-averaged SFR densities in normal galaxies. We also estimate the ring's total stellar mass, log (${M}/{M}_{\odot}$) = 7.1 $\pm$ 0.11 for an average age of $\sim$40 Myr.


title: Alternative gravity rotation curves for the Little Things Survey

abstract: Galactic rotation curves have proven to be the testing ground for dark matter bounds in spiral galaxies of all morphologies. Dwarf galaxies serve as an increasingly interesting case of rotation curve dynamics due to their typically rising rotation curve as opposed to the flattening curve of large spirals. These galaxies usually vary in galactic structure and mostly terminate at small radial distances. This, coupled with the fact that Cold Dark Matter theories struggle with the universality of galactic rotation curves, allow for exclusive features of alternative gravitational models to be analyzed. Recently, the THINGS (The HI Nearby Galactic Survey) has been extended to include a sample of 25 dwarf galaxies now known as the LITTLE THINGS Survey. Here, we present a thorough application of alternative gravitational models to the LITTLE THINGS survey, specifically focusing on conformal gravity and Modified Newtonian Dynamics. An analysis and discussion of the results of the fitting procedure of the two alternative gravitational models are explored, as well as the resulting rotation curve predictions of each. Further, we show how these two alternative gravitational models account for the recently observed universal trends in centripetal accelerations in spiral galaxies. We posit here that both conformal gravity and MOND can provide an accurate description of the galactic dynamics without the need for dark matter.


title: The Forgettable-Watcher Model for Video Question Answering

abstract: A number of visual question answering approaches have been proposed recently, aiming at understanding the visual scenes by answering the natural language questions. While the image question answering has drawn significant attention, video question answering is largely unexplored. Video-QA is different from Image-QA since the information and the events are scattered among multiple frames. In order to better utilize the temporal structure of the videos and the phrasal structures of the answers, we propose two mechanisms: the re-watching and the re-reading mechanisms and combine them into the forgettable-watcher model. Then we propose a TGIF-QA dataset for video question answering with the help of automatic question generation. Finally, we evaluate the models on our dataset. The experimental results show the effectiveness of our proposed models.


title: Probe CP violation in $H\to \gamma Z$ through forward-backward asymmetry

abstract: We suggest that the forward-backward asymmetry $(A_{FB})$ of the charged leptons in $gg\to H\to\gamma Z\to\gamma \ell^-\ell^+$ process could be used to probe the CP violating $H\gamma Z$ coupling when the interference from $gg\to\gamma Z\to\gamma \ell^-\ell^+$ process is included. With CP violation in $H\gamma Z$ coupling, the interference effect leads to a non-vanishing $A_{FB}$, which is also sensitive to the strong phase differences. The resonant and non-resonant strong phases together make $A_{FB}(\hat{s})$ change sign around Higgs mass $M_H$. For phenomenology study, we suggest the integral over one-side mass region below $M_H$ to magnify the $A_{FB}$ strength.


title: Spin Resonance and Magnetic Order in an Unconventional Superconductor

abstract: Unconventional superconductivity in many materials is believed to be mediated by magnetic fluctuations. It is an open question how magnetic order can emerge from a superconducting condensate and how it competes with the magnetic spin resonance in unconventional superconductors. Here we study a model d-wave superconductor that develops spin-density wave order, and find that the spin resonance is unaffected by the onset of static magnetic order. This result suggests a scenario, in which the resonance in Nd0.05Ce0.95CoIn5 is a longitudinal mode with fluctuating moments along the ordered magnetic moments.


title: Higher moments of net-proton multiplicity distributions in a heavy-ion event pile-up scenario

abstract: High-luminosity modern accelerators, like the Relativistic Heavy Ion Collider (RHIC) at BNL and Large Hadron Collider (LHC) at CERN, inherently have event pile-up scenarios which significantly contribute to physics events as a background. While state-of-the-art tracking algorithms and detector concepts take care of these event pile-up scenarios, several offline analytical techniques are used to remove such events from the physics analysis. It is still difficult to identify the remaining pile-up events in an event sample for physics analysis. Since the fraction of these events is significantly small, it may not be as serious of an issue for other analysis as it would be for an event-by-event analysis. Particularly, when the characteristics of the multiplicity distribution are observable, one needs to be very careful. In the present work, we demonstrate how a small fraction of residual pile-up events can change the moments and their ratios of an event-by-event net-proton multiplicity distribution, which are sensitive to the dynamical fluctuations due to the QCD critical point. For this study we assume that the individual event-by-event proton and antiproton multiplicity distributions follow Poisson, negative binomial or binomial distributions. We observe a significant effect in cumulants and their ratios of net-proton multiplicity distributions due to pile-up events, particularly at lower energies. It might be crucial to estimate the fraction of pile-up events in the data sample while interpreting the experimental observable for the critical point.


title: Failure localization in time critical market applications

abstract: In time critical market applications such as for example scheduling and price computation for the balancing market, failure of the algorithm in finding a solution would result in cancelation of the session and respective financial consequences for the market participants. In the paper we propose a regularization procedure that could help an operator to spot the problematic location and find out the reasons that caused the algorithm to breakdown and make necessary corrections. The approach has proved to be useful in the operation of the Balancing Market in the Russian Federation.


title: Super-Resolution of Wavelet-Encoded Images

abstract: Multiview super-resolution image reconstruction (SRIR) is often cast as a resampling problem by merging non-redundant data from multiple low-resolution (LR) images on a finer high-resolution (HR) grid, while inverting the effect of the camera point spread function (PSF). One main problem with multiview methods is that resampling from nonuniform samples (provided by LR images) and the inversion of the PSF are highly nonlinear and ill-posed problems. Non-linearity and ill-posedness are typically overcome by linearization and regularization, often through an iterative optimization process, which essentially trade off the very same information (i.e. high frequency) that we want to recover. We propose a novel point of view for multiview SRIR: Unlike existing multiview methods that reconstruct the entire spectrum of the HR image from the multiple given LR images, we derive explicit expressions that show how the high-frequency spectra of the unknown HR image are related to the spectra of the LR images. Therefore, by taking any of the LR images as the reference to represent the low-frequency spectra of the HR image, one can reconstruct the super-resolution image by focusing only on the reconstruction of the high-frequency spectra. This is very much like single-image methods, which extrapolate the spectrum of one image, except that we rely on information provided by all other views, rather than by prior constraints as in single-image methods (which may not be an accurate source of information). This is made possible by deriving and applying explicit closed-form expressions that define how the local high frequency information that we aim to recover for the reference high resolution image is related to the local low frequency information in the sequence of views. Results and comparisons with recently published state-of-the-art methods show the superiority of the proposed solution.


title: Spinon confinement in a quasi one dimensional anisotropic Heisenberg magnet

abstract: Confinement is a process by which particles with fractional quantum numbers bind together to form quasiparticles with integer quantum numbers. The constituent particles are confined by an attractive interaction whose strength increases with increasing particle separation and as a consequence, individual particles are not found in isolation. This phenomenon is well known in particle physics where quarks are confined in baryons and mesons. An analogous phenomenon occurs in certain magnetic insulators; weakly coupled chains of spins S=1/2. The collective excitations in these systems is spinons (S=1/2). At low temperatures weak coupling between chains can induce an attractive interaction between pairs of spinons that increases with their separation and thus leads to confinement. In this paper, we employ inelastic neutron scattering to investigate the spinon confinement in the quasi-1D S=1/2 XXZ antiferromagnet SrCo2V2O8. Spinon excitations are observed above TN in quantitative agreement with established theory. Below TN the pairs of spinons are confined and two sequences of meson-like bound states with longitudinal and transverse polarizations are observed. Several theoretical approaches are used to explain the data. A new theoretical technique based on Tangent-space Matrix Product States gives a very complete description of the data and provides good agreement not only with the energies of the bound modes but also with their intensities. We also successfully explained the effect of temperature on the excitations including the experimentally observed thermally induced resonance between longitudinal modes below TN ,and the transitions between thermally excited spinon states above TN. In summary, our work establishes SrCo2V2O8 as a beautiful paradigm for spinon confinement in a quasi-1D quantum magnet and provides a comprehensive picture of this process.


title: Radio emission of air showers with extremely high energy measured by the Yakutsk radio array

abstract: The Yakutsk Array is designed to study cosmic rays at energy 10$^{15}$-10$^{20}$ eV. It consists several independent arrays that register charged particles, muons with energy E$\geq$1 GeV, Cherenkov light and radio emission. The paper presents a technical description of the Yakutsk Radio Array and some preliminary results obtained from measurements of radio emission at 30-35 MHz frequency induced by air shower particles with energy $\varepsilon$ $\geq$ 1$\cdot$10$^{17}$ eV. The data obtained at the Yakutsk array in 1986-1989 (first set of measurements) and 2009-2014 (new set of measurements). Based on the obtained results we determined: Lateral distribution function (LDF) of air showers radio emission with energy $\geq$ 10$^{17}$ eV. Radio emission amplitude empirical connection with air shower energy. Determination of depth of maximum by the ratio of amplitude at different distances from the shower axis. For the first time, at the Yakutsk array, radio emission from the air shower with energy $>$ 10$^{19}$ eV was registered including the shower with the highest energy ever registered at the Yakutsk array with energy $\sim$2 $\cdot$ 10$^{20}$ eV.


title: Remaining Idle Time Aware Intelligent Channel Bonding Schemes for Cognitive Radio Sensor Networks

abstract: Channel Bonding (CB) is a technique used to provide larger bandwidth to users. It has been applied to various networks such as wireless local area networks (WLANs), Wireless Sensor Networks (WSNs), Cognitive Radio Networks (CRNs), and Cognitive Radio Sensor Networks (CRSNs). The implementation of CB in CRSNs needs special attention as Primary Radio (PR) nodes traffic must be protected from any harmful interference by Cognitive Radio (CR) nodes. On the other hand, CR nodes need to communicate without interruption to meet their data rate requirements. If CR nodes perform frequent channel switching due to PR traffic then it will be difficult to meet their quality of service (QoS) and data rate requirements. So, CR nodes need to select those channels which are stable. By stable, we mean those channels which cause less harmful interference to PR nodes and having less PR activity or long remaining idle time. In this paper, we propose our two approaches Remaining Idle Time aware intelligent Channel Bonding (RITCB) and Remaining Idle Time aware Intelligent Channel Bonding with Interference Prevention (RITCB-IP) for cognitive radio sensor networks which select those channels for CB which have longest remaining idle time. We compare our approaches with four schemes PRACB, SWA, KNOWS and AGILE. Simulation results show that our proposed approaches RITCB and RITCB-IP decrease harmful interference (HIR) and increases the life time of cognitive radio sensor nodes.


title: Learning to segment with image-level supervision

abstract: Deep convolutional networks have achieved the state-of-the-art for semantic image segmentation tasks. However, training these networks requires access to densely labeled images, which are known to be very expensive to obtain. On the other hand, the web provides an almost unlimited source of images annotated at the image level. How can one utilize this much larger weakly annotated set for tasks that require dense labeling? Prior work often relied on localization cues, such as saliency maps, objectness priors, bounding boxes etc., to address this challenging problem. In this paper, we propose a model that generates auxiliary labels for each image, while simultaneously forcing the output of the CNN to satisfy the mean-field constraints imposed by a conditional random field. We show that one can enforce the CRF constraints by forcing the distribution at each pixel to be close to the distribution of its neighbors. This is in stark contrast with methods that compute a recursive expansion of the mean-field distribution using a recurrent architecture and train the resultant distribution. Instead, the proposed model adds an extra loss term to the output of the CNN, and hence, is faster than recursive implementations. We achieve the state-of-the-art for weakly supervised semantic image segmentation on VOC 2012 dataset, assuming no manually labeled pixel level information is available. Furthermore, the incorporation of conditional random fields in CNN incurs little extra time during training.


title: The Iray Light Transport Simulation and Rendering System

abstract: While ray tracing has become increasingly common and path tracing is well understood by now, a major challenge lies in crafting an easy-to-use and efficient system implementing these technologies. Following a purely physically-based paradigm while still allowing for artistic workflows, the Iray light transport simulation and rendering system allows for rendering complex scenes by the push of a button and thus makes accurate light transport simulation widely available. In this document we discuss the challenges and implementation choices that follow from our primary design decisions, demonstrating that such a rendering system can be made a practical, scalable, and efficient real-world application that has been adopted by various companies across many fields and is in use by many industry professionals today.


title: Design and optimization of a dispersive unit based on cascaded volume phase holographic gratings

abstract: We describe a dispersive unit consisting of cascaded volume-phase holographic gratings for spectroscopic applications. Each of the gratings provides high diffractive efficiency in a relatively narrow wavelength range and transmits the rest of the radiation to the 0th order of diffraction. The spectral lines formed by different gratings are centered in the longitudal direction and separated in the transverse direction due to tilt of the gratings around two axes. We consider a technique of design and optimization of such a scheme. It allows to define modulation of index of refraction and thickness of the holographic layer for each of the gratings as well as their fringes frequencies and inclination angles. At the first stage the gratings parameters are found approximately using analytical expressions of Kogelnik's coupled wave theory. Then each of the grating starting from the longwave sub-range is optimized separately by using of numerical optimization procedure and rigorous coupled wave analysis to achieve a high diffraction efficiency profile with a steep shortwave edge. In parallel such targets as ray aiming and linear dispersion maintenance are controlled by means of ray tracing. We demonstrate this technique on example of a small-sized spectrograph for astronomical applications. It works in the range of 500-650 nm and uses three gratings covering 50 nm each. It has spectral resolution of 6130 - 12548. Obtaining of the asymmetrical efficiency curve is shown with use of dichromated gelatin and a photopolymer. Change of the curve shape allows to increase filling coefficient for the target sub-range up to 2.3 times.


title: On the effectiveness of feature set augmentation using clusters of word embeddings

abstract: Word clusters have been empirically shown to offer important performance improvements on various tasks. Despite their importance, their incorporation in the standard pipeline of feature engineering relies more on a trial-and-error procedure where one evaluates several hyper-parameters, like the number of clusters to be used. In order to better understand the role of such features we systematically evaluate their effect on four tasks, those of named entity segmentation and classification as well as, those of five-point sentiment classification and quantification. Our results strongly suggest that cluster membership features improve the performance.


title: Multiphased alkali halide mixed crystals: The conductivity activation energy

abstract: The preparation of mixed crystals of NaBr and KBr from melt as well as their physical characterization have been reported. Electrical measurements were carried out at various temperatures, which showed that their conductivity increases with the increase in temperature and varies nonlinearly with the bulk composition. We find that for most of the compositions studied, the activation energy deduced from the temperature variation of their conductivity obeys a thermodynamical model that interrelates the defect Gibbs energy with the bulk elastic and expansivity data.


title: Nonlinear Chiral Plasma Transport in Rotating Coordinates

abstract: The nonlinear transport features of inhomogeneous chiral plasma in the presence of electromagnetic fields, in rotating coordinates are studied within the relaxation time approach. The chiral distribution functions up to second order in the electric field in rotating coordinates and the derivatives of chemical potentials are established by solving the Boltzmann transport equation. First, the vector and axial current densities in the weakly ionized chiral plasma for vanishing magnetic field are calculated. They involve the rotational analogues of the Hall effect as well as several new terms arising from the Coriolis and fictitious centrifugal forces. Then in the short relaxation time regime the angular velocity and electromagnetic fields are treated as perturbations. The current densities are obtained by retaining the terms up to second order in perturbations. The time evolution equations of the inhomogeneous chemical potentials are derived by demanding that collisions conserve the particle number densities.


title: Unbounded quasitraces, stable finiteness and pure infiniteness

abstract: We prove that if A is a \sigma-unital exact C*-algebra of real rank zero, then every state on K_0(A) is induced by a 2-quasitrace on A. This yields a generalisation of Rainone's work on pure infiniteness and stable finiteness of crossed products to the non-unital case. It also applies to k-graph algebras associated to row-finite k-graphs with no sources. We show that for any k-graph whose C*-algebra is unital and simple, either every twisted C*-algebra associated to that k-graph is stably finite, or every twisted C*-algebra associated to that k-graph is purely infinite. Finally we provide sufficient and necessary conditions for a unital simple k-graph algebra to be purely infinite in terms of the underlying k-graph.


title: Alternating Double Euler Sums, Hypergeometric Identities and a Theorem of Zagier

abstract: In this work, we derive relations between generating functions of double stuffle relations and double shuffle relations to express the alternating double Euler sums $\zeta\left(\overline{r}, s\right)$, $\zeta\left(r, \overline{s}\right)$ and $\zeta\left(\overline{r}, \overline{s}\right)$ with $r+s$ odd in terms of zeta values. We also give a direct proof of a hypergeometric identity which is a limiting case of a basic hypergeometric identity of Andrews. Finally, we gave another proof for the formula of Zagier on the multiple zeta values $\zeta(2,\ldots,2,3,2,\ldots,2)$.


title: New direct proofs of variational principles for t-entropy, spectral radius of weighted shift operators, and entropy statistic theorem

abstract: New direct proofs of variational principles for $t$-entropy, spectral radius of weighted shift operators, and entropy statistic theorem are given. The equivalence of these statements is obtained.


title: Quantum simulators by design - many-body physics in reconfigurable arrays of tunnel-coupled traps

abstract: We present a novel platform for the bottom-up construction of itinerant many-body systems: ultracold atoms transferred from a Bose-Einstein condensate into freely configurable arrays of micro-lens generated focused-beam dipole traps. This complements traditional optical lattices and gives a new quality to the field of two-dimensional quantum simulators. The ultimate control of topology, well depth, atom number, and interaction strength is matched by sufficient tunneling. We characterize the required light fields, derive the Bose-Hubbard parameters for several alkali species, investigate the loading procedures and heating mechanisms. To demonstrate the potential of this approach, we analyze coupled annular Josephson contacts exhibiting many-body resonances.


title: Intersecting hexagons in 3-space

abstract: Two hexagons in the space are said to intersect heavily if their intersection consists of at least one common vertex as well as an interior point. We show that the number of hexagons on n points in 3-space without heavy intersections is o(n^2), under the assumption that the hexagons are "fat".


title: Global Existence and Large-time Behavior of Solutions to the Cauchy Problem of One-dimensional Viscous Radiative and Reactive Gas

abstract: Although there are many results on the global solvability and the precise description of the large time behaviors of solutions to the initial-boundary value problems of the one-dimensional viscous radiative and reactive gas in bounded domain with two typical types of boundary conditions, no result is available up to now for the corresponding problems in unbounded domain. This paper focuses on the Cauchy problem of such a system with prescribed large initial data and the main purpose is to construct its global smooth non-vacuum solutions around a non-vacuum constant equilibrium state and to study the time-asymptotically nonlinear stability of such an equilibrium state. The key point in the analysis is to deduce the uniform positive lower and upper bounds on the specific volume and the temperature.


title: Implications of the latest NO$ \nu $A results

abstract: We discuss the implications of the latest NO$ \nu $A results on the measurement of $\nu_\mu - \nu_e$ conversions. From a combined analysis of the disappearance and appearance data, the preferred solutions reported by NO$ \nu $A are normal hierarchy (NH) with two degenerate best-fit points one in the lower octant (LO) and $ \delta_{CP} = 1.48\pi$ whereas the other in the higher octant (HO) with $ \delta_{CP} = 0.74\pi$. There is also another solution with inverted hierarchy (IH) which is $0.46 \sigma$ away from the best-fit. We discuss and quantify the possibility of resolving these degeneracies by inclusion of NO$ \nu $A antineutrino runs. We show that if the true solution corresponds to (NH, LO, $\sim 1.48\pi$) then future data from NO$ \nu $A comprising of 3 years of neutrino and 3 years of antineutrino run will be able to resolve the degenerate solutions at 95.45\% C.L. However, if the true solution corresponds to (NH, HO, $\sim 0.74\pi$), a wrong hierarchy-wrong $ \delta_{CP} $ solution remains unresolved even at 68\% C.L. with the full $3\nu+3\bar{\nu}$ projected run of NO$ \nu $A. Same is the case if the IH solution turns out to be the true solution. We further show that DUNE (10 kton) will be able to resolve these degenerate solutions at 99.73\% C.L. with only 1 year of neutrino and one year of antineutrino run [1+1] while 5+5 years of DUNE data can resolve the degeneracies at 99.99\% C.L.


title: Laplacian Spectrum of non-commuting graphs of finite groups

abstract: In this paper, we compute the Laplacian spectrum of non-commuting graphs of some classes of finite non-abelian groups. Our computations reveal that the non-commuting graphs of all the groups considered in this paper are L-integral. We also obtain some conditions on a group $G$ so that its non-commuting graph is L-integral.


title: A hybrid quantum eraser scheme for characterization of free-space and fiber communication channels

abstract: We demonstrate a simple projective measurement based on the quantum eraser concept that can be used to characterize the disturbances of any communication channel. Quantum erasers are commonly implemented as spatially separated path interferometric schemes. Here we exploit the advantages of redefining the which-path information in terms of spatial modes, replacing physical paths with abstract paths of orbital angular momentum (OAM). Remarkably, vector modes (natural modes of free-space and fiber) have a non-separable feature of spin-orbit coupled states, equivalent to the description of two independently marked paths. We explore the effects of fiber perturbations by probing a step-index optical fiber channel with a vector mode, relevant to high-order spatial mode encoding of information for ultra-fast fiber communications.


title: Can spacetime curvature be used in future navigation systems?

abstract: We argue that the curvature generated by a gravitational field can be used to calculate the corresponding metric which determines the trajectories of freely falling test particles. To this end, we present a method to compute the metric from a given curvature tensor. We use Petrov's classification to handle the structure and properties of the curvature tensor, and Cartan's structure equations in an orthonormal tetrad to investigate the differential equations that relate the curvature with the metric. The second structure equation is integrated to obtain the explicit expression for the connection $1-$form from which the components of the orthonormal tetrad are obtained by using the first structure equation. This opens the possibility of using the curvature of astrophysical objects like the Earth to determine the position of freely falling satellites that are used in modern navigation systems.


title: A Bayesian Framework to Constrain the Photon Mass with a Catalog of Fast Radio Bursts

abstract: A hypothetical photon mass, $m_\gamma$, gives an energy-dependent light speed in a Lorentz-invariant theory. Such a modification causes an additional time delay between photons of different energies when they travel through a fixed distance. Fast radio bursts (FRBs), with their short time duration and cosmological propagation distance, are excellent astrophysical objects to constrain $m_\gamma$. Here for the first time we develop a Bayesian framework to study this problem with a catalog of FRBs. Those FRBs with and without redshift measurement are both useful in this framework, and can be combined in a Bayesian way. A catalog of 21 FRBs (including 20 FRBs without redshift measurement, and one, FRB 121102, with a measured redshift $z=0.19273 \pm 0.00008$) give a combined limit $m_\gamma \leq 8.7 \times 10^{-51}\, {\rm kg}$, or equivalently $m_\gamma \leq 4.9 \times 10^{-15}\, {\rm eV}/c^2$ ($m_\gamma \leq 1.5\times10^{-50} \, {\rm kg}$, or equivalently $m_\gamma \leq 8.4 \times 10^{-15} \,{\rm eV}/c^2$) at 68% (95%) confidence level, which represents the best limit that comes purely from kinematics. The framework proposed here will be valuable when FRBs are observed daily in the future. Increment in the number of FRBs, and refinement in the knowledge about the electron distributions in the Milky Way, the host galaxies of FRBs, and the intergalactic median, will further tighten the constraint.


title: Dirichlet space of domains bounded by quasicircles

abstract: Consider a multiply-connected domain $\Sigma$ in the sphere bounded by $n$ non-intersecting quasicircles. We characterize the Dirichlet space of $\Sigma$ as an isomorphic image of a direct sum of Dirichlet spaces of the disk under a generalized Faber operator. This Faber operator is constructed using a jump formula for quasicircles and certain spaces of boundary values. Thereafter, we define a Grunsky operator on direct sums of Dirichlet spaces of the disk, and give a second characterization of the Dirichlet space of $\Sigma$ as the graph of the generalized Grunsky operator in direct sums of the space $\mathcal{H}^{1/2}(\mathbb{S}^1)$ on the circle. This has an interpretation in terms of Fourier decompositions of Dirichlet space functions on the circle.


title: Microscopic bosonization of band structures: X-ray processes beyond the Fermi edge

abstract: Bosonization provides a powerful analytical framework to deal with one-dimensional strongly interacting fermion systems, which makes it a cornerstone in quantum many-body theory. Yet, this success comes at the expense of using effective infrared parameters, and restricting the description to low energy states near the Fermi level. We propose a radical extension of the bosonization technique that overcomes both limitations, allowing computations with microscopic lattice Hamiltonians, from the Fermi level down to the bottom of the band. The formalism rests on the simple idea of representing the fermion kinetic term in the energy domain, after which it can be expressed in terms of free bosonic degrees of freedom. As a result, one- and two-body fermionic scattering processes generate anharmonic boson-boson interactions, even in the forward channel. We show that up to moderate interaction strengths, these nonlinearities can be treated analytically at all energy scales, using the x-ray emission problem as a showcase. In the strong interaction regime, we employ a systematic variational solution of the bosonic theory, and obtain results that agree quantitatively with an exact diagonalization of the original one-particle fermionic model. This provides a proof of the fully microscopic character of bosonization on all energy scales for an arbitrary band structure. Besides recovering the known x-ray edge singularity at the emission threshold, we find strong signatures of correlations even at emission frequencies beyond the band bottom.


title: On orbifold constructions associated with the Leech lattice vertex operator algebra

abstract: In this article, we study orbifold constructions associated with the Leech lattice vertex operator algebra. As an application, we prove that the structure of a strongly regular holomorphic vertex operator algebra of central charge $24$ is uniquely determined by its weight one Lie algebra if the Lie algebra has the type $A_{3,4}^3A_{1,2}$, $A_{4,5}^2$, $D_{4,12}A_{2,6}$, $A_{6,7}$, $A_{7,4}A_{1,1}^3$, $D_{5,8}A_{1,2}$ or $D_{6,5}A_{1,1}^2$ by using the reverse orbifold construction. Our result also provides alternative constructions of these vertex operator algebras (except for the case $A_{6,7}$) from the Leech lattice vertex operator algebra.


title: Objective Bayesian analysis for the multivariate skew-t model

abstract: We perform a Bayesian analysis of the p-variate skew-t model, providing a new parameterization, a set of non-informative priors and a sampler specifically designed to explore the posterior density of the model parameters. Extensions, such as the multivariate regression model with skewed errors and the stochastic frontiers model, are easily accommodated. A novelty introduced in the paper is given by the extension of the bivariate skew-normal model given in Liseo & Parisi (2013) to a more realistic p-variate skew-t model. We also introduce the R package mvst, which allows to estimate the multivariate skew-t model.


title: Significance of distinct electron correlation effects in determining the P,T-odd electric dipole moment of $^{171}$Yb

abstract: Parity and time-reversal violating electric dipole moment (EDM) of $^{171}$Yb is calculated accounting for the electron correlation effects over the Dirac-Hartree-Fock (DHF) method in the relativistic Rayleigh-Schr\"odinger many-body perturbation theory, with the second (MBPT(2) method) and third order (MBPT(3) method) approximations, and two variants of all-order relativistic many-body approaches, in the random phase approximation (RPA) and coupled-cluster (CC) method with singles and doubles (CCSD method) framework. We consider electron-nucleus tensor-pseudotensor (T-PT) and nuclear Schiff moment (NSM) interactions as the predominant sources that induce EDM in a diamagnetic atomic system. Our results from the CCSD method to EDM ($d_a$) of $^{171}$Yb due to the T-PT and NSM interactions are found to be $d_a = 4.85(6) \times 10^{-20} \langle \sigma \rangle C_T \ |e| \ cm$ and $d_a=2.89(4) \times 10^{-17} {S/(|e|\ fm^3)}$, respectively, where $C_T$ is the T-PT coupling constant and $S$ is the NSM. These values differ significantly from the earlier calculations. The reason for the same has been attributed to large correlation effects arising through non-RPA type of interactions among the electrons in this atom that are observed by analyzing the differences in the RPA and CCSD results. This has been further scrutinized from the MBPT(2) and MBPT(3) results and their roles have been demonstrated explicitly.

categories: physics.atom-ph nucl-th physics.comp-ph quant-ph


title: Nearby groups of galaxies in the Hercules-Bootes constellations

abstract: We consider a sample of 412 galaxies with radial velocities $V_{\rm LG} < 2500$ km s$^{-1}$ situated in the sky region of ${\rm RA}=13^h\hspace{-0.4em}.\,0$ ... $19^h\hspace{-0.4em}.\,0$, ${\rm Dec}=+10^{\circ}$ ... $+40^{\circ}$ between the Local Void and the Supergalactic plane. One hundred and eighty-one of them have individual distance estimates. Peculiar velocities of the galaxies as a function of Supergalactic latitude SGB show signs of Virgocentric infall at $SGB < 10^{\circ}$ and motion from the Local Void at $SGB > 60^{\circ}$. A half of the Hercules-Bootes galaxies belong to 17 groups and 29 pairs, with the richest group around NGC5353. A typical group is characterized by the velocity dispersion of $67$ km s$^{-1}$, the harmonic radius of $182$ kpc, the stellar mass of $4.3 \times10^{10} M_{\odot}$ and the virial-to-stellar mass ratio of $32$. The binary galaxies have the mean radial velocity difference of $37$ km s$^{-1}$, the projected separation of $96$ kpc, the mean integral stellar mass of $2.6\times 10^9 M_{\odot}$ and the mean virial-to-stellar mass ratio of about $8$. The total dark-matter-to-stellar mass ratio in the considered sky region amounts to $37$ being almost the same as that in the Local Volume.


title: Transit Detection of a "Starshade" at the Inner Lagrange Point of an Exoplanet

abstract: All water-covered rocky planets in the inner habitable zones of solar-type stars will inevitably experience a catastrophic runaway climate due to increasing stellar luminosity and limits to outgoing infrared radiation from wet greenhouse atmospheres. Reflectors or scatterers placed near Earth's inner Lagrange point (L1) have been proposed as a 'geo-engineering" solution to anthropogenic climate change and an advanced version of this could modulate incident irradiation over many Gyr or "rescue" a planet from the interior of the habitable zone. The distance of the starshade from the planet that minimizes its mass is 1.6 times the Earth-L1 distance. Such a starshade would have to be similar in size to the planet and the mutual occultations during planetary transits could produce a characteristic maximum at mid-transit in the light-curve. Because of a fortuitous ratio of densities, Earth-size planets around G dwarf stars present the best opportunity to detect such an artifact. The signal would be persistent and is potentially detectable by a future space photometry mission to characterize transiting planets. The signal could be distinguished from natural phenomenon, i.e. starspots or cometary dust clouds, by its shape, persistence, and transmission spectrum.


title: Experimental Determination of $\eta$/$s$ for Finite Nuclear Matter

abstract: We present, for the first time, simultaneous determination of shear viscosity ($\eta$) and entropy density ($s$) and thus, $\eta/s$ for equilibrated nuclear systems from $A$ $\sim$ 30 to $A$ $\sim$ 208 at different temperatures. At finite temperature, $\eta$ is estimated by utilizing the $\gamma$ decay of the isovector giant dipole resonance populated via fusion evaporation reaction, while $s$ is evaluated from the nuclear level density parameter (${a}$) and nuclear temperature ($T$), determined precisely by the simultaneous measurements of the evaporated neutron energy spectra and the compound nuclear angular momenta. The transport parameter $\eta$ and the thermodynamic parameter $s$ both increase with temperature resulting in a mild decrease of $\eta$/$s$ with temperature. The extracted $\eta$/$s$ is also found to be independent of the neutron-proton asymmetry at a given temperature. Interestingly, the measured $\eta$/$s$ values are comparable to that of the high-temperature quark-gluon plasma, pointing towards the fact that strong fluidity may be the universal feature of the strong interaction of many-body quantum systems.


title: On a representation of fractional Brownian motion and the limit distributions of statistics arising in cusp statistical models

abstract: We discuss some extensions of results from the recent paper by Chernoyarov et al. (Ann. Inst. Stat. Math., October 2016) concerning limit distributions of Bayesian and maximum likelihood estimators in the model "signal plus white noise" with irregular cusp-type signals. Using a new representation of fractional Brownian motion (fBm) in terms of cusp functions we show that as the noise intensity tends to zero, the limit distributions are expressed in terms of fBm for the full range of asymmetric cusp-type signals correspondingly with the Hurst parameter H, 0<H<1. Simulation results for the densities and variances of the limit distributions of Bayesian and maximum likelihood estimators are also provided.


title: Some Results of The Class of Functions with Bounded Radius Rotation

abstract: Let $\mathcal{A}$ be the family of functions $f(z)=z+a_2z^2+...$ which are analytic in the open unit disc $\mathbb{D}=\{z: |z|<1 \}$, and denote by $\pe$ of functions $p(z)=z+p_1z+p_2z^2+...$ analytic in $\de$ such that $p(z)$ is in $\pe$ if and only if $$p(z)\prec \frac{1+z}{1-z} \Leftrightarrow p(z)=\frac{1+\phi(z)}{1-\phi(z)}, $$ for some Schwarz function $\phi(z)$ and every $z\in\de.$ Let $f(z)$ be an element of $\mathcal{A}$, and satisfies the condition $$z\frac{f'(z)}{f(z)}=\left(\frac{k}{4}+\frac{1}{2}\right)p_{1}(z)-\left(\frac{k}{4}-\frac{1}{2}\right)p_{2}(z)$$ where $p_1(z), p_2(z)\in \pe$ and $k\geq 2$, then $f(z)$ is called function with bounded radius rotation. The class of such functions is denoted by $R_k$. This class is generalization of starlike functions. The main purpose is to give some properties of the class $R_k$.


title: Local times for spectrally negative L\'evy processes

abstract: For spectrally negative L\'evy processes, adapting an approach from \cite{BoLi:sub1} we identify joint Laplace transforms involving local times evaluated at either the first passage times, or independent exponential times, or inverse local times. The Laplace transforms are expressed in terms of the associated scale functions. Connections are made with the permanental process and the Markovian loop soup measure.


title: Low dimensional properties of uniform Roe algebras

abstract: The goal of this paper is to study when uniform Roe algebras have certain $C^*$-algebraic properties in terms of the underlying space: in particular, we study properties like having stable rank one or real rank zero that are thought of as low dimensional, and connect these to low dimensionality of the underlying space in the sense of the asymptotic dimension of Gromov. Some of these results (for example, on stable rank one, cancellation, strong quasidiagonality, and finite decomposition rank) give definitive characterizations, while others (on real rank zero) are only partial and leave a lot open. We also establish results about $K$-theory, showing that all $K_0$-classes come from the inclusion of the canonical Cartan in low dimensional cases, but not in general; in particular, our $K$-theoretic results answer a question of Elliott and Sierakowski about vanishing of $K_0$ groups for uniform Roe algebras of non-amenable groups. Along the way, we extend some results about paradoxicality, proper infiniteness of projections in uniform Roe algebras, and supramenability from groups to general metric spaces. These are ingredients needed for our $K$-theoretic computations, but we also use them to give new characterizations of supramenability for metric spaces.


title: An Index theory for asymptotic motions under singular potentials

abstract: We develop an index theory for parabolic and collision solutions to the classical n-body problem and we prove sufficient conditions for the finiteness of the spectral index valid in a large class of trajectories ending with a total collapse or expanding with vanishing limiting velocities. Both problems suffer from a lack of compactness and can be brought in a similar form of a Lagrangian System on the half time line by a regularising change of coordinates which preserve the Lagrangian structure. We then introduce a Maslov-type index which is suitable to capture the asymptotic nature of these trajectories as half-clinic orbits: by taking into account the underlying Hamiltonian structure we define the appropriate notion of geometric index for this class of solutions and we develop the relative index theory.


title: A General Safety Framework for Learning-Based Control in Uncertain Robotic Systems

abstract: The proven efficacy of learning-based control schemes strongly motivates their application to robotic systems operating in the physical world. However, guaranteeing correct operation during the learning process is currently an unresolved issue, which is of vital importance in safety-critical systems. We propose a general safety framework based on Hamilton-Jacobi reachability methods that can work in conjunction with an arbitrary learning algorithm. The method exploits approximate knowledge of the system dynamics to guarantee constraint satisfaction while minimally interfering with the learning process. We further introduce a Bayesian mechanism that refines the safety analysis as the system acquires new evidence, reducing initial conservativeness when appropriate while strengthening guarantees through real-time validation. The result is a least-restrictive, safety-preserving control law that intervenes only when (a) the computed safety guarantees require it, or (b) confidence in the computed guarantees decays in light of new observations. We prove theoretical safety guarantees combining probabilistic and worst-case analysis and demonstrate the proposed framework experimentally on a quadrotor vehicle. Even though safety analysis is based on a simple point-mass model, the quadrotor successfully arrives at a suitable controller by policy-gradient reinforcement learning without ever crashing, and safely retracts away from a strong external disturbance introduced during flight.


title: Order 3 elements in G2 and idempotents in symmetric composition algebras

abstract: Order three elements in the exceptional groups of type G2 are classified up to conjugation over arbitrary fields. Their centralizers are computed, and the associated classification of idempotents in symmetric composition algebras is obtained. Idempotents have played a key role in the study and classification of these algebras. Over an algebraically closed field, there are two conjugacy classes of order three elements in G2 in characteristic not 3 and four of them in characteristic 3. The centralizers in characteristic 3 fail to be smooth for one of these classes.


title: Branes and Polytopes

abstract: We investigate the hierarchies of half-supersymmetric branes in maximal supergravity theories. By studying the action of the Weyl group of the U-duality group of maximal supergravities we discover a set of universal algebraic rules describing the number of independent 1/2-BPS p-branes, rank by rank, in any dimension. We show that these relations describe the symmetries of certain families of uniform polytopes. This induces a correspondence between half-supersymmetric branes and vertices of opportune uniform polytopes. We show that half-supersymmetric 0-, 1- and 2-branes are in correspondence with the vertices of the $k_{21}$ , $2_{k1}$ and $1_{k2}$ families of uniform polytopes, respectively, while 3-branes correspond to the vertices of the rectified version of the $2_{k1}$ family. For 4-branes and higher rank solutions we find a general behavior. The interpretation of half-supersymmetric solutions as vertices of uniform polytopes reveals some intriguing aspects. One of the most relevant is a triality relation between 0-, 1- and 2-branes.